*h = 3*g - 19, g + 8 = -4*h + 26. Suppose -p - 2*q = -8, h*p - 4 = q + 14. Does 4 divide p?
True
Suppose 5*r - 2*l = 2*l + 214, 0 = 4*r + 4*l - 164. Suppose 0 = -h + 3*h - r. Let z = -5 + h. Is 16 a factor of z?
True
Let n(u) = u**2 + 3*u + 10. Let k(f) = 2*f**2 + 7*f + 21. Let j(t) = -4*k(t) + 9*n(t). Is 18 a factor of j(-5)?
True
Let n = -5 - -9. Suppose -13 = -n*p - 5. Suppose -p*f = -4*f + 12. Is 3 a factor of f?
True
Let x = 10 - 6. Suppose -78 = -x*h + 6. Let c = h - 7. Is 7 a factor of c?
True
Suppose 7 = -k - 0. Let t = -10 - k. Is 78/(-9)*t/2 a multiple of 11?
False
Let d(m) = 5*m + 4. Let a(n) = n - 1. Let f(w) = -4*a(w) + d(w). Does 3 divide f(-5)?
True
Suppose 0 = 5*k - 58 - 17. Does 5 divide ((-27)/(-12))/(k/80)?
False
Suppose -9 + 3 = -n. Let s = 8 - n. Suppose -5*m + s*l - 3*l + 85 = 0, 0 = 5*m + 4*l - 100. Is m a multiple of 8?
True
Let r = 2 + -2. Suppose r*b - 3*b + 18 = 0. Suppose 0 = -z - b + 32. Is z a multiple of 13?
True
Is 6*(-4 + (-81)/(-6)) a multiple of 19?
True
Is 2/(-6) - 37/(-3) a multiple of 9?
False
Suppose 4*z - 1816 = -5*p, -p - z + 361 = 2*z. Suppose y + 2*x + 16 = 80, x = 5*y - p. Does 23 divide y?
False
Let f = 157 - 122. Does 7 divide f?
True
Let t be (4/14)/(8/56). Suppose 2*b = -t + 40. Does 7 divide b?
False
Let n(q) = q**3 + 6*q**2 + 4*q - 2. Let w be n(-5). Suppose 0 = -4*x + w*y + 67, -y - 4*y = -2*x + 37. Does 16 divide x?
True
Is 6 a factor of 10/(-6)*(-216)/60?
True
Let i(k) = k**3 - 5*k**2 + 4*k + 2. Let r be i(4). Suppose -3*h + r*h - 14 = 2*x, 3*h = -4*x - 32. Let q = 8 + h. Is 2 a factor of q?
True
Suppose 0 = 3*a, -x - a + 3*a = 0. Let y be (-3)/(1 + 71/(-68)). Suppose 0 = g - 0*g + 3*v - 8, -3*g + 2*v + y = x. Is g a multiple of 10?
True
Let k be 4*(0 + (-3)/6). Let b = 3 - k. Is b even?
False
Let c = -23 + 181. Does 26 divide c?
False
Let l(k) = -k + 14. Does 16 divide l(-7)?
False
Let j(c) = -c**2 - c + 2. Let t be j(1). Suppose 3*q - 240 = -5*k, t = -k + q + q + 61. Is 17 a factor of k?
True
Suppose -13 = -4*l + b, 1 = l + 4*b + 2. Suppose 20 = 7*x - l*x. Is x a multiple of 5?
True
Let y(f) = -f**3 + 11*f**2 - 8*f + 7. Is 21 a factor of y(4)?
False
Suppose 2 = 5*l - a, 3*l - 3 = -3*a + 9. Suppose -7*f + 3*f + l = 3*y, -3*f - y + 2 = 0. Is 10 a factor of 0 - (2 - (29 - f))?
False
Suppose y - 67 = -21. Is 8 a factor of y?
False
Let d be (9 + 3)*38/6. Let a = -46 + d. Does 15 divide a?
True
Let x(o) = o**2 - 3*o + 2. Let w be x(4). Is 261/w - (-6)/4 a multiple of 22?
False
Suppose 135 + 240 = 5*c. Does 21 divide c?
False
Suppose -4*x + 1 = 5. Let f = -3 + x. Does 2 divide 5/4*(8 + f)?
False
Suppose 4*n = 5*l + 118, -6*n + n = -5*l - 145. Is n a multiple of 26?
False
Suppose -280 = -3*r + 107. Is r a multiple of 21?
False
Let k(l) = l - 11. Let p = -5 - -13. Let a be k(p). Let h(b) = -b**2 - 3*b + 3. Is h(a) even?
False
Is ((-33)/(-5))/(2/(5 - -5)) a multiple of 11?
True
Let w(r) = -2*r**2 + 4*r + 1 - 2*r + r**3 - 5. Suppose 5*h - 6 = -2*z, 2*z + 2*z - 2*h - 12 = 0. Is w(z) a multiple of 11?
True
Let n be 0*(15/(-6) + 2). Does 7 divide 7/((-4)/(-20) - n)?
True
Suppose -5*p = -5, 0*p = 4*w - p - 15. Suppose -f + 3*c = -48, -3*f - w*c + 0*c + 183 = 0. Let g = f + -27. Is g a multiple of 15?
True
Suppose 32 = -4*x - k, -5*x + 0*k + 4*k = 19. Let w = -4 - x. Suppose -114 = -3*c + w*q, -2*c - 3*q + 19 = -37. Does 17 divide c?
True
Is 3 a factor of (-2 - 1) + 15/1?
True
Let v(o) = -o**2 - 28*o - 20. Does 14 divide v(-19)?
False
Let a(d) = 2*d - 2. Let x be a(3). Let c(v) = v + 7. Let h be c(-5). Suppose -h*r - x = 0, 7*l - 88 = 4*l + 2*r. Is l a multiple of 14?
True
Suppose -t - 4*b = 1 - 13, -3*t + 5*b - 15 = 0. Suppose 0 = u + 2*f - 34, t = f + f + 4. Is 11 a factor of u?
False
Suppose -2*i + 56 = -2*j, 0 = -3*i - 5*j + 4*j + 68. Suppose 2*d - 44 = 5*z, 4*d - i = 5*z + 44. Is d a multiple of 12?
True
Is 11 a factor of ((-1)/(-5))/((-3)/(-1095))?
False
Suppose -4*i + t = 6*t - 169, 4*t + 12 = 0. Does 23 divide i?
True
Suppose -3*y - 2*y = -50. Let r = -17 - -15. Let d = y - r. Does 5 divide d?
False
Let k = -3 - -5. Let r(j) = 2*j + 12. Let g be r(-4). Let m = k + g. Is m a multiple of 5?
False
Let v(x) = 7*x - x + 0 - 4. Is v(3) a multiple of 7?
True
Suppose -k + 4*c + 0*c = -24, -5*k - 4*c = -24. Suppose 4*x + 0*x = 0. Suppose x + k = 2*y. Is y a multiple of 3?
False
Let m = 6 - 7. Let w(h) = -2 - 2*h + 3 - 2 + 9*h**2. Does 3 divide w(m)?
False
Suppose 4*d - 8*d = -12. Suppose 4*k = -d*p + 33, -5*k + 46 = -2*k - 2*p. Is 6 a factor of k?
True
Suppose 0 = h + 3*h - 8. Let x be h - (13 + (-2 - -2)). Let b = x - -22. Is b a multiple of 11?
True
Let h be 3*(-1 + 8/6). Is h/(1 - (-10)/(-12)) a multiple of 4?
False
Let d(o) = 18*o**2 + 2*o + 1. Let c be d(-1). Suppose -5*b = 4*v - c, -v - 1 = -5*b + b. Suppose v*s - 22 = 14. Does 6 divide s?
True
Suppose -5*s = -0*s - 190. Is s a multiple of 11?
False
Let s(d) = -2 - d + 12*d**2 - 4*d**2 + 1. Does 8 divide s(-1)?
True
Suppose 0 = t - 17 - 25. Let v = t - 27. Is v a multiple of 15?
True
Suppose 1 = -2*u - 9. Let c = u - -4. Is c*((-1 - 0) + -28) a multiple of 8?
False
Let x be 9*(-3 - (14 + -4)). Let v = -69 - x. Is 12 a factor of v?
True
Suppose -5*h - 72 = 3*f - 18, -h = -4*f - 49. Let l = f + 34. Does 13 divide l?
False
Let p(z) be the first derivative of z**3/3 - 3. Suppose -3*v - d = 14, -11 = 3*d + 4. Is 4 a factor of p(v)?
False
Let g(v) = -v**2 + v. Let c(o) = o**3 - 14*o**2 + 6*o - 5. Let q(w) = c(w) - 5*g(w). Is q(9) a multiple of 4?
True
Let z(b) = -3*b**3 + 4*b**2 + 2*b + 5. Let j(u) = u**3 - u. Let h(c) = -4*j(c) - z(c). Let y be h(-5). Suppose s - y = -0. Is 10 a factor of s?
True
Is 0*(-3)/6 - -63 a multiple of 8?
False
Let f = -1 + 0. Let c(n) be the third derivative of -2*n**4/3 - 3*n**2. Is 16 a factor of c(f)?
True
Let i(r) = r**2 + r - 2. Let k be i(-9). Suppose -3*q + k = 2*q + 5*d, -5*d = -q + 38. Is q a multiple of 18?
True
Suppose 6 + 10 = 2*s. Let j be (3/(-4))/((-2)/s). Suppose -z + 44 = -5*o, -4*z + o + 28 = -j*z. Is 14 a factor of z?
False
Let y be 4/(-18) + 80/(-45). Does 5 divide (-33 - -7)/(0 + y)?
False
Let j = 22 + -16. Let o be (15/(-5))/(j/(-4)). Is (2 - o) + 7*2 a multiple of 14?
True
Suppose -5*k + 3 = -2*k. Does 4 divide (4*(-5)/k)/(-2)?
False
Suppose -3*s - s + 4 = 0. Let y(n) = 39*n + 1. Does 14 divide y(s)?
False
Let v = 18 - 6. Let u = -6 + v. Suppose 0 = 5*s - 59 - u. Is s a multiple of 9?
False
Suppose -648 = -p - 3*p. Is 18 a factor of p?
True
Suppose -5*z + 25 = -0*z. Suppose 60 = -5*o + r + 166, 108 = 4*o + z*r. Is o a multiple of 7?
False
Let z = -5 + 12. Suppose 0 = x - 0*k - 5*k + 2, x + 4*k = z. Is 2 a factor of x?
False
Let q be 2 + (1 - 9)/(-4). Does 16 divide (-420)/(-9) + q/(-6)?
False
Does 10 divide -1*(6/(-3) - 18)?
True
Let d(z) = 3*z**2 + 2*z + 1. Let a(s) = 7*s**2 + 4*s + 1. Let l(b) = -2*a(b) + 5*d(b). Does 3 divide l(-3)?
True
Let h = -14 + 84. Is 7 a factor of h?
True
Let d = 6 - 4. Is 9 a factor of 21 + ((-6)/(-3))/d?
False
Suppose 0*j + 2*f = j - 42, 5*j - 2*f - 250 = 0. Is 9 a factor of j?
False
Suppose 0 = -4*v + 43 + 133. Is 11 a factor of v?
True
Suppose 42*w - 52*w = -3380. Is 24 a factor of w?
False
Let h = 2 + -1. Let k be h + 3/(9/21). Is (k/(-6))/((-3)/18) a multiple of 8?
True
Let g = 11 - 57. Let j = -10 - g. Does 12 divide j?
True
Let a be 1*13*(-1)/1. Suppose -3*z + 156 = -12. Let s = z + a. Is s a multiple of 23?
False
Let a be (4/2)/1 - -1. Suppose a*v = -v + 12. Let w(p) = p**2 - p - 1. Is w(v) a multiple of 5?
True
Let v = -16 - -16. Suppose v = 3*t - 12, u - 4*u + 44 = -4*t. Does 10 divide u?
True
Suppose 0*a = 5*a - 60. Is a a multiple of 2?
True
Suppose z = -3*z + 56. Does 9 divide 1*(z + -3) + -2?
True
Suppose 0 = -8*z + 235 + 205. Does 4 divide z?
False
Suppose -3*j = j - 172. Is 13 a factor of j?
False
Suppose 3*a + 2*c + 1 + 9 = 0, -15 = 3*c. Let x = 2 - a. Suppose -x*y - 42 = -5*y. Is 11 a factor of y?
False
Let y(q) = q**3 - 2*q**2 - 3. Is y(3) even?
True
Suppose -62*k + 58*k + 760 = 0. Is 10 a factor of k?
True
Let p = 41 + 93. Suppose 0 = 5*y - p - 56. Is 14 a factor of y?
False
Let g(y) = 4*y**3 + 11*y**2 - 3*y + 9. Let k(s) = 5*s**3 + 11*s**2 - 4*s + 10. Let w(l) = 4*g(l) - 3*k(l). Let r = -21 - -10. Does 2 divide w(r)?
True
Let w = 130 - 119. Is w a mult