Is d composite?
True
Let y = -13 - -15. Suppose y*g + 36924 = 8*g. Is g/8 - 4/16 composite?
False
Let g = -7 + 7. Suppose g = 2*o - o - 575. Suppose -t + o = 4*t. Is t composite?
True
Let i(h) = 5*h**2 + 24*h - 63. Is i(26) prime?
False
Let w(q) = -q**3 - 19*q**2 - 18*q + 20. Let g be w(-18). Is 14124/2 - (-20)/g composite?
True
Suppose -12 - 18 = -6*v. Suppose -6*p = -5*j - 10*p + 797, 811 = v*j - 3*p. Is j a prime number?
False
Let o be 934/(-4) - (-3)/6. Let r = 1486 + o. Let x = r + -690. Is x a prime number?
True
Let j be -3 - (4634 - 3/1). Is (-3)/6*1*j composite?
True
Let x = 75399 - 43522. Is x composite?
True
Let x(w) = 2*w**2 + w - 11. Let d be x(-6). Let r be 22/(-10) + 11/d. Is 203 - (r + -1) - 4 composite?
True
Suppose 0 = -4*f + 5*w + 42933, 0 = -3*f + f - 2*w + 21444. Is f a composite number?
True
Let p = -2325 - -7312. Is p prime?
True
Suppose -3*d = s - d + 4, 4*s + 3*d = -6. Suppose 5*w - 40 = -4*v - 8, 12 = 3*w. Suppose 182 = 5*r - c, s*c = -2*r - v*c + 83. Is r a prime number?
True
Let n(l) = -11*l - 11. Let o be n(-9). Let x(p) = 4*p**2 - 5*p + 6. Let r be x(-5). Let j = r - o. Is j a prime number?
True
Suppose 5*x - 10*x = -3*j - 262589, 5*j - 105048 = -2*x. Is x prime?
False
Let s(u) = u + 4698. Let w be s(0). Suppose z - 3508 = 3*i, -2*z - 2*i + 2294 = -w. Is z a composite number?
False
Let z be 1043/42 + 2/12. Suppose 3*c - 4*i + 36 = -z, 2*c + 10 = -5*i. Let q(k) = k**3 + 16*k**2 + 13*k + 1. Is q(c) a composite number?
False
Suppose a = -2*s - a + 6, -3*s + 5*a + 1 = 0. Suppose 0 = n + s*o + 225 - 1446, -3627 = -3*n + 3*o. Is n prime?
True
Let z(x) = 48*x - 26. Let f = -29 - -40. Is z(f) a prime number?
False
Let b = 725 + 1692. Is b composite?
False
Let n(u) = 60*u**2 + 9*u - 75. Is n(-26) a prime number?
False
Let t be (-23)/(-3) - 5/(-15). Let h be t/24 + (-2)/6. Suppose 4*k - 1880 - 452 = h. Is k prime?
False
Let j = 2667 - 4545. Let d = j + 3247. Is d a composite number?
True
Let k = 23 - 33. Let j = -10 - k. Suppose -4*n + 2*n + 6 = j. Is n prime?
True
Suppose 3*j = 26515 + 5123. Is j composite?
True
Let i be 9*(2 - 16/12). Let d be i/18 - (-2)/(-6). Suppose 4*n - 2*h - 98 = d, 61 = 2*n + 2*h + h. Is n composite?
True
Suppose -3*z - z - 2*j - 410 = 0, 2*z + 4*j = -202. Let t = z - -73. Is (134/6)/((-2)/t) composite?
True
Is -6 + (-356244)/(-180) - 4/30 a composite number?
False
Suppose 7*f - 20454 = -1015. Is f composite?
False
Suppose 0 = 2*o, -4*u + 8*o + 498868 = 7*o. Is u composite?
False
Suppose 5*t - 4*w - 984 = 0, 4*t + 0*w + 3*w = 812. Let n = 105 - 101. Suppose n*p + 68 = t. Is p composite?
True
Let q(d) = d**3 - 7*d**2 + 10*d + 23. Let z be q(10). Let j = z + -172. Is j composite?
False
Suppose 0 = 3*m - 36*b + 40*b - 31925, 5 = -5*b. Is m a composite number?
True
Suppose -28 - 2 = -5*l. Suppose 0*w - l = -2*w. Suppose -w*a + 2*x - 81 = -422, -317 = -3*a - 4*x. Is a a prime number?
False
Let x(a) be the first derivative of -a**4/4 + 13*a**3/3 - 11*a**2/2 + 13*a + 4. Let h(c) = -c**2 - 10*c - 6. Let f be h(-8). Is x(f) prime?
False
Let u be (-5)/(-2*3/102*1). Suppose -2*r = -3*r - 2*t + u, 5*r - 369 = 4*t. Is r a prime number?
False
Suppose o - 4 = u - o, -3*u + 5*o = 8. Suppose 4*t - 7 - 2 = -s, -u*s + 4 = 0. Is 380 + (t + 2 - 3) composite?
True
Suppose 0 = -5*l + 10, -5*l - 355 = -5*z + 2385. Suppose -3*v = -632 - z. Is v a composite number?
True
Let i be 2/4 - (-1 + (-188)/(-8)). Let z = i - -68. Is z composite?
True
Suppose -2*g + 32 = g + a, -2*g + 27 = -5*a. Suppose -7 + g = z. Suppose -716 = -z*i + 344. Is i prime?
False
Suppose -b + 7 = 2*g, b + 26 = 4*g - b. Suppose -5*a - g*a = -890. Is a a prime number?
True
Let c = 8496 + 391. Is c a prime number?
True
Let k(y) = 5*y**3 - 9*y**2 - 4*y. Let z(s) = 5*s**3 - 10*s**2 - 3*s + 1. Let r(a) = -6*k(a) + 5*z(a). Is r(-3) a composite number?
False
Is (212/4)/((4/28)/1) a composite number?
True
Let l = -26681 - -40754. Is l composite?
True
Let y(g) = 21*g**2 - 1 - 4 - 2 - 3*g. Is y(-3) a prime number?
True
Let c(b) = 4*b**2 + 7*b - 7. Let l be c(3). Is 5/(l/7615)*2 composite?
False
Let g be 19/(-7) + 3 - 72/7. Is (-71702)/g + -5 - (-2)/(-10) a prime number?
False
Suppose 0*f + 4*f = -2*m + 2, -4*f = -3*m - 7. Let b(l) = -5*l - 9. Let h be b(-3). Is -2*((-1425)/h - m) a prime number?
False
Let d(z) = z**3 - 5*z**2 - 10*z + 2. Let u be d(7). Suppose 0 = 3*t + 4*x - 5, 2*t - 7*x = -3*x - u. Let l(r) = 6*r**2 - 2*r + 3. Is l(t) a composite number?
False
Is 5/(-35) + (-32832)/(-63) composite?
False
Suppose -4*g - 1 = 3. Let d = -174 + 272. Let m = g + d. Is m composite?
False
Let x be 5/(-10) - (-27)/6. Let b(r) = 322*r**2 + 13*r - 7. Is b(x) a composite number?
False
Let a be 27/5 - (-2)/(-5). Suppose 29 = -a*v + 9. Is 1070/4 + 2/v composite?
True
Suppose 0 = -130*a + 128*a + 44606. Is a composite?
False
Let z(i) be the third derivative of -i**6/120 + 2*i**5/15 + 7*i**4/24 - 5*i**3/6 + 2*i**2. Let a be z(4). Let c = 274 - a. Is c composite?
True
Let t = 49 + -50. Is (-1)/((-1)/20) - t a prime number?
False
Let w(b) = 8*b**2 + b. Let l be w(-1). Is 4 - (-4 - 95*l) prime?
True
Suppose -3*h - 1 = -94. Suppose 5*o - h = -4*w, 0 = -w + 3*w - 8. Suppose -2 = o*f - 47. Is f composite?
True
Suppose 0 = 7*r - 3*r - 12. Suppose -3*s - r*u = 2*u + 83, -4*s - 3*u - 96 = 0. Is (489/9)/((-7)/s) prime?
True
Let s(m) = -9*m**2 + 5*m + 5. Let f be s(-4). Let b = f - -308. Is b a prime number?
True
Suppose n + 64*h = 69*h + 36528, 109620 = 3*n + 3*h. Is n a composite number?
True
Suppose 8451 = -7*l + 10*l. Suppose -10*a + 13*a - l = 0. Is a composite?
True
Let i = -277 + 446. Suppose 7*v - i - 384 = 0. Is v composite?
False
Let y(g) = 99*g**2 + 9*g + 163. Is y(-15) a prime number?
True
Let y be (-1591)/2 - 2/4. Let w(t) = 3*t**3 + t. Let p be w(-1). Is p*(2 - y/(-16)) composite?
False
Let s be ((-4)/(-1) - -8) + 0. Suppose 0 = 15*u - s*u. Suppose u = 3*f + 3, -6*f = 4*h - f - 5919. Is h prime?
True
Let i = 2686 + -1588. Suppose 0 = g - 4*u + 934, -u + 798 = -2*g - i. Is 3 - g/(-1 + 2) a composite number?
False
Let t(o) = 45*o**2 + 4*o - 2. Let w(k) = k**2 + k. Let l(m) = t(m) - 4*w(m). Is l(1) prime?
False
Suppose -6*t = -12*t + 8850. Suppose 72 - t = -u. Is u a prime number?
False
Suppose -5*z = -9*z - 5*k + 39764, -2*z + 19882 = 5*k. Is z a composite number?
False
Suppose -2*y - 12 = -8. Is y*1*4306/(-4) a composite number?
False
Let i be 3/(-6)*27*-6. Suppose -4*b - i = 51. Let p = 170 - b. Is p a prime number?
False
Suppose 0 = 49*w - 77907 - 131274. Is w a prime number?
False
Let j(v) = v - 5. Let t(k) = -2*k + 10. Let y(i) = -5*j(i) - 2*t(i). Is y(-5) prime?
False
Let j(c) = -438*c - 19. Let i(b) = b**3 + 6*b**2 + 11*b + 6. Let f be i(-4). Is j(f) a composite number?
False
Let v(x) = x**2 + 3*x + 1. Let f(y) = y**2 - 3*y - 10. Let k be f(6). Is v(k) a composite number?
False
Let k(g) = g**3 + 2*g**2 + 2*g + 3076. Let f be k(0). Let i = f - 135. Is i prime?
False
Let j = 2 - 8. Is (-71154)/(-108) - 1/j a prime number?
True
Let n(v) be the first derivative of 2*v**3 + 5*v**2/2 + 6*v - 1. Suppose x - 9 = -14. Is n(x) a composite number?
False
Let l be -2*(183/2 - -2). Let n = l + 81. Let k = 189 + n. Is k composite?
False
Suppose 4*b - 23 = 5. Let s be 502/(b/2 + -3). Suppose -3*n - n = -s. Is n a prime number?
True
Let o = 1688 - -29559. Is o prime?
True
Suppose u - 2301 = -2*l, -2*u + 5*l = -5*u + 6902. Suppose 0 = 2*j + 17 - u. Is j a prime number?
False
Suppose -3*i + 2*o = 2*i + 7165, -2*i + 2*o - 2866 = 0. Let j = i - -2140. Is j a composite number?
True
Let l = -20089 + 33430. Is l prime?
False
Suppose 5*j - 3*o - 186906 = 3665, 10 = -5*o. Is j composite?
False
Let o(w) = -2*w**2 + 15*w + 13. Let c be o(8). Suppose -5*h = 3*u - 13823, c*h + 5*u = 1373 + 12442. Is h prime?
True
Let b be (-8 + 11)/(6/16). Let r(v) = 4*v + 1 + 5*v + 4*v**2 - 4*v**2 + 3*v**2. Is r(b) prime?
False
Let p be (120 - (-4)/(-2)*1)/2. Let b = 0 + p. Is b a composite number?
False
Let b(k) = 919*k - 84. Is b(5) a prime number?
False
Let v(k) = 16*k**2 - 2*k - 18. Let n(w) = -7*w**2 + w + 9. Let x(y) = -5*n(y) - 2*v(y). Suppose 5 = -3*m + 26. Is x(m) a prime number?
True
Suppose 3*j - 457 = -466. Let q(v) = -4*v + 56*v**2 + 1 + 3*v + 3*v. Is q(j) a prime number?
True
Let b(i) = -i - 5. Su