0) a composite number?
False
Suppose 0 = -10*o + 5*o + 2*h + 815, -2*o + 2*h = -332. Is o a prime number?
False
Is (-1141)/(-9) - 24/(-108) a prime number?
True
Let g = 6 + -6. Suppose -2*n + g*y + 10 = -2*y, 0 = -4*y - 12. Suppose -2*q = -2*u - 4, -n = -q + 2*u - 4*u. Is q composite?
False
Let q(o) = -17*o - 4. Let h = -6 + 8. Let w = h + -5. Is q(w) composite?
False
Let v = 183 + -88. Is v composite?
True
Let j(l) = -2*l**3 - 5*l**2 + 7*l - 2. Let c be j(-5). Let u = 153 - c. Is u prime?
False
Let x = -198 - -307. Is x prime?
True
Suppose l = 4, -l + 538 = 5*v + l. Suppose -3*i = -293 - v. Suppose i = 2*x - 5. Is x prime?
False
Suppose 0*m + 4*b = 3*m - 11, -5*m + 24 = -b. Suppose -4*k - 2*u + 244 = -1060, u + 1630 = m*k. Is k prime?
False
Let p be 3/(-4) + (-33)/(-12). Suppose -p = -3*s + 4. Is (s - 1) + -2 - -146 a prime number?
False
Let b be (-1 - (-1)/1) + -8. Let o = b - -61. Is o composite?
False
Let a = -9 + -29. Is (a/(-4))/((-2)/(-12)) a composite number?
True
Let a(u) = 34*u + 21. Let k be a(7). Let m be 77 + 2/2 + 2. Let q = k - m. Is q prime?
True
Suppose a + 4*a = -635. Let c = a - -82. Let x = 64 + c. Is x a prime number?
True
Suppose -638 = -u + 986. Suppose 0 = -5*h - r + u - 35, 626 = 2*h - 2*r. Is h prime?
True
Is (-12)/3 - (-791 + -2) a composite number?
True
Suppose -28 = -3*l - 13. Let g(c) = 6*c - 4. Is g(l) a composite number?
True
Suppose 0 = n - 2*p - 4, n - 15 = -p + 1. Let s(f) = -f + 23. Let m be s(n). Let w = 26 + m. Is w prime?
True
Let d = -33 + -226. Let u = d + 150. Let v = u - -191. Is v a composite number?
True
Let j(d) = -d**2 + 5*d + 7. Let c be j(5). Let t = -20 - c. Let k = t - -94. Is k a prime number?
True
Let m(c) = -4*c**2 - 4*c**2 - 4*c + 11 - c**3 + 4*c**2 - 1. Is m(-7) composite?
True
Suppose 2 = 3*u + 41. Let f(s) = s**3 + 13*s**2 + s + 18. Let w be f(u). Let v = 12 - w. Is v a composite number?
False
Suppose 0 = 3*t - 2*t + 1. Let l be (-3)/(2*t/2). Suppose -l*b - 92 = -7*b. Is b a prime number?
True
Let i(p) = p**3 + 39. Let g be i(0). Let m = g + 20. Is m prime?
True
Let r = -7 + 9. Suppose -r*s - 34 + 480 = 0. Is s prime?
True
Is 258 - 1 - 0/10 a composite number?
False
Let q(u) = u**2 + 4*u**2 + u**2 + 3*u - 5*u**2. Let b = -2 - 2. Is q(b) prime?
False
Let l = -70 + 188. Is l a prime number?
False
Let y(m) = -m - 3. Let j be y(-7). Suppose -j*t + 244 = 4*l, -1 = 3*t - l - 168. Is t a composite number?
True
Let o(q) = 2*q**2 - 5*q - 17. Is o(16) prime?
False
Let z = 99 + -2. Is z composite?
False
Suppose -3*v - v + 12 = 0. Suppose 0 = 5*l + 5, 65 = -d + v*d + l. Is d prime?
False
Let q be 2/(-2) - (-8)/2. Let a = 0 - 0. Suppose a = -q*r + 7*r - 532. Is r a prime number?
False
Suppose 0 = 5*b + 669 - 2564. Is b a prime number?
True
Let b be 5 + 2 - (-2 - -4). Suppose m - b*y = 5 - 22, 3*m + y - 13 = 0. Is m prime?
True
Let m be (-54)/(-12) - 2/(-4). Suppose -5*h - m = -110. Is h prime?
False
Suppose 927 = q + g, -3*g = -5*q + g + 4662. Let l = -601 + q. Is l a prime number?
False
Suppose -5*n + 4*i + 2249 = 0, -n + 451 = -4*i + 2*i. Is n prime?
True
Suppose -4*l + 31 = -2*n + 7, 3*n + 21 = 3*l. Let o be n/(-5) - (-123)/5. Is (-2026)/(-10) + 10/o a prime number?
False
Let y(d) = 3*d + 1. Let u be y(-2). Is (0 - -1)*(26 + u) a prime number?
False
Suppose 0 = -5*r + 4*b + 1649, r - 2*b + 10 - 335 = 0. Let c = r - 122. Is c prime?
True
Let p(w) = w**3 + 6*w**2 - 8*w + 9. Let n be p(-7). Suppose -4*u = -y + 30 + n, -y = -u - 46. Let x = 113 - y. Is x prime?
True
Is (0 - (-537)/(-6))/(2/(-8)) a prime number?
False
Let g(i) = -26*i + 4. Is g(-5) a composite number?
True
Let b = 133 + 118. Is b a composite number?
False
Let n(j) = -2*j - 1. Let h be n(-2). Let u(m) = -m + 1. Let x(g) = -10*g + 7. Let o(z) = 18*u(z) - 2*x(z). Is o(h) a composite number?
True
Let b = -157 - -256. Let s = b + -44. Is s a composite number?
True
Suppose 5*l = 10, -l - 4 = 2*d - 2. Let z(y) = -4*y**3 - 2*y**2 - 2*y - 3. Is z(d) a prime number?
False
Let p be (12/8)/(2/4). Is -3 + -2 + p + 543 composite?
False
Let c(g) = g - 6. Let f be c(10). Let w = f + 187. Is w composite?
False
Let u be 32/5 - 8/20. Let b(p) = p**2 - 5*p + 9. Is b(u) composite?
True
Let i be 758/6*(2 + 1). Let y = i + -168. Is y prime?
True
Suppose 0 = -q + 14 + 23. Let c = q - -40. Is c a prime number?
False
Is 3/6 - 1613/(-2) a composite number?
True
Suppose 4*l = 5*c + 15, 3*l + 6 = -0*c - 2*c. Is (l/4 + 1)*79 prime?
True
Let m(h) = 4*h + 14 + 0*h**2 - 6*h**2 + 2*h**2 + 5*h**2. Is m(-10) a prime number?
False
Let s(v) = v**2 + 2*v**2 - 6*v**2 - 2*v - v**3. Let r be s(-2). Suppose 5 = 2*a + 4*l - 17, r = -5*l. Is a prime?
True
Let q be -4 + 3 + 0 + 5. Suppose -2*m = -3*f - 2, 3*f + q*m = 7*f + 4. Suppose 86 = t - 5*d - 1, -4*t + 3*d + 280 = f. Is t prime?
True
Is (-7)/(7/2) + 381 prime?
True
Let m(c) = 2*c**2 - 2. Let b be m(-2). Suppose -4*d + 6 = b*j - 4*j, 5*j - 3*d - 2 = 0. Is -37*j*(-3 + 2) a prime number?
True
Let r(m) = 2 + m**2 - m**2 - m - m**2. Let t be r(2). Is (-3)/(t/((-112)/(-6))) a composite number?
True
Suppose -4*j + 5*g = -352, 4*j + 2*g - 113 - 211 = 0. Is j composite?
False
Suppose -n - 2110 = -3*n. Is n composite?
True
Suppose 12 = 3*a, m + 4*m - 1459 = 4*a. Suppose -m = p - 6*p. Is p a composite number?
False
Let g(f) = 5*f**2 + 3*f + 1. Suppose -w - 3 = -1. Is g(w) a prime number?
False
Suppose -2*d + 11 = 5*r, 1 + 9 = 4*r + d. Let q(a) = -r*a + a + 2 - 5 - 2. Is q(-7) composite?
True
Suppose 19*g = 97420 - 27899. Is g a prime number?
True
Let d be (1*-3)/((-3)/(-9)). Let x(u) = u**2 + 10*u + 7. Let c be x(d). Let g(k) = -5*k**3 + 3*k**2 + 2*k + 1. Is g(c) composite?
True
Let j = -1669 - -2705. Suppose h - 5*h = -j. Suppose 0 = 5*k - 2*y - h, 0 = -4*k - 2*y + 83 + 117. Is k prime?
False
Let z be 3*494 - 3/(-1). Let r = z + -1042. Is r a composite number?
False
Let h = -146 + 496. Suppose 534 + h = 4*o. Is o a composite number?
True
Let x(b) = b**3 - 4*b - b + 0*b - 6 - 5*b**2. Let r be x(6). Let n(j) = j + 37. Is n(r) a composite number?
False
Suppose -4*x - 740 = -9*x. Is -3*(x/(-6) - 3) prime?
True
Is 3607 - (-2 - -1)*-4 a composite number?
True
Suppose k + 2*k = r + 26, -r - 42 = 5*k. Is (-4200)/r + 2/(-8) a composite number?
False
Let x(q) = 7*q**3 + 7*q**2 - 826. Let h(f) = 3*f**3 + 3*f**2 - 413. Let n(a) = -5*h(a) + 2*x(a). Is n(0) composite?
True
Let t(s) = -s**2 - 7*s - 6. Let h be t(-4). Suppose -3*n = -d - 128, 3*d - 132 = 3*n - h*n. Is n a composite number?
False
Let t(d) be the first derivative of 4*d - 2 - 3/2*d**2 + 3/4*d**4 - d**3. Is t(3) prime?
False
Let n be (-4)/18 - (-528)/(-54). Is (10/(-4))/(n/140) composite?
True
Let q(z) = z**2 + 211. Let n(l) = -l**2 + 3*l. Let m be n(3). Is q(m) composite?
False
Suppose 0*s + 12 = 2*s. Let t = 95 - s. Is t prime?
True
Let c = 3 + -1. Is (-2766)/(-24) + c/(-8) a composite number?
True
Let w = 66 - 40. Suppose 3*r - 83 - 100 = 0. Let o = r - w. Is o a composite number?
True
Let w(i) = -i**2 - 1. Let y be w(-1). Is (y/(-3))/(4/198) a composite number?
True
Suppose -3*o = -1 + 4, 0 = 3*c + 2*o + 26. Let u = c - -42. Is u a prime number?
False
Suppose 3*i + 5*g = 34, -i + 7 + 11 = 3*g. Let k = 349 - 119. Suppose 61 = i*o - k. Is o a prime number?
True
Let g = 1736 - 1228. Let m = -207 + g. Is m a prime number?
False
Suppose 6*t = 4650 - 1068. Is t composite?
True
Let f = -320 + 613. Is f composite?
False
Let m = 13 + 1. Let a = m + -7. Is a composite?
False
Let k(l) be the first derivative of 3*l**2 - 7*l + 1. Is k(7) composite?
True
Let t(m) = m**3 + 9*m**2 - 4*m - 7. Suppose 0 = -3*o - o - 28. Is t(o) prime?
False
Let g = 1 + 2. Suppose 0 = -2*j - 3*o - 18, -2*j + g*o = j + 42. Let n = 3 - j. Is n prime?
False
Let g(v) = 1389*v + 1. Is g(2) a prime number?
False
Let n(s) = 59*s. Let m(w) = -w**3 - 7*w**2 - 2*w - 10. Let r be m(-7). Suppose -1 - r = -5*q. Is n(q) composite?
False
Let l be 2*(7/2 - 2). Suppose 0 = -l*t - t + 184. Is t prime?
False
Let j = 1505 - 1038. Is j prime?
True
Let y = -175 - -245. Suppose 3*u - y = u. Is u prime?
False
Let k(i) = i**2 - i. Let p be k(0). Suppose 425 = -p*l + 5*l. Is l a prime number?
False
Suppose -9*z = -12*z + 21. Is z composite?
False
Let o(c) = c**2 - c + 7. Is o(15) a composite number?
True
Let y(v) = -93*v + 1. Let t be (