*o(i). Let c be j(-2). Is c/(-6) + 40/6 a multiple of 3?
True
Suppose -3*u = -2*u - 4. Suppose 2*l = -v, 0 = -3*l + 4*l - 2*v - 10. Suppose -u*k - l + 10 = 0. Is k a multiple of 2?
True
Suppose -o = -39 + 24. Is o a multiple of 5?
True
Let p(q) = -q**3 + 2*q**2 - 6. Is 5 a factor of p(-4)?
True
Suppose 2 = 2*i - 8, -5*q = 4*i + 50. Let r = q - -26. Suppose -28 + r = -j. Does 11 divide j?
False
Does 15 divide (-7112)/(-40) - (-4)/20?
False
Suppose x = -2*z + 10, 3*x = x. Is ((-12)/z)/(2/(-15)) a multiple of 9?
True
Suppose 0 = 3*o - 2 - 1, 29 = 5*q + 4*o. Suppose x + 3*w = 7 - 2, 0 = -3*x + q*w + 85. Does 10 divide x?
True
Let r = -68 + 144. Does 19 divide r?
True
Let n = 170 - 131. Does 13 divide n?
True
Let t(m) = -8*m - 5*m**2 + 3*m + 3*m**2 + 5 + m**3. Let b be t(4). Let j = 25 - b. Is 3 a factor of j?
False
Suppose 0 = 4*x - 9 - 47. Suppose 0 = -5*m - d - x, 2*d - 6*d = -4*m + 8. Does 15 divide 32/12*(-15)/m?
False
Let y = -11 + 16. Suppose -f = y*w - 56, 0 = -3*w + 7 + 8. Let g = f + 5. Is g a multiple of 18?
True
Let u = -11 + 16. Suppose -29 = -k + x - 4*x, 5*x = -u. Does 31 divide k?
False
Suppose -5*f + 378 = 113. Let p = 76 - f. Does 16 divide p?
False
Let f = 477 + -329. Suppose 5*t + 13 + 7 = 0, f = 4*k + t. Is 19 a factor of k?
True
Let o = -14 - -19. Suppose h + o*v = -2*h + 78, -3*v - 9 = 0. Does 7 divide h?
False
Let n be 10/(-7)*(7 - 14). Suppose 0 = -y - 4*y + n, 3*a = 4*y + 16. Is a a multiple of 8?
True
Let r = -3 - -2. Let n be r/(2/52)*1. Let x = 58 + n. Is x a multiple of 16?
True
Suppose 4*x - 3*v + 15 = -0*v, 5*v + 45 = -5*x. Let g = -2 - x. Suppose -128 = -4*s - g. Does 13 divide s?
False
Suppose 97 = -2*b + 4*k + 271, 3*k = 5*b - 400. Is b a multiple of 11?
True
Let k(f) be the third derivative of -f**6/120 + f**5/10 - f**4/6 + 5*f**3/6 + 5*f**2. Is 5 a factor of k(5)?
True
Let b be 12/10*(-20)/(-6). Let u = b - 1. Suppose 96 = -0*s + u*s. Does 13 divide s?
False
Let w(u) = 27*u + 12. Is 9 a factor of w(3)?
False
Let m(p) = 5*p**3 + 2*p**2 + 2*p - 1. Is 15 a factor of m(2)?
False
Suppose -3*a + 16 = -5*a. Let f = a - -11. Let x(q) = 4*q - 2. Does 6 divide x(f)?
False
Let x(q) = q**3 - 6*q**2 - 6*q - 5. Let a be x(7). Suppose -a*r + c + 39 = -49, -5*c = r - 33. Is 12 a factor of r?
False
Suppose -h - 3 = -3*q, q - 1 = h - 2. Is 25 a factor of 5/(20/212) - h?
True
Suppose m + 3*g + 13 = 0, 0*g + 4*g + 26 = 3*m. Suppose -2*b - 54 = -a - 11, -b = -m*a + 71. Is 11 a factor of (7/21)/(1/a)?
True
Let t(q) = -1. Suppose -y - 3*y = -20. Let j(g) = 2*g. Let i(w) = y*t(w) - j(w). Does 5 divide i(-9)?
False
Is 60/(0/(-5) + 1) a multiple of 9?
False
Suppose 0*s - 900 = -5*s. Let z = s - 108. Let h = z + -30. Does 21 divide h?
True
Suppose 0 = o - z - 19, -3*z - 33 = -o - 8. Suppose 2*h - 76 + o = 0. Is h a multiple of 15?
True
Suppose -2 = -2*f + 3*h, 5*f + 0*h - 24 = -2*h. Suppose 0 = f*q - 9*q + 225. Is q a multiple of 12?
False
Let h = -123 + 177. Does 9 divide h?
True
Suppose 4*a + 31 = -2*m - 5, -m - 4*a = 26. Does 3 divide 4/m - 52/(-5)?
False
Let h be (-25)/(-4) - 1/4. Suppose 2*d - 20 = -5*n, -4*n + h*n - 8 = 5*d. Is n a multiple of 3?
False
Does 20 divide 406/(-56)*(0 - 4)?
False
Let g(f) = -3*f**2 + 12*f. Let n be g(9). Is (3 - 2)/((-3)/n) a multiple of 15?
True
Let b(f) = f**3 + 5*f**2 + 7*f + 5. Let n(x) = x**3 + 1. Let o(w) = b(w) - 2*n(w). Let k be o(6). Suppose 5*i - 29 = -t, -3*i + t + 10 = -k. Is 6 a factor of i?
True
Suppose -w + 2*w = 0. Let n(f) = -3*f**2 - 3*f + 3. Let a be n(2). Let m = w - a. Is m a multiple of 14?
False
Let k(u) = u**3 + u**2 - u. Let r be k(1). Let d = r - -3. Suppose d*p - 44 = -5*n, 3*p - 6*n - 68 = -n. Is 16 a factor of p?
True
Suppose d = -g - 2*g - 86, -4*d = -2*g - 62. Suppose 4*u = 4*x + 239 - 23, 2*u - x = 105. Let p = u + g. Does 11 divide p?
True
Let o(k) = -24*k**3. Suppose 5*d = -5*p, 0*d - 18 = 4*p - 5*d. Let g be 3 + (p - -2 - 4). Does 8 divide o(g)?
True
Suppose -13*c + 995 = -175. Is 24 a factor of c?
False
Suppose -t + 8 = -44. Does 13 divide t?
True
Suppose 3*o = -o. Suppose 0 = -o*x - 3*x + 279. Suppose 5*q - 8*q = -x. Is q a multiple of 19?
False
Let m(q) = q**3 + 7*q**2 + 5*q - 2. Is 5 a factor of m(-5)?
False
Let r = -6 + 32. Is 13 a factor of r?
True
Let k be 3/(-1)*-7 - 1. Suppose r - 6*r = -k. Suppose 2*x - a = a + 36, -r*a = 20. Is x a multiple of 13?
True
Let a = -18 + 20. Does 18 divide (-1194)/(-27) + a/(-9)?
False
Let u be (0/1 - -1)*41. Let c = u + -29. Is 6 a factor of c?
True
Let i(u) = -14*u + 1. Is 25 a factor of i(-5)?
False
Suppose -4*i = 6*h - h - 12, -3*i = 2*h - 9. Suppose h*f + 192 = 3*f. Does 18 divide f?
False
Let o = -16 - -18. Suppose -o*s = -t - 37, 5*s + 3*t - 51 = 2*s. Does 6 divide s?
True
Suppose 3 = v + 5*z + 8, -4*v = -z - 1. Is 9 a factor of (27/(-6) - v)*-6?
True
Is 6 a factor of (-3)/5 - (2508/(-30))/1?
False
Let z be 14/((-42)/15 + 3). Suppose 6*h - h = z. Is 14 a factor of h?
True
Let t = 3 - 0. Let z(c) = c - 3. Let m be z(t). Suppose 5*w + m = 170. Is 18 a factor of w?
False
Let r(l) = 3*l**2 - 4*l. Let j(u) = u**2 + u - 1. Let c(k) = -2*j(k) + r(k). Let f be c(4). Let g(t) = -t**2 - 9*t - 3. Does 10 divide g(f)?
False
Suppose -9*z + 446 = -337. Is z a multiple of 29?
True
Let u be (-172)/(-12) + (-2)/(-3). Suppose -3*q - 54 = -0*q. Is 20 a factor of (q/u)/((-2)/90)?
False
Let w(y) = -y**3 + 2*y**2 + 2*y + 13. Is w(-5) a multiple of 34?
False
Let s be (3 - -1)/(2/(-3)). Let w(p) = p**3 + 7*p**2 + 4*p + 5. Let t be w(s). Suppose -57 = -5*n - t. Is n a multiple of 5?
False
Let l(j) = 2*j - 14. Let n be l(8). Let b be (-3 + 1)/((-4)/6). Suppose n*t - b*g = 7*t - 167, -5*t = 5*g - 165. Is t a multiple of 18?
False
Let q = -6 + 11. Suppose -21 - q = g. Does 5 divide g/(-5) + 2/(-10)?
True
Does 7 divide 38 - 2/(-3)*6?
True
Suppose -4*d - 107 = -3*c, -4*c + 3*c - 2*d = -39. Is 6 a factor of c?
False
Let q = 3 - 3. Suppose -b + 25 + 12 = q. Let l = b + -19. Does 15 divide l?
False
Suppose -3*l + 13 = -95. Is l a multiple of 15?
False
Let h = -61 + 205. Is h a multiple of 16?
True
Let x = -42 - -62. Is x a multiple of 4?
True
Suppose -4*g + 8*g + 218 = i, -5*g + 990 = 5*i. Is 15 a factor of i?
False
Does 14 divide (-9 - -11)*((-22)/(-1) + -1)?
True
Suppose -5*t = -0*t - 10. Suppose -x = -3*u - 0 - 16, -t*x + 5*u + 29 = 0. Does 3 divide x?
False
Let x be ((-2)/4)/(2/(-4)). Let q be x - 2/2 - 1. Does 2 divide (-2 - (q - -1)) + 4?
True
Let w = 49 + -20. Let z = 67 - w. Is z a multiple of 18?
False
Let u(d) = -2*d. Let m be u(1). Let h(c) = -7*c**3 + 2*c**2 + 2*c + 2. Is h(m) a multiple of 17?
False
Let s = -11 - -5. Is s*(-5)/((-30)/(-9)) a multiple of 3?
True
Suppose 0*k + 5*k = -4*h - 31, -11 = k + 2*h. Is 12 a factor of (16 - (3 - 3)) + k?
False
Suppose -3*c = 176 - 50. Let g = -25 - c. Suppose 2*y = -4*s + 130, -4*y + g + 141 = 5*s. Is s a multiple of 17?
True
Suppose -3*v + 6*v = 6. Suppose z + v*d - 2 = 0, -2*d + 3*d = 3*z + 22. Let t = 9 + z. Is 2 a factor of t?
False
Let b = 2 - 0. Let k(f) be the second derivative of f**3/6 + f**2 - 2*f. Is k(b) a multiple of 3?
False
Let k(r) = -3*r - 1. Let v be k(-1). Suppose -2*c - 5*l - 17 = 0, c + v*l - 4 = 2*c. Is 8 a factor of (-8)/c*(-6)/(-1)?
True
Suppose -2*a = 2*a - 4*b - 88, -3*a = b - 78. Suppose y - a = -4*y. Is y even?
False
Suppose 0*y + y - 5 = -2*m, -4*y - 4*m = -16. Suppose y*p + b = 13, 2*p - 2*b + 2 = -0*b. Suppose 3*i - 89 = -p*z + z, 3*i + 5*z = 92. Is 11 a factor of i?
False
Let l(o) = -o**3 - 2*o**2 - o. Let a be (-4)/18 - 32/18. Let c be l(a). Suppose 0 = -c*v - 2*v + 76. Is 11 a factor of v?
False
Let m be (222/3 - -1) + 2. Suppose l - 3 = g - 2, g - 5*l + 13 = 0. Suppose g*y = 7 + m. Is y a multiple of 21?
True
Let y(q) = 2*q**3 + 7*q - 6. Let h be y(4). Suppose -h = -6*c + c. Is c a multiple of 15?
True
Does 10 divide 44/55 - (-452)/10?
False
Suppose 7*t - 171 - 186 = 0. Does 7 divide t?
False
Suppose 4*l - t - 27 = -7, -10 = -2*l + 3*t. Suppose 0 = -7*o + 2*o + l. Is 5 a factor of (2 + -1 - -12)*o?
False
Let s be ((-12)/(-8))/(6/20). Suppose s = 4*p - 11. Suppose -p*l = -l - 102. Is 17 a factor of l?
True
Let o be 2/4 + (-13)/(-2). Does 11 divide o + 2 + 7 + -5?
True
Suppose -7*j = -2*j + 30. Let p(w) be the first derivative of -w**4/4 - 7*w**3/3 - 7*w**2/2 - 4*w +