4*r + 5*w. Is 14 a factor of r?
True
Let d(i) = 141*i**2 + 5*i - 2. Is d(1) a multiple of 7?
False
Let r(s) be the first derivative of -7/2*s**2 - 2*s**3 + 4*s + 1/4*s**4 - 1. Is r(7) a multiple of 3?
False
Suppose 0 = -4*z + 2*z + 20. Is 2 a factor of z?
True
Let t(x) = -5 + 0*x + 2 - x**2 + 8*x - 11*x**3 - 5*x**2. Let n(s) = 5*s**3 + 3*s**2 - 4*s + 1. Let i(d) = 9*n(d) + 4*t(d). Does 7 divide i(-3)?
False
Let u = -114 + 195. Does 9 divide u?
True
Let p(b) = b**2 - 2*b + 1. Let i be p(4). Let q = 11 - i. Suppose -q*s + s = -9. Is 4 a factor of s?
False
Let r(t) = 18*t - 35. Is r(5) a multiple of 7?
False
Let u = -48 + 213. Suppose -9*d + 14*d = u. Does 7 divide d?
False
Is 11 a factor of ((-15)/(-3) + 27)*2?
False
Suppose -5*z + 3*h = -155, 5*h = z + 6 - 37. Suppose -v - z = -g + v, 5*g + 2*v = 143. Is 14 a factor of g?
False
Suppose 10 = -4*u + 2. Let o be (8/(-2))/(1*u). Is 14 a factor of 14/o*(-2)/(-1)?
True
Let p(s) = -s**2 - 5*s + 4. Let u be p(-5). Suppose u*i + 12 = 84. Does 9 divide i?
True
Does 16 divide 1/(-5) + (-243)/(-15)?
True
Suppose 9 = 3*a, -2*i + 109 = -0*a + 5*a. Is i a multiple of 19?
False
Let d be (-4)/6 + 730/15. Suppose -4*i + 8*i + 5*h = 48, -4*i + d = h. Suppose 0 = -s - 2*p + 19, -i = -5*p - 2. Is s a multiple of 11?
False
Let w(f) = 9*f + 49. Let x(j) = -5*j - 25. Let h(m) = 6*w(m) + 11*x(m). Does 3 divide h(9)?
False
Let i be -11 + 1 - 11/(88/(-32)). Let s be (-1)/(-1 + 28/30). Let u = i + s. Does 9 divide u?
True
Let g be (-16)/(-6) + 6/(-9). Suppose -57 = -a - 3*i, 7*a - 285 = g*a - 2*i. Is a a multiple of 18?
False
Let u(y) = -8*y + 1. Let v be (-48)/(-40)*(-5)/2. Is u(v) a multiple of 24?
False
Let n = 13 + -8. Suppose -117 = -n*s - 27. Is s a multiple of 9?
True
Let v be -17 + 1/(-2)*-2. Let u be ((-44)/(-5))/((-1)/(-5)). Let z = v + u. Does 14 divide z?
True
Suppose -8*g = -256 - 384. Is g a multiple of 10?
True
Let i(m) = -m - 1. Let h be i(-6). Let l = -5 + h. Is 0 + (l - 6*-3) a multiple of 16?
False
Let j = -85 + 121. Is j a multiple of 7?
False
Let o(u) be the second derivative of 2*u + 0 - 5/6*u**3 + 0*u**2. Is o(-1) a multiple of 2?
False
Suppose -5*k + 10*k = 10. Let m(n) = 0*n**2 + 7 + 2*n**k - 3*n**2 + 2*n**2. Is 16 a factor of m(-5)?
True
Let w(m) = -7*m**3 + 4*m**2 + 2*m - 1. Let v be w(-2). Suppose v = 4*j + x, -2*j - x = -2*x - 35. Is 6 a factor of j?
False
Suppose 0 = 5*d - 64 - 16. Suppose d = q - 22. Is q a multiple of 38?
True
Let z(h) be the third derivative of h**7/840 + h**6/90 - h**5/60 - h**4/6 + h**3/3 - 2*h**2. Let d(q) be the first derivative of z(q). Does 8 divide d(-3)?
False
Let m(u) = u**3 + 1. Let a be m(0). Is 16 a factor of 1 + 31/(1/a)?
True
Suppose 3*u - 2*u + 5 = 0. Let o(b) = -b**3 - 3*b**2 + 5*b - 1. Does 12 divide o(u)?
True
Let q(b) = 17*b**2 - 1. Let c be q(1). Let z be (4 + -1)/(3/c). Suppose 4*j - z = 2*j. Is 8 a factor of j?
True
Let l be 12/(-8)*20/(-6). Suppose -236 = -l*g + 34. Is g a multiple of 18?
True
Suppose -b - 358 = -3*u, 0 = -2*u - 3*b + b + 228. Let z = u - 82. Is 18 a factor of z?
True
Let v = -102 + -1. Is 7 a factor of v/(-5) + (-8)/(-20)?
True
Suppose -4*i + 2*i = 14. Let n be 4/(-14) + (-16)/i. Suppose n*r + 13 = 73. Does 15 divide r?
True
Let z(y) = 3*y**3 + 2. Let f be z(2). Suppose 2*b - 18 = f. Does 9 divide b?
False
Let h = -3 + 4. Is 13 a factor of (3*h)/(11/143)?
True
Let s = 34 - 14. Is 5 a factor of s?
True
Let d(c) = -6*c - 2. Is 4 a factor of d(-3)?
True
Suppose 0 = w - 4*b - 31, w - 100 = -5*b - 33. Suppose k + w = u - 2*k, 4*k - 330 = -5*u. Is 8 a factor of u?
False
Let i(l) = 10*l - 2. Let y be i(-1). Let u = y - -20. Does 4 divide u?
True
Let o(g) = -g**3 + 2*g**2 + 3*g + 3. Let m be o(-2). Suppose p = m + 2. Is 7 a factor of p?
False
Is 4 a factor of (-3 - -18) + -4 + (0 - 0)?
False
Suppose -2*k - 4*u - 3 = -k, -2*u = 4. Let d = k + 2. Is d a multiple of 4?
False
Suppose 0 = 4*g - 73 - 151. Is g a multiple of 14?
True
Let d(x) = -x**2 - 15*x + 2. Let y = -4 + -7. Is 8 a factor of d(y)?
False
Let i be (-2 - -1)*(-28 + 0). Suppose v + 3*v - i = 0. Is 5 a factor of v?
False
Let l = 178 + -112. Is l*2*2/6 a multiple of 22?
True
Suppose 5*k - 61 = 89. Does 8 divide k?
False
Let r(w) be the second derivative of -2*w**3/3 - 2*w**2 + 2*w. Is 10 a factor of r(-6)?
True
Let c(v) = -v**2 + v + 14. Is c(0) a multiple of 7?
True
Let k(u) = -3*u - u + 5*u + 7. Let g be k(-9). Is (g + 0)/(4/(-30)) a multiple of 15?
True
Is 28 a factor of 215/5*(-1 + 3)?
False
Suppose -f + 21 - 2 = 0. Is 6 a factor of f?
False
Suppose 39 = 20*z - 19*z. Is 17 a factor of z?
False
Suppose 60 = d - 0*t + 3*t, -3*d + 148 = t. Is d a multiple of 16?
True
Suppose 0*o - 3*o = 5*n - 17, -2*o = -n + 6. Does 5 divide n/(-18) - 195/(-27)?
False
Let b(q) = q**3 - 9*q**2 - q + 13. Is b(9) a multiple of 3?
False
Suppose -8*b = -5*k - 5*b + 36, 3*b = -6. Is k/10 + 2429/35 a multiple of 14?
True
Let t(n) = 2*n + 16. Let p be t(-8). Is 28/2 - 2 - p a multiple of 6?
True
Let l be 38/5 + (-6)/(-15). Suppose -3 = v, -5 = -m - 3*v - 15. Let n = m + l. Is 6 a factor of n?
False
Let p(j) = j - 7. Let d be p(8). Suppose -5*l = -9 - d. Suppose -2*r = 6*v - v - 72, l*v + 4*r - 32 = 0. Does 5 divide v?
False
Let d(y) = -37*y - 1. Let b be d(-4). Let a = 209 - b. Suppose l + 11 = a. Does 20 divide l?
False
Let z(b) = 4*b - 1. Let p be z(7). Let i = -3 + p. Does 12 divide i?
True
Let o(p) = -4 + 10 + 6 + 3*p - 4*p. Is o(0) a multiple of 4?
True
Let b(t) = 2*t + 22. Is b(7) a multiple of 6?
True
Is 7 a factor of (-2 + -1)*(-49)/3?
True
Let v = -8 + 13. Suppose -14 = 3*w + 4*q, v*w - 5*q = 13 + 22. Is 8/((-3)/(-6)*w) a multiple of 4?
True
Suppose 0 = -3*t - t + 44. Suppose 2*a - 3*a - 8 = 0. Let k = a + t. Does 3 divide k?
True
Let f(i) = 6*i - 2. Let m be f(3). Does 5 divide (-3)/(-4) - (-148)/m?
True
Let z(x) = -14*x - x**2 + 2*x - 6 - 4*x + 0*x. Let k be z(-10). Suppose 0*y + k = 3*y. Is y a multiple of 11?
False
Let k be 2 - -1 - 2/2. Suppose -o + 2*o = k. Suppose o*a - 28 = -0*a. Does 7 divide a?
True
Let a(g) = g**2 + g. Let w be a(1). Is 66*((-3)/3 + w) a multiple of 33?
True
Suppose 2*m + 3*a + 63 = 3*m, -a - 181 = -3*m. Does 15 divide m?
True
Let s(a) = 16*a**2 - a. Let l be s(-1). Suppose -5*u = 2 - l. Suppose q + u*n = -5, 2*q = -2*q + n + 45. Is q a multiple of 5?
True
Let d = -27 - -47. Suppose u + 3*q - 16 = -q, 5*q - d = -u. Suppose u = -4*j + 31 + 121. Is j a multiple of 14?
False
Let x = -7 - -10. Suppose -4*q = u - 33, -q - 13 = -3*q + x*u. Suppose -q*m + 4*m + 40 = 0. Is m a multiple of 5?
True
Let c(l) = l**3 + 27*l**2 + 22*l - 30. Is c(-26) a multiple of 4?
False
Let x be ((-8)/5)/(1/5). Let g = x - -21. Does 13 divide g?
True
Suppose 0 = 3*h + 4*j - 201, -h - 4*j + 0*j + 59 = 0. Is 27 a factor of h?
False
Suppose 0 = -6*t + 432 + 1404. Is t a multiple of 34?
True
Is 11 a factor of (624/(-42) + 2)/((-3)/14)?
False
Suppose 2*d - 107 = 35. Suppose 4*s = d + 25. Does 12 divide s?
True
Is ((-496)/6)/((-24)/36) a multiple of 22?
False
Suppose 776 = 3*w - 202. Is 12 a factor of w?
False
Suppose -5*v - 3*w + 21 = -33, 3*v - 5*w - 12 = 0. Let m = 13 - v. Does 2 divide m?
True
Suppose -5*f + 12 = 2*p + 2*p, 0 = 4*p - 5*f - 12. Let u = 2 - p. Is 7 a factor of 2/(2/(-11)*u)?
False
Let t(d) = 2*d + 31. Is 3 a factor of t(-13)?
False
Does 8 divide 2 + (-11)/(22/(-300))?
True
Let d(h) = h + 6. Let c be d(7). Let w = c + -8. Suppose -t = -w*a + 4*t + 30, -5*t = a - 30. Is 7 a factor of a?
False
Let g = -17 - -35. Is g a multiple of 16?
False
Let g(z) = -3*z. Let t be g(-1). Suppose 2*u - 6*u = -5*i + 122, -5*i - t*u + 136 = 0. Does 13 divide i?
True
Let g(a) = -4*a**3 + 0 - 11*a**2 + 2*a**2 - 12*a - 3 + 3*a**3. Is 9 a factor of g(-8)?
False
Suppose 6*y = y. Suppose -3*a + 6*a - 30 = y. Is 4 a factor of a?
False
Suppose x + 3*x - 5*v - 146 = 0, 0 = 2*v - 4. Suppose -5*w = -j - 79, 28 + x = 4*w + 3*j. Does 8 divide w?
True
Let h(k) = -k**3 - 15*k**2 - 14*k + 9. Is 3 a factor of h(-14)?
True
Let d(a) = 2*a**2 - 2*a - 2. Suppose 4*m + 16 = 0, 3*m - 1 = b + 4*m. Suppose 0 = -5*c - j + 14 + 3, -3*c + b*j = -3. Does 4 divide d(c)?
False
Suppose -p - 10*p = -1100. Is 27 a factor of p?
False
Suppose -a - 4*h + 9 = 0, a + 33 = 3*a + 5*h. Let u(d) = -d**2 - d + 1. Let o be u(3). Let m = a + o. 