919 + 4836. Is f a composite number?
True
Let c = -129 - -3166. Is c composite?
False
Suppose 45*o - 508148 = 244657. Is o prime?
True
Suppose 5*a - 3*f + 0*f = 1707, -4*a + 1348 = 2*f. Let g = -3 - -7. Suppose 3*w = -4*i + a, -g*i + 3*i + 548 = 5*w. Is w composite?
False
Let u = -16 + 33. Let n(c) = -c**3 + 23*c**2 - c - 8. Is n(u) a prime number?
True
Let u(t) = 1804*t + 1. Let g be u(1). Suppose 5*n + 2*x - g = 0, -n + 370 = 5*x - 14. Is n a composite number?
False
Suppose -85850 = -24*s + 72814. Is s composite?
True
Let a = -63 + 65. Suppose a*i = 878 + 392. Is i a composite number?
True
Let h(m) = 23*m**2 - 3*m + 186. Is h(-16) composite?
True
Suppose -3424 = 5*g - 9719. Is g a prime number?
True
Suppose -3*g - 24 = -9*g. Is (-156)/((-12)/g) - -1 composite?
False
Let r(c) = -220*c - 4. Suppose 0 = 6*u - 3 + 15. Let t be r(u). Let a = t - 297. Is a composite?
False
Suppose -v + 3*t = 30, 5*v = -5*t - 113 + 3. Let h be 12/(-5) - v/(-40). Is h - (1 - -3 - 804) composite?
False
Suppose -3*i - 57 = -6*i. Let w = i + -20. Is (-116)/((2 - 0)*w) a prime number?
False
Is 61/((-793)/78) - 26630/(-2) prime?
True
Suppose 76900 = 4*f + 10248. Is f prime?
False
Suppose -3*v = -2*v - 7. Is (-1563)/(-7) - 2/v a prime number?
True
Suppose 0 = -2*q - 7 - 1. Let j be (q/12)/((-1)/9). Suppose -j*b + 276 = b. Is b a prime number?
False
Let z = -52 - -54. Suppose -4100 = -4*c - 3*r - 936, -3962 = -5*c - z*r. Is c prime?
False
Suppose -11*k = -12*k + 265. Is k composite?
True
Suppose -2*g + 1105 = 5*a + 3*g, 0 = 2*a - 2*g - 438. Let s = a + -42. Is s a composite number?
True
Let n be 0 - 0 - (-7 + 0 + 4). Suppose -525 = -n*g - 87. Is g a composite number?
True
Suppose 5*f - 41 = -4*r, 5*f = -2*r + r + 29. Suppose -512 = -r*u + 2*u + 5*x, 0 = 5*u - x - 1257. Is u prime?
True
Suppose 21*i - 83 - 143536 = 0. Is i a prime number?
False
Let p(b) = -b**2 - 5*b + 3. Let s(f) be the third derivative of f**6/120 - f**5/30 - f**4/6 - f**3/6 - 3*f**2. Let w be s(3). Is p(w) composite?
False
Suppose -3*t + 3*r + 30 = 0, -5*t - 3*r - 35 = -9*t. Let w = -25 + 86. Suppose -356 + w = -t*g. Is g composite?
False
Let i be 8/(-20)*1 - (-69642)/5. Suppose -2*h + i = 6*h. Is h prime?
True
Suppose 5*n = -25, -4*t = t - 3*n - 1210. Is t a prime number?
True
Let v be (-4)/(-14) + 94/14. Let j be -10 + 3 + v + -4. Is (-79)/(-2*(-2)/j) a composite number?
False
Let a(n) = 1613*n**2 + 75*n - 29. Is a(-7) a composite number?
True
Suppose -11*v + 12*v + 4*y + 700 = 0, y - 3458 = 5*v. Let u = v + 987. Is u a prime number?
False
Suppose 0*i = -4*i. Suppose i = 5*w - 2*w - 12. Is (w - (-3 + 7)) + 82 prime?
False
Let o = -49 + 71. Is (1762/(-3))/(-2) - o/33 prime?
True
Let f(x) = 14*x**2 - 3*x - 7. Let q be f(5). Let b = q - -534. Is b prime?
False
Let u(s) = 6*s**3 + 4*s**2 + 39*s - 108. Is u(11) prime?
False
Let p(l) = -40*l**3 - 8*l**2 - 18*l - 8. Is p(-5) a composite number?
True
Let w = -1 - -1. Let u = -5 + 4. Is 145 + w + -3 - u prime?
False
Let u = -30 - -30. Suppose -5*k - p + 2039 = 0, u*k - 5*p = -5*k + 2015. Is k composite?
True
Suppose 0 = 5*i - i - 16. Suppose o - 1270 = -i*o. Is o prime?
False
Let z be (-134311)/(-114) + 2/(-12). Suppose 8 = -3*u - 4, -2*r + z = -u. Is r a composite number?
False
Suppose -1356 = -i - 262. Suppose -4*v + 3*f = -0*f - 2188, -2*v - f = -i. Is v prime?
True
Suppose -u - 21 = -3*s, 4*u + s + 24 = -2*s. Is (39/u)/((-2)/6) a composite number?
False
Let o(m) = -605*m - 1. Let y be o(-5). Let r = y + -1730. Is r prime?
False
Let i be (-781)/2 + (-2)/(-4). Let o = i + 2677. Is o composite?
False
Suppose -5*a = -11812 - 4923. Is a a composite number?
False
Suppose -4*g - 4*n = -484, 0 = -6*n + 3*n. Suppose 835 - 3443 = -8*v. Let p = v - g. Is p composite?
True
Suppose 0 = -a - 0*a - 2. Let j = a - -2. Suppose j = 3*p - 5*b - 173, 2*b + 33 + 230 = 5*p. Is p a composite number?
True
Let i(c) = -35*c**3 + 3*c**2 + 2*c + 3. Let h be i(-2). Let b be 0 + h/1 + -1. Is (b + 3 + 0)/1 composite?
False
Suppose -12 - 82 = -u. Suppose -u*o = -100*o + 8994. Is o composite?
False
Let g = 310 - 2584. Suppose r = -4, 2*t - r = 2*r - 2894. Let c = t - g. Is c composite?
False
Let v(s) be the second derivative of 7*s**4/2 + 4*s**3/3 + s**2/2 + 5*s. Is v(-4) prime?
True
Let v(m) = m**2 + 7*m + 7. Suppose 5*q + 0*q = -25. Let d be v(q). Is (-1)/d*-3 + 294 a prime number?
True
Let f(x) = -5*x - 10. Let n be f(-5). Let m = n - 13. Suppose b - 88 = v + 118, -m*v + 1009 = 5*b. Is b a composite number?
True
Let j be (-21)/9*(2 + -5687). Suppose -j = -12*z + 7*z. Is z a prime number?
False
Suppose 25371 = -10*w + 13*w. Is w prime?
False
Let v be (-2)/(-8) - 38/(-8). Let y(l) = 5 + 15*l**2 - l + 2 + 4*l. Is y(v) a prime number?
True
Suppose 0 = -6*s - 50*s + 1242136. Is s prime?
False
Suppose -7 = -3*v - v - 5*a, 0 = v + 3*a. Let s be 3/(v/7)*-3. Is 90/4*(-14)/s prime?
False
Let p(t) = -t**3 - 12*t**2 - 21*t - 8. Let k be p(-10). Suppose -1599 = -2*d - 5*a, -3*d - 4*a + 3989 = k*d. Is d a composite number?
False
Let p(r) = -207*r**2 + 4*r + 4. Let g be p(-1). Let y(c) = -6*c**2 + 2*c - 4. Let n be y(4). Let j = n - g. Is j composite?
True
Suppose -9*k - 140 + 41 = 0. Let t(n) = n**3 + 11*n**2 - 7*n. Is t(k) composite?
True
Let o(c) = -c**2 + 8*c + 7. Let y(z) = -z**3 + 5*z**2 + 3*z - 6. Let s be y(5). Let x be o(s). Is 225 - (-3)/(3/x) prime?
True
Let s be (-180)/(-22) - (-4)/(-22). Let i = s + -4. Suppose -2*k = -i*b - 494, 3*k - 3*b = 2*b + 736. Is k a prime number?
False
Suppose -z = c + 6, 31 = z - 5*c + 7. Is z + 3 + (-2)/(-4)*19578 a composite number?
False
Suppose -2*y = 19 + 5. Let z = 18 + y. Let h(q) = 17*q**2 - 14*q + 9. Is h(z) a composite number?
True
Let r(p) = 333*p**2 - 2*p - 2. Let m be r(-1). Suppose 0 = 8*i - 859 - m. Is i a prime number?
True
Suppose 176 + 444 = 5*c. Let a = 127 + c. Is a composite?
False
Suppose -6*o = -o + 3290. Let j = 43 - o. Is j composite?
False
Is 4/(-5) + ((-149390)/(-50) - -4) composite?
True
Suppose 3*j + 5 = 2. Let u(l) = -1651*l + 1. Let z be u(j). Suppose -4*x + 5*c + z = 0, -3*x = x + 3*c - 1652. Is x a prime number?
False
Let z = 2106 + -1260. Suppose 3*f - 866 = 5*y, -3*f + z = -y - 16. Is f prime?
False
Suppose -20*z + 52152 = 4*z. Is z composite?
True
Suppose -m = -6*m + 5660. Suppose -5*d - 1548 = m. Let y = 814 + d. Is y a composite number?
True
Let b be (-1)/((5/(-35))/(-1)). Let z(x) = -x - 11. Let n be z(b). Is (-12)/(-16) - 705/n composite?
True
Let r = 10399 + -1574. Suppose s + r = 6*s. Is s composite?
True
Let w = 33402 - 10151. Is w a composite number?
False
Let o(r) = -26*r - 9. Let z(k) = k. Let l(a) = o(a) - 6*z(a). Suppose -4 = 11*p + 40. Is l(p) a composite number?
True
Let m be 2/(-6)*(-17 + 3 + -1). Suppose 2302 - 372 = m*d. Is d a prime number?
False
Let l(k) = -108*k + 13. Suppose -3*f = -3*d - 21, 0 = d + 4*f - 12 - 1. Is l(d) a prime number?
True
Suppose 5*v = 51 - 16. Suppose -4*i = -3*c + 23, 2*c - 39 = 3*i + v*c. Is 246/10 - i/20 prime?
False
Suppose 3*u - 8*u = o, -u = 5*o - 24. Suppose -x = o, -2*t + 4*x = t - 401. Is t a composite number?
False
Let q = -2918 + 11496. Is q a composite number?
True
Let f(a) = 9*a**2 - 39*a + 269. Is f(9) a composite number?
False
Let p(n) = -n**3 + 15*n**2 + 4*n + 29. Let k = -110 - -123. Is p(k) composite?
False
Suppose -1 = 3*u + 164. Let k = u + 138. Is k a composite number?
False
Let i = -1 + 3. Suppose 5*k - i*z - 2*z = -8, -3*k + 3*z - 6 = 0. Suppose k = 4*q + q - 345. Is q prime?
False
Let d be (-25)/(-4) + (-21)/84. Suppose 9*i - 144 = d*i. Is (4 - (i - -3))*-7 a composite number?
True
Let g(q) = 17*q**2 - 9*q - 1. Let s be g(5). Suppose 5*n + 5*k - s = 2*n, 0 = -4*n - 5*k + 497. Is n prime?
False
Let f(z) = -z + 18. Let j be f(23). Let c(k) = -3*k**3 - 8*k - 12. Is c(j) a prime number?
False
Let r = 6818 + -866. Let j = r + -3593. Is j a composite number?
True
Let m = 843 + 958. Is m a composite number?
False
Suppose -738 + 2838 = 2*x + 2*u, -3*x + 3148 = u. Is x a prime number?
True
Let o be (-5)/((-5)/(-2)) - -413. Suppose j - o = n, -n + 403 = j - 0*n. Is j a composite number?
True
Suppose 90264 = -103*k + 127*k. Is k composite?
False
Let z(g) = -27*g**2 + 2*g + 4. Let t be z(-4). Let b be 23284/(-36) - (22/18 - 1). Let r = t - b. Is r composite?
False
Su