e -2*c + 5*c - n = 0. Is c composite?
True
Let o be (104/3)/(22/561). Let d = o + -45. Suppose -4*k + d = -5*a, 2*k = -0*k - 2*a + 424. Is k prime?
True
Let h(j) = 14*j**2 + 4*j + 36. Let r be h(17). Suppose -13*i + r = -3*i. Is i prime?
False
Let k be -2 + -1 + 261/9. Suppose -z + 95 - k = 0. Let s = 160 - z. Is s prime?
False
Let b be (-6)/5*90/(-27). Let h(g) = 24*g - 7. Is h(b) a prime number?
True
Let d = -66 - -63. Is (-2)/d*(-3 - 558/(-4)) composite?
True
Is 17 + (-309732)/(-48) - (-3)/(-4) prime?
True
Suppose -5*k + 159025 = 4*v - 6*v, -5*v + 159025 = 5*k. Is k prime?
False
Suppose -3*m = 2*m + 50. Is (m/(-20))/(2/316) a prime number?
True
Let l(y) = y**3 + 3*y**2 + 2*y + 3. Let u be l(-2). Suppose 14518 = u*k - 5*n, -2*k + n = 5*n - 9642. Is k a composite number?
False
Let i(x) = 24*x**2 + 15 + 16*x - 11*x**2 - 7*x**2. Is i(-13) composite?
False
Is ((-34)/(-51))/((-266054)/(-66513) + -4) a composite number?
False
Suppose 0 = 3*l + 4*v - 8785, 0 = -10*l + 11*l + 2*v - 2929. Is l a prime number?
True
Let u = -22711 - -34256. Is u prime?
False
Is (-7)/(-28)*10*8278 a prime number?
False
Let z(p) = -10*p**2 + 2*p - 3. Let x be z(4). Let b = 522 + x. Is (0 + b/(-5))*-5 composite?
False
Suppose -5*x + m = 6903 - 29885, 0 = -5*x + 2*m + 22979. Is x prime?
True
Let z = 423 + 137. Suppose 0 = -4*v + 16, 5*v + 125 = 3*b - z. Is b a prime number?
False
Suppose 2*o = -22 - 0. Let u be (-3)/(-2)*(-22)/o. Suppose 927 = 4*c + f, u*c = 5*f + 678 + 46. Is c composite?
False
Let g be (16/6)/((-10)/(-2895)). Suppose -4*v + 5*c + 1550 = 3*c, 0 = -2*v + 4*c + g. Let z = -197 + v. Is z composite?
False
Suppose 0 = 6*l - 10*l + 1112. Suppose 3*o = 2*m + 3*m + l, 188 = 2*o - 4*m. Is o a prime number?
False
Is 214470/25 - (-22)/110 prime?
False
Let g = -23375 - -101532. Is g a prime number?
True
Let q be (-3)/(-6)*-4 + 1188. Suppose 4*g - q = 2*g. Let s = 932 - g. Is s a prime number?
False
Let u = -9 - -23. Let d(o) = -4 + 2*o**2 - u*o**3 + 5 + 3*o - 2. Is d(-2) prime?
True
Let m be -21 + 24 - (-1 + -199). Suppose -2*c + 497 = 5*x, 0 = -3*c - 3*x + m + 547. Is c prime?
True
Suppose 31*c = 14*c + 33541. Is c prime?
True
Let g(q) = -q - 2. Let c be g(0). Let j = c - -4. Suppose -j*u + 1185 = u. Is u a composite number?
True
Suppose 48*w - 38990 = 38*w. Is w a prime number?
False
Let k(u) = 23*u - 5. Suppose 2*g + v - 15 = 0, v = -g + 4*g - 15. Is k(g) a composite number?
True
Let m(l) = 145*l + 92. Is m(15) prime?
True
Let f(n) be the first derivative of 2*n**3 - 9*n**2/2 - 7*n - 17. Is f(10) a composite number?
False
Let d = 210 + -495. Let u = 201 - 343. Let y = u - d. Is y prime?
False
Suppose 5225 = 3*c - 11212. Suppose -2*m + 4*f = -3626, -3*m - 3*f + f = -c. Is m composite?
False
Suppose 3*t = -3*t + 38814. Is t a composite number?
False
Let c(q) = 10*q**2 - 36*q + 131. Is c(30) a prime number?
False
Let s be (-50)/(-8) + (-7)/28. Suppose 3279 + 2223 = s*k. Is k prime?
False
Let s(w) = -3*w + 18. Let u be s(7). Is (3 - 891)/u + -3 composite?
False
Let t(z) = 8*z**2 + z - 1. Let w be t(1). Suppose w*o - 6*o = 118. Is o a composite number?
False
Let j be (-4)/12 + (-28)/(-3). Let x = j - 7. Suppose 3*o + 773 = 4*z, 6*z = z - x*o + 949. Is z composite?
False
Let i be ((-94)/(-4))/(2/32). Suppose 177 = b - i. Is b a composite number?
True
Suppose 3*j - 9 = 48. Suppose -17*d + j*d - 3590 = 0. Is d prime?
False
Let l be (-3)/(-3)*-2*(-1 - 1). Suppose -2*q + 258 = -l*z, -2*q + 200 + 53 = z. Is q prime?
True
Let z = 14 + -342. Let j = -234 - z. Is j a composite number?
True
Let t = 28 + -25. Suppose 2*r - 4*q - 104 = -t*q, -155 = -3*r + 2*q. Is r composite?
False
Let w = 281315 - -24156. Is w composite?
False
Let t(j) = -j**3 + 5*j**2 - j - 2. Let s be t(2). Let w(r) = r - 1. Let k be w(s). Suppose k*v - 2605 = 2*v. Is v composite?
False
Let g = 0 - -7. Suppose 0 = -g*n + 9601 - 2062. Is n a composite number?
True
Suppose -2*g - 57085 = -3*x, -2 + 10 = 2*g. Is x a composite number?
False
Suppose -48271 = -2*z - 3*x, -16*x - 6 = -18*x. Is z prime?
False
Suppose 23 - 15 = 4*g. Is (g/2)/(1/103) a composite number?
False
Let z(u) be the third derivative of -u**5/60 + 11*u**4/12 + 19*u**3/3 - u**2. Is z(19) a composite number?
True
Let o be 4/18 + 4 + 114/(-27). Let q(w) be the second derivative of w**5/20 + w**4/12 - w**3/6 + 37*w**2/2 + w. Is q(o) a prime number?
True
Let b(z) = -z**2 - 3*z - 9. Let s(r) = -4*r**2 - 10*r - 28. Let n(a) = -7*b(a) + 2*s(a). Suppose -m = m + 4*f, 0 = m + 5*f. Is n(m) prime?
True
Suppose 0 = -4*p - 2*a - a + 21200, -4*p = -5*a - 21232. Is p composite?
False
Let h be 4*(-4)/(-24)*9. Suppose -h*o + 3*o + 2667 = 0. Is o a composite number?
True
Let j(c) be the third derivative of -5*c**4/4 + 7*c**3/6 - 6*c**2. Let d(a) = -4*a**2 - a. Let y be d(1). Is j(y) a composite number?
False
Let l(q) be the second derivative of 33*q**3/2 - 29*q**2/2 + 3*q. Is l(14) a composite number?
True
Let n be ((-958)/(-3))/(8/(-216)). Is (2/6*-1)/(6/n) a composite number?
False
Suppose -101234 = 2*r - 7*r - 3*h, -h = -3*r + 60732. Is r composite?
True
Suppose w + 10786 = 5*b, 2*b + 2*b - 4*w = 8632. Is b a prime number?
False
Let j(u) = -2 + 19*u - 10 + 15*u + 1. Suppose -h - 4*h + 29 = -4*w, -4*w = -h - 7. Is j(h) prime?
False
Let r(o) = 7*o**2 + 7*o + 7. Let v(j) = -13*j**2 - 15*j - 14. Let y(m) = 9*r(m) + 4*v(m). Is y(10) a prime number?
False
Let z = 3748 + -2628. Suppose -6*v = -1154 - z. Is v a prime number?
True
Let j = 179 - 266. Let r be (j/(-6) - 3)*46. Suppose -5*q = -25, -2*m + r + 360 = 3*q. Is m a prime number?
False
Suppose 2*h - 62 = 5*m, -4*h + 9*h - 53 = 4*m. Let c be 8*((-171)/m - 3). Suppose 413 = 2*j - 3*w + c, -4*j + 637 = -3*w. Is j composite?
False
Suppose 3*r - 13 = -4*g, -2*g + 13 = -r - 4*r. Suppose -3*c = 5*q - 2*c - 2703, -g*q - c + 2162 = 0. Is q a composite number?
False
Suppose -14*k + 24 = -10*k. Is -7658*5/(-30) + 4/k composite?
False
Let b(k) = k**3 + 9*k**2 - 12*k - 3. Let p be b(-8). Let g = -71 + p. Is g a composite number?
True
Suppose -15108 = 2*q - 14*q. Is q prime?
True
Suppose -a = 4*s - 8641, s = -4*a + 1134 + 1015. Is s a composite number?
False
Suppose 4*n = 5*n - 8. Let h be n/2 + -337 + -6. Is (-2)/((-333)/h - 1) a composite number?
False
Suppose -3*c - 683 = -u, 7 = 5*c - 3. Let w = u - 366. Suppose w - 16 = k. Is k a prime number?
True
Suppose -5 - 3 = -4*u, 4*x - 14678 = 3*u. Is x a composite number?
False
Let a be (-48)/(-21) + (-10)/35. Suppose 0 = -3*y - 3*z + 30, -a - 1 = -z. Suppose 0 = 11*b - y*b - 260. Is b a prime number?
False
Suppose 0 = -31*x + 34*x - 8679. Is x prime?
False
Suppose 0*y - 4439 = -5*s + 3*y, 5*s = -y + 4447. Is s a composite number?
True
Let p = -537 - -956. Suppose 2*w + p = 3*w. Is w prime?
True
Let d(r) = -79*r + 26. Is d(-11) a composite number?
True
Suppose 202 = 3*o + 34. Suppose 4*s - o = -8. Suppose s + 10 = 2*u. Is u composite?
False
Suppose 5*k = -2*n + 3715, -1486 = 3*k - 5*k + 5*n. Is k a composite number?
False
Let m = -10 + 15. Is m/10 + 1227/6 a composite number?
True
Suppose -z + 32 = -3*d, 0*z + 5*z - 75 = -2*d. Suppose 10 = 3*r - z. Is r composite?
True
Suppose -4*n = -2*t - 2, 2*n = 4*t + n - 3. Is 126 + (2 - 2) + t prime?
True
Let y = -63200 + 106043. Is y composite?
True
Let g(b) = 21*b**2 - 4. Let v(h) = -22*h**2 + h + 4. Let c(f) = -2*g(f) - 3*v(f). Suppose 5*u = -7 - 8. Is c(u) a composite number?
True
Let q be (3 + -677)*((-2)/4)/(-1). Let x = -206 - q. Is x prime?
True
Suppose 0 = 14*t - 10*t - 127828. Is t prime?
True
Let z(o) = o**3 + 7*o**2 + 5*o - 11. Let r be z(-5). Suppose r*u + 2596 = 18*u. Is u a composite number?
True
Let v = -165 + 168. Let z(a) = 136*a + 20. Let r(k) = -27*k - 4. Let d(y) = -11*r(y) - 2*z(y). Is d(v) a prime number?
True
Let l = 31758 - 19040. Is l a composite number?
True
Suppose 42 = f + f. Suppose 13*r - 6*r = f. Suppose 4*q - r*a - 338 = -q, 0 = q + 2*a - 65. Is q composite?
False
Suppose -22 = -4*x + 26. Suppose -3738 = 6*g - x*g. Is g composite?
True
Let k = 16 + -1. Let q be -2 - 4/2*-3. Suppose 3*f = -k, -2*j + q*f + 237 = -9. Is j a composite number?
False
Is ((-1867)/(-5))/(1/5) a prime number?
True
Let r(n) = 2*n**2 + 15*n + 13. Let q be r(-15). Suppose 181 + q = p. Is p composite?
False
Suppose -4*u + 4*j + 52 = 