 - b. Is i a multiple of 5?
True
Let a = -2734 + 1439. Does 16 divide (-2)/(-9) - a/45?
False
Suppose -2 = -3*z + 592. Suppose 3*n + 99 = i, 0 = i - 3*i - 2*n + z. Suppose m + i = 4*m. Does 12 divide m?
False
Suppose -2*h = 5*i - 10, 5*i - 3*h + 0*h - 10 = 0. Suppose g - 34 = -i*a, 0 = g - 3*a - a - 4. Let w = -17 + g. Is w a multiple of 3?
False
Suppose -234 = 33*l - 42*l. Does 23 divide l?
False
Let a = 107 - -25. Does 11 divide a?
True
Suppose 0*a + 105 = -5*a. Let r = -17 - a. Does 2 divide r?
True
Let r be 5/(-2)*28/(-35). Suppose r*g - 80 = -2*g. Is 9 a factor of g?
False
Suppose 7*f = 413 - 98. Does 5 divide f?
True
Suppose -4*v - 116 = -4*d + 8, -16 = 4*v. Is 9 a factor of d?
True
Is 8 a factor of ((-158)/4)/((-1)/2)?
False
Let q = 41 + -93. Let o = -31 - q. Does 21 divide o?
True
Suppose 30 = -5*a + 5*r, 6 + 2 = -3*a - 2*r. Let y = a + 8. Suppose -y*q = q - 100. Does 20 divide q?
True
Suppose 4*k = 4*t - 0 + 800, 0 = -5*t. Suppose 7*f = 2*f + k. Is f a multiple of 20?
True
Suppose -m - 10 = -o - o, -5*m = -3*o + 29. Suppose o*b - 63 - 9 = 0. Is b a multiple of 24?
True
Suppose -h + 5*h - 819 = b, -b = 3. Suppose -h = -10*d + 6*d. Is d a multiple of 11?
False
Suppose 0 = -4*t + 4*l + l + 32, 8 = -4*t - 5*l. Suppose 0 = 5*u + t*q - 258, -q = 4*u - 64 - 141. Suppose f = 5*z - u, f + 21 = 5*z - 3*z. Does 3 divide z?
False
Let f(y) = -y**2 + 6*y - 4. Let c be f(4). Let u(m) = m**3 - 2*m**2 + 3*m - 6. Let h be u(c). Is h/5 + 6/15 a multiple of 7?
False
Let w(q) = 10*q. Let a(b) = -b**3 + 5*b**2 + 7*b - 2. Let g be a(6). Suppose 5*i - 12 = -y, -y + g = -0*i + i. Is 8 a factor of w(y)?
False
Suppose 2*x - 98 = -4*o, -2*o = -3*x + 2*x + 65. Suppose -u + x + 84 = 0. Is 15 a factor of 1/2 + u/6?
False
Suppose 5*c - 59 = 2*y + y, 0 = 2*c + 3*y - 11. Does 8 divide c?
False
Let j be ((-4)/10)/(2/(-180)). Suppose -3*x + 0*x = -j. Is x a multiple of 7?
False
Suppose 3*k - 1 + 4 = 0, -4*q + 15 = k. Let l(s) = 10*s**2 + s - 2. Let y be l(q). Is 15 a factor of 4/8 + y/4?
False
Let p = 14 + -7. Is 9 a factor of -1 + (3 + 1)*p?
True
Is 10*(-1)/2 - -58 a multiple of 7?
False
Let m = -4 + 8. Let y(r) = 3 + 5*r - m*r - 4*r. Is y(-3) a multiple of 6?
True
Let j be (0 - 36) + 1 + 0. Let w be (32/(-14) - -2) + 150/(-14). Let m = w - j. Does 8 divide m?
True
Suppose 2*j + 4*w + 4 = 0, 5*j + w = -3*w - 28. Let i = -1 - j. Is 7 a factor of i?
True
Let v be 10/3 + (-2)/6. Suppose k - 3*u - 90 = -7*u, 270 = v*k - u. Is 15 a factor of k?
True
Let a(h) = -20*h - 88. Does 24 divide a(-8)?
True
Let x = 4 - 7. Does 4 divide (-2 - 12)/(1 + x)?
False
Let h = 13 - 8. Let t(f) = -f**3 + 4*f**2 + 7*f - 5. Let v be t(h). Suppose 7 + 8 = v*w. Does 3 divide w?
True
Let p = -8 + 44. Let m = p - 2. Is m a multiple of 15?
False
Suppose h - t + 2*t - 106 = 0, -2 = t. Is h a multiple of 18?
True
Let w = 138 - 90. Is 12 a factor of w?
True
Suppose -7*v - 250 = -12*v. Is v a multiple of 42?
False
Let d(t) = 3*t**2 - t + 2. Let i = 11 - 9. Let r be d(i). Suppose x = 4*x - r. Is x a multiple of 4?
True
Suppose 5*z - 84 = 26. Is 8 a factor of z?
False
Let f = 65 - 35. Is 15 a factor of f?
True
Let o(s) = -s**3 + 4*s + 4. Let h be o(-3). Suppose 0 = -d + 101 - h. Suppose 4*c - d = 22. Is 13 a factor of c?
True
Let m = 15 - 9. Suppose -2*n + 3*d = 40, m*d - 2*d - 86 = 5*n. Let p = n + 54. Is 20 a factor of p?
True
Suppose 0 = 3*l + 3*k - 12, -6 = -2*l - 3*k + 2*k. Suppose -z + 0*z = c - l, 3*z = 4*c - 22. Suppose -3*s = -v - 0*v - 20, c*s = 5*v + 23. Is 7 a factor of s?
True
Let z(o) = -15*o - 11. Is z(-25) a multiple of 13?
True
Let f(m) = m - 3. Let u be f(6). Suppose 3*r + r - 56 = 4*h, -r = -u*h - 4. Does 19 divide r?
True
Let v(h) = 3*h**3 - 4*h**2 - 1. Does 23 divide v(3)?
False
Let u = -81 - -87. Let q(p) be the third derivative of 5*p**4/24 + p**3/3 - p**2. Does 16 divide q(u)?
True
Let n(h) = -2*h - 2. Let y be n(-3). Let c(i) = -i**3 + 6*i**2 - 6*i + 7. Let a be c(5). Suppose 0*w + y*w + 8 = 0, a*r - 4*w - 76 = 0. Is r a multiple of 16?
False
Let j(w) = -w**2 - 5*w + 2. Let k be j(-5). Suppose 4*u - 4*o - 140 = 0, o - k*o = -4*u + 155. Is 13 a factor of u?
False
Suppose 2*i = -2*j - 2*j + 34, -2*j = -5*i - 11. Does 7 divide 294/24 - 2/j?
False
Let l(s) = -s + 16. Let o = 14 + -5. Does 4 divide l(o)?
False
Let d = -19 + 45. Is 13 a factor of d?
True
Suppose 0 = 25*v - 20*v - 600. Is 12 a factor of v?
True
Let a(o) = o**2 + 11*o + 29. Does 18 divide a(-13)?
False
Let d(h) = h**2 - h + 134. Let n be d(0). Suppose 2*o - 4*r - 126 = 0, 3*o - 326 + n = 3*r. Suppose o = 5*z - 2*c, 13 = 3*z - c + 5*c. Does 11 divide z?
True
Let g(x) = -3*x**3 - 3*x**2 + 10*x + 7. Let m(z) = 2*z**3 + 2*z**2 - 9*z - 6. Let u(l) = 6*g(l) + 7*m(l). Is 11 a factor of u(-2)?
True
Let y = -22 + 17. Let z = 5 - y. Is 10 a factor of z?
True
Suppose -y + 388 = 3*z, 2*z - 127 - 130 = -y. Is 35 a factor of z?
False
Let i = 138 + -96. Is i a multiple of 14?
True
Let j be (-126)/(-30) - (-2)/(-10). Suppose -65 = -j*x - 1. Is x a multiple of 10?
False
Is (-1060)/(-24) + (-2)/12 a multiple of 14?
False
Let o = 110 - 89. Does 21 divide o?
True
Suppose 1 = w, -3*w - 4 = 4*x + w. Let n be 2*(1 + (-11)/2). Let z = x - n. Is 7 a factor of z?
True
Is 12 a factor of 1*(1 + 12) - 1?
True
Suppose 0 = -7*k + 1603 + 161. Does 45 divide k?
False
Let f(s) = -s**3 - 14*s**2 - 20*s - 13. Is f(-13) a multiple of 13?
True
Suppose 4*g - 41 = -5*n, -4*g + 5*n + 4 = 13. Let z = 99 + -41. Suppose 70 + z = g*k. Does 16 divide k?
True
Let o be (1 - 2)*(0 - 1). Let f = -1 + o. Suppose 10 = 5*h, h + f*h = -a + 27. Does 9 divide a?
False
Suppose -4*h - 4*m = -80, -4*h + h + 30 = -3*m. Is h a multiple of 5?
True
Let h(d) = 14*d**3 - 4*d**2 + 3*d. Is h(2) a multiple of 27?
False
Let s be 636/9*6/4. Let m = -54 + s. Is m a multiple of 13?
True
Let y(h) = h**3 - 3*h**2 + h - 1. Let o be y(2). Is (73 - o)/(0 + 2) a multiple of 19?
True
Let t(d) = d**3 - 7*d**2 + 2*d - 2. Let s be t(7). Let h = s + 4. Does 5 divide h?
False
Let t(v) = -12*v - 24. Let b(c) = 3*c + 6. Let p(m) = 21*b(m) + 5*t(m). Is 12 a factor of p(3)?
False
Let o(r) = -2*r - 5. Let v be o(-4). Suppose -4*p = -v*p - 9. Does 9 divide p?
True
Suppose 0 = -4*z + p + 16, 5*z - 5 = 7*p - 2*p. Let k = 8 - z. Let d(t) = t + 2. Is d(k) a multiple of 4?
False
Let c be (-898)/(-9) + (-16)/(-72). Let w be (48/10)/(5/c). Suppose 3*s = -s + w. Is s a multiple of 14?
False
Let m(c) be the third derivative of -c**5/60 - 5*c**4/24 + c**3/6 - c**2. Is m(-4) a multiple of 2?
False
Let i(b) be the first derivative of b**4/4 + b**3 - b**2/2 - 3. Is i(-3) a multiple of 2?
False
Let w(d) = 3*d**2 - 2 + 5*d**2 + 3 - 3 + 13*d. Let m(u) = 7*u**2 + 13*u - 1. Let y(t) = -7*m(t) + 6*w(t). Does 5 divide y(-12)?
False
Let l = -6 + 12. Suppose 2*f - l - 32 = 4*t, 3*t = -5*f + 95. Does 9 divide f?
False
Let b(o) = -o**2 - 6*o - 3. Let p = -1 - 4. Let y be b(p). Suppose -3*c + 57 = -4*l, y*c - 3*l = 21 + 18. Does 13 divide c?
False
Suppose 4*p - 150 = -p. Let n = 20 + p. Let m = -20 + n. Is 15 a factor of m?
True
Suppose 270 = 5*y + 5*j - 0*j, 5*j - 219 = -4*y. Does 9 divide y?
False
Let f = -260 - -407. Is 21 a factor of f?
True
Suppose -4*v + 5*r + 71 = 0, v - r - 14 = r. Suppose 7*n = 5*n + v. Does 3 divide n?
True
Is 44/((-20)/(-6) + -3) - -3 a multiple of 25?
False
Let k(c) = -4*c + 1 + 4*c - 3*c. Is 5 a factor of k(-3)?
True
Let f(x) = 3*x**2 + 15*x - 3. Is f(-7) a multiple of 13?
True
Suppose 0 = -3*p + 10 + 5. Suppose -p*w - 70 = -210. Is 14 a factor of w?
True
Let j be (12/18)/((-4)/30). Let k(x) = -x**2 - 9*x - 5. Is 7 a factor of k(j)?
False
Let w be (-1752)/(-60) - 4/(-5). Suppose -5*v + w = 5. Does 3 divide v?
False
Let v(b) = b. Let o be v(6). Let h(g) = -g**2 + 10*g - 4. Does 10 divide h(o)?
True
Let h(y) = 9 + 9*y**2 + 4*y**3 - 3*y**3 - 17 - 3*y. Is h(-9) a multiple of 12?
False
Suppose 0*h = -h. Let f = 0 + h. Suppose -m + 3*m - 56 = f. Is m a multiple of 15?
False
Let d(x) = -23*x - 7. Is d(-3) a multiple of 31?
True
Let v(t) = -5*t + 19. Is v(-9) a multiple of 30?
False
Let x = 61 - -4. Does 6 divide x?
False
Let f be (-32)/(-14) + (-22)/77. Suppose -4*d + 156 = -4*r, 34 = 4*d + f*r - 140. Is 22 a factor of d?
False
Suppose 2*j = -j - 3*y + 66, 2*y = -j + 25. Suppose -5*r = -r + 16, -4*i + r = -