*3 + 2*y**2 - 2*y + 1. Let x be t(1). Is 46/x*(8 + -11) prime?
True
Let f = 225 - -172. Is f prime?
True
Let o be -6*(10/(-6) - -3). Let a = -3 - o. Suppose -408 = -a*u + 47. Is u composite?
True
Let x = 66 + -8. Suppose o + 5*c = x, 2*o + o + 4*c = 119. Is o composite?
True
Let h = 293 - 42. Is h composite?
False
Let k = 15 - 11. Suppose -3*m - 3 = 0, -2*m + 631 = k*v + 3*m. Is v composite?
True
Let x be -2 + 2 + 21/1. Is 8/(-28) + 804/x a composite number?
True
Let w = -9 - -7. Let x be 3535/15 - w/(-3). Suppose 0 = 3*j - 2 - x. Is j prime?
True
Suppose 32 = s - 5*t, -5*s = -3*t - 2*t - 120. Is s a composite number?
True
Let j = -62 + 145. Is j composite?
False
Suppose -4*l + 4*b = 20, 5*l - 10 = -0*b - 2*b. Suppose 0 = -l*v - v - 338. Let o = 597 + v. Is o composite?
True
Let n = -56 + 93. Is n a prime number?
True
Let o be (-5)/(10/4) + 215. Let m = o - 134. Is m a composite number?
False
Is (-1 - 5005)*(-4 + 35/10) prime?
True
Suppose -5*i = 73 - 448. Let g = 10 - 8. Is (8/12)/(g/i) prime?
False
Suppose 3*g = -4*n + 2*n + 14, 0 = 2*n + 2*g - 16. Let s(d) = -d**3 + 9*d**2 + 9*d + 14. Is s(n) a prime number?
False
Suppose -5*w = -3*s + 4705, -4*s + 8*w - 7*w = -6262. Is s a prime number?
False
Let j(p) = p**2 + p + 5. Let t be j(0). Suppose 17 = t*u - 3. Suppose u = s - 3. Is s composite?
False
Let t(j) = -155*j - 17. Is t(-6) prime?
False
Suppose 2*s + 3*j = 232, 3*s - s - 3*j - 244 = 0. Is s prime?
False
Let r(g) = -67*g**2 - 2*g - 1. Let f be r(-1). Let p = 225 + f. Is p a composite number?
True
Let g = -166 + 287. Is g a composite number?
True
Suppose a = -2*a. Let w = a + 2. Is (w/(-6))/(4/(-132)) prime?
True
Suppose -42 - 8 = -5*g. Suppose -5*c + 5 + g = 0. Is c/((-9)/(-6)) - -24 a prime number?
False
Let b(c) = 22*c - 1. Suppose -4*v - 5*j + 25 = 0, 4*j - 10 = -2*v + 10. Suppose v = 2*h + 10, -3*w + 0*w = -2*h - 13. Is b(w) composite?
True
Let r(w) = -3*w**3 - w**2 - 5*w - 21. Let d(x) = 2*x**3 + 3*x + 11. Let y(t) = 7*d(t) + 4*r(t). Is y(6) a composite number?
True
Let l = 4324 - 2550. Suppose -420 + l = 2*u. Is u composite?
False
Let i = -349 - -600. Is i a prime number?
True
Let p(s) = s**3 - 10*s**2 - 14*s - 2. Is p(12) a prime number?
False
Let z(g) = -g + 10. Let k be z(6). Suppose -5*j + 9 = -2*w - k, 0 = -3*w - 5*j + 18. Is (16 - (0 - -2)) + w composite?
True
Let l(p) be the second derivative of p**6/90 + p**5/30 + p**4/8 - 2*p**3/3 + 4*p. Let g(x) be the second derivative of l(x). Is g(-2) composite?
False
Let o = -98 + 627. Is o prime?
False
Suppose -2*l = 787 - 4993. Is (l/6)/(3/6) a prime number?
True
Let o(v) = 10*v**2 - v - 1. Let b = -1 - -1. Suppose b = -2*i - 3*i - 5. Is o(i) prime?
False
Suppose g = -3*g - 4*i + 276, 0 = 2*g - 2*i - 138. Suppose 5*c - 3*r + 190 = 0, 4*c - 3*c = 5*r - 38. Let b = g + c. Is b prime?
True
Suppose 287 = h + 4*d - 2*d, 0 = -3*h - 5*d + 861. Is h prime?
False
Suppose 2*b + b - 12 = 0, 0 = -3*f - 5*b + 1136. Suppose 5*c = 0, -4*k + 2*c = -c - f. Is k prime?
False
Let c = -481 + 860. Is c composite?
False
Is -5889*(-1)/4 - 3/(-4) a composite number?
True
Suppose -7 = -2*z - 41. Let h = 0 + -2. Is 2 + h - -2 - z a prime number?
True
Let g be 3 + (2 + -3)/(-1). Let h(q) = -2 - q**2 + g*q**2 + 2*q**3 + q**3 + 3*q. Is h(3) prime?
False
Let u(d) = -22*d + 9. Is u(-14) prime?
True
Let s(c) = -19*c**3 - 1. Let k be s(1). Let u be (6 - 1)*8/k. Let z(x) = -34*x - 1. Is z(u) composite?
False
Let p(o) = 5*o**2 + 11*o - 6. Let q be p(10). Suppose 0 = 3*x - x - q. Suppose -x = -5*f + 483. Is f prime?
True
Suppose m = -4*k + 1459, 2*m + 4*k - 2938 = -0*m. Suppose 8*v - 11*v = -m. Is v a composite number?
True
Let i = 22 + -9. Suppose c + c + t - 21 = 0, c + t = i. Is c*((-39)/(-12) - 2) prime?
False
Let m(a) = 2*a**2 - 7*a + 5*a**2 - a**2 - 1 + 3*a. Let l be (-2)/(-8) - 13/4. Is m(l) composite?
True
Let z(c) = -c**2 + 17*c - 6. Is z(13) composite?
True
Let x(u) = 27*u - 8. Let l = -2 + 9. Let s be x(l). Let t = s + -94. Is t prime?
False
Let p be 4/28 - (-13)/7. Suppose 5*s - 2*w = 645, -p*s - 5*w + 680 = 3*s. Is s a prime number?
True
Let a(v) = 3*v**2 + 7*v + 1. Let u be a(-5). Suppose 118 + u = 3*f. Is f prime?
True
Let g(z) = -z**2 + 6*z. Let v be g(5). Suppose -25 = -v*f, -3*r - 4*f + 31 = -4. Suppose 0 = -r*p - 5*b + 35, -3*p + 5*b = p - 1. Is p prime?
False
Suppose -f + 18 = s + 4*f, 9 = 4*s - f. Suppose 0 = -s*j + 122 + 115. Is j a composite number?
False
Let y(o) = o**2 - o - 2. Let s be y(-4). Let q be (-8)/12*s/(-4). Suppose -2*i + 2*c - 3*c + 417 = 0, 628 = q*i + c. Is i composite?
False
Let b = -11 - -13. Let l(y) = -y**3 - 3*y**2 + 8*y + 10. Let p be l(-8). Suppose -b*c - p = -2*o, 3*o + c = 2*c + 395. Is o composite?
False
Let z(u) = -u**2 - 17*u - 8. Let d be z(-10). Suppose -3*y + 401 = d. Is y prime?
True
Suppose -7*h + 7 = -2*h + 4*z, 2*h - 4 = -z. Suppose -2*f - 5*j + 58 = 0, -j - 66 = -h*f - 13. Is f a prime number?
True
Suppose -2*r + 63 = -103. Is r composite?
False
Suppose -3*o - 3270 = -3*z, z + 6*o = 3*o + 1078. Is z prime?
True
Let g = -2287 - -3646. Let t = -782 + g. Suppose 0 = -5*m + w + 2*w + 722, -t = -4*m + 3*w. Is m a composite number?
True
Let c = 15 - 11. Suppose -x + 232 - 12 = 3*z, c*x + 5*z - 887 = 0. Is x a composite number?
False
Let y = -7 - -11. Suppose y*w = 6*w. Suppose w = -4*z + z + 27. Is z a composite number?
True
Suppose -9271 = -10*z + 15319. Is z a prime number?
True
Suppose -4*s - a + 32 = a, -8 = -2*a. Suppose 0 = y - s - 1. Is y a prime number?
True
Suppose 2*p = -12 + 34. Let j = p + 3. Is j a prime number?
False
Is 192 + (-3 + 0 - -2) a composite number?
False
Let o = 263 + -140. Is o composite?
True
Let l(u) = 8*u**3 + u. Let a be l(1). Let d = 59 - a. Suppose -6*g + d = -g. Is g composite?
True
Suppose -b + c = 2*c - 3062, -15260 = -5*b + 5*c. Is b a composite number?
True
Suppose -o - 3*o = 0. Suppose -2*p = o, -4 - 11 = -5*j + 4*p. Suppose -3*g + 3*w = -72, w + 67 - 5 = j*g. Is g a composite number?
False
Let l(j) = 6*j + 37. Let d be l(-6). Suppose -4*z = 4*q - 64, -2*z - 2*q = 2*q - 28. Is 1/(d/z) - 3 a prime number?
False
Let y = 1 + 1. Let g be y/6 - 8/(-3). Is (-6)/(-4)*74/g a composite number?
False
Suppose -5*i = -3*g + 5*g - 1494, 3*g + 3*i - 2223 = 0. Is g prime?
False
Let a be (-3)/(-2) - (-195)/6. Let j(s) = s**2 + 2*s + 3. Let d be j(8). Let b = d - a. Is b composite?
True
Suppose 4*n + 358 = 6*n. Is n a composite number?
False
Suppose -5*o - 969 + 3064 = 0. Is o prime?
True
Suppose -17*c = -14*c - 483. Is c a composite number?
True
Is (-1)/(((-12)/24)/((-1754)/(-4))) a composite number?
False
Let n(x) = 21*x + 1. Suppose -5*m - 7 = -3*j, -2*m - 4*j + 9 = -9. Is n(m) a composite number?
True
Let c = -4274 + 7261. Is c prime?
False
Let x(b) = -4 + 2*b + 3 + 0*b + 2 - 2*b**2 - b**3. Let c be x(-3). Suppose -225 = -c*g + 3. Is g a composite number?
True
Let n be 18/4 - (-1)/2. Suppose 3*f - 75 = -3*j, -j - 74 = -3*f - n*j. Is f a prime number?
False
Suppose 3*g = g + 8. Suppose 3*c - 28 = -m, g*m + 4*c = -m + 85. Is m prime?
True
Let f be (3/2)/(2/4). Suppose -3 = -h + f*h - 3*v, -3*v - 9 = 0. Let n(a) = -3*a + 1. Is n(h) a prime number?
True
Suppose 88 = 3*k - 341. Is k composite?
True
Let o = -13 - -39. Is o composite?
True
Let w(n) = -n**2 + n + 3329. Is w(0) a prime number?
True
Suppose 2*u - 426 = -4*s, 1 = u + 3*s - 214. Is u composite?
True
Let w(v) = v**3 - 7*v**2 + 13*v - 9. Let n be w(8). Suppose n = -4*o + 667. Is o a composite number?
False
Suppose 0 = -3*c + 2*c - 2. Let o be ((-4)/(-12))/(c/(-36)). Suppose s - o*s = -175. Is s a composite number?
True
Let m = -120 + 343. Let g(y) = -8*y**2 + 4*y. Let w be g(3). Let a = w + m. Is a prime?
True
Let h(d) = 110*d**2 - 3*d - 3. Is h(-2) prime?
True
Let u = -572 + 992. Let m = u + -229. Is m a prime number?
True
Let z(t) = t**2 + 6*t - 19. Is z(-10) a prime number?
False
Suppose z - 3*s = 13, 0*z + 26 = 5*z - 2*s. Suppose -v + 265 = z*v. Is v composite?
False
Suppose 0 = 4*r + v - 2241, -r - 2*v = -475 - 94. Is r prime?
False
Let q be (8/(-6))/((-4)/6). Suppose 4*w - 4*a = -5*a - 1, w + q*a + 9 = 0. Is 37 + 0*w/3 composite?
False
Suppose -5*y - 16 = 34. Let g = y + 15. Suppose 0 = -3*v - 2*r + 205, g*r + 136 + 97 = 3*v. Is v a composite number?
False
Suppose -4*p = -3*t - 