11 divide b?
True
Suppose 0*g + 72 = 3*g. Suppose 4*i + g = 5*i. Suppose -5*a - r = -60, -i = -2*a - 2*r + 5*r. Does 12 divide a?
True
Suppose -2*n + 5 = u - 25, -2*n = -4*u + 90. Suppose 4*x = u + 8. Is 6 a factor of x?
False
Suppose -370 = -3*w + 5*d, 4*d + 576 = 5*w - 32. Is w a multiple of 20?
True
Let g = 2 + -4. Suppose 3*y = -6 - 21. Does 8 divide (-4)/(y/(-6) + g)?
True
Let k(d) = 3*d + 5. Let y be 2 + 0 + 17 + 1. Suppose 0 = m + 3*m - y. Is 13 a factor of k(m)?
False
Let r(v) = -3*v - 7. Let j(g) = g**2 + g - 1. Let w be j(-4). Let b = w + -16. Is r(b) a multiple of 7?
False
Suppose -f + n = 3*n, 2*n = -5*f + 16. Suppose h = -2*x + f*h + 14, 0 = -5*x + 2*h + 35. Does 6 divide (-2)/x + (-228)/(-14)?
False
Suppose -594 = -5*p - 129. Does 13 divide p?
False
Suppose -q + i - 3*i = -10, -5*q = 2*i - 66. Is q a multiple of 7?
True
Let z(s) = s**3 - 24*s**2 + 7*s. Is 24 a factor of z(24)?
True
Let o(r) = -r - 3. Let w be o(-5). Suppose 35 = 4*k - k + 5*n, w*k = -5*n + 30. Suppose -5*v - q + 35 = -v, 0 = -2*v - k*q + 13. Is 7 a factor of v?
False
Suppose 3*g = 4*g - 58. Suppose 5*c = 2*y + g, 2*y = -0*c - 5*c + 42. Is c a multiple of 8?
False
Let d(x) = -x + 11. Let w be d(9). Suppose 2*p + 14 = -2*r - 12, -w*p - r - 31 = 0. Is 3 a factor of ((-10)/(-3))/((-12)/p)?
False
Let b be 6/(-2) - -18 - 0. Does 5 divide 279/b - 2/(-5)?
False
Let g(p) = -p**2 + 9*p + 3. Is 11 a factor of g(8)?
True
Let a = 11 - 8. Is (-4)/12*-43*a a multiple of 13?
False
Is 7 a factor of (9/(-12))/(12/(-2016))?
True
Let b(v) = -4*v + 4. Let t = 1 + -2. Let q = -4 - t. Is b(q) a multiple of 6?
False
Let q be (-4)/(-18) - 310/18. Let p = 24 + q. Is p a multiple of 7?
True
Let o(m) = 7*m - 2. Let z be o(1). Suppose 146 - 36 = z*h. Suppose -3*r = -2*v - r + 50, -v + 4*r = -h. Is 14 a factor of v?
False
Let n(m) = 9*m**3 - m**2 + 2*m - 1. Let c be n(1). Suppose 5*h - 2*o + 2 = 2*h, -5*h - o = -14. Suppose d - c = h. Is 4 a factor of d?
False
Let t(j) = -j**3 - j**2 + 1. Let o be t(-2). Let a(z) = z**2 + 5*z**2 + 6*z - 7*z**2. Is 2 a factor of a(o)?
False
Let v = 65 - 33. Is v a multiple of 6?
False
Let v(n) = n**3 + 5*n**2 + 3*n + 2. Let r be v(-4). Let p(q) be the first derivative of -q**4/4 + 5*q**3/3 + 4*q**2 + 2*q + 5. Is 7 a factor of p(r)?
True
Let m = 8 - 7. Let t(c) = 6*c**2 - 2*c + 1. Does 3 divide t(m)?
False
Let d = 3 - 1. Suppose 0 = 2*o - 12 - 14. Suppose -5 = -d*h + o. Is 7 a factor of h?
False
Let w = -35 + 55. Is w a multiple of 8?
False
Let a(d) = d**2 - 3*d - 3. Let i be a(5). Let b = -4 + i. Is b even?
False
Let o(c) = -4*c**3 - c**2 - c. Is 15 a factor of o(-2)?
True
Let r(d) = -d**2 - 8*d - 4. Let y = 5 + -4. Let p be ((-7)/2)/(y/2). Is r(p) a multiple of 3?
True
Suppose -106 = -i - 71. Is i a multiple of 5?
True
Let k(m) = -35*m - 2. Let c be k(-6). Let n(i) = -i**3 + 2*i. Let r be n(2). Is 17 a factor of c/6 - r/(-6)?
True
Let b be (-6)/(-10) + 21/15. Suppose b*u - 20 = -3*p, -u + 10 = 3*p - 9. Is p a multiple of 6?
True
Let t be (8 - 3)*28/10. Let s(c) = -c - 3. Let r be s(-7). Let q = t - r. Is 5 a factor of q?
True
Suppose -77 = -w + 109. Suppose -w = -3*j - 0*j. Suppose 0 = 4*y - j - 58. Is y a multiple of 15?
True
Does 22 divide (26/6)/((-7)/(-63))?
False
Suppose -161 = -3*a + 85. Is a a multiple of 21?
False
Let m be (-3)/((-2)/((-32)/12)). Does 23 divide 2/m*-3*26?
False
Suppose 0 = -o + 3*o - 24. Does 6 divide o?
True
Let x(a) = 14*a - 3. Is 14 a factor of x(11)?
False
Let s = -3 - -1. Let k be (4 + s)*-2*-2. Is (4/k)/(2/36) a multiple of 4?
False
Suppose 252*c - 250*c - 192 = 0. Is 17 a factor of c?
False
Let z be (-96)/10 + 6/(-15). Does 4 divide (-2)/z + (-396)/(-45)?
False
Is 18 + ((-12)/18)/(2/(-6)) a multiple of 3?
False
Suppose 21 = 4*z + 1. Suppose -p + y = 6*y - 8, z*p = 3*y + 40. Does 8 divide p?
True
Suppose 0*m = 3*m - 162. Suppose 2*v - m = -v. Is v a multiple of 18?
True
Suppose 2*u - 8 - 76 = 0. Is u a multiple of 6?
True
Suppose -t = t - 4. Does 12 divide (-288)/(-15) - t/10?
False
Let h(z) = -4*z**3 + z**2 - 8*z + 7. Let j(x) = -x**3 - x + 1. Let m(n) = -h(n) + 3*j(n). Let f be m(3). Let l = f + -16. Is 13 a factor of l?
True
Let l be (-3)/(-3)*(-3 - -3). Suppose l*i - 31 = -c + 2*i, -3*i - 120 = -5*c. Is c a multiple of 12?
False
Let b = 44 - -1. Let w = b + -13. Is w a multiple of 8?
True
Let u(r) = 5*r - 6. Is 25 a factor of u(17)?
False
Let q = 2 + -7. Let h(p) = p**3 + 5*p**2 - p + 5. Does 10 divide h(q)?
True
Let a(u) = -4*u**2 + 4*u + 1. Let c be a(3). Let j = 14 + c. Does 10 divide ((-40)/(-6))/((-3)/j)?
True
Let u(g) = -7*g + 4. Let l(r) = -8*r + 3. Let x(n) = -3*l(n) + 4*u(n). Is x(-3) a multiple of 7?
False
Let w(m) = m**2 - 15*m - 10. Suppose 0 = -8*h + 10*h - 36. Does 11 divide w(h)?
True
Suppose 0*h - 2*h - 2 = 2*o, 1 = 4*h - o. Suppose -3*z - 3 = h, k = 2*k - 3*z - 13. Let f = k + -4. Does 3 divide f?
True
Suppose -9 = -3*s + 9. Is s a multiple of 6?
True
Let r be (-4)/14 + 5716/14. Suppose r - 28 = 5*i. Is i a multiple of 19?
True
Let v = 61 + -19. Suppose 2*d - 1 - 3 = 0. Does 3 divide (d/6)/(2/v)?
False
Let c(d) = 22*d**2 - d + 1. Is c(-3) a multiple of 34?
False
Let w = 6 - 2. Suppose -w*k - 279 = -5*f - 46, -f + 37 = 4*k. Is 15 a factor of f?
True
Let q be 1*(1 - (0 + 2)). Let k = -25 - q. Let z = 15 - k. Is z a multiple of 10?
False
Let y(k) = -k**2 - 3*k + 1. Let j(q) = 2*q - 1. Let w(h) = 3*j(h) + 2*y(h). Let o(l) be the first derivative of w(l). Does 4 divide o(-2)?
True
Let k = -10 - -14. Let y be 1*(-2)/k*-4. Suppose 0 = -4*m + y*m + 10. Is m a multiple of 5?
True
Let b = 9 + -3. Let f = -2 + b. Suppose -2*o = -f*c + 8*c - 52, c = 1. Is o a multiple of 12?
True
Suppose -3*u = 0, 5*c - 1280 = u + u. Does 32 divide c?
True
Let j(f) = 3*f + 15*f - 8*f**2 + f**3 - 8 - 7*f. Does 4 divide j(7)?
True
Let b = -8 - -13. Suppose -2*r = 2*w - 366, b*r - 10 = -0. Is w/5 - 2/10 a multiple of 18?
True
Suppose 4*y - 2*m = -0*y + 22, 4*m - 16 = -4*y. Suppose -p + 28 = n + 3*p, -y*n + 15 = -5*p. Does 4 divide n?
True
Let f = -38 - -95. Is f a multiple of 7?
False
Does 13 divide ((-441)/(-126))/((-1)/(-26) + 0)?
True
Let y(m) = -m + 46. Does 18 divide y(0)?
False
Suppose -3*o - 90 = -3*x, -2*x - 3*o - 58 = -4*x. Is x a multiple of 3?
False
Let y be 1 + (-6*2)/(-4). Suppose -125 = -5*o - 5*d, -o + y*d = 2*o - 47. Is o a multiple of 7?
True
Let g(c) = c**3 + 7*c**2 - 7*c + 1. Let k be g(-7). Let u = -11 + k. Does 27 divide u?
False
Let g(w) be the third derivative of w**4/24 - 4*w**3/3 + w**2. Let s be g(5). Is 3 a factor of 2/s + 80/12?
True
Let i = 159 + 43. Does 9 divide i/22 + (-12)/66?
True
Let m(f) = f - 7. Let h be m(5). Is ((-14)/(-4) + h)*2 a multiple of 2?
False
Let q(r) = 4*r**2 - 2*r - 2. Let w = -5 - -3. Does 8 divide q(w)?
False
Let g = 138 - 98. Is g a multiple of 20?
True
Let s = 88 + -84. Is 2 a factor of s?
True
Let c = 61 + -33. Suppose 0 = 5*s - 112 - c. Suppose 0 = 5*z - z - s. Does 3 divide z?
False
Is 16 - (1 + (-2 - -1)) a multiple of 12?
False
Suppose -3*d + 18 = 6. Suppose -a - 145 = 3*u, 196 = -d*u + 2*a - 14. Let l = -30 - u. Does 10 divide l?
True
Let r be (-225)/10*(-2 - 0). Let o = 32 - r. Let z = 11 - o. Does 8 divide z?
True
Let j = 9 + -4. Suppose -265 = -j*k + 30. Does 24 divide k?
False
Suppose -f - 1 = -3*v + f, -3*v = -5*f - 7. Let p = v + 4. Is p a multiple of 2?
False
Let t(h) = h**3 + 9*h**2 + 10*h. Let k(r) = r**3 + r**2 - 1. Let z(b) = -2*k(b) + t(b). Let i(v) = -v**3 - 6*v**2 - v + 2. Let s be i(-6). Does 6 divide z(s)?
True
Suppose -87 = -4*y - n, -3*n = -3*y - n + 68. Is y a multiple of 8?
False
Is 8 a factor of (-24)/(-14)*(4 - -3)?
False
Let p(v) = -71*v - 37. Is p(-3) a multiple of 22?
True
Is 41 a factor of 3/(-3 - (-1236)/410)?
True
Suppose -3*v - 3*v + 78 = 0. Does 11 divide v?
False
Let y(m) = 2*m**2 + 16*m + 10. Suppose 10 + 10 = -2*j. Does 10 divide y(j)?
True
Suppose 0*v = -5*v + 5*f + 45, 4*f = -2*v + 24. Is v a multiple of 5?
True
Suppose -2*z + 4*g = -2, -7 - 2 = 5*z + 4*g. Let h(l) be the first derivative of -15*l**2/2 + 1. Is 15 a factor of h(z)?
True
Suppose -176 = -4*c - 2*y - 0, -4*c = -y - 170. Does 9 divide c?
False
Let w be 4/(4/(-3)) + 5. Suppose 4*g - 5*f = 95, -g - 20 = -w*g + 2*f. Suppose v - 4*v = -g. Is v a multiple of 10?
True
Suppose 6*z + l 