c + 875, g = -4*c - 195. Let s = g + 382. Is s prime?
True
Let j(b) = -b**2 - 12*b + 4. Let v be j(-13). Let r(k) = k**2 + 5*k + 13. Is r(v) composite?
True
Suppose 0 = 7*a - 119 - 140. Is a a composite number?
False
Let n be 1 + -1 + 2 + 383. Suppose 0 = p, -4*j + n = j + 3*p. Is j a composite number?
True
Let g(v) = -v**3 + 7*v**2 + 2*v - 8. Let j be (-3)/3*1 - -5. Suppose z - 35 = -j*z. Is g(z) a composite number?
True
Is -3 - (24/15)/((-4)/290) composite?
False
Suppose -4*k - 3 = -239. Is k a composite number?
False
Let x(n) = -n**3 + 3*n**2 - 2*n + 3. Let l be x(3). Let f be l/27*-3*-3. Is 2/(f + (-207)/(-201)) prime?
True
Let g(y) = 145*y**3 + y**2 + y - 1. Is g(2) prime?
False
Let j be 20/6 - (-2)/3. Suppose 0 = -x + 4*t + 25 - j, 4*t - 57 = -5*x. Is x prime?
True
Let w(r) = -144*r - 15. Let x be w(-9). Suppose -277 + x = 4*q. Is q composite?
False
Is (0 + (-84)/8)*-2 a composite number?
True
Let t = 224 - 155. Suppose 5*u + 30 = 2*u. Let c = t + u. Is c a composite number?
False
Suppose 2*z + 5*o - 1589 = -2*z, 5*o = 3*z - 1148. Is z a composite number?
True
Suppose h - 3*f + 3 = 0, -4*f + 0*f = -4*h + 4. Suppose -h = q + 2*q. Is (22*q)/(-1 - 0) composite?
True
Let f(j) = -47*j**3 - j**2 - j. Suppose 4 - 1 = -3*m. Is f(m) prime?
True
Let m be (-4)/8*5*-2. Suppose 0 = 5*q, -582 = 3*a - m*a - q. Is a composite?
True
Suppose 197 = 3*c - 148. Is c prime?
False
Let i be 1/(4/(-36)) + 4. Let o = i - -24. Is o a composite number?
False
Suppose 5*j = -2*q - 0*q + 25, -2*q - 3*j = -19. Suppose -2424 = q*h - 2*h. Is h/(-14) + 16/56 prime?
False
Let t(x) = -4*x**3 - 10*x**2 - 17*x + 19. Is t(-8) prime?
False
Suppose 3*b = 0, -326 = 4*j + b - 1138. Is j a composite number?
True
Suppose 0 = -2*u, -s + 2*u + 0*u = -347. Is s a composite number?
False
Suppose 3*g = 2*g - 10. Is -111*(g/(-6) + -2) composite?
False
Let m be (1*-10)/((-1)/50). Let z = 784 - m. Suppose y - 4*v - z = -3*y, 2*v + 276 = 4*y. Is y composite?
False
Let h(v) = 43*v**2. Let c(a) = -a**2 - 4*a - 2. Let o be c(-3). Is h(o) a composite number?
False
Let n(f) = 507*f - 40. Is n(5) a composite number?
True
Let f(a) = -2*a + 4. Let v be f(0). Suppose -3*x = -8*x - 4*l + 955, -382 = -2*x + v*l. Is x composite?
False
Let i(o) = -210*o + 1. Let d = -2 - -1. Is i(d) prime?
True
Is 20/25 - 19011/(-5) a prime number?
True
Let l be (-2)/6 + 80/15. Suppose l*n + 4*j - 321 = 0, -3*j = n - j - 63. Is n a composite number?
True
Let k(u) = u. Let q(w) = -53*w - 1. Let y(f) = 22*k(f) + 2*q(f). Is y(-1) composite?
True
Let w = -2 - -1. Let h be w/2*30/(-3). Is (4/h)/(12/30) composite?
False
Is (-3)/5 - (-6 + (-15556)/10) a composite number?
True
Let w(o) = -2*o**3 - o**2 - 3*o - 1. Is w(-3) a composite number?
False
Let v(t) = -29*t**3 + 3*t**2 + 3*t - 4. Is v(-3) a prime number?
True
Let a = 330 - 107. Is a a composite number?
False
Let c be 12/14*42/9. Suppose 0 = -3*w - c*g + 443, -5*w - 2*g + 741 = 2*g. Is w composite?
False
Let m be 380/90 + 2/(-9). Suppose -x - o = -5*x + 629, m*x - 4*o - 632 = 0. Is x a composite number?
False
Let q(r) = 6523*r**3 + r**2 + 4*r - 5. Is q(1) a composite number?
True
Let g = -1853 - -3502. Is g a prime number?
False
Let l(k) = k**2 + 2*k + 25. Is l(0) composite?
True
Let n = -3 + 6. Suppose 0*b - 15 = -2*m + n*b, -25 = -5*m - 5*b. Suppose -j = -c + 31, -2*c - 5*j - m = -89. Is c a composite number?
True
Let i be -16*(-1)/(2/3). Let v = -37 + i. Let t = v - -44. Is t composite?
False
Let k(m) = 173*m**2 + m - 1. Let b be k(1). Suppose j = x + 62, 2*j = 4*x + b - 41. Is j a prime number?
False
Let i(v) = 2*v - 18. Let q(f) = -f + 6. Let d(p) = -6*i(p) - 17*q(p). Is d(5) prime?
True
Let d = 636 + 907. Is d prime?
True
Suppose -5*q - c = 2*c - 34, 0 = 4*q + 5*c - 22. Let z be 6/(3/2 - 0). Suppose -z*r = -q*r + 148. Is r a composite number?
False
Let c(s) = s**2 - 9*s + 11. Is c(9) a composite number?
False
Let z be (0 - 1)/((-1)/(-5)). Let a be (-10)/z - (0 - 0). Suppose 0*x = a*x - 52. Is x a prime number?
False
Suppose 1739 = -5*t + 10*t - n, -5*t - 5*n = -1715. Is t a composite number?
False
Suppose 5*h - 5*m + 130 = 0, 5*h - 3*m = -2*m - 110. Let r = h - -76. Is r prime?
False
Let d be 2 + -2 - 4 - 2. Let a = d - -15. Let l = -2 + a. Is l a prime number?
True
Suppose -b + 2676 = 3*b. Is b prime?
False
Let j(t) be the first derivative of 1/3*t**3 + 3*t - 1/2*t**2 + 2. Is j(-4) a prime number?
True
Let w = 1055 - 562. Is w composite?
True
Suppose -4*k + 20 = -2*v - 0*v, 5*v - 2*k + 10 = 0. Is v/3 - -2 - -9 a prime number?
True
Is (149/(-4))/(1/(-20)) prime?
False
Let m(b) = b - 3. Let h be m(3). Suppose 0 = 3*s - 3*x + 6 - 18, h = 2*s - 5*x - 17. Is (-2046)/(-24) + s/(-4) a prime number?
False
Suppose -5*p = -2*p + 3*d - 1113, 0 = -2*d. Is p a prime number?
False
Suppose -4*h - h + 121 = -2*k, 197 = -4*k - 5*h. Let t = 759 - k. Is 2/(-3) + t/12 composite?
False
Let l(s) = 2*s**2 + 8*s + 27. Is l(12) a prime number?
False
Suppose -f - 4*o + 18 = -7*o, 13 = f - 4*o. Let g = 9 - 5. Suppose -k - f = -g*k. Is k composite?
False
Let z = 67 + 72. Is z prime?
True
Let p = 5 + -2. Suppose -c + 3*c - b = 5, -p*b - 1 = c. Suppose 298 = c*r - 72. Is r a composite number?
True
Let t(y) be the third derivative of y**6/120 - y**5/12 + y**4/4 - y**3/6 + 7*y**2. Is t(4) composite?
False
Suppose 4*n - 3882 = 2*n. Is n prime?
False
Let i = 3654 - 617. Is i composite?
False
Let m(z) = -107*z**2 - 7*z + 1. Let p(r) = 322*r**2 + 20*r - 3. Let y(u) = 17*m(u) + 6*p(u). Let o = 3 + -2. Is y(o) a composite number?
False
Let u(w) = -37*w + 1. Is u(-4) prime?
True
Is (-2194)/(-2) + (3 - 1) composite?
True
Let o(m) = 123*m**2 + m + 1. Is o(-2) composite?
False
Let x(h) = 0*h**2 + 2 - h - 3*h**2 + 5*h**2. Suppose 3 = -3*p - 6. Is x(p) a prime number?
True
Let v = -178 + 327. Is v prime?
True
Let u(q) = q + 6. Let l be u(-5). Is 24 - -1*1/l a composite number?
True
Let w = -137 - -241. Let f = 149 + w. Is f a composite number?
True
Suppose -205*c + 20454 = -199*c. Is c prime?
False
Suppose 30*o - 35*o = -14315. Is o composite?
True
Let o(t) = 110*t + 6. Is o(2) prime?
False
Let z(v) = 306*v**2 - 7*v + 6. Is z(5) a prime number?
True
Let q(i) = -128*i**3 + i**2 + 3*i + 1. Is q(-1) prime?
True
Let g = 502 - -1027. Is g composite?
True
Let h = 1142 + -397. Is h a prime number?
False
Let p be (430/40)/((-1)/(-4)). Let a = 514 - 340. Let t = p + a. Is t a composite number?
True
Let o(j) = -35*j - 3. Is o(-16) a prime number?
True
Let l = -5 + 7. Let h(z) = -6*z**2 + 7*z - 1. Let q(d) = -d**2 + d - 1. Let k(j) = l*q(j) - h(j). Is k(-4) a composite number?
False
Let r be 1 + (-3 - (-375 + 2)). Suppose -r = -3*u - 2*u - 3*t, -5*t = 15. Let k = -39 + u. Is k composite?
False
Let p be (36/(-24))/(2/(-4)). Suppose 61 = p*v + c - 49, -5*v = -c - 186. Is v prime?
True
Suppose m + 20 - 92 = 0. Let s = 146 - m. Is s a composite number?
True
Let h be (-1)/(-2) - 43/2. Let b = -30 - h. Is (3/b)/((-1)/57) a composite number?
False
Is 38/4*82/1 a composite number?
True
Is 326/(1 - -1) - -3 composite?
True
Let l(f) = -17*f - 19*f - 4 - 3 - 3*f. Is l(-4) a prime number?
True
Is (-34)/12*-9*2 a prime number?
False
Suppose 0 = 5*s + 3*c - 2 + 5, s - c = 1. Let f(h) = h + 51. Is f(s) composite?
True
Let k be (-62)/(-4) + 1/2. Suppose -3*b = -5*s + 2*s - 9, 5*b = 4*s + k. Suppose 5*q - 38 = b*q. Is q composite?
True
Is (-1400)/(-30) - 1/(-3) composite?
False
Suppose 5*v = 2*x - 49, 3*v + 2*v + 12 = x. Let u = -10 - 6. Let y = u + x. Is y prime?
False
Let m be (-1)/(0 + (-3)/(-33)). Let b = m + 20. Suppose 13 = 2*p - b. Is p prime?
True
Suppose 2941 + 1317 = 2*s. Is s prime?
True
Let y = 7 + -3. Suppose 1 = y*x - 7. Suppose -x*o + 6*o = 132. Is o prime?
False
Let b = 3856 - 2501. Is b prime?
False
Suppose -18 = -4*w - 54. Let r(i) = i**2 + 4*i - 8. Is r(w) composite?
False
Let z(o) = 4*o**2 - 3*o - 3. Let i(r) = r**2 - 10*r + 10. Let c be i(7). Let k = -13 - c. Is z(k) a composite number?
False
Let o(j) = j**2 + 5*j - 10. Suppose -c - 48 = 4*h, -3*c + 0*c = 0. Is o(h) a prime number?
False
Let t(a) = a**3 + 4*a**2 + 2*a + 1. Let v be t(-3). Let y = 2 - 2. Suppose -q + v*f + 53 = y, 4*q - 142 = -3*f + 5*f. Is q a prime number?
False
Suppose -2*q + 5075 + 2435 = 0. Is q composite?
True
Let u be (18/27)/(2/(-180)). 