)/7) + -1. Suppose 46*z - 5*z - 12136 = g. Is z a multiple of 4?
True
Let s(j) = 170*j**3 - 2*j**2 - 8*j + 12. Is s(3) a multiple of 30?
True
Suppose 0 = 7*k - 71125 - 118820. Is 201 a factor of k?
True
Let g be 760*(14 - (-16)/(-4)). Suppose -40*y = -48*y + g. Is y a multiple of 10?
True
Let o = 19 + -19. Let z(j) = j**3 - j**2 + j - 118. Let d be z(o). Let h = d + 174. Is 24 a factor of h?
False
Let z = 97 - 95. Suppose -3*o - 293 = -2*g - 1327, -2*g = z*o - 686. Is 27 a factor of o?
False
Let r = -1424 + 2664. Is 62 a factor of r?
True
Let c = -328 + 231. Let w = c - -121. Does 2 divide w?
True
Let d(j) = -2*j**2 + 55*j - 29. Let g be d(23). Suppose -30 = -t - 5*m, -3*m = 5*t - 6*m - g. Does 6 divide t?
False
Suppose -z + 89*b + 7626 = 86*b, 3*z - 5*b - 22894 = 0. Is z a multiple of 114?
True
Let b(c) = c**2 - 3*c**2 - 7 + c**2 + 3*c. Let z be b(5). Let m = 41 + z. Does 6 divide m?
True
Let p = -147 + 151. Suppose p*f = 5*s - 496, 3*f - 17 = s - 114. Does 20 divide s?
True
Is 24 a factor of ((-99)/2)/((-5270)/2620 - -2)?
False
Suppose 200 = 23*b - 237. Let m(a) = a**3 - 20*a**2 + 30*a - 9. Does 20 divide m(b)?
True
Let p = 274 - 379. Is 8 a factor of 5 + (-15)/(p/2338)?
False
Let c be (316/8 + 1)*10. Suppose 168 = 25*v - 13*v. Suppose -c = -v*g - g. Does 5 divide g?
False
Suppose 0 = -3*s + 11 - 2. Let j be (9 + -17)/(-4) - (-3 + 0). Suppose -6*m = -s*m - f - 280, 0 = j*m - 3*f - 464. Is 10 a factor of m?
False
Let y(w) = -11*w**2 - w**3 + 2*w**2 - 54 - 16*w**2 - 92*w - 3*w**2 - w**2. Is y(-26) a multiple of 5?
True
Let u(v) = -v**3 + 3*v**2 + 18*v + 12. Let t be u(6). Is 94 - (-6 + t)*-1 a multiple of 20?
True
Let w be (-20)/(-4)*-4*(-20)/16. Suppose -11*s + 357 = -9*s + c, 0 = -5*c + w. Does 44 divide s?
True
Let i = 3748 - 2213. Does 61 divide i?
False
Suppose -3*m + 3*z - 200 = -4712, 0 = -5*m - z + 7520. Does 10 divide m?
False
Suppose 2*y - 590 = 2*j, 0 = -3*y + 2*j + 92 + 798. Is y a multiple of 6?
True
Let o(a) = a**3 - 10*a**2 - 3*a + 28. Let c be o(10). Is (c - (-3 - 1)) + (-1 - -189) a multiple of 25?
False
Let u be -1 + (-2)/4*-10. Let g(s) = -25*s - 95. Let c be g(-6). Let p = u + c. Does 27 divide p?
False
Let n(f) = 2*f**2 + 3*f - 10. Let t be n(3). Does 68 divide 32/(-6)*t*273/(-52)?
True
Let w = 89 + -37. Let u be 10/65 + (-1181)/(-13). Let l = u - w. Does 39 divide l?
True
Suppose u + 4*u = -30. Let r be (6 + -8)/(u/4 + 1). Suppose r*k = k + 240. Does 16 divide k?
True
Suppose -501*x = -506*x + 195. Is (x + 1)/(8/32) a multiple of 16?
True
Suppose -54 = -3*j - 4*l, -5*j - l = -5*l - 122. Suppose -17*f = -j*f + 210. Is 27 a factor of f?
False
Let l(a) = 21*a**2 - 89*a + 1008. Is 4 a factor of l(13)?
True
Is ((-50)/75)/(2*4/(-233916)) a multiple of 51?
False
Suppose -4 = s + 2*b, -5*b - 18 = 4*s + 4. Is 11 a factor of s - (-8)/(24/57)?
True
Let x(h) = h**3 + 8*h**2 - h - 3. Let u be x(-8). Suppose 3*z - 1719 = 2*f + 776, -u*f + 843 = z. Is 18 a factor of z?
False
Let d be 0 + 1 + -4 - (121 + 429). Let m = d - -958. Is 9 a factor of m?
True
Let q = -72 - -50. Does 20 divide 4/q - (9 + (-9305)/55)?
True
Let x(a) = -a**2 + 10*a - 4. Let g be x(8). Let y = 2586 - 2702. Let m = g - y. Is 16 a factor of m?
True
Suppose -137*u = -21131 - 32162. Is u a multiple of 6?
False
Let v(n) = 13*n + 13. Let p be v(3). Let c = p - 272. Does 21 divide (-2 + c)*5/(-15)?
False
Suppose -94*h + 5*n + 8150 = -99*h, 3*h + 4882 = n. Is (0 - 5)*h/55 a multiple of 6?
False
Let w(h) = h**2 - 8*h + 9. Let l be w(19). Suppose l = 4*x + 74. Is x a multiple of 6?
True
Let j be ((-26)/2 - -3)*8. Let l(p) = -15*p + 25. Let m be l(8). Let w = j - m. Is 4 a factor of w?
False
Let g(w) = 84*w**3 + 3*w**2 - 23*w + 216. Does 47 divide g(6)?
True
Let n(o) = 2*o + 35. Let s(a) = 42*a + 4*a**2 - 7*a**2 + 11 - 6*a. Let k be s(12). Is 5 a factor of n(k)?
False
Suppose -4*v = -5*z + v + 40, -v - 36 = -5*z. Suppose -3*b - 5*q = 3 + z, -b = -2*q - 4. Suppose -3*c + 189 = 4*k, b*c = 5*k - c - 241. Is 28 a factor of k?
False
Suppose -4*i = 5*i - 3141. Suppose -6 = 2*b, -b + i = n + 12. Does 10 divide n?
True
Suppose 15*z + 45975 = 30*z. Is z a multiple of 28?
False
Let x(f) be the second derivative of -11*f**5/20 - f**4/12 + f**3/6 + f**2 + f. Let k(j) = -2*j**3 - 7*j**2 - 3*j + 4. Let u be k(-2). Is 14 a factor of x(u)?
True
Let c(u) = -15*u + 124. Let n be c(8). Suppose 5*s + n*f + f = 335, -4*f = -2*s + 164. Does 9 divide s?
True
Suppose 3*b - 5*o = 15, -o = 5*b - 2*o - 25. Is 29 a factor of 1*59 + -5 + b + -2?
False
Let y(a) be the second derivative of a**5/60 + 2*a**4/3 + a**3/3 + a. Let x(z) be the second derivative of y(z). Is 9 a factor of x(4)?
False
Let c(r) = 2*r**2 + 5*r + 983. Is c(-29) a multiple of 36?
True
Is 286 a factor of -240*((-2694)/10 - -1)?
False
Suppose 30*j - 57792 = 280938. Is 82 a factor of j?
False
Let y be 1008 + (6 - 9) - -5. Suppose -83*m + 73*m = -y. Does 3 divide m?
False
Let j(m) = 697*m - 995. Is j(2) a multiple of 19?
True
Suppose -243*p + 10212004 = 175*p - 4112020. Does 18 divide p?
False
Let y = -9 - -32. Suppose -88 - y = v. Does 6 divide v/(-9) - (-4)/(-12)?
True
Let f = 5586 + 17505. Is 130 a factor of f?
False
Suppose 14 = 6*j - 4. Let y be (-1 - ((-9)/j + -1)) + -3. Suppose y = -u + 4*u - 126. Does 7 divide u?
True
Is 68 a factor of (-204)/(-153) - 22024/(-6)?
True
Let m(y) = -8*y**2 + 698*y - 41. Is m(72) a multiple of 61?
False
Suppose 1849*f = 1832*f + 70159. Is 12 a factor of f?
False
Suppose -21*v = -27*v + 12. Let o(q) = 12*q**3 - 8*q**2. Is o(v) a multiple of 4?
True
Let w(b) = 3*b**2 - 18*b + 6. Suppose -40 = -5*f + 10. Does 18 divide w(f)?
True
Let a = 15421 + -89. Does 15 divide a?
False
Suppose 0 = s + 5*u, 0*u = -4*u. Suppose 38*z - 13*z - 11100 = s. Is z a multiple of 37?
True
Let p(f) = 5*f**2 - 4. Let i be p(-2). Suppose -4 + i = -6*n. Is 29 a factor of (-4 - n) + -1 - -47?
False
Let c = -2621 + 56. Let w = -1134 - c. Is 9 a factor of w?
True
Suppose -i - 4 = -5*i. Suppose -3*y + 5*q + 5 = 0, 4*y = -4*q + 5*q + i. Let l(p) = p**3 - 2*p + 145. Does 28 divide l(y)?
False
Let k(g) = -g**3 - 10*g**2 + 24*g + 7. Let q be k(-12). Let t(v) = q - 49*v**2 + 15 - 19*v - 1 + 50*v**2. Does 7 divide t(19)?
True
Let v = -685 + 684. Let w(z) = -780*z**3 - 8*z - 8. Does 52 divide w(v)?
True
Let t be (46/(-2))/((-5)/105). Suppose -2*k - 183 + t = 0. Suppose -145*m - 315 = -k*m. Is m a multiple of 3?
True
Let l(a) = -814*a - 3982. Is l(-33) a multiple of 40?
True
Suppose 5*c - 32 = -2*o - 11, 0 = 3*o + 3*c - 18. Suppose -o*m = 53 + 70. Let k = m - -76. Is 5 a factor of k?
True
Let n be (-278 - -275)/((-3)/5). Let y(l) = -l + 5. Let t be y(5). Suppose t*b = -n*b + 170. Is 8 a factor of b?
False
Let m(c) = 3*c**2 - 4*c + 4. Let q(w) = 2*w + 34. Let x be q(-14). Is m(x) a multiple of 8?
True
Suppose 5*g + 32 = 6*z - 4*z, 5*z = 2*g + 38. Suppose -z*d + 1219 + 227 = 0. Is 19 a factor of d?
False
Suppose 2*z - 6*z = -2*i - 94, -4*z + 180 = -4*i. Let b = i - -49. Let h(o) = 3*o + 21. Is h(b) a multiple of 13?
True
Let k(s) = 267*s**2 + 40*s - 285. Is k(6) a multiple of 31?
False
Let f be (-47 - -179) + -2 + -3 + 2. Suppose -10*x + f = -221. Is 3 a factor of x?
False
Let g = 77 - 76. Let q be g*(2 + -3) + (-30)/(-6). Suppose -320 - 796 = -q*k. Is 53 a factor of k?
False
Let z be (-2 + 35)/(2/(-32)*-4). Let r = 261 - z. Does 43 divide r?
True
Let j be 3 + (7 - 4)/(-1). Is (8421/(-35))/((-6)/20 + j) a multiple of 9?
False
Let a = -315 - -7363. Is 61 a factor of a?
False
Let d(j) = j**3 - 52*j**2 + 25*j + 162. Is 6 a factor of d(52)?
False
Suppose -6*c - 1652 = 8*c. Let o = c + 125. Does 7 divide o?
True
Suppose 0 = -4*u + 5*w + 38304, 62*u - 3*w = 65*u - 28755. Is 225 a factor of u?
False
Suppose -t = 3*s + 3, 0 = -6*t + t - s + 27. Suppose -t*o + 244 + 824 = 0. Is o a multiple of 11?
False
Let j(o) = 4*o**3 - 16*o**2 + 24*o - 15. Let z(w) = 7*w**3 - 31*w**2 + 47*w - 31. Let b(p) = -5*j(p) + 3*z(p). Is 5 a factor of b(12)?
True
Let d(b) be the third derivative of 2*b**4/3 + 83*b**3/6 + 107*b**2. Is 34 a factor of d(20)?
False
Is 43 a factor of 39388/(-3)*-3*3/6?
True
Let i(x) = 20*x - 11. Let f be (3/6)/(3/66). Suppose -14*q + f*q = -30. Does 16 divide i(q)?
False
Let a(h) = 142*h**2 - 38*h - 76. Is a(-2) a multiple of 44?
False
Is 12 a 