7 + 5695. Does 87 divide h?
False
Let l be 401/(-7) + 12/42. Let v(j) = -5*j + 74. Let a be v(-11). Let c = a + l. Is 18 a factor of c?
True
Let r = 48 - 127. Let t = -77 - r. Is (0 + 117 + 3)/(t + -1) a multiple of 20?
True
Let w = 4494 + -3246. Is w a multiple of 39?
True
Let p = 14685 + -7887. Is 103 a factor of p?
True
Let v(l) = 223*l**2 + 108*l - 5. Does 49 divide v(-5)?
False
Let j(r) = r**2 - 14*r - 25. Let v(y) = -y**2 + 15*y + 27. Let b(u) = 5*j(u) + 6*v(u). Does 11 divide b(17)?
True
Let d(r) = -203*r + 14. Is 133 a factor of d(-15)?
True
Let i = -50 + 52. Suppose -7*j = i*j - 126. Does 6 divide j/(-2 - (-80)/36)?
False
Let h = 1156 + -2060. Does 6 divide h/(-2) - (3 + -5)*-1?
True
Suppose 3*o + 3*z - 5*z - 892 = 0, 2*o = 5*z + 580. Suppose -5*v + o = -3*i - 983, 3*i = 12. Suppose -101 = -3*a + v. Does 24 divide a?
True
Let s = 1 - -2. Suppose s*m + 702 = 2*x, 1713 = 5*x - 0*m + 3*m. Suppose 0 = 4*n - c - x, -2*n - n - c = -250. Does 17 divide n?
True
Let m(t) = 14*t - t**3 - 16*t + 2*t**2 - 9*t**2 - 16. Does 35 divide m(-11)?
True
Let x(y) = 75*y**3 - 2*y**2 + 20*y + 161. Does 9 divide x(6)?
False
Let z be 35 - (-7)/(-14)*0. Does 3 divide 3198/21 - -5*(-2)/z?
False
Let v be ((-6)/(-18))/(3/3123). Suppose 0 = 9*b - v - 1030. Is 3 a factor of b?
True
Is 35 a factor of 305525/121 - (1 + 4)?
True
Is 176 a factor of (-5)/(-4 + -16) + 14*3017/8?
True
Let v(b) = -b**3 - 23*b**2 - 57*b + 9. Is 103 a factor of v(-25)?
False
Suppose -3*j + 15 = 0, 0*j = -2*c + 3*j + 9. Suppose 2*v - 30 = -2*q, -3*v - 4*q + 36 = -c. Is v a multiple of 5?
False
Suppose 4*f + 4525 = -f. Let s = -617 - f. Let m = 409 - s. Is m a multiple of 11?
True
Let s be (-171)/95*20/(-6). Is 3 a factor of (-3606)/(-54) + s/27?
False
Let b be (-6)/(-39) + (-56)/26. Is 14 a factor of b/(-4) - (-1981)/14?
False
Let z(w) = w**2 - 16*w - 15. Let i be z(17). Let y be i/(-12) + 6/36. Suppose k + y = 1, -4*g + 253 = -3*k. Is 16 a factor of g?
True
Let v(y) = 166*y + 39. Let f be v(6). Suppose 182*s - 177*s = f. Does 16 divide s?
False
Let y be -2*12/6 - 496. Does 4 divide 3/((-105)/y)*7?
True
Suppose a + 162*o - 19548 = 158*o, 2*a = -3*o + 39121. Is a a multiple of 54?
False
Let r be (1/(-3))/(118/(-3540)). Let s(a) = a**3 - 5*a**2 + 6*a. Let l be s(5). Suppose l = r*p - 4*p. Is 5 a factor of p?
True
Let j(v) = 4*v + 22. Let p = -90 - -85. Let q be j(p). Does 14 divide q/(-9) - (-4420)/45?
True
Let v be 21/2*(-24)/(-14). Let j(x) = -x**2 + 31*x - 6. Let w be j(v). Let z = -105 + w. Is 22 a factor of z?
False
Let j(l) = 14*l - 10. Let d be j(-4). Let o = d + 66. Suppose -275 = -3*b + n, o*b - b + 4*n = -110. Is 18 a factor of b?
True
Let n be (12/10)/((-2)/(-60)*4). Suppose -n*i + 6*i + 21 = 0. Suppose i - 61 = -3*h. Does 6 divide h?
True
Let v be (0 - -1)*(-13803)/43. Let d = v + 591. Does 6 divide d?
True
Let w be (32/4 - 11)*4/6. Let x(y) = 14*y**3 + 4*y**2 + 4*y. Let t be x(-2). Is t/(3*w/(-6)*-1) a multiple of 13?
True
Is 39975/5 - (28/(-2) + 3) a multiple of 7?
False
Let q be 8/(-6) - 6860/(-105). Is 375*(-5 + q/12) a multiple of 2?
False
Let b = 243 - 222. Does 15 divide (2400/56)/(3/b)?
True
Suppose 0 = 240*b - 106*b - 39396. Does 6 divide b?
True
Let u(p) = 7*p + 12. Let n be u(-3). Let w be -2*2*5/(-10). Does 15 divide (11 - (w - 4)) + (-18)/n?
True
Suppose 89*f - 267*f + 1121756 = 0. Does 9 divide f?
False
Let t(f) = -2*f**2 - 16*f - 11. Let u be t(-6). Let v be ((-9)/6)/((-9)/24). Suppose v*z = -5*r + 113, z = -5*r + 94 + u. Does 5 divide r?
False
Suppose 4*k + 5*p - 33 = 0, -2*k + 6*k - 42 = -2*p. Is 21 a factor of (-2)/8 - 51/k*-49?
False
Suppose 174 + 50 = u. Suppose -10*y - u = -12*y. Suppose 9*f - 11*f = -y. Is 28 a factor of f?
True
Let v = 1344 - -7896. Is 70 a factor of v?
True
Suppose -5*n + 17*n = -3*n + 22785. Is n a multiple of 49?
True
Suppose -20*c = -15*c. Suppose -13*l + 3*l - 60 = c. Does 10 divide (2 + (-3)/l)/((-9)/(-108))?
True
Is 42 a factor of (70/(-15)*3)/(2/(-168))?
True
Suppose -2*a + 510*p - 506*p + 3008 = 0, 2*a - p - 3008 = 0. Is a a multiple of 47?
True
Suppose -2*q = -4*j + 9*j - 1524, 5*q = 2*j - 627. Let s = j + -292. Is s a multiple of 2?
True
Let c(s) = -3*s**3 - 16*s**2 + 4*s - 9. Let i be c(-7). Suppose 0 = -5*g - 168 - 322. Let k = g + i. Is 22 a factor of k?
True
Let j = 8271 + -6693. Does 14 divide j?
False
Let b = 54 - 48. Let p(y) = -b - 2 + 3 - 4*y + 9. Is 18 a factor of p(-8)?
True
Suppose 89776 = 6*a - 94976. Is 43 a factor of a?
False
Let c(b) = -b**3 - 14*b**2 - 52*b - 24. Let u be c(-7). Let y be 2/(1/((-6)/(-4))). Does 14 divide -28*(u - -5 - y)?
True
Let h(p) = p**3 - 14*p**2 - 14*p - 13. Let t be h(15). Suppose -t*i = -9 + 7. Suppose -i = f - 44. Is f a multiple of 33?
False
Let g(v) = -2*v**3 + 25*v**2 + 28*v + 12. Let a = -100 - -113. Does 7 divide g(a)?
False
Suppose -3*u + 548 = -10. Suppose 5*l - u = 509. Is l a multiple of 14?
False
Suppose -523 = -8*y - 43. Does 39 divide ((-1404)/y)/(6/(-160))?
True
Let x be 64/(-48)*(1 - 10/4). Let h(n) = n - 4*n + 19 + 4*n - 5 + 3*n**x. Is 38 a factor of h(-10)?
True
Let q(x) = -9*x + 1. Let m(o) = 35*o - 7. Let p(u) = 2*m(u) + 9*q(u). Is p(-4) a multiple of 9?
False
Suppose -20*d = -5*d + 15. Does 25 divide (-11007)/(-72) - d/8?
False
Is 15 a factor of 990 + (33 - 37 - -2*2)?
True
Suppose -4*s + 5*r = -469, 0 = -5*s - 2*r - 2*r + 576. Suppose 2*l = -4, 5*x - 4*l - 131 = -43. Suppose s = 2*w - x. Is w a multiple of 11?
True
Let f = 21425 + -5180. Does 95 divide f?
True
Suppose -6865 + 160950 = 24*s + 8189. Is 10 a factor of s?
False
Suppose -b = -2*b + 9. Suppose 2*f = -5*o + f + 1198, -b = -3*f. Let p = -116 + o. Is p a multiple of 41?
True
Suppose -25*u + 26299 = 9*u - 17*u. Is u a multiple of 15?
False
Suppose -2*w + 210 = w. Let y = -883 + 942. Suppose y*d = 54*d + w. Is d a multiple of 14?
True
Let y be (-5)/((-20)/(-8)) - -14. Let d(k) = -2*k - 23 + 2 + 10*k. Is 25 a factor of d(y)?
True
Suppose 5*z - 3*y + 937 = -1469, -2*z = 2*y + 972. Let x be (-2)/7 - z/147. Is 27 a factor of (x + 75 - 0) + 0?
False
Let c be (-25)/(-12)*-2 + (-2)/(-12). Does 6 divide 45 - 6*c/(-8)?
True
Let w(u) = u**3 + 22*u**2 - 8*u - 101. Is w(12) a multiple of 59?
False
Let q = -5912 + 9760. Suppose -15*n = -4*b - 11*n + q, 4*b + 4*n - 3816 = 0. Is 38 a factor of b?
False
Let g be -6 - (38 + (-5 - 0)). Is 4 a factor of g/52*48/(-2)?
False
Let x be (-80)/(-36) - 8/36. Suppose -850 = -4*v + x*n, -v + 5*n + 205 = 15. Suppose z - 290 = -5*s + 3*z, -4*s + 5*z = -v. Is 10 a factor of s?
True
Let v be -4 + -6 + (13 - 2). Let j(t) = 185*t**2 - 2*t + 1. Is 16 a factor of j(v)?
False
Suppose -2*y = -5*l + 33 - 3, 2*y = -3*l + 18. Suppose 4*h = -3*j + 74, -2*j - h + l*h = -57. Is 13 a factor of j?
True
Let a = 31 + -10. Let w = 25 - a. Suppose -x - 4*f + 0 = -w, x = 5*f + 22. Is x a multiple of 6?
True
Suppose 5*b - 3*x = 19, -5*x + x = -8. Let i = 161 - -2. Suppose b*r + 120 = -0*q + 2*q, 3*q - i = -r. Is q a multiple of 14?
False
Let c(z) = -2*z + 71. Let r be c(34). Suppose -r*s = 2*s - 4*x - 699, -279 = -2*s + x. Does 4 divide s?
False
Let t(j) = 2*j**3 - 145*j**2 - 43*j - 90. Is 25 a factor of t(73)?
True
Let d be (-2)/(6*(-4 - (-16232)/4056)). Suppose 2*r + 578 = 3*i, -5*r - 738 = i + 741. Let a = d - r. Is 42 a factor of a?
True
Let r(c) = 59*c**2 + 24*c + 102. Let l be r(-4). Suppose -5*u = 10, 4*v + 6*u - l = u. Is v a multiple of 40?
True
Let p be (-14 - 4)*(-1 + (-573)/9). Let a = p + -705. Is 8 a factor of a?
False
Suppose -3*k = -8*k - 10, 2 = b + 5*k. Suppose -b*i + 18*i = 576. Suppose 0 = 6*d - i. Is d a multiple of 2?
True
Let c be 74/7 + 13/((-91)/4). Suppose 3*f + 15*a - 351 = c*a, 5*a - 127 = -f. Is f a multiple of 4?
True
Let h be (45/81)/((-6)/(-54)). Let r(m) = 73*m + 4. Let v be r(7). Suppose a + 0*a + 4*l - 86 = 0, -v = -h*a - 3*l. Is a a multiple of 12?
False
Suppose 0 = -18*x + 315 + 549. Suppose 47*v = x*v - 45. Does 5 divide v?
True
Is 0 - 5 - (61 + -18089) a multiple of 12?
False
Is 6354/9 - 10/(35/7) a multiple of 88?
True
Let b = 77 - 74. Suppose 0 = q - 4*n - 1253, -b*q - 4*n = 2419 - 6146. Suppose -r - k - 3*k + 228 = 0, 5*r = k + q. Does 29 divide r?
False
Let b = -31 + 33. Let m be (-16 + 16)*b/8. Suppose 2*r + 3 - 147 = m. Is r a multiple of 16?
False
Suppose 3*a + 313