 3*k + 5*q. Suppose k*b = b - 60. Let s = b + 135. Is s a prime number?
False
Let l(n) = 7*n - 24. Is l(19) a prime number?
True
Let j(i) = -i**3 + 8*i**2 - 7*i + 6. Let k be j(4). Let y = k + -17. Is y prime?
False
Let k = 75 - 37. Suppose 5 = v - k. Is v composite?
False
Suppose 8 = 5*h - 17. Suppose -2*l = d - 226, -h*d + 4*d - 119 = -l. Is l prime?
False
Let m(p) = -7*p + 2. Let f be m(-2). Suppose -3*v - v = f. Is v*(185/(-4))/5 prime?
True
Suppose 4*d - 24 = -0*d. Is ((-314)/(-4))/(3/d) a prime number?
True
Let c = -395 + 722. Is c a composite number?
True
Let x(m) = m - 14. Let t be x(6). Let a(d) = -d - 5. Let p be a(t). Suppose 12 = p*c, -5*l = -5*c - 59 - 106. Is l a composite number?
False
Is 200 + 0/3 + 3 a composite number?
True
Let j(f) = 2*f**2 - 10*f + 2. Let w be j(8). Suppose 5*m + r - 35 - 79 = 0, 4*r + w = 2*m. Is m composite?
False
Suppose -o + 216 = -125. Is o a prime number?
False
Let y(s) = 4*s**2 - 3*s - 16. Is y(5) prime?
False
Let g be (-2 + 10/4)*12. Is (-4)/g + (-107)/(-3) prime?
False
Suppose -3*o - 5802 = -6*o. Is o a prime number?
False
Suppose -13*k + 4*k = -12951. Is k a composite number?
False
Let p(t) = 800*t**3 - 3*t**2 + 1. Is p(2) prime?
True
Let h(x) = -x**2 - 4*x - 5. Let w be h(-6). Let o = -12 - w. Suppose 5*v = -10, 2*y - 11 = o*v + 13. Is y composite?
False
Let f(x) = -x**3 + 7*x**2 - 4*x - 3. Let l be f(4). Suppose -l = -4*s - 5. Is s a prime number?
False
Suppose 0*v + 30 = 2*v. Let j = v - 8. Let x(l) = -l**2 + 12*l. Is x(j) a composite number?
True
Let m = -2023 - -5226. Is m prime?
True
Let o(b) = -22*b - 5. Let i = 27 - 39. Is o(i) composite?
True
Suppose -6 = 4*o - o. Let v(x) = -10*x**3 - 3*x - 3. Is v(o) a composite number?
False
Suppose -6*f + 5*f - 6 = 0. Let a(x) be the second derivative of x**3/6 + 6*x**2 + 3*x. Is a(f) composite?
True
Suppose -3*d - 154 = 4*k, 3*k + 3*d + 20 + 94 = 0. Let i = -27 + -2. Let b = i - k. Is b composite?
False
Suppose 3*x = -3*x + 5*x. Let z be -1 - (-2)/2 - -127. Suppose 0 = -x*s + s - z. Is s a prime number?
True
Let n(u) = -367*u - 30. Is n(-9) composite?
True
Is 9*71 - (-6 + 10) a prime number?
False
Let p(s) = 3*s + 2. Let m be p(1). Is (-8)/(-20) - (-383)/m composite?
True
Let i = 619 - 32. Is i prime?
True
Let m(b) = 7*b**3 + 17*b**2 - 11*b - 3. Let o(f) = -11*f**3 - 26*f**2 + 17*f + 4. Let n(t) = 8*m(t) + 5*o(t). Let x = -5 - 1. Is n(x) composite?
True
Let i be 2/(18/39)*6. Let x = 41 - i. Is x prime?
False
Suppose 360 = 2*j - 2*i, 3*j - 524 - 4 = -i. Is j composite?
True
Suppose -v = 4*v - 225. Let z = v + -24. Is z composite?
True
Suppose 0*n + 40 = n. Suppose 4*x = 108 + n. Is x a prime number?
True
Suppose -5*j + 3*b + 266 = 0, 3*b - 15 = -2*b. Is j a prime number?
False
Let v be (-3 - (-2 + 0))*-4. Let a(o) = o**2 + 8*o - 4. Let g be a(6). Suppose 4*w = -b + 2*w + 26, -4*b = -v*w - g. Is b composite?
True
Suppose 0 = -5*t - f - 40, -t + f = -0*t + 8. Let g be (-34)/(-8) + 2/t. Let i = g - -3. Is i prime?
True
Let g(n) be the third derivative of n**5/15 - n**4/24 - n**3/6 - 2*n**2. Let a(w) = w + 8. Let x be a(-6). Is g(x) a prime number?
True
Let c(a) be the third derivative of a**8/10080 + a**7/1260 + a**6/720 - a**5/30 + 3*a**2. Let g(k) be the third derivative of c(k). Is g(3) composite?
False
Let m = -4 + 9. Suppose -m*p + 6 = -2*p. Suppose -156 - 674 = -p*f. Is f a composite number?
True
Let h(p) = 5*p**2 - 2*p**2 - 10 + 12*p**2 + p - 3*p**2. Is h(5) a composite number?
True
Suppose -2 = -3*i - 5*c + 26, -2*i + 4*c - 18 = 0. Let j(f) = 7*f**2 - 1. Let v be j(i). Is 154*(2 + (-9)/v) composite?
True
Suppose w + w - 1528 = 0. Suppose 5*u = u + w. Is u a composite number?
False
Let f = -8 - 0. Let d(b) = -b**3 - 5*b**2 + 3*b - 7. Is d(f) prime?
False
Let j(i) = 38*i**3 + i**2 + 2*i + 1. Let o be j(-1). Let l = o + 60. Is l a composite number?
True
Suppose -228 + 825 = 3*x. Is x prime?
True
Let q = 3848 + -2439. Is q composite?
False
Let x(t) = -8*t**3 - 3*t**2 + 2*t - 3. Let d be x(2). Let p = d + 106. Is p a prime number?
True
Let w be (-1)/(-4) - (-127)/4. Let v(s) = w - s - 19 + 110. Is v(0) a prime number?
False
Suppose 3*r - 3*f - 125 = -f, 4*r = -f + 163. Let q(d) = d**2 + 1. Let k be q(-2). Suppose 34 = k*w - r. Is w composite?
True
Let a(w) = 47*w**3 - 2*w**2 + 3*w - 3. Let n be (-3*3)/(-3) + -1. Is a(n) composite?
True
Let f(h) = h**2 - h - 6. Let r be f(8). Suppose -r - 482 = -4*j. Is j a composite number?
True
Suppose -2*b = 2*o - 16, -o + b = 5*b - 20. Suppose 0 = -5*w + 3*k + 2*k + 140, 0 = 5*w - 3*k - 142. Let h = w - o. Is h a prime number?
False
Suppose 5*o = 2*s + 12, 3*o = -0*s + 5*s + 11. Let q be 4/3*3 - o. Suppose q*g - 116 = -46. Is g composite?
True
Let l(d) = -d - 6. Let p be (-224)/22 + (-4)/(-22). Let q be l(p). Suppose 2*i = 6*i - q*x - 60, 0 = 5*i + 4*x - 75. Is i a composite number?
True
Suppose -5*t + 3*r + 8473 = 7*r, 2*r - 1697 = -t. Is t composite?
False
Let a(n) be the first derivative of 5/2*n**2 + 1/4*n**4 - 5/3*n**3 + 0*n + 3. Is a(4) a composite number?
True
Let z(t) = -t + 11. Let s be z(5). Let o(u) be the first derivative of u**4/4 - 4*u**3/3 + 2*u**2 - u + 1. Is o(s) composite?
True
Let o(j) = -j + 48. Let n be 2 + (-4)/(-1 + 3). Let u be o(n). Let q = u + -17. Is q prime?
True
Let r(v) = 29*v**2 + 4. Let k(y) = y**2 + 3*y - 1. Let m be k(-4). Is r(m) composite?
True
Let h(d) = d**2 + 9*d + 9. Let l be h(-6). Let o(w) = -w**2 - 16*w - 4. Is o(l) a composite number?
False
Suppose 4*u = 648 + 532. Is u a composite number?
True
Let w(r) = 4*r**2 - 8*r + 3. Let b be w(-7). Let f = b - 176. Suppose 4*k - 2*u - f = 9, 0 = -k - 4*u + 13. Is k composite?
True
Suppose 636 = 4*f + 2*m, -3*f - 2*f = 2*m - 795. Is f a prime number?
False
Suppose -3*c + 691 + 908 = 0. Is c a composite number?
True
Let v(p) = -39*p - 7. Is v(-2) a prime number?
True
Suppose -18 = -7*i + 4*i. Let a be ((-9)/i)/(1/(-2)). Suppose 1 - 34 = -a*m. Is m a prime number?
True
Let q(z) = -z**3 - 6*z**2 - 7*z - 7. Let b be q(-5). Suppose -b*i + 52 = -5*l, 5*i + 3*l = -l + 62. Is i a prime number?
False
Let z = 8 - -60. Let g be (3/2)/(2/(-20)). Let x = z + g. Is x a composite number?
False
Let r = 6 - 10. Let n = r - -4. Suppose -3*v = -n*v - 45. Is v prime?
False
Let w be (3/2 - 2)*-8. Suppose -2*l - 3*r + 6 = 0, -w*r + 25 = -4*l - 3. Is ((-3)/(-1))/l*-19 a prime number?
True
Let g(s) = s**2 - 11*s + 11. Let u(p) = 2*p**2 + 0*p**2 + p**2 + 3*p + 2 - 2*p**2. Let v be u(-5). Is g(v) prime?
True
Let w be 1*(-3)/9*-3. Let q be 2 - (6*w - -2). Is 58/3 + 2/q a prime number?
True
Let m(l) = 13*l + 2. Is m(5) a prime number?
True
Is ((-23)/46)/(2/(-4684)) composite?
False
Is (-3*(-88)/(-48))/((-1)/586) a composite number?
True
Let v(q) = -3*q + 298. Is v(0) prime?
False
Suppose 5*q - 61 = -1. Suppose -4*n + 23 + q = i, 4*i + 3*n - 153 = 0. Is i composite?
True
Let o(y) = -14*y + 1. Suppose 0 = -5*q + 2*q. Suppose 2 + q = -2*l. Is o(l) a composite number?
True
Suppose 0 = -5*q - m + 429, -339 = -4*q - 5*m - 0*m. Is q a prime number?
False
Suppose 2*m = 6*m - 492. Let g = m + -52. Is g a prime number?
True
Suppose 3419 = -7*b + 21010. Is b a prime number?
False
Let l = -360 - -679. Is l a prime number?
False
Let m(b) = b**3 + 5*b**2 - b - 1. Suppose -5*h - 7 - 23 = 0. Let p be (8/h)/((-2)/(-6)). Is m(p) a composite number?
False
Let g(t) = t**3 + 3*t**2 - 3*t + 2. Is g(3) a composite number?
False
Suppose 0 = -3*i - i + 16. Let z(b) = -9*b + 7. Let g(f) = -9*f + 8. Let r(n) = i*g(n) - 5*z(n). Is r(2) a prime number?
False
Let f(m) = -3*m. Let g be f(-4). Suppose 2*a = 3*w - g, 4 + 2 = -2*a. Suppose w*i - 3*i + 19 = 0. Is i a composite number?
False
Suppose -80 - 223 = -4*u - 5*p, 2*p - 383 = -5*u. Is u a prime number?
False
Let w be (2*1)/((-3)/(-6)). Suppose -h + 215 = w*h. Is h a composite number?
False
Let m(y) = -6*y + 60. Let o(g) = -7*g + 59. Let j(w) = 6*m(w) - 5*o(w). Is j(0) composite?
True
Let v(o) = -1 + 8*o**2 - 2*o + 4*o**2 + 7*o**2 + 27*o**2. Let t(k) = k + 3. Let q be t(-4). Is v(q) a composite number?
False
Suppose 3*r - 5*t - 552 = 386, 5*r - t = 1600. Is r composite?
True
Suppose -s = f - 1041, 3*f - s - 4*s = 3107. Is f a prime number?
True
Suppose -4*q = -2*i - 4158, -2*q = -3*i + 156 - 2237. Is q prime?
True
Suppose 532 = 5*q 