Is u composite?
True
Let s = 4210 + 0. Let t be (-3)/12 - s/(-8). Let o = 2679 - t. Is o prime?
True
Suppose 8*c - 422012 = 4*c + 313328. Is c a composite number?
True
Let w(r) be the second derivative of 31*r**5/30 + 7*r**4/24 - 17*r**3/3 - 15*r**2 - 27*r. Let p(g) be the first derivative of w(g). Is p(-15) prime?
False
Let n(k) = -181*k + 23. Let s(o) = -906*o + 114. Let l(u) = -11*n(u) + 2*s(u). Is l(4) composite?
False
Let n(c) = -9148*c - 54. Let w be n(-13). Suppose -w = -14*x + 4*x. Is x a prime number?
True
Let t(n) = 4*n**2 + 506*n + 17. Is t(49) composite?
True
Let c = 572 - 528. Suppose 0 = 40*k - c*k + 30868. Is k prime?
True
Let d(q) = q**3 + 72*q**2 + 121*q - 235. Is d(-53) composite?
False
Let i = 41951 - -8696. Is i a prime number?
True
Let o(r) = 12254*r**2 - 267*r - 1589. Is o(-6) a prime number?
True
Let b(f) = -14*f - 26. Let c be b(-3). Let a(p) = 91*p - 57. Is a(c) composite?
False
Let b = 300 + -64. Let y = b + -484. Let x = 583 + y. Is x a composite number?
True
Let q = 73 - 70. Let n be (6 - 100)*(1 - q)*1. Suppose -5*g - 2*x + n = -831, 3*g - 618 = x. Is g composite?
True
Let l(p) = p**3 - 27*p**2 + 27*p - 24. Suppose -5*d = -10*d - 3*a + 780, 2*d + 5*a = 312. Suppose -o = -7*o + d. Is l(o) a composite number?
False
Suppose 3*t = 5*z - 41487, -680*z + 4*t = -682*z + 16626. Is z prime?
False
Let z(p) = 2*p**2 + 16*p + 15. Let v be z(-7). Let o(q) = 183*q**3 - 5*q - 2*q - q**2 - v + 8*q. Is o(2) a composite number?
True
Let h(r) = 3235*r**2 - 131*r + 1. Is h(5) composite?
False
Let k(r) be the third derivative of 17*r**6/120 + r**5/10 - 7*r**4/24 + 13*r**3/2 - r**2 + 12. Is k(10) a composite number?
False
Suppose -5*g - h + 5*h = -5, -4*g + 3*h = -3. Let n(w) be the first derivative of -165*w**2/2 - 4*w - 534. Is n(g) a prime number?
True
Let l(m) = -128*m**2 + 24*m + 6. Let b(j) = -255*j**2 + 48*j + 11. Let a(h) = 3*b(h) - 7*l(h). Is a(-4) a composite number?
True
Is ((-169015)/(-28) + -7 - 10) + 2/(-8) composite?
True
Let s = 22771 - 12477. Is s composite?
True
Suppose -4*s = p + 21, 3*s + 54 = -3*p - 2*p. Is p/15 + (-565)/25*-146 a composite number?
False
Suppose 21*s - 11339133 - 14369983 + 6407407 = 0. Is s composite?
False
Suppose 2*g + 0*n = -4*n + 28, 2*n = 10. Suppose 0 = -m + 19*u - 17*u - 9, 3*u - 11 = -m. Is m/(g - 54585/13645) composite?
False
Suppose n - 8005 = 5*c, 0 = 12*c - 15*c - 5*n - 4831. Let a = c - -13759. Is a composite?
False
Let r be 3/(-3 - (-16)/6). Let v be (2559/r)/((-2)/6). Suppose -v - 386 = -3*q. Is q a composite number?
True
Suppose 0 = j - x - 128088, 4*j - 9*x + 11*x = 512310. Is j prime?
False
Let h(t) = -t**3 + 38*t**2 - 37*t - 8. Let v be h(37). Let l(s) = -1877*s - 93. Is l(v) prime?
True
Let l = 60098 - -55139. Is l a composite number?
False
Let m(o) = 50*o - 5 + 13*o - 2. Suppose -3*g = -27*t + 26*t - 33, -2*t - 46 = -4*g. Is m(g) prime?
False
Let x(r) = -206*r**3 + 3*r**2 + 48*r + 227. Is x(-6) prime?
True
Suppose -13 = -i - 7. Let k be ((-72)/16)/(i/(-8)). Is -3*(-145)/9 + k/9 prime?
False
Let l(m) = 115090*m**2 + 64*m + 139. Is l(-3) composite?
True
Let l be ((-3)/(-6))/((-1)/2)*-4. Suppose 7*h - l*h = 2*t + 2, -5*t = -5*h - 5. Suppose 0 = h*q - 0*q - 5276. Is q composite?
False
Let c(l) = 20*l**2 + 3*l - 12. Let d = 27 + -23. Suppose -5*x = 5*y - d + 14, -5*y + 25 = -2*x. Is c(x) composite?
True
Let s = 335 - -9302. Is s composite?
True
Suppose -5*j + 70 = 5*f, f - 11 = -j + 3*f. Let g be 161527/j + 6/117*-3. Suppose 12429 = 3*r - 3*y, 0*r + 2*y + g = 3*r. Is r a prime number?
True
Let j = 42 + -36. Is (-2 + 4320/(-1))*(-3)/j a composite number?
False
Let i(x) = -3*x**2 - 23*x + 1. Let z be i(-8). Let s(f) = -2*f**3 - 6*f**2 + 26*f + 1. Is s(z) prime?
True
Let k(g) = 16557*g - 1577. Is k(98) prime?
False
Let d(w) = -2*w**3 - 96*w**2 + 36*w - 69. Is d(-55) prime?
False
Suppose 2*d - q = 148579, -106230 = -2*d + 4*q + 42358. Suppose 6*k = 22*k - d. Is k a prime number?
True
Suppose 4*b - 2521 = 3*h - 0*h, 0 = 5*b - 5*h - 3155. Let o = b + 1065. Is o composite?
False
Let i(o) = -3832*o + 381. Is i(-5) a composite number?
False
Let h(n) = n**3 + 20*n**2 - 2*n - 36. Let a be h(-20). Suppose a*z = 1230 + 902. Is z a composite number?
True
Is (1574997/9)/(1/(-3)*(-8)/8) prime?
True
Let j(p) = p**3 - 14*p**2 + 3*p - 9. Suppose 8*u + 2 = 10*u. Let h be (-28)/((3/5 - u)*5). Is j(h) prime?
False
Let t = -9951 + 6304. Let o = 7461 + t. Is o prime?
False
Let q be (-1 + 4 + -111347)/((-4)/8). Let r be (-6)/57 + q/76. Suppose r = 2*c + 8*l - 4*l, 2*l - 6 = 0. Is c prime?
True
Let k(w) = w**2 - 22*w + 56. Let f be (3 - 4) + 19*1. Let c be k(f). Let h = c - -30. Is h a composite number?
True
Suppose 2*n - 3*b - 55 = -23, -3 = -n - 5*b. Suppose -4 = -15*y + n*y. Is y composite?
False
Suppose 160*n = 4469697 + 228154 + 3831589. Is n composite?
False
Let a = 7 - 3. Suppose -3*f = 6, -2*s + 29 = f + 27. Suppose -s*y - y = -4*l + 1996, a*y - 518 = -l. Is l a composite number?
True
Is -1 + (-337785)/(-6) - 160/(-64) prime?
True
Suppose -3*x = 477 - 492. Is x - (-13 + 16)/(6/(-24184)) composite?
False
Let r be (-12)/(-2)*(-2)/(16/(-4)). Suppose 4*b - b - 2459 = -u, 2*u + 2471 = r*b. Is b a prime number?
True
Is ((11 - -321965) + -23)*1 composite?
True
Suppose -27*q + 6 = -33*q. Is 12197/q*-3*13/39 composite?
False
Is (10 - 16 - 15) + 148594 prime?
True
Let i(q) = 10354*q**2 - 19*q + 89. Is i(6) a prime number?
True
Suppose 69*s - 10603121 = 10503772. Is s a prime number?
False
Let f(o) = o**3 + 5*o**2 - 5*o - 15. Let v be f(-5). Let r be (-4)/(-20) - 732/v. Let y = r - -112. Is y prime?
False
Let f = 2984 - 800. Let l = f - 1289. Is l a prime number?
False
Suppose -d + 2*q = 2 - 7, -d + 3*q = -6. Suppose 52 = -d*i + 46. Let t(n) = 277*n**2 - 4*n - 1. Is t(i) prime?
False
Let v(u) = 48*u**3 - u**2 + u. Let c be v(1). Suppose 105380 = -c*q + 68*q. Is q a prime number?
False
Let b = 725 - -303. Let i(l) = 72*l**2 - 2*l + 1. Let k be i(1). Let t = k + b. Is t a composite number?
True
Let v(x) = x + 38. Let b be v(-31). Suppose -b*w + 5178 = -10243. Is w prime?
True
Is 122447 - (-7 - (-5 + -8)) a prime number?
False
Suppose -3*u = 2*u - d - 202799, -4*d + 121684 = 3*u. Suppose 0 = 12*x - u + 4116. Is x composite?
False
Let c(n) = 1168*n**2 + 4*n - 355. Is c(-19) a prime number?
False
Is 367779/(-2)*(-644)/966 prime?
False
Let o = 304608 + -100181. Is o prime?
True
Let y(d) be the first derivative of 26*d**3/3 - 3*d**2 + 3*d + 43. Let l = -24 - -19. Is y(l) prime?
True
Suppose -20*v - 1795418 = -6874158. Is v a prime number?
True
Let m(j) = 1535*j + 3. Let z = -36 - -88. Let h = z + -50. Is m(h) a composite number?
True
Let i be ((-402346)/(-8))/1 - 130/104. Suppose -16 = -0*a - 4*a, -4*a = -4*x + i. Is x composite?
False
Let g be 4/24*3*6. Suppose -g*k = -b, -2*k + 8 = 2*k. Is (2060/25 - 4) + b/10 composite?
False
Suppose 2*v - 13 = 15. Suppose -y + 7530 = v*y. Is y composite?
True
Suppose 0 = 5*x + 5*x - 80. Suppose x = s + 4*p, -4*p = -2*s - 0*p + 4. Suppose 0 = s*d + 5*g - 3389, 3*d - 1647 = 5*g + 921. Is d prime?
False
Suppose 0 = -10*f + 5*f - 165. Let n be (-37449)/f + 12/66. Suppose -6*z + 11545 - n = 0. Is z composite?
True
Let t = -3199 - -4197. Is t a composite number?
True
Let i be (-397689)/171 + (-2)/6. Let d = i + 4880. Is d prime?
False
Let i = -3920 + 5916. Suppose 7*c = 39577 + i. Is c a prime number?
True
Let o(j) = -3327*j**3 + 7*j**2 + 55*j + 276. Is o(-5) a prime number?
False
Suppose -10 = -0*x - 2*x, -u - 3 = 2*x. Suppose -2*g - 186 = -2*k, 8*k - 464 = 3*k + 4*g. Let v = k + u. Is v a composite number?
False
Let z be 6/(24/(-73)) - 1/(-4). Let w be (-1982)/z*3 + (-4)/(-6). Suppose t + 0*t + m = 109, 3*t - w = -m. Is t prime?
False
Let t = 7445 + -2884. Is t a composite number?
False
Let f = 46 - 58. Let h be (-1 - -5) + (f - -10). Is (-4 - (-1184)/3) + h/6 a prime number?
False
Suppose -36*y = -34*y - 2*k - 821952, 0 = 2*y + 4*k - 821994. Is y a prime number?
True
Suppose -23*x = 16756 + 18020. Let j = -833 - x. Is j a prime number?
False
Let u(x) = -x**3 + 3*x**2 + 9*x - 34. Let l be u(3). Let z(o) = -27*o**3 + 14*o**2 + 13*o + 41. Is z(l) composite?
True
Let u be 3*(-16)/12*30252/(-16). Suppose 0 = -3*x + 11484 + u. Is x composite?
True
Let g(q) = q**2 - 8*q - 1. Let t be (