d + r = 14*d. Is d a multiple of 47?
False
Suppose -3*a + 2*a = -2*r + 30, 4*a + 135 = 3*r. Let n = -32 - a. Suppose -198 = -2*c - n*c. Is 16 a factor of c?
False
Is 18/4 - ((-6)/4)/3 a multiple of 2?
False
Let a(c) = 24*c + 11. Let x(q) = 12*q + 5. Let b(z) = -6*a(z) + 13*x(z). Is b(5) a multiple of 18?
False
Let d(j) = -7*j + 5. Suppose 2*k = -8 + 40. Suppose -4*u + k = -8*u. Does 22 divide d(u)?
False
Let u(r) = 8*r**3 + 3*r**2 + 21*r - 28. Is u(6) a multiple of 14?
False
Let b(d) = -44*d - 220. Is 13 a factor of b(-25)?
False
Suppose 8*x = 4*x + 1760. Does 8 divide x?
True
Let d(i) = i**2 - 3*i + 5. Let t = -49 - -44. Is d(t) a multiple of 21?
False
Suppose 2*t + 20 - 202 = 0. Is t a multiple of 20?
False
Suppose -4*l + 23 = 127. Is 4/l + (-6965)/(-65) + -2 a multiple of 15?
True
Suppose 22*s = 19*s + 12. Suppose -3*r + 3*x + 554 = -x, 0 = 4*r + s*x - 692. Is 25 a factor of r?
False
Let j(q) = -q**3 + q**2 + 9*q - 9. Let b be j(3). Suppose b = -4*t - 3*z + 10, -2*t - 3*z = z. Is t a multiple of 2?
True
Let d = 1793 - 1774. Is d a multiple of 5?
False
Let j(g) = 22*g**2. Is 22 a factor of j(-4)?
True
Is ((-186)/(-8)*-2)/((-6)/8) a multiple of 2?
True
Let m(x) = -40*x + 44. Let q be m(11). Let t = -116 - q. Does 56 divide t?
True
Suppose 4*g - 3108 = -h, -10*g + 3063 = h - 15*g. Does 130 divide h?
False
Suppose -63*d + 45133 = -18371. Does 63 divide d?
True
Suppose 75*b - 629 = -4*r + 76*b, -3*b = 5*r - 799. Is 16 a factor of r?
False
Let m = 96 - 59. Let w = 121 - m. Is 21 a factor of w?
True
Let v(p) = 13*p**2 - 12*p + 27. Does 6 divide v(4)?
False
Let a(s) = s + 6. Let w be a(-3). Suppose -5*h - 95 + 10 = -4*u, -w = -h. Let v = u - 19. Is 2 a factor of v?
True
Suppose -8*h + 6*h = -84. Let v = h + 6. Is 12 a factor of v?
True
Suppose 4*m + 5*j = m - 10, 5*m - 3*j = 6. Suppose 5*n - 1020 = -m*n. Is n a multiple of 42?
False
Let z = -1752 + 3724. Does 17 divide z?
True
Let o = -7 - -6. Let j = o + -4. Is ((-36)/j)/((-4)/(-20)) a multiple of 9?
True
Suppose 9 = 2*b + 3. Suppose b*i - 515 = t - 0*t, 0 = 2*i + 4*t - 348. Is 43 a factor of i?
True
Let d = 87 - -1749. Does 153 divide d?
True
Let r = -39 + -78. Let q = -176 - r. Let s = 1 - q. Does 10 divide s?
True
Let d = -50 - -359. Let c = d - 165. Is 24 a factor of c?
True
Let l be ((-12)/(-7))/((-14)/(-49)). Suppose -5*n - 12 = -l*n. Does 3 divide n?
True
Let i(f) = 5*f**2 + 6*f - 8. Suppose -3*t - 28 = -10*t. Does 19 divide i(t)?
False
Let b be (6/10)/(2/10). Let i(q) be the first derivative of 7*q**3/3 - 3*q**2/2 + 3*q - 28. Does 15 divide i(b)?
False
Let m = -1 + 0. Let v = 15 - m. Suppose -2*g + v + 10 = 0. Is 4 a factor of g?
False
Suppose -9*i + 3580 = -5*i - 5*f, 5*i - 4516 = -4*f. Suppose -2*o - i = -7*o. Is 15 a factor of o?
True
Let w(o) = 2*o - 5*o + 4*o + 11 + 0*o. Let z be w(-8). Suppose -2*r - 3*n + 25 = 0, n + 39 = z*r + 6*n. Is r a multiple of 8?
True
Let t be 9/(3/((-6)/2)). Let l(k) = -k**2 - 10*k - 13. Let z be l(t). Is 30 a factor of 6/z*854/(-21)?
False
Let q = -22 - 38. Is ((-2025)/q)/(6/16) a multiple of 10?
True
Suppose -20 = -s + 26. Let r = s + 9. Is 11 a factor of r?
True
Let i(s) = 5*s - 10. Suppose 2*r = -2*k + 17 - 1, -52 = -5*r + k. Let v be i(r). Suppose -4*x = -48 - v. Is 6 a factor of x?
False
Let b(j) be the third derivative of -j**5/60 + 7*j**4/24 + 5*j**3/3 + 3*j**2. Let n be b(8). Suppose n*h - 234 = -h. Is h a multiple of 13?
True
Suppose -5*r + 2660 = 5*n, -3*r - n = -1064 - 526. Does 23 divide r?
True
Let p = 137 + -133. Suppose m - 2 = p. Is m a multiple of 2?
True
Is 3 a factor of 188/141*-46*6/(-16)?
False
Suppose -p + 4*p + 216 = 0. Does 11 divide 45/(-4)*p/27?
False
Suppose -18*u = 3523 - 56515. Does 32 divide u?
True
Let b be ((-12)/14)/((-18)/(-21) - 1). Suppose -11*x + 935 = -b*x. Is 39 a factor of x?
False
Suppose 58*f - 54758 = 53064. Is f a multiple of 11?
True
Suppose -k = k + 170. Let z be k/(-10) - 2/(-4). Does 4 divide (-4)/8 - z/(-2)?
True
Let b be 2 + 1 + (-16)/(-8). Suppose -5*v + n + 53 = -40, b*v - 87 = -n. Is 18 a factor of v?
True
Is ((12/(-5))/1)/((-6)/1170) a multiple of 9?
True
Let j = 79 - 85. Let q(c) = -30*c - 15. Is 11 a factor of q(j)?
True
Let q be (-3)/(9 + -5 + 26/(-8)). Suppose -69 = 5*w - 14. Is 0 - (-2 - q) - w a multiple of 9?
True
Let l = -9 - -11. Suppose -l*o - 757 = -3*x, 6*x - x - 3*o = 1261. Suppose 0 = -5*g - v - v + 409, 3*g + 4*v - x = 0. Does 27 divide g?
True
Suppose 7*s = 9*s + 3*l - 29, -2*s = 5*l - 35. Suppose -425 + 175 = -s*x. Is x a multiple of 4?
False
Let c(m) be the second derivative of m**4/6 + 5*m**3/6 - m**2 + 3*m. Let d be c(-10). Suppose -d = -4*v + 8. Does 13 divide v?
True
Suppose -6*o - 2 = -14. Suppose 224 - 4 = o*p. Is 11 a factor of p?
True
Does 23 divide ((-3)/(-25))/((-22)/110)*-1010?
False
Suppose 20*l - 24*l - 5*u = -580, 5*l - 2*u = 758. Is 5 a factor of l?
True
Let a be 1 + (-2)/6*-3. Let s be (8 - -1)*a + -3. Suppose -2*i + s = i, 4*b = -4*i + 140. Is b a multiple of 15?
True
Suppose 0 = -2*c - 61 + 265. Suppose c = -4*k + 7*k. Is k a multiple of 6?
False
Let o(a) = 3*a - 18. Let q be o(6). Suppose -3*u - 4*s + 52 - 19 = q, -3*s = 2*u - 23. Is 3 a factor of u?
False
Suppose 5*d = 3*s + 51, -3*d + 11 = -4*s - 68. Let x = -147 - s. Let y = x + 176. Is 17 a factor of y?
True
Let q(t) be the third derivative of -t**5/60 + 7*t**4/24 - t**3/3 - 12*t**2. Let r be q(6). Suppose 172 = r*v + 32. Is v a multiple of 10?
False
Let t(k) = 87*k + 158. Does 22 divide t(4)?
True
Suppose -3*u + 5*u = 0. Let l(p) = 6 - 10*p + p + u*p. Is 4 a factor of l(-2)?
True
Suppose t = 4, -2*m + 3*m + 4*t - 27 = 0. Suppose m*u - 78 - 87 = 0. Is 8 a factor of u?
False
Suppose 25*b = 28*b - 6. Suppose -b*f + 43 = -13. Is f a multiple of 4?
True
Let j(b) = 16*b**2 - 11*b - 44. Is j(-4) a multiple of 9?
False
Let k(c) = c - 3. Suppose -2*d = -4 - 2. Let t be k(d). Suppose t*v + 36 = 4*v. Is v a multiple of 3?
True
Let b(h) = 14*h**2 + 1. Let x be b(1). Let i = x - -3. Is i a multiple of 6?
True
Suppose 0 = 80*f - 36*f - 8360. Is f a multiple of 5?
True
Let c(n) = -n**3 - 25*n**2 + 50*n + 276. Is c(-32) a multiple of 49?
False
Let z(r) be the second derivative of -3*r**3 - 3*r**2 + 3*r. Is z(-7) a multiple of 12?
True
Let t be (-18)/(-22) + 10/55. Suppose -5*r + 14 = -t. Suppose 0 = -r*a + 8*a - 4*i - 233, 5*i + 145 = 3*a. Is a a multiple of 15?
True
Suppose -7*r - 2*r + 54 = 0. Suppose -4*a = -r*a + 52. Is 5 a factor of a?
False
Let r(y) be the first derivative of -2/3*y**3 + y + 4 + 3*y**2 - 1/4*y**4. Is 3 a factor of r(-4)?
True
Let a = -11 + -14. Let j = -68 - a. Let v = j + 67. Does 13 divide v?
False
Let s(c) = 4*c**2 + 2*c + 1. Let k be s(-1). Is 99/(-55)*(-20)/k a multiple of 2?
True
Let h = -520 + 538. Is 4 a factor of h?
False
Let j(y) = 6*y**2 - 12*y**2 + 2*y**2 + 3*y**2 - 3 + 9*y. Suppose -25 = -5*c + 15. Does 2 divide j(c)?
False
Let b = 3 + -1. Let t = 19 + -7. Suppose -4*k - 43 - t = -3*o, -2 = b*k. Is o a multiple of 17?
True
Let x(u) = u**2 - u - 4. Let q be x(0). Let n be 4 + (q - -5)*152. Suppose 312 = 4*i + 4*a, 2*i - n = -3*a + 4*a. Is 26 a factor of i?
True
Let m be 1/((-1)/(-2)) + 2. Suppose -6*n + 2*n + 2 = -3*u, 0 = 4*u - 3*n - 2. Suppose -38 = -2*b - 2*y, m*b - u*y = -4*y + 86. Is 12 a factor of b?
True
Let q = 147 + -98. Is 32 a factor of q + (-3 + 3 - -4)?
False
Suppose 0 = 466*g - 484*g + 34020. Is 42 a factor of g?
True
Let d(j) = j**2 - 5*j - 3. Let s be 4/(-22) - 204/(-33). Let w be d(s). Suppose 2*m = w*m - 7. Is m even?
False
Let s be (7/3)/(2/6). Does 3 divide (6 - -1)*7/s?
False
Suppose -6 = -g - 3*n, 4*n - 11 = -2*g - 3. Suppose g = h - 5 + 3. Suppose h*d + x = 2*x + 25, 0 = 2*x + 10. Is 10 a factor of d?
True
Let p be 2/(-7) + (-471)/(-7). Suppose 0 = 5*u - 2*x + 67, 0 = -2*u + 6*u - 5*x + 40. Let m = u + p. Is 16 a factor of m?
False
Let x(j) = 3*j**3 - 2*j**2 + 3*j + 2. Suppose 0 = -3*l + 3 + 3. Does 10 divide x(l)?
False
Let l(i) be the first derivative of i**2 + 2*i + 9. Let j be l(2). Suppose 2*t = -3*s + 130, j*s + 2*t = 2*s + 170. Does 17 divide s?
False
Let c(s) = 4*s**2 + 13*s + 39. Let h = -96 + 89. Does 48 divide c(h)?
True
Suppose -10*d - 251 = -4621. Is d a multiple of 27?
False
Let m(h) = h**2 + 16*h - 39. Does 9 divide m(8)?
True
Suppose -4*c + 1762 = -2