mposite?
True
Suppose 8*h = 3*h + 405. Let s = 12 - 7. Suppose 0 = -s*d + h + 34. Is d prime?
True
Suppose -7 = -5*m - 2. Suppose -3*q + m = -20. Is q a composite number?
False
Let c(u) = -u**3 + 4*u**2 + 6*u + 8. Is c(-7) a prime number?
False
Let b(z) = -10*z**3 + z**2. Let v be b(1). Is 1*3 + (7 - v) composite?
False
Suppose 0 = -3*x - 3, -3*l = -5*x - 3572. Is l a composite number?
True
Let k(y) = -47*y - 14. Is k(-9) a prime number?
True
Suppose 0 = 3*n - 12, a + 15 = -0*a - 4*n. Let c = a + 80. Is c a composite number?
True
Let d = 6 + 62. Suppose -2*i + d = 2*i. Suppose -n + i = 2*a, 25 = -2*n + 3*n - 2*a. Is n a prime number?
False
Suppose 0 = -5*k - 5*a + 3565, 5*a = k - 2*k + 729. Let i = k + -486. Is i a prime number?
True
Let w = -4 - -15. Is w composite?
False
Suppose -4*p + 3*s = 241 - 65, 0 = -p - 2*s - 55. Let d = -33 - p. Let r = -1 + d. Is r composite?
False
Let c(u) = u**2 + u + 3. Let t be c(3). Let l = 6 + -3. Is l/t + (-1696)/(-20) a composite number?
True
Suppose -2*y - 3*y - 5*z = -10, -4*y - 5*z = -13. Let m be ((-5)/3)/(1/y). Is (m - 5) + 11 + 0 a composite number?
False
Suppose -4*f - 5*z = -26, -z = -f - 2 + 4. Suppose -f*c + 177 = -467. Let t = -12 + c. Is t prime?
True
Let n(a) = 632*a - 1. Is n(1) composite?
False
Let a(t) = -4*t**3 + 10*t**2 - 3*t - 1. Let o(j) = j**3 - j**2 + j. Let l(s) = -a(s) - 5*o(s). Is l(-6) composite?
True
Is (-2)/(-7) + (-2298)/(-42) prime?
False
Suppose -8 + 2 = -2*w. Is (-6)/w*-1 - -29 a prime number?
True
Suppose 2*g - 286 = -3*t, -3*t + 8*t - 4*g - 462 = 0. Is t a composite number?
True
Let s(b) = -b**3 - 4*b**2 + 5*b + 2. Let j be s(-5). Let z(o) = 2*o**2 - o - 1. Let c be z(-2). Suppose 0 = -j*h + 77 - c. Is h a prime number?
False
Suppose 2*s + 5 - 55 = 0. Is s prime?
False
Let c = -5 - -3. Let v be (1/2)/(1/c). Is (v - 0)*(-42)/2 a composite number?
True
Suppose 3*w - 12961 = 5*t, 3*w - t + 5*t - 12997 = 0. Is w a prime number?
True
Suppose 4*h = -4*l + 20, h + 4 = 2*l - 0*h. Suppose 1830 = l*k + 498. Let v = -185 + k. Is v prime?
False
Let v(f) = f. Let w(k) = -903*k. Let h(s) = 4*v(s) - w(s). Is h(1) prime?
True
Let u(b) = -b**3 + 9*b**2 + 15*b - 14. Let c be u(10). Let v = -22 + c. Is v composite?
True
Suppose 6*i = 2*i. Is (i - 31)*(5 - 6) prime?
True
Suppose -2*m = -7*m + 25, 5*j - 4*m - 20 = 0. Suppose 0 = -5*i - 10, -3*r + r + 2 = 4*i. Suppose -75 = -r*t - 2*n, -t + 0*n + j = -n. Is t a prime number?
True
Let y(q) = -q**3. Let z(o) = -o**2 - 8*o - 3. Let h be z(-7). Let c(r) = -11*r**3 + r**2 - r + 1. Let n(g) = h*y(g) - c(g). Is n(1) prime?
False
Let k be (2/2)/((-1)/79). Let c = k + -134. Is (-5)/20 + c/(-4) a composite number?
False
Let y = 380 - 218. Let d(g) = -28*g - 1. Let t be d(-3). Let w = y - t. Is w a prime number?
True
Is -3 - 34/(-4)*40 a prime number?
True
Suppose 3*p - 1500 = -3*n, -2*p + 0*p = -3*n - 995. Is p a prime number?
True
Let n = -8 - -16. Suppose n*g - 4*g = 0. Is (g - -2) + 31 + 2 prime?
False
Suppose -1767 = -8*k + 577. Is k a prime number?
True
Let m(r) = -13*r - 12. Is m(-5) composite?
False
Let j = 98 - -24. Is j prime?
False
Suppose -3*d = -0*d - 6. Let n be 2*d/4 + 4. Let t = n + 5. Is t a prime number?
False
Let o = 34 + 0. Is o a composite number?
True
Suppose o = -4*z + 530, 3*z + 3*o = 8*z - 671. Suppose -i + n = -60, 0 = 5*i - 2*n - z - 164. Is i composite?
False
Suppose -5*r + 303 = 73. Is r composite?
True
Let a(f) = f**3 - 6*f**2 + 2*f - 2. Let d be a(6). Suppose d = 4*y + y. Suppose 4*u + y*i - 166 = 0, 4*u - 147 = 3*i + 34. Is u a composite number?
False
Let w(s) = s**2 + 1. Let x(l) = -l**3 - 9*l**2 + 9*l + 4. Let o(p) = 2*w(p) + x(p). Suppose -8*c - 22 - 50 = 0. Is o(c) a prime number?
False
Suppose 0 = o - 5*o + 56. Suppose 0 = m - 9 - o. Is m a composite number?
False
Let h(l) = 66*l**2 - 1. Let b be h(-1). Suppose 287 - b = 3*s. Let a = s - 16. Is a a composite number?
True
Let o(q) = -8*q**3 - 4*q**2 - q - 2. Let m be o(4). Let c = m - -869. Is c composite?
True
Suppose 0 = -5*d + 5*w - 20, -4*w + 16 = 3*d + d. Suppose -2*b + 42 = -d*b. Is b a prime number?
False
Suppose 12 = 3*h - 5*h + 4*f, -4*h = 2*f - 26. Suppose 0 = h*s - 687 + 35. Is s a composite number?
False
Let d(b) = 3*b**2 + 9*b - 12. Let i be d(-9). Suppose w - 3*k = i, 109 = 2*w - 3*k - 182. Is w a composite number?
True
Let p(m) = -2*m**3 + 10*m**2 - 6*m - 9. Let k be p(7). Let g = k + 387. Suppose 5*u - 220 = -4*b + 65, -2*u + g = 2*b. Is b a composite number?
True
Let x(o) = 27*o**2 - 3*o + 6. Let r(z) = 13*z**2 - 2*z + 3. Let c(h) = 5*r(h) - 2*x(h). Is c(2) prime?
False
Let k(z) = 0 + 0*z - 6*z + z - 4. Let n = -17 + 10. Is k(n) a composite number?
False
Suppose -2*w = 4 - 36. Let a(l) = -1 + 1 + w*l + 1. Is a(2) a prime number?
False
Let m be (-6)/(-9) + 4/(-6). Suppose 5*p - 3*p - 6 = m. Suppose 2*j + p*j = 445. Is j a composite number?
False
Suppose 5*j + 4*l - 1059 = 0, 0 = -7*l + 3*l + 4. Is j a composite number?
False
Let g = 174 + -105. Suppose 3*y - 5*j - 18 = 83, 3*y - g = -3*j. Suppose 3*o = 4*d - 155, 0 = 2*d - 2*o - 53 - y. Is d prime?
False
Let v be 6/(-9) - (-166)/6. Is 2073/v + 6/27 prime?
False
Is 4 - (4 - 0) - -407 prime?
False
Suppose -11805 = -4*b - b. Is b composite?
True
Let o(l) be the third derivative of l**6/120 + l**5/12 - l**4/8 - 2*l**3/3 + 3*l**2. Let j be o(-4). Is (j/10 + -2)*15 a prime number?
False
Suppose 2*n - 3*n = -5*b + 12, -2*b = -5*n + 9. Suppose 0 = c - 3*c + 3*y + 146, -253 = -n*c - 4*y. Is c composite?
False
Suppose 3*b - 162 = w, -b + 2*w = -15 - 39. Suppose o + 4*q = 45, 2*o - 5*q + 4*q = b. Suppose i - o = -7. Is i composite?
True
Let y(f) = -15*f - 16. Let u be y(-15). Suppose 5*o = 261 + u. Is o composite?
True
Let j = 119 - 4. Is j prime?
False
Let f(t) = -3 + t**3 + 4*t + 2 - 1 + 6*t**2. Let r be f(-5). Suppose -3*n + 330 = 5*w - 2*w, w = r*n + 130. Is w prime?
False
Let m be 5/2 + 1/(-2). Suppose -1 = m*d - 5. Suppose 0 = -4*k + d*p + 460, 2*k + 4*p = -p + 206. Is k a composite number?
False
Let q(v) = v**3 + 4*v**2 - 9*v. Let a be q(6). Suppose 2*k + 120 - a = 0. Is k composite?
True
Let c be ((-70)/8)/(1/4). Let d = c - -50. Is d composite?
True
Let r = -7 + 20. Is 184/r + (-22)/143 composite?
True
Let v(i) = 251*i**2 + 5*i - 5. Is v(2) composite?
False
Suppose -37*y = -33*y - 12. Suppose -y*c + 592 = -521. Is c composite?
True
Let o be ((-50)/3)/((-6)/18). Let a be 6/(-21) - 107/(-7). Let g = o - a. Is g a prime number?
False
Let l(z) = z**2 + z - 11. Is l(5) composite?
False
Let n = 138 + -75. Suppose 0 = 2*h + 5*t - 87, 0*h + 2*h - 3*t - n = 0. Suppose m = h - 1. Is m composite?
True
Let b = 33 - -9. Suppose -5*p + 147 = b. Is p prime?
False
Let r(h) = 0 - 3*h + 6*h**2 - 3*h**2 + 3. Is r(-6) prime?
False
Let l be 15/(-3) + 2 - -8. Is (l/10)/(1/254) composite?
False
Let t = 36 - 15. Is t a prime number?
False
Suppose -v + 168 = 3*v. Let d = -101 + 210. Let b = d - v. Is b prime?
True
Is (7 - 15927/(-15)) + 1/5 a prime number?
True
Let v(g) = -8. Let s(c) = c + 1. Let z(m) = 2*s(m) + v(m). Suppose 4*f + 9 = 5*f + 4*w, 2*f = 5*w + 5. Is z(f) a prime number?
False
Suppose -x + 4*o + 3627 = 0, -3*x + 10909 = 4*o - 2*o. Is x a prime number?
False
Suppose -5*q - 195 = -5*f, 0*f + 5*q + 75 = 2*f. Suppose -5*c + 85 = -f. Is c a composite number?
True
Let o = -24 + 18. Is (-4)/(-6) - 134/o composite?
False
Suppose 0 = 4*j + 5*d - 29, j + 1 = d - 3. Let p be 0/3 + 164/j. Suppose 2*b + 0*b - p = 2*h, h - 226 = -3*b. Is b composite?
True
Let m(z) = -86*z - 8. Let d be m(-9). Suppose -3*v + 1417 = 2*n, 3*v - 4*n = 621 + d. Is v prime?
False
Let p = 0 + 2. Suppose -m + 5*s = -111, -2*s + 211 = p*m - s. Is m prime?
False
Let o(y) = 2*y**3 + 2*y**2 + 11*y + 1. Is o(4) prime?
False
Is (-726)/(-12) - 6/4 a prime number?
True
Suppose -3*v = -0*v - 3. Let i be (-2 + 57)/v*1. Let p = i - 18. Is p a composite number?
False
Let n be -2*57/(-6)*-3. Let o = n - -152. Is o a prime number?
False
Let c(w) = -71*w - 3. Is c(-2) prime?
True
Let i(h) = 12*h**2 + 3*h + 5. Is i(4) composite?
True
Let m be (-24)/(-10)*300/(-18). Let x = 153 + m. Is x composite?
False
Is 521 + (-4 - (3 - 3)) prime?
False
Let p(l) = 5*l**2 - 7*l - 5. Is p(7) composite?
False
Let i(m) = -6 - 6 + 7 - 5*m. Let c be i(-9). Is 790/c - (-3)/(-4) prime?
Tr