2 - (8 + (-56)/7) prime?
False
Let c(n) = 400208*n**2 - 389*n. Is c(-1) a composite number?
False
Suppose 2*w - 6*w + 4*a = -32, -3*w = -4*a - 26. Is 15/w*(-7554)/(-15) prime?
True
Suppose 23*d = 30*d - 65737. Suppose 0 = -3*b - 4*g + d, -b - 4*g - 929 = -4046. Is b prime?
True
Let r(x) = 5*x + 19. Let c be r(-3). Suppose c*m + 16315 - 2508 = 5*g, -15 = 5*m. Is g a prime number?
False
Suppose 3*d = -9, -104*b + 108*b + 3*d - 230027 = 0. Is b prime?
False
Suppose -5*r + 149295 + 91958 = 2*a, 4*a + 3*r - 482485 = 0. Is a a composite number?
False
Let l(o) = -o**3 + 10*o**2 + 32 - 2*o**2 - 56 + 30 + 9*o. Let z be l(9). Suppose z*h - 12590 = h. Is h a composite number?
True
Suppose -3*c + 25 = -4*s, 10*c - 12*c + 15 = -s. Suppose -5*v = -3*y + c*y - 6261, 3*v - y = 3743. Is v a composite number?
False
Suppose -194*s = -182*s - 24. Is ((-20)/(-30))/(-2*s/(-50982)) a prime number?
False
Let r(t) = 9*t**2 + 92*t - 2626. Is r(43) a prime number?
True
Let z = 158 - 158. Suppose z = 3*a - 3*v - 44745, -v + 74577 = 5*a - 5*v. Is a composite?
True
Let q(s) = -s**3 - 12*s**2 - 23*s + 15. Let h be q(-7). Let n = h - -290. Is n a prime number?
False
Let s = -89 - -75. Let y be s/(-12)*-3*-2. Suppose 9*i - 15856 = -y*i. Is i composite?
False
Suppose 0 = -2*a - 6, 35*a - 34*a + 430025 = 2*r. Is r a prime number?
False
Let d = 409 - 408. Is 1762 + 91 + (9 - d) a composite number?
False
Let y = -26 - -33. Let r(j) = 3*j + 22. Let i be r(y). Let u = 352 + i. Is u a composite number?
True
Let o(l) = -25*l + 5. Let z be o(0). Suppose -z*v + 5*k + 15815 = k, 5*v = -k + 15815. Is v composite?
False
Let j be (18/(-24))/((15/(-100))/(-3)). Is 5/j - 963870/(-45) a prime number?
True
Let y(l) = l**2 - 4*l - 34. Let n(o) = -7*o - 1. Let t be ((-28)/8)/7*-4. Let q be n(t). Is y(q) composite?
False
Let t(f) = -18727*f - 55. Is t(-2) prime?
False
Suppose 171*q - 177*q + 18 = 0. Is (-1563)/(-9)*q*(16 + 1) prime?
False
Let i(k) = -7*k + 4. Let n be 1/(0 - (-5)/(-55)). Let q(g) = 15*g - 7. Let d(o) = n*i(o) - 6*q(o). Is d(-9) a prime number?
False
Let z(s) = 4*s - 33. Let j be z(9). Suppose -j*g + 7982 = 2*t, t - 2 = -7. Suppose -4*i - 5*u + 5449 = 0, -4*u - 2776 = -4*i + g. Is i a prime number?
True
Let v(d) = -2*d. Let o(s) = s - 1. Let y(h) = o(h) + v(h). Let x be y(-3). Suppose 282 = a - z + 31, -x*z + 502 = 2*a. Is a composite?
False
Suppose x + 3*x = -4*t - 4408, -x + 2189 = -2*t. Let l = t + 2730. Is l a composite number?
True
Let z = -39709 + 106686. Is z prime?
True
Let d = 857 - -4177. Let f = -2267 + d. Is f a prime number?
True
Is (-27)/(-3)*171629/(-36)*-12 prime?
False
Suppose 0 = -3*k - 6*k + 215235. Let f = k - 14686. Is f composite?
True
Suppose 144719 + 16382 = 4*m - 5*j, 2*j = -5*m + 201401. Is m composite?
True
Is ((-119)/(-238))/((-2)/(-297244)) a prime number?
True
Let v(g) = g**3 - 11*g**2 + 10*g - 95. Let n be v(11). Is (-48)/(-360) + 35893/n prime?
True
Let z(l) = 312*l + 51. Let m(i) = 1247*i + 203. Let n(g) = 2*m(g) - 9*z(g). Let t(q) = -471*q - 80. Let f(v) = -8*n(v) + 5*t(v). Is f(9) a composite number?
True
Let d = 107 - 105. Suppose 54313 = -3*i + d*r - 22033, -3*r = -i - 25444. Is i/(-5)*4/8 a prime number?
False
Suppose 0 = -8*z + 6*z + 8. Suppose -18 = -3*h - z*f + 7*f, -2*f - 22 = -4*h. Is ((-4658)/85)/((-1)/h) a prime number?
False
Let v = -405 - -1611. Let b(j) = -v*j - 392*j - 15 + 171*j + 5. Is b(-3) composite?
False
Let k(c) = c**2 + 5*c + 8. Let t be k(0). Suppose 0*z - 108 = -3*z. Is t/z - 709/(-9) prime?
True
Let v(h) = h**2 - 87*h - 189. Let q(w) = w**2 - 87*w - 187. Let y(f) = -4*q(f) + 3*v(f). Is y(39) composite?
False
Let j(b) be the first derivative of -b**3/3 + 3*b**2/2 + 331*b - 15. Is j(0) a prime number?
True
Let x(k) = -411*k**2 + 83*k + 76. Let q(l) = 82*l**2 - 16*l - 15. Let s(i) = 11*q(i) + 2*x(i). Is s(-6) a prime number?
True
Suppose -58*d = -59*d + 4982. Suppose d = 6*h - 3184. Is h prime?
True
Let r be -1*5/5 + 7. Let n be (-3688)/12 + 2/r. Is (2 + -4)/(2/n) a composite number?
False
Let q = 3 + 61. Suppose -3 = -o + q. Suppose o*t = 71*t - 228. Is t composite?
True
Suppose 17*d - 1685847 = -25*d - 101733. Is d a composite number?
False
Let p = -5623 - -12284. Is p a composite number?
False
Suppose 0 = -6*h - 36*h + 578256. Let g = h + -6771. Is g composite?
False
Suppose 176*c = 184*c - 158832. Suppose 31*b - 13*b - c = 0. Is b a composite number?
False
Let s(a) = -a**3 + 7*a**2 - 7*a - 4. Let v be s(4). Let j(z) = 6*z**2 - 7*z + 15. Is j(v) a composite number?
False
Let g(n) = 5960*n - 341. Is g(5) prime?
False
Is (6/12)/(3 - (-20995014)/(-6998340)) prime?
False
Suppose -2*r + 94 = 4*s, 0 = -r - 5*s + s + 57. Let l = -35 + r. Suppose t = -l*t + 7509. Is t composite?
False
Let i = -5642 + 14677. Suppose -238 = -3432*c + 3415*c. Suppose -i = c*s - 144289. Is s a composite number?
False
Let k(v) = v**3 + 18*v**2 - 24*v + 3. Let l be k(-17). Let m = l + 661. Is m composite?
False
Is (345851/(-69))/((-5)/15) a composite number?
True
Is ((-72416)/(-24) - -13)*3 a composite number?
False
Let u = -56 - -65. Suppose -u*j = -j. Is (j + -1)*(-3063 - 26) composite?
False
Let b be (-87)/1044 + (-2)/(-24). Suppose b = 5*q - 4 + 24, -3*f - 2*q = -81889. Is f a prime number?
True
Let m(r) = 2*r**3 - 15*r**2 + r + 49. Let t be m(10). Suppose -t*i = -557*i - 63098. Is i composite?
True
Let a = -12 - -18. Suppose h - a*h + 2940 = 2*n, 0 = -4*n - 5*h + 5890. Let b = n - 840. Is b composite?
True
Let u be (-36)/(-24) - (-2)/8*2. Suppose -u*b = 111 - 433. Is b a prime number?
False
Suppose -3*t + 2769 = -2601. Suppose -1754 = -3*v - 6*h + 2*h, -3*v + 5*h = -t. Suppose -122 = -4*y + v. Is y a composite number?
True
Suppose -4*f - f = -2*o - 284, -5*f = 2*o + 244. Let q(b) = -b**2 + 36*b + 572. Let p be q(-12). Is o/(-110)*(-5470)/p prime?
False
Let m(w) = 1254*w + 337. Is m(8) composite?
False
Let p(o) = o**3 - 2*o**2 + o + 1. Let y be p(0). Let q(b) = 21630*b**3 + 2*b**2 + 3*b - 4. Is q(y) a composite number?
True
Is ((-1841926)/(-2) - (64 - 74))/(1 + 2) prime?
True
Suppose t + 42 - 78 = 0. Is (-9)/(-6)*13944/t prime?
False
Suppose -6*h - 12 = -2*h. Let r(z) = 3*z**2 + 7*z + 1. Let m be r(h). Suppose -2*f + m*f = 670. Is f a prime number?
False
Is (5 - 3009964/(-6)) + (6 - (-100)/(-15)) a composite number?
True
Let b be ((-2832)/(-72))/((-2)/(-3)). Suppose 0 = -b*y + 47*y + 33204. Is y prime?
True
Let q = -10090 - -12909. Is q a composite number?
False
Let c be (13 - -2 - 3) + 4 + -1. Suppose -8552 = -c*t + 7*t. Is t a composite number?
False
Suppose 2*k = 9*m + 2031415, -10*m - 3047238 = -3*k - 13*m. Is k composite?
False
Suppose -25*v = -29*v - 144. Let o = -37 - v. Is (-4448)/(-20) - o - (-4)/(-10) composite?
False
Let f(v) = -16635*v - 1396. Is f(-7) a composite number?
True
Let d be -4 + (-3 - -2) - (9 - 20). Is d - (-3802)/4*10 prime?
True
Let w(s) = 6*s + 133. Let d be w(-25). Is d/(-2)*105862/41 a composite number?
True
Let j be (66/6)/((-2)/(-8)). Let p = 51 - j. Let u(t) = 9*t**3 - t**2 - 6*t + 3. Is u(p) composite?
False
Suppose 3*o + o - 140 = 0. Suppose -o*m + 29*m = -36294. Is m prime?
False
Let m(w) = 96*w**3 + 11*w**2 + 33*w - 183. Is m(13) prime?
False
Let x = -35 + 50. Suppose -32*p = -35*p - x. Is 250 - ((1 - -3) + p) composite?
False
Suppose -4*h + 2*r + 1314680 = 0, -3*h + r + 986031 = -4*r. Is h composite?
False
Let z = -425 + 425. Suppose z*f - 73355 = -3*y + 5*f, f + 73339 = 3*y. Is y composite?
True
Let b be ((-26)/7 + 4)*35. Suppose 6*c + 20692 = b*c. Is c prime?
False
Let n(l) = -711*l + 57. Let w be n(-17). Suppose -11*j = -w - 12353. Is j composite?
True
Suppose 0*m - 3*m - 15 = 0. Let j(k) = k**3 + 10*k**2 - 5*k + 7. Let a(q) = q**3 + 11*q**2 - 6*q + 8. Let y(c) = -2*a(c) + 3*j(c). Is y(m) prime?
False
Let d(v) = 1182*v**3 - 8*v**2 + 75*v + 13. Is d(6) composite?
False
Suppose -38 = 5*i + a, 26 = -2*i - i + a. Let n = i - -13. Suppose -n*r = -r - 1876. Is r composite?
True
Let l = -7 - -1. Let y be (1 - 0) + 2 + l. Is (0 - 1)/(-2 - y) + 260 composite?
True
Let s be ((-36)/(-5))/((-12)/(-1360)). Suppose 3*v - 5040 - s = 0. Suppose -2*j - l = -972, -j - v = -5*j + 2*l. Is j composite?
False
Suppose 0*p + 2*b + 13 = 5*p, 5*p - 11 = 4*b. Suppose 5*x - p*x = 4*u - 386, 4*x = -4*u - 724. Let n = 78 - x. Is n a