f h?
True
Let s be (-9)/(-6)*-2 + 3. Suppose -5*k + 9*k - 200 = s. Is 10 a factor of k?
True
Suppose -4*g + 1 + 7 = 0. Is 3*g/(-12)*-60 a multiple of 6?
True
Let x(w) = -3*w - 20. Let n be x(-14). Let g = n - 22. Suppose -5*b - 2*c + 339 = c, g = -5*b + 4*c + 318. Is 33 a factor of b?
True
Let j be 3*(94/6 + 3). Suppose 3*i + i = -j. Let b = i - -24. Is 10 a factor of b?
True
Suppose -3*r + 3*h - 4905 = 0, -4*h = 4*r + 3565 + 3015. Is (-5)/(-2)*r/(-25) a multiple of 12?
False
Let f(s) = -2*s - 8. Let d be f(-4). Suppose -3*a + d*a = -543. Does 25 divide a?
False
Let f(p) = -6*p**2 + 9*p - 2. Let u(d) = -5*d**2 + 8*d - 1. Let x(b) = -6*f(b) + 7*u(b). Let t = -90 + 85. Is x(t) a multiple of 10?
True
Is (119/(-21))/((-8)/(-6))*-52 a multiple of 13?
True
Let p be (-2 + 3 - -53) + 4. Let q = p - 31. Does 27 divide q?
True
Let x = 15 - 11. Let z(s) = -x + s**2 - 4 + 2 + 4. Does 6 divide z(5)?
False
Let f(p) = 9*p**2 - 2*p - 3. Let d be 1/(24/20 + -1). Suppose -17 = d*g - 7, -4*l + 4*g = 0. Does 8 divide f(l)?
False
Let c = -1643 - -2903. Does 12 divide c?
True
Let l(y) be the third derivative of -5*y**4/6 - 2*y**3 - 10*y**2. Does 16 divide l(-7)?
True
Let n(h) = -108*h**2 + 119*h**2 - 10*h - 24 + 8 - h**3. Does 22 divide n(7)?
True
Is 66 a factor of (-6)/(-21) + (-2766)/(-21)?
True
Suppose 50*v = 55*v - 1050. Let s = -75 + v. Does 9 divide s?
True
Let x be ((-17)/(-2))/(4/56). Let m = -57 + x. Suppose 4*u + m = 5*u. Is u a multiple of 20?
False
Suppose -6*d + 4 = -56. Suppose -3*t = d - 172. Is t a multiple of 22?
False
Suppose 15*x - 18*x + 42 = 0. Suppose -16 - x = -3*m. Does 6 divide m?
False
Let c = 2916 + -1985. Is c a multiple of 46?
False
Suppose -2*z + 10 = -x + 2*x, -4*x - 5*z = -37. Let g = x - 6. Let y(q) = 12*q**3 + 3*q**2 - 4*q + 4. Is 13 a factor of y(g)?
True
Let q be 2/5 + 178/5. Let r = -36 + q. Suppose -2*x + 4*c + 84 = r, -c = -2*x - 2*x + 168. Is 14 a factor of x?
True
Let y = 7 - 2. Suppose -y*a + 11 = -h - 0, -5 = 5*h. Does 10 divide 29 + 0 + (a - 1)?
True
Let l = -56 + -24. Let b = 115 + l. Does 3 divide b?
False
Let b(j) = j**2 + 19*j - 53. Does 14 divide b(-26)?
False
Let k be ((-7)/7)/((-1)/2). Suppose -2*j = -3*s + 1320, 644 + 236 = k*s + 3*j. Suppose s = 5*w - 0*w. Is w a multiple of 18?
False
Let i(t) = -94*t - 202. Is i(-9) a multiple of 15?
False
Let u(o) = -164*o - 118. Is u(-2) a multiple of 10?
True
Let o(d) = d**3 + 9*d**2 + 8*d + 6. Suppose -22 = 5*b - 4*s, -3*s + 16 - 4 = -3*b. Is 15 a factor of o(b)?
False
Let h(j) = -483*j + 101. Is h(-4) a multiple of 19?
True
Let w(p) be the third derivative of p**6/360 + p**5/20 + p**4/8 - 7*p**3/6 + 9*p**2. Let m(n) be the first derivative of w(n). Is 34 a factor of m(10)?
False
Let t(b) be the second derivative of -8*b**3/3 - 21*b**2/2 + 49*b. Is 15 a factor of t(-6)?
True
Let k(m) = 7*m**2 - 17*m. Let t be (14 + -13)/(-1 + 8/7). Is k(t) a multiple of 32?
True
Is 15*(-66)/12*(-162)/15 a multiple of 27?
True
Suppose 0 = -0*b + 2*b - 4. Let d(k) = k**3 + 24*k**2 + 3. Let w be d(-24). Suppose -w*x - 5*v + 104 = -3*v, b*x = v + 67. Is 14 a factor of x?
False
Let i = 234 + -516. Let u be (0 - -3)/((-1)/(-2)). Is 16 a factor of (i/(-9))/(u/9)?
False
Suppose 0 = 17*o - 21*o + 24. Suppose -448 = -o*k - k. Is k a multiple of 15?
False
Suppose -r = 2*r - 9, -3*h = 5*r - 378. Suppose 0 = -2*v + z + h, 5*v - 2*v = -4*z + 198. Does 31 divide v?
True
Let k(a) = -a**2 + 20*a + 46. Does 11 divide k(21)?
False
Let x(d) = 18*d**3 - d + 1. Let f = 52 - 84. Let z be f/(-20) + 6/(-10). Is x(z) a multiple of 8?
False
Let a = -896 + 1812. Does 6 divide a?
False
Let m be ((-2)/4)/(1/(-506)). Suppose -3*w + 2*g = 517, -4*w = w - g + 850. Let y = m + w. Is y a multiple of 21?
True
Let b be (8/12)/((-2)/(-15)). Let a be (-6)/(-39) + 2005/65. Suppose 0 = b*c - a - 79. Is c a multiple of 12?
False
Let a = -2 + -49. Let l be ((-1)/2)/((-11)/(-29502)*-9). Let x = l + a. Is x a multiple of 22?
False
Let g(m) = -50*m**2 - 4*m - 2 - 2 + 49*m**2 - 7*m. Does 6 divide g(-7)?
True
Is 5054916/1836 + (-2)/9 a multiple of 82?
False
Let w(g) = 189*g - 426. Is w(4) a multiple of 15?
True
Suppose 4*s + 5*y - 3*y = -6, y = 3*s + 7. Suppose 3*m - 2*m - 5 = 0. Let w = m + s. Does 2 divide w?
False
Let b = 295 - 179. Suppose 10*t + 18*t = 0. Suppose -3*v + 111 = 2*l, -2*l - 4*v + b = -t*l. Does 15 divide l?
False
Suppose -5374 = -5*y + 3*v, 7 - 1 = 3*v. Does 40 divide y?
False
Let u = -290 + 906. Is 44 a factor of u?
True
Suppose 2*c + 3*b = 4*c - 510, -2*c - 2*b + 490 = 0. Is 55 a factor of c?
False
Suppose 0 = 3*g - 6*g + 3. Let p = 155 + g. Is 28 a factor of p?
False
Does 10 divide 49*(-20)/(-28) + (-8 - -1)?
False
Let s be (-16)/20 - 48/(-10). Let d(c) = -9 - 17 - s*c - 3*c. Does 12 divide d(-14)?
True
Suppose 70*n - 24*n - 14352 = 0. Does 6 divide n?
True
Let h = -586 - -843. Is h a multiple of 28?
False
Suppose g + 3*s - 15 = 0, 6*g + 5 = 10*g + s. Suppose 5*r - 5*j + 2*j = 1429, -2*r + j + 572 = g. Is 41 a factor of r?
True
Let l(j) = -j**3 + 5*j**2 - 4*j + 2. Let g be l(4). Suppose -4*u - y + 33 = 0, -2*u - 2*y + 3*y + 15 = 0. Does 7 divide 3*u - -1 - g?
False
Suppose -4*d - 16 + 5 = -h, -25 = -4*h - 3*d. Let a(i) = i + 8. Is a(h) a multiple of 9?
False
Let q = -15 - -17. Suppose -q*n - 720 = -4*n. Suppose -3*c + n = 3*c. Is c a multiple of 12?
True
Suppose -4*h + 4*p + 16768 = -0*h, -h + 4188 = 3*p. Is 11 a factor of h?
True
Let c = -9 + 13. Suppose 600 = 4*n - 4*u, -4*n = n + c*u - 759. Let s = -96 + n. Is 19 a factor of s?
False
Let o(h) = h - 1. Let p be o(1). Suppose -184 + 760 = 24*z. Suppose 4*f - z = -p*f. Is f even?
True
Let u(a) = -7*a - 10. Let i be u(-2). Is 2 + 19/i + 3/12 a multiple of 2?
False
Suppose c = 5*s + 26, -5*s - 47 = -8*c + 6*c. Let t = 0 - -3. Suppose t*g = -g - 4, g = -z + c. Is 22 a factor of z?
True
Let f = -19 + 16. Is 13 a factor of -4 + f/9*-69?
False
Let a(t) = -8*t + 8. Let m(i) = -7*i + 8. Let n(s) = -4*a(s) + 5*m(s). Let o = -19 + 15. Does 15 divide n(o)?
False
Let z = 10 + -5. Suppose 8 + 7 = z*g. Let a = 9 + g. Is a a multiple of 4?
True
Let w(j) = -j - 1. Let y(d) = -10*d - 18. Let l(v) = 102*w(v) - 6*y(v). Does 27 divide l(-2)?
False
Let s be -1*1*(-12 + 9). Suppose 0 = s*f + 6*f - 585. Is f a multiple of 12?
False
Let p = -398 - -694. Is 37 a factor of p?
True
Let o = 46 + -11. Suppose 30*p + 230 = o*p. Is p a multiple of 23?
True
Let h = -1 + 102. Let r = 164 - h. Does 21 divide r?
True
Let v(h) = -h + 14. Let u be v(14). Suppose u*k = 3*k - 45. Does 15 divide k?
True
Let z(k) = 18*k**2 - 1. Let w = 3 - -1. Suppose 0 = -l + w*l - 3. Is 17 a factor of z(l)?
True
Let v = 29 - 2. Suppose -2*x + 111 - v = 0. Suppose j = -h + 9 + 17, -h = -3*j - x. Is 10 a factor of h?
True
Let p = -118 - -122. Suppose -x = 2*x - p*n - 303, 0 = -4*x + 3*n + 411. Is 34 a factor of x?
False
Let l be (-4)/3*27/(-12). Let p be -3 - (17 + (l - 4)). Is (p/4)/(5/(-40)) a multiple of 14?
False
Let r = -72 + 68. Does 3 divide (-7 + -39)*(-3)/r*-2?
True
Let v = 98 + -259. Let c = -116 - v. Is c even?
False
Is 20 a factor of (6504/(-54))/((-18)/81)?
False
Let v(f) = -f**2 - f. Let q(z) = 2*z**2 - 3*z - 1. Let m(x) = q(x) + 4*v(x). Let g be m(-3). Suppose -g*n + l = 4*l - 151, n - 65 = -5*l. Does 13 divide n?
False
Suppose -k + 2*k = 0. Suppose k = -u + 5*r + 1 - 7, 3*u = -3*r + 18. Suppose 6*d = u*h + d - 81, h + 11 = -5*d. Is h a multiple of 6?
False
Let t(c) = c - 11. Let u be t(-12). Let m = u - -13. Let a = m + 64. Is a a multiple of 18?
True
Let n(c) be the second derivative of 1/3*c**3 - 3*c + 1/10*c**5 + 0 - c**2 - 1/3*c**4. Does 14 divide n(4)?
True
Is 16/2 - (-48)/8 a multiple of 2?
True
Let x = -11 + 14. Suppose -x*d = -38 - 34. Is d a multiple of 6?
True
Does 7 divide 546/(-4)*714/(-153)?
True
Let f = 1310 + -582. Is 26 a factor of f?
True
Let q(j) = -j**3 + 2*j**2 + 6*j + 6. Let r be q(-4). Let p = r + -21. Is p a multiple of 10?
False
Let p be (-196 - 0)/4*1. Let i = 107 + p. Is 17 a factor of i?
False
Suppose 5*j - q - 4906 = 0, 0 = -3*j - 0*q - 2*q + 2954. Is 6 a factor of j?
False
Let q(b) = -64*b - 60*b + 2*b**2 - 3 + 126*b. Suppose 0 = -3*o + 5*o + 5*t + 3, -o - 6 = -2*t. Does 7 divide q(o)?
True
Suppose 0*c = c - 87. Let w = -58 + c. Let d = 55 - w. Does 10 divide d?
False
Let t(