+ z*b - 105 = 0. Is b composite?
True
Let q(d) = -d + 1. Let z be q(2). Let a be -2 + 4 - 243/z. Suppose -4*s + a = s. Is s a prime number?
False
Let d(y) = -3*y**3 - 7*y**2 + 4*y - 2. Let u be d(-6). Let b = u + -51. Is b composite?
True
Let y(q) = 7*q**2 + 23*q + 13. Is y(17) a prime number?
False
Let g(k) = 72*k + 13. Let c be g(12). Suppose -s = -i + 3*s + c, 0 = -5*i - s + 4448. Is i prime?
False
Let i(w) = -w + 33. Let f(g) = -g + 12. Let l be f(0). Let o be (-3)/l + 2/8. Is i(o) a prime number?
False
Suppose 0 = -4*w - q + 4*q - 15, 3*q - 15 = -w. Suppose 4*p = -3*o + 95, w = -3*p + 2*o + 62 + 5. Suppose 0*d = d - p. Is d a composite number?
False
Let g = -17 + 11. Let z be g/8*-2*4. Let h(v) = -v**3 + 7*v**2 + 6*v - 3. Is h(z) composite?
True
Suppose 86 + 99 = 5*n. Is n a composite number?
False
Suppose -j = -3*j. Suppose j*y - 5*y - 2*o = -275, 237 = 4*y + 5*o. Is y prime?
True
Suppose 3*z - 2 = 2*z. Suppose -z*o = -4*n + 350, -n - 2*o + 55 = -35. Suppose 4*b - 68 = n. Is b prime?
False
Let i(a) = 2*a**2 - 4*a - 2. Let v be i(9). Is ((-1)/(-1) - -2) + v composite?
False
Let g be 4/1 - (-2 - -4). Suppose 0 = -0*w - 3*w + 9. Suppose -w*q + 69 = -g*q. Is q a composite number?
True
Suppose -2*g = -0*j + 3*j - 187, g = j - 54. Is j a prime number?
True
Is 2 - (7 + -6)*-449 a composite number?
True
Let h(z) = 2*z + 3. Let n be h(6). Is (-1)/(-5) - (-882)/n a prime number?
True
Suppose -3*d - 1447 = -5*b, -4*b - d + 1156 = -3*d. Is b a composite number?
True
Suppose -2*c + 1058 = 3*c - u, 0 = 4*c + u - 841. Is c composite?
False
Suppose 4*a = -0*a + 1212. Suppose v - 68 = -3*f, -3*f + a - 76 = 4*v. Is v prime?
True
Suppose 0*v - 61 = -5*p - 4*v, 13 = p + v. Suppose 6*x = p*x - 45. Is x a composite number?
True
Suppose -3*o + 4*r = -r - 14, 0 = -5*o - r - 14. Is 1*(-2098)/(o/1) a prime number?
True
Let c = 0 - -2. Suppose 5*h - 9 = c*s, 5*s - 6*h = -h. Suppose s*f = 5*f - 298. Is f composite?
False
Suppose -c - 12 = -5*c. Let b = 8 - c. Suppose 0 = -j + 4*t + 99, b*t + 63 = -3*j + 275. Is j a prime number?
True
Let r = 4 - 6. Let s(j) = -j**3. Let g(y) = 9*y**3 - 3*y - 1. Let w(p) = -g(p) - 6*s(p). Is w(r) a prime number?
True
Let w be (-6)/(-4)*(-8)/(-6). Suppose q - w*q = -47. Is q a composite number?
False
Suppose -2*g + 5 + 0 = u, 4*g = -3*u + 9. Let o(i) = i**3 + 5*i**2 + 5*i + 6. Let f be o(-4). Is 78/f - 6/g composite?
False
Let w = 8 - 11. Let s = w - -5. Suppose s*a - 5*a + 33 = 0. Is a a composite number?
False
Suppose m + 26 = -3*h - 8, 0 = -m + 5. Let k = 1 - h. Is k a composite number?
True
Suppose -4*m - 2*m = -1410. Is m a prime number?
False
Suppose 0 = a - 5*a + 1704. Let r = a + -301. Is r + 2 + 0/3 a prime number?
True
Let p(j) = 7*j**2 - 4*j + 65. Is p(-12) a prime number?
False
Let j(f) = -13*f**3 + f**2 + 2*f + 1. Let a = 4 + -4. Let h = -1 + a. Is j(h) a composite number?
False
Let i = -5062 - -8099. Is i composite?
False
Suppose 5*q + 83 = -f, -5*f - 2*q - 373 = 2*q. Let o = f + 112. Is o a composite number?
True
Let v = 3 - 1. Let u be (v - (-1 - -6)) + 25. Let y = u - 3. Is y prime?
True
Let v(a) = a**3 + 12*a**2 - a - 3. Let p be v(-12). Let o be 6*((-9)/(-3))/p. Suppose 454 = 4*z + 2*m, o*z - 5*m + 17 - 262 = 0. Is z a prime number?
False
Suppose 0 = -h - 2 + 5. Let v(y) = -h - 4 - 2 - 3 + 3*y. Is v(9) composite?
True
Is (-2868)/(-15) - 3/15 composite?
False
Suppose -4*u + 382 - 18 = 0. Is u prime?
False
Let s(p) = 3*p**3 - p**3 - p**3 - 3*p**2 - 4*p + 5. Let t be s(4). Suppose t*n - 166 = 299. Is n a composite number?
True
Let a = 2 - -3. Let v(s) = 3*s + 4 - 2 - a*s + 0. Is v(-6) a prime number?
False
Let y = 61 - 104. Let w = y + 76. Is w prime?
False
Suppose 4 = -2*t - 2. Let x be t - -1 - 21*-3. Let f = x + -24. Is f composite?
False
Let l(g) = 54*g + 13. Is l(10) composite?
True
Let j(a) = 246*a - 11. Is j(6) a prime number?
False
Suppose 8 = 3*s - s - 5*m, 5*m = 4*s + 4. Let u = s + 4. Is (1 + -2)/(u/22) a composite number?
False
Let k be (2/4)/(4/24). Let h be 36 - (-2 - (k + -4)). Let b = h - -18. Is b a prime number?
False
Is 52 + -13 + -3 + -1 composite?
True
Let u(c) = c**3 - 2*c**2 - 4*c + 11. Is u(6) prime?
True
Suppose 2909 = u + 2*u + 4*z, -1932 = -2*u + z. Is u composite?
False
Suppose h = 3*h - 6. Suppose -1765 = -5*o + 4*y, 2*y - h*y = o - 344. Suppose -3*t + 302 = -o. Is t composite?
True
Let j(f) = 6*f + f - 1 - 4 + 2. Is j(8) a prime number?
True
Let f(q) = 7*q - 3. Let a(t) = -14*t + 5. Let h(k) = -3*a(k) - 5*f(k). Is h(1) composite?
False
Suppose -969 = -3*m - 0*m. Is m composite?
True
Let f = 29 - 11. Suppose 3*z + 17 = 50. Suppose 0*s + 3*x = -s + f, 4*x - z = 3*s. Is s a composite number?
False
Let i = 995 - 196. Is i a composite number?
True
Let p(w) = 8*w**2 + 1. Suppose z - 10 = -4*z. Let m be 9/(-7) + z/7. Is p(m) a composite number?
True
Let g(s) = s**3 + 7*s**2 + 5*s - 2. Let x be g(-6). Suppose -x*b = -2*b. Suppose -2*i - 4 = -2*d + 3*i, 2*d + i - 16 = b. Is d a composite number?
False
Let m = -4 + 165. Is m prime?
False
Suppose -5*o + 7665 = -5*d, -4*d + 940 = 3*o - 3673. Is o prime?
False
Suppose w - 3 - 4 = 0. Is (-159)/(-9)*(w + -4) composite?
False
Let w(b) = -b**2 - 5*b + 5. Let x be w(-5). Let j = x - -6. Is j a prime number?
True
Let d be ((-4)/(-4))/(-1 + 0). Let t(g) = -2*g**3 - 4*g**2 + g - 1. Let q be t(-3). Is (d - -86) + q/(-7) prime?
True
Let w = 20 + -29. Is (12/w)/(-4)*159 composite?
False
Suppose 3*u + 0*i - 447 = -2*i, -u - 4*i + 149 = 0. Is u a prime number?
True
Let k = -4 + 4. Suppose 0*m - 2*f + 18 = 2*m, k = 4*m - 2*f - 66. Is m prime?
False
Let x(t) = 2*t**2 + 5. Is x(6) a prime number?
False
Suppose 2*q - 1002 = -2*p - 2*q, -3*p + 4*q = -1453. Is p a prime number?
True
Let u = -7 + 170. Let k(x) = x**3 + 114. Let l be k(0). Let i = u - l. Is i prime?
False
Is 65/10 + (-2)/(-4) composite?
False
Let p be (-3 + (-4)/(-1))/1. Is (5/(5/13))/p composite?
False
Let v = -6 + 14. Is (-340)/6*(-12)/v a prime number?
False
Suppose 0*h + 2*h - 8 = 0. Suppose -v = -1 - h. Suppose -22 = -v*o + 3*o. Is o composite?
False
Suppose 2*p - i = 2*i + 6, -4*p = i - 12. Suppose 0 = 3*c + 2*c. Suppose -p*n + 5 + 136 = c. Is n a composite number?
False
Suppose 2*o + 3*n - 15 = 0, o = -5*n + 7 + 4. Suppose o*t - 2*t = 212. Is t composite?
False
Let l = -8 + 13. Let r be ((-536)/(-20))/((-1)/l). Let v = 225 + r. Is v a composite number?
True
Let r(q) = q**2 - 4*q - 3. Let l be r(5). Let m(k) be the second derivative of 3*k**4/4 + k**3/3 - 3*k**2/2 - 6*k. Is m(l) a prime number?
True
Let g = 1408 + 31. Is g a prime number?
True
Suppose -257 = -2*w - 4*z + 381, 4*w - 5*z - 1276 = 0. Is w prime?
False
Let z(r) = -2*r + 5. Let i(u) = -10*u + 24. Let d(h) = -2*i(h) + 11*z(h). Let n be d(5). Is 1/(n/(-21)*1) composite?
False
Let g(u) = -u**2 + 5*u + 3. Let d be g(5). Suppose d - 7 = 2*c, 5*k + 3*c = 339. Suppose -36 - k = -5*w. Is w a prime number?
False
Suppose 5*i = 5*t + 5, 5*t + 3*i = 5*i + 10. Suppose -53 = 3*l - t*l. Is l a prime number?
True
Is 2523/4 - 2/(40/(-5)) prime?
True
Suppose 0 = 3*i + 169 - 2551. Is i prime?
False
Let v(b) be the first derivative of -7*b**3/3 + b**2/2 + 2*b + 3. Let a be v(-2). Let o = 19 - a. Is o a composite number?
False
Suppose 5*y - b = 1583, 0 = -y + 5*b + 164 + 143. Is y a prime number?
True
Suppose -2*m - 18 = 8. Let z = 45 - m. Is z a prime number?
False
Is 29 - -6*2/(-4) prime?
False
Let z(l) = 187*l**2 - l + 7. Is z(-3) prime?
True
Let j(y) = -59*y. Is j(-1) a composite number?
False
Suppose -4*x - 5*b = -15388, 0 = 5*x - 2*b - 4888 - 14347. Is x a prime number?
True
Let p(w) = -3 - 3*w**2 - w**3 - 2*w + 13 - 5*w**2. Is p(-9) a prime number?
True
Is 1366/14 - -2*2/(-7) a composite number?
False
Let u = -145 - -330. Let c = 6 + u. Is c composite?
False
Let i(m) = -m**2 + m + 1. Let a(w) = -w**3 + 10*w**2 - 8*w + 2. Suppose -3*l - 2*n = -0 - 1, 0 = 2*l + 3*n + 1. Let b(q) = l*a(q) + 4*i(q). Is b(5) composite?
False
Suppose -r = -19 - 39. Is r composite?
True
Let x(d) = d**3 - 10*d**2 + 13*d - 3. Is x(9) prime?
False
Suppose 2*c = -c + 1971. Suppose -d - 2*d + c = 0. Is d a composite number?
True
Is 1 - 2390/(-4)*(-4)/(-5) composite?
False
Let b be -4 - -4 - 1*-3. Let g(i) = 2*i**3 - 4*i**2 - i. Is g(b) a prime number?
False
Suppose -3*t + 60