i = v - -60. Is i a multiple of 9?
True
Suppose -36 = p - 9. Does 13 divide 2*4*p/(-6)?
False
Let o = -5 - -8. Is 3 a factor of o?
True
Let b be (-124)/(-9) + (-2)/(-9). Let y = 1 - b. Is y/(-4) + (-1)/4 a multiple of 2?
False
Let r = -67 + 212. Is r a multiple of 11?
False
Suppose 9*z = 61 + 47. Is z a multiple of 4?
True
Let x(p) = -p**2 - 6*p - 5. Is 3 a factor of x(-2)?
True
Let v be 2 + -2 + 9 + -4. Suppose 250 = v*m - 5*u, -3*u = -0*m - m + 60. Suppose -3*i + 0*i = -m. Does 9 divide i?
False
Let p(y) = 2*y + 3. Let d be p(6). Suppose n = 4*n - d. Is 5 a factor of n?
True
Suppose 0 = -2*c + 3*c - 5. Suppose 0 = c*v - 22 - 13. Let w(h) = 3*h + 5. Is 9 a factor of w(v)?
False
Suppose -3*x - 2*x = -115. Suppose -20 = -4*o, -5*z + 148 - x = -o. Is z a multiple of 13?
True
Let z(i) = -8*i - 10. Does 11 divide z(-12)?
False
Suppose -5*k = -348 - 37. Does 25 divide k?
False
Let t be (-768)/(-10) + (-3)/(-15). Let g = t - 55. Does 13 divide g?
False
Let w(q) = -q**3 + 7*q**2 + q + 5. Let j(a) = -a**3 + 7*a**2 + 2*a + 5. Let i(c) = 2*j(c) - 3*w(c). Let t be 7*(-4 - (3 + -8)). Does 2 divide i(t)?
True
Suppose -5*v - 192 = 2*t - 6*t, -227 = -5*t + 3*v. Is 6 a factor of t?
False
Let g = 2 + -3. Does 12 divide (-1)/(((-2)/g)/(-118))?
False
Let u = -51 - -61. Is 3 a factor of u?
False
Let q = 81 + -41. Let i be q/(-1 + 2) + 0. Suppose w + w = i. Is w a multiple of 10?
True
Let m(u) = -u**3 - 6*u**2 - 11*u + 14. Does 12 divide m(-6)?
False
Suppose -91 = -3*z - 4*v, -5*v - 27 + 2 = 0. Let w = z + -17. Is w + (-1)/2*2 a multiple of 16?
False
Suppose f - 2 = 2, 242 = 3*z + 2*f. Does 15 divide z?
False
Let o(k) = -k**2 - 4*k + 68. Is 8 a factor of o(0)?
False
Let m(i) = -42*i - 3. Does 9 divide m(-2)?
True
Suppose 0 = q - 3*a + 12, 5*q + 46 = -2*a + 3*a. Let v be 3/(-2)*120/q. Suppose 5*s = v + 130. Is s a multiple of 10?
True
Let a = -19 - 50. Suppose -6*n + 11*n = 550. Let h = a + n. Is h a multiple of 23?
False
Suppose 0 = -2*k - 3*k. Let o(q) = q**2 - 3*q + 7. Let r(z) = -z**2 + 4*z - 8. Let u(h) = 3*o(h) + 2*r(h). Is 4 a factor of u(k)?
False
Let g = -4 + 4. Suppose -15 = -0*r - 5*r, g = b - 2*r - 1. Is 2 a factor of b?
False
Suppose -4*t + 72 = 3*v, -120 = -5*v + 4*t - 3*t. Suppose 2*a = -0*a + v. Suppose -2 + a = 5*q. Is q a multiple of 2?
True
Let x(k) = 14*k**2 + 4*k - 1. Does 14 divide x(2)?
False
Let n(t) = 13*t + 4. Let w be n(-3). Let c = -15 - w. Does 7 divide c?
False
Suppose -4*r + 0*r + 2*y + 22 = 0, -4*y = 12. Suppose -r*v + 2*v + 66 = 0. Does 9 divide v?
False
Let q(x) = -2*x**3 - 6*x**2 - 8*x - 4. Is q(-4) a multiple of 10?
True
Suppose 3*d = 4*l + 1, -d - 7 = -4*l - l. Suppose 0 = -h - l*s + 21, 8 = s - 3*s. Is 29 a factor of h?
True
Let w(y) = 16*y - 8. Let a be w(7). Suppose a = 4*g - 4*q, 4*q + 12 = g - 20. Is g a multiple of 12?
True
Let n be 4/22 - 13/11. Let i be (2 - 2 - -17) + n. Is 12 a factor of (-54)/4*i/(-12)?
False
Let r = -1 + 4. Is 10 - (r + -2)*-1 a multiple of 3?
False
Let p(w) = 9*w**2 + 2*w. Is 35 a factor of p(4)?
False
Suppose 0 = 17*d - 22*d + 195. Does 2 divide d?
False
Let w be ((-21)/3)/(3 - 4). Is 25 a factor of 21/w + (22 - 0)?
True
Let g = -45 - -84. Suppose 0*y - g = -y. Is 13 a factor of y?
True
Let t = 26 + -22. Is -62*(t - 11/2) a multiple of 31?
True
Let j be 5 - (0 - (-3 - -1)). Suppose j*i + 14 = 5*i. Suppose -4*a - 64 = -2*n, -4*a + 1 = n - i. Is 12 a factor of n?
True
Suppose -2*s = m + m + 6, -2*m = 5*s + 15. Let p(x) = x**2 + 23. Is p(m) a multiple of 14?
False
Suppose -2*k + 14 + 44 = 0. Is 6 a factor of k?
False
Suppose -13 - 53 = -3*c. Is c a multiple of 10?
False
Suppose o + 49 = 5*z, 0*z + 5*o = -z + 15. Suppose 4*a - 6 - z = 0. Let x = a + 1. Does 2 divide x?
False
Let r = 51 + -34. Let p be 3*(-4)/(4/r). Is (-10)/(-15)*p/(-2) a multiple of 17?
True
Let k = 1 + 1. Let r be (48/(-15))/(k/10). Does 4 divide (3/2)/((-3)/r)?
True
Let g(q) = 9*q + 9. Let x = -9 - -14. Does 27 divide g(x)?
True
Let r = 8 - 5. Suppose -g = r*h, g + 3*g - 20 = -2*h. Is 4 a factor of g?
False
Suppose -2*j - 24 = -5*j. Suppose -24 = -d - 2*r, -d - r + 28 = j. Does 10 divide d?
False
Let g(d) = -2*d**3 - 2*d**2 - 7*d - 3. Does 54 divide g(-3)?
True
Let h be 108/14*210/45. Let t = 50 - h. Does 14 divide t?
True
Is (-19 + -3 + 3)*(-3)/3 a multiple of 9?
False
Suppose -6*l + 8 = -4*l + 2*z, 3*l - 14 = -2*z. Let o(y) = 9*y - 1. Does 13 divide o(l)?
False
Let l(i) be the third derivative of -i**5/60 + 5*i**4/8 + i**3/6 + i**2. Let c(y) = y. Let b(m) = -6*c(m) + l(m). Does 12 divide b(7)?
False
Let z be (4/(-2))/((-3)/(-219)). Let i be 1/((-2)/z + 0). Suppose -3 + i = 3*h + t, 0 = 5*t + 25. Is 15 a factor of h?
False
Suppose 2*p - 9 = p. Is 9 a factor of (-96)/p*-3*1?
False
Let x(v) = 0 + 3*v**2 + 9*v**2 + 0. Is 12 a factor of x(1)?
True
Let k = -30 - -19. Let f(u) = u**3 + 11*u**2 + 6. Is f(k) a multiple of 5?
False
Suppose w - 2 = 3. Suppose -w*t = -b - 118, 3*t - 56 = 4*b + 25. Is t a multiple of 6?
False
Suppose 0 = -4*t + 5*i - 204, t = 4*t + 3*i + 180. Let s be 16/t - (-275)/7. Suppose 0 = 3*b - s - 21. Is 10 a factor of b?
True
Let b(p) = 0*p**2 - 2 - 1 - 12*p - 3*p**2 + 2*p**2. Is 8 a factor of b(-8)?
False
Suppose -b = -5*b + 12. Is -1*(-18 - -3) + b a multiple of 5?
False
Let a = -2 - -15. Is 7 a factor of a?
False
Suppose 2*s + 10 = 4*l + 50, 5*s - 2*l = 68. Is s a multiple of 2?
True
Suppose -79 = -2*i + 105. Suppose 3*v - 3*z = 15, -6*v + 4*v + 1 = z. Suppose v*w - i = -16. Is w a multiple of 15?
False
Suppose -d = 3*d - 8. Suppose d*g + 41 - 241 = -3*p, 0 = -2*p + 2*g + 120. Does 21 divide p?
False
Let m = -16 + 5. Is 13 a factor of 725/55 + 2/m?
True
Suppose -5*g + 0*a - 4*a = 24, 4*g + 3*a = -20. Let t = 10 + g. Suppose 0 = -2*m - t*q + q + 86, 48 = m + 3*q. Is m a multiple of 21?
True
Let x(u) = u**2 - 4*u + 8. Is x(7) a multiple of 29?
True
Let u(f) = -f**3 + 4*f**2 - f. Is u(2) a multiple of 2?
True
Let h be -4 + 1*(4 + -2). Let c be h/(-7) + (-666)/(-21). Suppose 5*b = b + c. Is b a multiple of 8?
True
Suppose -6*v + v = 130. Let x = -12 - v. Does 7 divide x?
True
Let p(m) = -m**3 - 6*m**2 - 2*m - 1. Let a(r) = r**3 + r**2 - 4*r. Let k be a(-3). Does 11 divide p(k)?
True
Let j = 21 - 11. Suppose 18 = 4*d + 5*x, -4*x + 3 = 3*d - j. Does 6 divide d?
False
Suppose -4*m = 3*o + m + 1, 5*m = -o - 7. Suppose 3 + 3 = -o*h. Is 3 a factor of (0 - (0 + h)) + 2?
False
Let j(i) = -7*i + 5. Let d(s) = -13*s + 10. Let k(r) = -4*d(r) + 9*j(r). Let o be k(-4). Suppose -269 = -5*f - o. Is 24 a factor of f?
False
Suppose -4*b = b - 95. Suppose -5*a + 2*t = -78, 4*a - 3*t + b = 5*a. Is 16 a factor of a?
True
Let y(o) = 2*o - 5 - 4*o - o. Is y(-5) a multiple of 5?
True
Let l(p) = -12*p + 1. Let d be l(-2). Suppose d = -5*w, 170 = -i + 6*i - 4*w. Is 8 a factor of i?
False
Suppose -2*k + 15 = -55. Suppose 4*a = -a + k. Is 6 a factor of a?
False
Let f = 9 + -4. Suppose 2*k = f*g - 134, 3*g - 1 = -5*k + 67. Is 13 a factor of g?
True
Suppose 4*j - 17 - 6 = o, 2*o = -6. Suppose -2*t + t - 39 = -2*s, j*t = 5. Is 12 a factor of s?
False
Let v be 410 - (1 + 3)/2. Suppose -3*h = -6*h + v. Suppose p - 2*o = -4*p + h, -5*p - 4*o = -118. Does 9 divide p?
False
Let h = 2 + 5. Let v(s) = -7*s - 13. Let k be v(-11). Suppose -h*l + 3*l = -k. Is 8 a factor of l?
True
Let u = -25 - -41. Suppose -3*t = -3*a + 111, a + t - u = 19. Does 12 divide a?
True
Suppose -2*c = -3*x - 20 + 58, -2*x + 52 = 4*c. Does 9 divide x?
False
Let n be 12/54 + (-86)/(-18). Let d = n + -3. Let k(s) = 5*s**2 - 2. Is k(d) a multiple of 9?
True
Suppose -30 = -b + 4. Does 15 divide b?
False
Suppose b + 2*b - 9 = 0. Suppose x = -b*x + 12. Let w(j) = -j**2 + 6*j - 1. Does 5 divide w(x)?
False
Suppose -2*r + 5 + 7 = 0. Does 4 divide r?
False
Let m(z) = z**2 + 2*z - 2*z + 1. Let q be m(3). Is 8 a factor of -5*(0 + (-32)/q)?
True
Let r(n) = 7 - 5*n**2 + 8*n**2 - 5 + 3*n. Does 30 divide r(4)?
False
Let g be 165*1*(1 - 0). Suppose 5*k - g = -2*u + 3*u, -k = -2*u - 33. Is 8 a factor of k?
False
Is ((-234)/(-4))/3*3480/180 a multiple of 29?
True
Is 3 a factor of (-139 + 1)*(-4 + 14/4)?
True
Let q = 11 - -9. Suppose 6*o - o + q = 0. Let m = 26 + o. Is 11 a factor of m?
True
Suppose -3*y + 13 = 1. Suppose y*v + 8 = 8*v. Is 8 a factor of (v/4)/((-3)/(-48))?
True
Let q(s) = 8*s +