-31 + 198. Is 5 a factor of o?
False
Suppose 0 = -4*t - 71 + 479. Is 16 a factor of t?
False
Suppose -5*u - 2*i - i + 9423 = 0, -3*u + 2*i = -5650. Does 6 divide u?
True
Suppose -2*h - 12 = -10. Does 12 divide 9386/78 - h/(-3)?
True
Suppose -u + 143 = -2*a + 35, 5*u = -3*a - 149. Let f = -7 + a. Let v = -24 - f. Is v a multiple of 10?
False
Suppose 96*t = 9275 + 11557. Is 4 a factor of t?
False
Let q = 3166 - 2116. Is q a multiple of 15?
True
Suppose 133*o = 13*o + 344760. Is o a multiple of 39?
False
Let s(a) = -12*a - 6. Let i be s(-3). Suppose -4*l + 2 = -i. Suppose -3*f - 260 = -l*f. Is f a multiple of 13?
True
Let c = 714 + -592. Does 27 divide c?
False
Suppose -4*n = 5*u - 2088, 0 = -4*u - u + 2*n + 2106. Suppose -a + 6*a - u = -5*y, -4*y + 3*a + 343 = 0. Does 5 divide y?
True
Let a(v) = -v**3 + 20*v**2 - 37*v + 24. Let m be a(18). Is ((-3)/m)/(-1) + 396/8 a multiple of 10?
True
Let f(n) = n**3 - 3*n**2 - 27*n + 3. Let m be f(8). Let h = 127 - m. Is h a multiple of 20?
True
Suppose -59 = -3*i - 3*q + 172, 0 = -5*i + 3*q + 409. Suppose -i + 10 = -7*k. Does 10 divide k?
True
Let a(g) = 2*g**3 + g**2 - g + 1. Let t be a(1). Suppose 3*r - t = 12. Suppose r*v = 2*j - 46, 36 - 128 = -4*j - 5*v. Is 23 a factor of j?
True
Suppose -3*v + 12 = 0, -t + v - 52 = -3*t. Suppose -4*q - 46 = -2*a, -2*a + 3 = -2*q - 19. Let p = q + t. Does 12 divide p?
True
Let f = -6 - -6. Suppose f*x = -x. Does 11 divide x + 3 - (-20 + -2)?
False
Let a = 476 + -131. Suppose -274 - 61 = -5*l + g, -5*l - g = -a. Let z = l - 33. Is z a multiple of 9?
False
Let g be 2/5 - (-36)/10. Suppose 3*h + 110 = g*h. Does 10 divide h?
True
Let r(d) = -d**2 - 9*d - 12. Suppose 4*h + 20 = -5*p, -5*h = -4*p - p + 25. Let f be r(h). Let y = f + 13. Is 7 a factor of y?
True
Suppose 0 = 2*d + 5*n - 6 - 3, 3*n = -9. Suppose -a = -d*a + 990. Does 10 divide a?
True
Let v be 4*(-1 + 2) + 0. Let w = 25 + v. Suppose -h + 6*b - b = -w, -2*h + 45 = 3*b. Does 8 divide h?
True
Let o(r) = -3*r. Let t be (2 + (-5)/3)*-3. Let a be o(t). Suppose -52 = -a*m + 11. Is 5 a factor of m?
False
Let k(s) = s**3 + 8*s**2 - 6*s + 5. Let i(y) = 4 + 5 + 46*y**2 + 4*y - y**3 - 48*y**2 + 8*y. Let n be i(-4). Does 16 divide k(n)?
True
Suppose 8*l = 6*l - 8. Is 3 - (l + 2 + -1) a multiple of 2?
True
Suppose -75 = -d - r - 3, 3*d = -5*r + 206. Is 33 a factor of (-1 + 7)/(14/d)?
True
Let w(a) be the first derivative of -a**4/4 + 11*a**3/3 - 9*a**2/2 - 5*a + 1. Let p = -1842 + 1852. Is 4 a factor of w(p)?
False
Suppose -11*u - 1200 = -13*u. Does 25 divide u?
True
Let r be ((-11)/(-22))/(1/(-4)). Let u = r + 4. Is 2 a factor of u?
True
Let r = -21 - -17. Does 13 divide r/(48/(-18))*140/6?
False
Suppose 23*o - 1764 = 5*o. Suppose 99*i - o = 98*i. Does 7 divide i?
True
Suppose -12 = -7*s + 16. Suppose -3*l - s*l + 441 = 0. Does 8 divide l?
False
Suppose 4*x - 10*x = -240. Is x a multiple of 10?
True
Suppose 11 = 2*z - 3*w + 2, -4*w - 7 = -z. Let a(u) = u**3 - 3*u**2 + u. Let l be a(1). Is 5 a factor of -11 + 16 - l*z?
False
Let x = -831 - -1131. Does 12 divide x?
True
Let d(r) = -2*r + 8. Let h(n) = n - 7. Let z(l) = -2*d(l) - 3*h(l). Let p be z(0). Does 20 divide (-2)/p + (-122)/(-5)?
False
Let f = -13 - -18. Suppose 3*g + 2*p - 299 = 0, -f = -3*g + 2*p + 290. Is g a multiple of 20?
False
Let r(j) = -14*j**2. Let g be r(-1). Let x = g - -62. Does 15 divide x?
False
Suppose 0 = -q + 4*r - 12, q + 5*r - 14 = 2*q. Let t = 9 + q. Does 4 divide t?
False
Let o(c) be the second derivative of -c**4/12 + 10*c**3/3 + 9*c**2/2 + 30*c. Is 14 a factor of o(15)?
True
Suppose -4*o + 6336 = 3*r + 765, -4*o + 2*r = -5586. Is o a multiple of 15?
True
Let b(y) = 21*y - 14. Let i(h) = -h**3 + 9*h**2 - 7*h - 2. Let k be i(8). Is b(k) a multiple of 14?
True
Let x(h) = -h**3 + 6*h**2 + 4*h - 1. Suppose -2*s - 2*s - 80 = 0. Let c be (-2)/(-10) + (-116)/s. Is x(c) a multiple of 14?
False
Suppose -s - 1 = 4*c - 14, -s + c = -38. Is s a multiple of 6?
False
Let m = 1 + 7. Let s be -4 + m - (2 + -1). Suppose s*d = -d + 72. Is d a multiple of 6?
True
Suppose 0 = -1295*i + 1306*i - 3795. Is 23 a factor of i?
True
Let z be -3 - (1 - 5)/(-4). Is 13 a factor of (3 + -5)*134/z?
False
Let b = -60 + 310. Is b a multiple of 10?
True
Suppose -2044 = -2*u + 3*f + 2136, -2*f = 3*u - 6270. Is 76 a factor of u?
False
Suppose 0 = 4*p - 6 - 2. Suppose -5 = p*c - 17. Is 6 a factor of c/(-7)*(-4 - 3)?
True
Let p(r) = -3*r**3 - 3*r - 2*r**3 + 3 + 9*r**3. Let a be p(2). Suppose 5*s - a = -14. Is s a multiple of 3?
True
Let a be 16/(-10) - 30/75. Is 12 a factor of -1 + -2 + (18 - a)?
False
Let o(u) = -11*u - 1. Let r(w) = w**3 + 3*w**2 + w - 2. Let n be r(-3). Is o(n) a multiple of 18?
True
Let f(i) = -222*i. Let u be f(1). Let p = 327 + u. Is 35 a factor of p?
True
Suppose 4*r = -2*h - 532, -4*h + 6*h = -3*r - 537. Let q = h - -580. Is (-10)/25 - q/(-10) a multiple of 15?
True
Let b(t) = -20*t + 300. Is b(-9) a multiple of 32?
True
Is 10 a factor of 14/147 + (-92384)/(-168)?
True
Let z be (62 - (-3 + 3)) + 2. Suppose i + 4*y - 10 + 36 = 0, 0 = -2*i - 2*y - z. Let k = i - -70. Is k a multiple of 12?
True
Let z(j) be the second derivative of j**5/20 - 3*j**4/4 - 4*j**3/3 - 5*j**2/2 + 4*j. Let u be z(7). Is u/(-21) + 12/(-21) a multiple of 3?
False
Let w(b) = -b**2 + 2*b - 3. Let g be w(2). Let l = 2 - g. Suppose -3*r - v - 65 = -250, -2*r = -l*v - 146. Is 18 a factor of r?
False
Suppose 0 = -13*h + 34803 - 6424. Does 37 divide h?
True
Let q be ((-14)/4 - 3)*-2. Suppose -37 + 172 = 5*y. Suppose -y = -5*m + q. Is 3 a factor of m?
False
Suppose -x = 5*y + 489 + 60, 438 = -4*y - 2*x. Suppose 5*r = -5*a - 315, -5*a + a - 188 = 3*r. Is 13 a factor of y/4*r/20?
False
Suppose -3*f - 6 = 0, t - 6*t = 5*f + 155. Is ((-1)/(2/(-32)))/(t/(-58)) a multiple of 7?
False
Suppose 4637 = 7*k - 7123. Suppose 7*f + f = k. Is 14 a factor of f?
True
Let q(d) = -3*d**3 + 44*d**2 + 19*d - 13. Is 2 a factor of q(15)?
False
Suppose 5*x = o + 2, 4*o + 3*x + 8 + 23 = 0. Let d = o + 5. Is 6 a factor of d + -1 - (-42)/2?
True
Let u = 1193 - -279. Does 60 divide u?
False
Let g = -7 + 6. Is 5 a factor of (-594)/(-30) - g/5?
True
Suppose 5*v - 15 = 5*a, 3*v + 3*a + 2*a - 17 = 0. Suppose 2*x - 90 = -v*x. Is 3 a factor of x?
True
Is 110 a factor of (-5)/(11 - (-5811)/(-528))?
True
Suppose 6 = -3*i - 3. Let w be (1/i)/((-16)/(-96)). Is w/((-3)/((-324)/(-8))) a multiple of 9?
True
Let y = -102 + 727. Suppose 2*h = 25 + y. Is 13 a factor of h?
True
Suppose 4*x = 5*q + 15, 5*x + 2*q - 14 = 13. Let z(d) = -5*d + 3. Let v(w) = 10*w - 7. Let m(i) = x*z(i) + 2*v(i). Does 11 divide m(-2)?
True
Suppose -5*n + 83 + 442 = 0. Suppose 5*v - 5*g - n = 200, v - 4*g = 70. Does 9 divide v?
False
Let j = 10 + -9. Suppose 13 - j = 4*v. Suppose 2*w + s = 52, w + 5*s = v*w - 28. Does 12 divide w?
True
Let h be 0*((-15)/(-6) - 3). Suppose -4*a = -16, 5*w - 3*w - 2*a - 12 = h. Does 10 divide w?
True
Suppose 2*z + 23 - 5 = 0. Let l(x) = x**3 + 8*x**2 - 9*x. Let r be l(z). Let q(m) = -m**2 + 15. Is q(r) a multiple of 3?
True
Does 8 divide -8*(-5)/(-10)*22/(-2)?
False
Let a = 21 + -18. Suppose 4*o + 0*o - 5*c - 180 = 0, a*o - 2*c = 135. Is 15 a factor of o?
True
Suppose 0 = x - 0*x - 3. Is 6 - 0/x*-1 a multiple of 6?
True
Suppose 2*r - 3*i = -0*r + 91, 3*r - 138 = 3*i. Let u = r + -19. Let d = -9 + u. Is d a multiple of 6?
False
Let y(s) = 2*s + 4. Let j be y(4). Suppose 2*b = -b - j. Is 14 a factor of 14/b*(-12)/3?
True
Suppose -2*z - 3 - 3 = 0, -z = -s + 208. Is 13 a factor of s?
False
Let a(t) = t**3 + 2*t**2 + 2*t - 7. Let x be a(0). Does 7 divide x/3 - 2/3 - -94?
True
Suppose 0 = -0*p + 2*p. Suppose -x - 3 = p, -o - x = -3*x - 62. Is o a multiple of 8?
True
Let h be (-12 + 14)*1/1. Let z = 3 + h. Suppose i + 342 = 5*f, -f + i + 81 = z*i. Does 36 divide f?
False
Let i be (1 + -7)/(-3 - -1). Suppose -3*f + 40 = 4*q, f - 7 - i = -3*q. Let r(h) = h**3 - 15*h**2 - 16*h + 23. Is 10 a factor of r(f)?
False
Suppose 0 = 4*x - 5*g, 5*x + 10 + 3 = 3*g. Suppose 13 + 0 = u. Let n = x + u. Does 8 divide n?
True
Suppose 4*d + 320 = -4*m, 2*m - 300 = 6*m - d. Let a = m - -121. Is a a multiple of 5?
True
Let u be -1 + (-2 + -21 - 1). Let d(a) = 3*a + 2. Let j be d(-2). Let l = j - u. Is l a multiple of 6?
False
Let w(v) = v**2 + 4*v - 10. Le