 factor of m?
True
Let q = -11 + 122. Does 41 divide q?
False
Let c = -9 + 13. Suppose -u + 15 = -c*u, 0 = -4*m - 4*u - 20. Suppose -5*a = -3*g - g - 16, m = -2*g + 2. Is a a multiple of 2?
True
Let u(q) = q - 8. Let t be u(10). Suppose 5*d = 4*y + 80, -t*y + 34 = 2*d - 4*y. Is d a multiple of 5?
False
Let d = 0 + -2. Let h be 303/(-12)*8/d. Suppose -5 = 4*c - h. Is 12 a factor of c?
True
Let i(l) be the second derivative of 3*l**5/20 - l**4/12 + l**3/6 + l**2/2 + 2*l. Let t be (2*1)/(2 - 1). Does 16 divide i(t)?
False
Let w(g) = -g**3 - 2*g**2 - 2*g - 1. Let t = 1 + 16. Suppose -2*u + 5*d = 2*u + t, 0 = -5*u + d - 16. Does 10 divide w(u)?
False
Suppose 59 = 2*v - o, -68 = -2*v + 5*o - o. Does 7 divide v?
True
Suppose -5*o - 18 = 107. Let k = -17 - o. Is 7 a factor of k?
False
Let j = 329 + -193. Is 34 a factor of j?
True
Let g(v) = -v**2 + v + 1. Let o(s) = 0 + 0 - 1 + 6*s. Let l(q) = g(q) + o(q). Is 3 a factor of l(6)?
True
Suppose 5*z + 122 = 4*g, 3*g + 4*z = 24 + 83. Suppose 2*a = -a + g. Does 11 divide a?
True
Let g(x) = -13*x + 42. Let b be g(5). Suppose -82 - 36 = 2*y. Let w = b - y. Does 12 divide w?
True
Let c = -5 + 8. Let i(o) = -o**3 - o**2 - o + 5. Let w(x) = x**3 + x**2 - 4. Let a(h) = 3*i(h) + 4*w(h). Is a(c) a multiple of 11?
False
Suppose 2*t = v - 6*v - 34, 3*v + 12 = 0. Let r(a) = a**3 + 6*a**2 - 9*a + 5. Does 10 divide r(t)?
False
Let y(s) be the first derivative of s**4/4 - 4*s**3/3 - s**2/2 + 4*s + 1. Let m be y(6). Suppose 0 = 4*o - 26 - m. Is o a multiple of 9?
False
Suppose -114 = 6*c - 666. Is c a multiple of 8?
False
Let p be -2*((-35)/2)/5. Let k(f) = f**3 - 8*f**2 + 6*f + 7. Let r be k(p). Suppose r*m + 2*m - 18 = 0. Is m a multiple of 9?
True
Does 6 divide (3 - 2) + -1 - 19*-3?
False
Suppose 61 = 2*p - 71. Does 15 divide p?
False
Let b = -1 + 3. Suppose 0 = -5*z - t + 2, -z = -4*z - b*t + 4. Suppose 4*i + 0*i - 32 = z. Does 4 divide i?
True
Let z be ((-12)/5)/(2/(-10)). Let s = z - 8. Does 4 divide s?
True
Let r(y) = 2*y**2 + y. Let f be r(1). Suppose 2*b - f*b = -15. Is b a multiple of 5?
True
Let v(m) = 7*m**3 - 4*m**2 + m + 2. Is v(2) a multiple of 11?
True
Let u be (-12)/(-4)*(-11)/(-3). Let m = -7 + u. Suppose 12 = m*d - 0*d. Is d a multiple of 3?
True
Let w(c) = c**2 + 6*c + 10. Let q be w(-8). Let m = q + -3. Does 12 divide m?
False
Suppose -16 = 4*c - 3*g - 111, 2*g + 30 = c. Is (-1 + 2)/(4/c) a multiple of 5?
True
Let s = -15 - -20. Suppose 7*y = s*y + 10. Is 5 a factor of y?
True
Let h = 70 + 22. Suppose 4*u = 2*u + h. Does 17 divide u?
False
Is 158/8 + (-1)/(-4) a multiple of 11?
False
Let k(w) = 3*w + 12. Does 11 divide k(7)?
True
Let k be (-1 + 0)*21*1. Suppose -7 - 48 = -5*b. Let t = b - k. Is 14 a factor of t?
False
Let c(w) = -w**2 + 5*w + 10. Is c(4) even?
True
Suppose -2*j + 187 = -3*a, 5*j = 4*a - 7*a + 457. Is j a multiple of 23?
True
Suppose 13 = 3*b + 4. Suppose -b*k - 2*l = -14, k = 6*k - 3*l - 55. Is k a multiple of 4?
True
Suppose -2*v - 3*u = v - 21, -3*v - 2*u + 21 = 0. Suppose -4*d + v*d - 48 = 0. Is d a multiple of 16?
True
Is (-125)/(-50)*(124/(-10))/(-1) a multiple of 2?
False
Let c(w) = -4*w**2 - 4*w - 4. Let j(b) be the second derivative of -b**4/12 - b**3/6 - b. Let k(i) = -c(i) + 3*j(i). Is k(5) a multiple of 17?
True
Suppose l - 16 + 0 = 0. Let v = l + -11. Suppose i = v + 11. Is 16 a factor of i?
True
Let x(u) = -15*u + 3. Let s = 12 + -8. Suppose 3*j = s*m - 29, -2*m + 4 = 5*j - 3*j. Does 16 divide x(j)?
True
Suppose 4*h - 60 = 208. Does 9 divide h?
False
Let g = -8 + 8. Let d(j) = j**3 - 5*j**2 - 6*j + 4. Let h be d(6). Suppose -4 = x, g = -h*k - 2*x + 57 + 3. Does 17 divide k?
True
Let y(s) be the third derivative of s**4/24 + 2*s**3 + 2*s**2. Let v be y(-9). Suppose -2*n = v*n - 5*f - 5, -5*f + 27 = 3*n. Is 4 a factor of n?
True
Suppose 5*g - 2*p = 16, 3*p + 0*p + 1 = -4*g. Suppose -g*s = -3 - 7. Is s a multiple of 5?
True
Suppose 0 = -4*y - 2 - 6, -20 = -3*k - 2*y. Let b be 8/6*9/2. Let i = b + k. Does 14 divide i?
True
Suppose -2*h + 0*h + 4 = 0. Suppose 0 = -0*y + h*y - 22. Does 4 divide y?
False
Suppose 2*h = -h + 144. Is h a multiple of 6?
True
Suppose 2*i - 2 - 30 = 0. Let w = i + -10. Suppose 0 = c - f - w, -6*c + 2*f = -c - 36. Does 4 divide c?
True
Let i = 2 - 0. Let l(q) = 10*q + 2. Is l(i) a multiple of 10?
False
Suppose 3*w + 2*w - 105 = 0. Is w a multiple of 7?
True
Let u(f) = 7*f - 7. Suppose -5*p + 2*r + 12 = 0, -8 = 2*p + p - 5*r. Does 8 divide u(p)?
False
Is 2 + 2 + -5 - -48 a multiple of 28?
False
Is 12 a factor of -4 - 42*(-2)/3?
True
Let d be (-72)/(-33) + (-4)/22. Suppose d*b + 4*n - 52 = 0, 5*b = -n - 89 + 255. Does 17 divide b?
True
Let s = 3 - 0. Let g(i) = 0*i**2 - 5*i**s + i - 2*i**3 - 2*i**2 - 2. Is 21 a factor of g(-2)?
False
Suppose -4*d + 4 = -8. Suppose 12 = -3*z - d*s, 5*z + s = 2*s + 4. Suppose b - 5 - 7 = z. Is b a multiple of 4?
True
Let l = -18 + 60. Does 15 divide 836/14 - (-12)/l?
True
Let t = -1 + 4. Is t - (0 + 17)*-3 a multiple of 18?
True
Let h(b) = 3*b. Let k be h(1). Is 13 a factor of (-8)/(-12) + 61/k?
False
Let i(v) = 3*v**2 - 7*v - 1. Let g be i(8). Let x be ((-2)/(-3))/(6/g). Let a = x + -3. Does 4 divide a?
True
Let x(o) = o**2 + 3*o - 1. Let d be x(2). Let t(q) = q**3 - 10*q**2 + 12*q + 4. Let g be t(d). Suppose -4 = 3*i - g. Is i a multiple of 3?
True
Let q be 3/(159/81 + -2). Let v = q + 152. Does 27 divide v?
False
Is 14 a factor of (-6)/(-4)*194/3?
False
Let o be 1/(1/6) - 2. Let i = 41 - 19. Suppose -2*w + i = -o*z, z = -7*w + 2*w + 66. Is w a multiple of 6?
False
Suppose -2*k - 10 = 0, -h + k - 73 = -4*h. Is h a multiple of 13?
True
Let t(j) = j**3 + 8*j**2 + 7*j - 5. Is t(-6) a multiple of 10?
False
Let y be (-3)/2*(-8)/3. Let z = y - 5. Is 3 a factor of 8 + (2 - 0)*z?
True
Suppose t - 16 = -3*h, -4*t = -h + 5*h - 32. Let q be 32/10 - h/20. Suppose q + 21 = 2*p. Is p a multiple of 12?
True
Is 13 a factor of -18*((-10)/3 + 0)?
False
Let c(t) = t**3 - 6*t**2 - t + 5. Let w be c(4). Let a = w - -44. Does 10 divide a?
False
Let m(v) be the second derivative of -v**5/20 + v**4/6 + v**3/6 - v**2 + 6*v. Is m(-2) a multiple of 3?
True
Let u(i) be the third derivative of i**5/60 - i**4/6 - i**3/2 + 5*i**2. Is 9 a factor of u(7)?
True
Suppose 2*h + t = 5 + 4, 4*t - 14 = 3*h. Let v be (-12)/h*(-1)/3. Is (4 - -16) + v/(-2) a multiple of 8?
False
Suppose 5*z + 85 = 5*l, 0*l = -2*l - 8. Let j = -30 - z. Let t(f) = f**2 + 8*f + 5. Does 14 divide t(j)?
True
Suppose 0*n = 2*n + 12. Let r = 105 + n. Is 25 a factor of r?
False
Let m(t) = 8*t**2 + t + 1. Does 13 divide m(-2)?
False
Suppose -3 - 3 = -3*d. Let x be (-147 + (d - 2))/1. Is 9 a factor of 2/(-8) + x/(-12)?
False
Let x = 202 - 109. Is x a multiple of 24?
False
Let l(s) = 33*s**2 + 3*s + 2. Is 8 a factor of l(-1)?
True
Is 61 + 8/(-2) + 1 a multiple of 14?
False
Suppose -5*n + 3*s = -0*s - 122, n = -4*s + 6. Is n a multiple of 22?
True
Let c = -5 + 6. Suppose -m - c = -33. Is 16 a factor of m?
True
Let f be 0 + -2 + (-66)/(-3). Suppose -c + 0*c + 25 = -2*o, 0 = 5*o - 5*c + 70. Let p = f + o. Is 9 a factor of p?
True
Let x(p) = -1 - 2 + 5 + 4*p. Does 10 divide x(5)?
False
Let l(p) = -p**3 + 10*p**2 - 9*p - 2. Let z be l(9). Is (-20)/(-6) - z/(-6) a multiple of 3?
True
Let r(n) = 161*n + 4. Does 20 divide r(1)?
False
Let p(j) = -14*j - 21. Does 20 divide p(-11)?
False
Suppose -101*u = -93*u - 312. Is u a multiple of 13?
True
Suppose 2*d = 5*d, -4*k - 5*d + 660 = 0. Does 14 divide k?
False
Suppose -2*b - 29 = 4*g - 85, 3*b + 5*g = 79. Is (-3 + -1)/((-4)/b) a multiple of 9?
True
Let i be -2*1 - 29*-1. Let o be (0 + 0)/(-2) - 15. Let n = i + o. Does 10 divide n?
False
Suppose 0*m + 10 = -3*w + 4*m, 0 = -5*w - 4*m + 26. Suppose 3*a = -w*a - 3*l + 25, -4*a - 5*l + 20 = 0. Does 3 divide a?
False
Let w be 118/10 - (-1)/5. Suppose 0 = -d + 3*d - w. Is 6 a factor of d?
True
Let n = 3 + -2. Let j = 3 - n. Suppose 2*p - 5 = 4*t + 27, 32 = 5*p + j*t. Is 8 a factor of p?
True
Is 10 a factor of (-476)/(-1 + -3) + 1?
True
Let f(a) = a - 5. Let u be f(0). Let k = -4 - u. Suppose 3*v + k = 34. Is v a multiple of 11?
True
Let g(x) = 2*x**2 + 3*x - 3. Suppose a = 5*a - 3*r + 5, -r = 5*a + 30. Is g(a) a multiple of 16?
True
Let r be (-3)/12 + 132/16. Let w = r - -1. Does 7 divide w?
False
Let a(d