5*z = 2*m - 16. Is 9 a factor of m?
True
Let g = -61 - -87. Does 26 divide g?
True
Let z = -1 + 4. Let v(w) = w. Let n be v(z). Suppose n = h - 3. Does 6 divide h?
True
Suppose 5*l - 42 - 296 = -3*t, 3*l + 2*t = 203. Let h = l + -29. Is h a multiple of 12?
False
Let d(g) = -20*g + 5. Is 3 a factor of d(-1)?
False
Let k(y) = -28*y - 3. Suppose 0 = 2*l + 2 + 2. Does 26 divide k(l)?
False
Suppose -15*k + 12*k = -234. Does 26 divide k?
True
Let i = 80 + -14. Is 10 a factor of i?
False
Suppose -16 - 10 = -a. Suppose 4 - 13 = b. Let h = a + b. Is h a multiple of 6?
False
Let v(z) = 4*z**2 + 2*z + 10. Is 11 a factor of v(-4)?
True
Suppose -3*p = 4*f - 4, -4*p - 32 + 4 = -3*f. Let l(q) = -q**2 + 7*q. Let d be l(7). Suppose -f*u - u + 50 = d. Is 10 a factor of u?
True
Let j be 2/(-6) + (-142)/(-3). Let f = j - 32. Does 6 divide f?
False
Suppose 5*l + 3 = -2. Let u(p) = -11*p + 1. Let o be u(l). Does 7 divide 177/o - (-1)/4?
False
Let h(p) = p**2 - 4*p + 9. Is 6 a factor of h(4)?
False
Let n be 2 + 12/(0 - -2). Let u(a) = -a**3 + 9*a**2 - 3*a + 3. Is 10 a factor of u(n)?
False
Let n(g) = g**2 + 8*g - 1. Let w(o) = 4*o**2 + 33*o - 3. Let u(j) = -9*n(j) + 2*w(j). Is u(-5) a multiple of 4?
True
Suppose 37*q - 36*q = 12. Is q a multiple of 6?
True
Does 16 divide (-32)/(48/30 - (-4)/(-2))?
True
Let k(a) = -a**3 - 3*a**2 - a + 2. Let x be k(-2). Does 13 divide (0 - x) + 1 + 43?
False
Let p(h) = -4*h + 7. Let y(u) = -5*u + 8. Let w(o) = 7*p(o) - 6*y(o). Let v be w(4). Suppose 0 = 2*r - 11 - v. Does 10 divide r?
True
Does 3 divide 9*4/(6 - 2)?
True
Let u = -4 + 4. Suppose 2*b = 6 - u. Is 12 a factor of -39*((-2)/b)/1?
False
Suppose s + 1 = 0, -2*q + 2*s + 74 = q. Does 4 divide q?
True
Let c(s) = -s**2 + 12*s - 13. Does 23 divide c(6)?
True
Let d(h) = h**2 + 7*h - 26. Is d(-12) a multiple of 17?
True
Let l(i) = 4*i - 2. Let r be ((-2)/(-6))/((-5)/(-60)). Does 14 divide l(r)?
True
Let f(g) be the third derivative of -5*g**4/24 - 2*g**3/3 + 2*g**2. Is f(-5) a multiple of 13?
False
Let d = -25 + 27. Suppose -d*i + 124 = 14. Is 13 a factor of i?
False
Suppose -3*g + 43 = -4*s, g - 7 + 18 = -5*s. Suppose 13 = 2*c + 1. Does 14 divide (-27)/((g/c)/(-1))?
False
Let r = 208 + -140. Does 34 divide r?
True
Let t = 140 + -97. Is t a multiple of 2?
False
Let a(k) = k + 7. Let t be a(-7). Let o = 14 + t. Does 14 divide o?
True
Does 5 divide 11/2 + 1/(-2)?
True
Let r(x) = -7*x**2 - 4*x - 4. Let q be r(-3). Let a = 22 + q. Is 3/(a/(-15) + -2) a multiple of 9?
False
Is (1 - -10 - 4) + -3 a multiple of 2?
True
Suppose 47*c = 46*c + 133. Is c a multiple of 15?
False
Let n(j) = j**3 + 3*j**2 + 3*j + 2. Let u be n(-2). Suppose 5*w + 3*x - 17 - 28 = u, -3*w + 5*x = 7. Does 6 divide w?
True
Suppose -5*b - l + 3*l = -22, -l = 1. Suppose 8 = 2*c, -b*t + 102 = -t - 3*c. Does 18 divide t?
False
Let j be 4 - (0 + (-3 - -2)). Let f = j - 11. Let s = f - -13. Is s a multiple of 7?
True
Let u be (4 - 3) + 8/(-2). Let i = 19 + u. Is i a multiple of 8?
True
Let i = 11 + -22. Let w = 24 - i. Let c = -10 + w. Is c a multiple of 10?
False
Suppose w + 5*i = -195, 0*w = 4*w + 2*i + 690. Let n = 278 + w. Is 23 a factor of n?
False
Let q(y) = 2*y**2 + 3*y + 1. Let i be q(-2). Suppose -1 = a + x - 6, -3*a - x + 23 = 0. Suppose i*s - a = 15. Is s a multiple of 4?
True
Let r be ((-104)/(-12))/((-2)/(-6)). Let d be 4*r/4 - 2. Is 6 a factor of 7*(d/(-14))/(-1)?
True
Let w be (2/(-3))/((-6)/1089). Suppose -28 + w = 3*g. Suppose 2*z - g - 17 = 0. Does 9 divide z?
False
Suppose -u = -0*u - s - 46, s = -2*u + 77. Suppose n - 11 - u = 0. Is 24 a factor of n?
False
Suppose -3*m = 2*d + 12, 0*d = -2*m - 2*d - 10. Let n be (m - 1)/((-6)/20). Is (-4)/n*3*-5 a multiple of 6?
True
Suppose 3*i - 4*i + 41 = 0. Is i a multiple of 7?
False
Let z = 10 + -7. Suppose -64 = -2*k - 2*k - 4*i, 16 = k + z*i. Suppose 2*q - k - 12 = 0. Does 7 divide q?
True
Let f be (-132)/(-34) - 4/(-34). Suppose -4*z = -2*i - 50, f*z + 3*i - 4*i - 53 = 0. Does 14 divide z?
True
Suppose 0 = 12*t - 19*t + 161. Does 18 divide t?
False
Let q = -40 + 70. Does 16 divide q?
False
Let n = 3 - 3. Suppose 4*x + n*x = 156. Does 17 divide x?
False
Suppose -4*r + 2*w + 42 = 0, 2*r + r + w - 29 = 0. Suppose j - 3*j = -r. Does 5 divide j?
True
Suppose 10*b = -0*b + 960. Is 12 a factor of b?
True
Let i(m) be the third derivative of m**4/8 + 5*m**3/6 - m**2. Let t be i(4). Let w = t + -7. Is 5 a factor of w?
True
Let v = 7 + -1. Suppose -2*f = -c + 24, 94 = 4*c - 4*f + v. Is 6 a factor of c?
False
Let j(a) = -3*a + 9. Let t(g) = -7*g + 19. Let i(x) = -5*j(x) + 2*t(x). Let s be i(-6). Is 2 a factor of (-9)/(-12) - s/4?
True
Let o(h) = -h**3 - 2*h**2 - 2. Let k be o(-2). Let u be 64/28 + k/7. Is 11 a factor of u + (-18)/(2/(-1))?
True
Suppose 3 = 2*i + n, -3*i + n + 2*n = 18. Let o be i + 3 + (-1 - -1). Suppose o*w + w + 4*c = 68, -3*c + 47 = 2*w. Does 8 divide w?
True
Suppose -2 + 8 = 2*b. Let h(l) = -5*l**2 + 5*l**2 - b*l**3 - 2*l + l**2 - 1. Does 14 divide h(-2)?
False
Let n(z) = 3*z + 13. Let t be n(-10). Suppose -3*s - 27 + 114 = 0. Let j = t + s. Does 9 divide j?
False
Let i(t) be the second derivative of 5*t**4/12 - t**3 - 3*t**2 + 3*t. Is 30 a factor of i(5)?
False
Suppose -2*b + 0*b + 4*v = -66, -3*b + 2*v = -107. Is 15 a factor of b?
False
Let s = -23 - -27. Suppose -s*x - 5*l + 98 = 0, x + x = 4*l + 36. Is 11 a factor of x?
True
Let i = 4 + -93. Let w = 139 + i. Is w a multiple of 25?
True
Let f(k) = 5*k - 11 - 4*k + 10 + 17*k**3. Does 17 divide f(1)?
True
Is 40 a factor of 155*((3 - 0) + 8/(-4))?
False
Let w = 10 + -7. Suppose -2*n = 3*n - 2*v - 125, 5*n + w*v = 125. Suppose -14 = -3*p + n. Is p a multiple of 13?
True
Suppose -3*y - 2*u = -u - 231, -u = -y + 73. Suppose o = -o + y. Is o a multiple of 18?
False
Let s(v) = v**3 + 5*v**2 - 2*v - 1. Let b be s(-5). Let z = 15 + b. Does 24 divide z?
True
Suppose 20 = 3*o - 5*b, -5*b - 8 = -2*o - 3*b. Suppose f - 6*y + y - 21 = o, -18 = -f + 4*y. Does 2 divide f?
True
Let j be 7/2 - (-2)/(-4). Suppose -5*u + 140 = 2*k, 0*u + 5*k = -j*u + 65. Suppose 0*z - 3*z = -u. Is 5 a factor of z?
True
Suppose -3*n - 2*n + 260 = 0. Does 3 divide 1/4 - (-143)/n?
True
Suppose 1 = -2*k + 7. Let u(t) = -3*t - 4*t - k - t. Does 5 divide u(-2)?
False
Suppose 5*g + m - 115 = 0, 5*g + 3*m = -53 + 158. Is g a multiple of 4?
True
Suppose -4*u = -4*o + 635 + 201, 4*u + 209 = o. Suppose 274 = 4*x - 2*b, -3*x + o = 3*b - 8*b. Suppose -3*f + x - 20 = 0. Is 16 a factor of f?
True
Suppose 19*w - 216 = 17*w. Does 9 divide w?
True
Suppose -3*c - 56 = -5*c. Suppose -3*n + c = -2*n. Is 14 a factor of n?
True
Suppose 3*b - 16 = -b - 4*n, -8 = -2*b - 4*n. Let w = b - -2. Is 3 a factor of w?
True
Suppose -6*j + j = 0, 0 = -4*u - 5*j + 88. Is u a multiple of 22?
True
Suppose 148 + 12 = -5*u. Let d = u - -54. Is 11 a factor of d?
True
Suppose 21 - 2 = 4*m + i, -28 = -4*m - 4*i. Does 7 divide (-3)/(-12) + 63/m?
False
Let x be ((-3)/(-2))/(9/(-264)). Let g = x - -81. Is g a multiple of 16?
False
Suppose -2*a = 2*a + 72. Is (-12)/54 + (-310)/a a multiple of 17?
True
Suppose 2*j - 29 = 83. Suppose j = -3*t + 11. Is 8 a factor of 134/6 - 10/t?
False
Let r = 5 + 1. Let s(f) = 7*f - 4. Does 19 divide s(r)?
True
Let w(u) = -11*u + 1. Let p be w(-5). Suppose 7*q + 40 = 6*q. Let f = p + q. Is 8 a factor of f?
True
Let a be 14 + 1 + (1 - 0). Does 12 divide a/24 + (-140)/(-6)?
True
Let h be (-3)/(-6)*-3*2. Let d(o) = -o**3 - 2*o**2 - 4*o - 1. Is d(h) a multiple of 10?
True
Let f = 37 + -24. Is f a multiple of 13?
True
Suppose 0*j + 2*j - 2*z = 8, 0 = -5*j - 3*z + 20. Suppose 0 = 5*g - l - 275, -3*l - 2*l = -j*g + 220. Is g a multiple of 17?
False
Let b(m) = m - 1. Suppose 5*z + 39 = 99. Does 7 divide b(z)?
False
Suppose -24 = -0*g - 3*g. Let w(t) = 4*t**2 - 1 + 2 + g*t**2. Is 8 a factor of w(-1)?
False
Let x = -51 - -80. Is x a multiple of 29?
True
Let h be 16/3 - 1/3. Suppose -h*x = -x. Suppose q - 28 = -x*q. Is 11 a factor of q?
False
Let o(i) = 4*i**2 - 2*i - 3. Let f be o(3). Suppose -3*m + q = 4*q - f, 5*m - 81 = 4*q. Is m a multiple of 4?
False
Suppose 1 = -3*u + 7. Does 10 divide u/(-11) + 1398/66?
False
Suppose 2*b = -5*f - 0*b + 25, 15 = 3*f - 5*b. Suppose 22 = 3*l - f. Does 9 divide l?
True
Let w(y) = -y - 13. Let o be w(-15). Suppose 0 = 2*