-n + 2*n + 3*f - 17 = 0. Suppose 0 = n*d + 11 - 127. Is d composite?
True
Suppose 0 = -o - 5*h + 44, -5 = -h + 2*h. Suppose -o = -4*d + 19. Is d a composite number?
True
Suppose -5*j = -0*j - 2*o + 1035, 3*o = 0. Let b = -122 - j. Is b composite?
True
Suppose -2 + 7 = -5*l. Is -2*(l - 301/2) prime?
False
Let k be 2/3 - (-1328)/6. Let z be 6*4/(8/51). Let n = k - z. Is n prime?
False
Let u(t) = -8*t**2 + 4*t + 8. Let w(z) = 9*z**2 - 3*z - 9. Let l(h) = -4*u(h) - 3*w(h). Is l(7) composite?
False
Suppose 4*c + 61 = 173. Let y be c*(1 + 15/21). Let a = y - 25. Is a a composite number?
False
Let t(p) = 5*p**2 + 3*p + 5. Is t(4) composite?
False
Is (-12)/8 - 10/4 - -10563 a prime number?
True
Let u be (-468)/(-2)*(-3 + 5). Let a = u + -280. Let w = -99 + a. Is w a prime number?
True
Suppose 0 = 5*z - z - 8. Suppose 2*i = 8, -z*i = -3*l + 2*i - 4. Suppose -4 = -2*n, l*y + n - 4*n = 470. Is y a prime number?
False
Let m(q) = q**2 - 13*q - 39. Is m(-23) a prime number?
False
Let l(b) = b**2 + 5*b + 9. Is l(-6) a composite number?
True
Suppose 0 = 4*x, 2*c = -0*x + x + 4. Suppose -c*j = 94 - 280. Is j composite?
True
Let c be (-2)/(-6) + 11848/6. Suppose -b + c = 4*b. Is b prime?
False
Suppose p = 8 + 62. Let h = p + 75. Is h composite?
True
Let d = 672 - -405. Is d prime?
False
Let w(d) = 3 + 6*d - 1 - d**2 - 5. Let m be w(6). Is 39 + -5 + (0 - m) composite?
False
Suppose -221 = -2*p - 3*z + 71, 306 = 2*p - 4*z. Is p prime?
True
Let d be 21/2*44/6. Suppose 7*o - p = 4*o + d, -5*o + 132 = 2*p. Is o a prime number?
False
Let z(r) = 2*r + 17. Let l(a) = 3*a + 16. Let h(m) = -3*l(m) + 4*z(m). Let s be h(0). Is (-654)/(-10) - 8/s a prime number?
False
Suppose -13 - 89 = -2*l. Is l a prime number?
False
Let m(i) = -60*i - 73. Is m(-11) composite?
False
Suppose 6*g = g + m - 167, -161 = 5*g + 2*m. Let x = 98 + g. Is x a composite number?
True
Suppose 2*l = 6*l. Is l + (0 - 1) + 92 composite?
True
Let j = -23 + 44. Is j a composite number?
True
Let o = 237 - -188. Suppose -l - 158 = -o. Is l a prime number?
False
Suppose 0 = -2*v - 4*k - 16, 4*v - k + 6*k = -20. Suppose -4*s + i + 320 = v, -s + 87 = -2*i - 0*i. Is s composite?
False
Let f(u) = 14*u**2 - 2. Is f(-6) composite?
True
Suppose 1282 = 2*k - 2*n - 1146, 2429 = 2*k - 3*n. Is k a composite number?
False
Let q be 4/14 + 80/14. Suppose s = -20 + q. Let r = 51 + s. Is r a prime number?
True
Let n(m) = -m**2 - 1. Let k(a) = -11*a**2 + 3*a - 1. Let f(l) = -k(l) + 4*n(l). Is f(4) a composite number?
False
Suppose -3*j + s - 743 = -5*j, s - 370 = -j. Is j a prime number?
True
Suppose -1 - 21 = -2*j - 3*w, -11 = -j - 5*w. Is j prime?
True
Let k(w) be the first derivative of 88*w**3/3 - w**2/2 + 6. Is k(-1) a prime number?
True
Suppose 2*q - 68 = -378. Let a = q + 244. Is a prime?
True
Let k be 2*1*55/10. Suppose -5*t + 4*r + k = 0, 5 = t + 2*t - 4*r. Suppose 0 = -t*h + 30 + 369. Is h prime?
False
Suppose t + 3*f = -9, 4*t + 0*t - f - 16 = 0. Suppose -4*m - 3*r - 6 = -0*r, 13 = -5*m - r. Is 5 - (-3 - t/m) composite?
False
Let t = -4 - -9. Suppose t*g = g + 316. Let i = -46 + g. Is i a prime number?
False
Let x be (-1)/(1 - (-12)/(-10)). Suppose -x*t = -12 - 8. Suppose -o = -9 - t. Is o a prime number?
True
Let a(k) = -11*k**3 - 1 + k + 2 + 2*k**3 + k**2. Let j be 24/(-18) - 2/(-6). Is a(j) a prime number?
False
Let m = -209 + 324. Is m a composite number?
True
Let m(n) = -191*n + 61. Is m(-6) a prime number?
False
Let r(b) = -2*b - 3. Let a be r(-3). Suppose -a*v + 0 = 3, 0 = 5*u - 4*v - 1029. Is u a composite number?
True
Let a = -1 - 1. Let r be (-20)/a*4/10. Suppose -16 - 8 = -r*t. Is t a composite number?
True
Let w(a) = a**3 + 6*a**2 - 3. Is w(-5) a composite number?
True
Let n = -26 + -33. Suppose 0*q - 5*q + 406 = 2*a, 0 = 3*a + 6. Let b = q + n. Is b composite?
False
Suppose 5*l - 868 = 2*d - 166, 555 = 4*l + 5*d. Suppose -w + l = 3*w. Is w prime?
False
Let s = 356 + -165. Is s composite?
False
Let l(y) = 7*y**2 + 1. Let p be l(1). Suppose -3*x - p = -5*x. Let t(r) = r**3 - 3*r**2 + 3. Is t(x) prime?
True
Let c = -17 + 18. Is (-316)/(-1 - 3)*c a composite number?
False
Let y(l) = l. Let i be y(2). Suppose -4*w + 20 = -i*w. Is w prime?
False
Let m = -28 + 73. Let d be (-161)/5 - 4/(-20). Let p = m + d. Is p composite?
False
Let i(b) = -b + 9. Let o be i(0). Let a = o + -7. Suppose -5*v + 620 = -0*v + 3*q, 0 = -a*q - 10. Is v prime?
True
Let g = -106 + 161. Is g a prime number?
False
Let y(x) = 7 + 7*x + 5*x**2 + 6 - 9*x**2 + 7*x**2. Is y(-6) prime?
True
Suppose 0 = 5*q + 3*a - 433, 2*q - 3*a + 59 = 228. Is (q/(-3))/((-18)/27) prime?
True
Suppose y - 4*y = -15. Suppose -y*o = 3*v - 248, 0 = 3*o + 9 + 6. Is v prime?
False
Let b(d) be the third derivative of d**5/20 + 7*d**4/12 + 5*d**3/3 - 6*d**2. Suppose 12 = 4*l, m = -3*m + l - 39. Is b(m) a prime number?
True
Let j = 4906 - 2043. Is j a prime number?
False
Let i(s) = -s**2 + 1. Let x be i(-2). Let h be x/(-12) + 2/(-8). Suppose j - p = -h*p - 1, 3*j = -2*p + 17. Is j composite?
False
Let m = 4 - 0. Let a(x) = 3*x + 1. Let p be a(m). Suppose 5*d = 2*o + 57, 2*d - p = 2*o + 11. Is d a prime number?
True
Let y(b) = -b**2 + 17*b - 11. Let o be y(16). Suppose o*r - 224 = 6. Is r a prime number?
False
Let a(b) be the first derivative of -10*b**2 - 15*b - 1. Is a(-10) a prime number?
False
Let g(t) = 84*t**2 - 2*t - 3. Suppose -z = 4*z + 10. Is g(z) composite?
False
Suppose x = 5*d + 281, x + 2*d = 3*x - 530. Let b = x - 182. Is b prime?
True
Let q be (-105)/12 + (-1)/4. Suppose 2*d + 2*z - 49 = 5, 4*z + 46 = 3*d. Let s = d + q. Is s a prime number?
True
Suppose -2*d - 16 = 4*k, -4*d + 2 + 16 = -2*k. Is (-1336)/(-6) + d/6 composite?
False
Let j = -111 + 241. Let l = -41 + j. Is l a prime number?
True
Suppose 3*f = -2*f + 195. Is f a prime number?
False
Let o = -7599 - -11170. Is o prime?
True
Suppose n = -3*n + 3008. Let d = 1276 - n. Suppose 0*o = 4*o - d. Is o prime?
True
Suppose 2515 = 2*s + b, -3*s - 3*b - 3 + 3783 = 0. Is s prime?
False
Let q(x) = 3*x**2 + 6*x + 2. Suppose 2*y - 2 + 3 = -3*f, 12 = 4*f. Is q(y) a composite number?
False
Let n(h) = -14*h - 1. Let m be (-1)/((-2)/(-10)*-1). Let i = m - 6. Is n(i) a composite number?
False
Let q be (0 + -1)*(-3 + 1). Suppose -q = -2*f + 6. Is 1/(-2) - (-86)/f prime?
False
Let k be 2/(3/((-36)/4)). Let w(q) = -19*q + 13. Is w(k) a composite number?
False
Let g(z) = 17*z**2 + 2*z + 1. Is g(-2) a composite number?
True
Suppose -x - 350 = -1507. Is x composite?
True
Let a(d) = 52*d**2 - 3*d - 3. Suppose 2*c + 6 = -c. Is a(c) composite?
False
Let a(o) = -12*o**3 + 4*o**2 + 3*o. Let w be a(-2). Let i = w + -56. Suppose 5*y - 3*d = y + i, d = 4*y - 46. Is y prime?
True
Suppose 30 - 9 = -z. Is (-1 - 7*z) + -3 composite?
True
Let b = -9 + 19. Suppose -5*y - b = -0*y. Let o(k) = -11*k - 3. Is o(y) a composite number?
False
Let a(z) = 2*z + 94 - 33 - z. Let h be a(0). Suppose j + h = 5*p - 16, -4*p - 4*j = -52. Is p prime?
False
Let t(n) = -n**2 + 6*n - 8. Suppose -3*p + 40 = 2*p. Let l be t(p). Let r = l - -89. Is r a composite number?
True
Suppose 0 = -5*u - 10, -2*y - 4*u - 406 = 28. Let l = 299 + y. Is l a prime number?
False
Suppose a = -4*l + 266, -l - 4*l + 345 = -5*a. Is l a prime number?
True
Suppose -4*m = 3*l + l - 2528, 4*m + 3*l - 2529 = 0. Is m a composite number?
True
Let i = -11 + 11. Suppose 127 = g - i*g. Is g a prime number?
True
Suppose -5*i - 15 = 0, -2*i + 1 = z - 252. Let n = z - 74. Is n composite?
True
Suppose -6*d + 3*d = 2*l + 1334, 5 = -5*l. Let f = d + 667. Is f a composite number?
False
Suppose 4*k + 6376 = 12*k. Is k prime?
True
Let k(h) = 21*h**2 - 9*h + 13. Is k(8) a composite number?
True
Let x(z) = 11*z - 11. Let h = 14 + -8. Is x(h) composite?
True
Suppose 38357 = 10*l + 13147. Is l composite?
False
Suppose -4*p = -14*p + 2950. Is p a composite number?
True
Let o be (-1 + 6)/((-5)/(-45)). Is 4285/o + (-2)/9 a prime number?
False
Suppose -41 - 21 = -g. Let x = g - 43. Is x a composite number?
False
Let x(w) = 328*w - 51. Is x(10) prime?
True
Let i = -96 - -611. Is i prime?
False
Is -1 - (5929 - 1)/(-4) a composite number?
False
Let r = -656 - -2041. Is r prime?
False
Let d = -12 + 14. Suppose -b + 1413 = 4*l - 534, d*l - 4*b - 978 = 0. Is l prime?
True
Suppose -3*b = k - 102, 3*k 