 631. Is u(15) a prime number?
True
Suppose -3*p = -4*d - 23143, 3*p + 3*d = 5*d + 23147. Is p composite?
False
Suppose 4*g - u - 35807 = 0, -4*g - 12396 = -4*u - 48212. Is g composite?
False
Let v = -373 + 2836. Is v prime?
False
Let a(n) = 3639*n + 1066. Is a(7) composite?
False
Let x be (-1)/((-2)/(-3576)*4). Is 2*x*5/(-6) prime?
False
Let d = 16312 - 1865. Is d prime?
True
Let t be 51453/(-54) + 1/(-6). Is 3/(15/2) - t/5 prime?
True
Let d = -14147 - -19924. Is d a composite number?
True
Suppose 0 = 2*b - 4*b - 3*m + 22039, -33033 = -3*b + 4*m. Is b a composite number?
True
Suppose 2*i - 2 = -i + 5*s, 2*s = i. Suppose -3*a + i*a = 3. Suppose 0 = a*c + 91 - 1348. Is c prime?
True
Let o(z) = z**3 - z**2 + 2. Let t be o(0). Suppose 5*w - 77 + t = 0. Let f(u) = 12*u + 7. Is f(w) a composite number?
True
Let l be 39/(-15) + 10/(-25). Let f be (-110)/(-10) + (l - 0). Suppose 2*i - f = -0. Is i a composite number?
True
Suppose -1047496 - 2706843 = -83*x. Is x a composite number?
False
Suppose -5*k = n - 9, 0*k = -3*n + 2*k + 10. Suppose n*d - 3*f - 575 = 0, -3*d + 3*f + 433 = -f. Is d a composite number?
True
Let i(x) = x - 10. Let p be i(13). Suppose p*v - 4*u = 6988, 5*v + 246 = -5*u + 11881. Is 1/(4/v*3) prime?
False
Suppose -9505 = 2*o - 7*o. Is o prime?
True
Is (-207449)/(-5) - (6 + 36/(-5)) composite?
False
Suppose -3*n - 12 = 0, 2*c - 18 = -c + 3*n. Suppose -2*b - c = -3*b - r, -b + 6 = -r. Suppose 483 = b*d - d. Is d a prime number?
False
Is ((-18)/(-72))/(2/74968) prime?
True
Let i = 168397 - 98468. Suppose -24646 = 7*h - i. Is h composite?
False
Let o be (-1440)/10*(-15)/(-12)*-2. Suppose 7*g - 214 - o = 0. Is g a prime number?
False
Is ((-7495)/6)/(-2*4/48) a composite number?
True
Is 4888 + -1 - 10/(-25)*-5 composite?
True
Is (-5 - (-28)/6) + (-25712)/(-6) a composite number?
True
Let n = 975 + -93. Suppose q + n - 2955 = 0. Is q composite?
True
Let z(f) = -2*f - 5. Let y be z(-3). Is ((-2)/5)/(y/(-1465)) composite?
True
Let w be (-3)/(-5) - 3037/(-5). Suppose 5*q - 864 - 166 = -5*v, -3*q + w = 5*v. Is q prime?
True
Suppose 3*h - 2*h - 2*j + 20 = 0, -2*j - 84 = 3*h. Let l be 120/65 + (-4)/h. Suppose -l*m - 5*k + 337 = -0*k, -k = -3. Is m a prime number?
False
Suppose 4*q = a - 33089, -5*a + 30*q - 25*q + 165490 = 0. Is a a composite number?
True
Is 340/(-51)*(3 + 6930/(-8)) a prime number?
False
Let w(o) = o**3 + 2*o**2. Let s be w(-2). Let b = -10 + s. Let a(t) = t**2 + t - 13. Is a(b) a prime number?
False
Let m = -207 + 333. Let a = -61 + -12. Let w = m + a. Is w prime?
True
Let f be -3 + 5/(20/24). Suppose -3*u + 3513 = f*j, -708 = -j - 5*u + 463. Is j a composite number?
False
Let n be 58/12 + (-2)/(-14 - -2). Suppose -10*v + 6*v - k + 3736 = 0, 0 = 5*v + n*k - 4670. Is v a prime number?
False
Suppose -r + 3*x - 21 = 0, -3*x = -r - 4*x - 5. Is (3 + (-156)/r)*51 a prime number?
False
Let x(f) = -2*f**3 + 2*f**2 + 5*f + 6. Let v be x(-4). Suppose -v + 627 = n. Is n prime?
False
Suppose 0 = m + 4*n - 9917, -3*m + 20845 + 8906 = -3*n. Suppose -3215 + m = 6*h. Is h a composite number?
False
Let w = -25610 - -53257. Is w prime?
True
Let a be (-4 + 6 + -3)*-25. Suppose 5*i = a, i - 768 = -x + 4*i. Let m = x + -437. Is m prime?
False
Let j(d) = 552*d**2 + 4 + 2*d + 89*d**2 - 3*d - 3. Is j(1) prime?
True
Let k(f) = 6*f + 15. Let w be k(-2). Let p(g) = -35*g**2 - g - 1. Let v be p(2). Is (w + -2)/((-1)/v) prime?
False
Let s(b) = b**3 - 13*b**2 + b - 11. Suppose -2*c + 4*f = -38, 7 = -2*c + 3*c + 2*f. Let u be s(c). Suppose g = u*l - 8 - 24, 6 = -l - 5*g. Is l prime?
False
Let z(n) = n**2 - 6*n - 24. Let y be z(9). Is ((-3)/(-1))/(y - (-3996)/(-1336)) a prime number?
False
Let i(a) = 4*a**3 - 60*a**2 - 52*a - 43. Is i(26) a composite number?
False
Suppose 2*v - 10 = -3*v. Let q = 7 - v. Suppose 3*m - m = 4, 0 = -q*h + 2*m + 706. Is h a prime number?
False
Let w = 13936 + -4071. Is w a prime number?
False
Let b(j) = 505*j**2 - 12*j + 79. Is b(10) composite?
False
Let p(n) = 9*n**2 + 7*n + 2. Let k be p(5). Let u = 128 - k. Let t = u - -217. Is t composite?
False
Let f(i) = -i**2 + 2*i + 3. Let y be f(2). Let u(b) = 2 + 8*b + b + 40*b. Is u(y) prime?
True
Let t = 159 + 72. Suppose 276 = w + 5*f, 4*f = w - 0*f - t. Is w prime?
True
Let h = 22 + -2. Suppose 4*m + 59 = -5*i + h, 3*m = -2*i - 17. Let p = 28 + i. Is p composite?
True
Let o(u) = 0*u**2 - 4*u - 6*u - 47 - 11*u - u**2. Is o(-15) composite?
False
Let u = 715 + -498. Suppose 4*o - 2*c - u = c, c = -o + 63. Is o a prime number?
False
Suppose -4*j = -8, 2*z - 26 - 8 = -3*j. Is z/35 - 1/(10/(-13666)) prime?
True
Let w = 2266 + -137. Is w prime?
True
Let c = 401 + -241. Suppose -15 = -5*i, 0*i + 4*i = 4*k + c. Let o = 9 - k. Is o composite?
True
Suppose -6*l + 2*l = -16. Suppose 2*n = 3*a + 173, -l*n + 370 = -0*a + 2*a. Let o = -34 + n. Is o a composite number?
True
Let k be 28/6 - 8/12. Suppose 0 = -4*u + 5*h + 2, 0 = -k*u + h - 2 + 12. Suppose u*r - 7*r = -380. Is r a composite number?
True
Let m be (-1)/((-1565)/785 + 2). Let t = -36 - m. Is t a prime number?
False
Let s(f) = 42*f**2 - 5*f + 11*f - 5*f - 5. Let c be s(5). Let d = -493 + c. Is d composite?
False
Let c be 13/65 - (-1947)/15. Suppose 4426 = c*g - 128*g. Is g prime?
True
Is (1 - 78180/(-18))/(2/6) a composite number?
False
Let q = -184 + 113. Suppose 4*p = -229 + 709. Let s = q + p. Is s a composite number?
True
Let p = -1818 - -3203. Is p composite?
True
Suppose 12*r - 275243 = -87719. Is r a composite number?
True
Let m(q) = q**3 - 11*q**2 - 14*q + 26. Let z be m(12). Suppose 4*a + 8821 = 3*j, z*a + 5 = -3*a. Is j a composite number?
False
Is (7 - (-520)/24)/((-4)/(-78)) prime?
False
Suppose 7*d + 41983 = -54722. Is (12/(-18))/((-27624)/d + -2) a prime number?
False
Suppose 0 = 124*r - 127*r - 9750. Is (-11)/(55/r) - -3 a composite number?
False
Is ((-851745)/(-25))/(69/115) prime?
True
Let n = 2856 + 3077. Is n prime?
False
Suppose 6*l + l = 105. Is 3/(-15) - (-4173)/l composite?
True
Let i(a) = -a**3 + 16*a**2 + 32. Let h(b) = b - 6. Let z be h(21). Is i(z) composite?
False
Suppose 2*y - 2*r - 2 = 5*y, -2*r - 4 = 2*y. Suppose 5*z + y*z - 1946 = 0. Is z composite?
True
Let i(k) = 625*k + 31. Is i(12) prime?
False
Suppose -w + 452 + 1216 = 2*n, 0 = w + 2. Is n prime?
False
Let q(r) = 19*r**2 - 9*r - 3. Let d(t) = t + 1. Let f be d(-5). Is q(f) composite?
False
Let q(z) = -2801*z + 12. Is q(-11) prime?
False
Is (0 - (-10 + -22596)) + 7 a prime number?
True
Suppose 514690 + 138953 = 27*j. Is j a composite number?
True
Suppose 0 = 2*t + 6*d - d - 147, -138 = -2*t - 2*d. Is (-2340)/(-44) + (-12)/t prime?
True
Let c = -1266 - -4873. Is c composite?
False
Let y(s) = 2*s + 8. Let w be y(-3). Suppose 0 = w*f - l - 613 + 88, -l = 3*f - 780. Suppose 261 = o - g, o - 4*g = f - 12. Is o prime?
False
Let u be (-9)/(-6)*2 + (-12)/2. Suppose -93 = -2*b + 795. Is (1/u)/((-4)/b) prime?
True
Suppose 42337 = 3*y + 2*z, 3*z + 42312 = 3*y - 0*z. Is y composite?
True
Let l = -33935 - -87792. Is l a composite number?
False
Let x = 13 - 10. Let k be x*8/9*-3. Is -2*(0 + 60/k) prime?
False
Let o(q) = -3*q + 7 + 5*q - 14 + 21. Is o(0) composite?
True
Suppose 3*d + 52 = -20. Let o be 133 + (1 - (0 - -1)). Let c = d + o. Is c a composite number?
False
Let u = 3391 - 1914. Is u prime?
False
Let m = 163 + 36. Suppose -3*r = -m - 71. Suppose 4*l - r = 122. Is l prime?
True
Let b be (1 - ((-2)/(-2) + 2)) + -6. Is 3/(6/b) - (-16528)/8 a prime number?
False
Let r(l) = -3*l - 3. Let h be r(3). Let g(j) = -10*j**2 + 9*j + 7. Let u be g(5). Is (-2)/(-3)*u/h composite?
False
Suppose 3 = 3*t + 21. Let g be -8*-3*1/t. Let k(j) = -4*j**3 - 4*j**2 - 2*j + 3. Is k(g) prime?
False
Let i be (-5 - 7)/4*2/(-2). Suppose -3*m - p = i*p - 2305, p + 759 = m. Is m a composite number?
True
Suppose -9*v + 7*v = -10. Let l(y) = 46*y**2 - 35*y + 36. Let a(q) = 9*q**2 - 7*q + 7. Let j(g) = 11*a(g) - 2*l(g). Is j(v) a composite number?
True
Is ((-4)/((-64)/165524))/((-16)/(-64)) a prime number?
True
Is (-14811)/4*(-72)/54 a prime number?
True
Suppose x + x - 18 = 0. Is 69*(-19)/x*-3 composite?
True
Let o(u) = 562*u**2 - u + 1. Is o(-6) a composite number?
True
Let k = 3 - 3. Let z(f) = -f**2 + 3*f + 10. Let y be z(k). Is (557/(-2))/(y/(-20)) a prime number?
True
Let i(b) = -