s k composite?
False
Let b(q) = -q**2 - 3*q + 1. Let n be b(-3). Suppose -3*a + n = 5*m - 901, m = 5*a - 1494. Is a a composite number?
True
Let i = -189 + 318. Suppose -4*z - 2*x - 35 = -i, -z + x = -31. Is z prime?
False
Let a = 120 - -521. Let l be (-1)/(-2 - a/(-321)). Suppose -l = -4*c - 89. Is c composite?
True
Suppose 114 = 4*n - 78. Suppose 3*u + 77 = -2*z, -167 = 5*z - 0*z - u. Let d = n + z. Is d a prime number?
False
Let t = -2 - 0. Is (t/(-3))/(8/2868) a composite number?
False
Suppose b - 1141 = -2*b - 2*x, 5*x = -5. Is b prime?
False
Let v(y) = -y**2 - 2*y - 2. Let m be v(-3). Is 221 + m + (3 - 0) a prime number?
False
Let w = 286 - -97. Is w a prime number?
True
Let x = 1612 + -935. Is x a composite number?
False
Suppose 0 = 6*h - 2*h + 160. Is 2/10 + (-18752)/h a composite number?
True
Suppose 0 = 8*i - 2630 + 654. Is i composite?
True
Let b = -101 + 144. Is b a prime number?
True
Suppose -8*s + 3*s = 5*m - 15, -3*m - 7 = -s. Suppose 2*c = 65 - 11. Suppose c + s = 2*f - n, -2*n - 32 = -2*f. Is f composite?
True
Let y be ((-4)/(-16))/((-1)/(-8)). Suppose -y*f = -5*x + 6, -2 = 4*f - 2*x - 6. Suppose -q + 163 = f*r, 0 = q + 3*q - 3*r - 641. Is q composite?
True
Let n(z) = -14*z - 7. Let h(c) = -1. Let a(x) = 6*h(x) + n(x). Is a(-10) prime?
True
Let v = -2 + -7. Let y(u) = -u**2 + 0 + 2 - 19*u - 3. Is y(v) composite?
False
Let g(c) = c**3 - 3*c**2 - c + 3. Let b be g(3). Let v(p) = p**2 - 5*p - 3. Let i be v(6). Suppose b = -i*m - 2*t + 259, -190 = -2*m + 2*t + t. Is m composite?
False
Let b(i) = -i**2 + 10*i. Is b(7) a composite number?
True
Let j(q) = -24*q + 4. Let a be j(-4). Is 12/18 - a/(-3) prime?
False
Let d = 7 + -4. Suppose -r + l = -d*l + 9, -4*l + 3 = -3*r. Suppose -r*i + 38 = -i. Is i prime?
True
Let y = 242 - 57. Is y composite?
True
Suppose o + 2*o = 2721. Is o a prime number?
True
Suppose 4*x - 21 = 3*x. Let t = 22 + x. Is t a prime number?
True
Suppose 2*q = 5*c - 18, c + 2*q + 6 = -0. Suppose 2*f + 2*f - 8 = 4*r, -c*f + r = -6. Suppose 3*h - n = 97, -h + 8 + 7 = f*n. Is h a prime number?
True
Suppose 0 = a - 2, -a + 3*a = -b. Let y be (-1606)/b - (-6)/(-4). Suppose -4*d + 234 = 2*c, 4*d - 179 = -5*c + y. Is c composite?
True
Let i = 234 + 1203. Is i composite?
True
Let d(r) = -r**2 - 10*r + 14. Let p(v) = -v**2 - v + 1. Let z be p(3). Let w be d(z). Is 113 - (-4 + 1) - w a composite number?
False
Let u(p) = 357*p**3 + p**2 - p + 1. Let v be u(1). Let q = -245 + v. Is q a prime number?
True
Suppose -h + 3 = 0, -r - 4*r + 28 = h. Is 1/r - (-147)/15 prime?
False
Suppose -26 = -2*n - 8. Suppose -o + n = -0*o. Is o a prime number?
False
Suppose -588 - 410 = -2*k. Is k a composite number?
False
Let a(i) = -i + 9. Let b(v) = 4*v - 1. Let l be b(2). Let d be a(l). Suppose 0 = -4*p - 16, 3*u + 7*p + d = 2*p. Is u composite?
True
Is 1*2*(-998)/(-4) a composite number?
False
Let s(t) = -t + 3. Let i be s(4). Is 13*1 - i/1 a prime number?
False
Suppose 0 = -4*o - 3*p + 1113, 0*o + 1133 = 4*o - p. Let z = o - 155. Is z prime?
True
Let g = 308 + -165. Is g prime?
False
Let a(z) = z**2 + 4*z - 8. Let g(m) = -2*m**2 - 11*m + 23. Let q(p) = 17*a(p) + 6*g(p). Let n be q(-2). Let i = 3 + n. Is i a composite number?
True
Is (-3 - -2)*293*-1 composite?
False
Let d(g) = g**2 + 13*g - 25. Is d(8) composite?
True
Let j(m) = 82*m**2 + 2*m + 1. Let b be j(-2). Let g = 866 - b. Is g prime?
True
Is 21590/20 - (-2)/(-4) a composite number?
True
Let d(x) = 5*x**3 + 3 - 4*x**3 + 6*x**2 + x + 0*x**3. Let u be d(-6). Is 235 - (0/u - 0) composite?
True
Let r(l) = -363*l + 10. Is r(-1) a composite number?
False
Suppose -3*j - y + 1020 = 0, y = -0 - 3. Is j a prime number?
False
Suppose 6*k - 11*k + 880 = 0. Suppose -2*m + 2*x + k = 0, x - 6*x + 5 = 0. Is m composite?
False
Let f = -345 - -1144. Is f composite?
True
Suppose -4*u + 165 = -67. Is u prime?
False
Let k = -615 - -1229. Is k a composite number?
True
Let c(x) = x - 8. Let o be c(11). Suppose -899 = -4*r - o*s, 4*s - 228 = -0*r - r. Suppose 265 = 3*v - r. Is v composite?
False
Let t(g) = -2*g**2 - 3. Suppose -2*b - 4*s = -0*b + 6, s - 5 = 0. Let p(i) = -4*i**2 - 6. Let k(f) = b*t(f) + 6*p(f). Is k(-5) prime?
True
Let w(l) = -l**3 - 5*l**2 - 4*l + 4. Let u be w(-4). Suppose 4*h - 3*n = -5, -3*h - u - 1 = -n. Is 1*h/(2/(-37)) prime?
True
Let a(p) = p**3 - 10*p**2 + 10*p - 6. Let z be a(9). Suppose -o = 5*t - 36, 2*o - z*o - 2*t = -30. Is o composite?
True
Let n(t) = -t**2 + 5*t - 1. Let b be n(4). Suppose -b*z = z - 104. Is z a composite number?
True
Let b = -1 - 0. Let u = 1 - b. Suppose -u*r + 66 = 4. Is r a prime number?
True
Suppose -5*z + 440 + 50 = 0. Let h = z + 289. Let i = h + -260. Is i composite?
False
Let r(g) = 24*g - 3. Is r(4) prime?
False
Let z(k) be the second derivative of 1/3*k**3 - 1/2*k**2 - 3*k + 43/6*k**4 + 0. Is z(1) prime?
False
Let l(d) = 11*d**3 - 2 - 3 + 2 + 2*d. Suppose -a + 3 - 1 = 0. Is l(a) a composite number?
False
Suppose -3*o + 7233 = -0*o. Suppose 0 = -h - 5*u + 624, 4*h = 2*u - 5*u + o. Suppose -g = 5*j - 67 - 32, 0 = -5*g + j + h. Is g composite?
True
Is ((-21)/(-105))/(1/695) prime?
True
Suppose -4*t + 617 - 21 = 0. Suppose 2*z - 5*z + 6 = 0. Suppose 0 = -z*r - 3*i + 99 - 20, -4*r + 3*i = -t. Is r composite?
True
Let x = -5 - -7. Let a be 8/6*3/x. Suppose 10 - 4 = a*t. Is t composite?
False
Let i(z) = z**3 - 5*z**2 - 7. Let c(s) = -s + 1. Let d(q) = c(q) + i(q). Let h be d(6). Suppose -t + h = -63. Is t a composite number?
True
Let o be (-1)/(-2)*(257 - -5). Let v = o + -92. Suppose 4*h - h = v. Is h composite?
False
Let g(l) = l**3 - 9*l**2 - 12*l + 9. Is g(13) composite?
True
Let b be 333/6 + 3/(-6). Suppose -b = -5*n - 5. Is n a prime number?
False
Suppose 0 = -5*h + 5 + 10. Suppose 126 = h*j - 0*j. Let b = -23 + j. Is b composite?
False
Suppose 2*g + h - 491 = 0, -2*g + 471 = -0*g - 3*h. Let y = -134 + g. Is y prime?
True
Let c = 15 + -13. Suppose -c*j - j - 4*i + 217 = 0, -291 = -4*j - 5*i. Is j a prime number?
True
Let b(g) = -g**3 - 8*g**2 + 4*g + 8. Let k = 9 + -18. Is b(k) a prime number?
True
Suppose 0 = 5*g - 5, -2*k + 4*g + 4 = -130. Is k a composite number?
True
Let h(l) = l**2 - 4*l + 8. Let j be h(5). Is -4 - -4 - (0 - j) prime?
True
Suppose 2*a = 12 - 6. Suppose 0*t + 1010 = a*t - l, -t + l = -336. Is t composite?
False
Let r(o) = -o**2 - 10*o - 3. Let v be r(-9). Is (-13280)/(-24) + (-2)/v a prime number?
False
Is 6/(-10) - (2 - 1176/10) a composite number?
True
Suppose -3*m - 316 = -2*v - m, -5*m - 154 = -v. Is v prime?
False
Let t = 10 - 5. Suppose 0*l + t*l = -10. Is 21 - -1 - 2/l prime?
True
Let v(p) = -82*p + 1. Suppose -19 = -w - 4*i, -3*w - 28 = -4*i - i. Is v(w) a composite number?
False
Suppose -2*b - b + 6 = 0. Suppose -122 + 16 = -b*m. Is m prime?
True
Let a(d) = -d**3 - 5*d**2 + 7*d + 9. Let k be a(-6). Let i be (-9)/k + 13*7. Let g = -54 + i. Is g a prime number?
False
Suppose 2*q + 428 = 1014. Is q a prime number?
True
Let m = -578 - -1175. Is m prime?
False
Is ((216 + -1)/5)/1 composite?
False
Suppose -1877 = -3*c + 4*i, 0 = 3*c - i + 5*i - 1909. Is c composite?
False
Suppose -2*d - 15 = d. Let q(w) = -5*w - w**3 - 8*w**2 - 4*w**3 + 3*w**3 + 2. Is q(d) a prime number?
False
Let t(y) = y**3 + 4*y**2 - 4*y + 5. Let q be t(-5). Suppose -4*v - 4*a + 86 + 126 = q, 25 = -5*a. Is v prime?
False
Let k(j) = -j**2 - 13*j - 7. Suppose -4 = 2*h - 3*h. Let u = h + -9. Is k(u) prime?
False
Let y be 58 - (0 - 1 - 0). Let u be (-4)/6 + 300/(-9). Let f = y + u. Is f a prime number?
False
Suppose -2*g + 4*c + 14 = 0, -5*g - 2 = -4*c - 25. Suppose 5*b + s - 2253 = g*s, -b - 3*s = -437. Is b prime?
True
Let f(r) be the second derivative of 16*r**3/3 - 13*r**2/2 - 3*r. Is f(6) prime?
True
Let z(l) = 3*l + 3*l + l**3 - 2*l**2 - 4 - 2*l**2. Is z(5) prime?
False
Suppose -6*x - 6 = -9*x. Is (580/6)/(x/3) composite?
True
Suppose 0 = -5*z - 5*g + 4360, -3*z - 3*g - 2616 = -6*z. Let m = z - 471. Is m a prime number?
True
Suppose -1 = -i, 3*i + 0 = j + 1. Suppose -j*p - 30 = -5*r - 0*p, -4*r + 4*p = -36. Is (0 - 10)/(r/(-58)) a prime number?
False
Let f(t) = 40*t**2 - 2*t - 1. Is f(-2) a composite number?
False
Suppose -13*w + 11*w + 44 = 0. Let l = w + -9. Let c = l + 66. Is c prime?
True
Let p = 1169 - 616. Is p a composite number?
True
Let x =