r + 174 = 0, -8*v = -4*v - 4*r - 144. Let n = -9 - -14. Suppose i = -u + v, 11 = n*i - 4. Is u a multiple of 10?
True
Suppose 1 - 7 = 2*o. Is ((-2)/o)/((-6)/(-198)) a multiple of 11?
True
Suppose -3*p - 44 + 296 = 0. Does 13 divide p?
False
Suppose -5*w = 3*s - 472, -2*s - w + 318 = 3*w. Suppose 0 = 2*k - a - s, 0 = -5*k + 2*a - 4*a + 359. Is 20 a factor of k?
False
Let c(b) = -b + 6. Let x be c(0). Suppose 2*f = 4 + x. Suppose -3*h = -6, -f*i - 3*h + h = -89. Does 7 divide i?
False
Suppose d = 4*d - 72. Is d a multiple of 4?
True
Let b(q) = 3*q - 1. Let c(o) = -5*o + 2. Let g(p) = -7*b(p) - 4*c(p). Does 2 divide g(-5)?
True
Suppose -2*l - 10 = 0, 8*i = 11*i - l - 8. Let n(w) = w**3 + 3*w**2 - 4*w + 1. Let c be n(-4). Is 3 a factor of (-30)/(-3) - (c + i)?
False
Let d(s) = 11*s**2 + 4*s + 4. Is d(-3) a multiple of 16?
False
Suppose 2*f - 38 = 4*u, -43 = -5*f - 3*u + 78. Suppose 0*l - 305 = -5*l. Suppose f + l = 3*s. Is s a multiple of 10?
False
Suppose -4*t - t - 15 = 0, 66 = 2*w - 4*t. Is 9 a factor of w?
True
Suppose 0*o = -o - 23. Let h = o + 49. Is 13 a factor of h?
True
Let b be 3 - 4 - (-1 + 0). Suppose b = 4*f + 12, 0*t = -4*t - f + 9. Suppose -t*g = -5*k - 0*g + 11, -2*g = -5*k + 14. Does 4 divide k?
True
Let s be ((-2)/(-1) - 3)/(-1). Suppose -7*a = -2*a - 60. Is 5 a factor of (0 - -1) + a*s?
False
Does 11 divide 0 + (3 - 2)*55?
True
Let h = 8 + 4. Suppose 6*l - h = 3*l. Suppose -l*a - 3*i + 116 = -i, a = i + 26. Does 14 divide a?
True
Let z(i) = 2*i**2 - 5*i - 3. Is z(6) a multiple of 39?
True
Let h(p) = p**2 - p + 10. Is 12 a factor of h(9)?
False
Let r(f) = -f**2 - 14*f + 20. Let d(t) = -t - 7. Let n be d(-3). Let s be n/5*105/6. Is r(s) a multiple of 20?
True
Let r(c) = 3*c - 13. Let v(o) = 16*o - 64. Let p(y) = -11*r(y) + 2*v(y). Is p(8) a multiple of 4?
False
Let g(o) = -o**2 + 15*o - 6. Let d(c) be the second derivative of -c**3/2 + c**2/2 - 3*c. Let p be d(-3). Is 22 a factor of g(p)?
True
Suppose 0*l = -3*b - 2*l, 0 = -b + 3*l + 11. Suppose t = b*t - 9. Is 2 a factor of t?
False
Suppose 4*h + 2*l - 350 = -0*l, h - 2*l = 90. Is 7 a factor of h?
False
Suppose 0 = -3*w - 1 + 7. Suppose -2*t = -0*t - w. Let y = t - -1. Is y even?
True
Suppose 3*f - 8*f = 185. Let b = f - -56. Is b a multiple of 10?
False
Is 3 a factor of -1 + 5/(-10) - (-63)/6?
True
Let b(t) = 14 - 3 - 10*t - t**2 + 8*t**2 + 4*t**3. Let f(p) = -p**3 + p - 1. Let i(d) = b(d) + 5*f(d). Does 11 divide i(6)?
False
Suppose -2*w + 225 = 4*d - w, -2*d - 4*w = -130. Does 18 divide d?
False
Suppose -4*n = -7*n + u + 50, n - 3*u - 14 = 0. Let l = 107 - n. Does 29 divide l?
False
Let m = -5 + 14. Does 8 divide (6/m)/(1/39)?
False
Let o = 1 - 4. Let n be (-2 - o)/((-1)/(-95)). Let v = n - 53. Is 21 a factor of v?
True
Suppose 0 = 4*j - c - 135, 4*j - 20 = 5*c + 95. Does 17 divide j?
False
Let r be (-1)/1 + 6 + -2. Suppose -r*p = -p - 92. Does 23 divide p?
True
Let n(t) = -6*t + 24. Is n(-7) a multiple of 11?
True
Suppose 4*u = a - 252, 9*a + 253 = 10*a - 5*u. Is a a multiple of 31?
True
Let d(o) = o**2 + o + 4. Let p be d(-3). Does 17 divide (96/p)/(5/25)?
False
Let v be ((-2)/6)/((-1)/12). Suppose -5*w + v*f + 41 = 0, 0 = 5*w - 2*f - f - 37. Suppose 0 = -2*o + 4*n + 13 + 3, 0 = -3*o + w*n + 25. Is 4 a factor of o?
False
Suppose -7*w + 3 = -137. Let h = 29 - w. Is 3 a factor of h?
True
Let g(y) = -4*y**2 - 8*y + 3. Let x(k) = 3*k**2 + 8*k - 2. Let s(q) = -2*g(q) - 3*x(q). Is s(-7) a multiple of 4?
False
Let y = -117 - -178. Suppose -79 - y = -5*u. Suppose -3*o = 4*r - 152, 2*o = 2*r - u - 48. Is 13 a factor of r?
False
Let q = -84 + 45. Let i = q - -68. Is 6 a factor of i?
False
Let l(a) = -a + a**3 + 0 - 1 - a - 18*a**3 - 2*a**2. Does 7 divide l(-1)?
False
Suppose -3*x = 25 - 10. Let b = -12 - x. Let y = -3 - b. Is y a multiple of 4?
True
Let b be ((-66)/5)/(6/(-20)). Suppose -15*u + 16*u - b = 0. Is u a multiple of 11?
True
Let c = -69 + 160. Suppose 2*p = -2*x + 118, -5*p = 2*x - c - 36. Is 22 a factor of x?
False
Suppose 0 = 4*s - 5*m + 47, -s + m - 5 = 2*m. Let l = s + 2. Does 14 divide 154/4 - 3/l?
False
Let q = 99 - 25. Is 3/(-9) + q/6 a multiple of 6?
True
Suppose w - 4*w = -6. Does 2 divide w?
True
Let a(r) be the first derivative of r**3/3 + 2*r + 1. Let n be a(-2). Suppose -k - k = -n. Is k a multiple of 3?
True
Let a be 2 - 1 - -1*2. Suppose 3*r = 4*k + 16, a*r + 2*k = -2*k + 8. Is r a multiple of 3?
False
Let b = -13 - -10. Is -1 - ((-6)/b + -12) a multiple of 6?
False
Suppose 5*v = 3*n - 317, -3*v - 4*n - 289 = 2*v. Let u = v + 28. Let q = u - -47. Does 11 divide q?
False
Let c be 55 + 2 + (-3)/3. Suppose t + p = 38, -c = 5*t + 2*p - 261. Is 12 a factor of t?
False
Is 16 a factor of (-7990)/(-35) - 2/7?
False
Let n(y) = -y**2 + 2*y + 88. Does 44 divide n(0)?
True
Suppose 0*k - 104 = -3*m + k, 0 = -2*m - 3*k + 84. Is m a multiple of 19?
False
Suppose 7*b + 332 = 4*x + 3*b, -3*x = -5*b - 251. Suppose -u + x + 5 = 0. Is 29 a factor of u?
True
Does 15 divide 36/(5*(-2)/(-15))?
False
Suppose -12*y + 29 = -13*y. Let g = -1 - y. Does 14 divide g?
True
Suppose -1 = -2*j + 7. Let x = 35 - j. Is 11 a factor of x?
False
Suppose -c = 2*c - 9. Let j(f) = -3 - f**3 - 8*f**c + 4 + f - 15*f**3 + f**2. Is j(-1) a multiple of 13?
False
Is 8 a factor of ((-130)/(-15))/((-3)/(-18))?
False
Let w = -11 + 6. Let l(k) be the third derivative of -k**6/120 - k**5/15 + k**4/12 + 2*k**3/3 - k**2. Is 19 a factor of l(w)?
True
Let o = 94 + -52. Let f = o - 10. Does 13 divide f?
False
Let c be (-2)/((-12)/9)*-6. Let j be 6/c + (-122)/6. Let f = 26 - j. Does 13 divide f?
False
Suppose -i + 4*s = -134, 0 = i + s + 89 - 248. Does 11 divide i?
True
Suppose 10*i - 12*i = -50. Does 25 divide i?
True
Let d(u) = 3*u**2 + u - 3. Is d(-4) a multiple of 13?
False
Suppose 4*y - 2*g - 21 = 21, 33 = 4*y - 5*g. Is y a multiple of 10?
False
Suppose -22 = -2*p - 4*q, 5*q - 5 - 24 = -3*p. Does 8 divide -12*-4*p/9?
True
Let v = 65 - 13. Suppose -3*z + 158 = -v. Suppose -c - c = -z. Is 15 a factor of c?
False
Suppose -441 = -5*u - 156. Is u a multiple of 19?
True
Let r be (-1)/2 - 38/4. Is 5 a factor of 4/(((-16)/r)/4)?
True
Is 23 a factor of (-1)/3 + (-1514)/(-6)*1?
False
Let c be (-3 + 1)*(-6)/4. Suppose 4*o - 8 = 0, c + 2 = 5*q - 5*o. Suppose 32 = 2*r + 4*y + 8, 29 = 2*r + q*y. Is r a multiple of 11?
True
Let i = -5 - -7. Let l = -48 + 73. Suppose -23 = -i*o - q, 3*o - q - l = 2. Is o a multiple of 7?
False
Let d(p) = -p**3 + 11*p**2 - 9*p + 14. Let i(y) = -2*y**3 + 21*y**2 - 19*y + 27. Let v(u) = -5*d(u) + 2*i(u). Is 25 a factor of v(13)?
True
Does 17 divide (2/8 - 188/16)*-34?
True
Let o(u) = -u**2 + 8*u - 2. Let g be o(7). Suppose -j = 2*p - g*p - 9, -2*j = -5*p - 20. Is j a multiple of 5?
True
Let u = -5 + 7. Suppose u*o = -2*o. Suppose -2*l - 5*a + 25 = 0, o = l + 2*a - 3*a - 16. Does 9 divide l?
False
Let r be 4/(-4)*1*-3. Suppose 0 = -3*c - 9, 6*y - 3*c = r*y + 141. Is y a multiple of 11?
True
Let h = 94 - 67. Suppose 5*a + 18 = 4*m - 54, 3*a + 3*m + h = 0. Does 14 divide 1/(-4) - 219/a?
False
Let w be (-34)/(-4) - 6/(-4). Suppose 2 + w = 2*n. Let i = 3 + n. Is i a multiple of 9?
True
Suppose 2*k - 61 - 55 = 0. Suppose 3*w - k - 206 = 0. Does 8 divide 1/2*w/2?
False
Suppose 2*m - 26 = 2*w, -3*m + 49 = -2*w - 2*w. Is ((-48)/w)/((-3)/(-10)) a multiple of 6?
False
Suppose 6*r = 8*r - 196. Does 9 divide r?
False
Suppose -7*t + 165 = -2*t. Suppose t = 7*i - 135. Is 12 a factor of i?
True
Let d(o) = o**3 + 10*o**2 + 6. Let a be d(-10). Suppose 0 = 4*g - a*g + 14. Is (-10 - 1)/(g/(-14)) a multiple of 13?
False
Does 15 divide (-2)/3 - 720/(-27)?
False
Let j(g) = -11*g + 1. Let o(z) = -11*z + 1. Let s(v) = -2*j(v) + 3*o(v). Is 3 a factor of s(-1)?
True
Let z(u) = 5*u**2 - 3*u - 5. Let j be z(4). Suppose -j + 183 = 4*a. Is 10 a factor of a?
True
Is 11 a factor of 7/((-24)/(-22) - 1)?
True
Suppose 3*d - 8 - 4 = 0. Let m = -16 + d. Let t = 22 + m. Does 10 divide t?
True
Let o(y) = 15*y - 2. Does 8 divide o(4)?
False
Let p(h) = -h**3 + 9*h**2 + 15. Is p(6) a multiple of 12?
False
Let h = -148 + 169. Does 21 divide h?
True
Let m(p) be the second derivative of 5*p**3/6 - 7*p**2/2 + 9*p. Is 18 a factor of m(9)?
False
Let p(x) = x**2 - x - 10. Let n be p(-5). Does 6 divide (12 + 0)*n/15?
False
Let s(k) = -10*k + 