s m a prime number?
True
Let s = 12008 + 8279. Is s a prime number?
True
Let w be (8 + -7)*(0 - 0). Suppose k = -0*k - 5, w = 3*y + 3*k + 3. Suppose -3*z - 2*u + 211 = 0, 355 = -0*z + 5*z + y*u. Is z a composite number?
False
Let n = -60 - -61. Is (n + 4/(-6))/((-2)/(-474)) prime?
True
Is (-1317)/4*(-40)/6 prime?
False
Let i(b) = 14*b**2 - 4*b + 7. Let x(d) = -d**3 + 6*d**2 + 2. Let p be x(6). Suppose 4*h + 4*r + 4 = -16, -p*h - 13 = -r. Is i(h) composite?
True
Let g be -2*1/(-4)*1036. Suppose 0 = 5*i + g + 27. Let a = -35 - i. Is a composite?
True
Suppose -4*s + s = 2*v - 192944, v - 96475 = -3*s. Is v a prime number?
True
Suppose -s - 3*s + 2*q + 640 = 0, -2*q + 314 = 2*s. Let v(z) = -14*z**2 - 86*z + 7. Let g be v(-6). Let h = g + s. Is h composite?
True
Let w(d) = -5*d + 14. Let n(x) = x + 3. Let o be n(8). Let m be w(o). Let z = m - -62. Is z a composite number?
True
Let m = 6007 - -1662. Is m a composite number?
False
Let u be (-429)/(-88) - (-1)/8. Let m = u - -3. Is ((-413)/(-2))/(m/16) prime?
False
Let t(x) = -2*x**3 + 3*x**2 + x - 6. Let q be t(2). Let n(w) = -3 + 0*w + w**3 - 3*w + w + 9*w**2. Is n(q) a prime number?
False
Let u(x) = 102 - x - x - 104 + 52*x**2. Let n be u(2). Is 2*6*n/8 prime?
False
Let s(q) = -q - 7. Let u be s(-5). Let g be (-3 - u) + 224 - 1. Suppose g = 2*i + 44. Is i composite?
False
Suppose 0 = -6*m + 4*m + 12. Let i be 3/m + (-18)/(-4). Suppose 2*w - 821 = i*r, -w - 3*r - 1649 = -5*w. Is w composite?
True
Suppose 2*v + 202 = -g, 389 = -0*g - 2*g - v. Let r be (-4)/(16/(-12)) - -6. Is -3*3/r - g prime?
True
Suppose 6*k + 632 - 2654 = 0. Is k prime?
True
Let r(n) = 2*n - 2. Let l(f) = -2*f + 2. Let q(y) = -3*l(y) - 2*r(y). Let s be q(10). Suppose 26 + s = 4*w. Is w a prime number?
True
Suppose -3 = -3*x - h, x + 4*h - 8*h - 14 = 0. Let d(k) = -k**3 + 4*k**2 + 6*k + 5. Let o be d(5). Is ((-20)/o)/(x/(-85)) a prime number?
False
Let y = 16 - 16. Suppose -w = -y*w - 4. Suppose 4*k - 630 = -3*m, 0 = w*k - m - 420 - 218. Is k prime?
False
Let w = -45 + 47. Suppose 0 = -w*g - 25 + 179. Is g a composite number?
True
Suppose 65 = 5*b + 40. Suppose 37 + 133 = b*k. Is k prime?
False
Is ((-18)/2 - -10)/((-1)/(-49615)) a composite number?
True
Suppose 0 = 3*d - d + 5*k - 67, 2*d = k + 61. Suppose -123 = -4*l + q, 4*l - d = 4*q + 101. Suppose a - 23 = l. Is a a prime number?
True
Let k = 16032 + -10621. Is k a composite number?
True
Let i(s) = 5*s**2 + 4*s - 8. Let g be i(-7). Suppose 5*m + 500 = 5*z, 5*m + g = 3*z - z. Is z a prime number?
True
Let a(n) = 591*n**2 - 12*n - 4. Is a(3) a composite number?
False
Let s(m) = -4 - 7 + 9*m - 5 + 2. Is s(4) a prime number?
False
Is (-146411)/(-8) - (-318)/(-848) prime?
True
Let z(u) = u**2 - 3*u + 2177. Is z(0) prime?
False
Suppose w + 2*s = 1795 - 269, 4*w = s + 6113. Let o = w + -914. Is o composite?
True
Let b(q) = -2038*q**3 + 3*q + 4. Is b(-1) a prime number?
True
Suppose 5*u = -12 - 13, 0 = 4*f + 5*u + 13. Suppose 0*d + d + 222 = -w, -f*d = -5*w - 1134. Let p = 106 - w. Is p a prime number?
True
Suppose -2*w - 4 = 2*w. Is (2521 - (w + 4)) + -3 a prime number?
False
Is (310251/(-228))/((-2)/24) a prime number?
False
Suppose -2*b + 2386 = -3*f + 3*b, 4*f + 3228 = -5*b. Let i = 1251 - 2804. Let p = f - i. Is p composite?
False
Suppose -4*o - l + 19 = -0*o, 0 = -2*o + 4*l + 14. Suppose 0 = o*z - 0*z - 3175. Is z a prime number?
False
Let f(z) = 26*z**2 + 7*z - 41. Is f(26) prime?
False
Suppose -1 = -3*g + 4*j, -2 + 14 = 2*g + 3*j. Suppose 6*f = g*f - 141. Let l = 82 + f. Is l a prime number?
False
Let i = 0 + -1. Let o(g) = -1057*g - 1 + 0 + 871*g. Is o(i) prime?
False
Suppose 3*u = 2*n - 2773 - 5434, 2*n + 5*u = 8247. Is n a prime number?
True
Let m(c) be the first derivative of -511*c**2/2 + 4*c - 3. Let j be m(2). Let q = j + 1433. Is q a prime number?
False
Suppose -74*n + 55*n + 801173 = 0. Is n prime?
False
Let k = 36 - 22. Let u = k - 12. Suppose -3*t = -u*a - 349, 0*t + a - 447 = -4*t. Is t a prime number?
True
Let k = 1624 + 697. Is k a composite number?
True
Let f = 4547 - 2023. Suppose -f = -5*u + u. Is u a composite number?
False
Suppose 20 = 3*t - 4. Let g be (63/(-35))/(6/(-20)). Suppose -g*b + t*b - 18 = 0. Is b prime?
False
Let g(j) = -j**3 - 11*j**2 - 6*j + 7. Suppose -q + 0 - 7 = -n, 0 = -3*n - 5*q + 61. Suppose 2*a - n = -36. Is g(a) a prime number?
True
Suppose -4*d - 27 = 3*b - 67, -2*b = -4*d + 40. Suppose -d = x - 3*x + m, -5*x = -5*m - 25. Let k(c) = 11*c**2 - 5*c - 3. Is k(x) composite?
True
Let r(b) = 10*b**2 - 4 + 12 - 4*b**3 + 3*b**3. Is r(9) prime?
True
Let k be -2 + 3/((-6)/(-10)). Suppose k*p = 6*p - 3. Suppose -2*z - 3*f = -16, p = -2*z - 4*f + 13. Is z prime?
False
Suppose 0 = 22*c - 248960 - 88102. Is c prime?
False
Let t = -7 + 12. Suppose 2*z = -3*r + z + 1576, -t*r - 5*z = -2610. Suppose -3*g - 92 = -r. Is g prime?
False
Suppose 182625 = 2*h + 48043. Is h a prime number?
False
Let p = -1539 - -8413. Suppose -3*n - 3*k = -0*k - 10311, -5*k + p = 2*n. Is n composite?
True
Let u = -1 - -4. Let y be 236/u + 2/6. Suppose 0 = -5*t + 3*z - 5*z + 193, -2*t + z + y = 0. Is t composite?
True
Let j(s) be the second derivative of s**7/840 - s**6/60 + s**5/60 - 13*s**4/24 + 4*s**3/3 + 6*s. Let a(t) be the second derivative of j(t). Is a(10) prime?
False
Suppose 5*d - 81 = 4. Let s = 27 - d. Is (-12)/(-5 - -2) + s prime?
False
Let i(t) = -t**2 - t. Suppose 3*l - 5 = -2*l. Let k(b) = -43*b**3 - b - 1. Let r(p) = l*i(p) - k(p). Is r(2) a composite number?
True
Let b = 128220 + -65161. Is b a composite number?
False
Suppose -q - 4*r = -5397, -3*q - r + 16155 = 2*r. Is q a prime number?
True
Let f = -18 - -20. Suppose f*k = 6 + 2. Suppose k*c - 2709 = 1583. Is c prime?
False
Let z(s) = -3*s**2 - 55*s**3 + 110*s**3 + 11*s + 31 - 57*s**3. Is z(-10) composite?
False
Suppose -4*a - 19 = -3*o + 2*o, -4*a - 127 = -5*o. Let j be ((-1)/(-2))/(2/20). Suppose x - o = -5*h, -j*x - 16 = h - 55. Is x prime?
True
Is (1 + -5 + 1547)/1 prime?
True
Suppose -58*l = -5*d - 57*l + 100504, 0 = 4*d + 2*l - 80406. Is d a composite number?
False
Suppose 5*z + 1 = -n + 18, -3*n - 9 = -5*z. Suppose z = 4*t + 19. Let d(c) = -4*c - 13. Is d(t) a prime number?
True
Suppose r = -r + 5*l + 20, -12 = -5*r + 3*l. Let p(y) = y**3 - y**2 + y - 1. Let b(t) = 2*t**2 - t + 448. Let f(s) = b(s) + p(s). Is f(r) composite?
True
Suppose 6*p + 42187 = 282373. Is p prime?
True
Let s = -6099 - -10520. Is s composite?
False
Let f = -2 - -2. Suppose -30*m + 26*m + 1564 = f. Is m a prime number?
False
Let b be (-6)/(-10) - 153/(-45). Suppose -b*y + 260 - 28 = 0. Is y composite?
True
Let v(q) = 10*q + 9. Let h be (-3)/(2 - (-11)/(-4)). Let t be v(h). Suppose 3*s - t - 56 = 0. Is s a prime number?
False
Let x(u) = -4*u - 2. Let q be x(-1). Suppose q*g + 3*g = 20. Suppose -l - n + 71 = -g*n, -2*l - 3*n = -106. Is l composite?
False
Let c = 20 - 17. Suppose 0*m + c*y = m + 3, -2*m = 3*y - 3. Suppose m = 4*h + 3*p - 34, -3*h - 4 = -4*h - 3*p. Is h a prime number?
False
Let q be 282/(0/4 - -2). Let u = q + -254. Let v = 376 + u. Is v prime?
True
Let d(j) = -550*j**3 + 2*j + 1. Is d(-2) a prime number?
True
Let g = 1298 - 2224. Let f = g + 1995. Is f a composite number?
False
Let c be ((-4)/(-14))/((-8)/(-56)). Suppose q - 935 = -4*q - c*o, 0 = -2*q - o + 373. Let k = 328 + q. Is k a composite number?
True
Let w(y) = -32*y + 2. Let a be w(1). Let k be (-2)/6 + (-7090)/a. Suppose -2*j = -k - 162. Is j a composite number?
False
Suppose 5*p - 2736 = -f + 6275, p = 4*f + 1819. Let m = -86 + p. Is m a composite number?
True
Let f be 7 - (-5 - (-2 + 1)). Let s(u) = 2*u**2 - 3. Is s(f) a prime number?
True
Let x = 723 - -723. Suppose -n = -4*n - x. Let t = -159 - n. Is t a prime number?
False
Let r be (-1)/(((-12)/9)/4). Suppose 4*w = -11 + r. Is -3 - (412/w)/1 a composite number?
True
Let g(c) = c**3 + 9*c**2 + c + 7. Suppose -2*v - 7*v = -72. Is g(v) prime?
True
Suppose -45*f + 291691 = -167804. Is f a prime number?
True
Suppose 14*w = 34605 + 7885. Is w a composite number?
True
Let m = 4267 + -996. Is m prime?
True
Is 1 - (-2*1282 - 4) composite?
True
Let s be 0 + (8 - (-2 - -2)). Suppose -s*v + 5*v = 2085. Let i = -396 - v. Is i composite?
True
Let k(h) = -2*h**2 - 21*h + 19. Let w be k(-11). Suppose -4*i - 3*j