l = -88 - -112. Suppose -4*a = 4*b + l, 2 = b - 2*b. Is v(a) a multiple of 9?
False
Let c = 340 - 295. Suppose -c*z = -37*z - 1936. Is z a multiple of 22?
True
Let d(n) = -11*n + 17. Let l be d(-5). Let g = l - 52. Suppose -30 = -2*x + 4*j, -j + 3*j = -4*x + g. Does 3 divide x?
False
Let n(v) = 200*v + 388. Let w(o) = -132*o - 259. Let f(b) = 5*n(b) + 8*w(b). Is 82 a factor of f(-17)?
True
Let b(u) = u + 612. Is b(-59) a multiple of 11?
False
Suppose -d - 136 = 3*p, -2*d + 4*p - 624 = 2*d. Let t = -120 - d. Does 5 divide t?
False
Let x(l) = 5*l**2 - 2*l + 3. Let a be x(4). Suppose 9*f - 5797 = 737. Suppose -a*n - f = -78*n. Does 22 divide n?
True
Does 76 divide 1040598/378 - 14/(-147)?
False
Let y = 9 - 85. Let d = y - -115. Suppose -10 = -x + d. Is 7 a factor of x?
True
Suppose 14*x = 16 + 12. Suppose c - x*l = -c + 98, -c = 3*l - 33. Is 15 a factor of c?
True
Let f be (-59)/(-5) + (-1)/(-5). Suppose 5*y - 1256 = 504. Suppose -f*a - y = -2320. Does 16 divide a?
False
Let i be (-19)/(57/(-882))*9/(-6). Let c = i - -1473. Is 51 a factor of c?
False
Suppose 1994*q - 332304 = 1908*q. Does 69 divide q?
True
Let b(g) = 46*g - 9. Let u be b(-4). Let h = 442 + u. Suppose -5*j = -5, -4*o = 2*j - h - 217. Is 17 a factor of o?
False
Let f = -278 - -280. Suppose -550 - 174 = -5*h + f*z, 140 = h + 2*z. Does 6 divide h?
True
Suppose -2*l + 3993 = -3917. Suppose -5*w + l = -5*s, 0*w - w + 3*s = -785. Is (-7)/((-196)/8) - w/(-14) a multiple of 19?
True
Let g = 59 - 3. Let y = g + 190. Let k = y - 170. Is 38 a factor of k?
True
Let q(g) = 7*g**2 - 2*g. Suppose -f - 3 = -3*d + 4, -3*f = 3*d + 9. Let u be (f/(-6))/((-51)/18 - -3). Is 26 a factor of q(u)?
True
Suppose -3*w + 63*g = 58*g - 34040, -5*g + 10 = 0. Does 177 divide w?
False
Suppose -2*w - 203 = -525. Is 8 a factor of w?
False
Let y be 2/((-162)/80 + 2). Let k = y + 167. Let n = k - 19. Does 12 divide n?
False
Suppose -2*r = -5*o + 9*o - 22, 0 = 2*r - 10. Is 17 a factor of o/6*6 + 493 + -3?
True
Suppose 5*n + 27 - 84 = 2*t, 4*t + 15 = n. Suppose -4*v - n*v + 27810 = 0. Is 18 a factor of v?
True
Suppose 4016 = 23*a - 19*a. Suppose 10*n - 6*n - a = 0. Is 16 a factor of n?
False
Suppose 10*v + 2564 = -76. Does 15 divide (-24)/v + 5146/22?
False
Let s be 20/50 + ((-364)/10 - -1). Let t = 127 + s. Suppose -14*m - t = -16*m. Is m a multiple of 11?
False
Is (7188/408 - 4/34)*(-27060)/(-77) a multiple of 7?
False
Let l = -13211 + 30538. Is l a multiple of 20?
False
Let j = 28 + -224. Let b = j - -801. Is b a multiple of 19?
False
Let g = 2929 + -2933. Suppose 35 = -4*y - 21. Does 12 divide g/y + (-8640)/(-42)?
False
Let f(l) = l**3 + l**2 + 5*l + 69. Is 44 a factor of f(9)?
True
Let j = -4185 + 4926. Is 13 a factor of j?
True
Is 56 a factor of 374/44 - 24177/(-2)?
False
Suppose -4*r + 11992 = n, -95261 = -6*n + 3*r - 23336. Does 81 divide n?
True
Let b(r) = 146*r**2 - 2*r + 5. Let d = -47 - -49. Is 15 a factor of b(d)?
True
Let v(f) = -8*f + 1702. Does 15 divide v(-48)?
False
Let s be (0/3*-1)/4. Suppose s = k + 5*k - 1320. Does 25 divide k?
False
Let x = 5945 + -509. Does 83 divide x?
False
Suppose 0 = -5*l - 2*t - 17, -5*l - 4*t = -3 + 12. Is (4 - 2) + 258 + 5/l a multiple of 37?
True
Let o(g) = -g**3 + 5*g**2 + 4*g + 2. Let u be o(-2). Suppose -u*j + 17*j = -20. Let c(x) = 6*x**2 - 2*x - 4. Does 6 divide c(j)?
True
Let m(y) = y**3 - 12*y**2 - 13*y - 3. Let b be 26*(-4)/(-24)*3. Let f be m(b). Is 14 a factor of (1 - -6)/(1/(-18)*f)?
True
Suppose -3*c + 8 = -43. Suppose c*b = -4*b + 1386. Does 37 divide b?
False
Suppose k + 0*k = -5*j + 3765, 4*j + 2*k - 3012 = 0. Let p = j - 410. Is 30 a factor of p?
False
Let k(g) = 15*g + 6. Let d(m) = 2*m - 38*m**3 + 37*m**3 - 10*m**2 - 10*m + 13. Let p be d(-9). Does 11 divide k(p)?
True
Suppose -3*x + 10*d + 28 = 9*d, 5*d = 5*x - 50. Let c(u) = 4*u**2 - 7*u + 3. Does 12 divide c(x)?
True
Let p = 5466 - 5369. Is 16 a factor of p?
False
Suppose -i - 3*i = -176. Suppose -48*h + 32*h + 160 = 0. Let t = i - h. Does 8 divide t?
False
Let g be ((-5)/4)/(1/4). Let j(r) = 4*r**3 + 8*r**2 - 8*r + 2. Let n(h) = -h**3 + h**2 + 4*h. Let q(z) = j(z) + 3*n(z). Is 12 a factor of q(g)?
True
Let u(y) = 21*y - 29. Let l be u(2). Suppose -l*b + 1988 = b. Does 3 divide b?
False
Suppose -v + 30 = -6*v. Let f(s) = -s**3 + 5*s**2 + 11*s + 7. Is f(v) a multiple of 7?
False
Let g be (22*3/(-6))/(4/(-16)). Suppose 2*v + g = y - 83, 4*y - 3*v = 513. Let a = y + -9. Is 40 a factor of a?
True
Suppose -25 = -r - 29. Let a(w) = -w - 4. Let j be a(r). Suppose 3*c = -j*c + 201. Is 17 a factor of c?
False
Suppose 0 = t - 5*t + 164. Suppose -f + 43 - t = 0. Suppose -2*q + 158 = f*k, 6*q - q + 345 = 5*k. Is 14 a factor of k?
False
Suppose 5*b = a - 2*a, 4*a - b = 0. Suppose a = x - 3*q - 98, 0 = -6*x + 2*x - 3*q + 452. Let i = -24 + x. Does 19 divide i?
False
Suppose 14022 = 13*j - 5920. Suppose -4*q = 9*q - j. Is q a multiple of 4?
False
Suppose 3*a - 2*v + 600 = 2454, 0 = 2*a - 3*v - 1231. Is 78 a factor of a?
False
Let n(i) = -i**3 - 2*i**2 - 2*i + 33. Let l be n(0). Suppose -l*f = -35*f + 826. Does 34 divide f?
False
Suppose 27*r = 23426 - 23129. Let i(x) = -x**2 - 11*x - 39. Let h(m) = -2*m**2 - 11*m - 38. Let k(w) = 2*h(w) - 3*i(w). Is 6 a factor of k(r)?
False
Let k be (-16)/6*-1*(-18)/(-12). Suppose b - 642 = -b + 4*y, -5*b = k*y - 1619. Is b a multiple of 30?
False
Suppose 67*a + 94832 = 75*a. Does 18 divide a?
False
Let u be (-1137)/(-3) + 3 - (-6)/2. Let o(a) = -3 + 3 + u*a - 382*a. Does 23 divide o(21)?
False
Let z = 19080 - 12314. Does 17 divide z?
True
Let k(d) = d**3 + 2*d**2 + 2*d + 3. Let j be k(-2). Let u be ((-1)/2)/(j/(-4)). Is u/9 + 1082/9 a multiple of 25?
False
Suppose 0 = -310*n + 307*n + 111. Does 10 divide n?
False
Let s = 112 - 110. Suppose -z - 5*f = 2*z - 407, -3*z - s*f = -395. Is z a multiple of 8?
False
Let q = -235 - -209. Let v(y) = 28*y**2 + 1. Let i be v(-1). Let w = i + q. Is w a multiple of 3?
True
Let w be 1*(-2 - -1)*-10. Let q be w/(-5) + 1 + 4. Suppose q*g + 0*g - 756 = 0. Is g a multiple of 42?
True
Let x(o) = 46*o**2 - 25*o + 81. Does 6 divide x(3)?
True
Let l(d) = -3*d - 13 - 6*d**2 + 19*d**2 - 7*d**2 + 0*d. Let x be l(3). Is 2 a factor of (-6)/8 + 88/x?
True
Let f = -2185 + 6277. Suppose -92*l - f = -98*l. Is 35 a factor of l?
False
Let l be (-6 + 11)/((-4 + 2)/2). Let y(x) = -5*x + 14. Let t(p) = -5*p + 14. Let h(f) = l*y(f) + 4*t(f). Is h(7) a multiple of 3?
True
Suppose -4*w + 60*w = 211013 + 131707. Does 18 divide w?
True
Let d be 18/(-81) + (-115)/9. Let s be (-1)/2*(d - -3). Let u = 22 - s. Is u a multiple of 11?
False
Suppose 0 = 8*u - 38 - 394. Suppose 57*b - u*b = 9. Is 15 - 4/b*(-39)/(-26) a multiple of 3?
False
Let y(o) = -12*o - 178. Let q be y(-14). Does 11 divide 102/q*330/(-18)?
True
Let m(p) be the second derivative of -9*p**2 + 0 + 3*p**3 + 8*p + 11/6*p**4 + 1/20*p**5. Is m(-21) a multiple of 10?
False
Suppose -f + 3778 = 4*m - 2*f, -2*m + 4*f = -1882. Does 3 divide m?
True
Suppose 0 = -4*k + j + 7, -4*j = -4*k + 4 - 12. Suppose 920 = -s + k*s. Is 46 a factor of s?
True
Let a = -20471 - -29045. Is 12 a factor of a?
False
Suppose -5*h + 420 = 5*k, -25 + 10 = -5*h. Let r = -152 + 139. Let n = k - r. Is 15 a factor of n?
False
Suppose 0 = 4*z + 409 + 203. Let j = z - -303. Is j a multiple of 15?
True
Is (-232 + 11)/(35/(-2310)) a multiple of 187?
True
Let g(c) = -469*c**3 - 4*c**2 + 7*c + 30. Does 14 divide g(-2)?
True
Suppose -3*l + 6*q - 46 = 4*q, 34 = -2*l - 2*q. Let b(c) = -c**3 - 17*c**2 - 16*c + 12. Let t be b(l). Suppose -7*i - 590 = -t*i. Does 35 divide i?
False
Let c be 13/3 - 10/30. Let v be (8/4 - -4)*c/12. Is 171 + -4*(v + -3) a multiple of 16?
False
Suppose -4645 = -5*n - 5*j, n - 40*j - 851 = -54*j. Does 55 divide n?
True
Let r(i) = i**3 - 41*i**2 - 14*i - 36. Is 27 a factor of r(46)?
False
Let i(a) = 13*a**3 + 9*a**2 - 16*a - 24. Is 13 a factor of i(7)?
False
Does 2 divide 9/(-189)*7 + 6440/6?
False
Suppose 2*b - 2615 + 94 = 3*t, 4*t - 1244 = -b. Is 12 a factor of b?
False
Suppose -4*z = -4*r + 364, 4*z - 3*r + 0*r = -366. Let d = z + 90. Does 4 divide d/(-12) + (-60)/(-16)?
True
Suppose 7*h - 6 = 43. Suppose -4*t = 5*v - 362, h*v = 10*v + 3*t - 216. Is v a multiple of 5?
False
Let k(j) = 68*j + 6625. Is k(-96) a multiple of 11