8/8)/((-1)/4). Let f be -2 + 2/(u/129) + 0. Let s = 50 - f. Is s a multiple of 4?
False
Suppose -3*j = -9 - 6. Suppose -5*l + 52 = 3*x, -j*l = 3*x + 2*x - 70. Suppose -3*b + 4*q = q - 135, 0 = -3*q - x. Is 21 a factor of b?
True
Suppose 2*y - 5*x - 138 = 0, 6*y - 2*y + 2*x - 228 = 0. Suppose -4*h - 3*q = -618, h = 3*q + 221 - y. Is 39 a factor of h?
True
Let z(b) = 89*b + 11339. Does 8 divide z(-83)?
True
Let l = -4494 - -6546. Does 18 divide l?
True
Let n(t) = t**2 + 6*t + 5. Let h be n(-6). Suppose -5*u + 110 = h*f, -20 = -10*f + 5*f. Is u a multiple of 3?
True
Let h(z) = 236*z**2 - 49*z + 279. Does 26 divide h(7)?
False
Suppose -417*g + 418*g = 334. Is 33 a factor of -6 - g/((4/6)/(-1))?
True
Suppose -12*n + 55578 = 2*d, -5*d - 10102 = 5*n - 33247. Does 6 divide n?
True
Suppose -3*w + o - 72 = 1011, -5*o + 1815 = -5*w. Let p = 740 + w. Is 10 a factor of p?
True
Suppose 4*o + 0*o - 20046 = 5*z, 2*o - 10026 = z. Does 22 divide o?
False
Let h be (-6)/78 - (-15440)/(-52). Let t = h + 1061. Does 28 divide t?
False
Suppose 9*z = 75 + 6. Let x(m) = 59*m + 13. Is x(z) a multiple of 32?
True
Let z be (1 - -2)/(336/(-114) + 3). Let v = 82 - z. Does 6 divide v/(-200) + (-1 - (-297)/8)?
True
Suppose -2*s + 45 = -7*s. Suppose -5*m + 59 = 74. Does 27 divide 56 - 6*m/s?
True
Let x be (-8 + 8 + -5)*-6. Suppose -x*y + 265 = -6935. Is 8 a factor of y?
True
Let t = 3181 + -1232. Suppose 0 = 30*g - t + 179. Does 3 divide g?
False
Let k(a) = 2*a**3 - 144*a**2 - 398*a + 77. Is 15 a factor of k(75)?
False
Suppose c = 2*w + 948, -3*c + 2845 = 4*w - 9*w. Does 14 divide c?
False
Is 31 a factor of -6 - (-5*2206 - ((-15 - -7) + 5))?
False
Suppose -5*l = -4*j + 38, -4*l - 14 = -j + 6*j. Let m be (-1 - 18/(-12)) + (-21)/l. Suppose -200 + 18 = -5*z + m*s, -2*s = 5*z - 164. Is 21 a factor of z?
False
Let v be -4*-3*1057/(-84). Let r(l) = -l**3 + 13*l**2 - 5*l - 3. Let i be r(6). Let q = i + v. Is 12 a factor of q?
False
Let g = 124 + -75. Let r be (195/(-10))/((-4)/8). Let w = g + r. Does 22 divide w?
True
Suppose 276*s - 5553089 = 3198815 + 3525680. Does 132 divide s?
True
Suppose -30 = 5*u, -4*u + 13355 = 5*f - 12256. Does 11 divide f?
False
Let p(v) = v**3 + 8*v**2 - 19*v + 16. Let i be p(-11). Let a = i - -234. Is 24 a factor of a?
True
Let q be (-6)/(-4)*(-110)/(-33). Let a be 0*(-5)/(-25) + q. Let g = 27 + a. Is g a multiple of 15?
False
Suppose 15 = -2*t - 3*t. Suppose 2*y = 2*z - 3*z - 21, -3*z - 2*y - 63 = 0. Is 2 a factor of (z + 7)*(1 - t/(-2))?
False
Suppose 311*d = 5610769 + 5829366. Is 42 a factor of d?
False
Let m = -103 - -106. Suppose 3*n - 4*v = 475, -4*n = -0*v + m*v - 675. Suppose -2*g = -3*k - 91, 2*k = -5*g - 3*k + n. Is g a multiple of 5?
False
Let u = -40 - -158. Let o = 2 - -38. Let g = u - o. Is 22 a factor of g?
False
Let r(v) be the first derivative of v**4/4 - 7*v**3/3 - 5*v**2/2 + 10*v - 146. Does 7 divide r(8)?
False
Let s(z) = -z**2 - 9*z + 11. Let q be s(-10). Does 2 divide (q/1 - 5) + (-108 - -114)?
True
Suppose 0 = -5*w + g + 159, 2*w - g - 77 = -11. Suppose y + 5*x - 2 = -1, -2*y + x = 9. Let t = w + y. Is t a multiple of 9?
True
Let z(n) = n + 168. Let f(s) = -3*s**2 + 7*s + 20. Let j be f(4). Is 13 a factor of z(j)?
False
Let l(t) = -t**3 + t**2 - 2*t + 32. Let o be l(-5). Does 78 divide ((-2)/((-32)/52))/(4/o)?
True
Suppose -585 = 6*t + 1563. Let l = 307 - t. Is 19 a factor of l?
True
Does 12 divide 6916/78*(-2088)/(-7)?
True
Suppose -3*j = 3*n - 24, 14*j + 2*n = 18*j - 8. Is 53 a factor of 2/j + (-28063)/(-38)?
False
Let t(g) = 454*g + 102. Is t(9) a multiple of 43?
False
Suppose 0 = 176*v - 183*v + 28. Suppose -4896 = -4*y + v*h, -2*y - 9*h = -10*h - 2444. Is 11 a factor of y?
False
Let z(s) = s**3 - 2*s**2 - 5*s - 9. Let y be z(4). Let n(o) = 0*o - 4*o**y + 8 - 10 - 8*o. Is n(-3) a multiple of 13?
True
Let t(u) = -8*u - 3. Let v be t(-6). Let s be (-144)/v + (-2)/(-10) + 4. Is s + 3/((-9)/(-87)) a multiple of 7?
False
Is (-55)/((6 - 14)/(-40)*15/(-417)) a multiple of 5?
True
Suppose 2*p = 12 - 0, 2*r - p - 2990 = 0. Is r a multiple of 4?
False
Suppose 0 = 3*r + 4*w - 272, 6*r - 4*w - 148 = 4*r. Suppose j - 2*y = 209, 5*j - 1115 = -4*y - r. Does 64 divide j?
False
Let s = -2490 + 6846. Does 55 divide s?
False
Let k(x) = x**2 + 39*x + 223. Let g be k(-32). Does 10 divide 58 - (7 + g - -1)?
False
Suppose 0 = -i - 2*m + 12, i + 3*m - 7 - 10 = 0. Suppose 2*s - 133 = -5*n, 2*n - s - i*s = 38. Let b = n + -3. Is b a multiple of 11?
True
Let f(y) = 230*y + 3560. Is 11 a factor of f(29)?
True
Suppose 5*x - 2*t = -170, -5*x = -3*x - 3*t + 57. Does 99 divide 44*x/(2 - (-24)/(-6))?
True
Let o be 1/(1/(-4)*4/(-166)). Let b = o - -926. Is b a multiple of 32?
False
Let w = 22739 + -5943. Is w a multiple of 68?
True
Let y be (-426)/(-6)*(1 + 12). Let w = y - 571. Is 88 a factor of w?
True
Let p(i) = i + 23. Let j be p(-23). Does 41 divide (-5)/10*-3*(328 + j)?
True
Let d = 8776 - -656. Is 16 a factor of d?
False
Let h(p) = -9*p**2 - 13 - 2*p**2 + 15*p**2 - 8*p - 2*p**3. Let f be h(-5). Let y = -162 + f. Does 14 divide y?
False
Let o = 9788 - 5228. Is 118 a factor of o?
False
Let c be ((-8)/(-6) - 0)/(1/15). Suppose -316 = -9*u + 5*u. Let g = c + u. Is g a multiple of 9?
True
Suppose 0 = 16*p + 60*p - 21888. Is 12 a factor of p?
True
Let l = 24196 + -20362. Does 6 divide l?
True
Let q(k) = k**3 - 17*k**2 + 29*k + 11. Let u be q(15). Let v be (9 + -11)*(-34)/u. Does 4 divide (5 + v)*(-2)/1?
True
Let k be ((-5)/((-5)/2))/((-4)/(-2)). Let u(q) = -q**2 - q + 1. Let m(z) = z**3 - 18*z**2 - 4*z + 30. Let b(o) = k*m(o) - 6*u(o). Does 6 divide b(12)?
True
Let v be 2 + 9 + (-133)/(-7). Let m(a) = a**2 + a + 2. Let n be m(2). Is v*(n/(-5) + 2) a multiple of 3?
True
Suppose 22*y - 107591 - 487861 = 0. Is y a multiple of 13?
True
Let p = 6259 - 5531. Is 13 a factor of p?
True
Let n(c) = -3*c + 63. Let x be ((-53)/4)/(-1) - 23/92. Does 5 divide n(x)?
False
Let k(z) = 7*z**3 + 5 + 5 + 152*z - 158*z - 6*z**2. Is k(4) a multiple of 11?
False
Let m = 45252 + -26626. Does 139 divide m?
True
Let x = -11209 - -17049. Is 20 a factor of x?
True
Let w(h) = 435*h - 24. Let s be w(3). Let r = 2241 - s. Does 30 divide r?
True
Let h = -2 + 17. Let v be ((-1)/(-3))/((-10)/h)*-104. Suppose v = -2*l + 6*l + 4*b, 41 = 2*l - b. Is l a multiple of 3?
True
Let s(o) = 10*o + 58. Let x be s(16). Suppose x = 5*f - 52. Is 6 a factor of f?
True
Let t = -90 - -94. Let j be ((4 - t)/1)/(-2). Suppose j*g + 5*g - 28 = -4*q, 5*q + 3*g = 22. Is 2 a factor of q?
True
Is 7 a factor of (-2 - -3)*22091 - (1 - 4/2)?
True
Let l = 27981 + -26054. Is 29 a factor of l?
False
Let t(v) = -6286*v + 1401. Does 89 divide t(-2)?
True
Let m be 7/((-61)/(-15) - 4). Let d = -21 - 3. Let t = d + m. Does 9 divide t?
True
Let t be ((-32)/40 - (-2)/(-10))*-1. Let k(x) = 10*x + 8*x - t + 9*x + 132*x**2 - 25*x. Is 19 a factor of k(1)?
True
Let d = 2041 + -969. Suppose z - 2*a + d = 3*z, z = -5*a + 524. Is 25 a factor of z?
False
Let c(r) = -28*r**3 + r**2 + 4*r + 2. Let x be -5*1*135/(-25). Suppose -5*i + 9 = -2*g + x, 2*i = -8. Is c(g) a multiple of 3?
True
Suppose -7 = s + 3*i + 2*i, -5*s + 5*i = -25. Suppose 5*v - 17 = s. Does 17 divide (-41*(v + -6))/2?
False
Let u = -3569 + 6264. Is u a multiple of 55?
True
Suppose 14190 = 4*t + 208*k - 205*k, 3*t - 10628 = 5*k. Is 6 a factor of t?
True
Let n(z) = -20*z - 104. Let v be n(-30). Let a = -353 + v. Is 20 a factor of a?
False
Suppose -43*w + 30 = -38*w. Does 20 divide 492/((-12)/(-4)) + (-24)/w?
True
Is 29 a factor of 6/(2/((-43888)/(-3402)) + (-76)/494)?
False
Suppose 11*h = -4540 + 18889 + 10819. Does 8 divide h?
True
Suppose -13*c + 4*c + 45 = 0. Suppose -c*q + 180 = s, 4*s - 4*q - 285 = 387. Is s a multiple of 35?
False
Suppose -s - 4*b + 15 = 0, 5*b = -5*s + 6 + 9. Is 6 a factor of (15/((-330)/253))/(s/74)?
False
Let v be 4/14 - 14696/(-308). Suppose -3155*m - v = -3157*m. Does 3 divide m?
True
Suppose 4*r - 40 = -40. Is 15 a factor of r/(-4) - (-4 + -225 + -3)?
False
Let f = -44 - -44. Suppose f = -3*d + 5*j + 1, j + 6 + 1 = 4*d. Does 7 divide (135/36)/(d - (-29)/(-16))?
False
Suppose -3*q - 2 = -a, -8 = -4*a + 3*q + q. Suppose -a*b + 45 = w, 51 - 18 = b - 3*w. Does 5 divide b?
False
Suppose 0 = 72*u - 245924 - 517060. Is u a multiple of 19?
False
Suppos