Let r = -1445 + d. Is 7 a factor of r?
False
Let g(d) = -8*d + 1 - 1 + 7*d - 3. Let t be g(3). Is 34 a factor of (-608)/t - 3*(-10)/45?
True
Suppose 5*z + 5*j = 0, 0 = -5*z - j - 12 + 4. Let v(q) = -q**2 - q + 5. Let w be v(z). Suppose 0 = -w*f - 9*f + 528. Is f a multiple of 4?
True
Does 238 divide (-14)/(-42) - 677365/(-51)?
False
Let m be (88/6)/(52/78). Let g(x) be the second derivative of -x**4/12 + 4*x**3 + 9*x**2/2 + 13*x. Does 12 divide g(m)?
False
Suppose -256*p - 2*l = -255*p - 6390, 4*p - 25566 = -5*l. Is 23 a factor of p?
True
Let r(v) be the second derivative of 0 + 1/20*v**5 + 5/12*v**4 - 7/6*v**3 - 13*v + 3*v**2. Is 2 a factor of r(-6)?
True
Suppose 7646 - 65343 = -6*z + 28907. Is z a multiple of 18?
False
Is 29*432/(6 + (-138)/24) a multiple of 232?
True
Let j = 53 - 56. Let w be (-2)/((-3)/j) - -126. Suppose -9*n + w = -5*n. Is 31 a factor of n?
True
Let k(v) = -8370*v**3 + 4*v**2 - 2*v - 6. Is k(-1) a multiple of 22?
False
Let p be 20/12 - (-6)/18. Is 9/(-54) - p/(-12)*685 a multiple of 32?
False
Let o(j) = 22 + 2*j**3 - 3*j**3 + 34. Suppose 0 = 3*b + 4*w + 12, -474*w = -471*w + 9. Does 14 divide o(b)?
True
Let p(h) = -h**2 + 6*h + 9. Let q(d) = -d**2 + 6*d + 9. Let z(i) = 7*p(i) - 6*q(i). Let t be z(6). Suppose -t*m = -m - 432. Is m a multiple of 18?
True
Suppose 21*y - 467638 - 591021 = -405496. Does 16 divide y?
False
Let k(s) = -s**3 - 2*s**2 + 11*s + 18. Let w be k(-4). Suppose 0 = -2*n - 3*c + 368, 368 = 2*n - w*c + c. Is 46 a factor of n?
True
Suppose -5*g = -35, 5*h - 4146 = 5*g - 1056. Is 2 a factor of h?
False
Suppose -5*r = 3*p - 1300, 342*p - 1735 = 338*p - 5*r. Is p a multiple of 5?
True
Let f(h) = -185*h**2 - 4*h - 4. Let s be f(-1). Does 8 divide (-20)/30 - (-1)/(-3) - s?
True
Let c(f) = -f**2 + 41*f - 77. Let l be c(39). Is (-46)/115 + l/(10/18334) a multiple of 13?
True
Let b(n) = -6*n**2 - 10*n - 9. Let h(u) = 10*u**2 + 16*u + 14. Let f(l) = 8*b(l) + 5*h(l). Does 5 divide f(2)?
False
Suppose -3*m = 5*p - 13206, 0 = 220*p - 217*p - 2*m - 7916. Is 60 a factor of p?
True
Suppose -o + 11 = 2*v, 0*v + 4*v - 13 = o. Let j be v/((-8)/(-6)) - 0. Suppose -183 = -4*h + 3*z, j*h - 47 = 2*h + 2*z. Is h a multiple of 9?
True
Let c(w) = 18*w - 4. Let l be c(-1). Let o = 13 - l. Let q = o - 32. Is q a multiple of 3?
True
Let x = 6764 + -654. Is 76 a factor of x?
False
Let n = 379 + -265. Let f = n + -21. Is f a multiple of 31?
True
Let o = 47 - 37. Let h be 1 + (-16)/o + (-7172)/(-20). Suppose 0*c + r - h = -5*c, -3*c = 3*r - 210. Does 8 divide c?
True
Suppose -2*d = a - 130, 5*d = -2*a + 43 + 222. Suppose 5*m = -2*b - 269, 2*m + 0*m = -b - 108. Let s = a + m. Is 8 a factor of s?
False
Let g(m) = -2*m**3 + 8*m**2 - m - 6. Let a be g(5). Let l = a + -325. Is l/(-8) - 1*18/(-24) a multiple of 22?
False
Let z(q) = -3*q**3 - 5*q**2 + 4*q - 18. Let x(u) = -u**3 - 18*u**2 + 17*u - 42. Let b be x(-19). Is z(b) a multiple of 22?
False
Let c = 16 + -18. Is (-2058)/210*c*5 a multiple of 23?
False
Let d be (318*-1)/(35/25 + -1). Let r = d + 928. Does 14 divide r?
False
Suppose 0 = q + 4*a - 10877, q + 145*a - 10880 = 144*a. Does 8 divide q?
False
Let n be (-3)/18*10*(-6 - -3). Suppose -n*g = -4 - 11. Suppose 4*q - c - 294 = 11, -9 = -g*c. Does 10 divide q?
False
Let l be (-24)/4 - -7 - -553. Let m = l + -310. Is m a multiple of 20?
False
Let c(x) = 2*x**2 + 9*x - 1. Let r(d) = -3*d**2 - 17*d + 2. Let z(v) = -5*c(v) - 3*r(v). Let u be z(3). Does 2 divide u*4/20*10/2?
True
Let g(o) = -o**3 + 4*o + 1. Suppose 4*a - 27 = -15. Let w be g(a). Is (-14)/6*3*w a multiple of 16?
False
Let z(h) = 23*h - 169. Is z(29) a multiple of 3?
True
Suppose y = -3*y - 2*m + 4, -m = -4*y + 16. Suppose 4*h = 7*h. Suppose 2*q - 11 - 42 = y*c, h = 2*q - c - 51. Is q a multiple of 2?
False
Let z be -7 + ((-72)/(-9) - 4). Is 86295/210 + z/(-42) a multiple of 94?
False
Does 10 divide -10 - (-25*1080)/10?
True
Suppose -4*k + 3*m = -16, 20 - 8 = 3*k + 3*m. Suppose 505 = 9*j - k*j + 4*d, -5*j - 5*d = -500. Does 15 divide j?
True
Let t(x) = 65*x**3 - x**2 + 3*x - 3. Let c be -5*(-2 + -2)*(-25)/(-50). Let d be -5*c/325 + 15/13. Is 6 a factor of t(d)?
False
Suppose 0 = -34*z + 94*z - 30300. Is 5 a factor of z?
True
Is 5 + (18 - 17) + 1 + 1165 a multiple of 106?
False
Is (27/((-135)/(-850)))/((-6)/(-45)) a multiple of 4?
False
Suppose -2150 = -3*p - 530. Let k = 806 - p. Does 7 divide k?
True
Suppose -1353 - 2271 = 24*x. Let u = x - -336. Is 37 a factor of u?
True
Let v = -5631 + 5951. Is 32 a factor of v?
True
Let s(b) = -b**2 - 20*b + 2. Let z be s(7). Let t = 329 + z. Let d = t - 92. Is d a multiple of 10?
True
Suppose 16*u - 14*u - 1072 = 0. Let x be 2/(2/2) + -288. Let t = u + x. Is 25 a factor of t?
True
Let u(y) = -6*y**3 - 37*y**2 - 23*y - 24. Is u(-12) a multiple of 98?
True
Let i(h) = -55*h + 7. Let t be i(6). Let g = -228 - t. Suppose g = -11*u + 12*u. Does 19 divide u?
True
Let l(a) = -188*a - 242. Is 58 a factor of l(-3)?
False
Let c(f) = 6*f**2 + f - 780. Is 34 a factor of c(-30)?
True
Suppose -4*c + 34434 = h, -40*c - 5*h = -43*c + 25814. Is c a multiple of 8?
True
Suppose 2*s + 5*w + 278 = s, -s - 282 = w. Let c = -177 - s. Is 12 a factor of c?
False
Let d = -125 - -119. Let j(r) = 4*r + 26. Let p be j(d). Let w(z) = 5*z**3 - 3*z + 1. Is 7 a factor of w(p)?
True
Suppose -c + 27 = 4*t, 6*t - 2*t - 4*c - 32 = 0. Suppose -4*i = 3*q - 22, 4*i - 24 = 3*q - t*q. Is 1 + (7 - i) + 29 a multiple of 3?
True
Is 9 a factor of 4/((-96)/216) + 35371?
False
Suppose 5*n + 36 = y, 79 - 13 = 2*y - 4*n. Let h be 4/14 - 22/77. Suppose -6*o + y + 11 = h. Does 7 divide o?
True
Suppose -4*j + 43522 = 5*q, 4*q - 5*j = -14873 + 49707. Is q a multiple of 8?
False
Suppose -3*q - 19140 = -5*z, 613*q + 15315 = 4*z + 610*q. Is 17 a factor of z?
True
Suppose i - 27074 = -4*p, -p - 12*i + 16*i = -6794. Does 10 divide p?
True
Suppose -13*b = 32 - 162. Suppose -6 + 16 = b*o. Is 13 + 6 + o + -5 a multiple of 8?
False
Suppose -14*k + 15*k + 279 = 0. Suppose 5*m - 523 - 279 = -2*f, 1203 = 3*f - 4*m. Let q = f + k. Is 13 a factor of q?
False
Suppose -4*h + w + 140 = -0*h, 0 = -3*w. Let o be (-1)/7 + 1125/h. Suppose -5*n + 58 = -o. Is n a multiple of 9?
True
Suppose -6*r = 3*w - r - 1250, 5*w = -2*r + 2115. Is 10 a factor of (7 - (-3 - -5)) + w?
True
Suppose 2365 = 2*l + 101*u - 100*u, -3*l = -4*u - 3564. Is l a multiple of 4?
True
Does 8 divide ((-4)/24)/((-1)/48) + 32642/2?
False
Suppose -34780 = -4*v + 5*p, -34820 = -4*v + 30*p - 35*p. Does 58 divide v?
True
Suppose 0 = 6*c + 2*c + 4*c. Suppose -2*j + 842 + 1100 = c. Suppose 311 = -5*t + j. Is 22 a factor of t?
True
Let u be 4 - (-5)/(-10)*6/(-3). Suppose -x + 25 = 2*d, 4*x - u*d - 214 + 49 = 0. Does 4 divide x?
False
Let z(s) = 35*s**2 + 26*s - 3742. Is 17 a factor of z(35)?
False
Let j be (1*2)/(-12*11/(-858)). Suppose -3014 = j*o - 15884. Is 90 a factor of o?
True
Suppose -o = -j - 4*j + 83, 0 = -o + 4*j - 88. Let u be ((-201)/9)/(6/o). Does 17 divide u/18 - (-2)/(-5 + -1)?
False
Let g = 386 + -375. Let h = 165 - g. Is 13 a factor of h?
False
Let q be (-276 + -1 - -7) + 3. Let w = q + 326. Is w a multiple of 28?
False
Let s(g) = 326*g + 1069. Let u be s(-4). Suppose -1081 = -3*h + 131. Let r = h + u. Does 13 divide r?
True
Suppose -6 = 4*g - 2. Let x be (g - 21/9)*(-9)/2. Suppose -q + d + 95 = 0, -2*d + x = -7*d. Does 23 divide q?
True
Let c(q) = -3*q + 20. Let g be c(6). Suppose -2*z + 155 = b, -g*z + 320 = 3*b - b. Does 36 divide b?
False
Let m(p) = 2*p**3 + 11*p**2 - 9*p - 4. Let n be m(-6). Let u(y) = 7*y - 84. Is u(n) a multiple of 8?
False
Let x(u) = 92*u**3 + 25*u**2 + 4*u - 34. Is x(4) a multiple of 60?
False
Let r(f) = 35*f**3 + 2*f**2 + 4*f - 5. Let g be r(2). Suppose s - 85 = -m + 194, -s - 4*m + g = 0. Is 11 a factor of s?
True
Let w = 0 + 3. Suppose -3*y - 5*v + 32 = 0, -w*v + 4 = -4*y + 2*v. Suppose 139 = y*n + 2*m - 221, 0 = 2*n + 5*m - 172. Does 15 divide n?
False
Suppose 2*a + 5*y + 98 = 0, 1 + 93 = -2*a - 3*y. Let c = 61 + a. Let o = c + 37. Is 6 a factor of o?
True
Suppose 12 = 4*x + 56. Let s(i) = -i**3 - 10*i**2 + 10*i - 3. Let y be s(x). Is (-1)/2 + 140/y a multiple of 3?
False
Let w = 4 + 0. Suppose -w*n + 7*n - 12 = 0. Suppose 9*t = n*t + 460. Is 23 a factor of t?
True
Let b be 12/27*3*9. Suppose b = 3*y, -