3. Suppose -3*p + u*p = -184. Is p a multiple of 37?
False
Let z(f) = 162*f - 32. Is 36 a factor of z(5)?
False
Let g = -13 + 23. Let h = 13 - g. Suppose 2*q = -h*q + 55. Is 8 a factor of q?
False
Suppose 4431 = 23*m - 11508. Is 7 a factor of m?
True
Let t be 2 - 2/8*0. Suppose s + s = -2*z - 2, -t*z - 11 = -s. Let o(q) = q**2 - 2*q - 1. Is 16 a factor of o(z)?
False
Suppose -47*r + 5*r + 9408 = 0. Is r a multiple of 10?
False
Suppose 3*q + a = -a + 10, -2*a - 8 = 0. Suppose v = 6*v - 20. Suppose v*s + 46 = q*s. Is s a multiple of 10?
False
Let k be 0/(-5 - -4) + 5. Suppose k*g = -0*g + 60. Let p(i) = i**2 - 11*i + 18. Is 23 a factor of p(g)?
False
Let t(d) = d**2 + 8*d - 7. Suppose 0*b + 5*b + 5*l = -25, 5*l = -b + 11. Let z be t(b). Suppose -z*r - 2*r - v = -139, 0 = -r - v + 34. Does 14 divide r?
False
Let v(g) = -4*g - 1. Let q be v(-1). Suppose -80*z = -86*z + 330. Is 10 a factor of -1*(q - 4)*z?
False
Let a(f) = f**3 - 14*f**2 - 30*f + 19. Let q be a(15). Let x = 299 + q. Does 31 divide x?
True
Let q(v) = 9*v**3 + 9*v**2 + 11*v + 5. Let i(t) = t**3 + t**2 + t. Let g(z) = -22*i(z) + 2*q(z). Does 18 divide g(-3)?
False
Let p be 35/(-21)*(-1 - 2). Suppose 3*c + 5*w + 21 = 6*c, -2*c - p*w + 39 = 0. Is 12 a factor of c?
True
Suppose -4*g + 458 = 5*s, -7*s + 5*g = -2*s - 440. Suppose -2*o = -0*o - 4. Suppose o*w + w - s = 0. Is w a multiple of 13?
False
Suppose 16*i = 11*i - 20. Is ((-535)/(-10) + -6)*i/(-5) a multiple of 5?
False
Let r(p) be the third derivative of -p**6/120 + p**5/6 - 5*p**4/24 - 5*p**3/3 - 41*p**2. Is r(7) a multiple of 38?
False
Let x(y) = 20*y - 19. Let o be x(6). Is 20 a factor of o*1 - (8/(-2) - -5)?
True
Suppose 4*h + 0*h - 68 = 0. Suppose 5*v - 2*j + 0*j = -h, -7 = 2*v - j. Let c(n) = -16*n - 4. Is 28 a factor of c(v)?
False
Suppose 0*q + 2*q = -10, -4*y - 2*q = 46. Let g be (y/(-3))/((-1)/3). Let m = 17 + g. Is 8 a factor of m?
True
Is 11 a factor of 2992*((-4)/22 - (-75)/110)?
True
Let b be (-4*1/(-8))/(4/4264). Suppose -12*a + b = -487. Is a a multiple of 6?
False
Let h(o) = -o**3 - 9*o**2 + 9*o - 5. Let s be h(-10). Let f(a) = -8*a + 2. Let r(g) = -7*g + 2. Let k(l) = 4*f(l) - 5*r(l). Is k(s) a multiple of 10?
False
Suppose 3*g - 1173 = -5*d, 2*g + 2*d - 1003 = -217. Is 36 a factor of g?
True
Let t(w) = -w**3 + 27*w**2 - 48*w - 24. Is 31 a factor of t(24)?
False
Suppose 1294 = 3*y + 17*z - 15*z, z - 433 = -y. Is 4 a factor of y?
True
Let c = -26 - -277. Is 43 a factor of c?
False
Suppose 2*s + 3 = 11. Suppose -12 = u - s*r, -4*r + 22 = -3*u + 2. Does 7 divide 9 - 2/(-4)*u?
True
Let r(g) = 53*g**3 - 10*g**2 + 21*g + 2. Does 11 divide r(3)?
False
Let d(x) = -x - 1. Let q(p) = 5*p + 30. Let b(r) = -20*d(r) - q(r). Is 11 a factor of b(5)?
False
Let v = 2 - 0. Suppose 2*o + o = v*y - 47, 98 = 4*y - 2*o. Suppose -h + 6*h = y. Does 5 divide h?
True
Let k(n) = -n**3 - 26*n**2 + 45*n + 21. Is 64 a factor of k(-28)?
False
Suppose 76*i - 94*i = -26730. Is 45 a factor of i?
True
Suppose -1235 + 267 = -8*c. Is 11 a factor of c?
True
Suppose 2*n = -4*g + 3*g - 9, 0 = -5*n - 5. Let s(a) = a + 7. Let y be s(g). Suppose y*d + 2*d + 5*c + 4 = 0, 5*c = -10. Is 2 a factor of d?
False
Let v(a) = 2*a**3 + 3*a**2 + 4*a + 3. Let s be v(-2). Let z(c) = 1. Let t(b) = -b + 9. Let o(u) = t(u) - 5*z(u). Is 5 a factor of o(s)?
False
Suppose 157*k = 163*k - 2856. Is k a multiple of 25?
False
Let x = 38 + -4. Let g be -2*((-14)/4 - -2). Suppose 2*n - g*n + x = 0. Does 18 divide n?
False
Suppose 120 = 2*c + 3*c. Let y be (-16)/c + 184/6. Suppose -2*l - y = -3*l. Is l a multiple of 10?
True
Let w(k) = 2*k**2 - 31*k - 23. Suppose -3 - 9 = 3*s, 0 = -4*f + 3*s + 80. Is w(f) a multiple of 4?
True
Suppose -2*o + 202 = 3*i - 242, 0 = -5*i + 20. Is (-1)/(-3)*(o - 3) a multiple of 15?
False
Suppose 3*f + 234 = a - 58, 0 = 5*a + f - 1540. Is 74 a factor of a?
False
Let q = -206 - -622. Does 13 divide q?
True
Suppose 0 = 2*d + 9 - 45. Is 18 a factor of d?
True
Suppose t = c - 153, -5*c + 765 = 2*t + 2*t. Suppose 2*q + 505 = -3*q. Let r = q + c. Is 13 a factor of r?
True
Suppose -3354 - 846 = -7*m. Is m a multiple of 24?
True
Let d = -195 + 100. Let z = d + 153. Is 12 a factor of z?
False
Let m = 10 - 3. Let r(k) = -6*k - m + 1 - 2*k - 9. Does 17 divide r(-6)?
False
Suppose 2*d - 3*n - 122 = 0, -n - 2*n + 198 = 3*d. Suppose 0 = -5*w + 86 + d. Does 5 divide w?
True
Let a = -29 + 20. Let s = 17 + a. Does 17 divide 51 - (4 - (-4 + s))?
True
Let c(d) = -d**2 - 7*d + 22. Let y be c(-10). Does 12 divide ((-5764)/y)/11*(-2 + 4)?
False
Let t(w) = w**3 - 7*w**2 - w - 1. Let c be t(6). Let o be c/3 + 28/(-42). Let a = 38 + o. Is 6 a factor of a?
False
Let i(o) = 31*o - 772. Does 25 divide i(43)?
False
Suppose -5*k - 10 = -5*o, -5*o = 3*k - 43 + 17. Suppose -o*z + 60 = -3*z. Is 20 a factor of z?
True
Suppose -4*i + 30 = -4*x + 10, -5*i - 4*x + 16 = 0. Suppose 2*z - 214 = 2*b, -z + 4*b + i = -88. Is z a multiple of 17?
False
Let i(b) = b**3 - 5*b**2 - 3*b - 14. Let j be i(6). Let h(z) = z**3 - 4*z**2 + z + 9. Is 2 a factor of h(j)?
False
Let x(z) be the third derivative of z**4/6 + 37*z**3/2 - 10*z**2. Is x(0) a multiple of 18?
False
Suppose w - 6*w = -20. Suppose 0 = 3*i + 3, -d - 2*d - 4*i + 5 = 0. Suppose -d*g + w*h + 40 = g, 0 = 2*g + 5*h - 27. Is g a multiple of 8?
False
Let h = -94 - -239. Is h a multiple of 5?
True
Suppose 0 = 2*i - 58 - 1306. Does 23 divide i?
False
Let l be 1/(-2 + 38/18). Let u be 146/l + 20/(-90). Let k = 5 + u. Does 14 divide k?
False
Suppose -o + 2547 = r, -75*r + 74*r - 3*o + 2557 = 0. Is r a multiple of 31?
True
Suppose -5*g + 685 + 1010 = 0. Suppose 0*o + g = 4*o - 5*f, -2*o - 4*f + 150 = 0. Let a = o + -56. Does 7 divide a?
False
Suppose -2*f - 11*w = -10*w - 666, -2 = -w. Suppose 0 = -3*x - 4*l + 1004, 6*l - 2*l = -x + f. Is x a multiple of 14?
True
Let f = -2 + -2. Let m = f + -39. Let k = m + 74. Is 14 a factor of k?
False
Does 4 divide (-3)/18 - 988/(-24)?
False
Suppose -51*a + 1120 = -11*a. Let s = 43 - 29. Does 13 divide (-8)/a + 522/s?
False
Let h = -923 + 930. Is 7 a factor of h?
True
Let j be 15780/90*6/(-4)*-2. Suppose 7*h - j = 685. Does 59 divide h?
False
Let g(l) = l + 24. Let d be g(-21). Suppose 0 = -d*h + 2*h + 92. Does 10 divide h?
False
Let h(c) = 166*c - 82. Is h(5) a multiple of 4?
True
Suppose 5*y = -5*x + 40, -3*x + 5*y + 1 = 9. Suppose 213 = m - 4*z, 0 = -x*m - 5*z + 6*z + 897. Is m a multiple of 17?
False
Let h(s) = -6*s + 1. Let r(j) = -25*j + 5. Let g(f) = -26*f + 6. Let i(m) = -2*g(m) + 3*r(m). Let y(x) = -18*h(x) + 4*i(x). Is 21 a factor of y(3)?
True
Let w = -9324 + 14209. Is 14 a factor of w?
False
Does 89 divide 460 + (5 - -2 - 0)?
False
Let o(y) = -y**2 - 24*y - 40. Let r be o(-22). Suppose -m = -5*g + 578, -474 = -r*g - 5*m - 0*m. Does 23 divide g?
False
Let d = 496 - 318. Is 4 a factor of d?
False
Let f(y) = 3*y**3 - 16*y**2 + 9*y + 14. Is 14 a factor of f(7)?
True
Is 8 a factor of (-20 + 16)/(2/(-47)) - -2?
True
Let k = 98 - 98. Is 2 a factor of (k - -8)/((-33)/(-66))?
True
Let g(w) = -39*w - 18. Is g(-8) a multiple of 49?
True
Suppose 3*s - 3 = -0, -2*s = -2*g + 46. Let t = -90 - -150. Suppose 2*f - g = t. Does 9 divide f?
False
Let l = 9660 - 4842. Does 146 divide l?
True
Suppose -2492 = -10*d + 1048. Does 59 divide d?
True
Let r(s) = -17*s - 184. Is 31 a factor of r(-40)?
True
Let a = -3 + -9. Let h = a + 22. Is h even?
True
Suppose 0 = -7*s + 51 + 117. Suppose -22*d + s*d = -28. Does 26 divide 26/(-8)*(-2 + d)?
True
Let s(j) be the first derivative of 5*j**3/6 - 3*j**2 - 8*j + 9. Let d(g) be the first derivative of s(g). Does 39 divide d(9)?
True
Suppose 20 = 5*v, -v - 2*v = 3*b - 1440. Does 21 divide b?
False
Let u(t) = 3*t - 9. Let n be u(6). Let a = 6 - n. Is 28 a factor of a/((-1)/56*6)?
True
Let j(v) = 7*v**3 - 6*v**2 - 11*v + 22. Let y be j(7). Suppose 2*l = -7*l + y. Is l a multiple of 38?
True
Let m = -2652 + 5891. Is m a multiple of 15?
False
Suppose -5*i - 4 = -39. Let x(h) = -h**2 + 7*h - 2. Let u be x(i). Let b = u + 5. Is b even?
False
Does 20 divide -3909*-2*(-8)/(-24)?
False
Let t = 114 + -105. Let j(f) = -f**2 + 11*f + 20. Is 4 a factor of j(t)?
False
Suppose 68159 = 9*i + 40*i. Does 13 divide i?
True
Suppose -4*b - 35 = b. Let m(a) = 9*a + 16. Let u(x) = -13*x - 24. Let r(s) =