-0*o + o. Suppose g + 1 = v, o*g + v = -0*g + 11. Let l = 5 + g. Is l a prime number?
True
Suppose -3*w - 1871 - 682 = 0. Let m = -441 - w. Let n = -147 + m. Is n composite?
False
Let l = 10 + -1. Suppose 2*h = 3*y + l, -y + 39 = 4*h - 0*y. Suppose -4*n - 95 = -h*n. Is n a prime number?
True
Let t be 724/(-1)*(0 - 1). Suppose t = u + 3*u - 4*y, y + 921 = 5*u. Let m = u - -258. Is m prime?
True
Suppose 9*t - 5*t - 24 = 2*j, -16 = -t - 2*j. Let x = t - 5. Suppose 5*u = -y + 4*y - 8, x*u - 70 = -5*y. Is y composite?
False
Let y = -12 + 20. Suppose 4*z + 7 = 3*a - z, 3*a = 4*z + y. Suppose -3*q + 244 = -2*f - a, 3*q - 245 = -f. Is q a composite number?
True
Suppose -8 = 2*k - 4*t, -k - t = -0*k - 5. Suppose 173 = k*n + 4*f - 255, 4*n - 4*f - 892 = 0. Suppose 5*i = i + n. Is i composite?
True
Suppose 42*h = 40*h. Let l(w) = 2*w + w - w**2 + 21 - 4*w. Is l(h) composite?
True
Let w be (66/8)/(1/4). Suppose 2*v + 8 = 0, -3*b - 2*v + v + 134 = 0. Let a = b - w. Is a a prime number?
True
Let n(b) = -14*b - 4. Let h be n(-4). Is (h/(-6))/((-2)/3) a prime number?
True
Suppose 0*u = -2*u + 58. Suppose 5*q + 79 - u = 0. Is (-506)/q - 4/(-10) prime?
False
Suppose 0*s = v - 4*s - 55, -5*v = -s - 351. Is v a prime number?
True
Let d = 3 - -2. Suppose -2464 = -4*t + 2*g + 248, -t + 687 = -d*g. Is t composite?
False
Let f = -35 - -181. Let s = f - 75. Is s a composite number?
False
Suppose d - 3*d + 3*g + 1054 = 0, -2148 = -4*d - 4*g. Is d prime?
False
Let s = 1 - 1. Let j(x) = -x**2 + 3. Let i be j(0). Suppose 2*t - 5*q - 49 - 26 = s, 0 = i*t - 4*q - 109. Is t a prime number?
False
Let h(j) = 12*j**2 + 9*j - 8. Is h(3) composite?
False
Let h(n) = 2*n**2 - 2*n + 14. Let b(c) = -c**2 + 3*c - 13. Let f(p) = 3*b(p) + 2*h(p). Suppose 3 + 6 = -k. Is f(k) a prime number?
False
Suppose x = -5*i + 1672, 0 = -2*x + 1 - 7. Is i prime?
False
Suppose 41*n - 38*n = 2949. Is n a prime number?
True
Let j(k) = -36*k - 5. Let h be j(-5). Let r = h + -56. Let w = r - 72. Is w a composite number?
False
Let y = 126 + -35. Is y prime?
False
Let l = 1 + -2. Let w = 16 + l. Suppose 2*h + h = -5*n + w, 4*h - 10 = -5*n. Is n a composite number?
True
Suppose -4*o + k + 50 = -k, -o + 11 = -2*k. Is o prime?
True
Let x(s) be the first derivative of -s**5/60 + s**4/2 - 11*s**3/6 + s**2 + 2. Let v(y) be the second derivative of x(y). Is v(8) a prime number?
False
Let i = -13 - -4. Let h(m) = 12*m**2 - 2. Let l be h(2). Let a = l + i. Is a a composite number?
False
Let p = 39 + -9. Suppose -2*v - 3*w = -3166, w + p = -v + 1615. Is v prime?
False
Suppose m - 4*p = -0*p - 1, -4*m - 3*p + 15 = 0. Suppose m*l + 2*l - 10 = 0. Suppose l*z - 1081 = -z - 4*h, -2*z + 714 = h. Is z a prime number?
False
Let x be 5 + (0 - -3) + -4. Suppose 0 = -x*n + 246 + 230. Is n a prime number?
False
Suppose -z + 5*z = 0. Suppose 59 = 4*s + 5*y - 93, z = s - 2*y - 51. Is s a composite number?
False
Let o = -2 + 5. Is 7 - (-3 + o)/(-2) prime?
True
Suppose 0*q + 5*q = 95. Is q composite?
False
Suppose 0 = -3*m - m - 12. Let x(g) = -g - 5. Let l be x(m). Is (l + -2)/((-4)/6) prime?
False
Let v be 8*33 - 2 - 1. Suppose 0 = 5*m - w - v, -203 - 1 = -4*m + 2*w. Is m composite?
False
Let r(i) = i**3 + 5*i**2 + 3*i - 4. Let t be r(-4). Let w(l) = -l**2 + 103. Is w(t) prime?
True
Let d(i) = 61*i + 2. Let t be d(2). Let c be -3 - (-9 + 2/1). Suppose 0*x - t = -c*x. Is x a composite number?
False
Let v be 207/6*(-2)/(-3). Let r = v + -8. Is (-2)/(-6)*7*r prime?
False
Let t(b) = 372*b - 4. Let y be t(5). Suppose -994 = -5*f + y. Suppose 2*d + f = 4*j, 4*j - 161 - 444 = -5*d. Is j a composite number?
True
Let g(k) = 5*k**3. Let l(m) = m - 2. Let y be l(3). Let n be g(y). Suppose -88 = x - n*x. Is x composite?
True
Let w(r) = -r - 5. Let i be w(-4). Let l(y) = 15*y**2 + y + 1. Is l(i) a prime number?
False
Let t(j) = 114*j**2 - 6*j - 1. Is t(5) composite?
False
Is 3/(-15) - 3156/(-5) prime?
True
Suppose -568 + 1420 = 4*v. Is v a composite number?
True
Let r(v) = 4*v**2 - 14*v + 7. Is r(10) a prime number?
False
Suppose 0*o = -2*b + 2*o + 894, b = 3*o + 455. Is b a composite number?
False
Suppose -4*k + 586 = 3*t - 118, 16 = -4*t. Is k a composite number?
False
Let c = -120 - -3. Let f = c + 169. Suppose -3*u - f = -157. Is u composite?
True
Suppose 4*a + 0*a = 0. Suppose g = 4*u - 153, a*u = -3*u - g + 106. Is u prime?
True
Suppose -14 = -5*y + 1. Is ((-204)/9)/(-2)*y a composite number?
True
Let k = -1148 - -665. Let v = k - -952. Is v composite?
True
Let c(j) = -j**3 - 11*j**2 + 10*j + 13. Is c(-12) prime?
True
Suppose -5*v = 4*v - 3519. Is v a prime number?
False
Let f = -9 + 48. Is f composite?
True
Let y(f) = -f**2. Let k be y(-1). Is ((-131)/(1 - 0))/k a composite number?
False
Suppose -3*f + f = 8. Let z(m) = -m**2 - 4*m. Let b be z(f). Suppose b = -t + 9 + 17. Is t composite?
True
Suppose 4*w - 69521 = -15*w. Is w a composite number?
False
Suppose -3*g + 6*g - 11449 = -2*k, 19080 = 5*g + 5*k. Is g prime?
False
Is 0 + -4 + -1 + 151 composite?
True
Suppose -3*m + 336 = -762. Let q(k) = -3*k**2 - 15*k - 5. Let i be q(-11). Let n = m + i. Is n prime?
True
Let d be 2/(-9) - 252416/72. Is d/(-6) + (-8)/6 a composite number?
True
Suppose -3*c - 429 = -4*c. Suppose 2*d + f - 427 = -3*d, -2*f = 5*d - c. Is d prime?
False
Suppose -5*q + q + 260 = 0. Is q composite?
True
Let n(i) = 260*i**2 + 22*i - 1. Is n(-5) prime?
True
Let j(x) = -307*x**3 + x + 1. Is j(-1) composite?
False
Let j(o) be the third derivative of -25*o**4/12 - o**3/6 - 5*o**2. Is j(-1) a prime number?
False
Let n = -1 - -4. Suppose 0 = -4*k - 5*u + 475, -5*k = -0*k + n*u - 584. Is k a composite number?
True
Suppose -21 - 3 = -3*i. Is i - 6/(-1 + -1) a prime number?
True
Let q(i) be the third derivative of 0 + 0*i + 4/3*i**3 + 41/24*i**4 - i**2. Is q(7) a prime number?
False
Suppose 0*w = -3*w - 6. Is 22*15/(-12)*w prime?
False
Suppose 266 - 43 = d. Is d a prime number?
True
Let g be (1 - 1)/(-3 - -5). Suppose g = -4*d + 12, -8*n + 4*n - 4*d = -100. Is n a prime number?
False
Let v be (-1317)/(-4) + (-4)/16. Suppose -4*o = -1259 - v. Is o a prime number?
True
Suppose 8 = 2*h + 2*h. Suppose -h*b - 2*b + 492 = 0. Is b composite?
True
Suppose -8 = 2*o + 3*g, 7 = 3*o - 5*g - 0. Is -1*(-319 - (-1 - o)) a composite number?
True
Suppose -1223 = -3*s - z, 1227 = s + 2*s + 3*z. Is s a composite number?
True
Let b(g) = -54*g**2 - g - 2. Let v be b(2). Let s = v - -525. Is s a composite number?
True
Suppose 4*t - 9 = 15. Suppose -2*r = r - t. Suppose -2*f - r*f = -36. Is f a composite number?
True
Let f be (-5640)/(-13) + 2/13. Suppose 4*a = -5*i + f, -105 = -a - 0*a - 3*i. Is a composite?
True
Let z(b) = b - 5 - b**3 + 2*b**2 - 8*b - 10*b**2. Is z(-10) prime?
False
Let n(t) = 37*t**3 + t**2 + t - 1. Let i be n(1). Suppose 32 = 3*l + l. Let y = l + i. Is y a composite number?
True
Suppose -4*c + 575 = -2477. Suppose 0*y + 3*y - 552 = -3*d, -4*y = -5*d - c. Is y composite?
True
Let t(n) = 3*n**3 + 5*n**2 + 4*n + 3. Is t(5) prime?
True
Let i(c) = -34*c - 1. Suppose -3*p + 4 - 1 = 0. Suppose p = -g - 0*g. Is i(g) a composite number?
True
Let h(g) = 23*g**2 + 2*g + 1. Suppose 0 = l + 5 - 6. Suppose v = -4*z + 14, 0 = 3*v - 3*z - l + 4. Is h(v) prime?
True
Let u = -20 - -12. Let y = u - -44. Suppose -2*i - l = -y, -3*i + 3*l + 82 = i. Is i a composite number?
False
Let m = -2 - -5. Suppose 2*s - m*a = s + 67, 2*s = -a + 99. Suppose 2*x - s = -4*q, 3*x - 63 = -0*q - 5*q. Is q a prime number?
False
Let o be 17*(51 - 0) - -2. Let k = -393 + o. Suppose 5*f - k = f. Is f composite?
True
Let u(i) = 10*i**2 - 6*i - 17. Is u(-4) composite?
False
Let a(f) = 163*f**3 + f**2 - 2*f + 1. Is a(1) composite?
False
Let l be 114/8*(2 - 14). Let m = 290 + l. Is m prime?
False
Let c be 32/(-10) - (-9)/45. Is (-19 + c)/(2/(-7)) prime?
False
Let i = 8 - 5. Suppose 3 = i*m, -p + m = p - 175. Let t = -21 + p. Is t composite?
False
Suppose 10 = 5*t, -2*i - 2*i - t + 6 = 0. Let x(m) = -15*m - 2 - i + 5*m. Is x(-4) a composite number?
False
Suppose 3*u = -0*v - 4*v + 26671, -3*u + v = -26651. Is u a prime number?
False
Let f = 5 - -108. Is f composite?
False
Suppose -5*r = -5*p, -16 = -p - 5*r + 2*r. Suppose -p*o = -o. Suppose o = 5*u + 1 - 21. Is u a composite number?
True
Let c be (-10 + -1)*(0 - -1). L