d + 3534 = 33610, -o + 6013 = 3*d. Suppose 7*n - o - 6990 = 0. Is 60 a factor of n?
False
Let c be (30/30)/(-1 - (-3946)/3944). Suppose 196 = -2*b + c. Is 8 a factor of b?
True
Let k(t) = 5*t**2 - 25*t - 19. Let d(q) = -14*q**2 + 74*q + 57. Let b(x) = -6*d(x) - 17*k(x). Let n be b(-12). Let h = 79 + n. Is h a multiple of 19?
False
Suppose 7328 = 2*g + 3*f + 1530, -3*f = -4*g + 11596. Is 10 a factor of g?
False
Suppose 2*h + 0*n = 2*n + 8, 19 = 4*h - 5*n. Let r be (-3)/1 + h - 428/(-4). Let p = -24 + r. Is 27 a factor of p?
True
Let s = -4049 + 9029. Does 4 divide s?
True
Suppose 86*c - 70*c - 82256 = 0. Is 86 a factor of c?
False
Let k(q) = -7*q - 109. Let t be k(-16). Let v = -100 + 260. Suppose y + 4*y = t*l - v, 0 = y - 1. Is 5 a factor of l?
True
Let i(l) = 4150*l - 2105. Is i(5) a multiple of 113?
True
Let r(w) = 107*w + 1 - 7 - 209*w + 159*w. Does 14 divide r(3)?
False
Is 16 a factor of ((7336/(-3))/(-14))/((-8)/(-132))?
False
Suppose -5*i = 4*f - 54, -3*f - 17 = i - 3*i. Let g(o) = -55*o + 13. Let y be g(-5). Suppose 14*v = i*v + y. Is v a multiple of 8?
True
Let j be -459 + (5 - (-2 - -8)). Let z = j + 674. Does 10 divide z?
False
Let s be (11/5)/((-7)/245*-7). Suppose s = -6*r + 203. Let d = 48 + r. Does 8 divide d?
True
Suppose 35*k - 39*k + 20 = -4*d, 39 = 3*k + 5*d. Let f(t) = 80*t - 70. Does 15 divide f(k)?
True
Let w be (-62)/6 - (1 - 2/6). Let s be (w + 4 - 4) + -2. Let r(d) = -d**2 - 23*d + 13. Is 26 a factor of r(s)?
False
Let b(r) = r - 46 + 14*r - 12*r + 5*r. Let j be b(9). Suppose 28*m - j*m = 696. Is m a multiple of 13?
False
Let l(q) = 5*q**2 + 27*q - 223. Is 17 a factor of l(-25)?
True
Let f = -1024 - -2978. Is f a multiple of 15?
False
Let n = -1427 - -2255. Suppose 615 = 2*u + u + r, -n = -4*u - 4*r. Does 34 divide u?
True
Suppose 6592 = -8*c + 67392. Is c a multiple of 16?
True
Let k be 1 + (-2 - (-4 + -4)). Suppose 4*f = -5*r - 520, 4*f - k = 13. Let o = r + 128. Is 2 a factor of o?
True
Suppose 23*u = 2*u + 6930. Is 5 a factor of u?
True
Suppose 48 = 8*w + 4*w. Suppose -w*b + 268 = -2*l + 686, -417 = -2*l + 3*b. Does 8 divide l?
False
Let w be 92/23 - (1 - -1). Suppose -w*o = -1130 - 590. Suppose 2*m - o = -3*m. Is m a multiple of 39?
False
Let h = -6224 - -6944. Is 20 a factor of h?
True
Suppose 35 = 5*p, -1244*p + 1247*p = i - 6864. Is 51 a factor of i?
True
Let b(q) = 21*q**2 - 53*q - 785. Is b(33) a multiple of 196?
False
Let w(n) = n**2 - 10*n - 21. Let s be w(7). Is s/(1 + (-36)/28) a multiple of 9?
False
Let h(z) = -z - 4. Let x(u) = 3*u + 11. Let p(w) = -17*h(w) - 6*x(w). Let a be p(-3). Suppose -4*v = -4*f - 532, 401 = 3*v - 0*v - a*f. Is 16 a factor of v?
False
Suppose -11*w + 194081 + 47629 = 31*w. Is 11 a factor of w?
False
Let h = 55 + -52. Let a be (h - -6)/(-3) - -39. Does 9 divide (9/6)/(6/a)?
True
Let o(i) = i**2 + 4*i - 9. Let r be (1 - 0)/(((-4)/52)/1). Does 4 divide o(r)?
True
Let w be (4 + -9)/(4/52). Let c = w + 115. Is 3 a factor of c?
False
Suppose 3*k + 4*t = 24806, -t - 5745 = 2*k - 22274. Does 18 divide k?
True
Let w(u) = -83*u - 39. Suppose 15*r + 28 + 47 = 0. Is 8 a factor of w(r)?
True
Suppose 0 = -372*q + 1814887 + 14153213. Does 17 divide q?
True
Let s = -363 - -294. Suppose 2*r - 3*p = 162, r - 4*r + 244 = -5*p. Let o = r + s. Is o a multiple of 2?
False
Is 25 a factor of (254448/1302)/((-1)/(-126))?
False
Suppose 3*y - 731 = -734. Let n(s) = -191*s**3 + s**2 + 6*s + 4. Does 50 divide n(y)?
False
Suppose -3*s = -2*h + 2779, s + 0*s + 2773 = 2*h. Let d = 813 - 804. Suppose -d*p + 154 + h = 0. Is 19 a factor of p?
True
Let a be (-6)/(-14) + (33/21 - 2). Suppose a = 36*o - 2*o - 18734. Does 7 divide o?
False
Suppose 4*b - 232 = -0*b. Let f be 4/(-26) + (-275)/(-13) + -8. Suppose q + d - f = 0, 2*q = 7*q - 2*d - b. Is q a multiple of 12?
True
Suppose -624928 = 258*m - 494*m. Does 4 divide m?
True
Let b(z) = 2*z**2 + 22*z + 51. Let q be b(-8). Suppose -q*r - 2*i = -761, 2*r - r - 5*i - 265 = 0. Does 17 divide r?
True
Let d(y) = 3*y**2 - 12*y - 21. Let c be d(7). Is 28 a factor of (-8 - -32)/(3/c)?
True
Suppose 0 = -8*j + 5*j + r + 14250, 0 = j + 2*r - 4764. Is j a multiple of 16?
True
Suppose -3*f = -710 + 74. Is (44 - 0)*371/f even?
False
Suppose -4*j - 6271 = -n + 2766, 5*n - 2*j - 45059 = 0. Does 10 divide n?
False
Suppose 4*u - 210 = -198, -u = -4*q + 34193. Is 20 a factor of q?
False
Suppose 2*r + 5 = 11, 5*r + 33 = -3*t. Does 4 divide 40/t*(-2 + 0)?
False
Is (2726960/540 - 15) + 2/27 a multiple of 35?
False
Let x = 175 - 173. Suppose 3*w = -5*h + x*w + 905, -25 = 5*w. Is 7 a factor of h?
True
Let h = 164 + -26. Suppose -190 = -h*q + 133*q. Suppose 5*i = q + 742. Is i a multiple of 6?
True
Suppose -2*g + 4153 = -34907. Does 55 divide 100/950 + g/19?
False
Let t = -137 + 200. Let f(i) = -i**3 + 7*i**2 + 7*i + 7. Let d be f(8). Is t + d - 2/1 a multiple of 11?
False
Suppose 0 = 17*b - 5*b + 180. Let s = -21 - b. Is 63 + 9*(8/s)/4 a multiple of 30?
True
Does 5 divide ((-72)/(-15))/(15/1850)?
False
Suppose -469059 = -10*m + 90655 - 2214. Is 49 a factor of m?
False
Let a = -4145 + 9760. Does 14 divide a?
False
Let z = -61 - -66. Suppose n + 21 = -z*k + 9, 12 = -3*k + n. Is 12 a factor of (-355)/k + (-6)/(-9)?
False
Let v be (-11)/((-55)/4) - 336/(-5). Let k(h) = 50*h + 2. Let i be k(-1). Let r = v + i. Is r a multiple of 6?
False
Let s = 56 - 52. Suppose 0 = s*u - 1050 + 314. Does 46 divide u?
True
Is 88 a factor of 16812 + 31/6 + (1 - 4/24)?
False
Let t be 501*-4*(-2)/6. Is 98 a factor of 7*1 + 11 + t?
True
Let l(v) = 1595*v - 2506. Does 36 divide l(12)?
False
Let x(k) = -877*k - 4005. Is x(-20) a multiple of 54?
False
Suppose 5*t = -1870 + 9345. Does 80 divide t?
False
Suppose -21 - 3 = -4*u. Suppose 0 = u*w - 41 + 5. Suppose 0 = -2*c + w*c - 348. Is c a multiple of 20?
False
Let i(x) = -9*x**2 - 89*x + 4. Let z(d) = -10*d**2 - 90*d + 3. Let j(v) = 5*i(v) - 4*z(v). Is 14 a factor of j(-12)?
True
Let o(g) = 2*g**3 - 38*g**2 - 131*g - 19. Let z be o(22). Suppose 0 = 10*f - 8*f + 6, 4224 = 3*a - z*f. Is a a multiple of 68?
False
Let m(r) = r**2 - 19*r - 25. Let j be m(25). Suppose -4*s - 3*n + 121 = 0, 4*s - 8*s + n + j = 0. Is s a multiple of 31?
True
Let v = -15 + 20. Suppose 4*x + 1 = -d + 2*d, -v*d + 27 = 2*x. Is 2 a factor of d?
False
Let x(f) = 4*f + 1721. Is 3 a factor of x(-59)?
True
Let h(u) = 134*u**2 + 11*u - 25. Is 12 a factor of h(-4)?
False
Suppose -14*s = 3*m - 13*s + 4, -3*m + s = -4. Let r be (-2)/4 - (-12)/24. Suppose 9 = -r*v - 3*v, m = -5*d - 4*v + 1878. Is 54 a factor of d?
True
Let w(p) = 154*p**3 - p**2 - p. Let x be w(-1). Let k = -91 - x. Suppose 59*h - k*h = -328. Is h a multiple of 41?
True
Let o(z) = -9*z - 76. Let d(g) = -20*g + 63. Let t be d(4). Does 22 divide o(t)?
False
Suppose 1629*d = 1644*d - 17190. Is d a multiple of 85?
False
Let s be 2624/12 + (-1 + 0)/(-3). Let b = s - 35. Is 18 a factor of b?
False
Let a = 224 + -224. Suppose a = -3*m + 2*m + 3*g + 120, 3*g = 15. Does 9 divide m?
True
Suppose 5*u = 8*u - 8*u. Suppose u*o = 4*o. Does 6 divide (-3 + 0 - o) + (-31 - -88)?
True
Let x = 317 + -236. Is 2/18 + 10035/x a multiple of 37?
False
Suppose 11*z = -4*u + 6*z - 10550, u + 2638 = -z. Is (u/(-44))/(18/(-22) + 1) a multiple of 55?
True
Suppose -5*k + 1115 = -a, -4*a = -3*k - a + 657. Suppose 2*t - k = 6*t. Let x = t - -82. Is x a multiple of 26?
True
Let h be 288 - (-3)/(((-24)/(-4))/(-12)). Suppose 0 = 5*b - o + 3, -5*b - 4*o + 10 = -2. Suppose 10*j - h - 368 = b. Does 11 divide j?
False
Let b be (1 + 1)*(3747/2)/3. Suppose -j = -3*v + 31 - 340, 4*j + v = b. Does 13 divide j?
True
Is 70 a factor of ((1 - 1) + 1750)/(14/252)?
True
Suppose -2*m - 16 = -6*m. Suppose -3*w - 19 = -m. Is 60*w/3*(-54)/60 a multiple of 9?
True
Let g(u) = -u**2 - 2*u + 11. Let x = -96 - -90. Let a be g(x). Let l = 87 + a. Is l a multiple of 21?
False
Suppose 482*j = 5*c + 484*j - 50618, 3*c - 30354 = -4*j. Is 61 a factor of c?
True
Suppose 4 = x, 3*x + 108 = -u + 5*x. Suppose 150 + 743 = -5*l - 2*y, -3*l - 527 = -y. Let h = u - l. Is h a multiple of 11?
True
Let d(o) = -54*o. Let r(y) = y + 1. Let q(i) = d(i) - 3*r(i). Let x be q(1). Does 14 divide 4/2 + x/(-5)?
True
Let u be (-3 - -4)/(5*(-1)/(-95)). Suppose -4*n + 38 = 2*v, 3*n + 59 = v + v. Suppose 480 = -u*t + v*t. I