, 0*w + 8 = q + 3*w. Is q a multiple of 5?
True
Suppose 13*i - 140 = 3*i. Is i a multiple of 14?
True
Let n = 211 + -127. Is 21 a factor of n?
True
Let g be 6/1 - (-4 - -5). Let o = g + 5. Does 5 divide o?
True
Suppose -4*t + 3*d + 80 = 0, t - 6*t + 100 = -d. Is t a multiple of 5?
True
Let y(f) = 36*f - 17. Is 4 a factor of y(2)?
False
Let z = -73 + 153. Is 40 a factor of z?
True
Let l(q) = -12*q + 7. Let p be l(8). Let c = p + 147. Does 18 divide c?
False
Suppose 2*q + 4 = -4. Let s(g) = -g + 3. Does 7 divide s(q)?
True
Suppose t + 3*q = -15, 0 = -4*t + 3*q + q + 20. Suppose -5*x = -t*x. Does 5 divide (-30)/(-3*1) - x?
True
Suppose -2*a - 5*m + 93 = 0, -5*a - 45 = -6*a - m. Does 23 divide a?
False
Is 4 a factor of 72 - (-3 - -4 - -2) - 1?
True
Let o = -5 - -5. Suppose 1 = -y - o*l - 3*l, 0 = 4*y - 2*l + 4. Is ((-3)/1 + -2)*y even?
False
Let v be (-1)/2 - 339/2. Is 21 a factor of v/(-4) + (-3)/2?
False
Let b(a) = -a**3 + 6*a**2 + 6*a + 9. Let u be b(7). Suppose 4*d - 16 = 5*n + 11, -u*d = 4*n + 6. Is (-2)/(-3) - 16/n a multiple of 6?
True
Suppose 3*r - l = 4*r - 71, -2*r + 170 = -5*l. Does 11 divide r?
False
Suppose -2*b + 2 + 30 = 0. Does 12 divide (b/(-12))/((-1)/18)?
True
Let g(d) = 5*d - 2. Let f(n) = -14*n + 6. Let m(h) = 4*f(h) + 11*g(h). Let b be m(-3). Suppose 20 = 2*s - 7*s, 5*z = -b*s + 5. Does 5 divide z?
True
Let m = -24 - -52. Is 3 a factor of m?
False
Let k be (-9)/(-3) + (-1)/(1/(-25)). Suppose 3*c + 9 = 5*v, 3*c - 2*c = -5*v - 23. Let a = c + k. Is a a multiple of 10?
True
Let b = 18 - 19. Let p(y) = 40*y**2 - y. Is 14 a factor of p(b)?
False
Let i(z) = -50*z**3 + z**2 + z. Suppose -5*y + 6*y + 1 = 0. Let n be i(y). Suppose 5*d - 194 = 3*u, 0*d - 5*u = d - n. Does 18 divide d?
False
Let t(i) = -i + 3. Let m be t(5). Let h be (-4)/(-3)*(-15)/m. Is (4/h)/((-2)/(-40)) a multiple of 8?
True
Let w(q) = 2*q**3 + 2*q - 1. Let x be w(1). Suppose a = -x*a. Suppose -5*t + 4*t + 39 = a. Is t a multiple of 14?
False
Suppose 0 = 2*f - 0*f - 440. Suppose 15*z = 10*z + f. Does 11 divide z?
True
Let d be (-2)/(-10) + (-568)/(-10). Suppose -b = 2*b + d. Let u = b + 29. Does 10 divide u?
True
Let n(p) = p + 5. Let x be -4 + 4 + 2*1. Suppose 10 = -x*b - 5*g, 2*g = -b - 2*g - 11. Does 4 divide n(b)?
False
Let r = 14 - 10. Let u(l) = l**2 - l + 4. Does 11 divide u(r)?
False
Is 9 a factor of 3/((-6)/11)*-2?
False
Let q(y) = -y**3 - 6*y**2 - 6*y - 3. Let n be q(-5). Suppose -n*l = 2*l - 200. Does 10 divide l?
True
Suppose 8*i - 354 - 1054 = 0. Is i a multiple of 25?
False
Suppose -3*j = -6*j + 87. Suppose 0 + 6 = 2*c + 3*k, c - 14 = 4*k. Suppose -c + j = u. Is 23 a factor of u?
True
Let b(d) = d**2 - 15*d - 13. Is 21 a factor of b(17)?
True
Let g = 27 - -36. Suppose -2*r + 0*j = -3*j - 81, 3*j = -r + g. Suppose 0*t - 4*t = -r. Is t a multiple of 12?
True
Let x(z) = -57*z**2 + z - 4. Let k(w) = -38*w**2 + w - 3. Let n(i) = 7*k(i) - 5*x(i). Let h be 2/(-3)*(-6)/4. Does 10 divide n(h)?
True
Suppose -3*i = 2*i - 30. Suppose -i = u - 16. Is u a multiple of 5?
True
Let q be (18/(-7))/((-3)/154). Suppose 18 - q = -3*d. Does 19 divide d?
True
Let w(h) = -5*h + h**3 + 9*h**2 - 12*h**2 + 0*h - 4. Let v be w(5). Let r = 33 - v. Is r a multiple of 8?
False
Let x = -110 + 165. Does 11 divide x?
True
Let p = 13 + -9. Suppose -3*d + d = u - 32, -52 = -p*d + u. Does 9 divide d?
False
Let f(u) = -1 + 6*u**2 - 3*u**3 + 2*u + 4*u**3 + 5. Is 12 a factor of f(-4)?
False
Let m = -11 + 12. Does 6 divide -2 + 10 + (-2)/m?
True
Suppose -4*b = -173 + 73. Is 12 a factor of b?
False
Suppose -t = 2*t - 27. Suppose 0 = 3*k + t, -1 = -g - k - 4. Suppose 3*i - 94 + 34 = g. Does 10 divide i?
True
Let b = -124 + 228. Is 23 a factor of b?
False
Let j(y) = -y + 4. Let r be j(4). Suppose 5*z + r*z = 2*p + 254, 5*p + 10 = 0. Is z a multiple of 14?
False
Let r be (-107)/7 + (-4)/(-14). Let k be r*((-4)/6)/2. Let l(t) = 2*t + 1. Is 11 a factor of l(k)?
True
Suppose -u = 1 - 4. Suppose -4*m - 8 + 44 = 0. Is u*(87/m - 3) a multiple of 20?
True
Is 8 a factor of 46 + (1 - 2) - (-4)/(-1)?
False
Let a = 12 + 23. Does 7 divide a?
True
Suppose -13*o - 35 = -14*o. Is o a multiple of 8?
False
Suppose 1069 = 3*x + 2*b, -5*x + 3*x + 3*b = -717. Suppose -4*m + m + x = 0. Suppose 3*r = m - 32. Is r a multiple of 15?
False
Suppose 5*w = -2 + 27, 0 = 3*y - 2*w + 1. Let a(o) = 3*o - 4. Let q be a(y). Suppose 4*c - q*k - 56 - 49 = 0, 98 = 4*c + 2*k. Is 12 a factor of c?
False
Suppose -3*f + 2*f = 4, 2*f = 2*o - 164. Is o a multiple of 16?
False
Let o be (-2)/1 + 0/2. Let l be 0 - 4*(-3 - o). Let v(g) = 12*g - 6. Is 17 a factor of v(l)?
False
Let f(m) = 7*m - m - m**2 - 1 + 4*m - 4*m. Let w be f(5). Is 9 a factor of (-2)/w*(-6 + -12)?
True
Suppose -3*t = -6*t. Suppose 4*g - 42 = -2*n + g, t = 5*n + 3*g - 96. Is 9 a factor of n?
True
Let n be (-1122)/(-30) - (-2)/(-5). Is n/(-3)*-3 + 2 a multiple of 15?
False
Let i(l) = 7*l - 8. Let x(c) = -13*c + 15. Let n(s) = -7*i(s) - 4*x(s). Is n(5) a multiple of 6?
False
Let n(u) = -4*u**2 + 4*u + 2. Let q be n(5). Let p be 4/(-6) - q/(-18). Let d = 31 + p. Is 13 a factor of d?
True
Suppose 7*b = 4*b. Suppose -5*o + v + 49 = b, 4*v - 29 = -5*o - 0*v. Is 5 a factor of o?
False
Let b(y) = -y + 1. Let w be b(1). Is (54 - -1) + (w - 3) a multiple of 15?
False
Let c = -40 + 84. Suppose -2*n - 2*n = -c. Does 11 divide n?
True
Let b(s) = s**2 + s - 1. Let o be 6/18 + 5/3. Let x be b(o). Does 12 divide (24/10)/(1/x)?
True
Let f(h) = 19*h**2 - 2*h - 3. Is 33 a factor of f(-2)?
False
Let o(m) = 2*m**3 + 3*m**2 - 2*m + 3. Is o(2) a multiple of 9?
True
Suppose -41*d = -40*d - 151. Does 37 divide d?
False
Let h(f) be the third derivative of f**6/120 - f**5/15 + 5*f**4/24 - f**3 - f**2. Suppose -2*r - 2*r + 16 = 0. Is 14 a factor of h(r)?
True
Does 21 divide 5 + 0 + 228/6?
False
Suppose 0*h - 3*h - 4*i + 236 = 0, -5*h + 4*i = -372. Is h a multiple of 19?
True
Suppose -6*m + 368 = -262. Is m a multiple of 35?
True
Let c = 4 + -7. Let o(m) = -2*m - 2. Let u be o(c). Suppose 0*b + 24 = j + u*b, 3*b = 2*j - 26. Is 16 a factor of j?
True
Suppose 4*h - 108 = f + 3*f, -126 = -4*h - 2*f. Is 6 a factor of h?
True
Let y be (-3)/(-4 + 1) + -1. Let i be y/((-3 - -2)*-1). Suppose i = -0*n - 3*n + 135. Is 15 a factor of n?
True
Let l = 83 + -53. Suppose 0 = 3*b - l + 9. Is b a multiple of 2?
False
Let n(m) = m**3 + 8*m**2 + 7*m. Let q be n(-7). Suppose q = -3*g - 13 + 52. Does 12 divide g?
False
Let y = -8 + 16. Let o(t) be the third derivative of t**6/120 - 3*t**5/20 + 5*t**4/12 + 2*t**3/3 - 3*t**2. Does 7 divide o(y)?
False
Suppose 0 = 4*m - m + 2*o + 5, -m = 2*o + 3. Is 1 + 31 + 2/m a multiple of 15?
True
Let k(n) = -2*n - 6. Let j be k(-7). Suppose 7*t - 2*t = 4*a + j, -3*t - 3*a = -21. Is 10 a factor of 0/t - (1 - 23)?
False
Suppose 0 = -5*p + 205 + 400. Let s = p + -26. Is s a multiple of 25?
False
Let p(r) = r**2 + r + 5. Let h be p(0). Suppose -2*j = -2*u - 10, h*j - 1 - 16 = u. Suppose 0 = -4*v - 4, -j*s - 2*v + 7*v = -26. Is 6 a factor of s?
False
Suppose 4*p + 3*c - 528 = 0, 5*p - 2*c = -297 + 957. Suppose -3*k = 3*t - p, 116 = -0*k + 3*k - t. Suppose -s = 3*s - k. Is s a multiple of 10?
True
Let g(c) = c + 2. Let b = 16 + -8. Is 3 a factor of g(b)?
False
Suppose -a - 4 = -r - 3*r, 4*r + a = -4. Let q(p) = -p**2 - 19. Let k be q(r). Let l = -9 - k. Is l a multiple of 5?
True
Let x = -12 + 43. Let g = 0 - -4. Suppose -g*u + x = 11. Does 2 divide u?
False
Suppose 105 = -2*j + 3*g + 35, -86 = 3*j + 5*g. Suppose 26*p - 30*p + 216 = 0. Let s = j + p. Is s a multiple of 12?
False
Suppose -3*o - 2*k + 5*k = 39, -9 = 3*k. Let t be 4/(-4)*(o + 0). Let b = 32 - t. Does 16 divide b?
True
Let r(x) = x**3 - 5*x**2 + 7*x - 4. Let t(v) = 3*v + 1. Let f be t(1). Does 4 divide r(f)?
True
Let t(l) = l**3 - 3*l**2 - 3*l - 4. Suppose -5*q - 3 = -23. Let z be t(q). Does 2 divide 1 + (z - 4) + 5?
True
Suppose -2*k = -2*n - 34, 4*k - 2*n - 38 - 34 = 0. Does 6 divide k?
False
Let z = -121 - -171. Let i = 8 + z. Is i a multiple of 13?
False
Let g(z) be the second derivative of -z**5/20 + 5*z**4/4 + z**3/6 - 9*z**2/2 - 4*z. Is g(15) a multiple of 2?
True
Let h(s) = -s**2 - 4*s - 7 + 0*s - s**3 - 6*s**2 - 4*s. Is h(-6) a multiple of 4?
False
Is 34 a factor of 1589/21 + 4/(-6)?
False
Suppose 4*x + x - 25 = 0.