) = -a**2 + 10*a + 6. Let l(x) = 11*b(x) + 2*m(x). Does 8 divide l(-12)?
True
Is 21 a factor of -3 + 4 + -37*(-3 - 1)?
False
Suppose 0 = 2*v - 5*v - 3*n + 255, 0 = 5*v - 2*n - 390. Is v a multiple of 10?
True
Let m(z) = -14*z. Let i be m(-1). Suppose 13 = -5*l - 2*k, 3*l - 2*k + i = -l. Let g(s) = -s**3 - 2*s**2 - 4*s. Is 11 a factor of g(l)?
False
Let d(u) = 9*u + 29. Does 8 divide d(3)?
True
Suppose 5*i = 5*r, 2*i - 3 = r - 0*r. Is 18/(-3)*(-14)/r a multiple of 14?
True
Suppose 0 = -3*z + 5*k + 206, -5*z = -4*k - 4 - 361. Suppose -5*g - 5*h = 15, h + 2 = -3. Suppose -g*c - 3*j = -0*j - z, -25 = -c + 3*j. Does 20 divide c?
False
Let u = 2 - 5. Suppose 0 = -4*l + 4*k + 16, 3*l + 2*k = 8*l - 35. Does 11 divide ((-66)/l)/(u/9)?
True
Let q(n) = -n - 3. Let m be q(-5). Is 11 a factor of m/4 - (-344)/16?
True
Let c = 12 - 7. Let g(o) = o**3 - 3*o**2 - 6*o + 2. Is g(c) a multiple of 17?
False
Let u be 66/14 - (-2)/7. Suppose 0 = 5*h - 15. Suppose -u*p = h*m - 32, 0*m + 5*m = 2*p + 74. Is m a multiple of 8?
False
Let v = 24 + 13. Suppose -4*q - v + 153 = 0. Does 11 divide q?
False
Let k = 5 + -4. Let z = k + -2. Does 11 divide z - (2 + (0 - 14))?
True
Suppose 5*a = 3*m - 8*m - 10, 2*m - 31 = 5*a. Suppose m*c = 4*c - 32. Suppose -u = 3*u - c. Is 7 a factor of u?
False
Let l be 0 + -2 + 1 + 3. Let x be l/3 - 40/6. Is 4 a factor of (-5)/(45/x)*9?
False
Let l(a) = a**3 - 6*a**2 - 5*a - 9. Let c be l(7). Suppose 2*r + 58 = -2*g - 0*g, 2*g + 58 = -c*r. Is 9 a factor of g/(-3) + (-8)/12?
True
Let f(x) = x + 2. Let b be f(5). Suppose 0 = -5*v + 5*k - 15, v = -0*v - 4*k + b. Does 3 divide 9/15*(-5)/v?
True
Suppose -3*u + 1 = -5. Suppose -16 = -2*i - u*i. Is i even?
True
Let r(v) be the second derivative of v**3/6 + 2*v. Is r(3) a multiple of 3?
True
Suppose 7*i + 42 - 798 = 0. Is i a multiple of 9?
True
Suppose -4*f = -2*a + 3*a + 61, -2*a = 2*f + 32. Let v = -6 - 6. Is v/f*(-15)/(-2) a multiple of 3?
True
Let v = -7 - -31. Suppose -4*p = -j - 6 + 29, -v = -4*j - p. Let o = j - -9. Is 8 a factor of o?
True
Let s = -120 + 187. Is 23 a factor of s?
False
Suppose -15 - 1 = -4*r. Suppose -2*a - 20 = -r*a. Is 7 a factor of a?
False
Let z(b) = -b + 16. Is 4 a factor of z(8)?
True
Let w be -2*(1 - (-14)/(-4)). Is 10/3*(w - -1) a multiple of 20?
True
Let o = -9 + 11. Suppose 3*a - 2*d = 47, o*d + 14 = -2*a + 52. Is a a multiple of 8?
False
Let n(j) = 4*j + 15. Let r(l) = 3*l + 16. Let v(i) = -5*n(i) + 4*r(i). Is v(-5) a multiple of 11?
False
Let t(d) = -d - 5. Let l be t(4). Let v = 15 + l. Is v a multiple of 3?
True
Is -1*(5 - 0) + 189 a multiple of 12?
False
Suppose 0 = -s - 5*j + 263, -9*s + 11*s = -5*j + 516. Is s a multiple of 39?
False
Let s be 1/2*(0 - 0). Suppose s*i - f = 4*i - 35, -2*i - f = -17. Is i a multiple of 5?
False
Suppose 2*h = 15 - 7. Suppose 3*y + 40 = h*y. Does 20 divide y?
True
Let v be (-76)/10 - 6/15. Does 17 divide v/6*(-51)/2?
True
Let o(n) = n**3 - 5*n**2 - 4*n - 10. Let a be o(7). Let s = -119 + a. Let y = s - -88. Does 14 divide y?
False
Is 9 a factor of 10/30 - (-1 - 652/6)?
False
Let k(u) = -6*u - 18. Is k(-8) a multiple of 15?
True
Does 16 divide (24/(-14))/((-36)/882)?
False
Let f = -21 - -153. Suppose 0 = -3*y, -3*k - y = -6*k - f. Does 2 divide 2/(-5) + k/(-10)?
True
Let m = -58 - -98. Does 8 divide m?
True
Suppose 5*l + 0 = -10. Is 10 a factor of 20/(-3*l/6)?
True
Suppose 0 = 3*l - 2*r + r + 85, 35 = -l - r. Let m be (24/(-18))/(2/l). Suppose 2*c = m - 0. Is 10 a factor of c?
True
Let t(a) = 16*a - 2. Is t(4) a multiple of 9?
False
Suppose 0 = -5*v + 20, 2*u - 6 = -2*v + 4. Let a(c) = 5*c + 1 + u + c**2 - 11*c. Does 2 divide a(6)?
True
Does 18 divide (-73 + 0)*(-5)/5?
False
Suppose 0 = -4*a + 4*m + 16, 2*a = -3*m - 1 - 1. Is 41/a - 1/2 a multiple of 9?
False
Let h(b) = -b**3 - 5*b**2 + 3*b + 3. Let n be h(4). Is ((-2)/6)/(1/n) a multiple of 10?
False
Let k(o) be the first derivative of o**4/4 + 4*o**3/3 + o**2 + 2*o - 2. Is k(-3) a multiple of 4?
False
Let d be (660/(-40))/(3/(-4)). Suppose -76 + d = -3*b. Is 5 a factor of b?
False
Suppose -2*y + 2*z + 86 = 0, -2*y + 7*y = 2*z + 230. Does 16 divide y?
True
Suppose 0 = -3*y - 0*y - 15, -2*l = 4*y + 14. Does 3 divide l?
True
Let i(s) = 4*s - 1. Is 7 a factor of i(8)?
False
Let n(t) = t**3 - 6*t**2 + 3*t - 7. Let c(o) = -2*o**3 + 13*o**2 - 6*o + 15. Let m(v) = 4*c(v) + 9*n(v). Let p be m(2). Is 4 a factor of 6 - 1*(-3)/p?
False
Let q(t) = t**3 + 13*t**2 + 11*t + 2. Let x be q(-12). Suppose -f - 3*y = 3 + x, -2*f = 5*y + 29. Is (-110)/(-15)*(-3)/f a multiple of 5?
False
Let l = -36 - -62. Does 26 divide l?
True
Let t be ((-18)/24)/((-2)/24). Is 9 a factor of t - (-1 + (-2)/(-2))?
True
Let q(g) = 2*g**3 + g + 1. Let y be q(-1). Let d(x) = 18*x - 1. Let b(r) = -54*r + 2. Let t(z) = 4*b(z) + 11*d(z). Does 14 divide t(y)?
False
Is 30*(-3 - 55/(-15)) a multiple of 4?
True
Let o be ((-5)/(-3))/((-1)/(-3)). Suppose 2*g - 26 = -2*k, -o*k - 4*g + 72 = -6*g. Is 7 a factor of k?
True
Let p be (5 - -2) + 0 + -2. Suppose 2*y = -0*y + z + 7, 0 = -y + 2*z + p. Suppose 3*s = 3*w + 24, -22 = -y*s + 2*w + 2*w. Is 5 a factor of s?
True
Is 259/7 - (-4 - -1) a multiple of 20?
True
Suppose 30 + 84 = 2*s. Let p be 4/(-10) - (-579)/(-15). Let v = s + p. Is v a multiple of 18?
True
Let f = -11 + 22. Let y = f - -3. Is 5 a factor of y?
False
Suppose -5*i + 20 = -5*r, 4*i + 14 = -r - r. Let d(u) = 6*u**3 - 2*u**2 - 2*u - 1. Let h be d(-1). Is (h/(-2))/(i/(-6)) a multiple of 8?
False
Let m(h) = -11*h - 4. Let l be m(-3). Suppose -t = -5*n + 18, 6*t - 2*t = -3*n - 26. Let f = l + t. Is 12 a factor of f?
False
Let r be (-3 + 3)/(1/1). Suppose 10 = -n - r. Is 2/((-4)/n)*2 a multiple of 10?
True
Let y(p) = 13*p + 35. Let n(v) = 6*v + 17. Let s(z) = -9*n(z) + 4*y(z). Let l be s(-9). Let m = -3 + l. Is m a multiple of 2?
True
Let p be (2 - 3)*1 + 0. Does 21 divide 25*(1 - (p + -1))?
False
Let z(q) = q**2 + q + 8. Let s be z(9). Let r = s + -52. Is 23 a factor of r?
True
Suppose -3*p + 4 = g + g, 0 = 5*p - g - 11. Suppose 3*c - 31 = p*c - k, 151 = 5*c + k. Suppose 3*z - z = c. Does 5 divide z?
True
Suppose -6*x + 2 = -22. Suppose -2*b - 5*t + 59 = -0*b, -5*b + 98 = -x*t. Does 11 divide b?
True
Let m = 21 - 4. Let s = 25 - m. Is s a multiple of 8?
True
Suppose 0 = 5*d + 4*j - 174, d + 33 = 2*d - j. Is 7 a factor of d?
False
Let w = 20 + -2. Let u = w + 7. Is u a multiple of 8?
False
Let x = -10 + 64. Does 33 divide x?
False
Suppose 0 = 2*c + 5*g - 62, 4*c - 106 = g - 2*g. Suppose 9*m - 11*m = -c. Is 6 a factor of m?
False
Let n be 6/(-3) + 2 - 0. Is 12 a factor of n + -1 - (-29 - -2)?
False
Let i(x) = x**2 + 4*x + 3. Let j be i(-4). Suppose 4 = -j*u + 22. Suppose -4*t - u = -5*t. Does 6 divide t?
True
Let s(y) = y + 1. Suppose -g + 5*v = 3*v - 5, 5*g + 4*v - 11 = 0. Let r be s(g). Suppose -r*h = 4 - 76. Does 9 divide h?
True
Let y be 1 + 7/(-2)*4. Let s = 24 + y. Is s a multiple of 5?
False
Let r = -10 + 15. Suppose 17 = 5*z + 2, -4*x + 27 = r*z. Is 3 a factor of x?
True
Let i = 15 - -26. Let g = i + 19. Is 30 a factor of g?
True
Let m(o) = o**2 - 5*o + 5. Let a be (-18)/(-4)*(-8)/(-6). Is m(a) a multiple of 11?
True
Let w(i) = i**2 + 10*i - 17. Is 5 a factor of w(-13)?
False
Suppose 5*k = 5, -4 = i - 0*i - 4*k. Suppose 0 = -l + 2*f - 22, i = -5*l + f - 165 + 55. Is 11 a factor of l/(-3)*9/6?
True
Let g = -16 + 62. Let x = 67 - g. Is 10 a factor of x?
False
Let l be (-2*1)/(5 + -6). Suppose -l*a + 3*a = 54. Is 21 a factor of a?
False
Let n be 1/2 - 30/4. Is 15 a factor of 2 + n/(7/(-36))?
False
Is 28 a factor of (-1)/((-1294)/(-324) - 4)?
False
Suppose 3*a = -9, 2*r + 4*a = 4 - 6. Suppose 0 = -2*h + 3*l + 1 + r, -2*h - 4*l - 8 = 0. Suppose 46 = 2*f - 4*v, 2*f - 43 = -h*v + v. Is 10 a factor of f?
False
Let l = 15 - -15. Is l a multiple of 6?
True
Let f = -7 + 12. Let v(w) = -7*w**2 + 24*w - 20. Let d(l) = 4*l**2 - 12*l + 10. Let m(b) = f*d(b) + 3*v(b). Is m(10) a multiple of 5?
True
Let c = -13 - -27. Let v = c - 10. Does 2 divide v?
True
Is (20/(-8))/(2/(-24)) a multiple of 25?
False
Let p be 153/(-18) - 2/4. Let l = 1 - p. Does 4 divide l?
False
Is 9 a factor of (-2)/(-4)*62*1?
False
Is 1 - (-10)/5 - -295 a multiple of 13?
False
Let m(p) be the first derivative of 9*p**4/4 - 2*p**3/3 + p + 2. Is 3 a factor of m(