omposite?
False
Let y = -112 - -163. Suppose q - 2 = y. Is q a prime number?
True
Suppose g - 74 = -4*p - g, 4*p = 2*g + 54. Suppose 2*h = 3*o - p, h + 5*o = -h. Is 6/2 - (h + -29) composite?
False
Suppose -4*p + 492 = 5*z - 57, -435 = -4*z + p. Is z prime?
True
Let k(g) = 18*g**2 - 2*g - 1. Let z = -3 - -2. Let m = 0 + z. Is k(m) a prime number?
True
Suppose 3*d - 20 = -d. Let n(i) = 14 - d*i - 5 + 3*i**2 - 2*i**2. Is n(6) composite?
True
Suppose s + 19 = -2*d + 4*s, 5*s = 2*d + 29. Let c(i) = i**3 + 2*i**2 - i + 2. Let w be c(d). Suppose 0 = 5*a + j - 61 - 14, w*a + j - 61 = 0. Is a prime?
False
Let s = -58 - -145. Is s a composite number?
True
Let q = -6 - -9. Suppose 2*b + 20 = 3*o - o, -b = -q*o + 20. Let h = 8 + b. Is h composite?
False
Suppose 0 = 3*v - w - w - 1363, -2*w - 912 = -2*v. Is v a composite number?
True
Let v(s) be the third derivative of -5*s**4/24 + s**3/6 + 2*s**2. Is v(-1) composite?
True
Let t = -8 - -2. Let i be (-2)/(-6) + 14/t. Is ((-7)/2)/(1/i) composite?
False
Let m(z) = -142*z**2. Let r(c) = 141*c**2 + c + 1. Let g(h) = 2*m(h) + 3*r(h). Is g(-2) prime?
False
Let b(j) = 11*j**3 - 20*j**2 - 14. Let s(i) = -7*i**3 + 13*i**2 + 9. Let o = -15 - -23. Let g(c) = o*s(c) + 5*b(c). Is g(3) a prime number?
True
Let m(w) = -w**3 + w**2 + w + 48. Let v be m(0). Let g = -20 - -47. Suppose g = 3*s - v. Is s prime?
False
Suppose -127 - 1218 = -5*y. Is y prime?
True
Let b(t) = 92*t**3 - 3*t**2 + 3. Is b(2) a prime number?
True
Suppose -3 - 3 = -2*v + 4*f, 0 = -2*v - f + 21. Let x = -2 - -13. Suppose -v - x = -2*n. Is n a prime number?
False
Let b(j) = 2*j**2 + 6*j + 6. Let r be b(-4). Suppose 3*g + r = 131. Is g prime?
False
Let w be (1 + -3 + -6)/(-2). Suppose 0 = -4*j + 2*x + 1862, -2*j - 3*j - w*x + 2321 = 0. Suppose -2*r = r - j. Is r a composite number?
True
Is (1/1)/((-13)/(-9763)) a composite number?
False
Let w(d) = -22*d + 1. Let g be w(3). Let y = -34 - g. Suppose -2*b - 5*j + y = -72, 2*b - 130 = 4*j. Is b composite?
False
Suppose 3*h + 12 = 0, -i - i = -2*h - 8. Suppose -5*u = -i*u - 140. Suppose -4*o - 2*g = -0*g - u, 0 = o + 4*g + 7. Is o a composite number?
True
Let f(n) = -3 + 54*n - 1 + 2. Is f(2) prime?
False
Let o be 1/(-3) - 1902/(-9). Suppose 0 = 5*h - h. Suppose 2*a = -4*s - h*a + 206, 0 = 4*s + 3*a - o. Is s prime?
False
Let q be -1*(-3)/6*-4. Let g be (0*1/1)/q. Suppose g*h = h - 23. Is h composite?
False
Let o be ((-129)/6 - 3)*-2. Let b = o + 2. Is b a composite number?
True
Let m(u) = 5*u**2 + 11*u - 8. Let z be m(-8). Suppose 5*o - 89 - 1476 = 0. Let d = o - z. Is d prime?
True
Let a = -199 + 410. Is a a prime number?
True
Let f be (-3 - -3 - 0)/(-1). Is (-3)/9*(f + -159) prime?
True
Let w(o) = -3*o. Let r be w(-1). Let v be 5/(2/(r + -1)). Suppose 146 - 21 = v*n. Is n composite?
True
Suppose 2*j - 2329 = -3*p, 2*p + 2294 = 2*j - 2*p. Is j prime?
False
Suppose r - 18 = -r. Let y be (-22 + (1 - -2))*r. Let k = y + 586. Is k a prime number?
False
Let y = 276 - -71. Is y a prime number?
True
Let x = -37 + -28. Let i = 288 - x. Is i composite?
False
Let z(y) be the first derivative of -3*y - 17/2*y**2 + 1. Is z(-4) prime?
False
Suppose -2*u - f + 531 = 0, -u + 3*u + 2*f = 536. Is u a composite number?
False
Is 1*2*(-8848)/(-32) a composite number?
True
Let v = 37 - -133. Suppose -5*i + 277 = -0*a + 2*a, -5*a = 3*i - v. Is i prime?
False
Suppose 5*b - 3*b + 88 = 0. Let p = -24 - b. Is 66/5*p/8 a composite number?
True
Suppose 3*b + 2*r = -10, b + 6 = 2*r - 0*r. Let f(o) = o**2 - 6*o - 2. Let w be f(b). Is 1/(-1 - -3)*w composite?
False
Let w(g) = 163*g**2 - g - 1. Is w(-1) composite?
False
Let y = 13 - 8. Let r = 5 - y. Suppose -d - 5*n + 45 = r, -5*n + 157 = 3*d - n. Is d composite?
True
Let r(x) = x**2 - 1. Let c be r(-3). Let y(q) = 19 - 2*q + 3*q - 2*q. Is y(c) a composite number?
False
Suppose 5*k - 20 = k. Suppose 5 = k*m - 160. Is m a prime number?
False
Let k = -29 + 81. Suppose 0*f = 2*f + 40. Is (k/f)/(2/(-10)) a composite number?
False
Suppose 0 = s - 5*s - a + 12, 2*s = -4*a + 20. Let c(r) = -4*r**s + 2*r - 2 - 3 - 8*r - r**3. Is c(-4) a composite number?
False
Let s(c) = c**3 + 9*c**2 + 9*c + 10. Let y be s(-8). Suppose -2*n + 40 = f - 8, -y*n - 2*f = -46. Suppose -n = -b - 0*b. Is b composite?
True
Suppose 0 = 4*a - 2*a - 1048. Suppose 3*u = -u + a. Is u prime?
True
Let u(l) = l**3 + 8*l**2 - 10*l + 6. Let v = -4 - 4. Let p be u(v). Suppose k - 25 = p. Is k a composite number?
True
Let d(a) = -2*a**3 + 5*a**2 + 2*a - 4. Let h be d(4). Suppose -3*c = -y + 105, -c = -3*y - 0*c + 299. Let b = h + y. Is b a composite number?
True
Let b = -6 - -9. Suppose -2*v + 94 = 5*m - m, 0 = 3*v + b*m - 129. Is v composite?
True
Let f(v) = -3*v + 17. Suppose -3*i - 20 = -4*u + 28, -3*u - 27 = 3*i. Is f(i) prime?
True
Let y = 65 + -38. Let i(v) = v**3 + 18*v**2 + 19*v + 18. Let u be i(-17). Let k = u + y. Is k a composite number?
False
Let g(a) = 4*a - 8. Let p be g(6). Let o be p/(-24)*9/(-2). Suppose 389 = o*t - 4. Is t prime?
True
Suppose -3*v - 14 = -4*x, 4*x = -0*x - 2*v + 24. Suppose -2*b = -5*n + 2*b + 17, -2*n + x*b + 17 = 0. Let q = n - -2. Is q a prime number?
True
Suppose -7*q + 2676 = -3*q. Is q composite?
True
Suppose -2044 = 6*n - 10*n. Is n composite?
True
Suppose 4*h = 2*v + 64, h - 12 = -3*v + 18. Suppose 0 = 3*n - 165 + h. Is n a prime number?
False
Let w = 40 - 18. Suppose 58 = 3*h - 5*p, -h - 2*p = -5*p - w. Suppose h - 49 = -g. Is g prime?
False
Let m = -5 + 8. Suppose -72 - 33 = -m*t. Is t a composite number?
True
Let f(v) = 183*v**2 + v + 1. Is f(-1) composite?
True
Suppose 0 = 5*g - 2*c - 3605, 4*g - 856 - 2041 = -c. Is g a prime number?
False
Let r = -352 - -520. Let l(d) = -20*d**3 + 2*d**2 - d. Let f be l(1). Let g = f + r. Is g composite?
False
Let g(r) be the second derivative of r**5/20 + 5*r**4/6 + 5*r**3/6 + r**2/2 + r. Let t(b) = -b**3 - 5*b**2 + b - 4. Let v be t(-5). Is g(v) a composite number?
False
Let o = 1378 + -471. Is o prime?
True
Suppose 5*x - 7 = 3. Suppose 0 = 5*p + x*t - 136 - 461, 0 = -4*p + 4*t + 472. Is p a prime number?
False
Suppose 4*f = 4*z - 36, -8*z + 4*z = 4*f + 12. Let b = f - -11. Is 48/b - (-10)/25 composite?
True
Let m(d) = 3*d + 1 + 4*d - d**3 - 4*d**2 - d - 2*d**2. Let k be m(-7). Suppose 2*a + 4*l - k - 6 = 0, 4*l = -5*a + 35. Is a composite?
False
Let f(v) = -v**3 + v**2 + 3*v - 1. Let j(m) = -m**2 - 5*m - 4. Let k be j(-5). Is f(k) a prime number?
True
Suppose -10 = 2*b, 3*k + 3*b = 2*k + 321. Let y = 177 - k. Let r = -80 - y. Is r a composite number?
False
Let q(o) = 7*o**2 - 15*o - 1. Is q(6) composite?
True
Let u(y) be the second derivative of -1/2*y**3 + 1/2*y**2 + 0 - y. Is u(-4) a composite number?
False
Let q = -120 + 865. Is q composite?
True
Let b = 1665 - 688. Is b a prime number?
True
Suppose 4*z + 15 = 5*d, z + 1 = -4. Let f(k) = -1. Let n(l) = -58*l - 5. Let m(y) = -6*f(y) + n(y). Is m(d) prime?
True
Let q(l) = 2*l + 1. Let s = 2 + 0. Let r be q(s). Suppose g + 39 = m + 3*g, -r*m - 4*g + 177 = 0. Is m a prime number?
False
Let n = -25 + 99. Is n a composite number?
True
Let z(w) = -w**2 - 6*w + 3. Let o be z(-7). Suppose 43 = -5*x - 2*i + 5*i, 3*x = -5*i - 53. Let q = o - x. Is q a composite number?
False
Suppose -1403 + 4304 = 3*h. Is h a composite number?
False
Let s(h) = h + 9. Let z be s(-9). Suppose z = 4*f - f. Is f/3 + -1 - -11 composite?
True
Is 1618/8 - (7 - (-108)/(-16)) a composite number?
True
Suppose -v + 2874 = 5*v. Is v a composite number?
False
Is ((-6)/27*-2049)/(4/6) prime?
True
Let t = 907 - -1080. Is t a composite number?
False
Suppose 4*j = -b + 234, 3*b - 301 = -5*j + 6*b. Is j prime?
True
Is 2/(-2)*174/(-2) a prime number?
False
Let v = 11 - 7. Suppose 377 = -5*d + v*b, 5*d + b + 3*b + 393 = 0. Let n = d + 116. Is n prime?
False
Let i(c) = 2*c - 3. Let v be i(4). Suppose -5*j + 100 = -v*s, 50 + 30 = 4*j - s. Let h = 42 - j. Is h composite?
True
Suppose 1 = -c, -4*i - 4*c = -2*c - 178. Let l(t) = t**3 + 7*t**2 + 5*t - 5. Let g be l(-5). Let k = i - g. Is k a composite number?
True
Suppose -y + 575 = 5*g, 115 = -3*g + 4*g + 5*y. Is g composite?
True
Suppose 9*i - 2*i = 4431. Is i a prime number?
False
Let b(v) = 2*v - 1. Suppose 4*q - 1 = 3*d - 4*d, 0 = 4*q - 2*d + 2. Let u = 5 - q. Is b(u) composite?
True
Let