m**2 - 2*m - 8. Let j be z(4). Let b(n) = -n**3 + n**2 + 3*n + 2. Let i be b(-6). Suppose -4*s + j*s = -i. Is s a prime number?
True
Suppose 4*j + 1 = 3*j, -5*y + 15 = 5*j. Let f be (0/y)/(4/(-2)). Suppose f = -2*a - 1 + 27. Is a a prime number?
True
Let i = 6 - 5. Is (-6 - -134) + i*-1 a prime number?
True
Suppose -84 = -0*o + 3*o. Let v = o + 39. Is v composite?
False
Suppose l - 6*l = -2095. Is l a composite number?
False
Let o(i) = 150*i + 5. Is o(11) composite?
True
Is (-1719)/(-6)*(-10)/(-15) a prime number?
True
Let w(n) be the second derivative of 5*n**3/6 + 2*n. Is w(2) a prime number?
False
Let h(k) = -k**3 - 8*k**2 + 8*k - 5. Let c be h(-9). Suppose -c*f = -3*f. Suppose 6*w - 2*w - 353 = -3*b, 3*b - w - 358 = f. Is b a composite number?
True
Let v(u) = 7*u**2 + 2*u. Let o(i) = i**3 + 6*i**2 - 7*i - 4. Let j be o(-7). Let r = 7 + j. Is v(r) a prime number?
False
Let r(u) = u + 1. Let h be r(-1). Suppose -4*p = 4*f - 2348, 1745 = 3*p - h*f - f. Is p a prime number?
False
Let a = 43 + -43. Suppose 6*v = 2*v + 20. Suppose 8 = 4*u + m + 3, v*u + 4*m + 2 = a. Is u prime?
True
Let g be 4*((-222)/8 + 3). Let v = 200 - g. Is v composite?
True
Let i(f) = -f**3 + 13*f**2 + 10*f - 9. Is i(13) composite?
True
Let t(n) = -2*n + 1. Let j be t(-1). Suppose 159 = -0*g + j*g. Is g a prime number?
True
Let z(g) = -g**3 - 3*g**2 - 5*g - 5. Let l(d) = -d**3 + 7*d**2 - 4. Let j be l(7). Let p be z(j). Suppose 0 = -b - 9 + p. Is b a composite number?
True
Let m = 121 - 44. Is m prime?
False
Suppose 0 = -7*k + 4*k + 18. Suppose n - 3*r + k*r - 25 = 0, -5*n + 2*r = -193. Is n a prime number?
True
Let t be (-24)/4*2/6. Let l(n) = -7*n + 1. Is l(t) a composite number?
True
Let o = 1204 + 133. Is o composite?
True
Let l = 2 - -23. Let w(x) = -x**3 + 3*x**2 + 3*x - 3. Let h be w(3). Suppose -m = -l + h. Is m composite?
False
Suppose 3*b - 584 = -2*r - 0*b, 3*r = -3*b + 879. Is r composite?
True
Suppose -3*p + 89 = z, -2*p = 2*z - 4*z - 54. Let t = p - -84. Is t prime?
True
Let m be (0 + (-4 - -1))*-1. Suppose 8 = -m*j + 20. Suppose -i = -6*i + w + 400, -4*i - j*w + 296 = 0. Is i a composite number?
False
Suppose -2*o - 5*j = 24 - 8, -5*o + 2*j = -18. Suppose 0*x = -o*x + 298. Is x a composite number?
False
Suppose 48 = -q + 5*q. Let m = -9 + q. Suppose h - 250 = -2*o, -m*o + 4*h = 3*h - 385. Is o a composite number?
False
Suppose 0*x - 1554 = -6*x. Is x composite?
True
Suppose k + 5*n = -1, k + 0*n - 1 = -3*n. Suppose -k*p - 93 = -5*c - 0*p, 3*p - 93 = -4*c. Is c a composite number?
True
Let l = 2789 + 862. Is l composite?
True
Let v(c) = 3*c - 6. Let i be v(3). Suppose -i*r = 2*r - 195. Is r prime?
False
Suppose 3*t - 4*t + 2 = 0. Is 85*2 - (t + -1) a composite number?
True
Let l(d) = -9 + 5*d - 8 - 3*d + 5. Let c = 5 - -4. Is l(c) composite?
True
Suppose -4*k + 55 + 57 = 0. Suppose f = 5*f - k. Let q = f - -36. Is q prime?
True
Let f be (-10 - -1)/((-1)/(-3)). Let q = 1 - f. Suppose i + i = q. Is i prime?
False
Let y(k) = k**2 + 4*k + 6. Let c be y(-4). Suppose 4*d - c = 5*d. Is (d/(-4))/((-6)/(-84)) composite?
True
Suppose 4*i - 2*i - 3130 = 0. Is i a composite number?
True
Let p = -2107 - -3230. Is p prime?
True
Let f be 904/12*(-3)/(-2). Suppose -5*i + f = -52. Is i prime?
False
Let q = -363 + 850. Is q a composite number?
False
Let g(h) = -h**2 + h - 1. Let i(c) = 5*c**2 - 7*c + 40. Let k(j) = 6*g(j) + i(j). Let w(f) = -f**2 + 7*f. Let n be w(7). Is k(n) composite?
True
Suppose -3*l = 6*l - 14733. Is l a composite number?
False
Let j = 1530 + 1081. Is j prime?
False
Let q(g) = 5*g - g**2 - 2*g + 6*g - 3. Let u be q(6). Is u/2*16/12 prime?
False
Let u be 3/(-12) + 1358/(-8). Let l = u - -257. Is l a composite number?
True
Let l be (-6679)/(-6) - 1/6. Suppose 0 = 10*m - 13*m + l. Is m prime?
False
Let k(v) = -25*v + 3. Let f be k(-8). Suppose 0 = 4*u - 3*u - f. Is u prime?
False
Suppose -4*k - 3702 = -2*g - 8*k, 2*k = 4*g - 7424. Is 2/(5*2/g) a prime number?
False
Let t be (-5)/((-5)/2) + -2. Suppose o + h = -1, -2*h - 14 = -o - t*h. Suppose 5*r - 269 = 4*m, r + o*m - 48 = -m. Is r a prime number?
True
Suppose -3 = f, -4*f - 14 = -2*t - 2*f. Suppose -t*r + 5*m + 80 = m, -5*m = r - 14. Is r a composite number?
False
Let l(b) = -98*b + 7. Is l(-3) composite?
True
Suppose 335 = 2*w + 4*q - 139, 272 = w - 5*q. Is w composite?
True
Suppose -5*l + 524 = 69. Is l prime?
False
Suppose -t - t + 20 = -5*a, -2*t = a - 8. Suppose 0 = -t*w - 25 + 75. Is w a composite number?
True
Let h be (6/(-3) + 2)/1. Is 2 - h - 1 - -12 prime?
True
Let x(c) = -6*c - 10*c + 3 - 3*c - 9. Is x(-7) composite?
False
Suppose -3*v = -66 - 45. Is v a composite number?
False
Suppose 3*a - 3 = -5*o - 0*o, 2*o + 3*a - 3 = 0. Suppose o*p - p = -5. Suppose c - 3*c = -4*s - 26, -p*c - s + 32 = 0. Is c prime?
True
Suppose 28*k = 25*k + 993. Is k a composite number?
False
Let d = -173 - 108. Let w = -135 - -603. Let x = w + d. Is x prime?
False
Suppose 3*j + 1264 = 4*s, 2*j - 4*j = -8. Is s prime?
False
Let c = -75 - -149. Let z = -99 + 50. Let s = z + c. Is s composite?
True
Let j(v) = v**2 + 3*v + 5. Let z be j(-4). Let r(h) = h**2 - 8*h - 3. Let k be r(z). Suppose 46 = 2*p + 4*i, -k*i + i = -4*p + 27. Is p prime?
True
Let a(y) = 2*y**2 - y + 2. Let j be a(2). Suppose 4*b = -0 - j. Is b*(-3)/(-6)*-89 a composite number?
False
Let i(n) = n**2 + 17*n + 5. Is i(-22) a prime number?
False
Suppose -153 = -2*z + 275. Let c = z - 57. Is c a prime number?
True
Let d = -352 - -797. Is d a prime number?
False
Suppose 62 = 3*y + 4*u, 3*y + 3*u + 0*u = 63. Is (-11)/y - (-1222)/4 prime?
False
Let w be 1 + 66 + -4 + 3. Suppose -2*g - 29 = -d + w, d - 96 = g. Is d prime?
True
Suppose -3 + 0 = d, 0 = f - 2*d - 205. Is f composite?
False
Is ((-4)/(-12))/((-7)/(-46095)) prime?
False
Suppose -273 = 3*o - 4*o. Is o/4 - 6/(-8) prime?
False
Let k(n) = -5*n - 4. Let y be k(-6). Let j = 11 + -7. Suppose -y = -j*s + 122. Is s composite?
False
Suppose -157 = -l + 2*o + 181, 2*l = 5*o + 679. Let p = l + -149. Is p a prime number?
False
Suppose -137 - 122 = -k + 2*f, -12 = 3*f. Is k a prime number?
True
Suppose -4*o - 291 = -2*f + o, 2*f = -2*o + 326. Suppose -f = -5*w - 3*k + 249, 3*w - 5*k = 251. Is w prime?
False
Let h(k) = -k**3 + k**2 + k. Let c(u) = -u**3 + 4*u**2 - u + 3. Let l(i) = -c(i) + 2*h(i). Is l(-6) composite?
True
Let y be (2 - (-14)/(-6))*-15. Let i be (-7)/((-21)/6) + 0. Suppose 2*q + 4*z = 134, y*z = i*q - 0*z - 134. Is q composite?
False
Suppose -5*a + 36 = -4*a. Let c be (-2116)/a + 4/(-18). Let z = -20 - c. Is z a composite number?
True
Suppose 0 = 2*q + 4*d - 20, -3*q - 4*d + 33 = d. Let g be (q/10)/(16/120). Suppose 4*y + 20 = 0, -70 = -l - 3*y + g. Is l composite?
False
Suppose 0*u + 5*y - 485 = 3*u, 5*u - y = -779. Let j = u + 272. Suppose 0 = -0*p + 3*p - j. Is p a composite number?
True
Suppose 0 = -4*u + 5 - 1. Is 5*(u - 17/(-5)) composite?
True
Let m be 1 + 1/((-4)/(-12)). Suppose -4*p - m*o + 713 = -9*o, 182 = p - 5*o. Is p composite?
True
Suppose 34 - 667 = -3*p. Is p a prime number?
True
Suppose -w = -5*w - 904. Is w/(-3)*9/6 a composite number?
False
Suppose -7*s - 24 = -3*s. Let c be ((-45)/2)/((-1)/(-2)). Is c/s*2/1 a composite number?
True
Let d(v) = -3*v - 3. Let j be (-3)/(3/2)*1. Let i be d(j). Is 3*i/(-18)*-62 prime?
True
Let o = 0 + 6. Let b = o - 11. Let p(m) = -3*m - 1. Is p(b) composite?
True
Let t(q) = -q**3 + 11*q**2 - 10*q + 2. Is t(9) a prime number?
False
Suppose -6 = -5*r - 1. Let b(c) = 49*c - 1. Let p be b(r). Suppose -p - 15 = -3*q. Is q composite?
True
Let s(n) = n + 2 + 14*n**2 - 2 + 74*n**2. Is s(1) prime?
True
Let f(d) = d**2 - 6*d + 3. Let j be f(6). Let b(v) = 146*v + 5. Is b(j) prime?
True
Suppose -7*x + 4842 = -8465. Is x prime?
True
Let f(o) = -7*o + 2*o**2 + 2*o**2 + 7 - 3*o**2. Let r be f(5). Let x(b) = -2*b**3 + 3*b**2 + 2*b + 4. Is x(r) a composite number?
False
Let v(l) = -l**2 + l + 157. Let q(p) = p + 2. Let i be q(-7). Let n = -5 - i. Is v(n) a prime number?
True
Let d(o) = 135*o - 4. Is d(1) composite?
False
Let v(m) = -2*m. Let i be v(-4). Let s = i - 6. Is (100/(-8))/(s/(-4)) prime?
False
Let b(g) be the first derivative of g**2/2 + 7*g - 2. Let x be b(-9). Let u = x - -12. Is u prime?
False
Let m(k) = -3 + 26*k**3 + 3*k + 20*k**3 + k**2 - 5*k**3 