 5. Let q be (-55)/33 - 2/6. Let w(h) = -2*h**2 + 6*h - 5. Let a(g) = q*f(g) - 3*w(g). Is a(13) composite?
True
Suppose 2*a + 99 - 3758 = -p, p - 5*a = 3659. Is p composite?
False
Suppose 3*c = 30 - 6. Let q = 12 - c. Suppose 5*u - 5*n + 34 = 339, -5*u - q*n = -278. Is u composite?
True
Let g = -94 - -243. Is g a composite number?
False
Let t = 131 - 127. Suppose 3616 = t*h - 4060. Is h a prime number?
False
Suppose -4*o = t - 60, 0 = 2*o - 0*t - 5*t - 8. Is (-12)/42 - (-1194)/o a prime number?
False
Let a(d) = 18*d**3 + 4*d**2 - 4*d + 4. Is a(3) prime?
False
Suppose 4*s + 2 = 5*s. Is (6 - -1037)/(2/s) prime?
False
Let c(r) = -1693*r + 31. Is c(-4) composite?
False
Suppose 3*k - 5*j = 16128, -26*j + 29*j - 10771 = -2*k. Is k composite?
False
Let v = 6728 + -3597. Is v prime?
False
Suppose w - 589 = -110. Is w a composite number?
False
Let k be (-3 + 2)*(-4 + -8248)*1. Suppose 3*z - k = -4*p + 6*z, -p + 3*z = -2063. Is p a composite number?
False
Suppose -2 = -6*k - 32. Is ((-5)/4)/k - (-507)/4 composite?
False
Suppose 3*g = -3595 - 1685. Let k = -573 - g. Is k a composite number?
False
Suppose -3*y + 20*z - 23*z + 44925 = 0, -5*y + 3*z = -74843. Is y composite?
True
Is (-6)/(-27) + ((-40406)/(-18) - 2) prime?
True
Let k(t) = t**3 - t**2 - 3*t - 8. Let w be k(0). Let d(p) = -42*p + 1. Is d(w) a prime number?
True
Suppose -f = 1 + 4, 3*l - 17 = -2*f. Let o = -14 - l. Let n = o - -33. Is n a prime number?
False
Let a be -3 - 1 - (1 - 7). Suppose 4*d - 10 = -a. Suppose -d*r + 4*k + 44 = 0, -r + 3*k = -0*k - 22. Is r prime?
False
Let r(u) = u**3 + u**2 + u. Let w be r(5). Let y = 549 - w. Is y a prime number?
False
Let o = -4 + 9. Let c = o + -8. Is (-1)/(c/66*1) a composite number?
True
Let k(v) = -v**3 + 3*v**2 - 2*v + 2. Let y be k(2). Suppose -y*u + 64 + 36 = 0. Let i = u - 31. Is i prime?
True
Let c = 54 + -82. Is c/70 - (-3554)/10 a prime number?
False
Let w(x) = x**3 + 6*x**2 + 3*x + 2. Let f be w(-11). Let r = f + 1406. Suppose -r = -2*o - 4*d, 0 = 2*o + d + d - 762. Is o a composite number?
True
Let m(w) = 18*w + 64. Let f be m(-23). Let a = f - -1185. Is a a composite number?
True
Let g be 2/(-5)*(1053 + (-3 - -5)). Let s = g + 909. Is s composite?
False
Let r = -13 + 17. Suppose -r*t = 123 - 39. Is (-7)/(t/60) - 1 composite?
False
Suppose 51007 = -219*k + 230*k. Is k a prime number?
True
Suppose 4 = 8*f - 7*f. Suppose 4*l = f*p - 1212, 5*p - 3*l - 466 = 1057. Is p prime?
True
Let p(x) = x**3 + 8*x**2 + 2. Let y be p(-8). Suppose 0 = 5*s + y*k - 1140, -5*s - k + 656 = -484. Let i = s + -115. Is i a prime number?
True
Let i(q) = 9*q**2 - 6*q - 9. Let d be i(8). Suppose -3*c + 3*b + d = 0, -2*b - 2*b - 16 = 0. Suppose 3*m = 176 + c. Is m composite?
True
Let j = -5312 - -9975. Is j composite?
False
Suppose 0 = -5409*c + 5414*c - 96335. Is c prime?
True
Suppose 0 = 6*s + 8*s - 4942. Let u = s - -198. Is u prime?
False
Suppose -6*t + t + 270 = 5*s, -5*t = -2*s + 101. Suppose 58 = -4*m + 2*n, -m + 5*m + s = n. Is (-25833)/m + (-1)/(-4) composite?
False
Let x = 9 - 11. Is 1 + -5 + 373 + (-4)/x a composite number?
True
Let t be (2 + 2)*11238/8. Let s = t + -2312. Is s composite?
False
Suppose s = -5*x + 5, -s - 6 - 1 = -x. Let t be (-1370)/4*(-4)/5. Suppose 2*f - 556 = -4*y, x*y + f = -f + t. Is y a composite number?
True
Let x(f) = 16*f**2 - 2*f - 1. Suppose -25 = -4*r - 5*u, 0*r + 5*r - 5*u = 20. Is x(r) prime?
True
Let l = 885 + 426. Suppose 3*w - 7837 = -2*u, -w + l = 5*u - 1323. Is w a prime number?
True
Suppose -36*o = -4483141 + 878785. Is o a prime number?
False
Let k be (-28)/(-12) - (-2)/3. Let y be 2/(-7) + 32/14. Suppose k*w - 71 = -y. Is w prime?
True
Let z = -1174 + 2410. Let m = z - 755. Is m composite?
True
Let m(c) = 2674*c + 169. Is m(3) composite?
False
Let c be 8/(-40) + 22/10. Suppose -3*o + 5*y = -3322, 4*o - 4437 = -3*y + c*y. Is o a composite number?
False
Let y(r) = 2*r - 12. Let d be y(7). Suppose -d*z + 81 = -21. Is z a prime number?
False
Let s(y) be the second derivative of 3*y**5/20 - 13*y**4/6 + 2*y**3 - 35*y**2/2 - 8*y + 2. Is s(14) a composite number?
True
Let r = 25201 - 17478. Is r a prime number?
True
Let p(u) = -u**2 + 9*u + 4. Let m be p(6). Is m/77 - (-27702)/14 prime?
True
Let r = -728 + -1507. Is ((-8)/(-6))/((-10)/r) a composite number?
True
Suppose -6 = 4*q - 10. Suppose -2*s - 5 = -q. Is 0 + s + 0 + 115 composite?
False
Suppose -5*j + 3*j + q = -7429, -2*j + 7414 = 4*q. Is j a prime number?
False
Let l(x) be the third derivative of -x**6/120 - 2*x**5/15 - 2*x**4/3 - 2*x**3/3 - 4*x**2. Let d be l(-12). Suppose 0 = 2*t + 2*t - d. Is t composite?
False
Let j(y) = 4*y - 17. Let r be j(7). Suppose t - r = -8. Is t prime?
True
Let b = -5 + -3. Suppose -i + 4*o = -0*o + 34, -4*i = 2*o + 154. Is (2 - (-60)/b)*i composite?
True
Let g = 7 - 4. Suppose s + 4 = x, g*x + 4*s + 16 = -0*s. Is 1/(-2)*(-422 - x) a composite number?
False
Suppose 9 = 3*m + 2*z, 0 = -2*m - 2*z + z + 7. Suppose -2493 = -3*a + m*j - 0*j, 0 = a + 5*j - 831. Is a a prime number?
False
Let b(n) = 26*n**3 + 4*n**2 - 10*n - 4. Let u be b(5). Let k = u + -2181. Is k composite?
True
Suppose -3*b - q = -2887 - 999, -5*q + 3890 = 3*b. Let x = b - 633. Is x a prime number?
False
Let y be 8/(-2) + 4 + -2. Let a = y - -2. Is (-694)/(-6)*3 - a a composite number?
False
Suppose -22*v + 26*v - 7180 = 0. Is v a prime number?
False
Let f = -7121 - -12988. Suppose -3*q + 8*w + f = 9*w, -2*w = -q + 1965. Is q composite?
True
Let o(z) = 26*z**3 - 3*z**2 - 6. Let a be o(5). Let j = a - 1626. Is j composite?
False
Let z = 4499 + 3114. Is z prime?
False
Let s(m) = m**2 + 2 - 6 - m - 3. Let z = 104 - 98. Is s(z) a prime number?
True
Let s(h) = -170*h**3 + h**2 + 2*h - 24. Is s(-5) prime?
False
Is -6295*1/(-3) - 71/213 composite?
True
Let n(a) = 3*a**2 - 17*a - 4. Let b be n(10). Let i = 3035 - b. Is i a composite number?
False
Let t(f) = 109*f**2 - 5*f + 9. Is t(-5) a composite number?
True
Let z be (-2)/(-6) + 6578/3. Suppose 1243 = 4*x - z. Is x composite?
False
Suppose 12*x - 8*x - 3*w - 123964 = 0, 3*x - w - 92978 = 0. Is x a prime number?
False
Suppose 2*t + 2 = 508. Is t prime?
False
Suppose -4*n = y - 1 - 12, 0 = -5*n - 3*y + 11. Let u be (-7)/(n/188*1). Let v = u - -488. Is v prime?
False
Let w(a) = 86*a**2 - 22*a - 129. Is w(-17) a prime number?
False
Let t = 56 - 34. Let v = -20 + t. Suppose -v*l = -0*l - 834. Is l a prime number?
False
Let g(j) = -5*j**2 + 6. Let s(t) = t**2 - t + 1. Let z(c) = g(c) + 4*s(c). Let w be z(-5). Suppose -68 - 7 = -w*o. Is o a prime number?
False
Let w(o) = 2*o + o - 5*o + o + 14. Let m be w(8). Let r(k) = -k**2 + 8*k - 2. Is r(m) composite?
True
Suppose 0 = 2*l - 3*c - 9 - 6, 0 = 4*l - 3*c - 21. Suppose l*y - 5918 = -y + 2*t, 0 = 2*t - 6. Is y a composite number?
False
Let s(a) = 17*a**2 - 1. Let z be s(1). Let w be (6/4)/((-12)/z). Let k(t) = -130*t - 3. Is k(w) composite?
False
Let v = 13 - 73. Let f = 37 - v. Is f prime?
True
Suppose 4*p - 34004 = -2*g + 5*g, -25503 = -3*p - 5*g. Is p a prime number?
True
Suppose 2*f - 257371 = -5*i + 71566, 3*i + f = 197363. Is i a prime number?
True
Is -83 - -19363 - ((-1)/(-1) - -2) composite?
True
Let r(g) = 4*g**2 - g - 8. Let t be r(-6). Suppose 5*f - t - 203 = 0. Is f composite?
True
Let r be -11*(-145 + -2) + -3. Suppose -o - o + r = 0. Is o composite?
True
Let f(v) be the third derivative of -v**6/120 - 7*v**5/60 - 5*v**4/6 + 13*v**3/6 + 8*v**2. Is f(-9) composite?
True
Suppose 2*i - 185799 = 5*x, 0 = 104*i - 99*i - 2*x - 464445. Is i a composite number?
True
Suppose -5*r - 70 = -0*r. Let v(d) = -5*d**2 + 4*d - 3. Let u be v(1). Is (-5621)/(-49) + u/r a composite number?
True
Is (-1657)/(-1) + 4 + -3 - 3 a composite number?
True
Let t(a) = -a**3 - 3*a**2 - 10*a - 21. Suppose -5*s - s - 60 = 0. Is t(s) a composite number?
True
Let f = 70 - -47. Let x(g) = -f*g - 93 + 60 + 52. Is x(-14) prime?
True
Suppose 3*n - 30203 = 152455. Suppose 0 = -9*p - 5*p + n. Is p a prime number?
True
Let l = 35 - 23. Is 3/l + (-30535)/(-20) prime?
False
Let t be 2/(-15) - 184/(-30). Let w(a) = 20*a**3 - 2*a**2 + a + 5. Let q be w(4). Is q/t - (-6)/4 prime?
True
Suppose -8*g - 1335 + 13823 = 0. Is g prime?
False
Let u(c) = -18*c - 3. Let v = -29 + 27. Is u(v) prime?
False
Let m = -6 + 6. Suppose 