 multiple of 33?
True
Let l = 9386 + -2624. Is 21 a factor of l?
True
Suppose -118*q + 619975 - 101247 = 0. Is q a multiple of 91?
False
Does 8 divide 8950 + -17 + 11*(-9 + 10)?
True
Let g(u) = u**3 - 2*u**2 + 10*u - 18. Let l be g(2). Suppose -32 = -3*v - 4*d + 1, l*v = 2*d + 22. Does 6 divide v?
False
Let q = 42 + -30. Let d(r) = -r**3 + 13*r**2 - 11*r - 8. Let l be d(q). Suppose 11*o - 189 = l*o. Is o a multiple of 21?
False
Suppose -72*n + 18086 = -67*n + g, 0 = 4*n + 3*g - 14449. Is n a multiple of 77?
True
Suppose -5 = 4*u - 2*u + g, u + 5*g = 11. Let f be (-26)/(-22) + 0 - u/(-22). Does 22 divide 3 + 43*(4 - (3 - f))?
False
Let s(m) = 5*m - 70. Let c be s(18). Is 20 a factor of -28*(5 - 5 - c)?
True
Let w be (2/((-4)/(-7)))/(1/2). Suppose -3*p + 46 = w. Suppose -p = -b + 31. Is 22 a factor of b?
True
Suppose 5*y = -4*z + y - 4, -22 = -2*z + 4*y. Is 32 a factor of 4/z*(-4908)/(-16)?
False
Let c = -590 - -593. Suppose -4*k - 283 = -m, c*m + 28*k = 26*k + 835. Is m a multiple of 3?
True
Let r be ((-6990)/(-25))/(2/5). Suppose -2*t = 445 - r. Does 36 divide t?
False
Suppose -8460*b + 8450*b = -480. Is 16 a factor of b?
True
Let f be (-1 + 1983/15)*85/34. Suppose -2*v - 4*w + f = 0, v + 0*w - w = 161. Does 6 divide v?
True
Let t(s) = -s**3 - 36*s**2 + 75*s - 49. Let n be t(-38). Is (n + 3)*(-12)/32*4 a multiple of 3?
True
Suppose -6619 = -25*p - 1119. Let k = 63 + p. Does 55 divide k?
False
Let i(d) = d**2 + 1. Let r(l) = l**3 + 2*l**2 - 24. Let q(c) = 3*i(c) + r(c). Let m be q(-6). Let p = m + 69. Is 6 a factor of p?
True
Let n = 9745 + -680. Is n a multiple of 16?
False
Let r(k) be the third derivative of -623*k**6/120 + k**5/60 - k**4/8 - k**3/3 - 9*k**2 + 2. Is r(-1) a multiple of 67?
False
Let p = -207 + 195. Is (-2432)/(-12) + (p/(-18))/2 a multiple of 12?
False
Let a be -1 + (-10620)/(-14) + 294/686. Is a/3 - 6/(-18) a multiple of 11?
True
Let f = 25165 - 16174. Is 37 a factor of f?
True
Let t = 444 + -447. Let q(c) be the third derivative of -c**4 - 3*c**3/2 - 2*c**2. Does 19 divide q(t)?
False
Is (7/21)/((-12)/(-65916)) a multiple of 10?
False
Is (-2 - ((-11)/3 - -2)) + (-303025)/(-255) a multiple of 4?
True
Let f = 2092 - 1779. Does 13 divide f?
False
Suppose d - 5 = -0. Let k be (-4 + (-120)/(-25))*d. Suppose 4*v = k*b + 68, 2*b - 6*b + 37 = 3*v. Does 7 divide v?
False
Let t = -31 + 34. Let w(f) = -f**3 - 4*f - f - f**2 + t*f + 3 + 4*f**3. Does 3 divide w(2)?
False
Let p be (1/5)/((-1)/(-15)). Suppose l + p = 10. Suppose 26 - 971 = -l*k. Is 9 a factor of k?
True
Suppose 8*g + 259 = f + 12*g, -946 = -4*f + 2*g. Let j = f + 539. Is j a multiple of 85?
False
Suppose 6*d = 3*d - 7*i + 43678, 0 = -d + 3*i + 14586. Does 14 divide d?
False
Suppose -4*p + 37282 - 12923 = 5*o, 4*p - 24399 = 3*o. Is 254 a factor of p?
True
Let i(y) = 7*y**2 - 5*y - 51. Let k(r) = -3*r**2 + 3*r + 26. Suppose -5*s - 25 = -10*s. Let t(j) = s*k(j) + 3*i(j). Is t(-4) a multiple of 9?
False
Let z(b) = 34*b**3 - 23*b**3 + 3*b - 22*b**3 + 6*b**2. Does 77 divide z(-4)?
False
Suppose 6*c + 453 = 843. Let j = 77 - c. Is j a multiple of 3?
True
Let d = 992 + -74. Suppose -2*g + d = -2*o, -g + 2*o + 417 = -45. Is g a multiple of 37?
False
Suppose 2*p - 3*b = 18223, -948*p - 27339 = -951*p + 3*b. Does 28 divide p?
False
Suppose 0 = 3*v - 15, 4*t + v + 69 = 14. Let j be 2 + 3/(t/40). Is (j - -5) + (-312)/(-2) a multiple of 19?
False
Let q be 2/10 + (345/25 - 3). Suppose q*k - 9*k = 354. Let n = k + -47. Is n a multiple of 13?
True
Let f = 28797 - 18683. Does 30 divide f?
False
Does 22 divide 4964 + 8/44 + 144/(-66)?
False
Let o(h) = h**3 + 7*h**2 + 2*h - 3. Suppose -a + 9 + 3 = 0. Let n be (-54)/a + 2/(4*-1). Is 17 a factor of o(n)?
False
Suppose 0*k + 2*k = -3*k. Suppose -6*b + 24*b - 5544 = k. Suppose 5*w = 20, 5*w + b = 3*v - 431. Is v a multiple of 22?
False
Let t(b) = -b**2 + 12*b + 68. Let u be t(-4). Let a be 546/3*(-6)/4. Is 17 a factor of (a/(-4) + (-1)/u)/1?
True
Let x be 102/18 + 1 + 2/(-3). Let n = 556 - 286. Suppose x*w + n = 16*w. Is 27 a factor of w?
True
Let q = -72 - -178. Let n be (1 + 14)/(-5) - (3 + 2). Let y = q - n. Is 19 a factor of y?
True
Let v be 8/(-4) + (-5)/(25/15). Does 3 divide -1697*8/(-40) - 3/v?
False
Let g be (-6)/21 + 36/28. Let b = -112 + 75. Let s = g - b. Is 10 a factor of s?
False
Suppose -2*w = 5*j - 16987, -438*j + 3403 = -437*j - w. Is j a multiple of 103?
True
Let i(j) = -j**2 - 16*j + 800. Is 2 a factor of i(-22)?
True
Suppose -2*q + 7586 = -4*y, 91*q - 93*q = -5*y - 7592. Is 40 a factor of q?
False
Let c = -29 - -29. Suppose 12*g + 80 - 8 = c. Is 395/2 - (g - 27/(-6)) a multiple of 25?
False
Let f = -42 - -45. Suppose h = -f*z + 10, h - z = 5*h - 18. Suppose 187 = 2*x - 3*t, 0 = -h*x - 3*t + 14 + 351. Is x a multiple of 35?
False
Let w be 11/11 - ((-1 - -2) + -5). Suppose -4*b - w*b + 108 = 0. Suppose 3*n - b = 0, 3*k - 34 = k + 2*n. Does 7 divide k?
True
Suppose x - 109 = -3*r + 5*x, 0 = -4*r - 5*x + 197. Let a = -95 + r. Let k = a - -62. Does 10 divide k?
True
Let k(v) = 5*v - 5. Let s be k(2). Suppose -10 = s*f, -5*x + 9*f - 10 = 4*f. Does 9 divide x/(-36) - (-682)/18?
False
Is 100 a factor of 465/(9/120*2)?
True
Let t(d) = 180 - 14*d**2 + 173 + 8*d - 360. Let o(u) = -43*u**2 + 23*u - 20. Let n(p) = -4*o(p) + 11*t(p). Does 16 divide n(2)?
False
Let q be 42/(-12)*10/(-5). Suppose -1245 = -8*y - q*y. Is y a multiple of 21?
False
Is 44 a factor of (-1)/(24/1782*6/112)*-2?
True
Let j = 479 - 699. Let c = 378 + j. Does 41 divide c?
False
Suppose -2*r + 169 = 41. Let b = r + -61. Suppose -310 = -b*w - 2*w. Is w a multiple of 10?
False
Let r = 203 - 201. Suppose 0 = 4*w - r*w - 420. Does 11 divide w?
False
Suppose -132 = -f - 142. Does 27 divide 2924/20 - (4/f)/(-2)?
False
Suppose 5*y - 8*u + 4*u - 245 = 0, -u = 0. Let x be y/14 + 6/(-4). Suppose -2*d + 204 = -x*s, -2*d = -3*d - 2*s + 114. Does 23 divide d?
False
Let f(p) = -10*p**2 - 4*p + 2. Let c be f(1). Let s(m) = 3*m**2 + 11*m + 38. Is s(c) a multiple of 22?
False
Let c(v) = v. Let n(t) = 21*t + 7. Let h(i) = 10*i + 4. Let j(u) = 5*h(u) - 2*n(u). Let x(p) = -2*c(p) + 2*j(p). Does 8 divide x(5)?
False
Let w = -217 - -383. Suppose -13*t - w = -15*t. Does 36 divide t?
False
Let r = 11466 - 3198. Does 78 divide r?
True
Let c = 124 + 1592. Is c a multiple of 33?
True
Let v = 39611 - 27977. Does 42 divide v?
True
Let n(p) = p**2 - 10*p - 21. Let f(v) = -4*v**2 + 40*v + 83. Let q(s) = 2*f(s) + 9*n(s). Let k be q(12). Does 7 divide 36/8*12 - 1/k?
False
Let d be (-4)/5*(-2170)/(-28). Let a = d + 22. Is ((-18)/5)/(4/a) a multiple of 23?
False
Suppose -4*l + 28*y - 31*y + 47174 = 0, 0 = -5*y - 30. Does 34 divide l?
True
Let c = -81 - -131. Let i be (-5)/c*-22 + (-1)/5. Suppose 2*v + i*q = -2*v + 678, -5 = -q. Is v a multiple of 20?
False
Suppose -57*a = -54*a - 6. Suppose -3*r + 7 = -2. Suppose 3*z - a*t = -0*z + 334, -5*t = r*z - 320. Is z a multiple of 22?
True
Let t = -2145 + 2146. Suppose -48 = 5*w - x, 3*w - 2*w + 4*x = 3. Let n = t - w. Is 3 a factor of n?
False
Let u = 282 - 291. Let q(n) = 2*n**2 - 3*n - 31. Is 20 a factor of q(u)?
False
Let l(q) = 2*q**2 + 19*q - 8. Let t be l(-10). Suppose 3*b - 2 = t*b. Does 11 divide b/(3/((-369)/(-6)))?
False
Let u be (-6 + (-2 - -5))/(-3). Let p(j) = 154*j**3 + j**2 - 4*j + 4. Is 31 a factor of p(u)?
True
Let a(g) = g**3 - 5*g**2 - g + 10. Let m be a(5). Suppose -4*s + 0*f + 108 = -3*f, 0 = -m*s + f + 124. Does 8 divide s?
True
Let y(m) = 11*m**2 + 74*m - 1217. Is y(14) a multiple of 85?
False
Let r be (245/(-14) + 9)/((-2)/4). Suppose 0 = r*j - 3*j - 4816. Does 69 divide j?
False
Let u = 3473 - -2927. Does 6 divide u?
False
Let z(o) = o**2 - 532*o + 26. Is z(-12) a multiple of 86?
False
Suppose 3*g = 2*u - 30 + 2, 0 = 4*g + 3*u + 9. Is 11 a factor of 2/(-16)*g - 3939/(-12)?
False
Let w = -233 + 243. Does 19 divide (-2705)/w*-1 - 1/2?
False
Let i be (103/(-3))/((-7)/945*-9). Let c = i + 1641. Does 11 divide c?
False
Suppose -5*i = 3*h - 134, -220 = -h - 4*h - 5*i. Let s = 777 + -547. Suppose s = h*v - 41*v. Is v a multiple of 25?
False
Let y(p) = 2*p - 6. Let z be y(0). Let k be (-4)/z + 3836/(-21). Let g = 293 + k. Is 16 a factor of g?
False
Let t(r) = -5*r**3 + 6*r**2 - 9*r + 6. Let m(c) = 5*c**2 - 65*c - 6*c**3 + 55*c - 4 + 9. Let