Is b composite?
False
Let o = 12723 + -7466. Is o a composite number?
True
Suppose 2*q - 3*j + 135 = 0, 0 = 3*q + 2*q + j + 363. Let x = q + 203. Is x a prime number?
True
Let g be 4*3/6 - 0. Let c(o) = g + 5*o - 14*o - 12*o. Is c(-3) prime?
False
Suppose 2*b - 8 = 3*k, -5*k - 5 = b - 2*k. Is (3 + b - -17) + 2 prime?
True
Let c(j) = -2*j**3 - 14*j**2 + 2*j - 4. Let x(a) = a**3 + a**2 + a + 1. Suppose -p + 0*p - 1 = 0. Let u(h) = p*c(h) - 3*x(h). Is u(10) prime?
False
Is (-956)/10*30/(-12) a composite number?
False
Suppose 2*m + 4*v + 2 = 3*m, -3*m + 61 = -v. Is m a prime number?
False
Let t = -6 - -3. Is t + (94 - (-1 - -3)) composite?
False
Let i = 211 - 47. Suppose 3*p + p = i. Let u = 92 + p. Is u a prime number?
False
Let u(j) = -2*j - 5. Let s(l) = -3*l - 11. Let n(h) = 3*s(h) - 5*u(h). Let x be n(12). Suppose -g + 69 = 5*d, x*g - d + 0*d - 276 = 0. Is g prime?
False
Suppose h - 6*h = -155. Let l = h - -4. Is l a composite number?
True
Let g(l) = 11*l - 3. Let o(p) = 1. Let z(c) = -g(c) - 5*o(c). Suppose 5*d + 16 = 1, -2*h = -2*d. Is z(h) composite?
False
Let z(b) = -b**3 + 14*b**2 - 7*b + 7. Is z(10) a composite number?
False
Let f(q) = -17*q + 3. Let g be f(-10). Suppose b + 4*s = 5*s + 94, 2*b + 3*s = g. Is b prime?
False
Let c = 90 - -97. Let r = c - -4. Is r prime?
True
Is ((-54)/(-108))/(((-6)/(-5836))/3) a composite number?
False
Suppose -2*f = 2*n - 2, -f + 26 = 4*f - 2*n. Suppose f*a - 10 = -2. Suppose -v + a*v - 59 = 0. Is v a composite number?
False
Let j(w) = -1285*w**2 - 1. Let i be j(1). Is i/(-6) - 2/(-3) composite?
True
Let w(n) = -n**3 + 7*n**2 - 8*n + 3. Let j be (20/(-8))/1*-2. Is w(j) prime?
True
Suppose 2*u = -4, -3*s + 0*s = 2*u - 5453. Is s a prime number?
False
Suppose 18 = -4*m + 526. Let a = -44 + 47. Suppose 2*w = 4, m = p + a*w - 4*w. Is p a prime number?
False
Let r(v) = v**3 + 3*v**2 + 3*v + 2. Let l(q) = 2*q**3 - q**2 - q - 1. Let s be l(-1). Let j be r(s). Let p(d) = d**3 + 7*d**2 - 8*d - 9. Is p(j) a prime number?
True
Let g(o) = 9*o - 5. Let q be g(-6). Suppose 376 = -2*i + 6*i. Let f = i + q. Is f composite?
True
Suppose 3*i = -5*h - 2*i + 2055, -i - 4 = 0. Is h a composite number?
True
Let s = -4 + 4. Suppose 2*r + 2*c - 106 = s, r + r = -3*c + 106. Is r composite?
False
Let v = 37 - 27. Is v a prime number?
False
Let a(o) = o**2 - 7*o - 4. Suppose 3*y + 21 = d - y, 0 = -3*d + 3*y + 36. Let p be a(d). Suppose -p + 71 = 3*m. Is m prime?
True
Let j(o) be the second derivative of o**4/4 + o**3/6 - o**2/2 + 2*o. Let r be (-5)/(-2)*4/10. Is j(r) a prime number?
True
Suppose 3*u + 2*y - 4*y = 16, 2*u - y - 10 = 0. Suppose 0 = -2*f - 2, -49 = -s - u*f. Is s a prime number?
True
Let c = 9 + -6. Is c a composite number?
False
Suppose 0*b - 3*b + 339 = 0. Is b prime?
True
Suppose -2*y + s = -3, -5*y - s = 4*s - 30. Suppose 6 = -2*t - y*a, t - 6*t = 5*a + 5. Suppose t*u - 127 = 2*u. Is u composite?
False
Let w(q) = -q**3 - q + 6. Let l be w(0). Suppose 92 = 2*a - l. Is a composite?
True
Let t(n) = 4*n - 1. Is t(1) a prime number?
True
Is (4063 + -24)*(-1 + 2) prime?
False
Let i(t) = -7*t + 1. Let h = 7 - 13. Let n be (-6)/(-9) + 22/h. Is i(n) a composite number?
True
Let m(y) = 2*y**2 + 2*y + 1. Let z be m(-2). Suppose -4*x - 98 = -z*n, 2*x = n - x - 13. Is n composite?
True
Let j be (-1)/5 - 46/(-5). Suppose 0 = -3*t + 4*n - 1 - j, -n = 4*t + 7. Is t/2 - 38*-1 a prime number?
True
Suppose -7*t + 2*t + 2455 = 0. Is t a composite number?
False
Let o be 0*(9/(-6) - -1). Is -3 - (o - 95) - 3 composite?
False
Let p be (-64)/(-40) - 4/(-10). Suppose -4*f + 5*n = -114, 5*f + p*n = -0*n + 126. Is f composite?
True
Let t(u) = 0 + 2*u**2 - 1 + 2 - 5. Let v be t(4). Suppose -h = 3*h - v. Is h a prime number?
True
Suppose 86*y = 91*y - 14465. Is y prime?
False
Suppose -r - r = -716. Suppose -r = b - 3*b. Is b prime?
True
Let v = 27 + -15. Is (8/v)/(8/2796) prime?
True
Suppose -4*j + 2*l = 4*l, -3*l = -3*j + 9. Let k be 3 + (j + -5)/2. Let q(c) = 127*c. Is q(k) a prime number?
True
Let h = 18 - -1. Is h prime?
True
Let x = 710 - 505. Is x a composite number?
True
Suppose -6*r - 6 = -8*r. Suppose -6*v + 2*v + 381 = 5*z, -r*v = 4*z - 286. Is v a composite number?
True
Let n be 1 - 3 - (7 - 7). Let z(f) = -f**3 + 4*f**2 + 3*f + 1. Is z(n) prime?
True
Suppose -3*w + 5*w = 4. Suppose 7*l - 28 = -4*f + w*l, 0 = 2*f - 2*l + 4. Suppose 0 = f*r + r - 195. Is r prime?
False
Let q(n) = -22*n**3 - n**2 + 1. Let j(s) = s**2 - 10*s - 1. Let u be j(10). Let x be q(u). Is (17/2 - 3)*x prime?
False
Suppose -5*s = -4*j + j - 345, 0 = 3*s - 3*j - 207. Let g be 10/(-4)*(-8)/10. Suppose -3*x + x + q = -s, g*q + 6 = 0. Is x composite?
True
Suppose -328 = -4*q + 4*p, q + 3*p - 148 = -46. Is q composite?
True
Let j(s) = 60*s + 21. Is j(15) a prime number?
False
Suppose 138 = 4*k - k. Suppose 0*x + 3*p = -5*x + 23, -2*p + 2 = 0. Suppose -2*w = -x*w + k. Is w composite?
False
Let k be 3/(-2)*(-4)/2. Suppose -l = -5*d - 17, k*l + 3*d + 5 = 74. Is l composite?
True
Let s(j) = 2*j**2 + 7*j + 6. Let c be s(-5). Is (-605)/(-3) + (-14)/c a composite number?
True
Suppose 5*a - 2*a = 12. Suppose -15 = a*u + 3*f, 3*u - 4*u + 3*f = 0. Is u + 52 - 0/(-1) a prime number?
False
Suppose -10 = -4*u - u. Is u + 1 - (-70 + -4) composite?
True
Is 39320/32 - 3/(-12) a prime number?
True
Is (-2)/(-3 - (143/(-145) + -2)) a composite number?
True
Suppose -c + 248 = v, -3*v = -2*c - 1053 + 294. Is v prime?
True
Suppose b = 4*r - 1998, 1239 + 747 = 4*r + 5*b. Is r prime?
True
Let f(j) = j**3 + 5*j**2 + j + 4. Let h be f(-5). Let b be (3 - 0) + 3/3. Is 195/20 - h/b a composite number?
True
Is (91/3 - -1)*42/4 prime?
False
Is (-2 - -255) + (-5 - -3) prime?
True
Suppose -3*a + 848 + 2053 = 0. Is a a prime number?
True
Suppose 3*v + 20 - 83 = 0. Suppose -2*u - 2*i = -3*i - v, 5*u = -5*i + 45. Is u a composite number?
True
Let t = 592 + -377. Is t a prime number?
False
Let h = 266 - 139. Is h prime?
True
Suppose -d = -3*s + 2052, -d + 3 = -0*d. Is s composite?
True
Let n be (0 + 1)/((-6)/(-3870)). Suppose -t + 131 = -2*k - 0*k, 0 = -5*t + 5*k + n. Is t a composite number?
False
Let w = -4 + 23. Suppose 2*s - w = 19. Is s a prime number?
True
Suppose 4*c = 91 + 209. Is c/2 + 4/(-8) composite?
False
Let v(y) = -y**2 + 9*y - 8. Let q be v(8). Suppose -2*o - 2*b + q = -4, 2*b = -3*o + 9. Suppose -2*z + 5 = -5*i + 1, o*z = i + 10. Is z a composite number?
False
Let f be 4/(-10) - (-274)/10. Suppose -5*t = 2*y - f - 29, 44 = 2*y + 2*t. Let z = -11 + y. Is z prime?
True
Let i(u) = 2*u**2 + 5*u + 2. Let q be i(-3). Suppose -5*k + q = -4*w - 0*k, -5*w + k + 20 = 0. Suppose -52 = -w*f + 58. Is f composite?
True
Suppose 4*q - 96 = 3*q. Suppose 0 = -0*k - 2*k - q. Let n = k + 73. Is n a composite number?
True
Suppose 0 = -4*x - 448 + 2204. Is x a prime number?
True
Suppose 3*i - 129 - 318 = 0. Is i a prime number?
True
Let w(r) = -r**3 + 3*r**2 - r - 1. Let x be w(2). Is 5 + -3 - (x + -50) a prime number?
False
Let q(p) = -96*p**3 - p**2 + p + 1. Is q(-1) a composite number?
True
Is 8512/8 + 1/(-2)*6 a prime number?
True
Let a = 1048 - 669. Is a a prime number?
True
Let r(p) = 24*p**2 + 5*p + 6. Is r(-5) a composite number?
True
Suppose 0 = -3*x + 110 + 244. Suppose -p = -3*p + x. Is p a prime number?
True
Let z(g) = -g**3 + 7*g**2 + 2*g + 2. Let i be z(6). Let q = 0 + 4. Suppose -107 = -5*y - 4*f, -2*y - q*f = -0*y - i. Is y a prime number?
True
Let a be (-3)/((-1782)/(-592) - 3). Let y = a - -555. Is y composite?
True
Let l = 37 - -37. Suppose 3*p - 5*p = -l. Is p prime?
True
Let p = 106 + 28. Is p a prime number?
False
Let t(v) = 4*v**3 + 3*v**2 + v + 2. Let s(h) = 7*h**3 + 6*h**2 + 2*h + 4. Let k(j) = -3*s(j) + 5*t(j). Is k(-5) a prime number?
True
Let x = 277 + -165. Let j = x - 54. Is j a composite number?
True
Suppose -4*c + 7*c = 30. Is c composite?
True
Suppose b + 0*b - 98 = 0. Let a = b + -13. Is a a prime number?
False
Let c(l) = -l + 9. Let n be c(5). Suppose -1052 = -n*o + 8. Is o prime?
False
Let f(w) = -w**2 + 4*w + 2. Suppose 2*u - 3*r + 2 = r, 0 = 2*u - 2*r - 4. Let i be f(u). Let q = 18 + i. Is q composite?
True
Suppose -5*l + 4*p = 329, -l - 5*p - 320 = 4*l. Let n = 78 - l. Is n prime?
False
Suppose 2*l + 4*m = -l + 739, 0 = -2*m - 10. Is l a composite number?
True
S