 = 0. Is m a multiple of 10?
False
Suppose 3*d - 3*r = -2*r + 632, 0 = d + 2*r - 220. Is d a multiple of 23?
False
Let a = -40 - -54. Let w = -4 + a. Is 10 a factor of w?
True
Let k be 22/8 - ((-1)/4 - 0). Suppose 61 = k*y + 5*r - 420, -4*y = 2*r - 646. Does 18 divide y?
True
Suppose -z = 2*g - 53 - 855, -3*g - 2*z + 1361 = 0. Is 37 a factor of g?
False
Let b(m) = m + 1. Let y be b(3). Suppose -2*i - 5*l + 57 = 0, 5*i + y*l - 2*l = 174. Does 6 divide i?
True
Suppose 6 = 5*w + 16. Let m be w*(-3)/(-12)*2. Let l(a) = -56*a. Is l(m) a multiple of 20?
False
Suppose -4*c - 5*r = -1788, 16*r - 15*r = 4*c - 1812. Does 7 divide c?
False
Let o(h) = -h**3 - 5*h**2 - 3*h + 6. Let u be o(-4). Suppose 2*y + 174 = 3*x - 0*x, u*x + 2*y = 106. Is x a multiple of 28?
True
Suppose 9 - 15 = 6*p. Let a(b) = -23*b**3 - 4*b - 3. Is a(p) a multiple of 24?
True
Let n be -322*((-1)/(-2) - 1). Let r = n - 18. Is 14 a factor of r?
False
Let m = 78 + -98. Let k = 254 + m. Is 39 a factor of k?
True
Suppose -4*y + 3953 = 5*b, 2*b - 2*y = 3*b - 787. Does 61 divide b?
True
Let j(y) = y**2 - 34*y + 16. Is j(56) a multiple of 52?
True
Suppose -6*g = 3*l - 2*g - 41, -4*l + 2*g + 18 = 0. Let y be -80*((-14)/4)/l. Suppose -7*w = -5*r - 2*w + 200, r - y = -4*w. Is r a multiple of 18?
False
Let t(l) = l**2 - 60 + 24 + 30 + 15*l. Let f be (-6)/9 + (-104)/6. Is 24 a factor of t(f)?
True
Suppose 20497 = -5*g + 10*g - v, -2*g - 2*v = -8206. Is 20 a factor of g?
True
Let p be 3*(-12)/18 - 8/1. Let u(f) = f**3 + 12*f**2 + 8*f - 4. Is u(p) a multiple of 15?
False
Let a(k) = 12*k + 111. Is 9 a factor of a(22)?
False
Suppose 0 = -2*o - 10, 2*k - 1612 = 56*o - 60*o. Is k a multiple of 48?
True
Suppose -22*r + 19*r = -12. Suppose r*u - 9*u + 1000 = 0. Is 50 a factor of u?
True
Let f = -106 + 151. Let n = f - 5. Is n a multiple of 10?
True
Let i = -55 - -58. Suppose -i*v + 152 + 28 = 0. Is 15 a factor of v?
True
Suppose -24*c = -28*c + 1072. Let b = c + -191. Is 11 a factor of b?
True
Suppose -5*f - 56*k + 59*k + 4338 = 0, 0 = 4*f + 2*k - 3466. Is 5 a factor of f?
False
Let j(t) = 6*t + 42. Is j(10) a multiple of 3?
True
Let o(t) = 2*t - 13. Let f be o(9). Suppose 2*h - 172 = 2*m, -f*m + 0*m = -10. Is h a multiple of 22?
True
Suppose -m + 693 = b, -2*m + 5*b + 1365 = -0*m. Is 23 a factor of m?
True
Let c(g) = -g**3 - 12*g**2 - 12*g - 10. Let d(y) = 2*y**3 + 25*y**2 + 23*y + 21. Let w(v) = 9*c(v) + 4*d(v). Is 18 a factor of w(-6)?
True
Suppose -4*d = 20, 2*d - 29 + 4 = -5*t. Let a = 45 - t. Is a a multiple of 6?
False
Suppose 9*c + 12 = 6*c. Is 22 a factor of (-5 - c)/(1/(-88))?
True
Let l(g) = -g**2 + 5*g - 4. Let q be l(3). Suppose -c - 13 = 6*i - 3*i, 5*c = q*i - 14. Let a(t) = -2*t**3 - 5*t**2 - 4*t - 3. Is 6 a factor of a(i)?
True
Suppose 36 = 5*t - 0*k - k, -5*t = 3*k - 52. Let c(r) = r**3 - 7*r**2 - 7*r + 13. Is 3 a factor of c(t)?
True
Suppose 5*z + 2*x = 3339, 3*z + 9 = -4*x + 2018. Is 48 a factor of z?
False
Let f(b) = b**3 - 8*b**2 - 9. Suppose -6*j + 36 = -2*j. Does 12 divide f(j)?
True
Let m(d) = -27*d + 6. Does 40 divide m(-6)?
False
Let k(w) = -26*w + 17. Let z(a) = -52*a + 33. Let p(r) = 5*k(r) - 2*z(r). Is 18 a factor of p(-6)?
False
Let p(t) = t**2 - 5*t + 7. Does 7 divide p(7)?
True
Suppose -6*d - 200 = 484. Let t = 282 + d. Is 46 a factor of t?
False
Suppose 2*p - 14*a + 11*a = 258, -a + 516 = 4*p. Does 4 divide p?
False
Let v(l) = -l**2 + 77*l - 75. Does 14 divide v(70)?
False
Let w(b) = b**2 - 28*b - 38. Is w(-7) a multiple of 23?
True
Let j = 22 - 24. Does 16 divide (-94)/(24/(-18)*(-3)/j)?
False
Let u(j) = j**3 + 4*j**2 - 6*j - 7. Let t(h) = 2*h**3 + 8*h**2 - 12*h - 13. Let n(q) = -4*t(q) + 7*u(q). Suppose -6*v - 2*v - 48 = 0. Is 13 a factor of n(v)?
True
Let d = -54 - -56. Does 43 divide 12/(-8) + 439/d - 3?
True
Let b(w) = 9*w + 0*w - 7*w**2 - 21 - w**3 + 24. Let f be b(-8). Does 5 divide (f/10)/(2/(-64))?
False
Let o = -39 + 54. Suppose 2*p + 3*p = -o, d + 4*p - 236 = 0. Does 58 divide d?
False
Let o = -1872 + 4570. Is 19 a factor of o?
True
Suppose -3*c - 14 = -3*a + 163, 236 = 4*a + 3*c. Is a a multiple of 2?
False
Let w(v) = -3*v**2 + 13*v + 6. Let o be w(7). Is ((-220)/o)/(4/50) a multiple of 4?
False
Let g(m) = -m**3 + 44*m**2 - 50*m - 340. Is g(42) a multiple of 125?
False
Suppose 3062 = 3*h - 5*l, 49*h - 4*l = 44*h + 5112. Is h a multiple of 59?
False
Let b(p) be the third derivative of -23*p**6/40 + p**5/30 - p**3/6 + 5*p**2. Is b(-1) a multiple of 20?
False
Let c = 1236 + -1026. Is 14 a factor of c?
True
Is (-4)/(-6)*-1 - 3176/(-12) a multiple of 24?
True
Suppose -3*l + h - 7 = 0, -4*l - l + 4*h - 14 = 0. Does 9 divide 1180/30*(-3)/l?
False
Let j(f) = -f**2 + 7. Let z be j(3). Let a be 0/((-3)/(-3) + z). Suppose a = -2*k - 0*k + 132. Is k a multiple of 13?
False
Let l(x) = -x - 1 + 5 + x - 6*x. Let k = 5 + -9. Is 28 a factor of l(k)?
True
Let i(p) = -p**3 - 4*p**2 + 2. Let c be i(-4). Let g = -3 + 5. Suppose g*l + l - c*k = 31, -59 = -3*l - 5*k. Is l a multiple of 9?
False
Suppose 0 = l - 5*v - 786, -11*v + 12*v = -5*l + 3956. Does 15 divide l?
False
Let p = 800 + -332. Is p a multiple of 18?
True
Let p = 25 - 194. Let l(z) = -9*z - 5. Let t be l(10). Let q = t - p. Does 37 divide q?
True
Let q(j) = -22*j + 8. Suppose 0*p = p - a + 11, 5*p + 35 = a. Let v be q(p). Suppose 0 = -4*d + 52 + v. Does 12 divide d?
True
Let f = -61 - -96. Let s = f - -85. Is s a multiple of 30?
True
Suppose -3*q + 26 = -4*v, q = -4*q - 2*v. Let y(x) = -q + 5 - 2 + 2*x. Does 7 divide y(3)?
True
Let v(w) = w**3 - 7*w**2 + 14*w - 5. Let d be v(5). Suppose -h + 39 = h + 5*c, -h + d = c. Does 6 divide h?
True
Let u be (-32)/5 + 18/45. Let q = u + 17. Is 5 a factor of q?
False
Let p(b) be the first derivative of 16*b**3/3 - b**2/2 + 3*b - 24. Is 12 a factor of p(-2)?
False
Let g(i) = 2*i**2 - 6*i - 16. Let x be g(8). Suppose h - 4*c - x - 84 = 0, 4*h - 664 = -2*c. Is 21 a factor of h?
False
Let h = 36 + 14. Suppose h + 150 = 5*n. Is 5 a factor of n?
True
Let t be 5/(-125)*-5*15. Suppose -3*a + 2*h - 7*h = 8, 8 = 5*a + t*h. Is a a multiple of 3?
False
Is (-22)/(-110) - (0 - (-13887)/(-15)) a multiple of 76?
False
Let q(u) = -u + 5. Let j be q(2). Suppose -7*w - 4*z + 24 = -j*w, 5*z - 22 = -w. Is 2 a factor of w?
True
Let u(l) be the second derivative of -l**5/20 + 3*l**4/4 - l**3/3 + 5*l**2/2 + 5*l. Does 9 divide u(8)?
False
Suppose -19*d = 21*d - 46840. Does 21 divide d?
False
Let g = 3 - 2. Let m = 55 + g. Does 14 divide (m/10)/((-8)/(-20))?
True
Suppose -4*q + 3*r + 5298 = -4931, 0 = 5*q + r - 12791. Is 115 a factor of q?
False
Let m = -210 - -413. Is m a multiple of 19?
False
Let j(t) = 2*t**3 - 5*t**2 + t - 4. Let r(s) = 4*s - 1. Let y be r(2). Suppose -2*g = -y*g + 20. Does 16 divide j(g)?
True
Let p(i) = -2*i + 128. Does 8 divide p(0)?
True
Is 35 a factor of (-2 - -5) + (489 - -1)?
False
Suppose 24*t = 26*t - 238. Suppose s = -5*c - 0*c + t, 2*c + 98 = s. Is s a multiple of 26?
True
Let q(n) = n**2 + 4*n - 12. Let i(g) = -3*g**2 - 9*g + 25. Let l(y) = -4*i(y) - 9*q(y). Let b be l(8). Suppose -b = -d - 4*d. Is d a multiple of 9?
False
Let m(q) = -3*q**2 + 50*q - 25. Does 13 divide m(12)?
True
Let s = -2538 - -5206. Is s a multiple of 29?
True
Let t(a) be the third derivative of a**4/12 + 13*a**3/3 + 14*a**2. Is t(11) a multiple of 8?
True
Let c = -11 + 13. Suppose -4*l = -c*o + 36, -3*o + 0*o + 4*l = -46. Let v = -8 + o. Is 2 a factor of v?
True
Suppose 0 = 2*n - 3*l - 366, 0*n = -2*n + 2*l + 370. Suppose 13 + 5 = 9*o. Suppose 74 = k - 4*d - 19, 0 = -o*k + 5*d + n. Is 13 a factor of k?
False
Let w be 6/((-2)/(-4)*-3). Does 12 divide -2 + w + 5 + 72?
False
Let z(d) = 3*d**2 + 3*d + 9. Let g be z(-4). Let i = 51 - g. Is i a multiple of 6?
True
Let w(h) = -h + 3. Let o be w(7). Suppose 0 = -i + 6 - 4. Is i/16*-14*o a multiple of 2?
False
Suppose -2*p + 10 = 6. Suppose -93 + 1 = -p*w. Does 15 divide ((-1035)/w)/(6/(-8))?
True
Let m = -1115 + 2247. Is m a multiple of 23?
False
Let i be -22 + 28 + (-4)/1. Suppose -4 = i*l, -l - 81 - 33 = -f. Is 14 a factor of f?
True
Suppose 1448 = 11*l - 565. Is l a multiple of 61?
True
Is 9/6*128640/45 a multiple of 141?
False
Let h(o) be the second derivative of -6*o**2 + 0 - 1/2*o**3 + 5*o. Is 18 a factor of h(-10)?
True
Let k(s) = s**3 + 2*s**2. 