 r = z - -124. Does 27 divide r?
True
Let x = -1528 + 2703. Does 28 divide x?
False
Let v be 6/(-4) - 3/(30/(-35)). Suppose v*b + 2 = -l, 3*b = 5*l - 6*l - 4. Suppose a - 66 = -l*z - 11, -4*z + 106 = -2*a. Does 14 divide z?
False
Suppose 2321 - 705 = -4*k. Let y = k + 608. Does 6 divide y?
True
Suppose 369235 = -68*r + 416579 + 659040. Does 14 divide r?
True
Let j be (-873)/(-27) + (-10)/(-6). Suppose -47*o + j*o + 11921 = 0. Does 31 divide o?
False
Suppose 95*x - 100*x - 5 = 0, 2*c - 8333 = x. Is 85 a factor of c?
False
Let z(d) = 16*d**2 + 19*d - 359. Does 54 divide z(-17)?
True
Let c = -5732 + 13935. Is 27 a factor of c?
False
Let k(z) = 5*z**3 + 46*z**2 + 18*z + 32. Does 20 divide k(8)?
True
Suppose 286*p - 536124 + 587378 = 1514144. Does 8 divide p?
False
Suppose 5365 - 14365 = -40*o. Suppose -10116 = -o*j + 216*j. Does 25 divide j?
False
Let s = 17715 - 2091. Is s a multiple of 104?
False
Suppose f = -w + 4*w - 15, w - f = 5. Suppose -w*m + 5 + 0 = 0, 0 = -3*o - 4*m + 784. Is 10 a factor of o?
True
Suppose 0*b - 309070 - 2269358 = -134*b. Is 159 a factor of b?
False
Is 123 a factor of (186/(-155))/((-2)/7585)?
True
Let h(t) = t**3 - 7*t**2 + 10*t + 3. Let r be h(5). Suppose 0 = -r*n + 1081 + 704. Suppose 35 + n = 6*y. Does 15 divide y?
True
Let d = 190 - 522. Let n = -272 - d. Does 30 divide n?
True
Let p(w) = -19249*w + 644. Is p(-1) a multiple of 257?
False
Suppose 2*f - 630 = -3*m + 708, 0 = m + 4*f - 446. Suppose 2*r - 8*b + 6*b = -380, 0 = 5*b - 20. Let d = m + r. Is 25 a factor of d?
False
Let i(m) = 12*m**2 - 3*m - 23. Does 31 divide i(-21)?
True
Is 10 a factor of ((-15)/(-12))/(25/(-10))*-8520?
True
Let v = 12534 + -3819. Is 38 a factor of v?
False
Let l = 35 + -33. Suppose -l*i - 2 = -i. Is -2*(i + 12/8) + 69 a multiple of 26?
False
Let z = -2 + 19. Suppose 4*d - 5*q = 57, 0*d = -4*d - 3*q + z. Suppose 728 = d*s - 1312. Is s a multiple of 34?
False
Let t(f) be the third derivative of 115*f**4/24 - 14*f**2. Let z be t(2). Suppose z = 5*a - 5*w, 5*w - 111 - 9 = -2*a. Is a a multiple of 12?
False
Is (-1)/(((-2)/(-9904))/(12/(-8))) a multiple of 81?
False
Is 42 a factor of ((-106)/10 + 1)/((-1543)/594055)?
True
Let c(f) = f**3 - 3*f**2 + 4*f - 1. Let g = 11 - 9. Let d(j) = -j**3 + 2*j**2 - 4*j + 1. Let s(h) = g*d(h) + 3*c(h). Is 11 a factor of s(5)?
False
Let u = -4 + -24. Let a(f) = -11*f + 202. Let g be a(14). Let h = u + g. Does 20 divide h?
True
Suppose -3*w - 51 + 66 = 0. Suppose 10*c = 5*c - 2*h + 992, 0 = c + w*h - 203. Is 45 a factor of c?
False
Let l be (-39)/7 + 90/(-210). Let s(y) = -y**2 - 40*y + 10. Does 10 divide s(l)?
False
Is 14 a factor of (0 - 3/(-9))*(943 + 107)?
True
Let f be ((-4147)/26)/((-2)/(-4)). Suppose -922 = 2*p - 2*l, 3*p - 3*l = 8*p + 2273. Let g = f - p. Is 13 a factor of g?
False
Let s = -12945 + 55001. Is 51 a factor of s?
False
Let l(a) = 46*a**2 + 14*a + 19. Let v be l(-3). Let f = v - -212. Is f a multiple of 53?
False
Let p = -2346 - -1510. Let y = p + 1406. Is y a multiple of 14?
False
Let l(g) = 7*g**3 + g**2 + g + 1. Let y be ((-6)/12)/((-2)/(-4)). Let b be l(y). Does 6 divide (b - 25)*(-2*1 - -1)?
False
Suppose -4*w - 100 = -2*k + 386, -5*w - k = 590. Let a = 449 + w. Is 18 a factor of a?
False
Suppose 664*s - 660*s - 4*n - 7424 = 0, 0 = -2*s - n + 3730. Is 49 a factor of s?
True
Is 5 a factor of (-377832)/(-630) - (-24)/90?
True
Suppose 10*l + 2 = 32. Let p(r) = -l + 6 - r**3 + 3*r + 4*r**2 - r. Is 14 a factor of p(-4)?
False
Suppose -12*z = 9*z - 15351. Let k = 1121 - z. Is k a multiple of 51?
False
Let y = -8012 - -13932. Is y a multiple of 10?
True
Let k = 8504 + -3086. Is k a multiple of 63?
True
Is (-761)/(-1 - 0) + (-6)/6 a multiple of 19?
True
Suppose -5*j + 5 = 0, -3*g + 33018 = j - 7183. Is g a multiple of 20?
True
Suppose -3*p - 35*h = -30*h + 366, -3*h = -5*p - 576. Is 117/p*175/(-1) a multiple of 6?
False
Suppose -6*v + 0*v = -0*v. Suppose v = -p - 5*c + 160, 5*p - p - 755 = 3*c. Does 5 divide p?
True
Let l = -83 - -88. Suppose 8*p = l*p + 588. Does 14 divide p?
True
Suppose -q = -8*q + 217. Suppose q*j = 7*j + 4104. Is 9 a factor of j?
True
Let o(q) = 1434*q - 189. Does 29 divide o(4)?
False
Let r(v) = 4*v**2 + 15*v + 4. Let w be r(-8). Suppose -8*a = -a - w. Let d = a + -11. Is 3 a factor of d?
True
Suppose -48 + 18 = 5*x - 3*t, -4*x + t - 24 = 0. Let b(q) = -44*q - 40. Does 14 divide b(x)?
True
Let t(g) = 2*g - 15. Let u be t(10). Suppose 110 = 5*f + u*s, -s - 30 = 4*f - 106. Suppose -f*k = -26*k + 1760. Is 44 a factor of k?
True
Suppose 4*l + 38 - 58 = 0. Suppose -3801 = -4*q + l*x, 0 = 4*x + 21 - 17. Does 25 divide q?
False
Let g = -191 - -334. Suppose g = p - 498. Let l = p + -437. Is l a multiple of 46?
False
Let k(c) = -c**3 - c**2 + 11*c + 8. Let d(a) = -a**2 - a - 2. Let o(s) = -2*d(s) - k(s). Does 3 divide o(4)?
True
Suppose -2*v + 26 = 4*s, -4*v = 2*s - 3*s - 16. Does 6 divide 11/55 + 94/v?
False
Let o(k) = -4*k - 8*k**2 + 12 - k**3 - 5*k - 11*k. Suppose 0 = -2*d + 22*d + 140. Is o(d) a multiple of 7?
False
Let m(x) = 381*x**2 + 156*x - 468. Does 9 divide m(3)?
True
Let k(r) be the first derivative of -r**7/840 - r**6/45 + 7*r**5/60 - 13*r**3/3 - 2. Let s(d) be the third derivative of k(d). Does 9 divide s(-10)?
False
Does 240 divide 22746 + (3 - 5 - (-414)/46)?
False
Let z = -748 - 249. Let y = 1843 + z. Is 2 a factor of 2/(-8) + y/24?
False
Let n = 490 + -495. Is 25*116/(9 + n) a multiple of 29?
True
Let l(o) = 5*o + 53. Let s be l(-8). Suppose -s*g = -0*g - 1118. Is 15 a factor of g?
False
Suppose -4*o + 2*j + 1006 = 280, -2*j + 714 = 4*o. Suppose -p + 6 + 5 = 3*q, -4*q + 2 = -5*p. Suppose 3*h = -p*h + o. Is 18 a factor of h?
True
Let j(y) = 267*y + 24. Let t be j(21). Let h = t + -10863. Does 18 divide (-12)/(-18) + (h/9)/(-4)?
False
Let b(v) = 4*v**3 + 46*v**2 - 2*v - 103. Let l(i) = -3*i**3 - 31*i**2 + i + 69. Let f(w) = -5*b(w) - 7*l(w). Does 24 divide f(14)?
False
Let m(n) = 10*n**2 + 8*n**2 + 15*n - 7*n**2 - 29 - 23 + 3*n**3 - 4*n**3. Is m(10) a multiple of 11?
True
Let k = -3437 + 11822. Is k a multiple of 13?
True
Is -5 + 2 - ((-468)/(-15))/13*-2020 a multiple of 95?
True
Suppose 0 = 9*d - b - 349916, -5*b = -5*d + 230031 - 35651. Is d a multiple of 20?
True
Suppose -2*a + 5*i + 152 = 147, -i = -4*a + 1. Suppose 2436 = 3*c + c. Suppose a = 4*b - 51 - c. Is b a multiple of 15?
True
Let w be 4/14 + (-57)/(-21). Let s be 316 + (w - 6 - -1). Suppose -2*h + 1 = -3, -4*i - 5*h + s = 0. Does 27 divide i?
False
Suppose -3*n + 5 = -5*g, -5*n + 60 = -0*g + 2*g. Let k(a) = 29*a - 1. Let u be k(1). Is 34 a factor of 1 + u/n*(1 - -49)?
False
Let k = 35 - 21. Let x be -5 + (-48)/(-9) + k/3. Let t(f) = 7*f**2 - 6*f - 3. Does 12 divide t(x)?
False
Suppose -22*g + 43364 = -148916. Is g a multiple of 46?
True
Suppose 2*q + 60444 = 21*h - 0*h, -5*q = h - 2863. Does 4 divide h?
False
Suppose 3*j = -4*w + 674, w - 4*j = 9 + 169. Suppose w = 4*l - 74. Does 5 divide l?
False
Suppose -3*a - 53 - 403 = -w, -4*w + 4*a + 1848 = 0. Suppose -w*m + 2800 = -460*m. Is 20 a factor of m?
True
Let s = -50 + 65. Let c be 6/(-10) + (1989/s - -4). Let v = c + -51. Is 17 a factor of v?
True
Let o(j) be the second derivative of 5*j**4/12 + 9*j**3/2 - 149*j**2/2 + j - 15. Is 15 a factor of o(7)?
True
Let z(y) = -24*y**3 + 21*y**2 + 125*y - 16. Is 152 a factor of z(-8)?
True
Let c = -20 + 4. Let x be 304 + c/(16/(-4)). Suppose 0 = -6*v + 10*v - x. Is v a multiple of 11?
True
Let g(v) = 6654*v - 19533. Does 9 divide g(5)?
False
Suppose 3*k + 76 + 34 = 2*z, 0 = 3*z - 4*k - 166. Suppose -2*y + 602 + z = 0. Is y a multiple of 30?
True
Let y be ((-4)/8)/((-2)/(-8)) + 393. Suppose 0*p + 5*p - 975 = -5*m, -p = 2*m - y. Does 7 divide m?
True
Let j = -12999 - -19803. Suppose 3*n - j = -4*n. Is n a multiple of 13?
False
Suppose 3*m - 23*m + 40 = 0. Suppose 6*q - 5*y = 2*q + 81, -y = m*q - 23. Is q a multiple of 8?
False
Let v = 409 - 406. Suppose v*k - 1648 = 5*q, 0 = -3*k - 5*q + 711 + 917. Is k a multiple of 42?
True
Let f(l) = -l**3 - 23*l**2 + 65*l - 103. Is 201 a factor of f(-35)?
False
Suppose -2*l + 7 = -5*r - 3, -3*r = 5*l + 37. Let m be (-1)/3 + l/(-15). Suppose m = 2*n - 3*u - 2*u - 247, -2*u = -n + 121. Is n a multiple of 37?
True
Suppose -17 + 1 = -4*t. Suppose -2 = t*c - 14. Suppose 5*y - 1