+ 1. Suppose -b*u + 3*y - 10 = 0, u - y = -0 - 2. Is 2 a factor of u - (2 - (26 + -1))?
False
Suppose -a - 186 = 3*w - 73, -2*a - 5*w - 226 = 0. Let m = a - -43. Let h = 76 + m. Does 6 divide h?
True
Suppose r = 80 - 22. Let i = 148 - r. Is i a multiple of 9?
True
Let z be (64/48)/((-3)/(-567)*-2). Let g = z - -744. Is 32 a factor of g?
False
Let s(x) = 113*x**2 + 81*x + 315. Is 12 a factor of s(-8)?
False
Let a be 1 + (-2 - -10) - (-65 - -69). Suppose 3*y - 4*x = 1528, 4*y + a*x = 7*y - 1523. Is 12 a factor of y?
True
Suppose 0 = -4*v - 0*v + 3*g + 24, 5*g + 14 = -2*v. Let h(d) = -11*d + v + 4 - 9. Is 6 a factor of h(-2)?
False
Suppose 3*z - 4*k = 38028, -191*k + 188*k - 25353 = -2*z. Is 33 a factor of z?
True
Let k = 14828 - 10408. Is 23 a factor of k?
False
Suppose -38*w + 919 = -37*w + 5*a, -3*w - 5*a = -2817. Does 13 divide w?
True
Suppose 156*o + 3168 = 157*o. Does 66 divide o?
True
Does 54 divide (3 - (-66)/(-18)) + ((-17475)/(-9) - -8)?
False
Suppose -9 = 2*w + 5*s, -3*s = -2*w - 0*s + 15. Let v be 8/6*(-3087)/(-14). Suppose -2*q = -5*t - v, -w*q - 5*t + 140 + 251 = 0. Is 35 a factor of q?
False
Suppose -31*w = -32*w - 318. Let b = w + 582. Is b a multiple of 24?
True
Suppose -52*l + 14*l - 47*l = -3981570. Is 37 a factor of l?
True
Let n = 53112 - 14542. Does 14 divide n?
True
Suppose 35*p - 432168 = -36*p + 59*p. Is 22 a factor of p?
True
Let j(x) = x**3 - x**2 + 1. Let s(i) = 2*i**3 + 7*i**2 + 4*i + 17. Let m(p) = 3*j(p) - s(p). Is 7 a factor of m(11)?
True
Let j(l) = l**3 - 4*l**2 + 5*l - 4. Let u be j(5). Suppose -3*z + 5*c + 209 = 0, -5*c + 98 + 58 = 2*z. Suppose n = u + z. Is 6 a factor of n?
False
Suppose -4*b + 40 = 2*y + 2*y, -3*y + 3*b + 42 = 0. Suppose y*g = -121 - 287. Let x = g + 67. Is 3 a factor of x?
True
Suppose 17 = 2*w - 3*v, 0 = -5*w + 10*v - 6*v + 25. Does 15 divide 6*778/16 - w/(-4)?
False
Let a be (-205)/30 + (-4)/24. Is 50 a factor of 23851/119 + 3/a?
True
Let y = -7331 + 9800. Is 5 a factor of y?
False
Let a(c) = -4*c**2 + 45*c + 63. Is 4 a factor of a(9)?
True
Suppose -4*g = 3*h - 42237, -g = 5*h - 1705 - 8850. Does 24 divide g?
True
Let s(f) = 3278*f**3 + 6*f - 11. Is 70 a factor of s(2)?
False
Let m(a) = 18*a - 6. Let o be m(17). Suppose -16*y + 15*y = -o. Is 50 a factor of y?
True
Let z(n) = -n**3 + 20*n**2 + 11*n + 8. Let w be z(20). Let u = w - 124. Is u a multiple of 13?
True
Suppose 168 = 13*v - 9*v. Suppose 0 = 5*d - 4*q + 6 - v, 4*d + 3*q - 35 = 0. Does 4 divide d?
True
Is 9 a factor of (-183603)/(-6) - 6*(-175)/(-300)?
False
Suppose 2*o + 45 + 26 = -d, -4*o - 3*d - 143 = 0. Suppose 15*c - 18 - 87 = 0. Is (c - 10)*(-1 + o) a multiple of 12?
True
Let b(s) = 13*s**2 + 1. Suppose 3*t = -2*c + 28, 4*t - t - 5*c = -7. Let l be (-4)/t*(-7)/(35/15). Is 11 a factor of b(l)?
False
Let i(r) = r - 6. Let c be i(2). Let q be ((-2)/1)/(-3 - c). Is 9 a factor of (1 + -3)*(57/(-2) - q)?
False
Suppose -15694 = -3463*p + 3456*p. Is 15 a factor of p?
False
Suppose 231*d = -t + 227*d + 4747, 0 = 5*t - 4*d - 23831. Is 55 a factor of t?
False
Let c = -25 + 46. Suppose 0 = -23*h + c*h + 460. Let x = h + -164. Does 26 divide x?
False
Let d(s) = -2*s**2 - 20*s + 42. Let i(n) = -n**2 - 10*n + 22. Let y(o) = -3*d(o) + 5*i(o). Is y(8) a multiple of 32?
True
Let i(k) = 4*k**2 + 6*k - 4. Let d be (-4 - (0 - 1))*(-25)/(-15). Let h be i(d). Suppose r - 7 - 4 = -5*n, 4*r = 2*n + h. Is 7 a factor of r?
False
Let r = 10535 + -134. Is 33 a factor of r?
False
Let u(k) = k**2 + 24*k - 4. Suppose -92 = m - 65. Is u(m) even?
False
Suppose -8 - 774 = -2*p + 3*a, 5*a + 1560 = 4*p. Let w = 210 + p. Is 33 a factor of w?
False
Suppose -9*f + 6719 = 1103. Suppose 4*p = 0, -o - 4*p - p = -f. Is o a multiple of 16?
True
Suppose -8 = s + s - 5*l, -16 = 4*s - 5*l. Let w be 4 + s + 2 + -8. Does 21 divide (8/w)/(4/(-486))?
False
Let l be (-7 + (-279)/(-45))/(2/30). Does 15 divide (-1)/(2/3120)*6/l?
True
Suppose -109*r + 113*r = 2160. Let n be 2/(-6) - 138/(-9). Suppose -n*i + 19*i = r. Is 19 a factor of i?
False
Let t(l) = l**2 - 3*l + 310. Let w be t(0). Suppose -15*z + w + 665 = 0. Is 17 a factor of z?
False
Suppose -5*o = 3*j - 2*o - 29583, -j - 5*o = -9861. Is 8 a factor of j?
False
Let t = -52 + 187. Suppose 5*u - 103 = -v, 387 + t = 4*v - 2*u. Is 6 a factor of v?
False
Suppose -2*y + 5*u + 7 = -y, -2*y = 4*u - 14. Let x be (-195)/(-21) + -4 + (-2)/y. Does 30 divide ((-68)/12 + x)*(-44 - 1)?
True
Let o = -19 - -17. Let r be (-526)/(-12) + 23/138. Is 10 a factor of (r - o)/(-1 + 2)?
False
Let v = -1478 + 4862. Suppose -514*d - v = -518*d. Is 47 a factor of d?
True
Let a(y) = -1755*y + 4*y**3 - 9*y**2 + 1754*y - 3*y**2 + 3*y**2. Is a(5) a multiple of 8?
False
Let c(q) = 7*q**2 - 1. Suppose i + 1 = -2*y + 10, -5*y - i + 30 = 0. Let f = y - 6. Is 6 a factor of c(f)?
True
Suppose 4*x + b = 8, 3 = -3*x - 5*b - 8. Suppose 0 = x*q - 140 - 178. Does 19 divide q?
False
Let l(w) = w**3 - 21*w**2 + 7*w + 29. Suppose -81 = -4*o - 3*x, -2*o + 5*x + 76 - 29 = 0. Is 10 a factor of l(o)?
False
Let j = -3 + 3983. Is 20 a factor of j?
True
Let p = 62 - 125. Let z = 7 - p. Is 24 a factor of ((-108)/5)/((-21)/z)?
True
Let d be (7/2)/(-7)*-18. Let c = d - 3. Is 4 a factor of 873/45 - c/(-10)?
True
Let t be ((-5 - -1) + 5)*-1 - -3. Is 1 + -2 + t + 135 a multiple of 12?
False
Let l(z) = z**3 + 9*z**2 + 12*z - 2. Let w be l(-7). Is (-50)/15*(w/10)/(-1) a multiple of 3?
False
Suppose -4*i - 3*z = -6353 + 1016, -4*i + 5313 = -5*z. Does 9 divide (-9)/(-3) + i/6?
True
Suppose 2*h - 3*p - 7776 = 0, 0 = -h + 14*p - 10*p + 3878. Is 66 a factor of h?
True
Let l be (-32 - -7)*(1012 - 1). Is 9 a factor of l/(-165) - ((-26)/(-22) - 1)?
True
Let g be (-5)/(-10)*4*(-2 + 3). Let o be 2 + g + 2/4*-2. Suppose -o*f - 13 + 64 = 0. Does 10 divide f?
False
Let a = -5242 + 6607. Is a a multiple of 39?
True
Let r = 150 + -148. Suppose 1296 = 4*i + r*i. Is i a multiple of 27?
True
Suppose 43 = 2*c - 671. Let w = c - 136. Suppose w - 59 = 3*k. Does 39 divide k?
False
Suppose 3*g = -0*k + k + 10, 2*g = 8. Let w(x) = 5*x**k - 11*x**2 - x**3 - 2*x**2 + 18 + 5*x. Is w(-10) a multiple of 24?
True
Let b(c) = c**2 - 6*c - 14. Let m(h) = -1. Suppose 6*t = 6 + 12. Let z(q) = t*m(q) + b(q). Is z(17) a multiple of 17?
True
Suppose -1057 = 12*h - 109. Let m = h - -83. Is 9 a factor of ((-138)/m)/(10/(-20))?
False
Suppose -3024 = -2*q - 81*y + 77*y, 3052 = 2*q - 3*y. Does 38 divide q?
True
Is 2 a factor of (-4290)/(-5) + (-16)/11*374/(-68)?
True
Suppose -3*k + 193 = -7*a + 12*a, 3*a + 265 = 5*k. Is 15 a factor of 14*(-58)/7*k/(-32)?
False
Suppose 36*p - 269786 = -78230. Is p a multiple of 17?
True
Suppose 72 = -2*m + m - 5*k, -4*m - k - 269 = 0. Let s = m - -94. Let v = s + 14. Is v a multiple of 5?
False
Let c(s) = -s**3 + 38*s**2 + 365*s + 146. Does 15 divide c(43)?
False
Let m = -505 - -4511. Is 21 a factor of m?
False
Suppose -29*v = -47*v + 59832. Is 19 a factor of v?
False
Suppose -5*k - a + 3249 = 0, 3*k - 1935 = 30*a - 27*a. Is k a multiple of 11?
True
Is (-5 - (-157)/(-2))/((-1)/650) a multiple of 25?
True
Suppose 4*h + 22 = 5*a, a + 2*a = 2*h + 12. Suppose 3*w = -0*w - a*f + 263, -f = 3*w - 268. Is 5 a factor of w?
False
Suppose -4*u - u + 4*j = -36, u - 8 = j. Let x = u + -2. Is (x - (-34)/(-7))/(2/(-7)) a multiple of 4?
False
Let l = -30522 + 43808. Is 13 a factor of l?
True
Let w be 6701*-1 + -2 - 35/35. Does 13 divide w/12*9/(-6)?
False
Let s = -19 - -19. Suppose s = -b + 10*b. Suppose 4*u = -d + u + 66, b = -2*d + u + 97. Is d a multiple of 17?
True
Let o(h) = -15*h - 13. Let q be o(-2). Suppose -q*y + 644 + 3980 = 0. Is 32 a factor of y?
False
Let y(v) = 44*v**2 + 28*v - 380. Does 161 divide y(-18)?
False
Suppose -u - 23*s = -19*s + 1, 2*u - 14 = -4*s. Suppose 5*q = -3*z + 3573, 12*z + 3 = u*z. Is 42 a factor of q?
True
Is (-48)/(-32) + (-26025)/(-10) a multiple of 93?
True
Suppose -4*w = -2*m + 5134, 0*w - 5*w = 15. Suppose m + 13759 = 51*b. Is b a multiple of 20?
True
Let b = 47302 - 8740. Is 53 a factor of b?
False
Let l(p) = 121*p + 254. Let q be l(-2). Let n(d) = -35 + 2*d + 6*d + d. Is n(q) a multiple of 11?
False
Let b(w) = 522*w**2 - 14*w - 56. Is b(-8) a multiple of 99?
False
Let u be (18/6)/((4/(-5))/(-4)). Suppose -u = 2*j - 107. Suppose 2*b = 40 + j. Is 23 a factor of b?
Fa