b - c, -d - d - b = -123. Is d a prime number?
True
Let g = -1446 - -3019. Suppose 0 = j - 2*h - 323, -g = -4*j - j - 4*h. Is j prime?
True
Suppose 17*x = 9*x + 64. Is 2/x + (-57)/8*-22 a composite number?
False
Suppose -4*p = -2*u - 6*p + 135526, -5*p = 10. Is u prime?
False
Suppose 1 = -3*j + 46. Suppose 11*n - j*n = -24. Suppose -3*v = -n*v + 609. Is v composite?
True
Is 22757 - (12/(-14) - 184/161) composite?
True
Let q be (4/(-5))/(4/2170). Suppose 5*h = 3*l + 2132 + 321, -5*h - 3224 = 4*l. Let v = q - l. Is v a prime number?
False
Is 2/3 + (2480214/18)/11 composite?
False
Let n(w) = 5*w**3 + 8*w**2 + 4*w + 10. Let q be n(5). Suppose -d + 997 = j, d + q = -5*j + 5832. Is j a prime number?
False
Suppose 2*h = 4*h + 5*j - 56, 0 = -h - 5*j + 38. Let r be h - (2 + 1 + -1). Suppose -15*b + r*b - 379 = 0. Is b prime?
True
Suppose -7*u - 5*v + 9 = -3*u, -3*u = -v - 2. Is -2 + 3112 + 2/((-2)/u) a composite number?
False
Suppose -3*g + 4*n + 24 = n, 5*g + 2*n - 19 = 0. Suppose 5*c - g*t - 15023 + 3928 = 0, 5*c - 11095 = 4*t. Is c prime?
False
Let u = 809344 + -492087. Is u composite?
False
Let x(a) = -55*a**3 + 4*a**2 + 5*a - 7. Is x(-3) a composite number?
False
Let n = -10556 - -18517. Is n composite?
True
Suppose -207312 = -18*x - 25314. Is x prime?
True
Suppose 33651 - 7643 = 8*n. Is n a composite number?
False
Let x be ((-8)/(-4))/((-5)/(-5)). Suppose -k = x*y + k + 2, 0 = 2*y + 5*k + 5. Is 222 - (1 + y/(-1)) a composite number?
True
Let g(l) = 16*l**2 + l + 4. Let t be 10/2 - (10 + -8). Let u be g(t). Let d = u - 30. Is d a prime number?
False
Let k = -181 + 179. Let c(o) be the third derivative of 8*o**5/15 + o**4/12 + o**3/2 - o**2. Is c(k) a composite number?
False
Let i be 202 - (1/(-1) - -1). Let f = -116 + i. Is f composite?
True
Suppose 0*g = g + 5*u + 8, 5*g + 2*u - 6 = 0. Suppose g*w - 521 = -43. Suppose q = l + 3*l + w, 4*q - 3*l = 1021. Is q a prime number?
False
Let h(y) be the second derivative of 65*y**3/6 + 11*y**2/2 + 23*y. Is h(6) a composite number?
False
Let i = -1 + 1. Let b(u) = -3*u - 903. Let j(c) = c + 301. Let v(w) = -3*b(w) - 8*j(w). Is v(i) prime?
False
Let c = 128 - 238. Let l = 313 + -156. Let a = l + c. Is a a composite number?
False
Suppose -5*w = -5*r + 9640, 0*w = -2*w - 8. Suppose -k + 4*o - 166 = -r, 5*k - 8771 = o. Is k prime?
False
Let l(s) = 4*s + 22. Let j(y) = y**2 - 8*y - 44. Let u(r) = 3*j(r) + 5*l(r). Is u(7) a composite number?
False
Suppose 32*z - 2651948 = -20*z. Is z a prime number?
False
Let x(g) = 1221*g. Let c(k) = k. Let p(t) = 1628*c(t) - x(t). Let s be p(1). Suppose -s - 173 = -4*l. Is l a composite number?
True
Suppose -2*h = -5*c + 1 + 6, 0 = 2*c - 4*h + 10. Suppose -8 = -c*o - 2. Suppose o*a + a = 753. Is a a prime number?
True
Let m be (20/(-25))/(2/50). Let y be (-5)/15 + m/(-6). Suppose 4*i + 168 = 4*u + 36, 0 = -2*u + y*i + 66. Is u a prime number?
False
Suppose -4*f + 2*i + 71071 = -145739, 108409 = 2*f + 3*i. Is f composite?
True
Suppose -3*r = 3*y - 12, 2*r - 6 = 4*y - 22. Suppose r = 2*m + m + 3. Is 2/m*93/(-6) a prime number?
True
Let s = 73 + -69. Suppose 4*k - 4006 = u - s*u, -3*u = -4*k + 4018. Is k a composite number?
True
Suppose 2*v + 502 = 20. Let t = v + 528. Is t composite?
True
Let s = -26 - -29. Suppose -s*p - p = 208. Let c = p - -87. Is c a composite number?
True
Suppose 3*r - 19 + 13 = 0. Suppose 4*n - 17 = -4*y + n, -5*n = y - 17. Suppose 4*o + 28 = y*z + r*z, -27 = -4*z + 3*o. Is z a prime number?
False
Let b(h) = 2*h - 2. Let y be b(2). Let d(k) = k**3 - 11*k**2 - 32*k - 23. Let v be d(10). Is v/(-2)*4/y prime?
True
Let c(k) = 80*k**3 + 6*k**2 - 17. Is c(5) a prime number?
True
Let b = 44170 - 18869. Is b prime?
True
Is 49537/3*(7 - 4) a prime number?
True
Let g(n) = 329*n**3 - 4*n**2 + 10*n - 6. Is g(5) composite?
True
Suppose 48*u - 65645 = 29*u. Is u prime?
False
Let b = -46 + 48. Suppose -2853 = -7*m - b*m. Is m prime?
True
Let u(l) = 9*l - 60. Let d be u(7). Suppose -3*s = 2*f - 6190, f + 6214 = d*s - 3*f. Is s composite?
True
Suppose -4*g + 7558 + 11020 = -3*h, 0 = 3*g + 4*h - 13921. Is g composite?
False
Is 3/(-5) - (-603344)/40 prime?
True
Suppose p = 2*b - 10, -3*p + 2 = 8. Suppose -b*y - 3 = 5. Is y + 1 + 34/1 prime?
False
Suppose v + 2768 = -0*b + 4*b, -v = -5*b + 3460. Let k = b - 207. Is k composite?
True
Is 52 + -44 + (1 - -8914) composite?
False
Suppose -4*x - 104 = -l - 6*x, -312 = -3*l + 4*x. Let h = l + 315. Is h composite?
False
Let h(j) = 18*j**3 - 2*j**2 - 3*j - 5. Suppose -11*l + 30 = -l. Is h(l) prime?
False
Let p = -40 + 44. Is (-6)/p*(-1054)/3 a composite number?
True
Suppose -5*m + 5*j - 235 = 0, -4*m - 3*j - 168 - 13 = 0. Let u = -11 - m. Is (-21)/u + 1468/5 prime?
True
Let t(z) = z**3 + 15*z**2 + 15*z + 16. Let f be t(-14). Suppose f*u - r = 4*r + 921, -1424 = -3*u - r. Is u a composite number?
True
Let y be ((-15)/3)/((-1)/(1 + 0)). Suppose -y*z = -4*t - 50 - 743, -t - 802 = -5*z. Is z composite?
True
Is (12938/3)/(10/15) prime?
True
Suppose 4*n + 24 = 4*a, n + 3*a + 1 = 3. Let p(v) = 2*v + 5*v**2 - 1 + v - 1 + v. Is p(n) a composite number?
True
Suppose 1935 = 4*t - 3*t. Let n = t - 1304. Is n a prime number?
True
Suppose 207 + 26666 = x + o, -2*x + 53754 = 4*o. Is x a prime number?
False
Let f be ((-48)/(-15))/(2/10). Let l(o) = o**2 - 8*o + 11. Is l(f) composite?
False
Let r(l) = -26*l - 1. Let j(o) = o**3 - o - 8. Let u be j(0). Let n = u + 5. Is r(n) composite?
True
Let o(f) be the second derivative of 3*f**4/4 - 2*f**3/3 - f**2/2 - 18*f. Is o(-6) prime?
True
Suppose s - 7857 = -n - 2537, -5*n - 4*s + 26603 = 0. Is n composite?
False
Suppose 26 = 9*n - 7*n. Let i(f) = 7*f**2 - 7*f + 19. Let s(h) = 8*h**2 - 8*h + 20. Let t(l) = 7*i(l) - 6*s(l). Is t(n) composite?
True
Let q = 8909 - 5046. Is q a prime number?
True
Let i = -154 - 94. Let c = 53 - i. Is c a composite number?
True
Suppose 2579 = 5*a - 2031. Suppose 672 + a = 2*q. Is q a prime number?
True
Let y be -15932*(2 - -4)/(-6). Suppose 0 = 4*k - 0*k - y. Is k a composite number?
True
Let x be ((-65)/26)/(2/(-4)). Let w be -4*(3045/(-12))/x. Let k = -114 + w. Is k composite?
False
Let j(u) = u**2 - 6*u - 4. Let v(s) = -s**2 - 11*s - 15. Let m be v(-9). Suppose 0 = -m*r + 3 + 30. Is j(r) composite?
True
Suppose -g = 19 + 10. Let b(z) = 3*z**3 + 2*z**2 - z - 2. Let j be b(-2). Let y = j - g. Is y composite?
False
Is (1 - 8422/(-3)) + (-140)/(-210) a composite number?
True
Let o(k) = 27 - 10 + 12 - 242*k. Is o(-6) prime?
True
Let q = 17 + -19. Let o(k) = -15*k - 7. Is o(q) a prime number?
True
Suppose -z + 0*z = 3*o - 24479, -5*o + 40789 = 4*z. Is o a prime number?
True
Suppose -4*r - 3*i + 19 + 2 = 0, -2*r = 5*i + 7. Suppose -r*h + 7*h = -4584. Is 6/(-4)*h/(-18) a prime number?
True
Suppose 18 = x + 21. Let b(i) = -91*i - 6. Is b(x) composite?
True
Is ((-2)/3)/(-4 - (-565390)/141351) a composite number?
True
Let p(d) = -63*d - 3. Let f be p(-6). Suppose -4*k + f + 509 = 0. Is k a composite number?
True
Let a(c) = -c**3 + 6*c**2 + 2*c - 7. Let r be a(6). Suppose 1924 = r*n + 314. Suppose -1283 = -4*b - h - 2*h, n = b + h. Is b prime?
True
Let s(b) = -6*b**3 - b**2 - 13*b + 14. Let u be s(-10). Suppose -5*h = -h, 0 = -4*c - h + u. Is c composite?
False
Suppose 134*p - 105*p = 522. Let v(g) = 2*g**3 - g**2 + 2*g + 4. Let i be v(4). Is (i/6)/(12/p) prime?
True
Suppose 0 = -2*m - 2, -3*m + 0*m = 4*t - 21. Let i be (321 - t/3) + 3. Suppose -i = 2*h - 4*h. Is h prime?
False
Let p be ((-6)/(-4))/((-15)/(-50)). Let c = 2666 + -1871. Suppose 2*x + p = -3, -c = -5*r - 5*x. Is r prime?
True
Suppose -3*h + 12 = -6*h. Is (-10)/(-40) - 259/h composite?
True
Suppose -2*n + 20 = 2*u - 0*u, -n + 3*u = 10. Suppose n*i - 2473 - 762 = 0. Is i a composite number?
False
Let l(z) = -z**3 + 19*z**2 - 18*z + 13. Let u be l(18). Let y = 15 - u. Is y/(-8) + (-28770)/(-40) a prime number?
True
Let o(b) be the third derivative of b**6/120 + b**5/30 - b**4/12 + 122*b**3/3 + b**2. Let a be o(0). Let g = a - 33. Is g a prime number?
True
Let d(c) = c**3 + 6*c**2 + 8*c + 5. Let v be d(-5). Let r = v + 10. Suppose z = -2*a + 62, 2*a - z - 27 - 35 = r. Is a prime?
True
Is 2/(-4) + (-1112370)/(-60) a prime number?
True
Suppose 0 = 4*c - 958 - 702. Is c prime?
False
Let t(d) = 5*d**3 + 2*d**2 - 2*d. Let h be 