se 0 = l - 9*u + 8*u - 4, u - 6 = -4*l. Suppose l*i + 70 = -3*h + 4*h, -2*h + 176 = 5*i. Is h a multiple of 3?
True
Let q be ((-2)/(-6))/((-7)/315*-15). Is 13 - (-14)/(-1) - (-1162 - q) a multiple of 14?
True
Suppose -3*n = -11 - 256. Suppose 159 = 4*q - 429. Suppose -4*v = -q - n. Does 9 divide v?
False
Suppose -154440 = -36*v - 35*v + 60*v. Is 18 a factor of v?
True
Let s = 9756 + -2364. Does 22 divide s?
True
Does 295 divide (-7)/(1078/(-88)) + (3270912/21)/4?
True
Let y(s) = -45*s**2 + 2549*s + 20. Does 20 divide y(40)?
True
Suppose d + 34 = -3*u, 0*d = 4*u - d + 36. Is (95/u)/(5 + (-66)/12) a multiple of 2?
False
Let c(m) = 420*m - 1265. Is 16 a factor of c(6)?
False
Suppose -4*h + 28730 = 3*q, 5*h + 5*q - 38463 = -2543. Is 25 a factor of h?
False
Let b(m) = -18*m - 6. Let q be b(-17). Let y = q - 166. Does 4 divide y?
False
Suppose 27*f = 265173 + 212513 + 82834. Is f a multiple of 148?
False
Let d(a) = 16*a**3 + 3*a**2 - 2*a. Let i(o) = -o**2 - 6*o - 10*o + 9 + 10*o. Let l be i(-7). Is 9 a factor of d(l)?
False
Let q = 163 + -476. Let n = -203 - q. Does 10 divide n?
True
Suppose q = -4, 0 = -2*u - 2*u + q - 20. Is 6 - 2 - (-9)/u*-68 a multiple of 22?
False
Suppose 5*a + 7*g = 3083, 23*g - 2 = 25*g. Does 309 divide a?
True
Let h = -27 + 29. Suppose -3*y + 1 = -4*z + 9, 4 = 2*z + h*y. Suppose -z*w + 33 = 5*q - 52, -3*q - 209 = -4*w. Is w a multiple of 17?
False
Is 90/(-12)*(6860/(-12) + -1) a multiple of 7?
False
Suppose -3*r + 50 = -19. Suppose 3*d = -3, 6*m = m - 2*d + r. Suppose m*l - 218 = 202. Is l a multiple of 14?
True
Let f(d) = -10*d - 31. Let m be f(-9). Suppose -75*c + 4320 = -m*c. Is 48 a factor of c?
False
Let c be 9 + (675 + -2 - 0). Let o = c - 479. Does 6 divide o?
False
Is -1 - -4727 - 63/7 a multiple of 19?
False
Suppose 4*g + 4*g - 4776 = 0. Suppose -595*h = -g*h + 222. Is 8 a factor of h?
False
Let u(h) = h**3 - 5*h**2 + h + 8. Let j be u(5). Suppose -18*p + 5*r + 140 = -j*p, r + 56 = 2*p. Is 24 a factor of p?
False
Suppose 41 = 4*t - 5*o + 1, -1 = -t - o. Suppose -t*w = -676 - 819. Is w a multiple of 12?
False
Let k(y) = -2*y**2 + 10*y - 5. Let p be k(4). Suppose 4*g - 9*g = b - 1118, 5*b - 684 = -p*g. Is 55 a factor of g?
False
Suppose -1129 + 10423 = 26*o - 5136. Is o a multiple of 27?
False
Is 11 a factor of 16658 + ((-2)/15)/((-60)/75)*42?
True
Let u(w) = -w**3 - 5*w**2 - 8*w - 6. Let k be u(-3). Suppose k = 27*a + 234 - 2502. Is 21 a factor of a?
True
Suppose -5*j = 5*w - 55, -5*j + 2*j + 47 = 4*w. Suppose 0 = -v + 5*t + 30, 0*v - 3*v - 4*t + w = 0. Is 5 a factor of v?
True
Suppose 40*i = -17 + 217. Suppose -85 = -4*x + g + 12, i*x - 119 = -g. Is x a multiple of 12?
True
Let p = 42 + -33. Suppose 12 = 3*y + p. Suppose s - 47 - y = 0. Is 4 a factor of s?
True
Suppose 4*f + 145211 = 5*h + 59149, -3*h - 4*f = -51682. Does 65 divide h?
False
Let d(j) = -j**2 + 7*j - j**2 - 10 + 100*j**3 + 41*j**3 - 23*j**3. Does 20 divide d(2)?
True
Let z(w) = w**3 + 6*w**2 + 5*w + 2. Let p be z(-5). Suppose -5*r = 4*k - 207, 5*k - 2*r = p*r + 310. Does 31 divide k?
False
Does 9 divide (-98830)/(-31) - 24/372?
False
Let t be 163/1 + 11 + -13. Let o = t - 137. Is 3 a factor of o?
True
Suppose 0 = -2*r - 5*i + 947, -3*i - 3 = -0. Suppose 3*s - r = 136. Is s a multiple of 53?
False
Suppose 0 = y + 2, p = 2*y - 0*y + 13. Suppose 0 = -5*i + q + 1028, q = -2*q - p. Let t = i + -40. Is 35 a factor of t?
False
Let x be (-27)/(-6)*((-24)/(-9) - 2). Let t be 1/x*(98 - 11). Suppose -4*n + t = b, -22 = -2*b - 4*n + 28. Is 14 a factor of b?
False
Let r(q) = -201*q - 139. Let d be r(-21). Suppose -10*y + 6*y = -2*g - 4084, g = 4*y - d. Is y a multiple of 30?
True
Does 14 divide 5205/8675 + (-172174)/(-10) + 0?
False
Let u(k) = 2*k - 14. Let b be u(7). Let l be b - -1 - 3 - -108. Suppose l = 5*w - 64. Does 5 divide w?
False
Suppose 118*r - 122*r = 16. Does 10 divide (3 + r)/(1/2)*-230?
True
Is (-4414)/(-8) - (-2)/56*7 a multiple of 69?
True
Let i(l) = -l**2 - 60 - 76*l + 6*l**2 - 45 + 72 - 20. Is i(24) a multiple of 17?
True
Suppose 2 = -3*d + 17. Suppose d*l - 7*l = -96. Suppose 5*s - l = 12. Is 3 a factor of s?
True
Let r(g) = 197*g**2 + 91*g + 314. Is 13 a factor of r(-5)?
True
Suppose 11*x + 52 = -2*x. Is 4 a factor of ((-8)/(-20))/(x/(-1440))?
True
Suppose 4*r = 2*u + 2626, 0 = -2*r - u - 200 + 1519. Is r a multiple of 55?
False
Suppose 3*b - 2588 = 7*b - 20528. Is b a multiple of 69?
True
Let a = 20 + -16. Suppose -z - c + 0*c + 12 = 0, a*c = 4. Is 4 a factor of z?
False
Let m(z) = -z**3 + 9*z**2 - 3*z + 26. Let h be m(9). Let v be (-1)/h + 0 - 16. Is 12 a factor of -8*(-10)/v*(-66)/4?
False
Let j(b) = b**2 - 4*b + 28. Let z be j(6). Suppose -z = -4*u - 5*a, -18 = 4*u + 4*a - 54. Suppose -u*i - 5 = -10*i, p - 4*i = 4. Is 4 a factor of p?
True
Let f = -56 - -69. Suppose 4*a - 3*a + f = 4*u, 4*a - 16 = -u. Suppose l + 2*g = 63, -a*l + 5*g + 173 = -60. Is l a multiple of 8?
False
Suppose 0 = -4*u + 15 + 53. Let k(n) = -n**3 - 2*n**2 - 3*n - 7. Let j be k(-5). Suppose 5*q - u = j. Is 5 a factor of q?
True
Let i(j) = -36*j + 768. Is 39 a factor of i(-35)?
True
Does 49 divide (8*1)/(18 - 10) + 36945?
True
Let s(j) = 2957*j - 7219. Is 12 a factor of s(4)?
False
Let p(j) = -6*j**2 + 4*j + 10. Let t(h) = -5*h**2 + 5*h + 10. Let i(c) = -3*p(c) + 2*t(c). Let y be (-1 + 2)/((-1)/5). Is i(y) a multiple of 22?
False
Let y be ((-837)/12)/((-12)/(-32)). Let s = y + 360. Suppose -3*x + 156 + s = 0. Is 29 a factor of x?
False
Let q = 3495 + 1070. Does 10 divide q?
False
Let f(b) = -7*b**2 + 2*b**3 + 0 + 0*b**3 + 2*b**3 - 9 + 50*b + 4*b**2. Does 10 divide f(5)?
False
Suppose 27*h - 30384 - 82611 = 0. Is 15 a factor of h?
True
Let k be 443880/25 + 2/(-10). Is 59 a factor of (-2)/4 - k/(-134)?
False
Let f be (-222)/(-5)*(-130)/(-39). Suppose 0 = 2*o - 6*o - f. Does 40 divide 64/6*(-7 - o)?
True
Suppose 0*a + 23 = a + s, 62 = 2*a - 2*s. Suppose a = 3*p + 12. Suppose -3*b + 316 = 4*z, p*z + 207 + 19 = 2*b. Is b a multiple of 16?
False
Let c = -12 - -8. Let i be (3/c - 3)*-4. Let f(l) = 8*l - 18. Is 39 a factor of f(i)?
False
Suppose -45*h + 16 = -37*h. Suppose 994 = -4*f - r + 3247, 1686 = 3*f + h*r. Is 17 a factor of f?
False
Suppose 1260 = 806*y - 805*y. Does 4 divide y?
True
Let j(b) be the first derivative of 27*b**2/2 - 168*b + 179. Is 24 a factor of j(32)?
True
Let z be -4 - 14/(2/(-1)). Let p(y) = -37 - z*y - 11*y + 28*y. Does 15 divide p(7)?
False
Let a be (2/(-5))/(7/(-2555)). Suppose 4*i = 782 - a. Is (-2 + 32/12)*i a multiple of 21?
False
Let g(a) = -1 - 3*a**3 + a + 4*a**3 + 9 - 9*a - 7*a**2. Suppose 2*f + 36 - 52 = 0. Is 8 a factor of g(f)?
True
Suppose -5*p - 2*w = 130 - 19, 0 = 3*p + w + 66. Is 13 a factor of 44222/42 + p/(2646/(-12))?
True
Let k(u) = 53*u + 269. Does 6 divide k(31)?
False
Suppose 2*p - 1467 = -2*p - 3*r, -5*p + 1805 = -2*r. Suppose -3*q + 6*q = p. Suppose d + 40 = q. Is d a multiple of 27?
True
Let c be 36/(-15) - (-5)/(-75)*-6. Let g(x) be the first derivative of 20*x**3/3 - x**2/2 + 3*x + 3. Is 17 a factor of g(c)?
True
Suppose -9*c + 73 = -35. Suppose 16*u = c*u + 3224. Does 13 divide u?
True
Let z be (4 + 85/(-25))*5 - 3. Suppose z = 2*x - 2*m - 466, 15*m - 11*m - 16 = 0. Does 9 divide x?
False
Let t(a) = a**3 - 22*a**2 + 38*a + 123. Does 39 divide t(30)?
True
Let a = -29504 + 44400. Is 112 a factor of a?
True
Suppose -8 = 436*n - 434*n. Is 10 a factor of (-444)/n + 5 + -4?
False
Let d(u) = -u**3 - 3*u**2 + 3*u + 1. Let w be d(-4). Is 10/((-3)/(-210)*w) a multiple of 31?
False
Is (-16)/(-312) - (-14247149)/1131 a multiple of 323?
True
Let m(y) = 127*y**2 + y - 1. Let p(s) = -5*s**2 + 16*s - 17. Let o(j) = -6*j**2 + 17*j - 16. Let u(d) = 4*o(d) - 5*p(d). Let w be u(10). Does 30 divide m(w)?
False
Does 65 divide 105327/54 - ((-6)/(-1))/12?
True
Suppose 77*w - 573663 = -69159. Is w a multiple of 18?
True
Let t be 3526/(-12) + 22/(-132). Is (190/6)/((-14)/t) a multiple of 51?
False
Let j(u) be the first derivative of 1/4*u**4 - 2*u + 6 - 3*u**3 + 5*u**2. Is j(9) a multiple of 11?
True
Let k be -4 + 210 - (0 + (-1 - -3)). Suppose l - k = -l. Suppose r - l = -r. Is 21 a factor of r?
False
Suppose -3*m = -0*m - 37098. Does 194 divide m?
False
Let m(b) = -16*b - 60. Let d = -195 - -174. Is 14 a factor of m(d)?
False
Let p = 312 + 5