mposite number?
False
Let l(f) = 375*f**3 - 3*f**2 - f + 2. Is l(1) a prime number?
True
Suppose 195 = -2*b + 57. Let m = b - -104. Is m a composite number?
True
Suppose 14 = -2*p + 3*p. Suppose -2*n + 5*q - 4 = -23, -n + 4*q = -p. Suppose n*w - 428 + 102 = 0. Is w a prime number?
True
Let v(t) = t**2 + 1. Let y be v(2). Suppose -5*n + x = -1178, 3*x = y*n - 2*x - 1190. Is n a composite number?
True
Let b be -2 + (-10)/(6/(-3)). Suppose 20 = -5*y, -x - 2*y = -b*y. Is 2*(-6)/x + 126 a prime number?
False
Suppose 5*d = 62 + 1643. Let s = -228 + d. Is s prime?
True
Suppose 5*t - w - 2*w = 25, 0 = -4*w. Suppose 0 = -0*q + t*q - 190. Is q prime?
False
Suppose -4*c = w - 2*w + 205, 0 = 4*w - 2*c - 820. Is w composite?
True
Let s(c) = -43*c**3 - c**2 + 3*c + 3. Is s(-2) prime?
True
Let m(w) = 310*w - 9. Is m(3) a prime number?
False
Let t(h) = 4*h + 18*h**2 + 3 - 14*h**2 - 4. Is t(4) prime?
True
Suppose -x = -4*z - 1 - 1, 2*z = -4. Is (5 - -1)*(-3)/x prime?
True
Let s = -4 - -2. Let w(d) = -5*d**3 - d**2 + 2*d + 3. Is w(s) a prime number?
False
Let i(z) = -2*z**2 - 2*z + 3. Let w be i(3). Is (136/(-12))/(2/w) a prime number?
False
Let l = -125 + 243. Is l a composite number?
True
Let n(c) = 3*c**3 - 13*c**2 - 2*c - 10. Is n(6) a composite number?
True
Let a(s) = 8*s + 5. Let l(c) = 8*c + 5. Let w(v) = -4*a(v) + 5*l(v). Let d(u) = -5*u + 1. Let r be d(-1). Is w(r) prime?
True
Let a(t) = t**3 + 6*t**2 - 5*t - 2. Let l be a(4). Let z = l + 23. Is z a composite number?
True
Let j(s) = -s**2 + 4*s - 2. Let x be j(3). Let v be (112 - x) + 0 + 0. Suppose 0 = z + 2*z - v. Is z a composite number?
False
Suppose -2*g - 4 = 0, -2*h = -2*g - 3*g + 176. Let s = h - -153. Suppose s = 2*x + 14. Is x a composite number?
False
Suppose 4 = 5*d - 1. Suppose -g + d = -4. Suppose 3*l + g*b = 57, -b = l - 0*b - 17. Is l composite?
True
Let z be 18/4 - 2/4. Suppose -4*b + 2*j + 2 = -2, z*b = -5*j + 18. Suppose -s + 1177 = 4*s + b*u, 4*s = 2*u + 938. Is s prime?
False
Is (1 - -8058)/(-1 - -2) prime?
True
Suppose 5*u - 459 = 596. Is u prime?
True
Let u(z) be the first derivative of -z**4/4 - 5*z**3/3 + 2*z**2 - z - 3. Let y be u(-6). Is 15*2/(6/y) a prime number?
False
Let f(w) = 175*w**3 + 2*w**2 - 5*w + 5. Is f(3) a composite number?
False
Suppose -4*m - 3*q - 247 = -1105, 5*m + 2*q = 1069. Suppose -2*g - x = 151 + m, 2*g = 5*x - 388. Let s = g + 307. Is s prime?
False
Let n(l) = l - 15. Let r be n(0). Let d = -41 - r. Let k = 48 + d. Is k composite?
True
Let v(l) = -5*l**2 + 16*l + 2. Let j(y) = -14*y**2 + 47*y + 6. Let i(u) = 4*j(u) - 11*v(u). Is i(7) a composite number?
False
Suppose 745 = 6*p - p. Is p a prime number?
True
Suppose -2*a = 4*d - 206, a + 317 = 4*a + 4*d. Is a/2*(-80)/(-24) composite?
True
Let j(k) = k**3 + 8*k**2 + 12*k - 12. Is j(7) a composite number?
True
Let r(f) be the first derivative of 2*f**3/3 - 4*f**2 - 4*f + 3. Is r(-5) a composite number?
True
Let f(n) be the first derivative of -5*n**3/3 + 7*n**2/2 - n + 2. Let h(d) = -4*d**2 + 6*d - 2. Let r(q) = -5*f(q) + 6*h(q). Is r(5) composite?
False
Let z(d) = -4*d - d - 2 + 2*d**2 + 15. Is z(10) a composite number?
False
Let f be 17/3 - 2/3. Suppose 5*h = 3*c - 233 + 86, 217 = f*c + h. Let v = c + -1. Is v a prime number?
True
Suppose -3*c + 2 + 13 = 0. Let h(n) = -n + 2 - 5 - 4 + 5*n. Is h(c) composite?
False
Let p(y) = 126*y**2 + y. Is p(1) a composite number?
False
Suppose 0 = -2*g - 4*z + 16, -5*g + 0*z - z - 5 = 0. Is ((-1)/3)/(g/498) composite?
False
Let t be (-18)/81 - 1132/9. Let k = -71 - t. Is k a prime number?
False
Let w(k) = k**2. Let a(m) = -6*m**2 - 2*m. Let l(r) = -a(r) - 5*w(r). Let o be l(-3). Let v = 22 + o. Is v prime?
False
Let r be (-40)/(-6)*(-318)/(-4). Suppose 0 = 3*y - r + 101. Let j = y + -66. Is j a composite number?
True
Suppose 4*y - 5*x - 1294 = 1438, 0 = -4*y + 2*x + 2732. Is y composite?
False
Let p be (-242)/2 - 2/(-2). Let n(y) = 16*y**2 + 13. Let k be n(-4). Let j = p + k. Is j a prime number?
True
Suppose 4*d + 17 = 4*v - v, 0 = -2*v + 6. Let s be ((-4)/5)/(d/(-235)). Let r = 69 - s. Is r composite?
False
Suppose -o + 0*o - 4*i + 833 = 0, 3*i = 3*o - 2454. Is o composite?
False
Suppose -3*d + 4 = d. Let u(o) = 52*o + 1. Is u(d) a prime number?
True
Let d(k) = k**3 - 10*k**2 - 7*k + 11. Let q(m) = -m**3 - m**2 + m + 34. Let x be q(0). Suppose g - 3*y - x = -g, 0 = -4*g + 2*y + 52. Is d(g) composite?
True
Let a(x) = -45*x + 5. Is a(-4) a prime number?
False
Suppose 5*r - 6*r + 1511 = 0. Is r composite?
False
Suppose -4*n = -8*n + 1796. Is n composite?
False
Let l be 12/(-30) + 6/(-10). Let x(a) = 5*a**2 + a. Let z be x(l). Suppose 0 = -5*q - h + 636, -q + z*q = -h + 382. Is q a composite number?
False
Let o(p) = -28*p**3 + p. Let v be o(-1). Is 2*v - (2 - -1) a composite number?
True
Is 2185 + 1 + -2 + -5 a prime number?
True
Let j be -11 - -7 - (-1 - 5). Suppose -25 = -5*q, 2*w + j*w = -2*q + 422. Is w composite?
False
Is (-3)/((-21)/2) + (-86580)/(-84) composite?
False
Let w(f) be the second derivative of f**3/6 + 5*f**2/2 - f. Let x be w(-5). Suppose 3*v - 4*v + 23 = x. Is v a composite number?
False
Suppose i - 5*i = -636. Is i composite?
True
Suppose -2*s = -x + 3, 2*s = s + 5*x + 3. Let h(c) be the second derivative of -63*c**5/20 - c**4/12 + c**3/6 - c**2/2 - 3*c. Is h(s) composite?
True
Let t = 410 - 85. Suppose -3*p = 2*p - t. Is p a prime number?
False
Let f(t) = -t**3 + 2*t + 1. Let k be f(2). Is (21 + 2)*(k + 4) composite?
False
Suppose -2*k = -3*k + 836. Suppose k = 4*w - 456. Is w composite?
True
Let h(z) = 30*z + 1. Let a = -2 - -4. Suppose -16 = 3*c + 5*u - 4, -c + a*u = -7. Is h(c) composite?
False
Let u(c) = c**2 + 9*c + 9. Let q be u(-8). Let i be 39*q*(-1)/(-3). Let w = 8 + i. Is w prime?
False
Let y(v) = v**3 + 7*v**2 + 3*v + 1. Let q be y(-7). Is (-3)/12 - 945/q a composite number?
False
Suppose 2*g - 339 = -3*y, -4*g - 203 - 7 = -2*y. Suppose -12 - 32 = -2*k. Suppose -w + y = -k. Is w a composite number?
True
Is (-12)/(-3)*422/8 a prime number?
True
Suppose 0 = -4*p - n + 2905 + 277, 2*p = 3*n + 1584. Suppose -5*w = -c + 230, 0*c + 4*c - p = -5*w. Is c a composite number?
True
Let n = 2 - 2. Suppose n*v = v - 178. Let y = v + -99. Is y prime?
True
Suppose 0 = g + m + 4, -3*g = -0*m + 4*m + 7. Let l be g*-13*3/9. Let i = l - 16. Is i a composite number?
False
Suppose -3*x = -3*b - b - 1159, -1538 = -4*x - 2*b. Suppose -l = 3, -2*n + l + x = -0*n. Is n prime?
True
Suppose 3*r = 6*r - 357. Is r prime?
False
Suppose -2*n + 40 = -130. Is n prime?
False
Suppose -3*z = -3*d - 2*z + 1708, -3*z = -5*d + 2840. Is d composite?
False
Suppose -4*f + 3*b = -347, -b + 271 = 4*f - 56. Is f a prime number?
True
Let w(r) = 1 + 3*r**2 - 4 - r**3 + 6*r**2 - 3*r. Suppose -2*x = x - 24. Is w(x) prime?
True
Suppose 364 = x - 159. Is x a composite number?
False
Let g be 4/18 + 46948/(-18). Is ((-1)/(-2))/((-8)/g) a composite number?
False
Suppose -2*g + 9924 = 2*k, 4*k = -4*g + 3*g + 19833. Is k prime?
True
Suppose -2*x - 7 = -x - 5*r, 1 = -3*x + 5*r. Let d = x - 8. Let m = d - -7. Is m a prime number?
True
Suppose 2*p = -2*x - 2*x + 30, 4*p - 2*x = 10. Suppose -p*j + 77 = -4*j. Is j prime?
False
Is ((-1)/(-2))/(11/12386) composite?
False
Is ((-6510)/(-40) - 8) + (-1)/(-4) a prime number?
False
Suppose 4*s = -3*n + 2*n + 483, -4*n = 2*s - 1918. Is n a prime number?
True
Let t(k) be the first derivative of -5*k**2/2 - 2*k - 1. Suppose 2*z + 16 = 2. Is t(z) a composite number?
True
Suppose 5*u + f + 101 = 0, -84 = 3*u + u + 4*f. Let q = -7 - u. Suppose h - 5*t = -q, 6*t = -h + 3*t + 19. Is h a prime number?
True
Let h(s) = -s**3 - 8*s**2 - 7*s + 5. Suppose 0 = -2*q + 5*q + 21. Let w be h(q). Suppose -75 = -w*u + 5*x, -2*u - 4*x = -3*x - 27. Is u a prime number?
False
Let d(b) = b**3 - 3*b**2 - 6*b + 0 + 3 - 1. Let f(y) = -6*y - 1. Let v be f(-1). Is d(v) a prime number?
False
Let l(p) = p**3 - 9*p**2 - 19*p + 6. Let r be l(16). Suppose h = -4*g + r, 6 - 2 = 2*h. Is g composite?
False
Let p(u) = -613*u + 2. Suppose -2*w = -w + 2. Let c be p(w). Suppose -c = -3*g - g. Is g composite?
False
Suppose -t + 3793 + 106 = 0. Is t composite?
True
Suppose -198 = -2*q + 224. Is q a prime number?
True
Let q be 6/(-4)*(-4)/6. Let b = 4 + q. Suppose -m + 584 = b*k + 193, -5*k - 