 a multiple of 8?
False
Suppose 15*k - 138 = 13*k. Is 4 a factor of k?
False
Let d be -139 + -4 + (-91)/(-13). Suppose 0 = -2*c - 0*c - 408. Let t = d - c. Is t a multiple of 26?
False
Let v(y) = -y**2 + y + 3*y**2 - 9*y**3 + 0*y - 3*y**2. Does 12 divide v(-2)?
False
Let n(i) = -14*i**2 - 9 + 8*i + i**3 + 7*i + i + 2. Let k be n(13). Let f = -26 + k. Is 6 a factor of f?
True
Let p be (16/(-12))/(3/18) + 4. Let o be (-1)/(2*(-2)/24). Does 7 divide 24 - p/6*o?
True
Suppose 4*p = 633 + 155. Is 32 a factor of p?
False
Let l be (24/60)/(2/1740). Suppose 4*u = 4*d + 3*u - 714, 4*u - l = -2*d. Suppose 2*j + 4*c - d = 0, 2*j - 5*c - 343 = -2*j. Is 26 a factor of j?
False
Suppose 3*p = 3, -12*k - 5*p + 10869 = -8*k. Is k a multiple of 28?
True
Let c = -47 + 58. Let b(p) = -p**2 + 16*p - 7. Is b(c) a multiple of 7?
False
Suppose -3*v + 160 = m - 91, 462 = 2*m - 4*v. Is m a multiple of 7?
False
Suppose -3*v = -5*l + 53, -3*v + 51 = 5*l + 4. Let f = l + 54. Is 8 a factor of f?
True
Let n = -34 + 34. Suppose n = 2*g - 5*g + 15. Does 5 divide (-2)/(-5) - (-63)/g?
False
Suppose -5*d - 5*w = 13 + 7, -5*d + 2*w - 13 = 0. Let t = d - -35. Is t a multiple of 7?
False
Suppose -l + 953 = 2*v, -4*v - 3*l = -2359 + 454. Is 9 a factor of v?
True
Suppose -2*p = -p - 3. Suppose -p*v + 37 + 23 = 0. Suppose 3*c - 5*g - 30 = 0, 0 = 2*c - 0*c + g - v. Is 2 a factor of c?
True
Let b = -583 - -793. Is 42 a factor of b?
True
Let a(x) = -x**2 - 8*x + 2. Let j(z) = 2*z + 26. Let k be j(-11). Let m be 4 - (0 - -2*k). Is a(m) a multiple of 9?
True
Let u(f) be the first derivative of 3*f + 11 - 2*f**2 + 8/3*f**3. Does 9 divide u(2)?
True
Suppose -7*i + 2*i + 1215 = 0. Does 9 divide i?
True
Let h(f) = 4*f**2 - 7*f + 34. Is h(15) a multiple of 54?
False
Let n(t) = -t**3 - 31*t**2 - 43*t + 13. Is 8 a factor of n(-30)?
False
Let b(a) = 2*a - 6. Let g be b(4). Suppose m - 4 + g = 0. Suppose -9 = 3*p, -3*k + 5*p + 74 = -m*k. Is 25 a factor of k?
False
Let c(n) = 18*n + 83. Does 39 divide c(11)?
False
Let g be 1/((-1)/(-7))*(16 + -17). Let o(d) = 5*d + 2*d**2 - d**2 - 3 - 1. Is 10 a factor of o(g)?
True
Does 31 divide 155/((-16)/(4704/(-35)))?
True
Let x(a) = 5*a**2 + a. Let k be x(1). Let i = -1 + k. Suppose -o = 5*h - 244, i*h + 4*o - 236 = 5*o. Is h a multiple of 12?
True
Let w = -93 - -301. Suppose 39*g - 35*g = w. Does 8 divide g?
False
Let m(f) = -2*f + 20. Let y be m(10). Does 30 divide (-2 + y)/(5/230*-1)?
False
Suppose -85 + 529 = 4*v + 4*s, 0 = -2*v + s + 213. Is 9 a factor of v?
True
Let q be (8/(-18))/(14/(-63)). Suppose 4*k + 5*n + 12 = 0, -q*k + n = 2*k - 12. Does 4 divide 477/24 - k/(-16)?
True
Suppose n = -n + 48. Suppose -2*w - 16 = -2*g, 3*g - n = 3*w - g. Does 11 divide 60/w*28/(-6)?
False
Suppose -l + 5*l = 0. Suppose l*j + 6 = 3*j. Suppose -j*k + 308 = 2*k. Is k a multiple of 23?
False
Suppose -5*z + 6 = -9. Suppose o - 81 = -z*d, 0*d + 369 = 4*o - 3*d. Is 15 a factor of o?
True
Suppose 2*l - 28 = 4*a, l - a = -2*l + 32. Is 6/l - (-712)/5 a multiple of 25?
False
Let w = -2463 + 3572. Does 17 divide w?
False
Suppose -6*f + 4 = -4*f. Is f + (-3)/(-1)*(-84)/(-9) a multiple of 3?
True
Let k = 52 + -31. Suppose -v + 82 = k. Does 16 divide v?
False
Let t = -709 - -2384. Is t a multiple of 103?
False
Suppose -5*y + 3*m + 1501 = 0, 0 = -5*y + 4*m - 0*m + 1503. Is 12 a factor of y?
False
Is 2 a factor of ((-999)/12)/(-1) + 10/(-40)?
False
Let r be 3/(-6) - (-25)/10. Suppose 4*c = -4*j - 140, -r*j = -c - 0*c - 47. Let w = 21 - c. Is w a multiple of 30?
True
Suppose 5*a = -3*b + 5812, -4*b = -2*a + 1016 - 8800. Is b a multiple of 68?
False
Let l be ((-568)/12)/((-4)/6)*9. Suppose -3*m = 2*n - 654, -6*m + 3*n + l = -3*m. Is m a multiple of 36?
True
Suppose 0 = -3*g + y + 117, 2*y - 32 = -2*g + g. Let r(z) = -z**2 + 19*z - 47. Let v be r(13). Let n = g - v. Is 2 a factor of n?
False
Suppose 361 - 1 = 6*s. Let l = 241 - s. Is l a multiple of 45?
False
Suppose 5*u + 3*v - 18 = 0, 4*v - 2 = 2. Suppose 0 = 2*c, 221 = u*k - 4*c - 115. Does 28 divide k?
True
Let a = 47 + -68. Suppose 0 = j - 4*f + 37, 0 = 2*j - 4*f + 3*f + 109. Let x = a - j. Is 12 a factor of x?
True
Suppose 10*g - 1353 = -y + 8*g, 2*y = -g + 2694. Does 37 divide y?
False
Suppose z = -t - 527, 19 = 4*t + 3. Let l = -291 - z. Is 20 a factor of l?
True
Let k(s) = 8*s**2 - 8*s - 16. Does 10 divide k(4)?
True
Let i(j) = -j**2 - 8*j - 23. Let y be i(-7). Is 14 a factor of y/(7 + -3) + 26?
False
Suppose -29*x + 25*x = -12. Suppose l = x*q + 133, -3*l = q - 586 + 187. Let h = l + -80. Is 12 a factor of h?
False
Let p = 31 + -26. Suppose -1 = -3*y + p. Does 22 divide (y/(-1))/((-2)/100)?
False
Let k(n) = 36*n**3 + 2*n**2 - 4*n + 2. Let m be 2 - 6/(-12)*-2. Is 9 a factor of k(m)?
True
Let t(s) = 3 - 4*s - s + 0 - 5. Is 19 a factor of t(-8)?
True
Suppose -3*o - 5*y = -20, 4*y - 4 = 4*o - 20. Suppose -o*u = -661 + 211. Is 30 a factor of u?
True
Let c(g) = -2*g**2 - 17*g - 4. Suppose 0 = -4*m + 8*d - 3*d - 23, -2 = 2*d. Let j be c(m). Let h = j - 13. Does 4 divide h?
True
Suppose 4*b - 31 = -i, 5*i - 83 = 3*b + b. Let n = -24 + i. Let m(h) = 2*h + 13. Is 3 a factor of m(n)?
True
Suppose -l + s = -219, -1131 = -3*l - 2*l - 4*s. Does 15 divide l?
False
Let u be (-8 + 9)/((-2)/(-32)). Suppose -u = -5*g - 1. Is g a multiple of 3?
True
Suppose -2*u - n = -2 + 3, -4*u = 4*n + 8. Is 8 a factor of (u/2)/((-4)/(-440))?
False
Let q = 158 + 82. Does 62 divide q?
False
Let c(q) = 5*q - 2*q + q**2 + 0*q**2 + 10. Does 10 divide c(-8)?
True
Let n(b) = -3*b**2 - 5*b - 4. Let h be n(-1). Let q be -1*(-2)/h + 1. Suppose q = -3*l + 231 - 78. Does 16 divide l?
False
Let n = 42 - 23. Suppose 29*i - 30*i + 9 = 0. Suppose 2*j - n = i. Is j a multiple of 10?
False
Let q(x) = 2*x - 4. Let h be q(3). Let n = -58 - -62. Suppose h*j = n*c + 110, -c = -6 + 3. Does 21 divide j?
False
Suppose 26 = n - 5*w, -5*n - 4*w = -w - 46. Suppose -14*i = -n*i - 528. Does 22 divide i?
True
Suppose -115668 = -71*b + 3*b. Is b a multiple of 10?
False
Let f(p) be the first derivative of 7*p**3/3 + p**2/2 + 17*p - 22. Does 25 divide f(-4)?
True
Let z be 498/(-5) - ((-12)/(-5) + -2). Let r = z - -190. Is 16 a factor of r?
False
Is 284/6 + 12/18 a multiple of 8?
True
Let w be (-5)/15 - (-10)/3. Is (7 - w - 1) + 122 a multiple of 13?
False
Does 6 divide (-1)/2*(1 - 0)*-38?
False
Is 11 a factor of (-6)/(6*(-2)/88)?
True
Let i(o) = -5*o**3 - 4*o**2 - 10*o - 16. Is i(-2) a multiple of 2?
True
Suppose -1 = 2*c + 3*r + 1, 5*r + 2 = -4*c. Suppose -2*p + 20 = -c*n + 3*n, 2*p + 3*n = 24. Suppose p = l + 1. Is l a multiple of 8?
True
Let w = 1059 - 825. Is 4 a factor of w?
False
Let c(t) = t**2 - 7*t + 8. Let w be c(6). Is (1/w)/(11/506) a multiple of 5?
False
Suppose 4*n + 10 = 9*n. Suppose 5*p + 0*p + n*k = 145, 4*p = -5*k + 133. Is 9 a factor of p?
True
Suppose -n - 12 = -3*l - 0*l, 0 = l - n - 2. Suppose -915 = l*b - 10*b. Is b a multiple of 32?
False
Suppose -4*w + 5*w = 5. Suppose -w*y + 242 = 47. Let q = y - 7. Does 14 divide q?
False
Let d be 11/2 + (-63)/42. Let x = 5 + d. Is x a multiple of 3?
True
Let q(c) = -11*c + 2. Let k(d) = 351*d - 65. Let v(n) = 4*k(n) + 130*q(n). Is 14 a factor of v(-7)?
True
Let h = -2062 - -2931. Does 46 divide h?
False
Let c be -2 + (14*5 - 0). Let q(g) = -12*g**2 + 4. Let v be q(2). Let j = c + v. Is j a multiple of 12?
True
Let j be (-2)/(-1)*121/22. Let o = 84 - j. Does 13 divide o?
False
Let a be (-1)/(10/(-6))*25. Suppose -c + a = 4*c. Suppose c*q = 8*q - 250. Does 22 divide q?
False
Let m(j) = 5*j**2 - j + 39. Is m(9) a multiple of 22?
False
Let f = -13 + 13. Suppose 3*m - 243 = -f*m. Is m a multiple of 19?
False
Let n(k) be the first derivative of k**4/4 - 4*k**3/3 + 2*k**2 + 2*k + 5. Does 7 divide n(4)?
False
Let g be 1 - (0 + 3) - 0. Let s(h) = -2*h + 4. Let x be s(g). Let j = 71 - x. Does 7 divide j?
True
Suppose 4*o + 13*o - 867 = 0. Is 17 a factor of o?
True
Let l = -38 - -20. Let u = l + 287. Is u a multiple of 27?
False
Suppose -24 = 6*v - 8*v. Let u be ((-33)/v - -4)*-20. Let s = 82 + u. Does 11 divide s?
False
Suppose 9*s + 48 = 13*s. Let n = 20 + s. Is 16 a factor of n?
True
Let z be 83 + -6 - 0/(-2). Is 5 a factor of z/4 + 54/72?
True
Suppose z + 24 = 5*b - 3*z, 5*b + 5*z = 60. Suppose -b*s = -5*s + 12. Is 31 a factor of -1 - 