2*i - 0*i. Is i a prime number?
True
Suppose r = -4*r + 60. Suppose -f = -2*f + 4*c + r, -3*f + 3*c = 0. Let k = f - -57. Is k a composite number?
False
Suppose 0 = 5*b - 4*b - 737. Is b a composite number?
True
Suppose -2*d - 2*d = 16. Let i be 24/10 + d/10. Suppose i*t = c - 26, -7 = 4*t + 1. Is c a prime number?
False
Let x(i) = 2*i - 6 + 11 + 11*i**2 - i**3 - 6. Is x(6) a prime number?
True
Let t(l) = 118*l**2 - 8*l + 7. Is t(-4) a prime number?
False
Suppose -2*g = 3*d + 1, -d - 2*g + 4*g + 5 = 0. Let m be 0 + (3 - (d + -2)). Suppose 5*c + 2*z = -0*z + 102, m*z = -5*c + 94. Is c prime?
False
Let g(y) = 2*y**3 - 13*y**2 - 6*y + 1. Let m = -1 + -2. Let d(k) = k**3 - 12*k**2 - 7*k + 1. Let l(b) = m*d(b) + 2*g(b). Is l(-8) prime?
False
Suppose 20 = -2*g - 6. Let l = -66 + 118. Is 15228/l - 2/g composite?
False
Let h be (2/(-4))/(3/(-12)). Suppose h*r + 3*r - 715 = 0. Is r prime?
False
Let a(f) = -f**3 + 5*f**2 + 6*f + 5. Is a(5) a prime number?
False
Let p(v) = v**3 - 2*v**2 - 14*v + 9. Is p(6) a prime number?
False
Let k = 912 - -155. Is k a prime number?
False
Let b = 11 + -6. Suppose -2*p - b*m + 5 = -133, p - 2*m = 78. Is p a prime number?
False
Let z(k) = 2*k**2 - k - 17. Let n(w) = w**2 - 3*w - 1. Let o be n(4). Let a(i) = -i**2 + 9. Let f(b) = o*z(b) + 5*a(b). Is f(5) a composite number?
True
Suppose 2*o = 211 + 747. Is o a prime number?
True
Let r = 1574 + -824. Let n = 1253 - r. Let x = -346 + n. Is x prime?
True
Let c = 13 + 15. Suppose -z - z = -c. Let o = 25 - z. Is o composite?
False
Let x = 688 + -426. Suppose -3*n + n + x = 0. Is n composite?
False
Let u(m) be the third derivative of -m**4/24 + 7*m**3/6 + 3*m**2. Let c be u(-7). Is 12/c*(-14)/(-2) prime?
False
Suppose -5*z + 692 = -2893. Is z prime?
False
Let t = 2463 - 616. Is t a prime number?
True
Let p be 2/(-7) - (-4)/14. Let a be (3 + 2)*(1 - p). Suppose 12 = 4*k - 3*k - j, -50 = -a*k + 3*j. Is k a prime number?
True
Let v = 395 + -102. Is v prime?
True
Let y(j) = j**2 - 9. Let i = -6 + 10. Suppose 5*z - 16 = z, -q - i = z. Is y(q) composite?
True
Let l(s) = -s**3 + 8*s**2 + 5*s - 4. Let n be l(7). Is 3 - 4 - (0 - n) prime?
True
Let z be (12/4)/(9/6). Suppose 0 = 3*y - 6, 0*y = -2*u + y + 2. Suppose 0*g + z*g = 10, u*b - g = 111. Is b prime?
False
Let z be ((-2 - 1) + 3)/(-1). Suppose 5*g - 235 = 2*p, -4*p + z*p = -4*g + 188. Is g prime?
True
Is (-22 - 889)/((-1)/7) a composite number?
True
Let k = -122 - -80. Let x = 79 + k. Is x prime?
True
Let y(x) = 2*x**3 - 3*x**2 + 10*x - 1. Is y(4) a composite number?
True
Suppose 2*y - 4 = -2*x - 0, -x - 4*y = 4. Suppose x*f = 162 + 134. Is f composite?
True
Suppose -n + 6*n - 9 = 2*y, -n - 6 = -3*y. Suppose -8 = -5*x - z - y, 29 = 2*x - 5*z. Suppose -x*k = -4*k + 154. Is k a prime number?
False
Suppose 2*w - 4*w = -3*p, 0 = -4*p + 16. Is w + -6 - (0 + -53) a composite number?
False
Let h = -4 + 0. Let a(t) = -t. Let j be a(h). Let f = j - -2. Is f prime?
False
Is 5*((-112)/(-20) + 2) a prime number?
False
Is 5 + 219/(-45) - 58/(-15) composite?
True
Let d(w) = -w**3 + 13*w**2 + 4*w - 17. Is d(6) prime?
False
Suppose -5*d + 2*s = 58, -5*s = -0*d + 4*d + 53. Let v = 25 - d. Is v composite?
False
Let d = -58 + -36. Let j = 33 - d. Is j composite?
False
Let w(q) = 9 + 0*q**3 + q + 0*q**3 + q**2 - q**3. Let r be ((-9)/6 + 2)*0. Is w(r) prime?
False
Suppose 69 = -5*o - 86. Let y = o - -51. Suppose y - 2 = 2*z. Is z a composite number?
True
Let t(z) = 79*z - 4. Is t(5) a composite number?
True
Let w(k) = -k**3 - 11*k**2 + 7*k - 1. Suppose -9 + 0 = -3*q + d, 4*q + 4*d = 12. Suppose 1 = 2*p + q, -o - 4*p = 16. Is w(o) a prime number?
True
Let m(u) = -u**2 + 2. Let a be m(0). Is (-3948)/(-16) - a/(-8) prime?
False
Let n = 253 + -130. Is n prime?
False
Let q(w) = -3*w**2 - 5*w - 7. Let i be q(-5). Suppose 7*c - 3*c - 48 = 0. Is (-3 - 1)*i/c a prime number?
True
Suppose -136 - 20 = -4*n. Suppose 2 = -u + n. Is u a composite number?
False
Let d = -197 + 996. Suppose 0 = 5*b - h - d, -b - 3*h = -0*b - 147. Is b a composite number?
True
Is (4/12)/(3/1341) a prime number?
True
Let s(y) = -4*y + 3. Let v be s(4). Let f = -19 - v. Let o = f + 9. Is o prime?
True
Suppose -2142 = 4*t - 14514. Is t composite?
True
Let q(j) be the first derivative of 27*j**2/2 - 4*j - 2. Is q(6) prime?
False
Suppose 0 = -3*u - 5*w + 4 - 3, 0 = 2*u + w - 10. Suppose -3*i - 516 = -u*i. Is i a composite number?
True
Suppose 84 + 87 = 3*y. Is y a composite number?
True
Let l be (1 + 5)*(-1)/(-3). Suppose 566 = 2*a - 5*n, l*a + 4*n - 217 = 385. Is a prime?
True
Let r = 3 - -1. Suppose 78 = -r*p + 254. Let j = 457 - p. Is j a prime number?
False
Suppose 8188 = -m + 5*m. Is m prime?
False
Suppose -2*x - 5*y + y + 158 = 0, -236 = -3*x - 5*y. Is x prime?
False
Is 10778/17 + 1*-3 prime?
True
Let q(z) = 11 + 3*z + 3*z - 7*z. Let t be q(7). Suppose 4*n - 52 = t. Is n prime?
False
Let o = -3246 + 6107. Is o a prime number?
True
Suppose -2*d - 4*c = -8*c - 24, 3*d + 14 = -4*c. Let h(p) = 5 - 2*p - 4 + 2 + 4*p**2. Is h(d) prime?
False
Let b(q) be the third derivative of q**4/24 + 67*q**3/6 + q**2. Is b(0) composite?
False
Let c(k) = 3*k**3 - 3*k**2 + 4*k - 2. Let f be c(2). Suppose -b + 3*m + f = 0, 0 = -2*b - 2*m - 4 + 8. Is (-3)/b - (-31)/2 a prime number?
False
Let a be 3/(-2) - 3186/4. Let p = 1135 + a. Is p composite?
False
Suppose -5*h = 4*y - 11, 2*y = -4*h + h + 3. Let m = y + -24. Is (-716)/(-6) - (-5)/m a prime number?
False
Let c be -3*(2 - (-23)/(-3)). Let p(j) = j + 37*j**3 + c*j**3 - 2*j. Is p(1) a prime number?
True
Let r(x) = x**3 - 8*x**2 + 10*x. Suppose 2*p = 3*h + 29 - 9, -4*h - 29 = -3*p. Is r(p) prime?
False
Suppose -1028 + 176 = -4*a. Suppose -4*m - 44 = -3*x + a, 4*x = 3*m + 331. Is x composite?
False
Suppose -3*k = k - 908. Let j = -148 + k. Is j prime?
True
Let y(o) = 25*o. Let i(a) = -a**3 - 6*a**2 + 1. Let r be i(-6). Let j be y(r). Let n = -11 + j. Is n a composite number?
True
Let b = -1267 + 3188. Is b a prime number?
False
Suppose -f = 4*f. Suppose f = -4*h + 199 - 51. Is h composite?
False
Suppose 5*k = -20, -2*k = -4*g + 3*k + 16. Is (g + -30)*(-2 - 3) prime?
False
Suppose u - 2*u - 19 = -5*z, -5*u = 3*z + 11. Suppose 578 = z*c - c. Let o = 432 - c. Is o a composite number?
True
Suppose -4*u + 3*u - 72 = 0. Let l = -14 - u. Is l composite?
True
Let x = 64 - -509. Is x a prime number?
False
Let y be 4*(-3)/(-6) - 0. Suppose 0 = -i - i - y. Is (-1)/(1/(-46)) - i a prime number?
True
Let t = -17 - -19. Is (7 + -378)/((-2)/t) prime?
False
Let l(j) = -4 - 5 + 5 + j + 9*j**2 - 5*j. Is l(5) a composite number?
True
Suppose 2*f + f - 435 = 0. Is f prime?
False
Is -4 + 2504 - (2 - 5) a composite number?
False
Let h(w) be the first derivative of 4*w**3/3 - w**2 - 3*w + 4. Is h(-4) a prime number?
False
Is ((-422)/6)/((-6)/18) composite?
False
Is 709 + (-7)/((-28)/(-8)) composite?
True
Let g(i) = i**2 - 7*i + 2. Let j be g(7). Suppose -j*m = -4*m + 78. Is m prime?
False
Is 1/((-1 + -3)/(-388)) composite?
False
Suppose n + 1905 = 6*n. Is n composite?
True
Suppose -o + 6*o - 35 = 0. Suppose -3*b - 8 = -o*b. Is (11 - -4)/(3/b) a prime number?
False
Suppose -3*p - 2*s = -475, 3*s + 464 = 4*p - 158. Is p a composite number?
False
Let l(b) = -b**3 - 6*b**2 + 4*b + 7. Let c(u) = u**3 + 5*u**2 - 3*u - 6. Let d(q) = -3*c(q) - 2*l(q). Let p be d(-3). Is (-23)/p*-5*1 a prime number?
False
Let l(a) = -55*a - 8. Let j(b) = 111*b + 17. Let o(h) = 3*j(h) + 7*l(h). Suppose 4*v + 15 = -3*p, 3*v - 10 = p - 31. Is o(v) prime?
True
Let u(r) = -3*r**2 + 10*r - 2. Let n be u(8). Let z = n - -200. Is z composite?
True
Let k = -94 - -7. Let q = -10 - k. Is q a composite number?
True
Let f(y) = -338*y + 1. Is f(-1) composite?
True
Suppose -2*p + 0*p - 531 = -f, -4*f + 2144 = -4*p. Is f a composite number?
False
Let l(b) = b**2 + 13. Suppose 0 = 3*j - 2*k - 43, 6*j - 5*j + 3*k + 4 = 0. Is l(j) composite?
True
Let i = -8 + 13. Suppose -115 = -0*k - i*k. Is k a composite number?
False
Let l(o) = 5*o + 5. Let y(b) = b - 1. Suppose -3*p + 2*z = -0*z + 8, p + 14 = -5*z. Let r(h) = p*y(h) - l(h). Is r(-7) a composite number?
True
Let a(h) = -2*h**3 - 3*h**2 + 7*h + 6. Is a(-4) a prime number?
False
Suppose -4*v + 0*v + 64 = 0. Let u = v - -37. Is u a composite number?
False
Let a(j) = -3*