0 - f. Is m a prime number?
False
Let g = 47 - -2. Suppose -2*c - 5*i = -6*c - g, 3*i = -2*c + 3. Let m(s) = s**2 + 6*s + 7. Is m(c) a prime number?
True
Let g(o) = -314*o**2 + 7*o. Let d(v) = -157*v**2 + 3*v. Let a(t) = -7*d(t) + 3*g(t). Is a(-1) composite?
False
Let y be (-4)/(-6)*6 - -1. Let p = 8 - y. Suppose p*h - 134 = h. Is h a prime number?
True
Let u = 1 - 1. Suppose g = -u*g + 71. Is g prime?
True
Let o = -4 - 0. Let t be 3/(-12)*3*o. Suppose t + 2 = -p + 4*j, -4*p + 3*j + 32 = 0. Is p a composite number?
False
Is 1045/7 - 20/70 prime?
True
Suppose -2*w + 2*p + 1506 = 0, 4*w + 433 - 3433 = -2*p. Is w composite?
False
Suppose -4*d + 25 = d, -5*m + 12175 = -2*d. Is m composite?
False
Let y = 6 - 2. Suppose y*g = 5 + 7. Is -46*(7/(-2) + g) composite?
False
Suppose 4*o + 3*f = 5, 3 + 7 = 5*o + 5*f. Let h(p) = -2*p + 1. Let n(m) = -3*m + 1. Let j(w) = -3*h(w) + 4*n(w). Is j(o) composite?
False
Let u(o) = o**2 - 7*o - 12. Let n be u(10). Is 87*(-2)/(n/(-21)) prime?
False
Let h(y) = -331*y**3 + y**2 + y - 2. Let d(o) = -661*o**3 + 2*o**2 + 2*o - 3. Let c(n) = 3*d(n) - 5*h(n). Is c(-1) prime?
False
Let u be (2/5)/((-5)/125). Is (-1554)/u + 4/(-10) composite?
True
Suppose 1756 + 749 = 5*d. Is d prime?
False
Let h(m) = m**3 - 14*m**2 + 10*m + 2. Let u(p) = p**3 - 13*p**2 + 10*p + 1. Let t(v) = -6*h(v) + 7*u(v). Is t(7) a prime number?
False
Suppose 5*b + 4*k = 243, 0 = -b + 6*b + 3*k - 246. Is b composite?
True
Let d = -21 - -14. Suppose t - 35 = 7. Let u = t - d. Is u a composite number?
True
Let z = -52 + 300. Let g = z + -133. Is g composite?
True
Let h(w) = -60*w. Let m be h(-2). Let u = m - -91. Is u prime?
True
Suppose 5*t - 2050 = 1605. Is t composite?
True
Suppose 0*b + 23 = b - 2*n, -60 = -5*b - n. Is b a composite number?
False
Suppose -731 = -6*z - 161. Is z prime?
False
Is 2/4*47*(-3 + 5) composite?
False
Let q = -7 + 11. Suppose -q*o - 15 = o. Is o + 6 - (-2)/(-2) prime?
True
Suppose -3*g + 691 = -224. Is g a composite number?
True
Let v(i) = -284*i - 14. Is v(-3) composite?
True
Let w be (-2 + 4)/((-4)/(-82)). Suppose 86 + w = z. Is z a composite number?
False
Is (6/18)/((-1)/(-429)) a composite number?
True
Is ((680 + -2)/1)/2 a prime number?
False
Suppose -4*h - 24 = -6*h. Suppose 2*m - 8 = -3*z, 2*z - 4 = -2*z - m. Suppose 0*y - 4*y - h = z, -3*y = 3*l - 66. Is l a composite number?
True
Let z be (-646)/(-9) - 4/(-18). Suppose 2*b = -2 + 6. Suppose -2*t - 6*i + 2*i + 78 = 0, -z = -b*t + 2*i. Is t a composite number?
False
Is ((-3974)/(-9)*-3)/((-4)/6) a composite number?
False
Let n be (-228)/(-9) + (-4)/12. Suppose -n + 51 = 2*m. Is m prime?
True
Suppose -2*y + 4 = -6*y. Let k(v) = -5*v**2 + v + 1. Let c(b) = -b**2 - b. Let m(x) = y*k(x) + 4*c(x). Is m(9) composite?
True
Is (4 + 26/(-6))/((-2)/2706) prime?
False
Is (-3 - -1) + 2 + 1535 composite?
True
Suppose -2*v + v = -6. Let u(s) = -s**3 - s**2 + s + 105. Let c be u(0). Suppose -v*m + m + c = 0. Is m composite?
True
Suppose 0 = -5*z - 4*z + 10071. Is z a prime number?
False
Let p(b) = 2*b + 12. Let k be p(-5). Suppose -k*o = -108 - 130. Is o a prime number?
False
Suppose 0 = 2*i - 4*x - 50, -x = i + 2*x - 45. Suppose -m - 5*b = 0, 5*m + 5*b = i + 7. Suppose -n + 9 = -m. Is n prime?
True
Suppose 4*f + 0*f + 208 = 0. Let o = f + 89. Is o prime?
True
Let d(s) = -s**3 + s**2. Let t be d(1). Let q be (t - 6)*2/(-3). Suppose 0 = -2*w + q*w - 106. Is w a prime number?
True
Is (5924*(-1)/2)/(-1*2) composite?
False
Let y = 4 - -4. Let q(n) = -3*n - 8. Let l be q(y). Let i = 5 - l. Is i a prime number?
True
Let n(k) = k**2 - k + 545. Is n(0) prime?
False
Suppose g - 21 = 5*y, g - 2*y = -g + 58. Suppose 2*r - g = -5*b, 5*b - 19 = 6. Is r a composite number?
False
Let y(p) = -2 + 2 - 6*p**2 - 3*p + 2*p**3. Let l(c) = c**2 - 3*c + 1. Let t be l(4). Is y(t) prime?
False
Let t be (0 - 1)/((-11)/22). Suppose -t*i + 273 = i. Is i a composite number?
True
Let m = 7 - 8. Let w(a) = 249*a**2 - 2*a. Is w(m) composite?
False
Let a be (10/15)/((-2)/(-129)). Suppose 4*z = 3*m - a, z + 2 = -z. Is m a prime number?
True
Suppose -2*g + n + 5 = 0, -g + 4*n + 5 = -8. Is g + 182 - (-8 - -6) a composite number?
True
Let h = 11 - 8. Suppose -20 = -h*l + 2*l + 3*d, 0 = 2*l - 2*d - 28. Is l prime?
True
Let s = 29 + 2. Is s a prime number?
True
Let u = -5248 - -7427. Is u composite?
False
Let j(a) = 26*a**3 - 3*a**2 - 2*a - 2. Is j(3) prime?
False
Is (5 - 8)*((-534)/9 - 1) prime?
True
Let l(x) = 50*x - 1. Let q be l(-1). Let o = q + 109. Is o a composite number?
True
Let g = 3096 + -1631. Is g prime?
False
Suppose -2*k = -3*r + 2869, 0 = -2*r + 5*k + 517 + 1414. Is r prime?
True
Suppose -2277 = -13*g - 223. Is g a prime number?
False
Let g(r) = 4*r**2 + 5*r + 9. Is g(-4) prime?
True
Suppose 2*r = -2*q + 248, 0*q + 2*r - 121 = -q. Is q a prime number?
True
Let j = -549 + 1502. Is j a composite number?
False
Let y(f) = f**3 - 10*f**2 - 10*f - 15. Let x be y(11). Is (x/6)/(6/(-2979)) prime?
True
Let b = 635 + -47. Suppose -3*z - s = -2*s - b, -s = -4*z + 783. Suppose w + z = 4*w. Is w composite?
True
Let f(k) = k**2 - 8*k - 9. Let r be f(9). Suppose x + 2 = -r*x. Is (4 + -2)/(x/(-23)) composite?
False
Let d = -152 + 235. Is d a composite number?
False
Let k(r) = -82*r**3 - 2*r**2 - 1. Let b(x) = -165*x**3 - 3*x**2 - 2. Let q(m) = -3*b(m) + 5*k(m). Let n be q(1). Suppose -l = -2*l + n. Is l a prime number?
False
Let n(m) = -251*m + 30. Is n(-5) prime?
False
Let v = 3 + -2. Let l(y) = 34*y**3 - y**2 + 1. Let j be l(v). Suppose -5*k = -j - 31. Is k prime?
True
Suppose -4*c + 342 = -2*m, -c - 3*m + 8*m = -81. Let z = c - 25. Let r = -40 + z. Is r a prime number?
False
Suppose 6 = q + q, -5*w + q - 13 = 0. Is ((95 + 2)*w)/(-2) a composite number?
False
Let j(s) = 7*s - 1. Let v be j(1). Suppose t + v*u = u + 152, -3*u = t - 158. Is t composite?
False
Suppose 67 = -5*l + 1532. Is l prime?
True
Let n be ((-1 - -1)/2)/(-2). Is (-2 - n - 0)*-43 a composite number?
True
Is 22 + -19 + 4287 + -1 a composite number?
False
Let k(t) = 3*t**3 + 3*t**2 - t + 1. Is k(3) prime?
False
Let f = 41 + -27. Let k be 2/8 - f/(-8). Suppose -4*r + 181 = y, -197 = -k*y - 3*r + 140. Is y composite?
True
Let j = 9 - 9. Suppose j*o = -4*o. Suppose i - 35 = -o*i. Is i prime?
False
Is 2 + ((-9)/6 + 4)*278 composite?
True
Let r(p) = 2*p**2 - 7. Is r(-5) a prime number?
True
Let k be (39/9)/(2/66). Let j = -46 + k. Is j composite?
False
Suppose -4*v - 17 = -1. Let s = -1 - v. Is ((-248)/(-4))/(s - 1) composite?
False
Let d(c) = -c**3 + 6*c - c - 5 + 2 - 1 - 5*c**2. Let s be d(-6). Suppose 4*w - 4*x = s*w + 124, -5*x = -3*w + 184. Is w a composite number?
True
Suppose -4*v = 2 + 6. Is v/8*-2*92 a composite number?
True
Suppose 4*f - 578 = -5*k + 995, 3*k + 2*f = 945. Is k a composite number?
False
Let b = -2333 + 3982. Is b a composite number?
True
Let d(n) = 2*n**2 + 37*n + 20. Is d(-29) a composite number?
True
Suppose 6*k + 470 = -m + 2*k, 2*m - 5*k = -875. Let c = -151 - m. Is c prime?
False
Suppose -5*j - 76 = -591. Is j a composite number?
False
Let r be (-2)/(-5) - 2/5. Let a(q) = -5 + q**2 - 2*q**2 + 72. Is a(r) a prime number?
True
Let x = 2821 - 1028. Is x a composite number?
True
Is 645/(-10)*(-1 - 1) a composite number?
True
Suppose -456 + 164 = -2*d - v, 719 = 5*d - 3*v. Is d a composite number?
True
Suppose 179*z = 183*z - 28924. Is z a composite number?
True
Let w(t) be the third derivative of t**6/40 - t**5/60 - t**4/8 + t**3/6 + 3*t**2. Is w(2) prime?
False
Let s = 3 + -1. Suppose 0 = 2*b + r - 370, s*b - 5*r - 370 = -0*r. Is b a composite number?
True
Suppose 5*x + 3 = 13, -2*l = 4*x - 16. Let k(y) = 31*y**2 + 1. Is k(l) a prime number?
False
Let d(l) be the second derivative of l**4/6 - l**3/2 - 9*l**2/2 + l. Let c(s) = 2*s**3 - s**2 - s - 2. Let w be c(2). Is d(w) composite?
True
Suppose 0 = 4*m - m - 6. Let b(u) = 4*u**3 + 1. Is b(m) composite?
True
Suppose -4*s - 10 + 38 = 0. Is s/(-21) + 4076/6 prime?
False
Suppose -o - 388 = -4*h, -3*o = 5*h - o - 485. Is h composite?
False
Let q be (-4)/2*(-1 + 0). Suppose q*k - 119 - 69 = 0. Suppose 2*a + 5*n = k, a - 3*n + 197 = 6*a. Is a a composite number?
False
Suppose -g + 310 = -87. Is g a composite number?
False
Is ((-6)/9)/((-2)/1011) a prime number?
True
Suppose -3*w = -y +