6*w + 288. Is 190 a factor of z(3)?
False
Let k(b) = 213*b**3 - 14*b**2 + 14*b - 6. Is k(3) a multiple of 27?
False
Let i be (156/10)/(-1*3/(-15)). Suppose -2*z + 88 - i = 0. Let g(p) = p**3 + p**2 - 9*p + 2. Does 9 divide g(z)?
False
Let z = -7749 + 12101. Does 16 divide z?
True
Is 37 a factor of (0 - -2)/1 + 5539?
False
Let l = 2632 - 1513. Does 24 divide l?
False
Let k(g) be the second derivative of 13*g**8/2240 - g**7/2520 + g**6/720 - 17*g**4/6 - 33*g. Let y(x) be the third derivative of k(x). Does 14 divide y(1)?
False
Let d = -98 + 154. Suppose 51*h - 25 = d*h. Is 26 a factor of (-2)/4*(h - 97) - -1?
True
Let u(y) = y + 9. Let b be u(-4). Suppose 6*v + 4*w = 4*v + 208, -4*v = b*w - 425. Suppose -8*a - v = -10*a. Does 5 divide a?
True
Let t be 22/(-6)*(27 - 30). Is 3858/14 + (297/63)/t a multiple of 69?
True
Let a = 50 + 23. Let g = a + -8. Suppose 3*h = g + 205. Is h a multiple of 45?
True
Suppose 4*n - 23260 = -4*k, 1997 = 4*n + 5*k - 21264. Does 34 divide n?
True
Let q be (-3)/((18/(-88))/(-9)). Let l = q + 409. Let s = -97 + l. Does 20 divide s?
True
Let m(f) = -2*f + 31. Let w be m(13). Suppose 9*z - 4*z = -3*p + 412, 0 = w*p - 4*z - 736. Is p a multiple of 16?
True
Suppose 2457 = 4*u + 3*f, 1 - 3 = 2*f. Let n = u - 454. Is 4 a factor of n?
False
Suppose 5*d + 10823 = 2*o, -2*o - 5*d + 2684 = -8089. Does 22 divide -7*(-9)/504 + o/8?
False
Let y = 20 - 8. Suppose 0 = -2*q - 5*k + 133, 4*q - 299 = 9*k - 8*k. Let s = q - y. Is 7 a factor of s?
False
Let o = 33578 - 3650. Is 58 a factor of o?
True
Let n(z) = -z**2 + 49*z - 297. Is 57 a factor of n(36)?
True
Let j = -12057 + 16857. Is j a multiple of 100?
True
Let q be ((-2)/(-12)*18)/((-1)/35). Let h = 566 + q. Is h a multiple of 15?
False
Suppose 141*m = 138*m + 5*c + 3075, -4*m - 4*c = -4100. Is 3 a factor of m?
False
Suppose -f + n = -723, 4*n = -n + 25. Let t = -494 + f. Does 13 divide t?
True
Let d = -437 + 310. Let x = d - -150. Does 11 divide x?
False
Let z(a) = -2*a + 1 + 12*a + 3 + a**3 + 1 + 9*a**2. Is 31 a factor of z(-7)?
False
Let s = -8043 + 9382. Does 71 divide s?
False
Suppose 5*i = -60 - 25. Let c be -21 - i - (1*-1 + 1). Is (-147)/(-3 + c) - (-1 - 0) a multiple of 17?
False
Let g = 851 + -602. Let i = -82 + g. Does 26 divide i?
False
Let k(m) = 34*m**3 + m + 0*m**2 - 3*m + 7*m**3 + 3*m**2. Suppose -2*t = -q - 4 - 5, 4*q = 2*t - 6. Is 3 a factor of k(q)?
True
Suppose -8*y - 10970 + 48282 = -14208. Is 16 a factor of y?
False
Suppose 95 = 5*r - 10. Suppose 4*w + t = -2*t + 15, r = 5*w + 3*t. Suppose 4*f + w*f - 840 = 0. Does 10 divide f?
False
Let o(t) be the second derivative of 9*t**5/20 - t**4/6 - 4*t**3/3 + t**2 - 2*t - 33. Is o(3) a multiple of 26?
False
Let p be 4280/6 - 12/9. Let v = p - 359. Does 42 divide v?
False
Let i = 1928 + -1662. Does 19 divide i?
True
Suppose 11*n + 22 = 33*n. Let l(x) = 370*x**2 - 10*x + 8. Is 58 a factor of l(n)?
False
Let o(x) = x**3 + 19*x**2 + 85*x + 16. Let f be o(-12). Suppose 12*c = 17*c + 4*i - 80, -4*c + f*i + 100 = 0. Is 20 a factor of c?
True
Let d be (-2)/(-4) + (-2064)/(-32). Let b = d - 20. Let p = 90 - b. Is 5 a factor of p?
True
Let w be -1 - 1*-1 - -3. Let m = -3272 + 3275. Suppose -w*u + i = -4*i - 13, 4*i = -m*u + 22. Is u a multiple of 3?
True
Suppose 4269 + 456 = 15*t. Is 21 a factor of ((-32)/(-40))/(6/t)?
True
Let j(d) = 331*d - 505. Is j(7) a multiple of 6?
True
Let i(j) = 9*j + 4. Let l be i(-1). Is 37 a factor of ((-3)/5)/(2/(-140)) - l?
False
Let m(a) = -148*a + 3992. Is 56 a factor of m(16)?
True
Let g(a) be the third derivative of 0 + 0*a - 7/3*a**3 - 13/12*a**4 - 12*a**2. Is g(-4) a multiple of 15?
True
Let h(z) be the third derivative of z**4/24 + 79*z**3/6 + 16*z**2. Is 42 a factor of h(5)?
True
Is (4*(-16)/10)/((-20)/13350) a multiple of 19?
False
Suppose 3 = 169*i - 172*i, 5*p + 3*i = 66522. Is p a multiple of 15?
True
Let a = -11842 - -35150. Is 34 a factor of a?
False
Let k(d) = 33*d**2 + 68*d + 1. Is k(-6) a multiple of 9?
False
Let n = 2299 + -395. Suppose -4*q = 2*v - n, -479 = -2*q + v + 477. Is 63 a factor of q?
False
Is 16389/12 + 54/(-72) a multiple of 39?
True
Let m be ((-6)/(-7))/(12/42). Let h(r) = 126*r - 8. Does 17 divide h(m)?
False
Let u = 8171 + -8117. Does 9 divide u?
True
Let f(j) = j**2 - 12*j - 14. Let i be f(13). Let h be -7*(-36)/(-42)*-18. Let n = h + i. Is n a multiple of 14?
False
Let n = 126 - 97. Suppose -b - n - 129 = 0. Let r = -118 - b. Is r a multiple of 6?
False
Does 28 divide 392786/42 + (-105)/2205?
True
Let w(s) be the first derivative of s**3/3 - s**2 + 7*s - 2. Let m be w(0). Suppose m*j - 288 = 4*j. Is 12 a factor of j?
True
Suppose 7*s + 15 = 8*s + 3*n, 5*s = -5*n + 45. Suppose 5*b - 632 = 5*z - s*z, -b - 1 = 0. Is z a multiple of 12?
False
Let b = 1384 - 664. Suppose 24*x = 2352 - b. Is x a multiple of 21?
False
Let j = 1 - 3. Let i(w) = 15*w + 9*w - 20*w + 11 + 9*w**2. Is 15 a factor of i(j)?
False
Suppose 45 = 8*p + 13. Suppose -j + p*o = 16, -2*o + 8 = 3*j - 0*o. Suppose 18*b - 14*b - 988 = j. Does 13 divide b?
True
Suppose 31586 = 3*v + 2*m + 2*m, v - 10533 = 3*m. Suppose -5*r = -5*s - v, -4*r = -3*r + s - 2106. Is 13 a factor of r?
True
Let c = -169 + 172. Suppose 5*x - 2737 = c*y, -2*x + 2*y + 2738 = 3*x. Is x a multiple of 33?
False
Let a(g) = -g**3 - 13*g**2 - 3*g - 15. Let b be a(-13). Let o = 103 - b. Suppose 4*s - 5*m - o = 0, -s = -0*m - 3*m - 18. Is 21 a factor of s?
True
Let q(y) = -1227*y - 3775. Is 43 a factor of q(-28)?
False
Suppose -11*x = -13*x. Suppose 4*n + 8 = 2*p, -2*p - n + 3 = -x*n. Is (-2)/((p/13)/(-1)) a multiple of 3?
False
Suppose -14*o + 9060 = -8*o. Does 51 divide o?
False
Let h = 85116 + -50478. Is 46 a factor of h?
True
Let z(u) = 15*u - 138. Let y be z(9). Let q(x) = -32*x + 127. Is 39 a factor of q(y)?
False
Suppose -3*q + 8 + 9 = -5*i, -4 = -2*q - 4*i. Suppose 2*h + q*t - 24 = 0, -t + 1 = -3*h + h. Is 2 a factor of (h - -1) + 20 + -3?
True
Is 44 a factor of (-15)/(-40) - (-73094)/112?
False
Suppose 3*k = 15 - 0. Let c = 876 - 874. Suppose -20 = -3*z + j, 4*z + c*j + 15 = k*z. Is 2 a factor of z?
False
Let r(x) = -13*x - 62. Let s(z) = 5*z**3 - 6*z - 10. Let l be s(-2). Is r(l) a multiple of 5?
False
Let d = 10396 + -6224. Is 17 a factor of d?
False
Suppose 4*c + 100*l = 98*l, 0 = -2*c + 2*l. Is 16 a factor of (5 - 1) + (461 + -1 - c)?
True
Let d = 4794 + -3196. Does 21 divide d?
False
Suppose 5*u + 111 = 2*u. Let a = u - -26. Let i(p) = p**2 + 9*p + 11. Is i(a) a multiple of 13?
False
Suppose -97*m + 965694 = 77*m - 60*m. Is m a multiple of 52?
False
Let l(h) = h**3 - 4*h**2 + h - 4. Let w be l(2). Is 7 a factor of w/25 - 362/(-5)?
False
Let i(z) = 16*z**2 - 110*z - 290. Is i(28) a multiple of 102?
False
Suppose 22641 = 4*n - 3*q - 23133, -2*q = 4*n - 45784. Is n a multiple of 173?
False
Let p(x) = -50*x**3 - 4*x**2 + 3*x - 4. Let v(u) = -u**3 - u**2 + u - 1. Let h(k) = p(k) - 4*v(k). Let c be h(1). Let q = 135 + c. Is 11 a factor of q?
True
Suppose 4*g + 5*w = 23, -g + 4*w - 2 = 8. Let f be 0/(-1 + (-9)/(g + -5)). Suppose -4*t = -f*t - 36. Does 3 divide t?
True
Let n(b) = -71*b + 5. Let q(s) = s + 1. Let z(t) = n(t) - 3*q(t). Let v = 4 + -5. Is z(v) a multiple of 12?
False
Let a be (-2 - (-6 - -5))*0. Let f(g) = -g**2 - 2*g + 225. Is 25 a factor of f(a)?
True
Let n be (-3)/4*64/(-12). Suppose -2*x + 293 = -n*j + 1515, 0 = -3*j + x + 919. Is 44 a factor of j?
True
Suppose 0 = 5*c + 1839 + 9276. Let i = c - -641. Does 36 divide (i/4)/7*-2?
False
Let r = 186 - 18. Let a = r - -32. Is a a multiple of 25?
True
Let t(l) = -66*l**3 + 54*l**2 + 510*l + 49. Is t(-9) a multiple of 36?
False
Is -25*2/10 - (-6250)/2 a multiple of 20?
True
Let t(g) = 3542*g - 1409. Does 16 divide t(3)?
False
Let x be (-95)/(-35) + (-18)/(-14) + -1. Suppose -x*r - 158 = -5*a + 1873, -3*r = 4*a - 1614. Is 5 a factor of a?
True
Let p(c) = 7 + 7 - 4 + 5*c. Let z be (8/12)/((-18)/(-81)). Does 19 divide p(z)?
False
Let q(a) be the second derivative of 5*a**3/2 + 65*a**2/2 - 37*a. Does 16 divide q(17)?
True
Suppose 17 = 4*v - 3*a, -2*a = 2*a - 20. Suppose -4*j + 0*j = 4*b + 16, -3*b + 2*j = -v. Does 6 divide (1 - (-46 + 2)) + (-3 - b)?
True
Does 25 divide -9 + -1 + (31 - -28)?
False
Let c(x) = -2*x + 22. Let p be c(9). Suppose -4*l = -3*z + 9, -p*z + l - 2*l 