divide h?
True
Let x = -32961 + 47520. Is x a multiple of 211?
True
Let f(i) = i**2 - 10*i - 53. Let d be f(14). Suppose -g = d*n - 113, -338 = -3*g - 2*n - 20. Let l = 189 - g. Is 8 a factor of l?
False
Let c(h) = 60*h + 8. Let v be c(6). Suppose 4*m = 4*i + 872, 39*m + 1722 = -8*i + 36*m. Let b = i + v. Is 13 a factor of b?
False
Let f be (1/(-3))/((-4)/7764). Let c = 1221 - f. Does 14 divide c?
True
Let g(k) = -9*k - 46*k + 11 - 12 - 7. Suppose 3*y = 8*y + 5*u - 10, -y + 3*u - 14 = 0. Does 6 divide g(y)?
True
Let u(p) be the third derivative of -p**4/6 + p**3 + 14*p**2. Let s be u(3). Does 5 divide (-8)/6 - -1 - 74/s?
False
Let g(q) = 388*q - 60. Is g(28) a multiple of 74?
True
Does 204 divide (-45910)/(-75) + (-3)/(-45) - (-2)/(-10)?
True
Suppose 0 = -4*d + 3*d, -2*g + 5*d = 40. Let l(x) = -3*x**2 - 47*x - 16. Let s be l(g). Let k = 575 + s. Is 13 a factor of k?
True
Let o = 26367 - 7609. Is o a multiple of 23?
False
Suppose -3*z = 4*w - 195 - 69, 3*w - 83 = -z. Let j = z - 47. Is 15 a factor of j?
True
Suppose -25*z + 135 = -16*z. Let t(u) = u**2 - 15*u + 81. Is 5 a factor of t(z)?
False
Is 8 a factor of (-2310)/((-350)/30 + 11) - -7?
True
Does 3 divide (-486)/((-4)/(2 + 120/10))?
True
Let x = -91 + 81. Let m = 14 + x. Suppose -3*g = -r - 90, -g + 3*r = -m*g + 78. Is g a multiple of 19?
False
Is 16 a factor of 20/(-6)*(-648)/48?
False
Suppose 3*y = 39724 - 31156. Is y a multiple of 51?
True
Suppose -5*q - 37 + 207 = 0. Suppose 2365 = q*s - 29*s. Is s a multiple of 11?
True
Suppose 2*g + 5*c - 10253 = -2895, 4*g - 14794 = 3*c. Does 2 divide g?
True
Let w = 6552 + -6304. Does 6 divide w?
False
Let f = 8 + -4. Let b be (-34)/(-8) - (-35)/(-28). Suppose -2*s - b*m = -67, -f*s = -0*m + 5*m - 133. Is s a multiple of 8?
True
Let h(n) = -46*n - 29. Suppose -4*i - 17 - 19 = -4*t, i + 3*t + 1 = 0. Is h(i) a multiple of 3?
False
Suppose 0 = 3*s - y + 8 - 23, -4*s - y = -13. Suppose 964 = s*k - 516. Let n = k + -250. Does 24 divide n?
True
Let m be (-1)/(-2) - 218*(-273)/(-12). Let h = m + 2538. Is 18 a factor of 9/15 - 1/(15/h)?
True
Let f = 4485 + -4429. Does 24 divide f?
False
Suppose 35*j = -21*j - 392. Is 10 a factor of 111*30/9 - (j - -7)?
True
Let z(f) = -34*f**3 + 8*f**2 - 59*f - 428. Is z(-8) a multiple of 12?
True
Let r be 1/(4 + 26/(-6)). Let w(p) = p**3 - 5*p**2 - 2*p + 1. Let b be w(r). Let g = b + 117. Is 12 a factor of g?
False
Suppose 4*h - a = 184, -5*h = -2*a - 10 - 217. Suppose -3*t + 4*x = -83, -2*x = -3*t + 32 + h. Is t a multiple of 2?
False
Let a(b) = -2*b**2 + 25*b + 6. Let n(z) = z**2 - z. Let h(v) = -a(v) - 4*n(v). Suppose 0 = 5*x - 6*x - 7. Is 6 a factor of h(x)?
False
Suppose -3*z + 8033 + 1927 + 3180 = 0. Is 12 a factor of z?
True
Let h be (1 - -2) + (6 - 21). Let r be 20 + -2 + 1 + h + 13. Is r/(-25)*(17/(-2) - -1) a multiple of 2?
True
Let n = 886 + -418. Suppose 14*i = -4*i + n. Does 13 divide i?
True
Let v = -28 - 237. Let l = v - -391. Suppose -5*m + 0*o = o - 630, -5*o = m - l. Is m a multiple of 14?
True
Let j(t) = -t**3 - 131*t**2 - 4*t - 110. Does 42 divide j(-132)?
False
Suppose -4*x = 18 - 278. Let n = -65 + x. Suppose 4 = 5*w + 19, n = -3*d + 5*w + 252. Is d a multiple of 8?
False
Suppose -v - 4 = 2*n - 39, 38 = 2*v - 4*n. Let r = v - 21. Suppose -s - r = -39. Is s a multiple of 11?
True
Is 15 a factor of -2*(367435/(-10))/43?
False
Let t be 6/33 - (-7 - (-4416)/(-33)). Suppose 140*a = t*a - 90. Is a a multiple of 5?
True
Let y = 319 - 168. Suppose 1095 = -10*n + 285. Let t = y + n. Is 9 a factor of t?
False
Let b(v) = -v**2 - 192*v + 68. Is 53 a factor of b(-95)?
False
Let i(j) = -29*j**3 + 6*j**2 + 13*j + 10. Is 11 a factor of i(-5)?
False
Suppose -3*f - l = -4*l + 120, f + 42 = -l. Let z = f + 45. Is ((-221)/(-26))/(2/z) a multiple of 11?
False
Suppose -4220 = -35*w + 24340. Is 34 a factor of w?
True
Let h = 2416 + -1497. Let n = 8 + -5. Suppose n*s - h = -286. Is s a multiple of 31?
False
Let o = -12 - 6. Let j be (-492)/32 + o/(-48). Is 3/2*(-190)/j a multiple of 3?
False
Suppose 2*z = 4*w + 1779 + 4683, -3*w - 21 = 0. Is 216 a factor of z?
False
Suppose -3*z + 801 = -5*d, -5*z + 147 = -d - 0*z. Let b = 244 + d. Does 38 divide b?
False
Let t be -34 - -36 - (-10)/(-2). Let j(z) = -4*z**3 - 15*z + 2. Is j(t) a multiple of 5?
True
Suppose 4*b = 6 - 2, 1 = 3*s - 5*b. Is (-2)/((-26)/12 + s) a multiple of 12?
True
Let k(y) be the first derivative of 19*y**3/3 + 3*y**2 - 2*y + 111. Let v(t) = -2*t + 2. Let d be v(2). Does 15 divide k(d)?
False
Suppose 2*p = -5*a - 0*p - 6, -3*a = -5*p - 15. Suppose 4*f - s + 1213 = a, -s = -3*f - 6*s - 904. Let k = 594 + f. Is 47 a factor of k?
False
Suppose 0 = 5*o - 2*o - 3*p - 2805, -3*p + 1845 = 2*o. Suppose q + 7*v - 2*v = 921, -4*v - o = -q. Is q a multiple of 8?
False
Let r = -96 - -98. Suppose -3*m - 134 = -r*j, m + 0*j = 4*j - 58. Is (1 - -6)/(2*(-3)/m) a multiple of 7?
True
Suppose 0 = 2*q - 68*o + 73*o - 2404, -4*o = 2*q - 2402. Is 21 a factor of q?
True
Let y(m) = 2*m**3 - 42*m**2 + 356*m + 66. Is 18 a factor of y(30)?
True
Suppose 0 = -18*q - 5*q + 11951 + 7921. Is q a multiple of 24?
True
Let v = -47 + 61. Suppose 4*x = -4*t + 64, 4*t - 62 + v = 4*x. Let d = t - 0. Does 14 divide d?
True
Let n(s) = 7*s**3 - 50*s**2 - 33*s + 126. Is n(13) a multiple of 19?
False
Suppose 0*j - 2*j - w = -7, 2*j - 1 = w. Suppose -3*u + 2*u + 5*m = 152, -5*u - j*m = 814. Let n = -93 - u. Is 15 a factor of n?
False
Suppose 0 = 7*c - 9*c + 2624. Let h = c + -960. Is h a multiple of 16?
True
Let i(y) = 4*y**3 + 23*y**2 + 11*y + 14. Let c(d) = 5*d**3 + 24*d**2 + 11*d + 15. Let u(r) = -3*c(r) + 4*i(r). Does 10 divide u(-19)?
False
Let f(a) = 16*a + 2328. Is 4 a factor of f(-68)?
True
Let z(t) = t**3 - 2*t**2 + t - 2. Let y be z(2). Suppose y = -5*o - 2*b + 13, -5*b = -3*o + 8*o - 25. Is 22 a factor of 110/o - (-6 - (-4 + 0))?
False
Suppose -2*c = 4*j + c + 9, -4*c = 2*j - 8. Let n(l) be the third derivative of -7*l**4/12 + 2*l**3/3 + 10*l**2. Is n(j) a multiple of 11?
True
Let f(m) = 20*m - 303. Suppose -5*z + c + 178 = 0, -c - 6 + 3 = 0. Does 33 divide f(z)?
False
Let t = 5914 + 5372. Does 9 divide t?
True
Suppose 74*w - 18*w - 2671536 = -28*w. Does 74 divide w?
False
Let p(l) = 2*l**2 - 14*l + 3. Let f be p(7). Suppose -v - v = f*t - 3, 6 = -3*t - 5*v. Is 2 a factor of t?
False
Suppose 4*b + 2*g - 11976 = 0, 381*b = 378*b + 2*g + 8982. Is b a multiple of 5?
False
Let z(k) = -k**3 + 18*k**2 + 18*k + 9. Let d be ((-2)/6)/((-4)/228). Let f be z(d). Is 11 a factor of 88 + -5*8/f?
False
Let z be -10 + ((-126)/56 - (-2)/8). Is 3 a factor of 1125/36 - (-3)/z?
False
Let t(h) = 1158*h**2 - 493*h**2 + 1015*h**2. Let w be t(1). Suppose -8*n - 6*n + w = 0. Is 24 a factor of n?
True
Let o be (-2)/(-9) + (-610)/(-90). Let f(j) = 4*j**2 - 9*j - 21. Is f(o) a multiple of 14?
True
Let w be ((-19)/(-4))/((-36)/16 - -2). Let c = 9 + w. Let t(s) = -s**2 - 10*s + 23. Does 3 divide t(c)?
False
Let x = -29 + 34. Suppose q + 2 = x. Suppose 5*g = -q*w + 3*g + 103, 2*g = 3*w - 107. Is w a multiple of 7?
True
Let t(h) = 34*h + 12. Let c be t(4). Let q = -429 + c. Let j = -201 - q. Is j a multiple of 40?
True
Suppose 0 = 5*q - 2*s + 242, 3*q + 187 = 2*s + 45. Suppose 0 = 3*b + 12, 5*b = -v + 6*v - 360. Let c = q + v. Does 9 divide c?
True
Let w(o) = o**3 - 9*o**2 - 10*o + 14. Let z be w(10). Let t be (-4)/z + 6/21. Suppose t = 3*p, 0*p + 23 = j + 2*p. Does 4 divide j?
False
Let x(j) = 103*j**2 - 927*j + 10057. Does 3 divide x(11)?
False
Let x be 2 + 10 + -9 - (0 + 71). Is 431/10 + (x/40)/17 even?
False
Let g(s) = -s**3 - 54*s**2 + 51*s + 320. Does 18 divide g(-55)?
True
Suppose r + 260037 = 4*k, -4*k + 158234 + 101818 = 4*r. Is 15 a factor of k?
True
Let d = 244 - 244. Let v = 4 - 1. Suppose d = -v*l - 2*l + 1250. Is l a multiple of 25?
True
Suppose 4*r + 130 = 3*r. Let q be 18/(((-48)/64)/((-162)/(-16))). Let v = r - q. Is v a multiple of 15?
False
Suppose 5*o - 152975 = -3*x + 6*x, -3*x = -o + 30595. Is 211 a factor of o?
True
Let i(q) = -12576*q + 484. Is 84 a factor of i(-1)?
False
Suppose 3*b = 2 + 4. Suppose -2*s + 1297 = -h, -5*s + 0*h - b*h + 3238 = 0. Does 36 divide s?
True
Let w(d) = 52*d**2 + 4*d + 5*d - 6*d + 0 - 3. Is 19 a factor of w(-3)?
True
Suppose 2*l + 945 = -351. Let f = -288 - l. Does 10 di