s 8 divide f?
True
Let h be 30/(-35) + 4875/(-21). Let t = h - -308. Is t a multiple of 25?
True
Suppose 2*w = -3*s - w + 1626, -3*w = 4*s - 2163. Let m be (370/3)/((-1)/3). Let u = s + m. Is u a multiple of 22?
False
Let k = 3403 + -1322. Let a(u) = k + 4*u - 18*u - 2061. Is 10 a factor of a(-5)?
True
Suppose b = -2*q + 5304, -3*b + 23 - 11 = 0. Is 24 a factor of q?
False
Is 13 a factor of (-65768)/(-18) + 0 + (-326)/(-1467)?
False
Is 55 a factor of 4696100/700 - (-18)/14?
True
Let v(m) = -20123*m - 36. Is 38 a factor of v(-1)?
False
Suppose -8*j = 90*j - 16*j - 105206. Does 3 divide j?
False
Let z = -137496 + 40848. Does 25 divide ((-1)/3)/(7 + z/13806)?
False
Let n(k) = 14*k**2 + 12*k - 447. Does 87 divide n(-33)?
False
Let x(n) = 7*n**3 + 19*n**2 - 74*n + 40. Does 39 divide x(10)?
False
Let m(a) = 10*a**3 + 14. Let v be m(4). Suppose l - 5*i = v, -4*l + l - 5*i = -1922. Is l a multiple of 56?
False
Let i(p) = 3*p**3 - 8*p**2 + 109*p - 13. Is i(23) a multiple of 47?
False
Let n = 8814 - 6615. Is 27 a factor of n?
False
Let x(p) = -p**2. Let y(j) = 7*j**2 - j - 5. Let s(a) = -6*x(a) - 2*y(a). Let t(i) = 24*i**2 - 7*i - 31. Let l(k) = -7*s(k) - 2*t(k). Is l(-2) a multiple of 2?
True
Suppose -s = -4*z - 941, -3*s - 2*z = -2*s - 917. Is 25 a factor of s?
True
Suppose 7 = -f + 11. Suppose -170 = -m + p, f*m = 8*p - 11*p + 666. Is 7 a factor of m?
True
Let q be 1/(1 + -4 - 1236/(-414)). Let z = 49 + q. Does 27 divide (-4)/z + 1/(15/402)?
True
Let o(f) be the third derivative of -f**6/120 + f**5/4 - 7*f**4/6 + 5*f**3/3 - 6*f**2. Let b be o(13). Let t = b + 79. Is t a multiple of 7?
True
Suppose 3*q - 319 = 4*d, 4*q + 5*d - 419 = 4*d. Let c = q + -102. Suppose -c*a = -4*v + 232, 5*v + 0*v + 5*a - 255 = 0. Is 9 a factor of v?
False
Let z(b) = -26*b**3 + b**2 + b + 1. Let y be z(-2). Suppose -494 = -5*i + y. Suppose -4*l = -c + 2*c - 145, -4*l + 3*c = -i. Is 19 a factor of l?
False
Suppose 24*j - 26*j + 760 = 0. Is -21*(4 - j/15) a multiple of 32?
True
Let b(p) = 2*p**2 - p - 2. Let v be b(2). Suppose -3*s + 14 = u + v, 3*s = 5*u - 32. Suppose 0 = -3*z - 2*a + u*a + 410, 0 = -2*z - 5*a + 265. Does 27 divide z?
True
Suppose 83 = -13*n - 8. Let m = 25 - n. Let y = 50 + m. Does 7 divide y?
False
Let l(r) = -2*r**3 + 3*r**2 + 21. Let k(f) = -f**3 + f**2 + 10. Let h(s) = 7*k(s) - 3*l(s). Is 33 a factor of h(-5)?
False
Suppose 0 = 4*g + 325 - 13. Let u = g + 135. Does 5 divide u?
False
Is (-1)/(2/20*6/(-681)) a multiple of 12?
False
Suppose -404377 = 33*b - 52*b. Is b a multiple of 5?
False
Suppose 7*t + 1 = -27. Let z be (-16)/t - 2/2. Suppose 3 = 4*n - 5*q, -6*q + z*q = -n - 8. Is 4 a factor of n?
False
Let z(m) = -m**3 + 38*m**2 + 66*m - 178. Is 155 a factor of z(28)?
False
Let o(l) = -l**3 + 23*l**2 - 17*l + 23. Let g be o(22). Let i = g + -56. Let b = i - 49. Does 7 divide b?
True
Suppose 0 = 629*l - 630*l + 1740 + 2550. Does 39 divide l?
True
Suppose -370 = 5*k - 6*s + s, -3*k - 221 = -4*s. Let m = k + 74. Does 31 divide m/(-5 + (-1238)/(-248))?
True
Suppose 2*u - 5*p - 2 = 0, -44 + 14 = 5*u + 5*p. Let d(o) = 25*o**2 + 13*o + 53. Does 39 divide d(u)?
False
Let a be (-1 - -3)*20/8. Suppose -200 = a*o - 0*o. Does 5 divide 4/10 + (-264)/o + 3?
True
Let q = 10340 + -6318. Is 37 a factor of q?
False
Let u be (3/(-6))/1*(-4 + 0). Does 17 divide (u/(-4))/(-1*5/2150)?
False
Let q = -13099 - -64115. Is 15 a factor of q?
False
Suppose -12450 = -31*w - 1344 + 31519. Does 55 divide w?
True
Let w be (-104)/(-18) - (-2)/9. Let b be 10*(60/(-8) + 8). Does 20 divide 4/b*(-15)/w*-10?
True
Suppose 14*q + 1527 - 15 = 0. Let i = q - -243. Is 7 a factor of i?
False
Suppose 9*o + 182 = 1325. Suppose -u + 461 = 2*r + o, 4*u - 4*r - 1336 = 0. Does 20 divide u?
False
Suppose 7*z - 4323 + 277 = 0. Let w = -56 + z. Is 18 a factor of w?
True
Suppose 10*r - 22 - 28 = 0. Suppose 0 = -3*n - 7*d + 4*d + 90, -74 = -2*n + r*d. Is n a multiple of 4?
True
Suppose -8179 = -110*m + 78 + 14183. Is 6 a factor of m?
True
Suppose -181 - 307 = -4*a. Suppose -2*y + a - 24 = 0. Is 9 a factor of y?
False
Let p(j) = -4*j - 11. Let h be p(-3). Suppose -u - h = -10. Suppose u*f = 37 + 53. Is f a multiple of 4?
False
Suppose 0 = -68*h + 683306 + 1302498. Is 17 a factor of h?
False
Let n(i) = -32*i**2 + 16*i + 12. Let q be n(-7). Let y = 2836 + q. Is 73 a factor of y?
True
Let u(o) = 6*o**2 - 26*o + 2 - 13 + 0 - 1 + 6. Is 12 a factor of u(12)?
False
Suppose 4*f = 145 + 59. Suppose 50*x - f*x + 13 = 0. Let a(h) = -h**3 + 13*h**2 + 11*h + 7. Is a(x) a multiple of 25?
True
Let c(i) be the first derivative of -i**4/2 + 16*i**3/3 - i**2 - i - 223. Does 7 divide c(4)?
True
Let j be 7*19 + (0 - -10) + -7. Suppose 31*k + j = 35*k. Let s = k - 18. Does 8 divide s?
True
Suppose 501 = 7*b - 202 - 4967. Is 30 a factor of b?
True
Let w = 2253 + 20485. Is 77 a factor of w?
False
Let b = 23978 + -16028. Is 106 a factor of b?
True
Is 3 - (-3)/(37534/(-37541) - -1) a multiple of 12?
True
Let j(d) = 3*d + 2. Let f be j(-4). Let a be -1*18/f + 12/60. Suppose -a*o - 4*k + 64 = 0, 3*o + 2*k + 16 = 4*o. Does 15 divide o?
False
Let y be 4/6 + (-395)/45*-3. Let p(d) = -2*d + 37 - 7*d + 4*d**2 - y. Does 13 divide p(5)?
True
Let m = 3749 + -933. Suppose 27*u - m = 3205. Is 5 a factor of u?
False
Let d = -12326 - -12506. Is d a multiple of 11?
False
Let k(p) = -p**3 - 723 + 27*p**2 + 599 + 2*p**2 + 12*p. Does 56 divide k(29)?
True
Suppose -31732 = -5*r - 3*y, -12698 = -2*r + 24*y - 20*y. Does 11 divide r?
True
Let m = 1532 + -842. Let t = m + -570. Is t a multiple of 15?
True
Suppose -61 = -c - x, x - 33 + 32 = 0. Is 61 a factor of ((-732)/(-20))/(12/c)?
True
Let k(i) be the first derivative of i**5/24 - i**4/24 + 4*i**3 - 18. Let y(b) be the third derivative of k(b). Is 19 a factor of y(4)?
True
Suppose 30 = 2*z - 22. Suppose 2*f = 5*g + 17, -10 = -3*f + 4*g + z. Let t = 129 + f. Is t a multiple of 35?
False
Let p = 11281 - 7312. Is p a multiple of 147?
True
Suppose 3*b + 422 = 5*d - 74, 3*d = -4*b - 613. Let x = b + 302. Is x a multiple of 24?
False
Let a(c) = c**3 - 8*c**2 + 11*c - 5. Let u(x) = -7*x**3 + 6*x**2 + 8*x + 3. Let m be u(-1). Is a(m) even?
False
Let s = 688 + -700. Is (-195)/s + (-135)/(-180) a multiple of 14?
False
Let f = -13658 - -15554. Is 8 a factor of f?
True
Is -3 + ((-4)/16)/((-1017545)/113060 + 9) a multiple of 10?
True
Suppose 8*t - 9*t = -39. Let v = t - 43. Is 19 a factor of (((-114)/v)/1)/(3/6)?
True
Let d(c) = 5*c**3 - 3*c**2 - 3*c - 1. Let p be d(-1). Suppose -4*b = 65 - 17. Is 3*p/27*b a multiple of 2?
True
Suppose -9*y + 3117 = w, 2239 = 5*w - 2*y - 13346. Does 270 divide w?
False
Let h = -148 - -151. Suppose 406 = h*j - 50. Let f = -61 + j. Does 25 divide f?
False
Suppose -t - 576 = n, -290 - 2606 = 5*n - 3*t. Let d = 618 + n. Does 3 divide d?
False
Let f = -2272 - -1595. Let y = f + 1155. Is 20 a factor of y?
False
Let k(x) = 10*x**3 + 5*x**2 - x - 8. Suppose -4*t + 32 = -10*s + 6*s, -3*s - 15 = 0. Does 8 divide k(t)?
True
Let k = -49 + 101. Let o(j) = j**3 + 16*j**2 + 5*j + 32. Let p be o(-16). Let a = p + k. Is 2 a factor of a?
True
Suppose 0*r - 4*p = -3*r - 238, 4*r + 326 = p. Let m be -181 - (1/(-2) - 287/82). Let v = r - m. Does 19 divide v?
True
Let c be (-6 - -4) + -1 + 194. Let m(g) = -g**3 - 2*g**2 + 6*g + 7. Let a be m(-6). Let j = c - a. Is 13 a factor of j?
False
Let g = -51 - -70. Suppose -2*f + 3*i - 2*i = -29, 4*i = 20. Suppose 6*v = f + g. Is v even?
True
Let b = 48296 + -17594. Is b a multiple of 14?
True
Suppose -g + 5*d = -14567, -2*g - 5*d + 27 = -29137. Is g a multiple of 105?
False
Let t(a) = -47*a**2 - 4 + 35*a**2 - 2*a + 43*a**2 - a. Suppose 2 = 2*b - 3*b. Is t(b) a multiple of 18?
True
Let k = 101 - 97. Suppose 3*d + 7*a - 737 = 3*a, 0 = k*d - 2*a - 968. Does 27 divide d?
True
Suppose -13*u + 12*u = -1533 - 4768. Is 2 a factor of u?
False
Is 5046 - (-17)/(-102)*-30 a multiple of 16?
False
Let u(s) be the third derivative of -s**5/60 - s**4/8 + 4*s**3/3 + 25*s**2. Let z be u(-4). Suppose l + 2*r = 56, -z*l + 235 = -0*l - 3*r. Is 29 a factor of l?
True
Suppose -3*z - 18018 = -2*g, -2*g + 353*z + 17976 = 357*z. Is g a multiple of 45?
True
Let j(i) = i**3 - 18*i**2 - 11. Let y be j(18). Let h(m) = 2*m**3 + 23*m**2 + 11*m - 2. Let f be h(y). Does 35 divide f/(-10) + 