*q - 37032 = 0. Is q a prime number?
True
Suppose -5*c + 87 = -463. Let g be c - (4 - 4/2). Suppose 2*b + 3 = b, -5*b - g = -3*p. Is p prime?
True
Let b(w) be the third derivative of w**5/60 + w**4/12 + w**3/3 + 4*w**2. Let f be b(6). Let i = f - 13. Is i a prime number?
True
Let f = 1321 + 2065. Is f a composite number?
True
Suppose 5*q + 54 = -31. Let t(i) = -19*i - 30. Is t(q) prime?
True
Let d(r) = r**3 - 10*r**2 - 11*r + 1. Let h be d(11). Let l be (h*-3)/((-27)/45). Suppose -4*z + 4*k = -k - 134, -2*k - 159 = -l*z. Is z prime?
True
Let r(d) = -d - 5. Let p be r(-5). Suppose 3*q + 2*q - 50350 = p. Is q/20 + (-6)/(-4) composite?
True
Is 3/(-6)*2*-15439 a prime number?
True
Let b be 6 - (0 + -1 + 2). Let f(c) = c**2 + 8*c - 6. Is f(b) composite?
False
Let s be ((-568)/16)/(1/24). Let q = s + 1393. Is q prime?
True
Let l(i) = i**3 - i**2 - i - 10. Is l(5) composite?
True
Suppose 0 = -4*o - 4*u + 32, -4*o + u + 26 = 2*u. Let m(r) = 3*r**3 - 3*r**2 - 2*r + 7. Is m(o) a prime number?
False
Suppose -5*j + 3*j - 196 = 0. Let d = -59 - j. Suppose 2*o = -4*n - o + 251, -n + d = -4*o. Is n a prime number?
True
Let c = 21 + -6. Suppose 10*l = c*l - 2485. Is l a composite number?
True
Let l(o) = 11*o**2 - 7*o - 17. Let j(n) = -5*n**2 + 3*n + 9. Let q = -14 + 5. Let g(y) = q*j(y) - 4*l(y). Is g(9) prime?
False
Let g = -863 - -2174. Let b = g + -140. Is b composite?
False
Suppose 9 = -5*y - 41. Let r = y - 104. Let c = r - -167. Is c a prime number?
True
Let a(m) = 50*m**2 + 11*m + 40. Is a(9) composite?
True
Let u(i) = 70*i**2 + i + 1. Let q(f) = -f + 2. Let w be q(3). Let a be u(w). Is a + (-2)/2 + 0 a prime number?
False
Let c(g) = -g**3 + 4*g**2 + 4*g + 7. Let r be c(5). Suppose r*l - 5*l - 2*h = -785, -3*h + 1048 = 4*l. Is l prime?
False
Suppose 40*m = 13*m + 68067. Is m a composite number?
False
Let h(r) = -2*r**2 + 26*r + 413. Is h(0) prime?
False
Suppose c = 2*c - 2. Suppose 0 = c*z + 4*f - 538, 3*f - 332 + 60 = -z. Is z composite?
False
Let m(a) = -8188*a - 41. Is m(-1) prime?
True
Let n(z) = 240*z + 15. Let p be n(6). Is 0 + (p/(-3))/(-5) prime?
True
Let w = -5595 + 9028. Is w composite?
False
Suppose 4810 = 2*w - 4*m, -5*w - 4*m + 1003 = -11064. Is w composite?
False
Let u be (-2)/(-7) + (-8)/28. Let g be u - (333 + 0 + 0). Is (g/(-12))/3*12 composite?
True
Let w be ((-15)/(-10))/(3/(-16)). Let z(t) = 2*t**2 + 12*t + 19. Let q be z(w). Suppose -3*o + 4*o = q. Is o a composite number?
True
Suppose 14*w = -1102174 + 6944640. Is w composite?
True
Is 6/(-21) - 472231/(-259) composite?
False
Let s = -10 + 18. Suppose d - 2*p + 23 = -2*d, 4*p = -s. Let v = d - -152. Is v a prime number?
False
Let a(t) = 6616*t - 34. Is a(2) a composite number?
True
Is (-6)/(-10) - 0 - (-1250340)/975 a composite number?
False
Is 2/8 + 145602/24 a prime number?
True
Let m(g) = 23418*g**3 - g**2. Is m(1) composite?
False
Suppose -59 = 2*t - 451. Let z = t + 967. Is z a prime number?
True
Let d = 139740 - 82523. Is d a prime number?
False
Let f = 203 + -130. Let p = f + -44. Let j = p + 24. Is j prime?
True
Let m(y) = 20*y**2 - 11*y - 10. Suppose 0 = 5*u - 5*t - 60, -3*t + 28 = 5*u - 0*u. Let a be m(u). Let c = -751 + a. Is c composite?
False
Suppose -5*k - 65 = 5*g, 4*k - 2*g + 3*g + 49 = 0. Is (-2 - -5)*2/k*-706 a prime number?
True
Suppose 15*h - 10 = 95. Suppose h*d - 875 + 294 = 0. Is d prime?
True
Let r = -28 + 31. Suppose -4*w = -6*u + 4*u + 178, u + r*w = 64. Is u prime?
True
Let j(b) be the first derivative of 67*b**4/6 + b**3/6 + b**2/2 + 8*b + 8. Let a(f) be the first derivative of j(f). Is a(-1) a prime number?
False
Let u = 49651 + -22644. Is u a prime number?
False
Let b = 17 + -13. Let a be -1*(-22 - -3) - b. Is 8/(-6)*-3 + a prime?
True
Let w(z) be the first derivative of z**4/4 - 10*z**3/3 - 5*z**2 - 3*z - 10. Let u be w(11). Is 15 - u/((-4)/(-1)) prime?
True
Let a = -2143 + 3035. Let m = a + -219. Is m prime?
True
Suppose -i + 32837 = 4*o, 5*i + 140*o - 144*o - 164233 = 0. Is i prime?
False
Let p(g) = g**3 + g. Let f be p(0). Suppose f*m - 4*m = -444. Is m composite?
True
Suppose -2*o + 63918 = 4*c, 12*o = 16*o - 2*c - 127826. Is o prime?
True
Suppose 4*b = 3*h - 5732, 5*h - 3*b + 0*b - 9557 = 0. Suppose 2*m - h = 726. Suppose 3*y - m = -j + 3*j, 2*j + 2193 = 5*y. Is y prime?
False
Suppose h - 40 = 6*h. Is 4/h - 3813/(-6) a composite number?
True
Let l = 35 + -21. Let j be (-74)/(-14) + l/(-49). Suppose -7 = -3*x + x + a, -x = -j*a + 19. Is x prime?
False
Let k(u) = -45*u**2 - 9*u + 1. Let r(y) = 134*y**2 + 26*y - 3. Let q(t) = 8*k(t) + 3*r(t). Is q(-4) a composite number?
False
Suppose -2*l + 7 = 1. Let j be -3 - -4 - l/(-1). Let y(v) = 23*v - 7. Is y(j) composite?
True
Is 1836 + (-5 - -5) - -5 composite?
True
Let z(u) = 138*u**2 + 3*u - 1. Let y be 9/11 - (-6)/33. Suppose 2*a - 3 - y = 0. Is z(a) a prime number?
True
Suppose -2446 = -3*i + 1700. Is i a prime number?
False
Let j(x) be the second derivative of -x**5/20 + 4*x**4/3 + x**3/6 - 3*x**2/2 + 3*x. Is j(11) prime?
True
Let s(b) = b**3 + 7*b**2 + b + 7. Let y be s(-7). Let i be -3*(y - 15/9). Suppose 2*o + 29 = 4*o - 5*q, -2*o = i*q + 1. Is o composite?
False
Suppose 7*x = 2*x + 395. Let i be x - 3/(-6)*2. Suppose -146 = -2*z + i. Is z composite?
False
Let y be (-43)/(-9) - (-2)/9. Suppose -c - 16 = y*k, 4*k - 3*c = -47 + 19. Is (0 - k)/(-4) - -224 a prime number?
True
Let o(f) = 2*f**2 - 3*f**2 - 53*f + 47*f - 13 + 25*f. Is o(9) a prime number?
False
Let n = -2356 - -8770. Suppose -9*j + n = -3*j. Is j composite?
False
Suppose u = -1 + 6. Let a = -401 - -596. Suppose 0*r + a = u*r. Is r a prime number?
False
Suppose -4*j = z + 7 + 3, 5*z + 3*j = 1. Let a be (-55 + -4)*(0 - 2). Suppose z*m - l = -6*l + 72, 0 = -4*m + 3*l + a. Is m composite?
False
Suppose -713 = t + 95. Let p = -427 - t. Is p a composite number?
True
Let v(t) = 1418*t**3 - t**2 - t + 2. Suppose -12*n = 3 - 15. Is v(n) prime?
False
Let n be (-14)/49 + 2/7. Suppose n = -13*v + 19021 + 19914. Is v a composite number?
True
Suppose -3*a - 721 = 10475. Let b = 7037 + a. Is b a prime number?
False
Suppose -2*m - 1262 = -4*m. Is m a composite number?
False
Let a(z) be the first derivative of 2*z**3 + 5*z**2 - 16*z - 1. Let n(b) = -5*b**2 - 10*b + 16. Let y(q) = -4*a(q) - 5*n(q). Is y(-15) a prime number?
True
Suppose 3*p + 3*c - 29 = -2*c, -5 = -3*p + c. Suppose 2*f - 8 = 0, 5*l + 2*f = 783 + 60. Suppose p*r = -l + 536. Is r a composite number?
True
Let v be (-4)/(-12)*3 - (3 + -4385). Suppose -5*w + 2*a + 21953 = 3*a, 4*a - v = -w. Is w prime?
True
Suppose -38098 = -31*h + 15315. Is h prime?
True
Let i(l) = l**3 + 16*l**2 + 12*l + 14. Is i(-11) composite?
False
Let y = 1 + 4. Let d = 484 - -173. Suppose -2*x + y*h = -d, -h = -5*x + 239 + 1415. Is x prime?
True
Let t(m) = 15*m + 2. Let r be t(5). Is 8/14 + 14894/r composite?
True
Let x be (2 - 3)/(2/(-58)). Suppose 0 = c - 15 - x. Is (c/(-5))/((-2)/5) composite?
True
Suppose 3*a = 2 + 4. Suppose v - 176 = 5*o + 154, o = -2*v + 605. Suppose -4*f + 3*s + v + 228 = 0, a*f + 4*s - 250 = 0. Is f prime?
True
Suppose 67*l = 80*l - 540787. Is l composite?
True
Suppose 0 = -16*y + 1031 + 14025. Is y a composite number?
False
Suppose 0 = 6*d - 143228 - 33874. Is d prime?
False
Suppose u - 27 = -2*b, -4*b = -2*u - u - 29. Is 69/(-2)*b/(165/(-170)) prime?
False
Let s(g) = g**3 + 25*g**2 - 11*g - 28. Let p(h) = 11*h + 8. Let u be p(-3). Is s(u) composite?
True
Let l be (-4)/1*1 - -1. Let q(c) = 49*c**2 - c + 14. Let d(k) = -16*k**2 - 5. Let p(r) = -7*d(r) - 2*q(r). Is p(l) a composite number?
False
Let r be 1/(3/9 + 0). Suppose -5*t - 238 = -3*j, 3*j - 138 = 6*t - r*t. Let w = 144 + t. Is w a prime number?
False
Let j(i) = 39*i + 22. Suppose -11*m = -15*m + 20. Is j(m) composite?
True
Is (-152750)/(-208) - (-2)/16*-3 composite?
True
Suppose 0 = -3*n + m + 302, -2*n = 3*n + m - 514. Suppose -2*k - 2*c + 108 = 0, -4*k + 109 + n = -c. Is k composite?
False
Suppose 514726 = 36*x + 97234. Is x a composite number?
False
Let q(l) = -l**3 - 11*l**2 + 12*l - 8. Let u be q(-12). Is 1/((-6)/u)*3 + 297 prime?
False
Suppose -3*c + 8 = 3*o + 2, 10 = 5*c - 5*o. Suppose -3*t - 2*t + 2421 = 4*u, c*t - 965 = -5*u. Is t composite?
True
Suppose -123*c = -141*c + 180702. Is c prime?
True
Let d = -6568 - -11097. Is