8*2 prime?
True
Let u = 1 + 21. Is u composite?
True
Suppose 3*r + 5*z = -r + 408, 2*r + 5*z = 214. Is r a composite number?
False
Let q(k) be the second derivative of k**4/12 + 11*k**2 - 2*k. Let p be q(0). Let d = p + -11. Is d composite?
False
Let c = -996 - -1739. Is c a composite number?
False
Is 3 - ((-24)/8 + -749 + -2) a composite number?
False
Let g(m) = -4*m - 9. Is g(-10) prime?
True
Is ((-94)/(-5))/(7/35) a composite number?
True
Let a = -141 - -247. Is a prime?
False
Let q = 0 - 1. Let m(a) = 34*a**2 + a. Is m(q) a prime number?
False
Let v(a) = 3*a**3 + a**2 - a + 1. Let b be v(1). Suppose 2*y - b*m + 8 = -4, -2 = -5*y + 2*m. Suppose y*q - 5*q = 2*c - 265, -c - 1 = 0. Is q a prime number?
True
Let p be (4 + 1)*(-14)/5. Is ((-45)/6 - -1)*p a prime number?
False
Is 2*(734 - ((-75)/(-10))/(-5)) prime?
True
Suppose 24 = 5*g + 2*f, 3*f = -0*f + 6. Let b(l) = 49*l - 5. Is b(g) prime?
True
Let o = 32 - -233. Is o composite?
True
Let d be 220 + (3 - 2) + 0. Let z = d + -323. Is 1/((-207)/z - 2) a composite number?
True
Let f(k) = 2*k**2 + 5*k - 5. Let y be f(5). Let s = 189 - y. Is s a prime number?
False
Suppose -f - 100 = 11. Let t = f + 158. Is t prime?
True
Suppose 15*s - 10*s = 385. Is s a composite number?
True
Suppose -5*m + 4 = -m. Is ((-586)/4)/(m/(-2)) a prime number?
True
Let c(x) = -x**3 + 5*x - 7. Let d be -1 + 1 - (1 + 4). Is c(d) composite?
True
Let y be 25/((-3)/(19 - 4)). Let o = 146 - -38. Let h = y + o. Is h prime?
True
Let f be 200368/36 - (-4)/18. Let y be f/6 + 3/9. Is y/20 + (-3)/(-5) composite?
False
Let u(k) = -1 + 1 - 2 + 1. Let h(a) = -22*a - 5. Let j(x) = -h(x) + 6*u(x). Is j(2) a prime number?
True
Is ((-13)/(-4))/(1/4) a composite number?
False
Let i(j) = 59*j. Suppose 0 = -5*q - 0 + 5. Is i(q) composite?
False
Let i = 6294 - 2177. Is i prime?
False
Let f be 1*2 - (5 - 3). Let s be f/(1/((-2)/(-4))). Suppose 0 = -s*b - 4*b + 132. Is b a prime number?
False
Is (-2652)/(-12) + 1*-4 a composite number?
True
Let q = -11 + 15. Let s = -941 + 1463. Suppose -a - 417 = -l, -q*a + s = 3*l - 715. Is l a composite number?
True
Let y(l) = 916*l + 1. Is y(1) prime?
False
Let x = 2 + -14. Is x/(-18) - (-152)/6 a composite number?
True
Let y(v) = -v + 4. Let j be y(4). Let c(l) = -l**2 + 3*l**2 + 35 - l**2. Is c(j) a prime number?
False
Suppose 2730 = 4*g + 4*k - 2342, -3*g + 2*k + 3799 = 0. Is g a prime number?
False
Let m(y) = y**2 - y - 2. Let w be m(-5). Suppose x - 31 = 27. Is (x/(-8))/((-1)/w) prime?
False
Let x be (2 - (-1 + -17)) + 0. Let w = -9 + x. Is w composite?
False
Suppose -5*p - 195 = 3*s, -s + 75 = -2*s - 5*p. Let q = 5 - 13. Is (s/(-16))/((-2)/q) composite?
True
Suppose 600 = 2*u + 2*u. Let i = -97 + u. Is i prime?
True
Let u(n) = 286*n**2 - 2*n - 1. Is u(-1) prime?
False
Let l be (-2 + (-4)/(-5))*-5. Let f = 28 - l. Is f prime?
False
Suppose -3*z - 957 = -3*g, 0*z + 2*z = -4. Is g a prime number?
True
Suppose -3*m + 7071 = 3*a, 3*m = -2*m + 4*a + 11803. Is m prime?
False
Suppose 0 = -6*s + s, 5*q - 1735 = -4*s. Is q a composite number?
False
Suppose 4*f + 8*i - 3*i - 1036 = 0, f - 4*i = 259. Is f prime?
False
Let w = -5 - -9. Suppose 4*n + 300 = 4*p, w*n - 174 = -2*p - 0*n. Is p composite?
False
Let j = 362 - -195. Is j a composite number?
False
Let a(x) = 48*x**2 - 4*x + 3. Let k(u) = u**3 - 15*u**2 - 17*u + 18. Let y be k(16). Is a(y) a composite number?
True
Suppose -5*y = -j + 43, -5*y = -3*j + 236 - 77. Is j a composite number?
True
Let n(s) = 499*s**2 + 6*s + 9. Is n(-2) composite?
False
Let o(n) = -8*n. Let b be o(-1). Let r(l) = 41*l + 3. Is r(b) a prime number?
True
Suppose n = 4*n + q + 29, -n - 4*q - 6 = 0. Let x = 21 + n. Is x a prime number?
True
Let r(i) = 21*i - 2. Let a(y) = 7*y - 1. Let v(j) = 7*a(j) - 2*r(j). Let h be -9*(0 + (-2)/3)*1. Is v(h) composite?
True
Suppose 0*r + 15 = 5*r. Suppose 1 = r*a - 5. Suppose 53 - 231 = -a*f. Is f a prime number?
True
Let v(l) = 9*l**2 - 5*l + 3. Is v(7) a composite number?
False
Let k(v) = -1 - v + 3 + 2*v. Let p be k(0). Is 22 - (p - (-9)/(-3)) prime?
True
Is ((-18)/10)/(3/(-4535)) prime?
False
Let t be (-1)/(-1*(-4)/(-20)). Is 134 + t/((-15)/9) composite?
False
Let b = -26 + 127. Suppose 0*m + m = -b. Let h = m + 150. Is h composite?
True
Suppose 25 = -5*g, 2*j = -j - 4*g - 20. Let h = 7 + j. Is h a composite number?
False
Let n = 8 - 1. Is n composite?
False
Let w(b) be the first derivative of b**4/4 - b**3 - 5*b**2 + 9*b - 2. Is w(6) a prime number?
False
Suppose 3057 = 11*m - 3664. Is m composite?
True
Let f(h) = -h**3 - 2*h**2 - h + 7. Let l(o) be the first derivative of -o**3/3 - 2*o**2 - 5*o - 2. Let c be l(-4). Is f(c) a composite number?
True
Suppose -3*d - 164 + 698 = 0. Let h = d - 0. Is h prime?
False
Let r(d) = d**2 + 145. Is r(0) prime?
False
Let n(l) = 6*l + 3. Let p be n(-8). Let a be 1 + -78 + (0 - -1). Let m = p - a. Is m prime?
True
Let u(h) = -h**3 - 8*h**2 + 14*h - 1. Is u(-10) a prime number?
True
Let s = 31 - 9. Is s a composite number?
True
Is 4/(-6)*-3 + 141 a prime number?
False
Let x(o) = -2*o**3 - 4*o**2 - 2*o. Let b be x(-2). Suppose 5*y + 2*z - 345 = 0, -b*y + 4*z + 276 = 5*z. Is y prime?
False
Let a = 0 - -2. Let r(x) = x + 2. Let t be r(a). Suppose 4*y + 4*m = 57 + 3, -t*m + 40 = 2*y. Is y a composite number?
True
Let x(f) be the second derivative of 1/3*f**3 + 5/2*f**2 - f + 0. Is x(7) composite?
False
Suppose 5*x - 41 = -16. Suppose 163 - 43 = x*f. Let a = f - -11. Is a prime?
False
Let d(r) = -r**3 + 8*r**2 + 10*r - 7. Let i be d(9). Suppose n = 1 + 2. Suppose 178 = i*c + 2*o, -2*c + n*o = -2*o - 150. Is c composite?
True
Let q(o) = 220*o - 2. Let k be q(2). Suppose 482 = -4*t - k. Is t/(-12) + 3/(-18) prime?
True
Suppose 3*v + 6 = -4*f + 26, -5*v + 25 = 5*f. Suppose v*u = 5*u - 1315. Is u prime?
True
Let j = 520 - 17. Is j prime?
True
Suppose h - 358 = -95. Is h composite?
False
Let n = -231 - -650. Is n composite?
False
Let j(c) = 34*c**3 - c + 1. Is j(1) prime?
False
Suppose 0 = -v - 3*v + 932. Let h = v + -30. Is h a prime number?
False
Let q = -4 + 6. Suppose 0 = 4*j + 5*b + 164, 36 = q*j - 3*b + 96. Let z = -15 - j. Is z a composite number?
True
Let k(r) = -2*r**3 + 5*r**2 + 2*r + 2. Let n(u) = -4*u**3 + 10*u**2 + 3*u + 3. Let p(q) = 5*k(q) - 3*n(q). Is p(4) a composite number?
False
Suppose 0 = 5*i - 4*i - 9. Let q be (-256)/(-18) + (-2)/i. Is (3 - 4)*(-1 - q) composite?
True
Is -2391*(-6)/12*(-6)/(-9) prime?
True
Let a = -53 - -91. Let g(b) = b**2 + 6*b - 6. Let v be g(-7). Let p = a + v. Is p a composite number?
True
Let w = -344 + 1246. Let z = w - 567. Is z composite?
True
Let x(b) be the third derivative of b**6/30 + b**3/6 + b**2. Let y be x(1). Suppose -p + y*p - 148 = 0. Is p prime?
True
Let c(p) = p**2 - 6*p - 10. Let y be c(7). Let x(m) = -m**3 + m**2 + 24. Let t be x(0). Let g = y + t. Is g composite?
True
Suppose -3*t = v - 112, -2*t = 3*t - 2*v - 183. Suppose t = 2*n - n. Is n prime?
True
Let y(n) = 7*n**2 + 5*n + 8. Let f(a) = 3*a**2 + 2*a + 4. Let j(g) = 5*f(g) - 2*y(g). Is j(3) composite?
False
Let p be 0 - (503 + (-6)/(-3)). Let k = p + 740. Is k a prime number?
False
Suppose 29 = 2*c - 61. Is 2375/c + 4/18 prime?
True
Suppose 2*x = z - 921 - 4668, 0 = 3*x + 12. Is z composite?
False
Suppose -5*c + 37 = -23. Suppose 8*z + 816 = 2*z. Is (z/c)/((-2)/6) a composite number?
True
Suppose 3*n + 4 - 19 = 0. Suppose 0 = -r + n*r - 24. Let g = r - -25. Is g composite?
False
Let p be (-6)/(-33) - (-1118)/22. Is 3 + p + 1 + 3 prime?
False
Is (-41 - 0)*-3 - -4 a prime number?
True
Let w be -1*1/4*0. Suppose w = 6*a - 2*a - 1556. Is a prime?
True
Let m = -49 - 44. Let y = m + 130. Is y a composite number?
False
Suppose 5*s - 7*d = -2*d + 20, 2*s - 3*d = 9. Suppose -3*u + 6 + s = 0. Suppose u*r + 134 = -4*n + 330, -196 = -4*n + r. Is n a prime number?
False
Let d(y) = -y**2 - y + 57. Let z(g) = 9*g**2 + 1 + 8 - g - g**3 + 0. Let t be z(9). Is d(t) a composite number?
True
Suppose -4*w + 0 = -3*k + 1, 0 = 3*w + 2*k - 12. Suppose -r + 3*l = -136, 0*r - w*l + 586 = 4*r. Is r prime?
False
Let n(t) = 2*t**2 + 3*t + 3. Suppose 3*x = 4*x + 6. Is n(x) a prime number?
False
Is ((-2794)/4)/((-11)/22) a prime number?
False
Suppose -4*s = -2*s + 3*k + 11, 2*k = -5*s. Let w(m) = 15 - m + 8 + m**s - 4 - m**3. Is 