8*l - 1676 = 7*l, 2796 = 5*w + 3*l. Is w a multiple of 11?
False
Suppose -13 = -2*c + 23. Suppose c = -3*i + 24. Is i a multiple of 2?
True
Let a = 20 - 15. Suppose 4*v - 353 = -5*p, 4*p = -1 + a. Suppose l - 126 = -4*l - 2*w, 0 = -4*l + 3*w + v. Is l a multiple of 8?
True
Let o(v) = 8*v**2 - v - 3. Let w be o(2). Let n = w + 21. Does 9 divide n?
False
Let p(l) = l**3 + 5*l**2 - 5*l + 10. Let j be p(-6). Let n(z) = -2*z**3 + 5*z**2 - 1. Let a be n(j). Does 6 divide 2/(-8) + a/(-4)?
True
Suppose m + 3*v - 644 = 0, 3*m + 2*v = 5*m - 1264. Is m a multiple of 9?
False
Let u(i) = 5*i**2 + 6*i - 6. Let m be u(-4). Let k = m - 26. Is k a multiple of 6?
True
Let d(r) = -90*r + 160. Is d(-13) a multiple of 19?
True
Suppose 774*k - 762*k - 28464 = 0. Is 17 a factor of k?
False
Let n = 21 - 20. Is 11 a factor of -2 + -70*(-12)/10*n?
False
Let d = 545 - 233. Suppose 167 + d = 4*i + 3*c, 3*i - 4*c = 378. Does 36 divide i?
False
Does 39 divide 9*5/(-30)*-794?
False
Let h(l) = -4*l**2 - 5*l - 13. Let d(c) = c**2. Let n(b) = 5*d(b) + h(b). Is n(-8) a multiple of 31?
False
Let t(j) = -29*j**3 + j + 2. Suppose -4*b = -5*b - 1. Is 15 a factor of t(b)?
True
Let o(v) = -62 - 63 + 124 + v + 6*v. Is 13 a factor of o(2)?
True
Suppose 25*y - 17*y - 3488 = 0. Does 35 divide y?
False
Suppose 0 = -4*h - n + 861, -5*h = -5*n - 547 - 523. Is h a multiple of 75?
False
Let q(f) = f**3 + 17*f**2 - 26*f + 57. Does 11 divide q(-18)?
False
Let i(h) = 3*h**3 - 5*h**2 + 6*h - 3. Let q(k) = -k**3 - k**2 + k - 1. Let c(j) = i(j) + 2*q(j). Let y be c(5). Let o = 28 + y. Does 12 divide o?
False
Let y = 1290 + 790. Does 20 divide y?
True
Let d(u) = -3 - u**2 + 0*u**2 + 8 - 4*u**2 - u**3 - 3*u. Does 3 divide d(-5)?
False
Let d = 12 - -19. Let b = 1551 - 1549. Suppose 181 = b*p + 3*p + v, p - d = 5*v. Is p a multiple of 6?
True
Is (-7 - 1800/(-10))*26 a multiple of 38?
False
Let d(u) = 3*u**3 - 13*u**2 + u - 2. Let l be d(5). Suppose 0 = -58*b + l*b + 35. Does 3 divide b?
False
Let k be 3*(-1 + (-10)/(-6)). Suppose 3*n - 95 = -k*n. Is n a multiple of 19?
True
Let w(a) = -a**3 - 7*a**2 + 10*a - 1. Let x be w(-7). Let o = 71 - x. Does 12 divide o?
False
Let i = -74 + 80. Suppose 41 + i = 2*t + c, 0 = -t + 2*c + 11. Is 5 a factor of t?
False
Suppose 0 = 3*o - o - 382. Suppose -l + 6 = 13. Is 8 a factor of l/35 + o/5?
False
Suppose -2*s = -5*d - 4, -4*d + s = 2*s - 2. Suppose d = 2*k + 3*k - 225. Does 15 divide k?
True
Let d(q) = -26*q + 21. Let l be d(4). Let c = -66 - l. Does 7 divide c?
False
Let s(g) = 229 + 28*g + 39*g - 224. Is 13 a factor of s(3)?
False
Suppose -2*k + 386 + 522 = 2*s, 0 = k + 2. Does 17 divide s?
False
Suppose -1680 = -4*d - r + 60, -5*d = -4*r - 2154. Does 36 divide d?
False
Suppose -5*g = 2*u - 63, 23 - 8 = -5*g. Does 15 divide u?
False
Let i(c) = -12*c**3 - c - 1. Suppose 4*d - 2 = -6. Let y be i(d). Let p = y - -6. Is 10 a factor of p?
False
Let f(o) = 5*o**3 - 26*o + 8. Is 8 a factor of f(4)?
True
Let i(l) = -4*l**3 + l**2 + 4*l + 99. Is 15 a factor of i(-10)?
False
Let m = 1988 - 1796. Does 16 divide m?
True
Let f = 348 - 89. Does 37 divide f?
True
Suppose -8 = -2*s - 0. Is 2 a factor of (-3 - (-2 + 1))/((-2)/s)?
True
Let o be -2 + -1 + (3 - -1) + 2. Let m(z) = z**3 + 3*z**2 + 5*z - 5. Is m(o) a multiple of 18?
False
Suppose 2*k + w = 3*w + 54, w - 88 = -4*k. Let m = k - 21. Is 2 a factor of m?
True
Let p(r) = -r**3 - 14*r**2 - r - 11. Let b be p(-14). Suppose 2*o - o - 106 = -2*f, -98 = -2*f + b*o. Does 13 divide f?
True
Suppose 0 = -z + 3*z - 4*w + 20, 5*z = 5*w - 25. Let q = z - -5. Suppose 13 + 4 = 2*n - q*p, -n + 41 = 4*p. Is 13 a factor of n?
False
Suppose 739 = 3*a - 485. Does 48 divide a?
False
Let o(y) = 12*y**2 - 13*y - 15. Is o(-9) a multiple of 12?
False
Suppose -w + 3 = -0*w. Suppose 6*a - 2*y = 4*a - 30, 0 = 5*a - w*y + 67. Let c = a + 25. Does 3 divide c?
False
Suppose -2*b + 452 = -1836. Is 88 a factor of b?
True
Is (-24)/5*(-2100)/24 a multiple of 20?
True
Suppose 7*r + 4816 = 8*r - c, -5*r - 4*c + 24071 = 0. Is r a multiple of 15?
True
Suppose 2*j + 4*f - 23 - 1 = 0, 0 = 2*j + 3*f - 19. Suppose 0 = -p + j*s + 21, 4*s + 37 = 5*p - 56. Let b = p + 3. Does 10 divide b?
True
Does 17 divide -4 - -2 - (344/1)/(-2)?
True
Let w be -3 - (-4 - -120)/2. Let g = w - -103. Is 5 a factor of g?
False
Suppose 8 = -2*f - 4*p, 3 = -0*f - 3*f - 3*p. Suppose -2*x = -3*t - 2*t - 18, 0 = 4*t + f*x. Is (-3 - t)*-2*9 a multiple of 18?
True
Let j(h) = 3*h - 2. Let c(y) = y - 1. Let r(w) = 11*c(w) - 4*j(w). Let u be r(-3). Suppose u = -v + 4*g + 62, -5*g = 8*v - 3*v - 235. Is v a multiple of 15?
False
Suppose -242 = -5*d + 2*v, 5*d - v - 161 = 80. Does 6 divide d?
True
Let h be ((-16)/6 + 2)*-18. Let y be (h/9)/((-6)/(-9)). Suppose y*w = -5*c + 110, -7*w - 2*c + 296 = -2*w. Does 16 divide w?
False
Suppose 0 = -4*j + 5*h + 2, -2*j - 3 = -5*h + 1. Suppose -j*a = a - 184. Is 8 a factor of a?
False
Let m = -23 + 423. Does 10 divide m?
True
Let v(x) = -5*x - 70. Let w be v(-20). Is 8 a factor of 2/(-3) + 1940/w?
True
Let q(l) be the first derivative of -18*l**2 - 6*l + 22. Does 17 divide q(-3)?
True
Let t(y) = y**2 - 22*y + 7. Let r be (-1120)/(-50) - 4/10. Is 7 a factor of t(r)?
True
Is 8*1*1/(-2) - -180 a multiple of 11?
True
Let s(n) = 3*n**2 - 6*n + 6. Is s(9) a multiple of 5?
True
Let w(n) = -n**2 + 3*n - 2. Let l be w(0). Is 22 a factor of 25/10*(-32)/l?
False
Suppose 0*h + 5*o - 505 = -4*h, 220 = 2*h - 4*o. Is h a multiple of 46?
False
Let h(t) = -4*t**2 + 181*t + 40. Is h(17) a multiple of 20?
False
Let v be 284 - ((-34)/9 - (-10)/(-45)). Suppose 1152 = 6*t - v. Is t a multiple of 61?
False
Let t(q) = -2*q**2 + 11*q. Let d be t(-8). Let f = 24 - 18. Does 15 divide ((-20)/f)/(16/d)?
True
Let n(u) = -9*u + 5. Let f(q) = 17*q - 10. Let w(m) = 2*f(m) + 5*n(m). Is w(-5) a multiple of 18?
False
Let u(f) = -f**3 - 6*f**2 - 2*f - 10. Let k be u(-6). Suppose 205 = 7*q - k*q. Is q a multiple of 8?
False
Let a = 71 - -217. Does 48 divide a?
True
Suppose -11*b + 8*b - 30 = 0. Let h = 30 - b. Does 8 divide h?
True
Let v(d) = -4*d**2 - 7 - 15*d + 4 + 6*d**2 - 7. Let a be v(8). Is 29 a factor of ((-202)/(-6))/(a/(-6))?
False
Suppose 6*q + 47 = 167. Suppose 4*c - 2*c = 4*k - 20, -3*c = -3*k + 21. Let h = c + q. Is h a multiple of 15?
False
Suppose 9*h = 96 - 285. Is 30 a factor of (-276)/(-9) - (-14)/h?
True
Suppose -5*f + 26*f - 756 = 0. Is 6 a factor of f?
True
Suppose -6*b + 4725 = 3*b. Suppose -3*r = t - 67 - 260, 5*t = 5*r - b. Is r a multiple of 16?
False
Let a(o) be the third derivative of o**5/30 - o**4/8 - o**3/3 + o**2. Let m(h) = h**3 - 4*h**2 - 8*h + 13. Let f be m(5). Does 4 divide a(f)?
True
Let j = -111 + 113. Does 8 divide (1160/12)/j + 3/(-9)?
True
Suppose 0*c = -5*c - 770. Suppose 0 = 2*r + 3*r + 5. Does 25 divide -2 + r/(2/c)?
True
Let w = 7 - 2. Suppose -2*n + w = -11. Let b(s) = -s**3 + 8*s**2 + 2*s - 9. Is 7 a factor of b(n)?
True
Suppose -4*l = -g + 88, 3 = 4*l - 9. Is 20 a factor of g?
True
Let y(i) = i + 1. Let w be y(7). Is (-288)/(-21)*(-1 + w) a multiple of 13?
False
Let d(n) = 9*n**2 + 58*n - 342. Does 7 divide d(6)?
False
Let r = 5 + -3. Let n = 41 + 64. Suppose -r*h - 21 = -n. Is h a multiple of 14?
True
Suppose 0 = 5*u + 31 - 556. Suppose -6*w = w - u. Does 5 divide w?
True
Suppose 0 = 3*g - 5*n - 68 - 9, 2*g - 53 = 3*n. Is g a multiple of 6?
False
Suppose -2*a + 10 = -0*a. Suppose 4*x - 3 = -a*h + 22, 4*x = -3*h + 7. Is h a multiple of 7?
False
Suppose 576 = 5*r - 4464. Does 84 divide r?
True
Let j = -28 - -32. Suppose 0 = 2*u - 5*a + 16, 2*u = j*u - a. Suppose -95 = -2*l + 5*r, -3*l + 2*r + u*r + 132 = 0. Does 8 divide l?
True
Suppose -718 - 800 = -6*f. Let t = f + -152. Is 21 a factor of t?
False
Suppose -b - 8 = -5*d, 4*b - 2*d - 3 = 1. Let s be ((-47)/(-1))/(-3 + b). Let u = 67 + s. Is 20 a factor of u?
True
Let q(l) = 26*l + 102. Is 7 a factor of q(6)?
False
Suppose 0 = -2*g - 6, -211*r = -206*r + 5*g - 9410. Is r a multiple of 65?
True
Suppose -159 - 585 = -3*z. Is 35 a factor of z?
False
Suppose -10*i + 43 = 3. Suppose i = 3*y - 41. Is y a multiple of 2?
False
Let i = 2406 - 1414. Is i a multiple of 45?
False
Suppose -21*y = -28*y + 21. Suppose j = -g - 10 + 99, -270 = -3*g - 4*j. Suppose -4*t + i = 3*i - g, y*t + 4*i - 62 = 0. Is t a mul