 = 54*m**2 + m - 3. Let j be r(2). Suppose u = 2*u - j. Is u composite?
True
Let h(v) = -217*v - 23. Let o be 38/(-6) + 1/3. Is h(o) composite?
False
Is ((-2)/4*206)/(2/(-14)) a composite number?
True
Let p(u) = 2479*u + 13. Is p(2) prime?
False
Let b be ((-186)/(-2))/1*153/27. Suppose 4*n + b - 2082 = -5*z, 0 = -2*n - 3*z + 775. Is n composite?
True
Suppose -2599*t - 387255 = -2614*t. Is t prime?
False
Suppose 0 = -4*o + s + 39, -4*s = -16 - 4. Let t = o + -13. Is t/3*1461/(-2) a composite number?
False
Let f = -4056 - -8327. Is f composite?
False
Let s(n) = -2*n**2 + n + 0 + 4*n + 8*n**2 - 12. Let x be 8/(-2)*35/28. Is s(x) a prime number?
True
Is 481446/8 - (-11)/44 prime?
False
Let g(c) = 31*c**2 - 2*c + 4. Let f be g(-4). Suppose -5*d + 0*r = -r + 2554, d + f = 3*r. Let s = 722 + d. Is s a composite number?
False
Suppose 0 = 5*d + 21*d - 92482. Is d a composite number?
False
Let w = 20 + -18. Let l be (2/(-1))/w + 401. Suppose k + l = -0*y + 5*y, -3*k = 4*y - 301. Is y prime?
True
Let f be 1/(-1)*-16 - 0. Let b be ((-24)/f)/(6/(-28)). Suppose 2*s = -o + 113, 4*s - 3*o - 220 = -b*o. Is s prime?
False
Let n(g) = -342*g - 52. Let u(k) = 86*k + 13. Let l(c) = 2*n(c) + 9*u(c). Is l(8) prime?
True
Let v(z) = 1219*z - 507. Is v(32) a composite number?
False
Let h = -197 - -280. Suppose 21 + h = 4*o. Is o prime?
False
Suppose -36*h = -37*h + 5. Let x(q) = 2*q**3 + 2*q**2 - 15*q + 10. Is x(h) a prime number?
False
Suppose -4*s = -3*s - 6. Suppose -4*u + 3*z + 23 = 0, 2*u + 4*z = -0*z + s. Suppose -u*g + 790 = r, 642 - 190 = 3*g + 5*r. Is g composite?
True
Let v be (-140)/(-6) - (-44)/(-33). Is (-561)/v*((-376)/(-6))/(-2) prime?
False
Suppose 1414 = 6*s - 1064. Is s a prime number?
False
Let p = -4 + 10. Suppose -23*f - p = -20*f. Is 0 + (-327)/6*f a prime number?
True
Suppose h - 7201 - 1422 = 0. Is h a prime number?
True
Let r = -16 + 23. Suppose 0 = 2*d - r*d. Let x(g) = 2*g + 89. Is x(d) composite?
False
Let c = 22082 + -8559. Is c composite?
False
Is 23007788/482 + -1 + 4/1 prime?
True
Suppose -v - 6 = v. Let f = v - -1. Let u(k) = -8*k**3 + 3*k**2 + k. Is u(f) prime?
False
Suppose 4*q - 23 = i, -q + 4*i + 1 + 16 = 0. Suppose 0 = q*a - 556 - 1429. Is a composite?
False
Is (-1331075)/(-407) + (-6)/(-11) composite?
False
Let k(r) = 14*r**3 - 33*r**2 - 33*r + 30. Let t(d) = -5*d**3 + 11*d**2 + 11*d - 10. Let w(x) = -4*k(x) - 11*t(x). Is w(9) composite?
False
Let l(v) = 27681*v + 166. Is l(1) a prime number?
True
Let a(n) = -n - 3. Let c be a(-7). Suppose 3*d = 5*g + 6, -2*g = d - 0*g - 2. Suppose -c*o + d = -482. Is o prime?
False
Suppose -5*o - 5*u + 16472 + 3968 = 0, 4*o + 3*u = 16355. Is o a prime number?
True
Let b(g) be the second derivative of -2/3*g**3 - 1/4*g**4 + 5*g + 0 + 0*g**2 + 9/10*g**5. Is b(3) composite?
True
Let v be 86*(-9)/(-12)*(-88)/6. Suppose -4*g + 2*s = -9370, -3*g - 5*s = -4*s - 7040. Let z = g + v. Is z a composite number?
False
Let c(h) be the first derivative of -35*h**4/2 + h**3/3 + h**2/2 + h + 3. Let d be c(-1). Let y = d - -18. Is y composite?
False
Suppose 3 + 37 = -4*j. Let t(f) = 7*f**2 + 31*f + 14. Let h(z) = 3*z**2 + 15*z + 7. Let m(x) = -5*h(x) + 2*t(x). Is m(j) a prime number?
True
Let d(p) = 10*p**2 + 7. Suppose 16*n = 11*n + 50. Is d(n) a composite number?
True
Suppose -m - 2*m = -4*z - 3, -z + 2*m = 2. Suppose 4*d - 5*b = 53, 2*d - 21 = -z*d - 3*b. Suppose 4*x + 925 = 4*p + 73, -3*x - d = 0. Is p composite?
True
Suppose 15 = 3*c - 5*h, 5 = c + 3*h - 4*h. Suppose 3*j - 5*j = -c*y + 6, j = y. Suppose 0 = y*t + 3*t - 575. Is t composite?
True
Let b(r) = -23*r - 3. Let f(l) = -23*l - 3. Let m(z) = 4*b(z) - 3*f(z). Let t be m(5). Is (t/(-5) - 0)*5 a prime number?
False
Suppose -10850 = 12*m - 65198. Is m a prime number?
False
Let y(j) = 1613*j**3 + j**2 - 2*j + 19. Is y(3) prime?
True
Let y(i) = -393*i - 10. Is y(-7) a composite number?
False
Let o(d) = -2*d**2 - d - 2. Let y be o(-1). Is y*((-6202)/(-63))/(2/(-3)) prime?
True
Suppose 4*l = 6 + 18. Let k(o) = o**2 - 14 - o - 5*o + 16*o. Is k(l) prime?
False
Let s(t) = 318*t**3 - 1. Let z(d) = -d**3 - 2*d**2 + d + 3. Let k be z(-2). Is s(k) a prime number?
True
Suppose -2*w = 9 - 3. Is ((114 + 0)/w)/(2/(-41)) prime?
False
Let x(s) = s**2 - 2*s - 11. Let z be x(5). Let o(n) = 17*n**2 - 5*n + 5. Is o(z) composite?
False
Let s = 101 - 90. Suppose s*t = 18206 + 31811. Is t a composite number?
False
Suppose -3*z - 5*s - 4 = 0, -3*z = -s - 6 - 2. Suppose v = z*v - 2. Suppose 2*g - 5*x = 129, v*x - 4*x + 2 = 0. Is g composite?
False
Let t(k) = 5*k**2 - 5. Suppose -3*y + 2 = 17. Let s be t(y). Let m = s + -58. Is m a prime number?
False
Let x be 32/4*(-1 - -2). Suppose -4 = u - x. Suppose -m + 1255 = u*m. Is m a prime number?
True
Suppose 15 = 3*n, -c - 5*n = -3*c + 35. Is ((-16455)/c)/(1/(-2)) composite?
False
Let p(j) = 13*j**3 - 3*j**2 - 4*j + 41. Is p(9) a composite number?
False
Suppose 0 = 3*z + 4*t - 6, 2*z + 2*z + 5*t - 9 = 0. Is z/39 + 54477/39 a composite number?
True
Let s = 10 - 8. Suppose -g - 290 = -s*i + 3*g, 2*i = -g + 300. Is i prime?
True
Suppose -23257 - 15852 = -3*u + 5*q, -q + 13031 = u. Is u prime?
True
Suppose -19529 = -5*c - 5629. Suppose -c = -19*b + 14*b. Suppose 4*h = -4*t + b, 2*h = -t - 4*t + 695. Is t prime?
True
Let x be 34/9 - 10/(-45). Suppose 2772 + 1424 = x*i. Is i composite?
False
Let p(g) = 1067*g - 7. Let c(y) = y. Let a(f) = 6*c(f) - p(f). Is a(-2) composite?
False
Let o(w) = w**2 + 1. Let j be (2/10)/(4/20). Let x be o(j). Is ((1 - -33)*67)/x prime?
False
Let r be 9/(-27) - 686/(-6). Suppose d = 4*d - r. Suppose -d = 2*u - 4*u. Is u a composite number?
False
Let u(n) = 1994*n. Let j be u(1). Suppose 5*m = j + 971. Let s = m + -390. Is s a prime number?
False
Let y(o) = o**3 + 6*o**2 + o - 6. Suppose 5*z + 29 + 21 = 0. Let r be y(z). Let g = 745 + r. Is g composite?
True
Suppose -6*x + 2*x = -4*i - 28, 2*x - 4*i = 6. Suppose -x*o = -9*o - 1468. Is o a prime number?
False
Let k be (2 - 1)/((-6)/21102). Let j = 6296 + k. Is j prime?
False
Is 10250 + -14 + 2 - -5 a prime number?
True
Let d = -11 - -19. Is ((-6)/9)/(d/(-12588)) a composite number?
False
Let d = -230 - -154. Let u = 217 - d. Suppose -3*n = -u - 934. Is n a prime number?
True
Suppose 25 = 3*x - 2*o, 6*x - 3*o - 40 = x. Let z(n) = -n**2 + 5. Let g be z(2). Is (x/10)/(g/1002) composite?
True
Let m(v) = -24 + 8 + 79*v + 12. Is m(5) prime?
False
Let n(a) = -a**3 - 3*a**2 + 35*a + 147. Is n(-20) a composite number?
False
Let m(y) = 2607*y**2 - 3*y - 2. Let x be m(-1). Is x/(-24)*(-6)/4 a composite number?
False
Suppose -1 - 23 = -4*l - 3*f, f - 16 = -4*l. Suppose -3*w - 4*i = -w + 56, -w + l*i = 18. Is 2/6 + (-7360)/w a composite number?
False
Let f = 2 + -6. Let x be f + 7 - 37*4. Let m = x + 404. Is m prime?
False
Let d(l) = -5*l**3 - 4*l**2 - 10*l - 4. Let g(a) = a**2 + 3*a - 13*a + 9*a. Let s(y) = d(y) - 4*g(y). Is s(-7) a composite number?
False
Let y(j) = -5731*j**3 + j**2 - 2*j - 3. Is y(-1) composite?
True
Suppose 157*d - 10 = 152*d. Suppose 0*g = -5*s - d*g + 2959, 5*g = s - 581. Is s prime?
False
Let y be ((-21)/(-14))/(2/12). Let z = y + 2. Suppose 6*v + 105 = z*v. Is v composite?
True
Suppose 37*d = 138*d - 1559743. Is d a prime number?
True
Suppose 139*t + 7411 = 140*t. Is t a prime number?
True
Let m be (-19)/95 + (-2446)/(-5). Let x = 230 + m. Is x prime?
True
Let d = 47872 + 40699. Is d a composite number?
True
Let z(c) be the second derivative of -c**4/12 + 10*c**3/3 + 7*c**2 + 11*c. Is z(17) a prime number?
False
Suppose 3*h + 2*j - 1 = 5, 0 = h - 4*j - 16. Let x be 2 + h/2 - 1. Suppose w = 3*z + 148, w - 2*z + x*z = 168. Is w a prime number?
True
Let c = 2168 - 959. Let f = 2065 + c. Is f a prime number?
False
Let t(b) = 712*b + 44. Let z(n) = 142*n + 9. Let v(a) = -2*t(a) + 11*z(a). Suppose 5*k - p = -2*p + 26, 4*k - 22 = -2*p. Is v(k) a composite number?
False
Let a(d) = -d**2 + d - 1. Let p(t) = -t**2 - 5*t - 5. Let q be p(-4). Let b(m) = m**3 - 6*m**2 + 5. Let u(h) = q*b(h) - a(h). Is u(6) a composite number?
True
Suppose v - 5*x = 7598, 4*v - 5*x + x - 30408 = 0. Is v prime?
True
Is (10/(-4) - -1)*(-255984)/72 prime?
True
Suppose 3*r + 3*t = -3, -2*t = 5*r - 15 + 5. Suppose -1298 = -r*c + 626. Is c composite?
True
Suppose -58 - 50 = -6*r. Suppose