- a = -4*k. Is a a multiple of 2?
True
Let o(q) = q**3 + 6*q**2 + 5*q + 5. Let t be o(-5). Suppose -2*w + w = 3*x - 37, -3*w = t*x - 63. Is 3 a factor of x?
True
Let j be 3/(2 - (-25)/(-15)). Suppose -5*c = -j*c + 288. Is 18 a factor of c?
True
Let o be ((-27)/(-6) - 6)/(2/(-4)). Suppose o*p + 3*p = 360. Does 6 divide p?
True
Let h(m) = 29*m**3 + m**2 + 2*m + 6. Does 81 divide h(4)?
False
Suppose 0 = s + 2*s + 9. Let u = 5 + s. Suppose u*l + 4*c = 0, 4*l - 2*c - 1 = 49. Is 10 a factor of l?
True
Suppose -3 = -14*l + 15*l - 4*i, -5*i = -10. Suppose h = l*c + 50, 4*h = 4*c + 132 + 20. Is h a multiple of 2?
False
Let b be 13/((4 + 1)/(-5)). Let v = 18 + b. Is 5 a factor of v?
True
Suppose 0 = -7*o + 5*o + 368. Suppose 5*v = -3*v + o. Is v a multiple of 21?
False
Let x = 505 + 1255. Is x a multiple of 10?
True
Let x be (-4)/6 - (-16)/6. Suppose 4*z = -8 + 132. Suppose s = x*s - z. Does 14 divide s?
False
Suppose 4*x - 40*g = -45*g + 10204, -2*x - 2*g = -5104. Does 36 divide x?
True
Let i = 527 + 12. Suppose -5*q + 366 + i = 0. Does 21 divide q?
False
Let d be 1 + -2 + (0 - 1 - -2). Is 12 a factor of ((-15)/(-10) + d)*46*1?
False
Suppose -4 = q, -q + 3163 = 5*n - 358. Is n a multiple of 16?
False
Suppose 11*g - 1 = 21. Suppose 4*l + 63 = 5*h, -g*h + 2*l + 24 = l. Is 4 a factor of h?
False
Let o(y) = -2*y**3 - 4*y**2 + y - 8. Let m = 32 - 36. Is 13 a factor of o(m)?
True
Suppose 25 = 5*l + 5. Suppose 0 = -4*s + l*p + 596, 840 - 246 = 4*s - 3*p. Suppose -3*c = -3*u + s, -4*u - 4*c + 182 = -u. Is u a multiple of 6?
True
Let l(q) = q**2 - 5*q. Suppose -3*c = -5*r + r - 37, 0 = c + 5*r + 13. Does 8 divide l(c)?
False
Let h be 3*((-51)/(-9) - -3). Let a = h - 6. Does 5 divide a?
True
Suppose 3*m - 20 = 25. Let f = m - 6. Suppose c + f = 2*c. Is c a multiple of 3?
True
Suppose -5*u + 20*i + 818 = 18*i, 0 = 3*u + 5*i - 466. Does 17 divide u?
False
Does 66 divide (-32340)/175*15/(-6)?
True
Let z be (1/4*6)/(11/22). Suppose 3 = -r - h - 2*h, 0 = 2*r + z*h - 9. Does 2 divide r?
True
Suppose -4*p + 2*d + 32 = 0, -2*d + d + 4 = 0. Let b = p - 8. Suppose b*f - 47 = 9. Is f a multiple of 10?
False
Let q = 259 + -100. Does 17 divide q?
False
Let u(z) = z**2 + 10*z - 6. Suppose -5*c + 35 = -5*p, -2*p = -4*p. Does 25 divide u(c)?
False
Let r(k) = -k**3 - 3*k**2 + 31*k + 29. Is 28 a factor of r(-13)?
True
Let a = 3 + -3. Suppose a = -p - 2*p, -5*u + 2*p = 15. Let i = u + 8. Does 4 divide i?
False
Suppose 51*m - 18995 - 41695 = 0. Is m a multiple of 7?
True
Let d be -1 - -2 - -3 - 3. Let g = d - -2. Suppose 92 = 3*a + 2*x, 0 = -5*a - 2*x - g*x + 145. Does 17 divide a?
True
Let g(p) = 10*p + 3. Let o be g(5). Let f = -91 + 54. Let n = o + f. Is 8 a factor of n?
True
Suppose -z = 3*z + 68. Let f = -7 - z. Does 23 divide 15/f*(-46)/(-1)?
True
Let s(m) be the first derivative of -m**6/360 + 7*m**5/60 - m**4/4 + 5*m**3/3 + 5. Let z(p) be the third derivative of s(p). Is z(13) a multiple of 7?
True
Is 19 a factor of (-6)/(-8) - (-2)/8 - -612?
False
Let v be -1*(-1 + 1 - 11). Let u(y) = -2*y**2 + 13*y - 9. Let c be u(v). Let r = c + 181. Does 12 divide r?
False
Let v(i) = 60*i - 203. Does 5 divide v(7)?
False
Suppose -4*r + 11*r = 2128. Does 38 divide r?
True
Let d = 26 + -13. Suppose -23 = -4*p + d. Is 9 a factor of (-3)/p + 204/18?
False
Suppose -n = -2*h - 118, -h - 472 = 7*n - 11*n. Is 2 a factor of n?
True
Is 45 a factor of ((-14)/(-8))/(18/3240)?
True
Is 8 a factor of (-376)/(-2) + 28/7?
True
Let l = -4 + 4. Suppose l = -c + 30 + 20. Suppose -c = v - 3*v. Is 19 a factor of v?
False
Suppose 1 = 3*u - 20. Suppose 956 = u*a - 276. Does 16 divide a?
True
Let a = -9 + 36. Let j be ((-8)/12)/((-6)/a). Suppose -j*u + 45 = -0*u. Is u a multiple of 3?
True
Let q be -1 - -3 - (-33 + -8). Let j = q - 11. Does 4 divide j?
True
Let n = 936 - 324. Is 51 a factor of n?
True
Let j = -34 + 39. Let z(l) = -2*l + 6. Let o be z(j). Is o/14 + 592/14 a multiple of 21?
True
Let x(h) be the second derivative of h**5/30 + h**4/6 + h**3 - 4*h. Let d(r) be the second derivative of x(r). Is 13 a factor of d(9)?
False
Suppose 301 + 1463 = 6*o. Does 19 divide o?
False
Let x = 204 + -163. Is 11 a factor of x?
False
Let d be -3 - (-4 - -2 - 13). Let g = -11 + d. Is 78 + 3 - (g - -1) a multiple of 15?
False
Let l be (-4)/(-6) + 70/30. Let q(w) = 0*w**l + 125 - w**2 - 85 - w + w**3. Is 20 a factor of q(0)?
True
Suppose -4*z = -6*z + 2*u - 26, -4*u = 2*z - 4. Let l = 88 + z. Does 20 divide l?
True
Let m(i) = 12*i - 1. Let b = 26 - 18. Let q be (b/(-20))/(1/(-5)). Is m(q) a multiple of 5?
False
Let u be (-64012)/24 + (-6)/(-36). Is 28 a factor of u/(-14) + (-3)/(-6)?
False
Suppose 0 = 4*x - 3*y + 26, x - 5*y + 4 - 6 = 0. Let m = x - -9. Is 29 a factor of (m/(-4))/(5/(-2020))?
False
Let a(g) = g + 6. Let j(z) = z**2 - z. Let v be j(3). Is 4 a factor of a(v)?
True
Let s = -810 + 1569. Is s a multiple of 33?
True
Suppose 3*v - 6*o + 2*o = 650, 3*v - o = 662. Suppose -a + v = 50. Is 46 a factor of a?
False
Let a = 41 + -43. Does 13 divide a/12 - (-157)/6?
True
Suppose -12510 = -13*r + 2752. Is 37 a factor of r?
False
Let j(f) = -3*f + 1. Let n be j(4). Let t = -19 - n. Let q = t + 14. Is 4 a factor of q?
False
Suppose -4*b + 1020 = -i, b + 108 = -4*i + 346. Suppose -6*c + 324 = -c + 3*y, 4*c - b = -5*y. Does 33 divide c?
True
Let g(h) = h**2 + 3*h - 7. Let w be g(-5). Suppose -5*l + 182 = 2*b, w*l = -2*b - l + 178. Suppose 3*d - 5*c - b = 0, d - 27 = -0*d + 5*c. Is 7 a factor of d?
False
Suppose -3*c = -2*d - 2*d - 2783, 0 = -2*c - 3*d + 1878. Is 45 a factor of c?
False
Does 19 divide 247 - (0/(-4))/(-5)?
True
Let f(w) = -w**3 - 5*w**2 + 2*w + 14. Let i be f(-5). Suppose i*z - 26 = -u, -2 = 5*z - 3*z. Is 3 a factor of u?
True
Suppose -525 = -4*b + 3*i, -43 = 5*b - 2*i - 701. Suppose -b*k + 133*k = 96. Is k a multiple of 16?
True
Let b be 7/((-5)/(4 + -84)). Suppose 2*z - 3*d - 363 = -z, z - 4*d - b = 0. Does 31 divide z?
True
Suppose 0*b = -2*b + 6. Suppose 3*r + b = -3*w, 2*r - 2*w = -3*w + 2. Suppose -r*p + 25 = -5. Is p a multiple of 3?
False
Is 1/(2/(-180))*770/(-275) a multiple of 16?
False
Suppose j = -5*p + 612, 0 = 4*p + 57*j - 52*j - 477. Is 58 a factor of p?
False
Let x be (-187)/(-44) + 2/(-8). Suppose 0*s = -x*s + 144. Does 10 divide s?
False
Let j = -23 - -14. Let l = 46 + j. Let s = 73 - l. Is s a multiple of 18?
True
Let z = -13 - -9. Does 7 divide 7/(11/z - -3)?
True
Suppose 4*t + 2*y - 13989 = -3697, 0 = 4*t - 4*y - 10316. Is 16 a factor of t?
False
Let o(c) = c**3 - 11*c**2 + 33*c - 11. Is o(7) a multiple of 3?
True
Suppose 5*t = t + 16. Suppose -11 = -c + 3*w, -c - t*w + 2*w = 4. Suppose 4*o = 4, -5*s + c*o = -0*o - 133. Does 9 divide s?
True
Suppose -14*h - 3612 = -0*h. Is (-6)/(-18)*5/((-5)/h) a multiple of 12?
False
Suppose -4*s + 5*j - 6 = -21, s = -3*j - 9. Suppose s*q + 32 = q. Let b = 60 - q. Is 5 a factor of b?
False
Let f = 339 + -297. Is f a multiple of 3?
True
Let y = 72 + 90. Let z = -138 + y. Does 12 divide z?
True
Let v be -330*((-21)/10 + (-2)/(-4)). Suppose v = -a + 9*a. Is a a multiple of 22?
True
Let a = 131 + -199. Let y = a + 132. Is 8 a factor of y?
True
Suppose 4*k = -a + 17, -k - 31 = -a + 2*k. Let s = a + -13. Does 4 divide s?
True
Let c be (-4)/6 + 91/(-21). Does 9 divide 1/(-2) + c + (-567)/(-14)?
False
Suppose -9*m + 2383 = -2657. Is m a multiple of 5?
True
Let b = -1 - -18. Let q = b - 23. Is 11 a factor of (-2)/(3/(225/q))?
False
Let l be 3 + (3 + -3)/(-3). Suppose -x + 3*o = -21, 0 = -3*x + l*o - 4*o + 63. Does 7 divide x?
True
Let d(b) = -72*b - 273. Is 10 a factor of d(-21)?
False
Suppose 22 = 3*n + 5*u, 0*u + 2 = n + 3*u. Suppose n*j + 54 = 12*j. Is 4 a factor of (-498)/(-54) - (-6)/j?
False
Let o(s) = 41*s + 7. Let j be o(3). Suppose -5*u = 2*d - 3*u - j, 205 = 3*d + 5*u. Is 20 a factor of d?
True
Suppose 240 + 34 = 3*z - 4*a, 0 = -5*z + a + 485. Let n = 143 - z. Does 9 divide n?
True
Is (197/4 - 2)/((-15)/(-80)) a multiple of 42?
True
Let q(x) be the first derivative of 3*x**4/4 - 5*x**3/3 + 2*x**2 - x + 1. Let m be q(4). Suppose w + m = 5*a, -a + 19 = -0*a + 3*w. Is 16 a factor of a?
False
Let q be 7/1 - (-1 - -4). Let b = q - 2. Suppose b*u - 38 = 84. Is 8 a factor of u?
False
Let r be -8 + (16 - 8) + 1*-11. Let j(a) = a**3 - 4*a**2 + 4*a - 1. Let 