pose 5*m = 2*m + 33. Is x(m) composite?
True
Suppose -4*t + 6*t = 2084. Is t composite?
True
Let b be 2*-2 - (-5 + 3). Is (59/(-2) - -2)*b prime?
False
Let q = -4087 - -5908. Is q composite?
True
Suppose -2*q - 6*q + 2648 = 0. Is q composite?
False
Let o(m) = -9*m - 2. Let x be o(-2). Suppose -w - x = w. Let y = 21 + w. Is y prime?
True
Suppose -2*f = -65 + 17. Is ((-4)/6)/(f/(-5220)) prime?
False
Suppose -5*v + 9337 = 5*p - v, -5*p = -2*v - 9319. Is p composite?
True
Let u = 273 + -26. Suppose 5*c - 168 = u. Is c prime?
True
Suppose 3*m - 741 = -0*m. Is m prime?
False
Let t(j) = -j**2 - 13*j - 8. Let c be t(-7). Let a = c + -15. Is a prime?
True
Suppose 9 + 3 = 4*h. Suppose i - 61 - 38 = -5*o, -h*o - 159 = -2*i. Suppose 4*d = -0 + i. Is d prime?
False
Suppose 6*i = 11*i - 725. Is i composite?
True
Let r be (3 - (-20)/(-8))*8. Is 218/r - (-3)/(-2) a prime number?
True
Let d(v) = v + 2. Let x be d(-1). Let l be (-1 - -2)*(4 - 1). Is (-1264)/(-6) + x/l prime?
True
Let x(p) be the second derivative of 5*p**3/6 - 13*p**2/2 + 4*p. Let y(n) = -1. Let i(k) = -x(k) + 4*y(k). Is i(-10) prime?
True
Suppose 8269 = 5*y + g + 3*g, 3*y - 5*g = 4991. Is y a prime number?
True
Let b(g) be the third derivative of 0 + 0*g - 1/24*g**4 + 7/5*g**6 + 1/60*g**5 - 3*g**2 + 1/6*g**3. Is b(1) a prime number?
False
Let q(r) = 5*r**2 + 6*r + 6. Let l(f) = -f - 1. Let t(z) = 3*l(z) + q(z). Is t(5) a composite number?
True
Let k(h) = 4*h - 5. Let i be k(7). Suppose -d + 20 = 3*d - 4*f, 3*f + i = 5*d. Let n = d + -2. Is n a prime number?
True
Is 4 + (-13)/4 + (-41955)/(-12) a prime number?
False
Suppose -u = -16 - 7. Let x = 226 - u. Is x prime?
False
Let w(a) = -a + 2*a**2 - 2*a**2 + 2*a**3 + 0*a**3. Let t be w(1). Is 58 + (-2 - -2)/t prime?
False
Let x = 2725 - 1608. Is x a composite number?
False
Let a = -2 + 1. Let y(q) = -12*q - q - 2*q. Is y(a) prime?
False
Suppose -15 = -4*m + 21. Suppose l = 44 + m. Is l prime?
True
Let a be 10/(5/((-15)/(-2))). Suppose -5*b = -2*b - a. Let d(n) = 4*n**2 + 4*n - 1. Is d(b) composite?
True
Let y(i) = -130*i - 3. Let a be y(-1). Let d = a - 90. Is d composite?
False
Let w(y) = y + 10. Let d be w(-8). Let g be (d - 0 - 0) + -30. Is ((-69)/6)/(2/g) a composite number?
True
Let z = -3 - -2. Let c be (69/3 + z)*-1. Let q = 9 - c. Is q a composite number?
False
Let b = 4 + 35. Is b composite?
True
Suppose 5*x - 15 + 0 = 0. Suppose 0 = x*f - f - 8. Suppose 0 = 6*k - 2*k + f, 5*k = -4*j + 255. Is j a composite number?
True
Is (6/3)/((-4)/(-230)) a prime number?
False
Suppose 5*f - 17 = 4*k, -2*k - 8 + 1 = -f. Let y(u) = -106*u + 1. Is y(k) a prime number?
False
Let w = -7 + 8. Suppose 0 = v - w, 3*v = -3*x - 4 + 73. Is x a prime number?
False
Suppose 0 = -5*n - 0*n + 5. Let p be (n - 1)/(3 + -4). Suppose p*c + 191 = c. Is c a composite number?
False
Suppose -668 = -3*c - 128. Suppose 7*l = 2*l + 2*s + c, 0 = -s + 5. Is l composite?
True
Is 22/77 + 6282/14 prime?
True
Let c = 307 + 56. Let k be 1/(c/180 + -2). Suppose k + 51 = 3*a. Is a a prime number?
True
Let n(t) = -t**3 + 10*t**2 + 13*t - 13. Is n(9) a prime number?
False
Let b be -2 + 20/(0 + -1). Let y = -221 - -146. Let q = b - y. Is q composite?
False
Let u(o) = -o**3 + 12*o**2 - 13*o - 5. Let n be (-6)/8 - (-31)/4. Is u(n) a prime number?
True
Let n be (-4)/8 + (-1)/2. Let k(w) = 8*w**2 - 2*w - 1. Let g be k(n). Is (6/g*102)/2 a composite number?
True
Let f(s) be the first derivative of -s**4/2 - s**3 - s**2 - 3*s + 3. Let i be f(-2). Let b(g) = g**3 - 2*g**2 - 3*g + 7. Is b(i) a composite number?
False
Suppose 4*p = 1290 + 94. Is p a prime number?
False
Suppose -g + 12 + 7 = 0. Suppose -c - 2 = -1, -2*u + g = -5*c. Is u a composite number?
False
Let r(l) = 187*l - 7. Is r(6) prime?
False
Let q = -8 - -11. Let i(m) be the first derivative of 11*m**2/2 + 1. Is i(q) a composite number?
True
Let t = 166 - 356. Is -1 - (t - -2)*1 a prime number?
False
Let k = 46 - -13. Is k prime?
True
Suppose 2*l - v = 9, 3*l = -2*l - 2*v + 27. Suppose -3*u + 4*u = -2*c + 9, -l*u - 3*c = -66. Is u composite?
True
Let z(n) = -3*n**3 + 2*n**3 - 3 + 2*n + 3*n**2 + 0. Let i be z(3). Suppose 2*s = o + 97, i*o - 13 = -2*s + 72. Is s composite?
False
Let o(y) = 24*y - 13 - 4 + 3. Let l(d) = 8*d - 5. Let p(m) = -11*l(m) + 4*o(m). Is p(7) prime?
False
Suppose -2*h + 2*s + 4 = 0, -s + 6*s = h - 14. Is 75/10 + h/2 composite?
False
Let w(a) = a**2 + 16. Is w(-9) a prime number?
True
Let t = -8 - -6. Let j be 4/(-3) - t/6. Let q(u) = 6*u**2 - 2*u - 1. Is q(j) a prime number?
True
Suppose 0 = -2*c - 0*c - 216. Let p = -75 - c. Is p a prime number?
False
Is (-13287)/(-9) + 4/6 a composite number?
True
Let j = -3 - -5. Suppose 5*p + k = p + 306, -2*p + 150 = j*k. Is p a prime number?
False
Let p(m) = 120*m - 9. Suppose -4*w + 8 = -2*g - 2, w + 5*g = 19. Is p(w) composite?
True
Suppose -20 = -5*x - 5. Suppose 3 = x*y - 0*g + g, -g = -5*y + 13. Suppose -3*h + 7 = -y. Is h a composite number?
False
Let f = 20 + -15. Suppose -f*c + 1226 = -819. Is c composite?
False
Let a(c) = 8*c + 7. Suppose -2*k = -3*l - 4, -l = -5*k + 3*k + 8. Suppose -5*f = k, -5*r + f = 4*f - 22. Is a(r) prime?
True
Let t = -27 + 154. Let n = t + 22. Is n composite?
False
Let h(t) = -99*t. Let c be h(-6). Suppose -4*f - 14 = -c. Is f composite?
True
Let w(p) be the second derivative of 0*p**3 + 0 + 3*p + 89/4*p**4 + 0*p**2. Is w(-1) a prime number?
False
Let m be (-27)/(-6) + (-3)/(-6). Suppose -192 = -3*u - m*r, 3*r + 286 = 2*u + 3*u. Is u a prime number?
True
Let h(c) = -3*c**3 - 23*c**2 - 7*c + 14. Let p(i) = -2*i**3 + 0*i**3 + 4*i**3 + 5*i + 15*i**2 - 9. Let u(q) = -5*h(q) - 8*p(q). Is u(-4) a prime number?
False
Is 669/2 - (-10)/(-20) a composite number?
True
Let m(t) = t**3 + 2*t**2 - 4*t. Let l be m(-3). Is 21 - (2 - (l + 1)) a composite number?
False
Let n be (8/(-20))/((-2)/(-10)). Is n - -1 - (-16)/1 a prime number?
False
Let m be 2/(-3) + 186/9. Let n(o) = -4*o**2 - o + 7. Let b be n(6). Let d = m - b. Is d composite?
False
Let q be (-974)/(-8) + (-5)/(-20). Suppose 3*d - 211 - 175 = -b, d - b = q. Is d a prime number?
True
Suppose 6*s - 598 - 944 = 0. Is s a prime number?
True
Suppose -301 = -2*t - 6*v + 3*v, 0 = 2*v + 6. Is t a prime number?
False
Let l(s) = -84*s + 1. Let y = -6 + 5. Is l(y) prime?
False
Let z be (-4)/12 - 6/9. Is -1*-6*13 + z composite?
True
Suppose 3*x + x + 12 = 0. Let a = -3 - x. Suppose -5*l = 7*w - 2*w - 355, a = 2*l - 4*w - 118. Is l a prime number?
True
Let x = -56 - -22. Let z = x - -505. Is z a composite number?
True
Suppose 0 = -4*n + 13243 + 3361. Is n prime?
False
Let x = 625 - 444. Is x a composite number?
False
Let b(p) = 3*p - 1. Let w be b(7). Let u = 30 - w. Is u composite?
True
Let m be 15*((-12)/(-9) - 1). Suppose 5*u - m*o = 510, 122 = u - 3*o - 2*o. Is u a prime number?
True
Let g(l) = -451*l. Is g(-1) a prime number?
False
Let q be 12/66 - (-53)/11. Let k(n) = -q*n + 5*n + n**2 + 13 + 11*n. Is k(-10) a prime number?
True
Let k(m) = 4 - 1 + m - 3*m**2 + 6*m + 1 - m**3. Is k(-5) prime?
True
Let l = 2627 - 934. Is l prime?
True
Let x be ((-1)/(-2))/((-3)/(-12)). Suppose -2 = -x*v, -m - m - 299 = -3*v. Let p = -71 - m. Is p a prime number?
False
Let f(d) = 4*d - 4. Let u(c) = -c. Let j(z) = f(z) + 2*u(z). Is j(9) composite?
True
Let c(d) = -d**3 + 12*d**2 - 6*d - 17. Is c(10) a prime number?
False
Let h(b) = b**2 - 6*b - 32. Is h(13) a composite number?
False
Let q(r) = 2*r. Let x(z) = z - 1. Let i(w) = -2*q(w) + 3*x(w). Let h be i(-9). Is 2/h + 440/12 composite?
False
Let y(g) = g**3 + 5*g**2 + 4*g + 5. Let w be y(-5). Suppose 5*v = v - x + 21, 0 = 5*v - 5*x - 45. Is v/w + 37/5 a composite number?
False
Let d = -37 + 76. Is d composite?
True
Let j be (-7 - (-4 - -2))*-1. Suppose 2*s - x - 222 = -j*x, s - 115 = 2*x. Is s a prime number?
True
Let h(r) = r**3 - 2*r**2 - 11*r - 6. Is h(5) prime?
False
Is ((-6)/4)/(((-15)/606)/5) composite?
True
Suppose -2*z - 210 = -716. Is z a composite number?
True
Suppose 5*a + 490 = 5*m, 0*m - a + 102 = m. Let o = m - 13. Suppose 117 = 4*c - o. Is c a composite number?
True
Let r = -139 + 818. Is r a prime number?
False
Let q(z) = 14*z**2 + 9*z + 14. Is q(-5) prime?
False
Is 87 - -9 - 1*-1 a composite number?
False
Let r(f) = 11*f + 3. Let n be r(3). Let s = n -