10 a factor of o(z)?
False
Suppose 0 = t - 3*t + 18. Suppose t = 4*u - 159. Suppose n - 3*n = -4*l + u, -5*n - 25 = -2*l. Is l a multiple of 8?
False
Let o be (-3)/(-3 + 1 + (-18)/(-10)). Suppose w = 5, 0*f - 2*w = 2*f - 12. Suppose -f - 26 = -5*a - s, -5*s = o. Is 2 a factor of a?
True
Let w(a) be the third derivative of a**5/30 + a**4/12 - a**3/3 - 2*a**2. Let t be w(-2). Is 7 a factor of 2 - (-14 - t*-1)?
True
Let w = 404 - 164. Suppose 0*l + w = 5*l. Is l a multiple of 21?
False
Let u(v) = -6*v - 1. Let l be u(-1). Suppose -4*c = -3*q - 8, -3 - l = -2*q. Suppose 2*n - c*n + 63 = 0. Does 11 divide n?
False
Let j be ((-5)/4 + 2)*4. Suppose -z - 14 = 4*f, 0 = 4*z - j*f + 1 - 40. Is 4 a factor of z?
False
Is 12 a factor of 72/(-4)*(-60)/9?
True
Let u(p) = 2*p**3 - 2*p**2 - 3*p - 1. Let g = 4 - 4. Suppose 4*k + 2 - 14 = g. Does 13 divide u(k)?
True
Let a = -10 + 15. Suppose 329 = -a*d - 51. Let w = -38 - d. Is 13 a factor of w?
False
Suppose -1 = -3*h - 5*a - 14, a + 13 = 2*h. Suppose 4*r + 135 = -5*i, h*i - 43 = 3*r - 182. Is 11 a factor of (1 + i)/(-2) - -1?
False
Let d = -16 - -26. Let b = -8 + d. Suppose -179 = -b*h - 25. Does 26 divide h?
False
Suppose 2*x + 2 + 10 = 0. Let a = 0 - x. Does 3 divide a?
True
Suppose -4*j = -2*g - 48, 0 = j - 2*g - 5 - 4. Does 12 divide j?
False
Let v = 170 - 88. Suppose -10 = -4*n - n. Is v/7 + n/7 a multiple of 6?
True
Let l = 4 + -5. Is -3 - (-13 + -1 + l) a multiple of 9?
False
Let v be -4 - (-4 + 3 + -18). Suppose -41 = -2*o + v. Does 14 divide o?
True
Let w(g) = 6*g**3 + 3*g**2 - 6*g - 2. Let a(r) = 5*r**3 + 3*r**2 - 5*r - 1. Let u(d) = 5*a(d) - 4*w(d). Let y = -2 + -1. Does 3 divide u(y)?
True
Suppose 0 = 5*q + x - 163, -4*q + 3*x - 8*x + 143 = 0. Is q a multiple of 4?
True
Let s = 0 - -28. Is 8 a factor of s?
False
Let i = 4 - 1. Suppose 5*h = -5*o, 4*h + o - i - 12 = 0. Suppose -9 = -h*f + 41. Is 7 a factor of f?
False
Suppose -4*t - 39 = -171. Is 33 a factor of t?
True
Suppose -2*p + 387 = s, 6*s = -3*p + 3*s + 585. Does 32 divide p?
True
Suppose r - 8 = -4*j + 5*r, -2*r - 4 = 2*j. Suppose j = t - 2 - 0. Let w(m) = 2*m**3 + 3*m**2 - m. Is 10 a factor of w(t)?
False
Let g(q) = q**3 - 9*q**2 + 20. Is 4 a factor of g(9)?
True
Suppose 4*w - 2*t - 28 = 0, -3*w - 1 = -2*t - 20. Let b(p) = -p**3 + 5*p**2 - 7*p + 6. Let a be b(4). Let i = a + w. Is i a multiple of 2?
False
Suppose v - f = 3*f + 36, -5*f = -4*v + 155. Is v a multiple of 25?
False
Does 21 divide (-7 - -2 - -110) + 0 + 0?
True
Let l(z) = z**2 - 4*z + 2. Let r(q) = 0 - 2*q + 6 + 3*q - 4. Let x be r(4). Does 14 divide l(x)?
True
Suppose 3*y + h + h - 20 = 0, y - 5*h + 16 = 0. Is 18 a factor of 71*(-3 + y) + 1?
True
Suppose -14 = -2*z - f, -3*z + 19 + 2 = 3*f. Suppose -3*x + 9 = 3*p, 2*p = -x - 0*x + z. Does 5 divide x/(((-2)/(-20))/(-1))?
True
Let n(s) = -s**3 - 10*s**2 - s + 1. Suppose 4*c = -c - 50. Is n(c) a multiple of 11?
True
Let a(g) = 52*g. Let r be (5/(-15))/(2/(-6)). Is 15 a factor of a(r)?
False
Is (4/(-8))/(4/(-176)) a multiple of 22?
True
Let c(f) = -f**2 - 4*f + 1. Let u = -10 - -3. Let y be c(u). Does 7 divide (y/(-25))/(2/35)?
True
Let m(f) = 4*f**2 - 15*f + 40. Is 12 a factor of m(10)?
False
Suppose -4*f + 114 = 54. Is 15 a factor of f?
True
Let w be (-219)/9*(1 - 4). Let i = w - 43. Is i a multiple of 8?
False
Suppose -i + 3*i = 0. Suppose i*w = -2*w, 3 = h + w. Let j = h + 0. Is 3 a factor of j?
True
Suppose -d + 10 = -6*d. Let p be (-2)/(-1 + d/(-6)). Suppose m - p = 13. Does 8 divide m?
True
Suppose 5*x + 137 = 4*p, 0*x - 150 = -5*p + 2*x. Does 14 divide p?
True
Suppose 2*b + k - 112 = 0, -112 = -b - b - 2*k. Is b a multiple of 14?
True
Let o be (-23)/(-5) + (-10)/(-25). Suppose 240 = 5*k - 2*s, o*s + 144 = -k + 4*k. Is k a multiple of 14?
False
Let s = 13 + -10. Let w(g) = g**2 + 7*g - 2. Does 10 divide w(s)?
False
Let q = -2 + 2. Suppose q = 4*y - 62 - 158. Suppose 2*d = -3*d + y. Is 11 a factor of d?
True
Suppose -4*h = 4*v + 200, 5*h + 256 = -v + 2*v. Let j = h - -115. Suppose s - j = -s. Is 16 a factor of s?
True
Let x(v) = v**3 + 7*v**2 + 6*v + 7. Let n be x(-5). Let k be 2*(n/(-6))/(-3). Suppose -3*a = -k*w + 3, -w = a - 5 - 2. Is 3 a factor of a?
True
Let a = 667 - 429. Does 17 divide a?
True
Suppose 4*d - 11 - 149 = 0. Does 10 divide d?
True
Suppose 165 = -0*g + 5*g. Let v = 73 - g. Does 8 divide v?
True
Let q(j) = -j**2 - 5*j. Let p be q(-5). Suppose p = 5*f - 28 - 12. Let w(t) = t**2 - 5*t - 6. Does 6 divide w(f)?
True
Suppose -2*q - 74 = -y, 0 = 2*y + 2*q - 113 - 17. Does 13 divide y?
False
Let w = 27 - 19. Let j(r) = -1 - r + 3 - 2 + w*r**2. Does 4 divide j(-1)?
False
Let t = 34 + 10. Is t a multiple of 11?
True
Suppose 3*v - 2*i + 96 = 5*v, -4*i - 204 = -5*v. Is v a multiple of 18?
False
Let a be 0*((-6)/(-2))/(-3). Suppose -5*k + 2180 = -a*k. Does 18 divide k/10 - 6/10?
False
Let a be (-897)/(-15) + 3/15. Suppose 5*y - y = a. Is y a multiple of 5?
True
Let w(i) = -i**2 + 20*i + 4. Let q be w(13). Suppose q = -8*k + 13*k. Is 19 a factor of k?
True
Let y(o) = o**3 + 9*o**2 - 12*o - 15. Let z be y(-10). Suppose 0 = z*l + 26 - 1. Is 4 a factor of 1/(1/l)*-1?
False
Let o(d) = -d**2 + d - 189. Let p be o(0). Is 12 a factor of (p/(-14))/(6/16)?
True
Let h = -7 + 5. Is 14 a factor of (-3 - (9 - h))*-2?
True
Suppose l = -4*w + 10, 20 = -3*l + w - 3*w. Let c = l - -8. Is 9 a factor of 1 + 2 - 30/c?
True
Suppose -4*o + 3*n = 87, 5*o - 5*n + 115 = -0*o. Let c = o - -32. Is 7 a factor of c?
True
Let l be ((-14)/6)/((-5)/15). Let h(y) = -y**3 + 8*y**2 - y - 7. Does 15 divide h(l)?
False
Suppose -4*l = -5*u + 165, l - 190 = -3*u - 2*u. Let q = u + 1. Suppose 5*j - q - 27 = 0. Is 13 a factor of j?
True
Let v = -16 - -26. Suppose 5 + v = n. Does 5 divide n?
True
Let k(j) = j**3 + 2*j**2 - 3*j + 3. Let m be k(-3). Does 5 divide (84/16)/(m/12)?
False
Let x(y) = 13*y. Does 6 divide x(1)?
False
Let r be (2/6)/((-2)/(-18)). Suppose 2*d - r = 5*d. Is 7 a factor of 6 + (-1)/d*1?
True
Suppose 0 = 2*g + 2, 3*g - g = -5*q + 13. Let f be 1 + (q - 3) + 9. Suppose -2*r + 16 = 3*d - f, -3*r + 33 = 3*d. Is 7 a factor of r?
True
Let k(j) = 33*j**2 - 4*j + 1. Is k(2) a multiple of 17?
False
Suppose -784 + 259 = -3*x. Suppose 0 = -2*y - 3*y + x. Does 6 divide y?
False
Is 7 a factor of 3 + 22 - (-4)/(-1)?
True
Is ((-21)/(-4))/(2/8) a multiple of 21?
True
Let p(g) = -5*g**3 - g**2 + 1. Let v be p(-1). Suppose 0 = v*i - 2*i - 108. Is 18 a factor of i?
True
Let j be 22/1*(-5)/10. Let o be (-816)/j + 4/(-22). Suppose -8*c + 2*b = -4*c - o, -c + 4*b = -36. Is c a multiple of 8?
True
Let w(j) = -6*j + 19. Is 13 a factor of w(-12)?
True
Let z(h) = h**2 - 2*h + 24. Does 8 divide z(0)?
True
Let l(c) = -44*c**3 + 1. Let f be l(1). Let z = -17 - f. Let k = -7 + z. Is k a multiple of 11?
False
Let q be (-3)/(-6) + 14/(-4). Let z be q/(1/((-4)/(-1))). Is 6 a factor of (-3)/z + 31/4?
False
Does 25 divide 2/(-3) + (25823/21)/7?
True
Let w(r) = -65*r**3 - r - 1. Let l be w(-1). Is (-39)/l - 196/(-10) a multiple of 19?
True
Suppose 0 = -2*f + 3*f + 6. Does 10 divide f/9 + (-393)/(-9)?
False
Suppose 23 = r - 15. Is r a multiple of 19?
True
Let n(v) = 3*v + 2 - 4*v + 2*v. Let z be n(3). Suppose -4*q - 26 = -p, -3*q = -z*p + 145 + 2. Is p a multiple of 15?
True
Suppose g - 680 = 4*q - 2223, 3*g = 3*q - 1155. Suppose h = 5*y - q - 24, -5*y + 4*h = -425. Is 27 a factor of y?
True
Suppose -10*j + 5*j + 240 = 0. Does 20 divide j?
False
Suppose 1009 + 1291 = 10*q. Does 16 divide q?
False
Suppose 0 = 5*g + v - 2*v - 37, 12 = 4*v. Suppose g = 3*o - o. Is o a multiple of 4?
True
Let p(u) = 5*u**3 + 2*u**2 - 4*u + 3. Is 11 a factor of p(2)?
False
Let l(c) = -4*c - 2. Let g be l(-2). Suppose 0 = -3*i - g, -108 = -2*p - 2*i. Let s = p - 40. Is s a multiple of 9?
False
Suppose 3*v + 4*l - 120 = 0, 160 = 4*v + 6*l - 2*l. Is 20 a factor of v?
True
Suppose 7*v - 4*v - 180 = 0. Does 12 divide v?
True
Suppose v - 2*v + 96 = 4*q, v - 48 = -2*q. Let g(u) = -15*u**2 - u - 1. Let s be g(-1). Is -5*(0 + q/s) a multiple of 8?
True
Let i = -31 - -175. Is 53 a factor of i?
False
Let r(q) = -q**3 - 7*q**2 + 9*q + 2. Is 21 a factor of r(-10)?
False
Let a be (2 + -1)*(-5 - -8). Suppose -a*i = 2*i. Suppose 4*s - 77 - 3 = i. Does 20 divide s?
True
Let f(s) = s**3 - 10*s**2 - 12*s + 2. Is 3