se 0 = 2*d + 7*d - 3312. Is d a multiple of 44?
False
Is (3 - 1)*(0 + 32) a multiple of 4?
True
Suppose -2*b - 5 - 3 = 0. Let v be (-108)/10 + 1/(-5). Let g = b - v. Does 7 divide g?
True
Let w(u) = u**3 - 14*u**2 + u - 14. Let l be w(14). Let f(g) = 8 + g**2 + 0 - g**3 - g + 0*g. Is f(l) a multiple of 8?
True
Let u(b) = -b**3 + 2*b**2 - b - 2. Is 4 a factor of u(-2)?
True
Suppose -2*y = -31 + 7. Let j(k) = k**2 - 10*k - 8. Does 13 divide j(y)?
False
Suppose 3*s - 48 = 24. Is s a multiple of 4?
True
Let l(i) = -20*i**3 + 2*i**2 - 1. Suppose -3*r = -2*r + 1. Does 21 divide l(r)?
True
Let k(v) = -v - 1. Let w be k(-1). Suppose 3*i - 5*m - 3 - 9 = w, 2*i = -m + 21. Is 8 a factor of i?
False
Let v(p) = p**2 + 8*p - 2. Let y = -11 + 1. Does 14 divide v(y)?
False
Let h be 0/(6/(-2) - 0). Suppose 3*a - 5*w - 43 = -3, h = 4*w - 16. Is a a multiple of 10?
True
Suppose 3*a = -4*a + 343. Is a a multiple of 16?
False
Is (3 - 4)/(6/(-90)) a multiple of 13?
False
Suppose 3*p = 14 + 10. Let g be (21/6 + -3)*p. Suppose 2*b - 71 = -r, -g*b + 0*b + r = -151. Is 17 a factor of b?
False
Let q be (6/(-8))/(2/16). Let t(u) = -2*u**2 - 10*u - 8. Let r be t(q). Let c = r + 48. Does 14 divide c?
True
Does 2 divide (3 - (-15)/(-20))/(2/24)?
False
Let f be 4/(-20) + 2/10. Suppose f = -3*g - 9, -t + 37 = 4*g - g. Does 23 divide t?
True
Let y = 105 - 46. Is y a multiple of 21?
False
Let q(w) be the second derivative of -5*w**3/6 - 5*w**2/2 + w. Is q(-4) a multiple of 7?
False
Let d(u) = -3*u - 3. Let t be d(-2). Let g(a) = 0*a + 2 + 2*a + 2. Does 10 divide g(t)?
True
Suppose 1 = -0*z + 2*z + y, -2*z = -5*y - 31. Suppose 57 = z*h + 2*n, -4*h + 39 = -2*h + n. Let j = h - 6. Is 12 a factor of j?
False
Let o(r) = 2*r + 13. Let d be o(9). Suppose -3*t - 3*n + 18 = -2*n, 0 = 2*t + n - 11. Let g = d - t. Does 13 divide g?
False
Is 4 a factor of -3 + 2*36/8?
False
Let d(l) = -l**2 + 19*l + 17. Is 7 a factor of d(11)?
True
Let s(x) be the first derivative of x**4/4 - 2*x**3 + 2*x**2 + 7*x - 1. Let k be s(5). Suppose 2*v = -k*n + 6*v + 12, 0 = -n - 2*v + 2. Is n even?
True
Suppose 37 - 97 = 5*n. Let q = 16 + n. Is q even?
True
Suppose -4 - 5 = -v. Suppose 2*q = 1 + v. Is 2 a factor of q?
False
Let s be (8/10)/(1/30). Suppose 3*l - 112 = 4*f, -f = -l - 3*l + 145. Let c = l - s. Is 6 a factor of c?
True
Suppose -5*d - 10 = 0, 5*d + 1 + 0 = -t. Suppose -t*n + 10*n - 60 = 0. Is 20 a factor of n?
True
Let g = 5 + -24. Let a = g - 2. Let j = -11 - a. Is j a multiple of 6?
False
Let y(o) = 4*o - 28. Let p be y(8). Suppose 0 = -2*w + 2*m + m + 149, 5*w - 350 = 3*m. Suppose -p*k - w = -3*x, -4*x + 0*k + 3*k + 80 = 0. Is 8 a factor of x?
False
Suppose 2*z = -2*u + 10, -3*z + z + 25 = 5*u. Let y(v) be the first derivative of 3*v**2/2 - 5*v - 1. Does 10 divide y(u)?
True
Does 20 divide ((-1106)/(-21))/((-5)/((-30)/4))?
False
Suppose 0 = -2*n - 3*l + 117, 0 = 5*n - 2*l - 0*l - 283. Suppose 0 = -0*b - 3*b + n. Does 9 divide b?
False
Let r(i) = -3*i**3 + i**2 + i + 6. Is r(-2) a multiple of 32?
True
Let n(x) = -5*x**2 - 13*x + 33. Let i(w) = 2*w**2 + 7*w - 16. Let y(f) = -7*i(f) - 3*n(f). Does 15 divide y(11)?
False
Let k(a) = 3*a**2 - 10*a + 6. Is k(4) a multiple of 14?
True
Let u(z) = -35*z - 4. Let i be u(-4). Let v(s) = s - 3. Let g be v(8). Suppose j = g*j - i. Does 10 divide j?
False
Suppose -5*j - 55 = -r - 2*r, 60 = 4*r - 4*j. Let y(p) = -p**3 + 11*p**2 - 8*p - 14. Is 6 a factor of y(r)?
True
Let r = 30 + -80. Let q = -28 - r. Is 11 a factor of q?
True
Suppose 2*a + 35 = 263. Is 5 a factor of 4/(-6) + a/9?
False
Let f = 2 - 4. Let j be f/(-4) - 1/2. Is -1 + 8*1 - j a multiple of 7?
True
Let p = 301 - 91. Is 14 a factor of p?
True
Suppose 3*n + 2*n + 2*f - 6 = 0, -3*f - 14 = -4*n. Is 18 a factor of 24/30*55/n?
False
Suppose 0*t = 4*t. Suppose -q - 4*h + 12 = t, -2*h = q - 11 + 3. Is 5 a factor of 3/((-6)/q) + 7?
True
Let i = -3 + 1. Suppose -16 = 2*r + 5*y - 71, 2*y = 3*r - 54. Let j = r + i. Is 9 a factor of j?
True
Let b = 66 - 179. Let f = -76 - b. Is 18 a factor of f?
False
Let k = 10 + -12. Let i(x) = 16*x**2 + 2*x - 2. Is 19 a factor of i(k)?
False
Let z(l) = -l**3 - 3*l**2 + 4*l + 2. Let q be z(-4). Let u = q + 27. Does 18 divide u?
False
Let n = -5 + 4. Let l be -1 - (-2 + -12 + n). Suppose -l - 7 = -3*x. Does 7 divide x?
True
Let o(h) = 2*h + 19. Does 2 divide o(-8)?
False
Let a(i) = 5*i**2 - i. Let d be a(-1). Suppose -n - 4 = -6. Suppose -n*c + 2 = -d. Does 2 divide c?
True
Let a be (-2)/(-3) - (-1150)/30. Let p = 101 - a. Is 22 a factor of p?
False
Suppose 2*m + 20 = 4*r, 5*m - m - 5*r = -25. Let w be 4/14 + 366/42. Is 2 a factor of w + -2 + m/2?
False
Let q = -197 + 254. Is q a multiple of 44?
False
Suppose -2354 = -7*h + 152. Does 51 divide h?
False
Let k be 3 + -5 + 83 + -3. Suppose 3*w = -6 + k. Is w a multiple of 18?
False
Is 4 a factor of 4 - -14 - (-1 + 3)?
True
Let x = 747 - 460. Does 41 divide x?
True
Suppose -3 = 3*q - 4*b, q = -b - 2*b + 12. Suppose 3*c + 37 = 2*l - 0*l, -5*l + q*c = -70. Let o(h) = h + 1. Is o(l) a multiple of 4?
True
Let z(w) = w**2 - w. Is 5 a factor of z(-4)?
True
Let n = 6 - -82. Does 8 divide n?
True
Let w(l) = 3*l - 1. Is 7 a factor of w(4)?
False
Suppose 0 = 2*k - 7 - 3. Let x = k + 18. Does 14 divide x?
False
Let a(l) = -l**3 - l**2 + l. Let n(f) = 5*f**3 + 5*f**2 - 5*f - 11. Let v(h) = -6*a(h) - n(h). Is 5 a factor of v(0)?
False
Let p(v) = v**3 + 10*v**2 + 2*v + 8. Let a(l) = 13*l**2 + l**3 - 4*l**2 - 5 + 13 + 3*l. Let q(t) = -3*a(t) + 2*p(t). Is 16 a factor of q(-7)?
False
Does 7 divide 34 + 0 - (-10 + 9)?
True
Let j(u) = -3*u. Let s be j(-1). Let t be 359/s + (-4)/(-12). Suppose 5 = 5*z - t. Is z a multiple of 14?
False
Suppose -2*p - 1 = 9. Let w be (0 + -1 + 1)*-1. Let r = w - p. Does 5 divide r?
True
Let o(g) = 15*g**2 - g + 1. Suppose 2*m = -3*m + 5. Is o(m) a multiple of 3?
True
Let r(p) = -p**3 - 11*p**2 - 12*p + 4. Let a(h) = -10*h**2 - h - 1. Let w be a(-1). Does 24 divide r(w)?
True
Let u(t) = 7*t**3 - 4*t**2 + 4*t - 2. Does 23 divide u(2)?
True
Let j(q) = 3*q**2 + q + 9 - q**2 + 10*q - 2*q. Does 30 divide j(-9)?
True
Let r be (2 + -1 - -31) + -2. Does 16 divide (0 + r)*(-6)/(-9)?
False
Suppose 0 = h - k + 3 - 10, 3*h + 2*k - 16 = 0. Does 2 divide h?
True
Let p(l) = -l**3 - 9*l**2 - 3*l + 7. Does 32 divide p(-10)?
False
Suppose -3*d + 81 = 5*j - 4*d, -2*d = 2. Let r = 14 + j. Is r a multiple of 15?
True
Suppose p = 5 + 10. Is p a multiple of 5?
True
Let a be (-6 - -7) + -1*1. Suppose 5*n - 4*u - 13 = a, 0*n + 11 = n + 2*u. Is 2 a factor of n?
False
Let v(p) = -2*p. Let y be v(-3). Suppose -5*x = -x - 2*z + 4, y = -2*x + 3*z. Suppose 0 = -5*b - 2*i + 257, -4*b + i - 2*i + 208 = x. Does 19 divide b?
False
Let o(m) = 6*m**3 + 2*m**2 - 1. Let v be o(1). Does 16 divide v + 23 + (2 - 0)?
True
Suppose -4*s - 2*t + 312 = t, -3*s + 235 = 2*t. Is 11 a factor of s?
False
Let t(h) = -3*h**2 + 38*h + 35. Let x(w) = -13*w - 15 + 3*w**2 - 2*w**2 + 3. Let n(c) = -6*t(c) - 17*x(c). Does 13 divide n(-4)?
False
Let i(y) = 9*y - 11. Does 16 divide i(19)?
True
Let g(r) = -2*r - 5. Let s(t) = -3*t + 6. Let f be s(4). Let q be g(f). Let c = q - 2. Does 5 divide c?
True
Let k = -187 - -77. Let q be (6/(-4) + 1)*k. Suppose q = 4*b + 7. Is 6 a factor of b?
True
Is 9 a factor of -3 + 10 - 1*-2?
True
Let q = -13 - -21. Is q a multiple of 4?
True
Suppose 2*c - c - 3 = 0. Suppose c*d + 2*j - 100 = -d, 5*j - 10 = 0. Is 24 a factor of d?
True
Suppose -z - 4*p - 3 = 0, -4*p + 3*p = -4*z + 39. Does 9 divide z?
True
Suppose 6*y = y + 1700. Is y a multiple of 42?
False
Is 6*3/6 - 1764/(-9) a multiple of 17?
False
Suppose 2*p - 152 = 68. Is p a multiple of 22?
True
Let g(k) = k**3 + 7*k**2 - 12*k - 16. Is 2 a factor of g(-8)?
True
Let s(k) = -k + 12. Is 4 a factor of s(-5)?
False
Let v(z) = -z**2 - 20*z + 18. Is 39 a factor of v(-11)?
True
Suppose 5*c + 4*i + 61 = 0, i + 39 = -3*c - 2*i. Let z = 0 - c. Is z a multiple of 5?
False
Let a(b) = -b**2 + 4*b + 8. Let k be a(6). Let i = k + 10. Is 2 a factor of i?
True
Suppose 25 = 4*j - 31. Suppose -w = -4*d - j, -21 - 17 = -4*w - 2*d. Is 9 a factor of w?
False
Let f(a) = -a**2 + a. Let g(u) = -4*u**2 + 2*u - 9. Let c(x) = 3*f(x) - g(x). Is c(0) a multiple of 4?
False
Suppose 4*h = 3*h + 39. Suppose -36 = -4*o + 3*l