6*t - 5 = 0. Let w = -7 + t. Is 2 a factor of (3*1)/(w/(-4))?
True
Let j = -181 - -325. Is j a multiple of 16?
True
Suppose -c = 3, 230 = -j + 6*j + 5*c. Does 13 divide j?
False
Let m be 3 - (-1)/1*5. Let g be 0 + -1 - 2*-2. Let s = g + m. Does 4 divide s?
False
Let r(x) = 48*x - 69. Let p(l) = 7*l - 10. Let v(a) = 27*p(a) - 4*r(a). Is 10 a factor of v(-8)?
True
Let g = 22 - 38. Suppose 0 = -5*f - h - 135, -2*f - 4*h - 12 - 24 = 0. Let r = g - f. Is r a multiple of 6?
True
Suppose 0 = v - 2 - 1. Suppose 26 = s - v*s. Does 10 divide (-2)/s + 245/13?
False
Let h(r) = 5*r**2 - r. Let p be h(1). Suppose s + 45 = 5*c, p*c - s - 18 - 17 = 0. Is 6/15 - (-216)/c a multiple of 11?
True
Let d = 3 + -1. Let g be 368/5 - d/(-5). Suppose 8 = 2*z - 0*z, 2*p = 3*z + g. Is p a multiple of 16?
False
Let h(n) = n**2 + n + 1. Let y be h(0). Suppose p - 3 = -y. Suppose -3*w + 5*r + 70 = 17, -w = p*r - 3. Does 9 divide w?
False
Suppose r - 157 = -13. Does 20 divide r?
False
Suppose 0 = -0*n + n + 2. Let t = n - -4. Is 9 a factor of (1 - t)*(1 + -26)?
False
Let o = -140 - -282. Suppose -3*x + 7*l - 2*l + o = 0, 3*l = -2*x + 120. Is x a multiple of 15?
False
Let v be (32*-1)/(2/6). Let p = v + 23. Is 4/6 - p/3 a multiple of 12?
False
Let w be 3 + -4*(-1)/2. Suppose 290 = w*m - 30. Does 5 divide 2/(-5) + m/10?
False
Suppose -2*k - 28 = -52. Is k a multiple of 3?
True
Suppose 4*h - 228 = 464. Is h a multiple of 31?
False
Let y(h) = 11*h - 2. Suppose 4*o + 1 = 13. Does 16 divide y(o)?
False
Let l(i) = -4*i + 22*i**2 + 4*i - 1. Let f be l(1). Suppose -h - 3*t + f = 0, 2*t - 3*t = h - 31. Does 15 divide h?
False
Let n = 1 - 1. Let m(x) = -3*x - x - 6 + n*x. Is 14 a factor of m(-6)?
False
Let u(m) = 3*m**2 + 3*m. Does 15 divide u(3)?
False
Let v be (-57)/(-5) - (-2)/(-5). Let w = 4 + v. Does 15 divide w?
True
Suppose -2*f = a - 3*f - 2, -4*f = 5*a - 55. Suppose -3*c = -4*c + a. Is c a multiple of 3?
False
Let l = 2 + 1. Suppose d + 2*y = -y + 47, -6 = -l*y. Let f = -25 + d. Is 13 a factor of f?
False
Suppose -2*y + 6*y - 480 = 0. Is y a multiple of 10?
True
Suppose 198 = 3*s + 2*j, -5*j + 143 = 2*s - 0*j. Is s a multiple of 28?
False
Suppose 3*z = 12 + 78. Is 8 a factor of z?
False
Suppose -1008 = 11*i - 17*i. Does 14 divide i?
True
Suppose o + 3*c = 39, 2*c + 8 = -2. Is 11 a factor of o?
False
Let h = 0 + -4. Let q(u) = -3*u + 5. Let p be q(h). Suppose -4*z - 2*w + 13 = -p, -5*z - 5*w + 50 = 0. Is 5 a factor of z?
True
Suppose -20 = -3*t + 16. Does 12 divide t?
True
Suppose -5*j - 3 - 21 = -4*h, 3*j - 4*h = -16. Suppose -2*y = 5*s - 55, -15 = -2*y + s + 2*s. Let t = y - j. Does 9 divide t?
False
Let q = -24 - -36. Suppose 2*g = 4*f + 4*g - 54, 4*f - 60 = -4*g. Let z = f + q. Is z a multiple of 9?
False
Suppose -2*o = -12 - 0. Does 6 divide o?
True
Let a be (-8)/36 + 60/27. Suppose -j = -a*w + 30, 4*j - 3*j = 4. Is 15 a factor of w?
False
Let p be (2241/(-18))/(6/8). Let s = 286 + p. Suppose -b + s = 3*b. Is b a multiple of 13?
False
Let w = 8 - -150. Suppose 2*f - 82 = w. Let m = -70 + f. Is 13 a factor of m?
False
Suppose -5*u = -18 + 3. Let p = -12 + 28. Is 3 a factor of (-6)/(-9) + p/u?
True
Let i(p) = 57*p**3 + 3*p**2 - 4*p + 2. Is i(1) a multiple of 11?
False
Let i be 42/(-12)*(-12)/21. Suppose -3*l = 4*g + l - 48, -i*l = -2*g + 12. Does 3 divide g?
True
Let m(v) = 3*v**2 - 1. Suppose -5*f = -4*z - 16, 2*f + 3*f + 16 = -4*z. Let j = -2 - z. Is m(j) a multiple of 11?
True
Is (-4)/18 - 8246/(-171) a multiple of 7?
False
Suppose 285 = 2*v - j, -4*v + 5*j + 957 = 372. Suppose -v = -0*d - 3*d + n, d = -3*n + 30. Suppose -3*o = -t - d, 12 = 2*t + 2*t. Is 8 a factor of o?
True
Suppose 2*t + t - 12 = 0. Suppose b = -t*b + 45. Suppose 0 = 2*x - 3*l - 20, -3*x = -2*l + b - 44. Is 6 a factor of x?
False
Does 9 divide (-807)/(-7) + 1/((-21)/6)?
False
Let b be 1 + -3 + 5 + -3. Suppose q - 6*q = b. Suppose r + 0 - 7 = q. Is r a multiple of 3?
False
Let u = -2 + 5. Suppose 4*h + 3*x - 107 = 0, -2*h + 61 = -u*x + 2*x. Is h a multiple of 11?
False
Let r = -207 + 291. Suppose 2*k - 2*l + 7*l - 57 = 0, 4*l = 2*k - r. Is k a multiple of 18?
True
Suppose -5*n - 20 = 5*b, 4*n + 8 + 8 = 4*b. Suppose b = 2*h - 5 - 11. Is 4 a factor of h?
True
Let k(v) = -1 - 4*v - 6 + 5*v. Let h be k(11). Suppose -35 + 7 = -h*d. Does 5 divide d?
False
Let s = -9 - -9. Let l(o) = o**2 + 33. Does 16 divide l(s)?
False
Let l = -32 - -10. Let a be 878/11 - 4/l. Is 9 a factor of (-24)/(-10)*a/12?
False
Let z(i) = -i**3 - 5*i**2 - 2*i + 3. Let w be z(-4). Let m(a) = a + 4. Let y be m(w). Does 14 divide 7*(2 - (1 + y))?
True
Let g(n) = -n**3 + 8*n**2 - 4*n + 7. Is 15 a factor of g(5)?
False
Let u(b) = -b**3 + 7*b**2 + 7*b + 1. Does 14 divide u(7)?
False
Suppose -70 = -n - 3*b, 2*b - 230 = -4*n + 100. Is 10 a factor of n?
False
Let x(t) be the second derivative of -t**7/840 - t**6/360 + t**5/120 + 13*t**4/24 - t**3/2 + t. Let p(g) be the second derivative of x(g). Does 5 divide p(0)?
False
Let y = 4 - -1. Suppose 0 = -y*q - 59 + 14. Is (2*q)/(-2) - -1 a multiple of 10?
True
Suppose -3*v = 6, -2*v - 107 - 1317 = -5*r. Suppose -4*j - o = -0*o - r, 0 = -4*j + o + 276. Let x = 123 - j. Is 18 a factor of x?
False
Let l(s) = -5*s**3 - 2*s**2 - 6*s. Let z(j) = -4*j**3 - 2*j**2 - 5*j. Let k(h) = 5*l(h) - 6*z(h). Is 16 a factor of k(-2)?
True
Suppose g = -g + 4*o + 584, 0 = -3*g - 4*o + 886. Does 21 divide g?
True
Let s(a) = -a**3 - 5*a**2 - 3*a + 4. Let n be s(-4). Suppose 0*b + 2*b - 10 = n, b - 81 = -4*y. Does 11 divide y?
False
Let q(k) be the first derivative of -k**3/3 + 11*k**2/2 - 6*k - 4. Is q(9) a multiple of 4?
True
Is 2 a factor of 6/4 + (-38)/(-4)?
False
Is 13 a factor of 3 + (77 - (0 + 2))?
True
Does 13 divide ((-48)/(-10))/(6/45)?
False
Suppose -101 = -2*q - 3*b, -3*b - 177 = -3*q + b. Does 14 divide q?
False
Let r be (1 - 9/15)*170. Let b = 12 - 10. Suppose -x - p = -23, -3*x + r + 21 = -b*p. Does 9 divide x?
True
Let n(g) be the third derivative of g**6/120 - g**5/60 + 6*g**3 + 2*g**2. Is n(0) a multiple of 15?
False
Let c(r) be the third derivative of -r**5/60 + 3*r**4/8 + 2*r**3 - r**2. Is c(10) a multiple of 2?
True
Let i = -5 - -9. Let n be i - 1 - (0 + 3). Suppose n = 4*d - y + 3*y - 36, -2*y = 0. Is d a multiple of 9?
True
Suppose -5*s + 3*m = -219, 0 = 2*m - 2 - 2. Does 6 divide s?
False
Let b = 19 + 17. Let h = -23 + b. Is 13 a factor of h?
True
Suppose 0 = 4*b - b. Suppose b*u + u = 4. Suppose -3*q + 15 = 3*k, -u*k + 6 = -k. Is 2 a factor of q?
False
Suppose 4*s - 4 + 20 = 5*v, -4*v - s - 4 = 0. Is 11 a factor of (v + 1)/(4/88)?
True
Let v be -3 + 1 + 98 + 0. Suppose 4*y - v = 36. Is 16 a factor of (-4)/(-6) - (-605)/y?
False
Suppose 8*r = 10*r - 98. Let n be 3/2*4/3. Suppose -3*l - 5*u + r = -0, 3*l = -n*u + 61. Does 23 divide l?
True
Let s = 42 - 19. Suppose -2*o + s = 5*m, 4*m - 3*m - 7 = 2*o. Is 13 + (-2)/(0 - o) a multiple of 4?
False
Suppose -6*g - 99 = -7*g. Is g a multiple of 33?
True
Let g(v) = -v**3 - 10*v**2 - 11*v + 10. Does 3 divide g(-9)?
False
Suppose -146 = -5*f + 314. Is f a multiple of 23?
True
Suppose -4*t = -5*a - 166 + 891, -5*t = -a + 166. Is 20 a factor of a?
False
Let o(c) = -2 - 3 + 8*c + c**2 - 1. Suppose -18 = -l + 3*l. Is o(l) a multiple of 2?
False
Suppose 3*f - f - 2*k = 170, 0 = 5*k - 5. Does 21 divide f?
False
Let b(k) = k**2 + 3*k - 2. Suppose 4*i + 14 - 1 = -5*q, 2*q - 4 = 3*i. Let d be (-2 - 3)*2/i. Does 19 divide b(d)?
True
Does 21 divide 4/(-2) + 46/((-4)/(-2))?
True
Suppose -9*a + 7*a + 112 = 0. Suppose -4*r + 22 + 2 = 4*z, 0 = -z - 3*r + 10. Suppose a = z*h + 3*d, 0 = 3*h + 2*d - 8 - 34. Is 7 a factor of h?
True
Let o = -2 - -4. Suppose -w + 53 = -4*r, 2*w - o*r = r + 96. Is w a multiple of 22?
False
Let b = 27 - 44. Suppose -2*g - 10 = 0, -5*v - 44 = g - 14. Let z = v - b. Does 12 divide z?
True
Let l = 3 - 6. Let h = l - -3. Suppose 0 = 2*a + r - 50, 5*a + h*r - 118 = r. Does 16 divide a?
False
Let h(q) = -10*q - 7. Let p be h(4). Let v = p - -78. Does 11 divide v?
False
Let o be 101/(-9) - 2/(-9). Let n = -3 + 3. Is (n - -2) + o/(-1) a multiple of 5?
False
Let c be (240/(-6))/(1 + 0). Let w = 79 + c. Is 10 a factor of w?
False
Let u = -24 + 39. Suppose -2*y - o - u = 0, -3*o = -2*y - 0 - 27. Let r(z) = -6*z - 10. Is r(y) a multiple of 15?
False
Let a 