et g = 20 + -17. Suppose -2*y = g*y + 40. Is 21 a factor of 475/9 + y/(-36)?
False
Suppose -3*n - 3*b = -18286 - 6311, 4*n = b + 32821. Is n a multiple of 28?
True
Suppose 0 = -6*c - 26 - 16. Is 16 a factor of (-1 + (-2 - c))*37?
False
Suppose 24*x = 240126 + 111522. Is x a multiple of 7?
False
Let b = 10076 + -5786. Is 33 a factor of b?
True
Suppose -4*g = -10*g + 20142. Suppose -g = -16*d - 29. Let l = d - 93. Is 23 a factor of l?
True
Let x = -2633 + 8165. Is 11 a factor of x?
False
Suppose -39*y - 9 = -42*y. Suppose -y*w + 2359 = -52*z + 50*z, 2*w = 5*z + 1558. Is w a multiple of 44?
False
Let l be (-28)/3 - 2/(-6). Let n(v) be the third derivative of -5*v**4/12 - 12*v**2 + 1. Does 15 divide n(l)?
True
Suppose 10*d + 4*d = 14210. Suppose 1053 = 11*m - d. Is m a multiple of 30?
False
Let d(h) = 35*h + 1617. Does 23 divide d(103)?
False
Let a(i) = -i**3 - 6*i**2 - 8*i - 10. Let l = 26 - 31. Let n be a(l). Suppose -4*z - 3*d = -n*z + 36, 4*z - 122 = d. Is 25 a factor of z?
False
Suppose 0 = 5*o - 888 + 323. Let i = 53 + o. Does 9 divide i?
False
Let x be (2 - 4/8)/(6/4476). Suppose -x - 1491 = -29*k. Is k a multiple of 11?
False
Let i(t) be the second derivative of -t**5/20 + 2*t**4/3 + 4*t**3/3 + 11*t**2/2 + 11*t + 1. Does 2 divide i(9)?
True
Let v(a) = a**3 - 2*a**2 - 6*a + 6. Let l be v(-6). Suppose -4*s - 1848 = -4*f, s = -107 + 103. Let y = l + f. Does 18 divide y?
False
Let z(k) = -7*k + 4. Let t be 10*(15/10)/3. Suppose -t*d = -10*d - 5. Does 3 divide z(d)?
False
Suppose -k + 20 = -0*k - 4*u, 0 = -5*k + 5*u + 40. Suppose 4*z - 13 = -5*l, -k*z + 3*l + 7 = z. Is 14 a factor of 0 + z*395/10?
False
Let g(h) = 80*h + 1056. Does 61 divide g(46)?
False
Let k = 28748 - 20130. Is k a multiple of 62?
True
Let f be 230800/11 - (-4)/22. Suppose 3*n - 42*n = -f. Does 29 divide n?
False
Suppose -f - 2197 = -4*f + 2*i, 0 = f + 4*i - 723. Suppose 2*l - 5*v - 488 - f = 0, -1794 = -3*l - 4*v. Is l a multiple of 14?
True
Let m(s) = 2*s**2 + 70*s + 765. Is m(-78) a multiple of 159?
True
Suppose 12*d = 11*d - 2034 + 9060. Does 7 divide d?
False
Let w be (-5474)/(-345) + (-6)/(-45). Does 16 divide (6/w - (-97166)/304)/1?
True
Suppose 0 = -3*v - 4*u + 40, 5*v + 5*u - 52 = v. Suppose 168 = v*m - 0*m. Suppose -m*d + 218 = -19*d. Is 19 a factor of d?
False
Suppose 127 = -3*s - 0*k + 2*k, -3*s = 5*k + 155. Let o = s - -48. Suppose -o*x = -147 - 120. Is 26 a factor of x?
False
Let c be (3 - 0)*-1*7724/12. Let h = -678 - c. Does 80 divide h?
False
Let f(c) = -2*c + 16. Suppose 0 = -0*h - 6*h + 48. Let m be f(h). Let u = m - -121. Is u a multiple of 10?
False
Is (73698/21 - (-24)/(-56)) + 5 + -4 a multiple of 2?
True
Let c(h) = h**3 - 12*h**2 + 20*h + 3. Let q be c(10). Suppose -6*x + 955 = -3*x - 2*m, -5*x + 1598 = q*m. Is x a multiple of 29?
True
Let b be (1/2)/(-1 + 3/6). Is 15 a factor of (2 + 4 + -96)/b?
True
Let w = 205 + -68. Let d = w - 61. Is 4 a factor of d?
True
Let x be (10/4)/((-5)/(-1310)). Suppose 340 = g - u - u, 2*g + u = x. Is 12 a factor of g?
False
Let a(p) = -12*p - 22 - p + 0*p + 7*p + p**2. Let c be a(9). Suppose -3*k + 654 = 3*y, 0*k - c*y - 422 = -2*k. Does 12 divide k?
True
Is -10*1149*((-280)/50 - -1) a multiple of 23?
True
Let y(f) be the first derivative of -f**4/4 - 8*f**3/3 - 7*f**2/2 + 5*f + 14. Let w be y(-6). Let v = 15 - w. Does 15 divide v?
False
Suppose 23*k - 51*k + 56 = 0. Suppose -9072 = k*g - 23*g. Is 12 a factor of g?
True
Let i = 16310 - 12459. Is i a multiple of 3?
False
Let a = -152470 - -228246. Is 114 a factor of a?
False
Let g be -5*83 - 1 - 305/61. Let v = 29 - g. Is v a multiple of 5?
True
Suppose 2*p = o - 10, 0*p = 2*o - 3*p - 17. Suppose o*f - 10 = 6. Does 7 divide 64/12*f*3?
False
Let r(f) = f - 15. Let o = -74 - -90. Let i be r(o). Let s(h) = 146*h**2 + 1. Is 21 a factor of s(i)?
True
Let u(m) = 2 + 5 - 7*m + 85*m**2 - m. Is 7 a factor of u(1)?
True
Suppose 2*q - 15874 = -62*t + 65*t, -5*t = 20. Does 33 divide q?
False
Suppose 5*d + 1510 = 4*v, -1083 = -4*v + 2*d + 421. Let o(j) = -j**2 + 16*j - 58. Let s be o(7). Suppose -s*g + 270 = -v. Is g a multiple of 22?
False
Suppose 0 = 2*a - 0 - 6. Suppose a*q - 2*q - 6 = -2*r, 10 = 5*r. Suppose 3*p = q*g + 49, 2*p = 3*p + g - 23. Does 5 divide p?
False
Let m(t) be the second derivative of t**6/60 + 4*t**5/15 - t**4/8 + t**3 - 6*t**2 + 4*t. Let h(x) be the first derivative of m(x). Does 30 divide h(-8)?
True
Is 12 a factor of 45732/(-9)*(-42)/56?
False
Let w = 90 - 328. Let x be ((-20)/(-5))/((-4)/w). Let y = -142 + x. Is 16 a factor of y?
True
Let l be (-154)/(-33)*-5*18/(-105). Let x = -19 - -71. Suppose 5*q - x = -3*n, l*q + 99 = 5*n - 0*q. Is 6 a factor of n?
False
Let i(t) be the third derivative of -13*t**4/12 - 5*t**3 - 32*t**2. Is i(-5) a multiple of 50?
True
Let l be 4/(-6)*3/2. Let s(y) = 212*y**2 + 5*y + 5. Does 6 divide s(l)?
False
Let j = -9052 - -15974. Does 23 divide j?
False
Suppose 3*w - 15 = -4*a, -5*w + a + 51 = -a. Let m be 2/10 + (-144)/(-80) - -68. Does 40 divide m/((9/4)/w)?
True
Suppose -37 = -5*u + 5*i + 128, -5*i - 25 = 0. Suppose -7*b + 8*b - 2 = 0. Suppose -39 = -4*o - 4*a + 85, -b*a = o - u. Is 9 a factor of o?
False
Suppose 0 = -5*h - r + 40925, -6*r + 8497 + 24269 = 4*h. Does 11 divide h?
True
Suppose -1588*v - 4*p = -1584*v - 27072, -13518 = -2*v + p. Is v a multiple of 14?
True
Let h = 226 - -257. Let u be (-148)/(-20) + 30/50. Suppose 0 = u*x - h - 269. Is x a multiple of 17?
False
Suppose 4*x + 43758 = 2*g, 0 = -3*g - x + 46018 + 19563. Does 148 divide g?
False
Suppose -4 = -4*w, 3 = -z - 5*w + 10*w. Let t = 1210 - 818. Suppose -53 = -n - 3*f + 145, -2*f + t = z*n. Does 39 divide n?
True
Let u be -4 - 18/(-4)*580/15. Is 117249/u - (-6)/20 a multiple of 23?
True
Suppose 5*w + 0 = -4*v + 1, 3*w + 29 = 5*v. Is ((-20)/(-15))/(v/588) a multiple of 31?
False
Let j be (21 - 19) + 23 + -1. Suppose 0 = -w - 3*f - 2, -f = 2*w + j. Let z(g) = -g**3 - 13*g**2 + 11*g - 22. Does 4 divide z(w)?
True
Suppose 77*l = 43*l - 38*l + 2454480. Is 14 a factor of l?
True
Let a(k) = -k**2 + 4. Let l(d) = -d - 6. Let x be l(-3). Let n(g) = g - 3. Let r(j) = x*n(j) - 4*a(j). Does 16 divide r(5)?
False
Suppose -2 = -d - 4*d + 4*y, 5*d - 5*y = 0. Let r be d/5 + (-146)/(-10). Suppose 0 = -16*l + r*l + 26. Is 13 a factor of l?
True
Let n(l) = -571*l - 9051. Is n(-27) a multiple of 2?
True
Let z(c) = -60*c + 2. Suppose 23*o = 20*o + 9. Suppose -i = o*i + 4. Does 44 divide z(i)?
False
Let n be 38/14 + 6/21. Suppose -5*p + 2296 = -n*f, p + 2*f = -3*f + 448. Is p/8 - (4 - 60/16) a multiple of 37?
False
Suppose -1 = z, 6*z + 9 = 5*v + 7*z. Suppose 35*u - 647 = 30*u - d, 0 = -v*d - 6. Is u a multiple of 41?
False
Let t = 1883 + -1878. Let q(o) = o**3 + o**2. Let b(l) = 3*l**3 - 5*l**2 + 6*l. Let u(n) = -b(n) + 2*q(n). Does 10 divide u(t)?
True
Is -7 + 288/40 + 112495/25 a multiple of 18?
True
Suppose -46120 = -11*d + 46243 + 26547. Does 23 divide d?
True
Suppose -2*x + 2*c - 2 - 4 = 0, -2*x - 2 = 2*c. Is 76 a factor of x/(-4)*1 - (-1367)/2?
True
Suppose 3*s = -2*d + 5*s - 30, d + 15 = 5*s. Let t(r) = -3*r**2 - 48*r - 13. Is t(d) a multiple of 16?
True
Let t be 3 + ((-12)/36)/(1/(-3)). Suppose 120 = 5*y + 3*b - 6*b, 0 = t*y + 3*b - 123. Is 12 a factor of 9/y*(35 + 1)?
True
Let m be 33/(7/42*6/(-4)). Let w = m - -555. Is 47 a factor of w?
True
Suppose -2*b = 5*n - 254, 6*b - 2*b - 108 = -2*n. Is 8 a factor of n*((-80)/(-25) - 3)*24?
True
Let b(p) = -806*p**3 - 5*p**2 - 13*p - 20. Does 44 divide b(-3)?
True
Let x(m) = 758*m - 7544. Does 18 divide x(12)?
False
Let w = -8991 + 18947. Is w a multiple of 38?
True
Does 17 divide 7 + -10 - 21/(147/(-138320))?
False
Let x(j) = 58*j + 1303. Does 24 divide x(15)?
False
Suppose 31*h - 2541 = -26659. Let w = -580 - h. Is w a multiple of 66?
True
Suppose 1105 + 119 = i + 3*l, 0 = -2*i + 3*l + 2448. Does 6 divide i?
True
Let d be 5*23/4*-4 - 1. Is 17 a factor of (9 - d/(-12))*-153?
True
Let d be (7 - (-216)/(-30)) + (-1832)/(-10). Let f = d - 63. Is f a multiple of 30?
True
Let y(b) = 3*b**2 - 17*b + 22. Let c(f) = 4*f**2 - 15*f + 23. Let i(j) = -2*c(j) + 3*y(j). Does 60 divide i(25)?
True
Suppose 32*f = 34*f - 16. Suppose -h = 5*s - 199, -3*s = -f*s + 5*h + 175. Is s a multiple of 39?
True
Let v(m) be the first derivative of 25*m