Let n = -9825 + 4667. Is (n/(-2))/(3*(-2)/(-6)) prime?
True
Suppose -5*s + 3*g = -3, -5*s - 4 = 5*g - g. Let r(y) = -y**2 + 234. Let b be r(s). Suppose -z = -3*m - b, 5*z = -0*z + m + 1100. Is z prime?
False
Suppose -39 = -55*t + 54*t. Suppose -4*u + t = -65. Is u/13 + 57*1 a prime number?
True
Let q = -1046 + 1945. Is q composite?
True
Let x = 379 + -377. Suppose r - 14837 = -x*f, 0 = -3*r + 2*f + 37753 + 6782. Is r composite?
False
Let r(f) = 138924*f**3 + f + 1. Let d be r(-1). Is d/(-24) + 1/2 a composite number?
True
Let t(j) = 1204*j + 70. Let q be t(7). Is (150/175)/(6/q) a prime number?
False
Suppose 951 = c - 4*q, 27*c + 2*q - 1942 = 25*c. Is c*(12 + -8)/4 a composite number?
False
Let d(v) be the third derivative of 5*v**4/2 + 43*v**2. Let c be d(-1). Is (-6)/c + (-35618)/(-20) a prime number?
False
Let x = -72 + 15. Let j = 60 + x. Suppose -170 + 1571 = j*m. Is m prime?
True
Let r = 3218 + 33863. Is r prime?
False
Let c(u) = 2*u**2 + 25*u - 35. Let v = -263 - -279. Is c(v) composite?
False
Suppose -6*i = -3*i - 60. Is 5/(-20) - (-5)/i*56757 composite?
True
Let l(w) = -55250*w - 8791. Is l(-6) a composite number?
False
Let c(a) = -a**2 - 6*a - 6. Let y be c(-4). Let p be (-9 + 7)/(-2 + 12/8). Suppose -3*r - y*z + 477 = 2*z, p*r - 617 = z. Is r composite?
True
Let h = 18217 - 8535. Suppose 8*m - h = 5734. Is m a prime number?
False
Is 3/(-1)*-132137*(-8)/(-24) prime?
True
Let u be (-232)/(-1 + 5)*-1. Let v = -55 + u. Suppose -5*w - v*j + 5743 = 0, j = -w + 3*j + 1159. Is w prime?
True
Let g be (-1 - 6/10)/((-6)/(-30)). Let q be ((-12)/g)/(3/4). Suppose -5*y - k = -3366, q*y + 5*k = -3*y + 3370. Is y a composite number?
False
Let q = -3636 + 10583. Is q prime?
True
Let r be ((-2)/18)/((-5)/30)*6. Let w(z) = 1590*z - 16. Let d be w(r). Suppose 5*y - 7931 = 4*g, 2*g = 4*y - g - d. Is y a prime number?
True
Suppose -563 = -2*k + 4*a + 2053, -5*k + 6556 = -2*a. Is (-2 - 1/(-1))*(-3 - k) a composite number?
True
Is -89*(-23619)/7 + ((-28)/(-49))/2 composite?
False
Let w(f) = -f**3 - 14*f**2 + 4*f - 18. Let g(r) be the third derivative of r**6/60 + r**5/60 - r**4/24 - 17*r**3/6 - 28*r**2. Let d be g(0). Is w(d) prime?
False
Suppose 11*a - 36 = 2*a. Suppose -3*x = -3*j - 12, -j - a*x + 4 = 8. Is (-4761)/(-9) - (j + 0) composite?
True
Suppose 5*j - 6 - 4 = 5*h, -3*h = 3*j - 36. Suppose -j*u + 66968 = u. Suppose 2786 - u = -5*g. Is g a prime number?
True
Let t = -1393 - 24. Let y = 3996 + t. Is y a composite number?
False
Let f(n) = -29633*n - 2376. Is f(-7) a prime number?
False
Suppose 924*w - 929*w = -119933 - 158772. Is w composite?
True
Let q(z) = -5*z - 35. Let h be q(-27). Let g = 107 - h. Suppose g*j - 6*j = 2609. Is j prime?
True
Let d(p) be the third derivative of -p**6/24 - p**5/20 + p**4/12 + p**3/6 - 2*p**2. Let c(a) = a**3 - 9*a - 5. Let n be c(3). Is d(n) a prime number?
True
Suppose 54*y + 1565834 - 8106800 = 0. Is y prime?
False
Let k be 54/((9/(-3))/(152 - -6)). Let m = k + 4357. Is m a composite number?
True
Let r = 8 - 3. Let c be ((-18)/4)/(48/(-256)*8). Suppose r*h = c*i + 12321, -5*h - 363 = 4*i - 12670. Is h prime?
False
Suppose -354*k = -422*k + 460972. Is k a prime number?
True
Suppose 14*t - 9*t = 0. Suppose -2*m - 3*m + y + 135 = t, -2*m = -2*y - 54. Is 19947/m - 2/(-9) composite?
False
Let i(v) = 19*v**3 - 10*v**2 + 2*v + 14. Let g(h) = -19*h**3 + 9*h**2 - 3*h - 13. Let l(p) = 3*g(p) + 4*i(p). Is l(10) a prime number?
True
Let r(z) = 65*z**3 + 5*z**2 - 16*z + 14. Let h be r(6). Is (h/10)/((-12)/(-60)) prime?
True
Suppose -25*r - 14*r + 22106827 = -13752620. Is r prime?
False
Let p(w) = w**2 + 14*w + 16. Let i be p(-13). Is i - 0/6 - 4612/(-2) a composite number?
False
Let k = -154586 + 402253. Is k a composite number?
True
Let m(o) = o**3 + 6*o**2 - 18*o - 104. Let w be m(-6). Suppose 4*j = -4*g + 8204, j + g - 10263 = -w*j. Is j a prime number?
True
Suppose 159*l - 344958 = 613971. Is l prime?
False
Suppose -3*z + 2*v + 5 = 4*v, -3*z = -v - 11. Suppose -16 = -s - z*s. Suppose -4*k + 98 = 5*m - 277, -s*k = m - 91. Is m composite?
False
Let f(c) = 117*c**2 + 8*c + 16. Let i = 316 + -307. Is f(i) composite?
True
Let q = 84 + -80. Suppose -2*c - 5*x = -2997 + 1186, -5*c + 4502 = q*x. Suppose 0 = 6*w - 7*w + c. Is w prime?
False
Let d(g) = 441*g + 140. Let y(x) = 1321*x + 420. Let i(n) = -17*d(n) + 6*y(n). Is i(17) a prime number?
True
Suppose -5*g + 53794 = 4*t, -3*t + 13*g = 12*g - 40317. Is t a composite number?
False
Let o(m) = -2315*m**3 - 2*m**2 - 4*m - 3. Let x be o(-4). Suppose 0 = -4*d + d - h - x, 5*d + 246891 = h. Is d/(-55) - 1/(-5) a composite number?
True
Let t = 34397 + -15912. Is t composite?
True
Suppose v = 26*v - 1672775. Is v prime?
False
Suppose -114501 = -3*y - 37968. Suppose -y = -3*b - 4*v, 11*v + 12 = 8*v. Is b a composite number?
True
Let x(c) = -22924*c + 293. Is x(-5) a composite number?
False
Let i(o) = -1 - o**3 - 12*o - 10 + o + 0*o**2 - 11*o**2. Let b be i(-10). Let q(k) = -86*k**3 + 2*k**2 - k - 2. Is q(b) a prime number?
False
Let j = -29 - -34. Let u be (6/j)/(1/(-5)). Is 753/u*(-6)/3 a prime number?
True
Let d = 26586 - -37813. Is d a composite number?
False
Suppose 5*y = 3*i - 429536 - 994848, 4*y - 474823 = -i. Is i prime?
False
Let w be 4/14 - (-132)/77. Suppose 22184 = w*j + 6*j. Suppose 5*x = -n + 771 + 2011, 4*n = -5*x + j. Is x composite?
False
Suppose -g = -4, -6*d + 5*d = -4*g + 11. Suppose s + 1424 = d*s. Suppose 0 = -7*z + 5*z + s. Is z composite?
True
Suppose 97*s + 90 = 82*s. Is (-56444)/(-12) - (-4)/s a composite number?
False
Suppose -17*t = 28*t - 4482315. Is t composite?
False
Suppose -119*g + 116*g + 27 = 0. Is 6/(-4)*-613 + g/6 composite?
True
Let d be (0/(-9))/(0 + -2). Suppose 10 = -2*i + 18, d = 3*l + i - 5083. Is l composite?
False
Let t = 46 + -57. Let u(h) = -h**3 - 7*h**2 - 10*h - 5. Is u(t) a prime number?
False
Suppose 0 = -0*z + 3*z + 3*r + 33, -5 = -5*r. Let v be (-7558)/z + ((-66)/36)/(-11). Suppose 507 = 3*d - v. Is d prime?
True
Let x = 70 + -62. Suppose -5 = -p - 5*q, x*q - 3*q + 25 = 5*p. Suppose -5*y = p*i - 9*y - 3191, -5*i - 2*y = -3167. Is i a prime number?
False
Suppose 0 = 4*g - a - 473552, -553*a + 355149 = 3*g - 550*a. Is g a composite number?
False
Suppose 0 = 7*d - 5*d - 216. Let t = 59 - d. Is 8/14 - 7567/t a composite number?
True
Suppose 0 = -24*g + 1546999 + 1056593. Is g composite?
True
Suppose 0 = 3*z + g - 8460, 0 = -2*z + 3*g - 0*g + 5651. Let h be ((-24)/11 + -2 + 4)*-22. Is -1*((-4)/h*-2 - z) a composite number?
False
Let b(h) = 2*h**2 - 1708. Let i be (0/(-1))/(-2*(-3)/3). Let j be b(i). Let x = 475 - j. Is x a composite number?
True
Let p(v) = v**3 + 31*v**2 - 6*v - 186. Let t be p(-31). Suppose t = -38*q + 39*q - 42557. Is q a prime number?
True
Suppose 3*h - 19 = a, -h - 2*a - 1 = -19. Suppose h*w = 34*w - 70798. Is w prime?
False
Suppose 0*n - 12*n + 878604 = -0*n. Is n a composite number?
True
Let g(u) = -13*u**2 + 18*u + 10. Let b(o) = -o**2 + o. Let k(i) = 5*b(i) - g(i). Let h be k(20). Suppose -2*v - f + h = 0, 0 = 12*f - 7*f. Is v prime?
False
Let h(s) = 1299*s - 2324. Is h(73) composite?
False
Let h = -226316 - -317935. Is h prime?
False
Let l = 492 + -490. Is -9308*(-9)/84 - l/7 a composite number?
False
Let c = -31 + 15. Let f = c - -18. Suppose -3*s - f*k + 136 = -357, -4*s + 4*k + 624 = 0. Is s a composite number?
True
Suppose -4*b = -y - 6, -3*y + 3*b = -7*y + 14. Suppose 0 = -3*i - y*i + 120. Is ((-838)/(-3))/(i/36) prime?
True
Suppose -10*k + 4*k + 30 = 0. Suppose -k*d + 3*f + 4727 = 0, 5*d - 2*f - 1164 - 3564 = 0. Is d - ((-20)/5)/4 composite?
False
Let h be -3067*3/2*(-8)/12. Suppose -j - h + 18126 = 5*p, 0 = -4*p + 4*j + 12028. Is p prime?
True
Let r(o) = 3*o**2 - 8*o + 30. Let g be r(10). Suppose g = -9*m + 11*m. Let n = 1710 + m. Is n composite?
True
Let f = 64297 + 22102. Is f a composite number?
False
Suppose 2*s = -3 + 27. Suppose -3*y - 6 = -s. Suppose -y*j - 5*i + 1958 = -587, -2555 = -2*j - 3*i. Is j composite?
True
Suppose -2*g = 173 - 173. Is (155/10)/((-4)/(-1208) - g) a prime number?
False
Suppose -346220 - 39779 = -15*b + 9131. Is b composite?
True
Let o(d) = -d + 3. Let i be (-1 + 1)/(-2) - 1. Let u be o(i). Suppose v + u*r = 315, 5*v - 2336 = -4*r - 841. Is v a prime number?
False
Let u be 