- d = -194. Is 2 + 0 + y/(-1) a multiple of 18?
False
Does 17 divide (15 - 3)*17/3?
True
Let i(r) = -r**3 + 9*r**2 + 7*r + 13. Is 22 a factor of i(9)?
False
Suppose 5*s + n = 319, n = 5*s - 263 - 48. Does 21 divide s?
True
Suppose -5*i + 10*i + 15 = -3*p, -2*i = 2*p + 10. Suppose -5*n + 86 + 64 = i. Is n a multiple of 13?
False
Let k(m) = 94*m**2 - m. Let f be k(-1). Suppose 3*y + 208 = -y. Let l = f + y. Is l a multiple of 16?
False
Suppose 6*j + 0*j = 66. Is 7 a factor of j?
False
Let m be 6/21 + 360/14. Suppose 3*p + 84 = j + 2*j, -p = j - m. Does 10 divide j?
False
Suppose -b - 74 + 4 = 0. Is 7 a factor of ((-24)/7)/(10/b)?
False
Let k(c) = c**2 + 12*c. Let g be k(-14). Is 20 a factor of (120/14)/(4/g)?
True
Let s(i) = 54*i. Is 9 a factor of s(2)?
True
Let u(i) = -3*i + 2. Let a be (3/(-2))/((-2)/4). Suppose -2*z = -h - 6 + 21, -11 = z + a*h. Does 13 divide u(z)?
True
Is 20 a factor of ((-48)/30)/(4/(-290))?
False
Suppose r + r = 0. Suppose r = -3*z - g + 28, -4*z + 20 = -z - g. Does 8 divide z?
True
Let k = -49 - -30. Let l = -13 - k. Does 4 divide l?
False
Suppose 0*m - m + 9 = 0. Suppose 3*l - 15 - m = 0. Is l a multiple of 3?
False
Let d(v) be the third derivative of v**5/60 + v**4/6 + v**3/2 + 2*v**2. Is 2 a factor of d(-4)?
False
Let n(s) = 156*s**3. Let c be n(-1). Let f = 68 + c. Does 15 divide (-3 - -2)/(2/f)?
False
Let l be 12/(-2)*(-4)/(-3). Let g = l + 22. Is 9 a factor of g?
False
Suppose 22*x - 19*x = 30. Is x a multiple of 2?
True
Does 10 divide 1656/15 - (-2)/(-5)?
True
Let r = -15 + 27. Suppose 27 = t - r. Does 13 divide t?
True
Let v(n) = n**3 - 10*n**2 - 7*n - 11. Is 19 a factor of v(11)?
False
Suppose -4*j = 2*v + v - 29, -v = 2*j - 13. Suppose -44 = -j*d - 3*w + 68, 4*w = -4. Is d a multiple of 10?
False
Let d = 12 + 20. Suppose -2*n + 6*n - d = 0. Does 4 divide (-4 - -3) + n - -1?
True
Suppose 26 = w - 58. Does 28 divide w?
True
Suppose -z + 2 + 13 = -5*g, z + 3*g = -1. Is z a multiple of 5?
True
Let k = -31 + 56. Is 7 a factor of k?
False
Let h(m) = 27*m - 114. Is 3 a factor of h(8)?
True
Let f(l) = -48*l + 2. Let v be f(-3). Let m be 4/(-5)*(-100)/40. Suppose m*n + 1 = -3, v = 4*i - n. Is 11 a factor of i?
False
Suppose -2*k + k + 22 = 0. Let y = -1 + k. Suppose 0 = -4*l - y + 133. Does 12 divide l?
False
Let z(h) = -h**3 - 6*h**2 - 8*h - 3. Let l be z(-5). Is 3 a factor of (l/(-24))/(1/(-12))?
True
Let o = -1 - -1. Suppose o*m + m - t = 33, 57 = 2*m + t. Is 15 a factor of m?
True
Let s = 4 + -2. Suppose -o + 9 = 3*u, -2 = s*u - 2*o - 16. Suppose v + 34 = 4*r - 5, -u*v - 39 = -3*r. Is 9 a factor of r?
True
Let y(r) be the first derivative of -r**4 - 1 + 2*r - 1/3*r**3 + 3/2*r**2. Is 12 a factor of y(-2)?
True
Suppose -5*f + 15 = -2*h, -3*f + 9 = -2*h - 2*h. Suppose 132 = 4*w + 3*j, -w + 2*j + f*j + 56 = 0. Is w a multiple of 18?
True
Let j(w) = -w - 14. Let a be j(-12). Let l = 6 + a. Suppose 0*y - 3*h - 27 = -l*y, 0 = 5*y + 2*h - 28. Does 6 divide y?
True
Let s(v) be the first derivative of -v**7/840 + v**6/120 + v**5/40 - v**3/3 + 1. Let j(u) be the third derivative of s(u). Does 14 divide j(-2)?
True
Let q(b) = -b**2 - 12*b - 9. Suppose 2*k - 6 = 3*k. Is q(k) a multiple of 12?
False
Suppose 0 = 11*l - 9*l - 40. Is l a multiple of 10?
True
Let s(z) = 6*z - 4*z - 8*z**2 - 7 + 9*z + z**3. Let r(i) = i + 7. Let t be r(0). Does 13 divide s(t)?
False
Suppose 10*b + 0*b - 1190 = 0. Is 23 a factor of b?
False
Let b be ((-6)/4)/((-27)/360). Is (-47)/(-5) + (-8)/b a multiple of 9?
True
Suppose -5*u = 15, -3*t = -2*u + 6*u - 6. Is 2 a factor of t?
True
Let o = 9 + -2. Suppose -o = -3*a + 5. Is (21*1)/(a/4) a multiple of 13?
False
Is (84/(-9))/(15/9 - 2) a multiple of 28?
True
Let q = 144 + -59. Suppose t = -7 + q. Let x = t - 52. Is x a multiple of 12?
False
Let h be (-4)/18 - 4396/(-18). Suppose -h = -4*m + m + 4*n, -161 = -2*m + n. Is 20 a factor of m?
True
Let n be 1/(-1 + (-10)/(-12)). Let u(j) be the first derivative of -j**2/2 + 4*j - 4. Is 10 a factor of u(n)?
True
Suppose -4*z + 7 = -33. Let l = z + -9. Is 9 + -6 - (-1 + l) even?
False
Let h(x) = x**2 + 6*x - 3. Let j be h(-8). Suppose o + j = 5*f - 18, f - 4*o - 10 = 0. Is f a multiple of 4?
False
Let t(a) = -5*a**3 - 2*a**2 + 2*a - 1. Is 22 a factor of t(-3)?
True
Let f = 13 + -9. Suppose 0 = a - f*c - 13, 0*c - 10 = -a + c. Is 3 a factor of a?
True
Let f = -15 - -105. Does 11 divide f?
False
Let v(a) = a**2 - 1. Let u(s) = -s**3 + 6*s**2 - 22. Let y(z) = -u(z) + 6*v(z). Is y(0) a multiple of 16?
True
Suppose 0 = -l + 2*g + 11, 3*l - 2*g - 6 - 15 = 0. Does 5 divide l?
True
Suppose 5*y + 5 = 25. Suppose -18 = -5*j + y*j. Is 4 a factor of j?
False
Suppose -2*d = b - 8, -9 = 4*d - 4*b - 1. Suppose -d*s + 74 = 4*y, -s - s - 16 = -y. Does 18 divide y?
True
Suppose -12 - 8 = -2*u. Suppose -w + 6*a = a - 30, 0 = 2*a - u. Suppose -4*q + w + 25 = 0. Does 9 divide q?
False
Let o = -7 + 23. Does 4 divide o?
True
Suppose -2*f - f = -72. Let g = -6 + f. Suppose -3*b = 2*n - g, 3*n - 4*b + 5 + 2 = 0. Does 3 divide n?
True
Suppose -5*m = -0*i - 5*i + 45, -15 = -2*i + m. Let p be i/(0 - -2) - 1. Suppose 2*b - 144 = -p*b. Does 12 divide b?
True
Suppose -285 = 5*b - 20. Let s = -74 - -148. Let l = b + s. Is l a multiple of 11?
False
Let d(y) = 15*y - 7. Let c(p) = -31*p + 15. Let o(t) = 2*c(t) + 5*d(t). Let r be o(6). Suppose 2*i + 5*a = r, i + 0*a - 9 = 3*a. Does 12 divide i?
True
Let f(d) = 5*d - 10. Is f(6) a multiple of 9?
False
Let t(g) = 12*g**2 + 2*g - 2. Is t(-1) even?
True
Let v(r) = -r**3 - 3*r**2 + 3*r + 2. Let g be v(-4). Let a(l) = -l**3 + 6*l**2 + 5*l + 6. Does 13 divide a(g)?
False
Suppose 5*i - k - 94 = 108, -5*k = 10. Is 9 a factor of 2/(2 - 4) + i?
False
Suppose 5*x - 2*x - 5*n = 117, -3*n + 229 = 5*x. Is x a multiple of 9?
False
Does 3 divide 8*((-2)/(-8) - -1)?
False
Suppose 2*x - 4 = -2*x. Is (-4)/(3/(-12)*x) a multiple of 8?
True
Let r(m) = m**3 - 7*m**2 + 1. Let c be r(7). Let f be (-22)/6 - c/3. Is (22/f)/((-1)/2) a multiple of 11?
True
Let v = 4 - -1. Suppose 0 = -a + v + 24. Does 11 divide a?
False
Suppose 28 = 2*o + 2*v, -4*o + 57 = 3*v + 2*v. Let w = 21 - o. Does 8 divide (-6)/w - (-297)/12?
True
Let z(o) = -2*o**2 + 2*o + 2. Let v be (-1)/1 + 1/(-1). Let g be z(v). Let i = g + 26. Does 8 divide i?
True
Suppose 0 = -4*b - 4*i + 188 + 104, 15 = -3*i. Does 22 divide b?
False
Let f be (50/(-6))/(-5)*-3. Let s = f - -22. Does 7 divide s?
False
Let m be (0 + 1)/((-1)/(-121)). Suppose -4*u + m + 307 = 0. Does 27 divide u?
False
Let t(l) be the third derivative of -l**6/120 + l**5/60 - l**4/24 + 23*l**3/2 + 3*l**2. Let g be t(0). Suppose -5*r + g = -51. Does 12 divide r?
True
Suppose -4*f - 88 = -3*t, 6*t = t - 4*f + 136. Suppose 4*y = -b + 22, -5*b - 4*y + t = -b. Suppose -b*v - 1 + 7 = 0. Does 3 divide v?
True
Let k(l) = -2*l - 10. Let s be k(-7). Is 13 a factor of (78/s)/(-1)*-2?
True
Let u(z) = 2*z**2 + 3*z - 1. Let v be u(-3). Suppose 0 = s - 4 + 1. Suppose -v = m - s*m. Is m even?
True
Suppose u = -3*h + 437, 3*u + 93 = 3*h - 324. Is h a multiple of 8?
True
Suppose r - 380 = -4*r. Let b = 142 - r. Is b a multiple of 25?
False
Let y be (-2 - -3) + 1 + -3. Let r = 0 - y. Is 11 a factor of r + 3*5 + -2?
False
Let p = -18 - -21. Does 5 divide 27 + 5 - (p + 0)?
False
Let w = 185 - 86. Is 11 a factor of w?
True
Let k be (-51)/(-9) + 3/9. Suppose -3*h + k*h = 108. Is 21 a factor of h?
False
Let h = -53 + 54. Suppose -3*c - 6 = -3. Is 18 a factor of (c + -52 + h)/(-1)?
False
Suppose -t = -0*o - 3*o + 8, 4*t = o + 23. Suppose 2*a - 1 = 2*c + t, -4*a + 26 = -2*c. Suppose -2*l - z + 2 = -a, 4*z = 5*l - 34. Does 6 divide l?
True
Let y = 256 - 117. Does 5 divide y?
False
Let h = -3 + 5. Suppose -5*b = 3*v - 64, 4*v + b = h*v + 52. Is v a multiple of 14?
True
Let x = 3 - 9. Is 19 a factor of (-2)/x + (-452)/(-12)?
True
Is 6 a factor of (4/6 - 2)*-42?
False
Let h = -31 - -97. Does 11 divide h?
True
Let l be (-1 + 2)*(-2 - -4). Suppose 4*d - 4 = -l*m + 20, -5*m + 40 = 5*d. Suppose 0 = 2*w - 3*w - 5*s - 5, 2*w + 3*s = m. Is w a multiple of 3?
False
Let i = 4 - 4. Suppose -5*j + i*d - 2*d = -18, j + 5*d - 22 = 0. Does 13 divide (-2 + -2 + j)*-13?
True
Suppose 0 = -v + 4*i + 16, -2*v = -2*i - 6 - 2. Let s(m) = -m**3 - 3*m**2 - 3*m. Let o be s(-2). Suppose -f - o*f + 57