 y = s + m. Is y prime?
True
Let t(w) = 122*w**2 + 2*w + 1. Is t(-2) a composite number?
True
Suppose 3*m - 100 = -4*s, -s + 4*m - 3*m = -18. Is s a prime number?
False
Let f = 25 - 36. Let b = 28 - 10. Let y = f + b. Is y a prime number?
True
Suppose -3*k = k - 188. Suppose 5*i - d - 16 = -0*i, -3*i + 4 = -2*d. Suppose -n - 3*n + 212 = -i*w, n = 4*w + k. Is n composite?
True
Let o(v) be the first derivative of -10*v**2 + 2*v - 1. Is o(-3) composite?
True
Let v(y) be the third derivative of 19*y**5/30 - y**4/24 - y**3/6 - 4*y**2. Is v(2) a prime number?
True
Let o = 55 + 5. Let c be (4/(-8))/((-1)/o). Let s = c + -17. Is s a prime number?
True
Let n(p) = 16*p**2 - 4*p + 27. Is n(12) a composite number?
True
Let o(f) = 3*f**3 + 8*f**2 + 6*f - 19. Is o(6) prime?
True
Suppose 816 + 546 = 2*d. Is d prime?
False
Is 93021/33 - 1/((-22)/4) a composite number?
False
Let r(s) = s**2 + 2*s - 3. Let d be r(-3). Let a(k) = -k**3 - k**2 + k + 53. Is a(d) a composite number?
False
Let p(o) = 2*o**2 + 2*o + 4. Let l be p(6). Suppose -l = 4*c - 8*c. Is c prime?
False
Let d be (-6)/(-4)*8/(-6). Let l be (-3)/3*d*2. Suppose 132 = l*b - 0*b. Is b prime?
False
Let k = -355 - -834. Is k a composite number?
False
Let s(b) = -19*b - 1. Let p be s(-7). Suppose -2*n + 5*x = n - p, 4*n + 3*x = 205. Is n a prime number?
False
Let a = 35874 + -25075. Is a composite?
False
Let u(p) = p**2 + 11*p + 1. Let r be u(-13). Suppose v + r = 112. Is v a composite number?
True
Let q = -47 + 51. Let w be 0 + -1 + -1 + 4. Suppose -w*p - 23 = 4*d - 61, 0 = -q*p + 5*d + 115. Is p a composite number?
True
Suppose 9 = 3*q - 30. Suppose -o - q = -2*f + 4*o, o + 17 = 4*f. Is 45/f + (-1)/4 prime?
True
Let o(k) = 6*k + 53. Is o(15) composite?
True
Let v(u) = -4*u + 5 + 2 - 5 - 9*u. Let o be v(-4). Let r = 8 + o. Is r prime?
False
Suppose w = 4*w - 3. Suppose 4*z - 5*z = -w. Let t(o) = 53*o**3 - o**2 + o. Is t(z) composite?
False
Let y = 1 + 1. Suppose -2 = y*a + 6. Is (-77)/a - (-1)/(-4) a prime number?
True
Let t(h) = 19*h**3 - h**2 - 4*h + 3. Let m be 17/7 + 6/(-14). Is t(m) composite?
True
Suppose -3*a - 5*m = -a - 15, 0 = 4*a + 5*m - 55. Suppose 6*i = i + a. Is i prime?
False
Suppose -3*m + 0*m - 9 = 0. Is m - (-3 - 135 - -2) composite?
True
Let l = 4 + -8. Let q = l + 4. Suppose 0 = -q*s + 3*s - 165. Is s prime?
False
Let q be (-1088)/(-14) + (-2)/(-7). Let g(a) = -8*a + 13. Let d be g(7). Let p = q + d. Is p prime?
False
Let g = -8 + 9. Let r be 1/2*(g - 15). Let h = 72 - r. Is h a prime number?
True
Let h(v) = -v**2 + 8*v - 4. Suppose 0*a = 4*a - 20. Is h(a) prime?
True
Suppose -3*h + 478 + 2432 = 0. Suppose 4*j - h = -j. Is j prime?
False
Let o = 9 - 7. Suppose 5*g + 4*y - 379 = 0, -3*g + o*g = y - 75. Is g a composite number?
False
Let k = 3 - 1. Let m be 325/k - (-6)/(-12). Let q = m - 43. Is q a composite number?
True
Let g(l) = l**3 + 6*l**2 - l - 1. Let q be g(-6). Suppose 0 = q*s - 6 - 289. Is s a prime number?
True
Suppose 12 = 4*l - 3*j, 0*j = 5*l - 4*j - 16. Suppose l = 3*v - v - 194. Is v a composite number?
False
Let r = -336 - -1147. Suppose -3*u = -2*v - 509, -3*v - 2*u - r = 3*u. Is 2 + 1/((-2)/v) composite?
True
Suppose 2*s - g = 5*s + 5, 25 = -5*g. Let l = s - -9. Suppose n + l = -5*r, 3*n - 4*n + 3*r + 15 = 0. Is n a composite number?
True
Let f(k) = -k**2 - 2*k + 4. Let p be f(-4). Is 11*64 + p - -1 prime?
True
Let o be 8/(-36) + (-897)/(-27). Suppose -2*r = -a + o, 4*a - 4*r - 48 - 88 = 0. Is a prime?
False
Suppose 0 = -4*r + 55 + 141. Is r a composite number?
True
Let l(x) = -x**2 - x + 1. Let q(b) = 5*b**2 + 15*b - 8. Let z(k) = 6*l(k) + q(k). Is z(8) a prime number?
False
Suppose 0 = 3*d - 6 - 0. Let a be 988/(-11) - d/11. Let v = a - -167. Is v prime?
False
Let x be 6/(-4)*(-56)/21. Suppose -4 = x*s - 12. Suppose 0 = 2*u - s*y - 2*y - 20, 5*y = 4*u - 28. Is u a prime number?
True
Let c = 1 - 4. Let o be (-1)/4 - (-159)/12. Let k = c + o. Is k a prime number?
False
Suppose -3*v = -4*z + 1089, 520 = 3*z - 4*v - 295. Suppose -3*i - 30 = t - 112, 4*t - z = -i. Is t a prime number?
True
Let a be (-1 + -2)*(-5)/(-3). Let g be (-5 - 0)*39/a. Suppose 5*p - g = 4*h - 5*h, -p - h + 11 = 0. Is p prime?
True
Let h = 112 + 45. Is h composite?
False
Let i = -4 + 8. Suppose -4*u + 2*u + 48 = -i*f, -f - 22 = -u. Suppose -6 = -2*n + u. Is n prime?
True
Let z(m) = -5*m**3 - 4*m**2 - m + 3. Is z(-4) a composite number?
False
Let w = 5 + -7. Let a be -1 - 1 - (-3 + w). Let z(f) = f**3 - f**2 + 1. Is z(a) a prime number?
True
Suppose -3*q + 9 = 0, 5*n = -q - 2*q + 604. Let k = n - -38. Is k a prime number?
True
Let c(o) = -9*o**2 - 7*o + 3. Let q(d) = -4*d**2 - 3*d + 2. Let f(b) = 2*c(b) - 5*q(b). Let t be f(4). Suppose 0 = 4*s - 60 - t. Is s a composite number?
False
Let b = -42 - -73. Is b a prime number?
True
Suppose 3*n - 19 = -7. Suppose 5*s = n*s - 2*y + 581, -3*s = -2*y - 1751. Is s prime?
False
Let s = 41 - 307. Let f = 435 + s. Is f a prime number?
False
Let a be -1 - 19*(-2 + 1). Let g = a - -86. Suppose 2*r - g = -36. Is r a composite number?
True
Let p be (-16)/24 - 2/(-3). Suppose -2*d - 153 = -3*r, p*d - 199 = -4*r + d. Is r a composite number?
True
Let r = -22 + 16. Let g = 11 + r. Suppose 0 = -0*s + g*s - 115. Is s composite?
False
Suppose 1171 = -11*z + 12*z. Is z a prime number?
True
Let i(r) be the second derivative of r**5/20 + r**4/12 - r**3/6 + 11*r**2/2 - 7*r. Is i(0) composite?
False
Suppose 3*v = -530 - 1504. Is (6/9)/((-4)/v) prime?
True
Suppose -h - 70 = -519. Is h prime?
True
Suppose -p = -0*p + 2*n - 219, -4*p + 898 = -3*n. Suppose p - 48 = 5*s. Is s a prime number?
False
Is (2/(-9))/1 + (-1714)/(-18) a composite number?
True
Let y(l) = 6*l**3 + 2*l**2 - l - 1. Is y(2) composite?
False
Let u = 9 + -6. Let y = 8 - u. Suppose y*c + 3*w = 38, w = -2*c - 0*w + 15. Is c a composite number?
False
Let s(f) = -f - 2. Let p be s(-5). Suppose 0 = -p*h - 3*i + 192, -88 = -3*h - i + 110. Is h a composite number?
False
Suppose -9*l = -0*l - 8001. Is l a composite number?
True
Let i(p) = p**2 + 5*p - 4. Let w be i(-6). Suppose -5*q - 6*h = -h - 10, -w*h = -q - 7. Is 2*q*(-690)/12 prime?
False
Suppose 5*l + 0*l = -2*u + 121, -3*l + 66 = -u. Is l a composite number?
False
Let s = -4 + 8. Suppose -35 + 251 = -s*b. Is b/(-4) + 3/6 a composite number?
True
Let f(b) = -107*b + 1. Let j be f(-4). Suppose j = 5*z + 9. Suppose 3*k + 3*m - z = -0*m, -164 = -5*k + 3*m. Is k a composite number?
False
Let t = 822 + -568. Is t a composite number?
True
Let c(l) = -35*l + 2. Let u be c(3). Let g = -50 - u. Is g a prime number?
True
Let j(c) = -10*c + 46. Is j(-18) a prime number?
False
Suppose 2*z = -3*q + 29, 4*q - 7 = -19. Is z prime?
True
Let j(p) = 13*p**2 + 1. Let u be 0/1*(5 + -4). Let g(k) = -k + 2. Let b be g(u). Is j(b) composite?
False
Is -1 + 2 + (132 - 6/3) a prime number?
True
Suppose -208 = g - 2*g. Suppose -g = -q + 5*p, 0*q + 437 = 2*q - 3*p. Is q a prime number?
True
Let d be (-200)/(-28) - (-2)/(-14). Suppose 436 = d*g - 3*g. Is g prime?
True
Suppose 0 = b + y + 3*y - 43, -2 = y. Let j = 89 - b. Is j composite?
True
Suppose 3*u - 674 = -4*q, -4*q - 336 = -6*q - 2*u. Let o = -111 + q. Is o composite?
False
Let i be 342/2 + (-3)/(-3). Let u = i + -81. Is u a prime number?
False
Let c(u) be the third derivative of u**4/24 - u**3/6 - 3*u**2. Let v be c(6). Suppose 7 + 19 = d - v*m, -d = -4*m - 31. Is d a composite number?
True
Let m = 3 - -7. Is (-1)/2*6 + m a prime number?
True
Let k(x) = -2*x**2 - x + 109. Is k(0) composite?
False
Suppose -3*q - q = 996. Let b be (-2)/(6/q) - 2. Suppose 0 = p - 2*a - b, 0*p - 5*a = 5*p - 450. Is p composite?
True
Let p(z) = z**2 - z + 43. Is p(0) prime?
True
Let t be (-1 + 88)*(2 + -1). Let j = t + -161. Is 6/12 + j/(-4) a composite number?
False
Let z(i) = i**2 + 3*i - 4. Let c be z(-5). Let m be (3 + c/(-3))*-5. Is (-1158)/(-8) + m/(-20) prime?
False
Suppose -o - 3*o = -4. Suppose -v + 3*l - 1 = 7, 4*l - 16 = -4*v. Is 45 + 2 + (o - v) prime?
True
Let u(m) = -2*m - 4. Let r be u(-7). Let a = -20 + r. Let f(j) = -3*j - 7. Is f(a) a prime number?
True
Let n be 54/24*16/3. Is 256/3 + (-4)/n a prime number?
False
Suppose 3*y = -5*a + 25, 5*y - 21 = 4. Let g(l) = -4 + 9 + 59*l - 6 - 2. Is g(a) prime?
False
Let b = -6 - -8. Suppose b