f = 631 + -226. Is f a multiple of 21?
False
Suppose -5*r = 2 + 3. Let x be (1/(-1)*2)/r. Suppose x*h - 240 = -3*h. Does 16 divide h?
True
Let a = 31 - 21. Suppose o = 3*o - a. Let h(m) = m**2 + 1. Is 13 a factor of h(o)?
True
Let m(k) = 71*k**3 + k**2. Let n(g) = -g**3 + g**2 + 1. Let v be n(0). Does 9 divide m(v)?
True
Let o be 4 + 3*-2 - -1203. Suppose 0 = -2*u + o + 1029. Is u/75 - (-6)/45 a multiple of 15?
True
Let a(k) = k**3 + 2*k**2 - 3*k + 5. Suppose -5*p - 3 = 17. Let x be a(p). Is 12 a factor of x/(-10)*(-68)/(-3)?
False
Suppose 0 = -31*i - 2*i + 264. Does 8 divide i?
True
Let g = -16 + 28. Suppose 0 = -6*u - g + 156. Is u a multiple of 8?
True
Let u = -196 + 44. Let t = u - -318. Is 21 a factor of t?
False
Let k = 4 + -4. Suppose o + 15 = -5*a, k = -5*o + o - 5*a - 15. Suppose -4*t = -o*t - 84. Is t a multiple of 13?
False
Suppose -22*n - 733 + 3703 = 0. Is 5 a factor of n?
True
Let s(g) be the third derivative of g**6/120 + g**5/6 - g**4/2 - g**3 + g**2. Let y be s(-11). Suppose -282 + 52 = -y*m. Is 12 a factor of m?
False
Suppose 0 = -20*m + 19*m - 2*k + 1166, -2*m = -5*k - 2314. Does 28 divide m?
False
Let p(k) be the second derivative of k**4/6 + 2*k**3/3 + k**2/2 - 20*k. Is 13 a factor of p(5)?
False
Let w = -7 - -12. Suppose -3*n - 1 = 2*j, -w*j = n - 2*n + 11. Let g(s) = -5*s**3 - s - 2. Does 20 divide g(j)?
True
Let h = -1693 + 2215. Is 58 a factor of h?
True
Suppose -2*g - 11*j + 302 = -8*j, 0 = -2*g - 5*j + 298. Is g a multiple of 4?
False
Let c(f) be the second derivative of -f**5/20 - f**4/6 - 5*f**3/6 + 9*f**2/2 + 14*f. Does 11 divide c(-4)?
False
Suppose 0 = 2*j - 6*j - 312. Let k = 168 + j. Suppose 4*n + 3*p - 27 = k, 3*n - 66 = 5*p. Is n a multiple of 10?
False
Let d = -273 + 548. Suppose -3*r = 5*p - 6*r - d, -2*p + 2*r + 110 = 0. Does 14 divide p?
False
Suppose 0 = 3*p - 4*k - 1147, 2*p - 6*p - 3*k = -1571. Does 6 divide p?
False
Let a(m) = 3*m - 18. Let h be a(11). Suppose -3*i + h = 2*i. Suppose 5*u - 44 - 45 = -2*q, i*q - 128 = -2*u. Is 12 a factor of q?
False
Suppose 6*w - 16*w + 20010 = 0. Is w a multiple of 47?
False
Let i(s) = 6*s**2 - 1. Suppose -o = -2*o + 1. Let j be -3 + o + 4 + -1. Is i(j) a multiple of 5?
True
Suppose -3*b + 0*b = -4*b. Let c(w) = -w**3 + w**2 + w + 11. Is 10 a factor of c(b)?
False
Suppose 5*c - 284 = 4*y - y, -2*c + 113 = -y. Is c a multiple of 11?
True
Let w(m) be the second derivative of -m**4/12 + m**3/3 - 6*m. Let x be w(1). Let c = 6 + x. Is 2 a factor of c?
False
Let k(f) = f**3 + 8*f**2 + f + 11. Let n be ((-4)/8)/(-1)*6. Suppose 4 = 2*x - 4*u, n*x + 2*u = u - 29. Is k(x) a multiple of 2?
False
Let n(w) = 547*w - 30. Does 27 divide n(3)?
False
Let p(a) = -a**3 - 5*a**2. Let y be p(-5). Suppose -3*g + 7*g - 20 = y. Suppose -2*l - 18 = -t, -5*t - g*l + l + 20 = 0. Is 8 a factor of t?
True
Suppose 15 - 3 = 3*a. Does 28 divide 2*56/a*(-1 + 2)?
True
Suppose 5*x + 5*f - 1110 = 0, 0 = 5*f + 13 - 38. Is x a multiple of 13?
False
Let l be (3/(-2))/((-2)/(-4)). Let m = -9 + l. Does 15 divide 262/6 - m/9?
True
Suppose 2*w + 97 = -c, 5*w + 2*c + 40 = -202. Let a = 82 + w. Is a a multiple of 5?
False
Let y = -1123 + 1542. Is 81 a factor of y?
False
Suppose -4*y - 4 = -m - m, 0 = 5*m - 3*y + 18. Let f = -5 - m. Let u(o) = 6*o. Is 3 a factor of u(f)?
True
Let u(l) = 29*l + 15. Let g(p) = -2 - 7*p - 5 - 7*p. Let r(f) = -5*g(f) - 3*u(f). Is r(-4) a multiple of 19?
False
Suppose -47 = -2*t + 17. Let i = 29 - t. Is 15 a factor of (-13)/(i - (-32)/12)?
False
Suppose 6*c = -3 + 27. Suppose -5*r = -2*j + 5*j - 148, c*j + 5*r = 204. Is j a multiple of 11?
False
Suppose 4*s + w = 2, 0 = -3*w - 0*w + 6. Suppose 0*l + 6 = 2*l, -3*i + 5*l + 45 = s. Does 37 divide 37/(i/16 - 1)?
True
Let n(w) = -w**3 - 11*w**2 + 19*w - 6. Let a be n(-13). Let o = a + 37. Let r = o + -63. Does 23 divide r?
False
Does 21 divide 1 + 7539/12 + (-9)/(-12)?
True
Suppose 5*s = 5*p + 255, 2*s - p = -5*p + 132. Suppose -6*b - s = -10*b. Is 2 a factor of b?
True
Let u = -24 + 49. Suppose -162 = u*a - 31*a. Does 5 divide a?
False
Suppose 2*w - 2620 = -4*o, -3*o - o - 4*w = -2616. Is o a multiple of 28?
False
Suppose 3*t = -5*o + 5889, 2689 = 2*t + 2*o - 1237. Does 50 divide t?
False
Suppose 11*v - 4600 = -1740. Is v a multiple of 20?
True
Let u = 58 - 28. Let i = u + 54. Suppose 2*n - i = 4*c, -n + 5*n = c + 140. Is n a multiple of 7?
False
Let u(k) = k**3 + 9*k**2 - 2*k - 7. Let f be u(-7). Suppose -4 = 5*b + 5*t - 214, 2*b = 5*t + f. Does 17 divide b?
False
Suppose -5*r + 577 = -2*p - 724, 2*p - 1030 = -4*r. Is r a multiple of 19?
False
Suppose -1075 = -5*a + 485. Suppose 3*b - 5*b = -n - a, -b = -2*n - 162. Is b a multiple of 13?
False
Let w(o) = o**2 + 5*o - 1. Let r be (-48)/40*10/3. Let c be w(r). Let z = c + 11. Is 3 a factor of z?
True
Let g = -268 + 362. Is g a multiple of 3?
False
Let h(c) be the second derivative of c**5/20 + 2*c**4/3 + 2*c**3 - c**2 + 22*c. Does 2 divide h(-5)?
False
Let t be -2*(76/(-8) - -1). Is 13 a factor of t + -1*(4 - 1)?
False
Let k = 23 + -18. Suppose 4*z = s + 6, -2*z + 10 = s - k*s. Suppose -z = o - 15. Is 12 a factor of o?
False
Let t(s) = s + 14. Let c be t(-8). Let d = c - -54. Is 20 a factor of d?
True
Suppose 42*i + 96 = 348. Is i a multiple of 2?
True
Let l(a) = -2*a. Suppose 4*i - i = -6. Let y be l(i). Suppose -y*b = -4*u + 10 - 34, 5*b - 2*u = 39. Is b a multiple of 2?
False
Let b be ((-10)/(-15))/(2/9). Is 4 - 219/b*-1 a multiple of 11?
True
Let s(l) = 2*l**3 - 11*l**2 - 8*l - 4. Let i be s(7). Suppose -18 + i = v. Is v a multiple of 23?
True
Let z(h) be the first derivative of -h**4/4 - 5*h**3/3 - 15*h**2/2 - 11*h + 17. Does 26 divide z(-6)?
False
Is 4 a factor of (6 + -25)*-10*(-1)/(-2)?
False
Suppose -5*x + 7043 = j + 2*j, -2*j - 2*x = -4702. Is j a multiple of 76?
True
Let f = -82 - -47. Let j(k) = -29*k + 4. Let q be j(2). Let h = f - q. Is h a multiple of 14?
False
Suppose -10 - 5 = -3*f. Suppose h - f*s = 61, 0*s + 15 = -5*s. Does 12 divide -1*(-7)/(7/h)?
False
Suppose -o = -3*o + 124. Let p = o + -24. Does 9 divide p?
False
Suppose 2*v - 10 = -3*b, -b = 4*v - 0*b - 40. Suppose -2*i + 1430 = v*i. Is i a multiple of 10?
True
Let n = -105 - -225. Suppose -4*i + 160 = 4*d, 3*i - 36 - n = -4*d. Does 6 divide d?
True
Let b = -30 - -56. Is b a multiple of 3?
False
Let r be (-15)/((1 - -3)/(-12)). Suppose 5*g - 35 = h + 24, -r = -4*g + 3*h. Does 6 divide g?
True
Suppose 172 = 4*b + 4*f - 144, 3*f = -15. Is b a multiple of 7?
True
Let d(w) = w - 10. Let m(t) = t**3 - 11*t**2 + t - 1. Let c be m(11). Let a be d(c). Suppose a*x + 4*x = 228. Is 22 a factor of x?
False
Let j = 48 + -23. Is 5 a factor of j?
True
Let w(b) = 2*b + 13. Let n be w(-6). Let y be n/(4/(-36) + 0). Let h = y - -66. Is h a multiple of 19?
True
Let s = -1149 + 2237. Does 32 divide s?
True
Let i(u) = 31*u**3 + 3*u - 2. Suppose y - 11 = -10*y. Does 16 divide i(y)?
True
Suppose -2*g - 94 = 196. Let v = 160 + g. Does 3 divide v?
True
Suppose 1471 = -7*x - 111. Let i = -106 - x. Is i a multiple of 24?
True
Suppose -u - 3*u = -2*i - 6, 4*u = -5*i + 13. Let d(k) = -4 + 6 - u - 3*k**2 + 4*k + 2 - 3*k**3. Does 12 divide d(-3)?
False
Let d be -15*-1*1/3. Let v(x) = 2*x + x**2 - 8 + d*x + 4*x. Does 2 divide v(-12)?
True
Let u(k) = k**2 + 17*k + 105. Let x be u(-14). Let g(y) = -y - 1. Let l be g(-3). Suppose 3*b = l*r - x, -3*b - 2 = 13. Is r a multiple of 6?
True
Let k = -60 - -72. Let m = 40 - k. Is m a multiple of 4?
True
Is 29 a factor of 2572/5 + (54/45)/2?
False
Does 13 divide ((-1)/(-1*1))/(243/6318)?
True
Let v = 57 - -79. Suppose -3*c - c - v = 0. Let r = -17 - c. Is 17 a factor of r?
True
Let o = -104 - -104. Suppose -2*m - 3*n + 276 = o, -5*m - 4*n = -3*n - 690. Is 22 a factor of m?
False
Suppose d + 3*l - 180 = 6, 4*l + 987 = 5*d. Is 13 a factor of d?
True
Let a(f) = 14*f - 28. Is a(6) a multiple of 4?
True
Let q(y) = y - 17 + 30 - 14. Let h(o) = -11*o + 6. Let b(v) = -3*h(v) - 21*q(v). Is 9 a factor of b(2)?
True
Let q(d) = -5*d**3 - d**2 - 2*d. Let a = -11 + 15. Suppose -b + 4 = 0, -a*s = -2*s + 2*b - 6. Is 2 a factor of q(s)?
True
Let d(c) = -c**3 - 5*c**2 + 10*c. Let k be (8/5)/((-1)/5). Let t be d(k). Suppose 2*s - t = 14. Is s a multiple of 9?
True
Let l = -5 + 2. Let t(f) = -2*f**3 - 3*f**2 - f + 4. Is