 - -1469. Does 3 divide h?
True
Suppose -2 = 4*l - 10. Suppose -285 = 4*w - l*v + v, w + 5*v + 87 = 0. Let a = w - -102. Does 15 divide a?
True
Suppose -i = 9 - 49. Is 7 a factor of i?
False
Let i(f) = 70*f - 155. Is i(14) a multiple of 25?
True
Suppose 2*j = 4*i + j + 13, i + 5*j = 2. Let b be i/(-1 - -4)*-3. Suppose 4 + 5 = b*l. Is l a multiple of 2?
False
Suppose 6*o - 3*a - 1674 = 2*o, 4*o - 5*a - 1678 = 0. Does 18 divide o?
False
Suppose m - q + 20 = 0, 4*m - 6*m - 3*q - 45 = 0. Let k = 27 + m. Does 9 divide (-1 - 0)/(k/(-210))?
False
Suppose 58 = 3*x - 248. Is x a multiple of 16?
False
Let v be 1 + (2 + 1 - 4). Suppose -13 = -n - v. Let f = 21 - n. Is 8 a factor of f?
True
Suppose -12296 - 9964 = -21*c. Does 35 divide c?
False
Let i(m) = 8 + 5*m - 18*m - 15*m + 4*m. Is 36 a factor of i(-4)?
False
Let g(v) = v**2 - 7*v + 14. Suppose 88 = -0*p + 8*p. Is 16 a factor of g(p)?
False
Is 2 a factor of (10880/448)/((-2)/(-14) - 0)?
True
Suppose -3*u - 7*j = -6*j - 2380, -u + 810 = -3*j. Is u a multiple of 11?
False
Suppose 3*o - 11930 + 3860 = -3*c, c = 3*o + 2706. Does 86 divide c?
False
Suppose 0*u - 40 = -2*u. Suppose -2*b - 2*a = 2*a + u, -5 = a. Let y(s) = s + 36. Is 12 a factor of y(b)?
True
Does 15 divide 21/(-6) - 4570/(-20)?
True
Let t(l) = -l - 2. Let k be t(-2). Suppose 0 = -k*c + c. Let q = 29 - c. Is q a multiple of 11?
False
Suppose -15 = 3*w + v, -2*v - 7 = 4*w - 5*v. Let h = w - -7. Suppose -4*d = -6 - 2, 0 = 4*a + h*d - 286. Does 10 divide a?
True
Let d(w) = 16*w - 11. Let i(t) = -t**3 + 9*t**2 - 10*t + 21. Let c be i(8). Does 23 divide d(c)?
True
Suppose -8*b + 36 = -2*b. Let x(i) = 12*i + 13. Is 17 a factor of x(b)?
True
Suppose -4*t = 1 - 521. Let u = t + -73. Is 19 a factor of u?
True
Let h be -4 - -2*(-45)/(-10). Suppose -a - 4*k - 12 = -1, -a = k - 1. Suppose -h*g + 163 = d - 2*d, a*g + 5*d - 145 = 0. Is g a multiple of 8?
True
Suppose 5 = 5*q + 4*u - 6, 3*q - 4*u = 13. Suppose 2*r + 4 = n, -5*n - q*r + 49 = 3. Is 7 a factor of n?
False
Let v(s) be the third derivative of s**7/1680 - s**6/30 - 7*s**5/60 + 2*s**2. Let m(x) be the third derivative of v(x). Is m(11) a multiple of 9?
True
Let l = 19 - 16. Suppose n = 4*z - 4, -l*z + 3*n + 0*n + 12 = 0. Suppose z = -4*c + 139 + 41. Is c a multiple of 9?
True
Suppose -t = -4*h + 12, -3 + 7 = -t. Suppose -2*x = u - 5*x - 24, -h*u + 3*x + 60 = 0. Does 23 divide u?
False
Suppose -1783*l + 1779*l + 692 = 0. Is 18 a factor of l?
False
Let k(u) = -33*u - 176. Is k(-13) a multiple of 5?
False
Let c(d) = d - d**2 - d**2 + 6*d**3 + 4 - 3*d**3 - 2. Does 4 divide c(2)?
True
Let n be (0/((-6)/2))/(-1). Suppose -a - a + 112 = n. Suppose -2*s + 4*s = 2*t - a, 5*t = -3*s + 132. Does 11 divide t?
False
Let h be (-65)/2 - 8/(-16). Let w(o) = 24*o**3 + o**2. Let u be w(-1). Let v = u - h. Is v a multiple of 9?
True
Let g(u) = 5*u**2 - 3*u - 5. Let w(z) = 11*z**2 - 7*z - 11. Let y(s) = -13*g(s) + 6*w(s). Let h be y(4). Is 70*3/6 - h a multiple of 18?
False
Let g = 5334 - 3504. Does 6 divide g?
True
Suppose -3*q - 6 = -0*r + 3*r, 37 = -5*r + 4*q. Does 20 divide (-2247)/(-35) - (-1)/r?
False
Let s = 16 + -8. Let t = 5 - s. Is 13 a factor of 25 - (-2 - 0/t)?
False
Let j(o) = o - 11. Let h be j(11). Suppose h*v - v = -2*f - 46, -15 = 3*f. Is 20 a factor of v?
False
Suppose 2*s - o = s + 422, -5*o - 430 = -s. Suppose 7*g - 12*g = -s. Does 28 divide g?
True
Suppose -5*n = -2*l - 8*n + 189, -n = -4*l + 357. Is l a multiple of 18?
True
Suppose 3*a + g - 1155 = 0, 1017 = 2*a + 2*g + 251. Does 2 divide a?
True
Let d = -10 - -7. Let m be (5 - 0/(-1)) + d. Suppose 3*o = 4*w - 46, 72 = 5*w + m*o + 3. Is 5 a factor of w?
False
Suppose -5*y = -2*y - 5*k - 6, -4*k + 6 = 3*y. Suppose x + y = 1. Is 8 a factor of x + (21 - (-3 + 4))?
False
Does 83 divide ((-8 - -71)/(-7))/((-1)/324)?
False
Let v(x) = 103*x**2 - 8*x + 4. Is v(2) a multiple of 8?
True
Suppose -y - 286 = -2*y - 4*q, -593 = -2*y - q. Let u = -24 + y. Is u a multiple of 25?
False
Let n = 9500 + -6656. Is n a multiple of 12?
True
Let z be 36*(-3 - 14/(-4)). Suppose -w = 0, p + 2*w - z = -w. Does 9 divide p?
True
Let f = -133 - -231. Is f a multiple of 16?
False
Let k be 10085/20 - (-6)/(-24). Suppose 0 = -17*t + 11*t + k. Does 10 divide t?
False
Let d = 24 + 57. Let v = 109 - d. Is v a multiple of 14?
True
Let b(a) = a**2 + 18*a - 8. Suppose 0 = -5*m - 95 + 25. Let u be b(m). Is 31 a factor of 4/(u/(-12))*132?
False
Is 54 a factor of 536 - (-1 + (-15)/5)?
True
Suppose 0 = -9*r - 0*r + 216. Suppose -r*z = -23*z - 16. Does 8 divide z?
True
Suppose -5*v = -3*m + 10511, -v = -40*m + 43*m - 10505. Does 34 divide m?
True
Let n be (8/3 + 2)*-21. Let q be n/4*(-1 - -5). Let o = -46 - q. Does 14 divide o?
False
Suppose 6*z = 1806 + 1470. Does 21 divide z?
True
Let w = 21 + -33. Let b = -15 - w. Is 21 a factor of 41 + (-1)/(b - -2)?
True
Let y(h) = -h + 1. Let n(u) be the first derivative of -3*u**2/2 + 2*u - 3. Let r(d) = 3*n(d) - 7*y(d). Is r(-6) a multiple of 11?
True
Let h = 67 + 349. Is h a multiple of 26?
True
Suppose 3*k + 15*p - 2409 = 17*p, -2*k + p + 1605 = 0. Is k a multiple of 23?
False
Let k = 1 + -1. Let u be 35/(-5)*(k - 1). Let n = u - -2. Is 6 a factor of n?
False
Is 156637/143 + 12/(-33) a multiple of 5?
True
Suppose 20*o - 5821 = -1521. Is o a multiple of 33?
False
Let c = -1743 + 2140. Is 45 a factor of c?
False
Suppose 0 - 4 = -2*y. Let w = -71 + 74. Suppose y*o + w*o = 35. Is o even?
False
Suppose -2*u + 17 + 12 = -3*i, 5*i = 4*u - 53. Suppose -12*g = -u*g - 30. Is 4 a factor of g?
False
Suppose 41*y - 5551 - 4699 = 0. Is y a multiple of 25?
True
Is 13 a factor of (((-312)/(-15))/2)/(16/200)?
True
Let f(h) be the second derivative of h**6/120 - 7*h**5/120 - 2*h**3/3 + 8*h. Let w(x) be the second derivative of f(x). Is 20 a factor of w(5)?
True
Let i(t) be the second derivative of -7*t**3/6 + 4*t**2 + 27*t. Is i(-10) a multiple of 26?
True
Let k(t) = -t**3 - 19*t**2 - 23*t - 12. Let z = 11 - 39. Let v = 10 + z. Is k(v) a multiple of 26?
True
Suppose 820 = 3*z - 509. Let j = z - 225. Is j a multiple of 41?
False
Suppose 0 = 2*d - 6, -14 = t - 4*d - 262. Is t a multiple of 9?
False
Let b(t) = -t**3 - 7*t**2 - 6*t + 6. Let h be b(-6). Does 4 divide 80/h*24/20?
True
Let x(u) = -u**2 - 17*u - 3. Let n be x(-8). Let l be n/3*-2 - 2. Does 12 divide ((-9)/(-12))/((-3)/l)?
True
Let j(r) = r**2 + 11*r + 12. Let t be j(-10). Let g be t/10 - 12/(-15). Does 12 divide g + 20 - (3 - 2)?
False
Suppose 9*w - 4*w + 25 = 3*c, -5 = 3*c + w. Let j = 37 + -23. Suppose 2*z + z + b - 38 = c, -z = b - j. Is 4 a factor of z?
True
Suppose 0*c + 5*r = c - 13, 0 = 4*c + 2*r - 8. Suppose -2*i + 4 = -g, 3*g - 4*g - c*i = -1. Does 13 divide ((-13)/g)/((-1)/(-2))?
True
Let s be (-19525)/(-100) - (-1)/4*3. Let x = -121 + s. Does 28 divide x?
False
Let c = 282 + 337. Is 76 a factor of c?
False
Suppose -5*p = 0, -3*k = -k - p + 142. Let d be (-20)/(-190) + (-10)/95. Is (d/(-3))/2 - k a multiple of 18?
False
Let g(o) = 2 - 1 - 6*o + 1 + 3*o - 9*o**2. Let q be g(1). Let w = q - -14. Is w even?
True
Suppose 990 = -6*y + 9*y. Is y a multiple of 3?
True
Let c = -254 + 846. Is c/9 + 32/144 a multiple of 6?
True
Let l(m) = 14*m + 3. Let j be l(4). Let g be -37 + 4/(4/2). Let v = j + g. Is 8 a factor of v?
True
Let m(o) be the first derivative of o**2/2 + 5. Let r be m(3). Suppose -5*h = 2*w - h - 10, -4*w = r*h - 30. Is w a multiple of 6?
False
Suppose 0 = -4*y - 5*n + 1012, 506 = 65*y - 63*y - 3*n. Is 17 a factor of y?
False
Let l(a) = -154*a + 2. Let b be l(-1). Let i = b + -32. Let h = -84 + i. Does 20 divide h?
True
Let n(i) be the first derivative of i**6/120 - i**5/20 + i**4/12 - i**3/3 + 2*i**2 - 3. Let g(o) be the second derivative of n(o). Is g(4) a multiple of 6?
False
Let m = 1877 + 1003. Is 40 a factor of m/(-27)*(-3)/2?
True
Suppose 10*z - 21 = 3*z. Suppose 3*u - z*j - 348 + 69 = 0, 2*u = 5*j + 192. Is 13 a factor of u?
True
Let d = -72 + 135. Suppose r + 4*n - 54 = 0, r - d = -0*n + 5*n. Is 11 a factor of r?
False
Let o = 270 + 82. Is 32 a factor of o?
True
Does 13 divide (3/((-84)/(-16)))/((-14)/(-9751))?
False
Let g(q) be the second derivative of -3*q**5 + q**4/12 + 2*q**3/3 + 3*q**2/2 - 16*q. Is 3 a factor of g(-1)?
True
Suppose n - 7 = -4*t, n - 13 - 26 = 4*t. Let