 of -1/2*w**2 - w + 0 - 4/3*w**3 - 1/12*w**4. Does 9 divide a(-4)?
False
Suppose 5*g - 15 = 0, -3*b + g + 12 = -2*g. Let n = 11 - b. Suppose 0*p - 2*p - 58 = -n*j, 4*j + p = 43. Does 6 divide j?
True
Suppose 0 = 17*j - 14*j - 144. Is j a multiple of 48?
True
Let k = 56 + -44. Is k a multiple of 3?
True
Suppose 4*z + 6*x = 2*x + 8, -z - 5*x = 2. Suppose z*g + 11 = 68. Is 7 a factor of g?
False
Suppose 7*z - x = 2*z + 341, 2*z + 3*x = 133. Is z a multiple of 32?
False
Does 6 divide 4*(228/16 - 1)?
False
Suppose -n - 3 = -1. Let s be -2*(-2 - (6 - 1)). Is 3 a factor of 2/3*(n + s)?
False
Suppose 0 = -0*a + 3*a - 51. Suppose a = 4*c - 5*i, -2*c - c + 4*i + 12 = 0. Is c a multiple of 4?
True
Suppose 4*s = 5*s - 1. Let b = s - 0. Is (-1)/b + -1 - -7 even?
False
Let j = -10 - -43. Is j a multiple of 9?
False
Let i = 2 - -20. Let z = i + -12. Is z a multiple of 5?
True
Let x(s) = -3*s**3 + 8*s**2 + s + 8. Let j(y) = -y**3 - y. Let z(d) = -4*j(d) + x(d). Let n = -10 + 3. Is 11 a factor of z(n)?
True
Suppose -4*y + 106 = -3*y. Does 24 divide y?
False
Suppose p + 3 = -2*p. Let v be p*(0 - 2)*48. Is 16 a factor of (-10)/(-3)*v/20?
True
Is (-1)/(1/6*-3) + 184 a multiple of 44?
False
Suppose 3*f - 678 = -3*f. Is f a multiple of 33?
False
Let q = 54 + -26. Let r = -19 + q. Suppose 0 = 4*t - 3 - r. Is 2 a factor of t?
False
Let z(f) = 22*f. Let c(m) = 7*m. Let a be (-1 + 3)/((-8)/(-20)). Let y(r) = a*z(r) - 16*c(r). Does 3 divide y(-2)?
False
Let t(c) = -13*c - 9. Does 11 divide t(-3)?
False
Suppose 0 + 16 = 4*n. Is 17 a factor of 4/(-2) + 144/n?
True
Suppose -5*w = 4*l - 3*l - 6, 0 = -l + 4*w + 24. Is l a multiple of 2?
True
Suppose -2*d - 1 = 1. Let o be d - -5*1 - 2. Suppose -1 = -z + o. Is 2 a factor of z?
False
Suppose -4*g = -a + 22, -10 = g + 4*g. Is a a multiple of 4?
False
Suppose 0 = 3*k + 146 - 359. Let n = 105 - k. Let p = -15 + n. Is p a multiple of 19?
True
Let h(k) = -56*k + 1. Let w = 7 - 8. Is 20 a factor of h(w)?
False
Let x = 1 + 7. Let i(z) = z**3 - 8*z**2 + 6*z + 7. Is i(x) a multiple of 11?
True
Suppose -4*s = 3*o - 145, -29 = -3*o - s + 131. Suppose 5*i = f - o, f + 55 = 3*f + i. Is 15 a factor of f?
True
Let v be (40/(-6))/(1/(-18)). Suppose -4*x - 16 = -2*i - v, -4*x - 5*i = -104. Is x a multiple of 13?
True
Is 8/(-10)*-1*(170 + 5) a multiple of 10?
True
Let z = -34 - -36. Is 2 a factor of z?
True
Let p(g) be the second derivative of 7*g**4/4 - g**2/2 - 4*g. Is p(1) a multiple of 10?
True
Suppose -9 = 2*l - 5*l. Suppose -s = -0*s - 4*x - 34, -60 = -5*s - 2*x. Let y = s - l. Is 11 a factor of y?
True
Let u = 2 + 159. Does 23 divide u?
True
Suppose 0 = -z + 3*j + 17, 3*z - 5*j = 4*z - 17. Let x = 21 - z. Is 4 a factor of x?
True
Let z(u) = -40*u + 1. Let v(s) = s. Let w(m) = -4*v(m) + z(m). Is w(-1) a multiple of 14?
False
Suppose -3*v + 2*v + 7 = o, -4*v = 5*o - 31. Let c = o - 4. Is (-4 - (-1 - c))*-8 a multiple of 15?
False
Suppose 3*t + 3*d - 18 = 6*d, -5*d - 5 = 0. Suppose 5*v - 4*p = 99, 2*v + p - 42 = t*p. Is 10 a factor of v?
False
Let f = -9 - -44. Is 35 a factor of f?
True
Suppose 31 = j - 3*s - 2, 0 = -j - 2*s + 23. Let f = j - 10. Is 14 a factor of f?
False
Let x be -3*((-4)/(-3))/(-4). Let c = 4 + x. Suppose t = c*u - 136, 2*u + t - 52 = 2*t. Is 9 a factor of u?
False
Let k be 1 - (-2 - -4 - 3). Suppose -3*o + 15 + 4 = k*c, 2*c = -5*o + 29. Suppose 0 = c*a - 33 - 27. Is 15 a factor of a?
True
Suppose -82 = -3*d - 5*h + 159, 4*h = d - 69. Is d a multiple of 11?
True
Let k(o) = 3*o**3 + 7*o**2 + o. Let g(m) = 8*m**3 + 20*m**2 + 3*m. Let f(w) = -4*g(w) + 11*k(w). Does 12 divide f(4)?
True
Let p = -22 - -38. Is 12 a factor of p?
False
Suppose 2*q + 261 = 5*q. Is 29 a factor of q?
True
Suppose 0 = 2*g + g. Let f(n) = -4 + 2*n - n + 18. Is f(g) a multiple of 7?
True
Let v(d) = -d**2 + 1. Let y be v(-1). Let l(i) = i. Let c be l(2). Suppose y*s - 10 = -c*s. Is 5 a factor of s?
True
Let a(s) = -s**2 - 6*s - 2. Let b be a(-5). Suppose -d + 0*d = -b. Suppose d*i + 2*i - 40 = 0. Does 6 divide i?
False
Suppose 0 = d - 315 + 39. Does 9 divide (-1)/(-3) - d/(-9)?
False
Suppose 2*w - q = 178, -3*w + 4*w = -5*q + 100. Is 16 a factor of w?
False
Suppose 0 = -2*h - 0*h - 16. Let d = 12 - h. Does 9 divide d?
False
Suppose 2*b - 5*h = 12, -2*h = 4*b + 3*h + 6. Suppose -3*n - 2*n + 195 = m, -n + 4*m + 60 = 0. Let a = n - b. Does 12 divide a?
False
Suppose 8 = -2*q - 2*w + 50, -4*w + 106 = 5*q. Is q a multiple of 14?
False
Suppose -6*v + 147 = -57. Is 33 a factor of v?
False
Suppose 0*y - y = -2*x - 63, 3*y - 4*x - 189 = 0. Suppose h + 3 = g + 14, 3*h + 3*g - y = 0. Does 6 divide h?
False
Suppose -5 + 15 = 5*m + a, -2*a = -10. Let q = m - -14. Suppose -4*y + q + 5 = 0. Is y a multiple of 2?
False
Let u(k) = 3 - 12*k - 13 - 137*k**2 + 136*k**2. Is u(-10) a multiple of 7?
False
Suppose 0 = r - 108 - 30. Suppose 0 = c - 1, 4*i + 47 = 5*c + r. Does 11 divide i?
False
Suppose 6*d = d + 1975. Let f be (-4)/18 + d/(-45). Let o = 18 + f. Does 5 divide o?
False
Let b(l) = -l - 5. Let w be b(-9). Let j = -1 + w. Suppose -j*h + 24 = -15. Is h a multiple of 6?
False
Let l(p) = -p**2 - 3*p - 2. Let z be l(-2). Suppose z*x - 12 = -x. Is 11 a factor of x?
False
Let v = -4 - -8. Let h = v + 6. Is h a multiple of 5?
True
Does 37 divide 1384/8 - 1/(-2 + 1)?
False
Suppose -26 = -4*y + 190. Does 18 divide y?
True
Suppose 3*w - 19 = -4*k, -4 - 4 = -2*k. Let x = 0 - w. Is 7 a factor of (-19 + -2 - 1)/x?
False
Let z(p) = -p**3 + 2*p**2 + 7*p - 5. Let c be z(4). Let d be ((-30)/c)/((-2)/6). Let h = 16 + d. Is h a multiple of 6?
True
Is 1 - 102/(2 - 4) a multiple of 16?
False
Let k(c) be the first derivative of -7*c**2/2 - 4*c + 3. Let u = -8 + 4. Does 12 divide k(u)?
True
Let w(o) = 8*o + 1. Let q be w(-1). Let h = q - -11. Suppose -h*v + 7 = -5. Is v a multiple of 3?
True
Let i = 272 + -191. Is i a multiple of 27?
True
Let k(w) = -w. Let l(m) = -8*m - 4. Let a(q) = 5*k(q) - l(q). Let u be a(-4). Let r(f) = -3*f - 4. Is 10 a factor of r(u)?
True
Suppose 0 = 3*c - 0*c + 2*x - 94, 2*c - 66 = 2*x. Does 16 divide c?
True
Suppose o + 2 = 0, -2*a + 3*o - 2 = 2*a. Let c be (-1 - a)*-1*-2. Is c + 2/(-4)*-4 a multiple of 4?
True
Suppose l = 5*q - 19, -15 = -2*q - q. Suppose -2 + l = -z. Does 4 divide (z - -31)*2/6?
False
Let t(p) = -2*p - 5. Let u(f) = -8*f - 24. Let y(d) = 16*d + 49. Let b(q) = 9*u(q) + 4*y(q). Let k(n) = -2*b(n) + 9*t(n). Does 9 divide k(-7)?
True
Let d(v) = 12*v. Let j be d(1). Suppose -4*l = -2*l - j. Suppose 0 = 3*i - i - l. Does 3 divide i?
True
Let t be ((-54)/(-45))/(1/(-5)). Does 6 divide 4*t/(-8) + 3?
True
Let k(y) be the third derivative of y**5/60 + 13*y**4/24 - 11*y**3/3 - 5*y**2. Is 4 a factor of k(-15)?
True
Suppose 0*g - 3*g = 2*m - 350, 0 = -3*m - 2*g + 515. Suppose 131 = 4*b - 5*h, 4*b = -b + h + m. Does 17 divide b?
True
Suppose -2*n - 3*w = -w - 6, 3*n - 7 = -4*w. Suppose -n*k + 0 + 165 = 0. Let m = k + -19. Is m a multiple of 6?
False
Let j = -6 - 6. Let d = 58 - 39. Let x = j + d. Is 4 a factor of x?
False
Suppose -2*k = -0*k - 28. Does 4 divide k?
False
Let v(l) = -l**3 - 7*l**2 - 5*l + 8. Let r be v(-6). Suppose 6 = -r*n - 5*h + 2*h, -2*n - 5*h = 14. Is 2 a factor of n?
False
Suppose -w - 19 = -4*x, 4*w + w + 3*x - 20 = 0. Is w*-1 + 20 + -1 a multiple of 9?
True
Let l(u) = u**2 - 8*u + 4. Let i be 66/9 + (-2)/(-3). Let b be l(i). Suppose -b*h + 46 = -2*h. Does 9 divide h?
False
Let s(w) = w**3 - 5*w**2 + 3*w + 3. Let m be s(4). Is (-4 + 3)*(-19 - m) a multiple of 6?
True
Let h = -21 - -36. Is 5 a factor of h?
True
Let t(v) = -v. Let l be t(-2). Suppose -l*d + 8 = -56. Does 16 divide d?
True
Suppose 2*c - 4*d - 3 = d, 0 = 4*c - 4*d. Let l = c + 8. Is 2 a factor of l?
False
Is (-4)/(16 - 0) - (-85)/20 even?
True
Let o(y) = 2*y - 8. Let n be o(6). Does 13 divide 39/2 + (-6)/n?
False
Let a be 5*(0 + 2/1). Suppose 1 - a = -t. Is 4 a factor of t?
False
Is 39 a factor of (-36)/1*(68/(-12) - 3)?
True
Suppose 0 = 4*k + 23 - 55. Let z = k + 8. Does 8 divide z?
True
Suppose -3 = 6*o - 3*o - 3*x, 3*o - 3 = -3*x. Suppose o = -v + h + h + 21, -3*v + 52 = 5*h. Is v a multiple of 19?
True
Suppose -5*i + 1714 = -116. Let a be ((-2)/(-3))/(4/i). Let z = 106 - a. Is 12 a factor of z?
False
Is 8 a factor of (-4)/8*8 + 88?
False
Let g(i) = i**3 - 13*i**