 o(l) = 388*l**2 - 61*l - 304. Is o(-5) a multiple of 89?
True
Suppose -18*x = -13*x - 10. Suppose 3*n + 25 = 5*f, 7 - 32 = -5*f + x*n. Suppose -f*u = -u - 132. Does 11 divide u?
True
Suppose -15 = -3*t, t = -5*x - 0*t + 55. Is 36/(4 + (-36)/x) a multiple of 45?
True
Let v = 21128 + -10712. Does 12 divide v?
True
Suppose -98*j = -101*j + 6. Does 7 divide j/(6 + (-2732)/456)?
False
Suppose 79*h - 63816 = 66*h + 14457. Is 27 a factor of h?
True
Suppose 7*c - 21 = -0*c. Suppose 3*w = 9, -c*w = 10*z - 5*z - 794. Is z a multiple of 9?
False
Let v = -50 - -94. Suppose 4*t - 2*s = 1 + 7, -8 = 3*t + 2*s. Suppose t = 4*u - 208 - v. Is u a multiple of 36?
False
Suppose -3*h = 5*b - 57 - 42, -2*b = -h - 44. Suppose 0 = 7*c - 4*c + 378. Is 21 a factor of c/(-4)*14/b?
True
Let j = -37 - -41. Suppose -3*q + 5*y - 129 = -q, -j*q + 3*y = 237. Is 1 - (q - (-2)/(-2)) a multiple of 15?
False
Suppose 58*c + 455256 = 94*c. Does 147 divide c?
False
Suppose 22*u - 12863 = -4503. Does 5 divide u?
True
Let k = 77269 - 54149. Is 85 a factor of k?
True
Does 4 divide (-13971)/(-3) + 1134/(-126)?
True
Let x = 4956 - 2496. Does 12 divide x?
True
Let z = -4212 + 4532. Let n(w) = 80*w. Let k be n(-2). Let p = k + z. Is p a multiple of 16?
True
Let y(i) = 79*i**2 + 177*i - 1967. Is 16 a factor of y(12)?
False
Let u = 5641 - -5938. Is u a multiple of 185?
False
Let j = -14 - -26. Let o be (1 + 0)*(j + -15) - -8. Suppose 0 = -8*h + o*h + 165. Is 5 a factor of h?
True
Suppose 5*r + 0*r = -160. Let s = -27 - r. Suppose v + 1 = 3, -i + 77 = -s*v. Is i a multiple of 43?
False
Suppose 476*d + 90 = 471*d. Is (-444)/8*d/27 a multiple of 23?
False
Let l be (2/(3 - -1))/((-4)/(-24)). Suppose -2*i - 3*i - 4*c = -136, i + l*c - 36 = 0. Is 6 a factor of i?
True
Let x = -8240 - -29232. Is x a multiple of 128?
True
Let h = -71 + 56. Let d = 12 + h. Is 43 a factor of (1 - 0)/(3*d/(-387))?
True
Suppose 3*m = -23*r + 24*r - 9024, -45142 = -5*r + 4*m. Does 202 divide r?
False
Let h be ((6/(-9))/((-2)/(-36)))/2. Is 21 a factor of 128 - (8/h)/(2/(-3))?
True
Suppose 7*t = -37 - 110. Let a(p) = p**2 + 20*p + 187. Does 26 divide a(t)?
True
Let q(x) = -x**3 + 2*x**2 - 6*x - 6. Suppose -3*r = 3, 2*f + 2*r - 2 = -0. Suppose -2*y - 2*t + f = 0, 6*y - 9*y + t = 17. Does 10 divide q(y)?
False
Is 47 a factor of (-4)/(-4) + 3 - (17 + -1564)?
True
Does 24 divide (-10)/(-175)*3983*5?
False
Let r(l) = -l**3 - l**2 + 2*l - 1. Let k(v) = -3*v**3 + 10*v**2 + 39*v + 15. Let d(u) = k(u) - 4*r(u). Does 8 divide d(-7)?
False
Let h(w) = 225*w + 36. Let p be h(4). Does 54 divide (p/(-120))/(1/(-90))?
True
Let a be -8 - (-341)/44 - 4721/(-4). Is (59/(-4))/((-59)/a) a multiple of 5?
True
Is 12 a factor of ((1890/(-40))/1)/(6/(-32))?
True
Suppose -3 = -5*d + 7. Suppose 0 = -d*p + 7*p + 4*z - 988, 3*z = -3*p + 594. Is p a multiple of 27?
False
Is 8 a factor of 200/(-95) + 2 + 41956/38?
True
Let a(y) = -1062*y - 44. Is a(-1) a multiple of 19?
False
Let r(m) = m**3 - m**2 + 12*m + 29. Let u be r(9). Suppose -42*a = -37*a - u. Does 10 divide a?
False
Is 204 a factor of 2/3 - (30 + (-512952)/18)?
False
Let o(b) = 19*b**2 - 4*b + 4*b - b + b**3 - 20*b**2 + 1. Let f be o(1). Suppose 4*t - 331 - 29 = f. Is 15 a factor of t?
True
Let v(c) = 2*c + 15. Let q be v(-6). Suppose -x + 3 = -j - q, 2*x - 20 = 4*j. Let y(f) = 84*f - 8. Is 32 a factor of y(x)?
True
Let b be ((-20388)/(-20))/(4/20). Suppose -8*v - 1241 = -b. Is v a multiple of 5?
False
Let l be 287/(-9) - 196/1764. Suppose -d - 3*d = -196. Let s = l + d. Is s a multiple of 11?
False
Let b be (-1)/12*-33 - (-2)/8. Suppose -17 = -g + b. Suppose k + u - 15 = 5*u, -g = -2*k - 2*u. Is k a multiple of 7?
False
Let c = -175 + 64. Is 9*-1*1702/c a multiple of 16?
False
Let q be (110/15)/((-2)/(-6)). Suppose r - 2195 = -5*h, -q*h + 18*h + 1740 = 4*r. Is 63 a factor of h?
False
Is 10 a factor of (65/2 + -1)/((-17307)/17388 + 1)?
False
Let t(f) = -41*f - 103. Let p be t(6). Let n = p + 629. Is 21 a factor of n?
False
Suppose 0 = 4*f + 6*m - m - 35, -f + 15 = -5*m. Suppose 0 = f*b + 693 - 7323. Is 39 a factor of b?
True
Let w be (-1)/((1*-2)/10). Suppose 185*v = 197*v - 24. Suppose 4*q + 3*b = w*b + 184, -3*b + 76 = v*q. Is q a multiple of 11?
True
Let b(z) = 19*z - 184. Let r be b(11). Suppose -35*h = -r*h - 850. Does 15 divide h?
False
Let k(i) = 94*i**2 - 2. Let l be (2 - -5)*((-36)/(-28) - 1). Let z be k(l). Let s = z - 176. Is s a multiple of 33?
True
Let v(j) = -9*j - 379. Let w be v(-41). Is (-79786)/(-70) + (-2)/w a multiple of 20?
True
Suppose -5*n + 2*u + 2*u + 64 = 0, 4*n + 4*u - 80 = 0. Is 3 a factor of (-4 - 75/(-20)) + 628/n?
True
Let r(a) = a**3 - 8*a**2 - 22*a + 22. Let h be r(10). Suppose -2*q + 6*q - d - 272 = 0, h*q - 136 = -d. Does 32 divide q?
False
Let k(h) = -334 + 350 + 4*h**2 + 2*h**2 + 2*h. Is 78 a factor of k(-5)?
True
Let x(j) = -4*j - 2*j - 3 + 3*j**2 + 2*j**2 - j**2. Let y = -67 + 72. Is x(y) a multiple of 7?
False
Suppose -3*k + 6851 = 4*m, -2*k - 12 = 2*k. Is ((-196)/245)/((-2)/m) a multiple of 49?
True
Let x be 1019*1 + 23 + -24. Let w = x + -661. Is w a multiple of 17?
True
Let s be (-270)/11 - 168/(-308). Let r = 244 - s. Is r a multiple of 11?
False
Suppose -4*k + k + 3*b + 6453 = 0, -b - 8619 = -4*k. Let w be 1 + 1 + (43 - 27). Is 60 a factor of k/w - (-18)/81?
True
Suppose -54*x = -114*x + 57*x + 2082. Is x a multiple of 37?
False
Let o = 763 + 61. Is o a multiple of 8?
True
Suppose -8*m = -11*m + 876. Let c = m - 82. Is 7 a factor of c?
True
Let r be (3 - (-20)/24*-3)*-12. Let k be (-2)/(-7) + 2535/21 + r. Suppose 3*m = j - k, 2 = -m - 3. Is 16 a factor of j?
False
Let v(h) = -68*h**3 - 46*h**2 + 6*h + 4. Is v(-4) a multiple of 8?
False
Suppose a + 2 = 25. Let q = -16 + a. Let i = q - -25. Is 8 a factor of i?
True
Let x = -249 + 99. Suppose 2*k - 199 + 653 = 0. Let s = x - k. Is s a multiple of 7?
True
Let u be (5 - 1)*(-3)/(-6). Suppose 10 + 20 = -u*f. Let v(g) = g**2 + 15*g + 18. Is v(f) a multiple of 4?
False
Let q(r) = r**3 + 16*r**2 + 12*r - 5. Let m(z) = 2*z**3 + 32*z**2 + 24*z - 11. Let i(c) = 3*m(c) - 5*q(c). Let w = 541 - 556. Is i(w) a multiple of 37?
True
Let b(u) be the second derivative of -u**6/240 - u**5/20 - u**4/2 + 5*u. Let z(v) be the third derivative of b(v). Does 9 divide z(-5)?
True
Suppose 2 = 2*j + 6. Let k be ((-1)/j)/(8/(-64)). Is -51*(k + 2/(4/6)) a multiple of 12?
False
Let c(r) = r**3 + 22*r**2 - 19*r + 90. Let f be c(-23). Does 10 divide f/3 - (-452)/3?
True
Let a(s) be the second derivative of s**3/3 - 25*s**2 + 31*s. Let m be a(26). Does 9 divide (2/(m/139))/(1 + 0)?
False
Is 31 a factor of (7 + -38)/((-9)/12105*5)?
True
Let f(s) = 2*s - 16. Let p be f(10). Is 16 a factor of ((-1728)/(-30) + p)/((-2)/(-10))?
False
Let a(m) = -98 - 75*m - 78*m + 144*m. Is 33 a factor of a(-29)?
False
Suppose 195*m = 247*m - 3161495 - 331865. Does 20 divide m?
True
Let f(d) = -16*d - 114. Let p be f(25). Let z = 1141 + p. Does 33 divide z?
True
Let z be (84 - 76)*(-314)/8. Let x = z - -474. Does 8 divide x?
True
Let x(k) = k**2 + 25*k + 90. Let n(p) = -5*p - 54. Let h be n(-4). Is x(h) a multiple of 12?
True
Let s(g) = g - 21*g**2 + g**3 + 14*g + 23 + 6*g. Does 65 divide s(21)?
False
Let k be (-53)/(4 - 6 - -3). Let c(x) = x**3 + 51*x**2 - 116*x + 118. Is c(k) a multiple of 18?
True
Let q(o) = -o + 5. Let g be q(8). Let n be g*8*(-3)/18. Suppose 2*z + 2*f - 54 = 0, 5*f = z - 5 - n. Does 6 divide z?
True
Suppose a = m - 7, -4*m + 5 + 7 = 4*a. Suppose -245 = -m*t - 3*p + 817, 0 = -3*t + 2*p + 622. Is t a multiple of 14?
True
Suppose -42810 = -5*x - 4*m, 4*m + 8562 = x + 9*m. Is x a multiple of 216?
False
Is (3/9)/((-1)/46)*(-10872)/48 a multiple of 23?
True
Suppose -21427 = -4*q + 3*o + 21261, 2*q - 21344 = -o. Is q a multiple of 46?
True
Suppose -4*f = -61 + 45. Suppose 3*s - 12 = -t, -2*t - f*s = 8 - 32. Let g = t - -34. Is 12 a factor of g?
False
Let p(f) = -4*f + 25. Let m be -2 - ((-12)/4 + 0). Let u be ((-76)/(-12) + m)*9/(-6). Does 10 divide p(u)?
False
Let s = -117 - -164. Suppose 5*r + 137 = 3*b, 0*b = b - r - s. Is b a multiple of 49?
True
Let w = 14 + 40. Let v = w - 50. Suppose 5*z + 0*z - d = 349, -2*z + 136 = -v*d. Is 10 a factor of z?
True
Let o = 28568 - 28108. Is o a multiple of 4?
True
Let q(k) = -2*k**3 - 2*k**2 + 