ivide h?
True
Let s(b) = -42*b + 755. Is s(-54) a multiple of 57?
False
Let k(m) = -26*m - 10. Let y = -27 + 21. Is k(y) a multiple of 16?
False
Suppose -140 = -64*z + 63*z. Does 20 divide z?
True
Suppose 2 = -2*f, 9*w - 4*w - 3*f + 1047 = 0. Let p = w - -309. Is p a multiple of 11?
True
Suppose 2*g - 3*g = 2*x - 20, -4*g + 2*x + 70 = 0. Suppose g = 6*y - 246. Is y a multiple of 22?
True
Suppose 5*j + 19 - 279 = 0. Suppose -26 = -6*i + j. Is i a multiple of 7?
False
Let k(u) = -12*u + 41 - 12 + 16*u**2 - 26 - u**3. Suppose 3*t + 4*h - 25 = 0, -5*t + 7 + 93 = -5*h. Does 10 divide k(t)?
False
Let g(u) = 4*u - 3. Let b be g(-12). Let r = b - -86. Is 7 a factor of r?
True
Suppose 17*b + 989 - 9013 = 0. Is b a multiple of 24?
False
Let j(s) = -7*s - 6. Let h(x) = -36*x - 31. Suppose -g - 27 = 5*f, 3*g = g - 2*f - 14. Let l(z) = g*h(z) + 11*j(z). Is 18 a factor of l(-8)?
True
Let c(a) = a**3 + 26*a**2 - 48*a - 63. Is c(-27) a multiple of 24?
True
Suppose 19*f - f = 2880. Is 32 a factor of f?
True
Let x(g) be the second derivative of -g**4/12 - 4*g**3/3 + 31*g**2/2 - 2*g - 5. Does 8 divide x(-8)?
False
Is 6 a factor of (1 - -2)*(-56)/(4 + -8)?
True
Suppose 13*b - 14*b - 1 = 0, 5*b + 5645 = 2*s. Is s a multiple of 60?
True
Suppose -2*v - 5*y + 774 = 0, 2*y + 9 = 5. Is 7 a factor of v?
True
Let n be 2/(-12)*-4*9. Let v be -6*((-9)/n)/1. Suppose -4*s - 75 = -v*s. Is 4 a factor of s?
False
Suppose 17*u = 12*u + 1945. Suppose u = -9*s + 2414. Does 9 divide s?
True
Let h = -27 - -16. Let q = 2 + h. Let w = q + 68. Is 24 a factor of w?
False
Let a(y) = 9*y - 5. Let q be a(1). Is 4 a factor of (-3)/(q/((-372)/9)) + -3?
True
Suppose 3*p = -p + 24. Let u be 122/p - (-2)/(-6). Let m = 16 + u. Is 8 a factor of m?
False
Let q = -2 + 0. Let u be ((-8)/12)/(q/6). Suppose u*k = 5*k - 48. Is 16 a factor of k?
True
Suppose -2*k + 48 = k. Suppose -k*p - 128 = -20*p. Does 15 divide p?
False
Let m(s) = -2*s - 5*s + 2 - s**2 - 3*s. Let f be m(-10). Suppose 4*c - 696 = -f*t, 0 = -4*c - t - 2*t + 696. Is 35 a factor of c?
False
Suppose 41*f - 34*f = 6762. Is 9 a factor of f?
False
Suppose 223 = -6*z + 871. Is z a multiple of 12?
True
Let f be ((-20)/(-6))/(2/3). Let x(g) = -5 - f*g - g + 8*g. Does 7 divide x(6)?
True
Suppose 4*j - 2*h = 1322, -5*h + 10*h - 1645 = -5*j. Is j even?
True
Let y(t) = -t + 7. Let k be y(5). Suppose -3 = -z - k*z + 3*v, -5*v = 0. Is 10 a factor of -4*10*z/(-4)?
True
Let f = 1 + 104. Is f a multiple of 7?
True
Let h(y) = 4*y**3 + 15 + 2*y**2 + 13*y**2 + 7*y - 5*y**3. Let k be h(15). Suppose 2*i - 52 = k. Is i a multiple of 12?
False
Suppose -4*o + 876 = -4*s - 112, 3*s + 985 = 4*o. Is 61 a factor of o?
True
Let y = 287 - 137. Suppose 5*z = 2*u + y, -5*u + u + 92 = 4*z. Is 14 a factor of z?
True
Suppose -2*b - 5*g + 1015 = 0, 1001 = 3*b - 2*g - 512. Does 121 divide b?
False
Suppose -21890 = -40*z + 4510. Does 20 divide z?
True
Let r(j) = -j**3 - 11*j**2 - 6*j + 8. Let x be r(-10). Let o be (2/3)/(x/(-8880)). Suppose 2*q = b - 93, b + b - 5*q = o. Is b a multiple of 19?
True
Let s(x) = 2*x**3 + 12*x**2 - 4*x - 8. Let c be s(-6). Suppose c*b - 14*b = 314. Is 16 a factor of b?
False
Let t = 10 + -14. Let o be t/10*(9 - 414). Suppose o = 5*k - 263. Does 11 divide k?
False
Let g = 669 - 99. Is 15 a factor of g?
True
Let v(y) = 6 + 18*y + 15*y**2 - 16*y**2 - 18. Is 31 a factor of v(13)?
False
Suppose -4 = k - 4*i, 5*k = 3*k - 5*i + 5. Suppose k = -5*c + 3*b + 390, 312 = -5*c + 9*c - b. Is c a multiple of 26?
True
Suppose 17*y - 84 = 13*y. Let o = y - 12. Let c = o + -3. Is c even?
True
Let x(m) = -4*m**3 + 5*m + 5. Let a be x(-1). Suppose 3*v - 4*o - 101 = 0, -2*v + a*v + 3*o - 90 = 0. Is v a multiple of 16?
False
Suppose r - 8 = -7. Suppose d + 0 = 1, -m - r = -d. Let x = m - -5. Does 5 divide x?
True
Let i = -944 + 1716. Is 36 a factor of i?
False
Does 25 divide (2/(48/104))/((-3)/(-1575))?
True
Let z = 593 + -460. Is z a multiple of 19?
True
Let y(a) = 12*a**3 + 4*a**2 - 4*a + 1. Let l be y(2). Suppose 0 = -0*j - 5*j + l. Is j even?
False
Let z = 302 + 21. Is 17 a factor of z?
True
Does 52 divide 16/32 + (-6826)/(-4)?
False
Suppose 0 = 2*r + 26*r - 5320. Is r a multiple of 3?
False
Let r = 37 - 23. Let l = -6 + r. Suppose -2 + l = x. Is x a multiple of 6?
True
Suppose 7*o = 2*o + 1915. Suppose -y = -5*w + o, -3*w + y = -2*y - 225. Is 11 a factor of w?
True
Let c(d) = -3*d**2 + 83*d - 14. Is 12 a factor of c(17)?
False
Let f(s) = 24*s**2 + 22*s - 46. Is f(11) a multiple of 17?
False
Suppose -4*q + 3*j + 2104 = 5*j, q + j - 527 = 0. Does 21 divide q?
True
Let k(l) = 5*l + 0*l**3 - 4*l + 7 + 9*l**2 + l**3. Let f be k(-9). Is 5 a factor of (2 - 8)*1*f?
False
Let h(k) = 14*k**2 - 12*k - 1. Let g(l) = -14*l**2 + 13*l + 1. Let f(c) = 5*g(c) + 6*h(c). Is 23 a factor of f(-2)?
True
Suppose 0 = d + 3*d - 36. Suppose -10*x + d*x + 152 = 0. Suppose 3*s - x - 64 = 0. Is 24 a factor of s?
True
Let t be 24/(-5)*240/(-9). Let l = -41 + t. Does 29 divide l?
True
Suppose -5*m + 3*q + 2 = -25, 4*m + 5*q = 29. Suppose -m*a - 4 = -2*a. Is (1 - 2)/(a/13) a multiple of 13?
True
Suppose -55*g + 23003 - 7383 = 0. Is 4 a factor of g?
True
Suppose -10*r + 8 = -6*r. Suppose -2*d - r*j + 474 = 0, -709 = -5*d - 2*j + 491. Suppose -3*v = -0*v - 5*l - 154, 5*v - l - d = 0. Is v a multiple of 12?
True
Suppose -p - 3*q = -3*p + 17, 5*p = q + 23. Let r be (-4)/(-8) + 1098/p. Suppose -5*j = -5*d - r, 3*d - 53 = -2*j + 67. Does 19 divide j?
True
Suppose -4*i - 444 = -2*u - 3*i, -3*i = -4*u + 892. Is 33 a factor of u?
False
Is 33 a factor of (-36)/198 - (-26140)/22?
True
Let c(h) = -h**3 - 8*h**2 - 50*h - 13. Is 15 a factor of c(-11)?
True
Let b = -202 + 369. Suppose 8*l - b = 265. Is 12 a factor of l?
False
Let w(t) = -7*t**2 + 3*t + 2. Let z be w(-2). Does 8 divide (-50)/20*z/5?
True
Let f be 1 + 2*(-4)/(-4). Suppose -f*l - 20 = -7*l. Suppose -m = 3*b - b - 61, 4*b + l*m = 107. Is 11 a factor of b?
True
Let v be (-2)/(-6) - 11/33. Suppose -b = j - 49, -5*b - 2*j + 105 + 128 = v. Is b a multiple of 7?
False
Suppose -o + 3*h + 219 = -31, 0 = o + h - 246. Suppose 5*f + 243 = -o. Let d = f - -168. Does 19 divide d?
False
Suppose 3*z + 180 + 140 = o, -4*z = 4*o + 448. Does 11 divide 64/3*z/(-48)?
False
Suppose -3*l + 14 = -5*y, -l - 7*y = -8*y - 4. Suppose l*s - 4*s - q + 93 = 0, 0 = 4*q - 20. Does 22 divide s?
True
Suppose -3*r + 45 - 18 = 0. Suppose -3*g = -2*v - 92, -4*g + r*v = 4*v - 118. Is 3 a factor of g?
False
Suppose s + 5*r + 67 - 503 = 0, -10 = -2*r. Is 13 a factor of s?
False
Let q = 1904 - 432. Is 16 a factor of q?
True
Let w = 773 + -431. Let d be w/72 - (-3)/(-4). Suppose 2*z - d*s - 64 = 0, 0*z - 128 = -4*z + s. Does 4 divide z?
True
Let g(y) = 71*y**2 - 28*y + 9. Does 33 divide g(3)?
False
Suppose 0*w + 3*w - 4*u = -7, -26 = -2*w - 5*u. Suppose -14 + 122 = w*a - 5*j, 5*j + 144 = 4*a. Does 8 divide a?
False
Does 7 divide (-20 + 12)/((-8)/140)?
True
Let u(p) = -3*p**2 - 2*p + 264. Is u(0) a multiple of 22?
True
Let l(f) = -572*f + 4. Let i be l(-1). Suppose -5*s = 5*h - 3*h - 540, 2*h - i = 4*s. Is 35 a factor of h?
True
Suppose 4*m - 3*f = 4 + 5, -2*f = 6. Suppose -4*w + 173 + 67 = m. Is 15 a factor of w?
True
Let n(s) be the third derivative of s**5/12 - 5*s**4/24 + s**3 - 42*s**2. Does 9 divide n(3)?
True
Let j(s) = 36*s - 11. Let t be j(4). Suppose 0*v + 4*v - 3*h - 267 = 0, -h - t = -2*v. Does 11 divide v?
True
Let o = 72 + -24. Is o a multiple of 12?
True
Let p(h) = -3*h**3 + 9*h**2 + 3*h + 4. Let o be p(4). Let g = 32 + o. Suppose k + 3*k - 256 = g. Is 16 a factor of k?
True
Let m = 16 + -31. Is m/(-10)*(-40)/(-12) a multiple of 3?
False
Suppose -m - 62 = m. Let z = m + 41. Is 4 a factor of z - (8/4 + 0)?
True
Is 70 a factor of (-2)/(-5)*(-21 - -196)?
True
Let u = -41 - -33. Is 12*9*u/(-16) a multiple of 19?
False
Suppose 2*j - 448 = -l + 1034, -2*j + 2*l = -1488. Is j a multiple of 25?
False
Suppose -6 = 5*w - 66. Let r be (2/3)/(2/(-48)). Is 15 a factor of (w/r)/(4/(-80))?
True
Let f = -220 - -908. Suppose 2*k + 2*k = 2*g + f, 3*k + 5*g = 542. Is k a multiple of 9?
False
Let h = -1 + 1. Let r(l) = l + 18. Let p be r(-23). Let n = h - p. Is n even?
False
Let a = -35 + -11. Let h = a + 95. Does 17 divide h?
False
Is 25 a factor of 474/(-5)*210/(-63)?
False
Let f(h) 