ltiple of 8?
True
Let u be (-2)/(4/(-14)) - -1. Let m(f) = f**2 - 8*f + 3. Does 3 divide m(u)?
True
Let z(d) = -2*d**3 - 9*d**2 - 2*d + 5. Let l be z(-6). Suppose 4*n + 2*w = -3*w + l, 3 = -w. Is n a multiple of 22?
False
Suppose 0*b + 26 = 2*b. Suppose 3*d + b - 190 = 0. Suppose -4*r + d = y, -3*r + r + y = -25. Is 7 a factor of r?
True
Suppose -n + 29 + 32 = 0. Is 27 a factor of n?
False
Let i(f) = f**3 - 11*f**2 + 10*f + 4. Let b be i(10). Is 46*b/8*1 a multiple of 15?
False
Let l(y) = y**2 + 6*y + 7. Let c(n) = -n**2 - 7*n - 7. Let k be c(-7). Is 7 a factor of l(k)?
True
Is (-19426)/(-77) - (-4)/(-14) a multiple of 12?
True
Suppose 2*y + 245 = 7*y. Suppose -132 = -4*j + 4*p, 3*p = j - 2*p - y. Does 10 divide j?
False
Let q(o) = -o**2 + 5*o + 10. Suppose a - 26 = -3*t, 3*a = 3*t + 5*a - 31. Let m be q(t). Is (-2)/m - (-51)/6 a multiple of 6?
False
Let i(m) = -19*m + 6. Let g(n) = -10*n + 3. Let p(o) = 5*g(o) - 3*i(o). Let s(h) = -6*h + 3. Let j(b) = 4*p(b) + 5*s(b). Does 9 divide j(-3)?
True
Let v be (-7 + 6)*(0 - 18). Does 4 divide 1/(-2) + 243/v?
False
Suppose 2*u = -0*u. Suppose u = -g + 3*g + 16. Is 13 a factor of -28*(2 + 22/g)?
False
Let y be (-36)/60 - (-46)/10. Suppose -5*d + 38 = -y*d. Is d a multiple of 8?
False
Let h(p) = -p + 48. Suppose -4*d = c + 3, 5*d - c - c - 6 = 0. Is h(d) a multiple of 19?
False
Let z(i) be the first derivative of 5*i**4/4 + i**3/3 - i**2/2 + 2. Is 2 a factor of z(1)?
False
Let u be 0 + 1 - (-16)/8. Let k be (-9)/5 + u/(-15). Is -2 + 3 + 20 + k a multiple of 5?
False
Let q = -143 + 210. Is q a multiple of 8?
False
Suppose 3*i - 5*n = 19, 5*i - 35 = 2*n + 3*n. Suppose -8 = 4*u - 5*t, 3*t = 3*u + 2*t + 6. Let z = u + i. Does 4 divide z?
False
Suppose -19 = -5*r - 4. Let k be (2/r)/(2/12). Suppose 4*h - 2*s = 56, 0 = -6*h + k*h - 3*s + 12. Does 12 divide h?
True
Does 16 divide (6/4)/(22/1408)?
True
Let v be ((-12)/(-30))/((-2)/(-10)). Suppose -46 = -2*c + v. Does 9 divide c?
False
Suppose 0 = 3*q + 2*x + 1, -4*q = 2*x - 3*x - 6. Let i = 6 - q. Is i a multiple of 2?
False
Let h = -9 + 9. Suppose 3*q = 5*f - 21 - 63, h = -3*f - 2*q + 39. Is f a multiple of 5?
True
Let w = 0 - -4. Suppose -12 = -w*v + 3*v. Is 4 a factor of v?
True
Let b(i) = i**2 - 9*i + 74. Does 21 divide b(27)?
False
Suppose 2*m = -5*j + 102, -m = 2*j - 0*m - 41. Let h = j + 1. Is h a multiple of 16?
False
Suppose -4*d + 0 = 16. Does 25 divide (-175)/(-4) - 1/d?
False
Suppose -2*n = -2*v - 20 - 20, n + 2*v = 26. Let r = n + -13. Is r a multiple of 7?
False
Suppose -5*b + 17 + 8 = 0. Suppose -4*o = -0*o - 5*g - 93, -g = -b*o + 132. Is o a multiple of 9?
True
Let p = 15 - 26. Let z = p + 17. Does 4 divide z + 0 - (2 - 0)?
True
Suppose -d = -5, -2*o + 4*d + 4 = -20. Is 5 a factor of o?
False
Is 11 a factor of (-116)/(-3) + (-2)/3?
False
Suppose 10*b = j + 5*b - 118, 5*j - 5*b - 510 = 0. Does 8 divide j?
False
Suppose 75 = 3*n + c, -2*c = -n - 2*n + 84. Is 2 a factor of n?
True
Suppose 4*j + 4 + 4 = 0. Let f(d) = d**3 + 4*d**2 - 2*d - 2. Is 9 a factor of f(j)?
False
Suppose 24 = 4*r - 3*y - 1, -3*r - 4*y = 0. Let o = -1 + r. Is o a multiple of 3?
True
Let k(j) = 3*j**2 - 11*j - 7*j**2 + 16 + 5*j**2. Is k(12) a multiple of 14?
True
Let b(n) = n**2 + 4*n - 24. Is 25 a factor of b(14)?
False
Let u = -110 - -54. Let t = u - -33. Let g = t - -64. Is g a multiple of 13?
False
Let q(c) be the third derivative of -c**6/120 + 7*c**5/60 + 5*c**4/24 - 5*c**3/6 - 7*c**2. Is q(7) a multiple of 30?
True
Suppose -127*w = -126*w - 71. Is w a multiple of 5?
False
Let h = 67 + -24. Let l = h + 1. Is 22 a factor of l?
True
Let h(a) = -11*a - 9. Let o be h(-7). Suppose 28 + o = 3*x + 3*f, -3*f + 63 = 2*x. Does 5 divide x?
False
Let u be 1/(1/5) - 0. Let n = u + -4. Is 33/(n*(-9)/(-6)) a multiple of 9?
False
Suppose 4 = 2*v - 0*v. Suppose 5*q = v*q + 60. Is q a multiple of 10?
True
Let g = -40 - -133. Is 8 a factor of g?
False
Let g = -7 - -21. Is g a multiple of 12?
False
Let b = -31 - -103. Does 8 divide b?
True
Suppose -310 = -5*c - 5*b, -318 = -5*c - b - 0*b. Is 14 a factor of c?
False
Let j = 34 - 27. Suppose j*a - 108 = 4*a. Is 11 a factor of a?
False
Suppose 6*j + 62 - 362 = 0. Is 24 a factor of j?
False
Suppose 2*y - 20 = -2*y. Suppose -125 = -5*m - 5*v, -56 + y = -2*m - 3*v. Is m a multiple of 8?
True
Suppose 0 = -2*m + 8. Let u(l) = 4*l - 1. Is 5 a factor of u(m)?
True
Suppose 0 = -2*a + 7*a - 3*g - 742, 3*g + 12 = 0. Is 15 a factor of a?
False
Does 19 divide (-1 - -2) + 2 + 73?
True
Let g(o) = -o**3 + 8*o**2 + 2*o - 12. Let v be g(8). Let s(f) = 4*f**2 + 3 + 0*f**3 + 0*f**3 - f**3 + 3*f. Is 11 a factor of s(v)?
False
Let j be (16/12)/(2/(-3)). Does 10 divide (1 + -119)*1/j?
False
Let w = 166 + -114. Does 13 divide w?
True
Suppose 0 = -0*h - 3*h + 60. Let z be 0 + -2 + (-80)/(-12)*3. Let d = h + z. Is 19 a factor of d?
True
Suppose o = -2*o + 156. Suppose 0*u + 2*u - 12 = 0. Suppose -3*h = -y + u, 5*y - y - o = -2*h. Does 12 divide y?
True
Let p = 4 - 4. Suppose 0 = -5*i - p + 25. Does 2 divide i?
False
Let s be -12*(4/6 - 1). Suppose -y = s*y - 15. Suppose j = 3*d + 3, -4*d + y = 2*j - 3. Is 3 a factor of j?
True
Is 52 a factor of 4212/(-135)*-2*5?
True
Let n be 4/(-1 + 2 - 2). Let c be (n/6)/(2/3). Is 93/3 - (0 + c) a multiple of 16?
True
Let z(d) = -d**3 - 8*d**2 - 9*d - 9. Let u(i) = -i**3 - 9*i**2 - 10*i - 10. Let r(p) = -2*u(p) + 3*z(p). Is r(-5) a multiple of 3?
True
Let l = 2 + -5. Let d be l*((-25)/3)/5. Suppose 0 = d*x - 15 - 125. Does 14 divide x?
True
Does 26 divide 362/7 - (-2)/7?
True
Suppose -86*n = -83*n - 72. Does 4 divide n?
True
Let v(z) be the first derivative of -z**6/360 - 11*z**5/120 - z**4/6 + 2*z**3/3 + 2. Let h(p) be the third derivative of v(p). Is 13 a factor of h(-5)?
True
Suppose 5*b = -4*k + 124, 4*b - 2*k - 62 = 32. Is 12 a factor of b?
True
Let h be (-2)/(6/10 + -1). Suppose h = -j - 4*j. Let a(u) = -37*u**3 + 2*u**2 + 2*u + 1. Does 12 divide a(j)?
False
Let v(h) = -27*h + 1. Let u be (-7 - (-3 - -1))*1. Let p be v(u). Suppose 4*t - p = -0*t. Does 17 divide t?
True
Let y = -11 + 6. Let j(h) = -7 + 0*h - 6*h + 3*h. Is j(y) a multiple of 8?
True
Suppose c - 4*m + 26 - 85 = 0, -5*c + 2*m = -205. Is c a multiple of 13?
True
Let u = 2 + -16. Is u/((1 - 3) + 1) a multiple of 14?
True
Does 21 divide (-18)/(-42) - (-2052)/14?
True
Suppose -q + 5*x + 17 = -2*q, 0 = -2*q + 2*x + 14. Suppose -14 = -q*f + 55. Is f a multiple of 14?
False
Let b be 168/(-4)*2/(-4). Let p = 35 - b. Does 12 divide p?
False
Let n = -11 - -15. Suppose -17*z = -16*z - 76. Suppose -5*y = -2*a + z, -n*a + 0*a + 4*y = -164. Is 21 a factor of a?
False
Suppose -31 = y + 10. Let o = -29 - y. Does 6 divide o?
True
Does 27 divide 7/((-35)/(-550)) - 2?
True
Suppose t + 4*t + 25 = 0. Let r be t - (-6 + -3 + 6). Does 22 divide (r + 1)*-22*1?
True
Let b(g) = g + 6. Let k(q) = q - 1. Let s(r) = -b(r) + 2*k(r). Let a be s(10). Suppose 0*y = a*y - 56. Is y a multiple of 14?
True
Let d = 302 - 162. Is 10 a factor of d?
True
Does 3 divide 4/(-18) + (2 - (-1180)/45)?
False
Suppose 0 = -3*z - 35 + 5. Is z/(-40) + (-179)/(-4) a multiple of 8?
False
Let v(d) = 7*d - 3. Let a(x) = 3*x**2 - x. Let o be a(-1). Suppose -o*n = 20, -3*n = -2*w - 0*n + 19. Is 4 a factor of v(w)?
False
Is 22 a factor of 13/((-273)/(-330))*7?
True
Let y(c) = -2*c**3 - 2*c**2 - 8. Is y(-5) a multiple of 32?
True
Let x be (-2)/5 + 62/5. Let b(h) = 4*h + 3. Let t(k) = -k - 1. Let i(j) = -b(j) - 5*t(j). Is 14 a factor of i(x)?
True
Suppose h - 5 = b, 3*h - h - b = 14. Let g = 15 - h. Does 4 divide g?
False
Suppose -253 = -4*m + 3*y, -4*m + 3*y = y - 250. Is m a multiple of 4?
False
Suppose -15*b + 13*b = -108. Does 5 divide b?
False
Let k be (-1)/((-2)/(2 - 0)). Let a(t) = 13*t**2 + 3. Let m(r) = -285*r**2 - 65. Let b(d) = -130*a(d) - 6*m(d). Is b(k) a multiple of 12?
False
Let f(z) = z**3 - 2*z**2 + 9*z - 14. Does 9 divide f(4)?
True
Suppose 26*f - 52 = 13*f. Does 2 divide f?
True
Let i(b) be the first derivative of b**3/3 + 5*b**2/2 + 6*b + 4. Does 7 divide i(-6)?
False
Suppose -38*k + 47*k - 171 = 0. Does 13 divide k?
False
Is 626/16 - 2/16 a multiple of 8?
False
Suppose 4*b - 3 - 81 = 0. Suppose 2*s = -s + b. Does 4 divide s?
False
Let u be 38/9 - 2/9. Suppose -68 = u*x - 6*x. Suppose 22 + x = 4*h. D