g composite?
False
Suppose 5*k + 2 = 17. Suppose 0 - 6 = -k*q. Suppose 0*j = q*j - 44. Is j prime?
False
Suppose 4*r = 1814 + 1182. Is r prime?
False
Suppose -2*d + 1508 = -5*n, -d + 234 = 4*n - 507. Is d a composite number?
True
Suppose 3*q + 8*q - 10747 = 0. Is q prime?
True
Let o(p) = 702*p**2 + 3*p + 2. Let j be o(-1). Suppose 3*y = -r + 7*y + j, -4*y - 3441 = -5*r. Is r a prime number?
False
Suppose 0*m = -5*m + 2485. Is m a prime number?
False
Is 3/12 + 108/16 prime?
True
Suppose -4 = -6*r + 2*r. Is 171*3/9*r a composite number?
True
Let h = -814 - -1497. Is h a prime number?
True
Let k(z) = 16*z**3 + 3*z**2 - z - 7. Is k(3) composite?
False
Let s(y) = 83*y + 43. Is s(18) a composite number?
True
Let g(v) = -3 + 0*v**2 + 3*v - 8*v + v**3 + 6*v**2. Is g(-4) prime?
False
Let x(l) be the second derivative of l**3/6 + 4*l**2 + 2*l. Let j be x(0). Suppose -3*o + 27 = 3*k, -2*o - 3*k + j = -9. Is o a prime number?
False
Let z(f) = 3*f**3 + f**2 - 3*f - 5. Let v be z(5). Let p = v - 169. Is p a prime number?
True
Suppose -4*d + 55 = d. Suppose 5*f = 2*s + 33, d = -4*s + 2*f - 15. Let i(m) = m**3 + 7*m**2 + 2*m + 3. Is i(s) composite?
False
Let q = 8453 - 5434. Is q a composite number?
False
Suppose 0 = 2*r + 4*i - 2, r = 2*r - i + 14. Is 30/r*(-114)/4 composite?
True
Let i = 3 + -9. Let c = 10 + i. Suppose 0*u - 2*g = -c*u + 34, 5*u - 15 = -3*g. Is u a composite number?
True
Is (-84)/63 - (-2 - 7069/3) prime?
True
Let p(q) = 64*q - 1. Suppose 15 + 5 = 4*j. Let l = j - 3. Is p(l) a composite number?
False
Is -1*(-856)/(7 - 3) prime?
False
Suppose -3*o - 2 = 4*b, -2*o - 2*o = b + 7. Let u(r) = 1 - 1 + 26*r - 1. Is u(b) a prime number?
False
Suppose -4*d + d - 3699 = 0. Is (-1)/5 - d/15 composite?
True
Suppose i = -730 - 273. Let s = i + 1406. Is s a prime number?
False
Let r = -1544 + 2799. Is r a prime number?
False
Let x(r) = 18*r**2 - 4. Let p be x(5). Suppose -3*u = -p - 667. Is u composite?
True
Is (-6)/3 - 2/(-4)*674 a composite number?
True
Suppose -7 = 2*s + 5*q, -2*q + 10 = -0*q. Suppose 0 = -3*w + 2*w - 4. Is ((-120)/s)/((-3)/w) composite?
True
Suppose -2*p + 4*p - 1752 = 0. Let k(u) = -u**2 + 2*u + 2. Let j be k(-2). Is p/18 + (-2)/j composite?
True
Let u(t) = 0 + 28*t + 3 + 6. Is u(8) prime?
True
Suppose -2*w + 872 + 270 = 0. Is w a prime number?
True
Let c(r) = -24*r + 3. Let o be c(-3). Let d be (1 - 2)/(5/o). Is 4/(-5)*d/2 prime?
False
Is (-1)/(-21)*-3 + 1158/21 a composite number?
True
Let f(w) = 103*w - 4. Let a be f(5). Suppose -2*s - 2*d - d = -a, 4*s - 1047 = -d. Is s prime?
True
Let w(g) be the first derivative of -g**2/2 - g - 3. Let y be w(-6). Suppose -y*f - 100 = -5*h, -2*h - 6*f + f + 75 = 0. Is h a composite number?
True
Let a = 3930 + -1753. Is a prime?
False
Is ((-11)/3)/(5/(-645)) composite?
True
Let n(s) = -s - 1. Let j be n(3). Is (135 - j)*(-2)/(-2) a prime number?
True
Let x(s) = s**3 + 3*s**2 + 4. Let b be x(-3). Suppose -b*o = -0*o - 628. Is o composite?
False
Suppose -4*n - 5*p = -4858, 6077 = 5*n - 0*n + 4*p. Is n composite?
False
Let z = 149 - 60. Is z a prime number?
True
Let r = 1441 - 672. Is r prime?
True
Let w(c) = c**2 + 4*c + 2. Let t be w(-3). Is t/(((-4)/31)/4) a prime number?
True
Suppose 3*w + 178 = 868. Suppose 2*x + 0*a - 8 = a, 0 = 5*x + 5*a - 5. Suppose -x*y + w = -37. Is y composite?
False
Is (10/(-1))/(6/(-267)) prime?
False
Let w(r) = 147*r + 2. Is w(1) prime?
True
Let d(m) = -m**3 - 5*m**2 + 6*m + 3. Let q(w) = -w**3 + 7*w**2 - w - 3. Let u be q(7). Is d(u) composite?
False
Let z(d) = -d**2 + d - 6. Let o be z(0). Let l be 14/(o/(6/2)). Let n(k) = k**3 + 11*k**2 + 5*k - 4. Is n(l) composite?
False
Let v be (-4)/12 - 236/(-6). Let w = 70 - v. Is w a composite number?
False
Let w be (-2)/(-2) + 444/3. Let m = -66 + w. Is m prime?
True
Is (27175/75)/(1/3) a prime number?
True
Suppose 4*l = 3*l - 5. Let i = -3 - l. Suppose i*z + 3*z - 285 = 0. Is z prime?
False
Suppose -413 = -3*s + 142. Is s prime?
False
Let g = -4 - -14. Let q(r) = r**3 + 7*r**2 - r - 3. Let y be q(-7). Suppose -s + g = -y. Is s a composite number?
True
Let o(w) = -2101*w. Is o(-1) prime?
False
Let y = 0 - -2. Suppose 0 = -2*q + y*v + 130, 2*q - 1 - 104 = -3*v. Suppose 0 = -2*b + q + 14. Is b composite?
False
Let c(w) = -190*w**3 - w**2 - w - 1. Let k be c(-1). Let p = -68 + k. Is p composite?
True
Let r = 56 + -30. Is r prime?
False
Suppose -5*r + 10128 - 3133 = 0. Is r composite?
False
Let g = -407 + 700. Is g a prime number?
True
Let q(r) = -461*r + 4. Let y be q(-1). Suppose -3*k + 753 = 3*g - 6*k, -2*k + 6 = 0. Let j = y - g. Is j a prime number?
True
Let g(m) = 18*m**2 + 6*m - 7. Is g(2) composite?
True
Let y = -3 - -6. Suppose -4*m - z + 32 = 0, -4*z = -y*m - 0*z + 5. Suppose 4*a + 65 = 3*v, -2*v - 4*a = -3 - m. Is v a prime number?
False
Let s = -4 - -6. Suppose -n = s*n. Is (2 + 53)*(n - -1) a prime number?
False
Let u = 16 - 22. Let q = -6 - u. Suppose q = 2*g - 4*j - 90, 2*g - j - 59 = 40. Is g composite?
True
Let u(q) = -8*q + 10. Let h be u(-7). Suppose -2*d + h = d. Is d a composite number?
True
Let u(q) = 2*q**3 - 5*q**2 + 4*q + 15. Is u(8) a composite number?
False
Suppose -a + 3 = -0. Suppose 363 = a*n - 0*n. Is n a composite number?
True
Let r(v) = v**3. Let d be r(0). Suppose d = i - 16 - 35. Is i composite?
True
Is (-2 - 122/(-8)) + (-9)/(-12) a prime number?
False
Suppose s + 6 = 2*s - 4*y, 5*y = 2*s - 9. Let o = 5 + s. Is o composite?
False
Let o = 10 - 10. Let g(y) = y**3 + 251. Is g(o) a prime number?
True
Let y be (-6)/3 - -1*4. Suppose i = -y*u - 2*u + 193, 2*u - 119 = -5*i. Suppose 2*m = 4, 0 = -2*c - m - 3 + u. Is c composite?
True
Let g(u) = 23*u - 2. Is g(11) a composite number?
False
Let f(r) = -4*r + 1. Let k be f(-1). Suppose -5*c + 410 = k*g, 2*g + 3*g + 112 = c. Is c a composite number?
True
Let z = 41 - 7. Let t = z + -8. Is t a composite number?
True
Suppose 0 = w - 3 + 1. Suppose -3*t - 5*m = -w*t - 400, 2*t = m + 855. Suppose -x - 2*c = -97, -x = 4*x - 2*c - t. Is x a composite number?
True
Let a(s) = s**3 - 8*s**2 + 13*s - 4. Let d be a(9). Is 2/((-578)/d - -3) a composite number?
False
Let k = 3675 - 2002. Is k prime?
False
Suppose -i + 69 = 5*j, 2*j + j = 4*i - 391. Let v = 143 - i. Is v a prime number?
False
Let u(l) = -l**3 - 4*l**2 - 5*l + 3. Is u(-5) a prime number?
True
Suppose 4 = -4*s, -s = -5*b - 4*s + 272. Is b prime?
False
Suppose 0 = 3*w - r - 1 - 96, -5*w + 3*r + 163 = 0. Suppose -2*f - 4*x = 8, -x + 5*x + w = 4*f. Suppose -2*n + 70 + 49 = -3*a, f*a = -5*n + 355. Is n composite?
False
Let u(r) = -r**3 + 4*r**2 - r. Let x be u(2). Let d be 79*2*x/(-4). Is (6/(-18))/(1/d) composite?
False
Suppose 3*b - b = 2*n - 2, b = -n - 1. Suppose -3*i = -p + 19, n = p - 5*i + i - 24. Suppose -3*v - 4*k - 4 = -90, -p*v = 2*k - 128. Is v composite?
True
Suppose -j - 195 = -5*i, i + 4*j - 32 = 7. Is i a prime number?
False
Let p(g) be the first derivative of -g**3/3 - 11*g**2 - 7*g - 7. Is p(-16) prime?
True
Let m = -86 - -405. Is m a prime number?
False
Let s(a) = 10*a - 23. Is s(11) a composite number?
True
Let f(w) = -w**3 - 2*w + 177. Suppose -4*b + 2*o - 5 = 1, -3*b + 6 = 2*o. Is f(b) a composite number?
True
Suppose -6860 + 311 = -4*w + u, 4*u - 8181 = -5*w. Is w composite?
False
Let u(z) = z**3 + 16*z**2 + 14*z - 1. Is u(-12) a prime number?
False
Suppose -5*c + 24 = -3*c. Let i = 6 + -2. Suppose 2*g = -g + c, 3*g = i*m - 200. Is m prime?
True
Let x(z) = -z**2 - 20*z - 13. Suppose 2*v - 4*o = -20, -51 = 4*v + 3*o - 0*o. Is x(v) prime?
True
Suppose m + l = 62, -4*m + l + 97 = -136. Suppose -20 - m = -t. Is t a composite number?
False
Let b = 352 - -135. Is b prime?
True
Suppose 553 = 5*w - 4*l, -3*w - l + 335 = -5*l. Is w a prime number?
True
Suppose o - 564 = -5*v, -2*o + 392 + 58 = 4*v. Is v a prime number?
True
Suppose -4*j = 3*t + 2*t + 634, 0 = 5*j + 4*t + 788. Let v = j + 274. Is 1*2*v/4 a prime number?
True
Let c = 1291 - -246. Is c composite?
True
Let g(c) = 2*c**2 + 3*c + 2. Let n be g(-3). Is n + (-7)/(7/(-2)) composite?
False
Let m(l) = 3 - 5 + 4*l - 9. Let b(t) = 5*t - 10. Let s(q) = -4*b(q) + 3*m(q). Is s(-5) composite?
False
Is 2/6 + 2858/3 composite?
False
Let h(o) = -3*o + 2. Let v be h(7). Let r = -8 - -58. Let z = r + v. Is z a prime number?
True
Let s = 2 - 0