**2 + 5*r + 35. Let d be x(5). Let l = d + -65. Does 5 divide l?
True
Suppose 0 = -4*z + 5*o + 155, -4*z - 5*o - 113 = -278. Let q = 31 + -28. Suppose -1 = q*s - z. Is 13 a factor of s?
True
Let s(u) = -523*u - 1. Let a be s(1). Let f = a - -766. Is f a multiple of 22?
True
Let l be (9/5)/((-26)/(-130)). Suppose 3101 = l*g - 2947. Does 32 divide g?
True
Let c be 84/5*5/2. Let p = c + -42. Let u(y) = y**3 + 2*y**2 - y + 126. Does 9 divide u(p)?
True
Let z(b) be the second derivative of -b**5/20 - b**4/6 - 2*b**3/3 + 231*b**2 - 5*b + 4. Is 14 a factor of z(0)?
True
Let d(q) = 55*q - 164. Let k(b) = -19*b + 54. Let s(o) = -2*d(o) - 7*k(o). Is s(5) a multiple of 5?
True
Let j(n) = 3925*n + 317. Is 12 a factor of j(7)?
True
Suppose -4*u + 3*y = 97, -y = 2*u - 0*y + 41. Suppose 21*n = 22*n - 40. Let c = n + u. Does 9 divide c?
True
Suppose -372*x = -377*x + 15. Is 296/x - (-40)/(-60) a multiple of 14?
True
Let d = 1632 - 2849. Let j = -279 - d. Does 17 divide j?
False
Let t = 122 - 122. Let z(x) = -2*x**3 + x**2 - 2*x + 486. Does 9 divide z(t)?
True
Let f be (1 - (10 + -1))*(-13)/26. Suppose 0 = w - 1 - 0, -3*t + f = -5*w. Suppose -2*q + 572 = -3*h, 2*h = -2*q - t*h + 556. Is q a multiple of 16?
False
Let f(s) = 5*s**2 + 9*s + 1570. Is f(-35) a multiple of 18?
True
Suppose -5*p - 1140*c + 6836 = -1136*c, 0 = 5*p - 4*c - 6884. Is p a multiple of 7?
True
Suppose 7*z - 3*s = 6*z + 46542, z - 4*s = 46539. Is 59 a factor of z?
True
Let l(f) = 2*f - 3. Let g be l(1). Let m be -4 - (g - (2 + -1)). Does 18 divide 17 + (3 - (0 - m))?
True
Let z = -2750 - -5294. Is z a multiple of 16?
True
Let v = 29 + -89. Let z = v - -68. Suppose 0 = z*u - 164 - 252. Is 7 a factor of u?
False
Let a(o) = 1501*o + 549. Does 50 divide a(5)?
False
Suppose 2*j - 3*o = -245, j + 2*o + 128 - 2 = 0. Is (j/(-155))/(4/2330) a multiple of 13?
False
Let x be -6*-4*3/(-24). Let v be (-8 - x - -4)*-131. Suppose 4*c - 141 = -5*k, -3*k = 3*c + c - v. Is 3 a factor of c?
False
Let a = -27 - -31. Suppose -a*x + 4914 = 38*x. Is x a multiple of 3?
True
Let c(u) be the first derivative of 0*u**2 + 0*u + 92/3*u**3 - 7. Is 12 a factor of c(-1)?
False
Let z(b) = 6*b**3 + 6*b**2 + 17*b - 3. Is z(6) a multiple of 9?
True
Let k be (-28 + 33)*7928/10. Does 17 divide (-26)/117 - k/(-18)*1?
False
Let p be (-11 - -7)/(12/(-15)). Suppose -1939 = -4*i - t, 1650 = p*i + 2*t - 770. Does 27 divide i?
True
Let k(z) be the second derivative of -8*z**3/3 - 84*z**2 + 261*z. Is 4 a factor of k(-25)?
True
Let c be 6*((-383)/10 + (-1)/5). Let k = 483 + c. Is 12 a factor of k?
True
Suppose -g - 3*s = -1014, 4*g - 4*s + 2*s - 4028 = 0. Suppose 2*u - 9*u = -g. Suppose n + u = 7*n. Does 12 divide n?
True
Suppose -9*v - 2 = -10*v. Suppose 4 = t + v*z, -12 = -3*t + 2*z + z. Suppose t*d - 221 = 3*d. Does 21 divide d?
False
Let p = 10882 + -10922. Suppose -5*d - 213 - 212 = 0. Let m = p - d. Is m a multiple of 24?
False
Let g(p) = p + 114. Let q be g(0). Suppose 0 = -q*r + 121*r - 406. Does 18 divide r?
False
Let b(n) = -n**3 - 9*n**2 + 8*n - 18. Let x be b(-10). Suppose w = -x*f + 522, 165 = f - 4*w - 78. Does 37 divide f?
True
Let c(f) = 4084*f - 16432. Is c(13) a multiple of 188?
True
Suppose 372 = -6*u - 252. Let p = u - -364. Is 20 a factor of p?
True
Let j(v) be the first derivative of -v**5/24 + 5*v**4/12 - 3*v**3 - 7. Let u(z) be the third derivative of j(z). Is u(0) a multiple of 7?
False
Let q = -2248 + 3445. Suppose -43 - 77 = -8*z. Suppose q = z*v - 438. Is 9 a factor of v?
False
Let d(o) = o**2 + 17*o + 7. Let l(c) = 42*c - 3. Let a be l(1). Let z = a - 60. Is 19 a factor of d(z)?
False
Let o be -3*3/(-27)*(-36)/(-4). Is o/((-18)/6)*-102 a multiple of 3?
True
Let b(d) be the second derivative of 7*d**3/6 + 107*d**2 - 75*d. Is 23 a factor of b(0)?
False
Suppose 0 = -v + 3*n - 8*n + 1897, -4*v = -2*n - 7522. Let j = -1258 + v. Is 19 a factor of j?
False
Let s(r) = r**3 - 23*r**2 + 68. Let x be s(22). Let j = -91 - x. Is j a multiple of 58?
False
Suppose 0 = 13*f - 15*f + 172. Suppose 0 = 7*y - 9*y + f. Let q = -20 + y. Is q a multiple of 23?
True
Suppose -5*r + 5 = 3*u + 4, 0 = -r - 1. Let o(h) = 402*h - 39. Does 15 divide o(u)?
True
Let w be (-14 - -2)/(-2 - 1/(-2)). Suppose 3*o - 15 = -h, -5*o = h + w - 33. Let t(c) = -c**3 + 8*c**2 - 3*c - 11. Does 13 divide t(o)?
False
Suppose 13*l = 10749 + 44098. Is l a multiple of 58?
False
Suppose 0 = p + 4*l + 9, -3*l = -p - 2*l + 6. Suppose -p*d = -6 - 33. Is 13 a factor of d?
True
Let x = -93 - -96. Suppose 6*k + 5*r = 3*k + 425, r - 421 = -x*k. Does 4 divide k?
True
Suppose 0 = 5*u - y - 16, -2*y + 9 = 5*u - 4. Let k be 10/(-3)*u*-4 + 1. Let b = -5 + k. Is b a multiple of 18?
True
Let m = -7303 + 10472. Does 19 divide m?
False
Let m(j) = -3*j**3 - 7*j**2 + 6*j - 14. Let i(n) = 3*n**3 + 6*n**2 - 5*n + 13. Let c(y) = 4*i(y) + 3*m(y). Is 15 a factor of c(5)?
True
Let b(u) = -3*u**2 + u**3 + 12*u**2 + 7*u - 12 - 2*u**2. Let y be b(-5). Suppose 4*o + 2*g = y*o + 61, 2*o + g - 113 = 0. Is o a multiple of 11?
True
Is -60*(4/(-1) - 175/(-63)*-75) a multiple of 98?
True
Suppose 3*y - d - 4*d = 20, 0 = -5*y + 3*d + 12. Suppose 2*u - 119 - 5 = y. Does 31 divide u?
True
Let s = -9115 - -20092. Is s a multiple of 6?
False
Let l = -10345 + 11048. Does 2 divide l?
False
Let d(c) = c**3 - 60*c**2 - 42*c - 2034. Does 27 divide d(66)?
True
Is 70 a factor of (-2230)/((-9)/18*((-170)/35 - -5))?
True
Let r(d) = -305*d**3 - 4*d**2 + d + 4. Let u be r(-1). Let m = u - 205. Is m a multiple of 7?
False
Let a = -15215 - -21504. Does 24 divide a?
False
Let l(f) = 3006*f**3 + 3*f - 2. Is 102 a factor of l(1)?
False
Let m be (1 + 112)*7/(5 + 2). Let a = 166 - m. Does 2 divide a?
False
Suppose 23*t - 8404 = 53834. Is 82 a factor of t?
True
Suppose -4*k = 4*t - 102080, 2*t = 5*k + 32258 + 18747. Does 35 divide t?
True
Let n(o) = 39*o + 13. Let f be n(-23). Let l = -506 - f. Does 18 divide l?
True
Let n(l) = -l**3 + 5*l**2 + 8*l - 9. Let p be n(6). Let g(v) = -14*v**2 + 8*v**2 - 18 - 17*v**2 - 7*v - v**p. Is g(-23) a multiple of 11?
True
Let g be (-6)/(-21) + ((-258)/(-7))/(-3). Is 13 a factor of g/(-8) - (-321)/2?
False
Let y = -1010 - -711. Let q = -222 - y. Is q a multiple of 4?
False
Let x = -259 + 169. Let h = x + 102. Does 18 divide 38*124/32 + (-3)/h?
False
Let m(u) = -4*u + 9*u**2 - 3 - 2*u + 2*u. Let b(g) = g**2 + 7*g - 262. Let w be b(13). Does 8 divide m(w)?
False
Suppose -35139 = -3*x + i, 73*x = 76*x - 2*i - 35130. Is 34 a factor of x?
False
Suppose -7*l + 390 = -13*l. Let m = -48 - l. Suppose 705 = -m*q + 22*q. Is q a multiple of 41?
False
Let m(r) = -7*r**2 + 35*r - 9. Let g be m(4). Suppose 2*p = -p + 330. Let s = g + p. Is 43 a factor of s?
True
Suppose 79 + 80 = 3*x - 5*q, 0 = 2*x + 2*q - 122. Suppose 4*m + x = -2*h + 450, 3*m - 389 = -2*h. Is 9 a factor of h?
False
Let x be 5 - 1 - -6*8/(-12). Suppose -8*r + 20*r - 8052 = x. Is r a multiple of 11?
True
Let b(w) = w**2 - 4*w + 12. Let x(a) = -a**3 + 10*a**2 - 6*a - 14. Let k be x(9). Let g be b(k). Suppose -2*y = -g - 47. Is 20 a factor of y?
False
Let b = -15 + 15. Suppose c + 3*f - 8 = b, c + 3*c - 32 = f. Does 8 divide c?
True
Suppose 5668*m - 5713*m + 57960 = 0. Does 23 divide m?
True
Suppose -861 + 1390 = -44*o + 5149. Is o even?
False
Let m(g) = -4*g - 3. Let v be (21/9 - 2)/(4/(-12)). Let l be (10/(-20))/(v/(-42)). Does 13 divide m(l)?
False
Let z(o) = o**2 + 65*o + 4132. Is 28 a factor of z(-66)?
False
Suppose 2*f = -0*f + 2*m + 6, -3*f + 4*m + 5 = 0. Let r be -1 - (93/(-21) - 4/f). Suppose 0 = 7*l - r*l - 381. Is l a multiple of 17?
False
Suppose 0 = -n + 13*w - 14*w + 10265, w + 1 = 0. Does 13 divide n?
False
Suppose 138*r + 960 = 135*r. Let b = 379 + r. Is b a multiple of 38?
False
Let q = 5 - 1. Suppose 6*d + 107 = q*r + 3*d, 5 = -d. Let t(h) = -h**3 + 22*h**2 + 23*h + 24. Is t(r) a multiple of 4?
True
Let r(o) = 729*o + 739. Is r(41) a multiple of 247?
True
Let y(k) = -k**3 - 32*k**2 + 32*k - 30. Let j be y(-33). Suppose q = -j*q + 240. Is 3 a factor of q?
True
Let n(q) = 10*q**2 + 38*q - 16. Let m be n(-5). Suppose -a + 22 = -2*c + m, 4*a + 23 = 3*c. Is c a multiple of 3?
False
Let o = 21 + -13. Let n(c) = 5*c**2 - o*c + 0*c**2 + 3 + 5*c**2 - c**3. Does 11 divide n(4)?
False
Suppose -79*s + 93731 - 35271 = 0. Is 