i + 220 = 8*i. Suppose 0 = -i*t + 25*t - 393. Is t a prime number?
True
Suppose 5*l + 60 = -5*l. Let g(q) = q + 49. Let r be g(0). Is l + r + (2 - -1) a composite number?
True
Let v = -42 + 34. Is 4 - 1 - 3824/v composite?
True
Suppose -3*y + y = -8. Suppose 0 = 2*v + v + y*p - 4753, v - 1578 = 5*p. Is v composite?
False
Suppose 0 = 6*p - 4*p + 8. Is 8606/4 + (6/p - -3) prime?
True
Suppose 2*v + 5417 + 1540 = 5*n, 5*v = -5. Let q = n - -1428. Is q prime?
True
Let v be ((-28)/(-12) - 1)*-9. Let l(o) = -o**3 - 11*o**2 + 13*o + 14. Let y be l(v). Suppose -q = 2*q - y*z - 633, 2*q = -5*z + 422. Is q prime?
True
Suppose 0*w = 3*w + 6. Is (1 + (-9)/6)*(-280 - w) a composite number?
False
Let t(b) = -654*b - 52. Let z be t(-12). Suppose -5*r - z = -4*m, 4*r = -4*m - 433 + 8229. Is m composite?
False
Is (27903/(-9))/(10/(-30)) a composite number?
True
Suppose -4*w = 1017 + 6779. Let j = -48 - w. Is j a prime number?
True
Let y = -122 + 317. Suppose -a = 4*a + y. Let f = a - -136. Is f a composite number?
False
Let w = -1705 + 2485. Let y = 1126 - w. Is y a composite number?
True
Suppose 5*g - 9004 = -b, 7 + 3 = -2*g. Is b a prime number?
True
Let i(q) be the first derivative of 9*q**2 + 7*q - 9. Let s be 3/6*0 - -4. Is i(s) a composite number?
False
Suppose 5*c + 2 = 12. Suppose -c*u - 3*u = -15. Suppose -4*p + 9*p = 4*z + 661, 3*z = -u*p + 402. Is p a composite number?
True
Let x(s) = 135*s**2 + 18*s + 46. Is x(-11) a composite number?
False
Let v(z) = -137*z + 22 - 25*z - 32 + 17. Is v(-2) prime?
True
Let i = 1768 - 2544. Let z = i - -1173. Is z a prime number?
True
Let i(b) = b**3 - 3*b**2 - 8*b. Suppose -3*s + 6 = -9. Let q be i(s). Suppose -o - q = 4*o, -2*m + 2*o = -96. Is m composite?
True
Suppose -11*b + 8*b = -972. Is (-2)/(-2)*-3 + b prime?
False
Let u be (390/(-117))/(1 + 5/(-3)). Is ((-14)/(-3))/(3031/(-609) + u) a composite number?
True
Is (4 - 8) + 3397 + -4 a composite number?
False
Let z = -7 + 11. Is 787/5 + z/(-10) a prime number?
True
Suppose -5*d = 9*d - 184058. Is d composite?
False
Suppose 3*m = -5*o - m - 1905, 0 = 5*o - 4*m + 1865. Let z = 33 - o. Suppose 4*b - 552 = 4*s, -2*b + 2*s + z = b. Is b a composite number?
True
Let q(o) = 22*o**2 - 2*o - 1. Let c be -4*(-1 - (-5)/2). Let r(u) = u**2 + 6*u + 2. Let v be r(c). Is q(v) a composite number?
False
Let r(p) = -3*p**3 + 16*p**2 + 10*p + 118. Is r(-9) a prime number?
True
Let q = -25 + 27. Let b be 4*2/12*6. Suppose -b*p + p - 4*i = -195, p = q*i + 65. Is p prime?
False
Let j(o) = -4*o - 5. Let x be j(-2). Suppose -2*l = 3*p + 4, 0 = -p - 2*p - x*l - 9. Suppose -4*n + 105 + 125 = p*h, -3*n + 5*h = -140. Is n composite?
True
Suppose 6*l - 1296 = -2*l. Suppose 2*h = 772 + l. Is h a prime number?
True
Suppose -73090 = 6*v - 16*v. Is v a prime number?
True
Suppose 4*o - 8 = 2*o. Is 286 + 2*((-14)/o - -4) a composite number?
True
Suppose -k + 8 - 5 = 0. Let r(y) = 9*y**2 + 0*y**k - 5*y - 2 - 2 + y**3. Is r(-5) composite?
True
Let c = 6242 + 2411. Is c composite?
True
Suppose 12*x - 51 = -5*x. Suppose 0 = 3*d + 5*c - 903 - 195, -x*d = -c - 1116. Is d prime?
False
Let q(b) = 440 + 15*b - 13*b - 33 - 8*b. Is q(0) a prime number?
False
Let y = -3843 - -6164. Is y composite?
True
Let f be (-3 - -150) + -5 + 1. Suppose f = -2*w - 69. Is ((-12)/8)/(3/w) composite?
False
Suppose -2*o = -0*o - 16. Let x(g) = -9*g**2 + 3*g + 3 + 10*g**2 - g. Is x(o) a prime number?
True
Let f = -152 - -689. Is f composite?
True
Suppose 2*v - 6*c + 11*c = 7735, -5*c = v - 3870. Is v a composite number?
True
Let i(b) = 74*b**2 - 4*b - 3. Let j be i(-3). Let n = -395 + j. Suppose -6*k + 2*k - m = -215, n = 5*k - m. Is k a composite number?
True
Suppose 7*j - 25 = 12*j, 3*j = 3*i - 89100. Is i a prime number?
False
Let l = -19 - -19. Suppose 5*j + 5*i - 2115 = l, 3*j + 0*j = i + 1253. Is j a prime number?
True
Let n = 23486 + -2247. Is n a prime number?
False
Let b = -264 - -383. Suppose 1 = t, 0*t + b = z - 2*t. Is z prime?
False
Suppose 4*r - l = 3 - 4, 4*r + 3*l - 3 = 0. Suppose r = 4*m - 2*o - 2, -2*m + 8 = m + 5*o. Is (51 - (-3 - -2)) + m composite?
False
Suppose 3*v - 6*v + 9690 = 3*i, 0 = -4*i + 3*v + 12955. Suppose -2*d - 3*d = -i. Is d a prime number?
True
Let z(b) = b**2 - b - 18. Let y be z(-5). Suppose y*q + 940 = 16*q. Is q a composite number?
True
Let s(m) be the first derivative of -3*m**4/4 + m**3 + m**2/2 + 12*m + 20. Is s(-5) a prime number?
True
Let c(o) = -1599*o**3 + o. Let y be c(-1). Suppose -66*l + 64*l = -y. Is l a composite number?
True
Suppose 3*a - 3971 - 1000 = 0. Is a prime?
True
Let m be (31591/(-4))/((-46)/(-8) + -6). Suppose d + m = 8*d. Is d a prime number?
True
Suppose 0 = 2*h - 3*y + 3 - 22, -2 = 4*h + 2*y. Suppose 1099 = 9*g - h*g. Is g prime?
True
Suppose 2*g + 3 + 5 = 0. Let p(b) = b**3 + 5*b**2 + b - 5. Let z be p(g). Suppose -l + z*l = 1938. Is l prime?
False
Let m(q) = 4*q**3 - 3*q**2 - 4*q - 26. Is m(5) a composite number?
False
Let o be -4 + (0 - -1) + (8 - 224). Let v = -128 - o. Is v a composite number?
True
Let k(n) be the third derivative of -n**4/24 + 368*n**3/3 + 4*n**2. Let i be k(0). Let z = i + -239. Is z prime?
False
Let g(w) = -9*w + 8*w - w + w**2 + 1. Let s be g(2). Is (-300 - -1)/(s - 2) prime?
False
Let c = -80 + 116. Is (-2)/(-9) - 4/c*-40435 composite?
False
Let x = 9369 + -5168. Is x a prime number?
True
Suppose 0 = 3*p - 3*r + 8*r + 4, -2*p + 2 = r. Is (2165/2 + p)*2/3 prime?
False
Let w(t) = -143*t + 2. Let h be (-14)/21*(-3)/(-2). Is w(h) a prime number?
False
Suppose -6*l + 4*b - 64516 = -10*l, 0 = 5*b. Is l composite?
True
Let l = 8914 + -4383. Is l composite?
True
Suppose -3 = -2*c + 5. Suppose n + 1043 = 3*n + h, c*h = -n + 539. Let x = n - 130. Is x prime?
True
Is -68914*((-99)/(-18))/(-11) prime?
True
Let o(f) = 4 - 105*f + 16*f**2 + 92*f + 0. Is o(6) a composite number?
True
Suppose -3*o = -t + 291, o + 5*t + 104 = 23. Let m = o - -577. Is m a composite number?
True
Let x be -4*(-1 - 24356/16). Suppose -3*q + 7 = 1. Is (x/(-45))/(q/(-10)) a prime number?
True
Is (6017382/(-1701))/((2/9)/(-2)) composite?
True
Suppose -182 = -3*a - 170. Suppose -a*n = -6*n + 838. Is n composite?
False
Let u be (4/3)/(6/18). Is (6/u)/(27/2142) prime?
False
Let v(n) = 2*n**2 + 16*n - 65. Let l(k) = k**3 - 20*k**2 - 17*k - 61. Let x be l(21). Is v(x) composite?
False
Let u(l) = 3*l + 20. Let v be u(-12). Let i(q) = -q - 14. Let a be i(v). Suppose -a*d - 41 = -115. Is d a prime number?
True
Let l(q) = 3*q**2 + q. Let v be l(1). Suppose -44 = v*u - 0*u. Let y(a) = -25*a - 13. Is y(u) a prime number?
False
Let i be 7 + (6 - (-7 - -14)). Suppose 3379 = 2*j - 3311. Suppose -3*z = -i*z + j. Is z composite?
True
Let f = 68 + -65. Suppose 0 = -f*m - 4*j + 219, -3*m + j + 311 = m. Is m a prime number?
False
Let x = 1142 + 4441. Is x composite?
True
Suppose 2*q + 4*u = 3900, -5*q = -0*q - 4*u - 9736. Let r = q + -576. Suppose -480 = 4*b - r. Is b prime?
True
Suppose -m - 3*p - 8 = 0, 2*m - 2*p - 12 = -p. Suppose c + m*c = 15. Suppose -c*v = -2*v - 37. Is v a composite number?
False
Suppose 279 = d - 3*f - 71, 2*f = 3*d - 1015. Let y = 639 + d. Suppose 5 = a, -a + 100 - y = -3*o. Is o composite?
False
Suppose 0 = -v - 64 + 313. Is v prime?
False
Let n be ((-813)/(-6))/(3/(-6)). Let b = -177 - n. Is b a prime number?
False
Let v(y) be the first derivative of y**6/120 - 7*y**5/30 + 11*y**3/6 - 5*y**2/2 + 4. Let c(a) be the second derivative of v(a). Is c(14) a prime number?
True
Suppose 2*t - 205456 = -14*t. Is t a composite number?
False
Suppose 4*m = 3*b + 145651, -182078 = 4*m - 9*m - b. Is m a composite number?
True
Suppose 15409 = 4*s - 43159. Is s a prime number?
False
Is (9 - (-66)/(-6))/((-2)/2243) a composite number?
False
Let f = 30 + -21. Suppose -f*z = -5*z - 12572. Is z prime?
False
Let q = -19 + 32. Suppose -9*s - 1324 = -q*s. Is s prime?
True
Let q(b) be the first derivative of -b**4/4 + 7*b**3/3 + 9*b**2/2 - 6*b - 7. Let n be q(8). Suppose 4*d = -w + 69, 2*w = 3*w + n*d - 61. Is w composite?
False
Let p(r) = -6706*r**3 - 15*r**2 - 3*r - 3. Is p(-2) prime?
True
Suppose 14 - 4 = o. Suppose -k - 5*x + 591 = -o*x, -1150 = -2*k + 2*x. Is k a composite number?
False
Let w = 6 - 3. Let j(z) = z**3 - 3*z + 4. Let g be j(w). Let u = -7 + g. Is u a composite number