s(3). Suppose w + 228 = l*w. Is w a multiple of 18?
False
Does 3 divide 728/10 + 36/180?
False
Let v = -10 + 20. Is 276/v - 12/(-30) a multiple of 7?
True
Let h(j) = j**3 + j**2 + 2. Let b be h(0). Suppose 4*p + 306 = b*s, 2 - 6 = -4*p. Does 31 divide s?
True
Suppose -55*z + 26*z + 24186 = 0. Does 8 divide z?
False
Let j = 70 + -65. Suppose -3*u + 6*b = b - 50, -5*b - j = 0. Is 3 a factor of u?
True
Suppose 3 = 3*l, 3*b + 6*l - 30 = 3*l. Suppose 0 = -m + b*m - 192. Does 8 divide m?
True
Let m(a) = -a**3 + 15*a**2 + 8*a - 10. Does 10 divide m(10)?
True
Let u(c) = c**3 - c**2 - 34. Let j be u(0). Let x = 106 + j. Does 17 divide x?
False
Let f = 493 - 198. Suppose -k + i + f = 3*i, -3*k + i = -892. Is k a multiple of 27?
True
Let o be (1 - 0) + (-12)/3. Let x = 324 - 322. Is 18 a factor of 13 + x - (o - 0)?
True
Let q = 317 + -163. Does 8 divide q?
False
Suppose 0 = 2*v + 3*t + 6, -v + 0*v - 3*t - 9 = 0. Suppose 3*i = i - v*w + 165, -2*i + 4*w = -172. Does 28 divide i?
True
Suppose -2*o + 224 = 6*o. Does 4 divide o?
True
Is 180 a factor of 4210/4 + (-11)/22?
False
Let n(o) = o**2 - 4*o - 1. Let q be n(5). Suppose 85 + 27 = q*i. Let m = -15 + i. Is 13 a factor of m?
True
Does 62 divide (-9)/108*-40*279?
True
Let h be -4 - (-28)/(-4) - -1. Let m(c) = -5*c - 5. Is 9 a factor of m(h)?
True
Suppose 0 = -3*f - 4*a + 251 - 42, -f = -2*a - 53. Let g = f + 142. Is g a multiple of 11?
False
Suppose 15*v = 12*v - 3*j + 183, 4*v - 2*j = 232. Is 6 a factor of v?
False
Suppose 0 = -4*w - 2*b, 2*b = -2*w - 4 - 0. Let r be ((-8)/(-10))/(w/(-155)). Let a = -37 - r. Does 25 divide a?
True
Let s be (8/10)/(10/(-175)). Let u be ((-15)/(-35))/((-2)/s). Suppose 0 = -u*f + 3*h + 60, 2*h + 0 - 110 = -4*f. Is 14 a factor of f?
False
Let c = 2298 + -1588. Suppose -49*s + c = -44*s. Does 29 divide s?
False
Let t be 2/3 - (-51)/(-9). Let o be -2 - t*1/1. Suppose -2*s - 4*u + 67 = o*s, 3*u = -5*s + 69. Is s a multiple of 9?
False
Let n = 408 - 222. Is n a multiple of 15?
False
Let x be 1060/(-90) + 0 + (-2)/9. Let k be (-7)/(2/4*-1). Let h = k + x. Is h a multiple of 2?
True
Let g(y) = -7*y - 6 + 2*y + 0*y. Let f(m) = m**3 - 19*m**2 - 22*m + 30. Let r be f(20). Does 9 divide g(r)?
False
Does 19 divide (-296)/1036 - 28732/(-14)?
True
Let u(g) be the second derivative of 17*g**4/4 - g**3/3 - 9*g. Let y be u(2). Suppose 5*z = -5*s + y, 3*s + 2*z + 3*z = 118. Does 9 divide s?
False
Let z(u) = u**3 + 16*u**2 - 2*u - 20. Let s be z(-16). Suppose 0*f + s = 6*f. Suppose -4*v + f*v + 68 = 0. Is v a multiple of 6?
False
Suppose 252 + 336 = 3*b. Suppose -284 = -10*v + b. Is 16 a factor of v?
True
Let w be 1/(((-15)/9)/5). Is 2 a factor of w + (-13)/(39/(-36))?
False
Let m be (3 - (3/(-6) + 3))*-2. Is (-2888)/(-32) + m/4 a multiple of 45?
True
Suppose 2504 = 4*y + 3*b, 0 = -3*y - 2*b + 2635 - 758. Is y a multiple of 51?
False
Let w(m) = m**3 + 2*m - 1. Let z be w(1). Suppose 0 = -5*y - z*y + 126. Does 9 divide y?
True
Let o(x) = -2*x + 25 + 11 + 4 + x. Does 6 divide o(10)?
True
Let x(n) = -n**3 - 28*n**2 - 55*n + 39. Is x(-26) a multiple of 34?
False
Let d = 682 + 20. Is d a multiple of 27?
True
Let w = -273 - -357. Does 21 divide w?
True
Does 6 divide (-98 - 1)/(-11) - -219?
True
Let a(w) = 156*w - 97. Is 13 a factor of a(3)?
False
Suppose 4*y - 4*w - 40 = 0, -3*y - 2*w + 26 = -w. Let p = 12 + y. Is p a multiple of 17?
False
Suppose 0 = 6*h - 2*h + 8. Let t be (4 - 2 - 2)/h. Suppose t = -2*v + 26 + 62. Is 11 a factor of v?
True
Does 19 divide (-25 - 4136)/(12/(-4))?
True
Let k be 73*(-1)/(-6) + (-3)/18. Suppose -4*h + k*h - 96 = 0. Is h a multiple of 3?
True
Let g be (-186)/(-45) - (-8)/(-60). Suppose -g = -3*i + i. Suppose 3*s + 3 + 0 = 0, i*s - 533 = -5*q. Does 26 divide q?
False
Let v(a) = -a + 148. Is 4 a factor of v(-32)?
True
Let z = 6 + -6. Suppose -16 = t - z*t. Does 14 divide t*(-3)/9*6?
False
Let p be (-2)/(-4) + (-591)/(-6). Let x = -43 + p. Suppose -x = -4*b + 128. Is b a multiple of 23?
True
Let f(y) = y**3 - 7*y**2 - 6*y. Is f(9) a multiple of 12?
True
Suppose 25 = 3*t + 4. Is 2/(((-7)/(-12))/t) a multiple of 6?
True
Suppose 2*c + 2*w = -0*c + 56, -3*w + 24 = c. Does 5 divide c?
True
Let y(p) = -p**3 + 42*p**2 + 44*p + 160. Is y(43) a multiple of 28?
False
Suppose 4*y + 6264 = 10*y. Is 58 a factor of y?
True
Suppose -f - n + 3*n + 6 = 0, 0 = f + 4*n + 24. Is 5 a factor of (7 - (-33)/12) + (-1)/f?
True
Let c = -1241 + 2923. Is c a multiple of 58?
True
Let j(b) = -b**3 - 12*b**2 + 8. Let h be j(-12). Is 27 a factor of ((-63)/4)/((-3)/h)?
False
Suppose 0 = 2*d - 2*g - 0*g - 8, -5*d - 3*g + 12 = 0. Let n(c) = 2*c**3 - 3*c**2 - 4*c + 9. Does 6 divide n(d)?
True
Let v(h) = h**2 - 4*h + 2. Let w be v(2). Let m = 11 + w. Let r(g) = g**2 - 4*g - 6. Does 13 divide r(m)?
True
Let p be -2 + 1 + -2 + 7. Suppose 0 = 3*c - 4*h - 17, 0 = p*c + c + 2*h - 11. Is 8 a factor of (-1 - 3/c) + 22?
False
Let w(a) = 174*a**3 - 2*a**2 - a + 1. Let f be w(2). Suppose -2*h = -2*t - 554, 5*t + f = 3*h + 542. Does 16 divide h?
True
Let o = 30 - -32. Is o a multiple of 14?
False
Let a(k) = 3*k**2 + 4*k - 13. Let m be a(-9). Suppose -o + z = -91, -2*o + z - m = -4*o. Is o a multiple of 19?
True
Let z be (12/20)/((-1)/5). Let s be (0 - z) + (-1 - -1). Suppose -2*x - 6 = -v - 0, -s*v = x - 18. Is 3 a factor of v?
True
Suppose 4*x - 7*x = h + 174, 0 = x + 2*h + 53. Let s = x + 34. Is 18 a factor of (20/s)/((-4)/270)?
True
Suppose 2*g = 41 + 1. Let q = g - 19. Suppose q*c + 29 = t - c, -4*t + 109 = -5*c. Is 13 a factor of t?
True
Let b(l) = -6*l**2 + 54*l + 68. Let w(s) = 2*s**2 - 18*s - 23. Let n(r) = 2*b(r) + 7*w(r). Does 48 divide n(-6)?
False
Let r be (-3858)/30 - (-6)/10. Let l = -88 - r. Suppose 4*z + l = 4*c, -c - 4*c = 4*z - 14. Does 6 divide c?
True
Let o = 867 - 481. Suppose 2*j + 3*v = o, 150 = j + v - 41. Is j a multiple of 21?
False
Let d(b) = 2*b - 16. Let f be d(9). Suppose f = 2*a, -a + 25 = 4*h - 0. Is h a multiple of 6?
True
Suppose l = 59 - 5. Let f = l - 6. Does 6 divide f?
True
Is 6 a factor of (2 - 7/7)*103?
False
Let k = 1113 + -845. Is 3 a factor of k?
False
Suppose 2*g - 175 = 4*j - 721, -3*g + 387 = 3*j. Let k be 1/3 - 8/(-3). Is k/9 + j/3 a multiple of 11?
False
Suppose 0*h + 220 = 4*h. Let f be (-3 - 0)*h/(-15). Let k = f + 7. Does 8 divide k?
False
Let g = -89 + 224. Suppose -z + g = u, -109 = 3*u - 5*z - 474. Does 12 divide u?
False
Is 107121/63 + 0 - 2/(-3) a multiple of 16?
False
Let m = 809 - 405. Is 15 a factor of m?
False
Let q(f) = -6*f - 3. Let a be ((-256)/40)/((-4)/10). Let g be (a*2)/(-4) + 3. Is 13 a factor of q(g)?
False
Suppose -2*y + 498 = 3*y - s, -3*s - 9 = 0. Suppose -3*a + y = 5*u - 118, 5*u + 336 = 4*a. Is 25 a factor of a + -1 - (-1 + 4)?
True
Suppose -z = -4263 + 903. Is 24 a factor of z?
True
Suppose -2*f + 11 = 1, -2*j = -4*f - 1680. Is j a multiple of 68?
False
Let j(k) = 10*k - 35. Let z(y) = -5*y + 18. Let c(s) = -6*j(s) - 11*z(s). Is 31 a factor of c(-10)?
True
Let v(l) = -2*l**2 - 19*l + 21. Let i be (-2 - 2*-6)/(-1). Does 11 divide v(i)?
True
Let t(l) = -l**2 + 6*l + 11. Let z be t(7). Suppose 2*d + z*y = -0*d + 158, -4*y = -16. Suppose 2*a + 3 - d = 0. Is 17 a factor of a?
True
Let o(p) = -20*p + 17. Is o(-5) a multiple of 21?
False
Let z(m) be the second derivative of -7*m**5/20 + m**4/12 - m**3/6 + m**2 + m. Is z(-2) a multiple of 16?
True
Let n = 14 + 5. Let d(u) = 4*u + 95. Let l be d(-28). Let m = l + n. Is 2 a factor of m?
True
Suppose 0*s + s - 13 = -2*h, 0 = 5*s + 3*h - 37. Suppose -11 = s*m - 36, -3*m + 43 = 4*v. Suppose -4*l = u - 25, 5*l - 96 + v = -4*u. Does 7 divide u?
True
Let f(i) = i**3 + 8*i**2 - 4*i. Let o be f(-5). Suppose 56 = -94*x + o*x. Is 7 a factor of x?
True
Let c(n) = n**3 + 15*n**2 - 41*n - 17. Is 13 a factor of c(-13)?
False
Let w = -10 + 5. Let n be 6/w*5/(-2). Suppose n*x + 2 = 167. Is 22 a factor of x?
False
Let b(m) = 114*m + 8. Let p be b(1). Suppose 0*h = -5*h - 4*j + p, 0 = 4*h + j - 102. Is 13 a factor of h?
True
Suppose 2*u + 0*u = 6202. Does 20 divide u?
False
Suppose -a + v - 3*v = -17, -a + 5*v - 4 = 0. Let i = a + -7. Is (7 - i)/(6/22) a multiple of 6?
False
Suppose 16*t - 8*t - 1224 = 0. Does 3 divide t?
True
Let t(l) = -4*l**3 - 24*l**2 - 5*l + 3. Let f(r) = 7*r**3 + 47*r**2 + 9*r - 6. Let o(b) = -6*