
True
Suppose -2*s - 19 = -4*o - 5*s, 3*o - s = 11. Suppose 5*i + o*q = 11, 4*q = -i + 3*q + 2. Suppose 0 = 2*r + 3*r - 20, -i*f = 3*r - 42. Does 5 divide f?
True
Let r = -10 - -60. Is r a multiple of 10?
True
Let o = -2 - 5. Let n = -1 - o. Is n a multiple of 5?
False
Let t(j) = j**2 + 7*j + 9. Let z be t(-6). Suppose -5*m - z*y = -72, -4*m + y + 32 = -m. Does 4 divide m?
True
Let p = -7 - -104. Suppose -4*t + 15 = -p. Suppose 3*u - t = 5. Is u a multiple of 10?
False
Is 20 a factor of (-3)/(0 - -3)*-194?
False
Let d be 2/(-3 + 7/2). Suppose -d + 7 = -m. Is 2/m*(-102)/4 a multiple of 17?
True
Let o(w) = -3*w**3 + 1. Let h be o(1). Let i = h + 5. Suppose i*s + 7*u = 2*u + 54, 0 = 3*s - 2*u - 75. Is s a multiple of 10?
False
Suppose -188 = -5*l - 3*u, 2*u + 91 = 5*l - 92. Suppose 2*z + t - 6*t = -l, -3*z = 5*t + 43. Is 3 a factor of (z/10)/((-1)/5)?
False
Let a(h) = 2*h**2 - 12*h - 1. Is 13 a factor of a(7)?
True
Suppose 2*k = 2*b - 84, 51 + 77 = 3*b - 5*k. Does 9 divide b?
False
Suppose 3*q + f + f - 7 = 0, -11 = -5*q - 4*f. Let g(r) = r + 9. Let p be g(-6). Suppose -p*a = -12 + q. Is 2 a factor of a?
False
Let b(t) = -t**2 - 2*t - 2. Let k be b(-2). Let i(j) = 10*j + 1. Let r be i(k). Let m = 36 + r. Is m a multiple of 7?
False
Let y(w) = 2*w**2 - 6*w + 20. Is y(-5) a multiple of 20?
True
Let y(c) = c**3 + 5*c**2 - 5*c. Let s be y(-6). Is (-20)/s*6/4 even?
False
Let t be 247 + 1/(-1) - 1. Is 18 a factor of 6/8 + t/4?
False
Let d(j) = -j**2 - 6*j - 9. Let c be d(-5). Is 13 a factor of (1/(-3))/(c/468)?
True
Let i be (-33)/(-22) - (-442)/4. Suppose 5*l = 128 + i. Does 24 divide l?
True
Suppose 2*c + 3 + 5 = 0. Does 21 divide c/6 + (-2674)/(-42)?
True
Let w = 149 + -34. Suppose 0 = 4*n + n - 20. Suppose -w = -n*j - j. Is j a multiple of 8?
False
Let k(f) = -4*f**3 - 12*f**2 - 4*f + 1. Let o(l) = 11*l**3 + 35*l**2 + 12*l - 4. Let j(t) = 8*k(t) + 3*o(t). Is 15 a factor of j(-7)?
False
Is 34 a factor of (206/3)/(12/18)?
False
Suppose 2*k - 2*o + 19 = 3*o, 0 = -2*k + 2*o - 4. Suppose 0 = -0*y + 2*y + 5*n - 84, -2*y - 4*n + 80 = 0. Suppose k*f = -f + y. Does 4 divide f?
True
Suppose 3*u = -5*q + 13, 2*u - 6 = 4*q - 34. Suppose 39 = -q*g + 219. Is 12 a factor of g?
True
Is 7 a factor of (1*-2)/((-2)/9)?
False
Suppose -4*q = -3*d - 2*q + 388, d = -5*q + 118. Is d a multiple of 38?
False
Suppose -5*l + 2*l + 210 = 0. Is 35 a factor of l?
True
Suppose 3*i = 3*t + 4*i - 19, -t = 4*i + 1. Is t even?
False
Let n = 17 + -8. Let c = 41 + -13. Suppose n = l - c. Does 17 divide l?
False
Let m(c) = -c**3 + 5*c**2 + c - 1. Let w(n) = n**2 - 3*n - 6. Let r be w(5). Does 4 divide m(r)?
False
Suppose -12 = 4*p + 12. Is (-62)/(-6) + (-4)/p a multiple of 11?
True
Suppose 3 = -q + 1. Suppose z + n = -2, 7*n - 3*n + 18 = z. Is 13 a factor of (-50 + 0/z)/q?
False
Let d(m) = 2*m**3 + 2*m**2 + 3*m + 1. Let n be d(-2). Let i = n + 40. Is i a multiple of 9?
True
Let y = 4 - 0. Suppose 3*f = 4*p + 122, 6*p = -4*f + y*p + 170. Is 21 a factor of f?
True
Suppose 6*u - 467 = 301. Is u a multiple of 32?
True
Let a(i) = 3 + 32*i + 1 - 34*i. Is 8 a factor of a(-2)?
True
Let z(j) = 32*j - 33. Suppose 7*b - 97 = 2*b + 3*m, -5*b = 5*m - 65. Let t(l) = -11*l + 11. Let u(s) = b*t(s) + 6*z(s). Is 13 a factor of u(9)?
False
Suppose -4*l - 187 = -o, -2*o - l = 2*l - 396. Let u = o - 123. Is 24 a factor of u?
True
Let a(r) = 3 + r**2 + 5*r**2 - 5 - 3*r + 2*r**3 - 3*r**3. Is a(4) a multiple of 5?
False
Let u(s) = s - 4. Suppose b + 2*b - 15 = 0, -9 = 2*g - 5*b. Is 2 a factor of u(g)?
True
Suppose -w + 3*w = -8. Let d = 3 + w. Does 7 divide d/2*28/(-2)?
True
Suppose -w = -4*h - 27, 0 = -3*w - 0*w - 2*h + 25. Is w a multiple of 4?
False
Let h = -56 + 95. Does 19 divide h?
False
Let c = -6 + 7. Is 12 a factor of c/((-1 - -2)/12)?
True
Let p(r) be the third derivative of r**6/120 - 2*r**5/15 - r**4/6 + 2*r**3 + 7*r**2. Is 19 a factor of p(9)?
True
Let m be 13 - 1 - 0/(-10). Let n = m + 12. Is 12 a factor of n?
True
Let m(l) = -l - 1. Is 2 a factor of m(-13)?
True
Let c be (-2 - -4) + (-4 - 0). Suppose 0 = -2*z - z - 12. Let s = c - z. Does 2 divide s?
True
Suppose j - 88 = 68. Is j a multiple of 12?
True
Is 13 a factor of 231/22*((-8)/(-3))/2?
False
Does 3 divide 4*(-5)/(-20)*12?
True
Suppose -h + 18 = 4*i, 7 = i + 4*h - 5. Suppose i*c - 2*c = 30. Does 5 divide c?
True
Suppose 3*t - 28 = 2*p - 92, 118 = 5*p + 3*t. Suppose 5*c = -10, 0*s + s + 2*c - p = 0. Is s a multiple of 30?
True
Suppose -2 = 2*b - 0. Let p be (-1)/(b + (-3)/(-6)). Suppose -d = p*k + 4*d - 101, -185 = -5*k + d. Is k a multiple of 14?
False
Let w be ((-2)/1 - -3)*4. Let t(u) = -3*u**3 + 6*u**2 + u - 3. Let d(p) = -13*p**3 + 25*p**2 + 3*p - 11. Let l(z) = -2*d(z) + 9*t(z). Is 2 a factor of l(w)?
False
Does 18 divide 138/2 - (-4)/6*-3?
False
Suppose -8*p + 15 = -5*p. Suppose -3*w + 4 = 1. Let r = w + p. Does 6 divide r?
True
Let o(z) = -z**2 - 11*z - 3. Let v be o(-9). Let i = -11 + v. Suppose 0 = -4*w - 4*h + 32, 0 = w - i*h - 3 - 25. Is w a multiple of 6?
True
Suppose 512 = 4*j + 2*q - 162, 0 = -3*j + 5*q + 499. Suppose 2*b + j = 6*b. Is b a multiple of 21?
True
Suppose h + 141 = 4*i, 3*i + 88 = 5*i - 4*h. Does 27 divide i?
False
Suppose 3*o + 9 = -0*o. Let f(a) be the first derivative of -a**4/4 - a**3/3 - a**2 + 1. Is f(o) a multiple of 12?
True
Let t be (-2)/(-6) - 982/(-6). Suppose 22 = 4*x + l, -37 = -5*x - 2*l - 8. Suppose x*k + 9 = t. Does 14 divide k?
False
Let w = 6 - 6. Suppose 0 = x + 4*l + 7, -5*l + l - 16 = w. Is x a multiple of 2?
False
Does 31 divide ((-4)/5)/((-26)/2535)?
False
Let o be (-130)/18 - (-4)/18. Let t(l) = -l**3 - 6*l**2 + 7*l + 2. Let j be t(o). Suppose j*v - 21 = -i, 0 = -5*i + 6*i + 1. Is 11 a factor of v?
True
Let j(i) = -i**3 - 2*i**2 - i - 4. Let l be j(-3). Suppose -2*f = -l - 0. Let g(m) = 2*m**2 - m - 4. Is 12 a factor of g(f)?
True
Suppose -7*v = -2*v - 90. Let d = v - 2. Suppose 0 = w - 2*o - d, -24 = -3*w - 5*o + 24. Is 10 a factor of w?
False
Let v = 77 + -40. Let j = v - -2. Does 13 divide j?
True
Let n(a) = a + 17. Let h be n(0). Suppose -h = -2*y - 7. Is y a multiple of 2?
False
Let w(l) = -l**2 - 9*l + 10. Does 7 divide w(-9)?
False
Let o = -88 + 123. Is o even?
False
Let d(t) = -11*t - 4. Let k(l) = -32*l - 12. Suppose 16 = -3*g + 5*g. Let j(q) = g*d(q) - 3*k(q). Does 14 divide j(4)?
False
Suppose -5*b + 1 = j, 0 = -3*b + 3*j + j - 4. Let i be (-15)/25*-15*1. Suppose b = d + 3*g - 0*g - i, -d - 5*g + 11 = 0. Does 2 divide d?
True
Let w(c) = -c + 22. Let x be w(17). Suppose -x*b = 3*m - 46 - 31, 3*b + 45 = 2*m. Does 12 divide m?
True
Is ((-8)/10)/(28/(-6230)) a multiple of 26?
False
Let i(x) be the third derivative of x**8/10080 - x**7/1008 + x**6/240 + x**5/60 - 3*x**2. Let h(b) be the third derivative of i(b). Is h(4) a multiple of 15?
True
Let t be (-1*2)/4*0. Suppose 0 = -y - t*y. Suppose 0 = -y*j + 3*j - 66. Does 12 divide j?
False
Let s = 11 + -8. Let y(h) = h**3 + h**2 - 3*h - 2. Is 11 a factor of y(s)?
False
Suppose -2*t + 14 = 5*x - x, 15 = 2*t + 5*x. Let y be 65/(-2)*126/t. Is y/(-28) - (-3)/4 a multiple of 10?
True
Suppose -2*x = -0 - 22. Does 11 divide x?
True
Suppose -16 = 4*i, -3*k - 5*i + 266 = -4*i. Is 43 a factor of k?
False
Let g(i) = i**2 - i - 2. Let x be g(2). Suppose x*f + 2*f = 204. Does 30 divide f?
False
Is ((-8)/(-12))/((-4)/(-72)) a multiple of 4?
True
Let z be (65 - -1) + 2 + -5. Let l = z + -43. Does 10 divide l?
True
Let k be (18 - 0)*10/(-15). Let u be 2/(2/37 + 0). Let q = k + u. Is 15 a factor of q?
False
Let k = -51 - -93. Suppose -n + k = -5*m, -3*m - 8 = -7*m. Does 13 divide n?
True
Let v = 10 - 10. Let m = v - -2. Suppose 114 = 3*r - i, 93 - 21 = m*r - 2*i. Is r a multiple of 13?
True
Let k(w) = -w**3 + 5*w**2 + 2*w - 5. Let o be k(4). Suppose 0 = 3*x + 5*r + 132, 3*r + 25 + o = -x. Let v = 79 + x. Is v a multiple of 13?
False
Let i(o) = -o + 1. Let p be i(-2). Suppose 2*v + p*w + 0 = -7, 7 = -v + 2*w. Let j = 21 + v. Is 8 a factor of j?
True
Suppose -4*i - 2*o = i + 10, -3*i + 2*o = -10. Let g be (-3 - i)/1*-24. Suppose 0 = -4*u - 4*k + g, 5*k + 4 = 2*u - 4. Is u a multiple of 14?
True
Let s(a) = -2*a**3 - 9*a**2 + 6*a + 13. Let x(o) = 3*o**3 + 13*o**2 - 9*o - 19. Let r(w) = -8*s(w) - 5*x(w). Does 3 divide r(-7)?
True
Let t(o) = -o**3 + 6*o*