0 - s**4/3 + 5*s**3/3 - 12*s**2. Is i(-9) prime?
True
Let q = -40 - -14. Suppose 130 = -2*c + 120. Let m = c - q. Is m prime?
False
Let x = 4428 - 2821. Suppose 0 = -5*m + x + 2778. Is m a prime number?
True
Let g = 23603 + -15288. Is g composite?
True
Let h be -1202*(-4)/(-16)*4. Let g be (-1 + (-94)/8)/((-1)/(-36)). Let j = g - h. Is j a composite number?
False
Suppose 5 = v, -97 = -w + 2*v - 13. Let d = 157 + w. Is d prime?
True
Suppose 31 = -2*l + 7. Is (-1401)/2*(-1 + (-4)/l) a prime number?
True
Let w = -2036 - -7939. Is w composite?
False
Suppose f = 3*w + 77, w - f = 3*f - 33. Let q be (-13)/5 + (-15)/w. Is ((-2)/(-4))/(q/(-212)) prime?
True
Is 7898 + (-1)/(-3)*60/(-20) prime?
False
Let l(c) = c**3 + 3*c**2 - 2*c - 2. Let p be l(-3). Suppose -x + p*x - 48 = 0. Is (9 + 1)*24/x composite?
True
Suppose -3*f = -5*s + 30, -5*s + 3*f = f - 30. Is ((-9)/s + (4 - 2))*514 a composite number?
False
Let c = 3062 - 2145. Let j = c + 92. Is j composite?
False
Let q(p) = -p**3 - 8*p**2 + p + 5. Let j be q(-8). Let v be 0 - j - (-4)/(-2). Is 2/6*v*447 composite?
False
Let c(k) = k**3 + 1 + 8*k**2 + 0*k**3 + 4*k - 2*k**3 - 3*k. Is c(-6) composite?
False
Suppose 13*q - 102075 = -12*q. Is q a composite number?
True
Let p(l) = -l**3 - 11*l**2 - 12*l - 15. Let u be p(-10). Suppose 0 = -u*j - 5*m + 1890, j - 4*j = -5*m - 1142. Is j composite?
False
Let u = -26 + 28. Suppose -u*s = 4*n - 270, -4*s = -3*s - 2*n - 155. Is s prime?
False
Let v = -30596 - -46897. Is v composite?
False
Let g(t) be the third derivative of t**7/90 + t**6/144 + 2*t**5/15 - 4*t**2. Let o(i) be the third derivative of g(i). Is o(7) composite?
False
Is (15505856/(-104))/(-8) - 6/(-39) a composite number?
False
Suppose 15 + 7 = -2*c - 4*l, -l = -2*c - 7. Let g be 18/63 + (-93)/7. Is (2 + g)/(1/c) composite?
True
Let n(j) = -974*j + 1. Let k be n(-6). Let h = k + -2640. Is h a composite number?
True
Is 705 + (8/(-36))/(6/(-54)) a prime number?
False
Let w be 447118/12 + 7/42. Is (-2)/14 + w/42 a composite number?
False
Suppose -3*b - 4*c = -40, -40 = -5*b - 4*c + 16. Is (-3734)/(-8) - (-2)/b a composite number?
False
Suppose -3*m - 5*t + 13499 = 0, -6*m = -11*m + 3*t + 22453. Is m composite?
False
Suppose 0*o + 28 = 2*o. Suppose -w = 2*y + o, -3*w + 1 - 39 = 5*y. Is (w*1)/2 + 40 composite?
False
Let q(y) = -y**2 - y - 1. Let v(w) = -w**3 - 4*w**2 + 20*w - 4. Let j(n) = q(n) + v(n). Is j(-8) a prime number?
False
Let b(c) = 4*c**3 + 4*c**2 + 7*c - 7. Let p be b(8). Let m = -1476 + p. Is m a prime number?
True
Let j(w) = -2204*w**2 + w. Let f be j(1). Let x = -1052 - f. Is x a prime number?
True
Let v(k) = 30*k + 1. Let q be v(9). Let d = -84 - q. Let c = d - -500. Is c a prime number?
False
Let b(p) = 6*p**2 + 1. Let i be b(1). Let t = i - 9. Is (t + 1)*(-3 + -3) prime?
False
Suppose 0*o + 10 = 2*o, -2*r - 5*o + 1 = 0. Let m be 21/r - (-3)/4. Is (-821)/(((-3)/m)/(-3)) prime?
True
Let d(a) = -2*a**3 + 2*a**3 - 17*a**2 - 8*a - 3*a**3 + a**2 + 4*a**3 - 7. Let y be 248/14 + 2/7. Is d(y) composite?
True
Let b(r) = 10*r**2 - 3*r - 12. Is b(-23) a composite number?
False
Let g be (4/12)/((-7386)/(-7389) + -1). Let y = g - -2764. Is y composite?
True
Let q(k) = 45*k - 76 + 15 - 237*k. Is q(-12) prime?
True
Let r = -869 - -8908. Is r prime?
True
Let w = 11821 - -9852. Is w a composite number?
False
Let q be 6/(-12)*8/1. Let p(y) = -8*y**3 + 6*y**2 + 5*y - 1. Is p(q) a composite number?
False
Suppose 245 = -4*v - 699. Let l = -127 - v. Is l a prime number?
True
Let q(z) be the third derivative of 59*z**4/8 + 13*z**3/3 - 15*z**2. Is q(15) a prime number?
False
Let w(q) = -48*q**3 + q**2 - 7*q - 7. Is w(-2) prime?
False
Let l(d) = 815*d - 2. Let z be l(1). Let f = 1682 - z. Is f prime?
False
Suppose -1336 = -2*g - 3*q - 113, -619 = -g - 3*q. Let d = g + -353. Is d prime?
True
Let x be 3/(1/(8/(-12))). Let p be (-8294)/(-3) - x/6. Suppose i - 6*i + p = 0. Is i a prime number?
False
Let x(j) = -12*j**3 - 17*j**2 - 39*j - 29. Is x(-13) a composite number?
True
Suppose c = -4*w - 14, -3*c + w = -2*c - 6. Let d(p) = 26*p**2 + p + 7. Let a be d(5). Suppose a = -c*g + 4*g. Is g a composite number?
False
Let g be ((-24)/30)/(4/(-10)). Suppose y = 4*o - 444, y + 3*y = -g*o + 222. Suppose -5*t + 167 = 4*d, 3*t - d = 2*d + o. Is t a composite number?
True
Suppose l - 2*l + 2*b + 5501 = 0, 16 = 4*b. Is l composite?
True
Let a(y) = -365*y + 2. Let l be a(2). Let j = -211 - l. Is j prime?
False
Suppose 14*u - 37*u + 117047 = 0. Is u a prime number?
False
Suppose z - o - 1154 + 405 = 0, 3*z + 2*o = 2257. Is z a prime number?
True
Let t(s) = s**2 - s - 7277. Let n be ((3 - 5) + 2)*-1. Let l be t(n). Let v = l + 10294. Is v a composite number?
True
Let j(s) = -2313*s - 29. Is j(-2) composite?
False
Let q(r) = 2*r**3 + 13*r - 8. Let v(x) = x**3 + x**2 + x. Let a(o) = q(o) - 4*v(o). Is a(-7) composite?
False
Let n = -3909 - -7620. Is n a composite number?
True
Suppose -i + 0*i = 2*v - 67, -v + 4*i = -56. Suppose d + 4*w - 22 = 2*d, 0 = -4*d - 5*w - 88. Let j = v + d. Is j prime?
False
Suppose -w = 2*j + 695, 2*w = -8 + 2. Let n = j - -1639. Is n prime?
False
Let p = 5442 - -17227. Is p a prime number?
True
Let n(k) be the third derivative of 61*k**4/12 - 19*k**3/6 + 6*k**2. Is n(6) a prime number?
False
Let b(n) = 170*n - 2. Let a be b(1). Let p = -15 + a. Suppose 3*c - 4290 = p. Is c prime?
True
Suppose -15*t + 254671 = 35086. Is t composite?
False
Let r = -8 - -18. Let j = r + -7. Is 3 + 215 + j/(-1) composite?
True
Let s(a) = a + 2. Let w(o) = -o**3 + 6*o**2 + 6*o + 7. Let i be w(7). Let f be s(i). Suppose h = -f*v - 2*h + 42, 0 = -3*v + 5*h + 25. Is v prime?
False
Let f be (-1)/2 - (-49)/14. Let k be (-1660)/(-14) + (-4)/7. Let m = f + k. Is m a prime number?
False
Let h(t) be the third derivative of -t**5/60 - t**4/6 + 2*t**3 - 9*t**2. Let p be h(-5). Let u(m) = 27*m - 22. Is u(p) composite?
False
Suppose 1158 = -j + 4*j. Suppose 1847 = 7*y - j. Is y a composite number?
True
Let c(v) = v**3 + 6*v**2 + 5*v + 2. Let s be c(-5). Suppose -s*j + 149 = -41. Let i = 154 - j. Is i composite?
False
Suppose 0 = -x + 3*u + 7, 4*x - 4*u = -2*u - 2. Let b be 6 + -1 - (-1 - x). Suppose -b*k + 4*v = -3*k - 161, 2*k + 4*v = 262. Is k a composite number?
True
Suppose -3*p + 2 + 10 = 0. Suppose 9*v - p*v = 15. Suppose -815 = -5*m - 2*u, v*m + 2*u - 428 = 65. Is m a composite number?
True
Suppose 0 = -4*u - 20, -2*q = -5*q - 5*u + 8729. Is q prime?
False
Is 3/(-24) + (-66468)/(-32) prime?
False
Suppose 5*q - 4*o - 38765 = 0, -3*q - 2*o = -30825 + 7566. Is q a prime number?
True
Let k = -230 + 457. Let a = k - -24. Is a a prime number?
True
Suppose 0 = 58*v - 72*v + 184310. Is v composite?
True
Let v(q) = 16*q**2 - 2*q + 5. Let z be v(-7). Let a = -412 + z. Is a a prime number?
False
Let x(g) = 29*g**3 - 5*g**2 - 7*g - 12. Is x(5) composite?
True
Let c = -2 - -5. Suppose -u - 228 = -5*s, -3*u - 636 = -0*s - c*s. Let w = u - -465. Is w a composite number?
False
Let c = -314 + 1521. Is c prime?
False
Suppose 5*m = 6*m + 81. Let v = 123 + m. Let k = 76 + v. Is k a prime number?
False
Let p(q) be the first derivative of 21*q**4/4 - 2*q**3/3 + q**2 - 3*q - 96. Let f be 4/10 + (-8)/(-5). Is p(f) composite?
True
Let q(b) = b**3 - 11*b**2 + 10*b + 9. Let x = 3 - -7. Let u be q(x). Suppose -2*o = -u - 21. Is o a composite number?
True
Suppose 0 = 41*d - 43*d + 7802. Suppose -2*r - 5*n + 8297 = 515, 0 = -r - 5*n + d. Is r composite?
False
Suppose 399 = -3*d - 87. Is 159 + (2/(-14) - d/(-42)) a prime number?
False
Suppose -29*z = 43632 - 155195. Is z composite?
False
Let k be (-3225)/(-7) - (-4)/14. Suppose 0*q - q - 2 = 0, -s - 3*q = -k. Is s prime?
True
Let i(h) = 29*h - 2. Let a be i(14). Suppose -u - u = -a. Is u composite?
True
Let l(c) = 3273*c**2 - 163*c + 1. Is l(-3) prime?
True
Suppose -3*y + y = -8. Suppose -4*q + 4602 = s, -q - 2*s = y*q - 5751. Is q a prime number?
True
Suppose -t + 2*b = -3*t + 458, 1142 = 5*t + 2*b. Suppose -34 = 2*k - t. Is k composite?
False
Let q(x) = -4*x**2 + 3*x**2 - 3 + 18 + 19*x. Let j = 476 + -462. Is q(j) a prime number?
False
Suppose -5*f + 17584 = -f. Let t = f - 2165. Is t composite?
True
Suppose 0 = -10*j + 5*j + 26525. Is j composite?
True
Let q(n) = 11*n**2 + 6*n - 9. Let c be q(3). Suppose -