j) = j + 3. Let x(s) = -28*o(s) - 6*v(s). Let k be x(-1). Suppose 0 = k*m - 7*m + 18. Is m a multiple of 3?
True
Let g(i) = -2*i - 2. Let u be g(2). Suppose -2*r - 3*n - 61 = 0, 0*r - 4*r = -n + 101. Does 6 divide (r/6)/(2/u)?
False
Suppose 24 = -2*i - 2*i + 2*l, -2*l = 3*i + 4. Let j = -10 - i. Let v = 19 + j. Does 13 divide v?
True
Suppose -5*d + 5*o = -25, -2*d - 2*o + 0 = 2. Suppose d*b + b = 6. Suppose b*i - 65 = -3. Is 16 a factor of i?
False
Suppose -j - s = 2*s - 74, j + 4*s - 71 = 0. Let d = 119 - j. Does 18 divide d?
True
Let p(u) = u - 2. Let r be p(5). Suppose -6*v = r*f - v - 47, -3*v = 5*f - 73. Is f a multiple of 14?
True
Let j(a) = -a**2 - 7*a - 1. Let t be j(-6). Suppose 2*n - 148 = -t*w - 33, n + 4*w - 65 = 0. Is n a multiple of 15?
True
Let u(f) = 4 - 4 + 4*f**2 + 6*f - f**3. Let g be u(5). Suppose g*a - 14 = 4*a. Does 14 divide a?
True
Suppose 4*u + 158 - 658 = 0. Suppose -5 = x - 5*i, 2*i - u = -5*x - 3*i. Does 10 divide x?
True
Suppose -r - 3*r - 2*d = -278, -4*d - 12 = 0. Suppose 0 = 2*m - 5*f - 19 - 19, 0 = -3*m + 4*f + r. Is 14 a factor of m?
False
Is 3 a factor of ((-3465)/10)/9*36/(-21)?
True
Let y(r) = -6*r - 13. Is y(-18) a multiple of 12?
False
Suppose 4 = -2*j - 6. Let h = 8 + j. Does 2 divide h?
False
Let w be 1/2 + 2/(-4). Suppose w = -5*b - 4*f + 6*f - 102, 5*f = 3*b + 46. Let k = 33 + b. Is k a multiple of 5?
False
Suppose f - 1489 = -5*o, -4*o + 298 + 895 = -f. Is o a multiple of 12?
False
Let l = -25 + 41. Is 8 a factor of l?
True
Let r = 22 + -18. Is 207/5 + r/(-10) a multiple of 11?
False
Suppose o + u + 20 = 6*u, -3*u + 40 = 5*o. Let s = 7 + o. Does 4 divide s?
True
Let t(u) be the first derivative of 3*u**4/4 + u**3/6 - u**2 - 3*u + 2. Let z(d) be the first derivative of t(d). Is 11 a factor of z(-2)?
False
Suppose 380 = 3*a + 77. Is 14 a factor of a?
False
Is 13 a factor of 351/18*(-12)/(-9)?
True
Let g(v) = -v**2 - 8*v - 3. Let m be g(-7). Suppose 2*i = m*a + 10, 3*a + 3*i = 5*i - 7. Let x(f) = -2*f - 3. Is x(a) a multiple of 2?
False
Suppose 0 = -2*b + 2*l - 0*l + 260, 4*l + 654 = 5*b. Suppose 2*k - b = -4*d, 0*d - 2*d - 4*k = -52. Is d a multiple of 8?
False
Suppose 5*s - 22 = 4*p, p + 3*p = -5*s - 2. Is 2 a factor of s?
True
Suppose -4*t + 24 = 2*t. Suppose 0 = t*o + 1 - 409. Is 34 a factor of o?
True
Suppose -4*o + o = -5*i + 1452, 4*o = 4. Suppose -5*k + 3*f = -i, 2*f = 4 + 2. Is 20 a factor of k?
True
Suppose 56 + 144 = 5*l. Is l a multiple of 4?
True
Let y(q) = -2*q + 1. Let l(d) = -3*d + 2. Let k(p) = -3*l(p) + 2*y(p). Is k(4) a multiple of 8?
True
Let y be -2*6/(-9)*-9. Let l = y - -37. Suppose 3*u = -4 + 1, l = 3*h - 4*u. Is h a multiple of 7?
True
Suppose 5*l - 9*l - 2*p = -68, 0 = 5*l + p - 88. Is 2 a factor of l?
True
Suppose -2*p - 7 = 19. Let v(m) = 2*m**2 + 2*m - 2. Let n be v(3). Let u = n + p. Is 3 a factor of u?
True
Let t = -275 - -57. Let m = t - -359. Does 18 divide m/6 + 2/(-4)?
False
Let c = 10 - -14. Is c a multiple of 8?
True
Let k be ((-15)/(-2))/((-9)/(-12)). Does 11 divide (66/15)/(4/k)?
True
Let q(w) = 39*w - 1. Is 8 a factor of q(1)?
False
Let k be 1/((-1)/4*-1). Suppose -41 - 147 = -k*w. Is w a multiple of 18?
False
Let k = -8 - -10. Suppose 6*c = c + k*h + 332, -5*c - 5*h = -325. Does 20 divide c?
False
Let l(k) = 10*k. Is 15 a factor of l(3)?
True
Let p(t) = -t**3 + 23*t**2 - 17*t + 20. Is 20 a factor of p(22)?
False
Suppose 5*p = 5*d, 0 = -6*d + d - 4*p + 9. Let w = 1 + d. Suppose 3*u - 4 = w*u. Is u a multiple of 2?
True
Suppose -29 = 3*p - y, 2*y - 27 = 3*p + 7. Let o(x) = -x**2 - 7*x + 9. Let j be o(p). Suppose j - 33 = -s. Is 16 a factor of s?
True
Suppose 0 = -5*t - 2*g + 18, 0*g - 24 = -4*t - 4*g. Let b be 0/(t - 0) + 1. Suppose 4*l - 48 = -4*q, b + 16 = l + 2*q. Does 7 divide l?
True
Let r(m) = -m**3 + m**2 + m + 66. Suppose 2*d - 5*n = -20, -4*d + d = 4*n - 16. Let l be r(d). Suppose -c - 2*c + l = 0. Is 11 a factor of c?
True
Suppose 5*j - 130 = -5*o, -2*o - 2*j = -3*j - 43. Is 23 a factor of o?
True
Let p(s) = -14*s - 60. Is 18 a factor of p(-10)?
False
Suppose 230 = 2*n - 0*n. Suppose 5*z = 5*t - n, -2*t + t + 8 = 4*z. Does 10 divide t?
True
Suppose 5*l - 123 = -3. Is l a multiple of 6?
True
Let s(d) = -d**3 - 4*d**2 + 2*d + 6. Let x be s(-5). Does 15 divide (-4)/14 - (-951)/x?
True
Let d = -3 + 2. Suppose -4*p = -5*p + 9. Let t = p + d. Is t a multiple of 3?
False
Let g = 17 - -203. Is g a multiple of 44?
True
Suppose 2*b = f + b - 73, -b + 75 = f. Is 14 a factor of f?
False
Suppose 183 = 3*n + 3*j, 3*n + j - 317 = -2*n. Is 3 a factor of n?
False
Let v = -3 - -5. Suppose 2*y + 2*k = 22, 2*k - 21 = -v*y + k. Is y a multiple of 5?
True
Let b = 27 + 7. Does 8 divide b?
False
Let y = 2 + 2. Suppose 2 = -y*m + 10, 2*m = -5*h + 69. Let d = -8 + h. Is 5 a factor of d?
True
Let y(x) = 2*x**2 + x - 1. Let v be 12/10*(-20)/8. Is 13 a factor of y(v)?
False
Suppose -3*t + 36 = -9. Does 3 divide t?
True
Let s(i) = 3*i + 6. Is s(6) a multiple of 24?
True
Let m = 7 - 8. Let d = m - -4. Suppose q + 73 = 3*s + 6*q, -q - 43 = -d*s. Is 8 a factor of s?
True
Let y be 1/(-2) - (-26)/4. Suppose -3*l = -5*x - 7, 4*l + y = x - 2*x. Is (0 + -2 + 1)*x even?
True
Suppose -2*r + 78 = -2*g - 210, -g - 124 = 3*r. Let t = -81 - g. Is 15 a factor of t?
False
Let q be (-520)/(-9) + (-2)/(-9). Let f = q + -40. Is 18 a factor of f?
True
Let c be -3 + 8 + 2/1. Let y(q) = -3*q**3 - 21*q**2 + 11*q - 12. Let v(f) = 4*f**3 + 31*f**2 - 16*f + 18. Let x(r) = 5*v(r) + 7*y(r). Is x(c) a multiple of 17?
True
Suppose -a - h = -6*a + 150, -a + 39 = -2*h. Suppose 2*n = 4*q - 58, 3*q = -4*n + a + 31. Is 8 a factor of q?
True
Suppose -12 = 2*k + 4. Let r(s) = -s**3 - 9*s**2 - 9*s + 2. Let j be r(k). Does 6 divide 5*(0 - (-36)/j)?
True
Is 4888/32 - (-3 + 5)/(-8) a multiple of 9?
True
Is 22 a factor of ((-11)/(-1))/(8/32)?
True
Let c(k) = -k**3 - 7*k**2 - 9*k - 1. Is c(-6) a multiple of 4?
False
Suppose 2*a + 11 = 31. Is 5 a factor of a?
True
Suppose 4*i - 604 = -416. Is i a multiple of 3?
False
Suppose -4*n = -2*k + 96, n - 9 = 4*n. Is k a multiple of 7?
True
Let g(p) = p - 2. Let v be -1 + 14/(5 + -3). Let j be g(v). Suppose 0 = -j*l + 31 + 9. Is l a multiple of 4?
False
Let v(z) = -2*z - 7. Let y be v(-6). Suppose 0 = 2*w + t + 7, 3*t = -y*w - 20. Is 0 - -4 - 2*w a multiple of 6?
True
Let r be 54 + 6/(-2) + 2. Suppose 5*b = 72 + r. Suppose -19 = -4*y + b. Is y a multiple of 11?
True
Let x(d) be the second derivative of 15*d**4/4 - d**3/6 + d**2 - 6*d. Does 23 divide x(1)?
True
Let i(j) = -j**3 + 13*j**2 + 2*j - 4. Is 12 a factor of i(13)?
False
Let r = -112 + 156. Is 11 a factor of r?
True
Let b(q) be the second derivative of q**3/6 + 2*q**2 - 3*q. Is b(9) a multiple of 9?
False
Let t = -92 - -187. Let m be 22/6 - (-2)/6. Is t/m + (-2)/(-8) a multiple of 8?
True
Let x(z) = -z**3 + 5*z**2 - 3*z - 6. Let p(s) = s**3 - s. Let v(q) = -2*p(q) - x(q). Does 4 divide v(-6)?
True
Suppose 156 = 2*f + 4*z, -7*z + 3*z - 8 = 0. Let c(m) = -m - 3. Let a be c(-7). Suppose -12 = -a*h - 28, 3*r - h = f. Does 9 divide r?
False
Let a(j) = 4*j**2 + 4*j + 2. Let o be -2 + 3 + (-3 - 0). Does 10 divide a(o)?
True
Let w = 31 - -25. Is w a multiple of 14?
True
Let u(r) = -4*r + 7. Suppose -2*g - 2*v - 16 = -0*g, v - 22 = 5*g. Does 9 divide u(g)?
True
Suppose -5*h + 216 = -i, -6*h + 2*i + 174 = -2*h. Does 10 divide h?
False
Let x(o) = 3*o**2 - 5*o + 7. Let k(j) = 2*j**2 - 3*j + 4. Let h(z) = 5*k(z) - 3*x(z). Let u be h(0). Is 17 a factor of u/(-5) + 252/15?
True
Suppose 5*l = 15, 2*i - 18 = -0*l - 4*l. Suppose m + i = 30. Is 9 a factor of m?
True
Suppose -3 - 85 = -4*q + 2*u, 0 = 4*u - 8. Does 13 divide q?
False
Suppose -5*b + 3 = -2*b. Let s(z) = 26*z + 1. Is 15 a factor of s(b)?
False
Let m be ((-1)/(-3))/((-4)/(-120)). Is 7 a factor of (1 - (-22)/m)*5?
False
Let a(t) = 2*t + 2*t**2 + 4 - t**2 + 2*t + 1. Does 17 divide a(-6)?
True
Suppose 0*x - x = 0. Let y be (-4)/18 + (-4)/(-18). Suppose x*n + 5*n - 185 = y. Is n a multiple of 15?
False
Is (-20)/50 + 334/10 + 0 a multiple of 11?
True
Let o(l) = -4*l - 13. Is 9 a factor of o(-9)?
False
Suppose f = 5*y - 20, -4*y = 3*f - 5*f - 16. Suppose -y*h = 1 - 25. Is h a multiple of 5?
False
Let k(v) = v**2 + 9*v + 15. Let h be k(-10). Let l = h + -11. Is 14 a factor of l?
True
Let 