 = 3*u - 0*h - w. Is u composite?
True
Let m = 4490754 + -2593697. Is m a composite number?
False
Let h(s) = -2280*s - 191. Let u(v) = -1520*v - 127. Let w(a) = 5*h(a) - 8*u(a). Is w(6) a composite number?
False
Let q = -1536 + 713. Let r = 870 - q. Is r prime?
True
Suppose 0 = n + 125 - 131, -2*r = -4*n - 603140. Is r prime?
False
Suppose -5*x + 13979 = 3*j, -j + 2987 + 1680 = -2*x. Let h = -1312 + j. Suppose h = y + 2*y. Is y a composite number?
False
Let u be (-24 - -23) + 12688 + -2. Is 1 - (3/(-1) - u) prime?
True
Suppose k + 3*k - 8 = 0, -q + 12007 = 2*k. Let x = q + -6958. Suppose -4*h + 6734 = -4*m + m, -3*h + 5*m + x = 0. Is h a composite number?
True
Let a = -91 + 116. Let r(b) = -5*b**2 - 150 - 2*b**3 + b**3 + 136 + a*b. Is r(-11) a composite number?
True
Let u(l) = -l**2 - l - 2. Let z be u(0). Let n(v) = -1632*v - 1. Let q be n(z). Suppose 2*g - q = -137. Is g composite?
True
Let g(y) = 5*y - 18. Let o be g(4). Suppose -2*v - o = 2*n - 0*v, 4*v - 6 = -2*n. Is -1039*(3 + n - -1)/1 prime?
True
Let d(b) = -b**3 - 5*b**2 - 2*b - 10. Suppose -3*l = 3*v + 12, 0 = -3*l + v - 0*v - 16. Let r be d(l). Is (1812/(-1) + (r - 2))/(-2) a prime number?
True
Let m = 20 + -3. Suppose 5*n - 48 - m = 0. Suppose n*a + 1195 = 18*a. Is a a composite number?
False
Suppose -395469 = -5*q - 18*j + 17*j, -2451899 = -31*q - 4*j. Is q a prime number?
False
Let q be 3/9 + 44106/9. Let n = 2916 - 5668. Let z = q + n. Is z a prime number?
False
Let m = -92 + 59. Let p(d) = -105*d + 82. Is p(m) prime?
True
Let a = -43 - -94. Let l = a + -47. Suppose -i + 779 = l*i + 3*v, 2*i - 320 = 3*v. Is i a composite number?
False
Let d(i) = -i**3 - 12*i**2 - 21*i + 17. Let k be d(-10). Is 8557*4 - (-30 + k) a prime number?
True
Let a = 149437 - 71541. Suppose -176022 = -14*l + a. Is l a composite number?
True
Let o = -26535 + 225728. Is o prime?
True
Let w = 79 + -644. Is w/(-20)*2*382 a composite number?
True
Let o = 38867 + -7344. Is o prime?
False
Let i = 418 + -397. Suppose 3*t + 3*q - 1125 = 0, 23*t = i*t - 4*q + 742. Is t composite?
False
Let q be 13788/(-42) - (-5)/((-70)/(-4)). Let w = 497 + q. Let n = w - 42. Is n prime?
True
Suppose 0 = -2*c - 131 - 2983. Let b = c - -2614. Is b composite?
True
Let q = 594354 + -338467. Is q composite?
False
Let h = -57568 - -18595. Is h/220*-8 - 2/10 prime?
False
Let z(k) = -61290*k + 377. Is z(-8) composite?
False
Let f = 28 + -24. Let k be (-2)/((40/4805)/f). Is 2 - k - (2 - -2) composite?
True
Let g = -15 - -12. Let w(x) = -311*x**3 - 3*x**2 - 9*x - 7. Let k be w(g). Is 11/((-33)/(-2)) - k/(-6) prime?
True
Suppose 65 = -2*v - 93. Suppose -2*o + 2594 = -2*p, -14 = 5*p + 11. Let x = o + v. Is x composite?
False
Suppose -5*n = -2*b + 229118, 4*n - 5*b - 7385 + 190676 = 0. Let f = n - -83469. Is f a prime number?
False
Let v(h) = 6*h**2 - 5*h**2 + 3*h + 150 + 893. Is v(0) composite?
True
Suppose 6*l = -2*k + 2*l - 18, -12 = 3*k + 3*l. Is 8/(-12)*k*(-7809)/2 a composite number?
True
Suppose 3*a - 26 = 2*c, 8*c - 5*c + 4*a + 56 = 0. Let g(z) = -2*z**3 - 19*z**2 - 19*z - 21. Is g(c) a composite number?
True
Let z(m) = 155*m**3 - 2*m**2 + 11 + 0 - 154*m**3 + 4*m. Let c be (-5)/(-10) - (-23)/2. Is z(c) prime?
True
Suppose 0 = -2*p - 4 - 0, -2*p - 16 = -3*i. Is 9/18 + 9834/i a prime number?
True
Suppose 12*d - 468 - 9192 = 0. Let s = d - -408. Is s prime?
True
Let g be -4035 + 24/6 + 1. Let r = 15561 + g. Is r a composite number?
True
Suppose -15131 - 247977 = -2*z. Is z a composite number?
True
Is (-749745200)/(-1136) - 2/(-71) a composite number?
True
Let t(k) = -1494*k**3 + 17*k**2 + 2*k - 103. Is t(-6) a composite number?
False
Suppose h + 18253 = 2*h + u, 36520 = 2*h - 5*u. Suppose 0 = 105*c - 100*c - h. Is c a composite number?
True
Let i(g) = g**3 + 30*g**2 - 71*g + 19. Is i(-30) a composite number?
True
Let f(w) = 490*w + 7. Let x(g) = -2451*g - 34. Let n(y) = 11*f(y) + 2*x(y). Let q be n(3). Suppose z + 2*z - q = 0. Is z a prime number?
True
Suppose -6*b - 2*b = -104. Let s(i) = i**3 - 6*i**2 + i - 7. Is s(b) a composite number?
True
Let m(j) = 14553*j - 676. Is m(15) a prime number?
True
Suppose -k - 11 = 13. Let p(t) = -7*t**2 - 37*t + 23. Let x(r) = 8*r**2 + 38*r - 23. Let u(c) = 7*p(c) + 6*x(c). Is u(k) a composite number?
False
Suppose 227*s = -188*s + 108*s + 166592629. Is s a composite number?
True
Let a be (-48)/168 - 59252/(-14). Suppose -2*p + 5*w + 4224 = 0, 2*p + 3*w = 4*w + a. Is p a prime number?
False
Suppose 11*k - 3*k + 147853 = 1167701. Is k a composite number?
False
Let q = 8895 + -6175. Suppose -8*v - q = -22312. Is v a composite number?
True
Suppose -3*w - r + 236 = r, 0 = -4*r + 16. Let z(n) = n**2 + 6*n - 7. Let y be z(-6). Let o = w + y. Is o a prime number?
False
Let f = 316 + -314. Suppose 67 = 3*y - 4*v - 706, 0 = -2*v + f. Is y composite?
True
Is 5166/3 + -3 + -13 prime?
False
Let d(u) = 3*u**2 - 3*u + 2. Let g be d(1). Suppose -5*j + 4*j - g = 0. Is 7*-2*211/j a composite number?
True
Let d = 1335 + -1315. Suppose 2*u - 2*r + 1042 = 0, -6*u = -u + 5*r + 2625. Is d/5 - 6 - u a composite number?
False
Let n(t) = 12*t + 58. Let l be n(-5). Is l - -9 - 139815/(-13) a composite number?
True
Suppose 5*l = 2*r - 30, 13 = 5*r - 3*l - 24. Suppose 20 = -4*y, -r*n + 6*n + 5*y = 9228. Is n composite?
True
Let f(q) = -q**3 - 12*q**2 - 40*q - 17. Let u be f(-6). Suppose -4*t = w - 1125, -4*t = 3*w - u*t - 3435. Is w a prime number?
False
Let r be (68/(-4))/(-3 - (0 - 2)). Let z = r + -13. Suppose -z*s - s = -26635. Is s a composite number?
True
Let l(c) = 1455*c**2 - 31*c + 13. Is l(5) a composite number?
True
Let v be (-66)/4 - 13/26. Let s be (-1 - -2)*-2 - (-19 - v). Let l(o) = o**2 + 7*o + 298. Is l(s) a prime number?
False
Let u = -831 + 834. Suppose -3*j + 21813 = 4*z - 662, 0 = -2*j - u*z + 14983. Is j prime?
False
Suppose -23*s + 18*s + 3*r = -1, r - 1 = 3*s. Is (s/3)/(9/(765963/(-11))) composite?
False
Let y(o) = -2*o**3 - 15*o**2 - 6*o + 16. Let d be y(-7). Suppose d*z - 11*z = 3*i - 27988, 0 = -z - 4*i + 13999. Is z a composite number?
True
Let n = -285 - -287. Suppose -3*j + n*o + o = -132489, -4 = o. Is j a composite number?
False
Suppose -b - 12*b - 3952 = 0. Let z be 1*10*b/32. Let o = 214 + z. Is o prime?
False
Suppose -3*c - 312130 = -5*k, k - 29317 = 4*c + 33126. Is k prime?
True
Is 1 - 1287215/(-45) - (-36)/162 a prime number?
False
Let x(k) be the second derivative of k**5/20 + 2*k**4/3 + 7*k**3/6 - 5*k. Let v be x(-7). Suppose -4*q + p = -7952, 0 = -v*p + 4*p + 16. Is q prime?
True
Suppose 89 - 81 = 4*m. Suppose m*k - 17089 = -3*y + 5117, -5*k + 55553 = -2*y. Suppose 0 = -3*a - 1326 + k. Is a prime?
False
Suppose 82*q - 88*q + 365154 = 0. Is q prime?
True
Let k(d) = -d**2 - d + 161. Let c be k(0). Let m be (4/(-6) + 0)*30/(-10). Suppose x + c = m*x. Is x a composite number?
True
Let n = -92073 + 175276. Is n composite?
False
Suppose -32 - 4 = 4*p, -p + 28865 = 2*c. Is c a prime number?
True
Let o be 3/(-2)*(-68)/6. Suppose -i + 2*i + 5*u - o = 0, 0 = -5*i + 5*u - 5. Suppose i*w - 3*w + 1067 = 3*v, 10 = 5*w. Is v a prime number?
False
Let a = -4801 + 82432. Is (-9)/(-18) - (2 - a/6) a prime number?
False
Let n = -17318 + 29597. Suppose -17626 - n = -5*x. Is x a composite number?
False
Let g(o) = 11*o - 73. Let r be g(-17). Let u = r + 801. Is u a prime number?
True
Let q(u) = 54779*u - 879. Is q(2) a prime number?
False
Let n(u) be the third derivative of u**6/120 + 7*u**5/20 + 2*u**4/3 + u**3/2 + 3*u**2 - 6*u. Let r(q) = -q**3 + q**2 - q + 1. Let o be r(3). Is n(o) composite?
False
Suppose -8*a + 4 = -6*a + u, -a + 4*u = -11. Let n be (1 - a)/(3/744). Let v = -297 - n. Is v prime?
True
Is ((-10)/35 - 1107/(-126))*6134 composite?
True
Let n = -841559 + 1684108. Is n composite?
True
Suppose 0*k + k - 10545 = -3*z, -5*z = 5. Suppose 0 = -5*q + 14*q - k. Suppose 4*c - 4272 = q. Is c a composite number?
False
Let h(v) = 3*v**3 - 135*v**2 - 63*v + 65. Let b be h(43). Let m = b - -20507. Is m a composite number?
True
Suppose 14*i - 20559 - 105220 = 149167. Is i a prime number?
False
Suppose 15*p + 163 = -152. Let y(l) = 2*l**3 + 50*l**2 - 10*l - 31. Is y(p) a composite number?
True
Suppose 8*a - 462811 = -t - 96501, -5*t = 3*a - 1831661. Is t prime?
False
Suppose -4*p + 573 = -5*q, 5*p - 729 = 