0 = -2*g + b + 7. Does 5 divide g?
False
Let d be (-2614)/(-4) + 21/(-14). Suppose 7*v - d = 3*v. Is 12 a factor of v?
False
Let f(b) = -4*b**3 - 2*b**3 - 2*b**3 + b**3 - 2*b**2 + 3*b. Is 27 a factor of f(-3)?
True
Let j(g) = g - 9 + 28 - 1173*g**3 + 1172*g**3 - 15*g**2. Is j(-16) a multiple of 37?
True
Let s(n) = 38*n + 98. Is 5 a factor of s(19)?
True
Suppose 3*z = 4*v - 82 + 347, 4*v - 316 = -4*z. Suppose -3*m - 1160 = -13*m. Let b = m - z. Is b a multiple of 11?
True
Is 17 a factor of (-7930)/(-39) + (-2)/(-3)?
True
Suppose 4*f + 176 = 20*f. Suppose -f*d = -9*d - 192. Is 48 a factor of d?
True
Suppose 3*w = -0*q + 3*q - 174, 2*q = -5*w + 130. Let s = -97 + 100. Suppose t - q = -s*t. Is t a multiple of 11?
False
Let d = -93 - -20. Let i = d - -51. Let w = i + 82. Is 15 a factor of w?
True
Let i(x) = x**3 - 6*x**2 + 2*x - 7. Suppose 0 = 4*p - 14 - 10. Let g be i(p). Suppose g*k + 0*b = -b + 72, -4*b = -8. Does 13 divide k?
False
Is -7 + 329/42 - (-8215)/6 a multiple of 27?
False
Suppose 2*j = -3*j + 25. Suppose -j = i - 19. Is 14 a factor of (i/(-8))/((-3)/72)?
True
Suppose 5*k - u = 494, -2*u + 376 = 4*k + 2*u. Is k a multiple of 8?
False
Suppose -5*y + y + 1 = -5*k, y - 3*k = -5. Suppose 0 = -y*q - 16, 4*v - 48 - 208 = -4*q. Is 17 a factor of v?
True
Let h(d) = 2*d - 17*d**2 + 10*d**2 + 2 + 23*d**2. Is h(-1) a multiple of 9?
False
Suppose 16*t - 20*t + 24 = 0. Does 11 divide (61/2)/(3/t) - -1?
False
Does 47 divide 6245*(0 - 8/(-40))?
False
Suppose -2*f + 1682 = 4*z, -3*z + 5*f = -879 - 376. Does 14 divide z?
True
Suppose -4*b = -16, 5*h = -4*b + b + 32. Is 40 a factor of (10/(-6))/(h/(-480))?
True
Suppose -48*j - 8 = -46*j. Let d = j - -164. Does 15 divide d?
False
Let v(c) = -c**3 + 6*c**2 + 14*c + 18. Let h be v(8). Suppose 0*r = h*l + 5*r - 93, 2*r = -l + 48. Is l a multiple of 6?
True
Let i(b) = 56*b + 52. Is i(29) a multiple of 50?
False
Let q(b) = 2*b + 9. Let v(j) = -j - 4. Let i(g) = -2*q(g) - 5*v(g). Let l(d) = -2*d - 3. Let w(m) = 5*i(m) + 2*l(m). Does 9 divide w(5)?
True
Let l = -84 + 152. Is l a multiple of 3?
False
Let f(a) = a**2 - 2*a + 7. Suppose -24 = 11*t - 3*t. Is f(t) a multiple of 11?
True
Let m(b) = -50*b - 353. Is 29 a factor of m(-13)?
False
Let b(x) = x**3 + 6*x**2 + 4*x + 1. Let f(z) = z**2 + 15*z + 10. Let r be f(-14). Let u be b(r). Suppose 0 = a - 35 - u. Is 13 a factor of a?
True
Suppose 8 = -3*l + 5*l. Suppose -16 = l*y + 16. Let o(w) = -w**3 - 9*w**2 - 11*w - 2. Does 11 divide o(y)?
True
Let b be ((-4)/10 + 0)/(4/(-40)). Suppose -b*d + 143 = 11. Does 14 divide d?
False
Suppose -11*w = -3*w + 2720. Let o = w + 501. Is 14 a factor of o?
False
Suppose b + 4*v - 236 = -v, -5*v - 819 = -4*b. Does 14 divide b?
False
Let v be (-6)/(-33) + 222/(-11). Let j = 17 + v. Is (-57)/(-1)*j/(-3) a multiple of 10?
False
Suppose -1430 = -41*f + 15*f. Does 24 divide f?
False
Let c = -894 + 2512. Is c a multiple of 94?
False
Let k(s) = 2*s + 6. Let f be (-156)/36 + 1/3. Let m be k(f). Is 1/(3*m/(-102)) a multiple of 17?
True
Suppose -3*z - 4*l - 170 = -4*z, z - 2*l = 162. Is 7 a factor of z?
True
Let q(k) = -k**3 - 8*k**2 - 3*k + 4. Let a = -65 - -57. Does 7 divide q(a)?
True
Let o = -7 + 8. Let i = o + 50. Suppose 0*h = -3*h + i. Is 7 a factor of h?
False
Suppose 0 = -2*q + 21 - 13. Suppose -5 = -q*u + 3. Suppose 5*s - 215 = -3*b, -s + u*s = -b + 45. Does 10 divide s?
True
Let r(g) = 11*g + 4*g**2 - 8*g - 1 + 3*g**2 - 5*g**2. Let p(j) = -j**3 - 5*j**2 - 3*j. Let u be p(-4). Is r(u) a multiple of 5?
False
Suppose 2*h = 1171 + 895. Is h a multiple of 17?
False
Let b(u) be the second derivative of -u**4/12 - u**2/2 + 4*u. Let w be b(2). Let n = 13 + w. Is 4 a factor of n?
True
Let n(r) = r + 4. Let q = -8 - -8. Let w be n(q). Does 21 divide w/((-8)/42)*-1?
True
Let g be -5 + 7 - (-1 + 5). Is 52/(-8)*g + -1 a multiple of 8?
False
Let l(c) = -c**3 - 3*c**2 - 4*c - 4. Let g be l(-2). Suppose g*x - 28 = -4*x. Is 2 a factor of x?
False
Let k be (-372)/48 - (-3)/4. Let f be k/21 - (-734)/6. Let v = f + -50. Is 12 a factor of v?
True
Suppose -30*t = -2100 - 9870. Does 7 divide t?
True
Let l be (-7 + (1 - -1))/(-1). Let m = -342 + 420. Suppose m = 8*g - l*g. Is g a multiple of 13?
True
Let p(i) = 8 - 4*i**2 - 2*i**2 + 3*i**2 - 12*i + i**2. Let z be p(13). Does 16 divide ((-2)/2)/(9/z)?
False
Suppose -3*w - a = -37, 2*w + 5*a = w - 11. Suppose w = -v + 16. Does 2 divide v?
True
Let a be 46 + ((-75)/(-5))/5. Let g = a - -117. Is g a multiple of 15?
False
Is -291*(-3 + -2 - -4 - 0) a multiple of 34?
False
Is 24 a factor of -1 + 3/1 - (-565 + -9)?
True
Let n(o) = 2*o**2 + 24*o - 66. Is n(-29) a multiple of 40?
True
Let f(t) = -t**2 - 2*t + 3. Let a be f(6). Let d = 65 + a. Is d a multiple of 20?
True
Let w be -1 + 3 + (-192)/(-2). Suppose i - w = x - 6*x, -91 = -i + 2*x. Does 39 divide i?
False
Let f(z) = z**3 - 7*z**2 + 2*z + 4. Let v(j) be the third derivative of j**4/4 + j**3/6 - 3*j**2. Let x be v(1). Is 9 a factor of f(x)?
True
Let q(b) be the second derivative of -b**3/2 - 5*b**2/2 + 4*b. Let a be q(-5). Suppose 2*k + a - 100 = 0. Is k a multiple of 10?
False
Suppose -4*p + 3*b = -60 - 14, -88 = -4*p - 4*b. Suppose r + 8 = -p. Let k = r - -63. Is k a multiple of 17?
False
Let q = -9 - -11. Suppose 86 + 10 = q*d. Suppose 5*r = 2*w + d, 4*r + 5*w - 10 = 2. Does 4 divide r?
True
Does 7 divide 93/1 + (0 - 2)?
True
Suppose 3*j - 783 = -5*f + 4*j, -f - j + 159 = 0. Let u = f + 13. Is u a multiple of 17?
True
Suppose 18*i - 15*i - 1203 = 0. Does 20 divide i?
False
Let n(j) = 88*j**2 - 6*j - 6. Is n(-1) a multiple of 22?
True
Suppose -4*h + 4*v + 4 = 0, -7 = h + 3*v - 8*v. Suppose h*m = 7*m - 220. Does 11 divide m?
True
Let y = 1719 + -375. Is y a multiple of 24?
True
Suppose 5*t - 5*l - 261 - 129 = 0, 4 = 2*l. Let g = 45 + t. Does 11 divide g?
False
Let y(v) = 22*v**2 + 7*v - 26. Is y(-5) a multiple of 24?
False
Suppose 1536 = 3*p - 402. Is 17 a factor of p?
True
Suppose 32*s - 108 = 5*s. Does 4 divide s?
True
Suppose 0*v + 2*v = -4*h + 50, v = 3*h - 25. Is (-84)/h*(-30)/9 a multiple of 14?
True
Let z be (2 + 1)*(-8)/6. Let g be (-13)/(-2) + (-6)/z. Suppose -4*v = -m - 83, v + 2*m - 24 = g. Does 6 divide v?
False
Let t(v) = -v**2 - 13*v + 22. Let u be (-156)/11 + 16/88. Is t(u) a multiple of 2?
True
Is 38/(-133) + 2 + (-20542)/(-14) a multiple of 30?
False
Suppose -6 = -2*n + 10. Let v be (1/(-2))/(n/16). Is 10 a factor of 1 + 28 - (-1 - v)?
False
Let g = 23 - 18. Let s(f) = 8*f**2 - 4*f - 4. Let c(w) = -7*w**2 + 3*w + 4. Let n(v) = -6*c(v) - 5*s(v). Is 11 a factor of n(g)?
False
Suppose 3*m - 1 = g, m = -g + 5 - 2. Let j(d) = d**3 + 4*d**2 + 2*d - 2. Let x be j(-2). Suppose -3*a + x = r - 17, 0 = g*a - 3*r - 31. Does 4 divide a?
True
Let q be ((-24)/(-9) - 3)*-6. Suppose -5*j + 155 = 5*l, j - q = -7. Suppose -l = -m - 2*m. Is 12 a factor of m?
True
Let f(u) = u**2 - 8*u. Let q be f(7). Is 8 a factor of 3/(q/(-28)*2/4)?
True
Let n be 6/(-33) - (-27)/(-33) - 0. Is 14 a factor of 85 - (1 + -4 + n)?
False
Let x be (-2)/10 - (-1062)/10. Suppose -2*j - 26 = -x. Does 10 divide j?
True
Suppose 0 = -3*b - 4*i + 245, 0*i - i = -5*b + 439. Let c = b + 130. Does 31 divide c?
True
Let q(p) = -3*p + 10. Let w be q(0). Suppose -w*g - 754 = -2854. Is g a multiple of 70?
True
Suppose 1553 = 3*r - 1828. Let h = r + -789. Is (-12)/(-54) - h/(-18) a multiple of 5?
False
Suppose -5*x - 5*c + 30 = 0, -7*x - 5 = -2*x - 2*c. Suppose -5*v = 2*g, 3*v = 3*g - 4*g - x. Let u = g + 17. Is u a multiple of 14?
False
Suppose -308 = -6*t + 514. Is 19 a factor of t?
False
Suppose 163 = 7*f - 2315. Suppose 0 = 2*k - 14 - f. Is 46 a factor of k?
True
Suppose 12 + 0 = 2*m. Suppose 174 = m*q - 4*q. Is 12 a factor of q?
False
Suppose 0 = -5*k + 5*j + 665, 3*k + j - 214 - 193 = 0. Let b = k - 53. Suppose 2*f - d - 76 - 14 = 0, -2*f - 3*d = -b. Does 11 divide f?
True
Let o(s) = 12*s**2 - 2*s + 2. Suppose -5*w + 1 = 2*g - 4, 5*g + 16 = -3*w. Does 26 divide o(w)?
True
Suppose 0 = -f + 5*p - 125, 4*f + 4*p + 0*p + 404 = 0. Let n = 204 + f. Does 33 divide n?
True
Let f be -3*((-40)/(-15) - 4). Suppose -25 = -3*q - 5*u + 2, -f*q - 5*u + 31 = 0. Does 4 divide q?
True
Let z(f) = 13*f - 11*f + f**2 - 24*f + 23. Is z(22) a multiple of 8?
False
Let c(j) = -12*j - 371. Is 15 a factor of c