110 = -3*i. Let b(o) = -o + 3. Let t be b(-7). Suppose i = x - t. Does 19 divide x?
False
Suppose 5*b - n - 237 = b, 0 = -b + 4*n + 78. Suppose a - b = -a. Is 8 a factor of a?
False
Let w = 872 + -507. Suppose -70 = -5*l + w. Suppose 4*d + r = l, 0*r - 41 = -2*d - 3*r. Does 11 divide d?
True
Let k = 1 + 15. Suppose 0 = -2*y + k + 4. Is 4 a factor of y?
False
Suppose -4*q + 213 + 63 = 5*d, 4*q = -d + 68. Is d a multiple of 18?
False
Let d = -149 - -248. Let m = d - 52. Does 21 divide m?
False
Let n(j) = -5*j - 19. Is 18 a factor of n(-11)?
True
Let i be -1 - -79 - -2 - 2. Suppose i = 5*k + 4*m, -4*k + 64 = -3*m + 7*m. Is 10 a factor of k?
False
Let r(h) = h**3 + 3*h**2 - 4*h. Let v be r(-4). Suppose -5*l = 5*y - 15, v*y + 5*y + 45 = 5*l. Does 3 divide l?
True
Suppose -23 + 93 = 5*y. Let l = y - 10. Suppose l*m - 85 = 27. Is 14 a factor of m?
True
Let o = 7 + -4. Suppose -5*v + 25 = 3*c, -o*c + 26 = -0*c + 4*v. Does 10 divide c?
True
Let x(i) = 22*i + 2. Let y(s) = -11*s - 1. Let o(b) = 6*x(b) + 13*y(b). Is o(-3) a multiple of 16?
True
Let v = -30 - -48. Is 10 a factor of v?
False
Let a = -1 - -5. Suppose r - q = -0*q + 86, 4*q - 360 = -a*r. Does 21 divide r?
False
Let u be (-219)/(-9)*(0 + -3). Let k = -32 - u. Is 12 a factor of k?
False
Let m be -3*(-1)/3*-1. Let b = m + 17. Suppose 4*g + b = 6*g. Is 4 a factor of g?
True
Does 12 divide (-420)/(-12) - (6 + -1)?
False
Let t be 4/(-6)*(-15)/(-2). Does 13 divide 156/(-15)*t/2?
True
Let d be 4/(-8)*5*-2. Suppose d*f + 10 = 80. Does 10 divide f?
False
Let q(i) = 13*i - 3*i**3 + 2*i**3 + 4*i**2 + 8*i**2 - 3*i**2. Is q(10) a multiple of 10?
True
Suppose -20 + 125 = 5*q. Is q a multiple of 3?
True
Suppose 8 = -3*r - 7. Let p = 11 + r. Suppose 4*b + c = 79, 4*b - 2*c - 64 = -p*c. Does 9 divide b?
False
Suppose -10*l - 9 - 81 = 0. Suppose 2*k = -4*d + 6*k - 132, 0 = -d + 5*k - 49. Let s = l - d. Is 20 a factor of s?
True
Suppose 0*b - 75 = 5*b. Let z = b - -45. Does 15 divide z?
True
Let v = 10 + -3. Suppose -232 = -v*b + 3*b. Does 18 divide b?
False
Suppose 5*b = -3*h - 16, 0 = -2*b + 3*h + 2. Let p = b + 18. Is 6 a factor of p?
False
Suppose 69 + 26 = 5*m + 5*f, -4*f = 0. Does 10 divide m?
False
Let x = -63 + 212. Is x a multiple of 13?
False
Is 1 + -5 - (-1 - 35) a multiple of 16?
True
Let i = 6 - -10. Does 16 divide i?
True
Suppose 0 = 4*v + 3*t - 49, -43 = -4*v + t - 2*t. Is 3 a factor of v?
False
Let f(j) = -3*j**2 + 7*j - 99. Suppose -3*d - d = 12. Let u(i) = -2*i**2 + 4*i - 50. Let n(w) = d*f(w) + 5*u(w). Is n(0) a multiple of 18?
False
Does 21 divide (392/(-16))/((-1)/6)?
True
Suppose v - 3 = -0*v. Suppose -4*c + 5*l = -187, -4*c + 4*l + 191 = v*l. Does 16 divide c?
True
Let z(k) = -k**2 + 19*k - 16. Is z(11) a multiple of 36?
True
Suppose -9 = -b - 0. Let m(t) = -t**3 + 8*t**2 + 12*t + 5. Let x be m(b). Let y = -8 + x. Does 12 divide y?
True
Let i(g) = -g**3 + 4*g**2 - g - 1. Let j be i(4). Let l = j - 18. Let h = 43 + l. Is 17 a factor of h?
False
Suppose -2*u + 12 = -4*y - u, -5*y - 14 = -u. Let w be (-1)/(1/y) + 1. Suppose 0*s + 96 = w*s. Does 18 divide s?
False
Suppose -t - 144 = -4*s, 3*s + 5*t + 55 = 4*s. Let f = -15 + s. Is 10 a factor of f?
True
Let l = -56 - -180. Let n = 10 + -6. Is (2/n)/(2/l) a multiple of 15?
False
Let v = -4 + -3. Let x(d) = -2*d - 9. Is x(v) a multiple of 4?
False
Suppose 2*f - 4*m = 192 + 148, -170 = -f + m. Is 10 a factor of f?
True
Let p(n) = 2*n**3 - 5*n**2 + 3*n + 5. Is p(4) a multiple of 13?
True
Let h(y) = 48*y. Let v(t) be the second derivative of t**4/12 - t**3/6 - t**2/2 - t. Let s be v(-1). Is h(s) a multiple of 18?
False
Suppose -4*h = 2*x - 5*h + 44, 5*x + 110 = 5*h. Let t(d) = -d**3 - 6*d**2 + 10*d + 8. Let u be t(-7). Let v = u - x. Does 5 divide v?
False
Suppose -4*j + 16 = -3*i, -3*i + i = 8. Let c(u) = 15*u - 1. Is 9 a factor of c(j)?
False
Let q(o) be the second derivative of 0*o**3 + 2/5*o**5 - o + 0*o**4 + 0*o**2 + 0. Does 8 divide q(1)?
True
Let b = -103 - -73. Does 6 divide 2/(-6) - 280/b?
False
Let o(v) = -v**3 + 2*v**2 + 3*v - 1. Let x be o(3). Let p be x/(-4) - (-95)/20. Let i = 5 + p. Is 4 a factor of i?
False
Suppose i = 5*d + 4*i + 13, 4*d + 3 = 5*i. Is 8 a factor of -2 + 14 + 0/d?
False
Suppose h + 3*c - 8 = 0, -3*h - 4*c = -16 - 3. Let w = 23 - h. Does 10 divide w?
False
Suppose 9 = -2*k + 5*k. Suppose -21 = -3*y + 3*c, -k*y + 36 = 4*c - 20. Does 10 divide y?
False
Let m(j) = 3*j + 4. Let a(b) = 1. Let u(c) = 4*a(c) - m(c). Suppose 4*i - 3 = 5*i, -7 = 5*x - i. Is 3 a factor of u(x)?
True
Is 21*(0 + (-36)/(-21)) a multiple of 9?
True
Let r(x) = -3*x**3 - 4*x + 8. Let g(c) = 4*c**3 + c**2 + 3*c - 9. Let j(d) = -4*g(d) - 5*r(d). Is j(-6) a multiple of 20?
True
Let u(c) = c**2 - 7*c + 1. Let t be u(-5). Suppose -4*d - 4*a = d - 96, -a - t = -3*d. Is 4 a factor of d?
True
Does 25 divide 3/(4 + (-1594)/400)?
True
Suppose -t + 4 = 2. Is 5 a factor of (-3)/6 + 31/t?
True
Let i(q) = 0*q + 2*q**2 + 2 - 4*q**3 - q - 6*q**2. Let f be i(-2). Let b = -13 + f. Does 3 divide b?
False
Suppose 0 = -2*f - 4*p + 24, -5*f - p = p - 36. Let i be (3/f*-2)/(-1). Suppose 9*x - 4*x - 3*k - 45 = 0, -4*x = 5*k + i. Is x a multiple of 3?
True
Let f = 150 + -91. Is 6 a factor of f/4 - 6/8?
False
Let n(r) = r - 12. Let g be n(10). Does 20 divide (1 - (0 - g))*-20?
True
Let a be (3/6)/((-2)/24). Let g = -3 - a. Suppose -c + 9 = -g*x - 13, 50 = 3*c - 5*x. Does 10 divide c?
True
Let t = -4 + 14. Let b = -6 + t. Is 23 - (b - (0 + 3)) a multiple of 11?
True
Let i(f) = -11*f + 45*f**3 + 32*f**3 + 10*f. Is i(1) a multiple of 26?
False
Suppose u - 3*u = -8. Suppose 5*c = u*v - 47 - 38, -5*c = 2*v - 5. Is 6 a factor of v?
False
Suppose -o + 5*h - 16 = 0, -o = -2*o + h. Suppose -5*m + 2*m + 180 = 0. Suppose z = -o*z + m. Is 4 a factor of z?
True
Suppose 0 = 5*f + 3*n + 14, -5*f + 5*n = 7 - 17. Let q be 18*(f + (-3)/(-2)). Suppose 4*g + 2*d + 0*d - 58 = 0, q = 3*d. Does 5 divide g?
False
Suppose 677 = 3*z + 197. Is z a multiple of 16?
True
Suppose -2*z + 56 = -0*z. Let i be ((-4)/(-3))/((-1)/(-3)). Suppose -z + 5 = -h - o, i*h + 5*o = 97. Is 10 a factor of h?
False
Suppose 2*t - 4 = 0, -82 + 374 = 3*a - t. Is a a multiple of 14?
True
Suppose 3*t = 5*q - 171 + 2807, 0 = -3*t - 5*q + 2596. Let g be t/24 - 2/6. Is 13 a factor of g + 2/(-3)*-3?
False
Suppose -4*z - 2*o = -538, 5*z + 0*o = -o + 674. Suppose -z = -4*t - 11. Is 6 a factor of t?
False
Let n(p) = p**2 + 15*p + 16. Let w be n(-14). Let j = -3 + w. Let t(m) = 55*m**2 - m - 1. Is t(j) a multiple of 14?
False
Let x = -90 + 186. Is x a multiple of 6?
True
Let m(t) = 2*t - 4. Let o be m(3). Let w = 4 - o. Suppose w*u - 31 = 5*l, -5*u + 2*l + 87 = -l. Is u a multiple of 18?
True
Let y(u) = 4*u**2 - 2*u + 7. Let c be y(-7). Does 17 divide 6/10 + c/5?
False
Let f = 1 - -2. Suppose -23 = -5*a - 0*t - 3*t, -5*t = -f*a + 7. Suppose -29 = -3*c - 4*g, 2*c + 5*g = a*g + 21. Is c a multiple of 10?
False
Suppose -4*f + b + 14 = 0, -2*b + 3 = 3*f - 13. Suppose s = f*s - 93. Does 9 divide s?
False
Suppose -2*s + 9*k - 5*k = -64, 5*k - 60 = -s. Is s a multiple of 5?
True
Is 4 a factor of (45/(-36))/(55/28 - 2)?
False
Let z(o) = -o**2 - 4*o + 2. Suppose -5*y - 18 = -0*y + 3*r, 3*r + 3 = 0. Let f be z(y). Let d = f + 2. Is 5 a factor of d?
False
Is 958/18 - 2/9 a multiple of 13?
False
Let l = -9 + -72. Let p = -56 - l. Is p a multiple of 16?
False
Suppose w + 22 = 3*j, -2*w + 2*j = -2*j + 34. Let p(b) = b + 10. Let d be p(w). Is 17 a factor of 35 - (d + -2*2)?
False
Let i(q) be the third derivative of 7*q**5/15 - q**3/6 - 3*q**2. Is i(1) a multiple of 10?
False
Let x = 250 + -134. Is 23 a factor of x?
False
Let d(n) = 2*n**2 - 2*n - 10. Let s be d(-7). Suppose 2*w - 72 - s = 0. Is 29 a factor of w?
True
Suppose 4*p = -5*a - 3, -p = 4*a + 3*p. Let r be a*4/6 - 1. Is (-4)/(-6) + (-37)/r a multiple of 11?
False
Suppose d + 4*d = 130. Let x = -13 + d. Does 4 divide x?
False
Let b(j) = 4*j**2 + 4*j + 3. Let c be b(-3). Suppose -4*d = -t - c, -d = -4*d + 2*t + 14. Is d even?
True
Let v = -5 + 5. Suppose -c = 4*r - 153, 2*c + 63 = 5*r - 125. Let b = r + v. Does 11 divide b?
False
Suppose 18 = -x + 5*n, 10 = x - 3*n + 5*n. Let t(g) = 6*g**3 - 2*g**2 - 2*g + 2. Is 19 a factor of t(x)?
True
Suppose 0 = r - 163 + 15. Let u = r - 70. Let h = -