f**2 - f. Let y be j(1). Let u be (24/(-60))/(-7 - 414/(-60)). Suppose -4*n + 2220 = 4*r, y*n - u*n + 2*r - 556 = 0. Is n prime?
False
Suppose -121*m + 125*m - 2*n - 445494 = 0, -3*m - 5*n = -334114. Is m prime?
True
Let b = 12893 - -33460. Is b prime?
False
Suppose 0 = -3*r - 3*g + 3, 4*r + g - 2*g = 24. Suppose 4*j - 5 = -x, -3*j - 31 - 40 = -r*x. Is 479/x*1 + 8/52 composite?
False
Suppose -13288*j = -13301*j + 15317419. Is j a prime number?
True
Let x = 109 + 38. Suppose -151*h + 69268 = -x*h. Is h prime?
True
Let v = -19890 + 48353. Is v a composite number?
False
Let q(w) = -w**2 - 8*w - 3. Let g be q(-3). Suppose -300 = -16*o + g*o. Is 3/2*(-5)/(o/(-2230)) a prime number?
True
Let s(v) = 973*v**2 + 4*v - 112. Is s(9) composite?
False
Is (-24)/4 + ((-8)/(40/(-15)) - -125614) composite?
True
Is 761/(-22 - (-25980)/1180) prime?
False
Suppose 13169 = 9*j + 308. Let u = j - 798. Is u prime?
True
Let j(q) = -209*q - 22. Let c(s) = 7*s - 40. Let f be c(7). Let l be j(f). Let u = 3682 + l. Is u prime?
False
Let s be (-3126)/(-4) - -15*9/(-90). Suppose -3*m + 3*j + s = 0, 0 = -3*j + 1 - 4. Is m composite?
True
Let t(x) be the second derivative of -367*x**4/12 - 4*x**3/3 + 11*x**2/2 - 27*x. Let o be t(2). Let y = 2108 + o. Is y composite?
True
Let i be (-1 + 2)/1*(-7 - -10). Suppose 0 = 4*f - i*f - 2*a - 1711, -8 = 4*a. Is f composite?
True
Suppose -12*y + 573774 = -244002. Let l = y - 47685. Is (-4)/10 - l/(-95) composite?
True
Let u = -63579 - -107930. Is u composite?
False
Let g be 144/(-30)*(-20)/8. Suppose -79145 = g*j - 67*j. Is j composite?
False
Suppose -16*o = -221909 + 32101. Is o prime?
True
Suppose -16*c - 272 = -8*c. Let h(p) = p**2 + 3*p - 63. Is h(c) composite?
False
Suppose 0 = -11*w + 13*w - 3*z - 180986, w - 90511 = -3*z. Is w a composite number?
False
Suppose 3*k - 242 = -272. Let b(l) = -2*l**3 - 3*l**2 + 46*l + 19. Is b(k) a composite number?
False
Let u(i) = 3*i**3 - 2*i**2 - 12*i - 1. Let g be u(7). Suppose n - g = 1434. Suppose -5*j - h = -0*h - 2869, 4*j - n = 3*h. Is j composite?
True
Suppose -q - 138 + 48 = 0. Let w = -85 - q. Suppose -7*v = -3*v + w*j - 3789, 3*j = -v + 956. Is v a composite number?
False
Let k = 19 + -10. Let p = -1741 + 1749. Suppose -k*n = -p*n - 673. Is n a composite number?
False
Let p(a) = -4*a + 31. Let f be p(7). Suppose 3*q - f*t = 15, -2*t = -3*q - 10 + 30. Is (-2731)/(-4) - (q/(-8))/5 prime?
True
Let u = 946 - 942. Suppose 0 = -4*f + 4*a - 2*a + 25152, 0 = u*a - 8. Is f a prime number?
False
Let k(z) = z**2 + 33*z - 2. Let w be k(0). Is (-12346*(-5)/20)/((-1)/w) a prime number?
True
Let s(l) = 49*l**2 + 66*l - 207. Is s(26) a prime number?
False
Let h = -6 + -9. Let m = h + 12. Let j(t) = 204*t**2 - 13. Is j(m) a prime number?
True
Let q = 13 + -9. Suppose 5*h = 3*d + 20, -2*h = -q*d - 5*h + 12. Suppose -z - 402 + 1031 = d. Is z a composite number?
True
Suppose 15*r = -3*r. Suppose r = 35*t - 46*t + 123387. Is t a composite number?
True
Suppose 7*m - 13 = 8. Suppose i - 308 = -3*i. Suppose m*v - 316 = i. Is v composite?
False
Suppose -2*v = 2*i - 4290, -9*i + 5*v = -4*i - 10685. Let f = i - -296. Is f a prime number?
True
Is ((-11208)/120)/((-22)/10 - (-10 - -8)) composite?
False
Suppose 5 = -6*c + 29. Let g(d) = -19*d**3 + 47*d**3 + 5*d**2 - 17*d**3 - 6*d - 2. Is g(c) a composite number?
True
Suppose 7 + 9 = 8*t. Let z(w) = w**3 + w**2 - 4*w + 7. Let o be z(t). Is 1397/o*2/4*2 a composite number?
False
Let w(d) = -2788*d - 1781. Is w(-21) a composite number?
False
Let o(u) = 2396*u + 43. Suppose -39*f + 36*f = -9. Is o(f) a prime number?
False
Let i(g) = -83*g**3 + 2*g**2 + 7*g + 7. Let y = -739 + 735. Is i(y) composite?
False
Suppose 13*y + 24*y - 10645872 = -11*y. Is y composite?
True
Suppose -20*m + 5968986 + 24789809 = 231*m. Is m prime?
False
Suppose 2*c + 2783 = 2*t - 3349, 6118 = 2*t - 4*c. Is t prime?
False
Let y = 411 - -217. Suppose 2*n - 4*x + y = 6*n, -x = -3*n + 487. Let k = n + -106. Is k a prime number?
False
Let i = -339652 + 878349. Is i a prime number?
True
Suppose -100*t + 2961467 = -10881233. Is t a prime number?
True
Suppose 2*a = -3*k + 77, -5*k + 57 + 74 = 4*a. Let v = k - 22. Is 455 + (v - (-5 + 10)) a composite number?
True
Let s(g) = 1884*g**3 - 3*g**2 + 6*g - 5. Let j(x) = 1. Let u(o) = 6*j(o) + s(o). Is u(2) a composite number?
False
Suppose -1676662 - 1197807 = -41*o. Suppose -5*w - o = -252574. Is w a composite number?
False
Let g(m) = -m**2 + 20*m + 49. Let c be g(23). Let i = -34 - c. Let r(d) = 3*d**2 + 4*d + 9. Is r(i) prime?
True
Suppose -99*h + 6965970 = -6813741. Is h a composite number?
True
Suppose 0 = -57*z - 784790 + 2236124. Suppose -z = -2*b - 7748. Is b composite?
True
Let o(l) = 0*l**2 + 76 + 8*l**3 - l**2 - 101 + 11*l + l**2 + l**2. Is o(3) composite?
False
Suppose 0 = -3*z - x + 15349 + 113084, 4*z - 3*x = 171244. Is z prime?
False
Is (231/(-3) - (10 - 16))*-211 prime?
False
Let y(g) = -24 - 60 - 45 - 50*g - 47 + 219. Let h be ((-4)/3)/((-4)/(-42)). Is y(h) prime?
True
Let f = 306 - 301. Let n = -8 + 11. Suppose n*b = -f*b + 2408. Is b composite?
True
Let o = 17 + -26. Let d(v) be the first derivative of -v**4/2 - 11*v**3/3 + 15*v**2/2 + 5*v + 2864. Is d(o) prime?
False
Let r(t) = -t**3 - 2*t**2 + 2*t + 2. Let z be r(-3). Suppose z = -8*l + 21. Suppose 57 + 17 = l*k. Is k composite?
False
Suppose 9*n - 692370 = 420264. Is n composite?
True
Suppose 0 = -2*p + y + 8, -4*p + 5*y = -8*p + 2. Suppose -12 = p*x, -r + 4*r = -x + 51065. Is r a prime number?
False
Let y = -12762 + 19684. Is y composite?
True
Suppose -5*f + r = -1285192, 24*f - 28*f = 4*r - 1028168. Is f prime?
False
Let u(w) = -12645*w + 4753. Is u(-10) prime?
True
Suppose -16*l + 5547504 = -3489856. Is l a composite number?
True
Suppose 5*y - 616755 = 7*o - 5798723, 5*o + 4*y - 3701383 = 0. Is o a composite number?
False
Let a(s) be the second derivative of -65*s**3/3 + 23*s**2 - 6*s - 5. Let i be a(-5). Let g = i - 161. Is g a composite number?
True
Suppose -12 = -4*q, 57*z - 53*z + 3*q = 91301. Is z a prime number?
False
Suppose p + 15 = -4*p + 3*l, 3*p + l - 5 = 0. Let c(a) = 2*a**3 - a**2 - 5*a + 8767. Is c(p) a composite number?
True
Is 25 - (-126)/(-14) - -55783 a composite number?
False
Let t(g) = 15*g**2 + 16. Let p(n) = -31*n**2 + n - 32. Let d(b) = -4*p(b) - 7*t(b). Let j be d(-6). Suppose -4*k + 1232 = -j. Is k composite?
True
Let y = 5238 + -37879. Is -10*(y/14 - 5) a composite number?
True
Let q(u) = -2*u - 47*u + 5*u**2 + 1 + 2. Let g = 15600 - 15585. Is q(g) a composite number?
True
Let q(k) = -5*k**3 + 24*k**2 - 3*k - 73. Let a be q(-10). Let l be (4 + 0)/2 + 1. Suppose -s - s + 2936 = l*f, 5*s - f - a = 0. Is s prime?
True
Let a(d) = -2*d**3 + 69*d - 17*d**2 - 17 + 3*d**3 - 61*d. Is a(18) composite?
True
Let c be (8/(-12))/(1 - (-35)/(-45)). Is (290795/(-228) - (-2)/(-8))*c a composite number?
True
Suppose -34646 = -8*r + 2874. Suppose -13545 - r = -5*q. Is q composite?
True
Let i = 136894 + -1959. Is i prime?
False
Let a(i) = 17*i**3 + 3*i**2 + 109*i - 2689. Is a(20) composite?
False
Let l(c) be the first derivative of c**4/4 - 4*c**3 - 7*c**2 + 13*c - 3. Let i(a) = -12*a + 255. Let p be i(20). Is l(p) a prime number?
False
Suppose 46*u + 4*c = 50*u - 2500, -3152 = -5*u - 4*c. Let v = u + -77. Is v a prime number?
False
Is (39/52 - (-1)/(-4))/(6/2424156) composite?
True
Let f be 2*2*(-15)/(-12). Suppose 3*d - s = 9, -f*d + 3*s + 8 = -7. Let a(w) = 39*w**3 + 2*w**2 - w + 13. Is a(d) a composite number?
True
Let w = -48929 - 51137. Let a = -56859 - w. Is a a prime number?
True
Suppose 5*p = 5*f - 0*p - 10, 0 = 2*f + 2*p - 12. Is -466*f/(-16)*10*1 a prime number?
False
Let i be 6124 + (2/(-6))/((-1)/(-6)). Suppose 3*t + t = 2*d + i, -4*t + 3*d + 6119 = 0. Suppose 3*f + 395 = t. Is f composite?
False
Let v = 13 + -12. Suppose 2*u - 6 = -2*m, -9 = -3*u - 4*m - v. Suppose -o = g - 202, -u*o + 2*g - 4*g + 802 = 0. Is o a composite number?
False
Let s(b) = b**3 - 16*b**2 - 17*b + 29. Let k be s(17). Let t(w) = w. Let y be t(4). Suppose k - 313 = -y*v. Is v a composite number?
False
Let y be (-36)/(-24)*(-4)/(-2). Suppose 2*z = -5*w - 30, y*w + 13 = -z - 2. Let m = z + 22. Is m a prime number?
True
Let w = 6877 + -2594. Is w composite?
False
Let o(y) = -27*y**2 - 28*y**2 + 