4*h + 25. Is j(7) a prime number?
True
Let x = -55137 - -84304. Is x a composite number?
False
Let w(l) = l**2 - 6. Let n be w(0). Suppose 0 = 3*h + 4*p + 11 - 39, h - p = 0. Let t = h - n. Is t a composite number?
True
Let u(m) = 5*m**2 + m. Let f(v) = v**3 + 4*v**2 + 3*v + 2. Let d be f(-2). Let s be u(d). Let n = s + -7. Is n a composite number?
True
Let w = -20 - -22. Suppose -w*g = 77 - 495. Is g a composite number?
True
Suppose 5*m - m = -n + 828, -2*n + 1672 = 4*m. Let p be n/(-6)*(2 - -1). Is p/(-3)*15/10 a composite number?
False
Let q = -21 + 12. Is (28*q/(-6))/2 a composite number?
True
Let u(d) = 392*d**2 - 2*d - 1. Suppose y = 3*j - 4*j - 2, -3*y + 2*j - 6 = 0. Is u(y) a composite number?
False
Let n = -17 - -21. Let c(q) = q**2 - q - 6. Let y be c(-15). Suppose -2*g + 2*x = -y, 121 = -3*g + n*g + x. Is g a prime number?
False
Suppose 7*g + 425280 = 3*f + 6*g, -3*g + 9 = 0. Is f composite?
False
Let c(k) be the first derivative of -1413*k**2/2 - 2*k - 16. Is c(-1) a prime number?
False
Suppose -29*g = -243063 - 70630. Is g a prime number?
False
Let n be 20/(65/15 + -4). Suppose -2*u - 3*u + n = -5*s, -3*s = u + 8. Suppose u*x - 2065 = -0*x. Is x a composite number?
True
Suppose 0 = -5*t, -4*w + 5*w - 5*t = 146. Is w composite?
True
Suppose 26947 = -77*c + 162390. Is c a composite number?
False
Suppose 5*k = -y + 298, 4*y = 5 + 7. Let n = k + 438. Is n a prime number?
False
Suppose a + 978 = 3*l + 181, l - a - 263 = 0. Is l a prime number?
False
Suppose -293 = 4*j - 2121. Let w = j - 152. Is w prime?
False
Let u(c) = 7*c**2 + 4*c. Let h(a) = 8*a**2 + 5*a. Let p(i) = -6*h(i) + 7*u(i). Let w be p(2). Suppose w = -13*r + 12*r + 79. Is r composite?
False
Suppose -4*m = -2*z - 3506, -m - 5*z + 880 = -2*z. Is m prime?
True
Let p = 0 - 16. Let m = p - -16. Suppose -q - 2 + 21 = m. Is q a prime number?
True
Let r(z) = -30705*z - 50. Is r(-1) a prime number?
False
Suppose 16 = 7*c - 5. Suppose 4*m - 752 = 4*w, -m - c*w + 176 = -0*w. Is m a prime number?
False
Let h = 21737 - 13552. Is h composite?
True
Let p(u) = u**3 - 14*u**2 - 11*u - 5. Let w be p(15). Let o = w + 36. Is o a prime number?
False
Let u = 17438 + -7449. Is u composite?
True
Suppose -3*v - 2*o + 4*o = -1471, -4*v + 2*o = -1964. Is v a composite number?
True
Let o(n) = -9*n + 4. Let x = 20 + -9. Suppose -5*s = -3*u - 25, u + 2 + x = 4*s. Is o(u) composite?
True
Let i(h) = 1016*h**2 - 72*h + 5. Is i(-5) a prime number?
False
Suppose 4428 = 7*v - 3*v. Let n = 2971 - v. Is n/28 - 3/(-7) composite?
False
Let d(q) = q + 16. Let l be d(-12). Let h be (233/l)/(1/12). Let y = 998 - h. Is y prime?
False
Let s(b) = b**3 + 11*b**2 + 5*b - 3. Let o = -40 + 46. Suppose o*c - 21 = 9*c. Is s(c) composite?
True
Let m be (-6)/(-2) - -5 - 4. Suppose -2*w + 3*w = j + 477, -m*w - 5*j + 1926 = 0. Is w composite?
False
Is ((-55)/(-110))/(2 - 155865/77934) a prime number?
False
Let q be (-66)/(-4) + (-1)/2. Let p = -14 + q. Is 3/(3/7)*p composite?
True
Suppose 3*z + 23 = 4*o, -o + 2*o = 2*z + 12. Suppose -c = -o*n - 2291, -3*c - 4*n + 4558 = -c. Is c a composite number?
True
Let u be 2*(-2)/16 + (-51)/(-12). Is u/8 - 2373/(-2) prime?
True
Let g be (-3 - 2*(-2)/4) + 56. Is (282/g - 5) + 9734/18 a prime number?
True
Let z(x) be the second derivative of x**3 - 19*x**2/2 - 105*x - 2. Suppose 2*p = 5*i - 60, 0 = -7*p + 4*p. Is z(i) a prime number?
True
Suppose 0 = -3*r + 5*c + 20, 7*r - 2*r = -2*c - 8. Suppose -4*q + 1881 = -q + 3*o, r = 5*q + 2*o - 3147. Is q a prime number?
True
Suppose -3*g - 4*s + s = -5409, 5407 = 3*g + 4*s. Suppose -g = 12*j - 9953. Is j prime?
False
Let r(c) be the first derivative of -86*c**2 + c + 8. Is r(-3) prime?
False
Let p = 37 - 33. Let j be -3 - -144 - 9/3. Suppose 93 = u - p*a, u + a - j = -4*a. Is u composite?
False
Let x(g) = 6*g**2 + 2*g - 7. Is x(3) a prime number?
True
Let l(w) = -w**2 + 6*w - 5. Let p be l(4). Let o(q) = -p - 2*q**2 + 5*q**2 + 22*q - 20*q. Is o(-4) a composite number?
False
Let v = -276 + 496. Suppose r - 4 = 0, 3*r - 370 = -2*w + v. Is w composite?
True
Is 11541*2 - (-31 + 32) prime?
True
Suppose -22 = 6*z - 64. Suppose -z*u - 4*c = -8*u + 1531, 0 = -2*u - 2*c + 3072. Is u a composite number?
True
Let z be (-12)/(-18)*2079/(-1). Is z/(-4) - (2 + -3)/2 a composite number?
False
Let r(c) = 4*c**3 - 14*c**2 + 23*c + 7. Is r(14) composite?
True
Suppose 5*q = 3*g - 8, -5*g + 29 + 3 = q. Suppose -t - 13 = -5*k, -g*k + 2*k = 2*t - 2. Suppose c + 236 = k*i, 5*i = -3*c + 2*c + 597. Is i a prime number?
False
Let c = 43 - 41. Suppose -282 = -d - v - c*v, 858 = 3*d + 5*v. Is d a composite number?
True
Let x(n) = -4*n + n**2 + 19 + 3*n + 0*n**2. Let q be x(0). Let f = q + 2. Is f a prime number?
False
Suppose 5 - 11 = -3*g. Is -83*(3 - 5) + -5 + g a prime number?
True
Suppose p + 3*x - 19 = 0, -4*p + 0*p + 5*x + 8 = 0. Suppose p*q = 4*q. Suppose 4*d + 3*r = 6*r + 1036, q = -r. Is d a prime number?
False
Suppose -30*v + 456860 = -25*v - 5*i, -456810 = -5*v - 5*i. Is v a prime number?
True
Let x = 4644 - 3165. Suppose x = 5*l - 6956. Is l a composite number?
True
Let a be 5 + (0 - 3 - -1). Suppose -f + 8 = a*f. Let t(j) = 131*j. Is t(f) a prime number?
False
Let c(y) = -10*y**3 - y**2 - 3*y - 5. Let q be c(-5). Let o = q + -622. Is o prime?
True
Let c be 298*(2 + (-20)/8). Suppose 3*a + a = 248. Let f = a - c. Is f a composite number?
False
Let s(u) = 11*u**2 - 5*u - 15. Let a be s(5). Suppose -a + 147 = -4*f. Is f a prime number?
False
Suppose 7 = v - 3*c, -7 + 2 = -v + 2*c. Suppose p - v - 1 = 0. Suppose 4*b = p*l - 438, -l = 2*l + 2*b - 625. Is l composite?
False
Suppose 0 = 5*b - 3*l - 25199, 8597 = 2*b - 5*l - 1475. Is b a composite number?
True
Let y(j) be the first derivative of 6*j**3 - 3*j**2/2 + 2*j - 11. Is y(-5) composite?
False
Suppose -2*r + 5 + 1 = 0, -3*p = 5*r + 6. Let j = -10 - p. Is (4/2 + j)*-19 a composite number?
False
Let n(a) = -a - 5. Suppose f + 1 = -6. Let w be n(f). Suppose 4*z - 2*z = 4, 4*z = -w*d + 366. Is d composite?
False
Let b = -334 - -469. Suppose 5*s - b = 35. Suppose 0 = -5*j - 5*k + 450, 5*k - s = 5*j - 434. Is j prime?
False
Let s be (-1)/((20/(-44))/5). Suppose 7*n + 812 = s*n. Is n a prime number?
False
Let x = 553 - 778. Let a = -153 - x. Let q = 125 - a. Is q prime?
True
Suppose 5*u - 22 = 3. Suppose -u*i = -3*i - 8. Suppose -7*s = -i*s - 381. Is s prime?
True
Suppose 4*g - 373 - 115 = 0. Suppose b = 42 + g. Suppose 0*n + b = 3*n - f, -4*f = n - 59. Is n prime?
False
Let y(a) = a**2 + 2*a + 2. Let n(z) = -2*z + 3. Let w be n(3). Let g be y(w). Suppose -g*h = 203 - 2458. Is h prime?
False
Suppose 7923 = -73*j + 76*j. Is j prime?
False
Let f(a) = 2*a**3 - 4*a**2 + 2*a + 1. Let l be f(3). Suppose 676 = 3*h + l. Is h composite?
True
Suppose -5*y + 4*p = -5739, -3*y + p = -4929 + 1480. Is y composite?
False
Is (-1285660)/(-24) + ((-175)/42)/25 a composite number?
False
Let d = 4810 + 5125. Is d a prime number?
False
Suppose -2*l - 5*w = -8597 - 1449, -12 = 3*w. Is l a prime number?
False
Suppose 6*d - 3*d = 4*g + 4, -2 = -g. Let o be 2801/d - 3/(-4). Suppose 0 = 3*m + 2*x - o, -3*x + x = 10. Is m a composite number?
True
Suppose -j + 5596 = -8053. Is j composite?
False
Suppose -5*p + 1744 = 4*c - 4*p, 3*p = 3*c - 1308. Suppose -3*x = -c + 178. Let s = x + -61. Is s a prime number?
False
Let m be -4*(-7)/14 + 1*3. Suppose -p + d + 244 = -71, m*p - d - 1571 = 0. Is p a composite number?
True
Let s(j) = j**2 - 5*j + 6. Let a be s(4). Suppose -a*i = -654 - 278. Suppose 5*k = q - 152, -4*q + 5*k + 67 = -i. Is q prime?
True
Let u = 46438 - 17853. Is u prime?
False
Suppose 4*w - 9 = -2*m + 39, -4*m + 90 = 2*w. Let t(r) = -9*r + 37. Let u be t(9). Is m/u*(-403 + 1) a composite number?
True
Let c(q) = -q**3 - 11*q**2 - 10*q + 7. Is c(-15) prime?
False
Suppose -10 = 5*t, -f + 3*t = -0*t + 1020. Let b = 700 + f. Is b*1*(-1)/2 a prime number?
True
Let a(z) be the first derivative of z**4 - 5*z**3/3 + z**2 - 9*z - 14. Is a(6) a prime number?
False
Let d = 145 - 121. Is 12333/21 + d/(-84) a prime number?
True
Suppose -b - 37 = -42. Let g(n) = 16*n**3 - 7*n - 16. Is g(b) composite?
False
Let g be -1 - (1 + -61)/(-4). Let w be (-16 - g)/(0 + -1). Suppose w = -r + 2*c + 67, 4*r - 268 = -c + 2*c. Is r a prime number?
True
Suppose -2*