True
Let b(a) = 2*a**3 - 15*a**2 + 7*a + 2. Let c be b(7). Suppose -3*x - q = 2*x - 6399, 2542 = c*x - 4*q. Is x a prime number?
True
Let b(f) = -f**3 - 31*f**2 + 40*f + 131. Is b(-39) prime?
True
Let n(l) = -l**3 - 4*l**2 + 3*l - 4. Let g be (20/(-8))/((-3)/(-6)). Is n(g) a prime number?
False
Suppose -336 = -m + 835. Is m composite?
False
Let m = 1 - -4. Let l be 1/(-3)*(-1635)/m. Let v = l + -78. Is v composite?
False
Let y(l) = l**3 - 11*l**2 - 11*l - 6. Let f be y(12). Let u(g) = 19*g - 8. Let n be u(f). Suppose n = d + d. Is d a prime number?
True
Let c(v) be the second derivative of 29*v**6/360 + v**5/60 + v**4/24 + v**3 - 2*v. Let t(d) be the second derivative of c(d). Is t(2) composite?
True
Let n(w) = -206*w**3 - 8*w**2 - 9*w + 1. Is n(-4) a prime number?
True
Let q be (-6)/4 - 11849/(-34). Suppose -2*y + 2*w = -w - 698, -y + q = -2*w. Is y composite?
True
Let k be ((-8)/24)/(1/(-435)). Let d(h) = -h**2 + 11*h + 4. Let q be d(-8). Let v = k - q. Is v a composite number?
False
Suppose -4*r - r + 5*d = 540, -4*r - 3*d = 439. Is 2 - -4 - 2 - 33*r composite?
True
Let g = 16881 + -1330. Is g composite?
False
Suppose n - 48055 = 5*d, -20*n + 23*n = 4*d + 144187. Is n a composite number?
True
Let m = 61 - 59. Suppose -3*a = v - 10294 - 13, -6882 = -m*a + 2*v. Is a prime?
False
Suppose 3*z + 19 = 8*z + 3*u, -3*u = -3*z + 21. Let v = 274 + 13. Suppose -z*x + q + v = 0, q - 119 = 2*x - 4*x. Is x a prime number?
False
Suppose 7*o - 8931 - 78226 = 0. Is o prime?
True
Is (-142)/(-1065) + 22483/15 prime?
True
Let a(m) = 5*m**2 + 3*m - 1. Let d be a(2). Suppose 3*i = -i + 2*g + 246, -5*g = d. Is i a prime number?
True
Let a = 23 + -16. Let i be a/21*(6 - 0). Suppose 393 = i*l - 73. Is l a composite number?
False
Suppose 2*z - 30464 = 2*i, -30469 = -2*z - 10*i + 7*i. Is z composite?
False
Suppose 21*l + 251053 = 50*l. Is l a composite number?
True
Is ((20202/(-28))/(-13))/((-3)/(-1574)) prime?
False
Suppose -l + 459 = -5*d - 13084, 27086 = 2*l + 4*d. Is l composite?
True
Let h(p) = p - 3. Let g be h(3). Suppose -23*n + 26*n - 3831 = g. Is n a prime number?
True
Let c be 1 - (-5)/((-10)/(-392)). Suppose c = -5*g + 642. Is g a composite number?
False
Let n(z) = z**3 - 3*z + 7. Suppose i - 3*w + 18 = -2*i, -3*i = 5*w + 2. Let r be i/10 + 148/20. Is n(r) prime?
False
Is (((-63290)/(-8))/5)/(14/56) prime?
True
Let m = 10 + -10. Suppose m*z + 2*z = 284. Let f = 15 + z. Is f composite?
False
Let l(f) = 12*f - 14*f + 6*f**2 + 7*f**2. Is l(3) composite?
True
Let c(d) be the first derivative of 15*d**2/2 - 2*d - 9. Let a be c(-10). Let g = 219 + a. Is g a composite number?
False
Let l(t) = 390*t + 16. Let z be l(2). Suppose 135*h = 139*h - z. Is h a composite number?
False
Let p(b) = -12*b**3 + 2*b**2 + b. Let t be p(2). Let x = t - -297. Is x a prime number?
True
Let s(t) = 4*t**3 - 13*t**2 + 6*t + 6. Is s(5) a composite number?
False
Let v(o) = o**2 + 17*o + 7. Let x be v(-10). Let y = x - -140. Is y a prime number?
False
Suppose 0 = -2*y - 2*y + 24. Let h be 609/y - 1/2. Let q = h - 54. Is q prime?
True
Let w = -15178 + 85151. Is w prime?
False
Let p = -6273 + 9532. Is p composite?
False
Let j = 147056 + -81879. Is j composite?
True
Suppose j - 409 = 990. Is j a composite number?
False
Suppose -4*z = p - 184273, -3*p + 4337 = z - 41723. Is z composite?
True
Let b(x) = x**2 + x + 35. Is b(-14) a composite number?
True
Suppose 30 = 8*k - 2*k. Suppose -2*v + 1248 = u, -k*v + 2387 + 720 = -4*u. Is v prime?
False
Let y = 803 + 338. Suppose 10*g - 11*g = -y. Is g composite?
True
Let x(l) = -10*l**3 - 23*l**2 + 44*l + 46. Is x(-19) composite?
False
Let r be 25/15*(8 + -2)/2. Suppose -r*w = -117 - 253. Is w a prime number?
False
Let o(z) = -195*z - 26. Let v be o(-5). Let u = v - 162. Is u composite?
False
Let x = 2817 - 1910. Is x prime?
True
Suppose -147 = -l + 5*x, 0 = l - 0*l - 3*x - 139. Is l a prime number?
True
Let h(u) = -7*u**2 + 18 + u**3 + 4 - 2*u**3 - 3*u. Is h(-15) a composite number?
False
Suppose 3*a - 4*a = -389. Let c = a + 360. Is c prime?
False
Suppose -15*g = -20*g + 295. Is g prime?
True
Suppose -k + 0*k = s, -2*s + 6 = -4*k. Suppose -4*j - s = -9. Suppose 0 = 3*r - j*i - 244, 4*r = -2*i + 225 + 105. Is r composite?
True
Suppose 30 = 37*o - 34*o. Suppose o*w = 13*w - 7443. Is w prime?
False
Let g(x) = x**2 + 6*x + 4. Let k be g(-6). Suppose 0 = -k*q + 24. Is q a prime number?
False
Let o(h) = 2363*h - 192. Is o(21) composite?
True
Let c = 31563 + -20846. Is c a prime number?
False
Let m be ((-1)/2)/((-4)/40). Let n = -2301 - -4728. Suppose -t - 964 = -3*t + 3*k, -m*t + n = k. Is t prime?
False
Is 15/(6 - 1) + 1136 composite?
True
Let y(d) = -d**2 + d. Let i(m) = -9*m**2 - 8. Let q(c) = -i(c) - 4*y(c). Is q(-7) a prime number?
True
Let g = 54 + -24. Let j be (g/3 - 2) + -3. Suppose 6*v - j*v = 35. Is v composite?
True
Let y be 401/((-2)/6*1). Is (y + 8)*(-3)/15 composite?
False
Suppose -5*p - k = -7130, -3*p + 4*k = 5*k - 4278. Suppose -8*r + p + 1686 = 0. Is r a composite number?
False
Let p(d) = d**3 + 31*d**2 - d - 19. Is p(-24) a prime number?
False
Let t(n) = -20*n. Let x(s) = 4*s. Let p(h) = -3*t(h) - 16*x(h). Let k be p(-1). Suppose -i + 8*v - k*v + 57 = 0, 0 = i - 3*v - 55. Is i a prime number?
False
Suppose -5*r - 3*r + 12056 = 0. Suppose k + 162 = r. Is k a composite number?
True
Let f(b) = -547*b - 3. Let h(w) = 548*w + 3. Let y(q) = 4*f(q) + 3*h(q). Is y(-1) a composite number?
False
Let u(d) = -594*d**3 + d + 9. Is u(-2) composite?
False
Let l be 26993/(-8) - (-2)/16. Let x = l + 4728. Is x prime?
False
Let t = 9552 + -3181. Is t prime?
False
Let f(u) = -10*u**3 - 3*u**2 - 16*u + 15. Is f(-4) a prime number?
False
Suppose s + 0 = g - 5, -5*g - 10 = 2*s. Is 33*(g + (-398)/(-6)) a prime number?
False
Suppose -664*x = -674*x + 92530. Is x prime?
False
Let r(f) = 5*f - 59. Let g be r(7). Is (-57436)/(-24) - ((-100)/g + -4) prime?
True
Let y(f) = -47*f + 149. Let a be y(7). Suppose 2*t + 381 = -t. Let u = t - a. Is u composite?
False
Suppose -r - 1898 = 1371. Let x = 4782 + r. Is x composite?
True
Let h(u) = -5*u**3 + 9*u**2 - 32*u - 7. Is h(-15) prime?
True
Let y(n) = n**3 + 16*n**2 + 6*n - 5. Let z = -39 + 33. Is y(z) composite?
True
Let h(y) = 6*y**2 + 2*y - 11. Let f = -23 - -35. Is h(f) a composite number?
False
Suppose 0 = 5*k - 5*s - 10, 4*k = 2*k - 5*s + 18. Suppose 3*c = k*c - 284. Suppose 2*x - 28 = -2*p + 84, 5*p + x - c = 0. Is p prime?
False
Let q = -187 + 668. Is q prime?
False
Let l(o) be the third derivative of -o**6/120 - 2*o**5/15 + 2*o**2. Let x be l(-8). Suppose -q + x*q + 77 = 0. Is q composite?
True
Suppose -12*a + 15554 = -10882. Is a prime?
True
Let b(d) = 52*d + 1. Let w(p) be the first derivative of -p**4/4 + p**3/3 + 3*p + 5. Let k be w(0). Is b(k) a prime number?
True
Let a(l) = l**3 + 4*l**2 - 2*l + 6. Let k be a(-5). Let m(y) = -11*y + 10. Let z(d) = -155*d + 140. Let g(p) = -55*m(p) + 4*z(p). Is g(k) a prime number?
False
Suppose 0*i = -4*b - 3*i + 13780, -4*i = 4*b - 13784. Is b prime?
False
Let p = 132 + -186. Is 4780/6 - -3*(-6)/p a prime number?
True
Let c = -21250 + 47555. Is c a prime number?
False
Let r be (-56)/6*(-3)/2. Suppose -5*c = -2*z - 18, 2*c = -c - 2*z + r. Suppose -c*a + j = -2*a - 354, -5*a = -j - 891. Is a a prime number?
True
Suppose 2*n - 3*l - 4721 + 1346 = 0, -n - l + 1690 = 0. Let w = n - 874. Is w prime?
False
Suppose 24*p = 22*p + 6986. Is p a prime number?
False
Let p(t) = 4*t - 17. Let q be p(10). Suppose -24*f + q*f + 87 = 0. Is f a composite number?
True
Suppose 7*y - 2*y + 15 = 0. Is -662*(y/6)/1 a prime number?
True
Let u(r) be the second derivative of r**5/20 + 7*r**4/12 - 4*r**3/3 + 4*r. Let v be u(-8). Suppose 4*a - 165 - 31 = v. Is a a prime number?
False
Let k be (-56)/(-2)*(-1 - 0). Let r = k + 30. Let z(q) = 36*q + 2. Is z(r) a composite number?
True
Is 80/(-60)*(-96735)/20 a composite number?
False
Let t(x) = 5*x - 5*x**2 - 8 + 0*x - 3*x**3 + 2. Let j be t(-6). Suppose -3*u = l - 55, 5*l + 93 = u + j. Is l composite?
False
Suppose m = -3*d - 486 + 1931, 5*m = -3*d + 1453. Let g = d - 162. Is g a composite number?
True
Let f be (-2)/1 + (-1104)/8. Let z = 6 - f. Let y = z + -88. Is y prime?
False
Let s = 1 - 3. Let q be 32/8 + s/(-2). Suppose q*v - 131 = 164. Is