 + b = 2*a. Is a a multiple of 16?
False
Let m(f) = 9*f - 14. Suppose 4*w - 4*g = 3 + 5, -5*g = 3*w - 38. Is m(w) a multiple of 10?
True
Suppose 5*g - 185 = -q, 2*g + 4*q = 3*q + 74. Does 20 divide g?
False
Suppose -3*a = i - 27, -2*a + 17 = i - a. Suppose -3*t + i = t. Let o = t + 1. Is 2 a factor of o?
True
Let s(j) = -2*j**3 + 9*j**2 - 25. Let u(t) = -t**3 + 4*t**2 - 13. Let x(q) = 3*s(q) - 5*u(q). Let m be x(7). Does 8 divide (-258)/(-10) - 2/m?
False
Is -7 - -5 - (-20 - 0) a multiple of 18?
True
Let c(b) = -b**3 - 5*b**2 - 4*b - 5. Let y be 2 - (-4)/6*6. Suppose 4*w = -4*q - 8, y*q = 3*q + 4*w - 27. Is 10 a factor of c(q)?
False
Suppose 0 = -b - 3*s + 120, 2*s + 8 = -2*s. Does 9 divide b?
True
Suppose j + 0*j + 2 = -5*p, 2*p = 2*j + 4. Let a = p - -2. Suppose -k - 8 = -a*k. Does 4 divide k?
True
Does 17 divide (-4)/(-4) - 21*-4?
True
Let f be 7/3 + (-18)/(-27). Suppose f*q - 72 = -q. Is q a multiple of 4?
False
Let p(v) = v + 13. Let w be p(-7). Let t = w - 2. Is 4 a factor of t?
True
Does 18 divide ((-33)/2)/((-12)/128)?
False
Let a(f) be the first derivative of 53*f**3/3 + f**2/2 + f + 2. Let m be a(-1). Suppose -5*i = -127 - m. Is i a multiple of 18?
True
Let l = 1 - 37. Does 12 divide (l/(-8))/((-3)/(-8))?
True
Let u(b) = b**2 + 6*b - 2. Let g be u(-6). Is 7 a factor of -2 + 10 + 1 + g?
True
Let p be 22 + 5 + 1 + -4. Is (1 - (3 - p))*2 a multiple of 22?
True
Let x(q) = q - 14. Let z be x(11). Is 3 + -2 - -3 - z a multiple of 2?
False
Let s(b) be the second derivative of b**5/20 - b**4/12 + b**3/6 - b**2/2 - b. Suppose 2*q = -5*y + 12, -y + 3*q - 2 = -1. Is 5 a factor of s(y)?
True
Let s(m) = m + 5. Let g be s(0). Suppose 2*k - 5*k + g*r = 94, 5*r = -2*k - 96. Is 15 a factor of 2/(1 - (-34)/k)?
False
Let j(g) be the third derivative of -g**2 + 0*g + 0 + 1/2*g**3 - 1/8*g**4 - 1/12*g**5 + 1/120*g**6. Is 10 a factor of j(6)?
False
Let f(h) = -h**3 - 2*h**2 - h + 1. Let c be f(-2). Is 13 a factor of (1 + c)/(4/26)?
True
Let b(w) = -w**2 - 10*w - 1. Let k be b(-8). Does 20 divide (-150)/(-9)*36/k?
True
Let m = 7 + -19. Let o = m + 26. Is o a multiple of 9?
False
Let s be 0 - 2 - (-30 - -7). Suppose 0 = -q + 4 + s. Is 13 a factor of q?
False
Is 5 a factor of (-5)/(-20) + (-59)/(-4)?
True
Let j = 1 + 15. Is 4 a factor of j?
True
Suppose d + 4*d - 15 = 0. Suppose -k + 76 = d*k. Is k a multiple of 10?
False
Let n(o) = 2*o**2 - 4*o + 2. Let w be n(2). Let g(h) = -h**2 + 7*h + 4. Let i be g(8). Is -62*(10/i + w) a multiple of 11?
False
Let p(m) = 3*m**3 - 3*m**2 + m + 1. Let d(k) be the third derivative of k**6/120 - k**5/12 + k**3/3 + k**2. Let v be d(5). Is 6 a factor of p(v)?
False
Is ((-10)/(-35))/(3/84) a multiple of 2?
True
Let z(p) = 8*p**2 - 2 + p + 0 - 2 + 3. Does 13 divide z(2)?
False
Let u = 19 + -12. Is 2 a factor of (u + 2/(-2))/2?
False
Let n(k) = k**3 + 11*k**2 - 12*k. Let m be n(-12). Suppose m = -v + f + 22, 4*v - 3*f = -8*f + 97. Is 4 a factor of v?
False
Is 6 a factor of ((-1)/2)/((-14)/168)?
True
Let q = 3 - 0. Suppose -5*z + 30 = -q*z. Is z a multiple of 7?
False
Let b(f) be the second derivative of f**4/12 + f**3/6 - 2*f**2 - 3*f. Let j be b(0). Does 11 divide j/10 - (-246)/15?
False
Let j = 3 + 1. Suppose 0 = j*y - 4*b - 84, 4*y - 16 - 93 = -b. Suppose 36 = 2*x - y. Is x a multiple of 10?
False
Let f(t) = -t**2 - 14*t + 5. Does 18 divide f(-13)?
True
Let a(m) = -m**2 + 5*m**3 - 2 + 3*m**2 + 2*m - 6*m**3. Let o be a(3). Is (84/15)/((-2)/o) a multiple of 7?
True
Suppose -2*h + 2 = -h. Suppose h*q = -3*q - 175. Does 4 divide (-231)/q - 4/(-10)?
False
Is 3208/10 - 16/20 a multiple of 20?
True
Suppose -4*y = -17 - 15. Let q(c) = c**3 - y*c + 2*c**2 + 4 - 2 + 5*c**2. Does 26 divide q(-7)?
False
Let q = 2 - 0. Suppose -36 = -q*d - d. Is 6 a factor of d?
True
Let c(s) = 2*s**3 + s**2 - 6*s. Is 17 a factor of c(4)?
False
Let p(u) = 11*u**3 - 4*u + 3. Let z be p(2). Let k = z - 46. Is 17 a factor of k?
False
Suppose 0*a - 3*a + 144 = 0. Is a a multiple of 4?
True
Let l be (-2)/(-8) - 2168/(-32). Suppose -3*z + 5*i = -l, -5*z + 3*z - 4*i = -38. Is z a multiple of 21?
True
Let o = 8 - -11. Is o a multiple of 4?
False
Let m(r) = r - 5. Let p be m(5). Suppose p = -c - 16 + 46. Is c a multiple of 13?
False
Let u(f) = -f + 10. Let t be u(7). Let y(r) = r - 5. Let z be y(t). Is 6 a factor of 0/z - (-13 + 3)?
False
Is (620/20)/((-1)/(-8)) a multiple of 31?
True
Let p(i) = i + 1. Let w(a) = -a**2 - 8*a + 6. Let l(y) = -2*p(y) - w(y). Does 16 divide l(-10)?
True
Suppose -2*h + 4*w + 18 = 0, 2*w = -5*h - 3*w. Suppose -l + 6*c - c + 1 = 0, -c + 51 = h*l. Is 16 a factor of l?
True
Let a = -68 - -154. Suppose 2*s + a = -0*b + 4*b, -2*b + 31 = -5*s. Does 23 divide b?
True
Suppose 6*y - 2*y + 5*q = 16, -3*y + 5*q = -12. Is 4 a factor of y?
True
Let u = -6 - -27. Is 11 a factor of u?
False
Let i be 32/6 + 5/(-15). Suppose -i*o + 54 + 31 = 0. Is o a multiple of 8?
False
Let o = 12 + -7. Suppose 244 = o*b - b. Suppose -v - 2*v = 3*p - 57, -3*v + b = 5*p. Does 8 divide v?
False
Let a(x) = -1. Let q(g) = 2*g**2 - 10*g + 14. Let b(p) = 8*a(p) + q(p). Is b(6) a multiple of 9?
True
Let o = 5 + -20. Does 20 divide (-5 - o)*26/4?
False
Suppose -4 = -3*l + 41. Suppose -4*s = -7*s + l. Is s a multiple of 3?
False
Let b = 111 - -78. Does 20 divide b?
False
Let r(h) = -2*h**2 + 17*h + 3. Is r(7) a multiple of 24?
True
Does 3 divide ((2 - 5) + -12)*4/(-10)?
True
Let b(w) = w + 6. Let u(m) = m + 1. Let f(d) = b(d) - 6*u(d). Is 10 a factor of f(-4)?
True
Let a(i) = -i**2 + 11*i + 6. Suppose 0*b = 2*b - 12. Does 18 divide a(b)?
True
Suppose 10*g = 6*g + 240. Is g a multiple of 12?
True
Let a(z) = z**3 + 9*z**2 + 7*z + 6. Let j be a(-7). Suppose 2*k - 2*c = 3*c - 2, -c - 14 = -4*k. Suppose -5*h = -k*h - j. Is h a multiple of 20?
False
Suppose 4*c = 0, -5*w - 120 = 3*c - 10. Let r = w + 38. Is r a multiple of 8?
True
Let a = 29 + -16. Suppose -2*c - 1 = 3*j + 26, -c = j + a. Let b = c - -22. Is 5 a factor of b?
True
Let b(o) = o**2 + o - 3. Let w be b(-4). Let s be 7 + -7 + 6/2. Suppose 0 = -a + w + s. Is a a multiple of 6?
True
Let p(s) = 3*s**3 - 2*s**2 + 2*s - 1. Let x be p(1). Suppose -3*j + 77 - 14 = -3*d, -x*d - 39 = -3*j. Is (d/(-10))/((-6)/(-45)) a multiple of 18?
True
Let t = 53 - 91. Let p = t + 12. Let g = p - -55. Is g a multiple of 13?
False
Suppose 0 = -y - 3 + 5. Let n be (-26 - 1)/((-2)/y). Let d = n + -5. Is 8 a factor of d?
False
Let n(g) = 1. Let f be (0 + -1)*1/1. Let w(i) = i**2 - 11*i + 3. Let u(m) = f*w(m) + n(m). Is 13 a factor of u(7)?
True
Let s(r) = r**2 + 14*r - 13. Let h(w) = -w**2 + w - 1. Let u(b) = 2*h(b) + s(b). Is u(10) a multiple of 9?
True
Let i be 3 - (2 + 6/(-2)). Let m = i - 7. Does 15 divide 2 + 0 + (16 - m)?
False
Let h be (-50)/15 - (-1)/3. Let f(o) = 4*o**2 + 4*o. Is f(h) a multiple of 8?
True
Suppose 3*w + 192 = w. Let a be w/4 - (-1 - 0). Let s = a - -33. Is s a multiple of 5?
True
Let c(v) be the first derivative of -v**4/4 - 5*v**3/3 - 5*v**2/2 - 4*v + 2. Let f be c(-5). Let z = 1 + f. Is z a multiple of 11?
True
Suppose -2*q + 39 + 39 = -2*m, m = -4. Is q a multiple of 8?
False
Suppose 4*y = -4, -332 = -x - x - 4*y. Is 28 a factor of x?
True
Let z(n) = 7*n**2 + 23*n + 3. Suppose 28 = u + 3*u. Let q(v) = 10*v**2 + 34*v + 4. Let s(o) = u*z(o) - 5*q(o). Is s(-7) a multiple of 6?
False
Let b(k) = -2*k + 2. Let p be b(7). Let v(c) = 20*c - 1. Let s be v(-1). Let y = p - s. Is y a multiple of 5?
False
Suppose p = -2*p + 9. Let k be p/2*20/(-15). Is 15 a factor of 3/(45/21 + k)?
False
Let g be ((-3)/(-5) + -1)*5. Let m be g/(-4)*-2 + -1. Does 19 divide ((-19)/m)/(1/2)?
True
Let z = 117 - -359. Does 14 divide z?
True
Suppose 3*z - 3*g = -30, -3*g = -g. Let d = z + 14. Suppose d*w - 6 = 54. Is w a multiple of 15?
True
Let r be 24/10 + 8/(-20). Is 18 a factor of ((-1 - r)*6)/(-1)?
True
Let j(u) = 2*u. Let x be j(-1). Is 3/x + (-51)/(-6) even?
False
Suppose -4*i + 40 = -2*l, l + 0*l = -4*i + 28. Let f = i - 2. Is (-4)/f - 58/(-6) a multiple of 9?
True
Is 15 a factor of (-31 + 1)*((-95)/25 - 1)?
False
Is 29 a factor of (-5684)/14*((-10)/4 - -2)?
True
Is (-2 - -61) + (3 - 3) a multiple of 9?
False
Let m(j) = j**2 + 3*j + 4. Let s be m(-3). Suppose -1 = -4*q - l - 4*l, -4 = -4*q - s*l. Does 4 divide q?
True
Let v be ((-16)/10)/(7/