se -5*r = -2*m - r + 70, 4*m - n*r = 152. Is m composite?
True
Suppose 3*f = -2*w + 123, -2*f + 0*w = -3*w - 82. Let b = f - 19. Is b prime?
False
Suppose -n - 490 = -4969. Is n prime?
False
Suppose 16 = -4*k, 3*m = 2*k - k + 1342. Is m a prime number?
False
Let u(n) = 3*n**3 - n**2 + 14*n + 2. Let l(k) = -k**3 - 5*k - 1. Let v(o) = -17*l(o) - 6*u(o). Is v(-7) composite?
True
Suppose -w - w = -152. Suppose 3*m - 261 = 2*h, m + 2*h - w = -h. Is m prime?
False
Let c(w) be the second derivative of 1/20*w**5 + w - w**2 + 1/3*w**4 + 0 + 0*w**3. Is c(-3) composite?
False
Let a = -27 - -1841. Is a composite?
True
Let s(g) = 7*g**3 + g**2 + 4*g + 1. Let t be s(3). Suppose 0 = 4*f - m - t, m = 5*f - 2*m - 262. Is f a composite number?
False
Let g(p) = -3 - 3 + 0 + 10*p. Is g(8) a composite number?
True
Let h be (0 + -15)*(-2)/(-6). Let x(q) = -3*q**2 + q + 11. Let l(t) = -9*t**2 + 2*t + 32. Let j(s) = -4*l(s) + 11*x(s). Is j(h) a composite number?
False
Suppose -1153 + 276 = -k. Is k prime?
True
Let w = -249 - -198. Let t = 17 + 56. Let h = w + t. Is h a prime number?
False
Suppose 5*h = -5*p + 2350, -2*h - 4*p = -h - 479. Is h prime?
True
Suppose 1160 = 2*r + 2*n - 894, r = n + 1035. Is r prime?
True
Let x = 3 + -1. Suppose 0 = -x*w + 2*a + 144, -2*a + 212 - 80 = 2*w. Is w composite?
True
Let f(j) = j**3 + 6*j**2 - j - 4. Let n be f(-6). Is 1/n*(28 - 2) a prime number?
True
Suppose 0*f + 5*l + 359 = f, 3*f + 4*l = 1153. Is f a prime number?
True
Is 3 + (0 - -1)/1*295 a prime number?
False
Let s(r) = r**3 - 4*r**2 + 2*r - 4. Let y be s(4). Suppose 4*i - y*l + 11 = -1, -5*i - 15 = -l. Is (0 - 1)/(i/267) prime?
True
Suppose -d + 0*d + 1948 = 5*u, d + 4*u = 1953. Is d a prime number?
True
Suppose -w - 2 = -n - 0, -3*n = -5*w. Suppose -w*y - y = -2084. Is y composite?
False
Let v(o) = o - 1. Let k = 5 + -7. Let f(b) = -5*b + 17. Let r(q) = k*v(q) - f(q). Is r(12) composite?
True
Suppose 748 = 4*u - 720. Is u composite?
False
Suppose 0 = -3*q + 3*x + 168, 2*q - 50 - 57 = -3*x. Is q a prime number?
False
Suppose -2*q - 135 = 65. Is 1 - (3 - -1) - q composite?
False
Let g be (-2)/14 - 589/(-7). Suppose -3*x - 18 = -g. Is x a prime number?
False
Suppose 3*l = 0, -l + 1453 = 2*u - 2221. Is u a composite number?
True
Suppose -2*y - 1 = -5*p + 4, 4*p + 4*y = 4. Is (-3792)/(-40) + p/5 a prime number?
False
Suppose 2*q + q - 1713 = 0. Is q a composite number?
False
Let k(a) = a**2 + a - 1. Let j(b) = 2*b**2 + 2*b - 166. Let d(w) = -j(w) + k(w). Let g be d(0). Let z = g - 80. Is z prime?
False
Suppose -19*f = -23*f + 1756. Is f a prime number?
True
Let u = 845 + -567. Suppose -2*h - u = -48. Let q = 174 + h. Is q prime?
True
Let a(h) be the first derivative of -5*h**2 - h - 10. Let l = -5 + 1. Is a(l) a prime number?
False
Let q = 1177 - 530. Is q a prime number?
True
Let p be -3*1/(3/(-2)). Suppose -l = -p*b + 5*b - 45, -4*b = -4*l + 100. Suppose 12 = -2*w + l. Is w composite?
True
Is 11/22*8059*2 a composite number?
False
Suppose 5*j + 5*r = 4120, 3*r + 11 = -4. Is j a composite number?
False
Let v = -12 - -17. Suppose 4*s - 4 + 0 = 0. Let f = s + v. Is f composite?
True
Let y(h) = -9*h**2 + 2*h + 10. Let n(g) = -5*g**2 + g + 5. Let f(d) = 5*n(d) - 3*y(d). Let z(x) = -5*x**2 + 4*x + 15. Let j(m) = 8*f(m) + 3*z(m). Is j(4) prime?
True
Let b be (-3)/(-3)*3 + 83. Suppose 17 - b = t. Let n = t + 164. Is n composite?
True
Let u = -3503 + 5476. Is u a prime number?
True
Suppose 4*g = g - 3, 5*d - 196 = g. Is d prime?
False
Let h(j) = -14*j + 9. Is h(-5) prime?
True
Suppose -6261 - 2184 = -3*k. Is k a prime number?
False
Let f = 730 + -395. Is f composite?
True
Suppose -h + 8 = 63. Let p(o) = o**3 + 5*o**2 - 2*o + 6. Let j be p(-6). Let i = j - h. Is i composite?
False
Let h = -79 + 125. Let x = h + -13. Is x a prime number?
False
Suppose 0 = -2*n + 5*t - 163, 4*n + 2*t = 3*t - 281. Let b(c) = c**2 - c + 188. Let u be b(0). Let f = n + u. Is f composite?
True
Let j be -4 + 54*(-8)/(-6). Suppose -j = 8*l - 10*l. Is l a composite number?
True
Let l(m) = 2*m**3 + 2*m**2 + 5*m. Let s(f) = f. Let q(h) = l(h) - 6*s(h). Let y be q(1). Suppose -y*w - 2*w + 75 = 0. Is w a composite number?
True
Let t = -253 - -516. Is t prime?
True
Suppose -2*l = 3*l + g - 932, -193 = -l + 2*g. Is l a prime number?
False
Let s(f) = 10*f**2 + 6 + 4*f**3 - 3*f**3 + 5*f + 4*f. Let h be s(-9). Is 21/h*(-4)/(-2) composite?
False
Is 2/(-4 + 5) - -203 prime?
False
Suppose -7*m + 127 = -6*m. Is m composite?
False
Let m(g) = -g + 6. Let h(p) = -7*p**2 + p. Let w be h(1). Let r be m(w). Suppose i - r = 3. Is i prime?
False
Suppose -a + 4 = a. Suppose 3*b + a*s = 175, -b + 2*s = -3*b + 118. Is b prime?
False
Suppose -2*n + 106 = -0*n. Suppose 5 = 2*f - 5. Suppose 3*i + j + j - n = 0, 101 = f*i - 3*j. Is i prime?
True
Is (-4)/10 + 26997/5 prime?
True
Let m(b) = -2*b**3 - b**2 + 2*b. Let v be m(-2). Let c = v - 3. Suppose c*t - 82 = 103. Is t a prime number?
True
Suppose 3 = -c + 1. Let i = c - -5. Is i a composite number?
False
Let t(q) = q**2 + 6*q + 3. Let p be t(-6). Suppose 720 = 4*s - 5*r, -2*r + 366 = 2*s - p*r. Is s composite?
True
Let r(v) be the third derivative of -v**9/60480 + v**7/5040 + 67*v**6/720 + v**5/30 + 2*v**2. Let j(x) be the third derivative of r(x). Is j(0) prime?
True
Let h be 2/(-8) + (-95)/20. Let s be (8/h)/((-2)/(-70)). Let f = -3 - s. Is f a composite number?
False
Let w(b) = -b. Let h be w(-4). Suppose 6*o + 2482 = h*m + o, -3*m + 3*o = -1863. Is m composite?
True
Let d be 0 - (-10 + (7 - 3)). Is (-1996)/(-10) - d/10 a prime number?
True
Let i(q) = -q**2 + 5*q - 3. Let y be i(3). Suppose -2*l = -y*l + 677. Is l a prime number?
True
Suppose 2*p - 5*y = -p + 11, 0 = 4*y - 8. Suppose -3*z - 734 = -p*z - 2*t, -z - t + 182 = 0. Is z composite?
True
Let r = 301 + -68. Is r prime?
True
Let s(j) = -449*j - 2. Is s(-1) prime?
False
Let m(c) = -c - 1. Let r be m(-6). Suppose -r + 1 = 2*n. Is ((-3)/n)/(3/42) prime?
False
Let y = 189 + -48. Is y a composite number?
True
Let h(o) = 116*o + 3 + 54*o + 24*o - 2. Is h(2) composite?
False
Let i(n) = -n. Let h(b) = b**2 - 20*b - 17. Let l(y) = h(y) - 3*i(y). Is l(-12) a composite number?
False
Let w(k) = k**2 + 11*k - 4. Let h be w(-12). Suppose 11*z = h*z + 474. Is z prime?
False
Suppose 5*k + 0 - 10 = 0. Let t(i) = -4*i - 1. Let q(b) = -8*b - 2. Let o(d) = 2*q(d) - 5*t(d). Is o(k) composite?
True
Let b = -372 + 589. Is b composite?
True
Let w(s) = -13*s - 6*s + s**3 + 6*s**2 + 6*s - 5 - 20*s**2. Is w(16) a composite number?
True
Let i(a) = 13*a**2 - 8*a + 9. Let o(k) = 3*k**2 - 2*k + 2. Let s(h) = 2*i(h) - 9*o(h). Let n be s(2). Suppose n*w = 2*w - 106. Is w composite?
False
Let n be (7 - (2 - 2)) + -1. Suppose n*y - 352 = 3*y + 5*b, 1 = b. Is y prime?
False
Let z(r) = -13*r**3 + 3*r**2 - 5*r - 7. Is z(-4) a composite number?
True
Let u = 4 - 6. Let x = 5 - u. Is x a prime number?
True
Is 8/(-32) - (-1498)/8 prime?
False
Let q(c) = 3*c**2 + 5*c - 18. Is q(-7) prime?
False
Suppose -3*g + 20 = 2*g. Suppose 2*k + 20 = g. Let i = 63 + k. Is i composite?
True
Let c(r) = 269*r**2 + 2*r - 2. Is c(1) a composite number?
False
Let f(s) = -s**2 + 14*s - 3. Let v be f(12). Suppose 3*x - d = v, x - 2*x = 3*d + 3. Is x prime?
False
Suppose 4*f = -5*h + 143, -3*h + 0*f = -4*f - 73. Suppose y = 4*y - 6, 3*j + 5*y - 100 = 0. Suppose h + j = 3*c. Is c prime?
True
Let s = -1 + 3. Suppose s*c - 157 = -3*c - 2*a, 3*c - 115 = 4*a. Is c a composite number?
True
Let w(o) = 2*o + 163. Is w(0) a composite number?
False
Let w = 1133 - 430. Is w a composite number?
True
Let k = 6 + -1. Let u = -2 + k. Suppose -2*q = u*q - 185. Is q a composite number?
False
Is (-474)/(-4) - (-1)/2 a composite number?
True
Let v(p) = -p**2 + 6*p - 3. Let x be v(3). Is (-3)/x*6 - -10 a prime number?
True
Suppose 0*n - 8*n = -2344. Is n composite?
False
Suppose -m - 20 = m. Let z = m + 16. Let r = z + 25. Is r composite?
False
Let z(t) = -t**2 + 7*t + 8. Let m be z(7). Let v(u) = -u**2 + 11*u - 9. Is v(m) a prime number?
False
Suppose 0 = -2*y - 10. Let o = y - -4. Is -2 + 2 - 7*o a prime number?
True
Let r(j) = 50*j + 3. Is r(2) composite?
False
Let j be -1*(-4)/(-10)*-5. Suppose 0 = 4*p + j*q + 200, 0 = -3*p - 2*q + q - 148. Let m = -13 - p. Is m composite?
True
Suppose -2*o - 5 = 21