 = -4*m + 2*m - 447. Is o composite?
False
Let m(x) = x**3 + 4*x**2 + 3*x + 2. Let f be m(-2). Suppose -f = v - 2*v. Suppose -3*i + 12 + 2 = v*w, -4*w = -3*i - 2. Is i composite?
False
Let m be 20/(-25)*5/(-2). Suppose 2*u - 2*z + 14 = -m*u, 12 = -3*u + 2*z. Is 0 - u - (-34 - 1) prime?
True
Suppose -4*s + 2888 = -29940. Is s a prime number?
False
Is (-1 - 12)*-1*(1 + 10) a composite number?
True
Is 4/((-12)/249)*-1 a prime number?
True
Suppose 82 = -4*s + 1366. Is s a prime number?
False
Suppose 1614 = 7*g - 2488. Is g a composite number?
True
Let h be -5 - (1 - 1 - 2). Let f = 3 + h. Suppose 2*d - 12 = y - f*y, 24 = 4*d - y. Is d a composite number?
True
Is 4197 - (-3)/(-6)*4 prime?
False
Let k(m) = -2*m + 12. Let b be k(6). Suppose b*t + 3*t - 201 = 0. Is t composite?
False
Is 10*38*1 - 1 prime?
True
Is (2/(-6))/(1/(-11427)) a prime number?
False
Suppose 16 = -3*n - 0*n - w, n + w = -2. Let h(c) = c**2 + 8*c + 10. Let f be h(n). Suppose -f*u + 29 = 2*p, 0 = 3*p + 4*u - 42. Is p prime?
False
Suppose 0 = -2*c - 4*s - 838, 0*s + s - 1703 = 4*c. Let r = 658 + c. Is r a prime number?
True
Let c(s) = 41*s - 3. Is c(4) a composite number?
True
Let y be 14/3 - 4/6. Let q(k) = 15*k - 6. Let w(l) = 7*l - 3. Let f(b) = 3*q(b) - 5*w(b). Is f(y) composite?
False
Is (-16)/(1 + 3) - -1415 composite?
True
Let r be (1/(-2) - -1)*1294. Let o = r - -242. Is o a prime number?
False
Let w = -56 + 95. Suppose -2*y + w = -41. Suppose 2*c - y = 46. Is c composite?
False
Suppose 5*p + 4*w = 439, p - w - 57 - 29 = 0. Is p a composite number?
True
Suppose 2*g + 190 = -2*f + 7*f, 0 = f + g - 38. Let h be (-1 + 0)*f/(-2). Suppose z - 56 + h = 0. Is z composite?
False
Let l(u) = 4*u**2 + 4*u - 1. Is l(-6) prime?
False
Let q(d) = -d**2 + 12*d - 1. Let n be q(12). Let s(l) = -l**3 + 2*l**2 + 3*l - 4. Let o be s(3). Let t = n - o. Is t a composite number?
False
Suppose -3*q = 4*w - 471, 4*q + 4*w = 200 + 428. Is q prime?
True
Suppose -116 = -16*l + 14*l. Is l prime?
False
Let x be (-1 - 65)*(-4)/6. Let m be (18 + -15)*196/6. Let v = m + x. Is v a prime number?
False
Suppose -2*k = 3*k - 80. Suppose -k + 47 = n. Is n composite?
False
Suppose 3*j - 1174 = j. Is j a composite number?
False
Let b(w) = -w - 5. Suppose 10 = 2*c - 0*c. Suppose -d = 3*j + 17, -5*d + 16 = -c*j - 39. Is b(j) composite?
False
Let k(z) = -z**2 + 8*z + 8. Let o = 12 + -4. Let t be k(o). Let c = t + 5. Is c prime?
True
Let d(s) be the first derivative of -27*s**2/2 - 2*s + 8. Is d(-7) a composite number?
True
Suppose -3*o - 3*a + 705 = -285, -5*o + 5*a = -1660. Is o prime?
True
Suppose -h - h - 5*c + 118 = 0, 4*h - 254 = -c. Suppose -2*s + h = 2*z, -5*z - 10 = 5. Is s a composite number?
True
Suppose 0 = 3*z - 5*z. Let p be (2/(-6)*z)/(-1). Suppose -2*f - 141 + 551 = p. Is f composite?
True
Suppose -2*u + 0*u - 5*m + 39 = 0, -3*m - 36 = -u. Let n = u - -28. Is n composite?
True
Let f be 6*(2/(-4) - -1). Let p = f + -2. Is 12 - 4 - 1/p prime?
True
Let x = -4 + -19. Let w = 48 + x. Suppose -w + 1 = -4*q. Is q composite?
True
Suppose -3*q = 2*q - 255. Suppose 5*y = -2 - 13, -4*z + 3*y = -1. Is 8/(-6)*q/z a composite number?
True
Suppose 3*w + r - 1366 - 394 = 0, -r = -2*w + 1175. Is w composite?
False
Suppose 0 = -5*c - t + 14733, c + 445 - 3394 = t. Is c a composite number?
True
Suppose -2*d + 21 = -3. Suppose 0*y + 2*y = d. Suppose 0 = -2*h - 0*h + y. Is h a composite number?
False
Suppose -4*k = -2*k + 146. Let w = -2 - k. Is w composite?
False
Let k(n) = n**3 - 4*n**2 - n - 4. Let q be k(5). Suppose -q = -3*i + g, 0 = 3*i + 2*g - 4*g - 20. Let p(h) = 33*h - 5. Is p(i) composite?
False
Let t = 449 + -110. Suppose 0 = 4*b - t + 7. Is b a prime number?
True
Let y(v) = -v**3 + 10*v**2 + 11*v - 14. Let g be y(12). Let s = g - -409. Is s prime?
True
Suppose 3*o - 414 = -5*a, -5*a = 2*o - 139 - 277. Let p = 223 + a. Is p prime?
True
Suppose s + 2*s = 129. Suppose 2*a - 60 = 4*a. Let z = a + s. Is z a prime number?
True
Suppose 2*z + 2*z = 20, 3*q + z = 20. Suppose q*w - 426 - 409 = 0. Is w a composite number?
False
Let f = 4185 + -1542. Is f prime?
False
Suppose o - 7 = 2*o. Let c(u) = 3*u**2 + 9*u + 1. Is c(o) prime?
False
Let t be 4/(-18) + 38/9. Suppose 5*l - 4 = t*l. Suppose l*f - 124 - 232 = 0. Is f a composite number?
False
Suppose 4*j - 33 = 123. Suppose 7*p = 6*p + j. Is p a prime number?
False
Let p be ((-6)/2 + 2)/1. Let v(h) = 0*h + 7*h**2 + 18*h**2 + 2*h - 3*h. Is v(p) prime?
False
Suppose 0*a = 5*a + 25. Let y = -3 - a. Suppose -3*l = y*l - 165. Is l a prime number?
False
Suppose 3*c - 3 = -6, 0 = 3*w - 3*c - 12. Suppose 106 = w*p + 2*y - 297, -675 = -5*p - 5*y. Is p a composite number?
True
Let l(r) = r**2 - 7*r + 8. Let y be l(6). Is y - 4 - (-39)/1 prime?
True
Suppose q - 5293 = -4*q + 2*j, 0 = 2*j - 2. Is q a prime number?
False
Let w = 0 + 1. Let g(k) = 12*k - 4*k - 1 + 7*k. Is g(w) a composite number?
True
Let h = 56 + -3. Is h a composite number?
False
Let o(t) = 42*t - 39. Is o(16) a prime number?
False
Suppose b + 354 = -4*l, -3*l + b - 260 = -b. Let q = 182 + l. Suppose q = 2*i + 20. Is i a composite number?
False
Let p(l) = -369*l + 16. Let t be p(-5). Suppose -2574 = -5*g + t. Is g a composite number?
False
Is -2*(-4)/(-8)*-251 a prime number?
True
Is (-6 - 0)/(-2) - -112 a composite number?
True
Suppose 8*q - 2457 = 8639. Is q composite?
True
Suppose 0 = -3*o + 1289 - 338. Is o prime?
True
Let w = -17 + 48. Is w a prime number?
True
Let y = 1 - -5. Let i = 9 - y. Suppose -i*c + 4*z + 125 = 0, -z + 30 = 3*c - 2*c. Is c prime?
False
Suppose 6245 = -3*n + 8*n. Is n composite?
False
Let c(p) = 11*p - 386. Let z(d) = -4*d + 129. Let g(j) = -3*c(j) - 8*z(j). Let k be g(0). Suppose l - 4*w - 19 = -2, -3*l = 3*w - k. Is l prime?
True
Let d(p) = 116*p + 7. Let l be d(-6). Let q = 1020 + l. Is q prime?
True
Let p(x) = 1038*x**2 + 4*x - 3. Is p(1) a composite number?
False
Suppose 0 = -5*r + 8 - 18. Is (-586)/4*4/r composite?
False
Let i = 255 - 63. Suppose 3*s = -v + i, -5*s - 9 + 319 = 5*v. Is s a composite number?
True
Let i(u) be the third derivative of u**4/6 + u**3/2 - 2*u**2. Is i(4) a prime number?
True
Suppose 7 = -g + 5*x, 3*g - 9 = -x + 2. Is 76 + (g - (6 - 4)) prime?
False
Let r = 116 + -65. Is r prime?
False
Let t be 8/(-6)*(-12)/8. Suppose t*j - 122 + 24 = 0. Is j a composite number?
True
Suppose 530 + 170 = 4*u. Suppose 4*v + 288 = 5*d + v, 3*d - 4*v - u = 0. Suppose i - d = -2*i. Is i prime?
True
Let w be (2/(-6) - -1)*6. Suppose 8 = -w*v, 0 = 5*n - 0*v + v - 33. Is n prime?
True
Let m(o) = -172*o**3 + 2*o**2 - 1. Let a be m(-1). Suppose n + 393 - 127 = 3*u, 5*n = 2*u - a. Is u a prime number?
True
Let o(d) = d + 9. Let p be o(-8). Let s be 4 + 129 + 0/p. Is -4 + s + 1*-2 prime?
True
Suppose 0 = 5*r + 4*p - 628, 3*p - 40 = -r + 79. Suppose -358 = -d - r. Let g = -75 + d. Is g prime?
False
Is (-7*3/(-21))/(2/3518) a composite number?
False
Let a(y) = -y**3 - 4*y**2 - 3*y + 1. Let j be a(-3). Let p(h) = 69*h - 2. Is p(j) prime?
True
Suppose -3*q + 0*l = -3*l - 4935, -3*q + 4959 = 3*l. Is q a composite number?
True
Suppose 9*q - 8*q - 115 = 0. Is q a prime number?
False
Let m(n) = 7*n**2 + 3*n + 1. Is m(-5) prime?
False
Let z be (-408)/40 - (-2)/10. Let i = 159 + z. Is i composite?
False
Suppose -3*k - 5*w + 23 + 35 = 0, -5*k + 3*w + 108 = 0. Let u = k + -15. Is u prime?
False
Let w be (-2)/(-5) + (-24)/(-40). Let a = 1 - w. Suppose 1 - 7 = 3*n, a = f - n - 60. Is f a composite number?
True
Let k(z) = -z**2 - 8*z - 8. Let f be k(-7). Let h be 3 - -2 - 3 - f. Suppose 32 = h*n - 235. Is n composite?
False
Let v be 6 - -3*4/(-6). Suppose -3*x - v*t + 278 = t, 3*t = x - 88. Is x prime?
False
Suppose 0 = 4*o - 2*o. Suppose 0 = -2*w + 4*h + 140, -219 = -2*w - w - 3*h. Suppose o = q + d - w - 3, 71 = q + 2*d. Is q a composite number?
False
Suppose 2*b + 2*a - 1170 = -0*b, -b + 5*a + 597 = 0. Is b composite?
False
Let f(l) = -l**2 - 7*l + 2. Let o be f(-7). Is o/((-54)/57 - -1) composite?
True
Let j = -6 - -185. Is j a composite number?
False
Suppose -n + 29 = -2*n. Suppose l + 264 = 5*l. Let k = n + l. Is k composite?
False
Suppose -d + 2 = -1. Suppose d = -s + 7. Is s a composite number?
True
Let d = 1553 + -1106. Is d composite?
True
Let l = 133 - 7. Let x = 183 - l. Suppose 7*z - x