s m a composite number?
True
Suppose -4*i + 95 = -13701. Is i composite?
False
Let g(a) = 4*a + 2*a**3 - 12*a**3 - 38*a**3 + 3 + 3*a**2. Is g(-2) a composite number?
True
Let a(v) = -v**3 + 8*v**2 - 11*v + 8. Let q be a(7). Let x = 129 + q. Suppose 4*f - 39 = x. Is f composite?
False
Let p = 16 - 13. Suppose 3*j + 0*j - p*c = 3, j + 4*c - 16 = 0. Is (2/j)/((-3)/(-462)) prime?
False
Let t(f) = 54*f**3 + 9*f**2 + 11*f - 7. Is t(6) a composite number?
True
Suppose -3*j = -c - 2 - 10, 16 = -3*c + 5*j. Is (c + -1)/((-2)/(-233)) prime?
True
Let w = -12862 - -22351. Is w prime?
False
Suppose 103859 = 42*v - 35*v. Is v composite?
True
Let w = 1912 + 499. Is w prime?
True
Suppose 5*t + 2*k + 193 = 1194, -4*t + 5*k = -781. Is t a composite number?
False
Let y(u) = -5*u - 8*u**3 + u + 0*u - 4 - 3. Is y(-4) a prime number?
True
Suppose 34*o = 29*o - 5. Is (-4)/o - (3 + -200) a prime number?
False
Let b(p) = 105*p**2 + 34*p - 2. Is b(7) prime?
True
Suppose 14*a - 10*a - 16148 = 0. Is a composite?
True
Suppose -5*u + 2*a = 2 - 18, -2*u = -5*a + 2. Suppose 0 = -5*o + 6 + u. Suppose 0*r - o*r + 3*v + 191 = 0, 0 = -v + 1. Is r a composite number?
False
Let k(o) = 41*o**2 - 18. Let c(m) = 21*m**2 - 9. Let h(b) = 9*c(b) - 4*k(b). Is h(4) composite?
True
Let r(w) be the second derivative of w**6/360 + w**5/120 + 89*w**4/24 - 2*w**3/3 + w. Let c(f) be the second derivative of r(f). Is c(0) composite?
False
Let u(h) = 8*h**2 - 19*h - 76. Is u(-9) a prime number?
True
Suppose 25 = -5*b + 145. Let o = b - -15. Suppose 781 = 7*d + o. Is d prime?
False
Suppose -4*x = -9361 - 17683. Is x a prime number?
True
Let a be (-1)/2 - 5/(-2) - -3974. Suppose -4*w + a = -12. Is w prime?
True
Suppose 85*o = 90*o - 190. Is o a prime number?
False
Suppose 18*n = 19*n + 793. Is 1 - n - ((-1 - 6) + 4) a composite number?
False
Let k(q) be the third derivative of q**7/2520 + q**6/360 + 451*q**5/120 + q**4/3 + q**2. Let b(v) be the second derivative of k(v). Is b(0) composite?
True
Let r = 3292 + -1289. Is r prime?
True
Let n = -1210 + 2434. Let m = -601 + n. Is m a prime number?
False
Suppose 6*v - 5*v = 8. Let l(u) = 4*u - 27. Let f be l(v). Is (4 - 3 - f) + 255 composite?
False
Suppose 0*h = -3*h + 8691. Is h a prime number?
True
Suppose -7*f = -7009 + 912. Is f composite?
True
Suppose 804*v = 807*v - 35634. Is v composite?
True
Let z be (-2)/(-6) + 2640/18. Let n = z + -290. Let s = 292 + n. Is s composite?
False
Let s(w) = 11*w**2 + 1. Let r be s(1). Let b be (4/3)/((-2)/r). Let x(k) = -43*k - 18. Is x(b) composite?
True
Let k(v) = v - 12 - 23*v**3 - 9 + 6*v**3 + 18 + 2*v**2. Is k(-2) composite?
False
Suppose -k + 4*p + 881 = 0, 0*p = -4*k - p + 3439. Let j = -482 + k. Is j a prime number?
True
Let y = 14 - 36. Let r = y - -32. Let g(c) = 10*c**2 - 2*c - 9. Is g(r) a prime number?
True
Suppose 0 = 2*q - 638 - 4104. Let a be (2 - 3)/((-1)/431). Suppose 4*x = q - a. Is x a prime number?
False
Suppose 3*r = 5*p + 694, -290 = 2*p - 0*p + 5*r. Let s = p + 1047. Is s a composite number?
False
Suppose -5*j + 5*u - 8 = -4*j, 5*j - 2 = 4*u. Suppose -x - 4*n = -14, 2*x - 46 = -0*x - j*n. Let t = -16 + x. Is t prime?
False
Suppose 5*k + 12412 - 46817 = 0. Is k a prime number?
False
Is 2 - 18886/8*(9 + -13) prime?
False
Let y = -323 - -648. Suppose -y = -6*a + a. Is a prime?
False
Suppose -130*l = -123*l - 170849. Is l a composite number?
False
Let z(h) be the first derivative of -h**4/4 + h**3/3 + h**2/2 + 194*h + 6. Is z(0) a prime number?
False
Let t(m) = -m**3 - 87 - 3*m**2 + 87 + 3*m. Let f be t(-4). Is (182/f)/(1/2) a composite number?
True
Let v be (-1 - 9)*2445/(-30). Suppose h + 2*n = -4*h + 787, 0 = -5*h + 5*n + v. Is h prime?
False
Let d = -9 - -8. Is -4 - -5*(-67)/d prime?
True
Let u(j) = 4*j**2 + 7*j + 4. Suppose -126 = -6*q + 60. Let f = -37 + q. Is u(f) prime?
False
Let l(q) = q**2 - 3*q + 5. Let i be l(-24). Suppose 3*p - 1358 = -2*g, 3*p + i = g - 2*p. Is g composite?
False
Let t = 1209 - -764. Is t composite?
False
Let q = -3620 - -7291. Is q composite?
False
Let g = -35 - -39. Suppose -3*x + 5*u + 9036 = 0, -4*x - g*u = -3*x - 3029. Is x prime?
False
Is 3957/5 - 8/20 composite?
True
Suppose -2*l + 3*n = 34, -2*l - 5*n = 10 + 8. Let d = l - -11. Let q(h) = 8*h**2 - 6*h - 8. Is q(d) a prime number?
False
Suppose 852*x + 53444 = 856*x. Is x a composite number?
True
Suppose 0 = -2130*n + 2122*n + 158488. Is n a composite number?
True
Let w = 83 + -82. Is 4650/9 + -3*w/(-9) a composite number?
True
Let l(d) = d**3 + 27*d**2 - 51*d - 30. Is l(-28) composite?
True
Let a be -1 + -3 - (-153 - (-8)/(-4)). Suppose a = 4*f + 3*d, -f - 2*d + 76 = f. Is f a composite number?
False
Let h(a) = 1656*a**2 - a. Let v be h(2). Suppose -5*z = -v - 8963. Is (-12)/16 + z/12 a composite number?
True
Is (-18747)/(-21) + (-14)/(-49) a composite number?
True
Let j be 2 - (4 + 2) - -7. Suppose -j*r = -2*f - 2471, -2*f = -2*r - 5*f + 1630. Is r a composite number?
False
Suppose 259*v - 35930 = 249*v. Is v composite?
False
Let m(w) = 26*w + 54. Let p be m(-2). Let t = 124 - 67. Let l = t - p. Is l composite?
True
Let o(m) = m**2 - 12*m - 16. Let c be o(14). Suppose c = -5*d - 8. Is (79/4)/(d/(-16)) a composite number?
False
Suppose -3*g + 2203 = g + o, -o = g - 547. Suppose -g = -f - 4*v + 46, -2379 = -4*f - 3*v. Let m = -337 + f. Is m a composite number?
False
Suppose -3*o + d + 28051 = 0, 0 = 2*d - 6*d - 16. Let s = o - 3536. Is s a prime number?
True
Is (-4201)/((22/88)/(7/(-4))) a prime number?
False
Let u(r) = 34*r**2 - 48*r + 111. Is u(-32) composite?
True
Let s = 1 + -4. Is (-236)/s - 1/(-3) prime?
True
Is (6 - 5)*(1 - -2742) composite?
True
Let z = 7 + -3. Let d be (-12)/14*(-3 - z). Is 177/5 + d/(-15) a prime number?
False
Let o(v) = -35*v - 5 - 28*v - 30*v + 63*v**2 + 92*v. Is o(-3) composite?
True
Let m(v) = v**3 - 20*v**2 - 9*v - 7. Let i be m(16). Let b = -652 - i. Is b a prime number?
True
Suppose -51*j = -31*j - 40660. Is j prime?
False
Suppose -67847 + 27821 = -6*c. Is c composite?
True
Let r(w) = w**2 + 11*w + 29. Let a be r(-8). Suppose l + 5*y = a*l - 1939, 2465 = 5*l + 2*y. Is l a composite number?
False
Suppose 8*r = -0*r + 13592. Suppose -r = a - 4232. Is a a composite number?
True
Suppose -69 = -3*f + 8*v - 10*v, 0 = 5*f - v - 102. Is f a composite number?
True
Let t = -347 + 694. Let i = 59 - t. Is 1/(-1) - (i - 0) a composite number?
True
Let f(m) be the second derivative of 138*m**4 + m**3/6 + m**2 + 18*m. Is f(-1) a prime number?
True
Let p(z) = 1643*z - 9. Is p(2) prime?
False
Let z be 2 + (3 - 2) + 216. Let c = z + 15. Suppose -3*k - c = -903. Is k a prime number?
True
Let f(k) = -k**3 + k**2 + 3*k + 2. Let z be f(2). Suppose 8853 = z*v + i, 8854 = 4*v - 4*i + 6*i. Is v composite?
False
Let g be (2 - (-5)/(-4))/(1/(-4)). Let z(p) = -84*p + 7. Is z(g) composite?
True
Let j(p) = 3*p**3 + 6*p**2 - 22*p - 13. Is j(6) a prime number?
True
Let p = -876 - -1485. Let y = -1270 + p. Let j = 1056 + y. Is j prime?
False
Let k be (-80)/(-36) - (-4)/(-18). Suppose -4*m + 335 = -137. Suppose k*y = y + m. Is y a prime number?
False
Let o = 12 + -7. Suppose 3*v + 7 = -o. Is 108 + 3 + (-6 - v) a prime number?
True
Let l(y) = 122*y - 27. Is l(11) composite?
True
Suppose -8 = -3*c + 4. Let n(a) = -a**3 + 4*a**2 + 6*a - 4. Let s be n(c). Is (-2079)/(-4) + (-15)/s composite?
True
Let b(l) = -l + 20. Let i be b(15). Suppose 8185 = -0*a + i*a. Is a a prime number?
True
Suppose -2*c = -8 - 6. Let a = c + -3. Suppose 4*u - j = 1768, 3*j - 1542 - 242 = -a*u. Is u composite?
False
Suppose -3*q - 6 = 0, -5*n = -0*n + 2*q - 39081. Is n prime?
True
Let w(q) = 655*q**2 + 8*q - 97. Is w(6) prime?
True
Suppose 4*g + 234 = -p, -3*p + 232 = -4*p - 3*g. Let u = 323 + p. Suppose u + 16 = d. Is d prime?
True
Suppose 2*y + z - 2 = 0, -5 - 5 = 5*z. Suppose 0 = y*w - 5*i - 1334, -4*i - 1633 = -4*w + 1035. Is w composite?
True
Suppose -5*y - 8*w = -11*w - 232996, 2*w = -4*y + 186410. Is y a composite number?
False
Let g(s) be the second derivative of 35*s**4/4 + 2*s**3/3 - 2*s**2 - 2*s. Is g(3) a composite number?
False
Let n = 1 - -4. Suppose o + 8 = 5*u, -40 = -4*o + u - n*u. Let g(r) = -r**2 + 9*r + 9. Is g(o) prime?
True
Let d(v) = 13*v**3 + 5*v**2 + 4*v. Let k be d(-3). Is ((-6)/18)/(2/k) a prime number?
Tr