Suppose -4 = -z + 9. Suppose -z + 1 = -q. Does 35 divide (16 - q)/(2/20)?
False
Let t = -1572 - -963. Is (-2)/(-12) + t/(-18) + -7 even?
False
Suppose -s = 5*w + 516, 2*s - w = -2*s - 2022. Let h = s - -356. Let a = -66 - h. Does 20 divide a?
False
Suppose 4*x + 5197 = 5*k, 3*k - 50*x = -53*x + 3102. Is 19 a factor of k?
False
Let d(k) = 18*k - 6. Suppose 5*i - 5*o - 41 + 6 = 0, -o = -4*i + 13. Does 15 divide d(i)?
True
Suppose -103*f - 1848 = -110*f. Is f a multiple of 12?
True
Let y(g) = 25*g**3 + 5*g - 2. Let z(f) = 25*f**3 + 6*f - 2. Let b(q) = -5*y(q) + 4*z(q). Does 17 divide b(-2)?
True
Is 30/(-285) - 2263/(-19) a multiple of 33?
False
Let v(y) = -19*y**2 - y - 26. Let l be v(5). Let q = l - -802. Is 14 a factor of q?
False
Let o(j) = -j. Let a be o(1). Is 25 a factor of 3*(-99)/(-3) - a?
True
Let w be ((-4)/10)/(8/40). Let r be w*(30/(-4) - -1). Suppose 3*i - 86 = r. Does 11 divide i?
True
Let c be (9/(36/8))/((-6)/51). Let z = 157 + c. Is z a multiple of 20?
True
Let p = -17 + 14. Let h be (p - -5)*66/(-4). Is 3/(57/h - -2) a multiple of 3?
False
Let j = 30 + 21. Let g = j - -63. Let c = 202 - g. Is c a multiple of 23?
False
Suppose -2*k + s - 10 = 0, 2*s - 6 = -k - 3*s. Let n(i) = -i**3 - 7*i**2 - 4*i + 7. Let v be n(k). Let j = v - -92. Is 20 a factor of j?
False
Suppose -4*l + 4 = -3*l. Suppose 3*s - 26 = -l*p, -2*p + 2 = -s - 6. Suppose 81 = p*n - 39. Is n a multiple of 7?
False
Suppose -x - 2*x - a + 6 = 0, 8 = 4*x + 4*a. Suppose 10 = -x*b + 348. Is 20 a factor of b?
False
Suppose -2*m + l = -2300, 4*m - 5728 = -m - 3*l. Does 66 divide m?
False
Let y(r) = 12 - r + 4 - 10*r + 6. Is y(-21) a multiple of 23?
True
Suppose -4*w = -5*x + 3*x - 12, 5*x = 0. Suppose -w*b - c + 159 = 0, 4*c + 215 = 3*b + 41. Is b a multiple of 27?
True
Suppose -3*y + 3*p + 123 = 0, -4*p = 4*y - 3*y - 46. Let w = y + -36. Is 10 a factor of ((-3)/w)/((-2)/120)?
True
Suppose -1857 = -8*g - 289. Does 61 divide g?
False
Let q = 60 - 138. Let k = -33 - q. Let h = 85 - k. Is 20 a factor of h?
True
Suppose 2577 = 7*r - 5396. Does 68 divide r?
False
Let q(c) = c**3 + 3*c**2 - 4*c + 3. Let v be q(-4). Suppose -2*h = -7 - v. Suppose -h*m + 53 = -137. Is m a multiple of 19?
True
Let c = -26 + 36. Is 3/(-24) + 314*c/32 a multiple of 14?
True
Let f be 2/(-2)*(3 + 12). Does 4 divide 70/8 - f/(-20)?
True
Suppose -2*d + 8498 = 5*l - 6*d, -4*l = 5*d - 6782. Is l a multiple of 74?
False
Let d(v) = 99*v - 1. Suppose -3*n + 8 = -16. Suppose 3*h + 5 - n = 0. Is 25 a factor of d(h)?
False
Suppose 2*n = -4*v - 8 - 12, -4*v - 20 = -4*n. Let z(p) = -p - 14. Let m(g) = g + 14. Let h(b) = -3*m(b) - 4*z(b). Is h(n) a multiple of 14?
True
Let g be (-101)/9 + 10/45. Let q = g - -22. Suppose -31 = -b + 5*w - 10*w, -w + q = b. Does 4 divide b?
False
Let k(j) = j**3 + 17*j**2 + 32*j - 34. Does 4 divide k(-14)?
False
Let y(p) be the third derivative of 3*p**2 - 5/24*p**4 + 0 + 1/60*p**5 + 0*p - 1/2*p**3. Is 11 a factor of y(-4)?
True
Suppose -v - 51 + 6 = 0. Let f be 4/18 - (-7750)/v. Is f/(-2)*1/2 a multiple of 11?
False
Let c be 20/90 - (-79)/9. Suppose 0 = -g - 6 - 0. Does 16 divide c*((-32)/g + 0)?
True
Let h = 4461 + -7201. Is h/(-35) + (-2)/7 a multiple of 38?
False
Suppose 5*j = -2*w + 17, w = -w + j + 35. Let i = -20 + w. Let c(y) = y**2 + y. Is c(i) a multiple of 6?
True
Is 176/12 - (-12)/9 a multiple of 3?
False
Does 34 divide 409 - -1 - 19/(57/6)?
True
Let h = 0 + 4. Suppose 4*y = -b - y - 18, h*b + 110 = -y. Let u = 54 + b. Is u a multiple of 10?
False
Suppose 5*w + 0*w = 20. Suppose p + 3*p - g - 15 = 0, 5*g = w*p - 11. Suppose p*c + 18 - 54 = 0. Is c a multiple of 7?
False
Let p = 3781 - 2041. Is p a multiple of 145?
True
Suppose 0 = -5*z - 4*q, 3 = -q - 2. Suppose 54 = 4*n + z*l - 50, 108 = 3*n - 3*l. Let i = -22 + n. Is 9 a factor of i?
True
Suppose 0 = 2*u - 2*a + 58, 2*u + a + a = -54. Let c = 67 + u. Does 13 divide c?
True
Suppose p = h - 17, 0 = 2*h + 5*p + 9 - 57. Let q = h + 19. Does 12 divide q?
False
Suppose 8 - 24 = -4*z. Does 25 divide (-3 + 242/z)*108/30?
False
Let v(p) = p**3 + p + 1. Let i(z) = 2*z**3 - 2*z**2 + 3*z. Let k(q) = i(q) - 3*v(q). Does 24 divide k(-4)?
False
Is 15 a factor of 2/(4/840*7)?
True
Let i = 22 + -68. Let s = i - -52. Is 2 a factor of s?
True
Suppose -11902 = -27*y + 11156. Is 39 a factor of y?
False
Let g be 2 - (0 + 284)*3/(-6). Suppose g = 5*t + 109. Is t a multiple of 7?
True
Let n be ((-76)/(-95))/((4/210)/1). Suppose 8*m - n - 86 = 0. Does 6 divide m?
False
Let d = -29 + 32. Suppose 0 = -u + d*u - w - 60, 0 = u + 2*w - 30. Is 6 a factor of u?
True
Does 26 divide 829896/420 + (-2)/(-35)?
True
Suppose 5*x + 0 = 4*d - 7, 12 = -d + 4*x. Suppose 5*c = c + d. Suppose n + 21 = c*n. Does 5 divide n?
False
Let p(l) be the first derivative of l**2/2 + 26*l - 16. Is 5 a factor of p(-11)?
True
Suppose 4*p - 1880 = -4*i, p + 940 = 2*i - 2*p. Is 24 a factor of i?
False
Suppose 2*a + 3*i + 2*i = -91, -137 = 4*a + i. Let q be (54/(-4))/(a/(-44)). Let j = q - -69. Is 17 a factor of j?
True
Suppose -80 - 396 = -7*p. Suppose p*a - 72*a + 760 = 0. Does 38 divide a?
True
Let c(s) = s**3 + 7*s**2 + 5*s + 5. Suppose -5*x - 7 = 23. Let z be c(x). Suppose -t + 4 = -z. Does 8 divide t?
False
Suppose -5*v + 3*v + 32 = 0. Let s = v - -5. Is 7 a factor of s?
True
Suppose 2*g = 3*g - 35. Suppose 2*j - 30 = 4*t, 0 = 3*j - 5*t + t - g. Does 5 divide j?
True
Suppose -103 - 377 = -16*s. Is 15 a factor of s?
True
Suppose 3*u - 856 = -4*z + 1967, -4*u - 3*z + 3757 = 0. Is 47 a factor of u?
False
Suppose -335 = -3*h + 313. Let k = h + -73. Is 13 a factor of k?
True
Let i = 31 + -25. Let r(h) = -4*h. Let m be r(i). Let q = -3 - m. Does 6 divide q?
False
Let t = 23 + 296. Does 14 divide t?
False
Suppose -4*a = -7*a + 45. Suppose 3*i = -0*d - 4*d - 21, -5*d + a = 0. Let g(h) = h**2 + 3*h - 22. Is g(i) a multiple of 10?
False
Suppose 5*g - 529 = -2*q + 843, 4*g - 1088 = -4*q. Is 6 a factor of g?
True
Let s = -6 + 13. Let w(u) = -u**2 + 14*u - 9. Is 4 a factor of w(s)?
True
Suppose 5*r = -s + 8 + 7, 0 = r + s + 1. Suppose -j = r*v - 60, j = -v + 3*v + 30. Is 16 a factor of j?
False
Let r(z) = -z - 3. Let v be r(1). Is 27 a factor of 3003/22 - (-6)/v?
True
Let x = -5912 + 8341. Is 62 a factor of x?
False
Let s = 5 + -3. Suppose 0 = -s*i - 2*q + 60, -4*q - 120 = -5*i + i. Suppose -i = -5*w + 2*w. Does 10 divide w?
True
Let d = 9 + -7. Let v(h) = 4 + h**d - 2 + 2*h - 4. Does 3 divide v(2)?
True
Let h = 946 - -809. Does 15 divide h?
True
Suppose -5*o + 3*o = -5*s - 54, -2*s - 8 = 0. Is 8 a factor of o?
False
Let r(u) = -2*u**3 - 10*u**2 - 22*u + 37. Is r(-7) a multiple of 43?
True
Let l be 147/12 + (2/(-8) - 0). Let q(j) = 5*j - 1. Let t be q(-1). Let a = l - t. Does 9 divide a?
True
Suppose d = -2*d. Suppose 0*r + 2*r = d. Suppose -5*z - s + 72 = s, 3*z + 2*s - 40 = r. Does 16 divide z?
True
Let j(p) = p**2 + 2*p - 3. Let w be j(2). Suppose -127 = -3*l + y, -2*l - w*y = -6*l + 173. Is l a multiple of 6?
True
Suppose -6 - 5 = -a. Let t(n) = -n**3 - 4*n**2 + 4*n - 3. Let b be t(-5). Suppose b*h - a = h. Is 8 a factor of h?
False
Is 68 a factor of 596*(-2 + 9/3)*1?
False
Suppose -2*t + 216 = 3*q - 78, q = 2*t - 278. Does 3 divide t?
True
Let n(k) = -17*k - 173. Is 59 a factor of n(-31)?
True
Suppose 5*j - 132 = j. Let t be 2052/j - 2/11. Suppose 2*s - a - t = -5*a, 0 = 2*s + 2*a - 54. Is s a multiple of 6?
False
Let d = -418 - -655. Does 3 divide d?
True
Suppose -3*n - 2 = -5*g - 1, -n = 2*g - 7. Suppose 5*q + o - 58 = -g*o, -o = -5*q + 54. Suppose 10*p - q*p = -7. Does 7 divide p?
True
Let z(f) = -f**2 + 11*f - 17. Let y be z(8). Suppose -2*h - 4*o + 1 = -h, h + o = y. Is h a multiple of 9?
True
Let d be ((-4)/(-3))/((-2)/(-51)). Let o = 2 + d. Is o a multiple of 12?
True
Let j = 14 - 35. Let z be (-1)/3 - 7/j. Suppose 0*s + 3*s - 21 = z. Does 3 divide s?
False
Let f(k) = -14*k + 3 + 1 + 0*k - k**2 - 8. Is 10 a factor of f(-4)?
False
Suppose -20*n + 965 = -5055. Is 12 a factor of n?
False
Let b = -6 - -7. Suppose -4*f + 30 = 5*r, 3*r - f - b = -0*f. Suppose -111 = -3*m + 5*o, -5*m - r*o + 219 = o. Is 14 a factor of m?
True
Suppose 0 = -5*m - 18 - 7. Let s(x) = x**2 + 4*x - 3. Let f be s(m). Does 18 divide (27 - f/(-1))/1?
False
Let n(b) = 5*b - 17. Let j be n(4). Is ((-84)/8)