 b*s. Let l(d) = d**3 - 5*d**2 + 6*d + 1. Is l(s) a prime number?
True
Suppose -4*w + 5144 + 1452 = 0. Let y = 2536 - w. Is y a prime number?
True
Let f be (-159)/(-5) + 9/45. Let y = f - -51. Is y prime?
True
Let l = -12479 + 23452. Is l composite?
False
Let l(z) = 52*z**3 + 4*z**2 - 5. Let f be l(5). Suppose x - 6*x = -f. Is x a composite number?
False
Suppose -120 = -4*p - 2*p. Suppose -10*u + 690 = p. Is u prime?
True
Suppose 0 = 14*q - 9*q - 25. Is 838/(q/((-5)/(-2))) a prime number?
True
Let d(v) = -2415*v + 152. Is d(-5) a composite number?
False
Let x be (-182)/(-9) - 14/63. Suppose -6*z - x = -2*z. Let t(c) = -5*c**3 + 3*c**2 - 5*c - 6. Is t(z) a prime number?
True
Let i(b) = 20*b + 1. Let p be i(-1). Let w = 91 + p. Suppose -x + 3*s + w = 0, -s = 3*x - 2*s - 256. Is x a prime number?
False
Let v(k) = 50*k - 357. Is v(22) a prime number?
True
Let g(d) = 961*d + 4. Let f = 51 - 50. Is g(f) a prime number?
False
Let y be (2862/(-15))/((-4)/(-60)). Let a = y + 4777. Is a a prime number?
False
Let w = -308 + 5989. Let q = -3532 + w. Is q composite?
True
Suppose 710*k = 706*k + 10532. Is k a composite number?
False
Let q(l) be the second derivative of 19*l**3/3 + l**2/2 + 2*l. Suppose -12*h - 6 = -42. Is q(h) a prime number?
False
Let r be 1 - ((-4)/(-2) - 4). Suppose -t + 229 = r*l - 8*l, 2*t - 5*l - 483 = 0. Suppose -3*i + 2*p + 287 = 0, 2*i - t = -5*p - 50. Is i prime?
True
Let c be (-2)/((-4 + (-102)/(-27))*1). Is (3/c)/(1/237) a composite number?
False
Let g(s) = 3340*s**2 - 6*s + 3. Is g(1) prime?
False
Suppose 64*f - 54*f = 3620. Is f composite?
True
Suppose -15*m = -10*m - c - 4712, 1892 = 2*m + 2*c. Is m prime?
False
Let z = -117 + 115. Is ((-26811)/(-54))/(z/(-4)) prime?
False
Let b = -375 - -444. Is b prime?
False
Is (3/(-4))/((-9)/45852) composite?
False
Let d(u) = u**3 + 2*u**2 - 12*u - 136. Is d(35) a prime number?
False
Suppose 28*s - 29*s + 3 = 0. Suppose 4926 = 2*m + 4*z, 0*m + s*z = 3*m - 7434. Is m a composite number?
False
Let i(v) = -2*v**3 - 3*v**2 - 17*v + 1. Let b(n) = 3*n**3 + 5*n**2 + 25*n - 1. Let q(z) = -5*b(z) - 7*i(z). Is q(-5) a prime number?
True
Let x(k) = 10*k + 2. Let o be x(1). Suppose 4*l + 3*n + 2*n = 13, 0 = -2*l - 3*n + 9. Let r = o - l. Is r a prime number?
False
Let l(r) = -2*r + 3*r**2 - 8 + 0 - 7*r. Let v be (-4)/(-6)*(12 - 3). Is l(v) a prime number?
False
Let f = -22 + 25. Is ((-57)/9)/(f/(-99)) a composite number?
True
Let f be 77/28*(6 - 2). Suppose -f*j = -9*j - 4. Suppose 4*a + 486 = j*r - 0*r, 2*r = 3*a + 490. Is r a prime number?
True
Suppose -2*z + 5*a - 1 = -24, 0 = -4*z + 3*a + 25. Suppose z*f - 22 = 6. Suppose -4*w + 2*o + 1948 = 0, 4*w = 2*o - f*o + 1948. Is w composite?
False
Let v = -14 + 18. Suppose v*k = 6*k + 6. Is (-201)/k + 2 + -2 prime?
True
Suppose -g = 3*g. Let s(o) = -1530*o + 1. Let x be s(-1). Suppose g = -4*h + n + 603 + x, -3*n = 6. Is h prime?
False
Let o = -46 - -51. Let c(z) = 200*z - 21. Is c(o) a composite number?
True
Let k(r) = 47*r**2 - 31*r - 287. Is k(-13) composite?
False
Suppose -591*z - 93995 = -602*z. Is z a composite number?
True
Suppose -4 = 12*p - 4. Suppose t - 248 = -q, -2*q + q + 4*t + 263 = p. Is q prime?
True
Suppose i = 3*h + 1204, -20*i + h - 1224 = -21*i. Is i a prime number?
False
Suppose 378 = -3*z - 4*v, 485 = -4*z - v + 2*v. Let n = 195 - z. Is n prime?
True
Let v be 2/(-4)*(-48)/(-4). Is 637/5 + (-5)/((-75)/v) composite?
False
Let u be ((9/6)/(-1))/((-15)/(-20)). Is 787/((-12)/(-4) + u) a composite number?
False
Let w(j) = 2*j**3 - 4*j**2 + 5*j - 4. Let l be w(2). Is 3/l + (-6344)/(-16) prime?
True
Let l(t) = 8*t - 52. Let i be l(7). Suppose -3*g = i*a - 18481, 2*a - 9237 = -5*g - 0*g. Is a composite?
False
Let r be (-34)/9 + 6/(-27). Let c = -16 - 46. Is c/(1/(2/r)) composite?
False
Let u = 6 - 3. Suppose 0 = -u*f + f + 6. Is 3/(f/139) + 2 a composite number?
True
Let u(f) = -f**3 - 3*f**2 - f - 1. Let g be u(-3). Suppose g*v - 2 = w - 0, -1 = -5*w - v. Is 2 + -1 - w - -352 prime?
True
Let j(q) = q**3 - 6*q**2 - q + 8. Let d be j(6). Is (-3*(-12)/(-18))/(d/(-1759)) a prime number?
True
Let k(a) = 24*a**2 + 23*a + 1. Let d be k(-13). Let l = d - 1819. Is l a composite number?
True
Suppose -5*f - 5*c = 4025 + 15, -4004 = 5*f - 4*c. Let t = f - -1254. Is (-4)/(-8) - t/(-4) a composite number?
False
Suppose -2*w = -3*a - 32852, 4*w - 7*w = 5*a - 49259. Is w composite?
True
Suppose -5*g + 5 = 0, -3*s - g + 949 = s. Let q = 150 + s. Suppose 3*f + 761 = 4*m, 2*m + 5*f = -0*f + q. Is m prime?
True
Let l(v) = 60*v**2 - 8*v + 9. Is l(-6) a prime number?
False
Let c be 0 + -1 + (-15)/(-5). Let w(r) = -2*r - 28. Let y(h) = h + 29. Let m(l) = c*w(l) + 3*y(l). Is m(0) prime?
True
Suppose -59*f + 5*v + 9267 = -58*f, -9237 = -f - v. Is f composite?
True
Is (4/(-6))/(158/(-736359)) prime?
False
Let j = 124 - 44. Let p(w) = -47*w + 39*w - j*w - 85*w. Is p(-5) a prime number?
False
Suppose 0 = 4*n - t - 13, -n + 4*t + 1 = 9. Suppose 3*f - 5*f = -5*l - 157, 0 = -n*f + 5*l + 329. Is f a prime number?
False
Suppose 2*r - 47 = 35. Let v = 81 + -29. Suppose y - r - v = 0. Is y a prime number?
False
Suppose -2*y + 20686 = 4*z, -z - y + 4570 = -600. Is z prime?
False
Suppose -8*z - 885 = 675. Let v = z + 386. Is v a prime number?
True
Let x be 1/(2/16*2). Suppose 0 = -t + x - 2. Suppose f - 757 = -3*o, 3*o - t*f - 199 - 546 = 0. Is o prime?
True
Let w be 3/(5 + 4/(-1)). Suppose 350 = -w*o + 1271. Is o a composite number?
False
Suppose 3*c - 2*n - 38 - 49 = 0, 4*n = -2*c + 42. Let f be -16 - (1 + -3)/(-2). Let u = c + f. Is u a composite number?
True
Suppose 3*m - 8*m = -4*g + 149072, 2*g - 2*m - 74538 = 0. Is g composite?
False
Let u(m) = 17*m - 192. Is u(19) composite?
False
Let z(b) = -b**2 - 5*b - 1. Let n be z(-4). Suppose n*o = -c + 1717, 5*c + 12 - 32 = 0. Is o prime?
True
Suppose 2*m + 3*k + 123 = 0, -m = k + 43 + 18. Let f = -29 - m. Is f prime?
True
Let j be (-12876)/(-10) + 16/40. Suppose 392 = -4*c + j. Suppose -c = -4*o + 412. Is o a composite number?
True
Let o(v) = 7*v**2 - 10*v - 10. Let p be o(-4). Suppose 5*m - 33 - p = 0. Is m a composite number?
True
Suppose -6*n + 2*n = t - 27333, 5*t = -3*n + 20504. Is n prime?
True
Let z = -49 - -52. Suppose -4*f + 2*l = -4257 - 1351, -6 = z*l. Is f prime?
False
Suppose 138 - 42 = 4*x. Is (-14276)/(-20) - x/30 prime?
False
Let j(u) = 178*u + 2. Let o be j(-9). Let y = 3117 + o. Is y a composite number?
True
Let a(u) = 259*u + 5. Let r(b) = -b. Let n(z) = -a(z) + 3*r(z). Is n(-3) a prime number?
False
Is (-5)/(-30)*4*97479/6 a composite number?
False
Let t = 589 - -129. Is t a prime number?
False
Let r(p) = 4*p**3 - 10*p**3 + 5*p**3 - 18 + 4*p + 20*p**2. Is r(19) prime?
True
Let v(s) = s**3 - 3*s**2 + 3*s + 2. Let f be v(4). Let j = f + -4. Is j a composite number?
True
Suppose 4*o = -0*h + 2*h + 100, 0 = 3*o - 3*h - 75. Let x = o + -22. Is 9/x - 16*-1 a composite number?
False
Let n(u) = -2*u + 19. Let z be n(-7). Let y = z - 19. Let x = 17 + y. Is x composite?
False
Let l = 35 + -50. Let q = -12 - l. Suppose 0 = 3*f + q*n + 49 - 667, -f = 5*n - 186. Is f composite?
False
Suppose p - 13 = -p - 3*c, -c = 4*p - 21. Suppose 479 = p*d - 3506. Is d a composite number?
False
Let w(z) be the first derivative of -37*z**2/2 + 2*z + 3. Let j be w(-6). Suppose -7*u = -77 - j. Is u composite?
False
Let n(m) = -329*m + 599. Is n(-12) a composite number?
False
Suppose 368*h + 1391004 = 404*h. Is h composite?
False
Let t(k) = k**3 + 3*k**2 - 2*k - 2. Let h be t(-3). Suppose 7*z = h*z + 42. Let l(s) = 4*s**2 - 11*s + 11. Is l(z) a prime number?
True
Let h = 458 + 18983. Is h a prime number?
True
Suppose 170828 = -875*g + 903*g. Is g a prime number?
True
Suppose 0 = 3*k + 2*j - 841, -3*j = 3*k - 0*j - 846. Is k composite?
False
Let v(z) = -4*z - 14. Let l(b) = 3*b + 14. Let s(o) = 5*l(o) + 4*v(o). Let x be s(10). Let c(y) = 57*y - 5. Is c(x) a composite number?
False
Let j(v) = -3801*v + 34. Is j(-3) composite?
False
Let c = -8 - -12. Suppose c = -q + 7. Suppose 0 = -q*p + n + 353, 2*p - 5*n - 168 - 50 = 0. Is p a composite number?
True
Let f(l) = 3*l - 1. Let b be 6/(-21)*(-8 + 1). Let h be f(b). Suppose 0 = -3*q + h*s + 413, 4*q + 2*s = 3*s + 562. Is q prime?
False
Suppose 2*c - 3 = j - 16, 1 = j. Let l = 8 + c. Suppos