Is y(v) composite?
False
Let v = -10 + 23. Let w(k) = v - 4 + 20*k - 30*k. Is w(-14) a prime number?
True
Suppose -24*j = -137*j + 2747771 + 10765786. Is j a composite number?
True
Let i = -24 - -129. Suppose 0 = 108*m - i*m - 3897. Is m a composite number?
True
Suppose 13*h = 97 + 33. Suppose -3*x + 5848 = 2*q, -h = 4*x - 2. Is q composite?
False
Let d be (-1690)/(-9) - (-46)/207. Suppose 85 = 7*m - d. Is m a prime number?
False
Let c(h) = 790*h**3 - 6*h**2 + 8*h - 3. Let n be c(3). Suppose w - 4*k - 7115 = 0, 4*w - 7*w - 4*k + n = 0. Is w prime?
True
Suppose 23*k = 39*k - 98304. Suppose 4*b + k = -j + 5*j, -4*b = -2*j + 3070. Is j composite?
True
Suppose -2*p = -360 - 278. Let j be -1*(-7)/(7/108). Let s = p - j. Is s a prime number?
True
Let a(m) = -3*m**3 - 15*m**2 + 253*m - 32. Is a(-29) a composite number?
True
Suppose 13*g = -12*g - 6*g + 3220621. Is g a prime number?
False
Let n(r) = -r + 17. Let m be n(14). Let y be m/(9/(-12)) - 945. Let l = 1830 - y. Is l a composite number?
True
Let j(b) = -398*b + 6. Let r(y) = 401*y - 5. Let u(q) = 6*j(q) + 7*r(q). Is u(2) a composite number?
False
Let u(v) = 52*v**3 - 92*v**2 - 30*v + 45. Is u(13) prime?
False
Let f(d) be the first derivative of -33*d**2/2 + 31927*d + 164. Is f(0) a composite number?
True
Is -1*(6/(-16) + (-6)/48)*506854 prime?
True
Is 134358/24 + 12/16 composite?
True
Let k(c) be the second derivative of 5/3*c**3 - 21*c + 0 - 1/4*c**4 - 11/2*c**2 - 1/20*c**5. Is k(-10) a composite number?
True
Let j = -916322 + 1515007. Is j a composite number?
True
Suppose 66*y + 42 - 996810 = 202386. Is y a prime number?
True
Let h = 18844 - 5071. Let f = 5066 + h. Is f a composite number?
False
Suppose -2*h = 2*t - 5*h - 8, -t - 4*h + 4 = 0. Let r be (-150)/(-9) - t/(-12). Suppose -r*d + 4*d = -4745. Is d composite?
True
Let j be 30/(-165) - 15822/(-22). Let v = j - 340. Suppose -3*i - 225 = -3*t, -4*t - t + v = -3*i. Is t a prime number?
False
Let s = 303933 + -139052. Is s composite?
False
Suppose -i - 2*u + 1 = -9, 0 = 3*i + u - 45. Suppose 14 = -2*d - 4*z, -z - i = 5*d + 10. Is (-2)/d + 5142/(-20)*-6 a composite number?
False
Suppose -4*r - 3*c - 3 = 102, 0 = -r + 4*c - 12. Let j = r + 24. Suppose j = w - d - 3*d - 51, -3*w - 3*d = -93. Is w a composite number?
True
Suppose 0 = 4*p + 12, -2*x + 4*p + 814 = 2*p. Suppose 1495 + x = 3*q. Is q a prime number?
False
Suppose -2*o - 7 = -13. Suppose n = 5*h + o + 2, 0 = -5*h - 4*n - 30. Let k(a) = -129*a**3 + 3*a**2 + 3*a + 1. Is k(h) a composite number?
False
Is 20/30 - (-1528723)/21 prime?
True
Is ((-1516108)/132)/((-16)/12 - -1) composite?
False
Let f(m) = m**2 + 5*m - 5. Let x be f(-6). Let g(s) be the first derivative of 119*s**3/3 + s**2/2 - s + 142. Is g(x) prime?
False
Let r(p) = 38*p + 74. Let c be r(-3). Let m = 251 - c. Is m a prime number?
False
Let t = 34 - 42. Let d(n) = -51*n**3 - 21*n**2 - 23*n - 17. Let m(w) = -17*w**3 - 7*w**2 - 8*w - 6. Let o(i) = t*m(i) + 3*d(i). Is o(-4) prime?
False
Let a(s) = 33308*s + 67. Is a(10) prime?
False
Let t be (-15429)/(-9) + 8/(-6). Let s = -779 + t. Let m = s + -431. Is m prime?
True
Let h(j) = -41827*j + 18. Let d(c) = 20913*c - 10. Let w(g) = -11*d(g) - 6*h(g). Is w(1) a prime number?
True
Let p(n) = -173*n - 37. Let g(f) = f**2 - 7*f + 12. Let b be g(9). Suppose 5*h + b = 2*h. Is p(h) prime?
True
Suppose 4*a - 1334 = 2*g - 4*g, 3*a - 1014 = 3*g. Is a prime?
False
Let l(n) be the first derivative of 7*n**4/4 + 10*n**3/3 - 13*n**2/2 - 17*n + 9. Is l(9) prime?
True
Let d(m) = -m**3 + 59*m**2 - 535*m + 39. Is d(36) a composite number?
True
Let w(q) be the third derivative of -31*q**4/12 - 19*q**3/6 - 4*q**2 + q. Let c(a) = -a**3 - a**2 + a - 6. Let t be c(0). Is w(t) a prime number?
True
Suppose -7*i - 2 = 19. Is (-5232)/(-9) + (1/i - 0) prime?
False
Suppose 0 = 4*o + 5*i - 1901403 - 366753, 4*i = 5*o - 2835113. Is o a prime number?
False
Let q = 304 - 481. Let p = q + 824. Is p a composite number?
False
Let n(t) = 39*t**3 + t**2 + t - 6. Let s(o) = -2*o**2 + 2*o + 7. Let h be s(3). Let w be n(h). Let q = -2882 - w. Is q a prime number?
True
Suppose v = -3*f + 100773 - 16874, -419447 = -5*v - 3*f. Is v a composite number?
True
Let i be (0 + 252/15)/((-22)/(-110)). Is 28330/(i/45 - (-2)/15) a composite number?
True
Let w(n) = 7144*n**2 + n - 23. Is w(6) composite?
True
Suppose 76 + 8 = 4*t + 4*w, 100 = 5*t + 4*w. Let g = 15 - t. Is (2*g/(-3))/(20/14730) composite?
False
Let w be 0*(-5)/90*-6. Suppose -5*g = 7*j - 5*j - 10953, -3*j - g + 16410 = w. Is j a prime number?
False
Suppose -b + g + 7 = -0*b, 5*g + 32 = 4*b. Suppose -c + j + b = -1, 4 = 4*c + 2*j. Is 606/c + 3 + 1 a prime number?
True
Is (225/135)/((-2)/(-81762)) prime?
False
Suppose -3*c = -21 + 9. Suppose -13*j + 75195 = -c*j. Suppose 2*h + h = j. Is h a composite number?
True
Let f be (9/(162/(-6201)))/((-1)/(-2)). Let g = 56 - f. Is g composite?
True
Let b = -337 - -341. Suppose -b*n - 4*d + 25932 = -1280, -34035 = -5*n + 5*d. Is n prime?
False
Let q(k) = 10*k + 26. Let v be q(9). Let g = v - 114. Is (-2)/4*g/3*-2631 a composite number?
False
Suppose 425*f = 406*f + 3424009. Is f a composite number?
False
Let o(c) = c**2 + 18*c + 85. Let n be o(-9). Is (-8 + n)/(32/(-50744)) a prime number?
True
Let g(h) = 1663*h**2 + 72*h + 597. Is g(-10) a composite number?
True
Let i(w) = -968*w + 61. Let l be i(-18). Suppose -9*v + 11162 = -l. Is v composite?
True
Let t = 104 - 102. Let w = 79 - -698. Suppose t*h = -o + 241, -4*o + 169 = 2*h - w. Is o composite?
True
Suppose -163 = -2*w + 4*g + g, -w - 5*g = -89. Let q = -80 + w. Is q prime?
False
Let n(p) = -58*p**2 - 17*p + 10*p + 13 - 5*p. Let h(b) = 19*b**2 + 4*b - 4. Let k(d) = 7*h(d) + 2*n(d). Is k(5) a composite number?
False
Suppose -q - 2*d = 11, 5*q + 0*q - 5 = 2*d. Is (4107 + q)*5/10 a prime number?
True
Let w = 28 - 26. Suppose 1747 = w*s + 5*y, 4*y + 5040 = 5*s + 590. Is s a prime number?
False
Let l be (-1 - -7) + (-13)/13. Is 0/l - 2/(4/(-2302)) a composite number?
False
Let p(r) = -r**2 + 29*r - 16. Let g be p(28). Let o(w) = -w + 18. Let k be o(g). Let d(u) = 14*u**2 + 6*u - 19. Is d(k) a prime number?
True
Let r be (7/2 - 5)*-4. Suppose -r*i = 1575 - 34665. Is i composite?
True
Let f(p) = 36*p**2 + 101*p + 1192. Is f(-18) a prime number?
False
Let d(u) = 10*u + 130. Let g be d(-13). Suppose -28*t + 6662 + 28590 = g. Is t a prime number?
True
Let f = -482 + 862. Suppose 0 = -5*o - f + 1565. Is o a prime number?
False
Let n = -4693 + 924. Let m = n - -6853. Suppose -4*k = 4*c - m, 6*k - k + 2281 = 3*c. Is c a composite number?
True
Suppose 8*n - 44 - 12 = 0. Let d be ((-6)/n)/(78/(-364)). Is (-1506)/(-21)*14/d prime?
True
Suppose 7267857 = 131*q - 27*q - 20841367. Is q composite?
True
Suppose 0 = 19*h - 25*h + 12. Suppose h*v - 1630 = -3*s, -3*v + 3*s + 716 = -1744. Is v composite?
True
Let c(z) = z**3 + 18*z**2 - 18*z + 10. Let t be c(-19). Is (2 - -10098)/2 + t + 10 prime?
True
Let g = -13 + 13. Suppose g = 5*c - p - 5301, -4264 = c - 5*c - 5*p. Let m = -498 + c. Is m a composite number?
False
Let b be (-4418)/2 - (-18)/3. Let i(l) = 840*l**2 + 4*l + 2. Let z be i(-2). Let h = z + b. Is h a prime number?
True
Let v(q) = q**3 - 22*q**2 + 32*q + 9. Let z be (-1 - -18) + 2 + 3. Is v(z) a composite number?
True
Let h = -93537 - -183568. Is h composite?
False
Suppose 0 = -6*s + 7275 - 945. Is s prime?
False
Is 93058 + 9 + (128/8)/(-2) prime?
True
Let h = 426 + -426. Suppose h = 97*v - 68*v - 710239. Is v prime?
False
Suppose 2*h - 5*q - 93 = -0*h, -3*q = -3*h + 117. Let z be h/(-119) - (-122)/(-14). Is 2/z + (-11520)/(-81) a composite number?
True
Suppose 3*v = h - 1, 0 = -3*v - 2*v - 2*h + 2. Suppose -4*c + 5*y + 1516 = v, 3*y = 2*c - 129 - 629. Is c a composite number?
False
Let r(a) = 2579*a**2 - 9*a - 9. Is r(-1) composite?
False
Suppose -8*z = 5*z - 9*z. Suppose 9 = -5*r + 2*r, 2*u - 3*r - 5543 = z. Is u a composite number?
False
Suppose -2*u - 9*a + 8*a + 35444 = 0, -16 = 4*a. Suppose -2*d - 2*p + u = 0, -4*d - 5233 = p - 40666. Is d composite?
True
Let q(i) be the first derivative of 2*i**3 + 4*i**2 - 27*i - 32. Let n be q(17). Suppose -4*v = -5*f - n, 647 + 1647 = 5*v - 3*f. Is v composite?
False
Let o be 1646/6 - (-2)/3. Suppose 6010*q - 6000*q = 1090. Let x = o - q. Is