et j be (-519)/(-6) + (-1)/2. Let a = v - j. Is a prime?
True
Suppose -o + 5*j + 100 = 3*j, 4*j + 90 = o. Suppose 0*a = -5*a + o. Is a a prime number?
False
Let d = -5 + 3. Is -1*d/2 - -144 prime?
False
Is (-30)/20*3676/(-6) a composite number?
False
Let n(h) = -h**2 + 2. Let l be n(2). Is (-15 - (l + 1))/(-2) composite?
False
Let c(x) be the second derivative of 479*x**4/12 - x**3/6 + x**2/2 - 3*x. Is c(1) a prime number?
True
Let b = -20 - -14. Is ((-2442)/(-18))/((-2)/b) prime?
False
Suppose 21 = 3*i - 3*a, 11 = -i - 0*i - 5*a. Suppose -3 + 19 = i*p. Is p composite?
True
Let g(h) = 9*h - 13. Let c(w) = 6*w - 9. Let f(t) = -7*c(t) + 5*g(t). Let j be f(3). Suppose -33 = -2*o - j. Is o composite?
False
Let j = 3 + 0. Suppose b + 6 = j*b. Let p = b - -80. Is p a prime number?
True
Let s = -46 + 28. Let y be 4/s + (-7100)/45. Let t = 235 + y. Is t a prime number?
False
Suppose -n = 5*v - 7295, -n - 4*n = 0. Is v a composite number?
False
Let a(b) = 5*b - 5 - 859*b**2 + 860*b**2 - 4*b. Let s(u) = u**3 + 5*u**2 - 8*u - 5. Let z be s(-6). Is a(z) composite?
True
Let d(h) = -h**2 - 7*h. Let t be d(-7). Let u(w) = w**2 + w + 145. Is u(t) composite?
True
Suppose 4*q + 3 = 15. Let c be (-201)/(-1*2/2). Suppose q*x + 0*x - c = 0. Is x a composite number?
False
Suppose -3*f - 2*f + 20 = 0. Let y(k) = 2*k**3 - k**2 + k - 1. Is y(f) composite?
True
Let j = -62 - -111. Suppose -2*z = -217 - j. Is z prime?
False
Suppose 3*c - 2938 = r + 4*r, 2350 = -4*r + 2*c. Let k = -335 - r. Suppose -421 = -5*i + 5*b + 259, 2*i - k = -2*b. Is i composite?
False
Let t = -37 - -25. Let w = t - -83. Let l = w - 37. Is l composite?
True
Suppose -2*c = -4*v - 11 + 3, 19 = -2*c - 5*v. Is 4353/27 + c/9 a composite number?
True
Suppose -23*m + 26*m - 327 = 0. Is m prime?
True
Let y(v) = -v**3 + 8*v**2 - 5*v + 4. Let r be y(5). Let q = r + -31. Suppose 0*s - s + 4*n = -q, 0 = -s - 4*n - 17. Is s composite?
False
Let d(h) be the first derivative of 167*h**2/2 + 3*h - 3. Is d(4) composite?
True
Let u(w) = 2*w**3 - 4*w**2 + 7. Suppose 3*m = 4*v + 3, 0*m - 2*m + 4*v = 2. Is u(m) composite?
False
Suppose 3*h - 121 = 2. Is (h - (-2)/1)*1 prime?
True
Suppose -5*b - 5*i = -0*i - 25, 5*i = 5*b + 25. Let w(a) = -a + 191. Is w(b) composite?
False
Let h = 118 + -56. Suppose 4*k + h = f, 2*k - 1 - 1 = 0. Suppose -2*i = 4*m - 2*m - 70, 0 = -2*i - 4*m + f. Is i a prime number?
True
Suppose 0 = q + 23 - 2. Let u = -13 - q. Suppose -3*t + u = -d, -9 = -5*d + 5*t + 1. Is d a prime number?
True
Let l(w) = w + 3. Let p = -10 - -4. Let k(z) = z**3 + 7*z**2 + 6*z + 3. Let g be k(p). Is l(g) a composite number?
True
Suppose -15*m + 20*m = 445. Is m prime?
True
Let t be (-44)/(-12) + (-2)/(-6). Let m be 38/t - (-3)/2. Suppose -m = -3*p + 46. Is p prime?
True
Let y be 2/4 + (-3)/6. Suppose n - v = -y*v + 146, 2*v = -5*n + 751. Is n prime?
True
Suppose -3*s - s = -140. Suppose -114 = -i + s. Is i a composite number?
False
Let g = 4 - 3. Let w(k) = 3*k + g + 3*k - 6*k - 3*k. Is w(-4) prime?
True
Let a be ((-2 - -2)/(-4))/(-1). Let g(x) = x + 77. Is g(a) a composite number?
True
Suppose 4*p - 2 = 14. Suppose -p*x - 820 = -8*x. Is x prime?
False
Suppose 5*q - 9 = 1. Suppose -2*s = q*s - 476. Is s composite?
True
Let u = -5 + 71. Suppose 0 = -22*v + 21*v. Suppose -g + u = -3*j - v, 3*j = 5*g - 270. Is g a composite number?
True
Suppose 0 = -v - 3*m, -v - 5*m - 17 = -5*v. Let i be (-2)/(-3) - (-244)/v. Suppose 2*q - q = i. Is q prime?
False
Suppose -18 = -3*n + 6. Suppose -7*i - n = -3*i. Is ((-2)/i)/((-2)/(-62)) composite?
False
Let c(b) = -3*b - 10. Let h be c(-4). Let x = 11 - 7. Suppose -2*r - 3*a + 745 = 0, 0 = -x*r + a - h*a + 1465. Is r composite?
True
Suppose 5*i - 5*n = 520, -i = 5*n - 3*n - 104. Suppose -i = -5*w + 236. Suppose -j = j - w. Is j prime?
False
Let x be ((-4)/12)/((-2)/18). Suppose r - 3*w - w = -2, -4*r = -x*w - 18. Is r composite?
True
Let t be 1*(4/2)/2. Is t*2 + 8 + 1 prime?
True
Suppose -4*f + 147 = v, 4*v - f + 5*f = 528. Is v composite?
False
Let o(q) = -82*q + 13. Is o(-7) prime?
True
Let y(i) = 108*i**2 - i. Suppose 2 = h - 3*h. Is y(h) prime?
True
Let n be (-16)/72 + 38/9. Is n/4*(0 - -131) a composite number?
False
Let p(r) = 23*r**2 + 18*r - 52. Is p(9) a composite number?
False
Is (-1)/(8844/2949 + -3) a composite number?
False
Let w = -6 - -17. Let p = w - 7. Suppose 0*h + 508 = p*h. Is h composite?
False
Let c be (-1)/2*(-16)/2. Suppose -1044 = -7*q + c*q. Let b = -187 + q. Is b a composite number?
True
Let j(b) = 159*b**2 + 2. Let a be j(-2). Let w = -347 + a. Suppose 2*u = -u + w. Is u a prime number?
True
Let w(y) = 203*y**3 - 19 - y + y**2 + 19. Is w(1) composite?
True
Suppose 545 = 3*d - 2*d + r, 4 = r. Is d a prime number?
True
Let j = 14 - 20. Let h be (-8024)/(-6) - j/9. Is h/8 - (-1)/(-4) a prime number?
True
Let c(o) = 684*o - 115. Is c(6) a composite number?
False
Let k = 91 - -130. Is k prime?
False
Let u = 10 + -15. Let c(v) = 2*v**2 + 2*v - 5. Is c(u) a prime number?
False
Let q = -172 + 115. Let c = 80 + q. Is c a composite number?
False
Let p = 106 + 30. Suppose 0 = -t + 13 + p. Is t prime?
True
Let n(h) = -h**2 + 2*h - 9. Let w(f) be the second derivative of f**4/12 - f**3/3 + 4*f**2 + 2*f. Let m(l) = 2*n(l) + 3*w(l). Is m(5) a prime number?
False
Let x be 0 + (2 - 5) + 6. Suppose 0 = -0*j - x*j + 498. Is j composite?
True
Let r(u) = 19*u - 1. Suppose -3 + 18 = 5*j. Let s be r(j). Suppose 484 = 5*k + 3*v - s, 4*v + 464 = 4*k. Is k prime?
False
Suppose 0*r + 3*r = 6. Suppose -r*k + 4*k - 16 = 0. Let l(g) = -g**3 + 10*g**2 + 9*g + 11. Is l(k) prime?
True
Let r = 32 - 23. Suppose 5*n = r*n - 620. Is n a composite number?
True
Suppose b = -4*n - 17, -4*b - 2*n = -7*b + 19. Let u be (51/(-68))/((-6)/16). Suppose 4*a + b*g = 48, -8 = u*g - 0. Is a a prime number?
False
Let r(o) = -3 - o - o - 18*o + 4. Is r(-1) composite?
True
Let o(x) = 12*x**2 + 2*x - 36. Is o(-7) composite?
True
Suppose 0 = -4*v - 120 - 212. Let t = 29 - 66. Let u = t - v. Is u a composite number?
True
Suppose 3 = -h, -2*i - h + 2*h + 977 = 0. Is i a composite number?
False
Let a(v) = 0 + v**3 - 6*v**2 + 4 + 9*v - 4*v**2. Let w be a(9). Suppose w*s - 153 = -3*z + s, 2*s - 155 = -3*z. Is z a composite number?
False
Let n = -1 + -1. Let r(h) = -13*h**3 - h**2 + 2*h + 1. Is r(n) a composite number?
False
Let g(h) = 6*h**2 - h. Let x be g(1). Suppose 0 = x*r - f - 3*f - 851, 3*f = 5*r - 847. Is r a composite number?
False
Suppose 0 = -i - 4*i. Let j = 0 - i. Is -1*(j/(-2) + -13) a composite number?
False
Let t(x) = 147*x - 11. Is t(8) a prime number?
False
Is (-29052)/(-15) - (3/(-15))/1 composite?
True
Let p be (-4)/(-5)*4530/4. Suppose 5*c + 4*x = 6*x + 1513, -3*c = -3*x - p. Is c a composite number?
True
Let z = 563 + -1083. Let l = z + 888. Let h = -225 + l. Is h prime?
False
Suppose 8 + 1 = 3*x. Let q(p) = p**2 + 3*p + 4. Is q(x) a composite number?
True
Let t(c) = -c**3 - 7*c**2 + 8*c + 2. Suppose 9 = u + b, -36 + 8 = -3*u - 4*b. Suppose 3*f + 2*g + 2*g + u = 0, 32 = -5*f - 2*g. Is t(f) prime?
True
Let v(u) = 4*u**2 + 6*u - 5. Let f(o) = -3*o - 2. Let r be f(5). Let h = r - -12. Is v(h) prime?
False
Suppose -2*q = -0*q + 412. Is q/(-3) - 2/(-6) prime?
False
Let z be -2 + (-4)/(-2) + 6. Let g(n) = n**2 + 2*n + 7. Is g(z) prime?
False
Suppose -l - 2 = 0, -4*a + 79 = -5*l - 7. Is a a composite number?
False
Let u = -6 + 8. Let f = u - -7. Suppose f + 4 = b - 2*l, 2*l = -5*b + 101. Is b composite?
False
Suppose 8*d + 733 = 9429. Is d a composite number?
False
Let b = -204 + 905. Is b a prime number?
True
Let i = 380 - 189. Is i a prime number?
True
Is (10/25)/(2/1310) a composite number?
True
Let f(m) = m - 4. Let l be f(-3). Let w(h) = 4*h**2 - 5*h - 8. Is w(l) a composite number?
False
Suppose 0 = -2*v - 4*q - 0*q + 338, 495 = 3*v + 3*q. Is v a composite number?
True
Let k = 10 + 621. Is k a prime number?
True
Let g(f) = -3*f**2 + 5*f - 11. Let l(k) = 4*k**2 - 6*k + 12. Let m(j) = -5*g(j) - 4*l(j). Is m(0) composite?
False
Let h = -5 - -9. Suppose -3*a = 5*m - 67, -5*a + 64 + 23 = -h*m. Is a prime?
True
Let g = -17 - -28. Is g a prime number?
True
Let b(s) = 6*s - 5. Let j(k) = k. Let t(i) = b(i) - 5*j(i). Suppose 4*u - 24 = u. Is t(u) a composite number?
False
Let n = 15 + -6. Suppose 2*