= 0. Suppose -7*o + r = -3*o. Let p(w) = 2*w - 4. Is 10 a factor of p(o)?
True
Suppose -3*l = -2*j - 385 - 641, 0 = 3*j + 9. Is 17 a factor of l?
True
Let p = 1 + 3. Let x = -2 + p. Suppose -x*a + 5 = s, a = 3*s + 2*s - 58. Is 11 a factor of s?
True
Let c = -29 + 263. Is c a multiple of 13?
True
Let u(w) = -w**2 + 3*w + 8. Let o be u(7). Let v = -16 + 34. Let i = v - o. Does 10 divide i?
False
Suppose 2*x = -38*x + 22680. Is 4 a factor of x?
False
Let v(u) = u**2 - 8 + 7*u - 4 - u + 8*u. Does 10 divide v(-17)?
False
Let s(v) = v + 11. Let l be s(-7). Suppose b - l*f = -90, 109 = -b + 3*f + 24. Is 2/7 - 3130/b a multiple of 9?
True
Suppose -94 = 4*y - 1006. Is y a multiple of 13?
False
Suppose -p = -7*p + 1890. Is 10 a factor of p?
False
Let v(r) = 768*r**3 - r**2 + 2*r - 1. Let b be v(1). Suppose 5*x + 93 - b = 0. Suppose y = -4*y + x. Does 9 divide y?
True
Let c(q) be the third derivative of q**5/12 - q**4/24 + 2*q**2. Suppose -16 = -2*k - 12. Is 6 a factor of c(k)?
True
Suppose 4*l - 5*m - 70 = -15, -3*m + 3 = 0. Suppose -l = -4*h + 1. Suppose -h*c + 234 = -54. Is 19 a factor of c?
False
Is (-33)/(5 - (-28)/(-5)) a multiple of 5?
True
Let m be (21 - 14) + 2/2. Is 4 a factor of (-2 - (-20)/m)/((-2)/(-92))?
False
Is ((-9)/(-6))/(7394/(-1480) - -5) a multiple of 16?
False
Suppose -4*u = -6*u + 1282. Is u a multiple of 23?
False
Suppose 4*k - 4*u + 20 - 52 = 0, 5*k - 28 = u. Suppose k*b + 15 = 3*m, m = -2*m - 3*b + 15. Suppose -3*d - 9 = -l - 2*d, -3*l - m*d = -11. Is 2 a factor of l?
False
Let v(a) = 2*a**2 - 19*a - 285. Does 42 divide v(-31)?
True
Let n = -2 + 7. Let q(o) = -87 + 42 + 2*o + 45. Is 6 a factor of q(n)?
False
Let c(j) = -j**2 + 8*j - 12. Let h be c(5). Suppose 0 = 4*a - 12, -n - 3*a + 81 = h*n. Is 6 a factor of n?
True
Let c(s) = 30*s + 4. Let g be c(1). Let k = g - -41. Is k a multiple of 11?
False
Suppose -j + 6 = -12. Suppose 2211 = 4*y - d, -y + 2*y = 5*d + 529. Is 4/j + y/18 a multiple of 31?
True
Suppose 291 + 5 = 4*w. Suppose 3*q = 2*d + 4*q - w, 5*q = d - 15. Does 19 divide (-10)/d + 135/7?
True
Let b(m) = -3*m**3 - 33*m**2 - 19*m + 5. Let y(i) = 2*i**3 + 22*i**2 + 13*i - 3. Let r(f) = 5*b(f) + 8*y(f). Is 6 a factor of r(-10)?
False
Let p(w) = 10*w**2 + 2*w + 4. Let q be p(-3). Suppose -24 = n + 4*j, -2*n - 10 = j + 3. Does 5 divide (q/n)/(-2) - -1?
False
Suppose 4*c - 8 = 28. Suppose -435 = 7*h - c*h - r, 4*r + 420 = 2*h. Does 36 divide h?
True
Let a(d) be the second derivative of d**3/6 + 8*d**2 + 3*d. Let s be a(-11). Suppose -s*i - 9 = -6*i. Is i a multiple of 9?
True
Suppose -5*b - 226 = 64. Does 13 divide b/8*(-204)/17?
False
Let q be 4 - (-1)/(1/(-5)). Let p(r) = 33*r**2 + 3*r + 2. Does 22 divide p(q)?
False
Does 2 divide 1/((-1)/(-6) - 195/1224)?
True
Suppose 2*t - 4*l + 34 = 0, 4*t - 3*l = 2*l - 68. Let g(i) = -i**2 - 18*i + 3. Does 4 divide g(t)?
True
Does 2 divide 47 - (-15)/(120/(-64))?
False
Let q(x) = -x**2 - 1. Let i(a) = -3*a**2 + 2*a - 10. Let d(y) = -i(y) + 4*q(y). Let r be d(2). Is 16 a factor of (-272)/(-20)*(-5)/r?
False
Let d(x) = x**2 + x - 4. Suppose a = 4*a + 18. Let p be d(a). Let b = -16 + p. Does 2 divide b?
True
Let c(p) = -p**3 - p + 9. Let w be c(-4). Suppose -154 = -79*o + w*o. Is 24 a factor of o?
False
Suppose 51 = 3*m + a, 3*m - a = 2*m + 21. Suppose 14*h - m*h + 16 = 0. Is h a multiple of 2?
True
Let a = 943 - 175. Is 12 a factor of a?
True
Let f(t) = -t**2 + 4*t - 24. Let n be f(10). Is (-4)/6 - 6776/n a multiple of 16?
True
Let s(j) = -4*j**2 - 52*j - 20. Let f(g) = g**2 + 13*g + 5. Let i(r) = -9*f(r) - 2*s(r). Suppose -5*b = 2*z + 25, 35 - 12 = -2*z - 3*b. Does 25 divide i(z)?
True
Suppose -5 = -4*h - 1. Is h*-6*(-4 + -3)*2 a multiple of 12?
True
Let d be (-93)/((-3*1)/(-12 - -14)). Let q = -30 + d. Does 17 divide q?
False
Suppose 4*t + t - 3*l + 33 = 0, 1 = -t - 5*l. Does 3 divide ((-15)/t)/((-2)/(-4))?
False
Let o = -304 - -767. Does 25 divide o?
False
Let m = 130 + -72. Let b = m + -16. Is b a multiple of 14?
True
Suppose -v = 40*u - 38*u - 3698, 0 = -3*v - 4*u + 11092. Is v a multiple of 42?
True
Suppose -4*t - z = -t - 348, 4*t + 2*z = 464. Is t a multiple of 11?
False
Suppose -2*y + 7 = 15. Let k = 39 + y. Is 5 a factor of k?
True
Let r = -366 + 2046. Is 48 a factor of r?
True
Suppose -2*q + 34 = 5*p, 4 = 4*q - 2*q. Let t(n) = -3*n + 28. Is t(p) a multiple of 5?
True
Let q = 26 + -8. Let k = q - 18. Suppose 4*f - 160 = o - 5*o, -o - 2*f + 38 = k. Is 21 a factor of o?
True
Let t be (-16)/(-12) + 10/6. Suppose 0*w + t*w = 60. Is 13 a factor of w?
False
Let j(g) be the third derivative of 11*g**2 + 0 - 4*g**3 + 0*g + 1/4*g**4. Does 5 divide j(9)?
True
Suppose 2*h + 18 = -h. Let w be (h + 4)/(4/6). Does 19 divide -3 + 5 + w + 58?
True
Let t(o) = -7*o**3 - 7*o**2 - 4. Is t(-2) a multiple of 8?
True
Let w = -51 - -100. Is w a multiple of 49?
True
Suppose -364*y = -369*y + 660. Is 7 a factor of y?
False
Suppose 4*j = 4*o - 200, 0 = 12*j - 9*j - 5*o + 160. Suppose -63 + 3 = 4*s. Let h = s - j. Is h a multiple of 9?
False
Let a(i) = -3*i**2 + 2*i - 5. Let u be a(-6). Let t be 4/2*3195/(-30). Let g = u - t. Does 29 divide g?
False
Let o(g) = -3*g**3 + g**2 - 2*g - 16. Let d be o(-3). Suppose 2*p - 50 = 54. Let r = d - p. Is r a multiple of 12?
False
Suppose 23*a - 24*a - 268 = 0. Let f = -163 - a. Does 12 divide f?
False
Let f(t) = 6*t**2 + t + 3. Let d(h) = 6*h**2 + 2. Let q(i) = -5*d(i) + 4*f(i). Let z(b) = 5*b**2 - 4*b - 2. Let s(o) = -6*q(o) - 7*z(o). Does 7 divide s(-6)?
True
Let v = 78 + -193. Let c = v - -72. Let f = c - -67. Is 15 a factor of f?
False
Let p = 7 - 8. Let g be (2 - 3)*p - 8. Let r(o) = -7*o + 10. Is r(g) a multiple of 17?
False
Let h(x) = x**2 + 12*x - 26. Let v be h(-14). Suppose v*j - 102 = -4*t - t, 5*t - 4*j - 126 = 0. Is t a multiple of 3?
False
Suppose -256*l - 672 = -259*l. Does 12 divide l?
False
Suppose 2*z - r = -11, -5*r + 3 - 28 = 0. Let t(u) = u + 10. Let q be t(z). Suppose 0*m - 130 = -q*x - 4*m, -x = 3*m - 66. Is x a multiple of 16?
False
Let r be 118 + (8/(-2) - -7). Let a = -42 + r. Does 10 divide a?
False
Let j be -5 - -2*(-3)/(-12)*-6. Does 18 divide (54/j)/(-4*(-6)/(-768))?
True
Does 6 divide (14777/28)/(3/12)?
False
Let m be -2*((-9)/(-6) - -1). Let a be 1*(-123 - (m - -3)). Let r = 171 + a. Is r a multiple of 25?
True
Let w = 16 - 13. Let f(c) = c**3 + 3*c**2 + 6*c - 7. Is f(w) a multiple of 18?
False
Suppose 3*r + 2*r - f - 50 = 0, 0 = f + 5. Suppose d - r = -g + 7, 26 = 2*d - 4*g. Let b = 18 + d. Is 18 a factor of b?
False
Let p = 2 - 0. Suppose 71 = 5*h + 16. Does 17 divide (h + 6)/(p/4)?
True
Let l = 1193 + -1172. Is l even?
False
Let z(l) = 30*l - 32. Let x be z(3). Suppose 0 = 3*t + t + 3*k - 194, x = t - 4*k. Does 3 divide t?
False
Suppose -3 = 4*a - 7, 4*m - 9 = -a. Suppose -m*n + n + 4*q + 12 = 0, 5*n + 12 = -4*q. Is 13 a factor of (-38)/(-1) + 1 + n?
True
Let q be (2/(-3))/((-16)/(-120)). Let a(x) = 16*x. Let j(g) = -15*g - 1. Let z(r) = 4*a(r) + 5*j(r). Does 25 divide z(q)?
True
Suppose 3*t - j - 4*j - 121 = 0, 5*t - 5*j - 185 = 0. Does 3 divide (120/16 - 7)*(t - 0)?
False
Suppose -n + 6*n = 5*b - 25, -8 = -4*b. Let k(g) = -81*g + 17. Is 16 a factor of k(n)?
False
Let k = 1473 - 1140. Does 9 divide k?
True
Suppose -220*n = -211*n - 14112. Is n a multiple of 16?
True
Let a be 12/54 - 61/(-9). Let o be (-1 + -5)*a/(-14). Suppose -f + 35 = o. Is 16 a factor of f?
True
Let r(v) = 3*v**3 - 4*v**2 + 2*v - 1. Let w(n) = -3*n**3 + 5*n**2 - 3*n + 1. Let m(b) = -4*r(b) - 3*w(b). Let l be m(-1). Is 2 a factor of 3 + ((-8)/l - -6)?
False
Suppose 0 = 4*q - 20, -5*s + 1775 = -0*s + 3*q. Is s a multiple of 22?
True
Let v(m) = m - 6 + 56 + 22. Does 19 divide v(9)?
False
Suppose 0 = 27*m - 2132 - 271. Does 6 divide m?
False
Suppose 158 = m + 3*w, -3*w - 335 = -3*m + 187. Is 34 a factor of m?
True
Let q = 4288 + -2376. Is 28 a factor of q?
False
Is 151 - (1 + -5) - -1 a multiple of 78?
True
Suppose 540 + 333 = 3*o. Is o a multiple of 14?
False
Suppose -8*x = -3*x. Is 5 a factor of (3 - 23 - x)*-1?
True
Let w(g) = -3*g**3 + 23*g**2 + 19*g - 18. Let l(k) = -8*k**3 + 69*k**2 + 58*k - 54. Let j(s) = -4*l(s) + 11*w(s). Does 10 divide j(-22)?
True
Suppose -2*f + 0 = -2. Let z be 4 + f - 3/1. Suppose 5*n - 242 = y, 2*n - 2*y = -z*n + 196. Is n a multip