or of u?
True
Let u = -225 + 620. Is 5 a factor of u?
True
Suppose -2*c + 515 = -1661. Is c a multiple of 34?
True
Let x(s) = -3*s**3 + 11*s + 13 + 4*s**3 - 14*s**2 + 3*s**2. Let f = 26 + -16. Does 8 divide x(f)?
False
Is 31 a factor of ((-5)/(30/54))/(3/(-537))?
False
Let t be -3 - -2 - (1 + 2 + -20). Let r = 188 - t. Is 17 a factor of r?
False
Let u(d) = -203*d**3 - 2*d**2 - d. Let v be (-1)/(4/8) - (-4 - -3). Is u(v) a multiple of 31?
False
Suppose -44*h = -41*h - 90. Is 3 a factor of h?
True
Suppose -6*o + o + 30 = 0. Let n = 6 - o. Suppose -5*k - 51 = -2*s - 6*k, n = -2*s - 2*k + 54. Does 12 divide s?
True
Let p = -6 - -15. Let z(b) = b**2 - 2*b + 21. Does 21 divide z(p)?
True
Let o be ((-56)/(-12) - 4)*-15. Let b be -1 + (o - -4) + 0. Is 3/((b/10)/(-7)) a multiple of 6?
True
Let v(i) be the second derivative of 0 + 3/4*i**4 + 1/20*i**5 - 8*i + 5/6*i**3 - 9/2*i**2. Is 27 a factor of v(-7)?
True
Let h(v) = v**2 + 6*v - 5. Let b be h(4). Let o(t) = t**2 - b - 9*t + 15 + 10. Does 6 divide o(11)?
True
Let u be 4/(-4 - 25/(-6)). Suppose 5*v + 2*o + 168 = 6*o, -u = v - 4*o. Is 4 - (-9)/(v/(-208)) a multiple of 13?
False
Suppose 4*m = 4*k + 912, -5*m = k - 776 - 346. Does 19 divide m?
False
Suppose 0 = -154*n + 143*n + 13662. Does 27 divide n?
True
Is 14 a factor of ((-32)/6)/(6/(-63))?
True
Let k(c) = 2*c**3 + 34*c**2 + 25*c + 47. Does 53 divide k(-16)?
True
Suppose -4*q = -q + 57. Let l be (102 + 12/(-3))/2. Let c = q + l. Does 6 divide c?
True
Let s(w) = -356*w - 36. Does 64 divide s(-1)?
True
Is 520*((-2)/(-12) + 2/6) a multiple of 5?
True
Suppose -5*l = 3*w + 1, -4*w - w + 11 = 2*l. Is 24 a factor of (-264)/(l/(3 + -1))?
True
Let f(a) = -a + 10. Let b be f(11). Let c(q) = -34*q - 2*q - 21*q + 2*q - 1. Does 15 divide c(b)?
False
Suppose 2*y = -3*c - 8, y - 2*c - 4 = 6. Suppose y = -n + 8. Does 2 divide n?
True
Let d be (-7)/(-14) - 2/(-4). Does 14 divide -1*(35 + 2)*(d - 4)?
False
Let m be 9/6 + 2/4. Suppose -m*s + 5*s = 45. Is s a multiple of 8?
False
Suppose -75*a + 42370 = -56*a. Is 27 a factor of a?
False
Is 1254/(5/15 + 6/9) a multiple of 19?
True
Let f be 8/(-12)*8*18. Is 3/((81/f)/(-9)) a multiple of 11?
False
Suppose 3*g + g + 3 = 3*t, 5*t = 5*g. Let m(h) = 2*h**2 - h + 0*h + 4*h. Does 8 divide m(t)?
False
Suppose -2*m = 2*f - 0*m + 1508, 3*f + 2*m = -2260. Does 9 divide 4/18 - (f/18 + -3)?
True
Let c = 3 + 1. Suppose -c*f + 144 = 5*b + 1, b = 3*f + 21. Is b a multiple of 9?
True
Is (12 - 10)/(8/(-214))*-32 a multiple of 25?
False
Suppose -19*v + 15*v - 14 = 2*j, 2*j + 10 = -3*v. Let l(t) = 1. Let z(m) = -41*m + 3. Let c(p) = 2*l(p) - z(p). Is c(j) a multiple of 20?
True
Let t be 21/(-28) + (2 - (-22)/8). Suppose 0 = 3*i + v - 11 - 58, t*v + 36 = i. Is i a multiple of 4?
True
Let o = -117 + 112. Let f(j) = 15*j + 1. Let k(n) = 16*n. Let q(x) = 4*f(x) - 5*k(x). Does 26 divide q(o)?
True
Let c(x) = -46*x - 7 + 1 + 45*x. Let h be c(5). Let i = 43 + h. Is i a multiple of 10?
False
Let a = -8 - -23. Suppose q + z = -5, -3*q = -0*z - 3*z - a. Suppose -2*p - 3*p + 40 = q. Does 6 divide p?
False
Let h(z) = -16*z + 150. Is h(0) a multiple of 30?
True
Suppose -61 = -2*k + 17. Does 13 divide k?
True
Let b be 3 + (-6)/((-18)/(-21)). Let r(u) = -2*u**3 - 3*u**2 + u + 9. Is 17 a factor of r(b)?
True
Suppose 4*y - h - 20 = 0, 3*h + 36 = 5*y - h. Suppose 945 = 3*t + y*t. Is t a multiple of 15?
True
Let p be (1/2)/((-2)/40). Let a = p + 16. Suppose 2*b - 16 - a = 0. Is b a multiple of 11?
True
Suppose 5*c = 0, 0 = m - 4*m + 5*c - 57. Let f(i) = i**2 + 20*i + 35. Does 2 divide f(m)?
True
Let y(f) = 20*f**3 - 4*f**2 + 4*f - 3. Does 4 divide y(2)?
False
Let k = 24 + 21. Suppose 2*b = -c + 29, 3*c + 4*b = k + 34. Does 7 divide c?
True
Let f = 1710 + -759. Is 8 a factor of f?
False
Let q = 9467 - 3107. Is q a multiple of 120?
True
Let v be 10/(-4)*4/(-2). Let n = v + -1. Suppose -5*u = n*g - 215, -4*g + 0*u = -3*u - 255. Does 30 divide g?
True
Suppose 0 = 3*a + 11 + 1, -140 = -2*i - 5*a. Suppose 0 = -5*r + r + i. Suppose x + 0*x = r. Is 10 a factor of x?
True
Let g = -635 + 935. Does 7 divide g?
False
Suppose -44 = d + 2*m, -4*m - 54 = -4*d - 278. Let j = 140 - d. Does 12 divide j?
True
Is 2 a factor of 85 + 7 + 5 + -17?
True
Suppose -5*f - 4*o = -24180, 4*f - 5786 - 13589 = 3*o. Is f a multiple of 55?
True
Let i(n) = 3*n**3 - 5*n**2 + 13*n + 6. Let z(c) = 5*c**3 - 10*c**2 + 26*c + 11. Let f(b) = -7*i(b) + 4*z(b). Is 18 a factor of f(-8)?
True
Suppose 0 = 2*q - 0*q - 530. Let g = q + -185. Suppose -5*k = 3*v - g, 5*k + v - 70 = -0*v. Does 5 divide k?
False
Suppose -11*m + m = -50. Suppose -5*x - 5*q + 395 = -0*x, -q + m = 0. Is x a multiple of 12?
False
Suppose -14*o = -o - 11882. Is o a multiple of 69?
False
Suppose 0*p - 4*p = -h - 5534, 0 = -3*p + 3*h + 4155. Does 84 divide p?
False
Suppose 0 = 4*r + d - 5*d - 3884, 3*r + 2*d = 2933. Does 13 divide r?
True
Let j = -126 - -209. Does 13 divide j?
False
Suppose 0 = -u + 4*p + 810, -57*u = -54*u + 3*p - 2385. Is 19 a factor of u?
True
Suppose -22*q - 46*q = -193936. Is q a multiple of 62?
True
Let u = 546 - 878. Let c be 2/(1320/u + 4). Suppose -3*f - c = -3*o + 4, 0 = -4*o + 5*f + 113. Does 7 divide o?
False
Let m be 327*(3 + 28/(-12)). Let l = 27 + m. Does 49 divide l?
True
Let y = 167 + -106. Is 39 a factor of y?
False
Let r = 22 - 19. Suppose 5*u = 2*n - 7 + 29, 4*u - 12 = r*n. Let d(k) = k**3 - 5*k**2 - 3*k. Does 13 divide d(u)?
False
Let y = -218 - -400. Suppose 9*o - 196 = y. Is 14 a factor of o?
True
Suppose -f - 4*f + 20 = 0. Suppose 4*r = -0*s + 3*s - 2, 6 = 5*s - f*r. Suppose -6*k + s*k = -56. Is 3 a factor of k?
False
Let q(d) = -156*d + 11. Is q(-1) a multiple of 47?
False
Let z = 9 + -5. Suppose 0 = 2*c + 4*v - z, 2*v = 6*v + 16. Suppose t - c = -0. Is t a multiple of 9?
False
Suppose 20*n = 25*n + 125. Let a be (0 + (-1)/(-1))*-47. Let b = n - a. Is b a multiple of 10?
False
Let z(q) be the second derivative of q**4/12 + 4*q**3/3 - q**2/2 - q. Let c = 781 + -777. Is z(c) a multiple of 25?
False
Let g be ((-4)/(-3))/((-8)/(-30)). Suppose -2*d - g = -3*d. Suppose 40 = d*s - 170. Does 14 divide s?
True
Suppose 14 = -6*r - r. Is 26 a factor of r*(-1 - 58/4)?
False
Let z(o) = -7*o - 1. Let d = -31 + 29. Does 5 divide z(d)?
False
Let l(p) = 5*p + 9 + 4*p + 7*p. Is 13 a factor of l(7)?
False
Suppose 89 = -6*h + 299. Is h a multiple of 4?
False
Let g(q) = 48*q - 1. Let d(m) = -m**2 + 16*m - 27. Let b be d(14). Does 13 divide g(b)?
False
Let t = 2 - 2. Let z(r) = -26*r - 4. Let s be z(1). Let y = t - s. Does 11 divide y?
False
Let f(y) = 2 - 3*y - 8*y - 9*y. Let t be f(-3). Suppose -q - t = -3*q. Is 8 a factor of q?
False
Is 2/6 + -28*(-3732)/144 a multiple of 66?
True
Does 37 divide (-6)/(-8) + (-441408)/(-256)?
False
Suppose -24 = -4*l + 4*s + 12, l - 21 = -3*s. Is 11 a factor of ((-10)/3)/(l/(-198))?
True
Let u(q) = -47*q**3 + 2*q**2 + 2*q + 1. Let m = 124 + -125. Is 6 a factor of u(m)?
True
Suppose -p - 4*p + 145 = q, 0 = -3*q - 5*p + 425. Suppose 4*w + 3*j = 16, 2*j = w - 2*w + 4. Suppose -m = w*m - q. Is m a multiple of 13?
False
Let m(h) = -6*h**3 - 2*h - 1. Let y be m(-1). Let w(b) be the second derivative of -b**4/12 + 4*b**3/3 + 5*b**2 - b + 9. Is 11 a factor of w(y)?
False
Let y(z) = -76*z - 134. Does 13 divide y(-12)?
False
Suppose -9200 = -5*p + 3*u + 2*u, -5555 = -3*p - 4*u. Does 121 divide p?
False
Suppose -6*q + 1012 = -4*q. Is q a multiple of 23?
True
Suppose 0 = -5*u - 5*h + 120, u - 20 + 6 = h. Let q = 48 - u. Does 20 divide q?
False
Suppose j = 2*q - 1836, q + j + 3*j = 918. Is 54 a factor of q?
True
Suppose 11 = 2*a + 9*j - 53, -2*a = 3*j - 76. Is 2 a factor of a?
False
Let g = 458 + 412. Is 11 a factor of g?
False
Is 0 + (-2576)/(-68) + 2/17 a multiple of 19?
True
Suppose 0 = 10*d - 7*d - 402. Suppose -i + 617 = 4*n + 138, 0 = n + 5*i - d. Is n a multiple of 17?
True
Let v(f) = 156*f**2 + 10*f - 2. Does 6 divide v(2)?
True
Let h(q) = -q**3 + 6*q**2 - 3*q - 5. Let m be h(5). Let k(j) = j**2 + 8*j - 11. Let r be k(-9). Let b = m + r. Does 2 divide b?
False
Suppose 6*v - 1390 = -292. Does 24 divide v?
False
Let t = -23 + 31. Suppose -t = 2*s - 18. Is 693/35 + (-4)/s a multiple of 19?
True
Suppose -k = -1388 - 229. Is 7 a factor of k?
True
Let d(s) = s**2 + s - 142. Let r be d(