o. Is o composite?
True
Let j(o) = -o**2 - 9*o + 1. Let b be j(-5). Let q = 56 - b. Is q a composite number?
True
Let f = -4047 + 6364. Is f prime?
False
Suppose -4*w = -3*q + 263, -2*w + 7*q - 5*q - 132 = 0. Let c = w + 111. Let z = 77 - c. Is z a prime number?
True
Suppose 5*w = -d + 17, -4*w + 1 = -5*d - 1. Suppose 0*q - 3*q + 475 = d*c, 2*c + 467 = 3*q. Is q composite?
False
Suppose 7*l + 1216 = 11*l. Suppose 2*b - l = -q - 3*q, -q = 5*b - 67. Is q a composite number?
True
Let g be (-2)/(-2) - (83 + 1). Let s = 265 + -381. Let j = g - s. Is j a composite number?
True
Let x = -584 + 1199. Suppose 4*h - x = 5*i, 0 = 2*h - 2*i - 377 + 69. Is h a composite number?
True
Suppose -28 = -5*a + 2*d, 3*a - 4*a + 2*d = -4. Suppose 4*n + 12 = 0, -2*n + 65 = -5*f - 154. Is (2 + f/a)*-6 prime?
False
Suppose 2*r - f = 6*r - 535, 2*r - 265 = -f. Let p = 262 - r. Is p a composite number?
False
Let r be ((-3)/(-6))/((-2)/(-28)). Suppose 65 = r*m - 6*m. Is m a composite number?
True
Is (134 + -1)/(0 - (-4)/4) composite?
True
Let h(a) = -5*a + 1 - 4*a + 1. Let d be h(-3). Suppose -i - d = -3*y + 2, 5*y = 3*i + 53. Is y a composite number?
True
Let n be (-4)/10 - (-304)/10. Suppose -w + n = -3. Is w prime?
False
Is ((-1)/((-10)/(-2722)))/((-8)/40) prime?
True
Suppose 5*d = -2*t + 295, 4*d + 38 - 184 = -t. Suppose 2*o = t - 32. Is o prime?
True
Let q = 0 + -2. Let o(v) = -v**3 - 2*v**2 + 2. Let u be o(q). Suppose u*n + 21 = 3*n. Is n composite?
True
Let a(q) = -6*q**2 - 3*q - 1. Let s be a(5). Let g = 327 + s. Is g a composite number?
True
Let t(z) = -2*z**3 + 6*z**2 + z + 2. Suppose -3*y = p - 2*y + 3, 5*p + 3*y + 19 = 0. Is t(p) a composite number?
False
Let v(o) = -o**2 - o - 27. Let b be v(0). Let y = 32 - b. Is y composite?
False
Suppose 0 = b + 5*g - 2016, -b + 5953 = 2*b - 4*g. Is b a composite number?
True
Let g = 82 - -439. Is g a composite number?
False
Let g = -444 - -695. Is g a prime number?
True
Let y = 8 - 4. Let s = 17 - y. Is s a prime number?
True
Let i(a) = -9*a - 11. Suppose -2*z - 5*k - 10 = 0, -k + 6 = 2*k. Is i(z) a prime number?
True
Suppose 38790 = 13*b + 5*b. Is b a composite number?
True
Suppose 0 = -7*m + 3221 + 25556. Is m a composite number?
False
Let k(i) = -4*i**2 - 1 - i**3 - 6 + 0*i**3 - 2*i. Let f = -11 + 5. Is k(f) a prime number?
False
Suppose 0 = -o - 2*o + 15. Suppose -o*t + 3*y = -t + 1887, 0 = -t - 2*y - 469. Is 2/4 - t/6 a prime number?
True
Let w(t) = 13*t**2 - t - 7. Let n(v) = -19*v**2 + v + 10. Let s(m) = -5*n(m) - 7*w(m). Suppose 2*o + 15 = a, -3*o = 2*a + 4 + 8. Is s(o) prime?
True
Suppose -5*h = -3*n + 6*n + 15, 5*n - 6 = 2*h. Suppose n = -5*s - 3 + 13. Suppose -b + l + 66 = 0, -s*l = b - 0*l - 69. Is b a prime number?
True
Suppose -2*d - 444 = -4*m, -4*m + m + 2*d = -335. Is m a composite number?
False
Let t(w) = -w**3 - 17*w**2 - 15*w - 28. Is t(-19) a prime number?
False
Suppose 0 = 7*w - 29 - 10940. Is w a composite number?
False
Let s be 0/(0 + 4/2). Suppose s*x - 4*x = -492. Is x a prime number?
False
Suppose 2*n = 5*n - 75. Is n prime?
False
Let q(u) be the second derivative of 0*u**2 - 7/6*u**3 + 0 + u. Is q(-5) composite?
True
Let b = -7 + 30. Is b a prime number?
True
Let h be (-5)/(20/16) - -883. Suppose h = 7*a - 4*a. Is a prime?
True
Let j = 8 + 95. Let z = j - 66. Is z prime?
True
Let a = 848 + 5. Is a prime?
True
Let g(q) = 7*q**3 - q**2 - q + 4. Let l be g(-3). Let t = 340 + l. Is t prime?
True
Suppose 2*j - 20 = -3*j. Suppose 2*b = 4*g + j*b - 342, -5*g - b = -426. Is g a composite number?
True
Let h(w) = 4*w**2 - 6*w + 7. Let y be h(5). Let p = -43 + y. Is p a composite number?
True
Let i = 9 - 6. Let b = -15 + 24. Suppose 0*u - i*u = -b. Is u a prime number?
True
Let r be (8 + -3)*6/10. Suppose -5*t + 48 - r = 0. Is t/(-6) - (-521)/2 prime?
False
Suppose s - 2*n + 0*n - 3 = 0, s - 4*n - 5 = 0. Suppose 0 = 4*x - 4*m, -m + 2*m - s = 0. Suppose c - x = 18. Is c prime?
True
Let w(s) = s**3 - 5*s**2 + 5*s. Let a be w(4). Suppose -n + 5*n + 420 = a*o, -3*o = 0. Let m = -16 - n. Is m composite?
False
Let m(n) = 10*n**3 + 23*n**2 - 2*n - 4. Let j(i) = 5*i**3 + 11*i**2 - i - 2. Let r(w) = -9*j(w) + 4*m(w). Is r(-5) a prime number?
False
Let d(y) be the first derivative of 7*y**3/3 - y**2 - y - 2. Let a(j) = -j + 3. Let l be a(5). Is d(l) prime?
True
Let p = -902 - -1321. Is p composite?
False
Let b = 147 + -78. Suppose t - b - 10 = 0. Is t prime?
True
Suppose -3*g + j + 13916 = 0, 4*g - 22776 + 4208 = 4*j. Is g a prime number?
True
Suppose -5*m + 5*k + 575 = 0, 4*m - 3*k = 305 + 159. Is m a composite number?
True
Let i(h) = -h**3 - 4*h**2 - 2*h - 4. Let k be i(-4). Suppose -5*p + 101 = -3*j + 381, 275 = 3*j - k*p. Is j composite?
True
Let j(g) = -46*g + 9. Let d be j(-7). Suppose -d = -13*u + 12*u. Is u prime?
True
Let c(v) = -v. Let j(l) = 15*l + 1. Let g(x) = -4*c(x) - j(x). Let a = 0 - 1. Is g(a) a prime number?
False
Suppose h + 3*h = 4. Suppose -7 + h = 3*n, -3*i - 5*n + 29 = 0. Let g = -3 + i. Is g composite?
True
Let g(t) = t**3 - 6*t**2 + 2*t - 10. Let r(v) = v**3 - 4*v**2 - 3*v - 3. Let u be r(5). Let m be g(u). Suppose -m = j - 2*j. Is j composite?
False
Suppose -3*k = -2*w - 9, -3*w + 3*k - 8 + 2 = 0. Let x(s) = 4 + w*s - 21*s + 3. Is x(-6) composite?
True
Let w = 242 + -152. Is w - -4 - (3 + 0) composite?
True
Let v = -22 + 167. Is v a prime number?
False
Let b(y) = 195*y - 1. Let x(p) = -p**3 - 5*p**2 + 7*p + 7. Let i be x(-6). Is b(i) prime?
False
Let j = -3 - -17. Suppose -j = -4*x + 2. Suppose 2*a + x*g + 38 = 96, -4*g = -2*a + 18. Is a a composite number?
False
Let l = -791 + 1758. Is l composite?
False
Let n(c) = -c. Let s be n(-3). Is -1*s/((-3)/77) a prime number?
False
Suppose 0 = 7*u - 2*u + 625. Let t = 78 - u. Is t composite?
True
Suppose 2*j + 4*o - 264 = 0, 3*o + o = -5*j + 666. Suppose -4*x + 341 - 73 = -5*l, -2*x + j = l. Is x prime?
True
Suppose 2*o = 3*o - 1. Let d = 7 - o. Suppose -f + 5 = -d. Is f a prime number?
True
Suppose 0*j = -2*j + 138. Is j a prime number?
False
Suppose -2*v = 2*v - 4, -s - 4*v = -3. Let i be (-7)/s + (-7 - -4). Suppose 5*x - i*b - 355 = 110, 186 = 2*x - 5*b. Is x composite?
True
Let v(c) = c - 6. Let k = -4 - -10. Let l be v(k). Suppose l = 3*y - 81 + 15. Is y a composite number?
True
Let d(p) = p**2 - p + 5. Let l be d(0). Is (5*l)/(-3 - -4) composite?
True
Let q = -39 - -14. Let l(p) = 9*p + 2. Let j be l(5). Let w = j + q. Is w a prime number?
False
Let h(l) = l**3 - 3*l**2 - 4. Let u be h(3). Let m = u - -7. Suppose -5*n + 0*w = -m*w - 139, -41 = -n + 5*w. Is n prime?
False
Suppose -3*g = -8*g - 75. Suppose 41 = -m + 13. Let r = g - m. Is r composite?
False
Suppose -3*i + 4*q = -12, -2*q + 6*q = 5*i - 28. Let r = i + 11. Is r composite?
False
Let k = 2 - -3. Suppose -2*d = 3*d - k*q - 10, d = 2*q + 2. Suppose 14 = -d*c + 4*c. Is c a prime number?
True
Let f(g) = 61*g**2 + 4*g + 2. Is f(-1) a composite number?
False
Let c = -178 - 31. Suppose -5*f + 326 - 986 = 0. Let n = f - c. Is n prime?
False
Let j = 25 - 25. Suppose -2239 = -3*l + 5*p, 5*p = -j*l - l + 733. Is l a composite number?
False
Let l be (3 - -3) + (2 - 0). Is (3 + (-20)/l)*1082 composite?
False
Suppose 4604 = 41*b - 37*b. Is b prime?
True
Suppose -2*q + 2*b - 4*b + 1760 = 0, 4*q = -3*b + 3517. Is q a composite number?
False
Suppose 5*u - 3*n - 10 = n, -2*n = -2*u + 4. Let i be u + (-1 - 0 - -1). Suppose i*h - 9 = 4*b + 109, -31 = -h - 5*b. Is h a prime number?
False
Let h(a) = -a**3 + 3*a**2 + 3*a + 4. Let u be h(3). Let m(x) = -2 - 2 - u*x + 5. Is m(-4) a prime number?
True
Let j(v) be the first derivative of -5*v**2/2 - 6*v - 2. Is j(-4) prime?
False
Let d be (-38)/(-14) - 2/(-7). Suppose -s + 3 = 3*g - 4*s, -5*s = 3*g - 35. Suppose -g*l + 7*w = d*w - 85, 4*l + 5*w - 27 = 0. Is l composite?
False
Let f = 2 - 2. Let j(b) = -b**2 - b + 1. Let k(g) = 2*g**2 + 3*g - 56. Let s(h) = -3*j(h) - k(h). Is s(f) composite?
False
Suppose 0 = -x - x + 38. Is x a prime number?
True
Let p(x) = -3*x + 13. Is p(-8) a composite number?
False
Suppose 2*z - 200 = 174. Is z composite?
True
Let d = -5 - -14. Suppose d*o = 4*o + 80. Is o + 2/(-2 - 0) a composite number?
True
Let m = 307 + -218. Is m prime?
True
Suppose 0*d + 1570 = -5*d. Let r = 445 + d. Is r a prime number?
True
Let g be (-128)