
Suppose 2*b - 2*c = 2764, 3*b + 3*c + 1372 = 4*b. Is b composite?
True
Let c be (-20)/(-5) - 0/(-1). Suppose -3*i + 2357 = n + 3*n, -3*n + 1759 = c*i. Suppose t + 2*t = -3*g + 363, g = 5*t - n. Is t composite?
True
Let f(r) = 2*r + 7. Let x be f(-5). Let p be x*1*4/3. Is -1 - 1 - (-4 + p) a composite number?
True
Suppose 4*t + 12 = 2*t - 3*y, -3*t = 3*y + 12. Is t + 3 + 1 + 145 prime?
True
Let g(h) = -h**2 - 4*h + 2. Let q be g(-3). Suppose 3*v = q*v - 50. Is v a composite number?
True
Let p = 75 + 14. Is p a composite number?
False
Let d(v) = -v**3 - 7*v**2 - 9*v - 10. Suppose -3*x + 6 - 27 = 0. Is d(x) prime?
True
Suppose -5 = m - 17. Let q be (336/2)/((-8)/m). Let b = q - -379. Is b composite?
False
Suppose 585 = 3*p + 3*h, 2*h = 3*p - 383 - 182. Is p prime?
True
Let w(t) be the second derivative of 5*t**4/12 + t**3/2 + t**2/2 + 2*t. Let o be w(-2). Is 536/10 + (-9)/o prime?
True
Suppose 5*j + 54 = -2*v + 1349, 3*v - 1880 = 5*j. Suppose a = -4*a + v. Suppose -3*y - 5*l + a = 0, -2*y - 4*l = 3*y - 229. Is y composite?
True
Is 7/21*(-54)/(-2) composite?
True
Let g = 49 + 3. Is g/5 + (-4)/10 a prime number?
False
Suppose 4*l = a - 653 - 354, -4*a - 5*l = -3944. Is a a composite number?
False
Let v(r) = -2*r - 12. Let u be v(-8). Suppose a - 23 = -u*h, -2*h = 2*h - 20. Suppose -2*c - 3*n - 14 = -165, 226 = a*c + 5*n. Is c a composite number?
True
Suppose 5*v + 2*z = 17, -v + 4*z + 2 = v. Suppose 4*r = -3*a + 185, -r + 232 = 4*r + v*a. Is r a prime number?
True
Suppose 2*y = 2*l + 66, -y + 17 = 5*l - 34. Let t be y - (-2 - (-4 - -1)). Suppose -2*n = -n - t. Is n prime?
False
Is (1*-1262)/2*-1 a composite number?
False
Let n be 61/7 - (-4)/14. Let k be (-15)/n + (-2)/(-3). Is k + 21 + 0 + 1 a prime number?
False
Suppose c = -c - 5*z + 15234, -5*c - 2*z + 38043 = 0. Is c a composite number?
False
Let u = 696 - 483. Suppose 3*d - 222 - u = 0. Is d composite?
True
Suppose 4*i + 3*f = -21, -i = 3*i - f + 41. Let s(g) be the third derivative of -5*g**4/24 + 5*g**3/3 + 2*g**2. Is s(i) prime?
False
Let m(l) = -l + 11. Let i be m(6). Suppose i*y = 390 - 100. Is y a prime number?
False
Let y(n) be the third derivative of 121*n**5/60 + n**4/24 - n**3/6 + n**2. Is y(1) prime?
False
Let t(c) = -9*c**2 + c + 4. Let p be t(3). Let k = -141 - -250. Let u = k + p. Is u prime?
False
Suppose -2*a - 1 = -11. Suppose 4*v - 4*x - 31 = 209, 0 = -x + a. Is v composite?
True
Is 1873 + ((-9)/(45/(-10)) - 1) a prime number?
False
Let x = -459 - -832. Is x composite?
False
Is 62/(-341) - 7405/(-11) composite?
False
Let v(k) = 2*k**2 - 5*k. Let d be v(4). Suppose -d - 183 = -3*l. Is l prime?
False
Is (-22)/121 - (-7286)/22 a prime number?
True
Let n(q) be the second derivative of -7*q**4/6 + 7*q**3/6 - 9*q**2/2 + 2*q. Let v(g) = 9*g**2 - 5*g + 6. Let l(d) = 5*n(d) + 8*v(d). Is l(8) a prime number?
False
Suppose -21 - 191 = -4*o. Is o a composite number?
False
Let y = -7 - -10. Let o be (2/6)/(y/(-9)). Is (-25)/((-2)/1 - o) a prime number?
False
Let m = -2125 + 3102. Is m composite?
False
Let j(g) = g**3 + 8*g**2 + 7*g + 2. Let f be j(-7). Let u(y) = 40*y**2 + 1. Is u(f) prime?
False
Let y(d) be the second derivative of 25*d**4/4 - d**3/6 - 4*d. Is y(1) prime?
False
Let p = 4 - -1. Suppose 0 = -p*c + 20, c = -2*t - c + 14. Suppose 2*i + t = 101. Is i a composite number?
True
Let k(n) be the third derivative of 17*n**5/60 + 5*n**4/24 + n**3/6 + 3*n**2. Is k(-4) composite?
True
Suppose -4*t + 5*t = 162. Suppose w + t = 481. Is w composite?
True
Is 4 - ((-1)/1 - 6) a prime number?
True
Suppose -3*a + 132 = -a. Let r be 2*(-1 - (-3 - 0)). Suppose -j = -r*j + a. Is j a composite number?
True
Let q be (6/4)/((-33)/(-88)). Suppose 1665 - 149 = q*u. Is u a composite number?
False
Let y(t) = -3*t**3 - t**2 - 4*t - 3. Let s(i) = -i + 4. Let d be s(6). Let x be y(d). Let n = -12 + x. Is n composite?
False
Let y(w) = -w + 1. Let b be y(-7). Let q(j) = -j**3 + 8*j**2 + 9*j - 7. Is q(b) a composite number?
True
Let b = -37 - -91. Let f = 103 - b. Is f composite?
True
Let f be -1*(-3 + 0) + 2. Suppose 2*t - 161 = -f*m, 3 = -2*t - 1. Is m prime?
False
Let l(d) = 61*d - 3. Is l(5) composite?
True
Let b(u) = u**3 + 4*u**2. Let k be b(-4). Suppose k = 2*i + 3*i - 30. Suppose -4*q = -2*d + i*d - 16, q = d + 2. Is q prime?
True
Suppose 6*g - 4*g - 514 = 0. Is g composite?
False
Let x be (-1 + -23)*-42 + -3. Suppose 3*q - 3*l - x = -0*q, 0 = -q - 5*l + 347. Is q prime?
True
Let l = 5 + -3. Suppose l*z = z + 58. Is z prime?
False
Let q be (5 - 1)*58/8. Suppose 0 = -3*i + 12 + 9. Let b = q - i. Is b composite?
True
Let i = -2 + 4. Let b be i/(-1) + (4 - 2). Suppose b*u = -4*j - 3*u + 691, -661 = -4*j + 3*u. Is j a prime number?
False
Let g be (-1 - 4)*(-142)/5. Suppose c = -n + 3*n - g, 2*n = 3*c + 142. Is n a composite number?
False
Suppose -5*c + 3368 = 2*r, -3*c + 2*c + 4*r + 678 = 0. Is c a prime number?
False
Let m = -5 + 0. Let j(w) = 3*w**2 + 4*w - 6. Is j(m) composite?
True
Let z(m) = m + 9. Let x be z(-8). Suppose -5*l + 9 + x = 0. Suppose 0 = l*q - 2 - 4. Is q composite?
False
Suppose 0 = -4*x + n + 622, n = -5*x - 37 + 819. Let r = 319 - x. Is r a composite number?
False
Let x(p) = -2*p + 1561. Is x(0) a composite number?
True
Let q(l) = -17*l**2 + 4*l + 3. Let u(j) = 18*j**2 - 4*j - 3. Let b(f) = -6*q(f) - 5*u(f). Is b(-2) composite?
False
Suppose -2*o = -291 - 155. Is o a composite number?
False
Let q = 654 - 283. Is q prime?
False
Let h(r) = r**2 + 10*r - 4. Suppose -n = 3*n - 28. Is h(n) composite?
True
Suppose 0 = 4*p - 2074 + 430. Is p a composite number?
True
Suppose 37 = -s + 114. Is s prime?
False
Let n(z) = z**3 + 6*z**2 + 5*z - 3. Let s be n(-5). Let u(w) = -w**3 - 3*w**2 + 3*w + 4. Let k be u(s). Let o = k + 120. Is o a composite number?
True
Suppose -3*n - 2*n = 3*p + 10, 2*n + 10 = 0. Suppose 4*t - 205 = 3*s, -s - 340 + 92 = -p*t. Is t a composite number?
True
Let i = 0 - 41. Let k = 1 - i. Let h = 68 - k. Is h prime?
False
Suppose 4768 = 5*r + 2*x - 2007, 0 = -2*r + 2*x + 2724. Is r a composite number?
True
Let w = 70 - -41. Is w a prime number?
False
Let b(i) = 43*i - 2. Suppose -2*g + g + 5*y = 12, -4*g - 2*y = -18. Is b(g) prime?
True
Suppose 0*x + x = -2*f - 178, 5*x = -5*f - 440. Let h = 11 - 24. Let q = h - f. Is q prime?
False
Let j(p) be the third derivative of -3*p**4/2 + 2*p**3/3 - 3*p**2. Let t be j(3). Let n = t + 199. Is n composite?
True
Is (35196/(-8))/(-7)*(-2)/(-3) prime?
True
Let d = 100 + 103. Is d composite?
True
Suppose -2274 - 1651 = -5*m. Is m composite?
True
Suppose 2*f - f - 3*r - 178 = 0, 5*f - 5*r = 850. Is f a prime number?
False
Suppose 0 = -0*d + d - 26. Let p be ((-2)/(-6))/(2/(-6)). Is p + d + -2 - 2 a prime number?
False
Let u(p) = 4*p**3 - p + 1. Suppose -a = 2 - 3. Let f be u(a). Suppose 0 = -3*y - 2*v + f + 47, 4*y - 4*v - 48 = 0. Is y prime?
False
Let o(q) = 691*q**2 - 7*q - 3. Is o(2) composite?
True
Let n(d) = 6*d - 4 + 3*d**2 - 4*d**2 + 3*d. Suppose -4*q = -4*k + 40, -2*k = -5*k + q + 22. Is n(k) composite?
True
Let w = -3 + 52. Is w a prime number?
False
Suppose 0 = -4*h + 12, -4*d - 4*h + 2*h + 78 = 0. Let p = 33 - d. Is p a composite number?
True
Is ((-53)/(-5))/((-9)/(-45)) prime?
True
Suppose -335 = -2*t + 1023. Is t a composite number?
True
Suppose -185 = -j + 356. Is j a composite number?
False
Let a(y) = 483*y + 1. Suppose -4*o - 4*v = -12, 2*o - 2*v = 3 - 5. Let z be a(o). Suppose s = 5*s - z. Is s prime?
False
Suppose -4*j - 3*g + 2*g = 2034, 2*j - 4*g + 1008 = 0. Is j/6*(-30)/20 composite?
False
Let t(o) = 19*o**3 - 5*o**2 + 3*o + 2. Is t(3) prime?
True
Let j(o) = -4*o**2 + 0*o**2 - o**2 + o**3 + 3*o - 2*o**2 - 11. Is j(8) composite?
True
Let x be (2 + -1)*(3 + -1). Suppose 0 = v + 2*v - 9. Suppose -10 + 51 = v*d + x*n, 2*n + 11 = d. Is d a prime number?
True
Let h(s) = s**2 + 2*s - 2. Is h(-5) prime?
True
Suppose 3*i = -0*i - 9. Is 2/i + 202/6 a composite number?
True
Let k be (-183)/(-6) - (-1)/2. Suppose 0 = 3*b + k - 376. Is b prime?
False
Let m(c) = -c**3 - 6*c**2 + 6*c. Let p(r) = -r + 1. Let t(q) = -m(q) + 2*p(q). Let f = 2 + -9. Is t(f) prime?
False
Let h(a) = 2*a**2 - a - 1. Suppose -1 = m + 3*r, m - r = -0*r - 1. Let n be h(m). Suppose 3*g + 6 = 0, n*b + 4*g + g - 28 = 0. Is b a composite number?
False
Supp