es 105 divide u?
True
Let z = 17410 - 70. Does 17 divide z?
True
Let m be (16/(-6))/(2/252). Let u be (-5 - (10 - 12))/(-3). Does 13 divide m/(-32)*u*6?
False
Let k(l) = -6022*l + 266. Is k(-2) a multiple of 67?
False
Suppose 0 = -206*r + 204*r - 476. Let m = -231 - r. Does 7 divide m?
True
Let g(q) = 12*q**2 - 20*q - 123. Is g(17) a multiple of 5?
True
Let q be (-1 - (-70)/20)/((-15)/(-36)). Suppose 0 = -q*l + 6333 + 1767. Does 30 divide l?
True
Suppose 2*x = -14 - 94. Let l = -43 - x. Suppose 5*n - l = 159. Is n a multiple of 3?
False
Let c(p) = 11*p + 56. Let a be c(-5). Is (1 - (-4 - -4))/(a/426) a multiple of 32?
False
Let k be (4/(-5))/(4/(-17890) + 0). Suppose 1274 = -6*q + k. Is 24 a factor of q?
True
Suppose 0 = j - 4*x + 7 - 2, -x + 6 = -5*j. Let u(l) = -57*l + 14. Does 5 divide u(j)?
False
Let d = 2318 - -13042. Is d a multiple of 48?
True
Suppose -1189 - 9623 = -2*j. Does 17 divide j?
True
Suppose 0 = 11*h - 10*h - 3. Suppose a - 64 = -3*m + h*a, 0 = -4*m + a + 87. Is m a multiple of 22?
True
Suppose 2*c - 184315 = -231*c + 160991. Is c a multiple of 2?
True
Suppose 0 = 4*k + 5 - 53. Is 26 a factor of k/2 - (-310 - 4)?
False
Does 13 divide 6/(-12 - (-23410)/1950)?
True
Let z(j) = -9*j + 4. Let n(h) = -144*h + 63. Let t(m) = -2*n(m) + 33*z(m). Let v be t(-17). Suppose 2*l = 65 + v. Is l a multiple of 16?
True
Suppose u = 32 - 12. Suppose h + 66 = b, -3*b - 2*h = -168 - u. Let x = b + 36. Is x a multiple of 28?
False
Let j(x) be the third derivative of -7*x**6/360 - 17*x**5/30 + x**4/8 + 11*x**2. Let l(w) be the second derivative of j(w). Does 26 divide l(-16)?
True
Let l be 1*-2*(8 - 10). Suppose l*f - 22 = 14. Suppose 0 = -3*n + f, 3*d - 13 - 443 = -2*n. Is d a multiple of 15?
True
Let o be (-9)/(-3 - (-12)/8). Suppose 6*z - 2*z = 0. Suppose -4*i - 2*t + 318 = z, -5*i + t + 405 = o*t. Does 8 divide i?
False
Let d = -34 - -35. Is 16 a factor of (356/4 + 0/(-4))/d?
False
Suppose -12*f + 28 = -20. Suppose 0 = -0*t - t - 3*r + 326, f*r = 5*t - 1706. Is t a multiple of 10?
False
Let z = 71 + -72. Is 13 a factor of (-186)/(-2) + (z - 1)?
True
Suppose 115*s + 52*s = 29*s + 4546134. Is 39 a factor of s?
False
Let q = 10881 - 9689. Is q a multiple of 28?
False
Let s(n) = n**3 + 2*n + 32. Let v be s(0). Let z = -127 - -219. Suppose 4*r - z = -3*d, 0*d - d + v = r. Is d a multiple of 18?
True
Is (-6 - 90)/((-17)/((-5253)/(-6))) a multiple of 8?
True
Let d(f) = 153*f**3 - 4*f**2 - 5*f + 15. Is d(3) a multiple of 20?
False
Let y = -3196 + 7446. Does 10 divide y?
True
Let b(r) = -337*r**3 - 9*r**2 - 46*r - 30. Does 25 divide b(-5)?
True
Let n(c) = -343*c - 875. Does 96 divide n(-35)?
False
Let l be 6 - (7 + 15/(-5)). Let y be (-1)/l*2 + 6. Suppose 2*z + y*r = 1, -5*z + 3*r + 54 = -26. Does 6 divide z?
False
Let c = -365 - -275. Is -50*c/(-24)*-4 a multiple of 30?
True
Suppose -2*v = -5*v - 5*f + 8620, 4*v = 2*f + 11476. Is 41 a factor of v?
True
Let m(d) = 2553*d**2 + 3*d + 2. Let h be m(-1). Suppose 17*g = -12*g + h. Does 23 divide g?
False
Suppose -12*t + 171806 = -415*t + 569970. Is 26 a factor of t?
True
Is 35 a factor of (14915901/(-15015))/(0 + (-1)/15)?
False
Let y(o) = 322*o**2 + 4*o - 11. Let t be y(2). Suppose -255*f + 250*f + t = 0. Is 12 a factor of f?
False
Suppose 5*f - 59 = -4. Suppose -f*r + 48 = -8*r. Is 15 a factor of (4/(-5))/(r/(-1200))?
True
Let h(v) = v**3 + 4*v**2 - 11*v - 18. Let k be ((-96)/(-16))/(3/(-4)). Let a be h(k). Let z = -154 - a. Is z a multiple of 4?
True
Suppose 6*d - 7*d + 1 = 0. Let w be 266/(-57) - d/3. Let v(f) = -f**3 - 6*f**2 - 6*f + 5. Does 2 divide v(w)?
True
Let i(o) = o**2 + 30*o - 112. Let f be ((-106)/4)/(103/206). Is i(f) a multiple of 27?
True
Let m be (-4 + -22)*74/(-4). Suppose 12*f + 25 = m. Is f a multiple of 12?
False
Let x be (-1)/(-4) - (-9)/(-36). Suppose 117*p - 120*p + 1140 = x. Let c = p + -79. Does 12 divide c?
False
Let u(q) = 4*q + 26. Let g = -64 - -46. Let k be u(g). Let l = -20 - k. Is l a multiple of 13?
True
Let l = 22 - 14. Let z(k) = 15 - 66*k - l + 2. Is 48 a factor of z(-3)?
False
Suppose -3*l - 572 = 4*v, -3*v - 378 = 2*l - v. Let j = 2127 - 1866. Let i = l + j. Is 10 a factor of i?
False
Is 26/(1144/(-209))*-7052 a multiple of 14?
False
Let f(s) = 33*s + 49. Let h(v) = -100*v - 152. Let u(o) = 16*f(o) + 5*h(o). Is 18 a factor of u(3)?
True
Suppose -4*y + 2*u - 5363 + 13255 = 0, 2*y + 5*u = 3970. Suppose 2*g + 5*h = y, -5*h = -g - 3*g + 4025. Is 40 a factor of g?
True
Suppose -5*s + 14213 = -3*v, -4*s = 2*v - 2723 - 8665. Does 58 divide s?
False
Suppose -2*u = -31*b + 27*b + 956, -2*u = 5*b + 929. Let s(z) = -2*z**2 + z - 13. Let a be s(-9). Let o = a - u. Is 48 a factor of o?
True
Let h be (-96)/60*(-105)/14. Suppose -5337 = -h*c - 1017. Is 20 a factor of c?
True
Let f = 328 - 322. Suppose 0 = f*y + 11*y - 1870. Is 11 a factor of y?
True
Let w be 2/4 + 85/34. Suppose -6 = -3*h + 6*h - 2*f, -w*f = 0. Is 22 a factor of h/3 + (-1513)/(-51)?
False
Does 7 divide (-6)/(-20) + 820218/140?
True
Let z(g) = 317*g - 616. Is z(14) a multiple of 3?
True
Suppose k - 2570 = 314*d - 315*d, -2*k = -4*d - 5164. Is k a multiple of 5?
False
Suppose 2*b - 3*l = 5*b - 1038, -4*b + 4*l + 1376 = 0. Suppose -3 - b = -4*d. Is d a multiple of 55?
False
Let g be (24/15)/(8/(-20)). Is 9/6*g*(-321)/18 a multiple of 10?
False
Let o = -8 - -14. Let w be (-4 - 52/(-12))*o. Suppose 15 = w*r - r - 4*k, -4*r - 3*k + 155 = 0. Does 7 divide r?
True
Let r = -2073 - -9065. Is 152 a factor of r?
True
Let k(g) = -6*g**2 + 188*g - 20. Let n be k(31). Suppose 30501 = n*d - 9903. Is d a multiple of 26?
True
Let c(b) = -7866*b**3 + 8*b**2 + 6*b - 2. Is 62 a factor of c(-1)?
False
Suppose -2*j = -3*r - 205, 0 = -3*j + 6*j - 3*r - 312. Suppose -10*l + 1983 = -j. Does 10 divide l?
False
Let m(z) = -153 + 4*z**2 + z**3 + 58*z - 49*z + 29*z - 2*z**3. Does 7 divide m(5)?
False
Let d(k) = 7*k**3 + 9*k**2 - 4*k - 49. Let y(q) = -20*q**3 - 28*q**2 + 12*q + 147. Let a(z) = -17*d(z) - 6*y(z). Does 29 divide a(-14)?
True
Suppose 49*q - 48*q = 77. Suppose 2*i + 1 = -1. Is 1 + i + -9 + q a multiple of 14?
False
Does 37 divide 4592 + (21/(-6) - ((-18)/12 + 2))?
True
Suppose -22*y = -51*y + 24*y + 16975. Is 16 a factor of y?
False
Let o(u) be the first derivative of u**3 + u**2/2 - 19*u + 82. Is o(-8) a multiple of 11?
True
Let b(z) = 3*z**2 + 6*z - 2*z**2 + 30 - 2*z**2. Let w be b(9). Suppose -4*p - 5*y + 57 = 0, 0*p + w*y + 49 = 4*p. Is p a multiple of 3?
False
Let k(r) be the second derivative of 46*r**3 - 3*r**2/2 + 5*r + 4. Is 7 a factor of k(1)?
True
Suppose 0 = -19*i - 43*i + 1653444 - 384366. Is i a multiple of 14?
False
Suppose -1399 = -26*z + 4945. Suppose 3*j - 2*j + i - z = 0, -2*i = 4*j - 966. Is j a multiple of 9?
False
Let x(j) = 420*j**2 - 125*j - 481. Is x(-4) a multiple of 9?
False
Let u(v) = v**2 - 2*v - 3. Let f be u(3). Suppose f*a - a = -4*d + 19, 27 = 5*d + 2*a. Let o(r) = 2*r**2 + r - 5. Does 5 divide o(d)?
True
Let u(o) = -o**3 - 14*o**2 + 10*o - 22. Suppose -2*h - 3*h - 90 = 0. Does 23 divide u(h)?
False
Let s(j) = j**2 - 13*j + 10. Suppose -7*p + 7 = -0. Suppose -x + 12 = -p. Is 3 a factor of s(x)?
False
Is 10/12 + -1 - 10911/(-18) a multiple of 4?
False
Let m(i) = -1285*i + 31. Let p be m(-2). Let j = p + -1841. Is j a multiple of 19?
True
Suppose 3*n - 5519 = -2*u, -n + 1868 = 54*u - 59*u. Is 3 a factor of n?
False
Let x(c) = -5*c**3 - 5*c**2 - 10*c - 12. Let j be x(-2). Suppose -2*h - 6 = -r + j, r - 4*h - 36 = 0. Is r a multiple of 4?
True
Suppose 6 = -33*r + 30*r, -2*g + 81658 = 5*r. Is 34 a factor of g?
True
Let g(x) be the third derivative of 3*x**4/2 - 7*x**3/3 + 80*x**2. Does 2 divide g(2)?
True
Suppose 5*v + 5214 = -2*i, 70*i - 5229 = 5*v + 67*i. Let d = v + 1464. Is 15 a factor of d?
True
Suppose -u + 4*s = -9105, 27*s = 5*u + 23*s - 45477. Is 94 a factor of u?
False
Suppose -4*k + 22 = 5*h, 3*h = 7 - 1. Let b be 6/(-10) - ((-26)/10 + k). Is ((-4)/(-8)*-8 - -51) + b a multiple of 9?
False
Let v = -8103 - -15960. Does 97 divide v?
True
Suppose -22*t - 11*t + 3*t = -45000. Does 20 divide t?
True
Is 9 a factor of ((-1038)/5)/(-1) + 722/1805 + 5?
False
Let o = -9134 + 13544. Is o a multiple of 147?
True
Let r(h) = 3 + h + 3*h**2 - 2 + 1 + 0*h**2. Let g be r(-1). Let y = 36 - g. Is y a multiple