 = -r*g + 3*g. Is (g + 11)/((-6)/(-159)) composite?
True
Let z = -335 - -1494. Is z prime?
False
Let j be 6/(-10) - 4929/(-15). Suppose -5*c + j + 57 = 0. Is c composite?
True
Let n(f) = f + 5*f - 5 + 8*f. Let m = 6 - 0. Is n(m) a prime number?
True
Suppose -4*z = -4*u - 64, -11 = -2*z - 5*u + 28. Let b = 41 - z. Suppose 0 = 2*w - 5*f - 26 - b, 4*w = 2*f + 132. Is w prime?
False
Let z(l) be the third derivative of -13*l**6/120 - l**5/30 - l**4/24 + l**3/2 + 5*l**2. Is z(-3) a prime number?
False
Suppose -q - 4*p = -249, 1635 = 4*q - p + 554. Is q a composite number?
False
Suppose 3*g = -4*c + 12, -3*c - 3*g + 15 = 2*c. Suppose 5*p = -f + 391, f = c*p + 160 + 231. Is f a composite number?
True
Let p(m) = -m**2 + 5*m - 2. Let o be p(2). Let i be (-1 - -2) + -1 + o. Suppose 4*k - 220 = 4*r, -3*k - 102 = -5*k + i*r. Is k a prime number?
True
Suppose 0 = -4*r + 1736 - 508. Is r prime?
True
Let h(x) be the third derivative of x**4/24 + 2*x**3/3 - 8*x**2. Is h(-2) composite?
False
Suppose 3*w - 4*a = 74, -5*w = a - 4*a - 116. Is w prime?
False
Let k(v) = -v**3 + 3*v**2 - 3*v - 4. Is k(-3) a prime number?
True
Let h = 11 + -10. Let q(b) = 97*b**2. Is q(h) prime?
True
Let m(f) = -2*f**3 - f**2 - 5*f - 1. Is m(-4) a prime number?
True
Let z(b) = 70*b**2 + b + 6. Is z(-5) composite?
True
Suppose 4*f = 2*f - 2*m + 90, 3*m = 4*f - 208. Is f prime?
False
Suppose -s = 4*s. Suppose 34 = -s*j + j. Is j composite?
True
Let z be (-110)/(-90) + (-2)/9. Is ((-14)/(-6))/(z/129) prime?
False
Suppose 0 = -5*n - 97 + 652. Suppose -3*k + 2*k = -n. Is k composite?
True
Let o = 0 - -4. Suppose o*w - 76 = 6*w. Let u = w + 89. Is u composite?
True
Suppose 0 = 5*g + 5*h - 25, 3*g + 3*h = g + 13. Let q = -9 - -11. Suppose 17 = q*b - p, -g = -b - 4*p + 20. Is b a prime number?
False
Suppose -31 - 17 = -4*b + 4*j, -15 = 3*j. Is b a composite number?
False
Let m(a) = a + 26 + 15 + 12. Is m(0) a composite number?
False
Suppose 2*j - 65 = -3*j. Let g = 19 - j. Suppose g*y - 3*y - 5*m = 38, 0 = -2*y + 4*m + 26. Is y a composite number?
False
Let t = 8 + -4. Suppose o = 2*o + 3*s - 93, t*s = -3*o + 264. Suppose -6*h + o = -2*h. Is h composite?
True
Suppose -1 = -5*v + 3*g - g, 5*v + 4*g + 17 = 0. Let b = 1 - v. Is ((-10)/5)/(b/(-77)) composite?
True
Suppose -4*r - 3*d + 73 = -0*d, -r - d + 18 = 0. Is r prime?
True
Suppose 21678 = 2*l - 2*x - 0*x, l + 5*x - 10863 = 0. Is l prime?
False
Let j(v) = v**3 + v**2 + v - 1. Let a(b) = -7*b**3 - 15*b**2 - 16*b + 8. Let f(p) = a(p) + 6*j(p). Let q be f(-8). Is 2067/q - (-4)/24 composite?
True
Suppose 5*i + 31 = 4*k, -3*k + 39 = k + 3*i. Is k a composite number?
True
Let t = -22 + 43. Suppose 3*j - 12 = 0, 4*j + t = 3*b - 164. Is b a prime number?
True
Suppose 3*w - 2 = 10. Suppose -5*h + 3*b = -47, w*h + 3*b - 44 = -b. Is h prime?
False
Suppose -q - 2*b - 12 = -5*q, 0 = 4*q - 5*b - 18. Is (-1)/(1*q/(-50)) a prime number?
False
Let t(c) = -12*c - 7. Let a be 7*(1 + -2) - 1. Is t(a) prime?
True
Let c(x) = x**2 + x + 4. Suppose 2*f + 3*l - 14 = f, 0 = -3*f - 3*l + 24. Let k be c(f). Suppose d - 3*d - 2*z = -k, 5*d + 2*z - 91 = 0. Is d a prime number?
True
Suppose 2*z - 1781 - 6105 = 0. Is z a prime number?
True
Is (-8873)/(-4) + 93/124 a prime number?
False
Suppose -14*w + 3559 = -13*w. Is w a prime number?
True
Let s(z) = z**3 + 3*z**2 - 9*z - 1. Is s(8) composite?
False
Let b = -595 - -974. Is b a composite number?
False
Let z(c) be the second derivative of -7*c**3/6 + c**2 + 2*c. Let x be z(-2). Suppose 0*b - 2*b - 3*l + x = 0, -2 = l. Is b a prime number?
True
Suppose -52 = 4*h - 300. Suppose -4*o = 20, h = 5*i + 5*o - 18. Is 4/14 + 645/i a prime number?
True
Suppose 5394 = 2*b + 4*m, 10328 = 3*b + 4*m + 2235. Is b prime?
True
Let c = 1967 + -910. Is c a composite number?
True
Let j(f) = f**3 - 5*f**2 - 6*f + 3. Let p be j(6). Let z = 4 + p. Is z prime?
True
Suppose -x = -146 - 17. Is x composite?
False
Suppose -3*z = -0*r + r - 1, 12 = -4*z - 4*r. Suppose -z*y + 3 = m, 4*m + 0 = -2*y - 12. Suppose y*q + 85 = 5*q. Is q prime?
False
Suppose 920 + 213 = r. Is r prime?
False
Let s be (53 - -1)*18/(-27). Let x = s + 70. Is x prime?
False
Let t = 3 + -3. Let u be -2 + (-1 - t - -81). Suppose x - u = -x. Is x composite?
True
Let k(x) = -71*x - 2. Let w(s) = -107*s - 3. Let d(i) = -7*k(i) + 5*w(i). Is d(-3) a composite number?
False
Suppose 5*i - 1 = 2*g, g + 2*g + 3*i = 9. Suppose -2*s - g*s + 124 = 0. Is s prime?
True
Let k = -134 - -81. Is (4/(-1) - k) + 0 a prime number?
False
Let k(p) = -4*p**3 - 2*p**2 + 1. Let q be k(-1). Suppose q*b + 2*b - 10 = 0. Suppose b*y = 2*w - 0*y - 36, -3*w + 4*y = -49. Is w a composite number?
False
Suppose -2*m - m = -5*i + 20, -4*i = -4*m - 16. Suppose i = -t + 1, 0 = -4*a - t + 29. Is 16/(-6)*(-66)/a composite?
True
Suppose 0 = 2*g - r - 6, -5*g + r + 9 = -3. Suppose -n = g*c + 2*c - 1033, 0 = 5*c - 3*n - 1304. Is c a prime number?
False
Suppose 0 = -4*b + 3485 - 473. Is b prime?
False
Is (-566)/4*-2 - -4 prime?
False
Let g = 1478 - 855. Is g composite?
True
Suppose n + 3*n + 768 = 0. Let l = 45 - n. Let k = l + -148. Is k a composite number?
False
Let f = 1667 + -826. Is f composite?
True
Suppose 996 = 4*l + 2*i, -7*l + 1251 = -2*l + i. Is l composite?
False
Let f be 196*(-2 + 11/4). Suppose -42 = 3*k - f. Is k a prime number?
False
Let u(t) be the second derivative of 0 - 3/2*t**2 + 3*t + 1/12*t**4 - 1/2*t**3. Is u(-7) composite?
False
Let j(o) = -17*o**3 - 5*o**2 - 4*o - 6. Let z be j(-4). Let s = z + -724. Let k = s + -163. Is k a composite number?
False
Suppose -2*m - 20 = -4. Let d be 6*(-2)/4 - m. Suppose 2*y - 71 = d. Is y a composite number?
True
Suppose 8*q - 5*g = 3*q + 7925, -4*g = -2*q + 3164. Suppose -y - q = -5*y. Is y a composite number?
False
Suppose -21 = 5*f - 71. Is (55/(-5))/((-2)/f) prime?
False
Suppose -5*a + s - 2*s = 1037, 0 = a + 4*s + 215. Let r = a + 107. Is r/(-2) + (2 - -1) a prime number?
True
Suppose -5*t = 5*q - 380, -3 = -3*t - 6. Is q a prime number?
False
Suppose 0*b - 7*b + 4837 = 0. Is b prime?
True
Let b(d) = -2*d - 1. Let n(x) = -3*x - 2. Let o(g) = 3*b(g) - 4*n(g). Is o(12) prime?
False
Let l(o) = 45*o + 10. Is l(3) a prime number?
False
Let k(g) = 33*g - g - 5*g - 3 + 11*g. Is k(4) prime?
True
Let w(d) = -d**3 + 7*d**2 + 8*d. Let i be w(8). Suppose i = 2*q - 96 - 158. Is q a prime number?
True
Let n = -9 + 14. Let s be (78/n)/(4/20). Suppose 4*i = 2*w - s, 3*w - 2*i + 0*i - 109 = 0. Is w a prime number?
False
Let q = -3 + 7. Suppose -q*g - 214 = -1170. Is g a prime number?
True
Let b(k) = -k**3 - 4*k**2 - 3*k + 5. Let o be b(-4). Suppose 3*j - o = -2, 0 = -2*n + j + 125. Is n a prime number?
False
Let r(c) = -c**3 - 5*c**2 - 3*c - 5. Let h be r(-5). Is (-6)/(-10) + 904/h a composite number?
True
Is 3*(-3 + 203/3) prime?
False
Suppose 3*o + 1778 = 4*g + 8*o, -3*o - 900 = -2*g. Is g a composite number?
True
Let j = -2155 - -4310. Suppose -v = 4*v - j. Suppose -5*n - 2*d + 5*d + v = 0, -4*d - 8 = 0. Is n a prime number?
False
Is 2/(-2)*-260 - -3 prime?
True
Let v(s) = -s + 6. Let h be v(6). Let p be (h/(-2))/(-1 - 1). Suppose p = -4*o + 3 + 9. Is o a prime number?
True
Let c = 77 + 8. Is c a composite number?
True
Let l be 2 - (-4)/(4/3). Suppose 0 = 4*j - 2*i - 216, -2*i - 267 = -l*j + 2*i. Is j a composite number?
True
Let y = 6013 - 3794. Is y prime?
False
Let w = 12 - 4. Let c(z) = 13*z + 3. Let v be c(w). Suppose 0 = -4*h + v + 77. Is h a composite number?
True
Let y(u) = 261*u**2 - 2*u + 1. Is y(2) a prime number?
False
Let i(k) be the second derivative of k**3/6 - 2*k**2 - k. Is i(7) prime?
True
Let y = 204 - 67. Let q = -110 - -162. Let t = y - q. Is t composite?
True
Let g = 10 + -6. Is (-126)/12*g/(-3) a prime number?
False
Suppose -5 = -4*v + 3. Let g(k) = 36*k**3 + k**2 - 3*k + 1. Is g(v) a composite number?
True
Suppose -121 = 2*l - 3*l. Is 4 + -7 - (-1 - l) prime?
False
Let a(u) = -443*u + 3. Is a(-2) prime?
False
Let a(d) = 3*d - 12*d + 7 - 14*d. Is a(-8) composite?
False
Let d(t) = 14*t + 1. Is d(1) a composite number?
True
Let s be 3*((-408)/(-9))/2. Suppose -2*c - 5*n = -0*c - 37, -s = -3*c + 5*n. Is c a composite number?
True
Suppose -2*d = m - 12, 3*m - 6*m + 3*d = -36. Suppose 2*w + 148 = 4*v, 4 = 4*w - m. Is v a prime number?
False
Let x(v) = -v