ber?
True
Let i(j) = -5*j**3. Let n be i(-1). Suppose 5*h - 2*c = 707, -h = -n*h - 3*c + 584. Is h composite?
True
Let a = 7 - 12. Is -3*17*a/3 composite?
True
Let i(j) = 5*j**2 + 22*j - 7. Is i(-12) prime?
True
Suppose 3*a + 2868 = 4*r + a, -3584 = -5*r + 3*a. Suppose -2*w - 10 = 0, -w = 4*i - 3*w - r. Is i prime?
False
Suppose 3*i - 4255 = -2*i. Is i a prime number?
False
Suppose -5*i + y + 3 = 0, -7*i = -3*i - y - 2. Is (-490)/(-4) + i/2 prime?
False
Suppose 3*j + 7814 = 5*t, 2*t + t - 2*j = 4689. Is t a composite number?
True
Let d = -14 + 309. Is d a composite number?
True
Let g be (12/5)/((-2)/(-25)). Suppose -7*s + 2*s + g = 0. Suppose 2*b + s = -5*l + 15, -4*l - 11 = -b. Is b a prime number?
True
Let h(j) = j**3 + 2*j**2 - 5*j - 2. Let d be h(-3). Suppose m + 10 = -5*p, -m - d*p = -6*m + 37. Suppose -5*a - 207 = -4*n, -m*n = -a - 16 - 248. Is n prime?
True
Let d(q) = 2*q**3 - 11*q**2 + 16*q + 10. Is d(8) prime?
False
Let w(i) = -1029*i + 8. Is w(-5) composite?
False
Suppose 6*o - 209 = -2*l + 3*o, 480 = 5*l - o. Is l a composite number?
False
Suppose 24 = -2*y + 2*j, 3*j + 31 = -4*y - 24. Let z = y - -198. Is z a composite number?
True
Suppose 4*l - 147 = -4*u + 81, 281 = 5*u + 4*l. Is u a composite number?
False
Is ((-12)/42 - 1154/28)*-2 a composite number?
False
Let v(n) = -5*n**3 + 6*n**2 + 14*n + 17. Is v(-6) a composite number?
False
Is (273 - 2 - 0) + 3 composite?
True
Let d(m) = -m + 3. Let s be d(-3). Let t = -14 + s. Is 801/12 - 2/t prime?
True
Is 2 + 1 - 1106/(-7) prime?
False
Let o(j) = j**2 + 3*j - 1. Let r be o(-3). Let k = 1 + -1. Is (-2 - 19)/r + k a prime number?
False
Let w = -4 - -8. Suppose w*c + 8 = 0, 382 = 5*t - c - 795. Is t composite?
True
Let l = 318 + -169. Is l a prime number?
True
Let x = -43 + 752. Is x a prime number?
True
Suppose 0 = -4*n + 6850 + 5962. Is n a composite number?
False
Let w = 3703 + -2045. Is w composite?
True
Let r = 148 + -71. Is r prime?
False
Let q(u) = 120*u**2 + 2*u - 1. Let v be q(-2). Let d = v - 218. Is d composite?
False
Let s = 19 - -50. Is s composite?
True
Let v(d) = 10*d**3 - 4*d**2 - 3*d - 2. Let f be v(-4). Let h = -477 - f. Is h prime?
False
Let h(b) = -b**2 + 3*b. Let q be h(3). Suppose 0 = -q*u + 2*u - 10. Suppose -m + 3 = -3*r + 70, -3*r = u*m - 43. Is r a composite number?
True
Let p(y) be the second derivative of 23*y**4/12 - y**3/3 + y**2/2 + 2*y. Let k be p(1). Suppose 0 = -0*w + 2*w - k. Is w composite?
False
Suppose -2*y = -3*y - 5*v + 4086, -3*v = -2*y + 8237. Is y prime?
True
Let z(r) be the third derivative of r**5/60 + r**4/6 - 2*r**2. Let a be 2/(-1 + (-5)/(-3)). Is z(a) a composite number?
True
Suppose h - 71 = -3*h + n, 4*h - 80 = 4*n. Let b = 9 + h. Is b composite?
True
Suppose g - 5*v = 12, -v - 4 = -0*g - g. Is (1 + 370)*(g - 1) a composite number?
True
Suppose c + 3*c - 7690 = -3*o, -5*o + 10 = 0. Is c a prime number?
False
Suppose 22 = j - u, j + 26 = 2*j - 2*u. Suppose 0 = 2*a - 140 - j. Is a prime?
True
Let l(h) = 4*h**2 + 5*h + 8. Let i be l(9). Let g = i + -103. Is g a prime number?
False
Suppose 0 = 5*q + 5*b + 180 - 430, q = 5*b + 26. Is q a composite number?
True
Suppose 2*x + 5*f = -13, 4*x = -0*f - 2*f + 14. Suppose -41 = 3*j - 254. Suppose t + 5*c = -x, 10*t - j = 6*t - c. Is t a prime number?
True
Let h(d) = 7*d**3 + 20*d**2 + 23*d - 2. Let x(p) = 11*p**3 + 30*p**2 + 35*p - 3. Let r(u) = -8*h(u) + 5*x(u). Let v be r(-9). Is v - -232 - (-1 - 1) prime?
False
Suppose 2*y = 3*b - 4, -2*y = 2*b + y - 7. Suppose 0 = -b*s + 4*c + 294, c + 3*c = -4. Suppose -4*m + w + s = 0, -4*m - 3*w = -0*w - 125. Is m a prime number?
False
Suppose -4*j + 3*q = -20, -2*q - 2 = 5*j + q. Suppose t - d - 75 = 0, 260 = 2*t + j*t + 4*d. Let x = -3 + t. Is x prime?
True
Suppose -3*j + 3871 = -4*t, 3*t = -2*j + 8*t + 2576. Is j a composite number?
True
Let u(l) = 29*l - 3. Is u(2) composite?
True
Is (-7)/((-140)/4168)*10/4 composite?
False
Suppose 3 + 1 = 2*d. Suppose -d*w + 4*w = 0. Suppose 0 = -5*o + 5*g + 250, w = -2*o + o - 3*g + 54. Is o a prime number?
False
Let f(x) = x**2 + 12*x. Is f(-17) a composite number?
True
Suppose -2*i + 250 = -m, 2*i - i - 135 = -2*m. Is i composite?
False
Suppose -2*u - 65 = -u. Let w = u - -112. Is w composite?
False
Let t be (20/(-12))/(2/18). Let n = t - -26. Is n a prime number?
True
Suppose -3*b = 2 + 4. Let i = 54 - 56. Is 290*(b/i)/2 prime?
False
Let d(r) = r + 62. Let i be d(0). Let z = i + -27. Is z prime?
False
Let j = 20 + -14. Suppose -4*n - 6 - j = 0. Is -2 - (183/n)/1 prime?
True
Suppose 63 = 2*h - h. Suppose 0 = -4*q + h + 93. Suppose 5*d = 144 - q. Is d prime?
False
Suppose -116*r + 121*r = 11945. Is r prime?
True
Let x be -3*856/(-4) + 3. Suppose -j - 2*j + x = 0. Is j a prime number?
False
Let r = -4 - -5. Is (288 - -2) + 2 + r a composite number?
False
Suppose i = -0*i + 1. Let f be (-90)/(-8) + i/(-4). Suppose f = 3*k - 1. Is k a composite number?
True
Let w(z) = 2*z**2 - 9*z - 10. Is w(-9) composite?
False
Let m(n) = n**2 - 2. Let g be m(-2). Suppose g*t - 451 = -9. Is t prime?
False
Let q(i) be the first derivative of -3*i**2/2 + i - 4. Let d be q(3). Let t(n) = -15*n + 7. Is t(d) composite?
False
Let h = -2 + -5. Let g = -4 - h. Suppose 3*b = -3, 0 = -2*m - g*b + 7*b + 74. Is m prime?
False
Let x(f) = 11*f + 11. Is x(6) a composite number?
True
Let c be (-93)/12 - (-2)/(-8). Is c/12 - 483/(-9) a composite number?
False
Suppose -10*h + 30835 = -34755. Is h a composite number?
True
Suppose 0*z = 3*z - 57. Suppose -a + 0*a + z = 0. Is a composite?
False
Let s(j) = 165*j**2 - j + 1. Let r be s(1). Suppose 4*y = y + r. Suppose 5*b - 15 = y. Is b a composite number?
True
Let n(b) = -b**3 - 2*b + 469. Is n(0) composite?
True
Let p be (-33)/(-7) + (-8)/(-28). Suppose -3*u = 3*m - 1107, 0 = 4*u + p*m - 174 - 1306. Is u composite?
True
Let f(s) = s**3 - 8*s**2 + 4*s + 8. Let i be f(7). Let d = 1 - i. Is d prime?
False
Suppose -3*y - a + 3*a - 4 = 0, 3*y + a = 2. Suppose -4*n + 148 = -y*n. Is n composite?
False
Let u be (-1)/(-4) + (-2)/8. Is u - 1 - -13 - -2 prime?
False
Let h be (-9)/12*(1 - -7). Let g be 2*h + (-2 - -4). Is (g*1)/(4/(-14)) a composite number?
True
Let c be 1/4 - 20/16. Let y(h) = 116*h**2 - 1. Let a be y(c). Suppose -a = -3*m + 4*j, -2*m - 4*j = -15 - 55. Is m a prime number?
True
Let l = 9 - 15. Let h be (105/l)/5*-2. Suppose 4*x = h*x - 9. Is x composite?
False
Suppose 0 = 3*o - b - 376, -2*b - 139 - 105 = -2*o. Is o a composite number?
False
Is (-5264)/(-20) - 1/5 a prime number?
True
Let j be 12/(-16) + (-21)/(-12). Is 5*(29 + 1 + j) a composite number?
True
Suppose m - 5 = 0, 2*m = -5*s - 0*m + 8745. Let u = -1010 + s. Is u a composite number?
True
Let z = 6 - 4. Suppose -20 = -z*w + 12. Let t = w + 21. Is t a composite number?
False
Let t(g) = g**3 - 6*g**2 - 4*g - 2. Is t(8) prime?
False
Suppose 3*a + 0*a = 45. Suppose r = -4*k + 9, -5*k + a = -0*k + 5*r. Suppose k*b = -j + 151, 473 = 3*j + 2*b - 6*b. Is j a composite number?
True
Let d(q) = 109*q - 4. Is d(5) composite?
False
Suppose 0*g = g - 5. Suppose -5*z + 2*h + 171 = 0, 5*h - 78 - 107 = -g*z. Is z a prime number?
False
Let a(k) = k - 2. Let n be a(2). Let g = n + 22. Is g prime?
False
Let b(m) = 169*m**3 + 3*m**2 + 2*m - 7. Is b(2) prime?
True
Let a(j) = j**2 - j + 2. Let t(q) = q**3 + 2*q**2 + 2*q + 1. Let h be t(-1). Is a(h) a prime number?
True
Let d(q) be the second derivative of q**5/20 + 7*q**4/6 + 5*q**3/6 + q**2 - 3*q. Is d(-13) composite?
True
Let a(s) = s**3 + 9*s**2 + 3*s + 7. Let f(c) = c - 7. Let l be f(5). Let t(d) = -2*d**2 - 2*d - 2. Let i be t(l). Is a(i) prime?
True
Suppose -480 = -x + 314. Is x a composite number?
True
Is (231 - -2) + 2/1 prime?
False
Suppose -3*y = -2*x + 3074, 2*x - 4613 = -x + 4*y. Is x a prime number?
True
Let t(b) = -4*b + 2*b**2 - 4*b + b**3 - 4*b**2 + b - 5. Is t(6) a prime number?
True
Suppose 4*m - 1 = -13. Let q be 1/m + (-16)/(-3). Suppose -u + 112 = 2*y + y, -180 = -5*y - q*u. Is y a composite number?
True
Suppose -15*g = -20*g + 605. Is g prime?
False
Let l = -86 + 165. Is l a prime number?
True
Let q be -3*(-15)/9 - 0. Let g(t) = 11*t - 4. Is g(q) composite?
True
Let s(w) = -102*w + 2. Let u be s(5). Is (u/(-6))/((-2)/(-3)) prime?
True
Let k = -148 - -87. Let l = -23 - k. Is l a composi