*3 - 6*y**2 + y - 1. Let x be q(-6). Let c be r(x). Is (c/(-3))/((-2)/42) a composite number?
True
Let q = 8 - 4. Let p = 4 - q. Suppose p = -5*y + a + 280, -3*a = -2*y + 7*y - 260. Is y a prime number?
False
Let p(k) be the second derivative of 1/2*k**3 - 5*k**2 + k + 0. Is p(7) a prime number?
True
Let i = -172 - -21. Let s = -68 - i. Is s a composite number?
False
Suppose 4*v - k - 3 = -v, 2*v = -2*k - 6. Suppose v*l + 12 = 2*l. Suppose l*b = 4*b + 62. Is b a prime number?
True
Let r(o) = 25*o**3 - 6*o + 3. Is r(2) composite?
False
Let j = -522 - -270. Is ((-4)/1)/(-4) - j a prime number?
False
Let z(p) = -69*p**3 + 14*p**2 - 14. Let t = -8 - -4. Let f(o) = 23*o**3 - 5*o**2 + 5. Let x(b) = t*z(b) - 11*f(b). Is x(1) a prime number?
True
Suppose 0 = -2*m - 3*u + 2219, -5*m - 4*u = 3463 - 9028. Is m prime?
True
Suppose -4 = 6*u - 7*u. Is 126/u + (-1)/2 a prime number?
True
Is 157 + -1 + -3 - -4 a prime number?
True
Let p(u) = -u**2 + 7*u - 2. Let w be p(6). Suppose w*i - 627 = i. Is i a composite number?
True
Let h be 90/(-1) - -1 - -2. Let v = h - -156. Is v composite?
True
Is (-3)/(-6) - (-730)/4 a composite number?
True
Is (47 - -6) + (-3)/6*0 a composite number?
False
Suppose 4*k = -16 + 52. Let g(q) = -q**3 + 9*q**2 + 3. Let n be g(k). Is (-2)/n + 775/15 a prime number?
False
Suppose -4*w - c + 1641 = 0, 0*c = w - 4*c - 389. Is w composite?
False
Is 4*3/12*419 a composite number?
False
Let a(c) = -c. Let s be a(2). Is (4/s)/((-10)/1115) a prime number?
True
Let j = -209 + 352. Let m be 6/(-9) + j/3. Suppose 3*x = m - 5. Is x a composite number?
True
Let p be (3 + -84)*(-2)/6. Suppose p - 69 = -3*k - 3*q, -2*k - 5*q = -16. Is 2868/k + 1/(-3) prime?
False
Let j(c) = -c - 4. Let f be j(-4). Suppose 0 = -z - p - f*p + 144, -3*z + 431 = 4*p. Is z a prime number?
False
Let f(t) = -t**2 + 8*t - 9. Let p be f(8). Let m = p - -6. Is (m/(-3))/(-1)*-35 composite?
True
Suppose -3*t + 3*v = -1536, 3*v - 4*v + 3 = 0. Is t composite?
True
Is -2 - (-425 - (4 - 8)) composite?
False
Let m = -303 - -508. Is m prime?
False
Let o(s) = -s**2 - 4*s + 3. Suppose 0*m = 3*m + 15. Let k be o(m). Let t(z) = -8*z**3 - 2*z**2 + 2*z + 1. Is t(k) prime?
True
Let f be 346/6 - 2/(-6). Suppose f = -o + 5*n, -61 = 2*o - 2*n + 3*n. Is (-2 - -7)*o/(-5) a composite number?
True
Suppose -7*m + 9*m - 1790 = 0. Is m composite?
True
Let m = 2 - 5. Let x = m - -3. Let y = x - -133. Is y prime?
False
Let t(q) = 172*q + 3. Is t(4) composite?
False
Let n(x) = -63*x + 3. Let h be n(-4). Suppose 0 = 5*k + 4*j - 427, -3*k + j = 3*j - h. Is k a composite number?
False
Suppose -3*s + f - 1914 = -5*s, 5*s + 4*f = 4791. Is s a composite number?
True
Suppose 4*w + 8 = -16. Let u be 90 - -2*(-3)/(-6). Let v = u + w. Is v a composite number?
True
Suppose 0 = -5*t - 106 + 886. Let u be 4 - (8 + -4) - -29. Suppose 5*j - u - t = 0. Is j a prime number?
True
Let y = 419 - 292. Is y a prime number?
True
Let w(g) = -g**3 + 5*g**2 + 7*g - 3. Let m be w(6). Suppose -505 = 2*d + m*d. Let c = -64 - d. Is c a composite number?
False
Suppose 2*s - 7*s - 683 = -i, i - 683 = -4*s. Is i a composite number?
False
Is 1/(-5) - 822/(-10) a composite number?
True
Suppose u - 200 = 155. Is u a composite number?
True
Suppose 5*v + 685 = -375. Is -3 + (1 - (v + -1)) a composite number?
False
Let k be (-2)/5 - (-34)/10. Is (-3 + 2)/(k/(-435)) prime?
False
Let h = -3 + 2. Suppose -5 + 41 = -4*k. Is -2 - (h + k) - -2 a prime number?
False
Let d be ((-15)/2)/((-1)/4). Suppose 0 = 5*n - o - 27, 0*o - d = -3*n - 4*o. Is (-295)/(-6) + (-1)/n composite?
True
Let g(r) = -3*r**3 - r**2 + 3*r + 4. Is g(-3) a composite number?
False
Let n(t) = 1385*t**2. Is n(-1) a composite number?
True
Let q be -3*(1 - 10/6). Suppose -k + q*k = 311. Let p = k + -148. Is p a composite number?
False
Let g(x) = 9 + 8 + x + 8 - 8. Is g(-13) prime?
False
Suppose 5*k = k - 36. Is (-1911)/k - 2/(-3) composite?
True
Let z(w) = -w**2 + 4*w. Let v be z(3). Suppose -4*g + 10 = -h + 2*h, 3*h = -v*g + 12. Suppose 2*t - 108 = h*d, t - 4*d = -t + 110. Is t composite?
False
Suppose c - 2*w - 115 = 0, 5*c = 4*c - 3*w + 100. Is c a prime number?
True
Suppose 4*c - 28 = -4*b, 4*b - 2*c - 5 = 17. Suppose -4*n + 4*d = -20, 3*n = -n + 3*d + 21. Is b/9 + 110/n composite?
False
Let h(w) be the first derivative of w**2/2 + 2*w + 1. Let y be h(0). Suppose 4*c - y*c = 230. Is c a prime number?
False
Let r(g) be the first derivative of -g**3/3 + 7*g**2/2 - 9*g - 5. Is r(4) composite?
False
Suppose -c + 4*y + 1273 = -0*y, 3*c = 5*y + 3854. Is c composite?
True
Suppose 0*y + 2*x + 31 = 5*y, 0 = 5*y - 4*x - 37. Suppose 219 = y*n - 116. Is n composite?
False
Suppose x = 3*h - 4*x + 13, 3*x - 11 = h. Suppose -5*z + o + 340 = -h*o, -z - 2*o + 71 = 0. Is z prime?
False
Let n be (14 - 4)*2/5. Suppose -5 = -n*p + 647. Is p prime?
True
Suppose 96 = r - 3*t - 41, -3*t = 5*r - 613. Let q = r - 67. Let u = q + -35. Is u composite?
False
Let h be -2 - -2 - (-19 + -1). Is ((-921)/(-12))/(5/h) a composite number?
False
Suppose -4*t + 60 = -1788. Suppose -5*p + t = 77. Is p a prime number?
False
Is (-155 - 6)/(-4 - -3) a prime number?
False
Suppose 0 = i - 4, -w - 3*i - 139 = -4*i. Let n = -44 - w. Is n prime?
False
Let m be 1*((-2)/(-1) + -1). Let v(l) be the second derivative of 2*l**3/3 - l**2/2 - 22*l. Is v(m) a composite number?
False
Suppose -4*j + 4*o + 1208 = -o, j = 2*o + 299. Is j a composite number?
False
Let i(p) = p**3 - 8*p**2 - 9*p + 9. Let z be i(8). Is 1/((12/z)/(-4)) prime?
False
Let g = -379 - -549. Suppose 0 = x + 4*l + l - g, x - 5*l - 140 = 0. Is x a composite number?
True
Let i(f) = -f**3 - 4*f**2 - 3*f + 4. Let g be i(-3). Suppose -g*r + 6*r = 178. Is r a prime number?
True
Let q(h) = 2*h**2 - 3*h. Let f be q(2). Let g(z) be the first derivative of 5*z**3/3 - z - 3. Is g(f) composite?
False
Is (-4*(-2)/(-6))/(20/(-3030)) composite?
True
Let r(b) = -3*b**3 - 9*b**2 + 11*b - 19. Is r(-14) prime?
False
Let s be 53/1 - (-6)/(-3). Suppose -3*z + s + 135 = 0. Suppose 0 = -5*u + z + 13. Is u prime?
False
Let i(k) be the second derivative of -k**5/20 + k**4/12 + 113*k**2/2 + 2*k. Let q be 0/(1/(-2 + 3)). Is i(q) a composite number?
False
Suppose 79 = 7*p - 229. Let o(t) = -82*t**3 + 2*t + 1. Let s be o(-1). Let b = s - p. Is b composite?
False
Let i(j) = j**3 - 11*j**2 - 7*j - 15. Let m be i(11). Is m/(-4)*(1 - 0) prime?
True
Let g(a) be the second derivative of -5*a**3 + 5*a**2/2 + 4*a. Is g(-6) a composite number?
True
Suppose 0 = 5*f - 3*n - 4277, 0 = f + n - 4*n - 865. Is f prime?
True
Let q(z) = z**2 + 4*z + 4. Let n be q(-3). Let d(b) = 25*b + 25*b - 25*b - 1 + 45*b. Is d(n) a composite number?
True
Let r = -992 - -1441. Is r prime?
True
Let n be (2 - 9/2)*-2. Suppose 0 = n*r - 100 - 245. Is r composite?
True
Let i = 5 + -3. Suppose i*g + 393 = 5*g. Is g composite?
False
Let b(j) = -j**3 - 3*j**2 + 4*j - 1. Let s be 1/6 + 50/(-12). Let u be b(s). Is 155 - (-4 + (u - -3)) prime?
True
Suppose -4*s + z + 228 = -3*z, 3*s + 5*z - 147 = 0. Suppose 4*a + m - s = -0*m, -78 = -5*a + 4*m. Is a a prime number?
False
Suppose -30*k = -33*k + 957. Is k a prime number?
False
Let r(b) = b + 2. Let c be r(0). Suppose 0 = c*y - 4*y + 26. Is y composite?
False
Let p(q) = -q + 12. Let n be p(6). Let k(c) = -13*c - 3*c - n*c - 1. Is k(-1) prime?
False
Let f = -11 + 13. Suppose f*g + 2 + 0 = 0. Is g/((-325)/(-163) - 2) a prime number?
True
Let b be 1*-1 - (-9)/(-3). Is (b - -3)/(1/(-53)) a prime number?
True
Let v(t) = -2*t**2 - 3 + t**2 - 3*t**3 - 4*t + 0*t**2. Is v(-2) prime?
False
Suppose -4*l - 13 = 35. Is 1*-57*4/l composite?
False
Suppose -7*g = -2*g. Let c(d) = 6*d**3 - 3*d**2 - 4*d + 4. Let k be c(3). Suppose 0 = -g*h - h + k. Is h prime?
True
Let u(v) = 13*v**3 + 2*v**2 + 3*v + 3. Is u(5) a composite number?
False
Let j(b) = 22*b**3 + b - 10. Is j(4) a composite number?
True
Let l be 3*(0 + 2/3). Suppose r - 2 = l. Is r a prime number?
False
Suppose 0 = -5*v + 7159 - 1814. Is v a composite number?
False
Suppose -2 = 5*g - 4*x, -2*x + 0*x = -g + 2. Let k(s) be the second derivative of -32*s**3/3 - s**2/2 + 3*s. Is k(g) composite?
False
Is 3/(-6*((-9)/(-2514))/(-3)) prime?
True
Let g = 4616 + -1887. Is g composite?
False
Let w = 4 + 123. Is w a prime number?
True
Suppose -17 