, 5*h = 2*n - 6*n + 176. Is 13 a factor of n?
True
Let x = 3695 + -1825. Is x a multiple of 110?
True
Let l(d) = -7*d - 3. Let w be l(-4). Let y = w - 10. Is 15 a factor of y?
True
Suppose -5*l = 3*t - t - 18, -2*l = -t. Is (-4 + t)/(-3 - -1) + 18 a multiple of 9?
True
Does 10 divide 247 + (3 - (0 + 4)) + 4?
True
Suppose -2*y = k + 4*k - 639, 4*k + y - 513 = 0. Let c = k + -57. Is c a multiple of 18?
True
Is 6 a factor of 147 + 0 - (1 - -8)?
True
Suppose -73 = -3*s - 13. Suppose -2*i = -i - s. Suppose b - 15 = i. Does 7 divide b?
True
Suppose -4*g - 65 = -6*g + s, -6 = -2*s. Let l = g + 71. Is 19 a factor of l?
False
Does 80 divide (((-495)/12)/(-33))/((-2)/(-2424))?
False
Let l = 693 - -307. Is 40 a factor of l?
True
Let j = 51 - 105. Let d = j + 134. Is 16 a factor of d?
True
Let g = 4 + 0. Suppose -65 = -g*b + 35. Does 6 divide b?
False
Suppose -4*h - 6*i + 1265 = -7*i, 5*h - 4*i - 1573 = 0. Let f = h - 97. Is 30 a factor of f?
False
Let y(v) = -v**2 - v. Let p(t) = 5*t**2 + t - 6. Let o(l) = p(l) + 2*y(l). Does 17 divide o(-5)?
False
Let y = -191 - -323. Does 66 divide y?
True
Let f be -70 + (-4 - (-3 + 1)). Let z be (-441)/(-4) + (-2)/8. Let x = f + z. Does 19 divide x?
True
Suppose 70 = 2*h + 4*q, 0*h = -4*h + 5*q + 179. Let j = h + 1. Is 6 a factor of j?
True
Let v be (-3)/(6*4/(-16)). Let x be 2/(6/(-189)) + v. Let h = 106 + x. Is 9 a factor of h?
True
Let a be (-6)/(-15) + 10/(-25). Suppose -5*p + 2*k - 3*k + 873 = a, 3*k = -6. Does 25 divide p?
True
Let p be ((-48)/(-28))/(-2)*-7. Let u be p/(3 - 5) - -5. Suppose u*t - 9 = -3. Does 3 divide t?
True
Let m = -117 + 149. Is 8 a factor of m?
True
Suppose -3*z = -w + 478, 137*w - 133*w = 5*z + 1940. Is w a multiple of 14?
True
Suppose -4*x = -10 - 2. Suppose 4*j = 2*l + 72, -x*l = 4*j + l - 96. Is 2 a factor of j?
True
Let h be (1 - (1 - 55))*3. Suppose 25 = 5*x - h. Is 19 a factor of x?
True
Let o(f) = -f**2 + 18*f + 47. Let n be 1/((-3)/(-2)) - (-1740)/90. Does 4 divide o(n)?
False
Let c(w) = w - 10. Let v be c(5). Let x(a) = -9*a - 13. Is 13 a factor of x(v)?
False
Let a(n) = n - 5. Let x be a(6). Let p be (x + 0)/((-2)/2). Does 3 divide 16/((-4)/p) + 2?
True
Let n be (0 - 8/4)*-1. Suppose n*j = 3*j. Suppose -w - 4 + 7 = j. Is 2 a factor of w?
False
Suppose 2*b - 7 = -t, -2*t - b = t - 11. Suppose t*r + 5*f - 219 = 2*f, -f - 371 = -5*r. Is r a multiple of 21?
False
Suppose -8*k + 4*k = t + 292, -8 = -2*t. Let m = 30 + k. Does 5 divide 1/((-180)/m + -4)?
False
Let w(h) be the second derivative of 1/6*h**3 + 0 + 2*h + h**2. Is w(5) a multiple of 7?
True
Let d(p) = p**2 - 9*p + 7. Let t be d(9). Suppose 92 = 2*i + 5*j - t*j, -5*j + 220 = 4*i. Is 5 a factor of i?
True
Suppose r = -5*z + 50, -2*r + 40 = 4*z - 4*r. Does 28 divide (2 - (-104)/5)*z/4?
False
Let u be (-2)/2 - (-728)/14. Suppose -108 = -u*j + 48*j. Is j a multiple of 36?
True
Let d(z) = 696*z + 1071. Is 11 a factor of d(6)?
True
Let n(o) = 12*o - 5. Let w be n(6). Suppose 2*y - 17 = -4*d + 29, y + 33 = 2*d. Let l = w + d. Does 20 divide l?
False
Suppose 0 = -12*a + 7*a - 255. Let d be a/(-2)*16/4. Suppose -3*u - 3*o = -147, 4*u - d = 3*o + 59. Does 11 divide u?
True
Let d(l) = -l**3 + 9*l**2 + 4*l - 6. Let w be d(8). Let i = w - 36. Suppose 0 = -2*n + i + 26. Is 13 a factor of n?
False
Does 13 divide (3/(-1))/(6 - (-927)/(-154))?
False
Let a be (6/4)/((-9)/(-24)). Let r(m) = 0*m + 0*m + 6 - 5*m + m**3 - 2*m**2. Is r(a) a multiple of 6?
True
Let c = 18 + -4. Let i be 4/(-18) + (-80)/(-36). Suppose -z + 22 = m + m, z - c = i*m. Is 6 a factor of z?
True
Let s(o) = o**3 + 6*o**2 + 3*o + 4. Let a(u) = -u**2 + 10*u + 6. Let p be a(10). Suppose r = 3*r + p. Is s(r) a multiple of 11?
True
Let i(j) = -100*j + 3. Let o be i(-1). Suppose 2*x + 4*f - 204 = -f, -x - 2*f = -o. Is x a multiple of 28?
False
Suppose 2*v - 7 = -o - 2*v, 4*o - v = 28. Suppose 0 = l + 2, 2*w - o*w = l - 298. Does 20 divide w?
True
Suppose -2*r + 9 = -155. Let f = r - -38. Is 19 a factor of f?
False
Let a be (1/(-2 - -1) - -1)/3. Let h = 51 - a. Does 12 divide h?
False
Let c = -27 + 28. Let p be -2*(c - 2) + 0. Suppose p*i - 6 - 70 = 0. Does 8 divide i?
False
Suppose 0 = -10*y - 328 - 702. Let b = 125 + y. Is 11 a factor of b?
True
Let u = -342 - -1330. Is 19 a factor of u?
True
Let s = -210 + 326. Let v = s - 11. Is v a multiple of 35?
True
Let r = -11 + 11. Suppose 5*w - x - 21 = r, 4*w - x - 36 = -5*x. Suppose 5*a - 176 = q, -q - w = 4*q. Is a a multiple of 7?
True
Suppose f - 26 = -4*z - 14, f = 0. Suppose -u = -116 + 26. Suppose -8*g + u = -z*g. Is 6 a factor of g?
True
Let i(a) be the first derivative of 4*a**2 + 6*a + 23. Is 14 a factor of i(22)?
True
Suppose -8 = -4*s, -5*y - 5*s + 10 = -0*y. Suppose 0 = -y*h + 5*h - 15. Suppose -h*v - 5*i + 189 - 25 = 0, -4*v + 234 = -i. Does 13 divide v?
False
Let z(r) = -795*r - 95. Is z(-1) a multiple of 14?
True
Let h = -20 - -71. Let k be 15/(-3) + 3 + h. Does 4 divide 1/(-6) - k/(-6)?
True
Suppose -16*q + 199 + 1785 = 0. Does 31 divide q?
True
Suppose q - 33 = w, 6*w + 105 = 4*q + 11*w. Does 2 divide q?
True
Suppose 0*v + v = 4. Suppose v*k = -4*k + 1120. Does 35 divide k?
True
Let u = 1 - -3. Suppose -19 = -u*g - 7. Suppose 2*n - g = n. Is n a multiple of 2?
False
Suppose -1 - 1 = v, 0 = -3*k - 4*v + 232. Does 5 divide k?
True
Suppose -3 + 25 = 4*d - 5*o, d = o + 6. Suppose d*l - 416 = 4*l. Is l a multiple of 52?
True
Suppose -5*l + 21 = 31. Is 53 a factor of (l/8)/((-5)/1060)?
True
Let m(o) be the first derivative of -10*o + 11/3*o**3 + o**2 - 1 - 1/4*o**4. Is m(11) a multiple of 6?
True
Suppose -54*n + 32*n = -55440. Is 24 a factor of n?
True
Let k(c) = -c**3 - 14*c**2 + 6*c - 141. Does 8 divide k(-18)?
False
Let j = -37 - -39. Suppose -3*k + 150 = k + 2*v, 2*v - 80 = -j*k. Is k a multiple of 5?
True
Let y(f) = -3*f - 9. Let n be y(-4). Let v(q) = 15*q**3 + 3 + q + 4*q**3 - 3*q**2 - 18*q**n. Is 6 a factor of v(4)?
False
Let b = 167 + -29. Does 3 divide b?
True
Let k(c) = -2*c + 28. Let t be -22 + (-2 - (-1 + 4)). Is 41 a factor of k(t)?
True
Let f be -1*((2 - 3) + -1). Suppose -f*r = 4*s - 66, 0 = -r + 4*r - s - 127. Suppose 4*p - r = 3*p. Does 10 divide p?
False
Let g(y) = -y**2 + y - 3. Let s be g(0). Let q = s + 7. Suppose q*p = 96 - 24. Is 18 a factor of p?
True
Is 14 a factor of (-2064)/(-6) + 6/(3/3)?
True
Suppose -2*o = -o - 2. Is (-2)/(-6) - (o + (-188)/12) a multiple of 7?
True
Let l = 828 - 805. Suppose 0 = -5*y - 2 - 53. Let z = l + y. Is z even?
True
Suppose 7 = 2*h + z, 0 = -3*h + 2*h + 3*z + 7. Suppose 8 = h*v - 0*v. Is v + (10 - -2) - 2 a multiple of 3?
True
Let g = 165 + -156. Suppose -2*j - 28 = -6*j. Suppose -g*p = -j*p - 64. Does 16 divide p?
True
Suppose 3*i - 4 - 14 = 0. Suppose 0*p - 2*c + i = -p, 5*c - 21 = p. Suppose 0 = -2*j + p*g + 48, -3*j + g - 23 = -85. Is 4 a factor of j?
True
Suppose 260 - 56 = 4*x. Let p = x + -4. Is p a multiple of 10?
False
Suppose -4*t + 14 = 2*q, -11 + 0 = -3*t - 2*q. Suppose t*l - 11 = -5. Suppose 4*v - 31 = -3*a, 4*v - l*a = -2 + 8. Is v a multiple of 3?
False
Let l = -20 - -104. Suppose 0 = -5*w + l - 4. Is 4 a factor of w?
True
Let w = -198 + 245. Does 4 divide w?
False
Suppose 12*q + 5497 = c + 8*q, 5*q = -c + 5515. Is 67 a factor of c?
False
Suppose 2*l - 1977 = 757. Does 10 divide l?
False
Is 47 a factor of (-22365)/(-18) + (234/12)/(-13)?
False
Does 7 divide (-47)/((32/48)/(0 - 2))?
False
Suppose 4*n + 2*z + 2*z + 8 = 0, -4*z = 5*n + 10. Let o be 8*-3 + -1 + n. Let c = o - -51. Is 12 a factor of c?
True
Let j be ((-1)/((-2)/(-12)))/(7 - 8). Suppose 0 = 3*u - 0*u + 3*x - j, 5*u = -2*x + 22. Is u a multiple of 3?
True
Suppose -323 = -4*g - 2*b + 221, 3*g + 5*b - 415 = 0. Is g a multiple of 15?
True
Suppose 0 = -3*n - 0*n + 9. Suppose 2*h - 4*t = 200, -h - 3*h + 378 = n*t. Is h a multiple of 15?
False
Let t be (-65)/4 - 1/(-4). Let m = 11 - t. Does 9 divide m?
True
Suppose 3*s + 77 + 28 = 0. Let r = s + 50. Is r a multiple of 5?
True
Let k(y) = -18*y + 20. Let d be k(-5). Let z = 348 - d. Is 27 a factor of z?
False
Is (-3)/((-42)/1358) - -8 a multiple of 21?
True
Let v = -316 - -608. Does 19 divide v?
False
Let v = -2857 - -6367. Does 11 divide v?
False
Let y = -8 - -2. Let p = 6 + y. Suppose -5*a + p*k + 430 = 5*k, 5 = k. Is a a multiple of 28?
False
L