-3 prime?
False
Let l(t) = 76*t**2 + 4*t + 2. Is l(-3) composite?
True
Let g(j) = j + 2 + 3*j - 3*j. Let q be g(0). Suppose -2*u = 4*t - 4*u - 340, -q*u + 324 = 4*t. Is t a composite number?
False
Let z be 262/14 + 6/21. Suppose 0 = y + 5*o - z - 1, 0 = -4*y - 5*o + 65. Is y prime?
False
Let b(a) = -1364*a + 3. Is b(-1) a composite number?
False
Let v(t) = -271*t - 1. Is v(-2) composite?
False
Is (35/(-5))/((-2)/74) prime?
False
Let n(j) = 326*j + 1. Is n(11) a composite number?
True
Suppose -285 = 7*t - 8090. Is t a composite number?
True
Suppose 2*s = 5*o + 23, 5*s - 35 + 9 = 2*o. Is s prime?
False
Suppose 1796 = -5*y - 2*d, 0 = -3*y + y - 5*d - 710. Let o = 218 + y. Let a = -89 - o. Is a composite?
False
Let f = -2 - -33. Is f composite?
False
Suppose -4*a = v - 1243, -2*a + 3*v + 999 = 374. Suppose -4*d - d = 4*k - 1543, d = -2*k + a. Is d a composite number?
False
Let w be (-48)/18*-23*3. Let q = w - 101. Is q a composite number?
False
Let n(x) = x**2 - 6*x. Is n(-5) a composite number?
True
Let i = -184 - -68. Let d = 167 + i. Is d prime?
False
Suppose 3*s + 2*s = 15. Let z(k) be the third derivative of 5*k**4/12 + k**3/6 - 2*k**2. Is z(s) a composite number?
False
Suppose 2*p + 15 = -41. Let g = 137 - 220. Let f = p - g. Is f composite?
True
Let y = -7 + 11. Suppose y*l - 5*l = -3. Suppose -m = -l - 20. Is m composite?
False
Let j be 2 + 0 - (-2 - -6). Is ((-2)/3)/(j/393) a composite number?
False
Let o(d) = 115*d - 9. Is o(32) composite?
False
Let t be ((-6)/5)/((-33)/1210). Suppose -b - t = -133. Is b a prime number?
True
Suppose -9*h + 14*h - 2195 = 0. Is h a prime number?
True
Suppose -y + 5*z + 5593 + 46 = 0, -2*z = 0. Is y a composite number?
False
Suppose 362 = 5*b - 38. Suppose -5*p + 5*d + b = 0, -9 = -p + 2*d + 8. Is p a prime number?
False
Let o = 129 + -14. Is o a composite number?
True
Let y(k) = -2*k**3 + 2*k**2 - 2. Let w(m) = m**3 - 6*m**2 + 6*m - 3. Let h be w(5). Let p be y(h). Let c(f) = -2*f - 6. Is c(p) a composite number?
True
Suppose 5*k + 2185 + 1220 = 5*p, 10 = 5*k. Is p a prime number?
True
Suppose 5*v = 5*x + 2025, -2*v - 4*x + 591 + 207 = 0. Is v a prime number?
False
Let w be (-1 - -1)/(-1 + -1). Let q = 14 - 7. Suppose w + q = v. Is v a composite number?
False
Let u = -1 - 1. Let m(d) = -9*d**3 - d**2 + 2*d + 3. Is m(u) a composite number?
False
Let w = 10 - 8. Is w/(2 - 116/59) a composite number?
False
Is 1 - (777/(-3) + -3) prime?
True
Let i(w) = 14*w**3 - 2*w**2 + 1. Suppose 3*b - 5*o + 3*o = 22, 0 = -5*b - o + 15. Suppose 1 = b*d - 3. Is i(d) prime?
True
Suppose 3 = -2*g + 5*d + 4, -5*g + 16 = d. Let s(f) = 8*f**3 + 5*f**2 - 5*f + 3. Let c be s(g). Is 2/(-8) + c/4 a composite number?
True
Let o = 6 + 29. Is o a prime number?
False
Suppose 0 = -4*z + p, 3*z = -2*p + 7*p. Suppose z = b - 58 - 29. Is b a composite number?
True
Let y(n) = 5*n**3 + 3*n**2 - 1. Suppose 2*h - 2 - 4 = 0. Is y(h) a prime number?
False
Suppose o + 381 = 4*o. Is o a prime number?
True
Let u be 29/2 - (-3)/(-6). Suppose 3*w = 623 - u. Is w prime?
False
Suppose 7180 = 4*h - 5*w, 5*w + 2965 = h + 1170. Is h a prime number?
False
Suppose 0 = 2*o + o + 27. Let h(j) = -j**2 - 13*j - 6. Let z be h(o). Let p = z + -17. Is p a prime number?
True
Let f = 6 + 6. Is ((-14)/(-3))/(f/198) composite?
True
Let o(f) = 200*f**2 - f + 1. Let s be o(1). Let t = -94 + s. Suppose -3*h - 1 = -t. Is h a prime number?
False
Let o = -48 - -67. Suppose -4*f + f = -4*z - 64, f - o = -z. Suppose f = 2*b - 50. Is b composite?
True
Let v(l) = 6*l + 191. Is v(0) composite?
False
Suppose 5*k - 7825 = 4*z, -k + 381 = -3*z - 1195. Is k a prime number?
False
Let h(i) = -i**3 + 7*i**2 - 4*i. Let g be h(5). Is (-2468)/(-10) + 6/g composite?
True
Let i = -15 - -19. Suppose -n + i*n = 4*s + 385, 0 = 5*n - 4*s - 639. Is n composite?
False
Suppose -8 = -3*y - y. Let p(m) = 5*m**2 + m. Is p(y) a composite number?
True
Suppose -3*a = a - 24. Let k(q) = q**2 - 5. Is k(a) prime?
True
Let i = -5 + 3. Is (3/3)/(i/(-38)) a composite number?
False
Let o(f) = 11*f - 6. Let b = 11 + -7. Is o(b) composite?
True
Let x(w) = -w**2 + 4*w + 7. Let y be x(5). Suppose y*r - d = 1118, -5*d + 1094 = r + r. Is r prime?
True
Is (-92732)/(-20) + (6/15 - 0) prime?
True
Let k = 2109 + -1447. Is k a composite number?
True
Suppose 0 = 7*v - 17274 - 6449. Is v prime?
True
Suppose 127 = 2*i - i. Is (0 - i/4)*-28 a composite number?
True
Suppose -2*r - r = -48. Suppose 5*o - 20 = -z, 5*z - r = 3*o - 0*z. Suppose -288 = -o*j + 489. Is j prime?
False
Let v = -4 - -9. Let t(s) = 1 + 12*s - 1 - 7. Is t(v) a composite number?
False
Let c = -1358 + 2904. Is c prime?
False
Let m(a) be the third derivative of a**4/24 + 11*a**3/6 + a**2. Let p be m(-10). Is (p - -4) + 4/4 prime?
False
Suppose 4*d - 2*o = 204, d = 5*d + o - 204. Is d prime?
False
Let u(n) = -5 + n**3 - 2*n**3 + 2*n**3 + 8*n - 5*n**2. Suppose 3*p + 8 = -3*b + 4*b, -2*b - 5*p = -5. Is u(b) a prime number?
False
Let b(u) = 3*u**2 - 36*u + 7. Is b(-6) prime?
True
Let p = 2410 + -1275. Is p a composite number?
True
Let k = -30 - -92. Is k composite?
True
Let z(d) = -6*d**3 - 2*d**2 + 7. Is z(-6) a composite number?
False
Is (0 + -41)/(14/(-70)) prime?
False
Suppose 5*y + 805 = 3*l + 183, 501 = -4*y - l. Suppose -6*b + 1032 = -192. Let t = b + y. Is t prime?
True
Let g(d) = -d**3 + d - 3. Let a be g(0). Let r be (-2 - (-1 + a)) + -3. Let w = r + 8. Is w composite?
False
Suppose 4*n - 234 = 274. Is n a composite number?
False
Let h = 90 + 2. Suppose 10 = 3*i - h. Is i a composite number?
True
Suppose -28 - 74 = -2*c - 4*j, 0 = -c + 5*j + 72. Is c a composite number?
True
Let i(f) be the third derivative of 77*f**5/60 + 2*f**2. Is i(1) a composite number?
True
Let v(h) = h**2 + 9*h + 8. Let n be v(-8). Suppose -5*m - 2*f + 15 = 0, -m + 2*m - 4*f + 19 = n. Is 368/12 + m/3 a composite number?
False
Suppose -5*o = 4*y - 9*y, 0 = y + o + 4. Is (y/(-4))/((-4)/(-1256)) a prime number?
True
Let b(z) = z**2 - z + 4. Suppose 4*s + 2*p - 24 = 0, 4*s = 3*s - 2*p + 6. Let a be b(s). Suppose -2*g - 4 = -a. Is g a composite number?
True
Let q(s) = -s**2 + 3*s - 1. Let r be q(4). Is (0 - (r - -2)) + 44 prime?
True
Suppose -4*i + 8*i = 8. Suppose -y - i*y = -309. Is y a prime number?
True
Suppose -p - 3*l = -62, -l + 0 - 5 = 0. Is p prime?
False
Let s(u) = 43*u + 3. Is s(2) composite?
False
Let r(o) be the first derivative of o**3/3 - o**2/2 + o - 2. Let u be r(-4). Is (1 + -142)*(-7)/u a composite number?
False
Is (-4493)/(-9) + 2/(-9) composite?
False
Let a(h) = 979*h**2 + h - 3. Is a(1) a prime number?
True
Suppose -5*s + 3 + 7 = 0. Suppose -s = 5*k - 567. Is k composite?
False
Suppose -3*t = -t - 392. Let u = t + -140. Suppose 3*y + 2*d - u = 0, -2*y + 5*d = -4*y + 19. Is y prime?
False
Let s be 141/(-2)*(-40)/3. Suppose 2*n + 3*n - s = -5*r, -2*r + 382 = -n. Suppose u = -5*c + r, -2*c - c + 122 = -u. Is c a prime number?
False
Let a(q) = 9*q**2 + 11*q + 23. Is a(-8) a prime number?
False
Let f(l) = l**3 - 4*l**2 - 7*l + 5. Is f(6) a prime number?
False
Let c(h) = -h**2 + 1. Let a(b) = -b**3 + 5*b**2 + 5*b + 1. Let z(p) = -a(p) + 3*c(p). Is z(9) a composite number?
True
Suppose -d + 4608 = 4*u, 0*u - 3*d = -2*u + 2290. Is u prime?
True
Let k be (1 + 0)/((-1)/(-2)). Let d(h) = 5*h**3 + h**2 - h. Let x be d(1). Suppose 0 = -n + y + 27, 77 = -k*n + x*n - 2*y. Is n prime?
True
Suppose -4*q - f - 1176 = 3*f, -f = 3*q + 880. Let c = q - -412. Is c a composite number?
True
Let l(o) = 261*o**2 - 2*o + 2. Is l(2) a composite number?
True
Let g(v) = 40*v**2 - 5*v + 6. Is g(-5) prime?
True
Let g be (-1 - 0/(-3)) + 6. Let h = g + -17. Is (-3)/(-12) - 153/h prime?
True
Suppose 0*a + 4*a = 5*j + 2508, 3*a - 3*j = 1878. Let t = a - 243. Is t a composite number?
False
Is 101 + 3/(-3)*(-1 - 1) composite?
False
Suppose -29*g = -26*g - 6519. Is g a prime number?
False
Suppose 0*t = -5*t + 5*o + 60, 0 = -5*t - 4*o + 42. Let i be 2/t + 81/45. Suppose 2*f + 2361 - 22 = 5*b, 0 = -i*f - 4. Is b prime?
True
Suppose 5*m = 5*r - 230, -2*r - 3*m = -m - 112. Suppose w - 6 = -2*w. Suppose -w - r = -o. Is o a composite number?
False
Let s(l) = l**3 - 6*l**2 - 2*l + 9. Let k be s(6). Let n be (k/2)/(3/(-20)). Is (-8)/20 + 794/n a prime number?
True
Let l = 391 + -180. Is l prime?
True
Supp