3*m. Is g a multiple of 17?
False
Suppose -14*y - 208 = -18*y. Is 17 a factor of y?
False
Let a = -1 + 3. Let n be (-308)/(-60) + 10/(-75). Suppose 5*h - l + 5*l = 134, -132 = -n*h - a*l. Is h a multiple of 8?
False
Let a = 42 + 16. Is a a multiple of 22?
False
Does 4 divide 21/27*15*3?
False
Let m = 150 - 87. Is 21 a factor of m?
True
Let m(k) = k**2 - 6*k - 6. Let i be m(7). Let j be 1/(3*i/12). Suppose j*q + 2*o = 110, q + o - 24 = 4*o. Does 11 divide q?
False
Suppose 0*q = -4*q + 8. Suppose 3*k = -q*a - 93, 4*a + k + 191 = -0*k. Does 16 divide (a/(-10))/(6/40)?
True
Suppose 0 = 31*f - 35*f + 68. Is 6 a factor of f?
False
Let g = 5 - -31. Is 12 a factor of g?
True
Let g = -7 - -11. Is 3 a factor of g?
False
Suppose -3*s = 4*z - 166, -z + 191 = 3*s - 2*z. Suppose 3*l - l - s = 0. Is 8 a factor of l?
False
Let v(x) be the third derivative of x**4/6 - x**3/2 - 8*x**2. Let c be 2/1 + -2 + 2. Is v(c) a multiple of 3?
False
Let c be 113/4 + (-1)/4. Suppose 2*q - z + 0*z = 16, -4*z - c = -4*q. Let o = q - -12. Does 11 divide o?
False
Suppose 34 = -3*r - 26. Let k = r + 36. Does 16 divide k?
True
Suppose 2 = -0*x + 2*x. Suppose -o = -3*q - 13, -2*q = o - x + 3. Suppose -2*f - o*i = -60, -3*i - 45 = -0*f - 3*f. Is f a multiple of 8?
False
Let y(l) = 14*l + 4 - l**2 - 13 + 2*l**2 - 2*l**2. Does 27 divide y(6)?
False
Suppose -t = 2*k - 10, -4*t + 22 = -0*t + 2*k. Let f be 1/(-5) - 144/(-45). Suppose -2*a + t*l + 68 = 0, -l + f*l - 96 = -4*a. Does 13 divide a?
True
Suppose 2*g - 44 = -2*f, -4*f - 44 = g - 3*g. Does 11 divide g?
True
Is 2 a factor of (-36)/(-4)*1 + -2?
False
Let d(v) = v**3 + 7*v**2 - 9*v + 9. Let n(c) = c + 6. Let s be n(-14). Is 17 a factor of d(s)?
True
Suppose -8*b = 2*b - 1740. Does 51 divide b?
False
Suppose -45 = -4*r - x, 8 = -r + 5*x - 7. Is r a multiple of 10?
True
Let t be (-5 + 6)/((-1)/(-2)). Suppose -3*h + 50 = -t*a, 2*h = h - 5*a + 45. Is 14 a factor of h?
False
Is (-14)/(27/(-21) - -1) a multiple of 7?
True
Let z(f) = -f**2 + 4*f + 1. Let d be z(3). Suppose g - 62 = -a + 49, 0 = -4*g - d. Suppose -24 = 2*q - a. Is q a multiple of 22?
True
Suppose -4 = -3*s + 8, 4*k - 4*s - 24 = 0. Suppose k + 6 = l. Is 8 a factor of l?
True
Is 25 a factor of (120/150)/((6/(-125))/(-3))?
True
Suppose -2 = -3*d + d. Suppose 16 - d = 5*j. Suppose -5*v - 2*y + 67 = -j*y, 2*v - 2*y - 22 = 0. Is 7 a factor of v?
True
Let b(l) = -1 - 5*l - 1 + l**2 - 2*l + 5*l. Does 23 divide b(8)?
True
Suppose 53 = 3*n - 130. Is n a multiple of 61?
True
Let b(k) = 5 - 2*k**3 - k**3 + 11*k**2 + 4*k**3. Let l be b(-11). Suppose 3*p - 44 = l*s, p - 54 = -3*p + 2*s. Is p a multiple of 10?
False
Let i = -51 + 33. Let d be 4/i - (-40)/18. Suppose 4*y - 3*r - d*r = 95, 0 = 4*y - 4*r - 92. Is y a multiple of 10?
True
Suppose b + 6 - 11 = 0. Is 2 a factor of b?
False
Let k = -11 + 13. Is 12 a factor of 24/(k/(-8)*-4)?
True
Let k = 9 + -17. Let x = k - -12. Is 2 a factor of x?
True
Suppose 0 = -11*d + 14*d - 204. Does 12 divide d?
False
Let u = 247 + -155. Is 23 a factor of u?
True
Let h = 91 - 62. Is 8 a factor of h?
False
Let t = 5 - 3. Suppose 0*o = -t*o + 126. Does 10 divide (o/3 + 0)*1?
False
Let w(k) be the third derivative of 7*k**4/12 - k**3/3 - 3*k**2. Let f be w(-3). Is (f/(-16))/(1/8) a multiple of 9?
False
Suppose -2*k = 2*f - 90, -4*k = -9*k + 25. Is 20 a factor of f?
True
Let h = 10 + -7. Suppose -y + 4*j = -116, -h*y = 2*j - 3*j - 326. Suppose -2*i - 3*g = -y, -4*i + 83 = g - 153. Is 20 a factor of i?
True
Let q(z) = z**2 - 2. Let k be q(5). Suppose -23 - k = -v. Is v a multiple of 23?
True
Suppose -56 = -v - 9. Suppose v + 109 = 6*a. Is a a multiple of 7?
False
Suppose 4*w - 5*s = -4, -4*s - 2 = 2*w - 3*s. Let f(y) = 2*y**3 - y. Let q be f(w). Is 16/(0 - q/1) a multiple of 7?
False
Let j(c) be the third derivative of 2*c**5/15 - c**4/12 + 2*c**3/3 - 5*c**2. Is 17 a factor of j(2)?
False
Suppose 0 = -l + 3*o + 3, 4*o - 11 = -l + 3*o. Is 25 a factor of (-406)/(-4) - l/6?
True
Let f(r) = -r**2 - 13*r + 10. Let n be f(-13). Let o = n + -10. Suppose o*g - 3*g = -24. Is g a multiple of 6?
False
Let o = 7 + 9. Is o a multiple of 8?
True
Let t = 12 + -6. Let p = 13 - t. Is p even?
False
Let w(h) = -h**2 + 4*h - 3. Suppose -2*s + 25 = 2*q + 3*q, -4*s + 5 = q. Let z be w(q). Let v = 14 + z. Is v a multiple of 6?
True
Let w(k) = k**3 - 10*k**2 + 2*k + 12. Let d be w(10). Let o = d - 15. Is o a multiple of 7?
False
Let y be (-14)/4*(-8)/14. Suppose l - h - 32 = -y*h, -l + 42 = 3*h. Is 9 a factor of l?
True
Let t(c) = -c**3 + 3*c**2 + 6*c - 3. Let i be t(4). Suppose 0 = -i*u + 87 - 17. Suppose 3*q + 3*d - 18 = 0, u + 0 = 2*q + d. Is q a multiple of 4?
True
Is 29 a factor of (-2 + 4)*((-415)/(-10) + 2)?
True
Suppose 2*a - 4*z - 8 = 0, 0*z - 4*z = 0. Suppose 0 = -a*u + 8*u - 32. Is u a multiple of 3?
False
Let m be -1 + (1 - (-747 + -2)). Suppose 5*p - m = -89. Suppose v = 5*v - p. Is v a multiple of 15?
False
Suppose -w = 3*r - 3*w - 603, 3*r + 3*w = 603. Does 17 divide r?
False
Let y = -15 + -7. Let j be (-4)/6 - y/6. Suppose j*r - 2*n = 128, 4*r + n - 152 = -n. Is 20 a factor of r?
True
Suppose y = 3*y - 4, -4*x + 1088 = 4*y. Is x a multiple of 10?
True
Suppose 4*f = 5*f + 5*m - 38, -5*f + 190 = -2*m. Is f a multiple of 23?
False
Let o = -53 - -90. Does 7 divide o?
False
Suppose 3*m = 43 + 5. Is m a multiple of 8?
True
Let w be 2/6 + 48/18. Suppose -a + 4*a - 57 = w*m, m = -2*a + 23. Is a a multiple of 14?
True
Let p(d) = 2*d**2 - 3*d. Let v be p(4). Suppose -3*f - v = -7*f. Suppose -2*m = -4*n - 17 + 1, 3*m + f*n - 57 = 0. Does 14 divide m?
True
Let q = -55 - -11. Let v = -31 - q. Is v a multiple of 13?
True
Suppose -2*m + m = -5. Suppose -2*z + 44 = -4*k + 3*k, m*z - 96 = -k. Does 20 divide z?
True
Suppose 0 = 3*n + 5*v - 340, -4*v = -2*n + 422 - 166. Suppose 5*k = n - 45. Does 15 divide k?
True
Suppose -4*o = m - 43, 3*m - 9 - 12 = -3*o. Let l(t) = -t - 1. Let s be l(-5). Let w = o - s. Is 4 a factor of w?
True
Suppose -4*h = -12 - 0. Suppose 0*s + 30 = h*s. Is 10 a factor of s?
True
Suppose b - 2*b = -45. Is 15 a factor of b?
True
Suppose 0 = 2*d - d - 3. Suppose -q - d = g - 1, 4*g + 20 = 0. Suppose 4*j + 2*v = 150, 2*j = q*v + 2*v + 45. Does 14 divide j?
False
Suppose -4*k + 2 = -2. Suppose 37 = 5*z + t, -2*z - 4*t + 3 = -k. Is 6 a factor of z?
False
Let f = 3 + 6. Let z = f + -5. Suppose -z*o = o - 20. Is o a multiple of 2?
True
Suppose 3*j + 12 = -3*i, 5*j - i = 2*i - 60. Let m be 15/j - 1/3. Is (-2)/(m + (-8)/(-5)) a multiple of 5?
True
Suppose 0 = 36*k - 35*k - 123. Does 20 divide k?
False
Let n = -9 + 28. Suppose 3*a - 95 = n. Is 19 a factor of a?
True
Suppose 4*i - 5*k = 72, 2*k - 58 = -2*i - k. Is 7 a factor of i?
False
Let s(y) = y. Let l be s(-4). Suppose 5*q + 0*o + 3*o - 41 = 0, -q + 9 = o. Let c = q + l. Does 3 divide c?
True
Let c be 3*(-1)/3*-5. Let n(x) = -x**3 + 7*x**2 - 6*x - 2. Let w be n(6). Does 6 divide (-113)/(-5) - w/c?
False
Let m = -35 - -51. Is 4 a factor of m?
True
Suppose 4*k - 4*z - 700 = 0, 2*k + 4*z - 732 = -2*k. Is k a multiple of 38?
False
Let f = -17 - -14. Let r(v) = 0 - 3 + 2 - 4*v. Is 11 a factor of r(f)?
True
Is 21 a factor of (-165)/(-4) - (-21)/28?
True
Let u(y) = y**2 + y - 4. Let n be u(-3). Let b be n/10 + 48/10. Suppose 17 = 4*q + b. Does 2 divide q?
False
Let v be (-1 + -5)/(9/(-12)). Suppose 0 = -2*f - 4. Let o = f + v. Does 5 divide o?
False
Let a = -16 + 24. Let h = a - 13. Let u(r) = -r**3 - 4*r**2 + 7. Does 16 divide u(h)?
True
Suppose 20 = 4*j, -4*k + 14 = -0*k - 2*j. Let c(g) = g + 0*g - 2 + 9. Is c(k) a multiple of 9?
False
Is ((-88)/(-33))/(1/18) a multiple of 16?
True
Suppose -m = 2*b - 347, 0 = -3*b - 2*m + 310 + 209. Is 5 a factor of b?
True
Suppose -2*l = 3*l - 240. Suppose 5*u - 3*u = -5*g + 21, 2*u - l = 4*g. Is 9 a factor of u?
True
Is (-49 - -4)*(-2)/6 a multiple of 15?
True
Suppose -3*d + 168 = -3*f, 3*d - 4*d + 56 = 2*f. Does 13 divide d?
False
Let a(g) = 4*g**3 - g**2 + g - 1. Let h be a(1). Suppose 0 = -0*n - h*n + 108. Does 18 divide n?
True
Suppose -a + 3*x + 44 = -x, -4*a - 3*x = -214. Is 8 a factor of a?
False
Suppose 4*v + 38 = 6. Let o(s) = -4*s + 4*s**3 + 3*s**3 - 8*s**2 + 5*s**3 - 4 - 13*s**3. Is 14 a factor of o(v)?
True
Suppose -17 = -z + 7. Is z a multiple of 3?
True
Let b(f) = -