Is d(b) a multiple of 9?
True
Let u = 53 - 36. Suppose -2*t + 3 = -u. Is t a multiple of 10?
True
Let q = 19 + -7. Let w be q/7 + 2/7. Suppose 2*m - 22 = -2*u, u + m - 1 = w*m. Does 3 divide u?
True
Suppose -3*u + 100 = 5*b, 0*u = -3*u + 15. Is 19 a factor of -1 - -3 - -1*b?
True
Let d = -98 - -158. Is d a multiple of 9?
False
Let f = 43 - -41. Is f a multiple of 14?
True
Let y(p) = -23*p**2 - 1. Let t be y(-1). Let h = t - -38. Is h a multiple of 3?
False
Suppose -5*a - 4*v + v - 1110 = 0, v = -4*a - 881. Let q = -109 - a. Suppose -4*o + q = o. Does 14 divide o?
False
Let v(b) = -7*b**3 + 2*b. Is v(-2) a multiple of 13?
True
Let l = 4 - -1. Suppose -5*r - 2*m + 47 = 0, 3*r + 17 = l*r - m. Suppose -k + 3*b + r = 0, -5*k + 0*k + 4*b + 34 = 0. Is 2 a factor of k?
True
Let m be 285/10 - (-1)/(-2). Suppose -s = h - m, -161 + 3 = -5*s + 4*h. Is s a multiple of 8?
False
Suppose -3*r - 5*l + 3*l = -51, 5*r - 63 = 4*l. Suppose 0*h - r = -5*h. Suppose -h*b + 4*w = -69 - 34, 99 = 3*b - 3*w. Is 14 a factor of b?
False
Suppose -5*i = -8*i. Suppose -5*h = -i*h - 3*p - 101, 119 = 5*h + 3*p. Is h a multiple of 11?
True
Suppose 3*m - 7 = -1. Let z be m/10 - 974/(-5). Suppose -r + 3 = 2*r, -z = -5*h + 5*r. Is 20 a factor of h?
True
Suppose s + 38 = -s. Let u = 3 + -11. Let j = u - s. Is 11 a factor of j?
True
Suppose s = -2*s - 84. Let j = -40 - s. Is 7 a factor of j/(0 + -2) + 2?
False
Let s(t) = t**2 + 12*t - 2. Does 27 divide s(-15)?
False
Let y = 11 - 8. Suppose 0 = 4*m, 0 = y*x + 2*m - 14 - 118. Let u = -28 + x. Is 6 a factor of u?
False
Let f(i) = -3*i - 3. Let v be f(-2). Suppose -3*r = 2*z - 19, -4*z - 5 = z - 3*r. Suppose -3*d + a + 17 = 0, 0 = 5*d - v*a + z*a - 29. Is d a multiple of 5?
False
Let w(c) = -c**2 + 2*c. Let l be w(3). Let g be l + 10 - 2*1. Suppose -3*u = -2*u - g. Is 5 a factor of u?
True
Suppose -4*x = -5*r - 173, 2*x + 5*r - 171 + 62 = 0. Is (-6)/(-4)*(x - -7) a multiple of 27?
True
Let h(o) = o**3 - 6*o**2 - 4*o - 6. Does 6 divide h(7)?
False
Let k(y) = -y**3 - 9. Does 8 divide k(-3)?
False
Let g = 69 - 57. Does 4 divide g?
True
Suppose 20 = -4*u, q - 4*u - 26 = -0*u. Is q a multiple of 2?
True
Let o(q) = 2*q - 2. Let h be (-2 - (-2 - -8))/(-1). Let a be o(h). Does 13 divide (-1)/(0 - -1) + a?
True
Let k = -36 + 57. Is k a multiple of 9?
False
Suppose 3*q - 180 = -2*c, -q - 4*c + 60 = c. Suppose 0*u + 4*l + q = 2*u, 0 = -u - l + 45. Does 20 divide u?
True
Suppose 4*s = -0*s + 216. Is 19 a factor of s?
False
Let o = -4 + 17. Let z(s) = 4*s - 7. Is 9 a factor of z(o)?
True
Let v(f) be the third derivative of -f**5/24 - f**4/6 - f**3/3 + 2*f**2. Let u(t) be the first derivative of v(t). Does 9 divide u(-6)?
False
Let x(r) = -12*r - 102. Is x(-14) a multiple of 11?
True
Let v(r) = -r**2 - r + 41. Suppose -4*o = o. Let q be v(o). Let k = q + -3. Is k a multiple of 14?
False
Let y(d) = -4*d + 13. Let z(c) = -2*c + 6. Let j(a) = 2*y(a) - 5*z(a). Let l = 15 - 9. Does 8 divide j(l)?
True
Let u = -21 - -90. Does 23 divide u?
True
Suppose u = 2*u + 4*o + 4, 0 = -5*o - 5. Suppose x - 3*x + 26 = 0. Suppose s - 2*c = -u*c + x, 3*s = 5*c + 38. Is 11 a factor of s?
True
Let w(v) = 47*v**3 + v. Is w(1) a multiple of 24?
True
Suppose -3*n + 73 + 98 = 3*v, 5*v + 2*n = 288. Is v a multiple of 9?
False
Suppose -13 = 7*d - 790. Is d a multiple of 11?
False
Let h be (-2)/8 - 115/4. Let a = h - -71. Suppose -z = 2*z - a. Is 5 a factor of z?
False
Let r(b) = b**2 - 7*b + 5. Does 30 divide r(14)?
False
Is (6/(-10))/((-7)/105) a multiple of 9?
True
Suppose 32 = 4*f - 3*f. Is 8 a factor of f?
True
Let u = -1 + 1. Suppose -4*c + 8*c = 0. Suppose 4*h + 4*o - 89 - 15 = u, 5*h - 4*o - 94 = c. Is 14 a factor of h?
False
Let s(g) be the third derivative of -g**4/12 - 5*g**3/3 - 3*g**2. Is s(-8) a multiple of 3?
True
Let q be 4/6*(0 - -45). Suppose 0 = -3*c + p - 25, c + 2*p = -c - q. Does 11 divide -22*(c/4)/5?
True
Let a be 9 + -1 - (3 - 1). Suppose a + 0 = -3*k. Is 1 + k + 40 + -1 a multiple of 19?
True
Does 30 divide (-4)/(-2) + (19 - -69)?
True
Let m be (6/(-3) + -17)*4. Let h = -24 - m. Is h a multiple of 26?
True
Let z = -28 - -72. Let k = -11 + z. Does 11 divide k?
True
Suppose f - 3*u + 228 = 6*f, -5*f + 4*u = -221. Is 12 a factor of f?
False
Let a(b) = b + 3 - 2 - 3*b + 3*b**2 + 17*b**2. Is a(1) a multiple of 11?
False
Let z = -159 - -844. Does 29 divide z/10 - 2/(-4)?
False
Let y(d) = 5*d**2 - d. Let r be y(1). Let w(s) = -1 + 2*s + r*s - s. Does 19 divide w(4)?
True
Let b = 3 + -17. Is 5 a factor of -7*((-2)/b + -3)?
True
Suppose -28 = -4*z + 32. Does 3 divide z?
True
Let t be (14/4)/((-2)/(-48)). Suppose 2*c = -c + t. Does 14 divide c?
True
Let o(k) be the third derivative of k**5/60 + k**4/24 + 4*k**3/3 + 17*k**2. Suppose 2*m = 3*y - 6, 0 = -4*y + 2*m + m + 9. Is 5 a factor of o(y)?
False
Let q(f) be the first derivative of f**4/4 - f**3/3 - f**2/2 + 10*f - 1. Let m be (0*(-1)/2)/(-2). Does 10 divide q(m)?
True
Suppose 0 = -5*h - 46 + 251. Does 23 divide h?
False
Let t = 193 - 151. Is 21 a factor of t?
True
Suppose c + 50 = -2*p, 0 = 3*p - 5*c + 109 - 21. Let y = 43 - p. Does 27 divide y?
False
Suppose 0*n - 4*n + 8 = 0. Suppose p - 32 = -3*p - n*k, -5*k + 32 = 2*p. Suppose p*u = 3*u + 30. Does 4 divide u?
False
Let w be ((-10)/(-15))/((-2)/(-9)). Suppose -b = w*b - 8. Is 8 a factor of 1*b - (-15 - -3)?
False
Let c be (5 + -3 - 2)/1. Suppose c = s + 2*s - 15. Does 5 divide s?
True
Let p = -224 - -374. Does 25 divide p?
True
Let z = -16 - -32. Does 8 divide z?
True
Let f(r) be the first derivative of -r**4/24 + 43*r**3/6 + 2*r**2 + 3. Let u(y) be the second derivative of f(y). Does 12 divide u(0)?
False
Let i be -1 - 0 - -2 - -2. Suppose h + i*t = -t - 1, -4*t = -3*h + 13. Suppose 2*s - s + h*b - 10 = 0, 0 = -2*s + 4*b + 60. Is s a multiple of 11?
True
Is ((-51)/(-6) + 1)*4 a multiple of 21?
False
Let v be 33/12 - 1/(-4). Suppose 2*k - 108 = -k + v*d, 4*d = 2*k - 64. Is k a multiple of 20?
True
Let m be 27*(-1 - -2)/1. Suppose 5*r = 2*v + m + 29, -3*r + 36 = -2*v. Is 3 a factor of r?
False
Suppose 0 = 4*b + 17 + 3. Let a = -11 - -7. Is (-33)/b - a/10 a multiple of 7?
True
Let a(h) = -h + 2. Let z be a(0). Suppose 0 = -2*c + c + z. Suppose c*k - 34 = 24. Is k a multiple of 10?
False
Let r = 70 - 44. Let m = -52 + r. Let u = m - -43. Is 11 a factor of u?
False
Suppose v = -74 + 10. Let f = v - -120. Suppose f = 2*h - 0*h + 5*g, g + 84 = 3*h. Is 14 a factor of h?
True
Suppose -7*g + 435 = -3*g - 5*x, -3*g + 331 = x. Is g a multiple of 10?
True
Suppose 20*p - 21*p + 89 = 0. Is p a multiple of 12?
False
Let r be (-2)/1 + (1 - 1). Let d = r + 5. Is -1 + 7 - (-6)/d a multiple of 4?
True
Let f = 5 + -3. Suppose -6 = 4*l - f*h - h, l + 2 = h. Suppose 0*n + n - 8 = l. Is 4 a factor of n?
True
Let n be (-380)/7 - (-4)/14. Let i = 98 + n. Does 11 divide i?
True
Let m(f) = -f**2 - 7*f + 7. Let x be m(-9). Let o be 8/4*(-42)/(-4). Let q = o + x. Is 10 a factor of q?
True
Let y = 16 - 8. Suppose 0 = -3*m - m - y. Let s(i) = -8*i + 1. Is 11 a factor of s(m)?
False
Suppose 84 = 4*v - 180. Is 11 a factor of v?
True
Suppose 3*f = -2*i + 7*f, -4*i = 5*f. Suppose -4*y + 5 = 5*m - 7, 2*y + 4*m - 6 = i. Suppose -y - 8 = -h. Is h a multiple of 11?
True
Let i(s) = -s**3 + 9*s**2 + 3*s + 12. Let a = 7 - -2. Does 13 divide i(a)?
True
Suppose -3*u = 5*z + 233, -z - 225 = 4*z - 5*u. Let v = z + 78. Let t = 16 + v. Is t a multiple of 22?
False
Let u(y) = 11*y - 22. Is 11 a factor of u(3)?
True
Let m = 16 - 20. Let v(a) = 5*a + 4. Let b be v(-3). Is 11 a factor of m/(2/b - 0)?
True
Let t(s) = s**3 + 18. Let f be (0 + 0)*(-3)/6. Let k be t(f). Suppose 0 = -5*v - z + 42, -3*v = 3*z - 48 + k. Is v a multiple of 4?
True
Suppose z - 43 = 89. Does 25 divide z?
False
Let k = -39 + 66. Is 6 a factor of k?
False
Suppose 4*b = 15 + 33. Is b a multiple of 6?
True
Suppose f = 2*f - 10. Suppose 2*w + w + 3*a - 18 = 0, 0 = -w + a + f. Is w a multiple of 8?
True
Suppose t - 6*t = 20. Is 10 a factor of 42 - (-7)/(14/t)?
True
Let a = -18 - -26. Does 7 divide a?
False
Let j be 1/(-4) - (-301)/4. Suppose -4*s - j = s. Let k = 37 + s. Is k a multiple of 13?
False
Suppose -4*x - 2*h = -86, 0 = -5*x + 2*h - 3*h + 106. Is x a multiple of 7?
True
Let x = -3 + -1. Let v be 0 + 91 + x/4. Suppose -5*u - v =