0. Is n a multiple of 20?
True
Let t(i) = 6*i**2 + 425*i + 73. Is t(-71) a multiple of 48?
True
Let q be 3/(-12) + (-4)/32*-122. Does 25 divide 1317 - q - (-6)/(-3)?
True
Suppose -p + 43 + 33 = 0. Let l = 332 + p. Is l a multiple of 72?
False
Let x = 31056 + -15964. Does 14 divide x?
True
Suppose 0 = x - 13 - 44. Let q = -4 - -9. Suppose t + 12 = n, -3*t - x = -q*n - t. Is n a multiple of 2?
False
Let m(q) be the first derivative of 1/2*q**2 - 6 + 14*q. Is 8 a factor of m(-6)?
True
Let w = 4610 + -2096. Is 173 a factor of w?
False
Let l = 56 - 56. Suppose -4*w - 680 - 1840 = l. Is 8 a factor of ((-3)/9)/(6/w)?
False
Let p = -14 + 17. Let v(j) = -j**2 + 7*j - 10. Let x be v(p). Is 20 a factor of x/12*15*48?
True
Suppose 93*r + 35*r = 96128. Is 22 a factor of r?
False
Let u(o) = 15*o**2 - 13*o - 103. Does 38 divide u(12)?
False
Let a = 45 + -23. Let v = a + 2. Does 6 divide v?
True
Let h(b) = 19*b**2 + 24*b - 540. Is 27 a factor of h(-27)?
True
Let h(w) = 2*w - 36. Let b be h(19). Suppose 4*c - 25 = -k + b*k, 5*k - 19 = -4*c. Let l(z) = 5*z - 6. Does 3 divide l(c)?
True
Suppose -18*a = -2*a + 3744. Let b = a - -487. Does 6 divide b?
False
Let b be 1 - (2 + 1 - 3) - 3. Let d be ((-32)/(-12))/(b/(-27)). Suppose 4*v - 6*v + d = 0. Is 16 a factor of v?
False
Let x(c) = -c - 3. Let n be x(-3). Suppose 7*v - 2734 - 1515 = n. Is 58 a factor of v?
False
Let y = 90526 - 41128. Is 10 a factor of y?
False
Suppose 9*n = 4281 + 9444 - 306. Is n a multiple of 5?
False
Let h = 211 + -175. Is h/(-30)*(-920)/3 a multiple of 16?
True
Let q(w) = 18*w + 218. Let m(g) = g**2 + 19*g - 15. Let u be m(-20). Is q(u) a multiple of 62?
False
Let m = -40 - -54. Suppose -m*n - 25 = 87. Is ((-14080)/14)/n + (-2)/(-7) a multiple of 14?
True
Let n(h) = h**3 - h**2 + 23*h + 14. Let b be 1 + 79 + 12/9*-3. Let k be b/13 - 22/(-143). Is 25 a factor of n(k)?
False
Let a = 262 - 259. Suppose 4*s = -12, -4*v - s = a*s - 68. Does 10 divide v?
True
Let m = 5120 + 19000. Is m a multiple of 30?
True
Let t(h) = -h**3 + 4*h**2 + 17*h + 9. Let p be t(7). Is p/(-2)*(30 - 14) a multiple of 38?
True
Let x(z) = -29*z - 124. Let a be x(-4). Is 6/a*(285/(-9) - 3) a multiple of 2?
True
Let m be (0 - (-1 - -2)) + 3. Let h be 6/(m/(-2)) + 1. Let n(a) = -9*a - 3. Does 21 divide n(h)?
True
Is 17 a factor of 2463/3*(14 + (-11)/1)?
False
Let v(m) = 1054*m - 5236. Does 8 divide v(10)?
True
Let v = 22 - 18. Suppose -3 = -r - 3*m, 4*m = 2*m - v. Let z = r - -51. Is z a multiple of 10?
True
Let n be 5 + (1 - 4) + -5 + 8. Suppose 3*c - q - 36 = -4*q, 2*c = n*q + 38. Suppose -13*t + c*t = 99. Does 9 divide t?
True
Let o(u) = u**3 + 10*u**2 + 3*u - 28. Let r be o(-9). Let v(d) = 12*d - 23. Is v(r) a multiple of 20?
False
Suppose 4*k - 11374 = 21918. Does 13 divide k?
False
Suppose 168 = -14*d + 7*d. Let w be (6/d*-61)/(2/56). Let x = w - 297. Does 46 divide x?
False
Let f = 5 + 13. Suppose -4*j - y = -31, 6*j - 4*j - 2*y = f. Does 13 divide 9*j/4*6?
False
Let v(r) = -r**3 + 2*r + 11*r**2 + 9*r + 2 - 7*r**2. Let q = 24 + -19. Is v(q) a multiple of 8?
True
Let d = -32 - -27. Let t(c) = 0*c - c**3 + 1109*c**2 + 14*c + 2 - 1110*c**2. Is 5 a factor of t(d)?
False
Let m(t) = 11*t + 182. Let l be m(-16). Suppose 3*k = 9*p - l*p + 975, -2*k = -p - 655. Is k a multiple of 11?
True
Let m be (-4)/7 + 147222/21. Suppose -7*d + 4624 + m = 0. Does 24 divide d?
False
Suppose 252 = 7*v - 35. Suppose 3*n = -26 + v. Suppose -u - n = -0, 2*a - 5*u - 75 = 0. Is 5 a factor of a?
True
Let n(l) = 584*l**2 - 90*l + 90. Is 22 a factor of n(6)?
False
Suppose -153*r + 152*r + 39 = 0. Let j = r - 39. Is ((-3)/3 + 2)*(j + 23) a multiple of 2?
False
Suppose i - 6*o - 1304 = -8*o, -5*o = -4*i + 5203. Is 21 a factor of i?
True
Suppose -4*m + 6883 = 3*w, -2*w - 7*m = -12*m - 4627. Is 26 a factor of w?
False
Let j(i) = 111*i**2 + 3*i + 2. Let b be -1*3 + -7 + (-32)/(-4). Let l be j(b). Suppose -2*q - 6*q + l = 0. Does 17 divide q?
False
Let h = 7115 + -1515. Is 80 a factor of h?
True
Suppose -4406 - 7507 = 11*p. Let f = p - -1517. Is 54 a factor of f?
False
Suppose 3*l = -19 + 4. Let a be 0 + (l - -1) - -4. Suppose -4*o - q + 869 = -6*q, a = 3*o + 4*q - 675. Is o a multiple of 33?
False
Suppose c + q + 3 = 3*c, 3*q - 11 = c. Suppose c*k = -3 + 19. Suppose m - 99 = -p + k*m, 3*p - 257 = m. Is 28 a factor of p?
True
Let b be (4/(-6))/((-2)/(-30)). Let q be ((-56)/24)/(2 - (-302)/(-150)). Let c = q + b. Does 30 divide c?
False
Let h(v) = 14*v + 77. Let m be h(-3). Suppose m*x + 146 = 36*x. Is 16 a factor of x?
False
Does 4 divide 6500/7 - (13 - (-1131)/(-91))?
True
Let i(x) = 2*x**2 + 3*x - 11. Suppose 0 = -y - 1 - 4. Let t be i(y). Suppose -t + 1 = -o. Is o a multiple of 5?
False
Let n(i) = 7*i**2 + 340*i + 244. Is n(-60) a multiple of 13?
True
Let j(y) = -9*y**2 + 3*y + 32. Let x be j(-6). Let g = 653 + x. Is 8 a factor of g?
False
Suppose 0 = -22*j + 60 + 28. Suppose x - 3 = -2*x, j*q = 3*x + 1889. Does 6 divide q?
False
Let n be (2/(-7))/((-21)/735). Suppose -n*i + 3885 = 4*a - 13*i, 0 = 2*a - i - 1943. Is a a multiple of 54?
True
Does 95 divide 3/(-8) + 9/9*53804/32?
False
Suppose 5 = g - t, -3*g + 2*t + 3*t = -19. Suppose g*o = -w + 971, -2*o = -0*o - 4*w - 638. Does 10 divide o?
False
Suppose -6*n + 274 = -4*n. Suppose -a - 3*a + 2*g = -250, 2*a - 5*g = n. Is 50 a factor of a?
False
Suppose 2486*h - 2475*h = 15268. Does 16 divide h?
False
Suppose 201*u + 4900 = 215*u. Does 7 divide u?
True
Let s(v) = v**3 + 21*v**2 + 4*v + 86. Let p be s(-21). Suppose -3*o + 1261 = k, p*o + 5*k - 1265 = -o. Is o a multiple of 11?
False
Suppose -f - k + 744 = -961, 4*f - 2*k = 6796. Let g = -1145 + f. Is g a multiple of 35?
False
Let m(p) = 3*p**2 - 23*p + 27. Let j be m(6). Is 511 - (j/(-1 + -2) + -1) a multiple of 73?
True
Suppose -3*n = -3*z + 9, 3*z - 14 = 5*n - 1. Let q be (-20 + 25)*z/1*9. Suppose -q*f - 506 = -47*f. Does 37 divide f?
False
Suppose 6*g + 7*m - 5748 = 2*g, -2*g - 4*m + 2874 = 0. Is g a multiple of 23?
False
Suppose 4284 = 1870*d - 1858*d. Does 21 divide d?
True
Let t(i) = -10*i**3 + 12*i**2 + 12*i - 8. Let p be t(-7). Suppose p = -31*l + 44*l. Does 22 divide l?
False
Let j be (-4)/22 - (-6 + (-248)/(-88)). Does 38 divide (-2)/((j - 4)*-2)*-304?
True
Let x(a) = a + 6 + 8 - 15. Suppose 4*d - 13 = 5*m - 4*m, 3*d - 2*m - 6 = 0. Is 2 a factor of x(d)?
False
Let r(q) = -38*q + 7. Let h be r(-1). Is 6 a factor of 201*-3*(-5)/h*1?
False
Let d(m) = 258*m - 22. Let q be d(2). Let c = -374 + q. Is c a multiple of 10?
True
Let s be (-8)/32 + (6/(-8) - 1). Let q be 16/6*18*s/4. Let d = q + 36. Is 3 a factor of d?
True
Suppose 2*i = -8, -3*i - 12 = 4*k + k. Suppose -3732 = -3*q + 3*h, q + q - h - 2490 = k. Does 105 divide q?
False
Suppose -4*d = -156 - 116. Suppose i - d = -67. Suppose -g - g - 3*s + 327 = 0, -i = -s. Does 12 divide g?
False
Let h = 109 + -109. Suppose -3*l + 2437 - 160 = h. Does 69 divide l?
True
Let p be (2 - (-30)/(-12))/((-1)/(-2)). Is -1 - (-88182)/27*p/(-2) a multiple of 17?
True
Suppose 0 = 5*t - 2*t - 108. Let x = t + -29. Is x/(-2 - 22/(-10)) a multiple of 5?
True
Does 6 divide (12 + (-14 - 49330))*3/(-6)?
True
Suppose 327*l + 18566 = 332*l + 4*v, -5*l + 5*v + 18530 = 0. Is l a multiple of 9?
False
Let x(l) = -5*l**3 + 269*l**2 - 108*l + 73. Is 5 a factor of x(53)?
True
Suppose -3*a = 4*y + 33, 0*y + 18 = -5*y + 4*a. Let l be ((-45)/y)/(-5)*8/(-3). Suppose 0 = -4*w + l*k + 768, -4*k + 738 = 4*w - 2*k. Is w a multiple of 16?
False
Let d(h) be the first derivative of h**3/3 - 15*h**2 - 25*h + 81. Is d(32) a multiple of 3?
True
Let k(s) = -91*s + 1866. Is k(-25) a multiple of 101?
True
Let g(o) = -o**2 - 23*o + 49. Let x be g(-25). Does 30 divide (339/(-15) - x)/(15/(-250))?
True
Suppose 2958152 = 520*n - 857088. Is n a multiple of 135?
False
Let z(p) = -3*p**3 + 45*p**2 + 20*p + 7. Is 35 a factor of z(14)?
True
Let s = -3500 - -4811. Is s a multiple of 57?
True
Let d be -2 + (-2 + 6 - -5). Is 32 a factor of 30*(d/((-35)/(-2)) - -6)?
True
Suppose 9*b = 15*b - 2682. Suppose 2*g - 219 = b. Is g a multiple of 12?
False
Let y(x) = 2606*x + 101. Is 18 a factor of y(2)?
False
Suppose -3*c - 1240 = 5*h - 8371, 2*h = 4*c + 2816. Is h a multiple of 9?
True
Let u be (-6)/14 - ((-6)/(-15) + (-99)/35). Let g be ((-4)/6)/(1/(-6)). Sup