t(p). Let d(l) = -l + 11. Is d(o) a composite number?
False
Let d = -1057 - -2460. Is d a composite number?
True
Let v(x) be the third derivative of 2*x**5/15 + x**4/24 + x**3/6 + 10*x**2. Is v(2) prime?
False
Suppose 0 = -40*i + 46*i - 12318. Is i a composite number?
False
Let x(c) = c**2 + 2*c - 4. Suppose q + 5 = -0. Let w be x(q). Is (w - (0 + 2)) + -2 a composite number?
False
Let h = 710 + -321. Is h a composite number?
False
Let w(a) = 203*a**3 - a**2 + 1. Is w(1) a composite number?
True
Suppose 23*y - 28*y + 3985 = 0. Is y prime?
True
Suppose -13*r - 3*r = -1776. Is r a composite number?
True
Let c(a) = 4*a**3. Let o be c(1). Is 25/o + 6/8 a prime number?
True
Suppose 11*h - 219 = 2498. Is h a prime number?
False
Suppose 0 = 6*n - 2*n - 752. Suppose -u + 0*u = -3*m - n, 5*u + 4*m - 959 = 0. Is u a composite number?
False
Suppose 5*w - 2*y = 5, -5 = 4*y - 25. Let l(b) = 32*b**2 - 6*b + w + 2*b + 2*b. Is l(2) prime?
True
Let q(j) be the third derivative of j**5/60 - j**3/2 - 2*j**2. Is q(-4) composite?
False
Suppose 2*j - 13 = 3*j + 3*b, -2*b + 2 = -2*j. Let c = 2 + j. Is -11*c*1/2 composite?
False
Suppose -13 + 5 = 4*v. Is (-1)/v*(61 + 1) a composite number?
False
Let g(o) = 11*o + 1 + 2*o**2 + 1 - 4 + 1. Is g(-13) prime?
False
Let g(r) = -r**3 + 5*r**2 - 4*r - 3. Let h(a) = -2 + 9*a - 10*a**2 + 3*a**3 - 1 + 8. Let k(y) = 5*g(y) + 2*h(y). Is k(-4) a composite number?
False
Let a(k) = 14*k + 5. Is a(15) composite?
True
Suppose -2*w = -3*w + 185. Suppose 0 = -4*n - 4*x + 32, -n - 13 = -2*n - 2*x. Suppose -5*v = -t + n*t - 179, 0 = 5*v + 5*t - w. Is v composite?
True
Suppose 0 = -3*z - 2*z - 10. Let b(s) = s**2 + s + 3. Let x be b(4). Let k = z + x. Is k a composite number?
True
Let x(v) = 27*v**2 + 10*v - 9. Is x(-8) a composite number?
True
Suppose -h - 3*h + 2*b = -12702, -3*h + 2*b + 9529 = 0. Suppose 6*a = -1151 + h. Is a composite?
False
Let g = -130 - -30. Is 2*(g/(-8) + 3) a prime number?
True
Suppose -588 = 6*y - 5958. Is y a composite number?
True
Suppose 3*h + 640 - 2473 = 0. Is h a composite number?
True
Suppose 933 = g + 2*v, 3*g + 0*g + 4*v - 2809 = 0. Suppose 5*m - 1190 = -a, 0*m = -4*m + a + g. Is m composite?
True
Let y = -9 - -15. Let m = 14 - 12. Suppose -3*a - 344 = -y*a + 5*z, -m*z = a - 111. Is a a composite number?
False
Let h(g) = g**3 + 13*g**2 + 7*g + 1. Let m be 3 - (-2 - 0/1). Suppose 17 = -2*w + m. Is h(w) a composite number?
False
Let k(p) = p - 1. Let y(x) = 7*x - 9. Let c(f) = -5*k(f) + y(f). Is c(7) a composite number?
True
Let y(x) = x**3 + 10*x**2 + 2*x + 8. Is y(-9) prime?
True
Let y(a) = 4*a**2 - 3 - 4*a - 6*a**2 + 4*a**2. Let u = 4 + -12. Is y(u) prime?
True
Suppose -3*n + 8*n - 145 = 0. Let z = 216 - n. Is z a prime number?
False
Let d = 8 - 4. Suppose -2*s = -d*s + 130. Is s composite?
True
Let b(t) = 65*t**2 + 5*t - 4. Let o be b(3). Suppose 7*z = 3*z + o. Is z a prime number?
True
Let r be 8 - 9 - 32*-15. Suppose r = p - 58. Is p prime?
False
Let i(x) = -x**3 + 3*x**2. Let a be i(3). Suppose -2*b + 71 = 5*d, 4*b + d + a*d - 97 = 0. Is b prime?
True
Suppose -s - 3*f + 1162 = 0, -2*s + 0*s + 2345 = -f. Is s a prime number?
True
Suppose -j + 841 - 206 = 0. Is j a composite number?
True
Let l(c) = 22*c**3 + c**2 - c. Let x = 3 - 1. Let s be (-2)/(-4) + 1/x. Is l(s) a composite number?
True
Let r = -160 + 329. Suppose -51 = -4*c + r. Is c a prime number?
False
Is 2/(-6)*-13107 + -1 + -1 prime?
False
Let p be (-4)/10 - 108/(-45). Is 3/(-3) + 28/p prime?
True
Let o(d) = 4*d**2 + 7*d + 2. Let t(a) = 3*a + 2. Let n be t(2). Let r = 3 - n. Is o(r) prime?
True
Suppose 0*w - 3*w + 801 = 0. Is w prime?
False
Suppose 164 = -2*h + 1266. Is h prime?
False
Let y(x) = x**3 + 14*x**2 - 6*x - 14. Let l be y(-11). Suppose 2*q + 3*q = l. Is q composite?
False
Let u(n) = n - 13. Suppose 3*a - 2*a = 0. Let f be u(a). Let d = 24 + f. Is d composite?
False
Suppose 0 = -2*b - 3*i, 5*b - 7 = -5*i + i. Suppose 0 = -u + b*u - 88. Is u + 0 + (-7)/7 composite?
False
Let a(b) = 6*b**2 - 3*b + 3. Let m be a(2). Let x = m - 53. Let o = x - -54. Is o composite?
True
Suppose 2*c + 10 = 4*b, -27 = -3*b + 2*c - 7*c. Let h(y) = 50*y**2 - 2*y + 5. Is h(b) prime?
True
Suppose -4*z + 0*b = 3*b - 1922, 2*z - 4*b - 950 = 0. Is z composite?
False
Suppose 5*d - 6*d - 48 = 0. Let t(o) = o**3 + o - 107. Let w be t(0). Let u = d - w. Is u prime?
True
Suppose -2 = 3*z - 11. Suppose 4*n - 132 = -4*v, -85 = -z*v - 2*n + 6*n. Is v a composite number?
False
Is ((-6)/(-4))/(48/45088) composite?
False
Let i = -187 + 2126. Is i a prime number?
False
Suppose 3*g + g = 0. Suppose 3*i + 4 - 37 = g. Is i prime?
True
Suppose -2*a = 3*i - 619, -2*i - 2*a - 396 = -4*i. Is i prime?
False
Let b be ((-24)/(-20))/(2/5). Suppose -4*g + 4*d + 880 = 0, 4*g - 381 = b*d + 502. Is g composite?
False
Suppose 3*l + 72 = 2*s, 4*s - 2*l - 62 = 74. Is s a prime number?
False
Let o be 1/((-333)/(-165) - 2). Suppose 5*f = o + 50. Is f prime?
False
Let d(w) = 2*w + 1560. Let q be d(0). Let x = q + -1093. Is x composite?
False
Let c(f) = -24*f - 5. Is c(-5) a prime number?
False
Is (-1)/3 - (3110/(-15) + -4) a composite number?
False
Let i(l) = 170*l - 29. Is i(6) a prime number?
True
Suppose 0 = z - 2*z + 4. Suppose 400 + 178 = z*h - 3*u, -u = 3*h - 440. Suppose 4*o - 276 = 4*q, 0 = 2*o - 0*q + 2*q - h. Is o a prime number?
True
Let i be (-1 - -7) + 1/1. Suppose i + 2 = 3*f. Suppose -13 = -g + 5*l, -2 = -f*l + 4. Is g a prime number?
True
Suppose -5*x + 0 = -10. Suppose -5*o = x*q - 52, 5*o - 42 - 30 = 3*q. Is 2*249/o*2 a composite number?
False
Let l be -6*((-3)/6 + 0). Suppose -3*w + l = -3. Let n(y) = y**3 + y**2 + y. Is n(w) a composite number?
True
Let y(s) = -17*s**2 - 3*s - 3. Let r be y(3). Let l = r + 322. Is l a prime number?
True
Let l = -210 + -380. Let g = l - -829. Is g prime?
True
Suppose 0 = -4*l + 407 + 389. Let u = l - 72. Is u a prime number?
True
Suppose 1 - 4 = -d. Suppose 0 = n - 2, d*w = 5*n + 1 - 11. Suppose q + 5 = -0, -2*j - 3*q + 31 = w. Is j composite?
False
Let u(i) = i**2 + 4*i + 13. Is u(-27) composite?
True
Let f(b) = 41*b**2 - 10*b - 8. Is f(-3) a prime number?
False
Let n(b) = -2*b + 1. Let v be n(1). Let o(s) = -60*s**3 + s**2 + 2*s. Is o(v) composite?
False
Let z = -2564 + 5310. Is z composite?
True
Suppose 2*a - 813 + 189 = 0. Suppose 0 = -7*z + 3*z + a. Suppose -3*k = -k - 2*h - 48, 0 = -4*k - 5*h + z. Is k prime?
False
Let j(b) = -b**3 - 2*b**2 - 2*b - 3. Let n be j(-3). Is (296/n)/(2/3) prime?
True
Let f = 8382 - 4337. Is f a composite number?
True
Suppose -4*q - q - 345 = 0. Let w = -14 - q. Is w a composite number?
True
Let o(g) = -g + 53. Let c(z) be the first derivative of -z**2/2 - 6*z + 4. Let t be c(-6). Is o(t) a composite number?
False
Suppose 4*p - 289 = 1323. Suppose -5*h + 22 + p = 0. Is h prime?
False
Let h(k) = -38*k - 3. Let l(g) = -g. Let p(v) = -h(v) + 3*l(v). Is p(6) a prime number?
False
Let d = 93 - 58. Suppose -5*j + 4*j + d = 0. Is j composite?
True
Suppose -2 = -2*m + 2. Suppose -m*n + r = 5*r - 176, -5*n + 435 = 5*r. Let g = n + -19. Is g a composite number?
False
Let s = 99 - -278. Let o = s + -258. Is o composite?
True
Let m(w) = 3*w + 2. Let z be m(2). Let v = z - -59. Is v a composite number?
False
Let r be 50/(-15)*(-3)/2. Suppose -56 = 4*a + 2*h, 0 = -0*a + r*a + 5*h + 75. Let m = a - -20. Is m composite?
False
Let g(i) = 32*i + 2. Let x(p) = 31*p + 2. Let s(j) = 4*g(j) - 3*x(j). Let k be s(3). Let l = k + -76. Is l prime?
True
Let t be -2 + (-1 - 0 - 1). Is (t - -3 - -227) + -3 a prime number?
True
Let q = 12 + -9. Is 23/2*4 + q prime?
False
Let i(w) = -w**2 + 4*w + 14. Let n be i(6). Suppose o = 3*o + n*u - 430, -199 = -o + 3*u. Is o a composite number?
False
Suppose -3*w = 4*l - 6, 5*l - 2 = -w - 0. Is 69 + (0/w)/(-2) prime?
False
Suppose b - 17 = -3*c - 0, 3*c = -5*b + 37. Suppose -c*m = m. Is (1 - m - -10) + 0 composite?
False
Suppose -7*q = q - 17896. Is q prime?
True
Is -4 + (-3 - -3) + 297 a composite number?
False
Let w = -5 - 0. Is (-35)/2*4/w a prime number?
False
Let o = 213 - 22. Let r = -114 + o. Is r prime?
False
Suppose -321 = -3*a - 5*u - 54, 4*a + 3*u = 356. Is a composite?
False
Let d be 2/(-4)*2*-31. Let j = -20 + d. Is j a composite number?
False
Let q be 8*1 + -3 + 3. Suppose 5*x - q