a factor of h?
True
Suppose 4*p + 0*d = 2*d - 62, 0 = 4*p - 4*d + 72. Let u = 49 + p. Is 18 a factor of u?
True
Is 7 a factor of 53*25 - (-2 - (2 + -6))?
True
Let h = 30 + -33. Let i be h + -1 + 4/1. Suppose -5*c + 120 = -i*c. Does 11 divide c?
False
Let r = 28 + -29. Let p be (8/(-5))/((-6)/45). Is ((-49)/21)/(r/p) a multiple of 7?
True
Let d = 11 + -6. Suppose 19*k - 15 = 16*k. Suppose 4*h - 84 = 2*j, -k*h + d*j - 7 = -117. Is h a multiple of 5?
True
Suppose 0 = -44*v + 39*v + 100. Let g = 113 + v. Is 25 a factor of g?
False
Let n(o) be the first derivative of 3*o**4/2 + 2*o**3/3 - o**2 + o - 20. Let y = 4 - 3. Is n(y) a multiple of 3?
False
Suppose 11*t - 2*t - 2952 = 0. Is t a multiple of 8?
True
Let k = -448 + 1046. Does 17 divide k?
False
Suppose 3*p = -4*j + 1671, -10*p - 10 = -12*p. Does 7 divide j?
False
Suppose 10 = 4*m - 2*o, 0*m = -m + 3*o. Suppose 0 = z - 4*c, -2*z + 7*z = -m*c + 23. Suppose -3*k + 209 = -z*f, k + 193 = 4*k + 4*f. Does 32 divide k?
False
Suppose 0*b + 4*b - 380 = 0. Suppose 11*c = 16*c + 255. Let g = b + c. Is 22 a factor of g?
True
Let n(s) be the second derivative of -s**4/12 - 3*s**3/2 + 5*s**2/2 + 7*s. Let z be n(-11). Let l = z - -21. Does 4 divide l?
True
Let h(b) = 17*b**2 + 1. Suppose 0 = -4*g - z - 0*z, -4*g + 20 = -4*z. Does 18 divide h(g)?
True
Suppose -11*b = 12 + 7490. Let a = 968 + b. Does 26 divide a?
True
Let b = 26 + -18. Let x = b - 4. Let o(u) = 5*u. Is 12 a factor of o(x)?
False
Let s(l) = -l + 7. Let g be s(11). Let o = g + 9. Suppose -9*m = -o*m - 192. Is 8 a factor of m?
True
Suppose -171 = -2*m + 505. Suppose 8*y - 422 - m = 0. Is 12 a factor of y?
False
Let x(k) = -k**3 - 7*k**2 - k - 10. Let z be x(-7). Let d be (-4 - z)/2*0. Is 2 a factor of d + (-6)/(-4)*4?
True
Let c(s) = 4*s**2 + 3*s**3 - 8 - 2*s**3 - 9*s**2. Does 25 divide c(7)?
False
Suppose 40 = -20*b + 6280. Is b a multiple of 6?
True
Suppose 0 = -5*i + r + 231, 3*r - 33 - 26 = -i. Suppose -373 = -5*l + i. Does 7 divide l?
True
Suppose -1727 = -3*a - 6269. Is ((-2)/9 - a/9) + 1 a multiple of 32?
False
Let q = -182 - -248. Is q a multiple of 3?
True
Let l(h) = 258*h**3 - 3*h**2 + 8*h - 5. Let t(f) = 86*f**3 - f**2 + 3*f - 2. Let g(u) = 4*l(u) - 11*t(u). Does 13 divide g(1)?
False
Let y be (-10)/15 + (-514)/(-6). Let b be y/(-1 - (3 + -5)). Suppose -5*g - 20 = -b. Does 3 divide g?
False
Suppose -v + 2*d + 5 = -25, 5*v = -2*d + 90. Suppose 0 = q + h + 3*h - v, 0 = 5*h - 20. Suppose 5*u - 94 = -q. Does 9 divide u?
True
Let j(y) = 20*y + 1. Suppose -14 = -2*p + 3*r, -5*p - 2*r = 2*r + 11. Let t be j(p). Suppose 3*g - 33 = t. Is g a multiple of 6?
True
Suppose -g + 5*g + 2236 = 5*k, -5*g + 453 = k. Is k a multiple of 32?
True
Let v(h) = -157*h + 13. Is 62 a factor of v(-9)?
True
Let x(k) = -k**2 - 15*k - 9. Let n be x(-14). Suppose 4 = -d, -p + 59 = -0*p - n*d. Does 9 divide p?
False
Let n(v) = -v**2 - 5*v + 2. Let s be n(-7). Does 12 divide (-524)/(-22) + s/(-66)?
True
Suppose -j - 2*r - 10 = -47, 2*j - 5*r - 56 = 0. Is j a multiple of 3?
True
Suppose 160*a = 156*a + 2496. Is 16 a factor of a?
True
Let r be 2310/20 + (-1)/(-2) - -3. Suppose -5*o + 659 = r. Is o a multiple of 18?
True
Suppose -3*q - 38 = 4. Let b = -199 + 176. Let j = q - b. Does 4 divide j?
False
Does 4 divide (-7355)/(-10) - 153/(-34)?
True
Let s(n) = -10 + 31 - 4*n + 16*n. Is 9 a factor of s(4)?
False
Suppose 25 = 4*z - 827. Suppose -7*w = -4*w + z. Let v = 115 + w. Does 20 divide v?
False
Suppose 9*c - 13*c + 684 = 0. Let j(q) = q + 14. Let u be j(-13). Does 19 divide 1/(u + (-168)/c)?
True
Suppose -z = 5*o - 3*z - 182, -80 = -2*o - z. Does 19 divide o?
True
Suppose 90 = 4*w - 9*w. Let g = w + 40. Let a = 17 + g. Does 25 divide a?
False
Let k be (-2091)/(-34)*(-4)/3. Is (-2 - 3) + 3 - k a multiple of 20?
True
Let u = 38 - 35. Suppose 4*w + 8*m - 3*m - 299 = 0, 0 = u*w - m - 229. Does 19 divide w?
True
Suppose 0*o + 4*o - 81 = 5*r, -2 = 2*o. Let u = -3 + 7. Does 13 divide (r + u)/(0 + -1)?
True
Let d(i) = 2*i**2 - 3*i - 1. Let q be d(3). Let w(c) = -c**2 + 9*c - 6. Let k be w(q). Suppose 166 = 5*x - k*x + m, 3*m = 3*x - 150. Is x a multiple of 9?
True
Let t = -479 - -1675. Is t a multiple of 23?
True
Let r(j) = 17*j - 19. Let l be r(-8). Let w = 13 - l. Does 18 divide w?
False
Let w(f) = f**3 + f + 2. Let t be w(0). Let j(s) = 17*s**2 - 2*s. Let n be j(t). Does 4 divide n/(-2)*(-8)/16?
True
Let r(a) = -4*a**2 - 5*a + 1. Suppose o - 10 = -2*u - 3*u, -3*o - 4*u - 3 = 0. Let p be r(o). Is 18 a factor of -2 + -2 - (p - 4)?
False
Let a(k) = 0 - 2*k - 2 + 0. Let r = 84 + -90. Does 3 divide a(r)?
False
Suppose 3*q + 0*q - 6 = 0. Suppose 10 = -q*g + 54. Is g a multiple of 4?
False
Suppose -n + 39 = -2*z, 0*n + 3*z = -n + 19. Suppose 41 = 3*h - n. Is 3 a factor of h?
True
Let t be -17*1/(1/1). Let h(v) = -v**3 + 9*v**2 - 16*v - 11. Let c be h(6). Let x = c - t. Does 9 divide x?
True
Suppose 4*y = -6*z + 4*z + 442, y - 5*z - 94 = 0. Is y a multiple of 24?
False
Suppose 4*b + 3*d = 25, -4*b + d + d + 10 = 0. Suppose 72 = b*o - 72. Suppose 3*p = 2*p + o. Does 12 divide p?
True
Let h(f) = -320*f - 228. Is 23 a factor of h(-14)?
False
Let c(k) be the first derivative of k**4/4 - 2*k**3 + 2*k**2 - 4*k - 23. Does 10 divide c(6)?
True
Let g(d) = -d**3 - 6*d**2 + 12*d + 16. Suppose 0 = -3*b + 3, -r + 9 = -2*r + b. Is 4 a factor of g(r)?
True
Let z = -15 - -46. Let b = 47 - z. Does 32 divide (-646)/(-8) - (-4)/b?
False
Suppose 8*m + 24 = 12*m. Suppose m*c - 103 - 29 = 0. Is c a multiple of 19?
False
Suppose 7*a - 2647 - 1175 = 0. Does 4 divide a?
False
Let v(l) = l**3 - 8*l**2 + 8*l - 1. Let r(t) = -t**3 + 4*t**2 + 6*t + 3. Let q = -30 + 35. Let k be r(q). Is 21 a factor of v(k)?
True
Let s = 13 - 25. Let b = s - -7. Let j(c) = -6*c - 6. Is 12 a factor of j(b)?
True
Suppose 4*l + 6*s - 5*s = 3632, 921 = l - 3*s. Is 101 a factor of l?
True
Let p(t) be the third derivative of t**5/30 + t**4/24 + 25*t**3/3 + 3*t**2. Is p(0) a multiple of 10?
True
Does 13 divide (3/3)/((-1)/(-35))?
False
Suppose -73 + 217 = -3*c. Is 5 a factor of (c/(-28))/(2/28)?
False
Let l(w) = 116*w + 1. Let z be l(1). Suppose -2*b + 397 - z = 0. Is b a multiple of 35?
True
Suppose 3*t - 163 = 5*s, -4*s + 3*t = 8*t + 160. Does 60 divide 250/(-3)*((-252)/s)/(-2)?
True
Let r = 6 + -4. Let p be (r + 0/3)/1. Suppose p*y + 0*y - 78 = 0. Does 13 divide y?
True
Let u(f) = 2*f + 2. Let r be u(0). Suppose 3*h + 3 + 9 = 2*n, h = -r. Suppose 0 = 5*b - n*b - 78. Is 10 a factor of b?
False
Let m(v) = v + 16. Let w be m(-11). Suppose -5*z = 4*d + 52, -4*d - 7 = w. Let y = 17 + z. Does 9 divide y?
True
Suppose 0 = -j - i + 14 + 83, -2*i - 6 = 0. Is 10 a factor of j?
True
Let g be ((-6)/4)/((-15)/20). Suppose 2*b + g*b - 12 = -s, 5*b + 4*s = 26. Suppose -b*w + 266 = 5*z - 4*w, -2*w = -4. Is 9 a factor of z?
True
Suppose 0 = -2*i, 5*b + 2*i - 35 = 45. Suppose b*v = 11*v + 460. Does 11 divide v?
False
Suppose 2*b - 4*b = -50. Let h be (32/10)/(10/b). Suppose h*z - 23 - 553 = 0. Does 10 divide z?
False
Let q(w) = w + 1. Let m(g) = -g + 7. Let l be m(5). Let c be q(l). Suppose -3*x + 45 = 3*v, -2*v + 2*x - c*x + 35 = 0. Is 10 a factor of v?
True
Let t(o) = -2*o - 21. Let g be t(-13). Suppose g*m - 201 = -2*i, i - m + 99 = 2*i. Is 14 a factor of i?
True
Let f(p) = p + 13*p**3 - p**2 + p + 2*p**3 + 15*p**3 - 1. Is f(1) a multiple of 7?
False
Let m = 979 - 698. Is 41 a factor of m?
False
Suppose 4*w + 1801 = -0*w - 5*r, 2*w - 2*r + 878 = 0. Is 6 a factor of (w/(-15))/((-2)/(-25)*5)?
False
Suppose k - 40 = -0*k. Suppose 0*u - k = 4*u. Is (24/u)/((-10)/225) a multiple of 27?
True
Let g be ((-129)/(-45) - 0) + (-14)/(-105). Suppose -k = y - 136, -3*k = 4*y - g*y - 144. Is y a multiple of 17?
False
Suppose 0 = 3*m - 4*m + 9. Suppose -252 = 5*g - m*g. Does 9 divide g?
True
Suppose 4*i - i = 15. Suppose -4*w = d + 146 + 40, 194 = -4*w - i*d. Let u = -32 - w. Is 11 a factor of u?
False
Let w be (-7 + 8)/(2/(-60)). Does 10 divide w/4*(-6)/18*4?
True
Suppose 31*u - 2250 = 21*u. Is 25 a factor of u?
True
Let q(x) = 53*x**2 + 3 - 91*x**2 + 47*x**2 + x**3 + 8*x. Is q(-5) a multiple of 12?
False
Let b(r) = 534*r - 153. Does 48 divide b(3)?
False
Let h(i) = -70*i + 6. Let u(b) = -70*b + 5. Let j(p) = -3*h(p) + 4*u(p). Does 32 divide j(-1)?
False
Let 