-5*b, -m*j = -2*b - v. Does 15 divide j?
True
Suppose 6*b - 2*b = 20. Suppose -4*i - 101 = -b*c, -4*i + 2*c - 139 = i. Let x = i - -47. Is x a multiple of 9?
True
Let p be (-2)/(-4)*14 - -1. Suppose 3 = 5*u - 3*a, -u - 4 + p = -4*a. Suppose -5*w + h + 119 + 76 = u, -4*h = -20. Is 17 a factor of w?
False
Suppose 0 = -4*v + 33 + 23. Let a = v + -20. Let p(k) = 2*k**2 + 7*k - 2. Is p(a) a multiple of 14?
True
Let n = 51 - 12. Does 7 divide n?
False
Suppose 6 = -0*z - 2*z. Let x(k) = -11*k + 1. Is x(z) a multiple of 17?
True
Let k = -11 - -11. Suppose o = 2*b + 6 + 4, -o + b + 9 = k. Is o a multiple of 3?
False
Suppose 1 = -2*r + 3. Let q(x) = -x. Let n be q(-7). Does 7 divide ((r - -1) + -1)*n?
True
Let o(g) = g - 3. Is o(6) a multiple of 3?
True
Suppose -5*k + 72 = -0*w + 3*w, 3*k + 2*w - 43 = 0. Is (-57)/(-15) - (-3)/k a multiple of 4?
True
Suppose 0 = 3*f + 2*f. Suppose f = z + 2*z. Suppose z = 2*h - 3*h + 5. Is 3 a factor of h?
False
Let f(s) = 4*s**2 - s. Let y be f(2). Does 14 divide y/(0 - (-3)/6)?
True
Suppose 36 - 11 = 3*f - 4*i, f + 9 = -3*i. Suppose r = -4*l + 28, f*r + 0*r - 3*l = 159. Does 17 divide r?
False
Suppose -101 = 2*d + 2*s - 265, 5*s - 330 = -4*d. Does 16 divide d?
True
Suppose -94 = -2*d - 4*a, 2*d - 86 = 2*a - 4*a. Let t = 0 - 0. Suppose 3*f - d = -t*f. Does 8 divide f?
False
Let f(h) = 2. Let p(c) = c + 3. Let x(w) = -w - 7. Let d be x(-9). Let l(u) = d*p(u) - 3*f(u). Does 10 divide l(5)?
True
Let w = 2 - 2. Is (-22)/8*(-4 + w) a multiple of 11?
True
Suppose 9*j - 60 = -3*r + 4*j, -3 = -j. Let g = r + -10. Is 4 a factor of g?
False
Is 18 + -20 + (1/1 - -155) a multiple of 25?
False
Let f be 2/8 + 30/8. Let c(o) be the first derivative of o**3 - 3*o**2/2 - 4*o + 1. Does 16 divide c(f)?
True
Let d(f) = -f + 1. Let h(q) = 8*q - 7. Let j(o) = -5*d(o) - h(o). Let v be j(3). Let u = 5 - v. Is u a multiple of 5?
False
Is (-6)/18*-2*45 a multiple of 4?
False
Let p be (-3)/(-9)*6*1. Suppose p*o - 7 - 25 = -4*c, 4*c - 52 = -3*o. Does 10 divide o?
True
Let l be 0 + (-3)/1*1. Let c = l - -19. Is c a multiple of 16?
True
Let z be 1 + 2 - 4/1. Is (0 - 1)*z + 3 a multiple of 4?
True
Let j = 35 - 12. Is j a multiple of 8?
False
Suppose 0 = 2*o - 9 + 1. Is (-26)/(-1 + 2/o) a multiple of 18?
False
Does 8 divide 51/3 - (-2)/(-2)?
True
Suppose -4 = -5*g + 6. Suppose -4*k - 4*h = -28, -2*k = 2*h + g*h - 16. Is 12 a factor of (-93)/(-6) + (-9)/k?
False
Let q(t) = -27*t**3 - t**2 - t. Suppose 2*b = -2*b - r - 11, 1 = -2*b + r. Let d be -1*(-2 - (-1 + b)). Is q(d) a multiple of 9?
True
Let b = -6 - -11. Suppose 0 = -2*l - 3*l - b*s, -s + 6 = 4*l. Suppose 5*g - 5*r - 60 = 0, 2*r - 21 = -l*g + r. Does 7 divide g?
False
Let p = -2 - -5. Let i = 1 + 0. Suppose -y - 17 = -p*f, -2*f - y - i = -f. Is f a multiple of 3?
False
Is 13 a factor of (-3)/6 - 502/(-4)?
False
Let l = -101 + 28. Let k be ((-43)/(-4))/(2/(-8)). Let f = k - l. Does 15 divide f?
True
Suppose 0 = 4*h + 2*x - 150, h - 8 - 12 = 3*x. Is 5 a factor of h?
True
Let f be ((-26)/39)/(4/(-6)). Does 16 divide f/3 + (-1652)/(-21)?
False
Let h = 5 + 0. Suppose -5*g = -0*g. Suppose g*i + h*i - 20 = 0. Is 4 a factor of i?
True
Suppose 0 = -4*h - k - 154, -3*k = 3 + 3. Let y = h - -58. Is 10 a factor of y?
True
Suppose 0 = -z + 6*z + 5*u - 1310, 4*z + 3*u = 1044. Is z a multiple of 16?
False
Let o(x) = -x**2 + 7*x + 5. Let m be o(7). Suppose m*w = -3*n + 84, w + 2*w = 0. Is n a multiple of 12?
False
Let n(c) = -2*c + 2. Is n(-8) a multiple of 9?
True
Suppose 3*t = s + 9, 0 = t - 1 - 3. Let k = -9 - 86. Does 17 divide k/(-3) + 1/s?
False
Let w(m) = 8*m**3 - m + 1. Let s be w(1). Let c = 1 - 6. Let a = s - c. Is a a multiple of 5?
False
Let i(x) = -2*x - 6. Let q be i(-5). Let s = q - 2. Is s even?
True
Let i(p) = -p**2 - 13*p - 22. Is i(-10) a multiple of 4?
True
Suppose -2*i = -4*i + 288. Is i a multiple of 12?
True
Let t(i) be the second derivative of -4*i + 0 + 1/3*i**3 - 3*i**2 + 1/12*i**4. Is t(4) a multiple of 9?
True
Is 40 a factor of 1655/25 - 1/5*1?
False
Let r(w) = -4*w. Let b(m) = -m + 1. Let x(s) = -b(s) - r(s). Let z be x(-2). Does 8 divide (-765)/(-33) + 2/z?
False
Suppose -4*g + 10 = 3*c - c, 15 = 3*c - 4*g. Suppose 270 = c*a - 70. Let v = a - 43. Is v a multiple of 12?
False
Is 17 a factor of (16 - -1)*(-1 + 0)*-2?
True
Let b = 38 + -13. Is 5 a factor of b?
True
Let y be (2 - 2)/(2 + 1). Suppose -5*a + 15 = 5*z, y = 4*a + 4*z - z - 17. Does 8 divide a?
True
Suppose g = 2*g + 5. Let o(c) = -c**3 - 5*c**2 - c - 3. Let u be o(g). Let b(a) = a + 1. Is b(u) a multiple of 3?
True
Let v = 112 + -64. Is 24 a factor of v?
True
Suppose -4 - 1 = z. Let p(y) = y - 7. Let d be p(3). Is 2/4*d*z a multiple of 4?
False
Suppose 156 = -2*f + 556. Is (-1)/(f/(-66) + 3) a multiple of 18?
False
Suppose s - 15*s + 1120 = 0. Does 3 divide s?
False
Let v = 317 + -185. Is 22 a factor of v?
True
Let q(d) = d**3 - 8*d**2 - 3*d + 12. Let p be q(8). Does 11 divide (44/p)/((-3)/9)?
True
Let k(o) = -3*o + 4. Let r be k(-5). Suppose 3*d = -5*h + 32, -4 = -4*h - 5*d + r. Is 7 a factor of h?
True
Suppose -3*m = v + 3, -2*v = 4*m + 5 - 3. Let t be (-8)/m - (-2 + 3). Is 4 a factor of (-30)/25*(-10)/t?
True
Let q = -9 + 6. Let i = 41 - q. Does 13 divide i?
False
Let v(x) = 38*x**3 - x**2 + x - 1. Is 12 a factor of v(1)?
False
Is (4/6)/(2/9) - -57 a multiple of 20?
True
Let b(l) = 0 + 12*l - 17 - 15. Let c(a) = -3*a + 8. Let i(f) = -2*b(f) - 9*c(f). Is 7 a factor of i(7)?
False
Suppose 0 = 7*d - 3*d - 380. Is d a multiple of 19?
True
Let p = 2 - 4. Let g be p/(-3)*9/2. Suppose 0*m = -5*m - 5*o + 35, 15 = -g*o. Is m a multiple of 9?
False
Let v(w) = -w**2 - 11*w + 7. Let t be v(-11). Suppose x + p - t = 0, 0 = p + 4*p + 20. Does 11 divide x?
True
Suppose m - 8 = -2*a, 2*m - 3*a = -2*a + 41. Let l(w) = 2*w**2 - 3*w + 3. Let x be l(2). Suppose x*c = 2*c + m. Does 3 divide c?
True
Let k = -2 - 7. Let r = k + 39. Suppose -r = a - 2*a. Is 15 a factor of a?
True
Let t = -1 - -7. Let p be 26/12 - t/36. Let f = 9 - p. Does 7 divide f?
True
Suppose 0 = -2*n, -2*n = -8*c + 3*c + 1025. Let k = -145 + c. Is k a multiple of 27?
False
Suppose -21*x + 150 = -16*x. Is 22 a factor of x?
False
Suppose -j + 5*o + 100 = 0, 5*j + 4*o - 856 = -327. Suppose 2*q = 7*q - j. Is q a multiple of 10?
False
Let c(s) = s**3 - s**2 - 3. Is c(4) a multiple of 15?
True
Let r(c) = -c - 7. Is 4 a factor of r(-13)?
False
Is 19 a factor of 2196/24 + 2/4?
False
Suppose 4*q + 0*q + t = 7, 0 = -5*q + 3*t - 4. Let k(z) = 45*z + 5. Let s(p) = 46*p + 4. Let v(i) = -5*k(i) + 6*s(i). Is v(q) a multiple of 17?
False
Let l(o) = 8*o**2 - 7*o + 7. Let n be l(5). Suppose 4*s = -4*t + n, 4*t - 126 = -2*s + 52. Is 18 a factor of t?
False
Let d = 6 + -6. Suppose d*v + n = -3*v + 133, -160 = -4*v + 3*n. Suppose 27 + v = 5*k. Does 7 divide k?
True
Let r(c) be the third derivative of c**5/60 - c**4/4 + 4*c**3/3 - 11*c**2. Let v(a) = 2*a + 2. Let h be v(3). Is 10 a factor of r(h)?
False
Let s(b) = -b**3 - 8*b**2 + b + 8. Let w be s(-8). Suppose -2*l = 5*n - 190, -2*l + w*l - 62 = -2*n. Does 12 divide n?
True
Let q(k) = -1 + 3*k**2 - 2*k + 3 - 1 + 5*k**2. Let j be q(1). Let i = 17 - j. Is 5 a factor of i?
True
Suppose p = -2*u + 6, 4 = -3*p - 8. Let f = u - 0. Suppose 0 = f*z + 104 - 279. Is z a multiple of 13?
False
Let l(d) = 3*d - 2. Suppose 3 = 2*m + 2*r - 3, 2*r = 2. Is 4 a factor of l(m)?
True
Let s be 0/((-1)/(1/(-2))). Suppose 4*h + 5*l - 76 = s, -4*h + 2*l + 76 = -0*l. Is (3 + -2)*h*1 a multiple of 8?
False
Suppose -177 = 25*s - 26*s. Is 38 a factor of s?
False
Suppose -5*s + 20 = -80. Does 10 divide s?
True
Let j = -57 + 101. Is j a multiple of 6?
False
Suppose 5*i - 6 - 149 = -2*q, -4*i - 3*q = -131. Is 29 a factor of i?
True
Let a be (1*-2)/(-2) - -2. Let g = a - -12. Does 8 divide g?
False
Let s(q) = -2*q**3 + 12*q**2 - 2*q + 2. Let c be s(8). Is (-9)/12 - c/8 a multiple of 11?
True
Let h(y) = -y**3 + 48. Let k be 0/(-2)*(-1)/1. Does 16 divide h(k)?
True
Suppose -3 = 3*q + 6. Let z = q + 26. Is z a multiple of 10?
False
Suppose -5 - 10 = -5*b. Suppose 5*i + 108 = 4*c, -2*c = b*c - i - 156. Does 11 divide c?
False
Let v = 111 + -69. Is v a multiple of 14?
True
Let m be (306/10)/(9/30). Suppose -p = 2*p - m. Suppose -k + p = y, 2*k - 2*y - 82 = -k. Does 15 divid