 - 20. Suppose 0 = 4*l - 4*a + 112, 171 - 38 = -u*l - 3*a. Is 11 a factor of (6 - 6) + l/(-1)?
False
Let c be (3 - 1) + -3 + 14. Let d = -6 + c. Is 11 a factor of d/(-14) + (-45)/(-2)?
True
Suppose m = 4*v - 13, 4*v + 3*m = 5*v + 5. Suppose 2*o + 0*s - 5*s + 143 = 0, v*o = 2*s - 246. Let r = -30 - o. Is r a multiple of 8?
False
Let b = -272 + 320. Is b a multiple of 6?
True
Suppose 17 = f - 0*f - 2*x, 0 = f - x - 16. Is 4 a factor of -25*((-2)/3)/(f/9)?
False
Let q = 607 + 492. Does 27 divide q?
False
Suppose 9*u + 6480 = 24*u. Is u a multiple of 33?
False
Let t = -342 + 532. Is t a multiple of 69?
False
Suppose 12 = 2*g + 2*g. Does 25 divide 1/(3/216) + g?
True
Let y(b) = 3*b + 10. Let h be y(6). Suppose 4*s + h - 84 = 0. Is 4 a factor of s?
False
Let t = 97 + -93. Suppose -2*l + 0*j + 173 = j, -3*j = -t*l + 321. Is 12 a factor of l?
True
Let o(v) = -v**3 + v**2 - v + 4. Let d(s) = -3 - 2 + s**2 + 6. Let n(u) = -3*d(u) - o(u). Is 12 a factor of n(5)?
False
Suppose 0 = 3*v + 5*p + 17, -5*v - 4*p - 3 = -2*p. Let b = 3 - v. Is b/(2 - (-36)/(-19)) a multiple of 19?
True
Let l be (1 + -42 - -3)/(-2). Suppose 2*n + 1 = -4*a + l, -n + 24 = 5*a. Is a a multiple of 3?
False
Is 29 a factor of 105/(-14)*16*(-145)/30?
True
Let d be 160*(2 + (-24)/20). Suppose 17*o - d = 13*o. Is o a multiple of 10?
False
Let h = 875 + 181. Is 8 a factor of h?
True
Suppose 0 = -m + 211 + 141. Is m a multiple of 16?
True
Suppose 0 = 3*y + y - 720. Is 10 a factor of y?
True
Does 35 divide (-13856)/(-18) - (17 + (-1550)/90)?
True
Let s(g) = g**3 + 4*g**2 - 7*g + 1. Let y be s(-5). Suppose y = -j - 0. Let z(k) = k**3 + 11*k**2 - 3*k + 15. Is z(j) a multiple of 16?
True
Let o = 110 + 6. Suppose 21 = 5*x + o. Let m = x + 32. Does 4 divide m?
False
Let n(u) = 22*u**2 - 40*u - 4. Is 48 a factor of n(-6)?
False
Let p = -46 - -48. Does 13 divide ((-6)/14*6)/(p/(-14))?
False
Suppose 183 - 683 = 2*t. Let g = 484 + t. Is 24 a factor of g?
False
Suppose 23 - 63 = -8*s. Let r = 0 + 0. Suppose s*y - 64 = -r*p - 2*p, -126 = -5*p - 4*y. Is 7 a factor of p?
False
Suppose -6*u + 4*u = -90. Let g = -14 + u. Suppose f = -2*r - 7 + g, r + 76 = 5*f. Is f a multiple of 8?
True
Let w(n) = 20*n. Let s be w(1). Let i be 7 + -10 - 10*(-2)/(-4). Let j = s + i. Is 4 a factor of j?
True
Let g = 927 + 194. Is 29 a factor of g?
False
Does 7 divide (3 - (5 + -7)) + 20?
False
Let a(t) = t**2 - 10. Let k be 1/(3/9) + 9. Suppose -2*q = 10 + k. Does 37 divide a(q)?
True
Let h = 49 - 34. Is 9 a factor of ((-162)/h)/(7/(-35))?
True
Let d(k) = -k - 1. Let z(r) = -8*r - 12. Let h(s) = -3*d(s) + z(s). Is 4 a factor of h(-5)?
True
Suppose 3*f - 4 = 14. Let v(x) = -x**2 + 5*x - 2. Let t be v(f). Let z(o) = -6*o - 9. Is 13 a factor of z(t)?
True
Let c = 55 + -56. Is 24 a factor of -3 + 897/12 + c/(-4)?
True
Let l(u) be the first derivative of -u**3/3 + 4*u**2 - 3*u - 9. Let k be l(7). Suppose 0 = 3*d - k*o - 72, 4*d - 7*d - 5*o = -45. Does 6 divide d?
False
Let z(x) = -8*x - 8. Let v be z(-10). Suppose 5*k - v = 2*k. Suppose -s + 46 = -2*a, 0 = -s - a + 22 + k. Is 23 a factor of s?
True
Let i(b) = -6 + 0*b - 7*b + b**2 - 5 + 3. Let f be i(8). Suppose 5*r - l + 6*l - 145 = f, -3*r + 84 = 4*l. Is 10 a factor of r?
False
Let l be 7208/10 - (-7)/35. Let c = l - 503. Does 36 divide c?
False
Let b = 42 - 47. Does 15 divide -2 + (-2954)/(-35) - (-2)/b?
False
Let j(r) = -2 + 10*r + 2*r**2 + 0*r + 2*r**2. Does 17 divide j(4)?
True
Suppose 7*h + 74 = 25. Is (2 + 26/h)*-21 a multiple of 8?
False
Let z(j) = -13 - 7*j**2 + 2*j**3 + 3*j - 3*j**3 - 14*j - 3*j. Let u be z(-9). Suppose 2*c + 3*c = u. Does 11 divide c?
True
Suppose 12 = l + 3*l. Suppose -l*u + 330 = 54. Is u a multiple of 10?
False
Suppose -9*i = 535 - 2173. Is i a multiple of 8?
False
Suppose -5*a - 5*x - 50 = 0, 5*a + 5*x + 45 = x. Let n(z) be the third derivative of -7*z**4/24 - 5*z**3/6 - 4*z**2. Is 13 a factor of n(a)?
False
Let p be -1*-3*(-4)/(-6). Let k be -3 + p + (-2 - -6). Does 9 divide (-2)/(5/(-135)*k)?
True
Suppose 5*h + 25 = 0, h = 2*u - 8 - 7. Suppose -362 = -4*k - 2*f, u = f - 0*f. Is k a multiple of 11?
True
Suppose 58 + 70 = 4*w. Let i = w - 27. Is i a multiple of 2?
False
Let z(u) = -u**2 + 8*u - 12. Let o be z(5). Suppose 3*v - o = p, 4*p - 1 = 4*v + 3. Suppose 0 = 2*w + 2*l - 142, p*w + 3*l - 4*l - 193 = 0. Is 21 a factor of w?
False
Let a be (6/(-8))/(36/(-2256)). Suppose 5*j + 70 = -35. Let o = a + j. Is o a multiple of 13?
True
Let d(a) = 3*a + 28*a**2 + 3*a - 5*a. Let h be d(-2). Let t = h + -50. Does 17 divide t?
False
Let x = -172 - -283. Let d = x + 54. Let j = d + -78. Does 29 divide j?
True
Let r(g) = 56*g - 799. Does 20 divide r(35)?
False
Let l = 19 + 1330. Is 71 a factor of l?
True
Let y be ((-50)/4)/((-10)/(-360)). Let t = -297 - y. Is t a multiple of 17?
True
Let v(q) = q - 4. Let g be v(-7). Let l be 2/g + (-1595)/(-121). Suppose 0 = -z + 1 + l. Does 11 divide z?
False
Is 24 a factor of 8730/33 - 24/44?
True
Let d(a) = -a**3 - 10*a**2 - 8*a + 1. Let n be d(-9). Let k be (-2)/n*1340/5. Suppose -5*c = 2*b - k, -2*c + 67 = -3*b + 215. Is 11 a factor of b?
False
Suppose -3 = -3*m - 2*m + 3*g, -2*m - 3*g = 3. Let l = 4 + m. Suppose l = 2*f - 24. Does 4 divide f?
False
Is 11*5*((-456)/(-30) - -7) a multiple of 33?
True
Let a be 2/(-10) + 2/10. Let y be 828/9 + (-3 - a). Suppose 2*m - 95 = y. Is 22 a factor of m?
False
Suppose 4*w - 2*w = 0. Suppose z - 5*r - 10 = 0, 3*z - r = -w*r + 16. Is 2 a factor of z?
False
Suppose 4*w = 20, -4*w = -5*h - 9*w + 2080. Is h a multiple of 49?
False
Is -2 - (-1 + 4 - -1 - 516) a multiple of 9?
False
Let f = -334 + 558. Does 12 divide 56/(0 + 2 - f/126)?
True
Suppose 2*v + 4*v = 432. Suppose -26*d = -25*d - v. Suppose 5*k = -2*w + 172, d = w - 6*k + 5*k. Is w a multiple of 37?
False
Suppose 6 - 26 = -5*b - 5*j, -16 = 2*b - 4*j. Suppose b*c + 2*c = 104. Is c a multiple of 13?
True
Suppose 4*m - 3829 = 5579. Is m a multiple of 11?
False
Suppose y - 26 + 13 = 0. Suppose y*d = 14*d - 104. Is 32 a factor of d?
False
Let u = -612 + 1440. Is u a multiple of 9?
True
Let a(b) = -b**3 + 6*b**2 + 8*b - 3. Let w be a(7). Let m be w/2 - 0/(-2). Suppose m*u + u = 126. Is 42 a factor of u?
True
Suppose -1326 = -16*y + 10*y. Does 10 divide y?
False
Let c(v) be the third derivative of 65*v**4/24 + 5*v**3/3 + 11*v**2. Let r be c(3). Let t = r - 116. Is 17 a factor of t?
False
Suppose -2*o + 128 = 4*g, -g - 2*g = 4*o - 106. Does 36 divide (-4)/10 - 33/g*-164?
True
Suppose 3*f - 30 = -3*f. Let k be 2*-2*(-37)/4. Suppose f*h - 95 = -3*d, -d + k = 3*h - h. Is h a multiple of 8?
True
Suppose -3*n - 4*y + 97 = -0*y, n - 24 = -3*y. Does 3 divide n?
True
Suppose -6*f + f = -10, 4*f - 83 = -v. Suppose 0 = j + 2*j - v. Suppose 2*k + j = 81. Does 11 divide k?
False
Is -6*(-627)/22 - 6 a multiple of 11?
True
Let z(c) be the first derivative of -c**3/3 + 4*c + 4. Let k be z(0). Suppose 3*x = -5*i + 113, k*i - 35 = 5*x + 48. Is 13 a factor of i?
False
Suppose 2*y + 2490 = 5*d, 2*d - 2*y + 272 = 1262. Is d a multiple of 10?
True
Suppose -12*x = -11 - 325. Suppose 164 + x = 6*a. Is 8 a factor of a?
True
Let h be (-1)/(4/(1 + -145)). Suppose t + 4*f = -0*t + 4, t - 4*f - h = 0. Is 3 a factor of t?
False
Suppose 3*s + 6 - 3 = 3*w, -3*w + 6 = -2*s. Suppose 0 = -x - 6*z + 3*z + 22, -76 = -s*x + z. Let v = 38 - x. Does 13 divide v?
True
Let y be -29 + 0 + -3 - 4. Is 36/14 + y/63 a multiple of 2?
True
Let u(m) = -8*m + 1. Let z be u(2). Let c = -11 - z. Suppose 0 = c*n + 70 - 190. Is 15 a factor of n?
True
Suppose 8*z = -z. Suppose 4*m - 12 = m. Suppose -m*a + z*a = -212. Is 21 a factor of a?
False
Suppose -4 = l, -3*l = -4*d + 2*l + 32. Does 21 divide 4 - (-2)/(-2) - (d - 42)?
True
Suppose 0 = 2*p - 13 + 11. Suppose -2*z + 3 = -p. Is (144/40)/(z/30) a multiple of 15?
False
Let w be ((-16)/(-20))/((-2)/(-5)). Suppose -192 = -w*x - 5*y, -3*y = -5*x - 0*y + 480. Is x a multiple of 32?
True
Let m = 41 - -142. Suppose 7*o - m = 97. Is 4 a factor of o?
True
Let z(x) = -x**3 + 13*x**2 + 17*x - 18. Let q be z(14). Suppose -4*c + q = -156. Is c a multiple of 9?
True
Let a(v) = 3*v**2 - 13*v + 10. Let h = 69 + -59. Is a(h) a multiple of 36?
True
Is 16 a factor of (-12310)/(-35) + (-14)/(-49)?
True
Let z(h) = 2*h**2 - 16*h - 14. Let b be z(11). Supp