ppose -5*g + 2*f = -1798, 8*g - 7*g + 4*f = 342. Is g a composite number?
True
Suppose -15*x + 10*x + 8755 = 0. Is x composite?
True
Suppose 6*f = 5*f + 25. Is f a composite number?
True
Let f = -22 + 8. Is (f/(-5))/((-1)/(-5)) prime?
False
Suppose -5*w = -r + 7, 0*r + 5*r + 5*w = -25. Is (498/(-4))/(r/4) a prime number?
False
Let s = 8 - 0. Let r = 13 - s. Suppose -r*m - 70 = -u, 269 = 5*u - 2*m + 4*m. Is u a composite number?
True
Let t(i) = -3*i**3 - 10*i**2 + 4*i + 1. Is t(-10) prime?
False
Let c be ((-1)/2*-8)/(-1). Let o = c + 15. Is o prime?
True
Let u(q) = -8*q - 10. Let b(v) = -9*v - 10. Let k(f) = 4*b(f) - 5*u(f). Let z be k(7). Is (z/(-4))/((-5)/30) a prime number?
False
Let n(d) = d**2 + 9*d + 4. Let l = -14 - -23. Let h be 3/l + (-31)/3. Is n(h) composite?
True
Suppose v = -4, 0 = -5*u - v - 2*v + 6983. Is u composite?
False
Is (-4 - -2)*1 + 4 composite?
False
Let k be (-1)/7 - (-2 + (-953)/7). Suppose 3*w - 146 = -a, 0*a + 390 = 3*a - 3*w. Is (-2)/(1 - k/a) a prime number?
True
Let o(n) = -n**2 - 4*n - 3. Let w be o(-3). Suppose w*t = 2*t. Is 57 + -2 + 0 + t prime?
False
Let o be (-35)/14*6/(-5). Suppose 5*f - 155 = -4*y, 5*f - 62 = o*f + y. Is f composite?
False
Suppose 5*v = -5*x + 60, x + 39 = 2*v + 6*x. Suppose b - 2 = v. Let u = -3 + b. Is u a prime number?
False
Suppose 4*s - 2 = 5*n, 0 = 5*s - 5*n + 3 - 8. Is (-170)/(-2) - (s + -3) a composite number?
True
Let h(q) = -q**2 - q + 306. Let s be h(0). Let c = s + -101. Is c composite?
True
Suppose i = -171 + 14. Let g = i + 105. Let l = g - -78. Is l a composite number?
True
Let x = 153 - -26. Is x composite?
False
Suppose -4*z + 3*z = -262. Is z composite?
True
Is (-3)/(-2)*1814/3 a prime number?
True
Suppose -3*k + 8*k = -25. Let t be 2*((-35)/(-2))/k. Let y(p) = p**3 + 9*p**2 - 5*p + 10. Is y(t) a prime number?
False
Let n = -20 - -7. Is n*(-4)/4*1 prime?
True
Let q be -1*(-3)/6*-2. Let y(z) = 2*z**2 - z - 1. Let l be y(q). Suppose -4 = l*p - 0*p, -4*m - 3*p = -166. Is m prime?
True
Suppose -2*u + 5*d = 21, -4*d = u - 6*u - 10. Let l(b) = 13*b**3 + 2*b**2 + 2*b - 3. Is l(u) prime?
True
Let b be -114*((-20)/6 + 2). Let r = 249 - b. Let q = -32 + r. Is q composite?
True
Suppose 5*w = 2*t + 629, t + 4*t = -3*w + 396. Is w prime?
True
Suppose 0*s - 153 = 3*s. Let y = s - -222. Suppose 4*x = 5*t + y, -x + t + 44 = -0*t. Is x composite?
True
Let o = 230 + -420. Let p = 33 - o. Is p prime?
True
Let i = -466 - -801. Is i prime?
False
Let k = 1 + 1. Suppose 5*b - 3897 = k*b - 4*s, 3*b - 2*s - 3879 = 0. Suppose -9*g + b = -4*g. Is g a composite number?
True
Suppose -6*h - 588 + 2742 = 0. Is h a composite number?
False
Let a(w) = -2*w - 1. Is a(-4) a prime number?
True
Suppose 0 = 2*k + 6*v - 3*v - 87, -4*v = 5*k - 221. Let c be 20/8 - (-4)/8. Suppose k = c*w - 21. Is w prime?
False
Let b = 1030 + -704. Is b a prime number?
False
Let l(u) = 4*u**3 + 3*u**2 - 3*u + 3. Let p(o) = -7*o**3 - 5*o**2 + 5*o - 6. Let w = -5 + 2. Let s(b) = w*p(b) - 5*l(b). Is s(0) composite?
False
Is (-6)/(-3)*(-159)/(-6)*31 a composite number?
True
Let r be (0/(-1))/(-4 - -2). Suppose -10 = -r*a + 5*a. Is (-1 - -9) + a + 0 prime?
False
Suppose -4*n - 615 = -3*y + 286, -y = -4*n - 287. Is y a prime number?
True
Suppose 2*s = 0, a + 0*s - 2*s - 21 = 0. Let z = a - 15. Suppose 0 = w - z*w + 195. Is w a prime number?
False
Let v be 2/5 + ((-80)/(-25))/2. Suppose 7*o - 4*o = 87. Suppose -c - 20 = -3*w, 4*w - c = -v*c + o. Is w a prime number?
True
Let c(m) = m**3 + 9*m**2 + 9*m + 13. Is c(-6) composite?
False
Let m = 86 - -231. Is m a prime number?
True
Suppose 3*i - 25 = -10. Let p be 4*-3*37/(-6). Let u = p + i. Is u a prime number?
True
Let k(h) = h - 1. Let u be k(5). Is (6/(-3))/u*-314 a composite number?
False
Let c = 1 + -5. Let u be ((-2)/4)/(1/c). Suppose w = u*d - 24, -2*w = d - 3 - 19. Is d composite?
True
Let k = -29 - -288. Is k prime?
False
Suppose 4*d = -5*k + 59, -d = -0*d - 4*k - 41. Suppose u - d - 38 = 0. Is u a composite number?
False
Let y be (-7)/4 - 6/24. Is (y - -1)*(1 + -420) a prime number?
True
Let m(x) = x - x**3 + 3 - 1 + 3*x**2 - 4. Let y be m(2). Suppose -y*q = 3*g - 79, 5*g = -9*q + 4*q + 130. Is g a composite number?
True
Suppose 7 = p - 3*b - 10, -4*p + 3*b = -23. Suppose -249 = -p*o + 257. Is o a composite number?
True
Let f = -1790 + 3591. Is f prime?
True
Let y be 4/(-6) - (-14)/21. Suppose 3*r - 333 = -y*r. Is r composite?
True
Suppose 0 = -4*h + 3*o + 21, -4*o - o - 6 = 3*h. Suppose -d - h*d = -156. Is d a prime number?
False
Let h be (-3)/(-2)*(1 + 1). Suppose -h*p - 19 = -4*p. Is p prime?
True
Let h(t) = -27*t - 5. Let k be h(-6). Let s = k + -66. Is s a composite number?
True
Let v = 4 - 2. Suppose h = -b - v*b + 47, -3*h + 21 = b. Is b prime?
False
Let r(s) be the second derivative of s**4/3 + 11*s**3/6 + s**2/2 - 4*s. Is r(-8) a prime number?
False
Let c(x) = -x + 157. Is c(0) composite?
False
Is -298*(4 + (-18)/4) a prime number?
True
Let y(x) = 23*x**2 - 2*x + 1. Let a be y(1). Let h = 41 - a. Is h a prime number?
True
Suppose i - 8 = -2*o, 0 = 4*o - 6*i + 4*i - 16. Suppose -g - o = -6. Suppose 179 = g*a + q, 3*a = 2*a + 2*q + 97. Is a composite?
True
Suppose -2*d + 17 = -3*g, -2*d + 3*d = -2*g - 2. Suppose 2*a - i - 179 = 0, -i + 355 = d*a - 0*i. Is a prime?
True
Suppose -4*d = 0, 0*c = -3*c - 3*d + 6. Let g(m) = 3*m**3 + 4*m**2 - 4*m + 3. Is g(c) a composite number?
True
Let r = 989 - 10. Is r composite?
True
Let u(l) be the third derivative of l**5/15 - l**2. Let n be u(1). Suppose -2*w - 8 = n*s, -4*s = 8 + 12. Is w a composite number?
True
Let n = -2629 + 4648. Is n a composite number?
True
Let i = 13 + -22. Suppose -18 = -y - 5*b, 0*b - 27 = -2*y - b. Let q = i + y. Is q a composite number?
True
Suppose 204 = -o + 4*q + 1661, -4*o + 5*q + 5773 = 0. Is o a composite number?
True
Let w(p) be the third derivative of -11*p**4/24 - p**3/3 + 3*p**2. Is w(-5) prime?
True
Let c be 6/(-4)*(-16)/6. Suppose -c + 2 = -g. Let k(j) = 11*j**3 - 2*j**2 + 3*j - 3. Is k(g) a composite number?
False
Suppose 5*b - 3*y = -34, -3 - 5 = b - y. Let k(f) = -3*f + 2 + 4 - 5*f. Is k(b) prime?
False
Let s = -1258 - -406. Is s/(-18) - 2/6 a composite number?
False
Let d(b) = 238*b**2 - b + 1. Let i be d(-2). Suppose -6*m + i = -m. Is m a composite number?
False
Let m(b) = -b - 2. Let y(a) = a**3 - 4*a**2 - 5*a - 3. Let t be y(5). Let i be m(t). Is 39 + (-2 - (1 - i)) composite?
False
Is 35804/28 + (-4)/(-14) prime?
True
Let t = -2 + 4. Suppose -3*c = 2*w - 1725, 0 = -w - 2*c + c + 862. Suppose -t*m = m - w. Is m prime?
False
Suppose -3 = -4*v + 9. Let f = v + 50. Is f a composite number?
False
Suppose -5*r = -4*f + 18, 0 = -3*r + r + f - 6. Let v = r + 4. Suppose 67 = v*i - 5*x, 4*i + 2*x - 3*x - 107 = 0. Is i a composite number?
True
Suppose -n + 2*n - 3*l + 4 = 0, 3*n - 3*l = 0. Let o be n/(-3 - -1)*-3. Suppose 3*b - 51 = -o*p, 2*b + p - 38 = -7. Is b prime?
False
Let s(h) = 12*h**2 - 6*h - 6. Let f be s(-4). Suppose -d + f = x + 2*x, 2*x - 3*d = 151. Is x a prime number?
True
Let i(d) = 6*d - 1. Let s be i(-1). Let c = s + 4. Is 86 + c/3 + -2 prime?
True
Let f(o) = -99*o - 7. Is f(-2) prime?
True
Let a = 8 - 5. Suppose i = a*i - 170. Is i a composite number?
True
Let g(f) = -f + 5. Let b be g(12). Let h(a) = -26*a + 3. Is h(b) composite?
True
Let r = 12 - 8. Suppose 4 = 5*l + r*k, 1 = 2*l - 4*k + 5. Let q = l + 47. Is q prime?
True
Let h = 244 + -35. Is h a composite number?
True
Is (-14)/((-736)/3231 + (-10)/(-45)) composite?
True
Suppose u - 2*k - 4 = -2*u, 3*k + 19 = -2*u. Is u/6 + 358/3 prime?
False
Let g(o) = 2*o + 4. Let k be g(-2). Suppose k = -0*a + a - 415. Is a a composite number?
True
Let g(t) = t**3 - 7*t**2 + 7*t - 4. Let u be g(4). Let s = u + 49. Is s a prime number?
False
Let g(t) be the first derivative of t**4/4 + t**3 + t**2 + 3*t - 1. Let z be g(3). Suppose 3*k = 9, h + 5*k = z - 25. Is h prime?
True
Let k(u) = u + 7. Let l be k(-5). Suppose g = -l*g. Suppose -c + g*c + 25 = 0. Is c composite?
True
Let s(o) = -5*o - 6. Let i(c) = 2*c + 4 - 4*c + 5*c - 1. Let a(t) = -5*i(t) - 2*s(t). Is a(-8) a composite number?
False
Let t = 4 + -7. Let u be t*(-3)/((-9)/(-2)). Suppose u*c - 4 - 14 = -5*q, -q + 72 = 4*c. Is c a composite number?
False
Suppose -8*m + 799 = -985. 