True
Suppose 9*u - 173 - 1672 = 0. Let g be 1/(-6) - (-6 - u/(-30)). Is 7 a factor of ((-1680)/100)/(g/10)?
True
Let j(m) = -7*m - 105. Let x be -8 + 1 + (-75 - -57). Does 14 divide j(x)?
True
Suppose 60 = 15*o - 0*o. Is -151*((-30)/(-20))/((-2)/o) a multiple of 8?
False
Let w(q) = 8*q + 183. Let g(u) = -7*u - 182. Suppose 0 + 6 = -x. Let n(t) = x*w(t) - 7*g(t). Is 22 a factor of n(0)?
True
Let r(o) = -18*o - 6*o + 125 + 3*o**2 - 18 + 11*o**2. Does 88 divide r(8)?
False
Suppose -194*i + 187*i + 16317 = 0. Is 17 a factor of i?
False
Let u = 1531 - 1529. Suppose -3*t = 2*c - 616, t - 810 = -3*t + 3*c. Let o = t + u. Is o a multiple of 13?
False
Let z = 807 - 803. Let p(b) = 25*b**3 - 9*b**2 + 6*b - 23. Is 31 a factor of p(z)?
True
Suppose -40 = -l - 4*l. Let g be -1 + 47 + l + -11. Let k = -23 + g. Is k a multiple of 4?
True
Let k(o) = -28*o - 472. Let g be k(0). Let y = 1110 + g. Is y a multiple of 58?
True
Suppose -3*s + 1 + 5 = 0. Suppose -135 = 17*t - s*t. Let a = 69 + t. Is 20 a factor of a?
True
Suppose 5*x = -2*w + 21756 + 15575, -4*x + 5*w + 29878 = 0. Is x a multiple of 3?
True
Let t be -5 - (-56)/12 - 16/(-3). Let k(w) = -2*w + 10. Let v be k(5). Is 8 a factor of (23 - (v - 4)) + t?
True
Suppose 3*s + 113 = 3*p - 178, -5*p - 3*s = -477. Suppose 2*z = 704 - p. Does 12 divide z?
False
Let i = 301 - 278. Suppose 0*h = i*h - 19389. Does 12 divide h?
False
Let m(u) = 6*u**2 - 12*u. Let h be m(2). Suppose h = 7*s - 2555 - 77. Is 94 a factor of s?
True
Let p = -2328 + 3497. Is p a multiple of 30?
False
Let m = -35 - -26. Suppose 0 = n - 2*u - 0*u - 10, -4*n + 12 = -u. Is 38 a factor of m*22*n/(-6)?
False
Let r be -3 + (-8 - -5) + 181. Let j be r + 4 + -4 + (-4)/1. Let i = j + -121. Does 10 divide i?
True
Let q(z) = z**3 - 38*z**2 - 18*z + 23. Does 18 divide q(40)?
False
Let q(u) = 9*u - 5 - 516*u**2 - 563*u**2 + 1082*u**2. Let n be (-1)/(-2) - 11/2. Is 2 a factor of q(n)?
False
Let g(q) = -q. Let s(u) = -u - 1. Let o(m) = 5*g(m) - 3*s(m). Let f be o(1). Is 8 a factor of (91 - f)/((36/(-8))/(-3))?
False
Suppose 11*d = 370 + 290. Let x = 101 - d. Does 21 divide x?
False
Suppose 3*k + 5*k - 656 = 0. Let x = -82 + k. Does 18 divide (-2637)/(-36) + (1/(-4) - x)?
False
Suppose 0 = -4*o, 3*g - 2*o = 5*g - 8. Suppose 0 = -g*v - 0*v + 160. Suppose -w - 16 = -v. Is w a multiple of 20?
False
Suppose 1151 = 5*d + 396. Let l = d - 316. Let w = -105 - l. Is w a multiple of 15?
True
Let s = -14 - -14. Let h be ((1 - s)/(-1))/(14/(-812)). Let j = 19 + h. Is j a multiple of 19?
False
Let w(u) = -125*u**2 - 5*u + 12. Let o(c) = c**2 - 2*c. Let z(f) = 5*o(f) - w(f). Is z(3) a multiple of 14?
False
Suppose 460 = u - n, 5*n - 1108 = -2*u - 202. Is 3 a factor of u?
False
Let j be (16/14)/(-4) + (-1236)/(-14). Let t = 214 - j. Suppose 2*r = -0*r - b + 261, r - t = -5*b. Is r a multiple of 12?
False
Suppose 35 = 35*j - 35. Suppose -3*r = 3*p + j*r - 643, -3*p + 675 = -3*r. Is 13 a factor of p?
True
Is 8 a factor of ((-25564)/(-308))/((-2)/(-160))?
True
Let k be (8 - 4)*12/8. Suppose -j + k*d = 5*d - 386, j - 384 = 3*d. Does 40 divide j?
False
Let r = 1983 - 1526. Is 3 a factor of r?
False
Let z(f) = -11*f + f**2 - 6 + 0*f + 2. Let x be z(9). Let i = x - -52. Does 10 divide i?
True
Does 3 divide 49720/330*90/8?
True
Suppose -a = -f - 2232, -42*f + 47*f - 6744 = -3*a. Is 51 a factor of a?
False
Suppose -2*c = -2*y - 16432 - 10078, 3*c - 2*y - 39765 = 0. Is 12 a factor of c?
False
Suppose 150 = 5*r + 5*r. Let k(u) = r + 12*u**2 + 18*u + u**3 + 5*u - 12*u - 1. Is k(-11) even?
True
Suppose -8 = -f - 5. Suppose -36 = -25*g + 13*g. Suppose -b + 4*b = f*x + 453, -g*b = 5*x - 493. Does 26 divide b?
True
Let z(d) = -d**2 + 10*d - 17. Let j be z(5). Let o = -4 + j. Is (0 - 9/o)/((-9)/36) a multiple of 2?
False
Let j = 196 + 100. Suppose -24*b = -26*b + j. Is b a multiple of 16?
False
Let b(x) = -5*x - 1. Let d be b(-1). Let n be (48/64)/(1/d). Suppose -2*q - n*q = -3*v - 673, 0 = -q - v + 133. Is q a multiple of 16?
False
Suppose 3*o - 3*o = -4*o. Suppose o = 35*k - 40*k - 340. Let d = -26 - k. Does 4 divide d?
False
Let s(k) = 29*k**2 + 250*k + 32. Is s(-10) a multiple of 18?
True
Suppose 2*v - 2 = 2. Let u(q) = 0*q + v*q**2 + 0*q**2 + 2*q**2 - 6*q + 4. Is u(6) a multiple of 28?
True
Suppose 740 + 2500 = 3*d. Suppose -70*b + 64*b = -d. Does 20 divide b?
True
Let m(n) = n**3 - 8*n**2 - 6*n + 2. Let d(b) be the first derivative of -b**4/4 - 19*b**3/3 + 10*b**2 + 9*b + 35. Let f be d(-20). Does 2 divide m(f)?
False
Let m = 9196 - 9033. Does 10 divide m?
False
Let q be 18/4*784/42. Suppose 3*y - 111 - q = 3*p, y - 65 = 5*p. Does 11 divide y?
False
Does 29 divide 2/(-5) + (-15320)/(-50)?
False
Let r(w) = 1149*w - 382. Is r(2) a multiple of 2?
True
Let p = -321 - -300. Does 85 divide (-6828)/(-8) + p/6?
True
Suppose -44*l + 12844 + 5461 = -26443. Does 34 divide l?
False
Let w = 946 + -282. Suppose 0 = -2*z + 10, 4*z = 3*s - 0*z - w. Is 21 a factor of s?
False
Let a(q) = -21*q**2 - 8*q + 30. Let c be a(6). Let p = c + 1084. Is p a multiple of 5?
True
Let h be ((-6)/(-5))/(((-6)/58785)/2). Does 27 divide 16/(-20) - h/30?
True
Let r = 10581 + 1962. Suppose 0 = -23*s + 1947 + r. Is 6 a factor of s?
True
Let p = -5507 - -6541. Is 22 a factor of p?
True
Is (-618507)/(-228) - (3/4 - 0) a multiple of 24?
True
Let z(o) = 6*o**3 + o - 4. Let s be z(2). Suppose -s = -3*d - 37. Suppose -7 + 111 = 2*t + 4*l, -d*t = 5*l - 160. Does 6 divide t?
True
Let k = -139 + 254. Suppose 2*s + 12 = 5*b, 3*b - 9 = b + 5*s. Suppose 3*l = -b*l + k. Does 10 divide l?
False
Suppose 2*n - 885 = -4*l + 1229, 0 = -2*n - 5*l + 2112. Suppose 10*b = -n + 9911. Does 22 divide b?
False
Let y(h) = -24*h**2 + 6*h - 15. Let r be y(2). Let q = 38 - r. Is q a multiple of 19?
False
Let b = -62701 - -100453. Is b a multiple of 44?
True
Let c(g) = -g**2 - 18*g + 1782. Is 18 a factor of c(0)?
True
Let n = 6866 - 1234. Is n a multiple of 11?
True
Let q(r) = 3*r**2 - 4*r - 16. Let m be q(-2). Suppose 5*s - 2*l + 21 = 359, -2*l - 272 = -m*s. Is s a multiple of 28?
False
Suppose 111*u = 122*u - 54 - 1. Let m = -45 - -68. Suppose -u*w = 4*g - 120, -3*w = 4*g + m - 135. Is 3 a factor of g?
False
Suppose -5*q + 115 + 85 = 0. Is 8 a factor of (46/(-115) + (-2254)/q)*-4?
False
Let h(y) = 193*y**3 - y. Let n = -16 + 8. Let p = 9 + n. Does 24 divide h(p)?
True
Let k = 1352 + -1138. Is 4 a factor of k?
False
Suppose -88*t + 9030 = -83*t. Suppose 2*l = 5*u - 2853, -5*u - 4*l + 1053 = -t. Does 41 divide u?
False
Suppose -10*v + 496 = -74. Suppose 0 = b - 57 - v. Is b a multiple of 8?
False
Suppose 22411 = 41*d - 9*d - 19061. Is 16 a factor of d?
True
Suppose -4*y + 973 = s, 0 = -3*y + 6*y + 4*s - 746. Suppose 3*j = j + y. Let w = j + -72. Is w a multiple of 7?
True
Suppose 3*v = 4*o + 89 + 15, 181 = 5*v + o. Suppose 0*x + 5*d = x - v, -d = 2*x - 94. Is 6 a factor of x?
False
Suppose i - 10 = 2*y, -3*y + y - 34 = -5*i. Suppose 5*k - i*k = -6. Does 3 divide k*-10*3/(-12) + -1?
False
Let p(y) = y**3 - 6*y**2 + 2*y + 10. Let d be p(9). Let i = -229 + d. Is i a multiple of 2?
True
Suppose 6*c + 3*c - 855 = 0. Let d = 121 - c. Is 7 a factor of d?
False
Let g = 3889 - 3754. Does 43 divide g?
False
Suppose 0 = -3*r + 2*b + 4088, 3199 = -4*r + 4*b + 8647. Is r a multiple of 124?
True
Let w = 16 - 15. Does 3 divide (3 + 54/(-24))/(w/8)?
True
Let h be ((-12)/36)/((-1)/(-87)). Let u = 49 - h. Suppose 0 = 3*y - 2*k - k - u, y - 35 = -2*k. Is 6 a factor of y?
False
Suppose -21*k - 21 = -24*k. Suppose 59 = 3*h - k*s + 2*s, 57 = 3*h - 3*s. Does 10 divide h?
False
Suppose 2*x = -18*x - 220. Let u(b) = -4*b + 18. Is 10 a factor of u(x)?
False
Let m = 6510 - -1546. Does 16 divide m?
False
Suppose -5*l = -8*l + 4185. Suppose -470 + l = 5*m. Let h = m + -129. Is h a multiple of 14?
True
Suppose 0 = -2*t + 946 + 310. Let y = 1412 - t. Does 49 divide y?
True
Let x(a) = 253*a - 14. Let c be x(6). Does 6 divide c/28 + 2/7?
True
Let s = -6997 - -8676. Is s a multiple of 73?
True
Let o(w) = -52*w**2 + 2*w + 6. Let c(k) = 54*k**2 - 2*k - 7. Let l(p) = -6*c(p) - 7*o(p). Is l(2) a multiple of 53?
False
Suppose 0 = -5*o - 1001 - 494. Let s = o + 383. Does 12 divide s?
True
Suppose y - 4*s - 2914 = 0, -y - 4*s + 1492 = -1430. Is 121 a factor of y?
False
Suppose -4*y - 