a = 5*m - 237. Suppose -2*f + 168 + m = 0. Suppose -46 = -2*i + f. Is i prime?
False
Suppose 3*a = 3*o + 1251, 3*o = -4*a - 405 - 818. Let s = o - -208. Let d = 674 + s. Is d a prime number?
False
Let i(s) be the first derivative of -13*s**2/2 + 5*s - 8. Is i(-4) composite?
True
Let r(x) = x**2 + 2*x**2 - x**2 + 20 + 17*x. Is r(17) a composite number?
False
Is (1 + 4 + -4)*5847/3 prime?
True
Let h be ((-46458)/(-7))/3 - 8/28. Is (h/8)/((-15)/(-6) + -2) composite?
True
Let o(m) = 2*m**3 - m**2 - 8*m - 6. Let k = -11 + 6. Let j(p) = 2*p**3 - p**2 - 9*p - 7. Let t(x) = k*o(x) + 4*j(x). Is t(-3) composite?
False
Suppose -21*u + 25 = -16*u. Suppose a - u*v - 246 = -a, -5*a = 5*v - 615. Is a composite?
True
Let g(q) = 4*q**3 - 13*q**2 + 22*q - 7. Is g(12) prime?
True
Suppose -4*o + 43191 = 5*z, 23*o - 21*o - 2*z = 21600. Is o prime?
True
Let m(j) = j**2 - 5*j + 9. Let b be m(2). Suppose 4028 = o + b*o. Is o prime?
False
Let u be ((-20)/(-8))/(-5)*-32. Suppose -2*o = -u + 2. Is (-14)/o + 7*19 prime?
True
Suppose -8*g + 4*g + 3087 = -5*r, 2*r + 2324 = 3*g. Is g composite?
True
Let k(a) = -2*a**3 - 6*a**2 - 6*a - 7. Let d be k(-6). Suppose -6*s - d = -13*s. Is s composite?
True
Let l(d) = 5*d**3 - 6*d**2 - 11*d - 7. Is l(8) a prime number?
True
Let r = 30 - 40. Let v = 283 - r. Is v composite?
False
Let q(w) = 40*w + 26. Let i(p) = -39*p - 27. Let g(z) = -3*i(z) - 2*q(z). Is g(14) prime?
True
Let x(t) = -t**3 + t**2 + t - 1. Let h(i) = 2*i**3 - 5*i**2 - 4*i - 3. Let l(o) = -h(o) - x(o). Suppose 0*c = 4*c - 12. Is l(c) composite?
True
Suppose -4*u + 4*s + 700 = 0, 2*u = 7*u - 4*s - 878. Let j = -89 + u. Is j prime?
True
Suppose 0 = 6*k + 369 - 3807. Is k composite?
True
Let s be (63/28)/((-2)/(-232)). Let q = 154 + s. Is q prime?
False
Is 125 + -130 + (-26748)/(-2) prime?
False
Is 3/4*(-18)/(-27)*15802 a prime number?
True
Let w = 1040 + -320. Suppose 4*o - 5*o - 273 = 0. Let k = o + w. Is k composite?
True
Suppose 0 = -4*t - 3*d + 18, 2*t = -0*t + d + 4. Is 108 + (-2)/((-6)/t) composite?
False
Suppose 0 = -25*v + 31*v - 12. Let x be 8/(-28) + 4692/7. Suppose x = 6*q - q + 5*z, -v*z = 4*q - 534. Is q prime?
False
Let y(t) = t - 1. Let q(x) = -51*x + 4. Let c(k) = q(k) + 6*y(k). Is c(-9) a prime number?
False
Suppose 5*o = -10, -2*u - 5*o + 54908 = -12488. Is u prime?
True
Let x be -1 - 12/2*-1. Suppose -x*r = -r - 688. Suppose 3*v - t + 0*t = 260, -2*v + 2*t + r = 0. Is v prime?
False
Suppose 7*v + 14 + 7 = 0. Is -2*683*(v + 15/6) a prime number?
True
Let f(l) = -l**2 - l + 4. Let t be f(0). Suppose 0 = -3*q + 353 + t. Let c = -48 + q. Is c a prime number?
True
Let o = -136 - -387. Suppose 3*t + 5*v = o, -t + v + 74 = 1. Is t a composite number?
True
Suppose 4*h = 2*a - 13778, -5*a - h = -969 - 33531. Is a composite?
False
Is ((-22)/14 - -1) + (-30321)/(-7) composite?
True
Let p(m) = 0 + 2 + 6*m**2 + 0 - 2*m - 5*m**3. Is p(-5) composite?
False
Let z(y) = y - 1. Let r be z(6). Suppose r*o = -3*b + 2372, -4*o - 25 = o. Is b a composite number?
True
Suppose 46 - 10 = -6*d. Let l(m) = -900*m - 67. Is l(d) composite?
False
Let q(x) = -x**2 - 10*x - 22. Let l be q(-5). Suppose 0 = -i - 3*i + 2*c + 2320, -2318 = -4*i + l*c. Is i prime?
False
Suppose 3*r + 4*t + 558 = 2557, 4*r - 2657 = 3*t. Let l = r - -332. Is l prime?
True
Let k(s) = -s**3 + 4*s**2 + 6*s - 3. Let f be k(5). Is ((-76)/f)/(14/(-161)) prime?
False
Let h be ((-45)/5)/(-2 + 1). Let m(y) = 3*y**3 + y**3 + 5 + 4*y**3 - 7*y**3 + h*y**2 + 10*y. Is m(-7) a composite number?
True
Suppose -2*k = -c - 47 + 11, 5*k = 5*c + 155. Is c/(-4) - (-6)/12 composite?
False
Suppose l + 73775 = 3*g, -l + 18506 = 4*g - 79870. Is g a composite number?
False
Let o = 28666 + 145. Is o a composite number?
True
Is (1/(-3))/(18/54)*-18087 a prime number?
False
Let x = -2 + 30. Is (-635)/(-7) - (-8)/x a prime number?
False
Let l be ((-16)/(-3))/(6/(-540)). Let m = l - -871. Is m prime?
False
Suppose 0 = 4*u - 2*x + 9724, -4*x = -5*u - 18586 + 6434. Let l = u - -3909. Is l composite?
True
Let b be (-1)/(-1 + (-6)/(-5)). Let f(a) be the third derivative of 2*a**5/15 + 5*a**4/24 - 3*a**3/2 + 27*a**2. Is f(b) composite?
True
Let w(i) = -5471*i + 12. Let b(r) = 1368*r - 3. Let g(y) = -9*b(y) - 2*w(y). Is g(-1) prime?
True
Suppose -4*i + 38*x - 34*x = -165656, 5*i - 207070 = -x. Is i composite?
True
Let j(q) = -6*q + 48. Let b be j(24). Is b*(2 - 8) - (4 - 1) a prime number?
False
Let r = -41 - -45. Suppose 4*v - 8711 = r*d - 7*d, -5*d = -4*v - 14561. Is d composite?
False
Let a be -1 + 1 - -2*(-6)/(-4). Suppose 7945 + 328 = 5*x - a*g, 3*g - 6640 = -4*x. Is x a prime number?
True
Is 5/(30/11696) + (-73)/219 a composite number?
False
Let b(n) = -n**2 - n + 6. Let f be b(-3). Let h(m) = m**3 + m**2 + 1553. Is h(f) a prime number?
True
Suppose 10*v - 4*v - 35826 = 0. Is v a prime number?
False
Let q = 2123 + 833. Let l = 4395 - q. Is l a composite number?
False
Let m(o) = -o**3 - 5*o**2 + 2. Let h be m(-5). Suppose -3*n + 2*i + i - 45 = 0, 2*n = -h*i - 30. Is (5/n)/((-2)/1212) composite?
True
Let o = -5 - -9. Suppose -158 = -2*x + 4*l, o*x + 0*l = 4*l + 300. Is x a composite number?
False
Let q = -17 - -13. Is 32 - (2 + 20/q) composite?
True
Let r(f) = -90*f - 1 - 25*f + 27*f. Let g(p) = 16*p - 177. Let y be g(11). Is r(y) composite?
True
Let x = 2 + 1. Suppose -k = -3*n - 586, -n = -5*k + 221 + 2765. Suppose 4*s - 402 = -2*v, -x*v + k = 2*s - s. Is v composite?
False
Let o = 52575 + -37414. Is o prime?
True
Let t(j) = -j**3 - 25*j**2 - 26*j - 50. Let o be t(-24). Let m(n) = -122*n**2 + 7. Let y(s) = 122*s**2 + s - 8. Let i(b) = -5*m(b) - 4*y(b). Is i(o) composite?
True
Let w = -1 + 1. Suppose -m = -976 + 19. Suppose -2*t - t + m = w. Is t a composite number?
True
Let o(v) = v + 1. Let u(c) = c**2 - 6*c - 6. Let w(f) = 6*o(f) + u(f). Let r be w(6). Suppose -r = -2*p + 8. Is p composite?
True
Let b(w) = 4 + 2 - 21 - 7*w. Suppose 3 = 2*a + 27. Is b(a) composite?
True
Let x be 5/(60/(-368))*-6. Let h be 25 + (1*-3 - -1). Let q = x - h. Is q prime?
False
Let i(v) = -2*v**3 - 7*v**2 - 1. Suppose z = 9*z + 40. Let o be i(z). Is (-12 - -8)*o/(-4) a composite number?
True
Suppose -13 + 9 = 2*k. Is k/11 - (-52983)/99 composite?
True
Let a(g) = 0*g**2 - 7 + 4 - 2*g + 10 + g**2. Let v be a(3). Suppose 2*b = 0, -s + 4*b = 5*b - v. Is s prime?
False
Let y(p) = -2*p**3 - 7*p**2 + 8*p + 2. Let g(d) = d**2 - 16*d - 23. Let m be g(17). Is y(m) a prime number?
False
Is (-11243)/(4 + 26/(-6)) composite?
True
Suppose -5*d + 0*j - 2*j + 20 = 0, 5*d = -5*j + 20. Suppose 2*a + 33 = d*s + 147, 2*a - 109 = 5*s. Is a a prime number?
True
Let c(q) = 7*q + 6*q - 6*q - q**2 - 5 + 2*q - q**3. Is c(-7) prime?
False
Suppose -57*g + 67*g = 107090. Is g prime?
True
Let x(i) = -5*i**2 - 3*i + 15. Let l(z) = -4*z**2 - 4*z + 14. Let f(v) = 6*l(v) - 5*x(v). Is f(10) a prime number?
True
Is ((-78484)/24 + (-2)/6)*-2 a composite number?
True
Suppose -45 = -4*o - 13. Suppose s - o = -5. Suppose 8*x = s*x + 425. Is x composite?
True
Let j be (-4 - -2) + (-8)/(-2). Let s be -1160 - (1 - (j + -4)). Is (-1)/(-4) - s/4 prime?
False
Suppose 0 = -t + 3*t + j - 80, -3*j = 3*t - 123. Suppose -d = -2*y + 4*d + 29, -3*y + 3*d + t = 0. Is (-3)/(y/(-19))*12 prime?
False
Let p = -15 + 9. Let f be (-3 - -2 - -3) + -7. Is f/(-15) - 34/p composite?
True
Let i = -3 - -58. Is i prime?
False
Let j = 2767 - 2496. Is j composite?
False
Let z(k) = -1080*k + 73. Is z(-11) a composite number?
False
Let l = -19419 - -38836. Is l prime?
True
Suppose 33*y + 75741 = 259452. Is y composite?
True
Let d(l) = 57*l**3 + 11*l**2 + 11*l + 8. Let y(v) = 19*v**3 + 4*v**2 + 4*v + 3. Let u(p) = -4*d(p) + 11*y(p). Is u(-4) composite?
False
Let b = -404 + -46. Let n = b - -1435. Is n a prime number?
False
Let g = -5752 + 9861. Is g composite?
True
Suppose -3*y + 5*y = -q + 12773, 3*q = -3*y + 38304. Is q composite?
False
Let j = -8097 - -12523. Is j composite?
True
Let x(s) = 2*s + 43. Let a be x(-21). Is -2 + 2437 + (3 - 1/a) a composite number?
False
Let u be ((-6)/10)/(8/(-40)). Suppose 0*q + 2250 = 4*q + 2*l, 3*q - 1686 = -u*l. Is q composite?
False
Suppose d + 5*t + 11 = 29, 4*t - 3 = 3*d. Suppose -2*n + d*n - 55 = 0. Is n composite?
True
Let b = -8 + 12. Suppose -b*j + 3*j = -1. Is 1/3*(j - -176) prime?