/6 - 3*o**3/2 + o**2/2 + o. Does 17 divide u(v)?
False
Let m be (32 + -3)*4 - 6/2. Let b = 203 - m. Is 9 a factor of b?
True
Let j(k) = -2178*k + 4788. Does 69 divide j(-5)?
False
Let l(m) = 3941*m**3 + 20*m**2 - 8*m + 7. Does 10 divide l(1)?
True
Let q be 2/(-12)*4 - (-8)/12. Suppose 2*o + q*o + 4*l - 74 = 0, -o = -l - 34. Let v = 121 - o. Is v a multiple of 7?
False
Let k = -1727 + 4652. Suppose 3*w - 306 = k. Does 19 divide w?
False
Suppose 172 = 26*s + 42. Suppose 0 = -0*d + s*d - 3*a - 2197, 421 = d + 4*a. Does 19 divide d?
True
Let i(r) = 2*r**2 - 15*r - 1. Let m be i(7). Let l = 8 + m. Suppose l = 4*p - 2*y - 99 + 23, -4*p = 3*y - 96. Is p a multiple of 21?
True
Let t be 998/(-3) + -7 + 23/3. Let n = t + 620. Is 6 a factor of n?
True
Let d(t) = -28*t - 40. Let c be d(-25). Is 22 a factor of ((-36)/(-30))/3*c?
True
Let u be (14/(-4))/((-13)/78). Suppose -k - 6*k + u = 0. Let l(f) = 14*f + 5. Does 18 divide l(k)?
False
Let g = 741 - 496. Let l = 101 - g. Let y = l - -218. Is y a multiple of 38?
False
Let a(c) = c**3 + 8*c**2 - 3*c - 10. Let n be a(-8). Let v be ((-7)/n)/((-3)/30). Suppose t - 3*s = 2*t - 120, 284 = 2*t - v*s. Does 15 divide t?
False
Let l(o) = 38*o + 60. Let j(i) = -115*i - 179. Let h(f) = -2*j(f) - 7*l(f). Is 31 a factor of h(-8)?
False
Does 14 divide (-25127520)/3300*(-5)/2?
False
Let r(g) = 27*g + 9. Suppose 5*v + 2*s - 63 = 0, 23*v - 35 = 18*v + 5*s. Is 34 a factor of r(v)?
True
Let w be (-16)/(-10) + ((-99)/15 - -7). Does 4 divide (-59832)/(-468) + 2/13 + w?
False
Let b(m) = -m**2 - 3*m + 388. Let i be b(0). Suppose 5*d = -c - 3*c + i, -5*c - 2*d = -468. Does 46 divide c?
True
Let o(x) = 2*x**2 + 81*x - 197. Is o(-47) a multiple of 2?
True
Suppose 6*n = -61 + 73. Suppose 0 = -n*b + 2*h + 226, 5*h = -2*b + 2*h + 206. Does 8 divide b?
False
Suppose 0 = 5*z - 879 - 171. Suppose -3*i + 275 = -5*n, 4*n - 5*i - 3 + z = 0. Let x = n + 90. Is x a multiple of 16?
True
Let c(s) be the second derivative of -71*s**3/6 - 9*s**2/2 - 15*s. Let n(d) = -35*d - 4. Let t(p) = -4*c(p) + 9*n(p). Does 10 divide t(-2)?
False
Let f = 1 - -26. Suppose f = 3*g - 3*k, 0 + 2 = -2*k. Is 4 a factor of 122/g + (0 - (-2)/(-8))?
False
Let l be (13 - (-48)/(-4)) + (0 - -9). Is 18 a factor of (-515)/2*(84/10 - l)?
False
Let y be 699/(-2) - (-8)/(-16). Let h = y - -560. Is 15 a factor of h?
True
Let n(l) = -l**3 + 12*l**2 + 20*l - 16. Let y be n(-11). Let a = y + -1617. Is 74 a factor of a?
False
Let m(c) = -86*c**3 + 2*c + 6. Let u(r) = 7*r + 180. Let w be u(-26). Is 30 a factor of m(w)?
True
Let n(q) = 1667*q + 2218. Is 29 a factor of n(13)?
False
Suppose 4*c = 4*d - 644, 0 = -d + 3*c + 54 + 113. Is 29 a factor of 2 - 1*(-2*d + -1)?
True
Suppose 4*y - 2*x + 163 = -5*x, -157 = 4*y - 3*x. Suppose i = -3*h + 248 - 32, 0 = 4*h + i - 289. Let c = y + h. Is c a multiple of 5?
False
Let p be (-8)/(720/(-438)) - 2/(-15). Suppose -25 = -p*g - 2*k, 5*g - 3*k + 8 - 58 = 0. Suppose 142 = -g*u + 9*u. Is 14 a factor of u?
False
Let z = -63 + 2. Let g = -57 - z. Suppose -37 - 177 = -5*w + k, 0 = 2*w + g*k - 68. Does 14 divide w?
True
Suppose 0 = 3*o - p - 2*p - 2235, -3*p = -o + 745. Suppose -3*s = -o - 251. Does 83 divide s?
True
Let b = -742 + 642. Is 28 a factor of ((-269)/(-2))/(490/b + 5)?
False
Let q(f) = -253*f**2 - 5*f - 4. Let n be q(-1). Let b = -163 - n. Does 2 divide b?
False
Let g = -90 + 90. Suppose g = 103*q - 99*q + 264. Is (-7 - 11)*(q/9 - -2) a multiple of 40?
False
Is ((-5247)/6)/(((-198)/24)/33) a multiple of 13?
False
Let j(m) = -336*m**3 - 2*m**2 - 3*m - 2. Let z(v) = -2*v**2 + 10*v - 11. Let w be z(4). Let n be j(w). Does 15 divide n/68 - (-1)/(-4)?
False
Suppose -3*h = 21, 1702 + 1557 = m + h. Is 134 a factor of m?
False
Suppose 5*f - 3*d = 33, 0 = -2*f + 3*d + 16 - 10. Let k(z) = -3*z + 6. Let x be k(6). Is 7 a factor of 110/f + x/54?
False
Suppose -4*f = -5 - 19. Suppose 182 = 6*n + 2. Let o = f + n. Does 7 divide o?
False
Suppose -2*r = -5*z + 236 - 3861, r + z = 1809. Let g = r - 795. Is 35 a factor of g?
True
Suppose -16 = -4*w, 3*w = -30*i + 26*i + 8692. Does 5 divide i?
True
Let h = 3228 + -3201. Does 25 divide h?
False
Suppose -53*z + 51 = -50*z. Suppose 2*o - z*o = -2400. Is o a multiple of 21?
False
Let c(z) = -4371*z - 10*z**3 + 3 + 4371*z - 2*z**2. Does 21 divide c(-2)?
False
Suppose -13*w + 10*w + 2753 = 4*k, -2*k = 3*w - 1375. Is 35 a factor of k?
False
Let f(j) be the third derivative of 10*j**3 + 0 + 0*j + 1/24*j**4 - 13*j**2. Is f(0) a multiple of 18?
False
Let j(s) = 134*s**3 + 9*s**2 - 72*s - 19. Is 9 a factor of j(5)?
True
Suppose -2 = 2*z, -5*f - z - 31 = -10*f. Let l be 56/f - (39/9 - 4). Let r(q) = -q**3 + 10*q**2 - 6*q - 17. Is 6 a factor of r(l)?
False
Let n(t) = 26*t**2 + 517*t + 54. Is 72 a factor of n(-26)?
False
Suppose -194*n + 200*n - 44304 = 0. Is 16 a factor of n?
False
Let a(h) = 12*h**2 - 16*h + 14. Let d be a(11). Let o = d + -920. Does 37 divide o?
True
Suppose -31*r = -29*r - 8. Suppose 0 = 3*j - 5*o - 56, -2*o = -r*j + 154 - 56. Is 5 a factor of j?
False
Let f be (39 + -45)/(1 + 1). Does 23 divide f + 6 + 41 - -2?
True
Suppose 469*m - 467*m - 22 = 0. Let p(z) = 2*z**3 - 23*z**2 + 16*z - 38. Is p(m) a multiple of 10?
False
Suppose -p + 2*d + 76 = -26, -4*p + 408 = d. Let y = 156 - 87. Let c = p - y. Is c a multiple of 11?
True
Let a = 52 - 46. Suppose -a*w + 12 = -2*w. Suppose -w*t - 121 = -y, t + 7 = 3. Is y a multiple of 9?
False
Let v(u) be the first derivative of -u**4/4 + 8*u**3/3 + 10*u**2 - 3*u + 14. Let y be v(10). Is 6 a factor of (22/(-2))/(2*y/30)?
False
Let k be -6 + (3 - -5) + 19. Suppose -1573 = k*a - 14971. Does 20 divide a?
False
Let d(l) = 2*l**2 + 5*l - 3. Let m(x) = x**3 - 22*x**2 - 4*x + 93. Let a be m(22). Is d(a) a multiple of 12?
True
Let n(f) = -16*f**3 - 30*f**2 - 43*f + 2. Is n(-3) a multiple of 140?
False
Suppose -4*k + 12 = k - 2*f, 0 = -5*f + 20. Suppose k*g = -2*i + 216, -252 = -5*g + 6*i - 4*i. Is g a multiple of 4?
True
Let n(u) = -3*u**3 + 15*u**2 + 99*u + 62. Is n(-13) a multiple of 42?
False
Let p = -2954 - -10556. Does 165 divide p?
False
Let a(t) = 6*t - 15. Suppose 0 = 2*f + 4*b - 22, -3*f - 3*b + 24 = -0*f. Suppose c + 3*o + 32 = f*c, -2*c + o = -14. Is 5 a factor of a(c)?
True
Suppose -84*s + 56*s + 138577 = -108719. Is 12 a factor of s?
True
Let l(q) = 1751*q**2 + 14*q + 13. Let x be l(-1). Suppose -x = -14*m + 4*m. Does 23 divide m?
False
Let v(r) = 2*r**2 - 5*r**3 - 4*r + 9*r - 19*r**3 - 2 - 4*r. Is 28 a factor of v(-2)?
True
Suppose 6*v + 5*v = 22. Suppose 0 = p - v*p - 5*p. Suppose p = -4*d + 3*d + 169. Is 14 a factor of d?
False
Let h(m) = -55*m - 61. Let q(o) = -o - 2. Let c(y) = h(y) - 4*q(y). Is c(-2) even?
False
Let c = 344 + -342. Suppose -3*j + 305 = b, -415 = -4*j - 5*b + c*b. Is 4 a factor of j?
True
Let z = -17584 + 62393. Does 45 divide z?
False
Is (-90)/5 + 2417 - 24 a multiple of 2?
False
Suppose 2*i + 7240 = 6*i. Suppose -2*y - 190 = -i. Is y a multiple of 72?
False
Let c = -34 + 40. Suppose 8*u = c*u + 546. Is 39 a factor of u?
True
Suppose 9 = -g + 4*s, 24*g - 26*g + 2 = -3*s. Suppose g*b + 564 = 13*b. Is 2 a factor of b?
True
Suppose 12*l - 8 = 10*l. Let s(t) = t**2 + 4 + 7 + l - 1. Is 5 a factor of s(6)?
True
Let w(m) = m**3 + m**2 - 15*m - 6. Let b be (25 - 31)/(((-3)/(-2))/1). Let j be w(b). Let n(i) = i**3 + i**2 - 28. Is n(j) a multiple of 28?
True
Suppose 4*l - 114 = -74. Suppose -l*m + 9*m + 16 = 0. Is m a multiple of 16?
True
Suppose -5*z - 306 + 51 = 0. Let u = 62 + z. Suppose u*m = 272 + 1708. Does 45 divide m?
True
Suppose p + 15*p - 16511 = -3*p. Does 11 divide p?
True
Suppose 6*t = i - 1452, 7*i - 2*i + 4*t = 7464. Is 4 a factor of i?
True
Let h = 6 - -1. Suppose -2*b - 4*c + 20 = 0, 299*c = 295*c + 20. Suppose h*s = 2*s + n + 281, 4*s + 5*n - 248 = b. Is s a multiple of 19?
True
Let m(s) = 12*s + 50. Let y be m(-4). Suppose -3*t + 558 = 2*i - 59, 3*i = -y*t + 403. Is t a multiple of 19?
True
Suppose 14 = 4*k - 2, -4*w + 2*k = -44. Suppose w*d - 843 = -323. Suppose h - 80 = d. Does 15 divide h?
True
Suppose 5*a - 1225 = 1540. Let r = 1453 - a. Suppose 9*o - r = 5*o. Does 12 divide o?
False
Let j = 2118 + -1956. Is 27 a factor of j?
True
Is ((-12)/18 - (1537571/(-21) + -7)) + -8 a multiple of 13?
True
Suppose 0 = -4*p + 2203 +