 = -10*s + 2994. Is s prime?
True
Suppose 13*g + 889 = 20*g. Is g a prime number?
True
Suppose 616 = -5*v + 3266. Let x = v + -297. Is x prime?
True
Is 1*(5 + -6) + 1 + 2203 a composite number?
False
Let s = 131 + -39. Let y = 18 + -77. Let w = s + y. Is w a composite number?
True
Let y be (-2)/13 - 41/(-13). Suppose 0*b - y*b + 159 = 0. Is b a prime number?
True
Let h(q) be the first derivative of q**4/4 + 11*q**3/3 + 6*q**2 - q - 2. Is h(-9) a prime number?
True
Let l be 7 + 2 - (-6)/3. Let a = 15 - l. Suppose -s = -a*s + 117. Is s prime?
False
Let t(c) = c**2 - 2*c + 4. Suppose -21 = 3*u - 3*a, a + 3*a + 17 = -5*u. Let s(j) = -2*j**2 + 5*j - 7. Let i(k) = u*t(k) - 3*s(k). Is i(6) a composite number?
False
Let w(j) be the second derivative of 6*j**3 + j**2/2 - 2*j. Is w(1) prime?
True
Let d(j) be the second derivative of -3*j**5/2 + j**4/12 + j**3/6 + j**2 + 3*j. Let i be d(2). Let g = -165 - i. Is g a prime number?
True
Let m = 1115 + -784. Is m prime?
True
Is (-7555)/(-7) + 12/(-42) a prime number?
False
Suppose 4529 = 3*n - 3*g + 224, -4*n = 3*g - 5754. Is n a prime number?
False
Suppose 57 = x + 20. Suppose -2*k - x = -3*k - 2*w, -5*w - 25 = 0. Is k a prime number?
True
Let l(z) = z**3 + 16*z**2 + 3*z - 16. Let k be l(-13). Is k/12 - (-4)/(-6) prime?
True
Let x = 114 + 143. Is x a composite number?
False
Let u(i) = -i**2 - 5*i - 2. Let d be u(-6). Let c = -7 - d. Let j(l) = 23*l**3 - 2*l**2 + 2*l - 1. Is j(c) prime?
False
Let b(o) = -6*o**2 + 6*o - 8. Let a(f) = -f + 1. Let t(z) = -3*a(z) - b(z). Is t(4) a prime number?
True
Let w = 14 + -21. Let a be w*1*1*-1. Let h = a + 15. Is h a composite number?
True
Suppose -2*y + 3*m + 1 = 0, 0*m = -y - m + 3. Let z(f) = 33*f**2 + y*f - f**2 - 3 + 4. Is z(2) composite?
True
Suppose 2*w = 5*h - 4, h = w - 1 - 0. Let i(t) = t**3 + 2*t**2 - 4*t + 4. Let q(l) = l + 1. Let v(y) = w*q(y) - i(y). Is v(-5) a prime number?
False
Suppose 7 = -2*w - 23. Is -5*(-1)/(w/(-63)) prime?
False
Let i be (-6)/3 - 0 - -3. Is (-740)/(1 - 3) + i a composite number?
True
Suppose -4*a + 0*a = -16. Suppose 4*t + 6*k - k = 531, 4*k = a*t - 540. Is t a prime number?
False
Let t(l) = -l**2 - 7*l. Let c be t(-7). Suppose c = k + 4*k + 95. Is (k - 0)*-1 - 0 composite?
False
Let s(a) = a**2 - a + 55. Let r = -1 - -1. Is s(r) a prime number?
False
Let d be ((-1)/3)/(4/(-24)). Suppose d*a - 8 = 4. Suppose -5*j - 3*l + 380 = -a*l, -j = -l - 74. Is j a composite number?
False
Suppose 0 + 4 = -n + 3*y, 3*n - 4 = y. Let u be n/(-4) + (-117)/(-2). Suppose -8 = -2*q + u. Is q composite?
True
Suppose -4*g + 18 = -g. Let h = 0 + g. Is h a prime number?
False
Let x(h) = h**3 - h**2 + h + 7. Let v be 0/(2/(0 - -2)). Let d be x(v). Suppose d*m - 2*m - 115 = 0. Is m composite?
False
Let q = 322 + -127. Suppose 5*v = j + q, -4*j = -3*v + j + 117. Is v prime?
False
Suppose -3*b + 7*b - 3*l - 998 = 0, 5*l - 512 = -2*b. Is b prime?
True
Let p(g) = g - 3. Let s be p(5). Let o be (2/s - -3)/2. Suppose -o*v + 725 = 3*v. Is v a composite number?
True
Let y be (114 + -6)/((-1)/(-3)). Suppose 4*s - 1680 = -y. Is s a prime number?
False
Suppose 0 = -2*n - 2, 4*u - 48 = 2*n + 18. Suppose u + 0 = 4*i. Suppose i*x = 3 + 41. Is x composite?
False
Let g(l) = 8*l**2 - 8*l - 7*l**2 - 2*l**2. Let c be 3/6*2 + -6. Is g(c) prime?
False
Suppose 5*p - 25 - 5 = -4*a, 0 = 4*a - 4*p - 12. Let q(j) = -j + 7. Is q(a) composite?
False
Suppose q = s, s - 2*q - 6 = q. Let n(t) = -t**3 + t**2 + 1. Is n(s) prime?
True
Let d(r) = -38*r - 5. Let p(s) = s. Let w(k) = d(k) + 6*p(k). Is w(-5) a prime number?
False
Let d = 5 + -2. Suppose 3*i - 4*q + q = 54, 0 = -d*i + 2*q + 56. Suppose 2*w - i = w + a, 72 = 3*w + a. Is w a prime number?
True
Suppose 0 = 3*o + 6, 0 = 4*k - 2*o - o - 234. Is k prime?
False
Let k(d) = -20*d - 6. Let t = -4 - 1. Is k(t) prime?
False
Suppose -5*l - 5*v + 14646 = -l, 0 = -l + 4*v + 3651. Is l a composite number?
False
Suppose -1276 = -3*x - 151. Suppose -4*d + x = 139. Is d a prime number?
True
Let a be 1 + 0 - (-70 - -3). Suppose 226 = 5*d + 2*b - a, -3*b - 189 = -3*d. Suppose 0*o - d = -4*o. Is o prime?
False
Let t(a) = -a + 10. Let d be t(8). Suppose -d*b + 260 = 2*b. Is b prime?
False
Let d(w) = w**2 - 9*w + 11. Suppose 0 = j - 2*j + 8. Let g be d(j). Let v(t) = 4*t**3 - 4*t**2 + t - 4. Is v(g) composite?
False
Suppose 4*p = 3*c - 40 + 14, -5 = -p - 5*c. Let y(t) = -t**2 - 5*t - 4. Let i be y(p). Is 152/i*2/(-4) prime?
True
Let t = 3 + -1. Suppose t*m + 0*m = 92. Is m a prime number?
False
Suppose -129 = 6*q - 651. Is q a prime number?
False
Is 2/8 + (-1)/(16/(-22188)) composite?
True
Let w(o) = -267*o + 38. Is w(-7) prime?
True
Let r be 69/(-21) + (-6)/(-21). Is (-168)/r + -3 + 0 prime?
True
Let s(b) = 5*b**3 - b. Let f be s(1). Suppose f*h - 122 = 90. Is h a composite number?
False
Let k(u) = u**3 - 5*u**2 - 2*u + 7. Let j be k(5). Is (0 - -3) + j - -479 a prime number?
True
Let t = 3 + -1. Suppose 3*v + 3*x - 45 = 0, 14 = 2*v - t*x - 32. Suppose -v = -4*j + 9. Is j a prime number?
True
Suppose -3*w + 2*h = -2*w - 27, w - 25 = h. Is w a prime number?
True
Suppose 0 = -4*n + 5*g - 103, -5*n - 4*g - 155 = -5*g. Let z = n - -48. Let k = z - 3. Is k composite?
False
Let y(j) = -41*j - 37. Is y(-18) prime?
True
Suppose a = 2*a - 411. Is a prime?
False
Suppose -y = -6*y + 10. Suppose 4*k + 2 = y*h, 0*k - 5*k = -h + 1. Suppose 3*g - 19 - 23 = k. Is g composite?
True
Let h be (2 - (3 + 1))/(-1). Let u = h + -6. Is u/(-4)*(-1 - -66) a composite number?
True
Let r = 19 - 14. Suppose 0*t + 5*h - 52 = -t, r*h = 2*t - 149. Is t composite?
False
Suppose 2*m = 5*m - 3. Is 6567/44 - m/4 composite?
False
Let d(o) = -o**3 - o**2 - o + 39. Is d(0) a composite number?
True
Let s be (-1 - 1)/((-1)/4). Suppose 5*v - s = v. Suppose -11 - 27 = -v*f. Is f a prime number?
True
Let t = 132 + -300. Let c = 427 + t. Is c composite?
True
Suppose -8 = -3*x + 13. Suppose 47 = 4*d + x. Is 10/25 + 646/d a composite number?
True
Let c = 534 + -315. Let k = c + 416. Is k a prime number?
False
Suppose 11*u = 16*u - 20. Suppose 2*l + l - u*t - 887 = 0, 0 = 3*l + 2*t - 875. Is l composite?
False
Suppose -3*n + 5954 = -1297. Is n a composite number?
False
Let c(k) = 87*k**3 + 5*k**2 - 2*k - 5. Is c(3) composite?
False
Suppose -5*v - j = 0, 4*v = -5*j - 0*j. Suppose 2*i = 3*p + 29, v = 2*i - 0*i + 4*p + 6. Is i prime?
True
Let y = 110 + -64. Let v = y - -21. Is v a prime number?
True
Let p(x) = -x**2 - 7*x + 11. Let v be p(-8). Suppose 1 = 5*w - 0*d - 2*d, -5*w + 9 = 2*d. Is (-190)/(-15) + w/v a composite number?
False
Suppose 4*f + 2*c - 12728 = 0, -5*f + 3*c + 15229 + 670 = 0. Is f prime?
True
Let l = 18 - -7. Let a be (-30)/9*1*3. Let x = a + l. Is x a prime number?
False
Let q(p) = 20*p**3 - 2*p + 1. Suppose -23 + 8 = -5*n. Suppose 5*r = 2*r + n. Is q(r) prime?
True
Let c(z) = 12*z**3 - 3*z**2 - 35*z + 10. Is c(7) a composite number?
True
Suppose 0 = -3*a + 5*a. Suppose a = 3*c + c - 356. Is c composite?
False
Let m be -1 - (-6)/4*2. Suppose 3*r = r + 154. Is r + (-1 - m/(-2)) composite?
True
Suppose 3*l + l = 100. Suppose 0*v - l = -5*v. Suppose 2*c - c - 5 = 0, 0 = -r + v*c + 60. Is r a prime number?
False
Let n(o) = 3*o**3 - 2*o**2 + 1. Let t be n(-1). Is (38/3)/(t/(-6)) composite?
False
Suppose v - 4 + 3 = 0. Let x be v*(3 + -2) + -1. Suppose -8*p + 3*p + 635 = x. Is p a prime number?
True
Is (1 + 0)*(0 + 335) a composite number?
True
Let d = 13 + -10. Suppose d*n - 262 = u - 26, 4*n - 328 = 4*u. Is n a composite number?
True
Let m = -9 - -14. Suppose 2*c + 3*p + 2*p = 511, -m*c - 5*p = -1270. Is c prime?
False
Let q = -9 - -19. Let i = q + -4. Is i a composite number?
True
Let v = -17 - -138. Is v a composite number?
True
Suppose -320 = -2*m - 4*y, -93 - 228 = -2*m - 5*y. Is m a prime number?
False
Let f be (4/12)/(1/6). Let z be (-6)/f - 14/(-2). Suppose -7*n = -2*n, -z*l = -3*n - 452. Is l a prime number?
True
Let x = -16 - -14. Is 4/4*x - -196 composite?
True
Let b(v) = 11*v + 4. Let j(f) = -10*f - 5. Let h(d) = 2*b(d) + 3*j(d). Is h(-12) prime?
True
Let q = 58 - 48. Suppose 0 = t - 5*t + 804. Suppose t = q*j - 7*j. Is j prime?
True
Let k(v) = v**3 - 2*v**2 + 1. Let s(n) = -n + 4. Let q be s(3). Let a be k(q). Is 36 - (a + 1)/1 prime?
False
Is -1*818/(0 - 2) a prime nu