 2*z - 984. Is n a composite number?
False
Suppose -6*n + 2556 = -12414. Is n prime?
False
Let j(w) = -w**3 - 8*w**2 + 5*w - 13. Let d(o) = 2*o**3 + 17*o**2 - 10*o + 26. Let f(h) = -4*d(h) - 7*j(h). Is f(-13) a prime number?
False
Suppose -4*d = -d + 4*u + 10, -2*u = 5*d + 26. Let l = d + 61. Is l composite?
True
Suppose 4 = -n, -2*w - 487 = -5*w + 4*n. Is w a prime number?
True
Let j(r) = 3*r - 4. Let d(m) = -m. Let k(p) = -4*d(p) - j(p). Is k(3) a composite number?
False
Let d(l) = 146*l - 9. Let o(f) = 145*f - 8. Let n(m) = 5*d(m) - 6*o(m). Is n(-4) prime?
True
Suppose 4*q - 1682 = -2*b, -q = -5*b - 3*q + 4245. Is b composite?
True
Let g be 2/3*(-12)/(-4). Suppose 2*l + 2*s - 3 - 1 = 0, 0 = l + g*s. Is l a prime number?
False
Let x = -210 - -341. Let h(d) = d**3 - 8*d**2 + 14*d - 7. Let c be h(6). Suppose 0 = -3*j - c*y + x, -3*y - 24 = -3*j + 75. Is j prime?
True
Let j(z) = -z**2 + 4*z + 673. Is j(0) a prime number?
True
Suppose 4*r - 7527 = 30661. Is r prime?
True
Suppose c + 0*t = -2*t + 345, -1355 = -4*c - 3*t. Is c a composite number?
True
Suppose 5*y - 40 + 0 = 0. Suppose -3*b = 9, -3*b - 10 = 5*c - y*b. Let w = 28 + c. Is w composite?
False
Suppose -4*a + 19 = -g, 2*g - 2*a + 97 = -g. Let q = 61 + g. Is q prime?
False
Let z(u) = -u**3 - 11*u**2 - 4*u + 14. Let n be z(-11). Let b(v) = v - n*v - 25*v + 1. Is b(-1) a composite number?
False
Let i = 720 + -206. Suppose 3*p + 5*l - i = -p, -2*p - 5*l = -252. Is p prime?
True
Let g be (0/(-3) - -2) + 0. Let b(s) = -g*s**3 + 3*s**2 + 0*s + s + 2 + s. Is b(-3) composite?
True
Suppose 0 = -l - 3*l + 16, -5*n - 5*l + 28915 = 0. Is n a prime number?
True
Suppose 5*q = 5*u + 775, 3*u = -3*q + u + 440. Let b = -54 + q. Let r = b + -17. Is r prime?
True
Let y be 0/(-3) + 7 + -1. Let j be ((-3)/y)/(3/(-390)). Let i = -6 + j. Is i a composite number?
False
Let x = 7 + -3. Suppose 0 = -4*j + x + 4. Suppose -10 = -n + 3*g + 6, j*g - 22 = -4*n. Is n a prime number?
True
Let x be (10/(-8))/((-2)/304). Suppose 0 = -t + 3*h + x, -t - 3*h + 197 = 13. Is t composite?
True
Is 4/(-8)*(-739 + 5) a prime number?
True
Let m be 8*2/(8/2). Suppose -m*t = 4*l - 300, 300 = -l + 5*l - t. Let p = 130 - l. Is p prime?
False
Let i = -55 - -110. Is i prime?
False
Let i(r) = 18*r**2 - 1. Let q be i(-4). Suppose -q = 2*z - 37. Let k = z + 220. Is k a prime number?
False
Suppose 0*w + 2*w - 8 = 0, 4*w + 9 = 5*m. Suppose v - 6*v - m*k + 70 = 0, 0 = -4*v - 3*k + 57. Is 2/5 - (-549)/v a composite number?
False
Suppose 2*y - 10158 = -z, -y + 4*z - 15247 = -4*y. Is y a composite number?
False
Let c = -188 - -639. Is c prime?
False
Let u = 2 - 4. Let j be 0 + 1 + 45 + 1. Is (j/u)/(2/(-4)) a composite number?
False
Let m = 1586 - 1027. Is m prime?
False
Let f be (-3 - -2 - 0) + 105. Suppose -3*j = -2*j - f. Suppose -2*x - j + 402 = 0. Is x a composite number?
False
Let d = -3 - -5. Suppose -l + 4 = d. Suppose -a = l*a - 177. Is a a composite number?
False
Suppose 0 = -b - s + 5, 5*b + 6*s - 21 = 3*s. Suppose 0 = 2*f + f + b*g - 1479, 4*g = 0. Is f a prime number?
False
Let d(v) be the second derivative of -v**5/20 + 5*v**4/4 - 2*v**3/3 + 11*v**2/2 - 9*v. Is d(11) a prime number?
False
Let o = -1 - 5. Let g(j) = j + 8. Let r be g(o). Suppose 0*w = r*w - 254. Is w prime?
True
Is 2*422/(-4)*-1 a prime number?
True
Suppose 1 + 15 = 4*x. Suppose 0 = 3*f - x*f + 155. Is f composite?
True
Let c(i) = -i**3 - 5*i**2 + i + 3. Is c(-10) a composite number?
True
Let l = 7 - 4. Let a(u) = -4*u**3 + 3*u**2 + 4*u + 2. Let j(m) = -13*m**3 + 9*m**2 + 13*m + 7. Let h(q) = -7*a(q) + 2*j(q). Is h(l) prime?
False
Let v(p) = -p**2 - 5*p - 2. Let m be v(-2). Suppose b = -m*g - g + 28, 5*g - 5*b = 40. Is g composite?
True
Let w be 2/6 + (-465)/(-9). Suppose 0 = -5*x + p + 170, -2*p = 5*x - w - 103. Is x a composite number?
True
Let u = 3 + -11. Let w = u - -8. Suppose -3*p = -w*p - 357. Is p a composite number?
True
Let l = -13 + 10. Let y be (-22)/(-4) + 2/4. Is (-33)/(l/(y/2)) composite?
True
Let g(k) = 34*k**2 - 3*k + 4. Let p(d) = 11*d**2 - d + 1. Let z(t) = 2*g(t) - 7*p(t). Let y(n) be the first derivative of z(n). Is y(-2) prime?
True
Let j = -778 - -1629. Is j a composite number?
True
Let p = -2 - -4. Suppose p*x = -0*x + 22. Is x a composite number?
False
Let r(z) be the third derivative of -z**6/60 + 2*z**5/15 - z**4/6 - z**3/6 + z**2. Let u be r(5). Let v = u - -306. Is v prime?
False
Is 397 - -4 - (3 + 1) a composite number?
False
Let l(n) = -n - 112. Let m be l(0). Let g be (-2 + 0)*45/6. Let r = g - m. Is r a prime number?
True
Let u = 0 - -1. Let n be u*(3 - 4 - -8). Let g(b) = 2*b**2 - 3*b. Is g(n) prime?
False
Suppose -6 = -3*f, 0 = 4*u + 2*f + 140 - 892. Is u prime?
False
Is 9/((-18)/(-3896)) + 1 a composite number?
False
Let q(y) = -104*y + 17. Is q(-10) a composite number?
True
Suppose 0 = -3*y - 0 + 51. Let h be 6/(-15) - (-246)/15. Let q = h + y. Is q a prime number?
False
Let x = -6 + 5. Let r = x + 8. Is r a prime number?
True
Let o be (-54)/(-9)*4/(-6). Is 2*((-98)/o + 3) a composite number?
True
Let q(d) = 3*d - 10. Let h be q(5). Suppose h*n - 191 = 4*n. Is n prime?
True
Let l be (-2)/4 + (-79)/(-2). Let z(q) = q. Let f be z(-12). Is (l/12)/((-1)/f) prime?
False
Let r(x) = 326*x - 11. Is r(2) composite?
False
Let y = 230 + 489. Is y composite?
False
Suppose -2*z - 202 = -2*b, 46 = 3*b + z - 241. Is b a composite number?
False
Suppose 2*n = -3*j - j - 178, 5*n = -4*j - 163. Let p = j - -26. Let a = p + 74. Is a a composite number?
False
Suppose 3*w - 509 = -5*l, -l + 2*w + 0*w = -94. Suppose l = -f + 5*f. Is f prime?
False
Is 340 + -2 + -4 + 5 a composite number?
True
Let g(a) be the third derivative of -a**6/120 - 2*a**5/15 - 5*a**4/24 - a**3/3 - 2*a**2. Suppose -3*n + 1 - 25 = 0. Is g(n) a composite number?
True
Let t = -8 + 13. Suppose 930 = t*u - 0*g + g, 0 = 2*u - g - 365. Is u a composite number?
True
Let n be (2/3)/(5/360). Suppose -2*s = 2*k - n, -5*k + 1 = 2*s - 41. Suppose -s - 2 = -4*b. Is b a prime number?
True
Suppose -x - 3 = -4*i, -x - 4 = -3*i - 3. Is (-6274)/(-30) + i/(-15) composite?
True
Let s(c) = c. Let p be s(1). Let u(y) = 2*y. Let q be u(p). Suppose -40 = -2*r + q*f, 3*f = -2*r + 44 + 6. Is r prime?
False
Suppose -189 = -5*y + 296. Is y a composite number?
False
Suppose 0 = -3*d + d + 10. Suppose 42 = 2*m - s, 2*s - d*s - 107 = -5*m. Is m a prime number?
True
Suppose -4*p = 5*k - 36, 2*p - 24 = -3*k - p. Suppose k*a - 6 = 30. Is a a composite number?
True
Let l(u) be the second derivative of 7*u**3/6 - u**2/2 + 6*u. Is l(8) a prime number?
False
Let u(f) = -4*f + 395. Is u(0) a prime number?
False
Suppose -24*w = -20*w - 984. Suppose 9 + w = 5*c. Is c prime?
False
Suppose -817 - 1408 = -5*y. Is y a composite number?
True
Let m be (12/(-10))/((-12)/40). Suppose -s - 186 = -m*s. Is s composite?
True
Suppose -3 = -t - 4, 0 = 2*o + t - 1881. Is o composite?
False
Suppose p = -3*p + 804. Suppose 4*j - 187 = p. Is (-2 - -1) + j + 1 a composite number?
False
Let z(y) = -2*y**2 + 7*y + 5. Let r(o) = -o**2 + 3*o + 2. Let h(t) = -5*r(t) + 3*z(t). Is h(5) composite?
True
Suppose 2*n - 1 = 3*n. Let b be n/(-2) - 340/(-8). Suppose 3*l = -2*l + 3*z + 81, -3*l + b = z. Is l composite?
True
Is (-7496)/(-6) - (-2)/(-6) a prime number?
True
Let x(u) = -7*u - 6. Let w be x(-11). Let z(p) = 15*p**2 + 2*p. Let n be z(-2). Let k = w + n. Is k composite?
False
Suppose -3*k + 2205 = -816. Is k composite?
True
Suppose -8*n = -9*n - 3. Let s(f) be the second derivative of -13*f**3/6 - f**2 - f. Is s(n) prime?
True
Let f = 12 - 37. Suppose 0 = -4*i + 2*i - 116. Let c = f - i. Is c a composite number?
True
Suppose 0 = -b + 50 + 10. Let c = b + -10. Let w = c + -19. Is w a composite number?
False
Let f(c) = c**3 + 4*c**2 - 9*c - 4. Let l be f(-6). Let b be (-1 + 3)*(-5 - l). Let h = b + -21. Is h a prime number?
True
Suppose o = -s + 3*s + 1065, 0 = 2*s + o + 1075. Let m = s - -842. Is m a prime number?
True
Let w be 631/3 + 16/24. Suppose 0 = 4*h - 369 - w. Is h a prime number?
False
Suppose 3*p + 12 = 0, 5*f - 5*p - 9 - 11 = 0. Suppose -3*k + y + 151 = f, 2*k + 3*y - 110 = -y. Let r = k - 18. Is r a composite number?
True
Let i(o) = 58*o**2 + o + 1. Let u(t) = t**3 + t**2 + t. Let j = 6 - 7. Let l be u(j). Is i(l) prime?
False
