f m?
True
Let z be 3/7 + (-7950)/175. Does 30 divide ((-263)/12 - 39/52)*z?
True
Let k(a) = 7*a - 53. Let i be k(8). Suppose -4*t - 38 = -2*l, -8*l + 3*l + 134 = i*t. Does 3 divide l?
False
Let c = 12071 - 2821. Does 37 divide c?
True
Suppose 68*l - 18*l = 582200. Is l a multiple of 40?
False
Let n = 858 - 839. Let v(g) = -2*g**2 + 3*g - 1. Let u be v(2). Does 5 divide n + (-4 - u)*4?
True
Let o(h) = h**3 + 17*h**2 + 18*h + 37. Let w be o(-16). Suppose -2*c = 10*g - 9*g - 76, w*c + 5*g - 180 = 0. Does 16 divide c?
False
Let p = 688 + -669. Suppose -24*k = p*k - 5590. Does 2 divide k?
True
Suppose 4*u = -3*p + 2*p + 17, -2*p - 4*u = -18. Is 80 a factor of 477 + 2 - -6 - 5/p?
True
Suppose 8*r = 22*r - 154. Suppose 10*d - 4*j + 114 = r*d, 5*j + 670 = 5*d. Is 5 a factor of d?
True
Suppose 4*z - 4*v = 55960, -v + 43280 = 5*z - 26646. Is z a multiple of 14?
True
Suppose -3*j + 3*n - 3882 = 0, -6450 = 5*j - 0*j - n. Let c = 882 + j. Let l = -201 - c. Does 14 divide l?
False
Let h(b) be the third derivative of -b**4/4 - 11*b**3/3 + 5*b**2. Let r be h(-4). Suppose -3*p + r*p = 3*f - 39, 0 = -5*p. Is 10 a factor of f?
False
Suppose -917 = -n + 8*n. Is 8/(-5)*(n - 12/3) a multiple of 36?
True
Suppose 32*s = 3*s + 4089. Is s*6/27*(8 - -10) a multiple of 18?
False
Is 176 a factor of (-2 - (-29 + 4)) + 29163?
False
Let s be 18/(-12)*4164/(-18). Suppose s = 2*r - 169. Does 8 divide r?
False
Let z(s) = -s**2 + 8*s + 5. Let x be z(8). Suppose x*p + 1 = -4*l + 12, 0 = -l - 1. Suppose 0*n - 450 = -3*g - p*n, g - 2*n - 165 = 0. Does 28 divide g?
False
Let i(y) = -913*y + 6452. Does 101 divide i(-13)?
False
Suppose 297 = -18*d + 7*d. Let v = 46 + d. Suppose -v + 79 = 2*i. Is 15 a factor of i?
True
Let m(c) = -2*c + 8. Let q be m(3). Suppose 4*g = q*r + 8, -r + 2 = -2. Is 4/(-6)*(-252)/g a multiple of 7?
True
Let z be ((-6)/8)/(-1) + (-176340)/(-80). Suppose 3*c - z = -2*j, 2*c + 284 = -j + 1754. Is 11 a factor of c?
False
Suppose -715 + 116 = -c. Suppose c = 3*l - 0*l + 5*w, -l + 188 = 4*w. Is l a multiple of 23?
False
Let o = 275 - 732. Let b(q) = q**3 - 19*q**2 + 7*q - 63. Let x be b(18). Let z = x - o. Does 34 divide z?
False
Suppose 8 = 4*o, 7*g - 2*o = 16384 - 4236. Is 56 a factor of g?
True
Let k be 94/(-235) + (-56)/10. Is (-1679)/k - (-1)/6 a multiple of 16?
False
Let f(k) = -11 - 36*k + 1 - 10 + 2. Is 12 a factor of f(-4)?
False
Is 161 a factor of (-1)/(4/(-2704))*148/16?
False
Suppose 0*x = 4*x - 7*x. Let m be -6 + x + 0/1. Is (2/3)/((-1884)/315 - m) a multiple of 7?
True
Suppose 5*y = -258 - 587. Let v be y*125/(-20) + 1/(-4). Suppose 3*i + v = 11*i. Is i a multiple of 12?
True
Let w = 17212 - -1884. Does 28 divide w?
True
Let a be 1*-2*(-5 + 4) + 42. Suppose 0 = y + 38 + a. Let u = -6 - y. Is 38 a factor of u?
True
Suppose 6*g - 7*g = 3*f - 216, 0 = -2*g - 4*f + 422. Let w = g - 180. Does 21 divide w?
True
Suppose 170*v - 1094564 + 175196 = 698352. Is v a multiple of 32?
False
Suppose 5*u + 35 = 5*j, -28 = -2*j - u - 4*u. Let h(n) = n**2 - 12*n + 33. Let x be h(j). Is 1/1*(18/2 + x) a multiple of 11?
False
Let s be 4/(-12) + (-19)/(-3). Suppose 2*g - 2*l = 102, l + s = 2*g - 100. Is 26 a factor of g?
False
Suppose 3*i + n = 23, 3*n - 2 = 2*n. Suppose -3*p + 4 = i. Is 29 a factor of 203/p*(-3 - 4/(-2))?
True
Suppose j + 17 = -2*b, 33 = -5*b - 5*j - 12. Does 3 divide 1/32*4 + (-1191)/b?
False
Does 10 divide (35/105)/(2/7776)?
False
Suppose 28*v - 325883 + 58763 = 0. Is 159 a factor of v?
True
Let n(i) = 3*i**3 - 3*i**2 - 56*i + 620. Does 33 divide n(25)?
True
Suppose 0 = u + 3*c - 36, -92 = -3*u - 3*c + 4. Is 4 a factor of (-4)/((u/248)/(-15))?
True
Suppose 0 = -72*a - 236*a + 5789784. Does 49 divide a?
False
Suppose -83370 = -5*z + j, -16*z - 4*j - 33330 = -18*z. Is 29 a factor of z?
True
Suppose -123697 + 28147 = -10*p. Is 15 a factor of p?
True
Is 19 a factor of 29*((-4)/8)/(1/(-98))?
False
Let c = -24 + 29. Let x(l) = -3*l - 1. Let k be x(c). Let y = 66 + k. Is 10 a factor of y?
True
Let x(w) = -w**3 - w**2 + 9*w - 3. Suppose -5*q - 141 - 1614 = 0. Let v be 4/7 + q/63. Is x(v) a multiple of 16?
False
Suppose 2*j + 20 = 7*j. Let z = -3000 - -3147. Suppose j*k - z = 45. Is 7 a factor of k?
False
Let f(j) = -2*j**3 - 46*j**2 - j - 29. Suppose -2*b - b - 69 = 3*u, -3*b - 69 = 2*u. Let z be f(b). Is 10 a factor of ((-2)/(-6))/(z/(-180))?
True
Let q = -62560 - -88432. Suppose 21*f - q = -f. Is f a multiple of 12?
True
Is 10 a factor of 2 + 2 + 2168 + 6 + 5?
False
Let r be (-8)/(-12) + 40/(-6). Let q be 1 + (-12)/8 - 867/r. Is q/8 + (-3)/1 a multiple of 3?
True
Let b = 130 - 38. Suppose -23 + 603 = -4*z. Let f = b - z. Is f a multiple of 45?
False
Suppose -a - 2*c - c + 1 = 0, -4*c + 38 = 5*a. Does 11 divide ((0 + -2)/(a/2110))/(-2)?
False
Let g(p) = 8*p + 33*p - 5 + 6*p + 103*p. Let r be g(-1). Let i = r - -387. Is i a multiple of 12?
False
Let i(f) = -f**3 + 5*f**2 + 2*f + 16. Let a be i(5). Suppose -29*r + 6 = -a*r. Suppose -n - 5*p - 1 = -41, r*n + 4*p = 110. Does 21 divide n?
False
Let o(i) = 3*i**2 - i + 86. Does 83 divide o(33)?
True
Let q = 3 - -143. Let n = -1207 + 1419. Let b = n - q. Is 33 a factor of b?
True
Suppose 2*h = -2*d + 44188, 2*d - 3*h + 22862 = 67065. Is 19 a factor of d?
True
Let t = 424 + -424. Suppose -205 = 3*i - 4*i + 3*f, 4*i - 4*f - 780 = t. Is 6 a factor of i?
False
Suppose -537 = -11*r + 387. Let n be (-12)/(-4) - (-36)/3. Suppose r = n*m - 51. Is 8 a factor of m?
False
Suppose 12974*k = 12970*k + 285460. Does 190 divide k?
False
Suppose -2*r + 861 = -5*p, 4*p + 1 + 19 = 0. Suppose -r = -21*z + 10*z. Is z a multiple of 14?
False
Let i(p) = -24*p - 38. Let j(o) = 12*o + 19. Let w(a) = 3*i(a) + 5*j(a). Is w(-3) a multiple of 3?
False
Suppose -4*s + u = 72 + 434, -4*u + 134 = -s. Let n = 90 - s. Does 6 divide n?
True
Let u(i) = -i**2 - 15*i + 10. Let m(z) = -5*z**2 - 2*z + 3. Let t be m(1). Let h = t + -1. Does 20 divide u(h)?
True
Let b(l) = 0*l + 124 - 2*l - 2*l**3 - 131. Is b(-4) a multiple of 59?
False
Let b(c) = 2*c - 12. Let k be b(-2). Let m(v) = 2*v**2 + 14*v - 15. Is m(k) a multiple of 13?
True
Let p(m) = -1463*m - 329. Does 7 divide p(-1)?
True
Let v = 57 - 52. Suppose -10*c + 6316 - 666 = 0. Suppose 4*f = c - v. Is 20 a factor of f?
True
Suppose 129 = 3*t - 2*t + 4*b, -b = -5*t + 603. Let i = -90 + t. Suppose 0 = -2*v - 3 + i. Is v a multiple of 14?
True
Suppose 2*y - a + 2*a - 3294 = 0, 4*a = -5*y + 8238. Is y a multiple of 73?
False
Let b be (-616)/18 - 1/9*-2. Let q = b + 38. Suppose 5*r - 175 = -q*l + 9, 5*l - 5 = 0. Does 12 divide r?
True
Suppose 4*z + 8 = -4*u - 4, 5 = 5*u + z. Suppose 3*w - u*w - 4 = 0. Suppose -2*b + 164 = -4*a, 3*b + a + w*a - 290 = 0. Is b a multiple of 30?
True
Let r(d) be the second derivative of -2*d**3/3 - 9*d**2 - 8*d. Let j be r(-5). Does 5 divide -2 + 58 + j + (-2)/2?
False
Let f(l) be the first derivative of l**4/12 - l**3/3 - 13*l**2 - 6*l + 21. Let c(v) be the first derivative of f(v). Is 20 a factor of c(12)?
False
Let w(n) be the first derivative of 19*n**4/4 + n**3 + 3*n**2/2 + 2*n + 99. Is 29 a factor of w(3)?
True
Suppose -p = -3*p + 542. Suppose 5*s + 3*v = 627, -4*v = 2*s + 3*s - 631. Let w = p - s. Is w a multiple of 13?
False
Let s(u) = 2*u - 2*u**3 + 41 + 4*u + 21*u**2 - 42*u**2. Let a(d) = -d**3 - 10*d**2 + 3*d + 20. Let t(j) = 5*a(j) - 3*s(j). Is 3 a factor of t(-13)?
False
Suppose 2 = 6*g - 5*g. Suppose -3*h - g*j + 671 = 3*j, -1155 = -5*h - j. Does 19 divide h?
False
Let f(u) = -225*u - 47. Let s be f(-3). Suppose 632*y = s*y + 160. Is 40 a factor of y?
True
Is 17 a factor of (-83505)/(-20) - ((-76)/16 + 6)?
False
Let c(y) = 2*y**3 + 3*y**2 + 2*y + 2. Let z be c(-2). Let b = z + 76. Is (b/25)/((-4)/(-120)) a multiple of 19?
False
Suppose 97*u - 197697 - 922655 = -126*u. Is u a multiple of 52?
False
Suppose 4*k - 1823 = -c + 4760, 0 = 3*c + 2*k - 19759. Is c a multiple of 46?
False
Let u(c) = -c**2 - 23*c - 12. Let f = -406 + 395. Is 13 a factor of u(f)?
False
Let b(q) = -2*q**2 - 22*q - 15. Let z be b(-10). Suppose 0 = -4*y - 5*w + 245 + z, 323 = 5*y + w. Let i = -50 + y. Is 4 a factor of i?
False
Suppose -5*f - 4*a + 7504 = 0, -203*f + 201*f + a = -3012. Is f a multiple of 2?
True
Suppose 211 = 3*v - 2033. Suppose -5*t = -2*y + 290, -5*y + v = -5*t + 4*t. Is 10 