= -0*k - 8. Suppose 3*v + 117 - 654 = k. Is v prime?
True
Suppose 86 - 16 = 5*c. Let r be 2/c + 1608/14. Suppose 0 = 2*u - 59 - r. Is u composite?
True
Let l(z) = -213*z - 104. Is l(-7) a prime number?
False
Let z(n) = n**2 - 9*n + 8419. Is z(0) prime?
True
Let n = 75955 - 47478. Is n prime?
True
Let v be (2213 + -2)/3*-1. Let m = -294 - v. Is m prime?
True
Suppose 0*i + 2 = -i, o + i = 317. Suppose r = -113 + o. Let x = r - 45. Is x a composite number?
True
Let w(n) = 5*n**3 + 5*n**2 + 17*n + 70. Is w(11) a prime number?
True
Suppose -12*b + 119617 = -9707. Is b a prime number?
False
Let s be 2 - (-1 + (-2)/2). Suppose -25 = s*o + 31. Is o/4*(5 - 9) composite?
True
Let m be (216/(-15)*-1)/((-6)/100). Let g = 4 - 6. Is m/g + 12 + -10 composite?
True
Is 98396/10 - 6/10 prime?
True
Let i(g) = 5669*g**3 - g**2 + 3*g - 2. Is i(1) composite?
False
Let x be 43/9 + (-4)/(-18). Suppose -x*y + 1366 = -7*y. Let d = -210 - y. Is d composite?
True
Let k(z) = 1108*z + 31. Is k(13) a prime number?
False
Let h = 1015 + 3706. Is h prime?
True
Let o(u) = u**2 - 6*u - 6. Let y be 1 + (3 - (-3 + -1)). Suppose 48 = -4*w - y. Is o(w) composite?
True
Let t(w) be the first derivative of -w**2/2 - 4*w - 6. Let n be t(-8). Suppose -n*k = 3*v - 133, -k - 2*k - 3*v + 102 = 0. Is k composite?
False
Let t(r) = -1650*r - 227. Is t(-10) a composite number?
False
Let y(a) = 241*a + 54. Is y(7) a prime number?
True
Is -90 - -82 - -23*233 a composite number?
False
Let t(s) = s**3 - s**2 - 4*s + 2843. Is t(0) composite?
False
Is (-15354)/(-50) + (-40)/500 a prime number?
True
Suppose -11302 - 1124 = -4*r - 5*j, r - j = 3111. Is r prime?
True
Suppose 4*z = 16, 3*z - 86672 = -4*t + 2*z. Is t a composite number?
True
Suppose 14 = i - 5*a, -2*i - 3*a = -5*a - 28. Is i a composite number?
True
Let b(x) = -2*x - 1. Let u be b(-2). Let z be (-1 + -1)/(2/(-4)). Suppose -3985 = -z*n + u*j, -3043 = -2*n - 5*j - 1044. Is n composite?
False
Let g(c) = c**2 + 9. Is g(-5) prime?
False
Suppose 0*c - 5*c = -10. Let s be 2/c*12/(-6). Is s/(-6)*1749/11 a composite number?
False
Let w(j) = 2*j + 7. Let a be w(-6). Let l(t) = -5*t**3 - 5*t**2 + 12*t - 1. Is l(a) a prime number?
True
Suppose 0 = b + 2*b - 1017. Let j = 237 + -455. Let a = b + j. Is a prime?
False
Let j = 49 + -49. Suppose 0 = -5*b - 3*k + 2992, 4*b + j*k = -3*k + 2393. Is b a prime number?
True
Suppose 0 = 5*p - 3*x - 400559, -173*x = 2*p - 170*x - 160232. Is p composite?
True
Suppose -2*m - 7208 = -28750. Is m composite?
False
Let s(a) be the first derivative of 2*a**3 - 11*a**2 + 9*a - 19. Is s(10) a prime number?
True
Let b(v) = 2*v**3 - 47*v**2 - 67*v + 41. Is b(31) a prime number?
True
Is -3*((-118720)/30 - -7) a composite number?
True
Let i = -483 + 1247. Suppose -2*x + 6*x = i. Is x prime?
True
Let f = 166 + -90. Suppose -f*g = -75*g - 239. Is g composite?
False
Suppose -2*v = 6, -2*y + 1691 = -0*y - 5*v. Suppose -2*i + 0*i = -y. Is i prime?
True
Let t = 803 - 369. Let q = 202 - t. Let j = q + 469. Is j a prime number?
False
Let c be 8 + -3 + 6/(-2). Suppose -2 = -f, 5*w + 2 = 4*w + c*f. Suppose -w*m + 424 = 2*h, 1057 = -0*h + 5*h + 2*m. Is h prime?
True
Let o be (-6)/24 - (-2 + (-5)/4). Suppose o*n - 114 = 519. Is n prime?
True
Let b(c) be the third derivative of 449*c**4/24 - c**3/2 + 4*c**2. Let w be b(4). Suppose -3*p = -x - 1350, -x - w = -4*p - 2*x. Is p a composite number?
False
Let w(h) = 1712*h**3 - h**2 - h. Let p be w(-1). Let r = p - -2773. Is r prime?
True
Let v(i) = 110*i**3 - 8*i**2 + 18*i - 1. Is v(8) a prime number?
False
Let n = -9 - -13. Suppose 0 = -3*l, 0*l = n*h + l + 536. Let g = 245 + h. Is g prime?
False
Suppose 4*a - 101645 = 17511. Is a a composite number?
False
Let a(w) = 58*w - 1. Let p(x) = x**3 - 11*x**2 + 5. Let u = -8 - -19. Let m be p(u). Is a(m) composite?
True
Let q = 3136 - 2054. Is q prime?
False
Suppose -3*r = r - 20. Suppose -5*v + 19 = -q, -4*q - 17 = -r*v + 14. Let h(d) = d**3 + d + 7. Is h(v) prime?
True
Let z = 3329 + -1446. Let w = 8 - 6. Suppose z = w*n - 3*r, -3*n + 2825 = r - 5*r. Is n a prime number?
False
Let i = 5 - 3. Let j be (-2 + i)*4/8. Suppose 2*y + j*m = 4*m + 1634, 4*y - m - 3261 = 0. Is y composite?
True
Is -4 - ((-15494)/2 - (-3 + 1)) composite?
False
Let q(n) = 4*n**3 - 2*n + 3. Let y be q(2). Suppose 3866 - y = 5*o. Is o a prime number?
False
Let a(m) = m - 4. Let w be a(6). Suppose 5*o = w*q + 15, 0 = 3*q - 2*o - 0 + 6. Suppose q = -2*t + t + 191. Is t composite?
False
Let z = -15716 - -22219. Is z a prime number?
False
Suppose -4*f = 16, -s + 4*f + 1 = -20. Let b(c) = 41*c + 14. Is b(s) a prime number?
False
Suppose 5*i + 27 = 2. Let a = -5 - i. Suppose a = k - 38 - 31. Is k composite?
True
Suppose -14*g + 11*g = -5*d - 31602, 5*g + 2*d = 52639. Is g composite?
False
Suppose 0 = f + i - 2298, 4*i - 2286 = -f - 0*i. Is f/(-6)*(-1 + -2) prime?
True
Let g = -4 + 19. Suppose -g = -c - 11. Suppose 0 = -2*o + c*r + r + 102, 0 = -4*o - 5*r + 204. Is o a composite number?
True
Let r be (1092/(-10))/(4 - 152/40). Let v = r + 1065. Is v prime?
False
Let z(h) = -32*h - 51. Is z(-11) a prime number?
False
Let z(j) = -10*j + 36. Let s(k) = -9*k + 29. Let r(x) = 5*s(x) - 4*z(x). Suppose -32 = 5*o - m, m + 34 = -5*o + 3*m. Is r(o) prime?
True
Let m(u) = -u - 6. Let l be m(-8). Is -2*(-753)/12*l composite?
False
Let y(p) = 63*p**2 + 2*p + 1. Let h = -22 - -27. Suppose -2*k - 12 = -5*o, 0 = -0*o - o + 3*k + h. Is y(o) composite?
False
Let p = 54 + -49. Suppose p*c - 1004 = c. Is c composite?
False
Suppose -10527 = -2*b + x, -4*b + 2*x = -6*b + 10524. Is b prime?
False
Let x = -63 - -63. Suppose x = -4*r, -17*b = -16*b - 4*r - 178. Is b a composite number?
True
Let k(q) = 28*q**2 - 9*q + 8. Let g be k(4). Suppose 478 = 2*a - g. Is a composite?
False
Let m(v) = -12*v - 25. Let o = 32 - 27. Suppose 5*u + o*z = -31 - 4, -3*u - 16 = 4*z. Is m(u) a composite number?
True
Let k = 24267 - 35492. Let g = 19078 + k. Is g a prime number?
True
Let g(x) = -4*x**3 - 2*x**2 - 1. Let v be (-65)/(-4) + (-3)/12. Suppose d - q = -7, 5*d - 2*q + v = 2*d. Is g(d) composite?
False
Let y(a) = a**3 - 6*a**2 - 9*a + 5. Let x be y(7). Let w(s) = -s**2 - 9*s + 1. Let m be w(x). Is m/(-2)*(-526)/1 a composite number?
False
Suppose 2*o + 284 = 2*x, 5*o = -18*x + 19*x - 130. Is x composite?
True
Suppose 561365 - 186055 = 65*i. Is i a composite number?
True
Suppose 0 = -2*h + 3 + 7. Let c(o) = 3*o**2 + 18*o + 8. Let z be c(-7). Suppose z + 21 = h*x. Is x a composite number?
True
Let b = 5075 - 1816. Is b composite?
False
Let p(y) = -y**2 - y + 65. Suppose -a = 3*x - 1 - 1, 3*a = 4*x + 6. Let w be p(x). Suppose -6*i + w = -i. Is i a prime number?
True
Suppose -p = 5*j - 12, 4*j = -0*j - 2*p + 6. Suppose -4*n + 212 = -2*x, x + x + 157 = j*n. Is n prime?
False
Let p(m) = -4*m - 21. Let r(g) = -g - 7. Let l(j) = 2*p(j) - 7*r(j). Let s be l(5). Suppose s*w - 97 - 69 = 0. Is w prime?
True
Let t(q) = 20*q**2 - 13 + 27 + 5*q + 2 - 6. Is t(-7) a composite number?
True
Let u(i) = -2 + 2*i - 4 - 1 - 7*i**2 - 6*i. Let q(h) = -3*h**2 - 2*h - 4. Let f(o) = 9*q(o) - 4*u(o). Is f(-7) prime?
False
Let j = 1065 - 637. Suppose -3*r + 1069 = -j. Is r a prime number?
True
Let s(t) = -t**2 - 8*t - 1. Let f(z) = -8*z**3 - 2*z**2 + 1. Let m be f(-1). Suppose u + m = 1. Is s(u) composite?
False
Let b be 242/44 + 1/(-2). Suppose 0*w = b*w - 955. Is w composite?
False
Let u(t) = -4*t + 10. Let q be u(2). Suppose 4*p = -p + o + 4535, q*o = 4*p - 3628. Is p prime?
True
Is ((-1548)/48 - -8)*-223*4 a composite number?
True
Let y be -4 + -3 - (-1 - -2). Is (-3197)/(-92) + (-10)/y + -1 composite?
True
Let h be 361 - ((-9)/3 - 1). Let a = h + 2648. Is a a prime number?
False
Suppose 10 = -0*d - 3*d - 2*m, -5*d - 5*m - 20 = 0. Is (d - 84*-5) + (-2)/(-2) prime?
True
Let b(m) = -m**3 - 2*m**2 + 8*m - 5. Let k be b(-4). Let r be 6/(-15) - 173/5. Is ((-2)/(-2))/(k/r) composite?
False
Let u(n) = -10*n**2 - 4*n - 1. Let t be u(-3). Let y = 314 - t. Is y a composite number?
True
Suppose -l + j + 3 + 5 = 0, -4*l + 22 = j. Suppose 920 - 26 = l*i. Is i composite?
False
Let a(u) = -u**2 + 19*u - 9. Let y be a(18). Let l be -3*(-2 + (-24)/y). Let d(f) = 12*f - 11. Is d(l) composite?
False
Suppose 3*x + 4*a = 9346, -4*x - 5*a - 2942 = -15404. Is x co