+ 3. Let p be d(a). Suppose -p*g + 8*g - 65 = 0. Is g a prime number?
True
Let l = 7 - 2. Suppose -l*d - 4*c + 315 = 0, 3*d - 3*c - 181 = -19. Is d prime?
True
Let d(x) = -4*x - 111. Let a(n) = -3*n - 74. Suppose -2*m = m + 4*q + 7, -m - 9 = -2*q. Let c(f) = m*d(f) + 7*a(f). Is c(0) a prime number?
True
Let g = 6578 - 2451. Is g a composite number?
False
Suppose j + 135 = -5*v, 2*v = -3*v - 2*j - 135. Let b = 46 + v. Is b composite?
False
Let g be (-18)/(-4) - (-1)/(-2). Let b = -4 + g. Suppose 6*c - 2*c - 2*y - 352 = 0, -c + 2*y + 85 = b. Is c composite?
False
Suppose 2*n = -2, 5*v + 3*n = -4 + 26. Suppose v*b = 3*b + 190. Is b composite?
True
Let h(t) = 0*t + 3*t + t + 1 + t. Let f be h(2). Let q = 346 - f. Is q composite?
True
Suppose 1185 = i + 2*y - y, -5*y + 20 = 0. Is i a prime number?
True
Suppose y + j = -0*y + 12, -3*j + 43 = 4*y. Suppose -y*t = -5*t. Suppose 0 = -t*c + 4*c - 92. Is c composite?
False
Suppose c = -2*c + 189. Let n = c + -17. Is n prime?
False
Suppose 0 = -j - 0*u - 4*u + 147, 0 = -3*j + 5*u + 356. Is j prime?
True
Let z = 329 - 234. Is z composite?
True
Suppose -9*d + 6*d = -12. Suppose -2*t - w + 278 = 2*w, -d*w = 16. Is t a composite number?
True
Let g(q) be the first derivative of -q**4/4 + 4*q**3/3 - 3*q**2/2 - 4*q + 4. Let v be g(3). Let y(x) = -x**3 - 5. Is y(v) a prime number?
True
Suppose 4*q - 7 = 13. Suppose -3*d - 3*x = -0 + 3, -q*d - 4*x = 0. Suppose 140 = -0*b + d*b. Is b prime?
False
Let r be -3 - (-310 - 2)/4. Suppose 5*c = -0*c + r. Is c a prime number?
False
Is (-3393)/(-5) - (-2)/5 a composite number?
True
Let x(g) = g**3 - 2*g**3 - 2 - g + 10*g**2 - 6*g**2. Let c be x(3). Suppose 385 = u + c*u. Is u a composite number?
True
Let g = -179 - -402. Is g a prime number?
True
Let f(v) be the first derivative of -v**3/3 - 5*v**2 + v - 4. Suppose -2*g = -4*g - 14. Is f(g) a prime number?
False
Suppose u + 59 = w - 2*u, 3 = u. Let b = -31 + w. Is b a composite number?
False
Suppose 0*m - m - 9 = 3*b, 8 = -2*m - 4*b. Suppose 0 = -m*y + 2*y + 316. Is y composite?
False
Let k = -431 - -789. Suppose y + k = 4*w, 257 = 3*w + 4*y + y. Is w composite?
False
Suppose -o + 3519 = 2*o. Suppose -2*f + 5*h + 114 = -346, -o = -5*f + h. Is f a prime number?
False
Let p = 2 + -4. Let h be p/7 - (-1082)/14. Is h*3*(-2)/(-6) a prime number?
False
Suppose 3*x - 51 = 372. Is x a composite number?
True
Let p(o) = 5*o + 23. Is p(6) a prime number?
True
Suppose 3*x - x = 158. Let u = 133 - x. Suppose 4*b = 5*b + 4, 5*b - u = -2*s. Is s a composite number?
False
Let o(q) be the first derivative of -43*q**2/2 - q - 2. Let x be o(-6). Suppose -g + x = -2*l + 7*l, 147 = 3*l - 3*g. Is l a composite number?
True
Suppose -d - 3*d = 0. Let s be d + 3/(6/8). Is (s/6)/((-2)/(-66)) composite?
True
Suppose -3*q = -4*q + 14. Let h(p) = -5*p**3 + p**2 - 2*p + 1. Let j be h(-2). Let t = j - q. Is t a composite number?
True
Let d(n) = n**3 + 5*n**2 + 4*n + 3. Let x(p) = p**3 - 3*p**2 - 2*p + 4. Let y be x(3). Let t be d(y). Let h = t - -8. Is h a prime number?
False
Let s be (-2)/1*1/2. Is 4 + 147 + 2/s composite?
False
Let x(j) = 94*j + 7. Let g be x(6). Suppose -4*s + 114 = n - 3*s, 5*n + 4*s = g. Is n composite?
True
Let d(b) = -b**2 - 11*b + 7. Suppose -4*g + 13 = -7. Let f be 4*1/(-4)*g. Is d(f) a prime number?
True
Let g(a) = -a**2 - 4*a - 2. Let t be 20/(-6) - (-2)/6. Let u be g(t). Is u - (-144 - (3 - 3)) prime?
False
Let a(z) = 2*z**3 - 9*z**2 + 3*z - 3. Let o be a(6). Let w = 194 - o. Is w a prime number?
True
Let g(k) = 25*k**3 + 3*k**2 - 2*k + 5. Is g(6) a prime number?
True
Let n = -426 + 1165. Is n a composite number?
False
Let a = 2159 - 1166. Is a a composite number?
True
Suppose -4*x = 3*y - 390 + 108, 5*x = -4*y + 377. Suppose -11*u + 8*u = -201. Let z = y - u. Is z prime?
True
Let i(b) be the third derivative of b**4/4 + 5*b**3/6 + 8*b**2. Let a be -9*(0 + 1/(-1)). Is i(a) a composite number?
False
Let l(d) = d**3 + 16*d**2 + 2. Suppose 0 = -4*z + 3*g - 2 - 63, -z - 5*g + 1 = 0. Is l(z) composite?
True
Let q be (-2 + -1)*(-2)/6. Let k be ((-1 - -1)/2)/q. Suppose k = -g - d + 59, g + 4*d = -0*g + 71. Is g composite?
True
Suppose -5*d = w - 55, 2*d = -5*w - 1 - 0. Let g be -34 + 2*6/(-4). Let n = d - g. Is n prime?
False
Let j = 27 + 17. Let y = j - 10. Is y prime?
False
Suppose 0*s - 3*s = -1239. Is s a prime number?
False
Let t = 1625 - 1038. Is t a prime number?
True
Let l be (-2)/3 - (-24)/9. Let x(o) = 12*o - 10*o - 3 + 12*o. Is x(l) a prime number?
False
Suppose 54 = 3*m - 60. Suppose -41 - m = -v. Is v composite?
False
Suppose 0 = 3*w - 0*w - 9. Suppose 0*p + w*p = 633. Is p a composite number?
False
Let h = 194 + -127. Is h composite?
False
Suppose 2 = -4*d + 6. Is -79*(-4 + d + 2) composite?
False
Let p(c) = 108*c**2 + 5. Is p(4) prime?
True
Is 1 - (-4 - (316 - 4)) a composite number?
False
Suppose 2*g - 42 = -0*g - 4*t, g - 3*t + 4 = 0. Let r = g - 8. Suppose -2*u - j + 6*j = -33, -4*u = r*j - 1. Is u composite?
True
Suppose -4*t + 4 = 0, m = -t - 4*t + 672. Is m a prime number?
False
Let c(t) = t**2 + 2*t + 3. Let s be c(-3). Suppose v + 1 = s. Suppose -v*n + 250 = 5*u, -2*u + 4*u = -10. Is n prime?
False
Suppose 5*y - 10 = -4*u + 42, u + 12 = 5*y. Suppose -u*k + 447 = -5*k. Is k composite?
False
Suppose -12 = -4*b, 4*y - 2*b - 452 = 158. Let v = y + -95. Is v composite?
False
Is 6/(-27) + 10671/27 prime?
False
Suppose -4*s + 1484 = -2336. Suppose -3*d - s = -8*d. Is d composite?
False
Suppose 8 = -5*d + 7*d. Suppose b + d*b = 165. Is b prime?
False
Let p = 19 - 11. Suppose -452 = -10*r + p*r. Is r composite?
True
Let o(k) = -27*k - 4. Is o(-3) prime?
False
Suppose 3*p = 2*p + 58. Let d be 2/5 + p/5. Suppose 0*o = 4*o - d. Is o composite?
False
Let a(c) = c**3 + c**2 + c + 1. Let y(w) = 15*w**3 - 2*w**2 - 2*w - 3. Let u(t) = 4*a(t) + y(t). Let v be u(-1). Is v/(-63) + (-649)/(-7) composite?
True
Let f = 153 + -73. Let r be (f + -1)*(-6)/(-2). Suppose 0 = v + 2*v - r. Is v a composite number?
False
Let c(r) = 1 + 35*r**2 + 4*r**2 - 3 + 5 - r. Is c(-4) composite?
False
Let f = 166 + -77. Is f composite?
False
Suppose k = -1 + 10. Let z be (-4)/(-6) + 237/k. Let y = -12 + z. Is y prime?
False
Let h(d) = 3*d**3 - 7*d**2 + d - 7. Let o(j) = -2*j**3 + 8*j**2 - 2*j + 7. Let u(i) = -3*h(i) - 4*o(i). Is u(-12) prime?
False
Suppose -z - 380 = 4*z. Let b = 54 - z. Suppose 3*y - 2*y - 51 = -v, -2*y + 5*v + b = 0. Is y prime?
False
Let m(d) = -d**2 + 5 + d + 2*d**2 - 4 - 2. Is m(4) composite?
False
Suppose -4*f + 258 = 2*f. Is f prime?
True
Let q = 3 - 8. Let a be (6/(-5))/((-1)/q). Is (-297)/a - (-1)/(-2) a prime number?
False
Suppose -n + 36 = 2*n. Let k be (n/5)/(4/310). Suppose 0 = 2*f - k + 32. Is f composite?
True
Suppose -5*x = -x - 5*y - 13565, 2*y = x - 3395. Is x composite?
True
Let y be ((-9)/15)/(9/(-30)) - -244. Suppose s + 6 = 4*s. Suppose -3*p + 5 = s*h - 119, 4*h + 5*p - y = 0. Is h a composite number?
False
Suppose -5*y + 886 = 5*k - k, -3*y + 536 = -2*k. Is y a prime number?
False
Let t(b) = -b**2 + 3*b**2 + 0*b**2 + 3 - 4*b + b**2. Is t(4) a composite number?
True
Let c(q) = 9*q**2 - 15*q + 16. Let z be c(11). Suppose 3*f - z = -f. Is f prime?
False
Suppose 5*s = -5*f + 11125, 3*f = 2*s + 210 + 6445. Is f composite?
False
Let d(q) = q**3 + 7*q**2 + 5*q - 1. Let f be d(-6). Suppose 170 = -f*p + 5*i, 3*p + 80 = p - i. Is (-1)/(-2 + (-74)/p) prime?
True
Suppose -9*r + 8 = -7*r. Suppose 5*q + 718 = r*b, -3*b - 3*q - 183 = -4*b. Is b prime?
False
Let a(q) = -q**2 + 3*q + 3. Let n be a(3). Let y = 40 + -20. Suppose y = n*z - z. Is z composite?
True
Suppose g = 1 + 1. Suppose -g*u = -54 + 4. Is -1 + (u - (3 + -1)) prime?
False
Let u = 3327 + -934. Is u composite?
False
Suppose 5*o - 15 = 0, 4*j - 3*o = -0*o + 3. Suppose -5*x + 2*m + 253 = -352, j*x - 352 = -m. Is x prime?
False
Let t(y) = y**2 - 6*y - 19. Is t(14) a composite number?
True
Let k = 1 - 0. Let z = k - 4. Is (-138)/(-9) + 1/z a composite number?
True
Let u = 385 + 58. Is u a composite number?
False
Let f(d) = 77*d + 10. Is f(5) a prime number?
False
Suppose 53 = 5*i - 6*n + 2*n, 0 = 4*n - 12. Is i prime?
True
Let d = -4 + 6. Let u = d + 0. Is (u/(-2))/((-7)/2303) a composite number?
True
Let q be (-19)/(-7) - (-2)/7. Let t = q + 16. Is t a composite n