 = -2*b + 19. Is b a multiple of 8?
False
Let w = 59 + 11. Suppose g + w = 6*g. Does 9 divide g?
False
Suppose -4 - 4 = -2*c. Suppose -90 = -9*i + c*i. Suppose r = 3*t - r - i, 30 = 5*t - 4*r. Is 3 a factor of t?
True
Suppose 0 = -2*u - u - 5*q + 18, -u - 4*q = -13. Suppose -u = -2*d + 3. Suppose -4*r + 5*h + 79 = 0, -4*r + d*h + 61 = 3*h. Does 16 divide r?
True
Let k(j) = -j**3 - 7*j**2 - j - 5. Let a be k(-7). Suppose 32 = a*d - 118. Is d a multiple of 22?
False
Suppose -4*g - 272 = -12*g. Is 6 a factor of g?
False
Let h = -14 - -44. Does 15 divide h?
True
Suppose 5*k - 35 - 385 = 0. Does 14 divide k?
True
Suppose 0 = -4*u - 0 - 12. Is 10 a factor of (-1)/((5 + u)/(-70))?
False
Let b = 106 - -32. Is b a multiple of 28?
False
Suppose 0 = -5*t + 3*l - 25 - 46, 5*t + 69 = 2*l. Let n be 0 - -14*(-1)/(-2). Let k = n - t. Does 8 divide k?
False
Let i = 21 + -35. Let m be i/(-6)*(-3 + 12). Suppose -c + 0*c = -m. Does 11 divide c?
False
Let y(k) = k**3 - k**2 + 7*k - 6. Suppose 5*t - 24 = -4. Is y(t) a multiple of 14?
True
Suppose 0 = 3*h + 2*f - 28, -h + 3*f + 32 = -2*f. Let m be ((-18)/h)/((-3)/4). Suppose -m*l + 115 = 3*l. Is l a multiple of 8?
False
Let p be 3*(-2 - 39/(-9)). Suppose t - 6 + p = 0. Does 12 divide (-10 + 2 + -5)*t?
False
Suppose -3*c + 123 = -2*n, 4*c - 72 = 2*c - 2*n. Let z be 1*-2 - (-1 + c). Let a = z - -68. Does 14 divide a?
True
Let i(t) be the third derivative of t**5/30 + 5*t**4/12 + 2*t**3/3 + t**2. Is i(-7) a multiple of 16?
True
Suppose 9*o + 276 = 10*o. Is o a multiple of 23?
True
Let z(a) = a**3 + 9*a**2 - 10*a + 4. Suppose -9 = -b - 4*b + 2*x, x - 12 = -3*b. Suppose -2*m - 23 = -b. Is z(m) a multiple of 4?
True
Suppose -5*t - 11 = -x + 6, 4 = -x - 2*t. Suppose x*m + 0*m + 6 = 0. Is (-20)/m - 2/3 a multiple of 4?
False
Suppose 5*g = 2*g + 12. Suppose -3*i + g*s + 85 = 0, -20 = -2*i - s + 33. Is 9 a factor of i?
True
Suppose -3*u - 22 = -5*u. Is 11 a factor of u?
True
Suppose 4*w + 361 = 4*r - 35, -3*r + 301 = w. Suppose 5*p - r = -0*p. Is p a multiple of 6?
False
Suppose f + 4*d + 62 = 3*f, 0 = 2*f + 3*d - 34. Let h = -13 + f. Is 5 a factor of h?
True
Let y(n) = n**2 - 11*n + 12. Is y(12) a multiple of 8?
True
Suppose 0 = 2*d - 126 + 6. Is 15 a factor of d?
True
Let u(y) = -2*y - 6. Let r be u(-4). Suppose -4 = r*l + 4. Is 15 a factor of 2/(3/(-90)*l)?
True
Suppose -2 = 6*s + 16. Is 13 a factor of (-4 - 1)*39/s?
True
Is 5 a factor of (29/4)/(3 - (-33)/(-12))?
False
Does 9 divide ((-12)/9)/((-1)/27)?
True
Suppose 60 - 14 = 2*c. Does 3 divide c?
False
Let o(l) = l**3 + 10*l**2 + 4*l - 12. Does 8 divide o(-9)?
False
Let n(z) = -3*z**3 - 4*z**2 + 1. Is n(-4) a multiple of 28?
False
Suppose 10 = 3*r - r. Is r a multiple of 2?
False
Let v(g) = 20*g**2 - g. Is v(2) a multiple of 16?
False
Let v(w) = 9*w**3 - 17*w**2 - 2*w - 1. Let s(b) = -4*b**3 + 8*b**2 + b + 1. Let l(c) = 7*s(c) + 3*v(c). Let x be l(5). Suppose 15 = 3*j - x. Does 8 divide j?
True
Let u(l) = 9*l**2 + 3*l + 2. Let w = -4 - -2. Let f be u(w). Does 16 divide (f/(-10))/2*-20?
True
Suppose -300 = 3*l - 1332. Suppose l = 5*h + 74. Does 18 divide h?
True
Let q be ((-28)/10)/(8/(-20)). Let g = 5 - q. Is g/(2 + 0) + 6 a multiple of 2?
False
Suppose 22 = -4*p + 4*d + 414, 3*d + 9 = 0. Is 23 a factor of p?
False
Let k(i) = 3*i**2 + 2*i - 11. Is k(8) a multiple of 39?
False
Suppose 2*k = 7*k - 20. Is 2 a factor of 10/k*16/10?
True
Let k(l) = -23*l. Does 23 divide k(-4)?
True
Suppose 3*y = 3*r - 222, 4 - 7 = -y. Is 12 a factor of r?
False
Let v = 232 + -133. Is v a multiple of 19?
False
Let z be 50/12 - (-1)/(-6). Is 140/(-5)*(-2)/z a multiple of 14?
True
Let u be 5*(-1)/(-2)*2. Suppose -2*x + 27 + u = 0. Let t = x + -10. Does 3 divide t?
True
Let d(b) = b - 2. Let f be d(6). Suppose -f*r - r + 40 = -2*s, 4 = -r - 2*s. Is r even?
True
Is 13 a factor of 1558/8 - 8/(-32) - 3?
False
Suppose -5*h = -713 + 13. Is h a multiple of 28?
True
Let i(k) = k + 4. Let t be i(-4). Suppose h + t = 3. Suppose n = h - 0, z + 3 = 4*n. Is 5 a factor of z?
False
Let a = -7 - -10. Let o = -55 - -62. Suppose -37 = -a*w - o. Is w a multiple of 4?
False
Suppose -t - 5 - 7 = 0. Let z = t - -40. Is 9 a factor of z?
False
Let g be -1 + (2 - 6/(-2)). Suppose 0 = -3*k + 2*j - g + 3, -k - 4*j + 23 = 0. Suppose 0 = 5*u + 2*y - 162, 0 = 2*u + 2*u + k*y - 131. Does 12 divide u?
False
Let k = -6 - -1. Let m = -3 - k. Suppose -x - 48 = -m*l + 3*x, 2*x = -2. Is 11 a factor of l?
True
Let o = -35 + 61. Let c be (-8)/(-24)*3*o. Suppose 0*v = -2*y - 3*v + 47, 4*v = -y + c. Is 20 a factor of y?
False
Suppose -5*w - k + 102 = 0, 4*k = -2*w + 6*w - 96. Does 6 divide w?
False
Does 14 divide 204/10 - (-20)/(-50)?
False
Suppose 5*h - 17 - 18 = 0. Let s = 20 - h. Is s a multiple of 6?
False
Is 14 a factor of 5 + -2 + 3 + 50?
True
Suppose 135 - 7 = n. Is n a multiple of 5?
False
Let a(b) = b**3 + 9*b**2 - 13*b - 3. Suppose -9 = -4*t - 3*d - 0*d, 0 = 3*t + 4*d - 12. Suppose t*v - 50 = 5*v. Does 7 divide a(v)?
False
Is 9 a factor of ((-4)/2)/(22/(-308))?
False
Let v(w) = 5 - 3 - 8 + 7*w. Does 12 divide v(6)?
True
Does 7 divide (-4 + 2)*219/(-6) + 3?
False
Let f(p) = 0 + 0 + 8*p + 3 + 2*p**2. Let h be ((-10)/(-8))/((-1)/4). Does 13 divide f(h)?
True
Is 5 a factor of ((-1204)/(-5))/7 + (-4)/10?
False
Suppose -26 = -2*f + 5*r, 0 = -2*r + 5*r + 6. Let a = -1 + 2. Is f + 1 + 0 + a a multiple of 5?
True
Let d be ((-6)/(-5))/(12/40). Let o = 1 - d. Let x(s) = -10*s + 1. Does 8 divide x(o)?
False
Suppose -90 = -2*z + 5*m, 5*z - 4*m = -0*z + 225. Does 11 divide z?
False
Let s(f) = -f**3 - 3*f**2 + 5*f - 6. Is 13 a factor of s(-6)?
False
Suppose 0 = 5*z - i - 29, 7 + 24 = 3*z - 4*i. Suppose 0 = -4*j + z + 3. Does 2 divide j?
True
Let m(p) = -p**2 + 13*p + 17. Suppose y = 2*b - 5*b + 1, -y + 25 = -3*b. Is m(y) a multiple of 9?
False
Suppose 0 = 4*t + 5*i - 147, t + t + i = 69. Is t a multiple of 6?
False
Let j = -2 - -1. Let y = 1 - j. Suppose -3*u - 64 = -2*i + y*u, -98 = -5*i - 3*u. Is i a multiple of 11?
True
Does 2 divide (-3)/(15/(-50)) + 2?
True
Let m = 14 + -6. Does 2 divide m?
True
Suppose -2*l + 0 + 3 = -3*f, -4*l = -f - 21. Let t be l/(-4)*(-4)/(-2). Is 10 a factor of (6/t)/2 - -14?
False
Let j(s) = 4*s + 5. Let w be j(5). Let r = 31 - -7. Let v = r - w. Is 13 a factor of v?
True
Suppose 0 = 4*i + 4*g - 216, -4*i = 5*g - 159 - 61. Does 12 divide i?
False
Let m(o) = o**2 - o + 2. Let z be m(2). Suppose 3*c - 8*f + 3*f = z, 2*c - 2*f - 8 = 0. Is c a multiple of 4?
True
Is 34 a factor of ((-42)/(-105))/((-1)/(-245))?
False
Let l = 11 + -6. Does 3 divide l?
False
Let b = 10 - 6. Suppose -l - b*l = -10. Suppose -5*m - l*u + 101 = -89, 0 = 3*m + u - 113. Is m a multiple of 21?
False
Is ((-12)/10)/((-3)/345*1) a multiple of 23?
True
Suppose 0*f + 60 = 3*f. Suppose -2*r + 23 = z, 4*r + 4*z - f = 24. Is 5 a factor of r?
False
Let k = 7 + -7. Suppose -c + 30 - 9 = k. Is c a multiple of 12?
False
Suppose o + 18 = -4*g, g - 2*o = -2*g - 8. Let f = -1 - g. Is f a multiple of 2?
False
Suppose 41 = s - 3*k, -2*s - 3*k + 59 = 4. Suppose h - 94 = -h. Let i = h - s. Is i a multiple of 10?
False
Suppose 2*v + 26 = 4*k, k - v - 8 = -0*k. Suppose k*t - 4*c - 72 = 0, 5*t + 2*c - 62 = -8. Is t a multiple of 9?
False
Let n(i) = i**2 + 10*i + 12. Let f be n(-9). Let m = -1 - -1. Suppose -5*q - 5*g + 120 = m, -100 = -5*q - 4*g + f*g. Is 11 a factor of q?
False
Suppose 5*x = 3*i - 345, -4*i + 4*x = -x - 455. Is i a multiple of 16?
False
Let i = 113 - -107. Is i a multiple of 11?
True
Let k be 1/4 + (-1)/4. Does 2 divide (-10)/(k - (-6)/(-3))?
False
Suppose -4*o - 5*w = 38 - 239, 0 = -4*o + 4*w + 156. Is 11 a factor of o?
True
Let w(z) = z**2 - 4*z + 2. Let i be w(8). Suppose -14 = 4*o + 4*t - 38, 5*o - i = -4*t. Is 2 a factor of o?
True
Suppose 7*c = -3*c + 250. Is c a multiple of 6?
False
Suppose -10*b + 96 = -7*b. Is b a multiple of 32?
True
Suppose -4*k + 198 + 322 = 4*z, -115 = -z - 4*k. Does 15 divide z?
True
Is -4 - (-252 - -3 - -2) a multiple of 41?
False
Let i(v) = 131*v**3 + v**2 + v - 1. Let n be i(1). Suppose 13 = 5*x - n. Is 29 a factor of x?
True
Let q = -6 + 5. Is 13 a factor of q/(-4) + 206/8?
True
Let k(a) = -2*a + 10. Is 8 a factor of k(-7)?
True
Suppose 4*b - 173 = a, -4*b + 6*a + 167 = 3*a. Is 11 a factor of b?
True
Suppos