posite number?
True
Suppose -c = -1632 - 269. Is c a composite number?
False
Let g(k) = 2*k**3 - 3*k**2 + 5*k + 1. Let w be g(4). Let p = 896 + -637. Suppose 4*j - 3*o - p = 0, 0 = 5*j - 3*o - 225 - w. Is j a composite number?
False
Suppose -5*d + 9178 = -4*k, 4*d - 2*k = k + 7343. Is d a composite number?
True
Suppose 2*b + 1158 = -624. Let f = -448 - b. Is f a composite number?
False
Let b = -42 - -61. Suppose 0 = y - 4*t - 141, 4*t = 1 + b. Is y a composite number?
True
Suppose 0 = -4*x - 2*j + 1318 + 3706, -j + 6277 = 5*x. Is x prime?
False
Let c = -2 - -2. Let f = 8 + -4. Suppose c = 3*z - 53 - f. Is z composite?
False
Let r = 1 - -1. Suppose 3*f + 2*g - 3 = 20, -54 = -4*f + r*g. Is f composite?
False
Let r be 9/(-2)*(-4)/(-2). Let f = -30 + r. Let c = -1 - f. Is c prime?
False
Let u(k) = -11*k - 7. Is u(-4) a composite number?
False
Let h be (-6 - -8) + (0 - 1). Let b be 2*3/(-6) + h. Let n(m) = m**2 - m + 22. Is n(b) composite?
True
Let w(p) = -104*p - 57. Is w(-22) a composite number?
True
Let u(b) = 2*b + 1. Suppose -3 + 4 = v. Let r be u(v). Suppose -15 = 3*d, -3*c + d + r*d = -221. Is c a prime number?
True
Suppose -5*y + 0*y + 5*s = -25, 2*s = -4*y + 14. Suppose y*o - 164 = 4*q, o = -o - q + 82. Suppose 11 = 4*m - o. Is m a prime number?
True
Let i = 232 + -141. Is i a prime number?
False
Let j be (-3 + -2)*(-9)/(-1). Let r = -26 - j. Is r prime?
True
Suppose 3*b = 5 + 7. Suppose 2*f - 202 = -b*v, 0*v = -5*f - 3*v + 491. Is f prime?
True
Let c = 13 - 19. Is c - -3 - 28/(-2) prime?
True
Let k = 227 - 114. Is k a composite number?
False
Let z(o) be the second derivative of o**5/15 - 5*o**4/24 + 2*o**3/3 + 3*o. Let c(u) be the second derivative of z(u). Is c(5) a composite number?
True
Let o = -52 - -137. Is o a composite number?
True
Suppose -4*o - 5*h = -4 - 41, 5*o + 4*h = 45. Let s(z) = -z**2 - 3*z + 10. Let p(c) = -c**2 - 3*c + 9. Let y(a) = -5*p(a) + 4*s(a). Is y(o) prime?
False
Suppose -4*r - 3*n + 321 = -1246, -3*r = 4*n - 1177. Is r a prime number?
False
Suppose 6*y = 5*y + 1. Let g = y - -6. Suppose 5 = -w + g. Is w prime?
True
Is (1 - 0)*(4 + 259) prime?
True
Suppose -1455 = -13*z + 8*z. Is z prime?
False
Suppose 4*o - 8881 = -2637. Is o composite?
True
Suppose o - 6*o = -445. Let q = -36 + o. Is q composite?
False
Let u = 3 - 3. Suppose 0 = -5*d - b - u*b - 31, -15 = 3*d - 3*b. Let g(o) = -o**2 - 9*o - 3. Is g(d) a prime number?
False
Let t = -282 + 409. Is t prime?
True
Let d = 7 + -1. Suppose 4*a = y - 43, -3*a + 3 = -d. Is y prime?
False
Let f = 15 + -15. Suppose 148 = 4*m - f*m. Is m composite?
False
Suppose -147 - 439 = -2*a. Is a a prime number?
True
Suppose 21 = 2*q - 53. Suppose -147 = -4*m + 3*j, -5*m + 238 - q = 2*j. Let b = 166 - m. Is b prime?
True
Let p = -3 + 3. Suppose -2*r - 4 = p, 0*i - 2*r + 49 = i. Is i a prime number?
True
Is ((-17455)/(-10))/((-3)/(-6)) a composite number?
False
Let l(j) = -3*j**2 - 5*j + 7. Let v be l(6). Is (-1 + (-3 - -3))*v a composite number?
False
Let w = 420 + -199. Is w a prime number?
False
Suppose 44 = -3*o + 335. Is o a composite number?
False
Let o(n) = -n**3 + n**2 - n + 19. Let m be 4/14 + (-4)/14. Is o(m) prime?
True
Suppose 0 = -5*g - 16 + 6. Is g/(-7) + (-1858)/(-14) a prime number?
False
Let a = -166 - -645. Is a a prime number?
True
Suppose -5*i = -3*u - 6, 2*i + 5 = 4*u - 1. Suppose u = -5*v - 4*c + 29, -4*c + 10 = -3*v. Suppose -v*z = -0 - 6. Is z a prime number?
True
Suppose -2*u = 2*u - 140. Is u a composite number?
True
Suppose -z = z + 2. Is -2 - (z - 0) - -66 composite?
True
Suppose 0 = -5*s + 3*x + 5210, -s + 3*x = x - 1049. Is s a prime number?
True
Let d be 40/12*6/2. Is (d + 1)*18/6 composite?
True
Let b be 263/(-2) + 1/2. Let j = 454 - 270. Let o = j + b. Is o composite?
False
Let s(p) = 2*p - 10. Let k be s(7). Suppose 0*q = -2*t - q + 25, 2*t - 30 = k*q. Is t composite?
False
Suppose -2*r - 3*o = -38, 5*o - 74 = -4*r - 0*o. Let v = -9 + r. Let u(p) = 2*p**2 - 9*p - 10. Is u(v) a prime number?
False
Is -907*3/(-6)*(3 + -1) a composite number?
False
Suppose 1521 = 9*g - 612. Is g prime?
False
Let n(v) = 234*v**2 + v + 3. Suppose 2*y = 5*f + 10, f = y + y - 2. Is n(f) prime?
True
Let h(k) = 21*k + 53. Is h(24) composite?
False
Suppose -3*u + l + 0*l + 6 = 0, 5*l + 2 = u. Let z(b) = -b - 4. Let c be z(-6). Is (2/u)/(c/38) prime?
True
Let i = 226 + -60. Suppose 3*p = -i - 1097. Is p/(-9) + 6/27 a composite number?
False
Let d(w) = w + 10. Let t be d(-7). Suppose -60 = -7*z + t*z. Let g = 50 - z. Is g composite?
True
Suppose -5*g = 4*l + 10, -2*g + 5*l = -g - 27. Let t(m) = 0*m**3 + 11*m + 7*m**2 - 2*m**3 - g*m**3 - 2 + 3*m**3. Is t(8) composite?
True
Let j(o) = -6*o**2 + o - 1. Let z be j(1). Let l = 9 + z. Suppose 0 = f - l - 20. Is f a composite number?
False
Let h = -29 + 8. Let z = h + 44. Is z a composite number?
False
Suppose -g - 4*u + 4654 = g, -u = -3*g + 7002. Is g prime?
True
Let z(p) = -5*p + p - 7*p**2 + p**3 + 3 - 5*p**3. Let b be z(-4). Suppose -5*a = 2*k - b, -4*k - 3*a - a = -344. Is k a composite number?
False
Let q(b) = -7*b**3 + 2*b + 1. Let k be q(-2). Suppose k - 341 = -3*d. Suppose 5*m + 5*l - 120 = -0*l, 5*m = 3*l + d. Is m composite?
True
Let n be 2 + 1*-2 + 29. Let s(z) = -z**2 - 5*z - 2. Let j be s(-4). Suppose -n = j*v - 103. Is v a prime number?
True
Is (-502 + -1)/(-1) + -4 a composite number?
False
Let q be (-10)/(-3)*(-1 - -4). Suppose -r = r - q. Suppose -r*d + 220 = -d. Is d a composite number?
True
Let g be 3/1*(3 + -2). Suppose -d = g*d - 316. Is d a prime number?
True
Let p(r) be the first derivative of 3*r**2 + 7*r - 6. Is p(5) a composite number?
False
Suppose 6*o = -158 + 446. Let z = 103 - o. Is z a prime number?
False
Let q(u) = -u**2 + 12*u - 1. Suppose 2*t = 3*t - 11. Is q(t) a prime number?
False
Let a = -124 - -203. Suppose 0 = -4*b + 5*b - a. Is b composite?
False
Suppose 3*r - w = 14, -10 - 7 = -3*r - 2*w. Suppose 3 = 2*k + l, 0 = r*k + 6*l - 2*l - 12. Is (k + -1)/((-1)/37) prime?
True
Let d(n) = 35*n**3 + 3*n**2 - 2. Let o(y) = 69*y**3 + 5*y**2 - 3. Let i(g) = -5*d(g) + 3*o(g). Is i(2) a prime number?
True
Suppose 0 = -2*h - h - 4*g + 70, h + 5*g = 27. Let x = h + -3. Is x prime?
True
Suppose -2*s = -2*i - 3*i + 14412, 3*i = -2*s + 8660. Suppose 7*v - i = 3*v. Is v a composite number?
True
Suppose -926 = -8*l - 150. Is l prime?
True
Suppose -3*y + n = -226, -200 = -5*y + 5*n + 170. Let p = -45 + y. Is p composite?
False
Suppose 2*r + 3*j + 2*j = 25, 0 = 5*r - 5*j + 25. Suppose r = v - 4*v - 6. Is -1 + 64/(v - -4) a prime number?
True
Suppose 0*k - 2*k + 12 = 0. Suppose -n + 47 = -k. Is n a prime number?
True
Let w(v) = v**2 - 9*v + 4. Let j be w(9). Suppose 3*a - j*a + 37 = 0. Is a a composite number?
False
Let a(c) be the first derivative of -5*c - c**3 + 1/4*c**4 + 0*c**2 + 3. Is a(4) prime?
True
Let b(v) = -142*v**3 - v**2. Is b(-1) prime?
False
Let b(s) = 7*s**3 - 6*s**2 - 9*s + 11. Is b(5) a composite number?
False
Suppose 5 = 3*l - 1. Let f = -5 - l. Let c = f + 17. Is c prime?
False
Let o(r) = -337*r**3 - r - 1. Is o(-1) a composite number?
False
Suppose 2*r - 3*h - 639 = -59, 0 = -4*r - 5*h + 1182. Is r composite?
False
Let p(h) = h**3 - 8*h**2 + 8*h - 4. Let j be p(7). Suppose -j*y - 15 = -4*m + 10, 19 = 4*m - y. Is m prime?
False
Let q(h) = -h**2 - h + 4. Let t be q(0). Suppose 3*l + 5 = 4*c, t*c - 5*l = c + 1. Suppose 2*a = 2*y + 114 + 26, -c*a = 3*y - 125. Is a composite?
False
Suppose 0 = 4*i - 3*b - 25, -b - 2 = i + b. Suppose -5*q - 178 = -k, -5*k - i*q + 618 = -185. Is k a composite number?
False
Suppose -77 = 6*c - 449. Is c a composite number?
True
Let b(k) = -7*k + 1049. Let d(c) = 8*c - 1050. Let z(j) = 7*b(j) + 6*d(j). Is z(0) a prime number?
False
Suppose -s + 5*a + 6 - 23 = 0, s + a + 17 = 0. Let r = 24 + s. Is r composite?
False
Suppose 0 = -31*d + 29*d + 178. Is d a prime number?
True
Suppose -o = -0*o - 8. Suppose 12*w = o*w + 212. Is w prime?
True
Let n(i) = 9*i**2 - 3*i + 27. Is n(8) composite?
True
Let i(n) = -11*n**3 + n. Let u(m) = -m**2 - 5*m - 5. Let j be u(-4). Let y be i(j). Suppose -2*a = -a - y. Is a composite?
True
Let h = 421 - 294. Is h a composite number?
False
Suppose 4*z - 9 - 7 = 0. Let p be (-3)/(-12) + 2/(-8). Suppose -z*w + 5*o + 91 = 0, p*o = -4*w - o + 73. 