 118 = b - w, -5*b + 5*l = -1140. Is b a multiple of 20?
False
Let i(z) be the third derivative of 5*z**4/4 - 4*z**3 - 3*z**2 + 7. Does 27 divide i(10)?
False
Suppose -5*v = 2*v - 84. Suppose 0 = n - v. Suppose -n*b + 262 = 46. Is 6 a factor of b?
True
Let p = 1 - -3. Suppose -3*z - z - 28 = -4*n, 17 = -z - p*n. Does 19 divide (7 + -1)*3/(z/(-38))?
True
Suppose -4*i = -4*f - 48, 0 = -5*i + 2*f + 2*f + 55. Suppose -1017 = -i*p - 3019. Let j = p - -406. Is j a multiple of 30?
True
Suppose 1580*m = 1578*m + 1124. Is m even?
True
Let u(y) = y**3 + 10*y**2 - 11*y + 84. Is u(7) a multiple of 28?
True
Suppose -j = -3*j. Suppose 2*f - 501 = 2*s - 237, 0 = 2*f + 5*s - 215. Suppose 3*u + 2*y - 347 = j, f = -3*u + 4*u + 3*y. Is u a multiple of 37?
False
Let v(r) = -21*r**2 - 1896*r - 172. Does 138 divide v(-82)?
False
Suppose 6*x - 1481 + 293 = 0. Let k = -71 + x. Let q = -76 + k. Is q a multiple of 11?
False
Suppose 3*z + 0 = 48. Let b be 68 + 0/(6/(0 - -2)). Let p = b - z. Does 11 divide p?
False
Let c = -4327 - -6247. Does 32 divide c?
True
Let d(p) = p**3 + 6*p**2 + 4*p + 31. Let b be d(-6). Suppose -203 = -b*s + 84. Does 7 divide s?
False
Is (1232/(-84) + 8)/((-2)/144) a multiple of 4?
True
Let m = -92 - -162. Let u = -72 + m. Is (2/4)/(u/(-116)) a multiple of 29?
True
Suppose 28*m - 33*m + 60 = 0. Let z(j) = j**3 - 11*j**2 + 35*j - 222. Is z(m) a multiple of 56?
False
Suppose 4*h + 5*g - 81 = -9, -2*h = -5*g - 36. Let q be 7/((-42)/16)*h/(-2). Is 19 a factor of (1*-15)/(1 + (-33)/q)?
False
Suppose -6*n - 4 = 44, -4*n = -3*r + 6824. Does 8 divide r?
True
Let t = -170 + 294. Suppose 2*w = t + 18. Let v = w - 37. Is v a multiple of 17?
True
Suppose 330 = -3*c + 2721. Suppose -5*i = -o - 1994, -6*i = -4*i - o - c. Is i a multiple of 49?
False
Let b = 35 + -33. Let x(h) = 6*h - 7. Let u be x(b). Suppose 2*f - 2*o - 110 = -f, 4*f + u*o = 139. Is f a multiple of 9?
True
Suppose 0 = -4*r + t - 6*t - 359, 0 = 2*r - 3*t + 207. Is 42 a factor of (126/(-4))/(12/r)?
True
Let f(k) be the second derivative of -k**4/6 - 26*k**3/3 - 6*k**2 - 6*k + 6. Does 27 divide f(-17)?
False
Let d(h) = 27*h + 1. Let x(o) = 28*o. Let j(u) = -3*d(u) + 2*x(u). Let s(y) = -y**2 - 27*y + 89. Let v be s(-30). Does 14 divide j(v)?
False
Suppose 5*o + 0 = -4*j - 10, -5*o = 10. Suppose -z + 11 = 5*s, z + j = 2*s - 10. Suppose 33 = 2*f + s. Is f a multiple of 9?
False
Let q(u) = -478*u + 25. Is 6 a factor of q(-1)?
False
Suppose -4*a + 6*a = 5*o + 27, 4*a = -o - 1. Suppose 3*x + h = -9, 0 = 2*x + h - 3 + 10. Is 21 a factor of x/o + 3762/45?
True
Let b(m) = -655*m + 471. Is 42 a factor of b(-3)?
True
Suppose -2*u - s + 41 = -5*u, s + 55 = -5*u. Let w(d) = d**3 + 14*d**2 + 9*d - 13. Is w(u) a multiple of 51?
False
Suppose -5*f = 3*f - 24. Suppose 0 = -7*r - f*r + 7500. Does 15 divide r?
True
Let u = -2721 - -2877. Is u a multiple of 13?
True
Let h(a) = -17 + 31*a**2 - 4*a + 6*a - 4. Is 5 a factor of h(3)?
False
Suppose -100173 = -49*k + 83675. Does 124 divide k?
False
Suppose 0 = -5*c - 9 + 39. Let z(x) = 7*x**2 + 13*x - 105. Is z(c) a multiple of 15?
True
Let p(g) = 6*g**2 + 66*g - 6. Let o(z) = 5*z**2 + 64*z - 7. Let y(f) = -3*o(f) + 2*p(f). Is 34 a factor of y(-9)?
True
Let h(j) = 822*j - 1841. Does 50 divide h(5)?
False
Let z be (-1 + 3)/(6*(-1)/57). Let w(n) = n**3 + 20*n**2 + n + 22. Is w(z) a multiple of 28?
True
Suppose -t = 3*h + 9, -13*t - 15 = -15*t + 5*h. Suppose t = 102*m - 109*m + 469. Is 4 a factor of m?
False
Is 4 a factor of (((-5)/12)/(38/(-47120)))/(2/84)?
True
Let s(z) = 444*z**3 - 10*z**2 - 5*z + 12. Is 15 a factor of s(3)?
True
Let o(w) = w**2 - 31. Let c be o(-6). Suppose -c*t + 4*x - 852 = 0, 2*x = -t - x - 159. Let u = 376 + t. Is 26 a factor of u?
True
Let y(h) = 4*h**2 + 11*h - 77. Let p be y(14). Suppose 5*v + 664 = 4*g + 8*v, -4*v = -5*g + p. Is 10 a factor of g?
False
Suppose 0 = 2*f + c - 86546, -173084 = -10*f + 6*f - 4*c. Does 77 divide f?
False
Suppose -57*z + 60*z = 5139. Let g = z - 768. Is g a multiple of 78?
False
Let g = 2614 - 1329. Let i = 2255 - g. Is 46 a factor of i?
False
Suppose y - 46116 + 3796 = -5*u, 4*u = y - 42356. Is y a multiple of 116?
True
Suppose 421 + 403 = 15*u - 2296. Is 208 a factor of u?
True
Is 2 a factor of (11/(-44))/(((-93)/360)/31)?
True
Let b(l) = 42*l**3 - 6*l - 9. Is 146 a factor of b(6)?
False
Let p = -314 - -434. Suppose 0 = -137*q + p*q + 16813. Does 23 divide q?
True
Suppose 19418 + 15779 - 285953 = -22*a. Is a a multiple of 13?
False
Does 9 divide ((-119)/42 - -3)*501*10/5?
False
Let g = 11567 + -8063. Is g a multiple of 73?
True
Is (1716/10)/(-2 + 2 + (-12)/(-750)) a multiple of 11?
True
Let x = 1931 + 93. Is 88 a factor of x?
True
Is 0 - -1525 - (-19 + 5) a multiple of 70?
False
Suppose 110*y - 51*y = 52*y + 66619. Is y a multiple of 133?
False
Let c(o) = 3*o**2 - 105*o - 732. Is 34 a factor of c(49)?
True
Let n(o) = -80 + 22*o + 33*o - 67*o + 28*o. Is n(20) a multiple of 9?
False
Let x(o) = o**3 + 3*o**2 + o + 4. Let q be x(-3). Suppose -389 = 2*a - q. Let w = 282 + a. Is w a multiple of 21?
False
Let t = -359 - -362. Suppose 0 = -b - 3*u + 856, -t*b + 0*u + 2*u = -2612. Does 61 divide b?
False
Let r(w) = -w**2 + 6. Let t be r(-3). Let h be (-2)/t + 14592/36. Suppose -1302 = -4*i - h. Does 28 divide i?
True
Let j(p) = 49*p + 3823. Does 8 divide j(73)?
True
Suppose 3*h + 5*a - 27 = 2*h, 2*h = -3*a + 19. Suppose -6*m - 1246 = -3*j - h*m, -j - 5*m = -428. Is 11 a factor of j?
True
Is 33 a factor of 2/(-2) - 27216/(-6)?
False
Let l(f) = 6*f - 22. Let w be l(6). Let j = -33 + w. Let s = 71 + j. Is s a multiple of 13?
True
Let h(t) = t**3 + 21*t**2 - 5*t - 61. Is h(-12) a multiple of 37?
True
Let g(i) = i**2 + 7*i + 6. Let m be g(-7). Let d be (-9)/m*12/(-9). Suppose 4*a - 3*f - 80 = d*f, 0 = -4*a - f + 104. Is a a multiple of 13?
False
Let o(h) = h**3 + 28*h**2 + 27*h - 8. Let x be o(-27). Let a be 4/x*1*0. Suppose m + 7*m - 640 = a. Is 6 a factor of m?
False
Suppose 0 = -4*l + 4*t - 24, -4*l - 9 = -t + 2*t. Let j be 11/l - (-2)/3. Is j/(3/4) + 24 - -2 a multiple of 6?
False
Let i(o) = -2*o**2 - 3*o**2 - 3*o**2 + o + 10*o**2 + 110. Let s = 89 - 89. Is i(s) a multiple of 11?
True
Let a(l) = -l**3 - 2*l - 5. Let i be a(0). Is i + 96/18 - (-269)/3 a multiple of 45?
True
Let h(i) = -i**2 + 10*i - 1. Let l be 46/10 + 6/(-10). Let z be (-50)/(-15)*6/l. Is h(z) a multiple of 6?
True
Suppose 4*s + 3 = s + 3*r, -2*s - r + 1 = 0. Suppose s = -6*m + 2037 + 1677. Is m a multiple of 14?
False
Suppose -21 = -4*a - 3*z + 2777, 4*z - 680 = -a. Does 16 divide a?
True
Suppose -2*j = 5*b - 7, 0*j - 5*b = 5*j - 10. Let t = 209 + j. Is 22 a factor of t?
False
Suppose -7*r = 39 - 18. Let h(k) = 14*k**2 - 3*k - 5. Does 10 divide h(r)?
True
Suppose 9*m = 2*v + 12*m - 13340, 4*m = v - 6692. Is v a multiple of 73?
False
Let v(o) = -11*o - 51. Let r be v(-17). Suppose r = -n + 875. Is n a multiple of 33?
False
Let z = -17 + 22. Suppose -105 = 5*x + 5*s - 940, 835 = z*x - s. Is x/2 - (-3)/(-6) a multiple of 12?
False
Let o be (-67 + -8)*(-1)/(-3). Let m = o - -31. Suppose -4*t + 142 = -m. Does 3 divide t?
False
Let j(b) = -b**3 - 15*b**2 + 29*b - 89. Let d be j(-17). Does 74 divide 1*(-862)/(-2) + d?
False
Suppose 0*t + 5*t + o + 4 = 0, t - 2*o = -3. Is 4/(100/5005) + t/5 a multiple of 20?
True
Let d(x) = x**2 - 8*x + 14. Let l be d(6). Let n be (4/(-6))/(10/(-1185)). Suppose l = -y + n. Is 11 a factor of y?
True
Suppose 42*l - 2*b - 1296 = 39*l, 4*l - 1739 = -b. Does 10 divide l?
False
Suppose 6*y = 1748 + 574. Suppose -123 = 3*b - y. Is 44 a factor of b?
True
Suppose -3*i = -3*p - 2*p + 6, 0 = -4*p. Let q = 6 - i. Is 8 a factor of (62/(-8))/((-2)/q)?
False
Let r be -162*2/((-10)/(-25)). Let b = -360 - r. Suppose 3*f = -2*k + 254, -2*k + 0*k - b = -5*f. Does 8 divide f?
True
Let p(y) = 3*y**2 - 35*y - 823. Is p(47) a multiple of 46?
False
Let i(v) = -v**2 + 45*v - 58. Suppose -2*h = -3*b + 75, 3*b + 2*h - 86 = 1. Is i(b) a multiple of 14?
False
Let g = 120 + -112. Does 21 divide (18/g)/((-15)/(-560))?
True
Suppose -4*n + 193 = -495. Suppose -4*w + 0*w - 5*g = -n, 2*w = 5*g + 86. Is 3 a factor of w?
False
Suppose -4*g = -1351 + 315. Let b = g + -108. Let w = -48 + b. Does 23 divide w?
False
Suppose 0 = 281*f - 174*f - 147339. Is f a multiple