?
False
Suppose i = 3*f + 12, 0 = -4*i + 11*f - 6*f + 27. Suppose 5*j + c = 3376, -5*j + 291 = -i*c - 3101. Is j a multiple of 41?
False
Suppose -3*n + n + 4*l = -7310, n - 3*l - 3651 = 0. Suppose -50*z + n = -3187. Is z a multiple of 9?
False
Let d = 22 + -16. Let t = 161 - d. Is 16 a factor of t?
False
Let o(f) = -226*f - 9890. Is o(-99) a multiple of 101?
False
Suppose -13*r = -15*r - 4. Is 57 a factor of -4 + 86 + r + 0?
False
Suppose -2*a = -2*u - 12, 4*a + 5*u - 10 = 2*u. Suppose 2*h = -4*d + d - 4, 2*d + a = -h. Suppose 34 = h*m - 2*m. Is m a multiple of 17?
True
Let q(r) = 906*r - 759. Does 10 divide q(9)?
False
Suppose -11*s + 6*s = f - 1560, s - 2*f - 323 = 0. Let l = 119 + s. Does 24 divide l?
True
Let i be 4/34 - (-6290)/578. Suppose -10 = -13*d + i*d, 260 = 4*h - 4*d. Does 35 divide h?
True
Suppose -b + 35 = 4*t, 4*t = -6 - 2. Let d(h) = -2*h - 55. Let y be d(-24). Let j = b + y. Does 9 divide j?
True
Let s(z) = z**2 + 3*z + 75. Let x be s(12). Let j = 442 - x. Is 89 a factor of j?
False
Does 3 divide (-96 - 0)*(25/((-275)/(-66)))/(-4)?
True
Let p(m) = 844*m**2 - 3*m - 2. Let z be p(-2). Is 12/(-2)*z/(-195) a multiple of 28?
False
Let m = 10705 - 9053. Is m a multiple of 4?
True
Let q be 45 - 9*(-14)/(-21). Let g(c) = c**3 - 39*c**2 - 3*c + 159. Does 7 divide g(q)?
True
Suppose -23*c = -3 + 233. Let q(n) = 0 - 6*n + 9*n**2 - 24 + 6 + n**3 - 7*n. Does 2 divide q(c)?
True
Suppose -b = -w - 4, 4*w + 19 = -4*b + w. Let c be -4 + (-261)/4 + b/(-4). Let u = -51 - c. Does 6 divide u?
True
Suppose -30*g + 17*g = -13. Let y(n) = 231*n**3 - 6*n**2 + 7*n - 1. Is y(g) a multiple of 16?
False
Suppose -i - 76 = 2*s, -5*s + s + 2*i - 168 = 0. Is 17 a factor of (-22420)/s - (-2)/4?
True
Let a be (-80*1)/(-5)*1. Let t(o) = 2*o**2 - 31*o + 4. Let c be t(a). Is ((-984)/c)/((6/20)/(-1)) a multiple of 15?
False
Let a = -7174 + 11074. Does 13 divide ((-13)/(-4))/(15/a)?
True
Let g(p) = -15*p**3 - 4*p**2 - 34*p - 135. Is g(-6) a multiple of 87?
False
Let g(q) = q**3 - 10*q**2 + 2. Let i be g(10). Suppose -u + 142 = -4*m - 83, -i*u + 5*m = -444. Is u a multiple of 31?
True
Suppose -3*z - 287 = -v + 1198, -4*v = -3*z - 6021. Is v a multiple of 18?
True
Let h = -177 + 368. Let r = -114 + h. Let s = r + -55. Is 13 a factor of s?
False
Let u(g) = g**3 + 10*g**2 + 11*g + 22. Let t be u(-9). Suppose -4*p + 267 + 157 = -t*b, 2*p + b = 224. Is 22 a factor of p?
True
Suppose 4*q + 157 - 45 = 0. Let s = 12 + q. Let k = s + 21. Is 5 a factor of k?
True
Let b(v) = v**3 - 3*v**2 - 19*v + 12. Suppose -52 = -7*u - 3. Is b(u) a multiple of 15?
True
Let f(s) = 2 - 1 - 9*s + s**2 + s. Let g be 6/(-5) + (-6104)/(-545). Is 2 a factor of f(g)?
False
Let u be 18140/(-16) - (-8)/(-32). Is (0 - u)*60/90 a multiple of 36?
True
Suppose -12 = -16*g + 20. Suppose -4*q + g*q + o = -98, 4*o - 49 = -q. Does 15 divide q?
False
Is 2*(14 - (0 + -6152)) a multiple of 62?
False
Let v be 10/((-30)/8 + 4). Suppose -v = -2*b - a, -b + 3*b + 3*a = 36. Is 14 a factor of b*((-4)/(-6) - 4/(-3))?
True
Suppose -3*w = 34 - 13. Let d(y) = -2*y**2 - 13*y - 5. Let v(a) = -a**2 - 6*a - 3. Let o(i) = w*v(i) + 3*d(i). Is o(-3) a multiple of 2?
True
Let b = -29565 + 55679. Is 9 a factor of b?
False
Suppose -3954 - 10146 = -15*u. Is 20 a factor of u?
True
Suppose -4*o + 167 = 39. Suppose -5*s - 93 = o. Is 25/2*(-120)/s a multiple of 20?
True
Suppose -r + 33 + 4 = 4*l, 4*r = -3*l + 83. Let b(d) = 22*d**2 - 2 + 21*d + 4*d - 4 - d**3 - 6*d**2. Is b(r) a multiple of 10?
True
Let x(k) = 480*k - 159. Does 17 divide x(10)?
True
Let z(k) = 7*k**2 - 9*k - 42. Let h be -13 + (9/(-3) - -10). Is z(h) a multiple of 4?
True
Suppose 0 = -11*p + 15*p + 44. Does 22 divide (-1256)/p - (-9 + (-303)/(-33))?
False
Suppose -108*q - 5 = -113*q. Is 28 a factor of (40/(-25))/(69/70 - q)?
True
Let z(v) = -v. Let l(n) = -6*n + 33. Let g(f) = -l(f) + 4*z(f). Let i be g(18). Suppose 210 = 5*r - 2*p - p, 0 = -3*r - i*p + 150. Does 9 divide r?
True
Let c be 1/8*-3*-8. Suppose 3*k = -c*u + 528, 0 = -2*u - 4*k + k + 347. Is 14 a factor of u?
False
Suppose -2*v + 4*t = -6, -6 + 8 = -2*t. Let n(h) = h + 1. Let j(p) = 14*p - 5. Let f(c) = j(c) + 6*n(c). Does 3 divide f(v)?
True
Let w(y) = 12*y - 19. Let r be w(2). Suppose -2916 = r*c + 4*a, 4*a - 3*a - 1736 = 3*c. Does 12 divide (12/(-30))/(2/c)?
False
Let c = 193 + -177. Does 14 divide c + 1*(0 + -2)?
True
Suppose 2 = -3*z + 14. Let c be 662/14 - z/(-42)*-3. Suppose 0 = 3*d + c - 113. Is d a multiple of 22?
True
Suppose 0 = -h - 5, -7067 = -5*b + h - 1782. Is 11 a factor of b?
True
Let o(j) = j**2 + 5*j + 4493. Does 12 divide o(84)?
False
Suppose -5*r = 3*u - 489 + 169, 0 = -u + 4*r + 101. Is ((-1065)/20)/(u/(-24) + 4) a multiple of 7?
False
Let g be (-1 - (-15)/9) + 151170/45. Suppose 5*f = 15*f - g. Does 14 divide f?
True
Suppose 0 = -2*b + 2, k - 292 = -2*b + 135. Does 17 divide k?
True
Let x(c) = 11*c**2 + 7*c - 26. Let v be (-9)/18*2*-5. Let f be x(v). Suppose n + n + 5*g = f, -652 = -5*n + 2*g. Does 16 divide n?
False
Let a(h) = -10*h**2 + 0*h**2 - 7 - 24 - 2*h + 1149*h**3 - 1150*h**3. Let d be a(-10). Let o(w) = 3*w**2 + 10*w - 16. Does 19 divide o(d)?
False
Let s = -87 + 46. Let m = 175 - s. Suppose g = 4*u - 2*g - 240, -4*u - 3*g + m = 0. Does 3 divide u?
True
Suppose -q = 2*i - 6, -2*q - 44 = -4*q + 4*i. Suppose 0 = -q*c + 3044 - 160. Is 15 a factor of c?
False
Suppose -21082 = 2*p - 50908 - 22790. Does 127 divide p?
False
Let a(y) = -y**2 - 11*y - 8. Let c be a(-8). Suppose -c*l + 13*l + 36 = 0. Suppose 0 = -2*f + l + 58. Does 5 divide f?
True
Let v(b) = -4*b + 21. Let o be v(11). Let z = o - -17. Is 12 a factor of 3266/69 - 4/z?
True
Suppose -2*d + 4*p = -6288, 2*d - 26*p - 6304 = -30*p. Is 36 a factor of d?
False
Suppose -3*p = -2*p + 2*k + 3, -p - 9 = 4*k. Suppose -x = p*z + 2, -5*x + 2 = -2*z - 5. Let b = 24 - x. Is b a multiple of 23?
True
Let x(l) = -l**3 + 5*l**2 - 30*l + 9. Does 9 divide x(-6)?
True
Let s(r) = 8*r**2 - 40*r + 20. Let k be s(12). Let z = 32 + -27. Suppose -z*g + k - 92 = 0. Is g a multiple of 12?
True
Suppose 0 = -33*o + 1124546 - 85673. Does 52 divide o?
False
Suppose 201386 = 76*r - 1152022. Is 48 a factor of r?
True
Let u = 48 - 18. Suppose -6*o + u = -0*o. Suppose v - o*v = -272. Is v a multiple of 38?
False
Suppose 67*l - 86215 = 62*l + 3*u, 3*l - 3*u = 51735. Is 161 a factor of l?
False
Let i(r) = r**3 - 124*r**2 + 80*r + 7391. Is 56 a factor of i(124)?
False
Let t = -917 + 917. Suppose 2*v - 4*k = 521 + 195, t = -3*v - k + 1109. Is 23 a factor of v?
True
Suppose 0 = 11*c + 6*c - 4*c - 101816. Is c a multiple of 8?
True
Let s(b) = -4*b + 36. Let u = 3 + -3. Let l be s(u). Suppose 2*z = -2*q + l, 3*q - 3*z - 7 = 47. Does 4 divide q?
False
Let f(m) = 24*m + 2. Let o be f(3). Suppose 0 = -g - g - o. Let s = -21 - g. Is 4 a factor of s?
True
Suppose 398 = 3*n - 2*v, 3*v + 844 = 5*n + 181. Suppose 8*g + 369 = -359. Let k = g + n. Is k a multiple of 10?
False
Let d be ((-14)/(-24))/(14/(-28))*-6. Suppose d*s = 14*s - 1162. Does 24 divide s?
False
Suppose 2*j + 5*v = 25, 3*j - 4*v - v = 0. Suppose -j*q - 1615 = -4845. Does 45 divide q?
False
Suppose -4*i = -4*p + 20, -p - 49 = i + 4*i. Let y be (-21)/i*9/1. Is (-20)/35 - (-1230)/y a multiple of 7?
False
Let l be (-8 - -8)/(0 - 1) - 108. Is 11 a factor of (20/15)/((-2)/l)?
False
Suppose 569*j = 562*j + 119. Is 75 a factor of 12765/j + (-64)/(-544)?
False
Suppose 13*o + 30828 = 5*r + 12*o, -3*r - 2*o + 18502 = 0. Does 27 divide r?
False
Suppose 3*l = -2*u + 12898, -2*l + 340*u + 8604 = 336*u. Is 106 a factor of l?
False
Suppose -88 = -3*m - 307. Let a(x) = -4*x**2 - 3*x + 72. Let j be a(5). Let r = j - m. Is r a multiple of 3?
True
Let p(s) = 56 - 91*s**2 + 46*s**2 + 47*s**2 - 14*s. Does 12 divide p(9)?
False
Suppose -4*y = -2830 - 4450. Let a = -989 + y. Is 54 a factor of a?
False
Let n be 3 - (-21)/(-6) - (-13425)/2. Suppose -4*v = 2*m + n, m + 3*v = 3*m + 6726. Does 15 divide (4/(-10))/(12/m)?
False
Let i(o) = 19*o**3 + 14*o**2 - 6*o + 7. Is i(9) a multiple of 11?
True
Let q(v) = 3*v + 4. Let n be q(0). Let u be 1/(n/16 + 177/(-724)). Does 5 divide 2 + (-27)/12 + u/4?
True
Let z(g) = -176*g**3 - 6*g**2 - 13*g + 15. Let u(b) = -59*b**3 - 2*b**2 - 4*b + 5. Let j(o) = 7*u(o) - 2*z(o). Is 13 a factor of j(