f a**5/15 + a**4/6 + 2*a**3/3 + a**2. Let f be s(-8). Suppose f = 3*r - 9. Is r a prime number?
True
Let x(t) = -t + 5. Let p be x(0). Suppose -4*w - 3*u + 0 + 25 = 0, -w = -p*u + 11. Suppose 2*q - 85 = -5*s, -q - 150 = -w*q - 3*s. Is q a composite number?
True
Suppose 0*c - 2*c = -6. Suppose -3*z - 3*i = 2*z - 9, -c*i = 3*z - 9. Suppose z = -4*j + 144 - 4. Is j a composite number?
True
Suppose -w + 4*b - 356 = -5*w, -2*b = 0. Is w a composite number?
False
Suppose 2*v - 3 = 5*v. Let i = v + 7. Is (i/3)/((-2)/(-47)) a prime number?
True
Is (-8 + 5)*(-31)/3 a prime number?
True
Let i be 6/(-16)*-2*4. Suppose c - w = i*w + 147, -5*c - w = -630. Is c prime?
True
Suppose 3 = 2*k - 3*k + 4*r, 5*r - 5 = 0. Let w = 3 - k. Suppose y + 0*y - 41 = w*t, 3*t + 144 = 4*y. Is y a prime number?
False
Let x(b) = b**2 - 8*b + 10. Let t be x(7). Suppose 0 = t*d + f - 127, -2*d - 2*f + 86 = -f. Let v = 60 - d. Is v prime?
True
Let c be 1/4 + (-21)/(-12). Let s = 4 + c. Let t(i) = 3*i**2 + 2*i - 7. Is t(s) prime?
True
Let l = 775 + -386. Is l composite?
False
Suppose 108 = 5*m - 0*b + b, 5*b - 15 = 0. Let g(r) = m*r + 2*r + 2*r. Is g(1) a prime number?
False
Let b(y) = -7*y - 5. Let q(t) = -4*t - 3. Let v(m) = 3*b(m) - 5*q(m). Let w(d) = 10*d + 3. Let x(s) = -4*v(s) + w(s). Is x(4) a composite number?
False
Suppose 15934 = -8*t + 51990. Is t composite?
False
Suppose -3*u + 3*c + 90 = 0, 5*c - 2*c + 59 = 2*u. Let y = u + -18. Is y composite?
False
Let r be ((-453)/(-9))/((-1)/(-12)). Let o be (-2)/5 - r/(-10). Suppose o = j + 21. Is j composite?
True
Suppose -5*s - 2*c = -0*s - 2049, -3*c - 9 = 0. Let u = 622 - s. Is u prime?
True
Let w(v) = -v + 505. Let m be w(0). Suppose -5*y + 4*h + m = 58, 0 = -4*h - 12. Is y a composite number?
True
Let w = -3 - -5. Suppose w*d + 0*d = 238. Is d a prime number?
False
Suppose -c + 133 + 604 = 0. Is c composite?
True
Let t(x) be the third derivative of x**5/15 - x**4/24 - 5*x**3/3 + 2*x**2. Is t(7) a prime number?
True
Suppose 2*x - 226 = 4*l, -2*l = 4*x - 531 + 89. Is x a composite number?
True
Suppose 0 = 3*q + 9 - 30. Suppose 0 = 3*m - q*m + 44. Is m composite?
False
Let y(c) = -7 - 7 + 4 + 8*c + 7*c. Suppose -5*o = -0*o - 35. Is y(o) prime?
False
Suppose -63 = -d + 4*m, -d + 71 = d + 3*m. Suppose 5*l = -d + 1098. Is l a composite number?
False
Let v be 803 - -1*(-1 + -2). Let c = -279 + v. Is c a composite number?
False
Suppose 0 = -0*y + 2*y - 736. Suppose -3*v - 5*i + y = 0, -2*i + 5*i + 481 = 4*v. Is v a prime number?
False
Let v(y) = -y**3 + 3*y**2 - 4*y + 5. Let r = -12 - -8. Is v(r) a composite number?
True
Let i(m) = -m - 5. Suppose -39 = -4*n + 101. Let t(r) = -10*r - 45. Let h(k) = n*i(k) - 4*t(k). Is h(6) composite?
True
Suppose -n - 2*n = -198. Is n/(3 - 0) - 3 composite?
False
Let d(s) = -3*s**3 + 4*s**2 - s + 1. Let q(o) = -3*o**3 + 5*o**2 - o. Suppose 4*h - 18 + 2 = 0. Let w(v) = h*d(v) - 3*q(v). Is w(-3) composite?
False
Is ((-1)/3)/1*-1191 a composite number?
False
Let y(q) = -q**3 + 7*q**2 + 2. Let z be y(7). Let u(i) = i + 4*i**2 - 5*i**z + 42*i**3 - 9*i**3. Is u(1) a prime number?
False
Let r(n) be the first derivative of 117*n**2/2 - n - 2. Is r(2) a composite number?
False
Suppose -5*z - 3*l = -279 - 83, 4*z - 297 = 5*l. Let q = z - 14. Is q composite?
False
Let u(c) = 221*c**2 + 13*c - 5. Is u(-3) prime?
False
Let s(i) = -226*i - 1. Suppose -5 = -5*o - 3*n - 27, o - 3*n = 10. Is s(o) prime?
False
Let k(a) = 4*a**2 + 20*a + 13. Is k(9) composite?
True
Suppose -3*f + 0*i - 959 = -5*i, 2*i - 956 = 3*f. Is (f/(-15))/((-2)/(-5)) a prime number?
True
Let w(o) be the second derivative of o**5/20 + 2*o**4/3 + o**3 - 5*o**2/2 - o. Let m be w(-7). Let s(n) = 10*n**2 - 4*n + 3. Is s(m) composite?
True
Suppose 5*u + 4*m = 5, 5*m - 2 = -4*u - 7. Suppose 4*x + 14 = 3*f, -x = u*f - 4*x - 38. Suppose 0 = 2*w + f, y - 2*w = 3*y + 6. Is y prime?
True
Let f(r) = 25*r**2 + 2*r - 8. Is f(3) composite?
False
Suppose u - 2*g - 15 = 58, 0 = 3*u - g - 229. Is u a composite number?
True
Let v(n) = n**2 - 3*n - 1. Let u be v(4). Let i(r) = -3*r - 2 + 8*r - r. Is i(u) prime?
False
Let m = -2906 - -5299. Is m a composite number?
False
Suppose -2*f - 1 + 3 = 5*y, 2 = -y - f. Suppose 225 = 2*u + 5*x, -u + 342 = y*u + 3*x. Is u a prime number?
False
Suppose 2*m - k = 0, 3*k = m + k + 6. Suppose m*w = -2 + 6. Is w prime?
True
Suppose 0 = -5*m, 36 = w + 2*w - 5*m. Is -2*74*(-3)/w a composite number?
False
Suppose -l - 154 = -3*l - 4*j, 0 = l + 4*j - 87. Suppose -5*z - s + l = 0, 0*z = -2*z + 5*s + 43. Is z a prime number?
False
Is (14/(-4))/(1/(592/(-8))) composite?
True
Let f(r) = -r**3 + 11*r**2 + 5*r - 1. Is f(9) a composite number?
True
Suppose -3*x = -5*x - 12. Let a = x + 37. Is a composite?
False
Let r = -72 + 119. Is r composite?
False
Let t(r) = r**3 + r**2 + r + 17. Let p be t(0). Let w = p - -41. Is w prime?
False
Let j(g) = 9*g - 4. Is j(13) a composite number?
False
Suppose 0*y + 18 = 3*y. Is (2/y)/((-4)/(-996)) composite?
False
Let q = 288 - 150. Let c = q + -224. Let t = 175 + c. Is t prime?
True
Suppose r = -5*u + 9, 17 = 3*r - 0*r + 5*u. Suppose 5*a - 2*x - 1039 = x, r*x = a - 201. Is a composite?
True
Let d(r) be the first derivative of r**5/6 - r**4/8 - r**3/3 + 3. Let v(j) be the third derivative of d(j). Is v(4) a composite number?
True
Let j = -200 + 411. Is j prime?
True
Suppose 4*x + 1279 = v, 0*x + 3*x = 3*v - 3792. Is v a prime number?
True
Let s = 513 - 237. Let z = 17 + s. Is z a composite number?
False
Let g(i) = 30*i**2 - 3*i - 2. Is g(3) a composite number?
True
Suppose -4*j = j - 35. Let w = 13 - j. Is ((-4)/w)/(2/(-33)) composite?
False
Let o be -1 - -3*(-3)/9. Let u = 0 - o. Suppose u*x = 2*m - 3*m + 70, m = -3*x + 105. Is x a composite number?
True
Let t(x) = -2*x. Let r be t(-1). Let w(v) = -3*v + 2. Let p be w(r). Let i(b) = -b**3 + b**2 - b - 5. Is i(p) a prime number?
True
Let i(c) = -57*c - 9. Let q be i(-7). Is (q/(-25))/(2/(-5)) composite?
True
Is (-1)/((-2 + 5)*(-2)/7746) prime?
True
Let c = -351 + 505. Suppose 1199 - c = 5*x. Is x composite?
True
Suppose -679 = 3*d + 434. Let q = -138 - d. Is q a prime number?
True
Let s be 0 + -3*12/(-9). Suppose 0 = s*u - 8. Suppose 3*c - 3*n = -7*n + 97, -4*c + u*n + 144 = 0. Is c a prime number?
False
Let h(f) = 16*f**2 + 10*f - 25. Let l(n) = -3*n - 10. Let k be l(-7). Let i(w) = 3*w**2 + 2*w - 5. Let j(d) = k*i(d) - 2*h(d). Is j(-6) composite?
False
Suppose g = 3*y - 520, -4*g - 399 = -4*y + 289. Let l = 285 - y. Is l a composite number?
True
Let f(n) = 75*n + 14. Is f(15) a composite number?
True
Is (-4)/1 + 691 + -4 prime?
True
Is 9228 - (10 + -2 + -3) composite?
True
Suppose 0 = -4*p + 2713 + 1439. Suppose -3*u = 15, -p = -4*q - 2*u + 4*u. Suppose 215 + 43 = 2*a - 4*z, -q = -2*a + 3*z. Is a prime?
True
Let d be (-7)/14 - 15/(-2). Suppose -s - 1 = -2*b + d, 3*b + 2*s = -2. Suppose -b*c = -c - 53. Is c a composite number?
False
Let k(f) = -f**3 + 10*f**2 + 10*f + 12. Let x be k(11). Let n(s) = 11*s. Is n(x) a prime number?
True
Let j(o) = o**2 + 9*o + 12. Let q be j(-8). Suppose 0*w + 88 = q*w. Is w prime?
False
Suppose -2*j - j = -9. Suppose j*f - 195 = -54. Is f prime?
True
Let w = 807 - 38. Is w prime?
True
Let c(a) = -a**3 - 11*a**2 - 13*a + 6. Is c(-11) a composite number?
False
Let i(d) = d**2 - 1. Let r be i(2). Suppose 3*h - 89 = -c, -9 - 64 = -r*h - 5*c. Is h a composite number?
False
Is -2*(-339)/4*(-2)/(-3) composite?
False
Let v = 84 - 141. Let s = -26 - v. Is s a prime number?
True
Let b(j) = 73*j - 4. Let k(c) = -74*c + 3. Let o(x) = 4*b(x) + 5*k(x). Is o(-1) composite?
True
Let v(t) = 17 + 18 + 2*t**2 - t**2 + 27. Is v(0) prime?
False
Suppose 2*y = -3*q + 358, 0 = 2*q + 4*y - 59 - 169. Is q a prime number?
False
Suppose v + 1 = -3. Is (-1)/4 + (-341)/v prime?
False
Let s(o) = -11*o - 1 - 6*o**2 + 7 + 3 + o**3. Is s(8) a composite number?
True
Suppose 3*k - 4*k + 3 = 0. Suppose k*w - 44 = -w. Is w a composite number?
False
Suppose -4*a = -2*a. Suppose 3*y + 3*t = -a*y + 1074, 2*y = -5*t + 725. Is y composite?
True
Let g be (10/(-4))/((-7)/14). Suppose -2*k + 28 + 4 = -5*i, -g*k = -4*i - 114. Let c = k + -15. Is c a composite number?
False
Suppose 3*z + 1713 = 6*z. Is z prime?
True
Let b(h) = -10*h**3 - 8*h**2 - 8*h - 9. Is b(-5) com