h. Is 20 a factor of d?
True
Let f = -27 - -95. Is f a multiple of 17?
True
Let m = 6 + -4. Let v(s) = -s**2 - 7*s - 3. Let p be v(-5). Suppose -t + p + m = 0. Is t a multiple of 9?
True
Is 50 a factor of ((-1028)/8)/(2/(-4))?
False
Let t(s) = 2*s**2 + 11*s + 1. Let a(h) = -h**2 - 6*h - 1. Let x(d) = 5*a(d) + 3*t(d). Is 8 a factor of x(-6)?
True
Suppose x - 1 = -0*x. Suppose -5*j + 9 = -x. Suppose -4*v = 4, -j*a = -3*v - 2*v - 33. Does 5 divide a?
False
Let m = -2 + 2. Let s = m + 5. Is 3 a factor of s?
False
Does 3 divide (-210)/(-25) - (-2)/(-5)?
False
Suppose f = 3*w - 12, -2*f + 14 = w + 3. Suppose f*o - 3 = 0, 5*h = 2*o - 8 + 146. Is h a multiple of 14?
True
Let q(f) = f**3 - 4*f**2 - f + 4. Let j be q(4). Suppose j = -3*i + 4*i + 6. Let c = i + 28. Is c a multiple of 11?
True
Suppose -5*a + 0*h + h + 113 = 0, 2*a - 50 = 2*h. Suppose 0 = 2*c - a - 8. Let t = 21 + c. Is 18 a factor of t?
True
Does 16 divide -4 - (20/(-3))/(6/117)?
False
Let b(f) = -f - 5 + 5 + 1. Let p be b(1). Suppose -n + 17 = 4*o - 7*o, 2*o + 6 = p. Does 8 divide n?
True
Suppose -80 + 4 = -2*s. Is 18 a factor of s?
False
Let x(g) = -3*g - 11. Let d(h) = h + 4. Let j(z) = -8*d(z) - 3*x(z). Is 3 a factor of j(2)?
True
Suppose -22 + 1 = -3*b. Suppose 3*p + 32 = b*p. Is p a multiple of 4?
True
Let c(l) = 50*l**2 - 2*l - 1. Let g be c(-1). Is g/((-20)/16 + 2) a multiple of 17?
True
Let p = 81 + -26. Suppose -2*h = -2*n - 156, -2*n = -4*h + 146 + 170. Suppose -h = -5*o + p. Is 14 a factor of o?
False
Is 22*(6 + -5) + -4 a multiple of 7?
False
Let j(s) be the second derivative of 2/3*s**3 - 3/2*s**2 + 1/10*s**5 - 1/6*s**4 + 0 - s. Does 13 divide j(2)?
True
Let z = -17 + 25. Suppose c - 5 = z. Is c a multiple of 7?
False
Let b(k) = -k**3 + 12*k**2 - 7*k - 13. Is 4 a factor of b(11)?
False
Let u(g) = g**3 + 5*g**2 - 9*g - 8. Let k(c) = -c**3 + 5*c**2 + 4*c + 7. Let v be k(6). Is 8 a factor of u(v)?
False
Let q = -31 + -88. Is q/(-5) + 2/10 a multiple of 12?
True
Is (-3)/(-15) - ((-1896)/20 - 0) a multiple of 19?
True
Suppose -163 = -3*j + 5*c, 2*c + 1 + 156 = 3*j. Let d = -13 + j. Does 16 divide d?
False
Is 13 a factor of 195/10*32/6?
True
Let c(i) = i**2 - 7*i + 6. Let r be c(7). Let h(t) = t**2 + 3. Is h(r) a multiple of 13?
True
Suppose 4*z + 2 = -3*h + 1, -4*h - 4 = 4*z. Suppose 0 = -z*s + 79 + 71. Does 15 divide s?
True
Suppose 0 = 7*r + 46 - 151. Is r a multiple of 9?
False
Let g(s) = s**3 - 13*s**2 + 15*s + 18. Does 18 divide g(12)?
True
Let q(x) = -15*x. Let n be q(-6). Is 7 a factor of (1/(-3))/((-2)/n)?
False
Let u = 4 - 10. Is 2/(u/(-51)) - 2 a multiple of 6?
False
Let h be (-1001)/9 - (-4)/18. Let x = -52 - h. Is 26 a factor of x?
False
Let y(o) = 0 + 7 - o**3 - 2 - 4*o**2 + 2*o. Is 8 a factor of y(-5)?
False
Suppose t - 2*t = 22. Let d = 17 - t. Is d a multiple of 15?
False
Let l(i) = -i**2 + 9*i + 4. Does 18 divide l(7)?
True
Let f = 69 - 42. Is f a multiple of 12?
False
Suppose -5*x = 2*z - 253, -2*x + 78 = 4*z - 9*z. Is 19 a factor of x?
False
Let b(w) = w**3 + 12*w**2 + 2*w + 33. Is 11 a factor of b(-11)?
True
Suppose -2*w = -w - 40. Does 15 divide w?
False
Does 10 divide 2/7*-1 + (-10425)/(-105)?
False
Suppose -d + 9 = -2*s, -2*s - 19 = -3*d - 0*s. Let t(c) = 15*c + 4. Let j be t(d). Suppose j = 4*q - 13. Is 14 a factor of q?
False
Is -3 - ((-24)/16)/((-6)/(-136)) a multiple of 31?
True
Suppose 0 = 5*y + 3*c - 226, 0 = 3*y - 2*c - 72 - 56. Let m = y + -2. Let i = m - 24. Does 9 divide i?
True
Suppose 4*q = v + 55, -4*q + 38 = 2*v - 20. Is 11 a factor of q?
False
Let z(h) = h**2 - 7*h + 9. Let w be z(6). Suppose 0*c + w*c = 0. Suppose -5*m + 15 = 0, c = -5*g + g + 4*m. Is 3 a factor of g?
True
Suppose -8*i = -7*i + 3*m - 148, -3*i + 3*m + 396 = 0. Does 12 divide i?
False
Suppose 2*s = -2 + 10. Suppose -s*n - n + o = -87, n - 24 = -2*o. Does 18 divide n?
True
Let m = 35 - -10. Is 8 a factor of m?
False
Let m(h) = h**3 + 8*h**2 - 3*h + 5. Let f be m(-8). Let u = 35 + f. Is u a multiple of 23?
False
Let a be (-22)/6 - 1/3. Is 15*(a/(-5))/2 a multiple of 3?
True
Let x be -6*(2 - (-81)/(-6)). Suppose 2*b + 13 + 12 = l, -3*l = -4*b - x. Is l a multiple of 14?
False
Suppose 6 = 2*l - 0. Let w be 1 - 1*(-3)/l. Suppose 3*o = w*o + 20. Does 10 divide o?
True
Suppose -f - 41 = -5*k, 3*f = -0*k + 5*k - 43. Does 4 divide k?
True
Let v = -7 - -16. Is v even?
False
Suppose 4*m - 14 = 2*g, g = -m + 6 - 1. Let q be (-2 + -45)*g/1. Let o = q - -86. Does 16 divide o?
False
Let t(f) = -f - f**2 + 3*f**2 - 5*f**3 + 8*f**3. Let o be t(1). Does 5 divide 69/o + (-5)/20?
False
Suppose 326 = 36*x - 34*x. Is 22 a factor of x?
False
Suppose 6*q - 4*q = 6. Suppose 5*o + 4*x - 143 = -42, q*x = 12. Does 13 divide o?
False
Suppose 0 = -10*a + 9*a + 110. Is 22 a factor of a?
True
Let c be (-5)/(-2)*(0 + 24). Suppose -c = -k - 4*k. Does 4 divide k?
True
Suppose -3*m - c + 5 = -0, 4*c = -16. Suppose -m*n = -3*v + 105, 4*n - 27 - 13 = -v. Is 12 a factor of v?
True
Let m = -16 + 10. Suppose -5*q - 76 + 1 = 0. Is m/(-15) - 99/q a multiple of 5?
False
Is 24 a factor of (-300)/(-1 + 4)*(-66)/55?
True
Let j(i) = -i - 10. Let w be j(-10). Suppose -5*f - 12 + 142 = w. Is 21 a factor of f?
False
Suppose -n = 2*f - 22, -2*n + f + 40 - 11 = 0. Does 7 divide n?
False
Let d(f) = -6*f**3 - f**2. Let y be d(-1). Is (-18)/(-45) - (-193)/y a multiple of 15?
False
Suppose 3*s = -s + 296. Suppose 27 = -3*f + 81. Let v = s - f. Is v a multiple of 16?
False
Let f be (-4)/24 - (-1)/6. Suppose -4*r + 7*r - 288 = f. Does 30 divide r?
False
Suppose l + 3 = 7. Suppose -4*c - 6 = 2*s, 0*c - 5*s = 3*c + 15. Suppose -2*q + 3*q - 5 = c, -4*j - l*q = -132. Is j a multiple of 14?
True
Let w = 43 + 8. Is w a multiple of 13?
False
Let a = 34 - 62. Does 14 divide 4/(-14) + (-400)/a?
True
Let u = 16 - 2. Suppose 0 = -4*a - 2*x + u, 2*a + x = 2*x + 13. Is 5 a factor of a?
True
Let q(i) = -i**3 + 4*i**2 + 5. Let l = 1 - -3. Does 2 divide q(l)?
False
Let b(h) = 22*h + 6. Is 16 a factor of b(7)?
True
Let a(p) = -3*p**3 - 3*p**2 - 3*p - 2. Let j = -5 - -1. Let y be -5*1/((-10)/j). Does 8 divide a(y)?
True
Let g = 21 + 59. Is 12 a factor of g?
False
Suppose -5*z - 3 = -33. Suppose n - z = 42. Is 24 a factor of n/10*(3 - -2)?
True
Suppose 4*b = b + 9. Let u(t) = t**3 + 6*t**2 - t - 3. Let p be u(-6). Suppose -12 = -b*h - p. Does 2 divide h?
False
Let y(g) be the second derivative of g - 1/6*g**4 + 0 - 1/10*g**5 + 1/3*g**3 + g**2. Is y(-2) a multiple of 6?
True
Let y(v) = 7*v - 27. Suppose 3*p = 17 + 22. Does 17 divide y(p)?
False
Let u(g) = -3*g + 6. Let o be (-12)/(1/2*-3). Let s be 1 - (o + (1 - 1)). Is u(s) a multiple of 20?
False
Suppose 4*t - 1 = 3. Let m be 0*t/(-1)*1. Let f(p) = -p**3 - p**2 + p + 4. Does 4 divide f(m)?
True
Let d(f) = -f**3 + 11*f**2 + 13*f + 17. Is 15 a factor of d(12)?
False
Suppose 111 = 3*n - 5*r, 2*n + 0*r = r + 67. Suppose 0*w + 3*w = -3*v + 30, 0 = -4*w - 2*v + n. Is w a multiple of 4?
False
Let b(n) = -n**2 + 9*n + 4. Does 9 divide b(8)?
False
Suppose -y - 16 = -3*y - 3*d, 0 = -2*y + 4*d - 12. Suppose 0*i = -2*i - 2. Does 14 divide y/(-3)*(-43 - i)?
True
Suppose -73 = -3*w - 5*v, v - 3*v - 8 = 0. Is w a multiple of 31?
True
Let z(x) = 32*x - 1. Is z(9) a multiple of 48?
False
Let i(w) be the second derivative of -w**5/20 + w**4/12 - w**3/6 + 11*w**2/2 + 6*w. Is 4 a factor of i(0)?
False
Let a be ((-2)/3)/(8/(-264)). Is 7 a factor of a + 3/(-6)*2?
True
Let n = 0 + 0. Suppose -5 = -5*l, n*l = -3*y + l + 14. Is y a multiple of 2?
False
Suppose -3*f + 365 = 5*y + 2*f, -y + f + 77 = 0. Is 15 a factor of y?
True
Let q(o) = 12*o**3 + 2*o**2 - 2*o - 2. Let v = -2 + 4. Is 32 a factor of q(v)?
False
Let u be (8/(-3))/((-6)/9). Is (-14 - 0)*(3 - u) a multiple of 7?
True
Let s be (-2)/4 + (-1)/(-2). Suppose -4*j - 12 = s, 3*d - j - 60 = j. Is 7 a factor of d?
False
Let p be (-30)/4 - (-1)/2. Let g(o) = 2*o**2 + 8*o - 6. Let h be g(p). Suppose 4*v - h = v. Is v a multiple of 12?
True
Suppose 0 = 3*m - 5*n - 332, n = -5*m - 0*n + 516. Let x = -61 + m. Let s = 73 - x. Does 15 divide s?
True
Let f(l) = l**3 + 16*l**2 + 2*l - 5. Is f(-4) a multiple of 27?
False
Suppose 24 = -5*u + 1284. Is u a multiple of 36?
True
Does 7 divide (-402)/(-36) - (-2)/(-12)?
False
Suppose 4*a - 1 = 5*u + 157, 5*a = u + 187. Is 6 a factor 