= -4*t - 20. Let m(i) = -5*h(i) - 4*v(i). Let o be m(15). Suppose -5*l = o, 5*a + 4*l = l + 1422. Is 24 a factor of a?
False
Suppose 5*f = -2*c + 4*f + 6, 4*f = -16. Suppose 50 = 10*h - c*h. Is 4 a factor of 456/20 + 2/h?
False
Suppose 2*s + m - 2 = 0, 3*s + m = -1 + 2. Is 494/(3 + (s - 0) + 0) a multiple of 13?
True
Suppose b - 5473 = -5*w, 3*b - 1605 = -31*w + 14702. Is b a multiple of 51?
True
Suppose -5*t = -25, 13*v - 2*t + 4554 = 15*v. Is v a multiple of 16?
True
Let g = 127 - -82. Suppose -s + g = 9. Is 40 a factor of s?
True
Let c(s) = 74*s**2 + 4036*s + 68. Is c(-70) a multiple of 15?
False
Let b = 6449 + -351. Is b a multiple of 35?
False
Let m(s) be the second derivative of s**6/60 - s**5/60 - s**3/2 + 17*s**2 + 29*s. Let a(z) be the first derivative of m(z). Is a(2) a multiple of 9?
True
Let f = 2981 + 3739. Does 60 divide f?
True
Is 3818 + -2 + (-2 - -7) a multiple of 40?
False
Let h(m) be the second derivative of -m**5/20 + m**4/4 - 5*m**3/6 + 3*m**2/2 - 239*m. Is h(-4) a multiple of 15?
True
Suppose m + 4*z - 12 = 7*z, -2*z - 8 = 0. Does 8 divide 861*(m - 4/(-12))?
False
Does 25 divide (-444)/2*(-64)/160*2525/30?
False
Let r(w) be the second derivative of w**3/3 + 4*w**2 - 42*w. Is r(4) a multiple of 4?
True
Let k(g) = 146*g**2 - 3*g - 4. Let y(t) = 293*t**2 - 5*t - 9. Let l(p) = 2*p - 29. Let c be l(13). Let m(i) = c*y(i) + 7*k(i). Is 25 a factor of m(-1)?
False
Let i = -19 - -25. Let x be (-9 + 11)/(i/(-51)). Let q = x + 26. Does 3 divide q?
True
Let h(n) = -n**2 - 387*n + 260. Does 58 divide h(-47)?
True
Suppose -2*o + 5*x = -12744 - 16233, 3*o + 3*x - 43497 = 0. Is o a multiple of 151?
True
Suppose 0 = 4*q - 93*q + 507567. Is q a multiple of 32?
False
Let p(b) = 400*b - 7. Let d(k) = 13*k - 12. Let l be d(1). Is p(l) a multiple of 6?
False
Suppose -8*s + 18 = -2*s. Suppose -s*l = 12 - 3. Is 73/3 - (l - (-30)/9) a multiple of 12?
True
Let r be (-316)/3*9/(-6). Suppose r*z = 161*z - 39. Is 9 a factor of z?
False
Let p(m) = 183*m**2 + m - 3. Let q = 708 + -710. Is p(q) a multiple of 23?
False
Suppose 2*x - q = 851, -3*x - 2125 = -8*x + 3*q. Suppose 2*u - 42 = x. Is u a multiple of 27?
False
Suppose 0*r + 2*r + 5*q = -234, 2*q - 332 = 3*r. Is (4 + 0 + 3)/((-4)/r) a multiple of 10?
False
Let s = 4758 - 3426. Does 5 divide s?
False
Suppose s - 4 = -3*s. Is (6/(-7))/(s/(-70) + 0) a multiple of 6?
True
Suppose 5*x - 58 = z, x + z = -3 + 17. Suppose 19*t - 11160 = -x*t. Is t a multiple of 60?
True
Suppose -101*r = -1106339 - 297359. Is 39 a factor of r?
False
Let f = -109 + 109. Suppose f = -15*y + 148 + 407. Does 5 divide y?
False
Let i(n) = 3*n**2 - 38*n + 32. Let h be i(12). Suppose h*s - 614 = -78. Is 23 a factor of s?
False
Let y(f) = 12*f - 16. Let p = -13 + 24. Let i be y(p). Is i - (-3)/(-3 - -6) a multiple of 15?
False
Let p = 7914 - 187. Does 44 divide p?
False
Suppose 0 = -16*q + 1772 + 11540. Is 4 a factor of q?
True
Suppose -3*u = -3*j, u + 11 = 4*j - 4. Suppose 4*z = -u*f + 4681, 5*f + 4671 = 2*z + 2*z. Does 16 divide z?
False
Let f(l) = -l**2 - 2*l + 31. Let v be f(-7). Is (v/(-8) + -1)/((-4)/272) a multiple of 3?
False
Let u(w) = 694*w + 9062. Does 30 divide u(7)?
True
Let y(j) = -13*j - 151. Let g(x) = 13*x + 152. Let b(h) = 2*g(h) + 3*y(h). Does 85 divide b(-18)?
True
Let i = 1496 - 2575. Let c = i + 1599. Does 26 divide c?
True
Let i be (-18)/(-12) - (17/(-2) + -2). Let x(t) = -t**2 + 12*t + 12. Let b be x(i). Suppose 4*y = -b, l + 2*y - 25 = 23. Is 27 a factor of l?
True
Let s be (-34318)/(-3) - (-7)/((-63)/(-6)). Suppose -20*j - s = -36*j. Does 65 divide j?
True
Let i be (-2 - -35) + (-42)/14. Suppose -q + 29016 = i*q. Is 10 a factor of q?
False
Suppose 5*v = 55*r - 52*r - 7175, 0 = -2*r + v + 4795. Does 50 divide r?
True
Let n(k) = -2*k**3 - 7*k**2 - k + 12. Suppose 0 = -s - 3*h + 2*h + 6, -20 = -5*s + 5*h. Suppose 3*q - 4*q + 22 = -5*y, s*y + 4*q = -37. Is 21 a factor of n(y)?
False
Let o(k) = 668*k**2 - 38*k + 146. Does 57 divide o(9)?
False
Let n = -35 - -40. Suppose 0 = n*g - 183 + 13. Let r = g - 14. Is r a multiple of 20?
True
Let g(p) = 51 - 51*p - 23 + 8. Does 42 divide g(-8)?
False
Let p be (((-476)/(-21))/(-4))/((-1)/3). Suppose 4*c = -m + p, 2*c - 4*m - 2 + 16 = 0. Suppose -c*n + 2 = -16. Does 5 divide n?
False
Let b(z) = -32*z**3 - 10*z**2 - 52*z - 200. Does 3 divide b(-4)?
True
Let w(y) = 698*y**3 - 3*y**2 - 17*y + 19. Is 17 a factor of w(1)?
True
Suppose -2*w - 6 = -0*w, 123 = -2*v - 5*w. Let t be 0 + (-12)/21 - v/21. Suppose 5*c + 2*y - 64 = 0, -3*c + 4*y + 82 = t*c. Is 14 a factor of c?
True
Let i(j) = -j**3 + 14*j**2 - 16*j - 17. Let k be i(13). Let q = 59 + k. Suppose -34 - 62 = -q*s. Is 10 a factor of s?
False
Is 6 a factor of (-40)/(-30)*62235/6?
True
Let d = 23384 + -22988. Does 2 divide d?
True
Let k(g) = g**3 + 94*g**2 - 217*g + 195. Is 15 a factor of k(-96)?
True
Let y be 1/2 - (30/(-4))/5. Suppose 2*b - m = m + 160, 0 = y*m. Is 10 a factor of b?
True
Let n = -135 - -183. Suppose -62*s = -n*s - 7826. Does 13 divide s?
True
Suppose -14*m = -9*m - 90. Suppose -3*i = -3*k - 0*i + m, 3*k = -4*i + 4. Suppose 54 - 19 = x - t, -k*t + 10 = x. Is 4 a factor of x?
False
Suppose 2*p - k + 641 = 0, -4*k - 1575 = 5*p - k. Let u be ((p/(-4))/3)/(57/342). Let x = -33 + u. Is 18 a factor of x?
True
Is 100 a factor of 4/(12/9) + (8 - (-4240 + 15))?
False
Does 17 divide -102*(-150)/(-90)*10084/(-40)?
True
Let o(k) = 97*k**2 - 2*k - 6. Let f be o(15). Suppose -f = -26*l - l. Is 28 a factor of l?
False
Suppose 3*p - 5*h + 0*h - 895 = 0, -3*p = 5*h - 905. Suppose 3*l + 75 = -3*f + 4*f, 4*f - p = -4*l. Does 25 divide f?
True
Let v(h) = -h**2 - 20*h - 98. Let g be v(-8). Let k(y) = -6*y - 2. Let s be k(-2). Is (-10278)/(-90) + g/s a multiple of 38?
True
Let w be 7228/3 + (24/(-9))/2. Let n = -1589 + w. Does 7 divide n?
True
Let v(x) = -2*x**2 - 19*x - 10. Let s be v(-8). Suppose z - 17 = -s. Suppose -z*w + 89 = 2*r, -5 + 6 = r. Is w a multiple of 6?
False
Let q(p) = 6*p**2 - 33*p - 116. Does 19 divide q(-34)?
True
Let c(p) = -5*p**3 + 13*p**2 - 5 - 9*p**2 - 26*p**2 + 0 - 2*p + 2*p**2. Does 26 divide c(-5)?
True
Let o = -26514 - -60781. Does 271 divide o?
False
Let a(q) = 26*q + 989. Let b be a(0). Let m = b - -112. Is m a multiple of 12?
False
Suppose -j + 21 = -n, 4*n - 2*n + 86 = 4*j. Let z be 4 + 430/(-55) + (-4)/j. Is ((-102)/z)/(4/8) a multiple of 6?
False
Suppose 0 = 42*z - 89 - 79. Suppose y = 3*i - 4018, -8404 = -z*i + 5*y - 3054. Is i a multiple of 20?
True
Suppose -5*k - 121 + 30749 = -4*z, -3*k = z - 18353. Is 204 a factor of k?
True
Let t = 109 - 64. Let f = 48 - t. Suppose 107 = 3*c + 2*p, -c + f*p + 2*p = -64. Is c a multiple of 10?
False
Suppose w = 2*u + 196, 2*w - 174 = u + 218. Suppose 4*p + 92 = 2*r, -4*r + 0*p + 5*p + w = 0. Let h = r - -35. Is 19 a factor of h?
False
Suppose -3*h = -2*m - 4612 + 11658, 4*m - 5*h = 14096. Is 29 a factor of m?
False
Let g = 24 + -26. Is 20 a factor of 4/(g - 2915/(-1455))?
False
Let c be -2*((-575)/(-10))/(-5). Let o(q) = q**3 - 23*q**2 + 29*q - 6. Is 49 a factor of o(c)?
False
Let j(b) = 54*b + 2390. Is 8 a factor of j(3)?
True
Let s = 163 - 257. Let j be (-13 - -11)/(2/s*2). Let d = j - -46. Is 31 a factor of d?
True
Let i(m) = 979*m**2 - 250*m - 963. Is 11 a factor of i(-4)?
False
Let k be 4*((-59)/4 + -4). Let c = 334 + k. Is 37 a factor of c?
True
Suppose 563254 = -185*i + 1880376 + 303478. Does 73 divide i?
True
Let t = 480 + -183. Suppose -2*v - 251 - t = -4*u, u + 4*v = 146. Suppose -4*i + u + 177 = 5*w, i = 0. Does 9 divide w?
True
Let l = 19419 - 13699. Is l a multiple of 40?
True
Let m(a) = a**2 + a. Let r be m(-4). Let k(x) = -3*x + 3. Let q be k(r). Let s = q - -76. Does 43 divide s?
True
Let h = 8207 - 5631. Is h a multiple of 64?
False
Let q = -35 - 56. Let p(n) = 15*n**2 - 7*n - 27. Let g be p(0). Let d = g - q. Does 8 divide d?
True
Suppose -2*w + 682 = 2*y, -2*y + 4*w + 166 + 510 = 0. Let q = y - 114. Does 19 divide q?
False
Let t = -1304 - -1876. Let u = t + -266. Is u a multiple of 8?
False
Suppose 37*x - 153 = 20*x. Suppose 3*z = -4*i + 550, 6*z - x*z + 5*i = -595. Is 3 a factor of z?
False
Suppose 16*g - 53*g = -888. Suppose g*r - 23*r = 23. Does 2 divide r?
False
Let l be 1*(3 - 0) + 2 + 2. Let h(o) = o**3 - o**2 + 1. Let t(k) = -3