d) = 120*d - 11. Is r(q) composite?
False
Suppose 3*y = -2*d - 0*y + 5531, -4*y = -4*d + 11072. Is d composite?
False
Let h = -1691 + 6258. Is h composite?
False
Suppose 0 = -79*c + 84152 + 23999. Is c composite?
True
Suppose -18*x + 15*x = o - 6653, 3*o + x - 19927 = 0. Is o prime?
False
Let j(b) = -b**2 + 4*b - 2. Let s be j(4). Let k(a) = 5*a**2 - 3*a. Let w(m) = -10*m**2 + 7*m. Let n(h) = 5*k(h) + 2*w(h). Is n(s) prime?
False
Suppose -5*g + 4*g = 3, 0 = -4*k - 2*g + 5666. Is k a prime number?
False
Let g = 119 - -92. Is g a composite number?
False
Let t(r) = r + 15. Let y be t(-12). Suppose 3*i - 2*d - y = -4, -4*d = 2*i - 10. Suppose 4*g = -s + 278, -3 + i = -s. Is g a composite number?
True
Let n be (2/4 + 1)*(3 - 1). Suppose 6962 = 5*f + n*p, -3*p - 1475 = -2*f + 1314. Is f prime?
False
Suppose -4*h + 6*h - 5*p = 6848, -4*h + 13682 = -3*p. Is h prime?
False
Let z be (-3 - -2) + (230 - 1). Let r(w) = w**3 + 7*w**2 + 4*w - 10. Let i be r(-6). Suppose -238 - z = -i*v. Is v a prime number?
True
Suppose -8754 = 23*k - 29*k. Is k a prime number?
True
Let b(g) = -g**3 + 22*g**2 + 17*g - 9. Let s be b(24). Is (44/12 + -4)*s prime?
True
Is (-1)/(131747/21959 - 6) prime?
True
Is (-4)/6 - 9140/(-3) a composite number?
True
Let a = 978 + 1289. Is a prime?
True
Let l(n) = 5*n - 12. Let v be l(6). Let w = -16 + v. Suppose -4*g - 3*b + 655 = 0, b + 816 = 5*g + w*b. Is g prime?
True
Let l(z) = 27*z**2 - 9*z + 13. Is l(-18) prime?
True
Let h be 16/6 + (-1)/(-3). Suppose 4*f + b - 841 = 0, h*f + 2*b = 280 + 347. Is f a prime number?
True
Let m(x) = 6437*x + 144. Is m(5) composite?
True
Let v be -3 + 17065 + (-1 - -2). Suppose 0 = 5*l + 4*a - v, 2456 = -3*l - a + 12698. Is l a composite number?
True
Suppose -8*h + 18685 = -1611. Is h composite?
True
Let q(c) = -c - 6*c + 0*c**3 + c**3 - 7 + 10*c**2. Suppose -2*x - x - 29 = 4*o, 14 = -2*o - 2*x. Is q(o) prime?
False
Let g be (3/(-6))/(3/(-12)). Let t(p) be the first derivative of 39*p**4/4 - 2*p**3/3 + p**2/2 + p + 2. Is t(g) prime?
True
Suppose -5*l = -3*b - 1742, -8*l - 577 = b - 6*l. Let t = 1498 + b. Is t composite?
False
Let x(y) = 99*y**2 + 18*y - 7. Suppose -3 + 9 = s. Is x(s) composite?
True
Let s(d) = -d**2 + 4*d + 8. Let n be s(5). Suppose f + 5*t = 0, 0 = -2*f + n*f - t - 6. Suppose -y - y + 878 = f*b, -2195 = -5*y - 2*b. Is y composite?
False
Let d be 13*(-1)/((-1)/1). Suppose 0 = -14*p + d*p + 2. Let i(s) = 13*s**3 + 2*s**2 + s + 1. Is i(p) prime?
False
Let s be (24 + 2 + 2)/2. Let l = s - 11. Suppose -2*f - 3*z + 110 = -263, 0 = l*f - 2*z - 579. Is f a composite number?
False
Suppose 0 = 6*j - 20060 - 6154. Is j a composite number?
True
Suppose 5*h = -18 - 2. Is (3 - (-15408)/21) + h/(-14) a composite number?
True
Let o(h) = h**3 + 12*h**2 - 11*h - 5. Let z = 1 + 14. Let r = 3 - z. Is o(r) a composite number?
False
Suppose -103 = 2*w - 3*w. Let g = w + -68. Suppose -3*d - g = -2*u, -3*d - 2 - 3 = u. Is u prime?
False
Suppose -a = 4*q - 2*q - 2173, a + 2175 = 2*q. Is q prime?
True
Suppose -3*q + 27902 = -35*s + 40*s, -2*q + 16741 = 3*s. Is s prime?
True
Suppose -4*s - i = -1690 - 633, 3*i = -2*s + 1159. Is s prime?
False
Let y(q) = -58*q + 37. Suppose 0 = 25*r - 23*r + 30. Is y(r) composite?
False
Let a = -118 - -690. Suppose -391 = 4*s + 1073. Let f = a + s. Is f a composite number?
True
Let r(y) = -3588*y - 125. Is r(-3) composite?
False
Let q(i) = -3*i**3 - 17*i**2 - 9*i + 38. Is q(-11) a composite number?
True
Let l(t) = 27*t**2 + 19. Let r be (12/(-9) - -2)*1*9. Is l(r) prime?
True
Suppose -3*x - x = -12. Suppose 0 = -3*n + 2*s + 2744, 5*n - x*n + 4*s - 1808 = 0. Suppose k = -0*u + 2*u + 231, -4*k + 5*u + n = 0. Is k a prime number?
True
Let v be 4*(-1 + 6/3). Suppose 2511 = v*k - 1765. Is k a composite number?
False
Suppose -1233 = -2*r + 3*y, -r - 4*r + 3105 = -3*y. Let a be -2 + (0 - 0) - r. Let b = 333 - a. Is b a prime number?
False
Let k(t) = 135*t**3 - 4*t**2 + 2*t + 1. Is k(2) prime?
True
Suppose -2*b - 10 = -7*b, -4*z + b + 6 = 0. Suppose -z*r - 115 = -3*r + 2*t, 0 = 3*r + 4*t - 375. Is r a prime number?
False
Let o = 72 - 38. Suppose o = 5*i - 16. Suppose -2*v = -i, u - 191 = 4*v + 46. Is u composite?
False
Suppose 97057 = 3*w + s, 34456 = -5*w - 3*s + 196215. Is w a composite number?
False
Let w be (28/(-8) + 3)*0. Suppose -2*q - 2639 + 7217 = w. Suppose 4*b = -317 + q. Is b a composite number?
True
Suppose 0 = 27*q - 33*q + 56946. Is q prime?
True
Suppose 7*a = 2393 - 342. Is a prime?
True
Let f = 4944 - -1879. Is f composite?
False
Let g = 289 + -162. Suppose 0 = 2*r - g - 595. Let q = r - 150. Is q composite?
False
Let u(c) = -4*c**2 + 5*c + 14. Let m(f) = -f. Let z(q) = 2*m(q) - u(q). Let j be z(-4). Let p = j - 1. Is p a composite number?
True
Suppose -t + 3*m - 2 = 0, -2*t + 3*m - 18 = t. Let k(x) = -x**3 - 7*x**2 + 7*x - 3. Let v be k(t). Suppose -29 = -v*s + 216. Is s a composite number?
True
Let t(r) = -r**3 + 10*r**2 + 12*r - 12. Let m be t(11). Is 316 + m - -4*1 prime?
False
Let l(z) = -9*z - 10. Suppose -m - 6 = -1. Is l(m) a prime number?
False
Let f = 2 + 2. Suppose 0 = -f*g + 7*g - 9378. Is g/4*(-8)/(-12) a prime number?
True
Suppose -195*w + 206*w = 14993. Is w prime?
False
Let i = -2571 + 5432. Is i composite?
False
Let s(y) = -y**3 - 3*y**2 + 4*y + 10. Let q be s(-4). Suppose -11*o + 50 = -q*o. Is (-3)/5 - (-6380)/o prime?
True
Suppose 4*p = -5*v + 13941, -5*v - p + 13948 = -4*p. Suppose 0 = 3*u + v - 6824. Suppose m + 4*m = u. Is m prime?
True
Let k be (-1 + 2)/((-7)/(-294)). Let t = k + -39. Suppose -174 = -2*o - 5*y, o + 206 = t*o - 3*y. Is o composite?
False
Let q(i) = 296*i - 5. Suppose -4*b = -0*n - 4*n + 4, 2*b = -4*n + 16. Is q(b) prime?
True
Let x(m) be the first derivative of 4*m**3/3 + 35*m**2/2 - 82*m - 51. Is x(27) prime?
True
Let s be (-26)/169 - 192378/(-26). Suppose 0 = 5*p - 3*h + h - 7409, s = 5*p + 3*h. Is p composite?
False
Suppose 0 = 2*y + 5*l - 3*l - 4298, 4*l = y - 2169. Is y composite?
False
Suppose 3*m - 2*q = -2*m + 408, -5*m = q - 396. Suppose -5*a = -10*a + m. Is ((-3 - a) + 0)*-1 a composite number?
False
Let i = 134 + 305. Let o = i + -312. Is o a prime number?
True
Let h(u) = 137*u**2 - 1. Let k be h(-1). Let f = k + -73. Suppose -4*p = -p - f. Is p composite?
True
Suppose 2*k - 2 - 2 = -2*l, 4 = -4*k. Let i(s) = 28*s**2 - 3*s + 4. Let q be i(l). Is q + (0 - -2 - 0) a prime number?
False
Let r = 2859 - -21458. Is r a composite number?
False
Is (1 - -1) + (156 - (-12)/(-4)) a composite number?
True
Let o(d) = d**3 - 2*d**2 + 5*d - 6. Suppose 0*r = -4*r + 16. Let a be o(r). Suppose u + a = 3*u. Is u prime?
True
Let i be (-25944)/(-7) + (-2)/7. Let c = i + -1851. Suppose v + c = 6*v. Is v composite?
True
Suppose 2*o + 2*o = 0. Suppose o = -x - 16 - 26. Is (x/(-12))/(2/116) composite?
True
Is ((-421708)/24 + -3)/((-3)/18) a prime number?
False
Let y be (8/7)/(20/70). Suppose -y*s = -s + 108. Is 0 - (s + -2) - 3 composite?
True
Suppose -4*h - 5*y = -10*y - 889, -2*h = -y - 437. Let m = h - 147. Suppose 0 = -n + 5 + m. Is n prime?
False
Suppose 3 = 3*v - 2*v. Suppose v*h = -r - 3 + 17, 0 = 5*h + 5*r - 40. Suppose h*i = -i + 132. Is i prime?
False
Let a(r) be the second derivative of -49*r**3/6 + 3*r**2 + 4*r. Is a(-5) composite?
False
Let m(i) = 25*i**2 - 2*i - 3. Let b be m(-9). Suppose 5*x = -u + b, 5*x = -3*u - 332 + 2382. Is x a composite number?
True
Suppose 93094 = q + q + 4*s, 5*q = s + 232779. Is q a composite number?
True
Is (-2)/(-8) + 7210707/644 a composite number?
False
Let q be 18/((-8)/20 - 0). Let x = q + 148. Is x a composite number?
False
Let k = 2 - -3. Is (351 - k)*(-3 - 34/(-4)) composite?
True
Suppose 152*k = 48*k + 8663096. Is k composite?
False
Let t(o) = -4*o - 12. Let c be t(0). Is (-1796)/c*(-2 - -5) composite?
False
Let n(a) = a**3 - 19*a**2 + 33*a + 19. Let f be n(17). Suppose -y - 6*o + 8*o = -543, -2*y = -f*o - 1088. Is y a composite number?
True
Suppose 6*k - 4 - 26 = 0. Suppose -k*g - 3*s - 11 = 0, g + g + 14 = 2*s. Is (g + (-268)/(-8))*2 prime?
True
Let o(y) = -y + 8. Let j be o(9). Is 52 + 2/j + -1 composite?
True
Let a(s) = -s**3 - 9*s**2 + 2*s + 4. Let y be a(-9). Let d = y - -13. Is (d/(-1))/(4/1676) composite?
False
Let z(w) = -18*w**3 + 4*w**2 - 6*w - 6. Let x be z(-4). Suppose p - x = -315