= h - 36. Does 4 divide x?
True
Suppose 0 = 2*w - 2*m - 3816, -3764 + 11403 = 4*w + 3*m. Is 44 a factor of w?
False
Suppose -10 = -5*l - 10. Suppose l = -2*z, 0*z - 2*z + 49 = c. Is c a multiple of 49?
True
Let n = -1 - -6. Let c(k) be the first derivative of 11*k**2/2 + 5*k + 1. Is c(n) a multiple of 20?
True
Let j(l) = -13*l - 494. Is j(-48) a multiple of 13?
True
Let s(x) = x**3 + 3*x**2 + 2*x. Let r be s(-2). Suppose 7 = i - r. Let g = i - -50. Is 18 a factor of g?
False
Let k(o) be the third derivative of o**2 + 1/20*o**5 - 1/12*o**4 + 0 + 0*o + 1/2*o**3. Is 17 a factor of k(6)?
False
Suppose u - s = -0*s + 2, 3*s - 3 = 0. Let x be (-96)/44 - (-4)/22. Is (x/u)/(1/(-18)) a multiple of 6?
True
Let q be 15/6*6/5 - 1. Suppose q*j + 4*g - 220 = 0, j + 4*g - 110 = 3*g. Is 22 a factor of j?
True
Let x be 68/(-2) - (-1 - (-3 - 2)). Suppose -3*k + 6 = -f + 32, -3*k - 42 = 3*f. Let l = k - x. Is 14 a factor of l?
True
Let w be (-3 + 2 + 2)*(-6)/(-6). Suppose -3*p + w = -26. Is 8 a factor of p?
False
Suppose 2*t - 4*n = -222, t - 570 = 6*t - 5*n. Let c = t - -17. Let r = c - -150. Is r a multiple of 25?
True
Suppose 688 - 2158 = -6*b. Let t = b + -137. Is 2/(-1 + t/100) a multiple of 6?
False
Suppose -6*i = -4 - 8. Let c be (-10)/((i + -4)/1). Suppose 0 = -c*w - 5*b + 105, -2*w + 3*w - 33 = -4*b. Is 6 a factor of w?
False
Let r = 223 - -292. Does 30 divide r?
False
Let i = -9 - -12. Suppose -4*s = -16, i*p - 5*s - 40 + 15 = 0. Is 2 a factor of p?
False
Suppose 70 + 220 = 5*o. Is o a multiple of 5?
False
Let z(a) = 23*a - 170. Does 35 divide z(15)?
True
Let h be 322/98 - (-2)/(-7). Suppose v = 4*u - 255, 0*u + h*u - 4*v - 201 = 0. Is 5 a factor of u?
False
Let b = -496 + 706. Suppose 0 = 3*h - 180 - b. Is 13 a factor of h?
True
Suppose -2*y - 3*y = -610. Let u be -2*(y/(-4) + 0). Suppose 0 = 3*t - 146 - u. Is 23 a factor of t?
True
Let i be (9/5)/(72/(-15) - -5). Suppose 0 = 4*p - i*p + 1450. Is 61 a factor of p?
False
Let a(k) = 19*k**3 + 3*k**2 - 2*k. Let z be a(2). Suppose -5*n + n - z = -4*v, -218 = -5*v - n. Let o = v - 20. Is 21 a factor of o?
False
Suppose 5*g = 4*g + 324. Does 5 divide 6/(-14) - g/(-21)?
True
Let p(i) = -i**2 - 26*i - 22. Let h be p(-16). Does 46 divide -6*((-3)/(-12))/((-1)/h)?
False
Let p(h) = h - 5. Let n be 2/((-10)/(-105)) + (3 - 1). Does 3 divide p(n)?
True
Suppose 42 = 3*k + 3*c - 8*c, -k = -2*c - 15. Suppose -x - 2*x + k = 0. Suppose 23 = x*s - 1. Does 2 divide s?
True
Let q = 8 - 6. Let f = -110 - -180. Suppose 3*x = b + 85, -x + q*b - f = -3*x. Does 10 divide x?
True
Let q(k) = -222*k - 36. Is 34 a factor of q(-2)?
True
Suppose 2*g + g = 9. Let w = 6 - g. Suppose -w*m + 258 = 4*s, 0*m - 256 = -4*s - 2*m. Is 25 a factor of s?
False
Let v = -414 + 719. Let m be ((-107)/2 - -3)*4. Let g = v + m. Is 26 a factor of g?
False
Let t be (-102)/(-90) + (-4)/30. Does 6 divide -3*t/3*-6?
True
Let j(v) = 31 + 17 - 5*v - 2 + v. Is j(-19) a multiple of 37?
False
Suppose 5*g - 3*h = 269, -3*g - 7*h + 2*h + 175 = 0. Let c be (g/(-4) + 1)*4. Let z = -1 - c. Is z a multiple of 12?
False
Let p(d) = -4*d**3 - 12*d**2 - 2*d - 11. Let b(j) = -5*j**3 - 13*j**2 - 2*j - 12. Let z(h) = -3*b(h) + 4*p(h). Is 5 a factor of z(-9)?
True
Let r(g) be the third derivative of 13*g**4/24 + g**3/2 + 8*g**2. Let k = -1 + 4. Is 7 a factor of r(k)?
True
Let t be (-4)/14 + 0 + 3410/(-217). Let c = t + 207. Does 16 divide c?
False
Suppose -2251 = -2*y - 1197. Is 10 a factor of y?
False
Suppose d - 4 = 3*d. Does 9 divide 107 - d/((-4)/6)?
False
Suppose -392 = 4*p + 1300. Let k = -263 - p. Is k a multiple of 16?
True
Is (-592 + 32)*4/(-10) a multiple of 28?
True
Let d(j) = j**2 + 11*j + 7. Let h(t) = t**2 + 10*t + 7. Let s(b) = -4*d(b) + 5*h(b). Let k be s(-5). Suppose -q + k*q - 28 = 0. Does 4 divide q?
True
Let d be 330/(-48) - (-2)/(-16) - -2. Let c(a) = -a**2 - 6*a + 7. Does 4 divide c(d)?
True
Let h(r) = r**2 + 2*r - 6. Let z(f) = -f**2 - f + 34. Let g be z(6). Is 14 a factor of h(g)?
True
Suppose -7*c + 3*c - 124 = 0. Let d = c + 52. Suppose -48 = -3*w + d. Does 21 divide w?
False
Let v(l) = -l**3 + 26*l**2 - 3*l + 15. Let w be v(26). Let i be 233/2 + (-1)/2. Let b = w + i. Is b a multiple of 6?
False
Let t(o) = -4*o**2 + 1. Let x be t(1). Is (1 + 3)/(x/(-120)) a multiple of 12?
False
Let i = -771 + 808. Does 24 divide i?
False
Let u(v) = -v**3 + v**2 + 2*v + 4. Let b be u(0). Does 14 divide 3/b - (-884)/16?
True
Suppose -17*d = 55558 - 158323. Does 13 divide d?
True
Let c be (1/(-3))/((-8)/48). Suppose 74 = c*q + 18. Does 4 divide q?
True
Suppose 0 = 4*h + 150 - 46. Let v = h - -34. Is 8 a factor of v?
True
Let t(d) = -2*d**3 + 79*d**2 + 53*d - 50. Is t(40) a multiple of 7?
False
Suppose -3*x + 0*m = 2*m - 32, 5*m + 81 = 4*x. Let g(n) = n**3 - 15*n**2 + 22*n - 20. Does 23 divide g(x)?
True
Suppose u - 19*u = -22320. Is u a multiple of 40?
True
Let y(u) = -5*u**2 + 91*u - 70. Let v be (-108)/10 - 3/15. Let s(i) = i**2 - 18*i + 14. Let z(t) = v*s(t) - 2*y(t). Is 12 a factor of z(10)?
False
Let h(x) = 3*x**2 + 9*x - 8. Let t = 10 + -14. Let b be 10*(32/10)/t. Does 30 divide h(b)?
False
Let i(d) = -d**3 - 15*d**2 - 19*d - 15. Does 54 divide i(-15)?
True
Is 21/((-630)/24) + (-25558)/(-10) a multiple of 11?
False
Let a(z) = -2*z**3 - 25*z**2 + 4*z - 5. Is a(-13) a multiple of 8?
True
Is 29 a factor of (12 - 16) + (2 - -988)?
True
Let m(q) = q**2 - 6*q + 12. Let l be m(5). Is (18/l)/(30/1540) a multiple of 11?
True
Let y(c) = 2*c + 1 + c + 2*c**2 + 15. Is y(-6) a multiple of 10?
True
Let o(w) = -5*w + 5. Let g(c) = -8*c + 7. Let j(u) = 5*g(u) - 7*o(u). Does 15 divide j(-3)?
True
Suppose 216 = 4*v + 8. Let w be (-8)/(-1 + 44/v). Suppose -3*x - 19 = -w. Is x a multiple of 5?
False
Let x = 98 + -98. Suppose x = 4*f + n - 179 - 178, 4*f + 3*n - 351 = 0. Does 9 divide f?
True
Let z = 597 - 357. Is z a multiple of 24?
True
Let m(g) = g**3 + 6*g**2 - g - 7. Let a be m(-6). Let k(j) = -j**2 - j. Let y(s) = -74*s**2 + 5*s - 2. Let q(t) = -6*k(t) - y(t). Is 27 a factor of q(a)?
True
Suppose 5*d - 2*s - 1806 = 0, 4*d = -s + 456 + 981. Is d a multiple of 30?
True
Suppose 12*d = 10*d + 336. Is 14 a factor of d?
True
Let x(r) = 24*r**2 - 27*r - 35. Is 6 a factor of x(-3)?
False
Let s = -556 - -706. Does 15 divide s?
True
Let j(a) = -2 + 4*a + 0*a + 4. Let q be j(6). Suppose q = 5*x - 44. Does 14 divide x?
True
Is 21 a factor of (-496)/(-12)*210/28?
False
Suppose 6 = 3*i + 15. Is 5/(i/15*-1) a multiple of 5?
True
Let p = 31 + 32. Is 7 a factor of p?
True
Let r(k) = -27*k - 26. Is r(-14) a multiple of 16?
True
Let b(h) = -2*h**3 + 5*h**2 + 7*h - 10. Let q(t) = -t**3 + 4*t**2 + 6*t - 9. Let p(x) = 6*b(x) - 7*q(x). Let s be p(3). Let l = s + 166. Is l a multiple of 13?
True
Let m be (-3)/(-12)*4*-3. Let t be m - (-1 - -2 - 8). Suppose -2*z - t*z + 60 = 0. Is z a multiple of 2?
True
Suppose -182*m + 184*m - 894 = 0. Does 13 divide m?
False
Let z = 1 - -3. Suppose -167 - 33 = -z*p. Does 7 divide p?
False
Suppose -b + n = -1742, -3*b = 2*n - 4*n - 5224. Does 145 divide b?
True
Suppose -i - 4*j = -5*j - 1749, i = -5*j + 1743. Is i a multiple of 30?
False
Let q(w) = w**3 - 13*w**2 - 16*w + 248. Is q(14) a multiple of 4?
True
Let g = -35 + 50. Is g a multiple of 3?
True
Let j = 0 + 1. Let m be (0 - 9)*10/(-15). Let o = m - j. Is 3 a factor of o?
False
Let a = 68 - 43. Suppose -5*o - a = 50. Let l = o - -37. Is l a multiple of 11?
True
Suppose -2*t + 5*y + 74 = -0*t, -5*y = -t + 42. Suppose b - 4*b - 29 = -4*n, 2*n - b - 13 = 0. Suppose -n*m + t = -m. Does 2 divide m?
True
Let h(m) be the first derivative of 8*m**3/3 + 3*m**2 - 6*m - 11. Is h(-4) a multiple of 17?
False
Suppose 10*b = 7*b + 15. Suppose 2*n - 3*s = 541, 2*n - b*s - 171 = 368. Is 34 a factor of n?
True
Let c = 439 + 703. Is c a multiple of 13?
False
Let j(d) = 2*d**3 - 8*d**2 - 4*d - 8. Let h be j(6). Suppose 0 = -5*g - 93 - h. Let p = 84 + g. Is 7 a factor of p?
False
Suppose -11 = -5*k - 3*m, 2*k - 14 = 3*m + 3. Suppose -2*v = -4*h + 2, 4*v = h + 6 + k. Is 11 a factor of 82/4*(v + -1)?
False
Suppose 1884 = b - 4*k, -b + 1882 = -0*b - 5*k. Is 43 a factor of b?
True
Let t be -16 - 2/(-5 - -3). Is 4 a factor of (-4)/10*-91 - (-6)/t?
True
Let m be 2/(4/3 - 2). Let d be (-4)/6 + (-62)/m. Suppose 5*u = d, -3*h - h + u 