 c(-14) prime?
True
Let d = 198 + -31. Suppose -305 - d = -4*o. Is o a composite number?
True
Let f(m) = 14*m**2 - 9*m - 1. Is f(11) a composite number?
True
Let s be ((-347)/(-2))/(3/6). Suppose a - s - 609 = 0. Let y = 1645 - a. Is y a prime number?
False
Let b(r) be the first derivative of r**6/360 + r**5/12 - r**4/12 + r**3 + 3. Let a(m) be the third derivative of b(m). Is a(-13) prime?
True
Let s = -42 + 47. Suppose 1427 + 528 = s*l. Is l prime?
False
Let p be (2/4)/((-2)/4). Let m be (6/21)/(p/(-7)). Suppose -f + 1947 = m*f. Is f prime?
False
Suppose -5*v - 3*l - 55 = 0, 0 = 5*v - 3*l + 25 - 0. Let r(a) = 2*a**2 - 11*a - 17. Is r(v) composite?
False
Let o(i) = 2*i + 11. Let z be o(-7). Let h be -292*(z - -6)/(-6). Is 9 + h + 2*1 prime?
True
Suppose 3*h + 15 = 0, -3*a + h + 15 = 4. Suppose -2*n - 68 = -a. Is ((-1192)/6)/(22/n) prime?
False
Let g be (-1*(5 - -2))/1. Let k = 9 + g. Suppose -2*m + 8 = -2*r + 136, 0 = k*r + 3*m - 133. Is r a prime number?
False
Suppose -6*g = -4*g + 3*g. Suppose -3*v + 4*x + 951 = 0, -2*v + x + 663 - 29 = g. Is v composite?
False
Let m(r) = -r**3 + 4 + 5*r**2 - 1 - 4*r + 0*r**3. Let t be m(4). Suppose 8*k - t*k = 565. Is k a prime number?
True
Is 2849 - 21 - (-1 + -4) prime?
True
Let c = -14 - -21. Suppose -c*b = -b - 9258. Is b prime?
True
Let d(g) = 67*g + 13. Let l(r) be the third derivative of 17*r**4/6 + 13*r**3/6 + 2*r**2. Let q(f) = 4*d(f) - 3*l(f). Is q(4) composite?
False
Suppose -8365 = -0*a - 5*a. Is a composite?
True
Suppose 0 = 4*v - 16, 6*x - 11*x + 114029 = v. Is x a composite number?
True
Let z(q) = -2*q + q**2 + 3*q + 13 + 0*q. Let f(k) = -k**3 - 2*k**2 - 6*k - 3. Let y be f(-2). Is z(y) a composite number?
False
Let g be 3/(-6)*(-2 - -2). Let s = g + 3. Is (s*-1)/(12/(-276)) a prime number?
False
Is (3 + 3 - 3143)*-1 a prime number?
True
Suppose -5*w + 9*v = 11*v - 22431, 3*w - 4*v = 13469. Is w composite?
True
Let q = -671 + 250. Let u(y) = -9*y**2 - 168*y + 87. Let j be u(-25). Let t = q - j. Is t composite?
True
Let x(m) = -m**3 - 4*m**2 + 3. Let k be x(-3). Let w be 4/k - (-110)/30. Suppose w*c - 317 = -116. Is c a prime number?
True
Let n = 26 + -20. Suppose -n*d + 3*d = -222. Suppose 0*u = u - d. Is u a prime number?
False
Is (-1271647)/(-39) - (-12)/(-9) a composite number?
True
Let k = -27 + 44. Suppose -2*l + 5*m - 15 = 6*m, 24 = -3*l - 3*m. Is l/2*-2*k a composite number?
True
Suppose -473*a - 158408 = -481*a. Is a a composite number?
False
Let c(k) = 31*k**2 - 18*k + 39. Let z be c(15). Suppose 0 = 10*i - z - 1166. Is i composite?
True
Suppose 3*o - 33 = -6. Is 19*o + (-8 - -4) prime?
True
Let k be ((-10)/25)/((-2)/70). Is (-1039)/(-5)*(k - 9) composite?
False
Let o = -901 + 1602. Is o a prime number?
True
Let g = 6088 + 9727. Is g composite?
True
Let d(q) = 2*q - 13*q**3 - 4 - 3*q + 5*q + 4*q**2 - 3*q. Let c be d(-4). Suppose 0 = 6*m - c - 450. Is m a prime number?
True
Suppose -2*d - 58662 - 69023 = -3*k, 85140 = 2*k + 2*d. Is k a composite number?
True
Suppose -10*k + 6*k - 596 = -4*n, 0 = -3*k. Is n prime?
True
Let o(w) = -2*w + 4*w - 3*w + 2*w - 5. Let r be o(7). Suppose -s = t - 27, -103 = -4*s - r*t - t. Is s a composite number?
True
Let w(k) be the second derivative of 3*k**5/20 - k**4/12 + k**3/2 - 2*k**2 - 11*k. Is w(3) a prime number?
False
Let c(r) = -9*r**3 + 8*r**2 - 15*r - 41. Is c(-7) a prime number?
False
Let z(k) = 109*k**2 + 6*k + 105. Is z(-8) a prime number?
False
Is (-679 - -17)/((-4)/14) prime?
False
Let f(v) = -v**3 - 14*v**2 + 10*v - 1. Let l be f(-15). Let c = 105 - l. Is c a prime number?
True
Let a(x) = -3*x + 3. Let i(f) = -13*f + 12. Let c(b) = -9*a(b) + 2*i(b). Let p be c(3). Suppose -3*k - 4*w = -161, 5*k - 3*w = -p*k + 307. Is k composite?
False
Let q be 20/8*14/5. Suppose -q*c + 4*c + 6 = 0. Suppose 2*v = -c*o + 234 + 154, -779 = -4*v - 5*o. Is v a prime number?
True
Let w(j) = -29*j**3 - 4*j**2 - 2. Suppose -10*o - 27 = 3. Is w(o) a prime number?
False
Let w(a) = -134*a - 5. Suppose -32 = 6*d - 2*d. Is w(d) composite?
True
Let y be (-77)/(-15) - (-40)/(-300). Suppose 2*s - 3*u = 76, y*s - u - 179 = u. Is s a composite number?
True
Let x(j) = 2*j**3 - 43*j**2 - 49*j + 143. Is x(33) composite?
True
Let k = 49251 + -23584. Is k a prime number?
True
Let c(s) = s**2 - 8*s. Let b be c(8). Suppose -w = -b - 3. Is w + 0 + 744 + -14 a composite number?
False
Is (-5)/4 + 1225899/76 composite?
True
Is (-20692)/(-18)*3 + 2/6 prime?
True
Let d be 1/1 + -2 + -4. Let a(t) = t + 5. Let n be a(-5). Is n + 252 + (-4 - d) a composite number?
True
Let v(z) = -740*z - 78. Is v(-5) prime?
False
Let b(n) be the first derivative of -n**4 - 2*n**3 - 5*n**2 - 7*n - 5. Is b(-5) a composite number?
True
Let p be 32/24 + (-109)/3. Let q = 292 - p. Is q prime?
False
Suppose 38*q - 922031 = 470403. Is q a composite number?
False
Let u be (-1 + (-39)/6)*(-1572)/9. Let k = u - 641. Is k prime?
False
Let r be (-63)/(-147) + 10231/7. Let y be r/6 + 11/33. Let n = y + -101. Is n prime?
False
Suppose -5*b - 5646 = -8*b. Suppose -2*n + 5092 = 4*f, 614 = -f + 2*n + b. Suppose -2*d + f = 4*c + 244, -3*c + 771 = -2*d. Is c a composite number?
False
Suppose 7*k - 10 = 6*k. Suppose 0 = 6*n - k*n + 940. Let s = 354 - n. Is s prime?
False
Suppose -3*u + 5*w + 16 = 0, -2*w - 19 = -5*u - 5. Suppose u*h - p + 0*p = 499, 3*h - 750 = 3*p. Is h a composite number?
True
Let o = 26 - 24. Suppose o*l + 1 = 7. Is 61*(l - 0) + 2 composite?
True
Suppose -10*s = 15*s - 158725. Is s prime?
False
Suppose -w + 112 = 3*k - 4115, -5*k = -4*w - 7045. Is k composite?
False
Let n(t) = t**3 - 40*t**2 - 108*t + 135. Is n(44) prime?
False
Suppose 0 = -5*i + 4*y + 60, 3*y = 5*i - 31 - 24. Suppose 7*q + 133 = i*q. Suppose -2*o - 164 = -3*w, 0 = 5*w + 5*o - 182 - q. Is w prime?
False
Let x be (-9)/(-27) - 8/6. Let q be (-2)/(-4)*0/1. Is 3755/5*(q - x) a composite number?
False
Suppose 0 = -5*z - 15, -4*q + 5223 = -q + 4*z. Is q a prime number?
False
Let v(z) = 190*z**3 + z**2 + 3*z - 3. Let l(k) = k**2 - 1. Let h(d) = -l(d) + v(d). Let w = 10 - 9. Is h(w) prime?
True
Let i be (0/5 - (-15)/6)*300. Let b = 1519 - i. Is b composite?
False
Suppose 2*k - 60180 = -4*c + 570, -5*c - 2*k + 75935 = 0. Is c a composite number?
True
Let m(q) = -101 + 95 - 555*q + 1277*q + 819*q. Is m(1) composite?
True
Let v(m) be the second derivative of 137*m**5/20 + m**4/12 - m**3/2 + 5*m**2/2 + 10*m. Is v(2) prime?
False
Suppose 3*c - 3 = -l + 11, -5*l + 10 = -5*c. Suppose 2*x - c*z + 1588 = 3*x, -4756 = -3*x - z. Is x prime?
False
Is -211*(0 + 6)/(-6) a composite number?
False
Let g(t) = -78*t**3 - 15*t**2 + 11*t + 7. Is g(-6) prime?
True
Is (10 - (7 + 9)) + 7621 a composite number?
True
Suppose -4*h = -131 - 45. Let b = 205 - h. Is b composite?
True
Is (-12)/48*(-496589 + 4 + -3) a composite number?
False
Suppose -4*i + 227 = 47. Let g be 4/6*i/6. Suppose -5*f + y + 1295 = 3*y, g*f + y - 1290 = 0. Is f a composite number?
False
Let h(j) = -70*j**2 - 4*j + 1. Let x(s) = 71*s**2 - 1 - 1 + 6*s - s. Let t(i) = -3*h(i) - 2*x(i). Is t(-1) prime?
True
Let m = -22 + 25. Is 1*(m - (-1359 + 1 + 0)) composite?
False
Let x(l) = -34*l - 7. Let w be x(-5). Suppose -113 = -2*o + 4*c + w, -3*c - 15 = 0. Let q = 273 - o. Is q composite?
True
Let h(o) = -o**2 + 3*o - 4. Let c(z) = 3*z**2 - 7*z + 8. Let w(x) = -2*c(x) - 5*h(x). Let d be w(0). Suppose g - 3*g + 174 = d*k, 5*k - 5 = 0. Is g prime?
False
Suppose 110280 + 148293 = 21*u. Is u composite?
True
Is -1 + 4 + (-9)/(27/(-5214)) composite?
False
Suppose 0 = -2*f + w - 4109, f = 3*f - 3*w + 4111. Let r = f - -3711. Is r a composite number?
False
Let o(w) = 2*w**2 - 13*w + 2. Let x(q) = q**3 + 5*q**2 - 10. Let i be x(-4). Let j be o(i). Is (-3460)/(0 + j) - -4 a composite number?
True
Let t = 10380 - 889. Is t a prime number?
True
Let o(q) be the first derivative of 18*q**2 + 19*q + 9. Is o(8) a prime number?
True
Suppose -2*i + 25 = 5*w, -3*w = 5*i + w - 20. Let s = i - -6. Suppose -2*l = 10, 283 = -4*k + s*k - l. Is k a prime number?
True
Is (-1406 - 12)/((-10)/145) prime?
False
Let f be 311 + -1*(2 + -5). Let w = f - 180. Is w a prime number?
False
Let k be (-5576)/(-28) - 1/7. Let i = 7 - k. Let g = 611 + i. Is g a prime number?
True
Let d(j) = -23*j**3 + 3*j**2 + 3*j - 4. Let c be ((-6 + -3)/(-3