12*m. Is m a prime number?
False
Let b = 96 + 115. Is b composite?
False
Is (2930 - (3 - 0))*(1 + 0) a composite number?
False
Suppose -2*m + m - 3 = 0, f + m - 2 = 0. Suppose -5*u - z + 41 = 0, 57 = f*u - 6*z + 3*z. Suppose 0 = c - q - u, -5*c - q + 31 + 2 = 0. Is c composite?
False
Suppose -m + 95 = -378. Let w = -180 + m. Is w a composite number?
False
Let z(w) = 3*w**2 - 3*w + 1. Let a be z(4). Is (-1*4)/(-4) + a composite?
True
Suppose 3*j = 3*z + 237, 2*z - 104 = -5*j + 291. Is j prime?
True
Let f(m) = -m**3 + 22*m**2 - 32*m + 41. Is f(20) a composite number?
True
Suppose -4*g - 2 = s, g = s - 2*g + 23. Let u = 2 - 47. Let a = s - u. Is a a composite number?
False
Suppose 0 = 3*d - 4*d. Suppose -4*n - 2*z = -8*n + 6, d = -3*n - 5*z - 15. Suppose -2*i + 174 = -n*i. Is i composite?
True
Let d = -9 + 14. Suppose 5*j + 22 = 4*t + 7, -3*t + 10 = -d*j. Suppose -3*w = -v - 69, t*w + 4*v - 48 - 50 = 0. Is w composite?
True
Suppose 0 = -5*v - 2*l + 21, -3*l = v - 9 - 3. Let i = 3 - v. Suppose -a + 122 + 41 = i. Is a prime?
True
Let a(o) = 4*o**2 + 21*o - 29. Is a(14) a prime number?
True
Let y(u) be the second derivative of u**3/3 - 4*u**2 - u. Is y(6) a composite number?
True
Suppose 433 = -n + 1584. Is n a prime number?
True
Let n(t) be the third derivative of -5*t**4/8 + t**3/6 - 11*t**2. Suppose 3*i + 10 = -2*i. Is n(i) prime?
True
Let p(w) = 18*w**2 + 1. Is p(-1) a composite number?
False
Suppose -3*d = -3*o - d - 44, 3*o = 4*d - 40. Let z = 2 - -63. Let p = o + z. Is p composite?
True
Suppose 0*a - a = -u + 3, -3*a - u = -11. Suppose -a*t = t - 222. Is t a composite number?
True
Let b(s) = 50*s. Let z be ((-2)/(-6))/(2/6). Let t be b(z). Is (-1)/(98/t + -2) composite?
True
Let q be (23 + -2)*32/12. Suppose 0 = -5*n + 74 + q. Let h = n - 15. Is h a prime number?
True
Let i be 2120/18 - 2/(-9). Suppose r - i = -r. Is r composite?
False
Let z(l) = -3 - l - 2*l - 1. Let m(q) = q**3 - 8*q**2 + 7*q - 5. Let p be m(7). Is z(p) composite?
False
Let y(i) = -2*i**2 - 5*i - 4. Let t be y(-6). Is ((-3)/(-6))/(-1)*t prime?
True
Let v(m) = -16*m - 1. Is v(-9) prime?
False
Let r(t) = 24*t + 1. Let p be r(1). Let w = p - 14. Is w a composite number?
False
Let m = 446 + -167. Suppose 62 + 508 = -3*j. Let x = j + m. Is x a prime number?
True
Let w be (-2)/(-4)*(3 - -1). Suppose -4*n + 210 = -w*n. Let l = n - 52. Is l composite?
False
Suppose -2*g - 2*g + 20 = 0. Let i(l) = 180*l + 7. Is i(g) a prime number?
True
Let q = 236 + -117. Is q prime?
False
Suppose 2*d = 68 + 56. Is d composite?
True
Let w(a) = -a**3 - 15*a**2 - 5*a - 4. Is w(-17) a composite number?
False
Is (1227 - 1)/(-2 + 3 - -1) composite?
False
Suppose -t = 4*t - 1085. Let o(a) = -a**2 + 5*a + 3. Let u be o(5). Suppose 105 = 3*m - u*x, 5*m = x - 34 + t. Is m a prime number?
True
Is (77934/(-22))/(-3) + 6/33 a composite number?
False
Let t(f) = f**2 - 19*f + 17. Let n(a) = a**2 - 20*a + 18. Let j(c) = 4*n(c) - 5*t(c). Is j(12) prime?
True
Let f(p) = 2*p**2 + p. Let o be f(-5). Suppose -w + 49 = -o. Is w a prime number?
False
Suppose -u + 2*u = 40. Suppose 0 = 4*d + u - 4. Let t = d - -16. Is t a prime number?
True
Is (-2)/(-6) - (-1326)/18 composite?
True
Let n(k) = -k**3 - 7*k**2 + 8*k. Let f(c) = -c**3 - 6*c**2 + 2*c + 4. Let q be f(-6). Let t be n(q). Suppose t = d + 4*d - 445. Is d composite?
False
Suppose -s - 155 = -2*s. Let r = 380 + s. Is r a composite number?
True
Let r(y) = -3*y - 3. Let m = 0 + -2. Let i be r(m). Suppose 0 = -k - w + 16, 3*w + 0*w = i. Is k a composite number?
True
Suppose -3*g + g = -876. Suppose 0*w - 2*m - g = -2*w, -3*w = m - 673. Is w composite?
False
Let i(l) = l**3 - l**2 + l + 5. Let g be i(4). Suppose -4*w + 35 = -o - 86, 2*w + 3*o - g = 0. Suppose 3*p - 6*p = -w. Is p a prime number?
False
Suppose -12*s = -0*s - 252. Is s composite?
True
Let q be -1*(-1 + -3) - 5. Let m(d) be the second derivative of -3*d**3 + d**2/2 - d. Is m(q) prime?
True
Let p(k) be the third derivative of -11*k**4/12 - k**3/6 + 4*k**2. Is p(-1) prime?
False
Let b(u) = -5*u**3 + 8*u**2 - 4*u + 2. Let q(m) = 4*m**3 - 8*m**2 + 5*m - 1. Let x(s) = 3*b(s) + 4*q(s). Is x(7) prime?
False
Let n(u) = 11*u + 4. Suppose -i - 5*p = -5, -i + 4*p = p - 13. Let o be (0 - 1)/((-2)/i). Is n(o) composite?
False
Let y = -305 - -678. Is y a prime number?
True
Suppose -g - 4*g = 0. Let d be g - (-2*2 - -2). Suppose d*x - 10 = n, 0*x + x + 1 = 2*n. Is x prime?
True
Suppose -11*b = -3*b - 752. Is b a composite number?
True
Is 2614/22 + (-16)/(-88) a prime number?
False
Let c = 1190 - 471. Is c prime?
True
Suppose 0*v - 28 = 2*v. Is (-4)/14 + (-270)/v composite?
False
Suppose -3 = g - 13. Let q(r) = g*r + 6 - 5 + 1. Is q(2) a prime number?
False
Let t be ((-4)/6)/((-12)/4194). Suppose 30 = -g + t. Is g prime?
False
Let b be (1/3)/(5/90). Let l(m) = -m**2 - 4*m + 7. Let n(j) = -6*j**2 - 21*j + 34. Let w(u) = 11*l(u) - 2*n(u). Is w(b) a composite number?
True
Let u = 203 - 145. Is u prime?
False
Is -281*(0 + 12/(-4)) composite?
True
Let y(p) = p**3 - 6*p**2 - 4*p - 4. Let o(a) = 6*a**2 + 3*a + 3. Let k(m) = -3*o(m) - 2*y(m). Is k(-4) a prime number?
False
Is -2*((-4)/1 - -3) - -263 prime?
False
Is 309/6*(-1 + 3) composite?
False
Let i(k) = 6*k**3 - 4*k**2 - k - 3. Let c(m) = -m**3 - m + 1. Let n(h) = -5*c(h) - i(h). Let y be (5/2)/((-2)/(-4)). Is n(y) a composite number?
False
Suppose 3*u = 2*h + 19, -7 = -4*h - 5*u + 2*u. Is 106/(-8)*2*h a prime number?
True
Let n = 91 - 65. Suppose 5*q = t - 2*t + n, 3*q = t + 22. Is q prime?
False
Suppose 5*z - 4*z = 129. Is z a composite number?
True
Let r(k) = 36*k**2 - 1. Suppose -2*t = 4*u + 2, 2*u = -2*u - t - 5. Is r(u) a composite number?
True
Suppose 4*n - 3*j = 17 - 0, -5*n + 24 = -j. Suppose 4*p = n*f + 3*p - 328, 4*f = 3*p + 269. Is f a composite number?
True
Let i(u) = 2*u**3 + 2*u**2 + 0 - 1 - u - 4*u**3. Is i(-4) a prime number?
True
Suppose -u - 12 = -8*d + 4*d, -6 = -2*d + u. Let m(t) = 9 - d*t + 5 + 2*t. Is m(10) composite?
True
Let w = -6 + 8. Suppose 2*f - 33 = -5*j, w*f = 5*j - 11 - 6. Suppose f*v = -4*d + d + 221, 2*d + 10 = 0. Is v prime?
True
Let k = -4 - -7. Suppose 349 - 115 = k*l. Suppose 0 = 4*q - 4*a + 11 - 163, -2*q = -4*a - l. Is q composite?
False
Let i(n) = n**3 + 5*n**2 + 4*n + 2. Let k be i(-3). Let r = k - 2. Is r composite?
True
Let s be -10 - -8 - (-4 - 0). Suppose d + 3*g + 39 = 263, s*g = -2*d + 444. Is d composite?
True
Let p be 1/4 + (-57)/(-12). Suppose -9 - 6 = -p*x. Let o = x - 0. Is o a composite number?
False
Let b(u) = 205*u. Let z be b(-1). Let y = -120 - z. Suppose 3*f + 22 - y = 0. Is f composite?
True
Suppose a + 0*a = -5, 5*a = -p - 22. Suppose 2 = p*z - 16. Is z a prime number?
False
Is 1749*2 - (-13 + 14) a composite number?
True
Let h = 819 + -248. Is h a composite number?
False
Suppose t + 1875 = 4*t. Let g = t + -332. Is g a composite number?
False
Suppose -6*i - 471 = -9*i. Is i a prime number?
True
Let z(t) = 12*t**2 + 33*t - 10. Is z(-13) a composite number?
True
Let c be (-55)/(-2)*(-4)/(-5). Suppose 9 = s - c. Is s prime?
True
Is (5 + 0)/((-3)/(-321)) prime?
False
Let y be 9/(2/(-3) - -1). Suppose -14 - 70 = -3*f. Suppose -y = -x + f. Is x composite?
True
Let m = 973 - 548. Suppose 0 = -5*o - 0*o + m. Is o composite?
True
Let k(q) = 2*q**3 - 3*q**2 - q + 2. Let g be k(2). Suppose -g*x + x + 201 = 0. Is x prime?
True
Suppose -5*k + 0*k = -4250. Is (-4)/18 + k/18 a composite number?
False
Let t(m) = -3*m**3 - 4*m**2 + 4. Is t(-3) a composite number?
True
Let d = 2769 + -1114. Is d a composite number?
True
Let r(d) = -3*d**3 - d**2 - 2*d + 1. Is r(-4) composite?
True
Let x(c) = c**3 - 3*c**2 + c + 2. Suppose 2*b = 10 - 2. Is x(b) a prime number?
False
Let w(z) be the third derivative of z**5/60 - z**4/8 + z**3/3 + z**2. Let h be w(2). Suppose -2*k + 3*k - 19 = h. Is k a prime number?
True
Suppose 1 = 3*c + 16, 3*u + c - 2626 = 0. Is u a prime number?
True
Let n(p) = 27*p**3 - 1. Let d = -1 + 6. Let u = d - 4. Is n(u) a composite number?
True
Let c(m) = -m**3 - 6*m**2 - 6*m - 32. Is c(-7) a prime number?
True
Suppose 2*w - 614 = 5*i - 3*i, 3*i = -3*w + 939. Let p = 99 + w. Is p prime?
True
Suppose 10 = 5*p, 2*p + 1774 = 2*y - 0*p. Is y a composite number?
True
Let r be (6 + 6)/(3/(-56)). Let c = r + 967. Is c com