9, -5*h + 4 - 19 = 0. Is z a prime number?
True
Let c(g) = g**3 + 4*g**2 - 4*g + 7. Let r be c(-5). Let p be (5 - -1) + r/(-2). Suppose -p*q + 2*q = -357. Is q composite?
True
Let y(p) = p**3 - 2*p**2 + 1. Let j be y(-1). Let r(f) = -3*f**2. Let n be r(j). Is (-2 + -211)*4/n composite?
False
Let q be (3/2)/((-33)/(-44)). Suppose q*z - 3*o - 474 = 0, 3*o - 474 = -2*z + 5*o. Is z a composite number?
True
Let u be 13/4 - 3/12. Is ((-771)/9)/((-1)/u) a prime number?
True
Let x be 1/(-3) + (-118)/6. Is (106/8)/((-5)/x) prime?
True
Suppose 4*r - 3*w + 31 = 0, r + 5*w + 27 = 2. Let f(z) = z**2 + 7*z - 11. Is f(r) composite?
False
Let v = 40 + 49. Is v a prime number?
True
Let q(a) be the first derivative of -5*a**2 + 9*a - 2. Is q(-7) a composite number?
False
Let h = 17 + -16. Let c = h - -14. Is c a prime number?
False
Let o = -1007 + 1596. Is o prime?
False
Let y(w) = w - 2. Let i be y(4). Suppose 40 = 2*n + i*a - 0*a, -4*a = 5*n - 99. Is n composite?
False
Suppose 4*v + 228 - 596 = 0. Suppose -l = -1, -v = -2*t - 3*l + 89. Is t a composite number?
False
Suppose 23 = 2*m - j + 6*j, -4*j = -4. Suppose -t + 4*t = -m. Is (2 + -41)*t/9 composite?
False
Let m = 0 + 4. Suppose 15 = -m*a + 67. Is a a composite number?
False
Let j = -1 + 0. Let q be 2/3*(j + 4). Suppose 78 = -0*k + q*k. Is k prime?
False
Suppose -1 = 4*u - 25. Let a = -2 + u. Let g(i) = -i**3 + 4*i**2 + 2*i - 2. Is g(a) prime?
False
Is -3 + 5 + 1 - -146 prime?
True
Let p be (-6)/(-33) + 97/11. Let c(o) = -o**3 + p*o + 2 + 6*o**2 + 3 + 0*o**3. Is c(7) a composite number?
False
Let j(b) = -6*b**3 - 3*b**2 - b. Suppose -4*s - 14 = -3*p, 3*p + 0*p - s + 1 = 0. Is j(p) a composite number?
True
Let a = 6 + -5. Is (-78)/(-2) + a + -3 a prime number?
True
Is (-67)/(-2) - (-1)/(-2) composite?
True
Let r(z) = 26*z + 15. Is r(8) a prime number?
True
Let m(b) = -2*b - 10. Suppose -4*j + 5*g - 9 - 44 = 0, 0 = -4*j - g - 23. Let n be m(j). Is 447/5 + n/(-10) composite?
False
Suppose a - 5 = 1. Let y(v) be the second derivative of 7*v**4/12 - 3*v**3/2 + 5*v**2/2 - v. Is y(a) prime?
False
Let z be 2/((-2 - -1) + 2). Let m = 1 + z. Suppose 0 = 2*h - m*h + 21. Is h a composite number?
True
Suppose -4*c - 8 = 12. Is (-808)/c + (-9)/15 prime?
False
Suppose 0*l + 19 = w + 5*l, 27 = w + 3*l. Let f = w + 338. Is f a prime number?
False
Is 2/6*(1011 + 0) a composite number?
False
Let s(j) = j**2 + 3*j + 5. Let w be s(-4). Let f(c) = -c**2 - 2*c - 11. Let r be f(w). Is (1 - r)*7/3 a composite number?
True
Let l be (111/6)/((-3)/12). Let x = 133 + l. Is x prime?
True
Let g = 57 + -84. Let j = g + 18. Is ((-19)/3)/(3/j) a prime number?
True
Suppose 4*v - 2*v - w - 534 = 0, 0 = -5*w - 20. Is v a prime number?
False
Let w(z) = 147*z**2 + 2*z - 1. Is w(2) prime?
False
Suppose 66 = 8*c - 5*c. Is c composite?
True
Suppose -2*z = -10, 6*z - 40 = -5*a + 3*z. Let m = a + -2. Suppose 2*j - j - 167 = w, 12 = -m*w. Is j a prime number?
True
Suppose 2*v + 4338 = -3*o - 1468, 2902 = -v - 2*o. Let w be v/(-8) + 2/(-8). Suppose 0 = -x - 2*x + w. Is x a prime number?
False
Suppose 4*p = -p + 2*q - 1, -q + 2 = -p. Is (-3 - (-2)/p) + 12 a composite number?
False
Let p = 11 + -5. Suppose -4 = -2*y + b - 3*b, 0 = -3*y - 4*b + p. Suppose y*n + 238 = 4*n. Is n a composite number?
True
Let b = 5 + -1. Suppose -5*g + b = -3*g. Suppose h + g = 6. Is h a prime number?
False
Suppose -b + 7 = -0. Let d(t) = 12*t + 7. Is d(b) composite?
True
Suppose 3*k + m = 200, 3*k - m + 0*m = 190. Is k prime?
False
Suppose 0 = 6*o - 6. Is (o/(-3))/(11/(-2706)) composite?
True
Let v(f) = 3*f**2 + 3*f + 5. Let x be (-40)/(-6) + 4/(-6). Let s be v(x). Suppose -j = -5*z - 131, -j + z + s = -2*z. Is j prime?
True
Suppose n = 2*a + 23, 5*a + 87 = 5*n + 2*a. Let d(s) = 0*s + 2*s + n - s. Is d(0) a composite number?
True
Let j(f) = 31*f - 3. Let a be 2 + (-6)/(-1)*-1. Let m = a - -6. Is j(m) prime?
True
Let b = 125 + -230. Let z be -25*8*(-1)/2. Let a = z - b. Is a a prime number?
False
Let s(k) = -42*k - 4. Let n be s(-3). Let d(m) = -86*m**3 + 1. Let w be d(1). Let g = n + w. Is g a composite number?
False
Let u(w) = 8*w**2 + 7*w + 16. Let x(n) = -7*n**2 - 7*n - 15. Let v(h) = -5*u(h) - 6*x(h). Is v(-9) composite?
False
Let k be 1/(-5) - 21/(-5). Suppose 0 = 3*w - 33. Suppose -i + 3*j + k = -w, 3*j = 5*i - 99. Is i a composite number?
True
Suppose -4*c + 183 = -57. Suppose -3*z - 4*f - c = z, -2*z + 3*f - 25 = 0. Let u = z + 51. Is u a prime number?
True
Let p be (2 - (-6)/(-3))/(-1). Suppose -n + 5*o + 70 = p, 0*n - 2*o = -4*n + 370. Suppose -6*b + n = -b. Is b prime?
True
Let x(t) = 3*t - 10. Let f be x(-8). Let u = -19 - f. Is u a prime number?
False
Suppose x = -4*u - 475, 0 = -7*u + 2*u + 5*x - 575. Is (u/(-3))/((-8)/(-12)) a composite number?
False
Let p be 3/2 - 8/16. Is (p - 2)/((-2)/746) a prime number?
True
Suppose 0 = l - 4*l - 3*p - 21, 4*l + 5*p = -24. Is 1*(-2 + l)/(-1) prime?
True
Let r = 237 + -412. Let o = 270 + r. Is o composite?
True
Let q(x) = -x**3 + 15*x**2 - 10*x + 15. Let c = 25 - 11. Is q(c) prime?
True
Suppose 0 = 2*n + 8, 3*v + n = 161 + 714. Is v prime?
True
Suppose g - 5*g = 4. Suppose -3 = 4*v + 4*w + 5, -w = -5*v - 10. Is (38 + g)/(v + 3) a composite number?
False
Let y = -10 + 11. Is (-71)/((4 - y) + -4) a prime number?
True
Let j(y) = y + 1. Let b be 16/6 + (-2)/3. Let g be j(b). Suppose -6*z + 105 = -g*z. Is z prime?
False
Suppose -y + 20 = 4*y. Suppose y*o - 2*w - 1226 = -3*w, -2*w - 925 = -3*o. Is o composite?
False
Suppose 5*b = b + 12. Suppose -j + b = 2*n, -5*j + 24 = -0*n + n. Suppose -j*c + 0*c = -65. Is c prime?
True
Suppose 12*b - 13*b + 55 = 0. Is b a composite number?
True
Suppose -5*u = 3*k - 22, k - 16 = -2*u - 2*k. Suppose 3*t - u*t = 1080. Suppose 1246 = 5*o + 3*l + 164, -5*l = 5*o - t. Is o a prime number?
False
Let y = 686 - 300. Is y prime?
False
Is 2/12 - (-922)/12 a composite number?
True
Suppose -2*v = -3*v. Suppose k + 145 - 52 = v. Is (-1)/(k/45 + 2) composite?
True
Let p be (-1 + (-9)/(-6))*6. Suppose 5*c - p*c - 70 = 0. Is c composite?
True
Suppose 3*i - 12 = -i. Suppose i*t - 9 - 111 = 0. Suppose 3*p - 53 = 5*l, 6*p - l - t = 4*p. Is p a composite number?
True
Suppose -4*c - 20 = 0, -4*b - c - c = -10. Suppose 4*x - 2*i - 21 = 13, b*x - 46 = -i. Is x a prime number?
False
Is (-55 - 3)*(-20)/8 prime?
False
Let h = -17 - -27. Suppose -4*w - 5*f + h = 0, 2*w + 10 = 7*w + 5*f. Is 74/(-4)*(-2 + w) composite?
False
Let u = -290 + 158. Suppose 2*p - 730 = -4*j, 5*j + p - 735 = j. Let s = j + u. Is s a composite number?
False
Let l(v) = v**3 + 13*v**2 + 9*v + 10. Suppose 36 = h - 4*h. Is l(h) prime?
False
Let w be 20/(-6)*36/(-15). Suppose -b = b - w. Let u(z) = 15*z - 5. Is u(b) a composite number?
True
Suppose -5*h + 384 = b, 0*b - 5*b + 5*h = -1950. Is b a composite number?
False
Let r be 8/(-28) - 32/(-14). Suppose -r*s = 2 - 24. Is s a prime number?
True
Let o(b) = -b**3 + 12*b**2 + 3*b + 5. Is o(6) prime?
True
Let s = -20 - -24. Let m(b) = -3*b + 4*b + 8*b - 1. Is m(s) prime?
False
Let g(a) = 85*a - 9. Is g(2) prime?
False
Let p = 5 - 3. Suppose 0 = 5*s - 33 - p. Is s a composite number?
False
Let b(y) = -y**3 - 9*y**2 + y + 11. Let l be b(-9). Suppose -l*f + 40 = 5*v - 7*f, -v + 3*f + 10 = 0. Is v a prime number?
True
Let f = 40 - -347. Let j = f + 10. Is j composite?
False
Let u be (-4)/(-10) + (-3988)/(-5). Let b be u/4 + 4/8. Suppose -5*t + 2*y + b = 0, 2*y + 3 = -7. Is t a composite number?
True
Let s(w) = w**3 - 6*w**2 - 6. Let v be s(6). Let n(x) = -1 + 2 - x + 8*x**2 + 0*x**2 + x**3. Is n(v) a prime number?
True
Is (-3)/(-15) + (-3816)/(-20) composite?
False
Let k(t) = 6*t**2 - 5*t + 5. Is k(6) prime?
True
Let j be (-2 - 8/(-6))*150. Let t = j + 195. Is t a composite number?
True
Let c(g) be the first derivative of 43*g**3/3 - 2*g**2 + 4*g + 4. Is c(3) prime?
True
Let u(w) = -w**3 - 4*w**2 - 4*w. Let y be u(-3). Let g = y - 1. Suppose 4*k + 23 = 5*o, 3*k + 17 = 5*o + g*k. Is o a prime number?
True
Let a = 533 - 348. Is a a composite number?
True
Let b(d) = -d**2 + 13*d - 3. Let j = 8 - -3. Is b(j) a composite number?
False
Suppose -f + 1 = -6. Suppose -2*q + 5*x = -f*q + 1480, 0 = -q - 5*x + 316. Is q composite?
True
Let y be (-1)/1 + 1*4. Suppose 4*s = 3*n - 175, y*s - 41 = n - 2*n. Is n a c