 = 5*s - 3*l + 242. Let q = 49 - s. Is q composite?
False
Suppose -6751 = m + 3*o, -3*o = -7*o + 20. Let d be 6/21 + m/14. Let i = -272 - d. Is i composite?
False
Let z(l) be the third derivative of l**6/60 + l**5/60 - l**4/6 - l**3/6 - 2*l**2. Is z(4) a prime number?
True
Is (4 - -334) + (1 - 2) a composite number?
False
Suppose 2*z = 4*r - 20, 3*r = 2*z + 3*z + 22. Suppose -c - c + r = 0. Suppose 3*w + 33 = 3*d, c*d + 2*w = 5*w + 26. Is d a prime number?
True
Let g = 143 + 20. Is g a prime number?
True
Suppose 0 = -28*t + 32*t - 1772. Is t prime?
True
Suppose 764 = 3*l - 2*l. Suppose -3*d + 26 = 5*f - 0*f, 2*d = 3*f - 8. Suppose -f*k = 4*x + k - l, -2*k = -x + 191. Is x prime?
True
Let q = 134 + 88. Suppose 8*a - q = 2*a. Is a a composite number?
False
Suppose -f = -6*f + 35. Let q = f + -10. Is (-165)/(-9) - 2/q composite?
False
Suppose -3*w + w = 0. Suppose w = -2*v - 2*v, -3*o = v - 159. Is o composite?
False
Suppose -629 = -2*p - u, u + 0*u + 322 = p. Is p composite?
False
Suppose -4*c = -0*c - 812. Is c a prime number?
False
Is 4/10 + 12165/25 a composite number?
False
Suppose n + 17 = 1. Let y be 15/(-2)*n/12. Suppose -4*a = -0*a + 3*s - 25, y = -2*s. Is a a composite number?
True
Let j = -5 - -2. Is j/(-9) + (-29)/(-3) composite?
True
Suppose 4*w = -2*x - 2, -w + 3*w + 10 = 2*x. Suppose -x = b, -6971 = -5*i - b + 3*b. Is i prime?
False
Suppose -3*v - 5*a = 30, v - 5*a - 50 = 6*v. Let j(i) = 9*i**2 - 5*i + 15. Is j(v) a prime number?
False
Let a = 1314 - 359. Is a prime?
False
Is ((-2)/(-3))/((-8)/(-1476)) a prime number?
False
Let d(q) = 404*q**2 + 2*q + 1. Let k be d(-1). Let b = -32 + k. Is b prime?
False
Let y(v) = -17*v - 18. Is y(-13) prime?
False
Let n(j) = -j**2 + 7*j + 4. Let y be n(7). Suppose y*v - 332 = -0*v. Let g = -48 + v. Is g composite?
True
Let u(y) = -15*y**3 + 1. Let d be u(-1). Suppose w - d = -3*w. Suppose -w*p + 16 = 4. Is p prime?
True
Let o(s) = -2*s**2 + 13*s - 6. Is o(5) a composite number?
True
Let b = -156 - -443. Is b composite?
True
Let d(b) be the second derivative of 0 - 14/3*b**3 - 2*b + 1/2*b**2. Is d(-3) a composite number?
True
Let s(h) = 8*h**3 - 3*h**2 - 4*h - 1. Let k be s(-3). Let l = -135 - k. Is l composite?
False
Let c be (-6)/33 - 3214/(-11). Suppose -80 = 4*s - c. Is s a composite number?
False
Let s(u) = u**3 - 2*u**2 - u + 1249. Is s(0) a composite number?
False
Let r(a) = 179*a**3 + a**2 - a + 1. Let u be r(1). Is 6/12*(-2 + u) a prime number?
True
Let a be 3/9 + 88/6. Let b = a - -6. Is b a composite number?
True
Let z be 2 + (1 - 137 - 2). Let b be z/3 + (-4)/(-12). Let q = 10 - b. Is q prime?
False
Suppose 0 = -2*n + 3*d + 417, 3*n + 1025 = 8*n - 4*d. Let u = n - 144. Suppose c - 3 - u = -b, -4*c - 5*b = -235. Is c composite?
True
Let n be (-2 - 2)/(2/3). Let k be 2/(-3) + (-22)/n. Suppose 4*h - j - 8 = -3, -4*h + k*j = 1. Is h a composite number?
False
Let y = 37 - 4. Suppose q + 20 = -0*q. Let v = y - q. Is v a prime number?
True
Let u be ((-23)/(-4))/(1/24). Suppose -3*l = -6*l + u. Let d = l - 27. Is d a composite number?
False
Let p = 703 + -440. Is p composite?
False
Suppose 2*b - 4 = 2. Suppose -b*s + 172 = 43. Is s composite?
False
Let g(w) = 1. Let v(r) = 2*r - 5. Let h(t) = 5*g(t) + v(t). Let m be h(2). Suppose -214 = -m*i + 54. Is i a composite number?
False
Suppose 5*l + 2*b - 2655 = 0, 3*b - 736 = -2*l + 315. Is l composite?
True
Suppose -5*v - 370 = -5*u, 254 = 4*u - 3*v - 47. Is u composite?
False
Suppose -10 = -2*q - 0. Suppose 0 = -q*w - 5*r - 280, 7*w - 4*r + 280 = 2*w. Let f = -35 - w. Is f prime?
False
Suppose -5*v = -0*v - 15. Suppose 0 = 2*n + 2*l - 140, -5*l + 2*l = v. Is n prime?
True
Let z = -1 - 3. Is (-3 + 1 - z) + 176 prime?
False
Suppose 5*i - 2256 = 3*u + 1508, -i + 739 = 4*u. Is i prime?
True
Is 758/3*1/(-4)*-6 composite?
False
Let w(f) = -3*f - 11. Let t be w(-5). Is (-2 - 56)*(-26)/t a prime number?
False
Suppose -n + 5*n - 16 = 0, -3*o = -4*n - 770. Is o prime?
False
Let z = 19 + 0. Is z a prime number?
True
Let t(q) = 5*q**2 - 2*q - 1. Is t(4) a composite number?
False
Suppose -75 = -5*i + 2*g + g, 0 = 2*i - 3*g - 21. Let f = i - -8. Is f a prime number?
False
Let k(h) be the first derivative of -h**4/4 - 2*h**3 - 5*h**2/2 - 5*h + 1. Suppose 19 = -5*t + 4*m, 0 = 2*t + 2*t + m + 32. Is k(t) prime?
True
Is 1112/32 - (-6)/(-8) prime?
False
Let c = -310 - -1647. Is c composite?
True
Let p(j) = 26*j + 3. Let c(r) = -26*r - 3. Let v(z) = 6*c(z) + 7*p(z). Is v(5) a prime number?
False
Let m = -8 - -13. Suppose 3*n - m*v = 1734, v = -v + 6. Is n a prime number?
False
Suppose -2*x + 258 = -280. Is x a prime number?
True
Let g(u) = 28*u**2 - 9*u + 5. Let n be (1/3)/(2/36). Is g(n) a prime number?
False
Let z(m) = m**2 + 18. Is z(13) a prime number?
False
Let o be 1 + 0 - (1 + -3777). Suppose 0*f = -3*f + o. Is f a prime number?
True
Suppose 4*y + 5*k = 2*k + 571, -5*y - 3*k = -713. Let g = y - 53. Is g prime?
True
Suppose -4 + 0 = -4*x. Suppose -4*b + x = -11. Suppose 2*v - 91 = -2*v - b*s, 0 = -v - 4*s + 26. Is v prime?
False
Suppose -o - 2*c - 3 = 3*c, -2*o = 4*c. Suppose -6*r + o*r - 16 = 0. Let h(b) = 5*b**2 + 5*b + 5. Is h(r) a composite number?
True
Let j(q) = -43*q + 9. Is j(-6) a composite number?
True
Let p = 960 + -281. Is p a composite number?
True
Let n be (-3)/(-2) + 2/4. Suppose -n*b - 2 = 4. Is 2 + 0 + 84 + b prime?
True
Let u(q) be the first derivative of 53*q**3/3 - 3. Suppose -5*p - 5*l = 5, 4*p - 4*l = 10 + 2. Is u(p) a composite number?
False
Suppose 0 = 2*n - 3*n + 5. Suppose u - 2*m = 19 + 10, 2*u = -n*m + 31. Is u prime?
True
Let r = 33 - 18. Let o = 50 - r. Is o prime?
False
Let q(b) = 92*b + 35. Let r(i) be the first derivative of 61*i**2/2 + 23*i + 1. Let t(p) = 5*q(p) - 8*r(p). Is t(-7) prime?
False
Let h(n) = -5*n - 7. Let u be h(6). Let x = 22 + u. Let m = 29 + x. Is m a composite number?
True
Let p = -15 - -22. Let n(h) be the second derivative of h**4/12 + h**3 - h**2 - 4*h. Is n(p) prime?
True
Is 1/(((-2)/(-8))/((-3662)/(-8))) composite?
False
Let j = -23 + 25. Suppose -j*y = -y + 4*u - 385, 779 = 2*y + 5*u. Is y prime?
True
Is 4/14 - (-122)/14 prime?
False
Let m = 4771 - 2742. Is m a prime number?
True
Let p(k) = 46*k**2 - 5*k - 41. Is p(8) a prime number?
False
Suppose 3*s - 2 = s. Suppose -11 = -f - s. Is (-6)/f + (-2672)/(-20) composite?
True
Suppose 5*i - 28 = -2*n, 0 = -4*n - 3*i + 26 + 30. Is 6*(-1 - n/(-3)) prime?
False
Let x be 60/16 + (-3)/4. Suppose -z + 200 = x*z. Suppose 12 = -2*g + z. Is g a prime number?
True
Let i be 1/(-3) - (-38)/6. Let x be (-3)/i - 1/2. Is (1 + -2)*x*23 a prime number?
True
Let j = 477 + -106. Is j a composite number?
True
Suppose 0 = -4*z + 3*m - 37, -3*m = z - m + 12. Let q be (15 + -5)*(-4)/z. Is 141*(q/(-6) + 1) prime?
True
Suppose 22 + 803 = 5*x. Let w be (1 + 3/(-3))*1. Suppose w = -2*y + 5*y - x. Is y a composite number?
True
Suppose 2*g - 261 - 95 = 0. Is g a prime number?
False
Let p = 13 - 8. Suppose 2 - 277 = -p*z. Is z prime?
False
Let l(a) = -a**2 + 15*a - 13. Suppose 0 = -4*c + c - 66. Let h = -12 - c. Is l(h) prime?
True
Let r(x) = 11*x + 9. Let k be 8*(2 + -1) - 0. Suppose -k = 4*b - 5*b. Is r(b) composite?
False
Let b(q) = 23*q**2 + 4*q - 1 - 9*q**2 + 0*q. Let s be (-3)/(-1 + 3 - 1). Is b(s) a composite number?
False
Let f(k) = 2*k + 7*k**2 + 3*k + 12 + 3*k**2 + 3*k + k**3. Is f(-9) a composite number?
True
Let p(x) = -x**3 - 12*x**2 - 6*x - 10. Let i be p(-12). Suppose 0*q + i = 2*q. Is q prime?
True
Let i(n) = 16*n**3 + 2*n**2 - 3. Is i(2) prime?
False
Let k(i) = -49*i**2. Let u be k(1). Let t = u - -106. Suppose -4*o = -o - t. Is o a prime number?
True
Let z be -1 - (-1 - -14)*-1. Suppose n = 4*o + 5*n + 32, -4*n = z. Is o/(-10) - 133/(-2) a prime number?
True
Suppose 159 = 4*f - 3*f. Is 1*4/(12/f) prime?
True
Let k(d) = d**3 - 4*d**2 + 5*d - 3. Let f be k(3). Suppose -3*s = -s - 10. Suppose -s*h + f*h = -178. Is h composite?
False
Let p(g) = -g**3 + 5*g**2 + 2*g - 3. Let w be p(5). Suppose 0 = -2*r + 3*d + 598, w*r = 2*r - 2*d + 1533. Is r a prime number?
False
Let a be 3 - (3 - -1 - 1). Suppose -2*o - 2 = -0*o, a = -i + 4*o + 50. Is i a prime number?
False
Let r = 83 - -58. Suppose 0*q + q - 1 = 0, 2*x = -3*q + r. Is x a composite number?
True
Let m be (-1)/2 + 1/2.