h = 37 + u. Is h a multiple of 21?
False
Suppose 2*t + 8 = 6*t, 12 = 4*x - 2*t. Is 14 a factor of -5 + x - (0 - 15)?
True
Suppose 3*w - 161 = 7. Is w a multiple of 8?
True
Suppose -3*d = -6*d + s + 91, -3*d - 5*s = -103. Let v = 61 - d. Does 13 divide v?
False
Suppose 0 = -4*x + 2*q + 1086, 3*x = 3*q - 0*q + 807. Does 41 divide x?
False
Let t(p) = 174*p**2 - 5*p - 6. Is 6 a factor of t(-1)?
False
Suppose -3*a + 4 + 11 = 0. Is 2 a factor of a?
False
Suppose 3*c + 47 = -5*b - 127, -2*b = 4*c + 78. Let p = b - -50. Suppose p = 3*u - 4. Is 3 a factor of u?
False
Let s = 1034 + -685. Is 16 a factor of s?
False
Suppose 0 = -3*d + 5*k - 14, 5*d - 4*k - 1 = -7. Suppose -5*z + 25 = d*g - 7, g - 4 = -z. Does 4 divide z?
True
Let c be (-3)/(-9) - (-14)/(-6). Let r be ((-1)/c)/((-5)/30). Does 3 divide 2/6 + (-17)/r?
True
Let g(i) = -i. Let t(h) = -11*h - 3. Let m(b) = -6*g(b) + t(b). Is m(-5) a multiple of 11?
True
Let a be (-9)/(-2)*44/6. Suppose 3*g - 4*o = o + a, 5*o = 5*g - 55. Does 10 divide g?
False
Let n(c) = -5*c**2 + c. Let m be n(1). Does 8 divide (m/(-2))/(4/24)?
False
Let h = 52 + -50. Is h a multiple of 2?
True
Is 18 a factor of 147/(-14)*(-36)/7?
True
Let l = 46 + -28. Let v = -5 + -3. Let b = l + v. Does 5 divide b?
True
Let o(b) be the third derivative of -b**5/60 - 7*b**4/24 - 5*b**3/6 - 2*b**2. Is o(-4) a multiple of 7?
True
Suppose -7*v + 3*v + 24 = 0. Does 6 divide v?
True
Let w(v) = -2 + 4 + 7 - 2*v. Let o(k) = k - 4. Let x(f) = 5*o(f) + 2*w(f). Is x(5) a multiple of 3?
True
Suppose -5*k - 104 = -5*f - 34, -k + 36 = 4*f. Suppose 4 = -4*o + 4*x, 2*x - 1 = 3*o - 3*x. Does 8 divide o/f + (-51)/(-5)?
False
Does 5 divide (16 - 13)/((-6)/(-20))?
True
Let w = 4 + -4. Suppose w = -y - 34 - 23. Let j = y - -94. Is 22 a factor of j?
False
Suppose -4*k - 2*j = -532, k + 2*j = -4*k + 665. Is 15 a factor of k?
False
Let n = 46 - 18. Is 7 a factor of n?
True
Suppose -2*f + 61 = 5*b, 4*f - f - 29 = 5*b. Is 18 a factor of f?
True
Let k be (12/14)/((-2)/14). Suppose 0 = 2*c - 0*c + 30. Does 2 divide k/(-15) + (-54)/c?
True
Let l(p) = -5*p + 2. Let z(d) = 9*d - 3. Let t(f) = -11*l(f) - 6*z(f). Let y be t(4). Suppose -3*q - 10 + 136 = y. Does 17 divide q?
False
Let w be (-4)/6 + 413/3. Suppose -4*d = -w - 159. Is d a multiple of 14?
False
Let t(u) = -u**3 + u**2 + u. Let o be t(0). Suppose -r = -o*r. Suppose -x + 9 + 8 = r. Is 6 a factor of x?
False
Let s be (-6)/5*(-15)/6. Let c(h) = -4*h**3 + 5*h**2 + 8*h + 5 + s*h**3 + 0*h - 3. Is 14 a factor of c(6)?
True
Let m(b) = 5*b**2 - b + 1. Let t(c) = c - 2. Let z be t(2). Let p = 1 - z. Does 5 divide m(p)?
True
Suppose u - 682 = -4*a + 3*u, 4*a - 692 = 4*u. Suppose -3*c + a = y, 5*y = 2*y - 9. Is c a multiple of 28?
False
Let m = -61 - -28. Let v be (m - -3)*1*-2. Let g = v - 18. Does 21 divide g?
True
Is (-1)/5 + 1204/60*3 a multiple of 15?
True
Suppose 11 = g - 5*x, g + 4*x = 3*g - 52. Is 19 a factor of g?
False
Let d(p) = 61*p**2 + 3*p + 3. Is d(-1) a multiple of 4?
False
Suppose 2*w - 6*w + 128 = 0. Is 6 a factor of w?
False
Let c(q) = -46*q - 34. Is c(-4) a multiple of 50?
True
Let j(c) = 8*c - 2. Let x be j(-2). Let k = 9 - x. Is k a multiple of 9?
True
Is 6 a factor of (51/(-6))/((-4)/8)?
False
Let r(a) = 3*a**3 + a - 1. Let j be r(1). Let x be 5/10 - j/(-2). Suppose -8 = -x*u + 48. Is u a multiple of 14?
True
Let t(d) = d**3 - 2*d**2 - 4*d + 3. Let x be t(3). Suppose x = -2*f - 3*f + 360. Suppose -f = -3*r + 18. Is r a multiple of 15?
True
Let w(g) = 6*g - 1. Let n be w(1). Suppose -3 = -0*x - x + 2*c, -4*x = -n*c - 3. Let r = x - -6. Does 3 divide r?
True
Let j(n) = 25*n**2 + n. Let g(q) be the third derivative of -q**4/12 + q**3/6 + 2*q**2. Let u be g(1). Is j(u) a multiple of 12?
True
Let y(v) = -v**3 + 9*v**2 + 12*v - 15. Let f be (-3)/15 - 102/(-10). Let b be y(f). Suppose -b*l + 94 = 3*u, 2*l = u + 4*l - 30. Is 19 a factor of u?
True
Suppose -4*m = 5*c - 217, c + 0*m = 2*m + 49. Does 9 divide (3 + (-12)/5)*c?
True
Let u be 26/(-6) - 8/(-24). Suppose -i = -0*i - 9. Let m = i + u. Is 5 a factor of m?
True
Let j be (2 - 2) + 5*1. Suppose 2*x - 10 = -4*c, j*c = 5*x - 5 - 5. Suppose k - 40 = -x*k. Is 5 a factor of k?
True
Suppose 5*u + 7 = 157. Is u a multiple of 15?
True
Let z(p) = p**3 + 14*p**2 + 3*p. Is z(-13) a multiple of 50?
False
Let g be 116/(-2)*(0 + 1). Let p = g + 99. Does 13 divide p?
False
Suppose -15 = -3*j - f - f, 2*j + 2*f - 12 = 0. Is 3 a factor of j?
True
Let w(h) = -h - 2. Let g be w(-2). Suppose 2*r + 15 - 63 = g. Is 21 a factor of r?
False
Let z = 0 - -1. Suppose q - 3 = -z, -3*r + 4*q = -28. Is 12 a factor of r?
True
Let j(n) = -n**2 - 9*n + 8. Let y be (-2 + (-15)/(-6))*-16. Does 15 divide j(y)?
False
Suppose 1 + 9 = 5*z. Suppose z*n - 14 = 2*d, -3*n + 23 = -d + 2*n. Is d/((-12)/14)*2 a multiple of 5?
False
Let m(l) be the first derivative of -l**3/3 + 7*l**2/2 + 2*l + 1. Let w = 12 - 7. Does 12 divide m(w)?
True
Let l(z) = -13 - 52*z**2 + 51*z**2 + 1 - 15*z. Let u be 51/(-5) + (-1)/(-5). Does 16 divide l(u)?
False
Let b = -1580 + 1088. Let y = b + 277. Does 8 divide (-1)/2 - y/10?
False
Suppose -23*v + 15*v = -224. Is v a multiple of 14?
True
Let a = -345 - -569. Does 32 divide a?
True
Suppose 0 = -2*l - 4, 12 + 2 = d + 3*l. Is d even?
True
Let t = -18 + 7. Let m be 2 - ((-2 - -1) + 32). Let p = t - m. Does 9 divide p?
True
Let v(f) = -f**3 - 8*f**2 + 9*f + 10. Let y be v(-9). Suppose y + 30 = -5*h. Does 5 divide (h - -23)*(-1)/(-3)?
True
Suppose 41 + 59 = 5*u. Does 5 divide u?
True
Suppose d + u + 164 = 3*u, u = 5*d + 829. Let h = -113 - d. Is h a multiple of 18?
False
Let v(x) = x**3 + 4*x**2 - 7*x - 5. Let z = 3 - 8. Let o be v(z). Suppose w - 35 = -2*w - t, -o*w - 5*t = -65. Does 11 divide w?
True
Let t be 6*(3 - 15/6). Suppose -8*g = -t*g - 285. Is 18 a factor of g?
False
Suppose -30 = -5*o + 115. Is 16 a factor of o?
False
Suppose -5*y = -5*p - 15, -8*p + 12 = 2*y - 4*p. Let o = y - 4. Suppose o = -4*v + 2*v + 112. Is 17 a factor of v?
False
Let n = -9 + 20. Is 11 a factor of n?
True
Suppose -2*o - 6 = s, 8*s - 3*s = 5*o + 45. Let p(h) = 14*h - 14. Does 6 divide p(s)?
True
Let d be ((385/14)/(-11))/(1/(-2)). Let b = 2 + -2. Suppose -5*h = -3*m - 60, h = -d*m - b*m - 16. Does 3 divide h?
True
Let a = -3 + 1. Let p be a/(-5) - 36/(-10). Suppose 3*w - u = 46, 5*w - u = -p*u + 72. Is 9 a factor of w?
False
Suppose 176 = -0*m + 4*m. Suppose x = 5*c - 8, -x + 2*c = -4*x + m. Is 4 a factor of x?
True
Let k(l) = -3*l + 5. Let x be k(5). Let m be (-26)/x - 6/10. Let j(s) = 3*s**3 + 2*s**2 + 2*s - 2. Is 13 a factor of j(m)?
False
Let u(p) = 2*p**2 - 3*p - 3. Let c be u(3). Suppose -c = -2*s - s. Does 5 divide 26/6 + s/3?
True
Let c(x) = x**2 + 10*x + 12. Let n be c(-9). Let h be (n/(-4))/(2/16). Is 15 a factor of 10*h/8*-2?
True
Suppose 2*u = -u + 36. Is u a multiple of 5?
False
Let q = 229 + 4. Is q a multiple of 15?
False
Let i = 431 + -305. Is 18 a factor of i?
True
Let t(w) = w**2 - 6*w + 4. Let d be t(6). Suppose 0 = -2*x + d. Suppose -2*v = -r - 25, -7*r + 19 = 2*v - x*r. Is 7 a factor of v?
False
Suppose c - 3*c = 3*z - 135, -2*z = c - 91. Suppose 0 = -4*i - 5*b + 170, -i = -b - 0*b - z. Is 8 a factor of i?
False
Suppose -s + 4*r + 14 + 29 = 0, -2*r + 208 = 4*s. Is s a multiple of 11?
False
Let u(j) = j**3 + 2*j**2 - j. Let v be u(1). Suppose -s - 76 = -5*t, -2*t - v*s = 3*s - 25. Is 5 a factor of t?
True
Let f = -36 - -15. Let d = f - -50. Is 8 a factor of d?
False
Suppose 0*v = -4*z + 2*v + 346, -5*z - v + 443 = 0. Is z a multiple of 22?
True
Suppose -3*p + 22 = s, -p - 3*s = -4*p + 6. Let m = -1 + p. Is 4 a factor of m?
False
Suppose 0 = 3*r + 2*r + 80. Let s be (r/(-20))/((-2)/(-305)). Suppose -10 - s = -3*u. Is u a multiple of 22?
True
Suppose 183 = -6*w - 123. Let u = w + 75. Does 8 divide u?
True
Let n(z) be the first derivative of z**4 + 8*z**3/3 + z**2/2 + 6*z + 4. Let k(a) = -a**3 - a**2 - 1. Let i(c) = 6*k(c) + n(c). Is i(-2) a multiple of 22?
True
Is -3 + 0 + 12 - -3 a multiple of 12?
True
Suppose 2*c - 24 = -u - u, 0 = -4*u + 2*c + 72. Is 6 a factor of 1/(2/u - 0)?
False
Let w(z) = 3*z**2 + 3*z**2 - 2*z**2. Is 13 a factor of w(-2)?
False
Let n(c) be the second derivative of 49*c**5/20 + c**2/2 + c. Let y be n(1). Let o = y - 32. Does 9 divide o?
True
L