= 0, 3*h - 3*r + r - 641 = 0. Is h a prime number?
True
Let x be (1 - (-2)/2) + -7. Let u be (0 - 2) + 0 + 4. Let o = u - x. Is o a prime number?
True
Suppose -2*x = -3*x + 5. Let h = x - 2. Suppose 3*i = 4*j - 35, 41 = h*j + 3*i - 1. Is j prime?
True
Suppose 5*x = x + 384. Suppose x = -5*k + 511. Is k prime?
True
Let o(t) be the second derivative of t**5/2 + t**4/6 - t**3/6 + 3*t. Let g be o(1). Suppose c + g = 68. Is c prime?
False
Let n(p) = p. Let g(i) = 13*i**3 + 3*i**2 - 8*i + 3. Let d(q) = g(q) + 5*n(q). Let h be d(2). Let b = -80 + h. Is b prime?
False
Is (-13)/39*1*-1398 prime?
False
Suppose 0*v = 2*v. Suppose 10 = 2*g - v*g, 128 = 2*o - 2*g. Is o composite?
True
Let p = 30 - 21. Let j = -61 + p. Is 4/(-10) + j/(-5) composite?
True
Let n(f) = 2*f**3 - 7*f**2 + 3*f + 9. Is n(4) a prime number?
True
Suppose -2*r - 4*f + 123 = 5, 4*r - f - 236 = 0. Is r a prime number?
True
Suppose 5*w - 15 = 2*a, -3*a + 6*a - 3*w = 0. Suppose 4*g = 0, -3*u - a*g - 35 = -4*u. Is u a prime number?
False
Let x = 39 + -11. Suppose 0 = -2*u - 2*b - x, 0 = u + 2*b + 11 + 5. Let d = 26 + u. Is d a composite number?
True
Suppose -g - 3*s - 728 = 0, 2*g + 2*s = -0*g - 1472. Let x be 4/6 + g/(-6). Suppose -3*z + 81 = 2*a - x, 0 = -3*z + 15. Is a a prime number?
False
Suppose -2*y + 186 = -82. Is y a prime number?
False
Let k(a) = a**3 + 27*a**2 + 35*a - 58. Is k(-25) prime?
True
Let u(n) = 19*n - 3 + 2 - 18*n. Let a be u(1). Suppose a = -g + 3*f + 173, 0 = 5*g + f - 344 - 457. Is g a prime number?
False
Let o be (-136)/(-22) + (-4)/22. Is 4/12 + 112/o composite?
False
Suppose -2*o = -267 - 77. Let d = o + -85. Is d a prime number?
False
Suppose 5*v = -2*b + 1568, 2*b - v - 1600 = 2*v. Is b prime?
False
Suppose 0 = q - 5*v + 18, 3 = -q + 3*v - 7. Suppose 0 = -o + 1 + 1. Suppose -q*c + 25 = g, 2*g + c - 65 = o*c. Is g composite?
False
Is (-6)/9 + 3*12884/36 composite?
True
Suppose -i - 20 = -211. Is i a prime number?
True
Suppose -2*c + 3*c = -i + 2, 3*c + 2*i - 10 = 0. Suppose -c*y + 215 + 307 = 0. Is y a composite number?
True
Let x(l) be the third derivative of l**6/120 + l**5/15 - l**4/12 - 7*l**3/6 - 8*l**2. Is x(8) composite?
True
Suppose 3*j - 3458 = -2*u - 538, -2*j = u - 1945. Suppose 4*c = 2*c + j. Is c composite?
True
Let j(l) = -l. Let h(w) = -9*w - 5. Let q(y) = h(y) - 3*j(y). Is q(-7) composite?
False
Suppose -2*w + w = -1, -2*n + 5 = 5*w. Suppose x - 17 - 14 = n. Is x composite?
False
Suppose 3*j - 2*t = 313, 4*j - 410 = -5*t + 4*t. Is j prime?
True
Let v(p) = 2*p**2 + 10*p + 5. Let d(w) = -w - 4. Let l = -6 - -10. Let k be d(l). Is v(k) a composite number?
False
Let a(y) = 23*y**2. Is a(1) a prime number?
True
Suppose -423 = -2*x + 3*u, 0*x - x + 228 = 4*u. Suppose 4*f = -t + 129, 200 + x = 4*t - 4*f. Is t a composite number?
False
Let u = -446 - -312. Let m = -43 - u. Is m composite?
True
Let d(q) = -43*q**3 - 2*q**2 + 1. Is d(-2) a prime number?
True
Suppose 0 = -7*y + 4*y + 111. Is y composite?
False
Suppose -5*r = 4*w + 35, 22 = r + 3*w - 8*w. Let d(p) = p**3 + 3*p**2 - 2. Let t be d(r). Is (332/6)/(t/(-3)) composite?
False
Let l(o) = o**3 + 10*o**2 + 4*o + 8. Is l(-9) a composite number?
False
Suppose 3*j + 205 = 5*z + 7*j, 5*j = -3*z + 136. Is z composite?
False
Suppose -3*j + 2 = 2*c, 24 = 5*c - 2*j - 0*j. Is 4/8*c - -2 prime?
False
Let o(y) = y**3 - y - 1. Let k(h) = -22*h**3 + 4*h + 3. Let u(z) = k(z) + 2*o(z). Is u(-1) composite?
False
Suppose -2*p = -l + 25, 2*l - 15 - 26 = p. Let n = 50 - l. Is n composite?
False
Is (-12)/18 + (-287)/(-3) a composite number?
True
Let h(n) = 3*n - 17 + n - 8*n - 7*n. Is h(-9) prime?
False
Suppose 3*k = 5*k + 3284. Let i = 2329 + k. Is i a prime number?
False
Let b = -153 + 532. Is b composite?
False
Let v = 28 + -14. Suppose -11*m - v = -12*m. Is m prime?
False
Suppose -26 = 2*x + 5*v, 6 = x - 2*v + 1. Let t = 29 + x. Let a = -13 + t. Is a composite?
False
Let q(g) = 3*g**3 - g**2 + 4*g - 1. Is q(4) prime?
True
Let h(g) = g**2 + 6*g + 10. Let i be h(-8). Suppose 96 - i = 3*o + 4*d, 5*o = 4*d + 170. Suppose 0*w + 5*w = o. Is w composite?
True
Let f(u) = -7*u**3 - 3*u**2 - 3*u - 5. Let i = -4 + 0. Is f(i) a prime number?
False
Let r = 154 + 153. Is r prime?
True
Suppose 2*p = -2*p + 2800. Let t = -335 + p. Is t a prime number?
False
Let x(g) = 5*g + 2. Let s be x(-2). Is 158/s*(-5 + 1) a composite number?
False
Suppose 1215 = 3*r + 2*z, 4*z - 6*z - 2041 = -5*r. Is r composite?
True
Let m = 12 - 14. Let c be (-4)/6 + (-4)/3. Is ((-92)/c - m) + -1 a composite number?
False
Suppose 3444 = -2*g + 5*g. Suppose 4*j = -4, 4*j + g = 3*u + 2*j. Suppose 0 = 5*z - u - 733. Is z a composite number?
False
Let w(j) = j + 6. Let h be w(-5). Let d(p) = 135*p - 1. Is d(h) a composite number?
True
Let y(g) = 88*g**2 + 1 - g + g - 2*g - 3. Is y(2) composite?
True
Let i be (-16)/6 - (-22)/33. Is (-53)/(-1)*(-2)/i a composite number?
False
Let z be -3*2/(-6)*3. Suppose p = -z*p + 184. Is p prime?
False
Suppose 0*n - 15 = -3*n. Suppose -2*u - 5 + 26 = -5*q, n*q = 5*u - 90. Is u composite?
False
Is 96 + (0 - 0 - -1) prime?
True
Suppose 2*g - 22 = -2*m, 5*g - 44 = m + 11. Suppose -5*a - g = 9. Is (-199)/a - (-15)/(-20) a prime number?
False
Let h(w) = w. Let x be h(3). Is 110 + (1 + 3 - x) prime?
False
Let j(i) = 6*i**3 - 7*i**2 + 8*i - 53. Let q(l) = 5*l**3 - 6*l**2 + 7*l - 53. Let g(v) = 6*j(v) - 7*q(v). Suppose 0*w = 2*w. Is g(w) a composite number?
False
Suppose -2*p - 2 = 0, -4*v + 5*p = -v - 68. Let o = 56 - v. Is o a composite number?
True
Let u = -4 - -8. Suppose -u*g + 175 = g. Is g composite?
True
Is -2*((2725/2)/(-5) + 2) a prime number?
True
Let j = 327 - -4. Is j a prime number?
True
Let b = 377 - 117. Let l = -131 + -40. Let v = l + b. Is v a prime number?
True
Let r = -98 + 204. Is r prime?
False
Let w = 10 - -2. Suppose 0 = 4*p - 8 - w. Suppose -2*m - j + 132 = 0, 3*j + p = -1. Is m prime?
True
Suppose 4*p - 4*l - 4 = -3*l, 4*l = -16. Suppose 4*q = -j + 1292, p = -5*q + q + 2*j + 1280. Suppose -q = -4*n - 6. Is n a prime number?
True
Suppose 0*o = -3*o + 24. Let x be ((-148)/o)/((-1)/(-2)). Let p = x + 90. Is p composite?
False
Let a = 188 - 100. Let i = a + -57. Is i composite?
False
Let i(l) = 419*l - 2. Let x be i(2). Suppose -x = -2*n - 2*n. Is n a prime number?
False
Let t(p) = 21*p**3 - p**2 + 8*p - 1. Is t(6) a composite number?
False
Is (-3)/(-6)*-1*-307*14 composite?
True
Let o(x) = -x**2 + 10*x + 16. Let b be o(11). Suppose 8*w - 3759 = b*w. Is w a composite number?
True
Let p(i) = -29*i + 9 + 15*i - 119*i. Let h be p(7). Is 3/5 - h/5 a composite number?
True
Let v(g) = -6*g + 8 + 29*g + 21*g - 5. Let o(a) = 44*a + 4. Let c(r) = -5*o(r) + 6*v(r). Is c(2) prime?
False
Is (-7)/(3/(-474)*2) prime?
False
Suppose -33*o + 185 = -32*o. Is o prime?
False
Let g be 2*((-9)/3 + 5). Suppose -4*k + 463 - 29 = -2*f, 2*k - 214 = g*f. Is k a composite number?
False
Let v = 4658 + -2605. Is v composite?
False
Let k(s) = -170*s - 41. Is k(-5) composite?
False
Let j(a) = 27*a - 2. Let h(x) = 325*x - 25. Let c(r) = -2*h(r) + 25*j(r). Let v be c(7). Suppose 4*y = -y + v. Is y a composite number?
True
Suppose -7572 = -3*a - 9*a. Is a prime?
True
Let u(t) = t**2 - 4*t - 1. Let s(r) = -r + 1. Let i be s(-4). Let z be u(i). Suppose -4*c - 5*h + 107 = -66, -158 = -z*c - 2*h. Is c a composite number?
False
Suppose -7*g + 633 = -4*g. Is g composite?
False
Let f be (-134)/(6/(-4) - -1). Suppose -23*z + 27*z - 16 = 0. Is (z/(-8))/((-2)/f) a composite number?
False
Let b(t) = -2*t - 12. Let s be b(-8). Let p(u) = 4*u - 10. Is p(s) prime?
False
Let m(l) = -7*l - 2. Let t(h) = -7*h - 2. Let y(f) = 3*m(f) - 2*t(f). Suppose -9 = 3*a - 0*a. Is y(a) composite?
False
Let g = 224 + -55. Is g a prime number?
False
Let g(n) = 266*n - 9. Let y(u) = -u**3 - u + 4. Let k be y(0). Is g(k) a composite number?
True
Suppose 0*i - 392 = -4*i. Let y = -7 + i. Is y a prime number?
False
Let r(f) = 236*f**2 + f. Let v = -3 - -4. Is r(v) a composite number?
True
Let b(r) = -8*r - 11. Is b(-6) a composite number?
False
Let v be ((-9)/(-3))/(-1) - -63. Is (-2 - v/(-3)) + 1 prime?
True
Suppose -2*r - 4 = 0, 5*k - 1639 = -2*r + 372. Is k a composite number?
True
Let z be (4527/15)/(1/5). Suppose z = 3*h + n + 2*n, -4*n = -3*h + 1481. Is h prime?
True
Suppo