er?
True
Suppose b - 10 = x, b = -3*b + 5*x + 44. Suppose 5*r - b = 4. Is 100/r - 4/(-4) composite?
True
Suppose 4*i - 931 = -4*k - 71, 0 = 3*k - 5*i - 661. Is k a prime number?
False
Suppose 4*p + 2*v - 3 = -13, 5*p = 2*v + 10. Suppose p = -5*i + 835 + 600. Is i composite?
True
Let o(g) = -146*g + 7. Is o(-3) prime?
False
Let u(x) = 3*x + 8. Let v be u(-2). Let r = 5 - 8. Is r + 0 + v + 14 composite?
False
Suppose -w - w + 5*x - 13 = 0, 5*w + 5*x = -15. Let m(y) = -5*y**3 - 6*y**2 - 2*y + 5. Is m(w) a prime number?
False
Let l(f) be the first derivative of -1 + f - 5/2*f**2. Is l(-1) prime?
False
Is 9/45 + 4968/10 prime?
False
Suppose i = 0, -3*i - 178 = -2*c + 2*i. Is c a prime number?
True
Is (3/3)/(3/99) composite?
True
Let l = 42 - -289. Is l composite?
False
Let n be (-2)/8 - 1/(-4). Suppose -z - z + 178 = n. Is z a composite number?
False
Let n(y) = 3*y**2 - 3*y - 3. Suppose -2*t + 2 = -3*o, -4*t - 25 - 15 = 5*o. Let b be n(t). Suppose 0 = -2*k + b + 19. Is k a prime number?
True
Let n = 30 - -63. Suppose -4*r + 433 = n. Is r a composite number?
True
Let s be ((-4)/(-6))/((-4)/(-18)). Suppose s*u = -2*n + 101, -u + 2*n + 20 + 27 = 0. Is u a composite number?
False
Suppose -3*a - 26 = -5*o + 33, -o + 17 = 2*a. Is o a composite number?
False
Let r(w) = 48*w - 1. Let p be r(1). Suppose t - 2*t + p = 0. Is t a composite number?
False
Let d = 10 + -20. Let i(f) = -2*f + 13. Is i(d) a composite number?
True
Let n(f) = 258*f + 13. Is n(12) a prime number?
True
Let n = -194 + 271. Is n a prime number?
False
Is 1/(-5) + (-672)/(-10) prime?
True
Is 14136/40 + (-6)/15 a composite number?
False
Let m(z) = -z**3 - z + 80. Let r be m(0). Let j = -66 + 20. Let v = j + r. Is v a prime number?
False
Suppose -2*r + 4*r + 9 = -a, 3*a + 15 = 0. Is 68 + (-2)/(-4)*r composite?
False
Suppose 5*t + 1042 = 3*t - i, 4*t + 2084 = -4*i. Let z = -310 - t. Is z composite?
False
Let k = 2 - -1. Suppose 0 = -5*p + 4*g - k*g + 144, p - 24 = -g. Let u = p + 103. Is u a composite number?
False
Let p(m) = 2*m**2 - 4*m + 13. Suppose 5*r = 2*g + 1, -5*r = -g - 2*r - 3. Is p(g) a prime number?
False
Suppose 0 = 2*t - 97 + 11. Is t a composite number?
False
Let n be 34 + 6/(-9)*3. Suppose 2*u - n - 138 = 0. Is u a composite number?
True
Suppose 1 = -2*h + 9. Let y = -1830 + 2618. Suppose y = h*l - 24. Is l a composite number?
True
Let w be -3 - (-1 - 408/4). Let y = w - 17. Is y prime?
True
Let l be (0/(-1))/((-3)/(-3)). Let v be l/(-3 + (3 - -2)). Is v + -3 + 2 + 4 a prime number?
True
Suppose 6*k + 2*i - 5 = 3*k, 0 = -k + 5*i + 30. Suppose 2*l - 386 = -k*r + l, -3*r + 218 = 4*l. Let w = 89 + r. Is w composite?
False
Let d be (-271)/(-2) - 2/4. Let q(s) = -3*s. Let y be q(8). Let l = d + y. Is l composite?
True
Let o(t) = -80*t - 12. Let q be o(-8). Suppose 0 = 6*s - 2*s - q. Is s a composite number?
False
Suppose -4*s + 0*s = -11812. Is s prime?
True
Suppose -4*k + 15243 = -k - 3*m, -k - 3*m = -5073. Is k a prime number?
False
Let p(q) be the second derivative of 3*q**5/20 + 5*q**4/12 - 2*q**3/3 - q**2/2 - 5*q. Is p(3) composite?
False
Let m(b) = b**3 - 3*b**2 - 4*b + 6. Let i be m(4). Suppose -i*v + v + 415 = 0. Is v prime?
True
Suppose -4*y + 33 = 9. Suppose 3*n - 102 - y = 0. Is (-2 - -1) + n + 2 a prime number?
True
Let z(w) = -40*w**3 + w**2 + 4*w + 3. Let f be z(-2). Suppose -5*d = -316 - f. Is d prime?
True
Suppose 0 = 2*t + 5*o + 12, -3*t - 4*o = -o. Let h(d) = 2*d**2 + 8*d - t*d + 2*d - d + 4. Is h(-3) a prime number?
True
Suppose -2*g + 4*i + 1 = -21, -3*i + 16 = 5*g. Suppose g*t - 233 = -0*t + 3*y, 3*t + 2*y = 155. Is t a prime number?
False
Suppose 2*w = s - 60, s + w - 72 = -w. Let p = -31 + s. Is p a composite number?
True
Let z(g) = 16*g + 12. Let t(f) = -5*f - 4. Let n(w) = -11*t(w) - 4*z(w). Suppose 48 = -5*o + 3*i, 3*o - 5*i + 50 = -2*o. Is n(o) a prime number?
False
Let b = 351 + -224. Is b composite?
False
Suppose 0 = 5*x - 3*i - 35614, 5*x + 4122 = 2*i + 39733. Is x prime?
True
Let y(q) = -7*q + 4. Let g be (2 - (1 + -2))*-1. Is y(g) prime?
False
Suppose -6*c + 2379 - 117 = 0. Is c a prime number?
False
Let a be 2/(2/(-4)*-2). Suppose 7*n = 5*n. Suppose n = -a*d - 2*d + 268. Is d a composite number?
False
Suppose 5*j - 11*y - 1379 = -14*y, 1090 = 4*j - 2*y. Is j composite?
True
Let a = -731 - -1438. Is a prime?
False
Let o(u) = -u**3 + 3*u**2 + 2. Let z be o(3). Suppose -3*a + z = -19. Is a*(-2)/(0 - 1) prime?
False
Let h(v) = v**3 - 2*v**2 - v + 3. Let n(b) = -b**3 + 3*b**2 - 2. Let y(a) = 3*h(a) + 4*n(a). Let r be y(5). Suppose 5*k - r = 44. Is k composite?
False
Suppose m - 3*d - 334 = 0, 1219 - 222 = 3*m - 4*d. Is m a prime number?
True
Let b(v) = 3*v + 5*v**2 - 4 - 2*v**2 - 1. Is b(-4) composite?
False
Is ((-4810)/15)/((-4)/6) a prime number?
False
Suppose -2*w + 5*y + 1777 = -1127, 0 = -3*w + 3*y + 4365. Is w a composite number?
True
Let i = 547 + -284. Is i composite?
False
Let v(p) = -8*p + 2*p + 2 - p. Let b be v(4). Let r = -13 - b. Is r composite?
False
Let v = 18 + -8. Suppose -4*w = 2*g - v, -3*w + 24 + 3 = -5*g. Suppose -w*p - 8 = 0, -15 = -2*x - p + 77. Is x composite?
False
Suppose j = 2*z + 58 + 248, 0 = 2*z - 10. Suppose 4*r = 8*r - j. Is r composite?
False
Suppose 5*z - k = 21, -3*z + 2*k + 3 + 4 = 0. Let v be (0 + -4)*z/(-10). Suppose 3*n = v*j + 27, -3*j + 8*j = -n - 8. Is n a composite number?
False
Suppose -5*o - 27 = -617. Is o a composite number?
True
Let h = 1670 + -1029. Is h a prime number?
True
Let l be 6 - 3/3*3. Suppose b + 118 = l*b. Is b composite?
False
Let j(z) = -22*z**3 + 4*z**2 + 4*z + 3. Is j(-2) a composite number?
True
Suppose -5*t = 2*x - 131, 2*t + t = 3*x - 207. Suppose 3*y - x = -2*d - y, 0 = -4*d + 4*y + 160. Let o = d + -15. Is o a prime number?
True
Let s(o) = -o**3 + 7*o**2 + 2*o - 6. Let b be s(5). Suppose -3*k - b = -165. Is k a composite number?
False
Let y = 405 - -62. Is y a prime number?
True
Let p = -11 + 66. Suppose -7 = 2*y - p. Is y/8*(0 + 43) a composite number?
True
Let f(j) = j**3 + 4*j**2 - 5*j - 5. Let h be f(-4). Is (-333)/(-5) - (-6)/h a composite number?
False
Let f(s) = -107*s**3 + s**2 - 2*s - 7. Is f(-3) a composite number?
False
Let r(i) = -i**3 - 5*i**2 - 4*i - 4. Let n be r(-4). Is n/(-14) - (-369)/7 prime?
True
Let c = 967 + -648. Is c composite?
True
Let s be 16/12 - 2/(-3). Suppose -5*t - s*r + 12 = 0, 4*t - 9 = t - 3*r. Suppose -3 - 103 = -t*w. Is w composite?
False
Let w be 2 - (1 + 1 + -3). Let g = -1 - w. Is ((-23)/g)/((-2)/(-8)) a composite number?
False
Suppose -5*x = 5 - 110. Let j be (71 - (-3)/3) + -2. Let k = j - x. Is k composite?
True
Let l(f) = -f**3 + 8*f**2 - 5*f. Let g be l(7). Suppose 4*j + 2*b - g = 3*b, j - 2*b = 0. Suppose -j*d + 27 = -25. Is d prime?
True
Is (5 - -9)*10/4 prime?
False
Suppose -1101 = -3*f - 3*l, -f + 6*f - l = 1859. Let o = -117 + f. Is o prime?
False
Is ((-236)/16)/(3/(-60)) prime?
False
Let y(d) = 762*d**2 - d. Is y(1) a prime number?
True
Let p be 139/3 - (-5)/(-15). Suppose -5*y + p = -4. Is y prime?
False
Is (254*2/(-8))/(1/(-2)) a composite number?
False
Is (58/4)/((-1)/(-94)) a composite number?
True
Suppose -s + 148 = -94. Let j = s + -147. Is j composite?
True
Suppose 0 = 3*k + t - 394, k + 6*t - 3*t - 142 = 0. Let l be -18*3/(-18)*2. Is (k/(-6))/((-2)/l) prime?
False
Is (-19187)/(-28) + (-2)/8 composite?
True
Let g = -112 - -1169. Is g a prime number?
False
Let r be (-6)/(-12) + (-30)/4. Let f = r - -10. Suppose 89 = i - 2*m, -4*i = f*m - 331 - 47. Is i a prime number?
False
Let q = 1142 - 1687. Let u = q - -808. Is u composite?
False
Suppose 4*f - 29 = 531. Let y(r) = -56*r**3 + r**2 + r. Let k be y(-1). Suppose k = -4*x + f. Is x a composite number?
True
Let h = -255 - -176. Let y = h - -270. Is y prime?
True
Is 0 - 22*(-22)/4 prime?
False
Let l be 8/28 - 229/(-7). Let m = l - 18. Suppose 4*t + t = m. Is t a composite number?
False
Let q be 3/(((-42)/8)/7). Let p be (2 + q + 4)*1. Suppose -23 = 4*a + v - 101, a - p*v - 15 = 0. Is a prime?
True
Let n = 153 - 100. Is n composite?
False
Let f(a) = 4*a**2 - 11*a + 8. Is f(10) a prime number?
False
Suppose -2*z = 2*z - 588. Suppose 3*l + 2*s = 119, 5*l - 54 = -4*s + z. Suppose -6*c + 5*c + l = 0. Is c prime?
True
Let q(s) be the third derivative of s**6/60 + s**5/60 - s**4/24 - s