e?
False
Suppose 0 = 2*k - 50 - 1176. Is k a prime number?
True
Let r = 110 - -1. Is r composite?
True
Suppose 3*j + 95 = 476. Is j a composite number?
False
Suppose 0 = j - 557 - 702. Is j prime?
True
Suppose -4*c + 31 = -3*r + 10, 2*r = c + 1. Suppose 0 = -10*i + 21*i - 10*i. Suppose -y - c + 98 = i. Is y prime?
True
Let q = 23 + -23. Suppose q = -3*r + 800 - 191. Is r a prime number?
False
Let o = -1 - -3. Suppose -v - v - 148 = 0. Is (3/o)/(-3)*v prime?
True
Let h = 25 + -60. Let q = 31 - h. Suppose -139 = -y + q. Is y composite?
True
Let l(h) = h**3 - 6*h**2 + 5*h + 3. Let j be l(5). Is (3 + 56)/(-2 + j) a composite number?
False
Suppose 3*p = -x + 4, 0 = x + 3 - 7. Suppose -n + p*n + 35 = -4*i, -5*i + 18 = 2*n. Is n composite?
False
Let z = 2 + 0. Suppose -1033 = -z*g + 361. Is g composite?
True
Let d = 214 - -2179. Is d a composite number?
False
Suppose -a - 8 = -w, 0 = w - 3*a + a - 13. Suppose 2*o = 6, w*r + 5*o - 405 = 57. Is r a prime number?
True
Suppose 190 = 2*h - 4*z, h - z - 83 = -3*z. Is h a composite number?
False
Let i(x) = 66*x + 22. Let y(z) = -22*z - 7. Let t(l) = -2*i(l) - 7*y(l). Is t(9) composite?
True
Let z be 6 + 6/(-2) + -15. Is (-438)/z - 1/(-2) a composite number?
False
Is (-6)/(-4) - 2387/(-2) a prime number?
False
Let s(q) = -q**3 - q + 1. Let r(x) = 8*x**3 + x**2 + 3*x - 2. Let n(m) = r(m) + 3*s(m). Is n(4) prime?
True
Is (-9838)/(-14) + ((-57)/21 - -3) prime?
False
Suppose 0 = -0*c - 2*c + 6. Suppose u = -c*u + 104. Is u prime?
False
Suppose 0 = 2*i - 4*i + 4. Suppose p = -p - 3*w + 4, 0 = -5*p + w + 27. Suppose p*t + 15 = 3*s, 0 = -3*s + i*t + 32 - 8. Is s a composite number?
True
Suppose -9201 = 42*z - 45*z. Is z a composite number?
False
Let j(r) = 78*r - 10. Let v be j(9). Suppose 5*h + 3*g - v - 638 = 0, 501 = 2*h - 5*g. Is h a composite number?
False
Let p(t) = 139*t**3 + t**2 - 2*t + 1. Let k be (-2)/(-4) + (-9)/2. Let o = k - -5. Is p(o) a composite number?
False
Let i(r) = 27*r**3 + 2*r**2 + r - 3. Is i(2) a prime number?
True
Let f(j) = -3*j - 9. Let d be f(-8). Suppose -n = -6*n - d. Is (-229)/n - 6/(-9) a prime number?
False
Let a = 622 + -275. Is a a composite number?
False
Let g(y) = -12*y + 2. Let o be g(9). Let f be (-2)/(1 - (-102)/o). Let h = 2 - f. Is h prime?
False
Suppose -20 = -3*q - 5. Suppose 0 = 5*r + 4*x - 485, 2*r + 10*x - 211 = q*x. Is r a composite number?
True
Suppose -2*d + 4790 + 1736 = 0. Is d a prime number?
False
Suppose 0*b - 3*b = 0. Suppose -g + 3*g + 2 = b. Is 2 + (g/(-1) - -31) a composite number?
True
Let s = 1459 - 1012. Is s composite?
True
Suppose -5*d - a = a - 250, 2*a - 106 = -2*d. Suppose 222 = 2*m + d. Is m prime?
False
Suppose -332 = -4*r - 0*r. Is r a composite number?
False
Suppose -i - 3*t = -0*t - 18, 2*t = -4*i + 32. Let l(o) = o**3 - 3*o**2 + 5*o - 4. Let s be l(i). Suppose -s = -4*n - 2*q, -n + 33 = q - 1. Is n a prime number?
False
Let c(b) = 5*b**3 - b**2 + 7*b - 82. Let l be 27/(-2) - (-3)/6. Let t(x) = 11*x**3 - 2*x**2 + 15*x - 164. Let v(q) = l*c(q) + 6*t(q). Is v(0) a prime number?
False
Let g = 53 - -356. Is g a composite number?
False
Let f = -81 - -124. Suppose 282 = 5*d - f. Is d composite?
True
Let y(q) = q**2 + q + 223. Is y(0) composite?
False
Let u = -17 - -25. Suppose 4*m - 9 = 3*c, 0*c - u = c - 3*m. Is 54/4 + c/2 composite?
True
Let g(x) = -6*x**3 - 5*x**2 - 5. Let u(p) = -9*p**3 - 7*p**2 - 7. Let c(o) = 7*g(o) - 5*u(o). Is c(1) a composite number?
False
Suppose 5*g + 4*x + 638 = 0, 5*g = g + x - 523. Let z = 13 - g. Is z a prime number?
False
Let q be 2*146 + (-8)/4. Suppose 5*r - 4*t + q - 1775 = 0, -r + 2*t = -291. Is r a prime number?
False
Let o(n) = 2*n**2 - 9*n + 9. Let g be o(6). Let q = 105 + -33. Suppose 2*a - q = -5*i - 0*a, 0 = -2*i + a + g. Is i a composite number?
True
Let b(k) = k**3 + 10*k**2 + 8*k - 6. Let s be b(-9). Suppose -3*z + 73 = 5*y - 204, z + 155 = s*y. Is y prime?
True
Let m(d) = -d**3 + 4*d**2 + 7*d. Let v be m(5). Let n = -6 - v. Let u = 61 - n. Is u prime?
False
Let c = 4 + -4. Suppose -4*x + 4 = c, 0*d - 3*x + 298 = 5*d. Is d a prime number?
True
Is (-7 - -2859) + (1 - -1) a composite number?
True
Let i(a) = 56*a**2. Let t be i(2). Suppose 3*q - t = j, -5*q + 41 = -2*j - 333. Is q a prime number?
False
Suppose 5*x + 39 = -81. Is (16/x)/(4/(-390)) prime?
False
Is 82/((-11)/(-3) + -3) composite?
True
Suppose 6 = -3*r, 2 + 3 = -3*h - 4*r. Suppose 2 = p - h, -2*n - 2*p = -10. Is 37*n*2/4 prime?
True
Let o = 1547 + 1416. Is o composite?
False
Suppose -d - 2*w = -4*w, 5*d - 2*w = 0. Suppose d = 3*h - z - 5, -4*h + z - 6*z = -13. Is 267/h*6/9 a composite number?
False
Is 0 - 1623/(-1 - 2) a prime number?
True
Suppose -2*z - 8 = 4*n, 4*z = 4*n + 12 + 8. Let c be (-3)/9*n + -19. Is (-1058)/c + (-2)/(-9) composite?
False
Let z = 551 - -167. Is z composite?
True
Suppose -3*m + 79409 = 8*m. Is m a prime number?
True
Let i = 137 - 70. Suppose 0*b - i = -b. Is b a composite number?
False
Suppose -b + 40 = -2*l, 79 = -5*b - 3*l + 266. Suppose -b = -j + 36. Is j composite?
True
Suppose 5*u - 2*s = -7, 2*s - 2 + 0 = 0. Let b(a) be the second derivative of -25*a**3/6 + a**2/2 - a. Is b(u) composite?
True
Suppose 2*f - 53 = f. Is f a composite number?
False
Let b(v) = 32*v**2 - 6*v + 2. Let g(i) = -16*i**2 + 3*i - 1. Let k(d) = -6*b(d) - 11*g(d). Let h(a) be the first derivative of k(a). Is h(-4) prime?
True
Suppose 0 = 4*k + 5*r - 321, -3*k + k - 3*r = -161. Is k composite?
False
Let q(b) = -50 + 50 - 21*b. Is q(-1) a composite number?
True
Suppose 3 + 1 = q. Suppose 5*n + 1 = q*n. Is 57 - n/2*-4 a prime number?
False
Suppose -3*p - 2*a + 3763 = 0, -3*a - 15 = -3. Is p composite?
True
Let u = 7 - 5. Let z = -31 - -33. Suppose u*b - 628 = -z*b. Is b composite?
False
Let o = -11 - -132. Is o a prime number?
False
Let f(l) = -l**2 - 6*l - 6. Let g be f(-4). Is ((-15)/2*g)/(-1) composite?
True
Let r(g) = -2*g - 4. Let a be r(-3). Let k(u) = 26*u + 1. Is k(a) composite?
False
Let q(v) = -v**3 + v**2 + v + 2. Let s be q(0). Suppose -2*n - s*u + 326 = -0*n, -485 = -3*n - 2*u. Is n a prime number?
False
Suppose -2*j - 3*b + 4*b = -255, 2 = -2*b. Is j composite?
False
Suppose 4*n - 4*g = g + 6355, -4*n + 6334 = 2*g. Is n a composite number?
True
Let t(p) = -p**2 + 11*p - 5. Let h be t(10). Let f(i) = 3*i**2 + 2*i - 6. Is f(h) composite?
False
Suppose -5*x = -2*h - 4*x - 410, -4*h - 5*x = 806. Let p be 10/(-25) + h/(-10). Let w = p + -7. Is w composite?
False
Let d(i) = 5*i**3 - 11*i**2 + 10*i - 10. Let n be d(8). Is 4/(-10) + n/90 a composite number?
True
Suppose 0 = -5*n + 25 - 5. Is (n + -3 - 2) + 16 composite?
True
Let y = -389 + 826. Is y composite?
True
Suppose 1 = 2*o - y + 2, 0 = 4*y - 20. Suppose -725 = o*j - 7*j. Is j a composite number?
True
Let k be (1/(-1))/(1/(-4)). Suppose 0 = -3*t + 5*n + 43, -3*t = -4*t - 2*n + 18. Suppose -c + 12 = -3*c - k*o, t = -4*o. Is c prime?
True
Let y(i) = i - 2. Let d be y(6). Suppose 28 = d*x - 64. Is x composite?
False
Suppose -1595 = -2*j - 3*j. Is j a composite number?
True
Let n(f) be the second derivative of f**5/20 + f**4/4 - f**3/6 + 5*f. Is n(-3) a composite number?
False
Let h be (7 + -5)/(3 - 1). Suppose h = i + 4. Let z(a) = 22*a**2 - 5*a - 2. Is z(i) a prime number?
True
Let g(l) = 3*l**2 + 2*l + 3. Is g(4) a composite number?
False
Suppose -13*o + 15810 = -10879. Is o composite?
False
Let m(d) = d**3 - 6*d**2 + 9*d + 5. Let q be m(7). Is q/6*232/12 a prime number?
False
Let i(l) = -l. Let b be i(-2). Suppose 0 = -3*a - 3*t + 468, 0 = -b*a + 2*t - t + 315. Is a prime?
True
Suppose 0*o + o - 102 = 0. Suppose 3*l - o = -3. Let u = -20 + l. Is u a composite number?
False
Suppose m = -m - 4*w - 56, -3*m = -3*w + 57. Let i = 53 + m. Is i prime?
True
Let k(l) = -l**3 - 9*l**2 + 17*l - 16. Is k(-15) prime?
False
Suppose 5*q = 2*p - 683, -4*p + 4*q + 1262 = -98. Is p a prime number?
False
Is (2 - -1) + 1/(-1)*-6 a prime number?
False
Let u = 10 - -77. Is u composite?
True
Suppose 3*r - 25 = -10. Suppose 5*t - 3*h - 2557 = -690, -1871 = -r*t + 4*h. Is t a composite number?
True
Let j be 4/(-10) + 96/15. Suppose m = j*m - 10. Let h(x) = 14*x**2 + 3*x - 3. Is h(m) a composite number?
False
Suppose -6*f - 555 = -11*f. Suppose c - f = -2*c. Is c a composite number?
False
Let y(a) be th