. Let r be m(-1). Suppose 4*u = 1288 + r. Let x = -20 + u. Is x composite?
True
Let y = 158740 - 81623. Is y composite?
True
Suppose 0*x = 5*x - 40. Suppose -m = -x + 5. Suppose 89 = -2*o + m*o + 5*b, -3*b = -2*o + 178. Is o a prime number?
True
Let s(u) = u**3 + u**2 + u + 11. Let y be s(8). Let n = -188 + y. Is n composite?
True
Is 1869/1*(117/27 - 4) a composite number?
True
Is (-860275)/(-475) + 2/(-19) a composite number?
False
Let h = 6882 + 2117. Is h a composite number?
False
Let l(z) = 75*z**2 - 2*z - 1. Let j be 35/14*(28/10 + -2). Is l(j) a composite number?
True
Suppose 3*x - 8*x = -57490. Is x a composite number?
True
Let d = -15 + -33. Is (-112)/d*1*381 a prime number?
False
Suppose 2*l - 804779 = -27*l. Is l a prime number?
True
Let q be (-46)/(-14) - 2/7. Suppose -3*m + q = -3. Is (-14574)/(-98) + m/7 a composite number?
False
Let h(y) = 10*y - 12. Let o = 54 + -47. Is h(o) a composite number?
True
Let u(h) = -34*h**3 - h**2 - 2*h - 1. Let q = 78 - 81. Is u(q) a prime number?
False
Let a(n) = 13*n + 8. Let m be a(-4). Let h be 54/5 - m/(-55). Suppose -w + 41 = -h. Is w composite?
True
Let u(j) = -j + 2. Let l be u(6). Is 305 - 3*l/6 prime?
True
Suppose 0 = -3*y - 4*c + 48471, 5*y + 4*c - 39178 = 41599. Is y a prime number?
False
Let j(x) = 157*x + 179. Is j(30) prime?
True
Let o(z) be the third derivative of z**5/5 - 11*z**4/24 - z**3/6 + 4*z**2. Is o(8) a composite number?
True
Suppose -25 = 5*n, 3*g = 4*g - n - 657. Suppose g = 2*s + 2*s. Is s prime?
True
Suppose 5*m = -2*b + 7525 + 34574, b = 2. Is m a prime number?
True
Let s(t) = 3*t + 3. Let l(u) = -u**3 - 9*u**2 + 2*u + 13. Let b be l(-9). Let z be s(b). Let x(a) = -23*a + 25. Is x(z) composite?
True
Suppose 4*z - 2*w = -1580, -3*w - 2*w - 778 = 2*z. Let d = z - -765. Is d prime?
False
Let u = -2008 - -3923. Is u a composite number?
True
Suppose -2*h - h = 3. Let c be -25*((-8)/(-10) + h). Suppose -c*u - 332 + 864 = -2*b, b = 5*u - 531. Is u a composite number?
True
Let j(m) = -2*m + 28. Let p be j(13). Suppose p*i - 547 = -5*h + 2*h, -4*h = -3*i + 795. Is i a composite number?
False
Suppose -10*l = -12*l - 4. Is (1/3)/(l/(-462)) a prime number?
False
Let j = 15633 + -10534. Is j a composite number?
False
Suppose 3*k + 80978 = 4*r, 31703 = 4*r + k - 49267. Is r prime?
False
Suppose -65*q = -63*q - 58070. Is q composite?
True
Is 71/213 + (-1 - 155789/(-3)) a composite number?
False
Let q(k) = 3*k**2 - 7*k - 15. Let t be q(-7). Suppose 5*d - 83 = -4*p + p, 0 = -2*p + 5*d + 97. Let v = t - p. Is v composite?
True
Suppose -3*k + 39 = -3*v, -5*k - 5*v - 11 = -4*k. Suppose 951 = -k*q + 12*q. Is q a prime number?
True
Suppose 3*k = 2*b + 1519, -3*k - 4*b = -4*k + 513. Suppose 4*i + 266 = 2*t, t + i - k = -3*t. Is t a prime number?
True
Let y(i) = 1115*i**2 - 5*i + 5. Is y(1) composite?
True
Suppose 5*o + 2*k - 696 = 104, 4*o - 642 = -2*k. Suppose 0*t - 790 = -5*z + t, z = 5*t + o. Is z prime?
False
Suppose -6*s = 2*s - 4544. Let x = 73 + s. Is x composite?
False
Suppose 12*u - 30*u = -33246. Is u composite?
False
Suppose 10668 = 2*c + 2014. Is c prime?
True
Let b(n) be the third derivative of 11*n**7/840 + n**6/720 + n**5/20 + 2*n**2. Let u(f) be the third derivative of b(f). Is u(2) prime?
False
Let s = 5 - 2. Let k be 3 - (-28 + (-6)/s). Let v = 25 + k. Is v a prime number?
False
Let r = 3 + 99. Suppose 0 = h - 149 - r. Is h prime?
True
Suppose 3*l - 7438 - 3485 = 0. Is l a prime number?
False
Suppose 4*m = 9*m - 4*d - 77685, 2*d = 3*m - 46613. Is m prime?
True
Let q(n) = 17*n**2 - n - 11. Let k(x) = -2*x**2 - 2*x - 1. Let p be k(-2). Is q(p) a prime number?
True
Let h = 2 - -3. Suppose 0 = -h*a - 2588 + 858. Let s = -120 - a. Is s a composite number?
True
Is (-1*8862/28)/(2/(-4)) prime?
False
Suppose -2*a - 1992 = -4*a. Suppose -402 - a = -3*y. Is y prime?
False
Suppose 4*b - 5*l = 40891, -32*b - 4*l = -30*b - 20426. Is b a composite number?
True
Let v(h) = h**3 - 8*h**2 - 9*h + 2. Let f be v(9). Suppose -514 = -f*k + 460. Is k prime?
True
Let i(o) = 5509*o**2 + 21*o - 8. Let q(d) = -2754*d**2 - 11*d + 4. Let r(b) = 6*i(b) + 11*q(b). Is r(1) prime?
False
Let b(q) = -q**2 + 7*q. Let u be b(7). Suppose u = -0*y - y. Suppose 4*w + 0*i + 5*i - 566 = y, i + 137 = w. Is w composite?
False
Suppose -3*p - 3*l - 2*l = -3010, 3*l = -3. Let w = p + -712. Is w a prime number?
True
Suppose 3*v - 1429 = 4208. Let g = v + -1110. Is g prime?
True
Let v(a) = -11*a**3 - 3*a**2 - 24*a + 14. Is v(-6) a prime number?
False
Let n = 3 - 6. Let p = 1 + n. Is -2 - p/((-2)/(-111)) prime?
True
Let q = 53702 - 13458. Suppose -9*y + 27751 = -q. Is y a composite number?
True
Let x = -1588 + 3365. Is x a prime number?
True
Let l(u) = 6*u + 3389. Let g be l(0). Suppose -12459 = -10*i - g. Is i prime?
True
Let t = 242 - 168. Is t a prime number?
False
Let n = 43771 - 31110. Is n a composite number?
True
Suppose f = -4*f + 2*j + 8870, -4*j + 1774 = f. Suppose -f = -5*c + 9811. Is c composite?
True
Let a(u) = -u**2 - 13*u - 7. Let j be a(-12). Suppose 0 = j*w - 7821 - 464. Is w prime?
True
Let v(r) = 1205*r**2 + 37*r - 17. Is v(5) composite?
False
Is (9/3 + (-14722)/(-14))*7 a prime number?
False
Is ((-649)/55 - -12) + 53584/5 a composite number?
True
Let q be (-2 - 0/1)*-5. Let m be (1 - 14/q)*-5. Suppose 2*j - 610 = -m*i - 0*j, -4 = 2*j. Is i composite?
False
Let w(t) = -358*t + 20. Let n be w(-6). Suppose y - 531 = -5*u, 5*y - 2*u - n = y. Is y prime?
True
Let g(v) = 5 + 4 - 4*v + 87*v**2 - v + 4*v. Is g(3) prime?
False
Let p be (636/(-9))/(1/6). Let v = -219 - p. Is v a composite number?
True
Suppose -168 = -13*q + 5*q. Is q a prime number?
False
Let q(y) = 3*y**3 - y**2 - 4*y + 7. Let f be q(2). Let u = 17 - f. Let d = u - -445. Is d composite?
False
Let f(h) = h**3 + 12*h**2 - 11*h + 40. Let o be f(-13). Is (-45650)/(-14) + 4/o composite?
True
Suppose -g + 4*c = 11, -3*g - 2*c + 9 + 14 = 0. Is (167/(-2))/(g/(-50)) a composite number?
True
Is 330/1485 - -134*373/18 composite?
False
Let h be ((-56)/16)/(1/2). Let t = 72 - h. Is t a prime number?
True
Let q = 9389 - -2474. Is q a composite number?
False
Is 1*4*((-6794)/(-8) - 2) a composite number?
False
Suppose -2*h - 5*d - 4666 = 0, 2*h + d = h - 2327. Let j = -1634 - h. Is j a composite number?
True
Let z(j) = j**2. Let q(h) = 7*h**3 + h**2 - h - 4. Let a(l) = q(l) + 2*z(l). Let g be a(4). Let c = g - 277. Is c prime?
True
Let q(s) = s**2 - 7*s - 7. Let o be q(6). Let c(x) = 8*x**2 + 11*x + 4. Is c(o) a prime number?
True
Let s = 10768 - 5921. Is s a prime number?
False
Let g = -38 - -1435. Is g composite?
True
Let i(k) be the third derivative of k**4/24 + k**3/6 - 7*k**2. Let s(w) = 16*w + 15. Let y(n) = 4*i(n) - s(n). Is y(-8) prime?
False
Let q = -1057 + 4806. Suppose -3*x + 2925 = 3*j, 4*x - q - 153 = -2*j. Suppose 0 = 5*y + 3*z - 294 - x, -5*y + 1275 = 4*z. Is y composite?
False
Let u(p) be the first derivative of 2*p**3/3 + 15*p**2 + 23*p - 28. Is u(-16) a prime number?
False
Let y(k) = 16*k**2 + 2*k + 95. Is y(-23) composite?
False
Is 2763 + (9 - 2) + (-33)/11 a prime number?
True
Suppose 33096 = -266*k + 290*k. Is k prime?
False
Let j(b) = 166*b**3 - 6*b**2 + b + 6. Is j(5) a composite number?
False
Suppose 0 = -9*i + 747 + 36. Is i composite?
True
Suppose -u + 55136 + 72696 = 5*m, -127827 = -u - 4*m. Is u composite?
False
Suppose -z + 10323 = 4*h, -h + 7740 = 2*h + 3*z. Is h prime?
False
Let h = 24 + -26. Let q(n) = n**2 - 5*n + 6. Let i be q(4). Is h/i*415/(-5) a composite number?
False
Suppose 0*q = -3*q + s + 6, -5*s = 0. Let y be q/7 - 4752/(-28). Suppose 2*k - 714 = -4*l, 4*l + 4*k = 542 + y. Is l a composite number?
False
Let b = 3 + -1. Suppose 3*h = b*h. Suppose 3*q = 2*q - 2*i + 537, -2*q + i + 1084 = h. Is q composite?
False
Let k = -11 - -14. Let c be (0 - (-3)/(-6))*-4. Suppose 0 = 4*u - k*r - 376, c*u - r - 67 = 123. Is u a prime number?
True
Let g(o) = -11*o**3 + 3*o**2 - o + 4. Suppose -n - 4*n + 20 = 0. Suppose 3*q = 4*x + n - 33, -x = -5. Is g(q) prime?
True
Suppose -7*o + 29371 = 16*o. Is o composite?
False
Is (-3)/(7/(1288/(-12))) a composite number?
True
Suppose -3*d + 25 = -4*k, -3*d + k + 0 + 40 = 0. Is 642/d + (-3)/(-15) a prime number?
True
Let w(g) = 139*g**3 + 2*g**2 - g - 5. Is w(3) a composite number?
True
Let h