. Let p(a) = -f(a) + 5*x(a). Let d be p(-1). Let g = d - -78. Is g a multiple of 8?
False
Let w(n) = 9 + 15 + 68 - 17 - n + 11. Does 17 divide w(0)?
False
Let d(b) = -2*b**3 - 10*b**2 - 12*b - 32. Let g(j) = 2*j**2 - 37*j - 25. Let n be g(19). Is 14 a factor of d(n)?
True
Let q be (-42)/56 + 230/8. Let n = q + -26. Suppose 0 = -4*i + n*i + 4*b + 94, 0 = -i - 5*b + 40. Is 15 a factor of i?
True
Let l(j) = -j**2 - 13*j + 13. Suppose 54 = -4*q - 2. Let h be l(q). Is (-818)/(-8) + h + 6/8 a multiple of 8?
False
Suppose -4697 = -24*u + 4*u + 2663. Is 10 a factor of u?
False
Suppose 56*a - 35824 = 22864. Does 131 divide a?
True
Let w be (-2)/(-10) - 14/((-560)/(-248)). Does 29 divide w/12 + 3716/8?
True
Let j(q) = -2*q**2 + 16*q - 17. Let o be j(7). Suppose 3*x = 4*x + 5, -3*p = 5*x + 25. Does 3 divide p + 27 + (o - -3)?
True
Suppose 14 = 2*k - 4*i, 4*i = -0*k + k - 9. Suppose 3*d = z + 427, -176 = k*d + z - 885. Let v = -52 + d. Does 18 divide v?
True
Suppose -24*g + 1995 = -5*g. Suppose g = -5*j + 1275. Is 26 a factor of j?
True
Let g be 6/(-9 + 4 + 7). Suppose -g*k - 234 = -588. Suppose -9*c = -530 - k. Does 6 divide c?
True
Let d(o) = 4*o**2 - 84*o - 49. Let n(h) = 12*h**2 - 254*h - 148. Let g(c) = 17*d(c) - 6*n(c). Does 5 divide g(24)?
True
Let o(u) = -u**2 + 4*u - 3*u + 58 + 0*u**2 - 65. Let h(r) = -r**2 + r - 7. Let j(k) = 3*h(k) - 4*o(k). Does 4 divide j(4)?
False
Let b = -110 + 170. Suppose -5*l + 51 = 4*c, -b = -5*c - 4*l - l. Is 15/c*(7 + 38) a multiple of 15?
True
Let u(b) = -b**2 - 24*b + 70. Let m be u(-13). Suppose -m = -2*i + 3*c, 5*i - 261 - 243 = -2*c. Is 6 a factor of i?
True
Suppose 9 + 1 = 5*h - d, h - 2 = -2*d. Suppose 1156 = h*g + 3*r, 282 + 306 = g + 4*r. Does 33 divide g?
False
Let v = -462 - -196. Let r = v + 524. Does 30 divide r?
False
Let z(a) be the first derivative of 373*a**4/4 + a**3/3 + 15*a**2/2 - 16*a + 34. Is 80 a factor of z(1)?
False
Let o(m) = m**2 - 5*m - 37. Suppose -5*v + 8 = 13*y - 9*y, -3*y + 3*v + 6 = 0. Let t be ((-5)/(-10) + -3)/(y/4). Does 8 divide o(t)?
False
Suppose 5*v + 3*o = 49650, 31*v - 5*o = 35*v - 39733. Does 164 divide v?
False
Let w(a) = 110*a**2 + 2*a + 2. Let x = 36 + -32. Suppose x*t + 5*t + 9 = 0. Is 23 a factor of w(t)?
False
Let b(a) = -70*a - 470. Does 51 divide b(-14)?
True
Let s be 6/(-18)*-1 - (-400)/6. Suppose -2*c + 4 = -3*c. Let q = s + c. Does 9 divide q?
True
Suppose 3*o - 2*o + 7 = -3*c, -2*c = 3*o. Suppose -p + k = -8, -4*k - o = 2*p - 0*k. Suppose p*f - 7 = 13. Is f a multiple of 2?
True
Let c(o) = -o**2 + 12*o - 44. Let n be c(-27). Let f = -638 - n. Is f a multiple of 9?
True
Let q(k) = 17409*k - 736. Is q(2) a multiple of 167?
False
Let q be 3/(-4 + (-749)/(-182)). Suppose 6*x = q*x - 7780. Is x a multiple of 30?
False
Let j = 21 - 27. Let x be j/(-1)*(-384)/(-36). Let m = x - 49. Is 5 a factor of m?
True
Let h = 328 + -268. Is 24 a factor of 90 - 10/(h/(-18))?
False
Let v(m) = -5*m + 2*m**2 - 3*m + 2*m - 10*m + 29*m. Does 24 divide v(8)?
False
Let j be 2/(-10) + 25971/55. Let n = -319 + j. Suppose -n = -5*p + 7. Is 4 a factor of p?
True
Let h(z) = 2*z**2 - 13*z - 33. Let u be h(17). Suppose -3*w = w, -4*w = 4*b - u. Suppose i - 17 - b = 0. Does 14 divide i?
True
Suppose -2*h + 33509 = 5*w, -90*h = 3*w - 93*h - 20118. Is 15 a factor of w?
False
Let h = 285 + -40. Suppose -705 - h = -10*m. Suppose m = 5*g - 165. Is g a multiple of 13?
True
Suppose 0 = -5*q + v - 82, -2*q + 7*v = 11*v + 24. Is 49 a factor of ((-88)/q - 6)*-196?
True
Let h(d) = d**2 + 13*d + 22. Let f be h(-11). Suppose 2*z - 4 = -f. Suppose -5*v - 3 = -z*a + 2, 5*a - v = 47. Is 7 a factor of a?
False
Let k(a) = -2*a**3 - 13*a**2 - 14*a + 8. Let f be k(-5). Suppose -1 = 2*s - w, 4*w - 7 = 3*s + 7. Is s/f + 148/3 a multiple of 30?
False
Let n(h) = h**2 + 9*h - 8. Let i = 62 + -36. Suppose i*k = 23*k + 24. Does 32 divide n(k)?
True
Let w = 131 + -96. Let l(r) = -4*r**2 + 10*r + 1045 - 17*r**2 - r**3 - w*r - 1025. Is 8 a factor of l(-20)?
True
Suppose -6*r + 7745 = -r. Let j = -417 + r. Suppose 0 = -5*z - 3*h + j, -5*h = 4*z - 548 - 368. Is 28 a factor of z?
True
Let z(u) = 30*u**2 + 7*u + 8. Is z(-1) a multiple of 4?
False
Suppose 97259 = 32*v - 234805. Does 6 divide v?
False
Suppose 7 + 0 = -k - 2*b, 0 = -b - 5. Suppose k*j - 15 = 96. Suppose w - 51 = j. Is w a multiple of 22?
True
Let r(c) = 12*c + 37. Let v be (-2)/(-11) + 196/11. Let t be r(v). Is 14 a factor of 1 + ((-4)/12 - t/(-3))?
False
Let t = -2730 + 6071. Does 95 divide t?
False
Suppose 9*d = 4*d. Suppose 0 = 4*l + q - 13, d = 5*l + q + q - 17. Suppose 510 = l*b + 3*b. Does 25 divide b?
False
Suppose 8*k = 26*k - 0*k - 44496. Is k a multiple of 10?
False
Suppose d - 10962 = -3*t, -170*d + 4*t = -166*d - 43816. Does 22 divide d?
True
Suppose -84*f + 45 = -69*f. Suppose 839 = 2*p - 8*y + f*y, -4*p + 1748 = 4*y. Is p a multiple of 24?
True
Suppose 0 = -5*o + 4*y + 11617, -33*o = -37*o + 5*y + 9290. Does 31 divide o?
True
Let x = -77 - -39. Let c be 24/7*(-532)/x. Suppose c = -2*s + 142. Is 4 a factor of s?
False
Suppose -31*d - 42010 = 22*d - 767845. Is 25 a factor of d?
False
Suppose 26*k - 158465 + 68711 = 219126. Is k a multiple of 12?
True
Suppose -12*g + 14 + 22 = 0. Suppose -2*c - 814 = -g*v, v - 135 = 5*c + 145. Does 14 divide v?
False
Let y(c) = c**3 - 47*c**2 + 113*c + 188. Is y(54) a multiple of 13?
True
Let x(i) = 24016*i - 1270. Is 102 a factor of x(1)?
True
Suppose f = -7*f + 248. Suppose f = -3*b + 154. Is 6 a factor of b?
False
Is (472/6)/(121/2904) a multiple of 6?
False
Suppose 18*v - 20*v + 6 = 0. Suppose 2*k - 1246 = -4*q - 0*k, -3*k = v. Is 12 a factor of q?
True
Let s = 40 - -59. Suppose 5*d - 573 = 162. Suppose d = 6*m - s. Does 6 divide m?
False
Suppose 0 = -5*g + 3*j + 2557, -5*g + 8*g - 1533 = 3*j. Does 16 divide g?
True
Let k be 64 + -42 - (0/(-1))/(-1). Let o(s) = s + 37. Let q(y) = 5*y + 149. Let i(d) = 9*o(d) - 2*q(d). Is i(k) a multiple of 5?
False
Suppose 3*c + v + v = 12, 0 = -c - 5*v + 4. Suppose -776 = -2*d + 4*y, c*d - y - 1522 = y. Suppose 3*r - d = 99. Does 33 divide r?
False
Let q = 97 + -93. Suppose 0 = -q*s + 16. Let z = s + 176. Does 29 divide z?
False
Suppose -55*z + 6 = -52*z. Let q be -1*(z + (3 - 2)). Is (-1222)/(-39) + (-2)/q + 0 a multiple of 32?
True
Let g be 208/(2 - 6)*(-123)/12. Let t = g + 283. Is 25 a factor of t?
False
Let s(t) = 4161*t**2 - 33*t + 90. Is 48 a factor of s(3)?
True
Let k = 131 + -133. Is 958/18 + (-2)/(-18)*k a multiple of 6?
False
Let g(x) = -9*x**3 - 19*x**2 + 21*x - 9. Let v(w) = -5*w**3 - 10*w**2 + 11*w - 4. Let c(a) = 4*g(a) - 7*v(a). Let m = -990 + 981. Is 32 a factor of c(m)?
False
Let s(w) = 6*w**2 - 2*w + 55. Let h(r) = -7*r**2 + 3*r - 55. Let c(b) = 5*h(b) + 6*s(b). Suppose 15*l - 4*l = 3*l. Does 14 divide c(l)?
False
Suppose -78*l + 89*l = 199584. Is 54 a factor of l?
True
Suppose 4*l + 9*l - 780 = 0. Is 14 a factor of ((-192)/(-10))/(9/l)?
False
Suppose 2*n = 158 + 38. Let w = -256 + n. Let j = -82 - w. Is 12 a factor of j?
False
Let o = -169 - -174. Suppose o*t - 72 = 158. Is 7 a factor of t?
False
Let o = 57 + -43. Let h be 9*(o/12)/(10/80). Let x = -33 + h. Is 17 a factor of x?
True
Let p be 2/29 - 14/203. Suppose 31*j - 61*j + 28080 = p. Does 7 divide j?
False
Does 14 divide 88/(6 + 1875/(-315))?
True
Let k(n) = 74*n**3 + 72*n**2 - 456*n - 4. Is 83 a factor of k(8)?
True
Let y(v) = -v**3 - 2*v**2 + 3*v - 5. Suppose -5*c = 3*d + 30, -6*d - 3*c + 11 = -10*d. Is 9 a factor of y(d)?
False
Suppose -5*z + y - 3547 = 0, -3*y = -4*z - 8*y - 2826. Is ((-15)/15)/(z/354 - -2) a multiple of 22?
False
Suppose 0 = -6524*o + 6531*o - 143157. Is o a multiple of 6?
False
Let n(u) = -917*u + 380. Is n(-6) a multiple of 14?
False
Let b(p) = 331*p**2 - 3. Let k be b(2). Suppose 271 = -3*d + k. Is 15 a factor of d?
False
Is 40 a factor of 60/(-150)*38435/(-2)?
False
Let s be ((-5)/(-35))/(8/(-28)) + 225/(-6). Let i = 49 + 74. Let l = i + s. Is l a multiple of 17?
True
Let b = 190 + -176. Does 6 divide (-96)/56*b*-1?
True
Suppose 238*y + a + 16300 = 243*y, -y + 3246 = -3*a. Is 9 a factor of y?
False
Let g = 74 + -88. Let x(v) = -v**2 - 20*v - 9. Does 4 divide x(g)?
False
Let w = -886 + 1822. Suppose -13*h - w = -17*h. Is h a multiple of 9?
True
Let z = 23 + -6. Let i = -525 - -588.