 + 215. Suppose 0 = 151*w - 173*w - 8822. Let b = w - u. Is b composite?
True
Let y(n) = 240*n + 19. Let s be (16 + -14)/(1/4). Is y(s) a prime number?
False
Let y(w) = 19*w**2 - 11*w + 43. Is y(17) a composite number?
False
Suppose -2*d = 4*x - 3*d - 2341, -5*x + d = -2925. Suppose -2*g = -4*g + x. Is g*((-21)/(-6) - 3) a prime number?
False
Let h(t) = 43*t - 3. Suppose -5*z + 49 = 3*q + 10, 3*q + z = 51. Let f be 48/q + (-2)/3. Is h(f) prime?
True
Suppose -2226 = 13*v - 17527. Is v composite?
True
Let a(h) be the second derivative of h**4/12 - 3*h**3/2 - 17*h**2/2 - 2*h. Let v be a(11). Is -449*(1 - 10/v) composite?
False
Let z(a) = -5*a**3 + 7*a**2 - 9*a + 2. Let d = 24 + -18. Let g be z(d). Let s = -347 - g. Is s prime?
False
Let o = 424 + 117. Suppose -4*w + o = -2*j - 277, 3*j + 821 = 4*w. Is w a prime number?
False
Suppose v - 45 - 89 = 0. Suppose u + 268 = 5*i, v = 4*i - 2*u - 84. Is i prime?
True
Suppose 42*t = -59811 + 1416285. Is t a composite number?
False
Suppose -v - 5 = -4*c + 54, 2*c = -5*v + 13. Let t(m) = m**3 - 14*m**2 + 16*m - 13. Is t(c) prime?
True
Suppose 27 = -3*z + 2*g, z + 9 = -0*z + 5*g. Let l(a) be the first derivative of -a**4/4 - 8*a**3/3 + 2*a**2 - 8*a + 12. Is l(z) a prime number?
True
Let s(x) = 29788*x**3 + 2*x**2 + 12*x - 13. Is s(1) a composite number?
False
Let g = 0 + -3. Let i(w) = w**3 + 4*w**2 + w - 6. Let m be i(g). Suppose -2*l + 263 + 235 = m. Is l a prime number?
False
Suppose j + 2*j = 1707. Let x = -282 + j. Is x prime?
False
Let a = 1 - 3. Let d be (2 + -2)/(1 + a). Suppose 0 = -3*y - n + 1901, d*n - 3*n = -4*y + 2539. Is y a prime number?
False
Let i = 7387 - -1074. Is i prime?
True
Let s = 1226 + -2064. Let z = 2153 + s. Is z a prime number?
False
Let j be 8 + (-3 + 6 - 2). Let s = -5 + j. Suppose s*i = -4*v + 332, -2*v + 320 = 2*v + i. Is v a composite number?
False
Let t = 7712 + -4297. Is t prime?
False
Let l(n) = n**3 - 6*n**2 + n + 13. Suppose 5*q + 4*z - 38 = 0, -5*z + 10 = 3*q - 18. Is l(q) a composite number?
False
Let f be -1 - (-2)/2 - -29. Suppose -5*b - f = -4. Is 13052/65*b/(-2) a composite number?
True
Suppose -a - 25 = -2*o, -5*a + 6*o = 3*o + 90. Is (-31943)/(-5) + (1 - (-9)/a) composite?
False
Let s(p) be the second derivative of p**4/4 + p**3/3 - p**2 - p. Is s(2) a prime number?
False
Suppose 0 = -5*t + 3*q + 29, -5*t + 0*t + 8 = 4*q. Is (7/21)/(t/10812) prime?
False
Let x(u) = -143*u - 23. Is x(-12) composite?
False
Let j(g) = 3*g**2 + 23*g**3 + 5*g**2 + 10 - 22*g**3 + 8*g. Let m be j(-7). Is 388/6 - m/(-9) prime?
False
Let i be (5*1/(-3))/((-17)/51). Suppose -3*r + i*t + 102 = -1795, 0 = r - 2*t - 633. Is r prime?
False
Let p = -5986 + 10035. Suppose -2*j - 2*s = -2578, -1495 = 2*j - 4*s - p. Is j composite?
True
Suppose 0*l - 16 = -3*w + l, 3*w - 24 = 3*l. Suppose -58 = 3*z - w*z. Is z composite?
True
Let j be 2/4 + 869/(-22). Let u be -22*3*j/(-9). Let p = -164 - u. Is p composite?
True
Let h(g) = 229*g + 4. Let i be h(2). Suppose p - 239 = -4*b, 2*p = -0*b - 4*b + i. Is p prime?
True
Let w be (2/5*-7)/((-1)/(-5)). Is 6840 + ((-6)/9)/(w/(-21)) composite?
True
Let v(a) = -250*a**3 - 2*a**2 + 5*a + 14. Is v(-3) prime?
False
Let t = 4978 + -637. Is t a composite number?
True
Suppose -13*r + 9*r = -24. Let m be ((-1330)/(-8))/((-1)/(-4)). Suppose r*c - m = c. Is c a composite number?
True
Suppose 4*z = -4*l + 44, -2*z - 5*l + 49 = 2*z. Let o = z + -3. Suppose 2*s - o*m = 155, 0*m - 2*m = 2*s - 180. Is s prime?
False
Suppose o + 2 = 4. Suppose -o*b - 30 = -90. Suppose -8*p = -6*p - b. Is p a prime number?
False
Let t(c) = -29*c - 5 + 20*c - 2 + c**2. Let j be t(10). Suppose 6*q - 177 = j*q. Is q prime?
True
Let i(a) = 47*a + 31. Is i(10) a composite number?
True
Suppose 0 = 7*f - 78272 - 33441. Is f composite?
False
Let a = 14 + -8. Let i(x) = 18*x - 5. Let j be i(a). Let g = -57 + j. Is g composite?
True
Let k(c) be the first derivative of 3*c**4/8 + 2*c**3/3 + 7*c**2/2 + 5. Let m(f) be the second derivative of k(f). Is m(11) prime?
True
Let j = -96 + 178. Suppose 6*g = j + 14. Is (g - 20) + 91*1 a prime number?
False
Let f(s) = -1098*s**3 - 3*s**2 + s + 3. Is f(-1) composite?
False
Suppose 8*t + 3374 - 59398 = 0. Is t a composite number?
True
Let j = -243 + 614. Is j a prime number?
False
Suppose 2*i + 3280 = 24544. Is ((-1)/(-2))/(6*2/i) composite?
False
Suppose 2*u + 2 - 6 = 0. Is u/(-9) + 5962/18 a composite number?
False
Let t = -13 + 16. Suppose -t*z = -10 + 4. Suppose 0*c - c = z*a - 19, 2*c - 2*a - 14 = 0. Is c a composite number?
False
Let i(s) = -10. Let r(f) = f - 21. Let k(z) = -9*i(z) + 4*r(z). Let j be k(-5). Is j/105 + 2357/15 prime?
True
Let w be (-6)/(1/146*-1). Suppose 6*g = -0*g + w. Is g a prime number?
False
Suppose -2*u - 317 = 195. Let g be 2 + (-264)/2 + 1. Let r = g - u. Is r composite?
False
Let n be 1 - (4 - (-1 - -9)). Suppose n*w + 3*x + 218 = 0, -x + 146 + 68 = -5*w. Is (-18)/9*w/2 a prime number?
True
Suppose 4*c + 0*k - k - 10 = 0, 4*c - 2 = 5*k. Is ((-36)/c)/4 - -344 a composite number?
True
Let h be 0/(-4) + (-143)/(-1). Let b(r) = 72*r + 2. Let j be b(-6). Let t = h - j. Is t prime?
False
Let r be (-2)/2 - 1 - -632. Suppose -5*g - 4*k = -278 - 765, -3*g + r = k. Is g a prime number?
True
Let v = 1585 - 1050. Is v prime?
False
Let c = -13 - -5. Let i(d) be the first derivative of -d**3/3 - 17*d**2/2 + 7*d - 72. Is i(c) a composite number?
False
Suppose 5*d = 2031 + 2014. Let u = d - 331. Is u composite?
True
Suppose 0 = -t - l + 283, -5*t - l + 491 + 936 = 0. Suppose t = 3*n - 59. Suppose 7*r = 2*r + n. Is r composite?
False
Let o(h) = 474*h**2 + 25*h - 64. Is o(-9) prime?
False
Suppose -1147*t + 1154*t = 921613. Is t a prime number?
False
Let x be 504/30 + 1/5. Let o be (1 + 8)*60/9. Suppose c - x = o. Is c composite?
True
Let t(i) = i**2 + 12*i - 14. Let q be t(-13). Is (q/(-4))/(4*(-4)/(-9536)) composite?
False
Is 18869424/288 + 1/6 a composite number?
False
Let s be 0 + 29 + -2 - 1. Suppose 28*r - 2426 = s*r. Is r composite?
False
Let i = 5795 - 3786. Let j = i - 610. Is j a prime number?
True
Suppose 656 - 227 = 11*i. Let w = 538 - i. Is w a prime number?
True
Let x(c) = -c**3 + 7*c**2 + 10*c - 12. Let t be x(8). Suppose t*q - 75 - 1 = 0. Is q prime?
True
Let f be (76/1)/(-1) + -4. Let b be f/(-12)*(-12)/(-10). Is (-7083)/(-6)*b/12 a composite number?
False
Is (8 + -2 + -5)*223 a composite number?
False
Let p = 1295 - -3614. Is p a composite number?
False
Let v(j) = -2*j - 7. Let b be v(-6). Suppose -3*d + 1380 = -b*d. Is d/(-12) + (-2)/(-4) a composite number?
True
Suppose 34*d = -8*d + 747894. Is d a composite number?
False
Is ((-21558)/(-12))/((-2)/(-4)) a composite number?
False
Suppose 3*l = -9, -3*b = 2*l - 0*l - 102. Is (-4190)/(-6) + (-12)/b a prime number?
False
Let l(s) be the first derivative of s**4/4 - 8*s**3/3 - 7*s**2/2 - 21*s + 12. Is l(10) a prime number?
True
Let c(q) = q**3 + 19*q**2 - 21*q. Let k be c(-20). Let p = 65 + k. Is p prime?
False
Let r be 5 + -2 - (-5 + 4). Suppose -3*u + u + 3946 = -r*s, 4*u + 4*s = 7892. Is u composite?
False
Let k(l) = 1 + 415*l**2 + 160*l**2 + 43*l**2 + 22*l**2. Is k(1) composite?
False
Let v = -79404 - -122385. Is v a prime number?
False
Let s = -20 - -2. Is 722/4*(-36)/s composite?
True
Let n = -115 - -105. Let l(a) = -a**3 + 13*a**2 - 7*a - 44. Is l(n) prime?
False
Suppose 0 = -5*f - 25, 0 = -4*u - 9*f + 10*f + 111769. Is u a composite number?
False
Suppose p - 4*p = -1431. Let x = 920 - p. Is x a composite number?
False
Let z(p) = 2488*p + 6 + 3 - 6. Is z(1) composite?
True
Let o(g) = -5*g**3 - 2*g**2 - 3*g - 2. Let p be o(-1). Suppose 7*c = p*x + 4*c - 648, -4*x + c = -640. Is x a prime number?
False
Let k = 1384 - 531. Is k a prime number?
True
Let d(t) = 9*t**3 - t**2 - 5*t + 2. Let v be d(4). Is (-11)/9 + 2/9 + v prime?
True
Let p = 3528 + 37. Let t = 5802 - p. Is t composite?
False
Let z = -21257 + 30708. Is z prime?
False
Let i be 0/(4 - ((7 - 3) + 4)). Suppose i = -m - 66 + 979. Is m a prime number?
False
Let f be -2*(2 - 26/(-4)). Let m = -114 + 58. Let d = f - m. Is d a prime number?
False
Suppose 5*q - 37 = 3*w, 0*q - 2*q - 4*w - 6 = 0. Suppose -q*k + 1630 = -2355. Is k composite?
False
Suppose -20*f = -16*f + 8. Is 53/(-2)*(f - 12) prime?
False
Let j(o) be the third 