**3/3 - s**2. Let c be q(-2). Let a = 41 - c. Is a a prime number?
True
Suppose 5*p - 3298 = -3*f, -3*f + 0*f - 1336 = -2*p. Is p composite?
True
Let l(b) = b**3 - 8*b**2 + 4*b - 9. Let g be l(10). Suppose -2*u = u - g. Is u a composite number?
True
Let f(h) = 69*h - 7. Is f(12) prime?
True
Let y(s) = -38*s - 5. Let z be y(-5). Suppose -5*t + z = -210. Is t a composite number?
False
Is 42911/(-33)*-3*1 a composite number?
True
Let l(k) = 2*k**2 + 5*k - 7. Let q(b) = -19*b. Let j be q(-2). Suppose 5*c = -0*c + 20, 0 = 5*n + 3*c + j. Is l(n) a prime number?
False
Suppose 3*p + 0*m = -2*m - 1, 0 = -2*p + 2*m + 16. Suppose -s = -p*s + 210. Suppose -r - s = -4*r. Is r a composite number?
True
Suppose 4*b - 779 = 257. Is b a prime number?
False
Let i(l) = l**2 + 13*l + 19. Is i(-27) composite?
False
Let a(h) = h**3 + 2*h**2 + 3*h**2 - 2*h**2 + h. Is a(5) a composite number?
True
Let s = 38 - 3. Is s a prime number?
False
Let c(g) = -g**3 - 2*g**2 + 3*g + 1. Let k be c(-4). Is 6/(-21) - (-216)/k prime?
False
Let s = -10 + -2. Is (-662)/s + (-3)/18 prime?
False
Suppose -147 = -3*w + 3864. Is w a prime number?
False
Let p = 15 - 9. Let x be (p/4)/(1/10). Let h = x + -9. Is h composite?
True
Let q(o) = 7*o - 3 + o**2 - 7*o. Is q(5) a prime number?
False
Let p = 963 + -487. Suppose -x - p = -5*x. Is x prime?
False
Let u(i) = 48*i + 1. Suppose f = 4*f - 3. Let p be u(f). Suppose 3*a = 160 - p. Is a a composite number?
False
Suppose 4*j = 6*r - 3*r - 4, -r - 6 = -5*j. Is j/(-3) + 1136/12 a composite number?
True
Let y = 50 + -87. Let f = 6 + -3. Is y/2*(1 - f) a prime number?
True
Let o(i) = i**3 - 11*i**2 - i + 8. Let l be o(11). Is (552/18)/((-2)/l) a composite number?
True
Suppose -4*j + 3*q + 38 = -30, -12 = -3*q. Let d be ((-5)/(-10))/((-2)/j). Let b = d - -18. Is b a composite number?
False
Let h(x) = 7*x**2 - 6*x - 4. Let o be h(5). Suppose 5*d = -o + 946. Is d a prime number?
False
Let m(g) = -g**3 - 6*g**2 + 8*g + 9. Let v be m(-7). Is -2 + v*1644/8 a prime number?
True
Let a(q) = q**3 - 20*q**2 - 26*q + 37. Is a(28) composite?
False
Let u = -1803 + 2594. Is u a composite number?
True
Let d = 1 + 2. Is (-131 - d)*(-1)/2 a composite number?
False
Suppose -b = 4*k, 3*k = 5*b - 0*b. Suppose -4*o = -4*l + 5 - 25, b = 4*o - l - 32. Let w = -2 + o. Is w a composite number?
False
Suppose 0 = -q + 2*u - 4, 3*u = -2*q - 0 + 20. Suppose -q*p + 163 + 87 = 2*j, -536 = -4*j + 4*p. Is j composite?
False
Let b(g) = 8*g**2 - 4*g + 5. Is b(5) a prime number?
False
Let r(i) = -20*i - 3 - 6 + 3*i. Is r(-10) a composite number?
True
Suppose 0 = -5*l + 5*g + 785, 3*l + 3*g - 213 = 258. Is l composite?
False
Suppose -5804 = -6*k + 2830. Is k composite?
False
Suppose 0 = -8*u + 3*u - 405. Suppose 2*f - 3*f = 134. Let j = u - f. Is j composite?
False
Let c = -337 + 732. Is c prime?
False
Let g be 3/(-9) - 2/(-6). Suppose 3 = -3*x, g = 3*v + 4*x - 9 - 2. Suppose 86 = 2*n - 0*n + 5*l, v*n + 4*l = 198. Is n composite?
True
Let u = 12 + -7. Suppose 4*a - 96 = 2*a - 5*z, -u*z - 20 = 0. Is a composite?
True
Let q be (8/4 + -2)/(-1). Is 199*(-2 - -3 - q) a composite number?
False
Let l be -1 + 1 + (-3)/(-1). Suppose 4*y = -z + 19 - 73, -l*y = 3*z + 135. Let d = z - -109. Is d a prime number?
True
Let a(j) = -j**3 - 5*j**2 - 5*j - 2. Let n be a(-4). Suppose 2*f - 22 = -5*g, g - 2*g = n*f + 2. Is -26*(g/(-4) - 1) a prime number?
False
Let x = 16 + 141. Is x prime?
True
Let s(j) = -6*j + 1. Suppose 3*c + 2 = 5*l + 14, 0 = 2*l. Suppose -3 = c*w + 21. Is s(w) a composite number?
False
Let b(j) = 3*j**2 - 1. Let q be b(-1). Let c be 57/(-21) + q/(-7). Is (c + 6)/(-6)*-178 a prime number?
True
Let h = 185 + 34. Suppose -2*q + 67 = -h. Let k = q + -64. Is k composite?
False
Let q(p) be the third derivative of -p**6/120 + p**5/10 + 7*p**4/24 - 5*p**3/6 - 2*p**2. Is q(6) a prime number?
True
Let v = 5 - 5. Suppose v = -0*q + 5*q - 50. Is q prime?
False
Suppose -8*z = -11*z + 99. Is z prime?
False
Let c = 126 - 73. Suppose -d + 3 - 1 = 0. Suppose -5*x = d*u - 140 - 101, x - 2*u - c = 0. Is x a composite number?
True
Suppose -350 - 120 = -5*f. Suppose 0 = -7*w + 5*w + f. Is w a prime number?
True
Let q be (2/1)/(4/6). Is 2/(-6)*(-1413)/q a prime number?
True
Suppose -4*d - m = -303, 6*d - 5*m = 4*d + 179. Let x = -38 + d. Suppose a = -3*y + x, 3*y - 5*y = 0. Is a a composite number?
True
Let y = 2399 - 515. Suppose 2*d - 5*d = -y. Suppose -d = 2*m - 6*m. Is m a composite number?
False
Let b be 41 + (-2 + 0)/(-2). Is (-1)/((-3)/b*2) prime?
True
Suppose -q + 1 = 3*q + 3*a, -a - 5 = 0. Suppose z - 5*z + q*y = 24, 0 = -2*z + 4*y - 12. Let c = z + 20. Is c composite?
True
Let t(q) = -5*q**2 + 2*q - 10. Let j(v) = 11*v**2 - 5*v + 20. Let o(k) = 6*j(k) + 13*t(k). Is o(-7) a prime number?
True
Suppose 3*j + g = 2669, 4*g = -4*j + 5*j - 881. Is j a prime number?
False
Let b(j) = 3*j**3 - 6*j**2 - j - 5. Let z(v) = 3*v**3 - 6*v**2 - v - 5. Let a(t) = 7*b(t) - 6*z(t). Is a(5) a composite number?
True
Let m(h) = -22*h - 9. Is m(-8) prime?
True
Suppose 2*o + 2 = -0*u - 3*u, -4*o - 4 = -u. Let q(h) be the third derivative of -h**5/60 + 17*h**3/2 + h**2. Is q(u) composite?
True
Let w(f) = -f**3 - f**2 + f - 4. Let s be w(0). Suppose 0*p + p = 2. Is (s/(-6)*57)/p a prime number?
True
Is (-2 - -4)/((-2)/(-263)) composite?
False
Suppose 0*n + n = -k + 6, 2*n - 18 = -5*k. Let r(b) = 7 - 2*b + 5*b - k*b. Is r(6) a composite number?
False
Suppose -3*y = -0*n - 3*n + 1341, -3*n = -5*y - 1345. Is n a prime number?
False
Suppose -l = 3*w + l - 4, -4*w + 2*l = -24. Suppose 532 - 24 = w*o. Is o composite?
False
Let r = 253 + -66. Is r prime?
False
Let y = 883 + -590. Is y composite?
False
Let h(g) be the first derivative of -31*g**2/2 - 2*g + 1. Let y be h(6). Let z = y - -265. Is z a composite number?
True
Suppose 2*t = -5*f - 2*t + 49, -3*t + 39 = 4*f. Is f composite?
True
Let w(a) = -3*a**2 - 5 + 2*a - a**2 + 5*a**2. Is w(4) a prime number?
True
Suppose -4*i + 8 = -0*i. Suppose -4*r + 113 = -5*b, -r - 3*b - i*b = 3. Is r composite?
True
Suppose -l = -0*l - 34. Let s = 65 - l. Is s a composite number?
False
Let w(c) = -5*c - 15. Is w(-6) prime?
False
Let w(a) = 382*a - 13. Is w(6) a prime number?
False
Let b(n) = 4 - 24*n + 6*n - 3. Is b(-1) a composite number?
False
Suppose -h - h = 0. Suppose h = -4*n + 3*c - 5*c + 652, -4*n + 660 = 4*c. Is n composite?
True
Suppose 4*m - 106 = 3*g + 13, 0 = 3*m - g - 93. Suppose 3*h + 24 = 3*w, 5*h = -w + 4*w - m. Let y(f) = -6*f - 1. Is y(h) prime?
True
Let w(a) = 4*a**3 - 15*a**2 - a - 13. Let s(j) = 3*j**3 - 14*j**2 - 12. Let d(q) = 6*s(q) - 5*w(q). Is d(-7) a composite number?
True
Let d(v) be the first derivative of -5*v**4/4 - 8*v**3/3 - 2*v**2 + 3. Is d(-5) composite?
True
Let d(v) = v**2 + 291. Is d(0) composite?
True
Let v = -19 + 74. Is 0 + (v*3 - 2) composite?
False
Is 873*(1 - (-2)/(-3)) prime?
False
Let b(z) = -z**3 + z**2 - z - 1. Let i be b(-1). Let s(j) = -j - 15*j**3 - i*j**2 - 2*j + 6*j**2 - 3*j**2 - 3. Is s(-2) composite?
False
Suppose -6*f = -9*f + 771. Is f composite?
False
Let j = -1 + 150. Is j a prime number?
True
Let o(k) = -k**2 + 4*k. Let h(d) = -d**2 + 9*d - 1. Let p(f) = 2*h(f) - 5*o(f). Is p(-2) a prime number?
False
Suppose -5635 = -2*j + a, -6*j + 4*a + 5626 = -4*j. Is j prime?
True
Let f(u) = 1111*u**2 - u + 1. Is f(1) a prime number?
False
Let d(y) = 4*y - 3. Let s be d(2). Suppose -23 = -s*r - 3*a, 3*r - 4*a - 10 + 2 = 0. Suppose 76 = r*g - 48. Is g a prime number?
True
Let l(z) = -2*z + 33. Is l(-18) a composite number?
True
Suppose 24 = k + 3*k. Let c be 3/(-6) + (-321)/k. Let s = -16 - c. Is s a composite number?
True
Suppose -3*q + 213 = -4*q. Let r be q + (-5)/((-10)/6). Let z = r + 367. Is z composite?
False
Let y(w) = 0*w + 6*w + 16*w + 2. Let r be 3*-4*(-4)/24. Is y(r) a prime number?
False
Let g(x) = -x**2 - 4*x - 3. Let t be g(-2). Let w(u) = 1 - t + 19*u + 1. Is w(4) a prime number?
False
Suppose 18*p - 8614 - 260 = 0. Is p a prime number?
False
Suppose 0 = 3*g + 2*g - 95. Is g composite?
False
Suppose -4 + 380 = 5*y - f, 5*f + 132 = 2*y. Suppose -250 = -2*m + y. Is m a prime number?
True
Suppose 2 - 8 = -3*h. Suppose h*o = -3*t - 0*o + 107, -2*o = 4*t - 142. Is t a prime number?
False
Let w = -34 - -55. Is w composite?
True
L