k - 2. Is v(-3) a composite number?
True
Let w = -6 + 10. Let v = -18 + -61. Let k = w - v. Is k a prime number?
True
Let r be (2 + -1)/(1/2) - -45. Suppose -370 - 235 = -5*v. Let g = v - r. Is g a prime number?
False
Suppose 4*c - 2*c + 2*p = 20, 4*c = 4*p + 8. Suppose -c*o - 2 - 10 = 0. Is 11*(27 - o/1) a composite number?
True
Let r(a) = 1526*a - 173. Is r(26) a prime number?
True
Let t(q) = 483*q - 610. Is t(43) prime?
False
Let t be (27/9)/(2/(-8)*-3). Suppose -3*n = 2*d - 811, t*d = -2*n - 0*d + 554. Is n composite?
True
Suppose 2*c = -7*m + 4*m + 17, c = 3*m - 5. Let q = -1 + m. Suppose 614 = 4*x - q*x. Is x prime?
True
Let d(j) = 7354*j + 289. Is d(6) composite?
True
Suppose -109595 - 231895 = -10*h. Is h prime?
False
Let p(r) = 293*r**2 - 18*r - 66. Is p(-5) a composite number?
False
Let b = -98 - -96. Suppose 19 = 4*k + h, -4*k - 3*h = -7*h - 24. Is 1093/k + b/(-5) composite?
True
Let t(f) = f**3 + f**2 + f - 191. Let j be t(0). Let z = 718 + j. Let m = 938 - z. Is m prime?
False
Let h be -8 + (-1)/(1 + 0). Let t(m) = m**3 + 10*m**2 + 10*m + 11. Let k be t(h). Suppose -4*i + 203 = k*o - o, -o + i = -203. Is o a prime number?
False
Let l(k) = -693*k + 371. Is l(-4) a prime number?
False
Let c(x) = -2*x**2 + 12*x - 1. Let j be c(6). Is ((-1)/(-1))/(j/(-2)) + 1149 prime?
True
Suppose 2*h = 255 - 51. Suppose 5*i - 13 = h. Is i composite?
False
Is (7/28)/((-2)/(-5752)) composite?
False
Suppose -4*y = 5*u - 0*y - 2227, -3*y + 441 = u. Suppose u = x - 650. Is x composite?
False
Let o = 37 - 19. Let g be ((-8)/(-12))/(4/o). Suppose -g*f + 369 = 4*v + 2*f, 329 = 4*v - 3*f. Is v a prime number?
False
Suppose 0 = 9*l - 8*l - 1. Let q(u) = -2*u - 3. Let r be q(3). Let f = l - r. Is f a prime number?
False
Let v = 1933 + -103. Suppose 7*u - u - v = 0. Is u a composite number?
True
Let b be (-1)/4 - 17/(-4). Suppose w = -b*w + 5570. Is (2/4)/1*w prime?
True
Let u be (-4 + 2)/(2/5). Is (u + -131)/4*(-5)/2 a composite number?
True
Let h(f) = f**3 + 7*f**2 + 10*f + 9. Let q be h(-5). Suppose q*s - 1931 = 8*s. Is s a prime number?
True
Let r = 385 - 114. Let l = r - 150. Is l a prime number?
False
Let s = 195 - -169. Suppose -11*a = -s - 1693. Is a a composite number?
True
Let s(p) = p**3 - 19*p**2 - 28*p + 81. Is s(28) a composite number?
False
Let w(l) = -l + 5. Let m be w(14). Let c(n) = -n**3 - 10*n**2 - 23*n - 8. Is c(m) a composite number?
True
Let s(b) = 531*b + 28. Is s(5) a composite number?
False
Let u be (-1 + 1)/(2/2). Suppose 2*l + 2*l = u. Is (5 - l)*(59 - 0) a prime number?
False
Suppose 1514 = 3*s - 19201. Is s a composite number?
True
Suppose 2*s + 2*v = 18626, -s + 60 + 9261 = 5*v. Is s a prime number?
True
Let j(x) be the second derivative of -118*x**3/3 - 5*x**2 + 7*x. Let o be j(-6). Suppose -5*p + 3839 + o = 0. Is p a prime number?
True
Let z be 72/16*4/(-6). Is 2406/(-2)*1/z a composite number?
False
Suppose -4*y + 4557 = 2*v - 1327, -3*y = -4*v - 4413. Is y composite?
False
Let o(z) = -z**3 + 12*z**2 - z + 3. Let l be 0 + -1 + 6 + -3. Let n be (-3 + 21/3)*l. Is o(n) prime?
True
Suppose 48*h + 173985 = 63*h. Is h a composite number?
True
Let o = 20 + -8. Suppose -o = -l - 4*l + s, 2*l + 4*s = 18. Suppose 0 = 3*x + l, -3*j = -x - 81 - 115. Is j prime?
False
Suppose -3*r + 29 = -7. Let t(x) = x**3 - 7*x**2 - 6*x + 14. Is t(r) a composite number?
True
Let r(s) = -s**2 - 2*s. Let k be r(-2). Suppose 2*y - 4142 + 466 = k. Is y composite?
True
Suppose 54 = -3*v - 3*o, -o - 91 = 5*v + 7. Is (-5)/v - -16707*(-1)/(-4) a prime number?
True
Let a(v) = 50*v**3 - 6*v**2 - 19*v - 4. Let x(j) = -24*j**3 + 3*j**2 + 10*j + 2. Let l(u) = 2*a(u) + 5*x(u). Is l(-4) a composite number?
True
Suppose -3*g + 20 = 14. Let w(o) = 31*o**2 + 4*o - 5. Is w(g) composite?
False
Suppose 0*u = 5*u - 25, 0 = -3*a + 2*u + 8. Let z be (-1)/(-4) + 22/8. Suppose -z*l + a*l - 447 = 0. Is l prime?
True
Suppose 19 = -2*s + u + 128, 2*s = 4*u + 106. Suppose s = 4*x - 157. Is x composite?
False
Let y be (-2)/2*(-20)/5. Suppose 0 = 4*o - y*i - 14560, -3*o + 12263 - 1358 = 2*i. Is o a composite number?
False
Let f = 55 + -62. Let q = f - -96. Is q composite?
False
Let i be (450 - 0) + 8/4. Suppose 0 = -y - j - 6, -5*y - 2*j - 24 = -0*j. Is i*(-1 + (-9)/y) a prime number?
False
Let j = 58 - 84. Let r = j - -41. Is r a composite number?
True
Let f(r) = 66*r - 7 + 8 + 2. Let g be f(-6). Let b = g - -700. Is b composite?
False
Let c(z) be the third derivative of z**6/360 + z**5/120 + 83*z**4/24 - 5*z**3/6 + 5*z**2. Let x(y) be the first derivative of c(y). Is x(0) a prime number?
True
Let c(o) = 2*o**2 + o + 2. Let x be c(-1). Suppose -k = -4*n + 16, x*n - k + 1 = 12. Suppose 0*f = n*y + 2*f - 815, -5*y = -2*f - 795. Is y composite?
True
Suppose 4*v = -s + 7117, -2 + 3 = -v. Is s a prime number?
True
Let n(z) = 57*z + 65. Is n(10) prime?
False
Suppose 0 = -54*p + 55*p - 8989. Is p composite?
True
Let l(t) = -2*t - t + 4*t - 1 - t**2 - 1 - 86*t**3. Let j be l(-2). Is (j/(-12))/((-6)/9) a prime number?
False
Let z(u) = -u - 2. Let s be z(-5). Let a(f) = -110*f - 2. Let y be a(s). Let o = 495 + y. Is o a prime number?
True
Suppose 0 = -f + 3*b - 11, -4*f = 2*b - 12. Let a(n) = -2537*n. Let w(k) = -47*k. Let v(q) = -4*a(q) + 215*w(q). Is v(f) prime?
True
Suppose -4*v + 2874 = -10*v. Let i = v + 2014. Is i a composite number?
True
Suppose -c + 198 = -0*c. Suppose 2*a = 1328 - c. Is a a prime number?
False
Let z = -820 + 1161. Is z a prime number?
False
Let g = -2552 + 6631. Is g composite?
False
Suppose 781 = -2*f + 3997. Suppose 0 = -5*l - l + f. Is -3*(-20)/48*l composite?
True
Suppose 77*v = 25*v + 76856. Is v composite?
True
Let v be (96/15)/8 + (-462)/(-10). Suppose -1709 = 46*q - v*q. Is q a composite number?
False
Suppose -3*d = -k - 2887, 1776 + 3030 = 5*d + 4*k. Let f = 1011 + d. Is f a prime number?
True
Let w = -15 + 14. Let n be w/3*(3 + -6). Is (842/2 + -2)/n prime?
True
Let f(s) = 16*s**2 + 16*s - 13. Is f(5) composite?
False
Let t be (2 + (2 - 3))*13. Let w(j) = -j + 15. Let h be w(t). Suppose h*i - 2*c = 1922, -5*i + 3*c + 6132 = 1331. Is i a composite number?
True
Suppose 5*s = -d + 28, 2*s - 130 = -d - 3*d. Is ((-1)/3*29)/(d/(-3663)) a prime number?
False
Let j(u) = -u**3 + 2*u**2 + 1. Let k be j(-2). Let f = -13 + k. Suppose 0 = -f*g + g + 57. Is g a composite number?
False
Suppose -12 = -u - u + 2*t, -4*t - 4 = 0. Suppose 0 = u*i - 5359 + 974. Is i a prime number?
True
Suppose b = -6*o + o - 60, b = -2*o - 24. Let f = o - -15. Suppose -f*y = -8 + 2, 427 = 3*q - y. Is q prime?
False
Suppose 0 = -4*g - 3*l + 2191, -6*l + 5*l = -1. Let h = g + -168. Is h a prime number?
True
Let w(k) = 2*k**2 + k - 2. Let o be w(-2). Suppose -7*y + 19 = 5. Suppose -o*z + 7*z = 12, -y*z = -4*l + 884. Is l a composite number?
False
Let r = 52 - 49. Suppose -r*o + h + 5951 = 2*o, -2*o = h - 2386. Is o prime?
False
Let h = -23293 + 59641. Is 3/(-4) - h/(-16) a prime number?
False
Let x be -6*(1 + (-11)/(-3)). Is (-4)/x - (-3394)/7 a prime number?
False
Let y(m) = 185*m**2 + m - 1. Let s(k) = k - 8. Let p be s(9). Is y(p) a composite number?
True
Is 16 + -12 + 9613 - (-1 + -1) composite?
False
Suppose 19385 = 16*b - 5943. Is b prime?
True
Let n(c) = 575*c - 362. Is n(11) a composite number?
True
Let c(i) = -96*i - 51. Is c(-23) prime?
False
Let k = 0 + 12. Let v = -21 + k. Is (-528)/v - 3/(-9) composite?
False
Let f(g) = g**3 - 2*g**2 + 3*g + 1. Is f(12) a composite number?
True
Suppose -969 - 8043 = -6*w. Is w a prime number?
False
Suppose -c - z = -20, 3*c + c = 3*z + 52. Is ((-4)/c)/(1/(-596)) composite?
False
Let p be -172 - (3 - 10/2). Let j = p - -496. Is j/3*(-6)/(-4) composite?
False
Let o(v) = 142*v**2 + 12*v - 4. Let y be o(-8). Suppose -606 = 6*k - y. Is k prime?
False
Let w(g) be the second derivative of -21*g**5/2 - g**3/6 + 56*g + 1. Let q be -1 + 0/1 + 0. Is w(q) a composite number?
False
Suppose 77067 = 16*b - 383749. Is b prime?
False
Let l(t) = 4*t + 3. Suppose 5*m + 6 = -14. Let a be l(m). Let o = 72 + a. Is o a composite number?
False
Is ((-156)/(-208))/(3*(-1)/(-20668)) composite?
False
Suppose 2*t = a - 639, 5*a - 3376 = -4*t - 223. Is a a composite number?
True
Suppose l + 5*j + 32 = 3*l, 0 = 3*l + 4*j - 71. Let u = l + -11. Is u a prime number?
False
Is 5 + 