 447 - 1978 = 0. Is w a prime number?
False
Let l = 1974 - 814. Is (-3)/(-9) + l/12 prime?
True
Suppose 0 = 4*d + 2*d - 222. Is d a composite number?
False
Let t(n) = 137*n - 2. Is t(3) composite?
False
Let u = 5 + -8. Let h be 2 - (-1 + 0/u). Let v = h - -1. Is v a prime number?
False
Suppose j + 4 = -5*r, -r + 0*r - 2*j = -1. Is (-14)/8*52*r a prime number?
False
Let k(b) be the second derivative of -8*b**3/3 - b**2/2 + 4*b. Let h = 0 - 1. Is k(h) prime?
False
Let v(n) be the first derivative of 13*n**2/2 + 1. Is v(7) composite?
True
Let l = 201 - 82. Is l a prime number?
False
Suppose 5*u - 13 = -3*r, 0 = -2*u + r + 3. Suppose 3*w - 53 = -2*p - 0*w, 0 = -u*w - 6. Is p composite?
False
Suppose -5*g + 4*f = -169, 3*g + 2*f = 8*g - 177. Is g a prime number?
True
Let m(o) = -108*o - 7. Is m(-3) a composite number?
False
Let q = -1181 + 1660. Is q prime?
True
Let p(v) be the second derivative of -v**5/20 - v**4/12 + 5*v**3/3 - 5*v**2/2 - 6*v. Is p(-9) composite?
True
Suppose -3954 = -4*x - 86. Is x composite?
False
Let u = -5 - -8. Let m = u - -4. Is m composite?
False
Let i(x) be the second derivative of 2/3*x**3 + 2*x + 1/20*x**5 - 1/4*x**4 + 0 + 1/2*x**2. Is i(3) a composite number?
False
Let d(h) = h**2 + 7*h - 4. Let w(m) = m + 1. Let y be w(-9). Is d(y) composite?
True
Let a(p) = -p**3 - 6*p**2 - p - 1. Let g be a(-6). Suppose g*m = -3 + 68. Is m a prime number?
True
Is (-26)/6*(-29 + -4) a composite number?
True
Let f be (-20)/6*1089/(-55). Suppose -s + 2*s = -47. Let t = f + s. Is t a prime number?
True
Let s(b) = b**3 + 9*b**2 - 4*b - 10. Let y be s(-9). Suppose 3*w + 2*j + 51 = 4*j, -12 = -4*j. Let x = w + y. Is x prime?
True
Suppose 2*j - 4*j + 14 = 0. Let k = j + -18. Let n(a) = -a**2 - 24*a - 14. Is n(k) a prime number?
False
Is (-1 - -2)/((-1)/(-163)) a composite number?
False
Let f(u) = -28*u - 11. Is f(-7) composite?
True
Let j(f) = -f**2 + 10*f - 11. Let y be j(8). Suppose y*z - 1102 = -107. Is z a prime number?
True
Suppose -o - o = 0. Suppose o*x = 2*x - 98. Is x prime?
False
Suppose 166 + 294 = 4*y - 3*a, 0 = y - 3*a - 115. Suppose 4*s + 93 = 4*u - 19, -3*s = -4*u + y. Is u a prime number?
True
Suppose x = 5*p + 158, -548 = -0*x - 4*x - p. Suppose -f - x = -3*f. Is f prime?
False
Suppose -l - 20 - 28 = 2*x, 3*x = 3*l - 54. Let m = 133 + x. Is m a prime number?
False
Let w(t) = -9*t**3 + t**2 - 1. Let d be w(-1). Let v = d - 7. Suppose 5*g - 142 = -4*a + 73, -v*a = g - 109. Is a a prime number?
False
Let o(g) = -11*g**3 + 2 - 3*g + 11 - 16 - 5*g**2. Is o(-4) composite?
True
Let s(q) = 2*q**2 + 2*q - 3. Is s(-5) prime?
True
Let v(s) = s**3 - 6*s**2 - 4*s + 4. Let q be v(6). Is 1 + (0 - -1) - q prime?
False
Suppose 3*s - 5 = -o + 5, 5*s + 2 = 3*o. Suppose 0 = 2*d - s. Is d*5*(3 + 0) a prime number?
False
Suppose 2*k + 2*f = 4, 5*k - 6*f - 26 = -3*f. Let w = -1 + k. Suppose n - 17 = r, -4*r - 83 = -2*n - w*n. Is n prime?
False
Let u = 1762 + -1145. Suppose -847 - u = 4*k. Is k/(-12) - 2/(-4) composite?
False
Let p = 22 + -16. Let h = 8 - p. Is ((-88)/(-12))/(h/6) a prime number?
False
Let j(u) = 11*u**2 + 5*u + 1. Let o = -5 + 1. Is j(o) a composite number?
False
Suppose -347 = -2*q + q. Is q composite?
False
Let g = 7 + -7. Let q(m) = m**2 + m + 127. Is q(g) composite?
False
Suppose -15 = -5*q + q + v, 2*q - 5*v = -15. Let o = -9 + q. Let n = o - -10. Is n prime?
False
Let r(p) = -p**3 + 12*p**2 - 12*p + 11. Let h be r(11). Suppose h*g = -3*g + 1011. Is g prime?
True
Let h(t) = t**3 + 14*t**2 + 12*t - 9. Let x be h(-13). Suppose -4*w + x = -2*w. Suppose -q + 89 = 5*r, w*q - 166 = -0*q - 4*r. Is q prime?
True
Suppose -10 = 5*c - p, -3*p + 19 = -4*c - 0*p. Is (4 - (0 - c)) + 518 a composite number?
False
Let u(b) = -b + 1. Let a(i) = i**2 - 10*i + 11. Let t(l) = a(l) - 4*u(l). Is t(7) prime?
False
Suppose -10 = 2*o - 46. Let m = o - -101. Is m a prime number?
False
Is -3*((-12785)/165 - 4/22) a prime number?
True
Suppose 0 = 5*p + 18 - 53. Suppose -2*a - 1585 = -p*a. Is a prime?
True
Suppose 0 = -2*b - 2, -5*q + 0*q + 4*b = -639. Is q a composite number?
False
Suppose 0 = -2*f - 2*f + 16. Suppose 200 = f*c - 84. Suppose 4 = 5*b - c. Is b a prime number?
False
Suppose -2*y = -3*y. Suppose 0 = -3*m - 2*t + 883, 311 = -y*m + m + 4*t. Suppose 4*h - h = m. Is h prime?
True
Is (-12668)/(-60) - (34/30 - 1) prime?
True
Let g(t) = -29*t**3 - 26*t**2 - t - 20. Let w(s) = -10*s**3 - 9*s**2 - 7. Let l(v) = -6*g(v) + 17*w(v). Is l(4) composite?
True
Let l be -3*807*(-9)/27. Suppose -u = -0*n - n - 783, u - l = -5*n. Is u prime?
True
Let s = 5644 - 3743. Is s prime?
True
Suppose -2*z = 2*z - 16. Suppose -z*b + 350 = -246. Is b a prime number?
True
Suppose 4*n + x = 6*n - 957, -3*n - 3*x + 1440 = 0. Is n a composite number?
False
Let h(p) be the first derivative of -5*p**2 - 15*p - 6. Is h(-7) a composite number?
True
Let o(f) = -f**3 + f + 127. Is o(0) a composite number?
False
Suppose 2*r + 0 - 4 = 0. Suppose -u = r*v - 8, -5 = v - 4*u - 0. Is v prime?
True
Suppose -5*l + 23 = -27. Suppose 5*q = -x - l, 3*q - 3 = -6. Let n = 12 + x. Is n prime?
True
Let c(w) = -31*w - 8. Let a be c(6). Let h = 481 + a. Is h composite?
True
Let m be (1 - 0)/(8/(-16)). Let t = 6 + m. Suppose 0 = -t*q + 2*q + 66. Is q a composite number?
True
Suppose -3*g = -72 - 231. Suppose -p + g = 3*h, -h = -2*h + p + 39. Is h composite?
True
Is 1 + (4 - 556)/(-2) a prime number?
True
Let f(k) = 3*k**3 + 2*k**2 - k - 2. Let l be f(-3). Suppose 0 = -2*m + 4*y - 28, -y + 16 = 5*m + 53. Is (l/(-8))/(m/(-32)) a prime number?
True
Let o = -745 + 1422. Is o a composite number?
False
Suppose -4*f + 1166 = -g, 4*f = f + g + 875. Is f prime?
False
Suppose -6*z = -z - 2050. Let g = -229 + z. Is g a prime number?
True
Is 97*3*(-1)/(-3) a composite number?
False
Let q(b) = 17*b - 11. Is q(10) composite?
True
Let a(q) = -14*q. Let n(v) = -14*v - 1. Let j(b) = -4*a(b) + 5*n(b). Is j(-6) a composite number?
False
Suppose 5*b = 34 - 9. Let n = -3 + b. Is n prime?
True
Let u = 128 + 21. Is u composite?
False
Let t be (-40)/(-18) + 4/(-18). Suppose -t*q + 4*q - 28 = 0. Is q a prime number?
False
Let x = 32 + 53. Is x a prime number?
False
Suppose -8 = b - y, -3*b - b + y - 20 = 0. Let q be 14*b/(24/(-111)). Suppose q = 5*k + 74. Is k composite?
False
Let g(i) = i**3 + 12*i**2 + 14*i + 7. Is g(-10) a composite number?
False
Let k = 248 - -539. Is k a composite number?
False
Let i(r) = 4*r**3 - 2*r + 1. Let o be i(1). Suppose -2 = 3*s + 4*f - 17, 5*f - 12 = -o*s. Suppose -s = -4*m + m. Is m a prime number?
True
Suppose -x - 3*x = 44. Let h = 22 + x. Is h composite?
False
Let h(m) = -18*m + 1. Let s be h(6). Is s/(-3) + 2/(-3) a prime number?
False
Let g = 6 + 0. Suppose 0 = 3*n - g*n + 237. Is n a composite number?
False
Let q(j) = 190*j**2 + 4*j - 3. Let p be q(4). Suppose v - f = 4*v + 1829, 0 = 5*v + 4*f + p. Let n = -418 - v. Is n a composite number?
False
Let l(z) = 17*z**2 - 6*z + 16. Is l(5) a composite number?
True
Let m(l) = 13*l**2 - 6*l - 4. Is m(-1) composite?
True
Let x = -18 - -57. Let s = x - 6. Is s a composite number?
True
Let k(p) = -p**2 - p + 3. Suppose 3*c - 4 = -4*q + 4*c, -5*c - 20 = 5*q. Let w be k(q). Suppose 2*o + 4 = 0, -w*f + 4*f - 2*o = 59. Is f a composite number?
True
Let y = -145 + 339. Suppose -2*z + 0*z = -y. Is z a prime number?
True
Suppose -69*b + 68*b = -2189. Is b composite?
True
Let v(t) = -t - 3. Let s be v(0). Let b(m) be the second derivative of -m**5/10 - m**4/12 + m**3/3 - m**2 + 4*m. Is b(s) a composite number?
False
Let z(v) = -2*v**3 + 8 - v**2 + v + 4*v**2 + 5*v + v**3. Is z(-5) composite?
True
Let g(b) = 0*b**2 - 45*b**3 - 9*b - 7 - 3*b**2 + 22*b + 4*b**2. Let o(a) = -22*a**3 + 6*a - 3. Let t(k) = 4*g(k) - 9*o(k). Is t(2) a prime number?
False
Is (2 - -1)*(-434)/(-6) a composite number?
True
Let k = 51 + -31. Let w be (-8)/36 - k/(-9). Is (-1 + 38)*(w - 1) prime?
True
Let a(m) = m + 9. Let p be a(-8). Suppose -4*z = -2*t - 26, 4*t = -4*z + 9 - p. Suppose 79 + 76 = z*j. Is j a prime number?
True
Let o = 14322 + -8467. Is o a composite number?
True
Let h(k) = -k**3 + 13*k**2 - 14*k + 5. Let n be h(10). Suppose -3*i + 5*q = -n, 110 = -0*i + 2*i - 2*q. Is i a composite number?
True
Suppose 3*n + 3*y = 27, -4*n + 2*n + 28 = -3*y. Is n prime?
True