 Suppose -3*i - 5*q + 268 = m, -i + q = 3*q - 89. Is i composite?
True
Let c(y) be the third derivative of y**5/60 - y**4/8 - 2*y**3/3 + 2*y**2. Let x be c(4). Suppose x = 7*b - 2*b - 105. Is b composite?
True
Let w be (-6)/10 + 1356/10. Let l = 212 - w. Is l prime?
False
Suppose 5*u - 156 = m + 308, 456 = 5*u + m. Let v = 3 + u. Is v a composite number?
True
Suppose -p + 7*p = 18. Suppose -m = -p*m + 646. Is m prime?
False
Let m(w) = -w**3 - 4*w**2 + 4*w - 1. Let r be m(-5). Suppose -3*o + 0*j = r*j - 101, j + 91 = 3*o. Is o prime?
True
Let i(b) = -b - 5. Let p be i(-7). Suppose -p*x = 3*x - 775. Let j = x + -66. Is j a composite number?
False
Let s(a) = 22*a - 1. Is s(1) prime?
False
Suppose 8*t = -99 + 779. Is t composite?
True
Let d(b) = 2*b - 4. Let t be d(4). Suppose t*n = 5*g + 197, -7 - 2 = -3*g. Is n a composite number?
False
Suppose 8*p - 1275 = 797. Is p prime?
False
Is (-4411)/(-4) - (-2)/8 prime?
True
Let j = 1790 + -777. Suppose j = 4*g - 663. Is g prime?
True
Suppose -1 + 12 = -4*c - 3*v, 3*c + 4*v = -17. Let q(m) = 195*m**3 - m**2 + 1. Let w be q(c). Suppose -j = 4*j - w. Is j a composite number?
True
Suppose -611 = -5*a + 3*z, 240 = 2*a - 2*z + 3*z. Is a composite?
True
Let d = 2766 + -1633. Is d a composite number?
True
Let c be 1/((-1)/(-2*1)). Let b be ((-4)/2)/((-2)/c). Suppose 2*g - 25 = -0*g + 5*m, -2*g = b*m - 18. Is g composite?
True
Let h(i) = i**2 - 2*i - 2. Let v(t) = 3*t**2 - 4*t - 3. Let b(u) = -5*h(u) + 3*v(u). Is b(3) a composite number?
False
Let v(d) = -d**3 + d**2 + d - 11. Let w be v(0). Let h = 58 - w. Is h a composite number?
True
Let g = 14 - 6. Let y be g/2 - (2 - 3). Suppose -29 = -2*o - 5*w, o + y = 3*w - 8. Is o a composite number?
False
Let v be (16/12)/(2/3). Suppose -v*a + 4087 = 5*d, 4*a = -0*a - 5*d + 8189. Is a composite?
True
Let a(q) be the first derivative of -q**3/3 - 5*q**2 - 9*q + 5. Suppose -3*h - 28 = 2*b, -5*b - 86 = 5*h - 31. Is a(h) composite?
True
Suppose 6*b - 288 = 2*b. Is 529/9 + 16/b prime?
True
Let z(s) = -3 + s**2 + s - s**3 + s + 4. Let g be z(-2). Is (g/3)/(-3) - -48 prime?
True
Let s = -3470 - -5177. Is s composite?
True
Suppose n + 2*a - 4 = 2*n, -n - 3*a = -6. Suppose 3*d - 434 - 97 = n. Is d composite?
True
Suppose -n + a + 2*a - 55 = 0, -a = -n - 61. Let f = -21 - n. Is f a composite number?
False
Let c(o) = -o - 2. Let g be c(-5). Let n = 2 + g. Suppose -n*i + 0*q + q + 392 = 0, -5*i = -5*q - 380. Is i a prime number?
True
Let b(l) be the first derivative of 55*l**2 + l + 3. Is b(3) composite?
False
Let n = 4497 + -3100. Is n a composite number?
True
Let y(n) = 204*n**3 - 1. Suppose 2*t - 4 = -2*u, -5*u + 0 + 7 = 2*t. Is y(t) composite?
True
Let u(a) = -68*a + 1. Suppose -4*v = -s + 3, -2*s + 3*v + 3 = -2*v. Is u(s) prime?
False
Suppose 2*v + 8 = 0, -2*j + 0*v = 4*v - 278. Suppose -3*l + 575 = 5*m, 3*m + j + 396 = 3*l. Is l composite?
True
Suppose 4*q = 3*l - 24 - 14, 0 = -l + 3*q + 21. Is 69/1*10/l a composite number?
True
Suppose 2*s = -2*n + 246, 3*n - 3*s = -0*n + 381. Let g be 4 - (-2 - -1) - 1. Suppose -g*j + 11 = -n. Is j a prime number?
False
Suppose 2*i - c + 27 = -58, -2*c - 94 = 2*i. Let y = 91 + i. Let n = y - -6. Is n a prime number?
True
Let b(i) = -i**3 + i**2 - 6. Suppose -4 = -2*c, 4*d + 5 + 3 = 4*c. Let a be b(d). Let x(n) = n**2 - 2*n + 7. Is x(a) a prime number?
False
Let n = -137 + 323. Suppose t - 2*d = -2*t + 289, -n = -2*t - 2*d. Is t a composite number?
True
Suppose 3367 = 3*u + 4*u. Suppose -4*p + u = -411. Is p prime?
True
Let q(r) = r**2 + 2*r - 1 - 7 + r - 1. Let c = -13 + 6. Is q(c) prime?
True
Suppose -3351 = -11*w + 8*w. Is w a composite number?
False
Suppose 4 = 4*i, i = -3*o + 5*i + 128. Suppose -o = -w - 3*w. Suppose 2*x = 19 + w. Is x a prime number?
False
Suppose 0 = -3*t - 0*t + 39. Is 1*(0 + 7)*t prime?
False
Let s = 10 + -8. Let m = 1 - s. Is m/((-2)/746) + 0 prime?
True
Suppose -5*a + 445 = 1060. Let s = -438 - -650. Let z = a + s. Is z composite?
False
Let q = 2 + -2. Suppose -3*r + 861 = 2*w, r - 3*w - 287 = -q*w. Is r a prime number?
False
Let i = 387 - 94. Is i a composite number?
False
Suppose 4*u - 66 = 122. Is u prime?
True
Let w = -3 + 5. Suppose 0 = -s + 2*s + 3*t - 55, 146 = w*s - 3*t. Is s a prime number?
True
Let s = 53 + 127. Let p = s - 83. Suppose 3*r + p - 14 = 5*g, -3*g + 5*r = -37. Is g a composite number?
False
Suppose -5*n = -2*j - 337, -3*n - 5*j + 134 + 62 = 0. Is n composite?
False
Let w(s) = -15*s + 3. Let x be w(-3). Suppose 65 + x = h. Is h composite?
False
Suppose 4*i + 2*p = 1284, -3*p - p + 1608 = 5*i. Let v = i + 77. Is v a prime number?
True
Let m(g) = -6*g**3 + 3*g**2 + 2*g + 1. Is m(-2) composite?
True
Let r(y) = 3*y**2 + 9. Let z(o) = -o**2 - o - 1. Let l(x) = r(x) + 4*z(x). Let i be l(-5). Is 23 + i - (6 - 4) a composite number?
True
Let p(m) = -m + 6. Suppose 24 = 2*o - c, o - 3*c - 17 = -0*o. Let t be p(o). Is 3 - (7*t - -1) prime?
True
Let s = 235 + -371. Is (-8)/(-28) + s/(-14) a prime number?
False
Let c(l) = 52*l**3 - l**2 - 2*l - 1. Let d be c(2). Let y = d + -258. Is y a prime number?
True
Is 8/12 + (-290)/(-6) a prime number?
False
Let q be (-13)/26 + 4043/(-2). Is (1/3)/((-2)/q) composite?
False
Let s = 5 + -3. Let v(l) = 522*l - 1. Is v(s) a composite number?
True
Suppose 0 = 5*p + 20, -p = 4*c + 22 + 10. Let g = 26 + c. Is g composite?
False
Suppose -10 = -5*x - 40. Let f = -3 - x. Suppose j - 4*j = -5*g - 47, -59 = -f*j - g. Is j prime?
True
Let i = -18 + 11. Let j = 10 + i. Is j a prime number?
True
Suppose -396 + 1316 = 8*u. Is u a composite number?
True
Let x be (-40 + -6)/(1 + -3). Let z = 202 - x. Is z prime?
True
Let b be 8 - (3 + 0)/3. Suppose 4*v + n - b = 0, 0 = 5*v - n - 6 - 14. Suppose 3*i = -v*m + 90, 2*i - 3 = 3*i. Is m prime?
False
Suppose -7*q = -12*q + 745. Is q a composite number?
False
Let u(l) = -11*l - 4. Let s be u(-6). Let h = s - -141. Is h composite?
True
Suppose 8*u - 4*u = 1036. Is u a prime number?
False
Suppose -3*p - 2*s + 14 = -6*s, -4*p - s = -6. Let t(c) = c + 3. Let n be t(-2). Suppose -a - d = -5 + n, 0 = 5*a + p*d - 29. Is a a prime number?
True
Let f = 465 - -28. Is f composite?
True
Let l = 11 + -7. Suppose -4 = -l*w + 16. Let s(x) = 9*x + 2. Is s(w) a prime number?
True
Suppose -3*a + 3*h - 967 = -2*a, 2916 = -3*a + 4*h. Is (a/12)/((-4)/6) prime?
False
Let f be 88/(-12) - 4/6. Let n(p) = -p + 3. Is n(f) composite?
False
Suppose a + 1330 = 5*q, -q + 3*a = 2*q - 798. Let y = -163 + q. Is y a prime number?
True
Let d be (-12)/(-3) - 1/1. Let z(o) = 17*o - 2. Is z(d) a composite number?
True
Suppose 0 = -g + 2*c + 88, -2*c - 231 = -3*g + 53. Suppose -p - p = -g. Is p a prime number?
False
Let g be 33 + ((-2)/(-2))/1. Suppose c = g + 31. Is c a composite number?
True
Let t be 4*((-6)/3 + 1). Is -2 + 6/t*-10 a prime number?
True
Suppose 232 + 108 = 4*y. Suppose -5*s = -y - 180. Is s a composite number?
False
Suppose 5*h - 8 = 2. Let y(f) = 5*f**2 - 4*f**2 + f**3 - 3*f - 3 + h*f**2. Is y(-3) prime?
False
Is (-1*1)/((-6)/3498) a prime number?
False
Let x(s) = -7*s. Let w = -10 - -6. Let p = -5 - w. Is x(p) composite?
False
Let o(x) = 5*x**2 + 2*x + 2. Let d be o(-2). Let m be 3/(-2) - 99/d. Let w(k) = k**3 + 9*k**2 - 3*k + 8. Is w(m) a prime number?
True
Suppose -30 = -z + 72. Let c = -25 + z. Is c a composite number?
True
Let x(i) = 9*i - 3. Let u be x(-3). Let c = u + 46. Let k = c - -103. Is k a prime number?
False
Suppose -t - 4*t - r = -15, 3*r = 15. Is ((-106)/4)/((-1)/t) a prime number?
True
Let m = -328 + 626. Is m a composite number?
True
Let p(d) = -d**3 + 13*d**2 - 13*d + 12. Let x be p(12). Is (8 + -157)*(-1 + x) composite?
False
Suppose k - 514 = 523. Is k a prime number?
False
Suppose 0*p + 163 = p + y, 2*y + 652 = 4*p. Is p a prime number?
True
Let b be (-20)/(-6) + 6/9. Suppose 9*c - 4*c = 5*a - 55, -b*c - 4*a = 60. Let u = c + 27. Is u composite?
True
Let o = -24 + 20. Is (-2 - o)*(-435)/(-6) prime?
False
Let y(u) = -26*u - 9. Is y(-4) composite?
True
Let s = 24 + -41. Let i = 30 + s. Is i a composite number?
False
Suppose -6*h + 4931 - 365 = 0. Is h a prime number?
True
Suppose 4*z - 417 = -3*t, 0 = 5*z + t - 0*t - 524. Suppose -3*b - z + 525 = 0. Suppose 35 = 5*i - b. Is i a composite number?
True
Suppose 4*q + 2*d + 3*d = 9, 3*q