= 282 - -108. Suppose -n - 4*l + s = -128, 0 = -2*n - 3*l + 1021. Is n a multiple of 46?
True
Suppose 0 = -5*v + 3*a + 6822, 2*v = a + a + 2732. Let i be (-10)/6 + v/18. Suppose 298 = 4*s - h, -4*s + 384 = 5*h + i. Does 33 divide s?
False
Suppose 9 = 3*j, 2*j + 1146 = 9*f - 6*f. Suppose -58*l - f = -61*l. Is 6 a factor of l?
False
Let y(n) = 165*n + 39. Let h(v) = -33*v - 8. Let i(f) = 21*h(f) + 4*y(f). Is i(-5) a multiple of 17?
True
Let w = 65231 - 43622. Is 9 a factor of w?
True
Suppose -318*r + 320*r - 9752 = -3*m, 5*r - 24385 = -5*m. Does 41 divide r?
True
Suppose -4826 + 14283 = x + 2*p, 9487 = x - 3*p. Is x a multiple of 17?
True
Let u(m) = 282*m - 205. Is u(2) a multiple of 2?
False
Let x(k) = k**2 - 17*k + 1. Let u be x(17). Let h be (-4)/(-2)*(u - -4). Suppose 60 = -h*a + 14*a. Is 9 a factor of a?
False
Suppose 20 = -4*t, 7*m - 2*m + t = 25. Let g(z) = 5*z + 0*z + 0*z + 10. Is g(m) a multiple of 20?
True
Let f(k) = 5*k - 31. Let m(t) = 6*t - 41. Let w be m(8). Let o be f(w). Suppose 4*n + o*d - 804 = 0, -315 = -n + 2*d - 111. Is 48 a factor of n?
False
Let u(h) = -4*h + 179. Let b be u(-5). Is b - (-1)/((-1)/(-5)) a multiple of 6?
True
Suppose 3*u = j + 11993, -j + 22478 - 2487 = 5*u. Does 3 divide u?
False
Let l be -4 - (-618 + (-4 - 0)). Let x = l + -365. Is x a multiple of 28?
False
Let z(x) = 1135*x**3 - 21*x + 20. Does 21 divide z(1)?
True
Is 8 a factor of 26 - (-22)/((-22)/(-24097))?
False
Suppose 48 = 206*r - 200*r. Let f(m) = -4*m**2 + 35*m + 12. Is f(r) a multiple of 9?
True
Let k = 9096 + -7032. Is k a multiple of 48?
True
Let t(n) = n**3 + 2*n**2 - 42*n + 7. Let v(f) = -9*f + 61. Let a be v(6). Does 22 divide t(a)?
True
Suppose 727950 = 650*g - 575*g. Is 23 a factor of g?
True
Let l be (-3)/(-6) + (4380/8)/5. Suppose -11*h = -10*h - 4*n - l, -n = 1. Is 11 a factor of h?
False
Is -390 + 385 - -1*82358/2 a multiple of 129?
False
Is (-29)/(-1) + (-128)/(-224) + (-212)/28 even?
True
Let b = 322 - 330. Let x(p) = -32*p + 116. Is x(b) a multiple of 45?
False
Let u = 169 - 85. Suppose 25 = 4*a - 27. Let h = u - a. Is h a multiple of 6?
False
Suppose -2*w = -w - 3*s - 2089, -w - 2*s = -2099. Suppose 7*r + 660 = w. Let d = -129 + r. Does 19 divide d?
True
Let j be ((-5)/4)/((-1)/12). Let d(z) = 13 + 0*z**2 + j*z - 2*z + 4*z - z**2. Is 3 a factor of d(16)?
False
Suppose 162 = -2*b + 3*b. Suppose 14*a + 5168 = 3600. Let d = b + a. Does 25 divide d?
True
Suppose -3*a = 4*u - 91005, 75966 = 5*u + 5*a - 37789. Is u a multiple of 32?
True
Suppose 13*w + 48 = 9*w. Let q = 109 - 113. Is ((-62)/w*q)/(6/(-9)) a multiple of 13?
False
Let x be (-2 - 0) + (3845 - 3). Suppose f - x = -3*f. Is f a multiple of 48?
True
Let p(j) = 30*j**2 - j - 11. Let h be p(-6). Suppose h = -0*d + 5*d + 5*n, -n = -3*d + 633. Suppose -4*f = i - d, 3*i + f = 595 - 14. Is 16 a factor of i?
True
Let a(w) = -337*w - 1274. Is 32 a factor of a(-9)?
False
Suppose -2*c - 229*j + 225*j = -2696, -3*c = -2*j - 4060. Is c a multiple of 13?
True
Suppose 3*h + 65 = 3*m + h, 4*h + 15 = m. Let u = -18 + m. Does 17 divide (0 + -2)/(u/(-195))?
False
Let u(b) = -b**2 - 1. Let c(s) = -3*s**2 + 4*s - 14. Let q(z) = c(z) - 4*u(z). Let t be q(-5). Let l(v) = -8*v - 17. Is l(t) a multiple of 23?
True
Let p(q) = -3*q**2 - 13*q + 23. Let y(c) = c**2 + c - 2. Let l(o) = 2*p(o) + 18*y(o). Is l(4) a multiple of 21?
False
Suppose -3*y - 31 - 129 = 5*p, 4*p - 25 = y. Is 11 a factor of (-13072)/(-36) - (-5)/y?
True
Suppose 10*k = 5*k + 3*d + 21, 4*k + 5*d = 2. Suppose 0 = -k*m - 171 + 30. Let w = 87 + m. Is 4 a factor of w?
True
Let f = -690 + 689. Is (-56790)/(-135) - (f/3 + 1) a multiple of 4?
True
Let a(j) = -j**3 - 120*j**2 - 463*j + 679. Is 157 a factor of a(-118)?
False
Let b(g) = -5*g + 254. Let l be b(-34). Suppose -4096 - l = -10*m. Is 9 a factor of m?
False
Does 4 divide (-5)/(275/(-10)) - 31014/(-33)?
True
Let m = -8 + 19. Suppose -m = 5*c - 31. Does 14 divide c - (-2 - -3) - -151?
True
Let t = 29394 - 20167. Is t a multiple of 9?
False
Let j = 2 + -2. Let x be (j - 1)*(-4 - -2). Let u = x + 86. Is u a multiple of 22?
True
Let u = 12377 - 2317. Does 10 divide u?
True
Let f = -167 - -170. Suppose 6*g - f*g + 2*b - 302 = 0, 0 = 2*g + 2*b - 198. Does 13 divide g?
True
Let n = 23 - 23. Let r(f) = f + 132. Is r(n) a multiple of 33?
True
Suppose -5*t = -701 - 604. Suppose 2*j = 1445 - t. Is j a multiple of 16?
True
Let h = 40092 - 26894. Is 225 a factor of h?
False
Suppose 1907536 - 1480704 = 35*w - 1793183. Is 16 a factor of w?
False
Is 24 a factor of (-32)/200*-213 + (-14)/175?
False
Let a = 30 + -21. Let k(v) = v**2 + 4*v - 1. Let w be k(a). Suppose 2*d - w = -5*f + 2*f, -113 = -3*f + d. Is f a multiple of 19?
True
Let u(r) = r**3 - 31*r**2 - 29*r + 305. Is u(33) a multiple of 37?
False
Suppose -15 = -4*r + 3*d, -11 = -r + 4*d - 4. Is 19 a factor of (251 + r + 1)/((-9)/(-27))?
False
Let u be ((-533)/(-39) - 14) + 10/3. Is 4 a factor of (153/u - 7) + 4*-1?
True
Let m = -11242 - -17844. Does 15 divide m?
False
Let n(b) = 37*b**2 + 28*b - 139. Does 23 divide n(11)?
True
Suppose -5*c - 800*j = -799*j - 9407, 2*c - 3753 = j. Is c a multiple of 6?
False
Let n(i) = 4*i + 151*i**2 - 4*i - 2 + i. Let y be -2 - -6*3/(-54)*-9. Is n(y) a multiple of 30?
True
Let u be (-6 - -21)/5 - (3 - 2). Suppose -u*x + 0*s = -2*s - 222, -2*x + 247 = 3*s. Is 4 a factor of x?
True
Let b(u) = -595*u + 28. Does 43 divide b(-4)?
True
Let d = -18369 - -52545. Is 8 a factor of d?
True
Suppose 0 = 2*k + 4*c - 2500, c = 2*k - 4*k + 2494. Does 14 divide k?
True
Suppose -b + 2*q = -14, -2*b - 3*q + 9 = -b. Is b/(-20) - 2206/(-10) a multiple of 10?
True
Suppose -2 = -g - 2*f, -g + 2 + 0 = 4*f. Is 13 a factor of (-13 - g)/((-3)/75)?
False
Let v(o) = -27*o**3 + 3*o**2 - 4*o - 92. Is 4 a factor of v(-8)?
True
Is 528675/(-75)*4/(-7) a multiple of 20?
False
Let q = -131 + 162. Suppose q*l = 34*l - 2184. Does 28 divide l?
True
Suppose -11*m + 30718 = -3173. Is 3 a factor of m?
True
Let f(y) = -y**2 - 29*y - 14. Let o be f(-13). Suppose 3*j - 37 = o. Suppose -82*s = -j*s - 770. Does 14 divide s?
True
Let j(l) = -8*l - 44. Let d be j(-6). Does 6 divide (-1016)/(-8) - (d/1 - 0)?
False
Suppose -543981 = -32*r - 60723 + 179910. Is 66 a factor of r?
True
Let x = -267 - -75. Let s = 3 - x. Is 4 a factor of s?
False
Suppose 279108 + 162521 + 30396 = 79*i. Is i a multiple of 137?
False
Let h = -45 - -47. Suppose -r + h*i + 0*i = 7, r + 5*i = 14. Let x(p) = -75*p + 3. Is x(r) a multiple of 26?
True
Let w(u) = 14*u + 150 - 455 + 149 + 157. Let c(v) = -v**3 + 4*v**2 + 3*v - 6. Let f be c(4). Does 17 divide w(f)?
True
Let i be 0*(-6 + 91/14). Suppose 10*m + 18 - 318 = i. Does 10 divide m?
True
Let a be ((-34)/4 - -9)*1594. Let j = a + -622. Is j a multiple of 7?
True
Let c(u) = -6*u**2 + 5*u. Suppose 6 = -2*i - 2*l, -2*l + 9 = -5*i + 1. Let z be c(i). Let g = z - -137. Is 7 a factor of g?
False
Let f be 0 - (-2 - 26/1). Let x be ((-70)/25 - -3)/((-2)/(-1510)). Suppose f - x = -u. Does 17 divide u?
False
Suppose 2 + 30 = 8*a. Let d = 344 + a. Is 42 a factor of d?
False
Let b(u) = u**2 + 5*u + 3. Suppose -27*c + 15 = -24*c. Let m be b(c). Suppose d - 2*o - 16 = -1, -3*d + m = 2*o. Is 17 a factor of d?
True
Let g(w) = -855*w - 105. Is g(-3) a multiple of 10?
True
Let o = -62 - -28. Let t = -29 - o. Suppose -630 = -t*d - d. Is d a multiple of 15?
True
Suppose 103110 = 608*z - 566*z. Does 61 divide z?
False
Let n be (-26)/(-4) + 3/(-6). Let r(f) = 10*f**2 + 94*f + 6. Let h be r(-11). Does 4 divide h/n + (-16)/(-24)?
False
Suppose 4*j - 41*j + 3552 = 0. Is j a multiple of 16?
True
Let f be -1 + -1 - (0 + 28). Let r be (0 - -6)/12 + 138/4. Let d = r + f. Is d a multiple of 5?
True
Let w be 6/((-52)/(-44) - 1). Let a = -36 + w. Does 9 divide ((4/a)/(-2))/(4/216)?
True
Suppose 4014*q - 3993*q - 54516 = 0. Is q a multiple of 118?
True
Let p(d) = -d - 4. Let t be p(-7). Let a(u) = 5 + 18*u**2 - 11 + 3 + 0 + 4. Does 36 divide a(t)?
False
Let s(t) be the first derivative of t**4/4 - t**3/3 + t**2/2 - 7*t - 10. Let y be s(0). Does 4 divide 30 - ((y - -2) + 3)?
True
Suppose 166*n = -215*n + 54*n + 612144. Is 144 a factor of n?
True
Let b = 22134 + -6653. Is b a multiple of 17?
False
Let o = -658 + 130. Let g = -358 - o. Does 29 divide g?
False
Suppose 5