 4*y. Let q(d) = -d**3 - 2*d**2 - 3. Let f be q(-3). Suppose -c + 88 = j, -c + f*c - 425 = -y*j. Is c a prime number?
True
Suppose 6*j - 14*j + 31544 = 0. Is j a composite number?
False
Let l(x) = 5*x**2 - 1. Let c be l(1). Suppose c*g = n - 4, -3 = 2*n - g - 4. Suppose n = -2*d - 115 + 633. Is d a composite number?
True
Suppose 2*m + 3*m - 295 = 0. Is m a prime number?
True
Suppose -3*s = 2*s. Let l = 25 + -12. Suppose -g - 3 + l = s. Is g composite?
True
Let o(d) = -56*d**2 + 2*d - 1. Let h be o(1). Let j = h + 92. Is j a prime number?
True
Is -2 - (0 - 165*1) composite?
False
Suppose -3*t + 7 = 1. Let a(q) = 8 - 5*q + 8*q**2 - 3*q**3 - 1 + t*q**3. Is a(6) prime?
False
Suppose -3 = -5*j + 2. Suppose 0 = 4*b - 5*s - 13, 3*b + 7 = 4*b - 5*s. Is j/3*(139 + b) a prime number?
True
Let w(g) = -252*g + 1. Is w(-1) composite?
True
Suppose -3*t + 5 = -y, -4*y + 0*t = 2*t - 8. Let i(v) = 8*v**2 - 1. Is i(y) a composite number?
False
Let l(u) = -3*u**2 - 3*u + 11. Let c = 5 - 7. Let a(p) = p**2 - p. Let k(w) = c*a(w) - l(w). Is k(-8) prime?
True
Let c = 7204 + -4847. Is c a composite number?
False
Let y(f) = -f**2 - 4*f + 2. Let o be y(-4). Suppose -t - 2 = 0, -b + o*t = 4*b + 11. Is (3/(-4))/(b/84) prime?
False
Let o(p) = 23*p - 2. Let f(a) = a**3 - a + 3. Let m be f(0). Is o(m) a prime number?
True
Let p(x) = 6*x + 5. Is p(8) prime?
True
Let n be (15/10)/((-3)/(-8)). Suppose n*g - 111 = g. Is g prime?
True
Suppose 2*h - 18 - 8 = 0. Suppose -72 + h = -c. Is c a composite number?
False
Let l(o) = -93*o + 58. Is l(-5) a prime number?
True
Let v(g) = g**3 - 8*g**2 + 3*g + 10. Is v(9) a prime number?
False
Suppose -2*j = g - 444, -2*j + 5*g + 456 = -0*j. Is j prime?
True
Let p be 9/(-3) + -1 + 0. Let x(s) = s**3 + 6*s**2 + 6*s. Let u be x(p). Is ((-30)/u)/((-2)/8) a prime number?
False
Let t(d) = -3*d + 1. Let x(m) = -9*m + 4. Let b(v) = 17*t(v) - 6*x(v). Let s be b(5). Suppose s = -n + 45. Is n a composite number?
False
Let g(j) = -j + 1. Let z be g(-3). Suppose -3*h + z*h = 1. Is ((-11)/(-4))/(h/8) a prime number?
False
Let u(w) = -w**3 + w**2 + 5*w - 5. Is u(-6) composite?
True
Let p(j) = 14*j**2 + j + 1. Let n be p(-1). Suppose 0 = -v + 9 + n. Is v composite?
False
Is 65/2 - (-18)/12 composite?
True
Is 3 - 1 - (-690 + 1) composite?
False
Let q = 2 + 2. Let g = -108 - -223. Suppose -5*l + 45 = q*y - 2*y, 4*y + 5*l - g = 0. Is y a composite number?
True
Let t(l) = -l**3 + l**2 - 2*l + 1. Let z be t(1). Let w = -3 - 0. Let x = z - w. Is x a composite number?
False
Let h be (3/2)/((-15)/80). Let k = 22 + h. Is k prime?
False
Suppose 2*o - 2 = 2. Suppose -o*d = 2*m - 16, 0 = -2*d - 3*m + 5*m + 4. Suppose 0*z - 2*z + 4 = 0, -d*f + z + 63 = 0. Is f prime?
True
Is 79/2*(1 - (5 - 8)) a prime number?
False
Suppose 0 = 2*u - 66 - 170. Suppose 2*d = 3*h + 2 - u, 5*h = -3*d + 225. Suppose -4*i = 2*a - 0*i - h, -a + 2*i + 9 = 0. Is a a prime number?
False
Let o(z) = 17*z**2 + 2*z - 6. Is o(-3) a composite number?
True
Suppose 0*k = 4*k. Let q(w) = -3*w + 155. Is q(k) a composite number?
True
Let g be (-5 + 3 + 4)/(-2). Is 1038/9 + g/3 a composite number?
True
Suppose -386 = -2*b - 3014. Let q be (1/(-2))/(3/b). Let l = q - 152. Is l a composite number?
False
Let l(q) = q + 8. Let j be l(-8). Suppose -5*u + 4*u + 2 = w, -3*w = -4*u + 8. Suppose 4*i + 16 = j, 4*o + i - 184 = -w*o. Is o prime?
True
Let b(v) = 11*v**2 - 3*v + 9. Is b(-5) a composite number?
True
Suppose 0*u = -4*u + 4*j, 0 = 4*u - j + 9. Let s be (u/4)/(3/(-10692)). Is 6/(-21) + s/21 a composite number?
False
Suppose 3*d - 2 = 2*d. Suppose 20 = d*n + 2*n. Suppose -82 - 88 = -n*g + 5*f, 102 = 3*g - 4*f. Is g prime?
False
Suppose 0 = -5*i + k + 10430 + 6610, 17025 = 5*i - 4*k. Is i composite?
True
Let n(g) = -g**2 + 5*g - 3. Let q be n(4). Let s = 1 + q. Suppose -s*y + 8 = -90. Is y a composite number?
True
Let j(i) = 210*i + 55. Let o(n) = 19*n + 5. Let h(w) = 4*j(w) - 45*o(w). Is h(-6) prime?
False
Let d(k) = 3*k - 6. Let u be d(4). Let j = u - 4. Is ((-66)/(-12))/(j/4) prime?
True
Let i(f) = -1950*f**3 - f - 2. Is i(-1) a composite number?
False
Is 1504 - (12/4 + -6) composite?
True
Suppose 1053 = 3*f - 348. Is f a prime number?
True
Let u(d) = 3*d - 20. Let y be u(10). Is y/15 - (-157)/3 a prime number?
True
Suppose -4*r = -2*x - 74, -2*x + 48 - 8 = 2*r. Is r a composite number?
False
Let u be 3/(-12) + 26/8. Suppose -5*k + 245 = u*b - 2*b, -2*b = -4*k + 196. Is k a composite number?
True
Let j = -2 + 4. Let f(i) = -i**3 + 4*i**2 - 3*i + 1. Let g be f(j). Suppose 127 - 25 = g*c. Is c a prime number?
False
Let z(r) = r**3 + 4*r**2 + 2*r - 3. Let p be z(-3). Suppose p = 2*m - 5*m. Let b(w) = w**3 - w**2 - w + 19. Is b(m) prime?
True
Suppose w = -5, -4*q + 3 = -2*w - 7. Suppose 5*g - 17 - 8 = q. Suppose -95 = 4*r - g*r. Is r prime?
False
Suppose 0 = i + i - 714. Suppose -i = -5*d + 13. Is d a prime number?
False
Let r(v) = -25*v + 4. Let q(g) = 26*g - 5. Let s(o) = -2*q(o) - 3*r(o). Is s(5) composite?
False
Let m be 1/2*(2 + -2). Suppose m*l - 3*v + 3 = -l, -3*v + 39 = 5*l. Suppose -11 = -l*z + z + 2*q, -4*z - 3*q + 18 = 0. Is z a composite number?
False
Let p = 56610 - 39647. Is p prime?
True
Suppose 2*j - 5401 = -3*y + j, -2*j - 9009 = -5*y. Is y prime?
True
Let g = 11 - 8. Suppose -4*k = g*l - 5*k - 956, 4*l - 1243 = -5*k. Is l a prime number?
True
Suppose 4*w - 214 - 142 = 0. Is w composite?
False
Let y(p) = 17*p + 4. Let n = 7 + -2. Is y(n) a prime number?
True
Suppose -v + 4*a = v - 12, -5*v - 2*a = -6. Let r(z) = 2*z - 2. Let h be r(v). Suppose -77 = -5*j - h. Is j a prime number?
False
Let c = 23 - 51. Suppose 4*d = -0*d - 8. Is (-2)/2 + c/d a composite number?
False
Let n(w) = -w + 6. Let b be n(6). Suppose -3*p + p + 12 = b. Is p composite?
True
Let p(v) = -2*v**3 + 4*v**2 + v - 1. Let b be p(-3). Let i = b - 37. Let u = -12 + i. Is u prime?
True
Is (-4)/8*-211*2 prime?
True
Let j = 1 - 2. Let m(g) be the first derivative of -55*g**4/4 - g**3/3 - g**2 - g + 3. Is m(j) a prime number?
False
Let a(w) = -7*w - 23. Let c(d) = -15*d - 46. Let k(z) = -13*a(z) + 6*c(z). Let n(p) = -p + 6. Let o be n(6). Is k(o) composite?
False
Let s = 968 - 171. Is s composite?
False
Let y(f) = -2*f**3 - 7*f**2 + 23*f + 11. Is y(-8) composite?
True
Suppose -3*u + 3*q + 963 = 0, -1299 = -4*u - q + 2*q. Is u composite?
True
Let b be 25/(-2)*3*-2. Suppose -4*k = k + b. Is (-76)/(-3) - (-5)/k composite?
True
Let h = 1932 - 1295. Suppose h = 5*v + 5*j - 623, 3*j = -v + 254. Is v composite?
False
Let f = 3 - 2. Let d be f/1 - (-2 + 0). Suppose 42 = -0*i + d*i. Is i a prime number?
False
Let p = -20 + 27. Is p composite?
False
Let m(b) = -2*b. Let u be m(-1). Is 24 + ((-1)/(-1) - u) composite?
False
Let q(s) = 2*s**2 + s + 1. Suppose -4*z = -34 + 6. Let r = -12 + z. Is q(r) composite?
True
Let o = -445 + 774. Is o composite?
True
Let a = -173 + 310. Suppose 3*w = 584 - a. Is w prime?
True
Let k = 1595 + -828. Is k prime?
False
Let t(k) = 270*k**2 + k. Is t(1) prime?
True
Suppose 0*w = 4*w. Suppose 3*o - 3*q - 42 = w, 3*o - 19 - 15 = -5*q. Is o a prime number?
True
Suppose 4*p + 23 = -9. Is (-6)/p + (-1183)/(-28) a prime number?
True
Let i = -742 + 1239. Is i composite?
True
Suppose -2*h - 44 = 2*s - 110, s + 5*h - 13 = 0. Let a = -7 + s. Is a composite?
False
Let f be (2*-1)/(8/212). Let j be 720/(-21) + 4/14. Let u = j - f. Is u composite?
False
Suppose -3*g + 568 = 2*p - 1113, 4*g = 3*p + 2230. Suppose 0 = -3*u + g + 554. Is u a composite number?
True
Let f(b) = -b**3 + 10*b**2 + 2*b - 5. Let o(c) = c + 2. Let q(u) = u**3 - u**2 + u + 8. Let x be q(0). Let m be o(x). Is f(m) a composite number?
True
Suppose -65 = -3*d + 382. Is d a prime number?
True
Let g = -70 - -48. Let i = g - -41. Is i a composite number?
False
Suppose 5*a = u + 74, -5*u - 33 = -2*a - 8. Is a prime?
False
Suppose 4*n - 6509 - 1287 = 0. Is n a composite number?
False
Let t(d) = 3*d**2 - 7. Let w be t(-6). Let y = 60 + w. Is y composite?
True
Suppose -39 = 2*q + 2*m - 163, -159 = -2*q + 5*m. Is q a prime number?
True
Let j(i) = -4*i. Let n be j(3). Let h be n - (0 + 1) - -1. Let t = 26 + h. Is t a composite number?
True
Let n(p) = 3*p + 5 + 0*p**2 + 16*p**2 + 2 - p**2. Suppose -5*x - 5*h + 35 = 0, 15 + 4 = 3*x + 2*h. Is n(x) prime?
True
Suppose 