 43. Let n = -8 - x. Is n composite?
True
Suppose -7*m + 3*m = 8. Is 5*6*m/(-4) prime?
False
Suppose -l - 3*q = -10, -3*l = 2*q - 5*q - 6. Suppose 2*i = -i + 18. Suppose c + 67 = i*t - l*t, 166 = 5*t - c. Is t composite?
True
Suppose 4*x - 1179 = 745. Is x prime?
False
Is 1*337*(2 + -1) a prime number?
True
Let k = -67 - -150. Is k prime?
True
Let y(z) = 75*z + 4. Let h(l) = l**2 + 9*l + 5. Let c be h(-9). Let j be y(c). Let a = j + -222. Is a prime?
True
Suppose -r + 2*r = -2. Let h be (-27 - (2 - 4)) + r. Is (-2)/1 - (0 + h) prime?
False
Suppose -15*t = -6032 - 26623. Is t a composite number?
True
Let b be 1*-38*(-3)/(-2). Is (-1)/2*4 - b composite?
True
Suppose -u - 140 = -3*u - 4*s, 70 = u - 3*s. Suppose -u = -7*l + 5*l. Is l prime?
False
Suppose -46*p + 8654 = -44*p. Is p a composite number?
False
Suppose 1109 - 314 = 3*v. Is v composite?
True
Let t = -10 - -10. Suppose -2*d + 12 + 10 = t. Is d a composite number?
False
Let u be -3 + ((-392)/(-2) - 2). Let q = u + -76. Is q composite?
True
Suppose -5*t + 490 = y, 2198 = 5*y + 5*t - 312. Is y a composite number?
True
Let k(g) = 3*g**3 + 6*g**2 + 5*g + 1. Let p(c) = c**3 - 1. Let h(o) = -k(o) + 4*p(o). Is h(8) composite?
False
Suppose -4*v = 5*m - 3 - 4, m = -2*v - 1. Suppose -61 = -2*t - m*g, 3*t - 4*t + 18 = -g. Is t prime?
True
Let s(d) = -2*d + 4. Let g be s(-3). Let y(u) = 11*u - 13. Is y(g) composite?
False
Let o = 4 + -2. Suppose 2*c = -o*c + 8. Is (c - (2 - 162)) + 1 a composite number?
False
Let a = 480 - 71. Is a a composite number?
False
Suppose -6 = -4*p + 2. Suppose 2 = -p*c - 0. Is 28*(c + 7/4) a prime number?
False
Let c = 107 - 65. Let m = c - 71. Let f = m + 54. Is f a prime number?
False
Let o(g) = -2*g**2 - 6*g - 4. Let m be o(-4). Let i = m - -6. Is (134/(-6))/(2/i) a composite number?
False
Suppose i - 672 - 1021 = 0. Is i a composite number?
False
Let g = -7 + 4. Is g*(444/(-9))/4 a composite number?
False
Let s(n) be the first derivative of 3*n**4/4 - 4*n**3/3 + n**2/2 - n - 1. Suppose -9*a + 18 + 9 = 0. Is s(a) a prime number?
True
Suppose -10*o + 7*o = -15. Suppose 2*u = x - 5*x + 116, -4*x + 144 = -o*u. Is x a composite number?
False
Is (-2)/5 - (-2082)/30 a composite number?
True
Suppose 2*n + 1116 = 2*q, 2*n = -5*q - 3*n + 2780. Is q composite?
False
Suppose -19361 - 39959 = -4*q. Is q/14 + (-6)/21 a prime number?
False
Let c be (4 + -28)/((-6)/4). Let i = c + -10. Is ((-2)/i)/((-1)/69) a composite number?
False
Suppose -2*f - 2*f = -28. Suppose 3*q + 544 = 5*p, 3*q - p - 687 = f*q. Is q/(-5) + 4/10 a composite number?
True
Let r(w) = -6*w**2 - 2*w - 4 - w**3 + 0*w + 2*w**2. Let v be (-8)/(-12)*-9 + 2. Is r(v) a composite number?
True
Let j(s) be the third derivative of s**5/30 + s**4/24 + s**3/6 + s**2. Let b(v) = -v + 3. Let x be b(0). Is j(x) composite?
True
Suppose 0 = -26*z + 11*z + 13155. Is z prime?
True
Suppose -144 = -5*l + l. Suppose l = 5*q - 439. Is q a prime number?
False
Let f be (-1)/(-3) + (-14)/6. Is 1 - f - 3/(-1) a prime number?
False
Let d = -1450 + 2601. Is d prime?
True
Let j(a) = 3*a**2 - 5*a - 3. Let r be j(-4). Let h = 142 - r. Is h composite?
True
Suppose 6*h = 2*h + 20. Suppose 205 = 5*s - 2*g - 115, -300 = -h*s - 2*g. Is s a prime number?
False
Suppose -6 = -2*c, 5*s - 30 = -5*c - 0*c. Suppose 9 = s*j - 0. Suppose -80 = j*l - 245. Is l a composite number?
True
Suppose -4*w = -5*k + 1057 + 398, 3*w - 15 = 0. Let h = -2 + k. Is h prime?
True
Let d = 0 + 0. Suppose -4*m = -3*m - 2. Suppose d*j + 110 = m*j. Is j a prime number?
False
Let j be (-309)/12 + (-5)/20. Let v = j - -81. Is v composite?
True
Let p = -23 - -60. Let i = p - -52. Is i a prime number?
True
Let d = 3 + 128. Let c = d + -93. Let i = -3 + c. Is i a composite number?
True
Let d = -340 + 1129. Is d composite?
True
Let m(g) = 21*g**3 - 4*g**2 + 0 - 3*g - 105*g**3 - 2. Let i be m(-2). Suppose 5*j + 2*n = 797, i = 4*j - 6*n + 2*n. Is j a composite number?
True
Suppose -2 - 3 = 5*l. Let d = l + 3. Suppose d*z - 335 = 183. Is z composite?
True
Suppose -t = 5*y + 47, 4*t + 2*y + 245 = y. Let p = t + 97. Suppose -b + 4*g = -p, 3*g + 200 = 4*b - g. Is b a prime number?
False
Let h(o) = 62*o**2 - 7*o + 4. Is h(3) composite?
False
Let j(o) = -17*o**3 - o**2 - 2*o - 1. Let l be j(-1). Suppose -5*g - 2*f = l - 119, -4*f - 16 = 0. Suppose -4*x + g = -2. Is x a prime number?
False
Let w = -27 - -74. Let v = w - -6. Is v prime?
True
Suppose -2*n - 4 = 4*k, 0 = -4*k - 12 + 4. Is 1/n*(-2696)/(-4) composite?
False
Suppose 88 + 98 = -2*h. Let r = 172 + h. Is r prime?
True
Let v(l) be the third derivative of 0 - 1/6*l**3 + 0*l + 1/15*l**5 + 1/24*l**4 - 2*l**2. Is v(-4) composite?
False
Suppose -6*k = -3*k + 15, 4*m = -4*k + 48. Suppose -3*u + 4*t = -108, 37 = u - 0*u - t. Let w = u - m. Is w a composite number?
False
Suppose 5*i - a - 991 = 0, 0*i + 3*i - 581 = 4*a. Is i a composite number?
False
Let t(y) be the second derivative of -y**4/12 + 3*y**3/2 - y**2/2 + y. Let m be (-3)/((-3)/(-4))*-1. Is t(m) a prime number?
True
Is 4202/8 + 1 + (-102)/(-136) prime?
False
Suppose 2*i + 104 = 252. Suppose -o = o - i. Suppose y + 0*y = o. Is y a prime number?
True
Suppose -3*m - 2*m + 425 = 0. Is m a composite number?
True
Let u(z) = 5*z**3 - 4*z**2 + 2*z. Let c be u(2). Suppose -c = -0*b - 4*b. Is b a prime number?
True
Let x(n) = n**3 - n**2 - n + 3. Let a be x(0). Suppose 72 = 2*y + 3*s - 109, 0 = -y + a*s + 86. Is y prime?
True
Let z(a) = -a**3 - 6*a**2 - 7*a - 5. Suppose m + 1 + 5 = 0. Is z(m) composite?
False
Let l(g) = 3*g - 2. Let r(n) = n**2 - 1. Let f be r(2). Suppose -2*h + 20 = 3*h, 24 = f*x + 3*h. Is l(x) a prime number?
False
Suppose 2*b = 4*d + d, -3*b + 15 = 0. Suppose 3*z + 8 = i, -d*z + 3*z + 4*i - 6 = 0. Is (z + 2 + -19)*-1 a composite number?
False
Suppose 9*k - 846 = 8505. Is k prime?
True
Suppose -3*d = 2*d + 5. Let u be (1 - d)/(0 - 1). Is (-2)/u + 50 + 0 a composite number?
True
Let q = 771 - 157. Is (-1)/((-1230)/q + 2) composite?
False
Suppose 0 = 3*f + 9. Let j(z) = z**3 + 5*z**2 + 5*z + 4. Is j(f) a composite number?
False
Suppose -3*r = r - 80. Let d be (0 - 6/4)*r. Is (-6504)/d + (-1)/(-5) a prime number?
False
Suppose -d - 4*d - a + 15 = 0, -3*d = 3*a - 9. Suppose 4*s = d + 5. Is s composite?
False
Let s(d) = -d**3 + 19. Suppose 7*w - 4*w - 9 = 0. Suppose 0 = -w*i - 2*i. Is s(i) a prime number?
True
Let b(a) be the third derivative of a**5/5 - a**4/12 + a**3/6 - 3*a**2. Is b(3) a prime number?
True
Let f = 148 - -65. Is f a composite number?
True
Suppose 10*a = 4406 + 4224. Is a prime?
True
Suppose 18 + 64 = r. Is r composite?
True
Let h = 187 + -273. Let t = 192 + h. Is t a prime number?
False
Let q = 2 + 6. Suppose q - 85 = -7*k. Is k a prime number?
True
Let a(c) be the third derivative of -13*c**4/24 + c**3/6 + c**2. Is a(-4) prime?
True
Let m = 3492 + -1988. Suppose 4*v - m = -5*s + 2*s, -v + 2*s = -387. Is v a composite number?
False
Suppose 20*j = 21*j - 2053. Is j prime?
True
Let t be (-1)/(-4) + 1/(-4). Suppose t*n - 9 = -3*n. Suppose n*r - 2*r = 34. Is r a prime number?
False
Let k(z) = 6*z**2 - 5*z - 8. Is k(7) a prime number?
True
Suppose v - 3*v = 2*i - 264, -4*i + 2*v + 498 = 0. Is i a prime number?
True
Let s be 3562/(-65) + 8/10. Let v = -9 + -80. Let u = s - v. Is u prime?
False
Suppose -3*b - 6*l = -2*l - 2989, -b + 999 = 2*l. Is b prime?
True
Let h(f) = 4*f**2 - 15*f + 3. Let p be h(11). Suppose n = 2*l + 3*n - p, 5*n = l - 161. Is l a composite number?
True
Let c = 512 + -249. Suppose -g + 135 = 4*g + 2*h, -4*g + 4*h + 108 = 0. Suppose 2*v + g = c. Is v a composite number?
True
Let d = 15 - 13. Suppose 5*i + 4*m - 1695 = 0, d*i - 678 = -6*m + m. Is i composite?
True
Let m(s) = -9*s - 5. Is m(-8) a prime number?
True
Suppose -2*p + 290 + 172 = -4*i, -2*i = -3*p + 677. Is p a composite number?
False
Suppose 4*c = c - 45. Is (-219)/(-15) + (-6)/c prime?
False
Suppose -9 - 23 = -2*z. Suppose -f = 3*f + z. Let u(x) = x**2 + 2*x - 2. Is u(f) a composite number?
True
Let x(a) = -26*a**2 - 7*a + 13. Let t be x(6). Is -4 - -8 - (t - -2) composite?
False
Is (2 + (0 - 1))/((-8)/(-4696)) a prime number?
True
Let z be -10 + -2 + 2 + 2. Let p = -5 - z. Suppose -p*v + 65 = -4. Is v a composite number?
False
Let x be (5/3)/(7/(-42)). Let r = 23 + x. Let g = r +