pose 0 = 7*w - 10*w + 4113. Is w composite?
True
Is 2/(-6)*(5 + -116) a prime number?
True
Let x = 17 - -423. Let r = -63 + x. Is r prime?
False
Let l(q) = -q**2 - 6*q - 2. Let u be l(-5). Suppose -348 = -u*t + 213. Is t prime?
False
Let m be (-1799)/(-35) - 2/5. Suppose 2*s + 0*x + x = m, 49 = 3*s - 4*x. Is s a composite number?
False
Is 3/9*(-56685)/(-3 - 2) a composite number?
False
Suppose 78 = 3*k - 33. Is k a prime number?
True
Suppose 3*u - 1623 = 2*l, 0*l = u - 2*l - 541. Is u a prime number?
True
Let z(s) = 457*s - 3. Is z(2) composite?
False
Let b(v) = -49*v + 13. Let j(o) = -12*o + 3. Let m(q) = -2*b(q) + 9*j(q). Let z be (-1)/((-1)/(-4)) + 1. Is m(z) prime?
True
Let z be (-12)/9 - 5675/(-15). Suppose 4*i = 2*l - 726, 2*l - 2*i = z + 351. Is l prime?
False
Suppose -5*u = -4*f - 8, -4*u + 19 = f - 0*f. Suppose z - f = 1. Is ((-2)/z)/((-1)/74) composite?
False
Suppose -4*p - 2 = -5*p. Suppose p*i - 87 = 75. Is 1/4 - i/(-12) composite?
False
Let u(d) = d**2 - 15*d - 19. Let k be u(17). Let c = 112 - k. Is c a composite number?
False
Let s(x) be the second derivative of -x**5/20 + x**4/2 + x**3/2 + 7*x**2/2 + x. Is s(6) composite?
True
Suppose -l - 2 = x, 6 = -3*l + 3*x + 24. Suppose l*i - f = 3*f + 418, 0 = 3*i + 4*f - 637. Is i a composite number?
False
Let l = 20383 - 14544. Is l prime?
True
Let p(i) = 2*i**2 + 5*i + 1. Let d(q) = q - 2. Let h be d(6). Is p(h) a prime number?
True
Let u(p) = 3*p - 3. Let f be u(2). Is 303/9 - f/(-9) a prime number?
False
Suppose -15*u + 568 = -11*u. Is u composite?
True
Suppose 0 = -z - 3*z - 24. Let q = -3 - z. Suppose -35 = -q*t - 4*b, -t + 0*t + 14 = -b. Is t prime?
True
Let h be (-6)/(6*(-3)/(-12)). Let i be 5/3 + h/6. Is (-1 - i) + 73 + -2 composite?
True
Suppose 2*u + 2*m - 527 = -3*m, 0 = 3*u - 2*m - 819. Is u prime?
True
Let z(g) = -g**3 - 4*g**2 + 19*g - 1. Suppose 0 = -d + 4*d - 12, 4*h + 3*d = -24. Is z(h) prime?
True
Suppose -2*b = -392 - 60. Suppose -4*l - u = -174, -5*l - 5 + b = 3*u. Is l a composite number?
False
Let q(r) be the first derivative of r**3/3 + 4*r**2 - r + 1. Let t be q(-9). Suppose -3*g - 110 = -t*g. Is g a composite number?
True
Suppose 4*v + 88 = -0*p + 4*p, 5*p - 94 = v. Suppose -p - 52 = -2*t. Is t prime?
False
Let z(x) = 227*x + 10. Is z(9) a prime number?
True
Let w = 113 - -23. Let p = -90 + w. Is p a composite number?
True
Let f = -141 - -72. Let o = -80 + 190. Let m = o - f. Is m prime?
True
Let a(f) = -f**3 + 5*f**2 + 4. Let w be a(4). Suppose -5*b = -0*b - w. Suppose 1065 = b*k + k. Is k composite?
True
Let o(i) = i**3 - 3*i**2 + i + 2. Let d be o(3). Suppose 3*n - 205 = 2*f, 0 = d*n + 4*f - 130 - 197. Is n composite?
False
Let o(k) = 2*k**2 - 10*k - 25. Let j(t) = -t**2 + 5*t + 12. Let c(d) = 5*j(d) + 2*o(d). Let p be c(7). Let n(b) = -b**2 - 8*b + 3. Is n(p) composite?
False
Suppose 5*u + 5*q + 55 = 0, -q - 25 + 2 = 3*u. Let z be u/(-9) - 20/12. Is 2 + (55 - -3) + z a composite number?
False
Let s(i) = -3*i**3 - i - 4. Let u be s(-3). Suppose -3*f + 79 = -u. Is f prime?
True
Let k = 456 - 101. Is k a composite number?
True
Let z(p) = 35*p - 38. Is z(11) composite?
False
Let h = 32 - -39. Suppose 12 = c - h. Is c composite?
False
Let u(x) = -91*x**3 + 3*x**2 - 3. Is u(-2) a prime number?
False
Is 0 + 217*(3 + -2) a composite number?
True
Let o be (-10)/55 + (-4)/(-22). Suppose o*t - 60 = -5*s - t, -5*t + 14 = -s. Is s composite?
False
Suppose -4*i - 8 - 160 = 0. Let h = i + 77. Is h a prime number?
False
Suppose 2*a = -0*a + 4*p + 2162, -1072 = -a + 5*p. Is a a prime number?
True
Let h = -1292 + 2213. Is h composite?
True
Is 6474/(-15)*5/(-2) prime?
False
Let i be (-132)/(-3) - (2 + -2). Let t = i + -9. Is t a composite number?
True
Let v = 314 + -51. Is v prime?
True
Let x(b) = 270*b + 23. Is x(6) a composite number?
True
Let v = -599 + 1247. Suppose -3*t + 5*t - v = 0. Suppose 3*k = -3*x + 219, 0*x - 4*k = -4*x + t. Is x a composite number?
True
Let u(j) = -j**3 - 3*j**2 - j. Let p be u(-3). Let w(r) = -r**3 + 4*r**2 + 2*r - 4. Is w(p) prime?
True
Let t(g) = -g**3 + 6*g**2 - 5*g - 2. Let b be t(5). Let h(q) = -272*q - 3. Is h(b) a composite number?
False
Is (19/(-19))/(1 + (-332)/331) prime?
True
Suppose -i + 3*s = -6 - 319, 3*s = -2*i + 659. Let t be (-1)/((-4)/(-12))*2. Is 3/9 - i/t prime?
False
Suppose -1940 - 307 = -3*j. Is j composite?
True
Let u = -2891 - -5940. Is u composite?
False
Let m(v) = v**3 - 3*v**2 - v + 3. Let j be m(3). Is (-3 + j)/(51/(-4369)) a prime number?
True
Let r = 16 - -24. Let t be (-1662)/15*(-15)/6. Suppose -r = 3*q - t. Is q composite?
False
Let j = 616 + 15. Is j a composite number?
False
Let g = 418 - 165. Is g composite?
True
Suppose 0 = 3*u + u. Let b be (-2 + u)*-1*1. Suppose 2*p = -2*l + 25 + 75, -6 = -b*l. Is p a composite number?
False
Suppose 3*k - k + 2044 = 0. Is (k/(-35))/((-2)/(-10)) composite?
True
Let r(z) = -z**3 + 8*z**2 - 5*z - 8. Let p be r(7). Let x(c) = 26*c - 1. Is x(p) composite?
True
Suppose 4*z + 558 = -3*v + 3238, 2*v - z - 1783 = 0. Suppose -v = -6*h + 2*h. Is h prime?
True
Suppose w - 12 = -3*w. Suppose w*h + 19 = 85. Is h a prime number?
False
Suppose 2*v + 6 = 5*v. Suppose -3*n = 3*a - 0*a + 45, -3*a - v*n = 42. Is (-40)/a - (-1)/(-3) prime?
True
Let f(z) be the third derivative of z**5/4 + z**4/12 - z**3/3 + z**2. Is f(-3) composite?
False
Let w = 1 + 2. Suppose -w*j + h + 158 = -j, 4*j + 5*h = 316. Is j a composite number?
False
Suppose -4*k = 4*j - 2156, -j = -3*k - k - 549. Is j a prime number?
True
Suppose -9 = -k - 0*k + q, 5*k = 2*q + 36. Let l(s) = -3*s**2 - 7*s + 13. Let n(i) = 2*i**2 + 7*i - 12. Let u(t) = -3*l(t) - 4*n(t). Is u(k) a prime number?
True
Suppose -2*p + 3*p = 807. Is p composite?
True
Suppose -5*t + 13 = -2. Suppose -u = t*u - 140. Is u composite?
True
Let l(w) = -w**3 - 2*w + 4. Let r be l(-5). Let x = 208 - r. Is x a prime number?
False
Let h = -18 - -22. Suppose h*m = -55 + 283. Is m a composite number?
True
Let l(x) = 46*x**2 + 3*x + 2. Is l(-3) prime?
False
Suppose -3*q + 6 = 0, 3*q + 4 = 4*f + 2. Suppose -4*j + 72 = 4*p, -6*j = -f*p - 5*j + 48. Is p prime?
False
Is (-10044)/(-45) - (12/(-15))/(-4) a prime number?
True
Suppose -4*f = 5*a - 28, -f - 2*a - 2 = -6. Suppose 0 = 4*r - 0*r - f. Is r composite?
False
Let p(u) = -6*u - 1. Let g be p(-1). Suppose -j - 11 = -5*f, 0*j = 3*f + 4*j - 2. Suppose g*s + f*c - 271 = 5*c, 5*s - 259 = -3*c. Is s a prime number?
True
Let d(r) = 214*r**2 - 4*r + 4. Let y be d(5). Is y/28*4/6 a composite number?
False
Let n be -3 + 18/(5 + -2). Suppose -n*k + 60 = -51. Is k composite?
False
Let j(n) = -n**3 + n**2 - n - 1. Let v be j(-1). Suppose -5*w - 2*z - 589 = 0, -v*w - 3*z - 240 = -0*z. Is ((-1)/(-3))/((-3)/w) a prime number?
True
Let c = 2180 - 1476. Is (-2)/10 - c/(-20) a composite number?
True
Let s(t) = 316*t + 7. Is s(3) a composite number?
True
Let c(t) = t**2 - 9*t - 13. Let o be c(9). Let h = 80 + o. Is h composite?
False
Is 2534/8 + 2/8 a prime number?
True
Let k(i) = 3*i**2 + 7*i + 27. Is k(10) prime?
True
Let w(r) = -r + r**2 + 2*r - 4*r**3 + 3*r**3. Let m be w(0). Suppose m*b + 105 = 3*b. Is b prime?
False
Suppose 5*i = 3*q - 587, -2*i - 51 - 145 = -q. Is q composite?
True
Let v(i) = -i + 13. Let m be v(9). Suppose -m*u + u + 357 = 0. Is u composite?
True
Let v(r) = -r**3 + 5*r**2 + 3. Let g be v(5). Suppose 51 = 5*h - b, 4*h + b = -b + 38. Let u = h - g. Is u a prime number?
True
Suppose -2*o + 1791 = -5295. Is o a composite number?
True
Let p(q) = -43*q - 6. Let l(d) = -7*d - 1. Let y(f) = -39*l(f) + 6*p(f). Is y(8) a prime number?
False
Suppose -49 - 109 = -2*w. Is w a composite number?
False
Let u(b) = -b**2 - 4*b + 7. Let g be u(-5). Suppose -g*n + p = -n - 14, -70 = -5*n - 3*p. Is n composite?
True
Let g = -2 + 4. Let a = 13 + g. Let z = 36 - a. Is z a composite number?
True
Let i(g) = -g**2 + g + 12. Let b be i(0). Let w = 18 + -8. Let a = w + b. Is a prime?
False
Let u = 5 - 10. Let l(b) = -11*b. Is l(u) composite?
True
Let z(q) be the first derivative of -3*q**2 + 9*q + 1. Is z(-7) composite?
True
Suppose -k + 2303 = 2*r, -2*k + 4*k - 5757 = -5*r. Is r a composite number?
False
Let u(j) = -2*j + 2. Let q be u(4). Let z be q/(-21) + (-30)/7. Is 2/8 + (-23)/z composite?
True
Suppose -5*z + 11 = -39. Is z a com