= -137249. Is r composite?
False
Is (-16)/(-24)*1246755/10 a composite number?
False
Let u = -11 + 14. Let n(w) = w**3 - 4*w**2 - w + 2. Let y be n(u). Let m = -7 - y. Is m a composite number?
False
Let d be (-14 + 0)/(4/(-78)). Let q = d - 194. Is q prime?
True
Suppose z + 31 = 2*u, 2*u + u = 2*z + 46. Let r be (-1*1)/((-1)/(49/(-7))). Let j = r + u. Is j a composite number?
True
Suppose 5 - 13 = -4*x. Suppose -x*z - 204 = -3*z. Suppose 1138 = 2*f + z. Is f a prime number?
True
Suppose 4*m + 199 = 3*m. Let x = -90 - m. Suppose -5*k - s = -179, -4*s = -3*k - 20 + x. Is k a prime number?
False
Let v(d) = 726*d**2 + 10*d - 21. Is v(-8) composite?
True
Suppose -3*d + 27 = 3*v, -2*d = 2 - 6. Suppose -l = 2*q - 9, 14 = 4*q + 5*l - v. Suppose -3*g = -q*g + 129. Is g a prime number?
False
Let l = -1979 + 5208. Suppose 3*z = 842 + l. Is z prime?
False
Let r = -1049 + 2253. Suppose -75*w = -71*w - r. Is w composite?
True
Suppose 2*g + 1716 - 5779 = -3*j, -5*j = -g + 2038. Is g composite?
True
Suppose -5*q - 88349 = -b, -2*q - 38697 = 5*b - 480388. Is b prime?
True
Let v(w) = w**3 + 7*w**2 - w - 1. Let a be v(-7). Suppose 4*m - 552 = 348. Suppose m - 27 = a*b. Is b a prime number?
False
Is (-3273675)/(-145) - 20/290 a composite number?
True
Is 28/(-4) - ((-4 - 3) + -16199) prime?
False
Let w(n) be the first derivative of -n**2 + 17*n + 1. Let h be w(7). Suppose 4*d + 343 = 5*x, 2*x - h*d = -5*d + 130. Is x prime?
True
Let i(l) = 497*l**3 + 16*l**2 + 4*l + 21. Let a(j) = -124*j**3 - 4*j**2 - j - 5. Let w(n) = 9*a(n) + 2*i(n). Is w(-2) a composite number?
True
Suppose -4*b + 12 = -0*b. Suppose -332 = 2*i + b*t + 2*t, -3*t = -5*i - 768. Let l = -43 - i. Is l a composite number?
False
Is ((-15 - 1)/4)/(-2) + 24221 a prime number?
True
Is (-238989)/58*2/(-3) prime?
False
Suppose 2*u + 6 = 3*u. Suppose -2*j = -0 + u. Is j/12 - 2228/(-16) prime?
True
Let v(u) = -u**3 + 45*u**2 - 60*u - 5. Is v(42) a prime number?
True
Let t = 11947 - 8031. Let z = t + -1559. Is z composite?
False
Let o(y) = 3*y**2 - 6*y + 3. Let k be o(4). Suppose 15 = 3*d, 7*d - k = -3*g + 4*d. Suppose 0*n = -g*a + 5*n + 524, 655 = 5*a + n. Is a composite?
False
Let g(m) be the second derivative of -109*m**3/6 - 7*m**2 - 10*m. Is g(-9) a prime number?
True
Suppose 2*k + 2*w = 123 + 121, -2*w + 595 = 5*k. Let t be ((-557)/3)/(13/k). Is (-4 - -1)*t/9 a prime number?
True
Let v = 67 - 67. Suppose v = -2*q - y + 67, q + 2*q - 101 = -y. Is q prime?
False
Let s = -200 - -196. Let g(a) = a**2 - a + 268. Let w be g(0). Is w - (1 + s) - 4 a composite number?
True
Let i(m) = -170*m + 6. Let s(n) = 57*n - 2. Let j(f) = -3*i(f) - 8*s(f). Is j(2) a prime number?
False
Let n(r) = -2*r**3 + 18*r**2 + r - 30. Let f(c) = 4*c**3 - 37*c**2 - 3*c + 61. Let y(h) = 3*f(h) + 5*n(h). Is y(17) a prime number?
False
Let l be (-17)/(-6) + 2/12. Suppose 0 = -g + l - 0. Suppose -g*y = 4*i - 1327, 0*i - 2*i - 449 = -y. Is y prime?
False
Let t be 50/(-10) + -2 + -2 + 4. Let n(d) = -513*d + 22. Is n(t) a prime number?
False
Let r(x) = -5*x**2 + 2*x - 3. Let a be r(4). Let y be ((-192)/(-80))/((-1)/a). Suppose 6*u - 366 - y = 0. Is u a composite number?
True
Suppose -119585 = 1346*l - 1351*l. Is l composite?
False
Let d = 5658 - 1999. Is d composite?
False
Let k(b) = -3*b + 2. Let x be k(0). Suppose -x*o = -4*f + 222, 0 = -5*f + 3*o + 400 - 122. Is f a composite number?
True
Suppose c + 4*g = -10, -18*g + 16 = 2*c - 22*g. Let x(z) be the first derivative of 19*z**4/4 - 2*z**3/3 + 3*z**2/2 - 5*z - 1. Is x(c) prime?
False
Suppose -366*m + 9764 = -364*m. Is m composite?
True
Suppose 278 = 3*k + 20. Let c be -6 + -43 - (1 - -1). Let f = c + k. Is f a prime number?
False
Let a(c) = 1476*c**2 - 41*c - 136. Is a(-3) prime?
False
Let b(w) = 6*w - 19 - 77*w**2 + 42*w**2 + 37*w**2. Is b(14) a composite number?
False
Suppose 5*f + 3*o = 6*o - 15, o = -2*f + 5. Suppose f*b + 265 = 5*b. Suppose -3*h - 2*a + b = -174, -a + 229 = 3*h. Is h a prime number?
False
Suppose -4*u + v + 78840 = 2*v, 4*u + 5*v - 78824 = 0. Is u prime?
False
Let r(n) = -n**3 + 25*n**2 + 15*n - 4. Suppose -2*p - 1 + 31 = 0. Is r(p) prime?
False
Let g = -4 - -9. Suppose 2*j + j = 9. Suppose g*h - 96 = f, 4*h = j*h + f + 20. Is h composite?
False
Is (-85)/(-680) - 272583/(-8) a prime number?
False
Let a = -2 + 2. Suppose 2*s + s - 879 = a. Suppose -5*o = 3*t - 400, s = -0*o + 4*o - 3*t. Is o composite?
True
Let h(j) = 271*j + 60. Let d be h(-14). Let s = 6579 + d. Is s composite?
True
Suppose 0 = 26*c - 56073 + 4775. Is c a composite number?
False
Suppose -4*q + 3*q + 198 = 0. Let c = 367 - q. Is c a prime number?
False
Let g be (-6 - -33)*(-1)/(-3). Suppose -10*k = -g*k + 70. Is (k/20)/(1/(-10)) prime?
False
Is 0 + 3 + (60788 - -68) prime?
True
Is 10 + 60990/4 - 6/(-4) prime?
True
Is (26/4)/((-1)/(-82)) composite?
True
Is -22004*(((-26)/(-8))/(-1) + 3) prime?
True
Let v(l) = 28*l**2 + 50*l + 155. Is v(19) prime?
True
Let i(f) = 214*f - 217. Is i(6) prime?
False
Let f(c) = 4*c**2 + 13*c + 62. Is f(21) a composite number?
False
Let y = 9 - 9. Suppose y*o - 4*o + 4*u = -44, 0 = -3*o + 5*u + 33. Let v(k) = 7*k - 20. Is v(o) prime?
False
Let n(q) = -570*q**3 - q. Let y be n(1). Let w = -240 - y. Is w a composite number?
False
Let x = 22 + -20. Is (-3 + 963)/x + 1 composite?
True
Suppose 5*y - 23222 = -z, 3*z = y - 3978 - 676. Is y a prime number?
False
Let z(j) = 907*j - 21. Is z(2) a composite number?
True
Let n = 3 + -4. Let d be 5 + n + -2 + -422. Let a = -278 - d. Is a a composite number?
True
Suppose 4*o - 10521 = -i + 34, -5*i = o - 52718. Is i a composite number?
True
Suppose 4*o = -2*q + 42, -4*o + 47 = q + 2*q. Suppose 5*t = t + o. Suppose -2*h = v - 173, -2*v - t*v - 3*h = -702. Is v a composite number?
True
Suppose 0 = -3*h + 2 + 4. Suppose -32*g = -43*g + 99. Is h/g + (-6026)/(-18) a prime number?
False
Suppose -2225 = -4*l - 0*i + 3*i, -1109 = -2*l + 5*i. Is l a prime number?
True
Suppose 0 = -11*j + 12*j + 3. Is -6663*((-7)/j)/(-7) a composite number?
False
Let j(u) be the second derivative of -47*u**5/120 - u**4/12 - u**3/2 - 3*u. Let x(d) be the second derivative of j(d). Is x(-5) a prime number?
True
Suppose 5*m = 2*k - 3*k + 5, 4*m + 7 = -3*k. Suppose 147 = m*s + 5*t, t + 3 = -3*s + 217. Is s prime?
True
Suppose 0 = -4*b - 4*o - 68, -2*o - 9 - 73 = 5*b. Is -2*419*8/b a prime number?
True
Suppose -5*q = -15 - 5. Suppose q*k = 58 + 90. Suppose 0 = -4*f + 5*f - k. Is f a prime number?
True
Suppose 173793 = 5*c + 2*w, 9*w = -5*c + 12*w + 173773. Is c prime?
True
Suppose 2*x + 2*m = 20796, -3*x - 4*m = -14214 - 16981. Is x prime?
False
Let l be (-86)/(-7) - 8/28. Let a = l - -22. Let q = a + -19. Is q a composite number?
True
Let d(j) = 160*j + 131. Is d(26) a composite number?
True
Suppose -3*i + 10521 = 2*y - 44260, -5*i = -2*y - 91323. Is i prime?
False
Suppose 0 = 2*c + d + 1872 - 6180, -5*d = -4*c + 8602. Is c a composite number?
False
Let v(j) = -3 - 2 + 10*j - j**2 - 5 + 7. Is v(8) a composite number?
False
Let c = 8688 - -325759. Is c prime?
True
Suppose 0 = 2*i - 54. Let n = -24 + i. Suppose 0 = n*q - 4*r - 2387, 5*q - r = r + 3983. Is q a composite number?
False
Suppose 7193 = 4*v - 3*o + 6*o, 5*v = 2*o + 8997. Is v composite?
True
Let d(p) = 2*p**2 + p - 2. Let g be d(-2). Suppose g + 0 = 2*x. Suppose 0 = 3*h - 3*u - 33, -5*h + 32 - 5 = x*u. Is h a composite number?
False
Let a be (-16)/(-56) - 2/(-7)*13. Is (253 - 1) + a - -3 a composite number?
True
Suppose -5*o + 10 = -5. Let j be -1*(-12)/o - -3. Is (-2)/j + 14230/70 composite?
True
Let c(x) = 13*x - 28*x + 4*x + 2 + 0*x**2 - x**2. Let u be c(-6). Suppose -2*r = z - 33, z - u = -3*r - 0*r. Is z a composite number?
True
Let p = -32 - -38. Is -3*1709*(-2)/p composite?
False
Let a(r) = r + 23. Let b be a(-10). Let q = b - 16. Is 90/(-6)*29/q composite?
True
Suppose 0 = 4*q - 9*q + 15. Suppose -19 = -3*a - 5*k, -q*k + 4*k + 7 = 3*a. Suppose -5*j + 172 + 33 = r, 4*r - a*j - 820 = 0. Is r prime?
False
Let g be -1*(1 + -2)*1650/33. Is 2875/g*(-46)/(-5) prime?
False
Suppose -5*t - 2*f = -69822, 4*f = -3*t - 2*t + 69814. Is t composite?
True
Let s = 1996 + -1059. Let q = s - 620. Is q prime?
True
Let o be 5/(510/(-12)) - (-70)/17. Is 166/2 - 12*o/12 prime?
True
Let v(z) = 2*z**3 + 23*z**2 + 2*z - 5