Suppose -5*d + 8 = -12. Suppose -y = d*h - 197, 3*h - 6*y = -y + 119. Does 16 divide h?
True
Let a be 3/(-2 - (-7)/2). Suppose 18 - 5 = 2*o - 3*s, -a*o + 2*s = -8. Does 13 divide ((-2)/(-5))/(o/(-65))?
True
Suppose 0 - 5 = -5*i. Suppose 4*n = -k + i, 0 = k + 3*k - 5*n - 25. Suppose 2*z - b = 87 - 32, -3*z - k*b = -63. Is z a multiple of 10?
False
Let k(p) be the second derivative of -4*p**3/3 - p**2/2 + 3*p. Does 12 divide k(-4)?
False
Suppose 3*r + 3*a - 168 = 0, 4*a - 164 = -2*r - r. Is r a multiple of 20?
True
Suppose -2*s - 9 = 5*g, s + s = -2*g - 6. Is g/((0 - 3)/123) a multiple of 13?
False
Let a(p) = -p**3 - 9*p**2 - 10*p - 10. Suppose 24 = -5*d - 16. Let k be a(d). Is (-1 + -2)/(k/(-14)) a multiple of 2?
False
Let k = -3 + 8. Suppose -4 = 3*f - k*f. Suppose 7*v - 16 = -p + f*v, -37 = -3*p - 4*v. Is p a multiple of 11?
True
Let n = 25 + -19. Is 2 a factor of n?
True
Suppose 0 = -2*c - 0 + 2. Let b(r) = 15*r + 1. Let f(k) = 45*k + 3. Let q(n) = -11*b(n) + 4*f(n). Is 13 a factor of q(c)?
False
Is 741/38*2/3 a multiple of 13?
True
Suppose -689 = -5*y + 421. Does 10 divide y?
False
Let f be (-40)/(-12)*(-72)/(-5). Suppose -2*d + f = -4*t, 2*t + 12 = -2*t. Does 9 divide d?
True
Suppose -115 = -2*c + a, a = 4*c - 3*a - 220. Does 12 divide c?
True
Suppose -w + 40 + 5 = -5*z, 2*w - 5*z = 115. Is 10 a factor of w?
True
Suppose 3*w - 5*w + 6 = 0. Suppose -w*p = 4 - 19. Suppose -t = y - 8, -p*y - t = -4*t - 72. Does 12 divide y?
True
Let x(b) = 7*b + 4. Does 17 divide x(14)?
True
Suppose 20 = 62*i - 61*i. Is 20 a factor of i?
True
Suppose 0 = -3*r + 6*r - 3. Let p(o) = 2*o**2 + o. Does 3 divide p(r)?
True
Suppose -842 + 264 = -2*p - 5*d, -2*p + 2*d = -550. Does 31 divide p?
True
Let f = -102 - -178. Suppose -2*x + 0*q + f = -3*q, 2*x = q + 76. Does 19 divide x?
True
Let h = 339 - 241. Is 7 a factor of h?
True
Let l be ((-40)/12)/(2/(-6)). Let w = 38 - 20. Let n = w - l. Is n a multiple of 4?
True
Let d(x) = -x**2 + 8*x + 8. Let g be ((-5)/10)/((-2)/32). Does 8 divide d(g)?
True
Let t(v) = -v**3 - 3*v**2 - 2*v - 2. Let d be t(-3). Suppose -3*l - 46 = -4*q - 0*l, -2*l = d. Is q a multiple of 2?
True
Let o(t) = 2*t**2 - 10*t - 10. Let y be 10/4 - 4/(-8). Suppose -30 = -3*q + y*k, q + 4 = 3*k + 18. Is o(q) a multiple of 19?
True
Suppose 0 = a + x - 8, -a = -x - 2 - 2. Suppose -a*d + d + 80 = 0. Is d a multiple of 8?
True
Let y(w) = 4*w - 4. Suppose 0 = -4*t + u + 5, -2*t + 0*u - 2*u = 10. Let d be (-1 + t - 0) + 6. Does 16 divide y(d)?
True
Let j(u) = 20*u. Let l = 4 + -3. Let h be j(l). Suppose -p + 5*p - h = 0. Is p a multiple of 4?
False
Let a be 13*-4*(-3)/12. Let d = -11 + a. Is d even?
True
Suppose 4*o + 5*t = 52, -3*o - o = -4*t - 52. Let b be (2 + o/(-3))*-3. Suppose -n + b = -15. Does 11 divide n?
True
Does 2 divide 10/(-4) - 300/(-24)?
True
Let t = -15 + 9. Let b be ((-45)/t)/(2/4). Suppose 2*c + 5*q = -3 + 6, 0 = -4*c - q + b. Does 4 divide c?
True
Let j(i) = -i + 4*i + 1 - i. Suppose -o + 4*o - 8 = x, -2 = -5*o - 4*x. Does 5 divide j(o)?
True
Let i(u) = u. Let b be i(-4). Let k = -3 - b. Let o = 4 - k. Does 2 divide o?
False
Suppose -37 = -2*i + 4*v + 59, -3*i - 3*v = -126. Suppose 4*h + i = 176. Is h a multiple of 9?
False
Suppose 5*v - v = 4. Is 1 + (-72)/(v - 4) a multiple of 16?
False
Let s(a) = -2*a - 5*a**2 - 7 + 6*a**2 - 2*a. Is s(8) a multiple of 16?
False
Let j be (-1)/((6/190)/(-3)). Suppose 3*y - 3*h - 51 = 0, 8*h - 3*h = -5*y + j. Is 5 a factor of y?
False
Let j(v) = -v**3 - 7*v**2 - 9*v - 3. Let g be j(-6). Let b = g + 1. Is 6 a factor of b?
False
Suppose -4*c + 41 = 3*q - 20, 80 = 4*q + 5*c. Suppose q = -4*l + 9*l. Suppose l*u - 45 = 3*h, 4*u - 5*h = 19 + 41. Is 6 a factor of u?
False
Suppose 2*p - 45 = -3*p. Is 3 a factor of p?
True
Let t = -9 + 11. Suppose t*c - 54 = 4*g, 3 - 102 = -3*c - 3*g. Is 8 a factor of c?
False
Let r be 0/(-1*(2 + -4)). Let u(v) = v**2 + 18. Is u(r) a multiple of 9?
True
Let n be 26/(-3)*9/(-6). Let u = -18 + n. Is 5 a factor of (2/(-4))/(u/80)?
False
Suppose 0 = -t + m + 2*m - 10, 2*m = -3*t + 14. Let i = -1 - -4. Let q = i + t. Is q a multiple of 2?
False
Let z(c) = c**2 - c + 2. Is z(2) a multiple of 2?
True
Suppose 3*v = v - 5*y - 15, 0 = -2*v - 4*y - 12. Let g = 35 - v. Suppose 3*o + 4*r = 107, 120 + g = 5*o - 5*r. Does 9 divide o?
False
Let i(m) = -3*m**3 - m**2 + 2*m - 3. Is 4 a factor of i(-2)?
False
Suppose -2 = -2*y, -b = -0*b + y - 7. Suppose 5*s - 382 = -3*k, k = -2 + b. Suppose -s = -3*d - 2*c, -2*d + 0*c + 44 = -4*c. Does 12 divide d?
True
Let f = -9 + 15. Suppose -2*d = -5*r + d + 6, 3*d = 3*r - f. Suppose r*y - 88 = -4*y. Is y a multiple of 16?
False
Let q be (-1)/((-3 + 5)/14). Let a = q - -12. Is a a multiple of 5?
True
Suppose 2*v - 3 = v. Suppose -v*d - x + 60 = -2*x, -4*d + x = -79. Let w = 9 + d. Is 14 a factor of w?
True
Let f be ((-2)/(-4))/((-11)/110). Is 9 a factor of 27/f*(-20)/6?
True
Let s be (0/1)/((-2)/(-1)). Suppose b = -2*b + 15, s = n - 5*b + 19. Suppose -n*y + 200 = -y. Does 20 divide y?
True
Suppose -29 = -4*o - 5. Is 5 a factor of o?
False
Let y(w) = -w**3 - 8*w**2 + 7*w - 4. Is 14 a factor of y(-9)?
True
Suppose m = 5*r - 338, -2*r = r + 5*m - 214. Is 12 a factor of r?
False
Is 2/(-15) - 1508/(-60) a multiple of 7?
False
Let a = 68 - 55. Is 7 a factor of a?
False
Let p(u) be the second derivative of 1/2*u**3 + 1/6*u**4 + 2*u**2 - 3*u + 0. Is 10 a factor of p(-4)?
False
Let d(u) = -u**3 + 7*u**2 + u - 4. Suppose l - 12 = -2*l. Is 24 a factor of d(l)?
True
Suppose 0 = 4*d - 2*k - 26, -4*d - 4*k - 2 = -10. Suppose -4*u - 8 = -d*g, 2*u + 2*g + 0*g = -22. Let a = u - -10. Is a a multiple of 2?
False
Suppose -5*k = -3 - 147. Let z = k - 19. Does 4 divide z?
False
Let h = -2 - 0. Suppose 0 = -2*w - 5*u, w + w = -3*u + 8. Let j = h + w. Does 5 divide j?
False
Suppose -6*n + 140 = -n. Suppose -4*w + 2*o = -6 - n, 5*w - 4*o = 44. Is 8 a factor of w?
True
Is -14*(-282)/12 + -1*4 a multiple of 13?
True
Let i(s) = -s + 1. Let n be i(-4). Let c be 4/n*125/2. Is 3 a factor of c/18 - (-6)/27?
True
Suppose 4*l + 0*l = 60. Let v = l - 0. Does 15 divide v?
True
Let a = 6 - 32. Does 6 divide 4/(-6)*1131/a?
False
Let k = 110 + -30. Is k a multiple of 8?
True
Let c = -12 - -31. Is 19 a factor of c?
True
Let n(c) be the third derivative of c**5/60 + c**4/6 + c**3 + 3*c**2. Is 3 a factor of n(-4)?
True
Let h(o) = 2*o**2 - 8*o - 8. Is h(9) a multiple of 13?
False
Is 17 a factor of 6/(-2) - (-1 + -32)?
False
Suppose -5*i + i = 5*t - 146, 168 = 5*i - t. Does 10 divide i?
False
Let w(m) = 2*m**3 - 2*m**2 - 3*m + 3. Let c be w(2). Suppose 0*o - c*o + 115 = 0. Let f = o + -16. Is f a multiple of 4?
False
Let o(y) = y**2 + 2*y + 2. Let m(z) = 2*z + 3. Let i(k) = -5*m(k) + 6*o(k). Let b(s) be the first derivative of i(s). Is 16 a factor of b(3)?
False
Let l = 12 + -25. Let q be (-2)/4 - 70/4. Let c = l - q. Is 2 a factor of c?
False
Let c be (-10)/(-15) + 10/(-6). Let q = 1 - 1. Does 4 divide (-2)/(c/(2 - q))?
True
Suppose -3*l - u + 2 + 18 = 0, -5*l + 3*u + 10 = 0. Suppose 2*b + l = -v, -7*v + 2*v - 1 = 4*b. Is (-6)/(v - (-14)/(-4)) a multiple of 6?
True
Suppose 3*l - 19 = -r, -r - l + 4*l - 11 = 0. Let k be 6/r*-2 - -5. Suppose -3*n + 96 - 12 = 3*q, 0 = -k*q - 4*n + 50. Is q a multiple of 14?
False
Let j be 66/(-15) - (-6)/15. Let d be (-38)/j + (-1)/2. Let g = d - 0. Does 9 divide g?
True
Is (-1665)/(-18) - 3/(-6) a multiple of 6?
False
Suppose -4 = 4*b, -3*b - 111 = -7*c + 5*c. Is c a multiple of 6?
True
Suppose 2*k + 5*k = 21. Suppose 0 = k*d - 122 - 94. Does 36 divide d?
True
Suppose 0 = i - 13 - 18. Is 31 a factor of i?
True
Suppose -8*f = -3*f - 195. Is f a multiple of 14?
False
Does 3 divide (-35)/(-6) - 7/(-42)?
True
Let c be (14/(-10))/(1/(-5)). Let v = -2 + c. Let g = 21 - v. Is g a multiple of 16?
True
Suppose 7*f = 3*f + 800. Suppose -4*z - 20 = -s, -2*s - 3*s = 5*z - f. Suppose 0*t + 3*t = s. Is t a multiple of 12?
True
Let p be (-16 - 0)*(-6)/4. Suppose -4*n - 100 = -4*f, -31 = -3*f - n + p. Let r = f - 8. Does 12 divide r?
True
Suppose 0 = -g + 145 - 25. Is 20 a factor of g?
True
Suppose -5*b - 3*c - 2 + 0 = 0, -14 = 3*b + 5*c. Suppose -2*j + o + 67 = 5, b*o = 0. Is 8 a factor of j?
False
Suppose 1366 - 232 = 6*c. Is 9 a factor of c?
True
Suppose -8 = -0*p - 2*p. Suppose 