prime number?
True
Let g = 1 - 2. Let a be 3/((-12)/(-160))*g. Let z = 49 - a. Is z prime?
True
Let b(d) be the third derivative of -d**6/120 + 11*d**5/60 + 5*d**4/6 - 13*d**3/6 + 25*d**2. Is b(-11) a composite number?
True
Let h = 70974 + -45979. Is h composite?
True
Let t = -24701 + 36832. Is t composite?
True
Let a(s) = -s**2 - 11*s - 4. Let v be a(-11). Let n(u) = 50*u**2 - 2*u - 2. Let w be n(v). Suppose 4*k - 4*j = 3*k + 193, j - w = -4*k. Is k a prime number?
False
Is 22/4 + -4 + 19033/14 composite?
False
Suppose 12 = 12*s - 8*s. Let b(n) = 3*n**2 - 8*n - 10. Let a be b(8). Is -3 - (2 - s)*a composite?
True
Let m(q) = 11*q**2 + 6*q + 3. Is m(-4) prime?
False
Let b(c) = 5*c**2 - 6*c + 379. Let u(q) = -11*q**2 + 13*q - 758. Let r(l) = 9*b(l) + 4*u(l). Is r(0) prime?
True
Let u = -10 - -7. Let q(j) = j**2 + 2*j - 3. Let t be q(u). Suppose -5*n - 3*w + 124 = t, 3 = -2*w + 3*w. Is n composite?
False
Suppose v - 5*k = 1008, 24*k - 25*k - 996 = -v. Is v composite?
True
Suppose 4*l + 612 - 2776 = 0. Is l a prime number?
True
Suppose -436*x + 427*x + 18999 = 0. Is x prime?
True
Suppose -104102 = -3*g + f, 3*g - 3*f - 52945 = 51167. Is g composite?
True
Let k(q) = -42*q - 3. Suppose 0 = 5*o + 10 + 10. Let n be 1/(-2)*(-24)/o. Is k(n) a prime number?
False
Suppose -4 = -o - 5. Let s be 8/(-4)*o - -71. Let n = s - 30. Is n prime?
True
Let k(j) = j**3 - 18*j**2 + 32*j - 61. Is k(22) composite?
False
Suppose f + 2*f - 30 = 0. Suppose -f = -2*a - 4*s, -3*a + 10 = a - 2*s. Suppose -a*v - 242 + 689 = 0. Is v prime?
True
Let m be 2*(-3 + -11*7). Let p = m - -239. Is p a composite number?
False
Suppose 2*i = -i + 6. Suppose -i*y = -5*y + 111. Suppose -21 = 5*u - 3*j - 122, u = -5*j + y. Is u composite?
True
Suppose 33*m - 4454758 = -44*m. Is m prime?
False
Suppose 5*i - 9*i + 48 = 0. Suppose -4*r - 3*f - 17 = i, -f - 39 = 5*r. Let n(z) = -z**3 - 2*z**2 + z - 5. Is n(r) a composite number?
True
Let v(z) = -10468*z - 87. Is v(-2) composite?
False
Suppose 0 = 4*t + 3*q - 6557, 2*t + 0*t - 2*q = 3268. Is t prime?
True
Let u = 23 + -20. Suppose u*g + g = 444. Is g prime?
False
Suppose -3*n - 190 = y, -2*y - 246 = 4*n + 3*y. Let f = n + 220. Let x = 81 + f. Is x a composite number?
True
Let r be 9/(-45) - (-17832)/10. Let a = -860 + r. Is a a prime number?
False
Let z = 7927 - -10562. Is z a composite number?
True
Let j be 6/(-18) + (-62)/(-6). Suppose 5*r - j = g, g + 8 = 3*r + r. Is 315 + r + (-2 - -4) composite?
True
Let p(q) = -2*q**3 + 7*q**2 + 4*q - 2. Let u be p(7). Let k = -26 - 158. Let r = k - u. Is r prime?
False
Let z(y) = y**2 + 14*y + 13. Let w be z(-14). Suppose 0 = 3*m - 5*m + 5*d - w, 12 = -3*m + 5*d. Is 2 - m - -47 - 2 a composite number?
True
Suppose 4*r - 4503 = 2237. Let p = r + -778. Is p composite?
False
Let q(o) be the second derivative of 2*o**4/3 + 13*o**3/6 + 7*o**2/2 - 4*o - 12. Is q(14) composite?
True
Let v(y) = 2*y**2 - 8*y - 27. Let f be 11/(11/12) + -1. Is v(f) prime?
True
Suppose 2*i - 5*t - 8994 = -t, -4*i + 18010 = 3*t. Is i a prime number?
False
Let u be 1/(2 + (-12)/8). Let b = u - -2. Suppose -4*a + 1186 = b*r - 3514, -5*a + 4704 = 4*r. Is r a prime number?
True
Let i be -304*((-4)/(-14) - (-413)/98). Let q = i + 3211. Is q prime?
False
Suppose -40437 - 20022 = -3*g. Is g a composite number?
True
Let z = 432 + -69. Suppose 0*h = h + z. Let n = -76 - h. Is n a composite number?
True
Suppose 0 = y - 61 - 93. Suppose -15*d + 17*d = y. Is d a prime number?
False
Let q = 6572 - -537. Is q composite?
False
Suppose 15*u - 10*u - 25 = 0. Suppose 0 = 5*c - v - 353, -2*v = -u*c + v + 349. Is c a composite number?
False
Is 5 - 1*((-2 - -5) + -10649) a prime number?
True
Let x = 8528 - 4057. Is x prime?
False
Let v(c) = -c**2 - 5*c - 4. Let o be v(-7). Suppose 3*j + 2573 = -3*g + 2*g, 4*j + 3438 = -5*g. Is j/(-9) - (-4)/o a composite number?
True
Suppose -10378 = -6*h + 9560. Suppose h = 5*z + 4*t, -3*t = -z + 4*z - 1992. Is z a prime number?
False
Let g(c) = -9*c - 5. Let y be 0 + -11 + 4 + -2. Let w = y - -3. Is g(w) a composite number?
True
Is 3*13762/(-21)*-6 + -7 a prime number?
True
Let i(v) = 13550*v + 3. Is i(1) a prime number?
True
Let n = -3 + 11. Suppose 0 = -i + h + 352, 870 = 2*i + 2*h + 170. Suppose -n*r + i = 55. Is r composite?
False
Let j = 11860 - 7149. Is j a prime number?
False
Let g = -5 - -9. Let k be 6/8 - (-493)/g. Suppose -6*h + 4*h + k = 0. Is h prime?
False
Suppose c - 16 = -3*i, -5*c + 24 = -i + 2*i. Suppose -c*f = -f. Suppose 3*m + 4*j = 231, -3*m + 231 = -f*m + 5*j. Is m composite?
True
Is (1312135/(-220))/(1*(-3)/12) a composite number?
False
Let j = 7 + -47. Is 16/j*-1*1345 composite?
True
Suppose -1574 = k - 7033. Is k a prime number?
False
Is 4 + 6797 - (-4)/6*3 a composite number?
False
Let w(p) = -p + 35. Let j be w(11). Let g(k) = 3*k + 4. Let l be g(-3). Let u = l + j. Is u a composite number?
False
Let o = -297 - -930. Suppose 5*g - o = 2*g. Is g a prime number?
True
Let u be (-218 + 7)/(2 - 1). Let h = u + 582. Is h a composite number?
True
Is 6 - (131501/(-6) + (-42)/252) composite?
True
Suppose 3*q = -3*i - 11847, 0 = -2*q + 4*i - 6365 - 1515. Is ((-15)/(-10))/((-3949)/q - 1) a prime number?
True
Suppose 18*g = 16*g + 1266. Suppose g = 3*c - 6*t + 3*t, -2*t = 5*c - 1055. Is c prime?
True
Let l(t) = -t**3 + t**2 - t + 1. Let r(u) = -5*u**3 + 18*u**2 - 15*u + 16. Let n(j) = -4*l(j) + r(j). Is n(11) a prime number?
False
Suppose -10667 = -11*m + 2412. Is m prime?
False
Suppose 0 = -4*y + 3*s + 53012, -s + 3*s = y - 13253. Is y composite?
True
Let t be 24/36 - (-20768)/6. Suppose -2*y + t = 4*i, -3*i - 3457 = -7*i - y. Is i a composite number?
False
Let f be (-90)/27*6/(-4). Let g = f - -5. Suppose 4*p = -5*a + 29, 2*p = -a + 9 + g. Is p a prime number?
True
Let s = -36 + 48. Is (2061/6)/(6/s) a composite number?
True
Let m = 5281 + -1080. Is m a prime number?
True
Suppose 1218 + 882 = -5*q. Let k = 725 + q. Is k prime?
False
Suppose -2051 - 14407 = -6*m. Is m prime?
False
Is 643*(-65)/(-7) - (-6)/21 composite?
True
Is -6 + 4 + -1 + 0 + 19742 composite?
False
Let l(u) = -2*u - 6*u**2 + 6*u + 6*u - 3*u + 11 - u**3. Is l(-9) composite?
False
Suppose -20 = -2*q - 2*q. Let c(n) = 6*n**3 - 10*n - 3. Is c(q) prime?
False
Suppose q - 4*q - 18 = -3*u, -u + 3*q = -8. Suppose 5*t = -5*c + 40, u*t - c + 0*c = 16. Suppose 8 = t*n - 84. Is n a prime number?
True
Let h = 18 + -21. Let z(g) = -2*g**3 - 4*g - 3. Let f be z(h). Let y = f + 34. Is y prime?
True
Let k(z) = -16*z**2 + 7*z - 29. Let g be k(-7). Let y = g - -2793. Is y composite?
False
Suppose b + 4 - 9 = 0. Suppose -2*o + 3*j = -24, 2*o + 8 = -0*o - b*j. Suppose -2*x + o = 0, 0 = 2*l - 3*x + 7*x - 3614. Is l prime?
True
Let v be (-8)/6*(-3)/2. Let w be 159*1 + (-12)/12. Suppose v*x + 0*x = w. Is x composite?
False
Suppose -3*j = -2*j + 77. Let v be 410/3 + 8/(-12). Let z = v - j. Is z prime?
False
Let r(o) = 39*o**2 - 9*o - 4. Let q be r(9). Suppose -q = 4*n - 6*n. Is n composite?
True
Let w(l) = 5*l**3 + 16*l**2 + 13*l - 163. Is w(15) prime?
True
Let q(n) = 71*n**3 - 10*n**2 + 4*n + 9. Is q(5) a prime number?
False
Let t(z) = 1686*z**2 - 2*z - 2. Let n be t(-1). Suppose -5*f + 2*s + 1683 = -0*f, s - n = -5*f. Is f composite?
False
Let t(g) = g**3 + 4*g**2 + 6*g + 6. Let z be t(-2). Suppose 5*l = 4*w - 2*w - 687, 1703 = 5*w + z*l. Is w a composite number?
True
Let y be (-1 + 0 - -2) + 0. Let w be (0 + y)*12/(-3). Let k(q) = 7*q**2 + 1. Is k(w) a composite number?
False
Let a be (3/(9/6))/1. Let j be (2 - a)/2 - -2. Is 2/4 + 189/j a composite number?
True
Let v(o) = o**3 - 19*o**2 + 25*o + 15. Let x = 20 - 2. Is v(x) a composite number?
True
Let k(y) = 62*y**2 - 25*y + 3. Is k(10) composite?
False
Let j(b) = 213*b + 37. Let a be j(7). Suppose -8*y + 800 = -a. Is y a composite number?
True
Suppose 12*g - 10*g - 10 = 0. Suppose -4*w + 5*m + 183 = 0, g*w - m = 2*m + 232. Suppose -5*p + 4*r = -82, w = -0*p + 4*p + 3*r. Is p a prime number?
False
Let i = -31 + -29. Let z be i/(-5) - (-2 - 1). Is 2/z + 11126/30 a composite number?
True
Let k = 1299 + -646. Is 3 + 0/(-1) + 3 + k a prime number?
True
Let p = 1538 + -1192. Is p a composite number?
True
Let r be 39/6*(1 - 3). Let d = 202 + r. Suppose 3*w - d - 84 = 0. Is w composite?
True
Let m(s) = s**3 - 