586 = -x, 4*x - 2384 = -4*h. Is x a prime number?
False
Is 1/2*-2 + 1820 a prime number?
False
Let n(u) = -25*u**3 + 3*u + 1. Suppose 5*d + c = -20, 5*c + 28 + 6 = -3*d. Is n(d) a prime number?
False
Suppose 0 = j + 2*p - 8, 5*j + 4*p - 5 = p. Let b be j - ((-10)/(-2) - 1). Let k = b + 15. Is k composite?
True
Let s(c) = c**2 + 9. Let i be s(0). Let q = i - 7. Suppose -q*z - 5*n + 7 = -17, -4*n = -z - 1. Is z a composite number?
False
Let o(c) = 380*c**2 - 2*c - 1. Is o(-1) prime?
False
Suppose 0*d - 2*f = 3*d + 112, f - 165 = 5*d. Let c = d - -67. Is c a prime number?
False
Suppose -2*r + 1217 = 199. Is r composite?
False
Suppose 2*o - 2 + 0 = 4*q, -o = q - 7. Suppose -o*t + 387 + 60 = 4*z, 0 = 4*t + 4. Is z a prime number?
True
Suppose -2*c + 1120 - 425 = 3*r, 3*c + 3*r = 1041. Is c a composite number?
True
Suppose -4*i + f = -135, -90 = -3*i + 6*f - 3*f. Let y = 66 - i. Is y a composite number?
False
Suppose -3*l + 211 = -2*l - 3*b, -2*b - 209 = -l. Is (-8)/(-20)*l/1 a composite number?
True
Let q = 41 + -8. Suppose -b + w + q = 0, 0 = 5*b + w - 80 - 73. Suppose -2*g + 3*k = -63, 2*k - 4*k - b = -g. Is g prime?
False
Suppose -5*m + j = -12841, m + 156 - 2733 = -2*j. Is m prime?
False
Suppose -m + 14 = -2*w + 1, -5*m + 5 = 0. Let z = -3 - w. Is 138*(-1 + z/2) a composite number?
True
Let u = 312 + -14. Is u a prime number?
False
Suppose 5*i - 7*g + 4*g = 4576, 5*g - 4560 = -5*i. Is i a prime number?
False
Let r(a) = a**2 - a + 8. Let u be r(0). Let g(b) = 2*b**2 - b. Let p be g(3). Let z = p - u. Is z a composite number?
False
Suppose -w - 10 = -269. Is w composite?
True
Suppose 2*q + 2*d - 12 = 0, -4*q + 0*d = 3*d - 20. Suppose -s = q*s - 447. Is s a prime number?
True
Suppose 6*b - 7*b = -329. Is b prime?
False
Is (4924/(-6))/((-2)/3) prime?
True
Is 1770/4*((-10)/(-6) - 1) composite?
True
Let u be -1*((-5)/1 + 0). Let r(p) = -3*p**2 + 2*p + 3. Let s(g) = -4*g**2 + g + 2. Let x(z) = u*r(z) - 6*s(z). Is x(-2) composite?
False
Let y = 479 + -82. Is y a composite number?
False
Suppose -25 = 4*v - 1. Let t be 1 + v/(0 - 2). Let y(j) = 2*j**3 + 3*j**2 - 5*j - 1. Is y(t) composite?
True
Let d = -1 - -1. Let q be (2 + d)/(4/(-8)). Is ((-406)/q)/(2/4) a composite number?
True
Suppose g + 3*t - 106 = 0, -4*g + 5*g - 108 = -4*t. Let p = g - 33. Is p composite?
False
Suppose v - 351 = -4*k, -v - 8*k = -3*k - 356. Is v composite?
False
Let n(l) = 9*l**2 - 2 + 8*l**3 - 3*l**2 - 9*l**3 - 4*l. Let f be n(5). Suppose 4*g - 39 = -f. Is g prime?
False
Let j(d) = -d**3 + 5*d**2 - 2*d - 2. Is j(3) composite?
True
Suppose -5*q = 7*q - 35268. Is q a composite number?
False
Suppose -3*l - 25 = d - 2*d, -5*d + 125 = -4*l. Let u(c) = -2*c**3 - c**2 - c - 2. Let m be u(-2). Let h = d + m. Is h a prime number?
True
Let b(u) = u**3 + 3*u**2 + u + 1. Let a be b(-2). Let f(y) = 6*y**a - 3*y**3 + 5 - 8*y**2 + 7*y - 4*y**3. Is f(-9) composite?
False
Suppose 0 = -2*g + 6, 0*g = 2*z - g + 9. Let n be 1 + (-51)/z + 2. Let a = 95 + n. Is a prime?
False
Suppose 815 = 5*q + 180. Is q composite?
False
Suppose l - 45 = -14. Is l composite?
False
Let b(s) be the first derivative of 2*s**3/3 + 4*s**2 + 7*s - 1. Is b(7) prime?
False
Let a(h) = 14*h + 1. Let b(y) = y + 1. Let g(q) = a(q) - 4*b(q). Is g(8) a composite number?
True
Suppose 35*y = 36*y - 743. Is y prime?
True
Let i = -1008 + 1805. Is i composite?
False
Let f = 621 + -442. Is f prime?
True
Suppose -2*i + 3*n + 685 + 1051 = 0, -n = -5*i + 4353. Is i a composite number?
True
Let z = -8 - -60. Is ((-27)/(-18))/(2/z) composite?
True
Let j(w) = -3 + 6*w**2 - 8*w**2 - 2*w**3 + w**3 + 2*w**3 - 2*w. Let x be j(3). Suppose 3*u = b - 53, 3*b + 5*u - 30 - 59 = x. Is b a prime number?
False
Let y(l) = l**3 + l**2 + 74. Is y(0) composite?
True
Suppose -5*o - 1 = 2*f - 7, 0 = 4*o - f - 10. Suppose 5*v - 5 = 0, 2*s + 2*s + 4 = -4*v. Is s*1/o*-3 prime?
True
Let j(i) = 5*i**2 + 3*i + 9. Is j(-19) a composite number?
True
Is ((-62)/(-2))/(8 + -7) a prime number?
True
Suppose 0 = -4*l + 5*r, 2*l + r = 4*r. Suppose 0*i + 2*i + 632 = l. Let p = 461 + i. Is p composite?
True
Suppose -4*n - 278 = -0*t + 2*t, 0 = -3*t - 5*n - 413. Suppose 0 = -5*f - 0*f - 380. Let r = f - t. Is r a composite number?
True
Suppose -2*r - 72 = -4*c, -c + 3*r + r + 4 = 0. Let b = 14 - c. Let g(j) = -j + 7. Is g(b) prime?
True
Suppose 0 = -3*g + 4*g. Suppose -4*a + 117 + 519 = g. Let p = 2 + a. Is p composite?
True
Let t = -13 + 19. Let m = t - 1. Suppose m*n - 625 = -4*h, 5*h + 2*n = -0*n + 777. Is h composite?
True
Let d(i) = 83*i. Suppose -4*p = -0*m + 2*m + 10, -4*m + 3*p = -13. Is d(m) composite?
False
Suppose -t + 435 = -4*x, 4*t - 3*x = x + 1692. Is t a composite number?
False
Let r(x) = -90*x - 36. Let b(l) = -18*l - 7. Let i(g) = 21*b(g) - 4*r(g). Suppose 6*m = 2*m - 8. Is i(m) a composite number?
True
Let q = 2835 - -2834. Is q prime?
True
Is -6 + (-168)/(-30) + (-5437)/(-5) a composite number?
False
Let f(b) = b**2 - 6*b + 1. Let q be f(-5). Suppose g + j = q, -2*g + 133 = -2*j - 3*j. Suppose -2*h + 2*l - g = -3*h, 4*l = 12. Is h a composite number?
False
Suppose 2*c + 55 = v, -4*v + 168 + 60 = -4*c. Is v a composite number?
False
Suppose -9*a = -3*a - 636. Is a prime?
False
Let c(t) = 2*t + 24. Let h be c(-16). Let l(s) = -4*s + 3. Is l(h) prime?
False
Let q(k) = k**2 + 2*k - 1. Let x be q(1). Let n = 9 - x. Is n a prime number?
True
Suppose -3*n - 309 = -f, -569 - 374 = -3*f + 5*n. Is f prime?
False
Is 2*(-3 - (-260)/16)*2 a composite number?
False
Let z(y) be the third derivative of y**8/6720 + y**6/720 + 5*y**5/24 - y**4/12 + y**2. Let w(k) be the second derivative of z(k). Is w(0) prime?
False
Suppose 3*w - 8702 = -m, 0 = -3*w + 4*m + m + 8708. Is w a composite number?
True
Suppose 124 = -4*t + 1272. Is t prime?
False
Let w(u) = 14*u + 13. Suppose 3*o = -4*s + 45, -o = -2*o + 3*s + 2. Is w(o) a composite number?
False
Let w = -27 + 1006. Is w composite?
True
Let d be 7 - (-3)/((-9)/(-6)). Let w = d + -50. Let t = w - -80. Is t composite?
True
Let y = -816 - -1517. Is y composite?
False
Let o(j) = -1 + 1 - 41*j. Let w be o(-1). Let z = -28 + w. Is z a composite number?
False
Let p(m) = -3*m**3 + 3*m**2 + 9*m - 4. Is p(-7) prime?
True
Suppose -3*d + 587 + 499 = 0. Is d a prime number?
False
Suppose -201 = -3*w + f, -f - f = -4*w + 266. Let t = 105 - w. Is t composite?
False
Let h(g) = -g**2 - 6*g - 2. Let f be h(-4). Suppose 4*x - 76 = 5*d, d + 89 = 5*x - f. Is x prime?
True
Suppose d - 5 = -3. Let c(f) = -f**2 - 5*f + f**2 + 3 + 2*f**d. Is c(3) prime?
False
Let t(b) = -b**2 - 12*b + 3. Let c(x) be the first derivative of x**2/2 - 2. Let l(r) = -3*c(r) + t(r). Is l(-7) composite?
False
Let o(l) be the third derivative of 1/12*l**5 + 1/120*l**6 + 1/6*l**4 + 1/2*l**3 + l**2 + 0*l + 0. Is o(-2) composite?
False
Suppose -5*h + 6*g = g - 180, g + 141 = 4*h. Let l = -25 + h. Is 585/25 + (-4)/l prime?
True
Let a = -680 - -1044. Is a/4 + 0/2 a prime number?
False
Let m(l) = 76*l**3 + 2*l**2 - 2*l + 1. Let n be ((-2)/3)/(12/(-18)). Is m(n) composite?
True
Suppose 73 = -2*x - 5*t, 60 + 134 = -5*x - t. Let a = 126 + x. Is a a prime number?
False
Let n = 20 + -12. Suppose n - 33 = -5*w. Suppose -153 = -5*l - 2*h + h, -w*l = -4*h - 163. Is l a composite number?
False
Let t(h) = h - 4. Let g be t(5). Let o(i) be the third derivative of 19*i**4/12 - i**3/6 + 6*i**2. Is o(g) a prime number?
True
Let l(k) = -42*k - 12. Let h be l(-11). Suppose -5*q - h = -1555. Is q a prime number?
False
Let n(i) be the second derivative of i**4/12 + i**3/6 - 5*i**2 - 2*i. Let g be n(7). Let l = -25 + g. Is l prime?
False
Suppose -b = -3*b + 530. Is b a prime number?
False
Suppose 4*x - 9 = 3*s, -5*x + 3*x - 3*s + 9 = 0. Let l be (x + (-26)/6)*-3. Suppose -l*k = 4*f - 96, 7*k - 2*k + 3*f - 116 = 0. Is k composite?
True
Let x = -9 + 20. Suppose 0 = -j + x + 1. Let q = j - -21. Is q a prime number?
False
Let x = 29 - 27. Suppose -x*t + 2*k - 317 = -3*t, -4*t + 1301 = -3*k. Is t prime?
False
Suppose 4*t - 6 = 6. Is t composite?
False
Let z(l) = 176*l - 5. Let a(h) = 35*h - 1. Let k(q) = -11*a(q) + 2*z(q). Is k(-5) a composite number?
True
Suppose p + 16 = 5*p. Is 265/p*(1 + 3) prime?
False
Let u = -12 + 20. Let b = u - -7. Is b prime?
False
Let r = -21 - 0. Let h = r + 58. Suppose 4*