= -w**3 + 22*w**2 + 49*w - 47. Let h be n(20). Suppose 16*k + 1297 = 3*o + 11*k, -4*o + 3*k = -h. Does 14 divide o?
True
Suppose 0 = -f - 103 - 359. Let s = 921 + f. Is s a multiple of 9?
True
Let n = -9422 + 9682. Is n a multiple of 20?
True
Let r = 6220 - 6070. Does 15 divide r?
True
Suppose 0 = -5*d + 3*k + 1477, 0 = d - 32*k + 31*k - 297. Suppose 4*u = -3*p + 225, -3*u + d = p + 3*p. Does 22 divide p?
False
Let p = 15349 - 5984. Is 15 a factor of p?
False
Suppose -30*t + 3*i + 828355 = 4*i, 55229 = 2*t - i. Is t a multiple of 9?
True
Suppose 14*y = 182*y - 1138200. Does 5 divide y?
True
Let h = -170 - -240. Suppose 0 = -6*x - h + 16. Does 18 divide (-6)/(-9) - 12/x*37?
False
Let u(c) = 6*c + 59. Let w be u(-12). Is 5 a factor of 92/(-7)*(w + 6)?
False
Let s(l) = -l**3 + 40*l**2 - 322*l + 200. Is 7 a factor of s(28)?
False
Suppose 98*r - 102*r + 4*h + 60496 = 0, -4*r + 60492 = -3*h. Does 43 divide r?
False
Let k(i) = -35*i - 51. Let h(t) = t**3 - 8*t**2 - 8*t - 19. Let l be h(9). Is k(l) a multiple of 19?
False
Suppose -4*h = -8*h - 164. Let z be (h/2)/(8/(-32)). Let b = 123 - z. Is 6 a factor of b?
False
Let p(a) = 8*a**2 + 25*a - 381. Is p(-24) a multiple of 15?
False
Suppose -n - 5*f + 3218 = 0, 2*n - 4719 = 2*f + 1717. Is 2 a factor of n?
True
Let u = 122 + -84. Does 49 divide (-1 + 0)/(u/(-11172))?
True
Suppose 0 = -6*x - 24 + 66. Is (-4)/x - (10 + 15300/(-70)) a multiple of 26?
True
Let i(z) = 104*z**2 + 58*z - 294. Does 43 divide i(5)?
False
Suppose 311 = -5*y - 2*f, -y - 6*f = -7*f + 65. Suppose -s - 435 = -6*s. Let m = s + y. Is m a multiple of 8?
True
Suppose -4*z = -4*t - t + 137, 5*t = -z - 28. Suppose 39 = 17*f - 14*f. Let s = f - z. Is 40 a factor of s?
False
Let p = 284 - 279. Suppose 2*x = -3*w + 438, 4*w - 872 = -p*x + x. Does 36 divide x?
True
Suppose -61 = -t - r, 4*r + 2 = 5*r. Let x(l) = -5*l + l**2 - 2*l - t + 20 + 30. Is 6 a factor of x(-6)?
False
Suppose 0 = -99*h - 140327 + 986876. Is h a multiple of 84?
False
Suppose 3*a = -12, -a + 3*a + 40 = 4*c. Suppose 4*q - 8 = y, -4*q - c = -4*y - y. Suppose -2*n + 35 + q = 0. Is n a multiple of 2?
False
Let u(l) = l**3 + 5*l**2 + 3*l - 1. Let v be u(-4). Suppose 28 + 10 = -5*d + h, 0 = -3*d - v*h - 30. Does 2 divide (-2)/(-2) + (2 - d)?
False
Suppose -16*j + 3432 = 23*j. Is 2882/6 - (4 + j/(-24)) a multiple of 32?
True
Suppose 3*i = -18 + 3, 0 = -2*w + 5*i + 35. Suppose -2*o = -5*s + 67, -w*s + 83 = 5*o - 3*o. Is s even?
False
Suppose 0 = -d + 2*o - 113, 255 = -5*d + 3*o - 303. Suppose -79*s + 15456 = -12*s + 2*s. Let q = d + s. Does 14 divide q?
False
Suppose 0 = -14396*c + 14372*c + 694800. Is c a multiple of 75?
True
Suppose 20 = 3*w - 16. Let b = w + -5. Suppose -2*q + 1107 = b*q. Is 41 a factor of q?
True
Let c(x) = 29*x**2 + 45*x - 43. Does 20 divide c(13)?
False
Let y = -101 - -97. Is 21 a factor of (1617/44)/(3 - (-11)/y)?
True
Let f = 9253 + -5103. Is f a multiple of 6?
False
Let f(m) = -18*m + 54. Let r be 0 + 3 + -6 + -8. Let d be f(r). Suppose -10*c = 2*c - d. Is 4 a factor of c?
False
Suppose -3*i + 0 = 3, 2*n + 5*i = 21. Let g = n + -29. Does 38 divide ((-536)/7)/(-2) + g/56?
True
Suppose -18*g = 13*g - 9269. Is g a multiple of 3?
False
Suppose 0 = 135*v + 42*v - 271872. Does 48 divide v?
True
Suppose -96024 = -16*x - 24202 + 118706. Is 91 a factor of x?
False
Let d = -10 + 13. Suppose -d*q + 405 = 3*y, -203 = 4*y - 3*q - 757. Suppose y = -8*f + 9*f. Is f a multiple of 19?
False
Let g be (18/5)/(-2 - (-51)/30). Is 19 a factor of (0 - g)/(-11 + (-5226)/(-474))?
False
Suppose 3*q - 3*u - 1776 = 0, 1066*q - u = 1070*q - 2398. Is 174 a factor of q?
False
Let q = 654 + -292. Let p = q + -40. Is 14 a factor of p?
True
Suppose 7*y = 5*y + 8, 2*l - 2*y - 14258 = 0. Is 11 a factor of l?
False
Let y = -399 - -1323. Suppose -17*m + 5*m = -y. Is m a multiple of 3?
False
Suppose -98 = 11*p - 824. Suppose -p = -2*n + 16. Is n a multiple of 3?
False
Suppose -v = -3*d + 1113, -4*d + 1500 = 15*v - 11*v. Let z = 672 - d. Does 10 divide z?
True
Let b(n) = 276*n + 14. Let o be b(-2). Let j = o - -591. Does 4 divide j?
False
Suppose 5*m - 5*h + 10 = 0, -2*m - 1 = h - 9. Suppose -18 = -j - m. Does 10 divide j/(-10)*(-3 + 357/(-6))?
True
Suppose -2*d + 7878 = -3*r, r = -7 + 11. Is d a multiple of 15?
True
Let i(p) = -p**3 + 6*p**2 - 9*p - 1. Let o be i(4). Let k(q) = q**2 + q - 21. Let a be k(o). Let s(y) = 37*y**2 + 8*y + 8. Is s(a) a multiple of 23?
False
Let w(v) = -v**3 - 9*v**2 + 6*v + 10. Let d be w(-9). Let k = -44 - d. Does 3 divide 38/(-8)*((-2 - k) + -2)?
False
Let s(u) = -14*u**2 - 18*u + 118. Let m(c) = 6*c**2 + 9*c - 60. Let w(a) = 5*m(a) + 2*s(a). Is w(6) even?
True
Let s(r) = -r**2 + 18*r + 16. Let b be (0 - -1)/(2/34). Let l = 30 - b. Does 19 divide s(l)?
False
Let t = -15744 - -17098. Is t a multiple of 3?
False
Let j(l) = 7 + 5 - 3*l + 7*l + 4*l. Let z be j(6). Let o = 104 - z. Is 22 a factor of o?
True
Suppose -5*g - 4*y + 45 = 0, 5*g - 5*y + 3*y = 15. Let r(d) = 3*d + 32 + g + 18 + 7. Is r(14) a multiple of 14?
False
Suppose -20998*k = -21016*k + 360846. Is k a multiple of 21?
False
Suppose s = 5*n + 6*s + 215, -n - 38 = -4*s. Let x = n + 135. Let d = 210 - x. Is d a multiple of 27?
False
Let s(p) be the third derivative of p**6/120 + 13*p**5/60 + 31*p**4/24 + 7*p**3/3 - 5*p**2. Is 4 a factor of s(-10)?
True
Let m = -374 - -380. Suppose 0 = m*s - 2*s + u - 324, s - 4*u - 81 = 0. Does 27 divide s?
True
Suppose -604212 = 65*t - 1222617 - 1148750. Is t a multiple of 29?
False
Let p = 462 - 327. Let n = -22 + p. Is n a multiple of 68?
False
Suppose -2*r - 29 = -21. Let j be (-105)/(-70) + ((-2)/r)/1. Suppose y - 56 = j*f, -4*y + 272 = -0*f + 4*f. Does 22 divide y?
False
Suppose 3*y - i - 34430 = 3*i, -5*y + 57335 = 3*i. Is 132 a factor of y?
False
Let u = 939 - 478. Let r = u - 401. Does 3 divide r?
True
Suppose -109*w - 94076 = -138*w. Is 65 a factor of w?
False
Is 30 a factor of 27*(4 - 80/(-30))?
True
Let j(d) = d + 18. Let h(x) = -7*x - 7. Let q be h(-7). Suppose 31*a - 28*a = q. Does 17 divide j(a)?
False
Suppose 37 = -10*x + 167. Suppose -x*g - 26 = -14*g. Suppose g*z - 468 = 20*z. Is z a multiple of 26?
True
Let z = 879 + -705. Is z a multiple of 3?
True
Is 186 a factor of 130/(-13) + (-104)/(-12) + (-184634)/(-6)?
False
Suppose 2*n - 58 = -a - 3*a, -a - 3*n + 22 = 0. Suppose -116 = -3*g - 2*m, g - 46 = 19*m - 16*m. Let z = g + a. Is z a multiple of 19?
False
Suppose 61*i + 5*i = 0. Let m = -1830 - 604. Does 33 divide (-1 + i)/(-7 + m/(-348))?
False
Is 8 a factor of (6 + -310)/8*-120?
True
Suppose -22*c = -33*c + 230675 - 78369. Is c a multiple of 14?
True
Let v = -134 - -95. Let f = -187 - v. Let t = 303 + f. Is t a multiple of 31?
True
Let p(n) = -122*n - 732. Let v be p(-6). Let o = 558 - 830. Does 23 divide (-76)/(-57) - (o/3 + v)?
True
Let h be (-2)/(-2) + (-12)/30*-5. Suppose 696 = 2*m - 5*f + 8*f, h*f - 1758 = -5*m. Is m a multiple of 17?
False
Let o be 21*70/5*1. Suppose 0 = -2*c + o + 972. Is c a multiple of 10?
False
Let o(l) = -2*l**2 - 17*l - 15. Let z be o(-6). Suppose 2076 = -z*s + 6591. Is s a multiple of 43?
True
Let r = -3819 + 8730. Does 132 divide r?
False
Let u(q) = -q**3 + 6*q**2 + 17*q - 8. Let v be u(8). Let m be 5 + (v - (-8)/(-1)). Is m - -4 - 1*-53*1 a multiple of 12?
False
Let w(s) = 2*s**2 + 5*s - 20. Let f be w(-5). Suppose 10*t - 1590 = f*t. Does 9 divide t/9 + (-2)/(-3)?
True
Let i(u) be the first derivative of 12*u**4 + u**3/3 + u - 7. Does 10 divide i(1)?
True
Suppose q = -12 + 13. Suppose -h + 4*l - 2 - q = 0, -2*h = -4*l - 6. Does 8 divide -12*(1 + (-3 - 12/h))?
True
Let m be (3/12)/(2/24). Is (-1)/m + 8160/45 a multiple of 20?
False
Let m be ((-3)/(-2) - 2)*22. Let i = m - -42. Let v = i - 23. Is 3 a factor of v?
False
Let m be (((-66)/5)/(-1))/((-27)/90). Let j = m + 50. Does 4 divide (8/j)/(22/33) + 9?
False
Let p be 46 - 0/1 - (-1 - -2). Suppose 489 + p = a. Is a a multiple of 57?
False
Let i = 19373 - 10508. Is 9 a factor of i?
True
Let j = -19 - -64. Let z be 11/(-4)*-116 - 8. Suppose -v = -z + j. Is v a multiple of 19?
True
Let t be -2 + 282/(-3) + 2. Let a = 2 + t. Is a/(-115)*(61 + -1) a multiple of 12?
True
Let s = -1353 + 4924. Is s a multiple of 14?
False
Suppose 2*r + 1 - 5 = -5*n, -8 = -4*r - 5*n. Let m = 13