uppose 0 = 5*b - 10*b + 300. Does 16 divide b?
False
Let d = -8 + 20. Suppose -2*x + 1 = -3*l + d, 1 = 2*l + 5*x. Suppose -h + w + l = 0, -18 = -h - w - w. Is h a multiple of 3?
False
Does 8 divide (52/(-10))/(18/(-45))?
False
Suppose 7*j - 184 = 3*j + 2*w, 2*w = -5*j + 248. Does 24 divide j?
True
Let k = 6 - 4. Suppose -b + k*b - 16 = 0. Does 8 divide b?
True
Let o = 287 - 124. Does 36 divide o?
False
Suppose 0 = 2*x + 3*j + 24, 4*j = 3*x + 5*j + 36. Does 21 divide 1/6 + (-502)/x?
True
Let i be (-2)/4*(-7 + 7). Suppose i = -3*j + 13 - 4. Does 3 divide j?
True
Is 35 a factor of 2 - ((-509)/3 - (-26)/39)?
False
Let s be 1/(0 - (-2)/6). Suppose 5*y = -m + 90, 0*y + s*m = 4*y - 72. Is 9 a factor of y?
True
Suppose 0 = -n + 2*n - 5. Suppose -4*r - 2*f = -14, -4*r = -0*f + n*f + 1. Does 6 divide r?
True
Suppose 3*k - 3*x = 2*x + 152, k = -4*x + 62. Is 18 a factor of k?
True
Is 98 + 0 + 3 + -1 a multiple of 20?
True
Suppose -8 = -4*k + 2*k. Suppose k*c - 5*o = 345, 2*c - 4*o - 224 = -44. Let u = c - 41. Is u a multiple of 18?
False
Let o(w) = w + 9. Let j be o(-7). Suppose 0 = -j*k + 4*f + 10, 5*f = -4*k + 3*f + 20. Suppose 49 + 21 = k*q. Does 7 divide q?
True
Let y(b) = 4*b. Let t(m) = 3*m. Let r(x) = -3*t(x) + 2*y(x). Does 3 divide r(-8)?
False
Suppose 5*c = 1 + 4. Let t be (-145)/20 - c/(-4). Let s(z) = -z**3 - 7*z**2 - 4*z + 4. Is 16 a factor of s(t)?
True
Let g be (8/(-6))/((-4)/(-12)). Let x be 0 + -1 - -19*1. Does 15 divide (132/x)/(g/(-18))?
False
Does 19 divide 0 - (-338 - 4 - -1)?
False
Let a = -8 - -6. Let x(o) = 2*o + 8. Let j be x(-7). Is 7 a factor of ((-38)/j)/(a/(-6))?
False
Suppose 5*r - 5*z = 10, 4*z = 2*r - 20 + 8. Does 4 divide (7/r)/(2/(-4))?
False
Let x = -1 - -4. Suppose -x*s - s + 98 = -2*y, 3*y - 87 = -3*s. Does 11 divide s?
False
Is 27/(((-2)/36)/(4/(-6))) a multiple of 18?
True
Let n(l) = -l**3 - 5*l**2 - 5*l. Let j be n(-4). Suppose -5*a + j*a + 2 = 0. Suppose 7 = s + a*w, 5 = 4*w - 3. Is s a multiple of 3?
True
Let y be (-2)/(-3)*(-15)/10. Let n be y/(-2) + (-77)/(-14). Let k(c) = c**2 - 2*c - 3. Does 7 divide k(n)?
True
Suppose 0 = -d - 1, 2*d + 37 = 5*g + 5*d. Suppose 0 = i - 4*a - g - 51, -5*i + 270 = 5*a. Suppose -3*w + i = -m, 0*m - 2*m = 5*w - 88. Does 6 divide w?
True
Let b(k) = 10*k - 2. Suppose -3*q - 4 = -4*q. Suppose -16 = -q*s, -1 = x - 2*s + 4. Does 19 divide b(x)?
False
Let i = -25 + 39. Does 6 divide i?
False
Suppose 4*v - 305 = -5*w, -4*w + v - 27 + 292 = 0. Is w a multiple of 13?
True
Suppose 177 = 4*c + 2*z - 399, -5*z + 720 = 5*c. Is 18 a factor of c?
True
Let r(q) = q**2 - q + 10. Let p be r(0). Suppose 3*i - w - 80 = 0, 2*i - p = 5*w + 52. Does 9 divide i?
False
Suppose 0 = 4*f - 3*m + 35, -3*m = -2*f - 0*m - 19. Let g(z) = -5*z - 2. Let y(k) = -14*k - 7. Let w(r) = -8*g(r) + 3*y(r). Does 6 divide w(f)?
False
Suppose -l = 3*x - 2*x - 52, -3*x - 2*l = -160. Does 8 divide x?
True
Let o be 4/(-3)*(-3)/2. Suppose -3*r = 3*v - 126, -2*v - o*v + 90 = 2*r. Does 13 divide r?
True
Let x be -9*((-10)/6 + 2). Let u be (189/3 - x) + 2. Let d = 102 - u. Is 9 a factor of d?
False
Let t(g) = g + 1. Suppose -2*k = 5*a - 19, 8*k + 4*a = 3*k + 56. Is 13 a factor of t(k)?
True
Suppose 0 = 2*b - 7 + 19. Let c(j) = j**3 + 8*j**2 - 3*j - 1. Let m be c(b). Let x = m - 43. Is 22 a factor of x?
False
Let y(f) = 57*f**2 - 2*f - 1. Let s be y(-2). Suppose g + 4*q = 71, -4*g + q = 15 - s. Is g a multiple of 11?
True
Is 70/(-2*5/(-10)) a multiple of 22?
False
Suppose -s - 21 + 2 = 0. Let x = s - -43. Is 12 a factor of x?
True
Let p be (-2 + 1)/(2/6). Let l = p + 7. Suppose 2 - 46 = -l*d. Does 9 divide d?
False
Let o = 5 + -3. Let h be (o + (2 - 1))/(-1). Let f = h - -17. Is f a multiple of 7?
True
Let s(p) = -p + 3. Let g be s(6). Let v be (g + 1 + 1)*-3. Suppose -v*d - d = -56. Is d a multiple of 14?
True
Let w = 618 + -304. Is 13 a factor of w/8 - (-2)/(-8)?
True
Let m(x) be the second derivative of -x**5/20 - x**4/6 + 2*x**3/3 + 3*x**2 - x. Let g = -13 - -9. Is m(g) a multiple of 8?
False
Let d be (-2)/(-4) + (-11)/(-2). Is d/(-8)*(1 - 37) a multiple of 12?
False
Let z = -84 - -120. Is z a multiple of 13?
False
Let p = -4 + 5. Suppose -2*k + 7 = p. Let i = k + 5. Is 8 a factor of i?
True
Is 20 a factor of (-1795)/(-35) - (-2)/(-7)?
False
Let q(z) = z**3 + 11*z**2 - 29*z + 11. Is 2 a factor of q(-13)?
True
Suppose 4*x + 159 = 719. Is x a multiple of 35?
True
Suppose -3 = 4*s - 27. Suppose g - s*g + 305 = 0. Suppose -2*m = -3*y + g, 5*y - 3*m - 110 = 2*m. Does 6 divide y?
False
Let j = -1 - 1. Is 3/j*2 + 35 a multiple of 21?
False
Suppose -3*p = -p + 10. Is 11 a factor of (-272)/p - 6/(-10)?
True
Let n = -4 - -7. Suppose 2*a - 2*d = 5*a - 251, 6 = -n*d. Suppose -5*z + 50 = -a. Is 14 a factor of z?
False
Suppose 4*g - 80 = 5*t, 3*g - 28 = 4*t + 31. Suppose -4*p + 15 = 5*j - g, -2*p + 5*j + 20 = 0. Does 6 divide p?
False
Suppose 0*g = 2*g - 8, 4*s - g = 156. Let o be (6/5)/(2/5). Is 14 a factor of s/o - (-4)/6?
True
Suppose -2*t + 12 = t. Suppose 224 = 4*h - 2*h - t*u, -2*h = 5*u - 242. Suppose -5*b + b + h = 0. Is b a multiple of 23?
False
Let g(y) = y. Let w be g(5). Let f(j) = -w*j + 5*j + 28 + j. Does 19 divide f(0)?
False
Suppose p = 7*g - 2*g + 134, -4*p + 572 = -2*g. Is 16 a factor of p?
True
Suppose -5*a + 70 = 30. Is a a multiple of 8?
True
Suppose -2*g + 3 = g - 3*n, 4*g - n = 10. Suppose g*v = -v. Suppose v = 5*z + 10, 62 = 4*m - 2*z - z. Is 7 a factor of m?
True
Let i(a) be the second derivative of 2*a - 11/2*a**2 + 0 - 5/2*a**3 - 1/12*a**4. Is 14 a factor of i(-11)?
False
Let p(w) = 15*w - 14*w + 7 + 3. Let j be p(-8). Let y(h) = 4*h**2 + 3*h - 2. Does 16 divide y(j)?
False
Let h(b) = -b**3 - 2*b**2 + 6*b - 6. Does 10 divide h(-5)?
False
Let l(q) = 2*q - 6. Let o be l(5). Let u be 0 - (13 + o/(-2)). Let x = -3 - u. Is 3 a factor of x?
False
Suppose 2*a + 215 = 4*k + a, 0 = k + 4*a - 41. Is 4 a factor of k?
False
Let r(d) = d - 3. Let o be r(3). Suppose 0 = 5*t - o*t + 15. Is 38/t*(-18)/12 a multiple of 11?
False
Suppose 3*m - 130 = 2*q + 220, -5*m = -q - 595. Is m a multiple of 24?
True
Let j(p) = p**3 - 7*p**2 - 8*p + 3. Let t be j(8). Suppose -t*i + i - 22 = -4*y, 3*y = 3*i + 18. Does 10 divide i + 0 - (1 - 12)?
True
Suppose -2*k + 0*q + 2*q + 320 = 0, 0 = 2*k + 2*q - 324. Suppose 0 = 5*m + 2*c - k, -4*m + 0*c + 126 = 3*c. Does 18 divide m?
False
Suppose -3*o = -6*o + 231. Suppose 3*v + 51 = 5*q - 32, -3*q = 5*v - o. Is 12 a factor of q?
False
Let z(l) = -9*l**3 + 2*l**2 - 2. Let x(u) = u**3 + 9*u**2 - u - 11. Let m be x(-9). Is z(m) a multiple of 39?
True
Let j be -7*((-2)/1 - -1). Suppose j*z = 2*z + 70. Is 7 a factor of z?
True
Let k = -3 - -7. Suppose 2*b - 28 + k = 0. Is b a multiple of 12?
True
Let g(o) = -3*o - 5. Let r be g(-5). Let h = r - 3. Is 7 a factor of h?
True
Let t = -47 + 71. Is 12 a factor of t?
True
Suppose -2 = -k - 0. Suppose k*a = -2, 0 = 2*i + 2*i - 4*a + 16. Let s = 11 + i. Is 6 a factor of s?
True
Let i = 6 - -67. Is i a multiple of 18?
False
Let d(n) = 0*n - 8*n**2 + 7*n**2 + 154 + 0*n. Let f be d(0). Suppose 4*y - f - 6 = 0. Is 20 a factor of y?
True
Let l(u) = -5*u + 2. Is l(-10) a multiple of 6?
False
Suppose 8 = -4*v, 3*m + v = -2*m - 22. Let b be 33 + m*(-3)/6. Suppose -2*d + 3*j + 30 = d, b = 4*d - 3*j. Is d a multiple of 5?
True
Suppose 4*q - 3 = 5, 4*q + 772 = 5*o. Is 52 a factor of o?
True
Let k(t) = 2*t + 4*t**2 - 1 + 4*t**2 - 7*t**2. Let a be k(-3). Suppose -14 - 10 = -a*n. Is n a multiple of 4?
True
Suppose 3*j - 2*k + 4 = 0, 3*j - 4*k - 4 = -0*k. Let u be j/14 - 270/35. Let y(h) = -h**2 - 11*h - 2. Is y(u) a multiple of 11?
True
Let i(h) = h**2 - 6*h + 24. Is i(15) a multiple of 15?
False
Suppose -3*n + 90 = 4*o, 5*o + 23 = -2*n + 83. Does 3 divide n?
True
Suppose 0 = 5*v + o - 1470, -3*v + 3*o - 8*o + 860 = 0. Does 14 divide v?
False
Let k = 23 - 13. Does 5 divide k?
True
Let z(n) = -n + 12. Is 7 a factor of z(-9)?
True
Let i(x) = x**3 - 4*x**2 + 2*x + 4. Let y be i(4). Let s be 4/(-14) + (-2)/(-7). Suppose 4*l - y = 0, s*t - 2*t + 2*l = -40. Does 9 divide t?
False
Suppose 0*a + 2*a - 6 = 0. Suppose 2*b = a*b - 14. Does 14 divide b?
True
Let a(w) = 3*w**2 - w**3 - 2 + w**2 + 3*w + 7*w**3 - 5*w**2. Is 2 a factor of a(1)?
True
Let s = 17 - 7. Does 3 divide s?
False
Is (1/