Is z(o) a prime number?
False
Let a(z) = -2*z**3 - 2*z**2 + 6*z - 7. Is a(-5) a prime number?
True
Suppose -5 = 3*v - 29. Let p = 31 - v. Is p prime?
True
Suppose -2*r - o + 927 = 3*r, 0 = 4*r + o - 742. Is r a composite number?
True
Suppose -5*v + 3*v = -178. Is v a composite number?
False
Suppose 3*f + 2*w - 2 = 7, -f = 2*w - 3. Let s be -1*(0/(-2))/f. Suppose 2*l + 3*l - 170 = s. Is l a composite number?
True
Let w(v) = 2*v**3 - 12*v**2 + 5*v - 3. Is w(8) prime?
True
Let m(v) = 2*v + 7. Suppose 2*x = -x + 5*f + 16, -2*f - 6 = -x. Suppose q - x = 4. Is m(q) a composite number?
False
Let c(b) = 344*b**2 + 3*b - 1. Is c(2) composite?
False
Let q(c) = -281*c - 24. Is q(-5) a prime number?
True
Let p be ((-2)/(-6))/((-3)/(-27)). Suppose -u - 2*s = -7*s - 49, -79 = -p*u - 2*s. Suppose u = 2*m - 9. Is m prime?
True
Let j(x) = 3*x**2 + x - 3. Suppose 0 = g - 3*g. Suppose 0*o + 4*o + 5*s - 8 = 0, g = -5*o + 4*s - 31. Is j(o) prime?
False
Suppose -s - 2*n = -n + 11, -1 = -s + 3*n. Let a = 8 + s. Suppose a = -3*g, -2*v - 4*g = -v - 185. Is v a prime number?
False
Let t be -5*12*(-3)/(-30). Let v = 0 - 3. Is t/v*66/4 composite?
True
Suppose -3*b - b - 1707 = -3*p, -3*b + 556 = p. Is p a prime number?
False
Let a(m) = 52*m + 7. Is a(3) composite?
False
Suppose 4*d = -0*o + o + 941, -2*o = 10. Let n = d - 103. Is n a prime number?
True
Suppose -3*m = 4*r - 1 - 154, -5*r - 5 = 0. Is m composite?
False
Suppose -10 = -3*j + 5. Suppose j*i - 50 = 5. Suppose -l + 2*l - 2*x - i = 0, -l - 4*x = -17. Is l a composite number?
False
Suppose 2 = -t - 5. Suppose -25 - 21 = -a. Let r = a + t. Is r composite?
True
Suppose 1514 + 680 = 2*d. Is d a composite number?
False
Suppose p = 3*v + 268, 6*p - p = -v + 1292. Is p a composite number?
True
Is (-3)/(3 + -2) + 1154 prime?
True
Suppose 8*k - 3*k - c = -285, -4*k + 5*c - 249 = 0. Let r = 150 + k. Is r a prime number?
False
Suppose -2*u - 3 = -5. Is ((-477)/27)/(u/(-3)) composite?
False
Let r(x) = 3*x**2 - x**2 + 4 + x - x**2. Let g be r(0). Is 34/4 - (-2)/g a composite number?
True
Let p(x) = -x**3 + 5*x**2 + 2*x - 8. Let w be p(5). Suppose -n + 2*n - 4*b - 129 = 0, -w*n = -2*b - 282. Is n composite?
True
Let k(o) be the third derivative of 1/24*o**4 + 2/3*o**3 + 1/30*o**5 + 2*o**2 + 0*o + 0. Is k(3) composite?
True
Suppose -2*h + 2*k + 816 = 0, 9*h + k - 2046 = 4*h. Is h a composite number?
False
Suppose -25 = -5*o - 0. Let v(i) = 7*i + 2. Is v(o) prime?
True
Let h = -141 + 691. Suppose -h = 5*d - w - 4*w, -3*w - 90 = d. Let r = -70 - d. Is r prime?
False
Let z(l) = -l**3 - 6*l**2 - 3*l + 1. Let y be z(-5). Let m be ((-8)/(-3))/((-6)/y). Suppose -3*q - 77 = -m*q. Is q a composite number?
True
Suppose -5*m - 13 = 2. Is (-1083)/(-12) - m/4 composite?
True
Let w = -1 + -2. Let c be (-74)/(1 - (-1 - w)). Let j = c - 51. Is j a composite number?
False
Suppose 5*j - 4*c + 6 = 0, -5*j = -3*c + 6 + 1. Is (2/j - -1) + 133 a prime number?
False
Is 6/18*-1097*-3 prime?
True
Let y = 947 - 566. Is y prime?
False
Suppose -k = -3*x + 2, 0 = -2*k + x + 4*x + 1. Is k a prime number?
True
Let i be (-6)/(-9)*(-9)/(-3). Suppose 2*m - 4*m + 476 = -2*g, i*m = -3*g + 471. Is m a composite number?
True
Suppose k = 111 + 178. Is k a composite number?
True
Let d be 6/(-9) - 6/18. Is 11144/20 + d/5 a composite number?
False
Let x(p) = p**2 + 11*p + 23. Is x(-18) a composite number?
False
Is 9/(-6)*2518/(-3) composite?
False
Suppose -41*x + 44*x - 7653 = 0. Is x composite?
False
Let p be 108/21*(2 - -12). Suppose -p = -5*i + 283. Is i a composite number?
False
Let b(m) = -m**3 + 8*m**2 - 5*m - 10. Let p be b(7). Suppose -p*d = -g + 497, 0*g - 4*g - 4*d = -2028. Is g a prime number?
False
Let s(j) = -15*j + 5. Let q(d) = -d**2 - 4*d + 8. Suppose -5*k - 23 = 7. Let m be q(k). Is s(m) a prime number?
False
Suppose 0 = 3*x - 2988 - 2841. Is x composite?
True
Let z(h) = 3*h**2 - 3*h - 4. Let t be z(3). Let q = 205 - -11. Suppose 3*k + 33 + t = g, 0 = -4*g - 2*k + q. Is g prime?
True
Let r = -28 + 25. Let d(i) = -2*i**2 - 2*i - 1. Let b(t) = -8*t**2 - 9*t - 4. Let u(w) = 2*b(w) - 9*d(w). Is u(r) a composite number?
False
Let s(z) = 3*z**2 + 7*z + 15. Is s(7) prime?
True
Suppose -2*r - 2*r + 2780 = 4*n, -2*n = -2. Is (-6)/9 + r/6 a prime number?
False
Let y(m) = 10*m - 74. Let q(f) = 7*f - 49. Let l(c) = 7*q(c) - 5*y(c). Let w be l(0). Let s = w + -6. Is s prime?
False
Let k(g) = -19*g - 5. Suppose 5*o + 11 = -19. Is k(o) prime?
True
Suppose -5*o - 32 = -o. Let f(p) = -2*p - 11. Let v be f(o). Suppose -350 = -v*q + 5. Is q a prime number?
True
Let j(q) = -76*q. Let v be j(-1). Suppose 0 = -3*l - 4*y - y + 303, -5*l - 3*y = -521. Suppose v + l = 2*w. Is w composite?
True
Let u(c) = 2*c**2 + c. Suppose -5*q = -n - 5, 5*q - 5*n - 4 = q. Let m be u(q). Is 0/m + 2 + 113 prime?
False
Is 98/3 + 14/42 a prime number?
False
Let v = 0 - 4. Is (-1)/2*(-294 - v) composite?
True
Suppose 2*v = 7054 - 1332. Is v a prime number?
True
Suppose 0 = -6*z + 3*z - 5*x + 15, -z + 5 = -5*x. Let p = 22 + -21. Suppose -z*h - c - p + 80 = 0, 4 = c. Is h a composite number?
True
Let h = 3 - 0. Suppose h = -5*l - 12. Is ((-21)/6 - l)*-118 composite?
False
Let x(z) = -44*z**2 + z**3 - 2 + 53*z**2 + 1. Let y(v) = v**2 + 7*v + 6. Let c be y(-5). Is x(c) prime?
True
Suppose 0 = -b + 3. Suppose 0 = 5*j + 4 - 164. Let p = b + j. Is p a prime number?
False
Let j = 31 - 7. Suppose v + 8*s = 3*s + j, 5*v = -s + 48. Is v composite?
True
Let f = -171 + 320. Is f a composite number?
False
Let m(k) be the second derivative of k**5/60 - k**4/12 - k**3/6 + k**2 - 2*k. Let o(g) be the first derivative of m(g). Is o(-2) a prime number?
True
Let j = 1507 - -2188. Is j composite?
True
Suppose 3*h = -3*n - 108, 0 = 2*h + h - 5*n + 100. Is (h/4)/(1/(-4)) composite?
True
Let t = 1 + -1. Let y = t + 3. Suppose 2*m - 4*i - 24 - 30 = 0, -29 = -m + y*i. Is m a composite number?
False
Let l = -12 + 3. Let g = l + 14. Let b(w) = 6*w + 4. Is b(g) a composite number?
True
Let a(n) be the first derivative of n**3/3 - 3*n**2/2 - 3*n + 3. Is a(8) composite?
False
Let o(n) = -207*n + 23. Is o(-2) composite?
True
Let d(o) = o**2 + 4*o + 14. Is d(-15) a composite number?
False
Let r(d) = 53*d**2 - 7*d + 4. Let f be r(4). Let y = f + -451. Is y a composite number?
False
Suppose 0 = 2*b + 3*b. Suppose b*r + 4*r = 220. Is r composite?
True
Suppose -2*t - 6740 = -7*t. Suppose -t = -4*q + 280. Is q a prime number?
False
Let z = 64 + 81. Is z composite?
True
Let a = 7 + 20. Suppose -2*i - 3*w + 8*w = 9, -5*i - 4*w + a = 0. Is i a prime number?
True
Suppose 0 = 5*h - 0*h. Suppose h*l - l = -2. Suppose l*i = -z + 71, -2*z - 65 = -2*i - 5*z. Is i composite?
False
Let h(t) = -t**3 + 2*t**2 + t - 7. Let u(c) = -c + 13. Let a be u(9). Suppose 0 = 8*r - a*r + 20. Is h(r) prime?
True
Let o = -145 + 25. Let h be (-4064)/(-20) - (-2)/(-10). Let g = h + o. Is g composite?
False
Let u = 13255 + -9372. Is u composite?
True
Let f(v) = 5*v**2 + 2*v. Let g = 3 + 2. Suppose g = y + 2. Is f(y) a prime number?
False
Let t(x) be the first derivative of -3*x**5/40 - x**4/24 - x**3 - 2. Let q(a) be the third derivative of t(a). Is q(-4) a prime number?
False
Let g(i) = i**3 - 3*i**2 - 8*i + 8. Let s be g(6). Suppose 0 = -2*k + h + 43, -4*h + s = 3*k - 2*h. Is k a composite number?
True
Let n(u) = -u**3 - 5*u**2 - 3*u - 1. Suppose -v + 0*v - 3*y = 1, 4*y = 3*v + 16. Let k(o) = -o**2 - 3*o - 2. Let s be k(v). Is n(s) a prime number?
True
Suppose 8 - 80 = -3*r + 5*w, 4*r + 4*w - 96 = 0. Suppose -2*x + 2*g + r = 0, x - g = -2*x + 42. Is x a prime number?
False
Let l be -1*(-1 + 0) - 8. Let j(o) = -53*o + 11. Let v(g) = -27*g + 6. Let y(w) = 4*j(w) - 7*v(w). Is y(l) prime?
True
Suppose 3*n = n - 4*l + 542, -3*l = 2*n - 545. Is n prime?
True
Suppose -5*a + 12*a = 3017. Is a a prime number?
True
Let p(z) = -z**3 - 8*z**2 - z - 3. Let x be p(-8). Suppose 0 = -2*b + b - 5*v + 10, 0 = x*b + v - 26. Suppose 0 = b*c - 1466 + 511. Is c a composite number?
False
Let v = -21 - -13. Is (-748)/v + 3/(-6) a composite number?
True
Suppose 0 = -4*k - 5*n + 9, 5*k - 27 = -2*n - 3. Let o be (6/4 - 1)*k. Let v(q) = q**3 - 3*q**2 + 3*q + 1. Is v(o) prime?
False
Let h(r) = r + 8. Let g be h(-9). Is 436/(-8)*2/g prime?
True
Let d(r) = 3*r. Let p(x) = -2*x. Let l(u