 = -27*l. Is l a composite number?
True
Let h = 1391 - 914. Suppose -5*v + 791 = 3*y, -5*y + 2*y = 3*v - h. Is v a prime number?
True
Let q = 2162 + -1275. Is q a prime number?
True
Suppose 8 = -4*m, 2*m - 8188 = -4*w + 6*m. Is w a composite number?
True
Suppose -3*b = -6*b - 15, -3*i + 35 = 2*b. Is i a composite number?
True
Let p(f) = 32*f**2 + 3*f - 1. Suppose -1 + 8 = 5*n + 3*m, -4 = -3*n - 2*m. Is p(n) composite?
True
Let y be 4/10 - (-4)/(-10). Suppose y*j - 2*j = -170. Is j composite?
True
Suppose -y = -0*y - 38. Suppose 2*r - 100 = -o, -2*r = 4*o + y - 144. Is r composite?
True
Let j = -8 - -4. Let o(d) = d**3 + 5*d**2 + 2*d - 3. Let t be o(j). Suppose t*v - 117 = -3*p, v + 4*p - 58 = -v. Is v a composite number?
True
Let f(w) = w + 8. Let c be f(-4). Suppose 4*r + 20 = -5*y, c*y = 5*r + 3*y - 4. Suppose -273 = -r*q - 3*q - 3*u, 3*q - 275 = -4*u. Is q a composite number?
False
Let o be 1*(-1 - -1)/4. Suppose -2*f + 3*l + 127 = o, 5 = 3*l - 2*l. Is f prime?
True
Is 1*(-1 - 2 - -634) a prime number?
True
Suppose 3*q - 3 = 2*n, 7*q - 3 = n + 4*q. Suppose -r = -n*r + 3. Is ((-4)/r)/(4/42) a prime number?
False
Suppose 2*k - 5*t - 36 - 10 = 0, -3*k + 19 = 5*t. Is k composite?
False
Let d(b) = 4*b**2 + 3*b - 9. Is d(4) prime?
True
Suppose 2*j + 9 = -j, 4323 = 3*f - 2*j. Is f prime?
True
Let k(n) be the first derivative of -n**2 + 9*n - 2. Let p(i) = i. Let d(f) = -k(f) - 6*p(f). Is d(-10) composite?
False
Let m = -3 + 1. Is ((-3)/6)/(m/268) prime?
True
Let a = 20 + -22. Let y(m) = -3 - m + 2 + 2*m**2 + 3*m. Is y(a) prime?
True
Let a(t) = -21*t - 1. Let c be -3 + (-2)/(2 - 0). Is a(c) composite?
False
Suppose 0 = -o, i - 3*o + 3 + 1 = 0. Let c = i - 17. Let t = 52 + c. Is t a composite number?
False
Let u(y) = y + 2. Let v be u(-5). Let o = v + 130. Is o composite?
False
Let b = 16 + -10. Suppose b*d - 255 = d. Let z = -14 + d. Is z a composite number?
False
Let u(c) = 41*c**2 + 3*c - 1. Is u(-2) a composite number?
False
Let u = -80 - -177. Suppose -u = -5*h + 133. Is h a prime number?
False
Let s be (-3*1)/(4/(-688)). Suppose -s = -5*l - 71. Is l a composite number?
False
Suppose 2*l = -a - 24, a + 3*l + 86 = -3*a. Let s = a + 2. Let n = -4 - s. Is n a composite number?
True
Let a(u) = 22*u**2 + 12*u + 9. Is a(-7) a composite number?
True
Suppose -2*c + 15 = 3*c. Let j(o) = 24 - 22 + 2*o + 6*o. Is j(c) a composite number?
True
Suppose -2*o = -o - 29. Let l = 32 + o. Suppose b - 6 - l = 0. Is b a composite number?
False
Let l(w) = w**3 + w**2 + 10*w - 7. Is l(11) prime?
False
Let r(l) = 8*l**2 + 2*l - 1. Let h(z) = -z - 5. Suppose -w + 5*w + 37 = 5*c, -3*w = -c + 25. Let j be h(w). Is r(j) prime?
False
Let c(v) = 53*v**2 + 2*v - 4. Let p = 13 - 16. Is c(p) composite?
False
Let d(w) = -3*w**3 - 9*w**2 - 2*w - 13. Is d(-6) a prime number?
False
Let r = 685 + -474. Is r a prime number?
True
Is (-13)/((-455)/(-14)) - (-1494)/10 prime?
True
Let n be 1/(-5) - (-2)/10. Suppose 4*d + 2 = -n*a - 2*a, 5*a - 2*d - 31 = 0. Suppose 5*y - b = 115, -2*y - a*b + 69 = y. Is y a composite number?
False
Let z(x) = -2*x + 217. Is z(0) a prime number?
False
Let o be (-1)/(-3) + (-1320)/(-9). Suppose -5*s = -20, 0*s = -4*z - 5*s - 372. Let m = z + o. Is m composite?
True
Let x = -899 + 4170. Is x a prime number?
True
Suppose 3*c - 224 + 59 = -2*w, -5*w - 3*c + 390 = 0. Suppose -2*u - 4 = 0, 5*v - 4*v - w = -u. Is v prime?
False
Let f = 59 + -32. Suppose -4*n - 4 = 0, 4*j - 400 + f = n. Is j a prime number?
False
Suppose -4*x = -q - 3 - 4, -2*q = 3*x + 3. Let i be x*(-2 - -2)/(-1). Suppose i = -0*v - v + 23. Is v composite?
False
Let f(p) = -p**3 - 5*p**2 - 6*p. Let i be f(-5). Is 35*3/(i/4) a composite number?
True
Let f(g) = -g**3 + 4*g**2 - 2*g + 1. Let r be f(3). Is (-2)/(2*r/(-2716)) composite?
True
Let s(j) = -j**3 - 6*j**2 - 3*j + 5. Let w = 4 + -11. Let a = 1 + w. Is s(a) a composite number?
False
Suppose 2*o - 185 = 93. Is o composite?
False
Let j(m) = -m**3 - 26*m**2 - 34*m - 2. Is j(-25) composite?
False
Let x be 1/(8/(-3) + 3). Is (x/(-9))/(1/(-33)) prime?
True
Suppose -3*j - 18 = -0. Let n be ((-13)/3)/(2/j). Let z = n + 8. Is z composite?
True
Let t(h) = 4*h**2 - 2*h - 7. Let s(i) = -7*i**2 + 5*i + 13. Let u(x) = 3*s(x) + 5*t(x). Let l be u(6). Let w(c) = -39*c - 1. Is w(l) a prime number?
False
Let u(b) = -b**3 - 5*b**2 + 6*b + 3. Let o(p) = p**3 - 10*p**2 - 10*p - 16. Let g be o(11). Let x = g + -1. Is u(x) a prime number?
True
Suppose -4*u + 2*z + 0*z = -18, u + 2*z - 2 = 0. Suppose -5*c + 4*v + 1979 = 2*v, 0 = -u*c - v + 1578. Is c prime?
False
Let d = -6 - -10. Suppose -m + 156 = 5*t, -d*t = -13 - 7. Is m a composite number?
False
Let m(w) = 3*w**2 - 8*w + 2. Let p be m(-6). Suppose 2*g + v = -3*v + p, v - 170 = -2*g. Is g a prime number?
False
Suppose -3*h + 3010 = 2*h. Suppose -19 = 2*o + 655. Let p = h + o. Is p a prime number?
False
Suppose 4*t + 4*p = 672, 233 = 5*t + 2*p - 610. Let q = t - 80. Is q a prime number?
True
Suppose j + 115 = -2*f + 738, -5*f - 623 = -j. Is j a composite number?
True
Suppose 4*h = 3*r + h - 21459, -4*r + 3*h = -28610. Is r prime?
True
Let a = 0 - 1. Let g = a + 6. Suppose -3*u = 3*i - 135, g*u = -0*u + 3*i + 257. Is u a prime number?
False
Let n be 40/6 + 10/(-15). Is (n/(-12))/((-1)/134) a composite number?
False
Let c = 1471 - 992. Is c composite?
False
Suppose 0 = 4*u - 1676 - 272. Is u a composite number?
False
Suppose 37 = 5*b + x + 3*x, 3*b - x = 12. Suppose 0 = 2*m + 3*j - 146, -2*m - m - b*j + 221 = 0. Is m composite?
False
Let c be -1*(-649 + 3 + -1). Suppose -2*z = -c - 1583. Is z a prime number?
False
Let f(m) = 2*m**3 - 2*m**2 - m + 2. Let l be f(2). Let q = l - -1. Is q a prime number?
False
Let s = 427 - -160. Is s a prime number?
True
Let o(b) be the first derivative of -b**6/20 - b**3/6 + b**2 - 2. Let l(a) be the second derivative of o(a). Is l(-2) prime?
True
Let a(o) = o**3 - o**2 - o + 1. Let p(v) = -4*v**3 - 10*v**2 - 6*v + 7. Let z(x) = -5*a(x) + p(x). Is z(-3) composite?
True
Let i be (-2)/((-2)/320*2). Let x = -83 + i. Is x a composite number?
True
Suppose 3*y + 10 = -2. Let b = 5 + y. Is 1 + (1 - -33*b) a prime number?
False
Let d be (-5 - (-2 + -1)) + -3. Let k(j) = -2*j**3 - 6*j**2 + 7*j + 4. Is k(d) prime?
False
Let w(a) = a + 25. Is w(18) prime?
True
Suppose 5*d + 90 - 1145 = 0. Is d prime?
True
Let h(z) = -14*z**3 - 4*z**2 - 2*z + 2. Let a be h(-3). Suppose -4*u + 3*p + 31 = -230, -5*u = p - a. Is u + -2*(-2)/(-2) a prime number?
True
Suppose 4*x - 5*x + 235 = 0. Is x a prime number?
False
Suppose 3 = n - 1. Suppose 25 = 3*k + n*r, 0 = -2*k - 3*r + 8 + 10. Suppose -2*q + 50 = k*q. Is q composite?
True
Let t(w) = 38*w - 9. Is t(11) a prime number?
True
Suppose -22561 = 3*k - 14*k. Is k prime?
False
Let f(y) = 2*y**2 + 4*y - 4. Let s be f(4). Suppose -111 = -i - s. Is i prime?
True
Let j = 318 - 124. Suppose 0 = -3*w + 5*w - j. Is w composite?
False
Suppose -234 = -7*o + 347. Is o prime?
True
Let j(u) = 73*u**2 + 2*u + 11. Is j(4) a composite number?
False
Let q = 354 + -163. Is q prime?
True
Let q = 200 + -32. Suppose -5*d = -3*u - 436, -3*u = 2*d - u - q. Suppose 11 - d = -3*y. Is y a composite number?
True
Let v = 366 + 475. Is v a composite number?
True
Let o = -20 - -51. Is o a composite number?
False
Suppose k = 2*k - 2. Let b(f) = 2*f**3 - 2*f + 3. Is b(k) prime?
False
Let u be (-194)/(-22) + (-4)/(-22). Let f(r) = 13*r + 10. Is f(u) prime?
True
Let d = -98 + 96. Let z(o) = 5*o**2 - o - 3 + 4*o**2 - o. Is z(d) prime?
True
Let x(k) = 3*k**2 - 3 - k + 3*k + 3 + 3. Is x(-2) prime?
True
Let c(v) = -v + 9. Let j be c(0). Let k = j + -1. Is (k/12)/((-4)/(-66)) prime?
True
Let q(o) = 5*o**2 + 5*o + 11. Is q(-15) composite?
False
Let q(k) = -71*k + 1. Let r(u) = u + 8. Let s be r(-6). Suppose 0 = -v - 0 - s. Is q(v) a prime number?
False
Let d(r) = r**2 + 3*r - 5. Is d(8) composite?
False
Suppose -4*y + 0*a = 3*a - 169, -a = -2*y + 87. Let l be (-9)/(-3) - -1*1. Suppose -o = -0*v - v - 33, 0 = o + l*v - y. Is o a composite number?
True
Suppose 0 = -3*z + 9. Suppose 4*b + 4*v - 168 = 168, b - z*v = 64. Is b a composite number?
False
Let l(s) = 25*s - 14. Is l(9) composite?
False
Suppose -1 + 9 = 2*t. Suppose t*u = 189 + 31. Is u a composite number?
True
Suppose 1280 = -5*b - u, -2*