*z - 518. Is f a composite number?
False
Suppose 8*l - 1549 = 747. Is l composite?
True
Let l(j) be the second derivative of -16*j**3/3 + j**2/2 - j. Let u = 57 + -60. Is l(u) a prime number?
True
Let g(l) = l - 9. Let o be g(9). Let h be (5/2 - -2)*8. Suppose 4*b = -o*b + h. Is b prime?
False
Suppose -1276 = -4*i - 4*h, h = i - 3*h - 344. Suppose 655 = 4*b - t, -i = -2*b - 4*t + 26. Suppose 0*l = -3*l + b. Is l a composite number?
True
Let m = 336 + -182. Let g(d) = d**3 + 3*d**2 - 6*d - 5. Let o be g(-4). Suppose o*x = x + m. Is x a prime number?
False
Let s(v) = v + 4. Let g be s(-4). Suppose 0 = 5*y + 4*b - 582, 2*y - 6*y + 4*b + 480 = g. Is y a composite number?
True
Suppose -2796 = -0*x - 6*x. Is (-2 + -1)/((-6)/x) prime?
True
Let y(m) = 175*m**3. Suppose -3*p = -7*p - 2*q - 2, -3*p = -2*q - 9. Let r be y(p). Suppose -4*o = -3*j - r, 4*j = o - 30 - 17. Is o a composite number?
False
Let t = 7 - -2. Is t a composite number?
True
Is 63 - (2 - (0 - -4)) a prime number?
False
Let q = -1 + 3. Suppose 0 = p - q*v - 0*v, -p + 6 = v. Suppose -4*b + 70 = 2*t, -t + 32 = p*b + b. Is t composite?
False
Let x(k) = k**2 + 7*k - 13. Let f be x(-9). Suppose -103 = -f*v + 62. Is v composite?
True
Let i(r) = r**3 + 15*r**2 - 15*r + 14. Is i(-13) a prime number?
True
Let i be (-16)/(-12) + (-4)/(-6). Suppose z + i*z - 2 = -4*p, 0 = p - 4*z + 9. Is 204 + (p - 1) + 1 composite?
True
Let z(m) = -21*m + 16. Is z(-6) a prime number?
False
Let n be ((-2)/(-4))/((-5)/(-30)). Suppose -n*d + 2*c = -275, -5*d + 495 = 3*c + c. Is d composite?
True
Let h = -517 + 1148. Is h prime?
True
Let i(z) = 31*z**3 + z**2 + z - 1. Suppose 3*k - 4*p - 6 = 0, 0 = -p + 2*p. Let o be i(k). Suppose x - d = 47, -5*x - 7*d + 3*d = -o. Is x prime?
False
Let v = 146 + 65. Is v prime?
True
Suppose 2*b - 292 = 2*f, 3*f = -2*b + f + 284. Suppose -5*k - 3*i + b = 0, -4 = -i - 1. Let p = k + 8. Is p a prime number?
False
Suppose 0 = x - 663 - 304. Is x prime?
True
Is ((-201)/9)/(1/(-3)) composite?
False
Let y(r) = -r**3 + 2*r**2 + 4*r - 1. Let a be y(3). Suppose a*q - 69 = -q. Is q a prime number?
True
Suppose 0 = k - 3, -7 = j - 2*j - k. Suppose 2*b = j*b - 6. Is 2*b/(-6) + 7 a composite number?
True
Let c(g) = 68*g - 15. Is c(14) a prime number?
True
Is (90 - -1)*(-1 + 2) prime?
False
Suppose 0 = -0*w - 3*w - 36. Let i be (-34)/(26/w - -2). Let u = i - 119. Is u composite?
True
Let h be (-22 - 9/3)/1. Let i = h - -76. Is i a prime number?
False
Suppose -5*b + 8 = 4*v, v + 4*b = b + 9. Let h(x) be the third derivative of -x**6/30 - x**5/30 + x**4/24 - 2*x**3/3 - 2*x**2. Is h(v) composite?
False
Let t(q) = q + 17. Let h be t(-10). Let u = h - 4. Suppose 0*g + 206 = u*g - 5*b, 5*b = -5. Is g prime?
True
Let v = 3 + -7. Let x = v + 6. Suppose 2*u - 28 = -x*u. Is u prime?
True
Let l(s) = s + 9. Let t be l(-3). Suppose 0 = t*b - b - 265. Is b a prime number?
True
Suppose 0 = -4*u - 4*x + 5192, -5*x + 1 = -4. Is u composite?
False
Suppose 3*z = -9, 4*f - 3*z = -0*f + 25. Is f composite?
True
Let x(w) = w**3 - w**2 - 2. Let q be (2/4)/(3/12). Let l be x(q). Suppose -f - l*y = 3*y - 23, -4 = -2*y. Is f a composite number?
False
Suppose 4*n - 2*g = 244, -5*g = -0*n - 2*n + 130. Suppose -n = -5*r + 15. Is r a composite number?
True
Suppose -4*b = 2603 - 28015. Is b composite?
False
Let r(b) = 97*b - 25. Is r(8) a prime number?
True
Let b(u) = 2*u - 11. Let k be b(8). Suppose -49 = 5*r + 3*z + 30, 5*r - k*z + 95 = 0. Let f = -11 - r. Is f prime?
False
Suppose 3*f + 0*f + 2*p = -12, -4*f - 21 = p. Let b(g) = g**2 + 2*g - 1. Let q be b(f). Is (-3*q)/(-2 + 1) prime?
False
Suppose -4*z - 83 = -3*o + 129, 89 = o - 5*z. Let m = o + 187. Is m a composite number?
False
Suppose -3*u + 1188 = 5*z, -3*z + 4*z + 3*u = 240. Is z composite?
True
Let f(h) = h - 7. Let p be f(7). Let j be 4 - (2/2 + p). Suppose 0 = -j*b - 23 + 218. Is b prime?
False
Suppose -2*u - 15 = -p + u, -4*u = -p + 18. Suppose -5*d - o = 16, 2*d - p*o = -4*o - 16. Is ((-2)/d)/(1/22) a composite number?
False
Let b(l) = l - 6. Let f be b(10). Is f*(19/4 + 3) prime?
True
Is (-20)/150 - (-6184)/30 composite?
True
Let w(z) = 2*z**3 + z**2 - 3*z - 4. Let o(g) = g**3 - 2*g - 3. Let b(n) = -5*o(n) + 4*w(n). Let a be -2 - (-3)/(3/4). Is b(a) composite?
True
Suppose 21 = 4*n - 5*h, 0 = -n + 2*h - 5*h + 1. Let o = n - 3. Is (-5)/((-15)/48) - o a composite number?
True
Let g = -869 - -1336. Is g composite?
False
Let o(z) = -z**2 - z. Let b(l) = l**2 - 5*l - 11. Let g(d) = -b(d) - 4*o(d). Let r(s) = s**3 + 5*s**2 + s - 3. Let k be r(-5). Is g(k) a prime number?
True
Is 1*-446*14/(-4) composite?
True
Let k(q) = -3*q**3 + q**2 + q. Let c be k(-1). Let l(a) = -a**3 - 2*a**2 + 2. Let g be l(-2). Suppose 0*o - 1 = -o, g*n - c*o - 19 = 0. Is n composite?
False
Is (-40)/18 + 2 + (-224987)/(-63) a composite number?
False
Suppose 2228 = 5*z - z. Is z prime?
True
Is -3 - (-109)/3 - 2/6 composite?
True
Let p = 21 - 19. Let g(s) = 4*s**2 - 3*s + 5. Let k be g(5). Suppose m - 2*m = -p*f + 63, 3*f - k = 3*m. Is f prime?
False
Let x = -705 - -1094. Is x composite?
False
Let h = 492 + -258. Let s = h + -91. Is s prime?
False
Suppose 0 = 2*m - 4*d - 175 - 51, 4*d + 105 = m. Is m a composite number?
True
Suppose 5*q + 345 = -5*r, -q + r = -4*q - 203. Let c be 151 - (0 + 2/(-2)). Let u = c + q. Is u a composite number?
True
Suppose 3*j = 226 + 146. Suppose -4*d = -356 + j. Is d prime?
False
Let s(k) = -k**3 + 6*k**2 + 5*k + 3. Let v be (-10)/1*(-8)/16. Is s(v) a prime number?
True
Suppose -2*x - 5*m + 47 = 0, 0*x + m - 103 = -4*x. Is x a composite number?
True
Suppose 0 = u - 0*u - 788. Let z = u - 385. Is z prime?
False
Let u = 160 + -85. Let j(x) = x**2 - 6*x - 2. Let a be j(7). Suppose -g + u = 7*q - 3*q, 258 = 4*g - a*q. Is g a composite number?
False
Suppose -3*v - 4*o = -6*v + 11, -v - 4*o - 7 = 0. Let a(x) = x - 1. Let f(i) = 49*i + 4. Let c(m) = 5*a(m) + f(m). Is c(v) composite?
False
Is 1/(-4) - 461/(-4) composite?
True
Is (-9 - (-168)/16)*7318/3 composite?
False
Let s = -5 - -3. Let p be -118*s/(6/(-3)). Let t = -67 - p. Is t composite?
True
Suppose 0 = -5*t + 4*u + 2368, -3*t - 3*u = t - 1882. Suppose t + 190 = 2*v. Is v composite?
False
Let m(t) = t**3 - t**2 + t - 10. Let s be m(0). Is (-2)/10 + (-72)/s composite?
False
Let h = 188 - 65. Suppose 4*b + h = 2*t + 3*b, 3*t = -b + 172. Is t prime?
True
Is 1 + (3410 - (-3)/((-15)/(-20))) prime?
False
Suppose 3*r + 0*r - 36 = 0. Let g be 3/(-18) + 62/r. Suppose 0 = -g*b - 0*b - m + 98, -3*m = -3*b + 48. Is b a composite number?
False
Let o(f) = 37*f - 2. Let z(p) = -37*p + 1. Let l(s) = -3*o(s) - 2*z(s). Is l(-3) prime?
False
Let n be 2/(-3)*6/(-4). Let a be 0 + (-2)/(4/(-10)). Suppose 0 = r - 4*c + 5, 4*r - a*c + n - 3 = 0. Is r a prime number?
True
Suppose 8*k - 3*k - 3003 = -2*l, 4495 = 3*l - 2*k. Is l a composite number?
False
Suppose -z + 4*w + 238 = 7*w, -5*w - 1003 = -4*z. Is z a composite number?
True
Let x = 1218 - 223. Is x composite?
True
Let l(q) = 5*q**2 + 4*q - 5. Is l(6) a composite number?
False
Suppose 5*d - 30 = -0*d. Suppose -4 = -2*r + d. Suppose 0 = 2*q + 2*q + h - 89, r*h - 25 = 0. Is q a composite number?
True
Suppose 0 = 2*q - 3*q + 191. Is q a composite number?
False
Suppose -1 + 5 = q. Suppose -q*a - 5*n + 8 = -10, -5*n + 12 = a. Let h = 5 + a. Is h a prime number?
True
Suppose 0*x - 1042 = -2*x. Is x prime?
True
Suppose -22 - 2 = -4*p. Let z = p + -6. Suppose z = 4*f - 2*f - 158. Is f prime?
True
Let p(r) = 561*r**2 - r + 1. Is p(2) a prime number?
True
Let b(v) = -v - 3. Let t be b(-7). Suppose -5*y = -t*y + 5*d - 24, -3*y - 3*d + 24 = 0. Suppose 5*h - 5*z = 135, -y*z - 20 = z. Is h prime?
True
Suppose 4*x + 22 = -3*s + 2, -4*s = 4*x + 20. Suppose 5*q - 856 + 131 = s. Is q a composite number?
True
Let m = -1222 + 1967. Is m prime?
False
Suppose 0 = 5*t - 2*t + 3*u, 4*t + 5*u + 4 = 0. Suppose 2*j - t*a = 62, j + 3*a - 40 = 8*a. Is j prime?
False
Suppose 0 = 5*x + 860 + 1050. Let y be -2*(-9)/6 - x. Suppose -5*a - i + y = -3*i, -3*i + 252 = 3*a. Is a a composite number?
False
Let v = -2101 + 4830. Is v a prime number?
True
Let k = -991 - -1388. Is k a prime number?
True
Let q(f) be the third derivative of f**5/20 + f**4/24 + f**3/3 + f**2. Let b(h) be the first derivative of q(h). Is b(1