442 = 0. Is m a multiple of 22?
False
Let s(c) = c**3 - 7*c**2 + 7*c + 5. Let h be s(7). Let r be ((-34)/6)/(9/h). Let n = r - -65. Is n a multiple of 7?
False
Suppose -5*z + 2*b - 4*b - 391 = 0, -4*z - 314 = 2*b. Let y be 2/(-7) + (-17578)/z. Suppose -r - y = -2*x, -4*x + r = 5*r - 432. Is 14 a factor of x?
True
Let i(j) = -5*j**3 - 2*j**2 + j + 2. Let u be i(-1). Suppose -2241 = -u*w - 3*v - 375, -2*w = -3*v - 924. Is w a multiple of 31?
True
Let h(j) = 51*j**2 - 4*j + 6. Is h(-9) a multiple of 5?
False
Let l = -121 + 121. Suppose 11*b - 10*b - 9 = l. Is 3 a factor of b?
True
Let m = 632 - 658. Let d(x) = x**3 + 25*x**2 - 28*x + 29. Is 15 a factor of d(m)?
False
Let k = -138 - -135. Does 2 divide (-3 - k) + 61 - (-10)/2?
True
Suppose 0 = -8*w + 2*w - 1398. Let x = w - -321. Is x a multiple of 22?
True
Suppose 2*d + 352 = 4*w, 0 = -2*w + d - 5*d + 156. Suppose -2*m = -0*m + a - w, m - 61 = -5*a. Suppose -x - o + m = 3*o, -x + 31 = -o. Is 4 a factor of x?
False
Suppose 2*m + l - 44325 = 0, -4*m - 3*l + 26801 + 61850 = 0. Does 14 divide m?
True
Suppose -5*k + 4243 = 2*t, -11*k + 8*k + 2529 = -3*t. Suppose 0 = -27*n + 34*n - k. Is n a multiple of 12?
False
Let y(k) = 14*k**3 - k. Let u be (2/5)/((-23)/(-115)). Is 11 a factor of y(u)?
True
Does 30 divide 2079 + -10 + (6 - 5)?
True
Let b(m) = 7*m**2 + 2*m + 8. Suppose -14 = 181*t - 174*t. Is 8 a factor of b(t)?
True
Suppose 2*t - 4 = t. Let m be (2/t)/((-5)/(-30)*1). Suppose -2*v = -p - 179, -m*v + 0*p + 5*p = -258. Does 13 divide v?
True
Is 7 a factor of (9 - 11)*(-6)/(-4)*10767/(-9)?
False
Suppose 0 = 16*s - 24295 - 27545. Is 4 a factor of s?
True
Let g(t) = -2*t**3 - 2*t**2 + 7*t + 6. Let p be g(-2). Suppose -4*a + p*a + 2*u = -138, u + 1 = 0. Is 2 a factor of a?
True
Let d be -18 + 8/(-4) - 2/(-1). Is 6 a factor of 27/6*(-696)/d?
True
Suppose 1142000 = 18*a + 82*a. Does 10 divide a?
True
Let n(y) = y**2 - 11*y - 9. Let m be n(12). Suppose -4 = 4*z + 2*v, -4*v = z + 2 + 6. Suppose z = 5*s - 5, m*g = s + s + 409. Does 14 divide g?
False
Let p(l) be the second derivative of -l**5/20 - 2*l**4 - 4*l**3/3 + 3*l**2 + l. Let r(z) = z**2 - 74*z + 1149. Let n be r(23). Is p(n) a multiple of 22?
True
Let k be 3590/45 - 4/(-18). Suppose -32*w = 24*w + 1120. Let a = w + k. Is 12 a factor of a?
True
Suppose 0 = -3*u - 4*y + 23494, -9*y + 4*y + 7835 = u. Does 29 divide u?
True
Suppose 187*u - 9*u - 981124 = -281406. Does 4 divide u?
False
Suppose -2*j + 4788 = -3*t, -4*j - 5*t = -5295 - 4347. Is j a multiple of 16?
False
Suppose t = -2*t + 5*r - 82, -4*t + r - 98 = 0. Is (t/(-36))/(2/387) a multiple of 17?
False
Suppose 0 = l - t + 2, 4*t - 9 + 1 = 0. Let k be (8 - 6)/((-1)/(-1) - 0). Suppose l*v + 68 = 4*i - k*v, 4*v = -i + 26. Does 3 divide i?
True
Let p = -3 + 5. Let j be ((-3)/6)/(1/p) - 59. Is 10 a factor of j/14 - -4 - (-548)/7?
False
Let d(l) = -l**2 - 5*l + 8. Let z be d(-7). Let f = 273 + -200. Let b = f + z. Is 7 a factor of b?
False
Let m(w) = 43*w + 7074. Is 10 a factor of m(12)?
True
Does 16 divide -11 + ((-2412)/(-2) - -5)?
True
Let g be 3 + (7 + -3 - -3). Suppose u = v + 9, -5 = 3*v + g. Suppose 0*j - 108 = -u*j. Is j a multiple of 21?
False
Let x(n) = -6*n**2 - 2*n + 3. Let m(z) = -5*z**2 - 3*z + 2. Let u(k) = 5*m(k) - 4*x(k). Let v be u(-7). Is -5 + 3 + v - -85 a multiple of 18?
False
Suppose 38 = -4*g + p + 82, 0 = -4*g - 4*p + 64. Let v(q) = 16 + q**3 + 0*q**3 - 13*q**2 + 10*q + q. Is 2 a factor of v(g)?
True
Let i(j) = -41 + 157 - j - 71. Suppose 2*z = 7*z - 25. Does 8 divide i(z)?
True
Suppose -14*k = -23*k - 45. Is 256/2 + k + 1 - 3 a multiple of 7?
False
Let k = -140 + 146. Does 14 divide (-16)/96 - (-1663)/k?
False
Let b(n) = 7*n + 86. Let y be b(-12). Let w(f) = 218*f**2 + 4*f + 12. Let s(r) = -73*r**2 - r - 4. Let l(x) = 14*s(x) + 5*w(x). Is l(y) a multiple of 16?
True
Let v(g) = 34*g - 242. Let c be v(7). Let l(k) = -k**3 - 3*k**2 - 9*k - 16. Is 12 a factor of l(c)?
True
Let t(h) = 5581*h**2 - 26*h - 34. Does 74 divide t(-1)?
False
Let u = -10 + 15. Suppose -3*o + 138 = 3*s - 465, -u*o = 2*s - 405. Suppose -b - h = -108, 0*b - 2*h - s = -2*b. Does 19 divide b?
False
Suppose -4*i - 52 = -4*v, 0*v + 41 = 3*v - 4*i. Suppose -1867 = -v*g + 69. Is g a multiple of 8?
True
Suppose -5*g + 0*h - 45 = -3*h, 2*g = -h - 29. Is 26 a factor of (-1 + (-51)/g)*376?
True
Let r = 8158 - 5968. Is r a multiple of 15?
True
Let l = -4931 - -5334. Is l a multiple of 2?
False
Let d(s) = 0 + 5*s - 2*s - 1 - 5. Let k be d(-6). Let c = 101 + k. Is c a multiple of 7?
True
Let y be (40/(-60))/(4/(-6)). Does 14 divide (0 + y)/(6 - 2420/404)?
False
Let t(o) = o**3 - o**2 + o. Let r(s) = -62*s**3 - 2*s**2 - s + 3. Let u(f) = -r(f) + 3*t(f). Let i be u(1). Is (2/(-6))/(i/234)*-30 a multiple of 2?
True
Let k(s) be the first derivative of -s**4/2 + 6*s**3 + 3*s**2/2 + 59*s + 72. Is 43 a factor of k(9)?
True
Let x = -3620 + 5185. Let q = 4 - -5. Suppose -404 = q*n - x. Is 15 a factor of n?
False
Let l be 1/4 - 183/12. Let f(u) = -u**3 - 16*u**2 - 18*u + 36. Let a be f(l). Suppose -5*t - a = -321. Does 12 divide t?
True
Let q = 61 + -21. Let r = 58 - q. Suppose p + p - r = 0. Does 3 divide p?
True
Let q be -12*5/(-20) + (0 - 0). Let n(m) = 34*m**2 - m - 12. Is n(q) a multiple of 45?
False
Let m(t) = 125*t + 4033. Is m(-11) a multiple of 9?
False
Suppose -2*r + 13*r = 4796. Suppose 3*n - 1338 = -4*s, 8*n - 9*n = -2*s - r. Is n a multiple of 34?
True
Let g be (-474 + -5 + 0)/(-1). Suppose 7*m - g = 2363. Is m a multiple of 12?
False
Suppose 259*j - 2*u = 254*j + 102, -4*j + 76 = 4*u. Suppose -5*y = p - 12, 4*p - 2*p = -4*y + 12. Suppose 3*h - j = -y*h. Is 4 a factor of h?
True
Let c(x) = -1091*x - 964. Does 70 divide c(-14)?
False
Suppose 0 = 2*r - 10, -3*f + 7*r + 110 = 2*r. Let d be 15/f + 50/(-6). Let v = d - -39. Is v a multiple of 5?
False
Let o = -22 - -36. Let q = 165 + 73. Suppose o*j = 12*j + q. Does 22 divide j?
False
Let c = 258 + -198. Suppose -81*o + 4788 = -c*o. Does 12 divide o?
True
Let d = -7936 - -8545. Is d a multiple of 33?
False
Let o = -183 + 168. Let d(b) = -19*b - 82. Is 17 a factor of d(o)?
False
Suppose -18*j + 20*j = 6. Suppose 18*u = -j*w + 17*u + 1169, 3*w - 4*u - 1174 = 0. Is w a multiple of 30?
True
Suppose 20*d - 31688 - 7192 = 0. Is 29 a factor of d?
False
Suppose -107 = -5*r - 32. Suppose 0 = -5*n - p + r, -3*n - p + 6 = -n. Suppose g - n*g = v - 52, 5*v - 130 = -5*g. Does 13 divide g?
True
Suppose 268*s + 221849 = 2478344 + 1346765. Is 106 a factor of s?
False
Let z = 15 - 14. Let j(k) = k + 3. Let t be j(z). Suppose -6 = 5*p - 1, i = -t*p + 17. Is 17 a factor of i?
False
Is (-12658)/(-3) + (-96)/72 a multiple of 5?
False
Let d be 1/(-3) - (-65)/15. Suppose f + 80 = s - 19, -d*s - f = -401. Suppose s = -r + 5*r. Is 3 a factor of r?
False
Suppose 0*k - 11*k + 1144 = 0. Suppose -k*b + 98*b = -360. Does 20 divide b?
True
Let b(m) = 17*m**2 - 3*m - 3. Let i be b(-1). Suppose -2*s + i + 47 = 0. Let l = -18 + s. Is l a multiple of 14?
True
Let k(v) = -v**3 - 27*v**2 + 27. Let b = 397 + -424. Is 27 a factor of k(b)?
True
Let z = 899 - 1553. Is 4 a factor of 3 + 3/((-18)/z)?
True
Let s(h) = 160 - 72 + 27*h - 11. Does 8 divide s(17)?
True
Let f(m) = -53 + 126 + m**2 + 7 + 116. Let q be 12/(-15)*-5 - 4. Is 28 a factor of f(q)?
True
Let k be 35/(-42) - (-93)/(-18). Is 30*((-24)/(-70))/(k/(-21)) a multiple of 3?
True
Let w(s) = 561*s**2 - 547*s**2 + 0*s**3 - 2*s + s**3. Does 17 divide w(-7)?
True
Let y(p) = 37*p**2 + 16*p + 1. Let f(k) = -110*k**2 - 47*k - 2. Let h(r) = -6*f(r) - 17*y(r). Let o be h(-5). Suppose 0*g + o = 5*g. Is 12 a factor of g?
True
Let z be (-12)/(-8) + 0 + (-577)/2. Let m = 527 + z. Is m a multiple of 8?
True
Suppose -2*a = 3*p - 10, -25 = 5*p - 10*p + 5*a. Suppose 0 = p*x - 216 - 532. Is 11 a factor of x?
True
Let p be (7 - (0 + 4))*1. Let k(v) = -v**2 - 8*v - 5. Let r be k(-6). Suppose r*u = p*u + 284. Does 7 divide u?
False
Let i(u) be the second derivative of 2*u**4 + 17*u**3/6 + u**2/2 - 2*u - 28. Is i(-4) a multiple of 38?
False
Let o(d) = -7*d + 24. Let j(t) be the second derivative of -t**3/6 - 21*t**2/2 + 4*t. Let z be j(-11). Is 14 a factor of o(z)?
False
Let w be 7 + -3 + -1 + 3. Let c be ((-3)/(-2))/(w/12). Suppose 3*m - 39 = -4*n, c*m - 3*n - 30 = 9. Is 3 a 