2*n - 3*u - 751, 0 = 5*n + 3*u - 1801. Is n composite?
True
Let n = -64614 + 141931. Is n composite?
False
Let o(h) be the first derivative of 2*h**3/3 - 19*h**2/2 + 15*h - 2. Is o(16) a composite number?
False
Let x = 84 + 416. Let m = -299 + x. Is m prime?
False
Let d(q) = 19*q**3 - 2*q**2 + 6*q - 1. Let p be d(6). Suppose -g + p = 5*h + 3*g, 5*g = -10. Is h prime?
False
Suppose 0 = 4*x - 3*x. Suppose -m + 2 + 2 = x. Suppose -m*o + 1943 = 3*s + 2*s, -379 = -s - 4*o. Is s composite?
True
Let r be (9/(-12))/(4/(-16)). Is ((-4)/(-1 - 7))/(r/1986) composite?
False
Suppose -2*w + q = -339, -w = 2*w + 2*q - 512. Suppose -r - r + w = 0. Is r a composite number?
True
Let y(n) = 2*n + 18. Let r(m) = -m - 9. Let x(g) = 7*r(g) + 4*y(g). Let f be x(-7). Suppose -f*h - 115 = -7*h. Is h a prime number?
True
Let v(y) be the third derivative of y**6/120 + y**5/3 + y**4/8 + 7*y**3/6 - 21*y**2. Is v(-19) a prime number?
True
Suppose -2*g + 6 = 2*x - 3*x, x - 2 = 0. Suppose g*n - 5640 - 11372 = 0. Is n prime?
True
Let z = -22 + 19. Let a be 7/(-7 + 3 - z). Let b(l) = -l**3 - 8*l**2 - 11*l - 6. Is b(a) prime?
False
Is (-1486201)/694*((-4)/2 + 0) prime?
True
Suppose -2*u + 111 = -4*g + 3459, -4*g - 4*u = -3360. Is g composite?
True
Suppose -31300 = -18*w + 30566. Is w prime?
False
Let y = 10310 + 936. Is y composite?
True
Suppose 4*r - 7*r = 5*l - 51124, -5*r + l = -85160. Is r a prime number?
True
Suppose 0 = -173*b + 176*b - 9687. Is b prime?
True
Suppose -c + 9*s - 10*s + 5230 = 0, 5*c + 3*s = 26144. Is c a prime number?
True
Suppose 28 = 3*f + 13. Suppose 1964 = f*v - 351. Is v a prime number?
True
Suppose -6*g + 5542 = -8636. Is g prime?
False
Is ((-6)/(-18))/((-2)/(-112956)) a prime number?
False
Let t = -5 - 10. Let n be (0 - t)/((-33)/(-22)). Suppose 0 = -4*l, -5*l + n*l = f - 38. Is f composite?
True
Let f = -16 - -31. Suppose 2*g = -4*w - 20, 2*g + 3*w + f = -1. Let o(t) = 31*t**2 - 3*t - 3. Is o(g) a composite number?
False
Suppose -4*h + 3*p = 1731 - 71590, -4*h + 69880 = 4*p. Is h a composite number?
False
Let w(h) = 3*h - 52. Let v be w(18). Suppose -4*n = -2*k - 3872, n - 2*n - 2*k = -978. Suppose 57 = -2*j - 2*x + 1023, -n = -v*j - x. Is j composite?
False
Is (583/22)/((-2)/(-188)) prime?
False
Suppose -2*k + 5 = 3*a, 0 = 2*a - 3 + 1. Let x(h) = 671*h + 2. Is x(k) prime?
True
Let w(p) = 0*p**2 - 4*p**2 + 6*p**2 - 3*p**2 + 1901 + p. Is w(0) a prime number?
True
Let b(p) = 103*p + 3 - 2 + 9. Is b(3) composite?
True
Suppose -58*i - 3*i = -3361283. Is i a composite number?
False
Let h be 1/6 - 781/(-66). Suppose -h*s + 11*s + 769 = 0. Is s a prime number?
True
Suppose 0 = 5*g - 2*q + 7*q, q = -5*g. Let y be (10 + g)/(9 - 7). Suppose y*v - 256 - 1009 = 0. Is v a composite number?
True
Suppose 3*b - 2 = 4*b. Is 1617/22 - 1/b composite?
True
Suppose 5*z + 8*x = 6*x + 12057, 3*x = z - 2408. Is z prime?
True
Let h(j) = -j - 4. Let l be h(-5). Let v(d) = 0 - 19*d**2 + 64*d**2 - 1 + 13*d**2 + 2*d. Is v(l) a composite number?
False
Let k(i) = 2197*i + 11. Let b(o) = -1098*o - 5. Let n(s) = -7*b(s) - 3*k(s). Is n(1) a composite number?
False
Is (((-112314)/(-15))/(6/(-15)))/(-1) a composite number?
False
Suppose 0 = -17*v + 14*v + 1395. Let k(d) = -2*d**3 - d**2 + 2*d - 4. Let w be k(-5). Let q = v - w. Is q composite?
True
Let q(s) = -12*s**3 + 2*s**2 - 9*s - 16. Is q(-5) prime?
True
Let w(c) = 2*c - c**3 + 8*c**2 + 3 + c + 5*c**2 - 5*c. Is w(11) a prime number?
True
Suppose b + 8 = -1. Let v be 2/9 - 7/b. Is (260 - v)*(-1 - -2) composite?
True
Suppose -3*d = -20 - 43. Let i = d - 7. Suppose -3*k - 16 = -z, -4*z + 5*k = -i - 29. Is z composite?
False
Let d(j) be the first derivative of -102*j**2 + j - 9. Is d(-1) prime?
False
Let j(s) = -9*s - 7. Let k be j(-3). Let y be (k/5)/(-8)*0. Suppose y*i - 3*i = -2283. Is i a prime number?
True
Suppose -81 = 4*h - 3*u, 0 = 3*h + 4*u + 49 + 43. Let m = 115 + h. Is m composite?
True
Suppose 5*m - 39542 = -13677. Let r = -752 + m. Is r a prime number?
True
Suppose 5*k = -o + 3303, 4*k - 4*o = -739 + 3367. Suppose -5*c = -1325 - k. Is c a composite number?
False
Let i(d) = 230 + 31*d**2 - 27*d - 201 - 2*d**3 - d**3 + 2*d**3. Is i(22) a composite number?
True
Let g(d) = -1360*d - 1. Let u be g(-1). Is u + 4/((-4)/2*-1) prime?
True
Suppose -2*l - j = -7634, -5*l + 19063 = 3*j - 6*j. Let h = l + -2469. Is h composite?
True
Let a = -5 - -12. Suppose 6 = 4*p - a*p. Is (-8)/16 - 527/p composite?
False
Let j(k) = -19*k - 15. Let v be j(-11). Is v*4*20/32 composite?
True
Let w(l) = -4*l - 8. Let a be w(-7). Let r(y) = 5*y - 3. Let g be r(-2). Let o = g + a. Is o composite?
False
Suppose h + 5*l = 6753, -2*l - 14377 - 12591 = -4*h. Is h prime?
False
Is (-12 + 8)/(1 + 3906/(-3898)) composite?
False
Let a(s) = -s**2 - 6*s + 10. Let b be a(-6). Suppose 3 = -3*n, -2*x + b = 3*x + 5*n. Suppose -x*w + 7*w = -2*q + 846, q = 1. Is w prime?
True
Let n(j) = j**3 - 7*j**2 - j - 22. Let o(l) = 13*l**2 - 4*l. Let z be o(1). Is n(z) a composite number?
False
Is (-15819)/(-162)*9*2*3 a composite number?
False
Is ((-60286)/(-86))/((-1)/(-23)) prime?
False
Let m = 28889 + -15598. Is m a composite number?
False
Suppose -3*h = -0*f - 4*f - 237, -h + 79 = 4*f. Is h a composite number?
False
Let b(l) be the second derivative of 7*l**3/2 - l**2/2 + 13*l. Is b(8) a prime number?
True
Suppose -3*o + x = -76269, 5*o - 43*x + 38*x = 127115. Is o a prime number?
True
Suppose 9*c - c = -3816. Is 12/(-18)*c/2 a composite number?
True
Let r be 16/(-12)*(-3)/2. Is (2/4)/(r/2292) composite?
True
Let h be (15 - 13) + 18/(-2). Let t(d) = d**2 - 11*d - 11. Is t(h) a composite number?
True
Let p = -6928 - -13989. Is p prime?
False
Suppose -3*d + 57 = 3*c, 3*c + 3*d - 59 = -d. Let r = 21 - c. Suppose -p - l + 18 - r = 0, 5*p = l + 52. Is p a prime number?
True
Suppose 139*d - 137*d - 8302 = 0. Is d a prime number?
False
Suppose 585 = 3*y - 1227. Suppose y = -2*k + 1598. Is k composite?
True
Suppose 6*h - 14482 = 5312. Is h prime?
True
Suppose 3*t - 3*y - 36 = 0, t = -3*y + 13 - 5. Is (2/2)/(t/8107) a composite number?
True
Let o = -14103 + 9497. Let t = 7185 + o. Is t a composite number?
False
Suppose a + 1795 = 3*o, 597 - 2389 = -3*o - 2*a. Let s = 891 - o. Is s a prime number?
True
Let t = 25 + -29. Is (5 - 7)*358/t a composite number?
False
Let l(g) = 12*g + 39. Is l(4) prime?
False
Let f(n) = -3*n**2 + 5*n - 10. Let i(l) = 2*l**2 - 4*l + 10. Let a(g) = -3*f(g) - 4*i(g). Let m be a(0). Let j = 153 - m. Is j composite?
False
Suppose -k = 5*z + 34, -2*z - 11 = -1. Let i = k - -12. Is 161 - (6/i)/(-1) a composite number?
False
Suppose 5347 = c - 4*z - 123, c - z - 5485 = 0. Let t = c - 2251. Is t a prime number?
False
Let t = -108 - 344. Let f = t + 1841. Is f a prime number?
False
Let w be 2/5 + (-21)/15. Is -1*(w + 3 - 769) composite?
True
Suppose -5*p + p + 232 = 2*z, -3*p - 116 = -z. Suppose u + z = 367. Is (-4 - -1)*u/(-3) composite?
False
Let x(g) = -5 - 11*g + 10*g**2 - 4*g + 2*g - 2*g. Let n(t) = 9*t**2 - 14*t - 4. Let p(c) = 7*n(c) - 6*x(c). Is p(6) prime?
False
Suppose 6 = 2*n - 0*n. Suppose -n*s - s - 140 = 0. Let r = 61 + s. Is r composite?
True
Let l(z) = 10*z**2 - 8*z + 5*z**2 + 15 + 5*z + 4*z. Is l(5) prime?
False
Let n be (5492 + (-3 - 0))/(1/3). Suppose -3*j + n = -0*j. Is j a prime number?
False
Let v(u) = 23*u + 20 + 5 - 5*u + 11*u. Is v(8) a composite number?
False
Let a(d) be the third derivative of 11*d**4/24 - 2*d**3/3 + 2*d**2. Let v be a(6). Is (v*1)/(0 - -2) prime?
True
Suppose 3122 = 4*l + 3*l. Let v = -255 + l. Is v composite?
False
Let c = 12097 + 2826. Is c a composite number?
False
Suppose 4*z - 20 = -t, 3*z - 4*z = -2*t - 14. Let v(b) = 25*b + 2. Let l be v(z). Suppose -c - l = -5*c. Is c composite?
True
Suppose -3*o - 3*p = -99, -3*o - 3 + 102 = 2*p. Let g be (o - (-2 + 2)) + 0. Let a = 59 - g. Is a prime?
False
Let w be (3 - 3)/(-3) - 18. Let o = w - -16. Is 878/3*(-3)/o prime?
True
Suppose -2*z = -4*f - 5*z - 7613, 2*f - 3*z = -3829. Let q = -1276 - f. Is q composite?
False
Suppose 5*b + 22 + 3 = 5*p, p - 3*b - 7 = 0. Let n(j) = -12*j - 80. Let a be n(-7). Suppose 5*z - a*u - 725 = -18, -683 = -5*z - p*u. Is z a prime number?
True
Let m = 7507 + 552. Is m composite?
False
Let r = 25771 + -16992. Is r a composite number?
False