*k = -5, 3*f - 378 = -3*k + 222. Is f composite?
True
Let g(h) = h**2 + h + 898. Is g(0) a prime number?
False
Let b = 1 - -6. Suppose -3*i = 4*g - 145, -b*g + 2*g - i + 173 = 0. Is g a prime number?
False
Let i = 0 + -12. Let n be 1/(2/i*-3). Suppose -o - g + 122 = 0, n*g = 5*o - 0*g - 645. Is o prime?
True
Let m(b) = -74*b**2 - 1. Let d be m(-1). Let x = 86 - d. Is x a prime number?
False
Let l = 1 - -3. Suppose -4 = -2*h - 0*h. Suppose -c - l*s = -h*s - 41, 2*s = 2*c - 64. Is c composite?
True
Let n(z) = 22*z**2 + 7*z - 6. Is n(5) a prime number?
False
Is (-3070)/4*(135/(-25) + 5) prime?
True
Let f be ((-144)/(-3))/2 + -1. Let t = f - -100. Is t prime?
False
Let z(m) = 42*m**2 - 6*m + 5. Is z(6) composite?
False
Suppose h - 18 = 125. Is h a prime number?
False
Suppose -4*d = 0, -3*l = 4*d - 236 - 10. Let w = 203 - l. Is w a composite number?
True
Is 2435/10 + 3 + 1/2 composite?
True
Let t(y) = -2*y**3 - 12*y**2 - 9*y + 7. Is t(-8) composite?
True
Suppose 18*a - 14*a - 436 = 0. Is a prime?
True
Let r = -7 + 5. Let o(x) = 22*x**2 + 2*x - 1. Is o(r) a composite number?
False
Suppose -y + 108 = -214. Suppose -y - 297 = -5*w + 4*s, 2*s + 617 = 5*w. Is w composite?
True
Let i = 91 + -63. Is 1644/i - (-4)/14 a prime number?
True
Is (-4908)/(-4)*1/3 composite?
False
Suppose 0 = 5*t - 129 - 56. Is t a composite number?
False
Suppose 2*x + 8 = -2*x. Let y be ((-12)/(-16))/(x/56). Let m = -8 - y. Is m composite?
False
Is 10/(-70) + 40/(-14) - -25 a composite number?
True
Let k be 38/(-209) - 1652/(-11). Let q = -31 + k. Is q a prime number?
False
Suppose -4*g + 0 = 16. Let s be (8/12)/(g/(-2874)). Suppose -5*c = 2*l - 4*c - 326, 0 = 3*l - c - s. Is l composite?
True
Let b(z) = 237*z + 26. Is b(11) prime?
True
Is 8/28 + (-47442)/(-14) a prime number?
True
Let h(p) = -p**3 + 20*p**2 + 5*p + 1. Is h(18) prime?
True
Let r(a) be the second derivative of -29*a**3/6 - 5*a**2/2 - 2*a. Let z be r(-4). Let u = 16 + z. Is u composite?
False
Suppose -730 = -5*f + 5*g, 4 = -3*g + 13. Is f a composite number?
False
Suppose 4 = -4*n + 5*a - 4, -2*a = -2*n - 4. Is (-3 - -2)/(n/218) prime?
True
Is 705/1 - 8/(-12)*-3 composite?
True
Let m(x) = -220*x**3 - 2*x**2 - 2*x - 1. Let d be m(-1). Let g be -3 - (4 + (-140 - 1)). Let v = d - g. Is v a composite number?
True
Let t = 74 + -138. Is 3*(1 - t/6) prime?
False
Let f = 13 - 11. Suppose 0 = l + 5*z - 187, -137 = -2*l + l + 5*z. Suppose -4*j + l = -f*j + 4*i, -i = 5*j - 441. Is j a prime number?
True
Let n(t) = t**2 + 16*t + 7. Let y be n(-9). Let o = 87 + y. Is o a composite number?
False
Let i = -61 + -231. Let c = -159 - i. Is c a composite number?
True
Suppose -6*g + g + d = -3391, 3*d = 12. Is g prime?
False
Suppose 2*g = -3*s + 42329, -3*s - 7170 = -g - 49487. Is s prime?
True
Let v be 4*((-26)/(-8) - 4). Let o(s) = 79*s**2 + s - 1. Is o(v) composite?
True
Let m = 593 - 300. Is m prime?
True
Let f = 623 - 310. Let p = f - -22. Is p a composite number?
True
Suppose 0 = -k - 4*s - 12 + 31, -2*k + 5*s - 14 = 0. Let y(t) = t**3 + 10*t**2 + 15*t - 6*t + 3 + k. Is y(-9) a composite number?
True
Let o(m) = m + 1. Let c be o(2). Suppose c*s = -0 + 9. Is s a prime number?
True
Let s(t) = t**2 - 9*t + 3. Let j be s(9). Is j/2*(3 - 1) a prime number?
True
Suppose 2*z - 6*z = -136. Is z a composite number?
True
Suppose 0 = -14*p + 3*p + 1441. Is p a prime number?
True
Let g(h) = 2*h**2 + h + 40. Is g(-19) a prime number?
True
Let g(q) = -11*q - 6. Let d(x) = x. Let b(j) = -2*d(j) + g(j). Is b(-13) a composite number?
False
Suppose 5*w + 3311 = 4*f, 0 = -2*w + 7*w - 5. Is f composite?
False
Suppose 0 = -q + 2*u + 1255, 5*q + 4*u = 1175 + 5058. Is q a composite number?
False
Let u be (3/2)/(9/(-12)). Let i be u*1*-1 - 5. Is (1/i)/((-2)/18) a composite number?
False
Suppose 0 = 2*d - 5*b + 1, d + 4*b - 1 = 5*b. Let o(y) = y**2 + y - 8. Let q be o(0). Is 45/4 + d/q prime?
True
Let v = -4 + 7. Suppose 3*s - 5*p - 136 = 0, v*s - 4*p - 107 = 30. Is s composite?
False
Let w(o) = 2*o - 4. Let z be w(5). Let u = -2 + z. Is (222/u)/3*2 a composite number?
False
Suppose -4*i + 2069 = 3*h, -2*h = -h + 5. Is i prime?
True
Suppose x = -v - 3*x - 2, v + 2*x + 2 = 0. Let w = 85 - v. Suppose -3*m + 6 + w = 0. Is m prime?
True
Suppose -4*d = -0*d - 1868. Is d composite?
False
Let i(h) = 1 - 4 + 42*h + 2. Is i(6) composite?
False
Suppose -1465 = -30*h + 25*h. Is h prime?
True
Let l = -5 - -10. Suppose l*h + 31 = -2*p + 77, 5*p = 3*h - 9. Let o(c) = -c**3 + 9*c**2 + 6*c + 1. Is o(h) a composite number?
False
Is 1*(1065 + 6 - 2) a composite number?
False
Let v = 5780 + -4123. Is v prime?
True
Let u = -11 + 534. Suppose -u + 106 = -q. Is q a composite number?
True
Is (-2 - (2 - 1)) + 238 prime?
False
Let v(f) be the second derivative of -f**5/60 - 7*f**4/24 - f**3/2 + f**2 + 2*f. Let y(q) be the first derivative of v(q). Is y(-5) a composite number?
False
Let v be 0 + (2 - (-6)/(-3)). Suppose v*s - 8 = -2*s. Suppose -209 = -t - 3*x, 5*t = -s*x + 614 + 431. Is t a prime number?
False
Let c(d) = 6*d**2 + 16*d - 9. Is c(6) a composite number?
True
Let g(b) = -5*b**3 + 4*b**2 - 6*b - 3*b**2 + 4*b**3 - 2. Let q be g(-4). Let k = q - 55. Is k composite?
False
Let q(v) = -v**3 + 6*v**2 - 6*v - 7. Let u(n) = -3*n**3 + 12*n**2 - 13*n - 15. Let g(k) = 5*q(k) - 2*u(k). Is g(-6) prime?
True
Let d = -5 - -7. Suppose -2*z + 5*r + 58 = 0, 0*z - r - 42 = -d*z. Is z a prime number?
True
Let m(t) be the first derivative of t**4/2 + 14*t**3/3 + 9*t**2/2 + t - 5. Is m(-6) a composite number?
False
Let u(j) = -j**3 + 3*j**2 - 2*j + 3. Let x be u(2). Suppose -2*g = -x*g + 5*y - 11, -2*y - 14 = -5*g. Suppose -184 = -g*f - 0*f. Is f a prime number?
False
Let s(d) = -5*d**3 - 5*d**2 - 6*d - 4. Let r be s(-4). Let i be 63882/154 + 2/11. Let j = i - r. Is j a prime number?
False
Let y = -193 + 320. Is y a composite number?
False
Suppose -5947 = -5*x - 2*z, -z = -x - 3*x + 4755. Is x prime?
False
Let h = 6 - 4. Suppose i + h*s - 6*s = 17, -40 = 5*i + 5*s. Let o = 36 + i. Is o a composite number?
True
Suppose 435 = 2*m + m. Is (24/(-30))/((-2)/m) a prime number?
False
Let l be -2*(-3 - 1/(-2)). Suppose -4*x - 8 = 0, 0 = 6*s - 3*s + l*x - 212. Is s a prime number?
False
Let s(u) = 6*u**2 - 5. Is s(-7) a composite number?
True
Suppose f - j - 256 = 0, 0 = 3*f - f - 5*j - 527. Suppose -3*w = -4*s + f, -3*w - 186 = -2*s - s. Let r = 2 + s. Is r a composite number?
False
Suppose 21*s - 18935 = 16*s. Is s a prime number?
False
Let l be -1*26 - (6 - 6). Is l/(-2)*(4 + -1) a prime number?
False
Suppose 4*i = -0*i - 220. Let j = 110 + i. Is j a composite number?
True
Let p = 81 - -97. Is p a composite number?
True
Let t = 14 - 11. Let q be (-1)/3*(3 - t). Suppose p - 4*p + 6 = q. Is p a prime number?
True
Let z be 112/10 - (-5)/(-25). Suppose z = -2*j + 3. Is j/(48/(-9))*52 a prime number?
False
Let y = -9 + 12. Let j be (y - (0 + 34))*1. Is 1 - (j - (-3)/(-1)) a prime number?
False
Let p(i) = -i**2 + 9*i + 3. Suppose -2*r + 8 = -5*c, 0 = -4*c + 3*r + r - 4. Let b be 2 + 0 + c + 6. Is p(b) a prime number?
False
Let g(d) = -21*d**3 - 2*d**2 - 2*d - 1. Suppose -a + 0 = 2. Is g(a) a prime number?
True
Let x be -2 - (-2 + 3 + -6). Is x*(-3)/(-9) + 21 prime?
False
Let h = 12 - 6. Let j(k) = 4*k + 20. Let g be j(11). Suppose 2*c - g - h = 0. Is c prime?
False
Is 713 - (-4 - (0 + 0)) a prime number?
False
Is (-24)/(-42) + (-2901)/(-7) composite?
True
Let j = -327 - -854. Is j prime?
False
Let n = 250 - 350. Let d = n + 165. Is d a composite number?
True
Is (-7)/28 - (-365)/4 prime?
False
Let y(t) = -201*t - 11. Is y(-6) a prime number?
False
Suppose 5*n + 4*l = 40, -4*l + 0*l = -2*n - 12. Suppose -n*s = 5*a - 580, -s = 4*s - 2*a - 725. Is s a composite number?
True
Suppose -2*m - 4*m + 414 = 0. Is m prime?
False
Suppose -16 = -4*w + 4. Let s = 263 + -97. Suppose 0 = 2*h + b - s + 8, -w*b = -2*h + 134. Is h a prime number?
False
Let f = -8 + 7. Is 3/(3/260) + f a prime number?
False
Let t = 896 + 255. Is t a prime number?
True
Let a = -7 + 11. Let b be a/18 - 4/18. Suppose b = 5*s - 4*g - 23, 4*s - 34 = -3*g + g. Is s a prime number?
True
Suppose -r - r = -6. Suppose f - 4 = -3, 4*h = -r*f + 351. Is h a composite number?
True
Let g(a) = 2*a**3 + 5*a**2 + 7. Let n(d) = 3*d**3 + 11*d**2 + d +