 Suppose -2*g + 2*f + 4 = 6*f, 3*f = -h*g + 8. Is g a composite number?
True
Suppose -3*o = -0 - 270. Suppose -6*b = -a - 2*b + 19, -3*a + b = -o. Is a a prime number?
True
Let b(d) be the first derivative of 4*d**3/3 - 2*d**2 + 7*d - 3. Is b(6) a prime number?
True
Suppose 185 = -4*c - g, 0*g - 44 = c + g. Let l = 139 + -233. Let r = c - l. Is r composite?
False
Let f(o) = 318*o - 5. Is f(2) a prime number?
True
Let f(g) = 45*g - 4. Is f(5) prime?
False
Let t = -15 - -15. Suppose -5*u - 163 = -2*l, l + t = -2*u + 77. Is l prime?
True
Suppose -5*x + 6*y - y = -45, x - 3*y = 13. Suppose x = -5*k + 102. Is k a prime number?
True
Suppose 3*p - 419 = -o, -4*o + 0*p = -5*p - 1676. Is o a composite number?
False
Let o(z) = -z + 7. Let u be o(5). Suppose -7 = h - 4*m, -m + 2*m - 13 = -u*h. Is -1 - h/(5/(-26)) prime?
False
Let v(c) = 5*c - 13. Let x(m) = -10*m + 25. Let p(y) = 11*v(y) + 6*x(y). Suppose 2*r = -4*b - 2 - 2, -5*r + 5*b = 40. Is p(r) prime?
True
Let c be (-8 - -1)/(-2 + 1). Let g(t) = t**3 - 8*t**2 + 8*t - 5. Let h be g(c). Suppose h*j = u + 133, -u + 3*u = j - 65. Is j prime?
True
Let k = 48 + -28. Is (565/k)/((-1)/(-4)) composite?
False
Let l be (-2)/(-3) - (-10)/(-6). Let b be 0 + l*5*43. Let z = -138 - b. Is z prime?
False
Let j = -1 + 2. Let m(n) = 3*n**3 + n. Let r be m(j). Suppose 0*k + 56 = r*k. Is k composite?
True
Is (-3 + 0)/((-1598)/398 - -4) a composite number?
False
Suppose -4*l = -2*i - 2378 + 470, -4*l + 1896 = -5*i. Is l composite?
False
Let r = -11 - 9. Is 20/6*(-36)/r a composite number?
True
Let v = -208 - -751. Is v prime?
False
Let a(j) = -2*j**2 - 1 + j + j**2 + j + 49*j**3. Suppose -4*t - 1 = -5*t. Is a(t) prime?
False
Let w = 6 - -16. Is w prime?
False
Suppose 0 = -4*p + 17 - 1. Suppose -2*h = -3*r - 399, 0*h + 778 = p*h - 2*r. Let f = 281 - h. Is f a composite number?
False
Suppose -5*b - s + 1333 = -4*s, 2*b - 522 = 4*s. Suppose -5*g - 84 = -b. Is g a composite number?
False
Suppose -11 = 3*a + 7. Let i(l) = 9*l**2 + 9*l - l - l + l**3 + 1. Is i(a) a composite number?
False
Suppose 4*d + 260 = 1776. Is d prime?
True
Let g(z) be the first derivative of z**4/4 - z**3/3 + z**2/2 - 33*z + 1. Let r be g(0). Let a = 32 - r. Is a a prime number?
False
Let p(r) = -r + 251. Let h(o) = o**3 + 2*o**2 - 9*o - 4. Let d be h(-4). Is p(d) a prime number?
True
Let b = 232 - 348. Let u = b - -167. Is u composite?
True
Suppose 0 = 2*y - 5*a - 13, 4*y - 2*a + 4*a + 34 = 0. Let l(q) = -3*q - 9. Let j be l(y). Let k = 22 - j. Is k prime?
True
Let v = -12 - -7. Let a(b) = -18*b - 1. Is a(v) prime?
True
Suppose 4*y - 1651 = -9*y. Is y a composite number?
False
Suppose -5*j + 7 = 3*m, -2 - 7 = 4*m + 3*j. Let u = m - -8. Suppose a - u*a = -3*b + 64, -4*b - a + 97 = 0. Is b composite?
False
Is (1 + -6 - -8) + 1682 a prime number?
False
Suppose 478 - 1981 = -3*k. Is k a prime number?
False
Let w be (-130)/(-6)*2*3. Let h(g) = -g**2 + g - 77. Let p be h(0). Let u = w + p. Is u a prime number?
True
Let j(g) = 76*g**2 - 5*g + 1. Is j(2) a prime number?
False
Suppose 5*r - 3*q - 451 = 0, 0 = -r - 2*q - 43 + 128. Is r a composite number?
False
Let b(j) = -j**2 - 10*j - 9. Let l be b(-9). Let a be (-279)/((-9)/3) + l. Let f = -56 + a. Is f composite?
False
Suppose -x = 3165 - 11158. Is x prime?
True
Suppose -4*h + h + 2*p = -8505, 0 = 2*h + 2*p - 5660. Is h prime?
True
Suppose 0 = -3*b + 2*t + 721 + 628, 896 = 2*b + 2*t. Is b a composite number?
False
Is (-6)/(-9)*(-8628)/(-8) a composite number?
False
Let u = 3092 + -1906. Is u composite?
True
Let k(x) = -x**3 + 3*x**2 - 8*x + 11. Is k(-7) a composite number?
False
Suppose 4*m = 5*i - 19, 2*m - 2 = m - i. Let h be m - (0 - 3 - 2). Suppose 0 = h*s - 81 - 139. Is s a prime number?
False
Let w(t) = -t + 5. Let c be w(4). Let v(d) = 8*d**3 + 2*d - 3. Let l(u) = u**3 + u**2. Let j(m) = c*v(m) - 6*l(m). Is j(4) composite?
False
Let m = -1232 - -727. Let u = 812 + m. Is u a prime number?
True
Let n(o) = -o**3 + o**2 + 6*o + 3. Is n(-4) a prime number?
True
Suppose 5*a + 12 = 7. Is 5 + -6 + 12 + a prime?
False
Let g(f) = f**2 + 4*f - 10. Let l be g(-5). Let m(j) = j**3 - j**2 + 9. Let s be m(0). Let p = l + s. Is p a composite number?
True
Let z = -1 - -3. Suppose -5*w + z*r - 6*r = -1439, -862 = -3*w - r. Is w composite?
True
Suppose -4*t - 1504 = -h, -3*h + 2*t = -0*h - 4492. Let g = h + -870. Is g composite?
True
Suppose 336 = -5*m + 971. Is m prime?
True
Suppose 65 = 2*g - g - 4*s, -5*s = 4*g - 197. Is g prime?
True
Let z(n) be the first derivative of -5*n**2 + 7*n + 2. Is z(-8) a composite number?
True
Let j(a) = a**2. Let f be j(-1). Let p(q) = q - 1. Let h be p(f). Suppose h = -3*t + t + 28. Is t prime?
False
Is -1*111*2/(-6) a prime number?
True
Suppose 5062 = 8*m + 1326. Is m a composite number?
False
Is 120/(-16)*(-402)/9 a composite number?
True
Suppose 3*c - 6 = -0. Is (c - 3)/(-1) - -25 a prime number?
False
Let p(y) = -14*y - 1 + 0 - 2. Is p(-4) a prime number?
True
Let n(j) = 26*j - 5. Suppose -v - 2*v = -42. Suppose -y + 28 = 3*y + 3*b, -2*y + b + v = 0. Is n(y) composite?
True
Let s = 3334 + 715. Is s a composite number?
False
Let v = 28 + -24. Suppose -2 = 2*i, 318 = 3*w - v*i - 427. Is w a composite number?
True
Let t = -38 - -140. Let o = t - 55. Is o prime?
True
Let p(y) = 2*y**3 - 4*y**2 - y + 4. Is p(5) a composite number?
False
Suppose 5*k = 3*k + 3*b + 370, 577 = 3*k + b. Is k composite?
False
Let d be (1/(-2))/((-1)/(-44)). Let f = d - -41. Is f a composite number?
False
Let f be -17 + 3/(-3) + 3. Let q be 24/5 - 3/f. Suppose 4*b + 4*z - 44 = 0, -3*z = -q*z - 8. Is b a prime number?
False
Suppose -f = -3*s + 7903, -5*f - 17 - 3 = 0. Is s a composite number?
False
Suppose -2*y - 611 = -3*y. Is y prime?
False
Let r(s) = 3*s**3 - 2*s**2 + 6*s - 2. Is r(5) a composite number?
False
Let u = -9 + 11. Let f(q) = 0 + 26*q + 8*q - 1. Is f(u) a prime number?
True
Suppose v - 1232 = -2*w - 298, 5*v + 934 = 2*w. Is w a prime number?
True
Suppose -2*v + 36 = 2*v. Is ((-3)/v)/(1/(-159)) a prime number?
True
Let h(a) = -38*a - 1. Suppose -2*d + 4*d = 2*t + 6, 0 = 2*d - 8. Let c be (-3 + t)*1 - -1. Is h(c) a composite number?
False
Let p = 10 + -6. Suppose 15 = -p*s - 3*g, 2*g - 4 + 0 = 2*s. Is (-23)/s*(3 + 0) a composite number?
False
Suppose 3*k = 8*k. Suppose 0 = -2*m + 7*m, -5*s + 3*m + 35 = k. Is s a prime number?
True
Let g be 2/(-8) + (-72)/(-32). Let y(j) = -j**2 - g - 2*j**2 - j**3 + 3*j + 1. Is y(-6) a prime number?
True
Suppose 4*q + 312 = 4*n, 4*n = -5*q + 190 + 149. Suppose 0 = -a - 1 + n. Let x = 138 - a. Is x composite?
True
Let x(r) = 2*r. Is x(11) a prime number?
False
Suppose 4*s - 5*n + 9 = 0, -3*s - n + 21 = s. Suppose 3*h + 30 = 4*m, m + 5*h - 4 = s*h. Is (-327)/(-9) - (-4)/m composite?
False
Let z(x) = -15*x**3 + 6*x**2 + 2*x - 3. Let w be z(-4). Let k = w - 674. Is k a composite number?
True
Let g(q) be the first derivative of 11*q**3 + q**2 - q + 5. Is g(-2) prime?
True
Suppose c - 15 = -4*c. Suppose 5*w - 87 = -5*f - 27, 4*f - 34 = 3*w. Suppose -v - f = -k + 43, -5*v = -c*k + 151. Is k prime?
False
Let n(i) = -i. Is n(-2) a composite number?
False
Let r be 2*(14/4)/1. Suppose -2*x = -8, x = 2*n + 3*x - 16. Suppose 3*z + 23 = t + r*z, -n*z = -8. Is t a composite number?
True
Let k(t) = 396*t**2 - t. Is k(-1) prime?
True
Let q(y) = -y**2 + 6*y - 5. Let t be q(5). Suppose t = 3*m - 0*m - 57. Is m a composite number?
False
Let i be -1 + 6/(-4)*-6. Suppose -2*x + i = -0*x. Is (-6)/x - (-109)/2 composite?
False
Let y(z) = -12*z + 11. Is y(-11) prime?
False
Let p be 2/(-3) - (-51)/9. Suppose -h - p*v + 18 = 5, -3*h - 5*v = -29. Let b = h + -1. Is b a composite number?
False
Let v(o) be the third derivative of -o**4/24 - o**3/6 + 2*o**2. Let a be v(-5). Suppose -138 + 6 = -a*n. Is n composite?
True
Suppose -b = -2*b + 2789. Is b a composite number?
False
Let h(m) = m**3 - 12*m**2 - 13*m + 2. Is h(13) a prime number?
True
Let z = 8 + -17. Let c be 3/2*(-24)/z. Suppose -c*t + 267 = -3*d, 3*d + 6 = 5*d. Is t composite?
True
Let n be (1*18)/3 - 2. Suppose -335 = -n*i - i. Is i a composite number?
False
Suppose s = -2*h + 6*s + 445, 0 = -2*h - 5*s + 495. Is h a prime number?
False
Suppose 2*j - 2*o + o = -237, -2*j = -4*o + 246. Let n = j + 236. Is n prime?
False
Suppose -5*