
True
Let h(n) = -n**3 - 12*n**2 + n + 5. Let v be h(-12). Let u = v + 58. Is u a prime number?
False
Let q = -4837 - -10174. Suppose 4*r = 22019 + q. Is r prime?
False
Suppose -1975 = 2*p + 1161. Let h = p + 2375. Is h composite?
True
Suppose 5*q = 5*w + 24 - 4, 2 = -4*w - 3*q. Let u(d) = 2*d**3 - d**2 + d. Let m be u(w). Let n = 81 + m. Is n a prime number?
True
Let d(w) = -60*w**3 - 3*w**2 + 4*w + 1. Let s be d(-3). Suppose 13*a - s = 1317. Is a prime?
True
Let n be (-1)/(-3) + 64/24. Let t = n - 3. Suppose t*v + 466 = 2*v - 4*x, 3*v - 684 = 3*x. Is v a prime number?
True
Let h = 261 + -55. Suppose -2*u + 200 = -h. Is u a composite number?
True
Let d be 94/5 + (-12)/15. Is 962/39*d/4 a composite number?
True
Let u = -20 + 25. Suppose -s - u*l + 756 = 0, 5*s - 2264 = -3*l + 1604. Suppose 4*d - s - 1308 = 0. Is d prime?
True
Let z(q) = -29*q**3 + q + 3. Let g be z(-3). Suppose 0 = -k + 5*t - 506, 2*k - 2074 = 6*k + 5*t. Let v = k + g. Is v prime?
False
Let v = -2889 - -4182. Is v a prime number?
False
Let b be 546/9 + (-11)/(132/8). Suppose -3084 = -64*k + b*k. Is k a prime number?
False
Let c = -4576 - -7667. Is c prime?
False
Let b(s) = -4*s**3 + 4*s**2 + 2*s + 3. Let k(a) = -a**2 - 15*a - 3. Let j be k(-15). Is b(j) composite?
True
Suppose -g + 3597 = -5*w - 3961, 3*g = -2*w + 22657. Suppose 4*j - g = 1163. Is j a composite number?
False
Let l(f) = -2*f - 8. Let v be l(-6). Let d(u) = u + 5. Let r be d(v). Is 11/2*(r - -1) a composite number?
True
Let r(l) be the second derivative of 0 + 5/6*l**4 - 1/2*l**3 + 4*l + 1/20*l**5 - 9/2*l**2. Is r(-8) a prime number?
False
Suppose -2*c = 2*r + 2*c - 10422, 3*r = -4*c + 15631. Is r prime?
True
Suppose -3*g = -571 - 416. Let f = -210 + g. Is f a composite number?
True
Let x(p) = 5*p**2 - 7*p - 8. Let m(s) = s**2 - 1. Let f(z) = -3*m(z) + x(z). Let c be f(-5). Suppose 2*k - 2*r - c = 0, 34 = k + r + 4*r. Is k prime?
False
Suppose 4*f - 13 + 5 = 0. Suppose 230 + 122 = f*b. Suppose 5*l + b - 1291 = 0. Is l prime?
True
Let b be 7/4 - (-4)/16. Is b*(-124)/(-8) + 3 composite?
True
Let j = 2561 - -638. Is j a prime number?
False
Let j(b) = 12774*b**2 + 17*b + 37. Is j(-4) a composite number?
False
Let p = -9 + 9. Suppose p = 2*a - 384 + 118. Is a a prime number?
False
Let x be (9*363)/3 - (-9 - -12). Suppose -3*s + x = -2943. Is s a prime number?
False
Let t = -60 - -45. Let y(i) = 6*i**2 - 6*i + 37. Is y(t) a composite number?
True
Let d be 6/21 + (-8)/28. Suppose 3129 = 3*v - d*v. Is v composite?
True
Suppose 4*j = 11*j. Suppose -6*p + 2*p + 12196 = j. Is p composite?
False
Let a be (8/12)/(4/5118). Suppose -2*r - 5*i = -r - 856, -4*i + a = r. Is r a composite number?
True
Let h(d) be the first derivative of -d**4/4 + 14*d**3/3 + 3*d**2 + 12*d - 6. Is h(13) prime?
False
Suppose -3*i = -7*i - 28. Let j(a) = 9*a - 22*a - 19*a + 9. Is j(i) a composite number?
False
Let l(f) = 6*f**3 - 16*f**2 + 14*f + 5. Is l(8) composite?
True
Let s be 2/9 - -3*(-427)/(-189). Let c(h) be the third derivative of h**5/12 - 5*h**4/12 + 5*h**3/3 + 2*h**2. Is c(s) prime?
False
Let d(g) = -g**2 + 11*g + 4. Let b be d(10). Let m = b + -16. Is 3/m*(-1648)/24 a prime number?
True
Let a(i) = 473*i**2 + 7*i + 5. Is a(-1) a composite number?
True
Let f = 23 - 20. Suppose f*k + k = 0, 2465 = 5*o + 2*k. Is o a prime number?
False
Let h = 13703 - -6960. Is h a prime number?
True
Let o(y) = 466*y - 17. Is o(4) a composite number?
False
Let y(i) = i**2 - 9*i + 8. Let d be y(6). Is (-28)/(-35) + (-2202)/d a composite number?
True
Suppose 2*n + 8 = -2*n. Let b(p) = -562*p**3 - 2*p**2 - 1. Is b(n) composite?
True
Let o = 1103 - 648. Suppose 5*u = o + 4510. Is u a prime number?
False
Let q be (4 + 1)*762/10. Suppose 664 + 16 = -4*f. Let k = f + q. Is k prime?
True
Let i(s) = 40*s - 85. Is i(11) composite?
True
Let w(u) = u**2 - 8*u - 9. Let l be w(9). Let c be (-453 - l)*(-18)/27. Suppose -c = -3*a + 79. Is a prime?
True
Suppose -s = -0*s + 145. Let j be ((-34)/10 + 1)*s. Suppose -3*k + 207 = -j. Is k a prime number?
False
Suppose -3114 = -x + 2676. Suppose 11*c - 6*c = x. Is (-1)/(-2) + c/12 composite?
False
Let v(r) = r**2 - 16*r + 26. Let b be v(21). Suppose -b = t - 808. Is t composite?
False
Suppose -357160 = 21*k - 987391. Is k a composite number?
False
Let r be (-54)/4 + (-3)/2. Let n(z) = -z**3 - 14*z**2 - 19*z + 19. Is n(r) a prime number?
False
Is 2/(-4) - (-36830)/20 a prime number?
False
Let a = 399 + -797. Is (-2 + 1)*a - 3 a prime number?
False
Let v(i) = -4*i - 7. Let n(c) = 3*c + 5. Let k(b) = -7*n(b) - 5*v(b). Let r be k(-3). Suppose -r*s + 94 = 28. Is s prime?
False
Suppose -77 = -d - 23. Suppose 4*m - d = 4*p - 6*p, -5*m + 90 = -2*p. Suppose -5*a - m = -9*a. Is a prime?
False
Let o be 4/(-18) - (-874)/207. Suppose 0 = -2*q - 5*x + o*x + 1905, -25 = 5*x. Is q composite?
True
Suppose -86 + 1 = -4*o + 5*s, 5*o - 134 = -3*s. Suppose 188 = 3*d - o. Is d composite?
False
Suppose -4*h + 67470 = -2*n, 2*h - 3*h - 3*n + 16878 = 0. Is h a composite number?
True
Let d(q) = -4*q**3 + 2*q + 1. Let o be d(-1). Suppose 4*j - 28 = 5*v, 0 = -2*j + 2*v + o + 11. Let s = j + 64. Is s a prime number?
True
Let x(b) = 7*b + 17. Let c(r) = 20*r + 50. Let s(m) = 6*c(m) - 17*x(m). Let z be s(-9). Is -627*(z - (-7)/(-3)) composite?
True
Is 317/2*30/15 prime?
True
Let t be (-1612)/(-36) - 2/(-9). Suppose 2*v - t = -3*v. Is (-316)/(-6) - (-3)/v prime?
True
Let y = 86 + -318. Let o = y + 407. Let i = 264 - o. Is i prime?
True
Is (11539/(-22))/(5/(-110)) a composite number?
True
Let d = 4692 + -3051. Is d composite?
True
Suppose 20*t = -8393 + 633. Let w(m) = 74*m**2 - 3*m - 1. Let p be w(-2). Let d = p - t. Is d a prime number?
False
Let y = -2192 + 8923. Is y a composite number?
True
Suppose 4*w - 5*y = 9759 + 9534, -5 = 5*y. Is w a composite number?
True
Let c(q) be the second derivative of 13*q**5/20 - q**4/3 - 2*q**3/3 - 3*q**2/2 - q. Let u be c(-2). Is (-4)/(-8)*-2*u a prime number?
False
Let a be 12/(-1)*(-4 - (-14)/4). Suppose -3*n + 2*k = -a*n + 751, 3*k = n - 254. Is n a composite number?
False
Let g(x) be the third derivative of 3*x**4 + 5*x**3/6 - x**2. Let w(j) = j**3 + 5*j**2 + j - 8. Let m be w(-4). Is g(m) composite?
False
Let c(l) = l**3 + 3*l**2 - 6*l + 7. Suppose 0*v - 6 = v. Let r be c(v). Let b = 192 + r. Is b composite?
False
Let f = -67 + 61. Is -1 + (-5)/f - (-2840)/48 a composite number?
False
Let l = 25 + -31. Let q(d) = -3*d**3 - 6*d**2 + 6*d - 3. Let r(u) = -4*u**3 - 6*u**2 + 6*u - 4. Let j(o) = -3*q(o) + 2*r(o). Is j(l) a prime number?
True
Suppose -3*i + 10 = -k - 0, -4*i + 20 = 0. Suppose -894 + 4069 = k*h. Is h prime?
False
Let m(a) = 15*a**2 - 17*a + 27. Suppose 15*q - 21 = 99. Is m(q) a composite number?
True
Let n(w) = 125*w**2 + 6*w + 5. Let a be n(5). Suppose -3*o + 2063 = -a. Suppose 0 = -4*m + 3*d + o, -224 = -2*m + d + 649. Is m composite?
False
Let c be ((-45)/12)/((-6)/(-64)). Let m = c + 437. Is m composite?
False
Let f = 9 - 5. Suppose 4*o + u - 17 = 0, -7*u + 3 = -f*u. Suppose -4*p = o*n - 868, 2*n = -p - 0*p + 217. Is p a prime number?
False
Suppose l = 25 - 23. Suppose -3*w - 5*t = -w - 1538, -l*t = -2*w + 1538. Is w a prime number?
True
Let i = -15 - -14. Let o = 2 - i. Suppose -o*y + y + 20 = 0. Is y a prime number?
False
Let n(u) = -2*u**3 - 3*u**2 + 5. Let q be n(-8). Let i = q - 381. Suppose -8*x + 4*x = 4*b - i, -5 = -5*x. Is b prime?
True
Let v(g) = -11*g + 96. Let d be v(7). Suppose 5*a + 108 = 898. Let l = a + d. Is l composite?
True
Suppose 24*x + 6*x - 110130 = 0. Is x a composite number?
False
Let v(r) = -r**2 - r - 4. Let b be v(0). Let o be ((-310)/b)/(9/(-18)). Let q = 182 - o. Is q a prime number?
True
Let f = 20 + -14. Is 27/(-9)*(-1166)/f prime?
False
Let n = 38 + -32. Suppose -4*q + n*q + 2*w = -280, 0 = -4*w + 8. Let j = 305 + q. Is j a composite number?
False
Let i(m) = 303*m - 3. Let f be i(2). Let a be f/5 + (-33)/55. Let h = a + 19. Is h prime?
True
Let w(n) = -24*n**3 - 2*n - 19. Is w(-6) composite?
True
Suppose -2*r + 10 = -0*r + k, -5*k - 27 = -r. Suppose r*n - 9*n + 16 = 0. Suppose d - n = 387. Is d prime?
False
Suppose -417*l = -408*l - 12195. Is l prime?
False
Suppose -4*q = -3*q - 100. Suppose 4*w + 60 = -3*y, 9*y - 2*w + q = 4*y. Let x = 34 + y. Is x prime?
False
Let m 