2883 + 1440 = 11*q. Is q prime?
False
Let m(u) = 11*u**2 + u - 7. Let s = 16 + -19. Is m(s) composite?
False
Let u(z) = -z**3 + z**2 + 2*z - 1. Let f be u(-2). Is (82/(-8))/(f/(-56)) a prime number?
False
Suppose 3*n - 2*n - 106 = 0. Is n a composite number?
True
Suppose 2*u - 33 = 175. Let h be (-152)/(-56) - (-4)/14. Suppose h*g - u = 1. Is g composite?
True
Let w = -3 - -8. Suppose 2*k + w + 1 = 0. Is (-2)/k*(-5 + 44) prime?
False
Suppose -3*y + 3223 + 4592 = 0. Is y a prime number?
False
Suppose -4*k + 3*d + 22 = 0, 0 = -5*k - 3*d + d + 16. Suppose k*x - 966 = x. Suppose 186 = 4*m - x. Is m prime?
True
Let w = 9 + -5. Suppose -q = -4*s + 68 + 411, -w*s + 5*q = -491. Is s a composite number?
True
Suppose -284 = 5*d - 2634. Suppose -4*o = o - d. Is o prime?
False
Let p(x) = 12*x + 19. Let z(y) = 7*y + 20. Let o(h) = -4*h - 10. Let b(l) = 5*o(l) + 2*z(l). Let a(u) = 5*b(u) + 3*p(u). Is a(10) prime?
True
Suppose -15*s + 19*s = 19588. Is s composite?
True
Let w = 156 - 79. Is w a composite number?
True
Let s(i) = -2*i**2 - 3*i - 3. Let o be s(-2). Let v(l) = -8*l. Let u be v(-1). Let f = u + o. Is f prime?
True
Let v be -6 + (-2 - -3) + -2. Let u = v + 9. Is (-2)/(u/(-59))*1 prime?
True
Let v be (36/10)/(4/20). Suppose -f = f + v. Is (-447)/f + (-2)/3 composite?
True
Suppose -5*n = -2*k + 250, 3*n + 169 = 4*k - 303. Is k a prime number?
False
Is 0 + -5 + 4 + (-3568)/(-2) a prime number?
True
Let o(h) = h**3 + 7*h**2 + 6*h - 3. Let k be o(-5). Let b = k - 9. Suppose 0 = -2*v - 3*i + b, -3*v + i = 2*v - 54. Is v a composite number?
True
Let o = -195 - -281. Is (-3 - 1 - -3) + o a composite number?
True
Is ((-52)/(-12) + -4)*435 a prime number?
False
Let i(w) = -w**2 + 5*w + 3. Let t be i(5). Suppose n + t*n = 308. Is n prime?
False
Suppose -2*z = -87 - 11. Is z a prime number?
False
Is (-2392)/(-91) - 2/7 composite?
True
Suppose 0 = 19*b - 18*b - 217. Is b a prime number?
False
Let q(x) = x - 1. Let s be q(3). Let u be ((-1)/(-2))/(1/s). Is ((-159)/(u + 2))/(-1) a composite number?
False
Let t(p) = -7*p**2 - 1 + 3*p**2 - 2*p - 4*p**3 - 2*p. Is t(-3) a composite number?
False
Let g be 1*0*3/6. Suppose -q - 30 = -2*m - 0*q, g = 3*m - q - 45. Is m composite?
True
Suppose -3*k + 4 + 5 = -2*f, -2*k = 4*f - 6. Suppose 5*s - p - 34 = f, 3*s = 2*p - p + 22. Let o(v) = 5*v**2 - 9*v + 1. Is o(s) composite?
False
Suppose 0 = -5*a + 5*c + 1665, -305 = -5*a - 5*c + 1340. Is a composite?
False
Suppose 11*j = 6*j. Suppose 5*n + 765 = 5*d, -d - 3*n + 104 + 33 = j. Is d a prime number?
True
Suppose -4 = f - 2*f. Suppose 524 = -0*p + f*p. Is p a composite number?
False
Let n be (2/(-6))/(2/(-558)). Suppose -4*a + n = -a. Is a prime?
True
Let z = 10 + -13. Is (-957)/(-44)*(-20)/z prime?
False
Suppose 4*x = 2 - 10. Let q be (-13)/(-4) + x/8. Suppose -q*k + 30 = 2*k. Is k a composite number?
True
Suppose 0*b = -3*b + 327. Is b composite?
False
Let a(y) = -y**3 - 5*y**2 + 10*y - 2. Let l = -16 + 44. Suppose 2*b + 2*b + l = 0. Is a(b) prime?
False
Let z(j) = 21*j - 4. Is z(2) a composite number?
True
Suppose 406 + 54 = 4*m. Is m composite?
True
Suppose 2*r = 5*r - 222. Let b = 58 - 99. Let f = b + r. Is f a composite number?
True
Let d = 53 - 80. Let o = 46 + d. Is o a prime number?
True
Suppose -2 = 4*g - 6. Suppose g = -l + 8. Let s = 2 + l. Is s a composite number?
True
Let h = 392 - 1047. Let t = h + 942. Is t composite?
True
Let y = 2 - -3. Suppose -3*q + y*v + 635 = 2*q, 3*q = -v + 381. Is q prime?
True
Let s(o) = o**3 + 12*o**2 + 7*o - 16. Let m(a) = -a**2. Let r(h) = -3*m(h) - s(h). Let f = -18 - -7. Is r(f) a composite number?
True
Let n(g) = 11*g + 2. Let t be (-4)/(0 + 1 - 2). Is n(t) prime?
False
Suppose -5*k - 3*n + 2086 = 0, 4*n + 0*n - 840 = -2*k. Suppose 0 = -3*b - 1628 + k. Let v = -201 - b. Is v composite?
True
Suppose 0 = -4*x - 33 - 15. Suppose g + 155 = -4*g. Let n = x - g. Is n a prime number?
True
Let l(w) = w**2 + w + 521. Let q = -10 - -10. Is l(q) a composite number?
False
Suppose 22*o - 17*o = 3175. Is o a composite number?
True
Suppose 7*p = 14*p - 2597. Is p composite?
True
Suppose -7*p + 3232 + 6995 = 0. Is p a composite number?
True
Suppose 2 = -2*s - 2. Let u(a) = 28*a**2 + 7*a - 3. Let r(o) = -27*o**2 - 6*o + 2. Let m(z) = -4*r(z) - 3*u(z). Is m(s) composite?
True
Suppose 2*b + 0*b = 86. Suppose 28 = 3*y - 8. Let l = b - y. Is l a prime number?
True
Let h(u) = -22*u**3 + 4*u**2 + 4*u + 3. Let f be h(-2). Suppose 3*w - 446 - f = 0. Is w composite?
False
Let i = -11 + 17. Suppose -2*n = -0*n - i. Suppose 11 = -n*m + 50. Is m a composite number?
False
Suppose 3*b = -0*b + 4*s + 329, 5*b + 5*s - 560 = 0. Suppose 2*m + m - b = 0. Is m composite?
False
Suppose -2*y + 78 = -y. Let c = 755 - y. Is c a composite number?
False
Suppose -76 = 2*o - 318. Is o a composite number?
True
Let n be 3 - (-1 + 4 + -4). Suppose -s = 3*t - 585, s - 292 = n*t + 307. Is s composite?
True
Let j(w) be the second derivative of -w**4/12 - 7*w**3/6 - 3*w**2 + 3*w. Let r be j(-7). Is ((-105)/r)/((-3)/(-6)) composite?
True
Let y be ((-44)/55)/((-2)/(-5)). Let x(d) = -21*d**3 - 3*d**2 + 1. Is x(y) composite?
False
Let a = -5800 + 9911. Is a a composite number?
False
Suppose 12*o - 537 = 9*o. Let q = o + -96. Is q composite?
False
Let x = 242 - 115. Is x composite?
False
Suppose -78 = -5*m + 77. Is m a composite number?
False
Suppose 8*q - 3*q - 400 = 0. Let n = 145 - q. Is n a prime number?
False
Is (25 + -22)/(-1 + (-640)/(-634)) prime?
True
Suppose -b = 2*b - 30. Is 15/b*318/9 a prime number?
True
Let b(u) be the second derivative of -5*u**3/6 + 3*u**2 - 3*u. Let f be b(-7). Suppose f = 4*n - 51. Is n a prime number?
True
Is -6 + 7 - 13*-1 a composite number?
True
Suppose 187 = 2*n - 1335. Is n composite?
False
Is 25*(-2 + 65/25) a composite number?
True
Let w = 31 + 48. Is w composite?
False
Let r = 2161 + -360. Is r composite?
False
Let z(o) = o**3 + 3*o**2 + o + 1. Let t be z(-3). Let n(h) = 16*h**2 + h - 1. Let s be n(t). Let i = s - -100. Is i a prime number?
False
Suppose 0*z = -4*z - 24. Is (1 + -164)*6/z a composite number?
False
Let y(o) be the third derivative of 23*o**5/30 + o**4/24 + o**3/3 - o**2. Is y(-1) a prime number?
True
Let o be -318*((-30)/(-9))/(-2). Let g = o - 273. Is g a prime number?
True
Let b = 2 - -3. Suppose 3*f + r - 241 = 0, b*r - 16 = r. Suppose -f = u - 2*u. Is u prime?
True
Let q be (1 + -2)/(-1) - -2. Suppose -5*z - 4*n + 13 = -0*n, -q*z - 4*n = -11. Suppose -j = -z - 6. Is j a prime number?
True
Let v = -3 + 5. Suppose 0 = -0*b - v*b + 12. Let g(t) = 2*t + 7. Is g(b) prime?
True
Let k(c) = c + 33. Let b(w) = -w - 10. Let f be b(-7). Let q = 3 + f. Is k(q) a composite number?
True
Suppose 1924 = w + 4*w - 4*a, -2*w - 4*a + 792 = 0. Suppose 5*d - w = d. Is d a prime number?
True
Let s = -129 + 422. Is s composite?
False
Suppose 2*n - 5*a = 514, 3*n = 2*n - a + 271. Suppose 0 = -j - 5*s + n, 4*j - s - 1022 = 2*s. Is j composite?
False
Is (-3 + 2 + 4)*31 a composite number?
True
Suppose 18*o - 11*o = 7. Let i be (-44)/3*(-3)/2. Let x = o + i. Is x a composite number?
False
Let o(l) = l**3 + 14*l**2 + l + 7. Let b be o(-6). Let f = -200 + b. Is f a composite number?
False
Let r be (-2)/(2*(-2)/4). Suppose 5*b = 2*c - 6 + 14, 8 = 4*b - r*c. Suppose 5*l + 23 = w - b*w, w - 4*l = 25. Is w composite?
True
Let m = 13 + -10. Is 379/m + (-12)/(-18) a prime number?
True
Let z = 744 - 271. Is z prime?
False
Suppose -15310 = -4*q - 5*p, -4*p = -3*q - 3465 + 14963. Is q/8 - 5/(-20) prime?
True
Suppose 3*q - 18 = -5*x - 2, q = x. Let o(c) be the second derivative of 6*c**4 + c**3/3 + c**2/2 + 2*c. Is o(q) a composite number?
False
Suppose -2*v = 5*r - 30, -2*r + 19 = -r + 3*v. Suppose -14 - r = -3*n. Is 118/n - (-2)/(-3) a composite number?
False
Let j = 48 + 43. Is j a composite number?
True
Let r(d) = d**2 - d + 1. Let v be r(2). Let j(q) = -2 + 0 + q**2 - 6*q - v. Is j(10) a composite number?
True
Let v = -3 + 6. Suppose 0 = 3*m + m - h - 384, 0 = 4*m - v*h - 376. Is m a prime number?
True
Suppose 3*d + 0*m + 3*m = 5772, -m = -4*d + 7681. Is d a composite number?
True
Let u(r) = -5 + 88*r - 2 + 3 + 3. Is u(1) prime?
False
Suppose -4*r - 28 = -5*f - 12, -2*r = 8. Suppose -3*w - 3*a + 51 = f, -3*w = -8*w + 5*a + 55. Is w composite?
True
Let 