 6*o - 3. Let v be a(-7). Suppose -3*x - 1 = 3*h - 7, -v*h = -3*x - 29. Is 8 a factor of 8/(-10)*(h - 25)?
True
Let s(l) = -3*l + 8. Let m be s(4). Let u be -33 + m + (3 - 1). Let x = u + 56. Does 19 divide x?
False
Let t = 51 + 435. Is t a multiple of 9?
True
Suppose 2*a - 6 - 36 = -4*g, 3*g = 3*a + 45. Suppose -7*f = -6*f - g. Does 11 divide f + (-3 + 4)*0?
False
Suppose -6*z + 0*z = -324. Does 18 divide z?
True
Let u(q) = 248*q + 10. Let d be u(6). Suppose 2*x - 777 + 182 = 5*g, 2*g + d = 5*x. Is 12 a factor of x?
True
Let z(n) = n**3 - 13*n**2 + 56*n - 25. Is 143 a factor of z(13)?
False
Let p(y) = -y**3 + 10*y**2 + 12*y - 13. Suppose 0 = -n - 0 + 1. Suppose 3*i - 31 = -n. Does 20 divide p(i)?
False
Let r(w) = -w**3 - 9*w**2 - 6*w - 7. Let k be r(-7). Is 18 a factor of (-7637)/k - 1*(-2)/(-9)?
False
Suppose -5*g - 1468 = z, -z = -5*z - 12. Let x = 601 + g. Is 42 a factor of x?
False
Let t(f) = -f + 2 - 5 + 0 + 2. Let j be t(-5). Suppose -38 - 82 = -j*l. Is 15 a factor of l?
True
Suppose 10*k = -p + 15*k + 1041, p + k - 1059 = 0. Is 32 a factor of p?
True
Let z be (-3)/1 - 5/(15/9). Does 23 divide (-376)/z*(-3)/(-2)?
False
Is (-101)/(1/(-3) + 13/(-78)) a multiple of 18?
False
Suppose -2*h = -4*h - 52. Let n = h - -31. Suppose -169 = -2*v + w, 6*v = 5*v - n*w + 112. Is v a multiple of 30?
False
Suppose -b + 5 = 0, 2*r = 3*b - 4*b + 19. Let s = r + 14. Does 19 divide s + -6 + (0 - -4)?
True
Let g(p) = p**3 - 7*p**2 + 6*p + 6. Let w be 4 + -1 + 0 + 3. Let u be g(w). Is 27 a factor of u*50*(-4)/(-16)?
False
Let p = 121 + -57. Does 10 divide p?
False
Is 504 - (66/(-6) - -9) a multiple of 10?
False
Is (0 - (-127)/3)/(90/1620) a multiple of 30?
False
Let k(p) = -p**3 - 4*p**2 + 5*p - 1. Let f be k(-5). Let u(y) = 43*y**2 - y. Is u(f) a multiple of 15?
False
Let f be ((-2)/(-4) + -3)/((-5)/90). Suppose 218 = 47*m - f*m. Is m a multiple of 30?
False
Does 5 divide (-826)/(-4) + (-2 - (-7)/14)?
True
Does 53 divide (-6)/9*6*(11 + -450)?
False
Let c(r) = r**3 - 19*r**2 + 33*r - 60. Does 30 divide c(18)?
True
Let a = -9 - -8. Let r be (a/(-2))/((-2)/(-4)). Is 7 a factor of (7 - -3) + (-3)/r?
True
Let f = -10 + 14. Is 1*(-16 + f)*-8 a multiple of 34?
False
Let p = -6 + 11. Suppose 0 = r - 2*g + 4*g - 28, 10 = p*g. Let l = r + 5. Is 10 a factor of l?
False
Let n(s) = 2*s**3 - 4*s**2 + 2*s. Let d be n(2). Suppose d*z - 517 = 243. Suppose -3*r + z = -r. Is r a multiple of 19?
True
Let t be 16/(-32)*0/(-2). Suppose 2*h - 266 = -4*o, t = 2*h - 2*o - 0*o - 242. Is 6 a factor of h?
False
Suppose -2*z - 4 = 0, 21*w = 24*w - 5*z - 7039. Is 11 a factor of w?
True
Let k = -12 + 19. Let z(d) = 4*d + 9. Let h be z(k). Does 9 divide (h - 0) + -1 + 0?
True
Suppose -3 = -4*w + w. Let j be (w + 1)*(4 + 109). Is 8 a factor of (-48)/80 + j/10?
False
Let j = 13 + -11. Suppose 0 = -j*z - 1 + 5. Is 8 a factor of ((-9)/6)/(z/(-32))?
True
Let y(r) = 405*r. Is 27 a factor of y(2)?
True
Let j = 117 + -58. Let o be -2 - (-107 - (-2 - 0)). Let q = o - j. Is q a multiple of 11?
True
Let w = -1562 + 3452. Is 90 a factor of w?
True
Let r be -7 + 8 + (0 - 1). Suppose r = 4*d - d - 6. Is -2 + d + 38 + -3 a multiple of 7?
True
Let f(g) = 29*g**2 + 6*g - 30. Is f(5) a multiple of 40?
False
Is 4 a factor of (361/(-2 - -3))/((-15)/(-60))?
True
Let m = -63 + 68. Suppose -2*u = -m*u + 4*k + 175, 0 = 3*u - k - 172. Does 7 divide u?
False
Let d(f) be the first derivative of -f**4/4 + f**2 + 70*f - 26. Is 14 a factor of d(0)?
True
Let l(j) = 135*j - 163. Is 56 a factor of l(10)?
False
Suppose -3*s = -44*s + 738. Does 6 divide s?
True
Suppose -4*b + 11 = -3*n - 14, -2*n - 14 = -2*b. Let s = 8 + n. Suppose -5*f + 180 = v + v, 3*f + s*v = 89. Does 9 divide f?
False
Suppose 0 = -2*j - 235 + 3865. Suppose 3*r + 29 = 5*s + 1158, -j = -5*r - 5*s. Is 23 a factor of r?
True
Let h(s) = 6*s + 200. Is h(0) a multiple of 20?
True
Let j(d) = -d**3 + 3*d**2 + 15*d - 21. Is 26 a factor of j(-11)?
True
Let h(k) be the second derivative of -k**5/20 + 7*k**4/6 + 7*k**2 - 27*k. Does 7 divide h(14)?
True
Let q be (-6)/4 + (-30)/(-20). Suppose -2*t + 0*h - 2*h + 16 = q, -h = 2*t - 18. Suppose 130 = 5*s - t. Does 13 divide s?
False
Let a = 176 + 478. Suppose -5*r + 3*k + a = 59, r - 2*k - 119 = 0. Is r a multiple of 42?
False
Let s(g) = -5*g + 40. Let a be s(5). Suppose 4*f = a + 173. Does 18 divide f?
False
Let m = -2 + 6. Let w be m/(-10) - (-27)/5. Suppose 3*i + i = -5*v + 103, 2*i = w*v - 91. Does 19 divide v?
True
Let d be 1/((0 - 2)/4) - 2. Is 8 a factor of d + 0 + (-2 - -32)?
False
Suppose 10 = o + 1. Let d = 13 - o. Is 7 a factor of 44/5*10/d?
False
Suppose -13*x + 22 = -12*x. Suppose -12*s + 122 = -x. Is 3 a factor of s?
True
Suppose 4*d - 2*d = 0. Suppose d = 3*q - 3*v - 30, 3*q - 30 = -3*v - 0*v. Suppose -13*i = -q*i - 54. Is i a multiple of 9?
True
Suppose -2*a + 620 = -4*c + 7726, 3*a = -4*c + 7121. Is c a multiple of 6?
False
Let h(y) = -2*y**3 - 9*y**2 - 10*y + 2. Suppose -10*j - 15 = -5*j - 5*c, 0 = -5*j + 4*c - 18. Does 34 divide h(j)?
True
Suppose -2*z - z + 15 = 0. Suppose z*u + 0 = 10. Does 2 divide u?
True
Suppose 7*a - 76 - 421 = 0. Does 11 divide a?
False
Suppose 4*i - 206 = -2*y, -2*i + 5*y = -7*i + 250. Suppose 2*w - i + 7 = 0. Is w a multiple of 10?
False
Let s = -291 + 671. Is s a multiple of 13?
False
Let g be ((-134)/(-6))/(1/3). Suppose -92 = -3*i - 4*h, g = 3*i - 5*h - 7. Does 7 divide i?
True
Suppose -6*y = -0*y + y. Suppose -5*t + 15*t - 2400 = y. Is 10 a factor of t?
True
Suppose -5*b = -2*p - 180, -2*b + 2*p + 0*p + 72 = 0. Is 6/b - 4/((-48)/622) a multiple of 13?
True
Suppose 20 = 5*g - 4*x, 5 = 5*g + 2*x - 15. Suppose -g*q = -7*q. Suppose -y - b = -41, 2*y + q*y - 5*b = 96. Is y a multiple of 13?
False
Let k(b) = 25*b - 14. Let l be k(6). Let j = l + -66. Is j a multiple of 4?
False
Let p be 3/(-3) - (0 + -4). Does 7 divide 10/1 - (-1 - p)?
True
Let j(v) = -9*v**2 - 7*v**2 - 3*v**3 + 20*v**2 + 6 + 3*v. Does 19 divide j(-3)?
True
Let n(c) be the first derivative of 5*c**3/3 - 3*c**2/2 + 23*c + 16. Is n(5) a multiple of 4?
False
Let a = 14 + -12. Let r be (-1 + (58 - 2))*a. Suppose 0 = -5*t - 3*w + 80, 5*t = -0*t + 3*w + r. Is 5 a factor of t?
False
Let l(t) be the second derivative of -t**4/12 + 11*t**3/6 - 3*t**2/2 + 12*t. Does 7 divide l(8)?
True
Let w = -1317 - -3747. Does 15 divide w?
True
Suppose -17*p = -16*p - 43. Is 37 a factor of p?
False
Suppose -4*d + 4 = -16. Suppose -2*i + 0*r = 2*r - 62, 4*r = -d*i + 154. Is 7 a factor of i?
False
Let s(n) = 2*n - 2. Let x be s(3). Let k be (x + -5)/((-2)/8). Suppose k*y - 1 = 131. Is 11 a factor of y?
True
Let b = -17 - -20. Let s be 150/b + (-4 - -6). Suppose -g - g + s = 0. Is g a multiple of 13?
True
Let t = 140 + -100. Let l = 54 - t. Is l a multiple of 5?
False
Suppose -o + 3*v = v - 16, -6 = 3*v. Is (-750)/(-9)*18/o a multiple of 25?
True
Let v(x) = -x + 5. Suppose -3*g = 9, 5*f - g + 6*g = -35. Does 8 divide v(f)?
False
Suppose -3 = -s, 3*a = 6*a - 2*s - 1152. Is 16 a factor of a?
False
Suppose 0 = -5*h - 9*h + 5110. Does 13 divide h?
False
Let p = -24 - -24. Suppose -4*g + 43 = t, -5*g + t + 25 + 40 = p. Is g a multiple of 3?
True
Let n(q) be the third derivative of -q**5/20 + q**4/24 - 2*q**3/3 + 11*q**2. Let v be n(4). Let c = 104 + v. Is 12 a factor of c?
False
Let q be 1 - (-206)/4 - (-33)/22. Does 8 divide (18/q)/(1/408)?
True
Let q(d) = -10*d**3 - 2*d**2 + d + 1. Does 52 divide q(-5)?
True
Let l = -48 - -49. Does 13 divide l/4 - (-55)/4?
False
Let r = -171 - -283. Does 10 divide r?
False
Let a(s) = -58 + 31 + 30 - 8*s. Let h be 14*(2 - 0)/(-4). Does 21 divide a(h)?
False
Let p = -221 + 397. Does 12 divide p?
False
Suppose -1 = -4*b - 5*t + 11, -b + t = 6. Let w be (b - -3) + (-275)/(-5). Let c = -24 + w. Does 16 divide c?
True
Let z = 54 - 48. Let a(u) = -3*u**2 + 21*u - 4. Does 3 divide a(z)?
False
Let r(t) = t**2 - 3. Is r(-4) a multiple of 7?
False
Let h be ((-105)/14)/(2/(-60)). Suppose 0*b - h = -b. Suppose 3*g - 3 = b. Is g a multiple of 23?
False
Let t = 848 - 606. Does 12 divide t?
False
Suppose 7*b - 15 = 4*b, -4*b = -4*y + 1412. Suppose -2*f - 18 = -y. Is f a multiple of 50?
False
Suppose 16 = -4*r - 0*r, -1972 = -3*n + 4*r. Does 14 divide n?
False
Let g(o) = o**2 + 6*o + 5. Suppose 4*f = -f + 15. Suppose -