r?
False
Let z be (-7601)/(-3) + 3*(-4)/18. Let w = z + 208. Is w composite?
False
Suppose 6*r - r = 0. Let u(h) = h**3 + h. Let t be u(r). Let p(k) = k**2 - k + 91. Is p(t) composite?
True
Let y = 49 - 46. Suppose -4*v = y*a - 362, 3*v - 188 = v - 5*a. Is v a prime number?
True
Let f = 261 + -481. Is f/(-6) + (-2)/(-6) a prime number?
True
Suppose -2*d = 2*q - 7*d + 7, -4*d = 4*q - 28. Let o = -23 - -23. Suppose 4 = -o*h - h + 3*w, q*h = -2*w + 54. Is h prime?
True
Let t(u) = 25*u**2 + 1. Let p(r) = r**3 + r**2 - r + 3. Let f be p(0). Suppose -3*q + 3*k + k + 1 = 0, -3*q = -3*k - f. Is t(q) a composite number?
True
Suppose -2*o + 12*o = 39530. Is o prime?
False
Let q = 690 - -571. Is q a composite number?
True
Suppose 0*h - 7*h + 84 = 0. Suppose -5*m - 148 = -k + 120, 0 = 4*m + h. Is k a prime number?
False
Let z(w) = -w**3 + 14*w**2 + 12*w + 2. Let f be (12/(-3) - -2) + 3. Let y be f/(-3 + (-136)/(-44)). Is z(y) a prime number?
False
Suppose 0*l - 3 = -l. Suppose 5*s = l*g + 36, -3 - 1 = 2*g. Suppose 3*d = s*d - 147. Is d prime?
False
Let q = -23 - -15. Is (-1)/(591/(-1578)*q - 3) composite?
False
Let u(o) = 2*o**2 + 13*o - 73. Is u(-26) a prime number?
True
Suppose -p = 4*l - 5*p - 1088, 5*p - 1310 = -5*l. Suppose l = 7*v - 4*v. Is v composite?
False
Suppose 3977 = 2*x - 1307. Suppose -v + 5*y + 1295 = 0, -8*v + 10*v - x = -3*y. Is v a prime number?
False
Suppose 201 = a - 420. Suppose -a = 5*q - 2566. Is q prime?
True
Suppose -10 = -4*q - 4*m - m, 0 = 4*q + 3*m - 6. Suppose -7*h = -q*h - 4445. Is h prime?
False
Suppose -2*c + 58 = -l + 5*l, l = 3*c + 4. Let i = l - -13. Suppose 0 = -q - 4, -w - 5*q + 10*q = -i. Is w a composite number?
True
Let z(h) = -h. Let b(d) = d**2 - d - 2. Let o(u) = b(u) + z(u). Let s be o(4). Suppose -4*p = -s*p + 322. Is p prime?
False
Suppose -4*u + 2*f = -3*u - 1, -3*f = 0. Is -1*u*(-15 + -454) prime?
False
Let t = 388 - -609. Is t a prime number?
True
Let h = 58 - -1107. Is h prime?
False
Suppose -2*o - 5*z = -11261, 2*z - 9 = -3. Is o composite?
False
Suppose -17*m + 21841 = 3*l - 19*m, 0 = -2*m + 8. Is l a prime number?
True
Suppose 11*l = 8*l - 24. Let g = l + 13. Suppose 342 + 73 = g*d. Is d a composite number?
False
Let h(m) = 36*m + 12661. Is h(0) composite?
True
Let w(p) = -p**3 - 13*p**2 - 11*p + 15. Let l be w(-12). Suppose 0 = r + l*r. Suppose 0*b - b + 37 = r. Is b a prime number?
True
Suppose 4*v = -4*d - 744, v - 3*d - 741 = 5*v. Is (v/1 + -2)*-1 composite?
True
Let r be 1/((-5)/(-3435)) - -2. Suppose -3*c + 2*c + r = 0. Is c prime?
False
Suppose 3*m = 2*x + 45, 2*m - m + 25 = -2*x. Let s = x - -1. Is (7/s)/((-1)/718) composite?
False
Let b(g) = g**3 - 7*g**2 - 10*g + 10. Suppose 3*x + 20 = 8*x, -3*h - 3*x = -36. Let q be b(h). Is (-1)/((q/(-573))/(-2)) prime?
True
Let c = -133472 + 207441. Is c composite?
True
Let a = 35 - 36. Is a + (-135*4)/(-3) composite?
False
Let s = 76943 + -52932. Is s a composite number?
True
Suppose 0 = -x + 2*k + 7, 5*x - 3 - 4 = -4*k. Suppose -x*i = -i - 4. Suppose -4*c = -3*l - 734, i*l - 929 = -10*c + 5*c. Is c a composite number?
True
Let i(s) = -4*s + 4. Let y be i(-5). Let g = y + -22. Suppose 0*c - g*c = -86. Is c prime?
True
Suppose 8*l - 4*l + 8 = 0, 6*l + 46697 = p. Is p prime?
False
Let m(a) = -a**2 - 11*a - 6. Let j be m(-9). Suppose -3*p = -5*p + j. Is 18/(-27) + 64/p a prime number?
False
Let p(f) = -32*f**3 + 6*f**2 + f + 3. Let t(k) = -11*k**3 + 2*k**2 + 1. Let s(d) = 6*p(d) - 17*t(d). Is s(-4) a prime number?
False
Let o(h) = 10*h**3 - 27*h**2 - 18*h - 24. Is o(19) a prime number?
True
Suppose 0 = f - 2, -3086 = -2*x - 2*x - 5*f. Is x prime?
True
Let d(k) = 76*k**2 - 7*k + 22. Let n = 96 + -89. Is d(n) a prime number?
True
Suppose 4*l + 17 - 25 = 0. Suppose -1850 = -4*g + l*g - 5*u, 935 = g + 5*u. Suppose -6*y = -g - 591. Is y composite?
False
Suppose -2*n = -y - 26838, -2*n - 3*y + 7300 = -19522. Is n composite?
False
Let s = 20345 + -10836. Is s a composite number?
True
Let j = 6 - 7. Let u be j/(4/(0 - 4)). Is -113*(u + -2) + 2 a prime number?
False
Suppose 6*c - 6090 = 4*c - o, 9129 = 3*c + 3*o. Is c prime?
False
Is 421526/30 + (372/90 - 4) prime?
True
Suppose -98*k = -53*k - 734895. Is k composite?
True
Let r(b) = 154*b - 287. Is r(12) a prime number?
False
Suppose 2 = 6*q - 5*q. Suppose -5*u - 9125 = -3*v, -3*v + q*u + 12148 = v. Is v a prime number?
False
Suppose -5*y + 3066 + 229 = 0. Suppose 264 = 2*q + x, 8*q - 3*q - y = -2*x. Is q a composite number?
False
Is 1 + -2 - -1483 - 1 a prime number?
True
Let k be (2 - 0/3) + 6. Suppose 0 = 5*f - k*f + 465. Is f a prime number?
False
Suppose -148*g + 32438 = -134*g. Is g composite?
True
Let z be (-4)/12 + (-103)/(-3). Let u = -15 + z. Suppose a - u = 58. Is a a prime number?
False
Suppose -3*m - 3*x = -9, -3*m = -0*m - 2*x + 6. Let t = m - -6. Suppose t*d - 381 = 3*d. Is d a composite number?
False
Let w(v) = -v**2 + 30*v + 101. Is w(28) a prime number?
True
Let w(b) = -3*b**2 - 6*b - 6. Let j = -28 + 24. Let y be w(j). Let v = y + 55. Is v prime?
False
Suppose 2*p - 1545 = a, -p - 198 = 5*a - 954. Is p a prime number?
False
Let c(r) = r + 2. Let z be c(1). Suppose -3*l + 1345 = 4*w, 0 = -z*l - 2*l - 5. Is w a composite number?
False
Let q(u) be the second derivative of -u**4/12 + 3*u**2/2 + 4*u. Let x be q(0). Suppose 468 - 21 = x*s. Is s composite?
False
Let x be (-2 + 1 - 9)*(-19)/(-38). Is 1255/(1 - (x - -5)) prime?
False
Suppose y + 4*h - 17 = 6*h, -2*y + h = -31. Suppose y = 5*t + 5. Suppose k - 196 = -t*k + 5*u, 2*k + 2*u - 136 = 0. Is k composite?
False
Suppose -197*m + 81477 = -188*m. Is m a prime number?
False
Is -1 + 1*(111 + 2) + -3 prime?
True
Let y(u) = 0*u + u - 19 + 30. Let o be y(-11). Suppose o*s - f + 156 = 2*s, 0 = -3*s + 2*f + 241. Is s prime?
True
Suppose a - 4*a = 4*u + 43, -3*u = 2*a + 33. Let o(r) = 15*r**3 - 18*r**2 + 31*r. Let g(x) = 7*x**3 - 9*x**2 + 15*x. Let h(p) = u*g(p) + 6*o(p). Is h(7) prime?
False
Let r = 12 - 14. Let p be ((-1)/(-2))/(r/16). Let w(z) = 11*z**2 + 2*z - 7. Is w(p) prime?
False
Suppose -6*p + 73 = 55. Suppose 4*o - 5405 = o + v, -3*o - p*v = -5397. Is o a prime number?
True
Suppose 0 = -0*d - 2*d. Suppose d = -7*y + 11*y. Suppose 3*g - 778 - 23 = y. Is g a composite number?
True
Let u(h) be the third derivative of h**6/120 - 7*h**5/60 - h**4/6 - h**3/2 + 3*h**2. Is u(11) a composite number?
True
Let n = -97 + 97. Suppose n = 18*o - 13*o - 265. Is o composite?
False
Suppose -3*s + 4*t + 5291 = 0, 4*s - 7048 = 19*t - 15*t. Is s prime?
False
Suppose 5*w + 3*s + 15 = 0, s = -6*w + w - 5. Suppose 5*d - 4*l - 9561 = 0, w = l - 1 + 5. Is d prime?
False
Let l(z) = 2*z**2 - 7*z - 11. Let d be (6 - (-2 + -2)) + -4. Is l(d) prime?
True
Let c(q) = 9*q**2 + 1. Let d be c(1). Suppose 22319 = d*n - 5271. Is n a prime number?
False
Let o(p) = -11*p - 3. Let m be o(-3). Suppose -2*k - 3*k - m = -5*s, 12 = -3*s - 3*k. Suppose s = -g, 2*a - 3*a + 5*g + 26 = 0. Is a composite?
True
Suppose -7140 = 5*h - 0*h. Is (-15)/(-75) + h/(-10) a composite number?
True
Let m(y) = -31*y + 2. Let d(u) = -u**3 - u**2 + u + 2. Let l be d(2). Let z = l - -5. Is m(z) a prime number?
False
Suppose -757 = -6*h + 1397. Is h prime?
True
Let a(c) = -414*c + 433. Is a(-16) prime?
True
Suppose -5*c = -0*c - 40. Suppose -c = 2*m - 82. Suppose 0*i = -i + m. Is i a composite number?
False
Let z(j) = 42*j + 302. Is z(40) a composite number?
True
Suppose 3*c - 3 = 3*o, -4*o - 4*c = o + 32. Let m be 2 + 1 - (-105 + o). Let x = 207 - m. Is x prime?
False
Let y(d) be the third derivative of 5*d**4/24 + d**3 - 16*d**2. Is y(1) composite?
False
Let d be (-4364)/4 - (1 - 2). Is (1 - (d + 2)) + -2 composite?
False
Let c(g) be the third derivative of -5*g**4/12 - g**3/6 + 4*g**2. Let m be c(-7). Let l = 8 + m. Is l prime?
False
Is -42235*2/(-8) + (-6)/(-24) a prime number?
True
Let u = -17 + 20. Suppose -3*x - u*l + 1686 = 0, 4*x - l = 3*l + 2208. Is x composite?
False
Let h(y) = -y**3 - y**2 + 2*y + 4. Let t be h(0). Suppose d - 3*i = 68, -3*d = t*i - 118 - 112. Is d prime?
False
Let d = -17381 - -43408. Is d a composite number?
True
Suppose 0 = -7*f - 0. Suppose -5*g + 5*r = -1350, 294 = -f*g + g + 5*r. Is g prime?
False
Let g(j) = -38*j + 26. Let c be g(-8). Let r = 541 - c. Is r a prime number?
Tru