 3*u + 506 = -c, -5*u - 2*c = -639. Is u a multiple of 34?
False
Suppose -3*q = 2*q. Suppose q = 5*z + 41 + 84. Let s = 35 + z. Does 10 divide s?
True
Suppose m = -2 + 75. Does 14 divide m?
False
Let k(t) = t**2 + 9*t - 3. Let r be k(-9). Is 8 a factor of 2*((-9)/(-6) - r)?
False
Let z = 101 + -58. Is 17 a factor of z?
False
Let c = 14 + -8. Does 2 divide (-3)/(-2*c/8)?
True
Let j(i) = 10*i**3 - 3*i + 2. Is 3 a factor of j(1)?
True
Suppose -2*v + 20 = t, -4*v + 25 = -5*t - 1. Suppose i = -0*i + v. Is i a multiple of 3?
True
Let t(p) be the second derivative of 83*p**5/20 - p**4/12 - p**3/6 + p**2/2 - p. Let f be t(1). Suppose -5*o + f = -33. Does 8 divide o?
False
Let u = -69 - -98. Is u a multiple of 29?
True
Let u(r) = 2*r - 2. Is 13 a factor of u(14)?
True
Let j(c) be the second derivative of -c**4/12 + 5*c**3/6 + c**2/2 + 2*c. Let h be j(5). Is 3/(57/(-66) + h) a multiple of 10?
False
Let i = 315 - 164. Suppose i = 3*m - 23. Does 24 divide m?
False
Let d = 1 + 1. Suppose -3*w = d*w - 10. Does 2 divide w?
True
Let f(z) be the first derivative of -z**4/4 - z**3 + 3*z**2 - 4*z - 3. Is f(-5) a multiple of 16?
True
Suppose 5*b - 28 = 32. Suppose 4*c + b = 5*c. Suppose -3*j + c + 6 = 0. Is 3 a factor of j?
True
Let a(z) = -80*z - 33. Does 41 divide a(-4)?
True
Let h(z) = -z**3 - z**2 - z + 86. Is h(0) a multiple of 12?
False
Let q be (2 + -3)/(4 - 5). Is 2 a factor of 15*(-3)/(-9)*q?
False
Let i = 11 - 8. Let r = 5 - i. Suppose 4*l = r*j - 28, 3*l = j + 5*l - 14. Is j a multiple of 10?
False
Let o(u) = -u**3 + 11*u**2 - 9*u - 5. Let n be o(10). Suppose -5*w = 2*d - 75, n*d - 75 = -5*w + 4*d. Is 5 a factor of w?
True
Suppose 3*h + j - 17 = -h, 0 = -h + 4*j - 17. Does 25 divide (-306)/(-4) - h/2?
True
Suppose -4*w = -4, w + w + 298 = 3*n. Is 12 a factor of n?
False
Let s(l) be the third derivative of 1/120*l**6 + 0*l - 2/3*l**3 - 2*l**2 + 7/60*l**5 + 1/12*l**4 + 0. Is s(-6) a multiple of 10?
True
Let q(u) = u**2 - u + 1. Let y(m) = -m**2 + 4*m + 1. Let f(d) = 2*q(d) + y(d). Is f(-4) a multiple of 11?
True
Let v(i) = -i**3 - 7*i**2 + i + 9. Let n be v(-7). Suppose 2 = a - n. Is 4 a factor of a?
True
Let n(a) = 7 + a**2 - 2 - 1 - 3 - 2*a. Is 8 a factor of n(-3)?
True
Suppose 300 = -0*r + 5*r. Does 5 divide r?
True
Suppose -7*i + 114 = -2*a - 2*i, 5*i = -5*a - 215. Let y = a + 99. Suppose -2*x + p + y - 21 = 0, -x + 5*p + 29 = 0. Is x a multiple of 14?
True
Suppose t = -t + 6. Suppose 0 = -t*h - b + 107, h + 3*b - 69 = -h. Suppose m + 6 = h. Is m a multiple of 15?
True
Let y = 118 + -56. Suppose -192 + y = -5*z. Is z a multiple of 13?
True
Suppose -l = 2*l - 204. Does 17 divide l?
True
Suppose -w + 154 = 29. Is w a multiple of 24?
False
Let t = -76 + 130. Does 9 divide t?
True
Suppose 60 = -2*q + 7*q. Suppose 2*u = 22 + q. Is u a multiple of 6?
False
Let z(t) = 8*t**2 + t - 5. Is 22 a factor of z(3)?
False
Let d(c) = -6*c**2 - 16*c - 15. Let t(b) = -b**2 - 3*b - 3. Let q(w) = -2*d(w) + 11*t(w). Let s be q(3). Suppose -s*m = -m - 36. Is 18 a factor of m?
True
Is -2*(-18 + 5) + (-4)/(-2) a multiple of 7?
True
Let i(s) = -s**3 + 11*s**2 - 11*s + 10. Let t = 33 - 23. Let k be i(t). Suppose 5*v - v - 40 = k. Does 8 divide v?
False
Let d = 59 + 4. Is d a multiple of 13?
False
Let z = 50 - -14. Is 8 a factor of z?
True
Is 6 a factor of 18/4*5*32/10?
True
Let r = -31 + 57. Is 23 a factor of r?
False
Suppose 4*s - 2*b = 0, -s + 5 = 2*b - 0. Let q = s - -3. Is q a multiple of 4?
True
Suppose 3*i + 5 = -r + 15, r = 3*i + 22. Is r a multiple of 3?
False
Let r be 10/(-55) + (-18)/22. Is r/((-6)/8)*33 a multiple of 11?
True
Let k(z) = -21*z - 3. Let y be k(3). Suppose -184 = -d + 3*d. Let h = y - d. Does 13 divide h?
True
Suppose 0 = s + t + 2*t - 94, 5*t - 278 = -3*s. Is s a multiple of 15?
False
Suppose d + i - 2*i = 52, 144 = 3*d + i. Is 12 a factor of d?
False
Is 22 a factor of 4 + 0 - (-189 + (-4 - -2))?
False
Let k be (5/3)/(2/12). Let b be (0 - (-24)/k)*-40. Does 16 divide b/(-10)*(-20)/(-6)?
True
Let d(r) = -5*r**2 - 17*r + 3. Let h(t) = -4*t**2 - 16*t + 2. Let z(p) = 5*d(p) - 6*h(p). Does 7 divide z(9)?
True
Let p(z) = z + 7. Suppose -2*g = -s + 3*s - 14, 7 = g - 3*s. Let t = g + 1. Is p(t) a multiple of 4?
False
Let g(k) = -k**3 + 7*k**2 - k + 3. Let r be g(3). Suppose -2*h + 48 = 3*j, 4*h - 2*h - r = 3*j. Is 21 a factor of 876/h + (-4)/(-14)?
True
Suppose -5*b - 22 = 3*c, c - 2*b = -0*c. Is (-1)/c - 47/(-4) a multiple of 6?
True
Let a = 6 + -6. Suppose a = -5*l + 14 - 4. Is l even?
True
Let b(m) = 20*m - 5. Let i be b(6). Suppose -i = -4*n - n. Suppose s + 3*t - n = -s, 4*s + t - 31 = 0. Does 5 divide s?
False
Is 4/22 + (-2364)/(-66) a multiple of 18?
True
Let f = -24 - -14. Let h = 10 - f. Is h a multiple of 20?
True
Suppose -5*k = -2*a - 12, -2*a = -0*a + 3*k - 20. Is a/14 + 561/21 a multiple of 9?
True
Let x = 222 - 141. Does 27 divide x?
True
Let w = -18 + 12. Let m = w + 12. Is 4 a factor of m?
False
Let m(r) = r**3 - 6*r**2 - 6*r - 2. Is m(7) a multiple of 5?
True
Let f be (6/(-4))/((-18)/24). Suppose 7*q - f*q - 130 = 0. Is q a multiple of 13?
True
Let v(n) = 57*n**3. Suppose -3*i + 3 + 0 = 0. Is 25 a factor of v(i)?
False
Let a = 120 - -26. Suppose 5*g - 49 - a = 0. Does 13 divide g?
True
Is 9 a factor of ((-11)/(55/(-6)))/(1/30)?
True
Let v be (-2)/((-14)/(-6) + -3). Does 8 divide -1 - (-1*30 - v)?
True
Let n(q) = -q + 9. Let o be n(9). Suppose 0 = -3*v - o*v. Suppose 0 = x + 5*l, v = 3*x - l - 17 + 1. Does 5 divide x?
True
Suppose 34*u - 228 = 33*u. Does 33 divide u?
False
Let w = -1 + 5. Does 23 divide (-606)/(-15) + w/(-10)?
False
Is 10 a factor of (-4)/3 - (-172)/3?
False
Let i(q) = q + 9. Let w be i(-6). Suppose w*s = -2*s + 125. Suppose 3*j = 8*j - s. Does 2 divide j?
False
Let y(d) = -d**3 - 7*d**2 - 6*d + 10. Let l be y(-7). Suppose 4*j + 5*u - 190 = 0, 3*j + l = -u + 189. Does 15 divide j?
True
Let f(d) be the third derivative of -d**4/24 - d**3/6 + 4*d**2. Let z be f(-4). Suppose -j - 3*n = -16, n + n = z*j - 26. Does 10 divide j?
True
Suppose 2*z - 13 + 5 = 0. Let s = 13 + z. Is 5 a factor of s?
False
Suppose -4*y - 4*n = n + 12, 4*y - 28 = 5*n. Suppose -3 + 15 = y*x. Is x a multiple of 6?
True
Suppose 0 = -4*s + 3*n - n + 78, 3*s - 41 = 5*n. Does 7 divide s?
False
Let x(u) = u**2 - 2*u. Does 11 divide x(-11)?
True
Let r(l) = -3*l**3 - 10*l**2 - 8*l - 19. Is r(-5) a multiple of 20?
False
Let d = 8 - 12. Let m(v) = -v + 1. Let a be m(d). Let x = a + 5. Is x a multiple of 5?
True
Let g(q) be the second derivative of -q**4/12 - 2*q**3/3 - q**2/2 - q. Let u be g(-3). Suppose 0 = u*x - 4 - 4. Is x a multiple of 4?
True
Suppose 0 = -4*j + 4 + 84. Suppose -j = c - 2*c. Does 9 divide c?
False
Suppose -a - 2*a + 2*g + 8 = 0, -2*g - 10 = -4*a. Suppose 6 = -a*v - 4, v + 161 = 4*b. Is b a multiple of 14?
False
Suppose 4*d = 5*m - 330, -4*d = -4*m + 266 + 2. Is m a multiple of 4?
False
Suppose 5*m + 2*y - 156 = 3*m, 381 = 5*m + 2*y. Does 17 divide m?
False
Let g(s) = -s**3 + 10*s**2 - 8*s - 10. Let f be g(9). Let v = -3 - f. Let l(d) = -2*d**3 - 4*d**2 - 4*d - 2. Does 4 divide l(v)?
False
Let f(x) = x**3 - 3*x**2 - x + 3. Let j be f(3). Suppose j = -t - 2*t + 315. Suppose -5*c = -5*n - t, 2*n - 102 = 2*c - 6*c. Does 8 divide c?
True
Let b(c) = c + 50. Does 9 divide b(-23)?
True
Suppose 16 = 2*f + 4*z, 2*f + 17 = 5*f - z. Does 13 divide (-6)/9 + 82/f?
True
Suppose -y + 4*m + 142 = 2*y, -80 = -2*y - m. Does 10 divide y?
False
Suppose -4 = 3*y + 2. Let g = y + 5. Suppose 3*m = -2*m - g*j + 45, -4*m - 5*j = -23. Is 6 a factor of m?
True
Let h(g) be the first derivative of -4*g**2 - 4*g - 8. Is h(-4) a multiple of 18?
False
Suppose 0 = -3*y + 55 + 41. Does 16 divide y?
True
Let u be 21/14*2*1. Suppose u*b - 8*s - 23 = -3*s, -4*b = -2*s - 54. Suppose 3*m - 49 = -b. Does 3 divide m?
False
Let d(w) = 2*w**2 - 2*w + 1. Let l be d(-2). Is l - 4*9/12 a multiple of 5?
True
Let m(i) = i**3 + 4*i**2 + 3*i + 3. Let l be m(-3). Suppose 2*y = -l*n + 76, -2*y + 41 = -4*n - 21. Is y a multiple of 10?
False
Suppose 7 = 4*h - 9. Suppose 0*v + 3*v = -6, 4*r - 20 = -h*v. Is 3 a factor of r?
False
Let r be (-81)/(-4)*8/(-2). Let m = 56 + r. Let d = m - -36. Is 3 a factor of d?
False
Let t(n) = 9*n**2 + 7*n + 7. Let o(d) = -9*d**2 - 6*d - 6. Let l(v) = -6*o(v) - 5*t