. Let h = 603 + u. Suppose -d = i - h, d = 2*d - 3*i - 226. Is 14 a factor of d?
True
Does 39 divide 2*687*(-4)/6*(-624)/64?
True
Suppose -42*t = -190*t + 103*t + 35055. Does 41 divide t?
True
Let t = 7459 - -2621. Is t a multiple of 280?
True
Let h(l) = -5*l + 2*l - 16 - l. Let r be h(-5). Is 42 a factor of (1 + r)*(4 + (-424)/(-20))?
True
Is 10 a factor of 16259 + (19 - 21) + 8?
False
Let p(a) = -a**3 + 9*a**2 - 5*a + 3. Let d be p(8). Let l = 25 + d. Suppose 0 = -l*i + 54*i - 86. Is 13 a factor of i?
False
Let f = 719 - 726. Let t(m) = -2 - 2 + 1 - 5*m. Does 12 divide t(f)?
False
Suppose 4*o - 1443 = -5*q + 153, -3*q = -o + 382. Is 2 a factor of o?
True
Suppose 721*y = 725*y + 728. Let m = 524 + y. Is m a multiple of 9?
True
Suppose 2*d = 5*k + 4115, 245*k - 4091 = -2*d + 242*k. Does 10 divide d?
True
Let p be 23/6 - 14/(-84). Suppose 191 + 81 = p*o + 2*k, -o + 68 = 2*k. Is o a multiple of 17?
True
Let i be (-1)/(-5*4/4320). Suppose i = o + 2*f, 2*o + 2*f = 503 - 67. Does 55 divide o?
True
Suppose -2*v - 4*g = 22, 3*g + 11 = v + 27. Let i = v - -32. Let c = 39 - i. Does 10 divide c?
True
Let r be 4/(-38) - 10/((-1140)/(-37494)). Let o = -303 - r. Is o a multiple of 10?
False
Let j(l) = l**2 + 5*l - 22. Let c be j(-8). Suppose -6*f + c*p + 560 = -2*f, -2*p = -f + 143. Is f a multiple of 28?
False
Suppose -90*o + 20932 = -89*o - z, -4*o = -z - 83737. Does 79 divide o?
True
Let c = 4672 + -1060. Is c a multiple of 12?
True
Let n(j) = 178*j**2 + 31*j - 203. Is 134 a factor of n(-9)?
True
Let s = 234 - 212. Suppose 772 = s*b - 1868. Is 7 a factor of b?
False
Let h(f) = -2*f**2 + 3*f + 70. Suppose 8*o = 51*o. Does 7 divide h(o)?
True
Let r be (24/120 + (-12)/10)*-5. Suppose l - 2260 = -r*j, 20*l - 431 = -j + 24*l. Does 41 divide j?
True
Suppose -35*m - 1890 = -30*m. Let a = 613 + m. Is 39 a factor of a?
False
Let z(l) = 39*l**2 - 21*l + 234. Does 24 divide z(6)?
True
Let u(w) be the first derivative of -1475*w**4/4 - 11*w**3/3 - 11*w**2/2 - w + 262. Is 44 a factor of u(-1)?
False
Let i = 4005 + -2834. Is 78 a factor of i?
False
Suppose 20 + 44 = 4*d. Let n = d - 12. Is 15 a factor of (6/n)/(7/140)?
True
Let l(d) = -45*d - 3240. Is 9 a factor of l(-76)?
True
Let i be 2 - (70/(-30))/(1/78). Let v be (-3)/((-24)/4)*16. Suppose -v*f = -216 - i. Is 10 a factor of f?
True
Let t(d) = 11*d**3 - 11*d**2 + 17*d + 26. Is 68 a factor of t(5)?
False
Let i be (22/(-4))/(3/(-420)*-5). Let t = 467 + i. Does 53 divide t?
False
Let t(n) = 1160*n - 870. Is 29 a factor of t(20)?
True
Let y = 36 + -33. Does 57 divide (((-6)/y)/(-6))/(2/1026)?
True
Suppose -512 = 27*k - 35*k. Let t = 181 - k. Does 13 divide t?
True
Let m be (3 + 6 - 6)*1. Suppose -5*a - m*y - 382 = -2197, -5*a + 1795 = -y. Is a a multiple of 45?
True
Let n = -849 - -1562. Suppose 3*a - 2*b = n, -3*a + 3*b + 565 + 152 = 0. Is a a multiple of 15?
False
Let f(o) = 102*o**2 - 368*o + 6514. Is 8 a factor of f(18)?
False
Suppose 40*b - c + 86981 = 43*b, 5*b = -c + 144973. Is 267 a factor of b?
False
Suppose -5*t + 3*a + 1825 = 0, 2*t + 1825 = 7*t + 3*a. Is 2 a factor of t?
False
Suppose -5*p + 1949 = -2611. Let d be ((-22)/2)/(2728/p - 3). Suppose z = -5*z + d. Does 19 divide z?
True
Suppose 17*a = 12*a + 5. Suppose 0*x - 3*x = -210. Is 3*1/a + x a multiple of 10?
False
Let h(s) = -s**3 + s**2 - 1. Let a(g) = -2*g**2 + 4*g + 2. Let f(v) = a(v) + 3*h(v). Is f(-4) a multiple of 5?
False
Suppose 4*m - m = 2*l - 21566, 5*l - 53915 = m. Is l a multiple of 41?
True
Let a(s) = 2*s**2 - 20*s - 15. Suppose 0 = -o + 5*y + 19, -4*o + 2*y - 6*y = -52. Is a(o) a multiple of 16?
False
Let x(h) = h + 103. Let q(u) = 4*u - 22. Let c be q(7). Does 3 divide x(c)?
False
Suppose -2*h = t - 142502, -t - 29585 = -h + 41672. Does 27 divide h?
True
Suppose -11*g = 23*g - 20230. Is -2*g/(-40)*(28 + 4) a multiple of 54?
False
Suppose -b + 35010 = 2*l, -263*b = -258*b - l - 175094. Is b a multiple of 43?
False
Let c(f) = f**2 - 3*f - 2. Let p = 110 + -113. Let t be c(p). Let h(y) = 23*y - 67. Does 27 divide h(t)?
False
Does 113 divide (-37)/((-370)/60) + 216104/8?
False
Suppose 4*u - u = -3*o - 492, -653 = 4*u + o. Let k = u - -316. Is 17 a factor of k?
True
Let d be (84/(-24))/(1/(-2)). Let z(j) = 4*j - 20. Let l be z(d). Is (-2)/(-3)*168/l a multiple of 3?
False
Let v(s) = 2*s + 21. Let p(n) = n**3 + 9*n**2 + 9*n - 1. Let k be p(-8). Let g be v(k). Is 123 + (g + -2)/1 a multiple of 44?
False
Suppose 20*m - 189066 + 51086 = 0. Suppose -m = 26*q - 18937. Is 31 a factor of q?
False
Let u = 917 + 1373. Suppose -3*t + 3*m + 3*m = -1350, -u = -5*t + 2*m. Is 18 a factor of t?
False
Let v be (-5433)/(-21) + (-2)/(-7). Suppose -5*g = -a - v, -4*g + 254 = -a + 46. Is g a multiple of 20?
False
Let v be (-281940)/(-102) - 4/34. Suppose 3*b + 2*o - v = 158, -2*o + 6 = 0. Is 108 a factor of b?
True
Let i be ((-2)/(16/(-14)))/(195/25740). Is 7 a factor of 2/4*i*302/453?
True
Let f = 1496 - 1481. Let d(j) be the third derivative of -j**6/120 + 17*j**5/60 - 2*j**4/3 + 23*j**3/3 - j**2. Does 41 divide d(f)?
False
Suppose -126*t + 3825800 + 1030150 = 72*t. Is 81 a factor of t?
False
Let d = -101 - -180. Let c = d - 43. Is 6 a factor of c?
True
Suppose -18*j + 3*j = -330789 + 1839. Is j a multiple of 51?
True
Suppose 589*d - 4*t - 12333 = 588*d, 5*t + 49299 = 4*d. Does 25 divide d?
False
Let r(o) = 4*o**2 - 16*o - 17. Let h be (45/(-10))/3*20/(-3). Is r(h) a multiple of 14?
False
Suppose -8*w + 17240 + 41703 - 6647 = 0. Is w a multiple of 68?
False
Let q(y) = 6*y**2 - 36*y - 228. Let x be q(-7). Suppose -x + 11143 = 25*m. Is 43 a factor of m?
False
Let t(v) = -3*v**2 - 10*v**2 - 4*v**2 - 4 - 14*v + 21*v**2 - 5*v**2. Suppose 4*i = 3 - 51. Does 10 divide t(i)?
True
Let f = 22536 + 3204. Does 143 divide f?
True
Let s = 32 - 28. Suppose -2*u - 1948 = -5*k - 545, -1128 = -s*k + 3*u. Is k a multiple of 30?
False
Let g = 1037 + -494. Suppose g = 5*r + 3*a - 36, -r + 102 = -4*a. Is r a multiple of 6?
True
Let y(c) = 1337*c**2 - 263*c - 1. Is 21 a factor of y(8)?
False
Let o be (1 - 9)*(-60)/96. Suppose 8*p + 1690 = 13*p + o*k, 2*p - 678 = -4*k. Does 40 divide p?
False
Let d(h) = 2*h**2 + 2*h - 16. Let t be (24/10)/(3/10) - 1. Is 59 a factor of d(t)?
False
Let j(b) be the first derivative of 2*b**3/3 - 40*b**2 - 42*b + 329. Is 24 a factor of j(45)?
True
Suppose g = -2, 2*a - 5*g + 2 = 4*a. Suppose -a*m = -0 - 18. Suppose -86 = -4*c + 2*s, -c - m*s = -0*s - 25. Is c a multiple of 3?
False
Suppose 14 = 8*r - 10. Let v(o) = -o**3 + 3*o**2 + 4*o - 3. Is 5 a factor of v(r)?
False
Let y(u) = -u - 1. Let j(r) = 7*r + 1. Let h(m) = -j(m) - 5*y(m). Let x be h(3). Is 2 a factor of 3 + (7 - (-8)/x)?
True
Let c be 129/(-4)*(-2 - 22). Let b be ((-142)/213)/(2/6). Does 5 divide (b/(-4) + 1)/(27/c)?
False
Let t(g) be the first derivative of g**5/20 - 5*g**4/12 + g**3/6 - 6*g**2 + 18*g + 26. Let a(b) be the first derivative of t(b). Does 15 divide a(6)?
True
Let s(l) = 3*l + 9. Let q(w) = -4*w - 3. Let p(n) = -n - 1. Let k(a) = -20*p(a) + 4*q(a). Let b(c) = -4*k(c) + 5*s(c). Is 4 a factor of b(5)?
True
Let b = -12 + -182. Let h = b + 205. Is h a multiple of 11?
True
Suppose 11 = -2*k + 3*t, -4*k + 3*t - 8 = -1. Let a(q) = -q + q + 2 + k*q. Is 4 a factor of a(3)?
True
Suppose -68*k = -71*k - 5*d + 15110, -2*k = -4*d - 10088. Does 3 divide k?
True
Suppose -8296*j - 1255824 = -8368*j. Is 34 a factor of j?
True
Let o be 14/(-4)*32/(-56) - 2. Suppose o = -w + 3*g - 583, -3*w + 0*g - 1782 = 2*g. Does 8 divide w/(-14) - ((-51)/(-7) + -7)?
False
Suppose 2*j - 2 = 4*d, -3*d + 5*j = -d - 19. Does 5 divide ((-873)/d)/1 - (-15 - -11)?
True
Let b be 10/4*20/10. Suppose 4*l = z + 1761, b*z - 1756 = -4*l + z. Suppose -v - 80 = -4*x + 272, -l = -5*x + 2*v. Is 15 a factor of x?
False
Suppose 4 - 8 = 2*l. Let i be (3 - (l - -7)) + 3. Is 33 a factor of i*(146/3)/((-28)/(-42))?
False
Let q be (8/3)/(5/15). Suppose 635 + 1661 = q*s. Suppose -2*v - 8 = 0, 6*t = 3*t + 5*v + s. Is t a multiple of 12?
False
Let o = 529 - 522. Suppose o*y = 258 + 99. Does 3 divide y?
True
Let c(h) = 6*h - 3. Let q be c(4). Let m = q - -110. Does 3 divide m?
False
Let t = -685 + 158. Let q = -419 - t. Does 18 divide q?
True
Let g be (-2 - -3)*45/5 + -1. Suppose 5*p = g*p + 261. Let n = p + 167. Does 10 divide n?
T