 Is y a prime number?
False
Let m(y) = -y**2 + 10*y - 4. Let h be m(9). Suppose -h*z - 1592 = -10*z + l, -l + 322 = z. Is z prime?
False
Let g be 5/(-15) + (-1)/(-3). Suppose o - 1145 + 123 = g. Suppose 3*a + 371 - o = 0. Is a prime?
False
Let g = 14 - 18. Let p(c) = -7*c**3 - 27*c**2 - 10*c - 11. Let q(y) = 10*y**3 + 40*y**2 + 15*y + 16. Let b(z) = 7*p(z) + 5*q(z). Is b(g) a composite number?
True
Let i(b) = -1394*b + 3. Suppose -7*q + 4*q + 5*y - 23 = 0, 4*q + 24 = 5*y. Is i(q) a prime number?
False
Suppose 5*f = -u - 52, u + 3*u = -3*f - 225. Let q = u + 180. Is q prime?
False
Let r(p) = 6*p**3 + 7*p**2 - 14*p + 5. Let y(h) = h**3 + 12*h**2 - 3*h - 30. Let m be y(-12). Is r(m) prime?
False
Let w = 28 - 31. Is ((-16)/4 - w) + 574 composite?
True
Let a = 20399 + -6402. Is a composite?
False
Let q = 16239 + -8632. Is q composite?
False
Let a be 3*-1 + (119 - -6). Let d(y) = 4 - a*y - 8 + 9. Is d(-4) composite?
True
Suppose -13*s = -9*s - 11612. Is s composite?
False
Is ((1 - 10) + 14)*15706/10 a composite number?
False
Suppose 0 = 4*q - 17*q + 11089. Suppose 0 = -t + 3. Suppose -4*k + 5*m - t*m + 862 = 0, 4*k = 5*m + q. Is k composite?
True
Let x(t) be the first derivative of 7/3*t**3 - 1/2*t**2 - 5 - t. Is x(3) a composite number?
False
Let c = 68162 + -48615. Is c composite?
True
Let v be (-60)/40*(-20)/6. Suppose -5*h + 3*f - 15 - v = 0, 2*f = -2*h - 8. Is 643 + ((-32)/2)/h composite?
False
Let j be (16 + -11)*(1 + -6). Let c = -23 - j. Suppose -c*h + 5*w + 293 = 0, 2*h + 0*w - 297 = w. Is h a composite number?
False
Suppose -2*g + 0*o + 5*o = -30, 0 = o + 4. Suppose -2591 - 4394 = -g*v. Is v prime?
False
Is 0 - -1140 - (24/(-12))/(-2) composite?
True
Suppose 8*l + 331 = 1859. Suppose 0 = -4*p + 5*k - 12 - 1, 0 = 2*p - 2*k + 4. Suppose p*j - 946 = l. Is j prime?
True
Let q(t) = 9 - 3*t**3 - 2*t**2 + 0*t**2 - 7 + 2*t. Is q(-5) a composite number?
False
Let t(r) = 15*r**2 - 12*r - 95. Is t(-14) composite?
True
Let y(j) = j**2 - j + 1. Let a(n) = n**3 + 4*n**2 + 10. Let p be (0/2 + 1)/1. Let u(x) = p*a(x) - 6*y(x). Is u(7) composite?
True
Let z(s) = 493*s**2 + 14*s - 36. Is z(3) a composite number?
True
Let p = 831 - 442. Is p prime?
True
Let f = 17 + -10. Let l = f + -9. Is l/(-4) - 7740/(-40) a prime number?
False
Let a(b) = -140*b + 14. Let w(m) = 141*m - 15. Let q(i) = 4*a(i) + 5*w(i). Is q(5) prime?
False
Let j(s) = 30*s + 1. Let q be j(1). Suppose -4*y + 2*a = -q - 15, -2*y - 2*a + 8 = 0. Is 0 + 0 - (-338 - y) composite?
False
Let l = -11292 - -21581. Is l a prime number?
True
Let h(z) = z**2 - 1. Let y be h(3). Suppose 10*p = y*p + 4260. Suppose -6*r + 0*r = -p. Is r prime?
False
Let b = -16 + 22. Let m(t) = b*t**2 + 8*t**2 - 10*t**2 + 3. Is m(-4) a composite number?
False
Suppose -4*v - 6 = -11*g + 6*g, -3*v = g - 5. Is -1 + 1594 + 4/2 + g composite?
False
Let l(x) = -x**3 - 16*x**2 + 2*x + 28. Let m be l(-16). Is m*(-30216)/36*(-6)/(-16) prime?
True
Let t be 0 + 1 + (890 - -1). Suppose 201 + 343 = 17*z. Is t/z*-2*-4 a prime number?
True
Suppose -2*k + 11766 - 290 = 2*d, 2*k + 5735 = d. Is d prime?
True
Is (-27584)/(-6) - 112/336 composite?
False
Suppose -x = -3*i - 9070 + 648, -2*x - i = -16809. Is x composite?
True
Let d(j) = -5 + 10 - 3*j**3 + 2 + 9*j + 7*j**2 + 4*j**3. Let v(g) = -2*g**3 - 13*g**2 - 18*g - 13. Let k(y) = 9*d(y) + 4*v(y). Is k(-8) a prime number?
True
Let w = -633 - -1750. Is w a composite number?
False
Let u(o) = 6*o**3 - 9*o**2 + 2*o + 8. Let b be u(9). Let c = b - 2128. Is c a composite number?
False
Suppose u + 3*l + 3 = 2*u, -9 = -3*u + 3*l. Suppose v - 16 = 2*h - u*v, v - 7 = h. Is ((-2)/h)/(3/2403) a prime number?
False
Suppose -4*a + 6*a - 18 = -4*t, -t + 3 = 2*a. Is (a - 2)*27343/(-111) prime?
True
Suppose 0 = 4*n - 2*m - 11118, -2*n + 4*m = -7400 + 1838. Is n a composite number?
True
Let y(t) = -t**3 + 2*t**2 + 5. Let w be y(0). Suppose -c - f + 211 = -6*f, w*c + 3*f - 943 = 0. Is c a prime number?
True
Let t(c) = -2 + 4*c**3 + 60*c**3 + c + c - 9*c**3. Is t(1) composite?
True
Suppose 2*a - 2716 = -2*r, 8*r = 6*r - 4*a + 2706. Is r prime?
False
Suppose -5*q - 13315 = -2*n - 37911, -3*n - 9 = 0. Is q composite?
True
Let k(c) = -27*c + 5923. Is k(0) a composite number?
False
Let o(v) = -v**3 + 15*v**2 - 13*v - 6. Let b be o(14). Suppose b*g = 3*g + 35. Suppose 5*p - 18 = g, -3*p = 4*c - 523. Is c a prime number?
True
Suppose -581 = -m + 30. Suppose 2*b - 2*w = -412, 3*b + 0*w + m = -4*w. Let z = 396 + b. Is z a composite number?
False
Suppose 0*y + 7760 = o + 2*y, 5*y + 23247 = 3*o. Is o composite?
True
Let r(i) = 15*i**3 - 4*i**3 - 1 + 0*i**2 + 2*i**2 + i. Is r(3) a composite number?
False
Suppose 4*g - 46 = -2*f, -5*f = 4*g - f - 56. Suppose g = b - 0*b. Suppose -b = -y + 10. Is y a prime number?
True
Let g be 29 - (-1)/1*-4. Let v = g + -23. Is (-1 + v)*(-2 - -73) a composite number?
False
Suppose -o + 6289 - 24200 = -p, p + 3*o = 17907. Suppose 5962 = x - 3*s, 5*s = 3*x + 4*s - p. Is x a prime number?
False
Is (-30175)/(-13) - (-20)/(-130) a composite number?
True
Suppose 4525*i - 4531*i = -183786. Is i a prime number?
True
Suppose 0 = 150*o - 156*o + 139626. Is o a composite number?
True
Let i(t) = 2295*t**2 - 6*t + 26. Is i(3) composite?
False
Let u(k) = -k**3 + 19*k**2 + 15*k + 10. Is u(-23) prime?
False
Let v = 4795 + 3036. Is v a composite number?
True
Suppose -2*c - 2*c = -5*d + 28, 5*c + 3*d + 35 = 0. Let h(t) = -17*t + 12. Is h(c) a prime number?
True
Let h be (-3 - 2)*(-4)/4. Suppose -h*u - 24 = -u. Is 113 + 0/(u/3) prime?
True
Let o(l) = -10*l - 1. Let g be 5 + 8 + (1 - 2). Suppose -5*f - g = f. Is o(f) composite?
False
Suppose 0 = -919*b + 921*b - 2390. Is b composite?
True
Let p(i) = -2*i**3 - 2*i - 1. Let v be p(-1). Let d be 16/4 + v - 3. Suppose -d*m = -2*m - 70. Is m a prime number?
False
Let a(l) = -61*l + 5 + 12 + 4 - 2. Is a(-10) prime?
False
Suppose 5*d + 23 - 83 = 0. Let h(x) = x**3 - 12*x**2 - x + 15. Let b be h(d). Is 2 - -2 - b - -148 a prime number?
True
Let f be (13 - 6) + -2 + -1. Suppose -f*a + 1296 = -s, -2*a + 3*a - 335 = 3*s. Suppose 8*q - 3*q - 2*r - 1651 = 0, 4*r + a = q. Is q a prime number?
True
Let w(r) = r**3. Let n be w(2). Suppose n + 0 = 2*j. Is (-870)/(-3) + -1 + j a prime number?
True
Suppose -4*y - 3*s + 32 = 0, -y - y + s + 6 = 0. Suppose 9 = y*x - 5*v - 26, 0 = x - 2*v - 9. Is ((-838)/8)/(x/(-20)) composite?
False
Suppose -5*z - 7 - 3 = 0, 10 = -2*l - 2*z. Is (102/l)/(2 + (-48)/22) prime?
False
Let d be (-9)/(-2) + 4/(-8). Let z(u) = 74*u - 1. Is z(d) a composite number?
True
Suppose -23*w = -21*w - 5994. Suppose 2*q + 7*k - w = 6*k, -5*q = 3*k - 7490. Is q composite?
True
Let p(n) = 75*n. Suppose 0 = 5*b + 3*y + 34, 3*y + 2 = -0*b - b. Let v be p(b). Is 3/(-6)*(v - -2) composite?
True
Let y be (-15)/6*(1 - (-27)/(-15)). Is (y + -3)*5147*-1 a composite number?
False
Suppose -25*h = 363504 - 1124179. Is h prime?
True
Let h = 67 + -134. Let i = h - -381. Is i a prime number?
False
Suppose 0*c - 234 = 4*d - 2*c, -d + c - 58 = 0. Let t(w) = 20*w**3 - 5*w + 3. Let p be t(2). Let k = p + d. Is k a prime number?
False
Suppose -3*o = 5*c - 44624, c - 2*o - 8914 = o. Is c a composite number?
False
Let o(u) = u + 4. Let p be o(0). Is ((-222)/p)/(6/(-12)) prime?
False
Suppose -r = -0 + 4, 4*b + 4*r = 3780. Let o(z) = z - 642. Let q be o(0). Let s = b + q. Is s a prime number?
True
Let r = -1904 - -2871. Is r composite?
False
Suppose -5*b + 4*b = n + 1, 0 = 3*b + 2*n. Suppose 789 = g + 4*q, -b*g - 5*q + q = -1598. Is g a prime number?
True
Let u(s) = -s**3 + 17*s**2 + 16*s - 3. Let f be u(13). Suppose -4*x - 2*r + f + 5 = 0, -5*x + 1115 = -5*r. Let w = x + -79. Is w composite?
True
Suppose j - 9*j - 2*j = 0. Suppose g - 3727 = -5*t, -t + j*g + 2*g = -752. Is t a prime number?
False
Let x = 13 + -10. Let a(v) = 16*v + 2*v**x - v**3 - 11*v + 1 + 11*v**2 + 2*v**2. Is a(-6) a composite number?
False
Let g(n) = -n**2 + n + 1. Let j(o) = 46*o**2 + 15*o - 9. Let h(w) = -2*g(w) + j(w). Let b(c) be the first derivative of h(c). Is b(7) a composite number?
True
Is (-837 + -25)/((-2)/11) prime?
False
Let a be (-26 - 0)/((-26)/39). Let j = -29 + a. Is j a composite number?
True
Let o(w) = 137*w - 5. Is o(6) a prime number?
False
Suppose -14 + 12 = z. Let h be -251*-3*z/3. Is h/(