7*x**2 + 8*x + 29. Is a(-4) composite?
False
Let p(s) = -5423*s + 25. Is p(-2) prime?
False
Suppose 4*h + 118 = 1538. Suppose -3*b - 1251 = -s - 186, -h = b - s. Let l = -156 - b. Is l a prime number?
True
Let i(h) = 273*h**3 + 2*h**2 + 3*h + 1. Let q be i(-1). Let z = -140 - q. Is z a composite number?
True
Let c be (-110730)/(-225) + 2/(-15). Suppose y - 1793 = c. Is y a composite number?
True
Is 2/(-7) + 8933854/658 a prime number?
True
Suppose -4*q = -5*o - 844, 79 + 107 = q + 5*o. Let m = q - -111. Is m composite?
False
Suppose -2*v - 5 = -3*v. Let m be (66/(-55))/((-8)/20). Suppose v*w + m*n = 16 + 139, -3*n = 15. Is w a prime number?
False
Is (-1)/((-6 + 0)/19086) composite?
False
Let o(y) = -24*y + 7. Let d be o(-5). Suppose -2*p - 8 = 0, 0*p = n + p - d. Is n a composite number?
False
Suppose 55878 = a + a - 4*o, 0 = 3*a - o - 83822. Is a prime?
True
Is (-4 - (-88)/28)/((-2)/11389) composite?
True
Let n(s) = 31*s + 13. Let x(u) = -15*u - 7. Let w(v) = 2*n(v) + 5*x(v). Suppose 0 = c + 4 + 2. Is w(c) prime?
False
Let b be 38 + (8/1)/4. Suppose b = -t + 121. Suppose -2*l = m - t, -5*l = 2*m + 2*m - 330. Is m composite?
True
Let f(z) = -138*z - 2. Let p(h) = h + 5. Let j be p(-3). Suppose -5*q + 16 = j*a, -4*a = -a + 4*q - 10. Is f(a) prime?
False
Let w(o) = 3*o - 2. Let z be w(3). Let b(n) = 107*n + 38. Is b(z) a prime number?
True
Suppose -2*b = -2*y + 4132, 5*y - 3575 - 6759 = 4*b. Let t = -126 + 105. Is 1 + (-7)/(t/y) a prime number?
True
Suppose u = 3*r + 2424, -2*r + 2523 - 94 = u. Is u prime?
False
Let n(r) = r**3 - 13*r**2 - 13*r - 5. Let l be n(14). Is 2/l - (-42508)/36 composite?
False
Let v = -2227 + 4074. Is v prime?
True
Let n(h) = -118*h**2 + 4*h - 5. Let a be n(3). Is 1 + a/(-5) - -1 composite?
True
Let m be 76/57*(-6)/(-4). Suppose -q - m*q = 2*c - 3989, 0 = -q + c + 1338. Is q composite?
True
Let h be (-3)/(-6)*10 - 0. Suppose -2*u + h*x + 1292 = 0, 2570 = 4*u - 2*x - x. Is u a prime number?
True
Suppose -3*i = -0*i + 4*a - 609, 2*i = -a + 411. Suppose i = f - 652. Is f prime?
True
Let y be (5/(-2))/((-2)/108). Suppose -r = h - 51 - 17, -2*h = r - y. Is h a composite number?
False
Let l(i) = -2*i + 17. Let g be l(7). Suppose -44*j + g = -43*j. Suppose -703 = -2*y - j*v, 25 = -4*v - v. Is y a composite number?
False
Let v(x) = -6*x**3 + 4*x**2 - 4*x + 2. Let w be v(3). Let f = w + 413. Is f composite?
False
Let y(w) = -w**3 - 9*w**2 + 28*w - 13. Suppose 5*p - p + 48 = 0. Is y(p) a composite number?
False
Suppose 0 = -4*r - 5*w + 4*w + 18293, -2*r + 9151 = 5*w. Is r a prime number?
False
Suppose 7*t - 3*t - b = 49808, -3*t = -3*b - 37365. Is t prime?
True
Let d(u) = -u**3 + 13*u**2 - 3*u + 19. Let j be d(13). Let g be (-2212)/j + 4/10. Suppose 5*r + g = m, 2*m + 7*r - 2*r = 222. Is m composite?
True
Let z be (0 + -2)/((-12)/906). Let t be (6/3 - 0)*-34. Let c = z + t. Is c a prime number?
True
Suppose 12280 = 4*k + 4*n, -16*k + 2*n = -14*k - 6152. Is k a composite number?
True
Let n be (-30)/(-9)*60/50. Suppose -5*s - 4*r + 3*r = -371, -n*r + 374 = 5*s. Is s prime?
False
Let g = -168 + 528. Suppose -f - 67 = -g. Is f a prime number?
True
Let y(x) = 2*x**3 + 8*x**2 - 2*x - 4. Let n be y(-4). Let r = 29 + n. Is r prime?
False
Let k(d) be the third derivative of 9*d**5/10 + d**4/12 + d**3/2 - 27*d**2. Suppose -4*u = x - 18, -2*x + 2*u = -u + 19. Is k(x) composite?
True
Suppose 3*r = 6*r - 15. Suppose r*d = 96 + 1849. Let m = -166 + d. Is m composite?
False
Let t(y) = -3*y**3 - 26*y**2 + 11*y + 77. Is t(-24) prime?
True
Let z = 1490 + -833. Suppose -2*u = -5*n + 1102, 3*n = -5*u + 2*u + z. Suppose -4*s + 1392 = n. Is s a prime number?
True
Let w(v) = v**3 + 7*v**2 - 5*v + 17. Let j be w(-8). Let i be 7/(j/3) + -9. Let a(c) = c**3 + 14*c**2 - 2*c - 14. Is a(i) prime?
False
Let t = -2 + 6. Suppose -t*h + h + 1851 = 0. Suppose -4*y + h = 2*b + b, -5*y + 3*b = -778. Is y a composite number?
True
Suppose -3*f - 5 = -2*t - 15, -f = 0. Is 5 - (17850/t)/5 a composite number?
False
Let a(t) = 3*t**3 - 34*t**2 - 16*t - 43. Let b(h) = h**3 - 17*h**2 - 8*h - 21. Let q(w) = 2*a(w) - 5*b(w). Let v be q(-16). Is -1 + (v + -4)/1 composite?
True
Let r(t) = 44*t**2 + t - 14. Is r(-5) composite?
True
Suppose 2*d = -11*g + 9*g + 8070, -4*g - 12133 = -3*d. Is d prime?
False
Suppose 29*a = 35*a - 44958. Is a a composite number?
True
Let y(a) = a**3 + 4*a**2 - 6*a - 1. Let o be y(-5). Let n(m) = -24*m + 5 - o + 0. Is n(-4) a composite number?
False
Suppose -2*f - 2*b - 2*b = -7990, -3*f + b + 11964 = 0. Is f prime?
True
Let d = 9895 + 7026. Is d a prime number?
True
Let g(m) = -m**2 + m + 1. Let d(z) = -z**3 - 7*z**2 - 5*z + 7. Let y(x) = d(x) - 2*g(x). Let f be y(-7). Is f + (-4)/(12/9) composite?
False
Is 2/4*25/(75/374766) a prime number?
False
Suppose -3*o - 93 - 141 = -3*n, 10 = 2*n. Let g = o - -128. Is g a composite number?
True
Let c(z) = -27*z**3 - z**2 + 3*z + 8. Is c(-5) prime?
True
Let i(d) be the first derivative of -d + 5 + 2/3*d**3 + d**2. Is i(11) prime?
True
Let s(j) = j**3 - 9*j**2 + j - 9. Let a be s(9). Suppose -g = 4, 2*w - 3*w + 4*g + 4404 = a. Suppose -x + w = 3*x. Is x prime?
True
Suppose 5*v - 35 = 5*o, 2*o + 21 = 4*v + 5*o. Let z = -31 + 41. Suppose 1028 = z*g - v*g. Is g composite?
False
Let s(o) = 8*o + 3. Let k(g) = -15*g - 5. Let f(h) = -4*k(h) - 9*s(h). Let p = -65 - -60. Is f(p) a prime number?
True
Let b = -6 - 12. Let y be (0 - b)*8/24. Suppose 2*d = y*d - 636. Is d composite?
True
Let d be (40/1)/(-4)*(-766)/4. Let t = d + -1178. Is t composite?
True
Let s be 285*3/5*19. Suppose 3*f - s = 246. Is f composite?
True
Let f = 3 + -10. Let b(m) = -m - 5. Let n be b(f). Suppose 0 = n*q + 75 - 391. Is q a prime number?
False
Let n = 17 + -60. Let d be 6/(-10) - n/5. Is (345/(-6))/((-4)/d) a composite number?
True
Suppose 0 = -o + 3*y - 366 + 93, -4*o - 1041 = 5*y. Let x = 419 + o. Is x prime?
False
Let t = 3442 + -1814. Is 4 + -2 + t + (-36)/(-12) composite?
True
Suppose 4 = 4*o, 2*c = -3*c + 4*o - 4. Suppose -10867 = -5*d - c*v + v, -d + 2183 = 3*v. Is d a prime number?
False
Suppose 3*i - 4*b - 6484 = 27287, 3*b = 2*i - 22514. Is i composite?
False
Is (94923 + 5)/8 + -3 a composite number?
False
Let w = -69 - -68. Suppose 0 = -v - 3 - 0. Is (w/v)/((-9)/(-20061)) prime?
True
Suppose -3*z + 3*r + 1 = -2, -5*z = 4*r + 40. Let q(d) be the second derivative of -d**5/20 - d**4/4 - d**3/2 - 3*d**2 - 2*d. Is q(z) a composite number?
True
Let u(d) = d**3 + 39*d**2 - 6*d - 19. Is u(-18) composite?
True
Let l = -1343 - -4305. Is l composite?
True
Let o = 11804 + -4365. Is o prime?
False
Suppose 4*q = q + 21. Suppose -2*j - 7945 = -q*j. Is j a prime number?
False
Let y(h) = 2*h**3 + 12*h**2 + 25*h + 17. Let g(t) = t**3 - t**2 + t. Let z(b) = -3*g(b) + y(b). Is z(15) composite?
False
Let r(z) = 167*z**2 - 7*z + 61. Is r(3) a composite number?
False
Suppose -6*m + 7*m = 1399. Is m prime?
True
Let z(r) = -108*r**3 - 11*r**2 - 17. Is z(-6) composite?
True
Let m = 5 + -1. Let s(r) = 14*r**2 - 6*r + 11. Is s(m) composite?
False
Let y be (-1215)/(-12) - 8/32. Let a = -243 + 465. Let v = a - y. Is v composite?
True
Let x(i) = 17 - i - 7*i**3 - 3*i - 29 + 17. Is x(-4) composite?
True
Is (51/85)/(18/10)*51231 a prime number?
True
Suppose -3*j + 5*g - 4872 = -5*j, -2*j = 4*g - 4868. Is j a composite number?
True
Let u(i) = -2*i**3 - 16*i**2 - 19*i - 28. Is u(-13) a composite number?
True
Let a(i) = 15*i**2 + 7*i - 8. Let h(s) = 8*s**2 + 3*s - 4. Let j(v) = 6*a(v) - 11*h(v). Is j(-7) a composite number?
False
Let y(h) = -933*h + 38. Is y(-5) composite?
False
Let d(y) = -58*y**3 - y**2 + y - 1. Let t be d(1). Let k be (-183)/2 + 1/(-2). Let f = t - k. Is f a prime number?
False
Suppose u + 103724 = 5*u. Is u a prime number?
True
Is 4/(32/(-9304))*(0 + -1) a prime number?
True
Is (2/1 - -2) + (5195 - 0) composite?
True
Let w = 5 + 33. Suppose 0 = -4*p + 2*k + 48, 0 = 3*p - k - k - w. Is p composite?
True
Let z = -28 + 42. Let p(j) = -j**2 + 15*j - 14. Let g be p(z). Suppose -2*d + d + 259 = -2*h, d + h - 268 = g. Is d composite?
True
Let c = -3539 + 5824. Is c a prime number?
False
Suppose d = -2*i + 6*i + 64, 0 = -d - 2*i + 46. Suppose -2*l - 4*h + 182 = 0, 209 = 3*l + 2*h - d. Is l composite?
True
Let s = 57 - 54. Suppose 3*g - 734 = -4*r 