Let u(p) = 9 - 6*p - 8 + p + 2*p - 186*p**2. Let b be u(2). Let n = b + 1380. Is n prime?
True
Let y(a) = a**3 - 11*a**2 - 9*a + 3. Suppose w + 0*w + 4*j + 8 = 0, 2*j = -w + 2. Is y(w) prime?
False
Let i = -5 + 5. Suppose -5*j = -4*x - 493 - 128, i = x + 4. Is j a composite number?
True
Let w = -97 + 2744. Is w a composite number?
False
Suppose -10*u + 236269 = -3921. Is u a composite number?
False
Suppose -c - c - p = -2, 5*c = -5*p - 5. Suppose -x + 620 = -c*i, -6*i = 5*x - 3*i - 3190. Is x prime?
False
Let c(x) = 577*x**3 - x**2 + 1. Let r(m) = -m**2 - 5*m - 5. Let d be r(-2). Is c(d) a composite number?
False
Let q(d) = 18854*d - 279. Is q(4) prime?
False
Suppose -5*o - 53 = -3*j, 0*j + 4*o = -j - 5. Suppose -1727 = -12*y + j*y. Is y a composite number?
True
Let t(u) = u**2 + 13*u - 47. Let o be t(-16). Let i(q) = 367*q - 6 + 6. Is i(o) a composite number?
False
Let i be ((-1)/2)/((-1)/8). Suppose -v - 7 - 5 = -4*z, 5*v - 3 = -z. Suppose 6343 = 5*o - 4*s, o + z*o = i*s + 5076. Is o prime?
False
Let u(k) = -3*k + 11. Let q be u(-4). Let n = q + 30. Is n composite?
False
Let j(r) = -240*r**3 - 3*r - 4. Is j(-1) composite?
False
Let h = 99 + -36. Is (-14)/h + 29470/18 a composite number?
False
Suppose -24694 = -9*w - 2860. Is w a composite number?
True
Suppose 0 = -w - 5 + 11. Suppose 0 = 5*d - 3*d - w. Suppose -d*y - 3*x = 2*x - 62, -5*x + 81 = 4*y. Is y a prime number?
True
Suppose 8*c - 12 = 5*c. Suppose 0 = c*j - 3*a - 23, j - a - 2 = -4*a. Suppose -5*h + 5*b + 695 = 0, 5*b = -2*h + j + 301. Is h a composite number?
True
Let j = 4002 - 2743. Is j prime?
True
Suppose r + 5 = 3. Let i(s) = 21*s + 9. Let u(g) = g**2 - 2*g - 1. Let b(h) = i(h) + 12*u(h). Is b(r) composite?
True
Suppose 2*h + 3 = 11. Suppose -h*x + 5*d - 2*d = -9278, 2*x + 2*d = 4646. Is x composite?
True
Let y(k) = 555*k + 8. Let x be -2*(-2)/(-6)*(-81)/18. Is y(x) prime?
False
Suppose -5*l = 6 + 24. Is 3/l - 7875/(-10) composite?
False
Let h be 16/40 - 2194/10. Let q = h - -436. Is q a prime number?
False
Is (74 + 33859)*1/3 a prime number?
True
Let a = 33555 - 18368. Is a a prime number?
True
Let a(t) = 3*t**3 - 4*t - 1. Let w(y) = -8*y**3 + 12*y + 3. Let q(v) = -11*a(v) - 4*w(v). Is q(-4) a prime number?
True
Let v(g) = -12*g**3 - 5*g**2 - 2*g + 4. Let p be (-6 - -11)*(-4)/10. Let u = p - 1. Is v(u) a composite number?
True
Let o = 130451 - 86608. Is o a prime number?
False
Let t be 4 - ((-1 - -56) + -3). Let a be (10/4)/((-60)/t). Suppose 0 = -v + a*c + 297, 4*v - 1525 = -v + 2*c. Is v prime?
True
Let w = -161413 - -227010. Is w a prime number?
False
Suppose 4*f + 4678 = 2*v, 2348 = -0*v + v - 5*f. Is v composite?
False
Suppose 0 = -3*m - 0*m + 3. Is ((-74)/(-8)*m)/(1/44) a composite number?
True
Let w be 0 - (-2)/(3 - 4). Let z be (-6 - -7)/((-1)/w). Suppose -4*i + 5*r = -999, -4*r + z = -2. Is i composite?
False
Let o = -2065 - -3616. Let n = o - 968. Is n composite?
True
Suppose 2*z - 152 + 4170 = 4*m, -4*m + 4006 = 2*z. Is m a prime number?
False
Let g = -103 - -736. Suppose 2*p + p - g = 0. Is p a composite number?
False
Let r(d) = d**3 + 7*d**2 - 6*d + 6. Let h be r(-8). Let s = h - -14. Suppose 3*a + s*z - 2681 = 0, 0 = -4*a - z + 3*z + 3582. Is a prime?
False
Let z(q) = -4*q**2 + 8*q - 11. Let b be 16 + 1 - (-2 + 2). Let x(p) = 12*p**2 - 23*p + 32. Let c(o) = b*z(o) + 6*x(o). Is c(-6) composite?
True
Suppose -2*v + 8228 = -p, 0*p - 8248 = -2*v - 4*p. Suppose 0 = -5*w + v - 1511. Is w prime?
True
Suppose -2*q + 1039 = -6335. Is q a prime number?
False
Suppose 0 = 5*z - 4*q - 14740, 0 = -q + 5*q. Suppose z = 5*s - s. Is s a composite number?
True
Let n(j) be the third derivative of -j**6/40 - j**5/10 - j**4/12 - 11*j**3/3 + 10*j**2. Is n(-5) a prime number?
False
Suppose 10*n - 33292 - 74418 = 0. Is n composite?
False
Suppose -g - 6 + 97 = 0. Let x(t) = 86*t + 0 - g*t - 184*t + 1. Is x(-2) composite?
False
Let h = 15223 - 2332. Is h composite?
True
Let u(a) = 304*a + 3. Suppose 2*i - 5*y + 9 - 3 = 0, -3*y = 4*i - 14. Is u(i) prime?
False
Let k be (-2538)/14 - 4/(-14). Suppose 4*o + 203 + 1029 = 0. Let z = k - o. Is z prime?
True
Suppose 52*d + 1476 = 55*d. Let a(b) = -3*b**3 - 6*b**2 - 7. Let o be a(-5). Let r = d - o. Is r a composite number?
True
Let i(w) = 1665*w - 51. Is i(4) a prime number?
False
Suppose -2*n + 491 = -4*q + 5*q, 3*n + 1909 = 4*q. Is q a prime number?
False
Suppose 2*x + 2*x - 80 = 0. Let p = x - -69. Let l = p + -34. Is l a prime number?
False
Let t(z) = -z**2 - z**2 + 4 + 5*z**2 - z + 7*z**3. Let v(s) = 8*s + 43. Let r be v(-5). Is t(r) composite?
True
Let k = -434 - 456. Is (1 - 0) + 2 - k composite?
True
Let k(w) = -w**3 - 5*w**2 - 9*w - 11. Let g(n) = -6*n**2 - n - 1. Let r be g(1). Is k(r) composite?
True
Suppose -2*z - 796 = -3*z + 3*l, 4*z = 5*l + 3212. Is 30/(-45) + z/6 prime?
False
Suppose -2 + 1 = s. Let g be 3 + 3 + (s - 2). Suppose -h + 399 = 2*h + 5*a, g*h - 2*a - 399 = 0. Is h prime?
False
Let x be 0/(-1) - 7/(28/(-8)). Is (x + (-5)/5)*(-127)/(-1) composite?
False
Let y be (23 + -21)/(4/1526). Is -4 + 4 - y*-1 a composite number?
True
Let q = 173 + 212. Let c(m) = m**3 - 33*m**2 + 32*m - 11. Let x be c(32). Is 6/(-2) + q + x a prime number?
False
Let d be ((-16)/(-20))/((-2)/(-10)). Suppose -4*j + 5*x = -5424, 2*j + d*x = x + 2734. Is j a composite number?
False
Suppose 0 = -5*f + 5 + 20. Suppose 3592 = 3*r + f*r. Is r prime?
True
Suppose 2*f - 8 = -l + 5*l, 5*f - 7 = -3*l. Let g be (-2)/(-2) - 1/l. Suppose g*s - 408 = 250. Is s prime?
False
Suppose 0 = -15*v + 14*v. Suppose -6*p - 291 + 1005 = v. Is p a prime number?
False
Let q be ((-14)/3)/((-2)/(-3)). Let b(n) = -4 - n**3 + 0 + 2*n**3 + 7*n**2 - 2*n. Is b(q) a composite number?
True
Suppose 9*u + 28127 = 10*u. Is u composite?
True
Let q = 11 + -12. Let a = q + 6. Suppose 4*k - 35 = 3*u + 96, -k + a*u = -20. Is k a prime number?
False
Let x = 1885 + -3409. Let j = -22 + 19. Is x/(-18)*j/(-2) prime?
True
Let o = 585 - 500. Is o a prime number?
False
Suppose 8*p - 25043 = 42837. Is p a composite number?
True
Suppose -41422 = -5*w + c, 0 = 3*w + c - 3*c - 24849. Is w prime?
False
Let u(b) = -b**3 + 10*b**2 - b + 14. Let s be u(10). Let c(k) = 28*k - 3. Let i(q) = -q - 1. Let h(m) = c(m) - 4*i(m). Is h(s) a prime number?
False
Let r be 1*(-3 - -2)*-1. Let y be (r + -4)*2235/(-9). Suppose n - y = -4*n. Is n a prime number?
True
Suppose 97 = -4*x + 301. Let h = 83 - x. Is 2/(h/236)*8 a composite number?
True
Let r(i) = -i + 14. Let k be r(10). Suppose 0 = k*s - 1500 - 1088. Is s composite?
False
Suppose 3*j + 24 = -30. Let k be j/5 - 9/(-15). Let s(q) = -232*q + 7. Is s(k) a composite number?
True
Suppose -2*j - 2 = -6*j - 2*l, -5*j = -2*l - 25. Let u = 129 - 126. Suppose -u*n = 0, -n - 725 = -5*s - j*n. Is s a prime number?
False
Suppose 3*c = -3*b + 8*c - 10, 5*b - c = 20. Suppose -4*d = 20, -b*i + 3*d + 439 = -i. Is i a composite number?
True
Suppose 4*j - 22527 = 3*c, 4*j - 22521 = -8*c + 5*c. Is j prime?
False
Let b(d) = -557*d - 47. Is b(-8) a prime number?
True
Let a(m) = 93*m - 20. Let c be a(4). Suppose r - c = -101. Is r prime?
True
Suppose -6537 - 7083 = -12*v. Let s = v - 304. Is s prime?
False
Let p(c) = -7*c - 6. Let n be p(-6). Let x = n - -112. Suppose 3*k + 748 = 5*r, -r - k + 0*k = -x. Is r prime?
True
Suppose -33783 = -z + 3*l, -2*z + 80884 - 13318 = 3*l. Is z a composite number?
True
Let t be -12*9*(-618)/24. Let p = -1444 + t. Is p composite?
True
Is (2 - (-3523)/2)*(9 - 7) composite?
False
Suppose f = -4*f + 105. Suppose 2*c - 5*c = -2*w - 31, -2*w + c - f = 0. Let r = w - -339. Is r prime?
True
Let u = 7 + -1. Let a be ((-3)/2)/(u/40). Is 1/(-5) + (-5032)/a a composite number?
False
Let r(d) = -d**2 + 2*d + 9. Let x be r(-3). Let k be ((-6)/(-9))/((-2)/x). Is (-201)/12*k*-6 a composite number?
True
Let f be (-9)/(-6)*((-80)/(-15))/2. Let x(v) = 1166*v - 1. Let t be x(1). Suppose -c - f*c + t = 0. Is c composite?
False
Suppose -4*v + 3232 + 2620 = 4*u, -u = -4. Suppose 5*i + 4*o - o = v, 0 = -3*i - 3*o + 873. Is i composite?
False
Let u be (0 + (-12)/10)*-5. Let t be (-25)/2*(3 + -5). Let d = t - u. Is d a composite number?
False
Let r = -339 + 223. Let y be ((-42)/9)/(2/(-129)). Let q = y + r. Is q a composite number?
True
Let x be 9*(32/(-12) - -4). Suppo