**3. Is r(7) a multiple of 7?
True
Let x(v) = -2*v - 1. Let u be x(-11). Suppose 6*f = 3*f + u. Is f a multiple of 7?
True
Suppose 40 = 5*k - o, 3*k - 22 = 5*o - 4*o. Does 2 divide k?
False
Let t(o) = o**3 - 6*o**2 + 2*o - 4. Let j be t(6). Suppose -d - 1 + j = 0. Is 2 a factor of d?
False
Suppose 2*d - d = -k - 28, k = -2*d - 56. Let o = 16 + d. Does 6 divide (-4)/o - (-40)/6?
False
Let s(y) = 4*y**3 - 5*y**2 - 8*y - 7. Let p(x) = 9*x**3 - 10*x**2 - 17*x - 15. Let j(v) = -3*p(v) + 7*s(v). Is j(6) a multiple of 2?
True
Suppose -5*f - s = -26, -24 = -4*f - 5*s + 1. Let d = -5 + f. Let n = 5 - d. Does 3 divide n?
False
Let l(m) be the first derivative of m**3/3 - 3*m**2 - 4*m - 9. Is l(-4) a multiple of 18?
True
Suppose 2*w = -2*w + 16. Suppose -4*a + 8 = 2*v, a - 5 + 3 = -3*v. Suppose v = w*u - 64 - 32. Does 16 divide u?
False
Let m = 367 - 234. Is m a multiple of 44?
False
Let t be (-3)/((-3)/8) + -3. Suppose -h + 432 = t*p, 0*p + 4*p - 2*h - 354 = 0. Suppose 0 = -3*o - 15 + p. Is 13 a factor of o?
False
Suppose v + 5*a - 72 + 3 = 0, -3*a = 0. Is 23 a factor of v?
True
Let p(g) = g**3 - 3*g**2 - 2*g + 4. Let k(h) = -h**3 + 3*h**2 + 2*h - 5. Let o = -4 - -1. Let u(j) = o*p(j) - 2*k(j). Does 4 divide u(3)?
True
Let g(v) = 8*v - 7. Let f be g(8). Suppose h + f = 2*h. Does 19 divide h?
True
Let q be -1 - 46/(-4)*2. Let r(o) = o**2 + o + 4. Let i be r(0). Let c = q - i. Is c a multiple of 9?
True
Suppose 2*j = -3*j + 15. Suppose 0 = -j*p - 2*p + 35. Is 7 a factor of p?
True
Let o(w) = 5*w**2 - 1. Suppose 3*u - 12 + 3 = 0. Suppose 0 = 4*g + 2*j - 10, 0*g = -2*g - u*j + 11. Is 4 a factor of o(g)?
True
Let o(l) = l**3 + l**2 + l. Let z be o(-1). Let s(w) = -27*w + 1. Does 28 divide s(z)?
True
Let j(k) = -2*k + 6. Let m be j(6). Does 20 divide 24/20*(-400)/m?
True
Suppose 5*b = -4*l - 114 + 26, 3*l = b + 10. Let d = 56 + b. Does 29 divide d?
False
Let t be (-6)/(-9) - (-55)/3. Let i = t + 5. Is i a multiple of 6?
True
Let c be 1/1*(4 - 1). Suppose 2*w = -c*w + 15. Is 3 a factor of w?
True
Let h = 21 - -1. Is 11 a factor of h?
True
Suppose 4*t - 63 = 3*o, 15 = 5*t + 4*o - 56. Let b be (1 - 2)/(12/24). Let g = b + t. Is 7 a factor of g?
False
Let t = 33 + 0. Let j = t - 9. Is 7 a factor of j?
False
Let b(s) = -s**2 - 19*s - 28. Let h be b(-20). Let c = 11 + -30. Let j = c - h. Is j a multiple of 14?
False
Let h(y) = 2*y. Let k be h(3). Let p be k/4*102/(-1). Is 7 a factor of p/(-21) + (-4)/14?
True
Is 1636/7 + 4/14 a multiple of 9?
True
Let j(p) = -p**3 + 10*p**2 - 8*p - 13. Does 13 divide j(7)?
True
Does 3 divide (-280)/(-88) - 4/22?
True
Let m(y) = 2*y**2 - 14*y + 8. Does 32 divide m(12)?
True
Let s(m) = 7*m**3 + 17*m**2 - 15*m + 16. Let v(k) = 3*k**3 + 8*k**2 - 8*k + 8. Let l(w) = 2*s(w) - 5*v(w). Is 21 a factor of l(-8)?
False
Let o(y) = 3*y**2 + 6*y. Let t be -4 + 2 + 0 + -2. Is o(t) a multiple of 12?
True
Let b(m) = 24*m - 1. Suppose -4*i + 5 = i. Does 10 divide b(i)?
False
Let p(w) = w**3 + 2*w**2 - 7*w - 10. Let d be p(-3). Let v(r) = -1 - 2*r + 5*r**3 + 2*r. Does 13 divide v(d)?
True
Let m(r) = 17*r - 1. Let k be m(2). Let g = 5 - k. Let l = -19 - g. Does 3 divide l?
True
Suppose 0*p - l = -p + 11, 0 = -5*l - 5. Is p a multiple of 5?
True
Let z(a) be the first derivative of 2*a**2 + 12*a - 4. Is z(9) a multiple of 12?
True
Is 11 a factor of ((-12)/(-4) - 31)/((-6)/39)?
False
Let h(x) = 6*x**2 - 10*x + 12. Is 34 a factor of h(5)?
False
Let i = 18 - 15. Let v = 2 + i. Is v a multiple of 5?
True
Let p(l) be the first derivative of -l**4/6 + l**3/2 - l**2/2 - 1. Let c(f) be the second derivative of p(f). Is c(-5) a multiple of 12?
False
Let f be 951/(-15) + 4/10. Let h = f - -112. Is h a multiple of 19?
False
Let c(p) = p**2 - 6*p - 3. Let n be c(7). Suppose t = -n*a - 2*t + 4, t = -4. Is 17 a factor of (-8)/2*(-34)/a?
True
Let u(k) be the first derivative of -k**2/2 - 3*k + 2. Let b be u(7). Is 7 a factor of (-1)/2 + (-205)/b?
False
Let t be 0*(-1)/(-2) + 0. Suppose q - v - 9 = t, v + 21 = 4*q + 2*v. Is q a multiple of 2?
True
Let x = 48 + 107. Suppose -5*g = -5*t - 220, 0*g + 4*g + 3*t - x = 0. Is 11 a factor of g?
False
Suppose 4*f = 2*f - 16. Let n be (-4)/f + (-18)/(-4). Let d = n - 0. Does 5 divide d?
True
Let c be 220/(-8) + 3/6. Is 1/((5/c)/(-5)) a multiple of 27?
True
Suppose 4*u - 2 = 2*a, a = 5*u - 8 + 1. Let o be ((-9)/a)/(-3) + 4. Suppose -25 = -o*i + 25. Is i a multiple of 10?
True
Let a = 7 - -6. Suppose 9 = x - t, a + 3 = 2*x - t. Let f(g) = 2*g**2 - 10*g - 1. Is 13 a factor of f(x)?
False
Let o(b) be the third derivative of b**5/20 - b**3/6 + b**2. Let c be o(-1). Suppose 0 = g - c*g + 18. Is 14 a factor of g?
False
Let p be (36/(-15))/(3/(-15)). Let l = p + -5. Let q = 19 - l. Does 4 divide q?
True
Does 14 divide 564/10 - 8/20?
True
Let z = 105 - -37. Let x = 200 - z. Is x a multiple of 11?
False
Let k be 2 + -4 - (-16 - 1). Suppose 2*j = 15 + k. Does 5 divide j?
True
Suppose g + 3 = 5. Suppose -b - g*b = -153. Is b a multiple of 16?
False
Let g = -82 - -206. Let w = -72 + g. Suppose 0 = -5*j + w + 33. Does 11 divide j?
False
Let p = 10 + -10. Suppose -3*s = -5*q - 34 - 102, -q - 2 = p. Is s a multiple of 12?
False
Suppose 5*w = -0*w - 20, -484 = -4*r + 5*w. Is r a multiple of 16?
False
Suppose 4*j - 113 - 371 = 0. Is 13 a factor of j?
False
Let f(y) = -7*y + 21. Is 21 a factor of f(-9)?
True
Let b(w) = -2*w**2 + 2*w. Let f be b(2). Let x = 11 + f. Is x a multiple of 6?
False
Let c(o) = -5 - 2*o + 2 - 5. Let n be c(-6). Suppose n*m - 14 = 2*m. Does 3 divide m?
False
Let c be (8/(-6))/(16/(-24)). Suppose -5*t + 4*g = -7 - 21, -c*t = -2*g - 12. Is t a multiple of 3?
False
Let z(v) be the first derivative of -v**2 - v + 2. Let h be z(-4). Suppose 0*o = o - h. Does 7 divide o?
True
Suppose 0*f = 2*f + 5*k + 98, f = 3*k - 49. Let z = -31 - f. Is 8 a factor of z?
False
Suppose 3*c = -0*c + 228. Is c a multiple of 19?
True
Let y = -10 + 4. Let v = 25 + -29. Is 7 - (-3)/(y/v) a multiple of 7?
False
Let s(u) = u + 202. Does 34 divide s(0)?
False
Suppose -f = 2*s + 2*f - 45, 170 = 5*s - 4*f. Does 15 divide s?
True
Is (4/14)/(8/168) a multiple of 2?
True
Suppose -10 + 6 = -s. Suppose -46 = -s*w + 58. Does 13 divide w?
True
Let b be (2 - 1)*(-1 - -7). Suppose 2*n + 5 = 3*w, 2*n + 3*n = -2*w + 16. Suppose w*h - h = b. Does 2 divide h?
False
Let a(n) = n**2 + n - 2. Let c = 5 + -2. Suppose -23 = -5*k - c. Is 9 a factor of a(k)?
True
Suppose -225 = -4*x - 3*o, x + 4*o = 2*x - 80. Does 19 divide x?
False
Let l(o) = -3*o + o + 3*o + 10*o**2. Is 5 a factor of l(-1)?
False
Suppose l - 19 = -6. Suppose -2*u = -l - 13. Does 5 divide u?
False
Let g(s) = -s - 1. Let k = 7 + -10. Let r be g(k). Suppose v = -r*v + 27. Is v a multiple of 4?
False
Suppose 2*u + u = 0. Suppose x - 31 + 8 = u. Does 17 divide x?
False
Let x(c) = -c**2 + 10*c - 10. Is 2 a factor of x(7)?
False
Suppose -4*s + 180 = -0*s. Is s a multiple of 15?
True
Let p = 10 + 8. Is 530/45 + 4/p a multiple of 4?
True
Let z = -8 - -14. Let r be (70/3 - 1)*z. Let h = r - 92. Does 14 divide h?
True
Let i = 0 - -3. Suppose -x = -1, -2*a + 17 = i*x - 136. Suppose -h - 4*h + a = 0. Is 9 a factor of h?
False
Let i(j) = -6*j - 29. Is 10 a factor of i(-9)?
False
Suppose -3 = i - 4. Is 10 a factor of (i + 0)/((-1)/(-17))?
False
Let o be (-9 - (-3 - -1))*-4. Suppose 4*p - o = 3*p. Suppose -l + p = l. Is 7 a factor of l?
True
Let n = 10 + -5. Suppose f - 5*f + 8 = n*w, -5*w = -5*f + 10. Let y(j) = j + 16. Does 16 divide y(w)?
True
Is -2 + 1 - (-13 - 0) a multiple of 3?
True
Let b = 1 - -7. Let y = b - -20. Is (7/y)/((-1)/(-44)) a multiple of 6?
False
Let k(a) = a**2 - 5*a + 3. Let g be k(5). Suppose -3*h + 2 = -4*m, -h = -g*m + h - 2. Let n(p) = p**2 + 2*p + 3. Does 2 divide n(m)?
False
Suppose 4*v = x - 11, 2*x - 4*v + 3*v = -6. Let s(u) = u**2 + 3*u - 6. Let r be s(x). Suppose -r*g = -14 - 66. Does 8 divide g?
False
Suppose -4*m + 179 = -101. Is 34 a factor of m?
False
Suppose 0 = -o + 74 - 64. Does 2 divide o?
True
Let u = -1 + -4. Let t = 35 - u. Is 20 a factor of t?
True
Suppose -k - 10 = -2*p, -5*p = -k - 29 + 10. Let j = p - -6. Is 9 a factor of j?
True
Let l(m) = -3 + 3 - m + 0*m - 2. Let n be l(-2). Suppose -5*q + 10*q - 200 = n. Does 20 divide q?
True
Let d(f) = f**3 + 5*f**2 + 4*f. Let l be 