pose 5*n - 895 = 150. Is n prime?
False
Let f = -133 - -251. Is f a prime number?
False
Let j be 6/(-15) + (-1024)/(-10). Let c = j + -43. Is c a composite number?
False
Suppose 3*m = -4*m + 44093. Is m prime?
True
Let l = -3214 + 5163. Is l composite?
False
Let t be (0/(-3))/(0 - -1). Suppose 4*c - 2 - 2 = t. Suppose -c + 23 = b. Is b a prime number?
False
Suppose -4*q - 2*r + 196 = 0, 3*q + 3*r - 119 = 22. Is q a composite number?
True
Let z(v) = -v**3 + 18*v**2 - 3*v - 5. Is z(17) prime?
True
Let f(n) = 13*n + 10. Suppose 4*m - 5*m = -4*l - 13, 4*l = -2*m - 10. Let y(v) = 1. Let i(x) = m*f(x) - 6*y(x). Is i(5) a composite number?
True
Suppose 12*b + 5 = 7*b. Is (-78)/4*(b - 1) a composite number?
True
Suppose 5*k - 3*k - 3*r = 29, r = -3*k + 71. Is k a prime number?
False
Let t(r) = -r**3 - 4*r**2 + 4*r. Suppose -4*n + 41 = -5*f, 2*f - n + 9 + 5 = 0. Let a be t(f). Is (-118)/(a/(15/(-6))) composite?
False
Suppose l = 195 + 172. Is l composite?
False
Let k(q) = -10*q**3 - 2*q**2 + 5*q - 7. Let s be 2/(2/(-3))*2. Is k(s) a prime number?
False
Let g be (-63)/(-12) + (-1)/4. Suppose -2*x + g*x = -15. Let z(b) = b**2 + 3*b - 6. Is z(x) a prime number?
False
Let u(t) = 17*t**2 + 10*t - 4. Is u(-3) composite?
True
Suppose -7*x + 1392 = 286. Is x prime?
False
Suppose -346 - 73 = -a. Is a prime?
True
Suppose 2*w - 2*p = 6, 3*p - 5 = 8*p. Suppose 13 - 118 = -c - w*i, 4*i = 0. Let h = c + 98. Is h a composite number?
True
Let q be 3*254/8*-4. Is (-2)/(2 + 768/q) a composite number?
False
Suppose q - 995 = -126. Is q a prime number?
False
Is 2 + 1888/12 - 1/3 a composite number?
True
Let d be 7/(-7) + (3 - 0). Suppose 550 = d*r + 116. Is r composite?
True
Suppose -26*c - 1708 = -30*c. Is c a composite number?
True
Suppose 3*r = -4*r + 1393. Let y = -72 + r. Is y a composite number?
False
Let c(y) = 99*y**2 + 2*y - 1. Let g be c(1). Suppose -4*x + g = -3*x - 3*p, -3*p - 355 = -4*x. Suppose x = 5*r + 2*t, -4*r + 2*t = -26 - 24. Is r composite?
True
Let o be ((-6)/(-24))/((-1)/(-12)). Suppose 3*y = 4*v + 4*y - 2254, -o*y = -6. Is v a composite number?
False
Let p(a) be the first derivative of -a**3/3 + 7*a**2/2 + 8*a - 5. Suppose -3*b = b - 24. Is p(b) prime?
False
Suppose -b + 442 = b. Is b a composite number?
True
Let s(u) = 43*u**2 - 9*u - 11. Is s(-8) a composite number?
True
Let n(m) = -107*m - 3. Let a be n(-5). Suppose 0*b = 4*b - a. Is b a composite number?
True
Suppose 0 = -y - 3*y - 32. Let j be 330/((-2)/(y/6)). Suppose -5*f = -5*p + j, -p = -6*p + f + 240. Is p prime?
False
Let f be 2/(-7) - (-92)/28. Suppose 0*r + 24 = -f*r - 2*u, -15 = 2*r + u. Is r/(-8) - 125/(-20) a composite number?
False
Suppose 44 = 5*x - 441. Is x prime?
True
Let v = -13 + 10. Is 1/(v + (-436)/(-145)) prime?
False
Let w be (18/(-2))/((-3)/(-2)). Let a(v) be the third derivative of -v**4/12 - 4*v**3/3 - 3*v**2. Is a(w) a prime number?
False
Let g = 343 - 216. Is g prime?
True
Let x = 7 - 4. Suppose -5*q + x*o + 0*o + 463 = 0, 0 = -5*q - 5*o + 495. Is q a composite number?
True
Let q be 8 + -6 + -1 + 2. Suppose 265 = q*a - 26. Is a a composite number?
False
Let w be -3*(12/9)/4. Let g be ((-3)/2)/((-3)/(-6)). Is (w/3)/(g/81) a prime number?
False
Let c be 4*(-1 + 21/12). Let l = 31 + c. Is l a prime number?
False
Suppose -3*f - 27 = -2*o - 0*o, 5*o - 5*f = 55. Is (2 - -379)*2/o a prime number?
True
Suppose 3*n = p + 2 + 1, 0 = 5*p - 4*n + 70. Let r = 29 + p. Is r composite?
False
Suppose -5*k = -0*k - u - 44, -5*k + 4*u + 41 = 0. Is 195/27 + (-2)/k a prime number?
True
Let g = -4 - -8. Suppose -4*b = z - 2*b - 2, 2*z - g = -b. Suppose 3*m - 73 = -5*q, -6*q + q + 42 = z*m. Is m a composite number?
False
Suppose v = 1484 - 207. Is v prime?
True
Is (-16)/(-4) - (-2 - 385) prime?
False
Suppose 4*t + 310 - 890 = 0. Is t prime?
False
Suppose 3*v = -2*v + 45. Let g = v + -4. Suppose 231 = g*x + 46. Is x prime?
True
Suppose 3*c - 653 = 4*p, -c + 4*p + 112 + 103 = 0. Is c prime?
False
Suppose 4*w + w = -5*p + 15, 2*p - 5*w = 13. Let v be p/(4/5) - 1. Suppose -4*x - 22 = -2*k, 0*x + v*x = 5*k - 43. Is k a prime number?
True
Let u(v) = -2*v**3 - 11*v**2 + 7*v + 6. Let x be u(-8). Is x/4 - (-12)/(-24) a prime number?
True
Let b(h) = 197*h - 17*h**3 - 3 - 200*h - 18*h**3 + h**2. Is b(-2) composite?
True
Let h(y) = -2*y + 2*y + 0*y + 15 + 6*y. Let g be h(12). Suppose -4*l - g = -3*m - 217, 0 = 5*l + 3*m - 176. Is l composite?
True
Let j = -10 - -16. Let i(a) = -4*a - 4. Let p(y) = -y - 1. Let u(w) = -3*i(w) + 10*p(w). Is u(j) a composite number?
True
Let f(j) = -j + 15. Let n(a) = -16. Let p(x) = -7*f(x) - 6*n(x). Is p(4) a prime number?
True
Let m = -1091 - -1736. Suppose -3*b - 2*t + m = 0, -5*b + 3*t + 614 + 442 = 0. Is b a composite number?
True
Let b(x) = -x**2 - x + 311. Let p be b(0). Let v = p - 222. Let r = v + 2. Is r a composite number?
True
Suppose 0 = -c + 1. Let q be c - (0 - 4) - 0. Suppose z = 2*k - 31, q*k + z = -z + 64. Is k composite?
True
Let r be ((-3)/5)/((-4)/20). Suppose -2*u + r*u - 77 = 0. Suppose 0 = 4*o - u - 7. Is o a prime number?
False
Let k be ((-9)/15)/((-1)/5). Let h(t) = t**3 - t**2 + t + 4*t**2 + 3 - 2*t**k. Is h(3) a prime number?
False
Let b(a) = -6*a + 3. Let t be b(5). Let u be (-1)/(-3 - 82/t). Let c = -4 - u. Is c prime?
True
Let y = 136 + 685. Is y prime?
True
Let t be 2/(-6)*-3*2. Suppose 4*o = -2*b + 220, -5 = t*b - 13. Is o a composite number?
False
Let k(q) = 2*q**2 - 7*q - 1. Let v be k(5). Let u be (-2)/(-7) + 150/v. Suppose 29 = 4*b - u. Is b prime?
False
Let b be (15/(-6))/(1/(-2)). Suppose b*k + v = 9 + 19, -6 = -2*v. Suppose 5*l - 769 - 34 = -4*u, k*u - 311 = -2*l. Is l composite?
False
Let y = 12 + -6. Suppose y*t - 2*t - 48 = 0. Is (-8)/t - (-617)/3 a prime number?
False
Let t(d) = d**3 + 21*d**2 + 12*d + 11. Is t(-19) a prime number?
False
Suppose 3*l - 757 = -4*c, -4*c + 332 = 2*l - 178. Is l prime?
False
Suppose -2*n + 4*x = x - 1131, -x = -5. Is n composite?
True
Let z = 3 - 3. Suppose z = -5*d + 3*d + 74. Is d composite?
False
Is -1*2/(-6)*(1 + 2228) a prime number?
True
Suppose 6 + 3 = 3*x. Suppose v - 273 = -x*g - 0*v, 3*v - 364 = -4*g. Is g composite?
True
Let m(y) = 2*y**2 - 3*y - 4. Let n(z) = -5*z**2 + 8*z + 11. Let p(t) = -11*m(t) - 4*n(t). Let s be p(-1). Let b(g) = -g - 1. Is b(s) a prime number?
True
Let o = 682 - 197. Is o prime?
False
Let o(z) = z**3 - 5*z**2 + 5*z - 27. Is o(12) a composite number?
True
Let s(a) = 18*a**3 + 3*a**2 + 9*a - 7. Is s(5) a prime number?
False
Let d = 95 - 15. Let b = d - -29. Is b a prime number?
True
Let d(r) = -30*r**3 - 3*r**2 + 2*r - 12. Is d(-5) composite?
True
Suppose -4 = 4*v, 0 = -2*r + r + 4*v + 57. Is r a composite number?
False
Let i(k) = -197*k**3 - 3*k**2 - 6*k + 1. Is i(-2) prime?
False
Let t = 16 - 9. Is t a prime number?
True
Let o(x) = 71*x - 13. Is o(6) a prime number?
False
Let r = 20 - 8. Let x = r - 6. Suppose x*i - 165 = i. Is i composite?
True
Let y(k) = k**3 - 4*k**2 - 10*k + 8. Let n be y(6). Suppose 0 = 5*u - n - 725. Is u composite?
False
Suppose -60 = 5*o - 0*o. Let s = o + -747. Let g = -496 - s. Is g a prime number?
True
Suppose 2*m - 5 = -5*b, -3*m = 4*b + 2*m + 13. Suppose -v = -4*f - 101, 0 = 3*v + b*f + 2*f - 235. Is v a prime number?
False
Let w be (-2)/9 + 4036/18. Let a = w + -142. Is a prime?
False
Let f(l) = 2063*l**2 + 4*l + 4. Is f(-1) a composite number?
False
Let r(z) = -7*z + 5. Is r(-12) prime?
True
Let m = -1 - -4. Let z be 456/(-78) + 6 - 1857/(-13). Suppose 88 + z = m*h. Is h a prime number?
False
Let n(q) = -5*q + 4. Let h(o) = -o**2 - 12*o - 1. Let y be h(-8). Suppose -y = 3*x - 4. Is n(x) composite?
True
Suppose 3*n = -5*s + 1146, -s + 34 = 4*n - 202. Suppose 2*t - 4*t = s. Let r = -55 - t. Is r a prime number?
True
Suppose -8 + 2 = -4*p + 2*u, 0 = -5*p + 4*u. Is (201/p)/((-1)/(-4)) composite?
True
Let h(a) = 1 + 9*a**2 + 1 + 7*a**2 - a - 1. Is h(-2) a composite number?
False
Suppose 0 = -3*m - 6 + 21. Suppose 232 = m*r + 2. Is r a composite number?
True
Let f(x) = 38*x - 29. Is f(11) prime?
True
Let s(f) = -13*f**2 + 9*f - 13. Let l(m) = 7*m**2 - 4*m + 7. Let d(p) = 5*l(p) + 2*s(p). Let i be d(-10). Suppose -4*j + 4*w = 3*w - i, 2*w = 6. Is j prime?
True
Let b(q) = -3*q**2 + 5*q - 16*q + 3*q**2 + 3*q**2 - 1. Is b(9) composite?
T