= 282 + 398, 4*i + 3*k = 2705. Let g = i - 407. Is g composite?
True
Let t = 6903 + -4852. Is t a prime number?
False
Suppose 0 = 8*t + 2490 - 6338. Is t a composite number?
True
Let g(i) = 9*i**2 - 2. Let q(k) = k + 3. Let x be q(-5). Is g(x) a prime number?
False
Suppose 2*d - 8818 = -z, 5*d - 5*z = 5366 + 16679. Is d a composite number?
False
Is (2681/4)/(4/16) a composite number?
True
Let u(z) = 6*z - 19*z - 10 - 5 - 15*z. Is u(-8) composite?
True
Let o = -176 + 322. Is o a composite number?
True
Suppose 0*n + n - 851 = 0. Is n a composite number?
True
Let w = 6 - 1. Suppose 0 = 4*s + 2*k - 150, 0 = 4*s + w*k - 45 - 96. Is s prime?
False
Let o(j) = -j**2 - 5*j + 8. Let v be o(-6). Let c(l) = -4*l + 6*l + 6*l**v + 4*l - l**3 - 3. Is c(6) a composite number?
True
Suppose 3*i - 26 - 49 = 3*t, 5*t = -2*i + 57. Let x be i/(2/(4 + -2)). Suppose -4*w + 83 = 6*u - u, 2*u - x = 2*w. Is u a prime number?
False
Let r = 113 + -54. Is r a composite number?
False
Let g(j) = j**2 - 2*j + 1. Let o be g(1). Suppose o = 2*m + 5*s - 3*s + 64, m + 35 = 2*s. Let n = m - -54. Is n a composite number?
True
Let k(g) = -g**3 + 8*g**2 + 9*g + 2. Let m be k(9). Suppose -m*r - 2*b + 24 = -7*b, -b = -r + 15. Is 1*(r*7 + 0) prime?
False
Let g(m) = 9*m**2 + 2*m - 8. Let d(j) = 5*j**2 + j - 4. Let k(n) = -5*d(n) + 3*g(n). Let a = 0 + -3. Is k(a) prime?
True
Suppose 3*s + 526 = 5*s. Is s prime?
True
Let w(r) = -r**2 + 3*r + 1. Let l(o) = -o. Let s(n) = 3*l(n) + w(n). Let b be s(-1). Suppose 3*q + b*q - 29 = -2*a, -26 = -2*a - 4*q. Is a a prime number?
True
Let i(d) be the first derivative of 7*d**3 + d**2 - 3*d + 2. Is i(2) a composite number?
True
Suppose -5 = -5*m + 5, 0 = -5*b - 4*m + 243. Is b a prime number?
True
Let p = 218 - 40. Is p composite?
True
Suppose -g - 1548 = -5*y, 2*y - 2*g + 0*g - 624 = 0. Let w be 1534/3 - 4/(-6). Let u = w - y. Is u composite?
True
Suppose -j - 10 = -6*j. Suppose 0 = -j*f + c - 362, -2*f = 3*c - 2*c + 358. Is (2 - f)*2/4 composite?
True
Suppose 3797 + 8 = 5*d. Is d prime?
True
Let n = 219 + -100. Is n composite?
True
Suppose 0 = -2*b - b. Let v(x) = -x**3 - x**2 + 10. Let y be v(b). Suppose -3*g = -2*z + 3*z - 40, y = -2*z. Is g composite?
True
Suppose 0 = 3*z - 13 + 4. Suppose s = z*c - 756, c - 245 = -0*c - 2*s. Is c composite?
False
Let c = -63 + 148. Is c a prime number?
False
Let v = 165 - 118. Is v a prime number?
True
Suppose 0*q = q - 3. Is q + (-4)/2 + 6 composite?
False
Let m = 4257 + -2374. Is m prime?
False
Let b = 351 - 12. Is b composite?
True
Let b = 17 - -34. Is b prime?
False
Let g = 2 + -8. Let a(z) = -z**3 - 4*z**2 + 5*z - 7. Is a(g) a prime number?
False
Let b(h) = 3*h - 2. Suppose 0 = 3*v + a - 3*a - 15, -2*v = -4*a - 2. Suppose 0 = -d - 0*d + v. Is b(d) composite?
False
Suppose 3*m = -0*m + 15. Suppose -15 = -y + 2*x - 5*x, -m*y + 95 = 5*x. Is y a prime number?
False
Is 0 + 1/(3/483) prime?
False
Let j(f) = -2*f**3 + 8*f**2 + 16*f - 21. Is j(-11) a prime number?
True
Suppose 3*j = -j + 8. Suppose -64 = -4*i + 4*n, -j*n = -4*i - i + 74. Is i a prime number?
False
Suppose -5*p + 426 + 294 = 0. Let q = -17 + p. Is q a prime number?
True
Suppose -9 = -a - 2*a. Suppose -3*j - 28 = -2*n, 12 = -a*n + 4*n - j. Suppose 3*f = n*f - 235. Is f composite?
False
Let r(s) = -36*s - 11. Let c(o) = -36*o - 11. Let p(z) = 7*c(z) - 6*r(z). Let u(i) = -18*i - 5. Let x(v) = -4*p(v) + 9*u(v). Is x(-3) composite?
False
Let i(d) = 3*d**3 - 4*d - 2. Is i(5) a prime number?
True
Suppose 0 = b - 112 - 79. Is b composite?
False
Suppose 0 = -4*h + 2*g + 2*g + 868, -1093 = -5*h - 3*g. Is h a prime number?
False
Suppose 4*d = 7 + 25. Suppose 0*i = -a + i + 2, 4*a - d = -2*i. Suppose -a*f = -f + 4*r - 37, 0 = 3*r - 12. Is f a composite number?
True
Let k(m) = 32*m + 11. Let u = 0 + 13. Let t be k(u). Suppose -5*h + 58 = -t. Is h a prime number?
True
Suppose 0 = a + 2*a - 471. Is a a prime number?
True
Let n be 254/(-4)*6/(-3). Suppose 3*y - 4*k = 365, -y - 4*k + n = -0*y. Is y prime?
False
Let a be 2/(-7) + (-2)/(-7). Is -3 + 25 - a/1 a composite number?
True
Suppose -4*b - b = -1065. Let q = b - 68. Is q prime?
False
Let o be 0 - ((1 - 2) + 27). Let y = -3 - o. Suppose n = -8 + y. Is n a prime number?
False
Let p(l) be the third derivative of 7*l**6/180 + l**5/120 + l**4/24 + l**3/2 + l**2. Let j(m) be the first derivative of p(m). Is j(-2) composite?
True
Let d be (-4)/(-10) - 4/10. Suppose -5*j + 20 = d, 0*y + 2*y + 2*j - 226 = 0. Is y a composite number?
False
Suppose 3*d + 21 = -2*p, 6*p + 5*d = 3*p - 34. Let n = p - -11. Is ((-77)/2)/((-4)/n) composite?
True
Suppose 5*j + 4*l + 108 + 205 = 0, -5*j = -3*l + 299. Let s(r) = 24*r**2 - 2. Let z be s(2). Let b = j + z. Is b prime?
False
Let x(v) = -v**3 - 5*v**2 + 5*v - 4. Let w be x(-6). Let d = 21 + -16. Suppose -t + o + 8 = 0, -d*t - 5*o = -w*t - 8. Is t prime?
False
Suppose 0 = -4*u + 2*u - 206. Is (u/2)/(2/(-4)) a composite number?
False
Is (-651)/2*18/(-27) composite?
True
Let y be (-2)/((2/4)/(-1)). Suppose 3*l + 30 = -3*k + 5*k, 5*l - y*k + 52 = 0. Let i = -2 - l. Is i prime?
False
Suppose j + 3*x = -10, 5*j - 4*x + 50 = -0*j. Let v = j - -173. Is v composite?
False
Is (-5 - -4)*-1 + 336 composite?
False
Suppose 0 = -2*u + 5*u - 921. Is u a composite number?
False
Suppose 502 + 63 = 5*a. Is a composite?
False
Let w(y) = 11*y**3 - 18*y**2 + 27*y + 27. Let d(k) = 5*k**3 - 9*k**2 + 13*k + 13. Let j(o) = -13*d(o) + 6*w(o). Let z = -10 - -2. Is j(z) a composite number?
False
Suppose -y + 28 = -70. Let t = 74 + -31. Suppose -t = -w + 5*l, -2*w + 4*l + y = -0*l. Is w a composite number?
False
Suppose 0*b = b - 2. Is 10 + 1 + b + 1 prime?
False
Suppose 4*j + 897 = 345. Let d = j + 265. Is d a prime number?
True
Suppose 4*o - 6 = 14. Suppose 53 = o*y - 12. Is y prime?
True
Suppose 879 = 5*j - 2*j. Is j a prime number?
True
Let a = -407 + 710. Is a prime?
False
Let i(b) = -b**3 - b - 4. Let p be i(-5). Suppose -2*s = -g + 185, -3*s + 74 = g - p. Is g prime?
True
Is 836 - 1/2*-6 composite?
False
Suppose 3*f = 7*f - 9572. Is f prime?
True
Suppose -1 = 3*w - 13. Suppose 0 = w*z - 2*z - 30. Is (12/9)/(2/z) composite?
True
Suppose 3*i + 5 = 20, 0 = -2*z - 4*i + 14. Let w(t) = -2*t**3 + 3*t**2 - 2. Is w(z) a composite number?
False
Let c(z) = 717*z. Is c(1) a prime number?
False
Let q(x) = x**2 - 5*x + 1. Let s be q(6). Suppose 35 = 5*j - 3*m, -j - m + s = 4*m. Is j composite?
False
Suppose -l = 5*s - 0*l + 15, 4*l + 28 = -4*s. Is (-11)/((-2)/(s + 16)) composite?
True
Let i(q) = -2*q**3 + 3*q**2 - 3*q - 1. Let c be (-69)/21 + 4/14. Is i(c) a composite number?
False
Let g(l) = l**2 + 6*l. Let d be g(-6). Suppose h + h - 44 = d. Suppose -5*j = -127 + h. Is j a prime number?
False
Suppose -a - 3*f = -5*a + 5, -2*f + 2 = 0. Is 1814/a*(1 + 0) composite?
False
Suppose 0 = -g - 3*m + 66, 4*g = -4*m - 62 + 302. Is g composite?
True
Suppose -126 = -2*s - s - 3*y, 3*y = -4*s + 163. Suppose -3*t + 20 = -s. Suppose -4*b = t - 295. Is b a prime number?
False
Let l be 2 + (2 - 3) - -1. Suppose 4*f + l + 2 = 0. Is (-94)/f*1/2 prime?
True
Suppose 4*h = -5*g + 257, 4*g + 5*h + 0*h = 202. Is g a composite number?
False
Let l = -6 + 10. Let g = 4 - l. Is g - -1 - (-18 - 3) a prime number?
False
Suppose g - 235 = 5*p - 909, -650 = -5*p - 5*g. Suppose 2*a + 0*a = p. Is a prime?
True
Let d be -22*(9/(-6) - -1). Let b be 2/d - 1420/(-55). Let l = b + -13. Is l a prime number?
True
Suppose -2*n + 3*h - 178 = 0, -4*n + 0*h + 4*h - 352 = 0. Let c = n + 213. Is c composite?
False
Suppose 2*c + 5*g = -27, 5*c = c + 2*g + 6. Let d = 11 + c. Is d a composite number?
True
Let d(z) = 7*z**2 + 16. Let f(p) = p + 1. Let c be f(10). Is d(c) prime?
True
Let z(p) = 58*p**2 + p. Let u(h) = h**2 - 7*h + 7. Let m be u(6). Is z(m) a composite number?
False
Suppose 2*c - 172 = v, -1 - 5 = -3*v. Is c prime?
False
Let l(w) = w**2 - 10*w + 9. Let j be l(7). Is (-3664)/j - (-2)/(-6) a composite number?
True
Suppose -3*s = -h - 6, s = -6*h + 3*h + 12. Suppose 3*j + s*i - i - 487 = 0, 4*i = 5*j - 797. Is j a composite number?
True
Let g = -165 + 82. Let t(m) = -m**3 + 16*m**2 + 11*m - 2. Let y be t(16). Let a = y + g. Is a a prime number?
False
Let f = -6143 - -10650. Is f composite?
False
Let n(m) = 7*m + 6. Is n(7) composite?
True
Let q be (