er?
True
Let w(f) = 27*f + 617. Is w(50) a composite number?
True
Let z(w) = -305*w - 12. Is z(-13) composite?
True
Is (21752/32)/((-1)/(-4)) composite?
False
Let b(m) = -103*m**2 + 8*m - 3. Let t(x) = 205*x**2 - 17*x + 7. Let n(f) = -9*b(f) - 4*t(f). Is n(2) composite?
False
Suppose 0 = 4*y - y - 9078. Let d = -2127 + y. Is d prime?
False
Let p = -61 + 67. Suppose 1535 + 5635 = p*u. Is u prime?
False
Let f(c) be the second derivative of c**3/2 + 3*c. Let v be f(7). Is v/(-14) + (-185)/(-2) prime?
False
Let z(a) = 2*a**2 - a - 4. Let h be z(3). Suppose -r = 3*v - 7, 0 = 3*v - r - 0*r - h. Suppose v*m - 753 = -0*m. Is m a composite number?
False
Let r(s) = 9*s**3 - s**2 + 5*s - 2. Suppose -2*k + 4*k = -2. Let o be (k/(-2))/((-4)/(-24)). Is r(o) a composite number?
True
Suppose -5*f - 11*w + 19210 = -10*w, 5*w = 4*f - 15339. Is f a prime number?
False
Let v(j) = 2*j + 8. Let h be (3/9 + 1)*-3. Let g(i) = -i - 1. Let b(a) = h*g(a) - v(a). Is b(3) a composite number?
False
Suppose -2*y = -5*y - 3. Is (-130 + 3)*(y + 0 + 0) a prime number?
True
Let i be ((-20)/(-30))/(4/102). Let g = 33 - i. Suppose w - g = -3. Is w prime?
True
Let h = 8 + -6. Suppose 3*y = -5*z + 34, 16 = h*y + 2*z - 0*z. Suppose -408 = -2*t + g - y*g, -2*t = -3*g - 393. Is t composite?
True
Let x be 3 + 3 + -3 + 2. Let v be x/(-5)*(3 - 298). Let q = v - 176. Is q a prime number?
False
Let o be 4/((-16)/28)*-727. Suppose -5*u + 15622 = -2*c, -5*u + o + 10529 = -3*c. Suppose d - u = -5*d. Is d a prime number?
True
Let m be 17 + -2 - 1 - 3. Let y(f) = -f**2 + 11*f + 3. Let n be y(m). Suppose 2*z = -5*s + 166 - 40, 3*s = n*z - 147. Is z a composite number?
False
Let l(d) = -17*d**3 + 6*d**2 + 44*d - 13. Is l(-6) a composite number?
True
Suppose 8*y - 5*y = 24. Suppose -y*r = -3*r. Suppose -2*u + 1490 = 2*s - s, r = -5*s. Is u composite?
True
Suppose 20*g - 27*g = -35. Suppose g*h - 66 = -21. Is h a composite number?
True
Let a = 771 + -157. Suppose 8*g - a = 5330. Is g a composite number?
False
Suppose -590 = -2*c + 3732. Is c a prime number?
True
Let g(r) = 60*r**2 - 18*r + 29. Is g(11) a prime number?
False
Suppose 4*f - 13 = 3. Suppose f*o = -3623 - 1745. Is (-6)/(-4) + o/(-4) composite?
False
Let u(p) = 186*p + 7. Suppose 7*b - 52 = -6*b. Is u(b) a composite number?
False
Let k(j) = 3*j + 11. Let m be k(14). Let y = 88 - m. Is y prime?
False
Suppose -16*g + 5*x = -14*g - 24666, 2*x = 3*g - 37021. Is g prime?
True
Let y(q) = q**3 - 3*q + 11. Let g be y(7). Suppose -114 = -i + g. Is i prime?
False
Suppose 4*p - p + 12 = 0. Let l(m) = 8*m**3 - 4*m**2 + 4*m + 3. Let b be l(p). Let k = b - -840. Is k a composite number?
False
Let o be (-4778)/(-10) - 6/(-30). Let f = o - -201. Is f composite?
True
Suppose 0 = 7*x - 32146 - 72595. Is x a composite number?
True
Suppose -3*k + d - 223 + 21 = 0, -3*d = -3*k - 192. Let w(y) = -53*y. Let g be w(2). Let n = k - g. Is n composite?
False
Suppose 3*r - w = 322, -5*r + 0*r - 5*w = -550. Let m = -57 - r. Is m/(-9) - 6/(-9) a prime number?
True
Suppose -26650 = -2*c + 4*q, -66612 = -5*c + 4*q - 7*q. Is c a prime number?
False
Suppose 25*p - 285956 = -19*p. Is p prime?
False
Let s(b) = 23*b**3 - 4*b**2 + 3*b + 19. Is s(6) composite?
False
Let h = 41 - 36. Suppose -h*y = -2*y + 3*t - 6, -2*t - 1 = y. Suppose 0 = y*v - m - 9627 + 2219, -2*v - 5*m + 2947 = 0. Is v a composite number?
False
Let t = 27 + -21. Let g be 4/t*1290/20. Suppose 22 + g = h. Is h a prime number?
False
Let n = -3794 - -5983. Is n a composite number?
True
Let v(r) = r**3 - 9*r**2 - 10. Let l be v(8). Let k = 53 - l. Is k composite?
False
Suppose -4*w - 3*y = -30 - 1, 0 = -2*w + y + 3. Suppose f = x - 2*f - 67, -281 = -w*x - f. Suppose 1127 = 5*s + j + x, -4*s = -5*j - 834. Is s composite?
False
Suppose 2*h = 14 + 16. Is 0 - -1 - (h - 249) composite?
True
Suppose -4*h + 19 = 3*l, -3*h - 4*l + 16 = -0*h. Suppose 87 = -2*g + h*p + 385, 4*g - 626 = 2*p. Is g a composite number?
True
Let o(v) = v - 12. Let f be o(5). Let i = 11 + f. Is ((-326)/i)/(11/(-22)) a composite number?
False
Suppose -15*f = -19*f - 44. Let i be 12 + 0 - (f - -15). Let u(w) = -w**3 + 10*w**2 + 5*w - 11. Is u(i) a prime number?
True
Suppose 238 = 10*d - 132. Is d a prime number?
True
Let s(r) = 6*r + 3515. Let g be s(0). Suppose 5*y - 2*n - g = 0, 0 = -4*y + 3*y + 4*n + 721. Is y prime?
True
Let r(j) = 505*j - 5. Let x(i) = -i + 1. Let b(m) = r(m) + 4*x(m). Is b(3) composite?
True
Let x(z) = z**2 - 2*z. Let y be x(4). Let i be 2/(3 + (3 - y)). Is 194/(2 - (1 + i)) a composite number?
False
Let a(x) be the third derivative of -3*x**7/560 + x**6/144 + x**5/12 + x**2. Let v(d) be the third derivative of a(d). Is v(-4) prime?
True
Suppose 3*r + 2*l - 11 - 3 = 0, 3*l = r - 1. Is (-1174)/(r - (-2 + 8)) a composite number?
False
Suppose 0*n - 105888 = -3*c - 3*n, -c - 5*n = -35304. Suppose -c = 5*w - 19*w. Is w prime?
True
Let k = 9 - 9. Suppose w - 5*w - 12 = k. Is ((-254)/w)/((-6)/(-9)) a composite number?
False
Let a = -925 + 1574. Is a prime?
False
Suppose 2*a + n - 6 = -1, 5*n + 31 = 4*a. Is (a/(-1))/(8/(-6)) a prime number?
True
Let x(k) = 19*k + 18. Let y(z) = 94*z + 90. Let b(a) = 16*x(a) - 3*y(a). Is b(8) prime?
False
Let o(f) = 3*f**2 + 2*f + 3959. Let s be o(0). Suppose 0 = -5*z + 8696 + s. Is z prime?
True
Suppose f - 1399 = 334. Is f a prime number?
True
Is 37717*(8/(-2))/(-4) composite?
False
Is 3/(3 - (-3008)/(-1004)) composite?
True
Suppose 2*p = p + 5. Suppose 2*r + 625 = -3*r - p*x, -2*r = -x + 235. Let j = -83 - r. Is j prime?
True
Let r be (20 - 10)*4/5. Suppose -10*h + 1358 = -r*h - 4*q, 4*h - 3*q - 2696 = 0. Is h a prime number?
False
Let m be 0/(-2) - -2 - -81. Suppose 0 = -4*y + 9 - 1. Suppose -m = y*z - 271. Is z a prime number?
False
Suppose 0 = -a + 18*p - 17*p + 3826, 4*a - 15274 = -2*p. Is a prime?
True
Suppose -3*z - 6 = -5*z. Suppose 3*b - z = 0, -4*f - 387 = b - 2624. Is f prime?
False
Suppose 13*i - 57761 = -8530. Is i a prime number?
False
Let t(b) be the first derivative of -b**2/2 + 5*b - 2. Let j be t(7). Is -505*(-2)/j*-1 prime?
False
Suppose -a + 24 = -4*w, -3*a = -5*a - 3*w - 7. Suppose 8 = u - a. Let b = 491 + u. Is b a prime number?
True
Suppose 3*z - 8*z + 23500 = -5*o, 2*z - 9394 = -4*o. Is z prime?
False
Suppose 2*u + 103790 = 12*u. Is u a composite number?
True
Let m be (5 - 2) + 3 + 4/(-4). Suppose 0 = -m*j - 6*j + 21703. Is j composite?
False
Let j(g) = -3 + g**3 - 3*g**2 - 2*g**3 - 2*g + 0*g + g. Let u be j(-3). Suppose -q + 968 = -o, -o - 1939 = -u*q - 2*q. Is q prime?
True
Suppose -4*w + 5305 = -14323. Is w prime?
False
Let k be (-3)/2*(21 - 7). Let g be ((-7)/k)/((-1)/(-12)). Suppose g*f = f + 2613. Is f a prime number?
False
Let g = -33671 + 47962. Is g composite?
True
Suppose -2*r - 1982 = 4*z, 5*z - 4*z = 3. Let k = -575 - r. Is k a composite number?
True
Let q(h) = 161*h + 116. Is q(7) a composite number?
True
Suppose 3307 = h - 834. Is h prime?
False
Let c(p) be the first derivative of 753*p**4/4 + p**3 + 7*p**2/2 - 3*p + 2. Let x(y) = 502*y**3 + 2*y**2 + 5*y - 2. Let d(i) = 5*c(i) - 7*x(i). Is d(1) prime?
True
Suppose -2*s + s = -5*z + 3893, -3*z - 4*s + 2345 = 0. Suppose -5*c - z = -2*f, 5*c = 4*f + f - 1970. Is f composite?
False
Let x(k) = 6*k**3 - 4*k + 7*k - 7 - 7*k**3 - 2*k**2 + 0*k**2. Suppose 5*g - 2*z = -4*z - 35, g + 4*z = -25. Is x(g) prime?
True
Let j(c) be the second derivative of -c**4/12 + 4*c**3 + 25*c**2/2 + 7*c. Is j(18) composite?
True
Let t(s) = -8*s - 2. Let r(z) = -17*z - 3. Let c(y) = -2*r(y) + 5*t(y). Let f be c(-10). Suppose 99 = g - f. Is g a composite number?
True
Let y(j) = j**2 + j - 1. Let z(w) = -2*w - w - 15*w**2 + 10 - 7*w**2 + 0*w. Let x(o) = -6*y(o) - z(o). Is x(-3) a composite number?
False
Suppose 2*m - 2691 = 2527. Is m composite?
False
Let n(r) = r - 9. Let x be n(5). Let z be (-4)/x + 3 + -386. Let i = z - -660. Is i a composite number?
True
Suppose -4*t = 3*a - 1 - 2, 4*t = 4*a + 24. Let l be 2/(-4)*-1*4450. Suppose l = -t*v + 8*v. Is v a prime number?
False
Let b(w) = 13*w**2 + 28*w + 13. Let o(i) = -28*i**2 - 60*i - 26. Let h(u) = 13*b(u) + 6*o(u). Let p(y) = -y**2 + y. Let j be p(3). Is h(j) prime?
False
Suppose 8*v - 25439 = 12185. Is v prime?
True
Let o(h) = 4*h**2 + 3*h + 4. Let a be o(-3). Let z = -18 + a. Is 