multiple of 8?
True
Suppose -r + 4*k + 7 = 0, 3*k + 18 = 7*r - 2*r. Suppose -r*n + 136 = -3*q - 11, -q + 95 = 2*n. Is 16 a factor of n?
True
Let l = 81 - 40. Suppose f - l + 367 = -5*m, -4*f + 126 = -2*m. Let s = m + 119. Is s a multiple of 10?
False
Let j be ((-36)/(-20))/(3/5). Suppose 3*u = 3*t + 258, -j*u - t + 258 = 2*t. Is 12 a factor of u?
False
Let p(s) = s + 1. Let n(w) = 94*w + 141. Let c(g) = n(g) - 141*p(g). Let k be c(-4). Suppose -3*f + 176 = -4*l, 3*f - l = -9 + k. Is 20 a factor of f?
True
Let j be 2/12*3*0. Suppose 5*v = 5*g - 975, 2*g + j*v - v = 393. Is 33 a factor of g?
True
Let g be 0 - (4*-21)/((-2)/(-2)). Is 9 a factor of 7/(g/(-8)) - (-897)/9?
True
Let h(s) = -7*s - 127. Is 5 a factor of h(-29)?
False
Suppose 4*o - 6 = 5*y - 0*y, -o - 2 = -3*y. Let q(s) = 64*s - 46. Is q(o) a multiple of 10?
True
Let j(u) be the third derivative of -u**4/24 + 5*u**3/2 - 3*u**2. Let o be j(9). Is 8 a factor of 2/o*-14*-3?
False
Suppose -56*f + 104*f = 139968. Does 10 divide f?
False
Does 5 divide (826 + -1)*54/54?
True
Let c be 12/(-30) + 77/5. Let z(n) = -n + 35. Does 3 divide z(c)?
False
Suppose 3*k + 4*n = 8*n + 2764, 1841 = 2*k - 3*n. Does 116 divide k?
True
Let g(v) be the third derivative of v**6/8 + v**5/30 + v**3/3 - 7*v**2. Is g(2) a multiple of 10?
True
Let h(p) = 5*p + 76 + 91 + 43. Is h(0) a multiple of 14?
True
Suppose 2*l + 2*l = -g + 60, 2*g = -4*l + 104. Is g a multiple of 4?
True
Suppose -7*s + 175 = -0*s. Suppose -s = 2*r - 73. Is 12 a factor of r?
True
Suppose t - 2 = 0, 3*v + 3*t - 243 = -1218. Let h = -209 - v. Is 34 a factor of h?
False
Let m = 99 + -47. Suppose m + 44 = 3*w - 3*s, -5*w = -2*s - 148. Is w a multiple of 14?
True
Let m(w) = -w**3 + 10*w**2 - w + 6. Let h be m(10). Let s = h - -82. Does 39 divide s?
True
Does 11 divide (-5904)/(-108) + 10/(-6) + 2?
True
Suppose 0 = -g - 2*i + 12, 4*i = 2*g - 5*g + 34. Let z(c) = 10*c + 2*c**2 - 12*c**2 - c**3 - g + 12. Does 2 divide z(-11)?
False
Suppose 10*q - 4755 - 615 = 0. Is 20 a factor of q?
False
Suppose 0 = 10*m - 408 - 212. Let a(b) = -b**3 + 2*b**2 - 4*b + 2. Let s be a(3). Let g = m + s. Is 14 a factor of g?
False
Let l(v) = v**2 + 8*v + 3. Let f be l(-8). Suppose 0 = -3*w + 3, -2*i + f*w = 2*i - 101. Is 18 a factor of (13/i)/((-2)/(-192))?
False
Let x be -2*1*20/(-8). Does 9 divide (x/7 - 1) + 438/14?
False
Let o = 195 + -135. Is 4 a factor of o?
True
Suppose 5*q - 5*b = -575, 2*q - 5*b + 97 = -130. Let v = -35 - q. Is 21 a factor of v?
False
Let w = 88 - 16. Let l = w + -29. Is l a multiple of 8?
False
Suppose 3*j + 23 = -277. Is 1/(-4 + (-404)/j) a multiple of 5?
True
Suppose 0 = -4*l + 5*l + 171. Let k be l*(1 + (-15)/9). Suppose -5*b = -u - k, -30 = -b - 2*u + 4*u. Is b a multiple of 22?
True
Suppose 3*v - 5 = -5*s, -s + v = 3 - 12. Is 20 a factor of 478/s + 12/(-8)?
False
Suppose -3*j = -15, 5*i = 10*i - 4*j - 190. Suppose -z - i = -15*z. Is z even?
False
Let v = 7 - 5. Let k be -8 + v + -1 + 3. Does 12 divide (-26)/(k*(-2)/(-12))?
False
Let k be 56/12*15/10. Does 8 divide 41 - (-35)/k - (-1 - 1)?
True
Let q be 629/4 - 18/(-24). Let d = -108 + q. Is d a multiple of 10?
True
Let p(h) = -h**3 + 11*h**2 + 4*h - 9. Let k be p(11). Suppose 12 = 4*l, 0*v + v - k = -5*l. Is v a multiple of 7?
False
Let m(n) = -n**2 + n + 19. Let t be 2 - (-8)/(5 + -1). Let v be 0*((-10)/t + 3). Does 19 divide m(v)?
True
Let q be (-884)/39*6/(-4). Suppose q = 2*z - 2*x, 4*x = -z + 6*z - 85. Is z a multiple of 6?
False
Is 144 + (0 - 11) - -11 a multiple of 48?
True
Let i(x) = x**3 + 19*x**2 - 16*x + 9. Is 13 a factor of i(-19)?
False
Suppose 8 = 2*b, -3*j - b - 488 = -6*b. Let u = j - -264. Does 36 divide u?
True
Suppose -2*a = 3*t - 1105, 0*t = -4*a - 3*t + 2225. Is 40 a factor of a?
True
Suppose 2*a - 3 = -5. Suppose -3*i - 28 = -2*d, i = 2*d - 11 + 3. Let w = a - i. Is w a multiple of 2?
False
Let a = 50 - -40. Let i = a - 19. Is 9 a factor of i?
False
Let k(b) = b**2 + 1. Let u be k(0). Let n be u - (3 - 10) - -1. Suppose -6*v + 63 + n = 0. Does 4 divide v?
True
Suppose 0 = w - h, 5*w - 4*w - 3*h + 2 = 0. Let l = w - -1. Suppose -2*i = l*i - 192. Is 16 a factor of i?
True
Suppose 0 = 6*p - 0*p - 144. Is (p/30)/((-4)/(-50)) a multiple of 2?
True
Let d be (-264)/(-40) + (-2)/(-5). Let s(p) = p**3 - 7*p**2 + 5*p + 12. Does 11 divide s(d)?
False
Let y be 3/(-2 + (-15)/(-9)). Let p = 20 + y. Let b = p + 4. Is b a multiple of 15?
True
Is (7424/87)/((-4)/(-6)) - -4 a multiple of 12?
True
Suppose -k + 5*l + 326 = 0, 58*k = 56*k + l + 616. Is 6 a factor of k?
True
Is ((-25)/(-10))/((-125)/(-700)) a multiple of 5?
False
Let l = 27 - 3. Let n = l + -14. Does 11 divide (78/n)/(-1)*-5?
False
Is (1/(-3))/(5/885)*-3 a multiple of 12?
False
Let j(z) be the third derivative of -3*z**4/8 - 25*z**3/6 - 11*z**2. Is 8 a factor of j(-6)?
False
Let x be (-1 + 2)*-9 - -2. Let o(k) = 4*k + k**3 - 5 + k**2 + k**2 + 6*k**2 + 13. Is 9 a factor of o(x)?
False
Suppose 4*q - 77 = -4*j - 1, j + 2*q = 20. Let c = j - 11. Is (-2)/c + 1980/21 a multiple of 28?
False
Let m(p) = -p**2 - 4*p + 9. Let w be m(-5). Suppose -75 = x + w*x. Let v(f) = f + 18. Does 2 divide v(x)?
False
Suppose 0 = -3*k - 3*n + 2*n + 256, -k + 5*n + 64 = 0. Is k a multiple of 12?
True
Let x(v) = 27*v + 300. Is x(-8) a multiple of 12?
True
Let n(i) = 15*i**2 + 3*i - 108. Does 62 divide n(-11)?
True
Let d = 309 + 186. Is 33 a factor of d?
True
Let u(o) = -13*o. Let w = 25 - 13. Suppose i - 3*k - 1 = 0, 5*i + k + w = -k. Is u(i) a multiple of 9?
False
Let i = 2926 - 926. Suppose i = -5*a + 21*a. Does 31 divide a?
False
Is 330/132*108/5 a multiple of 9?
True
Let b = -21 - -67. Let s = b + 6. Is 13 a factor of s?
True
Suppose 0*x - 800 = 4*x. Let n = x - -394. Does 32 divide n?
False
Suppose 20 = x + b, -3*x + 3*b + 51 = 3. Suppose 4*a - 2*a = -6. Is 20 a factor of ((-20)/a)/(2/x)?
True
Is 2 a factor of 68 - ((-3)/2)/(9/(-24))?
True
Suppose 0 = -2*q + 4*z, -z - 10 = -4*q + 2*z. Suppose y = q*p - 39 + 3, -5*y = -4*p + 116. Is (2/(-2))/(4/y) a multiple of 5?
True
Suppose -28 = 5*v + 2*p - 2196, -3*p = -4*v + 1739. Is v a multiple of 14?
True
Let d = 22 - 23. Let l be (d + (-1 - -1))*-3. Does 15 divide (9/l)/((-5)/(-150))?
True
Suppose -12*t = -10*t - 792. Is t a multiple of 12?
True
Let h(l) be the third derivative of l**5/20 + l**4/8 - l**3 - 11*l**2. Is 9 a factor of h(-5)?
True
Let c(o) = 16*o**2 - 26*o - 5. Does 83 divide c(-5)?
False
Let c(d) = d**3 + 4*d**2 - 4*d - 10. Let n be c(-5). Is 18 a factor of (-40)/n*540/16?
True
Let z = 85 + 77. Suppose -4*n + 225 = -119. Let h = z - n. Is h a multiple of 20?
False
Suppose 22*d + 12344 = 26*d. Does 62 divide d?
False
Let h be (-4 + 0)*1/(-2). Suppose 2 = -p + h*p. Suppose -p*j + 23 = 9. Is j even?
False
Let h(r) = r + 14. Let n be h(-11). Suppose -4*f = -n*f - 105. Is 13 a factor of f?
False
Let d(a) = a**3 - 3*a - 6. Let k be d(6). Is (1/(-6)*-9)/(2/k) a multiple of 36?
True
Let d(c) be the first derivative of -c**2 - 11*c + 12. Suppose -3*p + x - 17 = -p, -47 = 5*p + 2*x. Is 7 a factor of d(p)?
True
Suppose 0 = 103*z - 96*z - 147. Is 7 a factor of z?
True
Let w = -24 - -36. Suppose -w*n + 5*n + 280 = 0. Is n a multiple of 6?
False
Let g(n) = n**2 + 7. Let y be g(3). Suppose -y = -2*o + 218. Does 13 divide o?
True
Let d = 11 - -13. Let x be (12/(-16))/((-3)/d). Is (-1)/(x/(-44))*6 a multiple of 22?
True
Does 2 divide 244*(-9)/198*-11?
True
Suppose -2*g = -7*g - 2*j - 66, 2*g = j - 30. Let b = g + 19. Suppose 8 = s - 3*x - b, 5*x + 7 = -2*s. Is s even?
True
Let q be 266/57 + 1/3. Suppose 2*u - q*u = -84. Does 7 divide u?
True
Let t = 17 + -16. Let r = 43 - t. Is 6 a factor of r?
True
Let f(d) = d**3 - 24*d**2 - 3*d - 65. Is 70 a factor of f(25)?
False
Let r(l) = 4*l**2. Let x be ((-4)/5)/(-2 - (-96)/45). Is 36 a factor of r(x)?
True
Suppose 13 = 4*j + 3*r, -4*j + r = -20 + 3. Suppose j*g + 0 = 5*f - 3, f + 4*g = 15. Suppose -z + a + f*a = -71, 3*z = 2*a + 173. Is z a multiple of 20?
False
Let i = -312 - -1614. Is 31 a factor of i?
True
Suppose 38 - 1062 = -4*z. Does 16 divide z?
True
Let x = 136 + -208. Let d(g) = 2*g**2 + 15*g + 14. Let u be d(-6). Is 9 a factor of x*(2/u - 0)?
True
Suppose 0 = 2*f + 18 + 14. Does 8 divide 8/f + (-105)/(-2)?
False
Let t(l) = -5*l**2 - 2*l**2 + 6*l**2 + 