o composite?
True
Is 386403/27 + (-16)/72 a composite number?
True
Is (-219294)/(-10) - (-15)/((-525)/14) prime?
True
Let l be 1 - 21472/4 - 0. Let c be l/(-9) - (-1)/(-3). Suppose -2*k + c = -0*k - 2*p, -286 = -k + 5*p. Is k a prime number?
False
Let d be (-10 + -1)/((-2)/(-13236)). Is (d/88)/((-6)/8) a composite number?
False
Let v = -1917 - -2959. Suppose -s - 5*b = -v + 13, -2038 = -2*s - 5*b. Is s prime?
True
Let o(y) = 10*y - 33. Is o(30) a prime number?
False
Suppose -s - 24 = 2*s - y, 3*s + 15 = 4*y. Let p(t) = -147*t + 14. Is p(s) a prime number?
False
Let z be ((-96)/5)/((-2)/40). Let r = 731 - z. Is r a composite number?
False
Let z(o) = -o**3 + 9*o**2 - 3*o + 6. Let q be z(8). Suppose 17 - 7 = a - 5*v, a - 2 = v. Suppose a = -0*l - 2*l + q. Is l a prime number?
True
Suppose -r = -4*r - 198. Let y = 295 - 684. Is (y/3)/(22/r) a prime number?
True
Suppose 5*i - 2*i = -18. Let k(v) = v + 9. Let r be k(i). Suppose 3*q = -o + r*o + 147, 0 = q - 4*o - 59. Is q prime?
True
Let n(f) = f**2 - 17*f - 4. Let b be n(17). Let h(z) = -4*z**3 - 3*z**2 - z - 1. Is h(b) a composite number?
False
Suppose 14 = -z + 4*g, 6*g - 16 = 2*g. Let l(c) = 14*c**2 + 5*c + 3. Let q be l(-3). Suppose -152 - q = -z*a. Is a prime?
False
Let s(o) = -316 - o**3 + 2*o**3 + 62 - o. Let m be s(0). Let z = 465 + m. Is z prime?
True
Suppose 3*x - 8 = -56. Is 8/x + (727/2 - 2) a composite number?
True
Let q = 2361 + 2335. Suppose -n + 9*n - q = 0. Is n a composite number?
False
Suppose 0*z + 5*z - 25 = 0. Suppose 0 = -5*a + 6*r - 2*r + 26, z*a + 4*r + 6 = 0. Suppose 4*g = -4*h + 436, -a*h - 152 = -5*g + 407. Is g prime?
False
Let p = -7 - -11. Suppose -p*j + 2534 = -5*j. Is (-2)/5 - j/10 composite?
True
Let n be ((-9)/18)/(1 - 2278/2276). Suppose 0 = -y - 0 - 2, 5*v = 2*y + n. Is v a prime number?
True
Suppose -17*z = -3812 - 11539. Is (z - -4)*(3 + -2)/1 prime?
True
Let a(v) = v**2 - 12*v + 22. Let h be a(10). Suppose -h*i - i = -426. Is i composite?
True
Let k(q) = -285*q + 169. Is k(-16) composite?
False
Let c = 2662 + -369. Is c a composite number?
False
Let p(c) = 211*c**3 + 2*c**2 - 3*c - 63. Is p(8) a prime number?
False
Suppose -5*p = -2*p - 26508. Suppose 7*x + 2697 = p. Is x a prime number?
True
Suppose 2*b - 6 = 5*m - 2*m, 0 = b - 3. Is (-22 - m)*(714/(-12))/7 prime?
False
Let r(x) = 20*x**2 + x + 37. Is r(-14) composite?
False
Let c = -6886 - -14592. Is c a composite number?
True
Suppose b + 0*z = 2*z + 66, -3 = -z. Suppose -3*j + 60 + 53 = o, -o + 191 = 5*j. Let r = b - j. Is r prime?
False
Suppose 0 = -4*p + 46 - 10. Suppose 4*b + p = 7*b. Suppose 3*q - 521 = -2*v, 2*v = b*q + 2*q - 895. Is q composite?
True
Suppose -5*r = -4*x - 74, r - 6 = 3*x - 0. Suppose 5*y = 732 - 117. Let k = r + y. Is k composite?
True
Suppose -5*s = -2*d - 349816, -3*d - 11889 = 2*s - 151804. Is s a composite number?
True
Suppose 2*w + 6 = 3*w. Suppose 0 = 8*d - d + 4*d. Suppose d = g - w*g + 30. Is g a composite number?
True
Suppose 3*n + 3*u - 2159 - 4870 = 0, -2*n = 4*u - 4676. Suppose -220*b + n = -216*b. Is b a composite number?
False
Let b = 5 + -3. Suppose -4*y - 2*h + 1941 = -3*y, b*y - 3918 = 5*h. Is y prime?
True
Let t = 54 + -26. Suppose -5*w + 5*h = -16 + 1, 0 = h. Suppose 5*o - 52 = -3*k + 124, -o + w*k + t = 0. Is o a composite number?
True
Suppose z + 3*g - 2 = -2*g, -3*z - 2*g = -6. Is (149/z)/((-1)/(-2)) a prime number?
True
Suppose -2*f - 1085 + 14883 = 0. Is f prime?
True
Let l(x) = -x**3 + 9*x**2 - 7*x - 13. Let f be l(8). Is (-19317)/(-5) - (-2)/f composite?
False
Is (-12972)/(-115) + (-2)/(-10) + 0 a prime number?
True
Suppose -5*d = 3*k - 15554, k = 2*d - 4*k - 6203. Is d composite?
False
Suppose -5*g = g + 90. Is ((-3)/1)/(g/3155) a prime number?
True
Is 14/35 - 37543/(-5) a prime number?
False
Let r(i) = 9*i**2 + 8*i - 10. Suppose -3*n + n + 10 = 0. Suppose 18 = -3*c + n*c. Is r(c) prime?
False
Let z(x) = 48*x**2 + 16*x + 3. Is z(8) a composite number?
False
Suppose 45 = 5*z + 30. Suppose 0 = -2*n - 10, z*o - 1183 = 3*n - n. Is o composite?
True
Suppose -5*r + 53669 - 3634 = 0. Is r a prime number?
True
Let s(d) = 21*d - 3. Let m be s(-1). Is 9/m + -5 + (-46761)/(-24) a prime number?
False
Suppose -4*q + 7*q + 3*m + 6 = 0, -5*m + 5 = 0. Is (q + 4)*(87 + 0) a composite number?
True
Suppose -6*y - 62 = -458. Let a = y + 311. Is a prime?
False
Let u(z) = -3166*z - 847. Is u(-9) a prime number?
True
Suppose -5*f + 8881 = 4*r, -r + 14*f = 13*f - 2218. Is r a prime number?
False
Let x(v) = -9975*v + 46. Is x(-1) a prime number?
False
Suppose 54*f = -68062 + 655744. Is f a composite number?
False
Suppose -5*a + a + t = -50, a = -4*t + 21. Suppose -3*x = 5*j - a, 5*j - 8 = x + x. Suppose j*p - 233 = -55. Is p composite?
False
Let k(g) = -81*g**3 - 9*g**2 - 4*g - 15. Let o be k(-6). Suppose -15*s = -o + 426. Is s prime?
True
Let z(f) = -3*f - 1. Let s be z(5). Let m = s + 13. Is (-2133)/(-6) + m/6 a composite number?
True
Suppose 91039 = 2*p + 8073. Is p a composite number?
True
Let a = 14125 + -6378. Is a prime?
False
Suppose 0 = 3*j - x - 10708, 16*j - x = 18*j - 7147. Is j a prime number?
True
Suppose 5 = -10*p + 11*p. Let h be 556*4 + 1*-2. Suppose -3*r - 2*r = 3*f - h, -5*f - 2230 = -p*r. Is r a prime number?
False
Let y(i) = 212*i + 52. Let m be y(21). Suppose 5*d - m = -1569. Is d a prime number?
True
Suppose 0*o = 3*l - 2*o - 2097, o - 3495 = -5*l. Is l composite?
True
Suppose -2*q + 2*f + 34 = 0, -4*q = -5*f - 79 + 6. Is (3 - 40/q)/(1/(-5973)) composite?
True
Let v = -3 - -5. Suppose -2*f + 16 = 5*m, 3*f - 3 - 6 = 0. Is (v - -47) + (-4)/m composite?
False
Let h be 1/(-2) - (-28)/8. Suppose 0 = -n - h*n. Suppose n = -5*x - 25, -w = -0*x + x - 74. Is w a composite number?
False
Let j(x) = -x**3 + x**2 + 2*x + 1. Let p be j(-2). Suppose 435 = p*t + 93. Is t a composite number?
True
Suppose 13*l - 11*l - 10 = 0. Suppose 0*m - 2*p = -l*m + 405, m + 4*p - 59 = 0. Is m composite?
False
Let i(y) = y**3 - 12*y**2 + 56*y + 38. Is i(19) prime?
False
Let t(g) = g**3 + 26*g**2 + 6*g - 37. Is t(-12) a prime number?
True
Let b(y) be the second derivative of 7*y**5/120 + 5*y**4/12 + 5*y**3/6 + 5*y. Let f(m) be the second derivative of b(m). Is f(15) prime?
False
Suppose 2*b = b + 3. Let s be 7*((1 - b) + 3). Let j = s - 4. Is j a composite number?
False
Let g(f) = 2*f - 8. Let j be g(6). Is (-328)/j*(-3)/2 composite?
True
Suppose -9*h = -6*h + 21. Let l be h/28 - 391/4. Is (-5)/2*(l - -16) a composite number?
True
Suppose -27*g + 221317 + 241085 = 0. Is g composite?
True
Suppose -37*q + 43778 = -23*q. Is q a composite number?
True
Suppose -25 = -4*r - 17. Suppose -r*x = -3*x + 33. Is x a prime number?
False
Suppose 2*l + 17*l = 194237. Is l a prime number?
True
Suppose 5*g + p = 24690, -6212 = 5*g - 4*p - 30927. Is g a composite number?
True
Suppose 2*l - i + 8 = -3*i, 4*i = 5*l + 38. Let q = l - -11. Suppose 3*y - o = 156, -q*y - 2*o + 280 = 3*o. Is y a prime number?
True
Let j(n) be the second derivative of -n**5/20 - n**4/6 + 413*n**2/2 - 9*n. Is j(0) composite?
True
Let t = 123 + -121. Suppose -5*o - 336 = -u, t*o + 113 = u - 226. Is u prime?
False
Let t be (4/(-12))/(-3 + (-85)/(-30)). Let g(w) = -228*w**2 + 3*w - 11. Let l(h) = h**2 + 1. Let y(j) = -g(j) - 6*l(j). Is y(t) composite?
False
Suppose 0 = -0*k + 2*k + 318. Let o = k - -686. Suppose 0 = 3*w - o + 44. Is w a composite number?
True
Let o be (-24)/16 - 30/(-4). Suppose -5*l - 15 = -5*i, 2*i = l + o - 0. Is 74/(4/18*i) composite?
True
Suppose -72*o + 70*o + 34066 = 0. Is o a composite number?
False
Let c(r) = 7*r + 28. Let d be c(-4). Suppose -4*b + 1686 = -d*g - 2*g, 4*g + 1696 = 4*b. Is b composite?
False
Let y be 36/(-27) + 2/(-3). Let r be (-9)/18 + 539/y. Is 3/(-4) + r/(-8) a composite number?
True
Let r = 200310 + -23203. Is r a composite number?
True
Suppose 2668 = 7*i - 9295. Is i composite?
False
Suppose 0 = p - 2*o + 5, -3*o + 6 = -p - 3. Suppose -6*x = -x + 20, p*y + 3*x = 108. Suppose 0 = g - y - 45. Is g composite?
True
Let x(d) be the third derivative of 3*d**5/20 + d**4/24 + d**3/2 + 329*d**2. Suppose 2*i = 3*a - 6, -5*a = 10 - 0. Is x(i) composite?
True
Suppose 51 = -a + 5*p + 11, -a - 22 = p. Let s = a - -152. Is s composite?
False
Let j(a) = -6*a**3 + 3*a**2 + 4*a. Let i be j(-4). Let v =