m(c) a composite number?
True
Let o be (-3)/(-21) - 640/70. Is (-5 - o)*((-6)/(-4) + -1) a prime number?
True
Let u = 176 - -131. Is u prime?
True
Let p(i) = -i**2 + i + 10. Let m be p(0). Let b be 34/m - (-6)/(-15). Suppose 3*l - b*f = 174, 2*f + 0*f + 222 = 4*l. Is l a prime number?
True
Let l be (-12)/8*(-28)/3. Let w be 96/42 - 4/l. Suppose 0 = -4*h + 12, o = -o + w*h + 724. Is o a prime number?
False
Let i be 8/16 - (-4079)/2. Suppose 3*n = 7*n - i. Suppose 0 = 9*m - 3*m - n. Is m a composite number?
True
Let q(o) = 9*o**3 - 31*o**2 - 7*o - 5. Is q(6) a composite number?
True
Let t(d) = 1326*d - 13. Let k(w) = w + 1. Let x(m) = 6*k(m) - t(m). Is x(-4) a composite number?
True
Let v(f) = 36*f**2 + 26*f + 27. Is v(-22) composite?
False
Let a(u) = u - 12. Suppose 2*b - 4 = 14. Let q be a(b). Is -1*((-440)/4 + q) composite?
False
Suppose 2*n = -n + 4*m + 18, 0 = -m - 3. Suppose h = n*h - 194. Is h prime?
False
Let f(w) = -6*w - 1. Let l be f(-1). Suppose -3*r - 5*o = -237, 8*o - 3*o = l*r - 395. Is r a prime number?
True
Suppose 0*h = 3*h + 3*m + 6210, -5*h - 3*m - 10348 = 0. Let c = -546 - h. Is c a composite number?
False
Suppose 0 = 2*r + 2*r - 5*o - 444, 4*r = o + 444. Suppose 534 = -5*w - r. Let d = -70 - w. Is d composite?
False
Is 6/9*27/(-36)*-1516 a composite number?
True
Suppose 6*r + 15 = 3*r, 4*p - 37 = 5*r. Suppose -p*l - 3 = 3*u, -2*l + 4 = 3*u + 6. Is 177/6*14 - u a prime number?
False
Let x = -30026 - -44809. Is x prime?
True
Let n(g) = 379*g + 5. Let l be n(-2). Is 14/(-21)*l/2 composite?
False
Let a(j) be the second derivative of j**7/120 + j**6/720 - j**5/120 + j**4/2 - 2*j. Let l(o) be the third derivative of a(o). Is l(3) composite?
False
Let t = 2 - 0. Suppose -t*x = 3*x + 700. Let j = 217 + x. Is j prime?
False
Let c = 11 + -11. Let t(z) = z**2 + z - 53. Let h be t(c). Is 1 - (h + -1 + 2) a composite number?
False
Suppose -5*j - 4*p + 22097 = 0, 0*j - 8836 = -2*j - 3*p. Suppose 0 = -14*a + j + 8921. Is a a composite number?
False
Suppose -2*b - 547 - 351 = 0. Is ((-12)/6)/(2/b) prime?
True
Suppose 58*b - 65*b + 86737 = 0. Is b a composite number?
False
Suppose r + 4*r + 5*m - 135300 = 0, -135292 = -5*r + 3*m. Is r composite?
False
Let f(y) be the second derivative of 182*y**3/3 + 15*y**2/2 - 2*y. Is f(4) composite?
False
Let f = 13 - 11. Let x be (33/6)/(f/(-4)). Let z = x + 44. Is z composite?
True
Let r = 23737 + -16238. Is r a composite number?
False
Let k be 82 - (-1 + -2 + 1). Suppose 13 = -f + w - 5, -3*w + 28 = -f. Let n = k - f. Is n a composite number?
False
Let y = 177866 - 126184. Is y a prime number?
False
Is 5566638/990 - 4/(-30) prime?
True
Let l(x) = -x + 163. Let g(n) = 163. Let w(b) = 3*g(b) - 2*l(b). Is w(0) prime?
True
Suppose -2*q - 4*q + 12 = 0. Suppose 0*u - q*u + 4 = -3*k, 2*u - 4*k = 2. Suppose u*v - v = 580. Is v prime?
False
Suppose i - m = -1 + 7, -2*i - m + 6 = 0. Let u be (-3)/(-6)*i + 0. Suppose -u*g = -7*g + 395. Is g a composite number?
False
Is 2 - ((-12)/(-15) - (-54392)/(-40)) a composite number?
False
Let b(r) = 24*r**2 + 38*r + 14. Let i be b(-17). Suppose -2*x - 2*y + i = 0, 10 = -5*y - 5. Is x a prime number?
False
Let u(a) = -3*a**3 + 6*a**2 + 8*a - 7. Let y(w) = w**2 + w - 1. Let i(b) = u(b) - 2*y(b). Let l be i(7). Let r = 2277 + l. Is r composite?
False
Suppose -6 = 2*g - 14. Suppose 2*k + k + g*y = 271, k - 5*y = 122. Is k prime?
True
Let o(t) = t**2 + 18*t + 24. Let k be o(-16). Let i(y) = y**3 + 10*y**2 + 15*y + 5. Is i(k) a composite number?
False
Let s = 9 - 2. Let r(c) = 26*c**2 - c - 8. Is r(s) a composite number?
False
Let m(w) = -29 + 12 - 65*w + 11. Is m(-5) prime?
False
Let u be (2 - 3 - 2) + (-30)/(-5). Suppose 0 = -4*l - g + 8883, -2*l + u*g + 11108 = 3*l. Is l a composite number?
False
Suppose -j - 3*j + 100 = -5*s, 4*j - 84 = 4*s. Let y = s + 15. Is 7 + 101 + (-3)/y composite?
True
Suppose 451314 = -19*w + 37*w. Is w a prime number?
True
Suppose -14 = -3*n - 5*b, 17*b - 16*b = -2*n. Suppose 0 = 5*q - z + 147, 2*q + 3*z - 81 = 5*q. Is n/(-12) - 5605/q a composite number?
True
Let r = 135 - 263. Let h = 21 - r. Is h a prime number?
True
Let u(q) = 1097*q**3 + 6*q**2 + q - 13. Is u(3) prime?
True
Let u(t) = 8*t**3 - 3*t**2 + 6*t + 4. Suppose -35 = -3*q - b + 2*b, 5*q = -b + 61. Suppose 3*g + 2*i + 2*i - 9 = 0, q = 4*g - 4*i. Is u(g) prime?
True
Let n = -10372 - -18352. Let o = -3259 + n. Is o composite?
False
Let u be (-9)/(-2) - 1/(-2). Suppose -6*j + 4*j - 321 = -f, j = -5*f + 1660. Suppose -u*o + 114 = -f. Is o composite?
False
Suppose 6*g = 3*k + 4*g - 13, -3*k + 33 = 3*g. Suppose 8*o - 347 = k*o. Is o a composite number?
False
Suppose 3*v + 4*u = 17821, -4*u + 7*u = 3. Is v a prime number?
True
Let h(g) = g**3 + g**2 - 11*g - 5. Let i be h(-7). Let k = -17 - i. Is k composite?
True
Let c = -122 + 176. Is -342*c/(-12) + 4 prime?
True
Let k(t) = t**3 + 4*t**2 - t. Let r(h) = 5*h**3 + 16*h**2 - 3*h + 1. Let f(s) = 9*k(s) - 2*r(s). Let u be f(3). Is (-715)/(-4) - u/8 a prime number?
True
Let h(a) = -4213*a + 115. Is h(-12) prime?
True
Let b(k) = -138*k**3 + 5*k**2 + 2*k - 6. Let l be b(-2). Let x = 1755 - l. Is x composite?
False
Let a = 10445 + 175344. Is a composite?
False
Suppose x + 31 = -z + 2*z, 4*x + 99 = -z. Let f = -22 - x. Suppose c + 633 = f*c. Is c prime?
True
Suppose 0 = z - 4*i + 1133, -2*z - 2*i = -0*i + 2236. Let m = z - -1684. Is m composite?
False
Let j(s) be the second derivative of s**4/3 + s**3/6 - 3*s**2/2 - 2*s. Let b(y) be the first derivative of j(y). Is b(6) composite?
True
Let i(a) be the third derivative of -1/3*a**3 - 1/15*a**5 + 0 + 0*a - 1/4*a**4 + 8*a**2 + 1/60*a**6. Is i(5) a prime number?
False
Let w(d) = 5*d - 4. Let b be w(3). Let g = b - 10. Is -2 + g/((-4)/(-432)) prime?
False
Let q(j) = -156*j**3 - 2*j**2 - j. Let p = 9 - 12. Is q(p) a composite number?
True
Is 1215669/117 + 1/(3/2) composite?
False
Suppose -r + 62291 = 5*x, 5*r - 44416 = -4*x + 5421. Is x a composite number?
True
Let t(b) = b**3 - 9*b**2 - b + 9. Let o be t(9). Suppose 0 = 2*f - o + 2, 2*f = 5*q - 12. Suppose -k + q*v + 48 = 0, -6*v = 2*k - 3*v - 131. Is k prime?
False
Suppose -4*v = -r - 83, 3*r - 89 = -4*v - 2*r. Let k = 18 + -15. Suppose k*w - 56 = -2*o + v, -5*o = -w - 167. Is o a composite number?
True
Suppose 0 = -72*l + 73*l - 22531. Is l prime?
True
Let w(u) = -223*u**3 - 9*u**2 - 2*u - 5. Is w(-4) composite?
True
Suppose 1280 = -9*c + 9524. Suppose 2*r = 5*x + 388, 5*r - 5*x - 69 = c. Is r a composite number?
False
Let u(l) = l**3 + 46*l**2 + 14*l + 67. Is u(-26) prime?
False
Suppose 4*r - 8*r + 59632 = -2*w, 2*r = -5*w + 29828. Is r composite?
True
Suppose -t = 2*q - 15825 - 30730, -4*q - 93110 = -2*t. Is t a composite number?
True
Is 2/9 - 13642629/(-297) prime?
False
Suppose -997 = -2*k + 3907. Suppose -5*s - 3*j = -12262, -s + 2*s - k = -j. Is s a composite number?
True
Suppose 279 = c - 9*w + 4*w, -4*w - 804 = -3*c. Suppose 0 = -f + 3*k + c, 0*k = -5*k - 25. Is f prime?
False
Suppose k - 16437 = 5*z, -2*k + z = -16263 - 16629. Is k a composite number?
False
Let l = 2459 + -1358. Is l composite?
True
Let a = -259321 + 492330. Is a a composite number?
True
Let g = 40390 + 14841. Is g a prime number?
False
Let s(u) = 2*u - 10. Let k be s(8). Suppose 2*i - 4*t = k*i + 16, -3*i + 3*t = 0. Is ((i + 40)*3)/2 prime?
False
Suppose 2*m - 506 = 2*f, -244 + 1228 = -4*f - 3*m. Let y = -162 - f. Is y prime?
False
Suppose 3*n + 40312 = -4*z + 2*n, -4*n = 0. Let f = -6317 - z. Is f prime?
True
Let x = -139 - -77. Let a = x - -139. Suppose -a = -2*y + 201. Is y a prime number?
True
Let u = -10363 - -22658. Is u composite?
True
Suppose 3*l + 2*c + 131 - 7076 = 0, -3*l - c + 6948 = 0. Is l composite?
True
Suppose -5*a = -2*p + 8, -3*p - 12 = -3*a - 6*p. Let y(x) = x - 5. Let b be y(a). Is (-4)/b*55/2 prime?
False
Let g(r) = 8*r**2 - 5*r**2 - 1940*r**3 + 2*r + 2 - 2*r**2. Is g(-1) composite?
True
Let h(f) = -f**2 + 7*f + 6. Let d be h(7). Let k(x) = 5*x**2 - 9*x - 7. Is k(d) a composite number?
True
Is ((-4)/6)/1 + 114816/72 a prime number?
False
Suppose 0*w + w + 9 = 4*m, 4*w + 2*m = 0. Is (11715/45)/(w/(-3)) composite?
True
Let k = 23 - 23. Suppose -y + 959 = -k*y. Is y prime?
False
Suppose 0 = 4*t + c + 619, -t + 3*c = t + 299. Let o = 475 + t. Is o composi