*b = -16. Suppose 0 = k*a - 70 - 110. Does 15 divide a?
False
Let d be 118/(-5)*25/(-10). Let q = 26 + d. Is 18 a factor of q?
False
Suppose 2*k = -2*k + 64. Is k a multiple of 7?
False
Suppose -4*h - 3*l = -550, 2*l = 5*h - 658 - 18. Is h a multiple of 8?
True
Suppose -4 = -t - 0. Suppose 2*q = 4*k + 314, 3*k - 798 = -q - t*q. Suppose 5*g = -0*u + u + q, -20 = 5*u. Does 8 divide g?
False
Suppose 2*a - 2 = a. Suppose -a*v = 4*l + 10 - 42, -5*v + 108 = 3*l. Does 21 divide v?
False
Suppose -37 + 4 = -3*z. Let a = z - 2. Is a a multiple of 2?
False
Let q(k) = k**3 + 4*k**2 - 2*k + 5. Let l(p) = p**3 - 4*p**2 + 2*p + 3. Let i be l(3). Suppose x + 4 = -i*x. Is 10 a factor of q(x)?
False
Let l(x) = -2*x**2 + 2*x + 1. Let i be l(-2). Let r = i - -38. Is r a multiple of 12?
False
Let b = 26 + -48. Let r = b + 32. Is 10 a factor of r?
True
Let c be (-1)/(3/(-6)) - 1. Let d(t) = 17*t**2 + 2*t + 0*t**2 - 1 - 2*t**2. Is 8 a factor of d(c)?
True
Suppose 2*i - 198 = -0*i. Let w = 24 + -21. Suppose i = w*p + 15. Does 17 divide p?
False
Let i(g) = -7*g + 3. Let q be i(-4). Suppose 2*c + 2 = j - q, -j - 2*c = -21. Is j a multiple of 27?
True
Let m be ((-4)/3)/(2/6). Let w(o) = -9*o - 5. Let d(l) = l - 1. Let h(f) = m*d(f) + w(f). Is 12 a factor of h(-2)?
False
Let y(i) be the third derivative of -i**4/8 - 5*i**3/6 - 8*i**2. Is 4 a factor of y(-5)?
False
Is 2 + (0 - (-94 - 0)) a multiple of 11?
False
Suppose -4*c + 0 = -240. Is 20 a factor of c?
True
Suppose -8 + 3 = -5*n. Suppose -4*y - 4*h + 476 = 0, 4*h + 54 = y - 40. Is 6 a factor of (n/(-3))/((-2)/y)?
False
Suppose 2*k + 0*k + 20 = 0. Let c = -1 - k. Is 3 a factor of c?
True
Suppose -2*h - 4*c + 184 = 0, 5*c - 374 = -4*h - 0*c. Does 7 divide h?
False
Suppose -4*u = 5*o - 840, o - u - 168 = -4*u. Does 14 divide o?
True
Let r(c) = -6*c + 8. Is r(-11) a multiple of 14?
False
Let y(b) = -b**3 - 6*b**2 - 7*b - 4. Suppose q - 13 + 3 = 0. Let f be (5/10)/((-1)/q). Does 5 divide y(f)?
False
Let y(s) = s. Let t be y(2). Let i(b) = 3*b**2 + b + 3 - 4*b**t + 0*b + 3*b**2. Is i(-5) a multiple of 15?
False
Suppose -134 - 97 = -7*r. Is r a multiple of 18?
False
Let c = -3 + 9. Suppose c*k - k = 80. Is 11 a factor of k?
False
Suppose 911 = 4*y - 189. Suppose -q + y = 4*q. Is q a multiple of 12?
False
Let x be 4/16 + 37/(-4). Let o be (-10)/25 - (-416)/(-10). Is 4 a factor of 2/(-3) + o/x?
True
Suppose 3*y = 3, 2*h + y = -y + 2. Suppose h*o + 16 = 4*o. Is (-19)/(-4) - (-1)/o even?
False
Is (-1 - (1 - (-8)/(-12)))*-24 a multiple of 16?
True
Is (-249)/(-3) - (6 + -3) a multiple of 22?
False
Let w(d) = d**2 + 15*d + 34. Does 34 divide w(-15)?
True
Let z be (0/(-1))/(3 + -4). Is 11 a factor of -1 - -1 - (-43 - z)?
False
Is 60/21 - 2/(-14) a multiple of 2?
False
Let n be -1 - (4 + (1 - 0)). Let g(b) = 3*b**2 - 1 + 2*b**2 - 3*b + 0*b + b**3 - 5*b. Does 11 divide g(n)?
True
Let l = 150 - 70. Is l a multiple of 30?
False
Let f be (-30)/(-4) - (-6)/(-12). Let k = f + 54. Does 15 divide k?
False
Let o be 1/(-5) - (-286)/55. Suppose 4*l = -h + 13, 71 = o*h - 2*h - 4*l. Is h a multiple of 11?
False
Suppose 0 = 3*h + 17 - 5. Does 8 divide h*(1 + (-63)/12)?
False
Let y be -3*3/((-18)/4). Let m be (-3)/(-6)*10 - 2. Suppose y*v - 105 = -m*v. Is v a multiple of 14?
False
Suppose -418 = -8*l - 114. Is 19 a factor of l?
True
Let q(m) = 3*m - 30. Does 6 divide q(12)?
True
Let u = 29 + -8. Is 9 a factor of u?
False
Let g(h) = -h - 2. Let b be g(-2). Suppose 4*o = b, -p - o - o + 14 = 0. Is p a multiple of 14?
True
Let n = -268 + 476. Suppose 0 = 3*j + 3*g - 4*g - n, -200 = -3*j - g. Is 19 a factor of j?
False
Let p = 148 - 87. Suppose -404 = -4*z - 2*o, -o + 6*o = 5*z - 490. Let q = z - p. Does 15 divide q?
False
Let v = -17 - -30. Suppose 1 = -3*l + v. Is 3 a factor of l?
False
Suppose 49*q + 69 = 52*q. Is q a multiple of 23?
True
Does 27 divide (-4 + 3 - -1)/2 - -54?
True
Suppose 3*l - 1 = 2*a - 5, a - 2 = -4*l. Suppose -a*n + 44 = -46. Is n a multiple of 16?
False
Suppose 3*z - 59 = 187. Suppose -5*k + 101 = 2*y, -4*k - 3*y + 2*y = -z. Is k a multiple of 13?
False
Let a = -9 + 4. Let q = 50 + a. Does 12 divide q?
False
Let d = 7 + -8. Let f(c) = -1 + 2*c**2 - 4*c**2 - c + 14*c**2. Is f(d) a multiple of 12?
True
Let c be ((-18)/(-4))/(11/22). Suppose 4*j = y - 62 + 157, -c = 3*y. Is j a multiple of 23?
True
Let i = 0 - 4. Let u be (30/i)/((-3)/6). Does 24 divide ((-40)/u)/((-4)/102)?
False
Suppose -5*j + 11 + 69 = 0. Suppose 0*g - j = -g. Is 16 a factor of g?
True
Suppose 2*g - 8 = r, -3*r - 25 = 2*r - 5*g. Let b = r + 2. Let y = 12 - b. Is 6 a factor of y?
True
Let q be 0 + -1 + 1 - 4. Let m(v) = -v**2 - 4*v + 4. Let s be m(q). Does 2 divide (27/(-6))/((-3)/s)?
True
Let i = -26 + 18. Let c = -4 - i. Is ((-70)/4)/(c/(-8)) a multiple of 15?
False
Suppose 37 = 5*t - 268. Is t a multiple of 15?
False
Suppose 5*s - 12 = -q, -4*s + 2 = -3*s. Let t be (-6)/((-9)/12*q). Suppose t*n - 16 = -0*n. Does 4 divide n?
True
Does 16 divide (248/6 + 0)*33/22?
False
Let l = 1 - 0. Let w(k) = 3*k**2 + 4. Let q be w(-3). Let u = q - l. Does 15 divide u?
True
Let n(u) = -u**2 - 6*u + 6. Let l be n(-6). Let q be (-15)/(-9) + (-4)/l. Suppose -3*y + 23 = 5*i, -2*y + 5*i = -q - 6. Does 6 divide y?
True
Let a = -2 - 3. Let b = a - -5. Suppose b = 3*f - 0*f - 72. Is f a multiple of 14?
False
Let s be 3*(-4)/6 - -2. Let l be (s/(-3) - 0)/2. Suppose -z = 5*c + 4, 68 = 5*z + 3*c - l*c. Is 6 a factor of z?
False
Let g(f) = -f**3 - f**2 + 1. Let o(p) = -3*p**3 - 11*p**2 - 4*p + 9. Let n(v) = 2*g(v) - o(v). Does 18 divide n(-8)?
False
Does 4 divide ((-64)/(-20))/(14/35)?
True
Let o(f) = -5*f**2 + 3*f - 3 - 1 + 3. Let r be o(2). Let h = 31 + r. Does 16 divide h?
True
Is 7 a factor of 492/27 + (-2)/9?
False
Let r = -18 - -64. Does 13 divide r?
False
Suppose 3*m - b - 4 = b, b - 12 = -2*m. Suppose 0*x = 3*x + 3, -m*f + 89 = -5*x. Does 6 divide f?
False
Let i(c) = -5 + 5*c - 23*c + 6. Is i(-1) a multiple of 14?
False
Suppose y - 2*y = 0. Suppose y*t - t + 2 = 0. Does 3 divide -1*t + 3 + 3?
False
Does 12 divide (-1 + 11)*1 - (-1 - 1)?
True
Let f(m) = -17*m. Let p be f(-1). Suppose 0*q + b - 22 = -q, q - p = 4*b. Is q a multiple of 11?
False
Does 20 divide 0/1 - 0 - -109?
False
Does 22 divide (-3 + 4)*277 - -5?
False
Let l(m) = 2*m**2 - 8*m - 8. Does 17 divide l(7)?
True
Let f(z) = 2*z - 11. Let g be f(10). Suppose -2*p - p + g = 0. Does 13 divide -37*(3 + -7 + p)?
False
Let n(t) be the third derivative of 1/12*t**4 + 0 - 1/30*t**5 + 0*t + 1/5*t**6 - 3*t**2 - 1/6*t**3. Does 21 divide n(1)?
False
Let o = 18 + 0. Does 3 divide (-94)/(-18) - 4/o?
False
Is 6/10 - (-1206)/90 a multiple of 3?
False
Let z = -7 + 7. Let n = z + 1. Is 14 a factor of 114/4 + n/(-2)?
True
Let z(o) = o**2 - 13*o - 7. Is z(15) a multiple of 7?
False
Suppose 2*u = -18 + 146. Is u a multiple of 32?
True
Let c be (-1 + 2)/(2/(-432)). Does 12 divide (c/(-14))/3*7?
True
Let x = -4 + 7. Let b = x + 3. Does 2 divide b?
True
Let w = -2 - -2. Let z(n) = -203*n + 1. Let l be z(-1). Suppose 2*a + 8 = w, -p = 3*p - a - l. Does 13 divide p?
False
Suppose 3*p - 9 - 261 = 0. Is 27 a factor of p?
False
Let j = -115 - -75. Let m = 20 - j. Is m a multiple of 10?
True
Suppose 2*w + 180 = 4*z, z + 2*w + 9 = 49. Does 11 divide z?
True
Let c(t) = 7 + 34 - 9 - t. Is c(0) a multiple of 15?
False
Suppose h + 4*d = -2*h - 8, -5*h + 6 = -3*d. Suppose -t + h*t + 3*l = 13, -2*t = 2*l - 14. Suppose s + t*b = -0*s + 12, 3*s - 2*b - 12 = 0. Is 3 a factor of s?
True
Suppose 2*k = 5*k - 18. Suppose 0 = -i + 3, -k*i + 526 = 4*p - 4*i. Suppose 6*c = c + p. Is 19 a factor of c?
False
Let u be (-4)/22 + (-210)/(-66). Suppose -5*v + 3*v - a + 235 = 0, 4*v + u*a = 475. Is v a multiple of 32?
False
Let n be (-52)/(-12) + 2/(-6). Suppose 3 + 13 = n*r. Suppose r*a - 9 = a. Does 2 divide a?
False
Let t = 171 - 99. Is t a multiple of 30?
False
Suppose 0 = d + 3*k - 30, -5*k - 154 = -4*d - 0*k. Suppose 3*h + 3*p - d = 0, 20 = h + 4*p - 4. Suppose 0 = 2*n + 2 - h. Is 3 a factor of n?
True
Let y(a) = a**3 + 22*a**2 + 16*a - 14. Does 7 divide y(-21)?
True
Let r(c) = -2*c - 7. Let n be r(-5). Suppose -123 = -5*t - n*s, -t - 4*t + 3*s = -117. Does 12 divide t?
True
Let p be ((-8)/6)/((-2)/3). Suppose p*b - 11 = -1. Is b a multiple of 5?
True
Suppose b -