 0. Does 3 divide a?
True
Let p(z) = z**2 + 9*z + 4. Let b(i) = -4 + i**2 + 2*i - 2*i**2 + 7*i**2 + i**3 - i. Let w be b(-6). Is 14 a factor of p(w)?
True
Suppose 3*v - 22 = -s - 2*v, 4*s - 20 = -3*v. Suppose 0 = s*p - 4*p + 116. Is p a multiple of 10?
False
Suppose 15*l = 14*l + 16. Let y(v) = 2*v - 5. Let k be y(6). Let u = l - k. Does 4 divide u?
False
Suppose -161 + 11 = 5*b. Is 5 a factor of (-135)/b*76/6?
False
Suppose -l + 96 = -12. Does 71 divide l?
False
Let x = 2437 - 2029. Is x a multiple of 30?
False
Let p(m) = -6*m + 3. Let s be (26/6 - 3)*-6. Is 12 a factor of p(s)?
False
Let p be 8/(1 - (-3 - -2)). Suppose -p*a + 13 = -g, -3*g - 1 = 2. Let c = a - -8. Is c a multiple of 3?
False
Let f = 1618 - 1539. Is f a multiple of 6?
False
Let o be (-2)/(-8)*-2*6. Let k = o - 3. Let w(v) = v**3 + 6*v**2 - 4*v - 6. Does 6 divide w(k)?
True
Suppose -4*v = 2*s - 906, s - 555 - 576 = -5*v. Suppose -4*j + v = -6. Is 12 a factor of j?
False
Suppose 5*z - z - 4*t = 16, 4*z = -2*t - 2. Suppose 0 = 5*r + s - 4, -s = 4*r + 4*s + z. Is 8 a factor of 4/6*(23 + r)?
True
Suppose 0 = 3*j - 5*f - 295, -2*j - j + 285 = -3*f. Suppose j*w + 251 = 91*w. Does 30 divide w?
False
Let b be 8/4 + 20/2. Let c be (-3 - -1)*-1*1. Suppose -q = 4*q - 2*j - b, c*j = 8. Is 2 a factor of q?
True
Let o(w) = 5*w**2 + 12*w - 13. Does 5 divide o(4)?
True
Let g(x) = -x**3 + 12*x**2 + 16*x - 3. Is g(13) a multiple of 18?
True
Let p = -16 + 5. Let w(t) = t**2 + t + 7. Is 21 a factor of w(p)?
False
Let l be (-862)/(-9) - (-4)/18. Suppose -2*s + 36 = 3*s + 4*w, 3*s - 16 = -w. Suppose -106 = -5*p + p - m, s*m = 4*p - l. Is p a multiple of 13?
True
Suppose -4*c + 0 + 12 = 0. Suppose 0 = c*m - 3*b - 186, m - 5*b - 36 = 30. Is m a multiple of 24?
False
Let r be (-1 - 9)*(-1)/2. Let i be (1260/50)/(1/r). Suppose -5*m + 5*n = -190, 3*n - i = -6*m + 3*m. Does 10 divide m?
True
Let d(p) = 2*p**2 - 84*p - 68. Is 2 a factor of d(43)?
True
Let z(s) = -3*s**2 + 5 + 6*s**2 - 5*s**2 + s + 0. Does 5 divide z(0)?
True
Suppose 9*j - 1160 = -j. Does 2 divide j?
True
Suppose -3*t + 8*t = -5*d + 55, 4*t = -2*d + 44. Let r = t - 2. Does 2 divide r?
False
Let k(d) = d**3 - 16*d**2 - 28*d - 18. Does 9 divide k(18)?
True
Let n = 3003 + -363. Is n a multiple of 16?
True
Let a(o) be the third derivative of o**5/60 - 7*o**4/24 + 10*o**2. Let j be a(9). Suppose 2*z - 4*m = j, -4*m + 65 = 4*z - 7. Is 3 a factor of z?
True
Let n(g) = 11*g**2 + 2*g + 2. Let o be n(-6). Let f = -254 + o. Is f a multiple of 33?
True
Let u = -35 - -57. Suppose 11 = 3*n - 1. Let i = u - n. Is i a multiple of 11?
False
Suppose 5*p + 4*a - 1441 = 0, 12*a + 3 = 9*a. Is 2 a factor of p?
False
Suppose 30 = -0*k + 3*k + 3*v, k + 3*v = 20. Suppose k*t = s + 14, -25 = -3*s - 3*t + 5. Suppose 0 = s*r - 3*r - 237. Does 19 divide r?
False
Let a(c) = -1 + 6 + 14*c + 0 + 5. Is 16 a factor of a(3)?
False
Suppose -4*n = -1431 + 375. Does 33 divide n?
True
Let q(l) = 540*l**2 - 9*l + 8. Does 28 divide q(1)?
False
Let r(q) = -8*q**2 - 3*q + 206. Let g(h) = -3*h**2 - h + 69. Let y(p) = -11*g(p) + 4*r(p). Suppose -4*t = -t. Is 16 a factor of y(t)?
False
Let d = 56 + -36. Suppose -6*h + 8*h = -d. Let f = 16 + h. Is f a multiple of 6?
True
Let n(v) = 15*v**2 + 3*v - 3. Let u be n(6). Is 15 a factor of -2*(1 + -2)*u/10?
False
Let w be ((-28)/6)/(2/6). Let i be 208/5 + w/(-35). Suppose 4 = -2*z + i. Is z a multiple of 19?
True
Let d(v) = -9*v**2 - 11*v**2 - 7 + 21*v**2 + 5*v. Suppose 4*j + 24 = 3*p - 23, 2*j + 26 = 2*p. Is d(j) a multiple of 4?
False
Let v be (-93)/(-33) - (-2)/11. Suppose 0 = -4*y + 438 + 426. Suppose v*f - z - 182 + 46 = 0, y = 5*f + z. Does 22 divide f?
True
Let c = 19 + -15. Suppose -3*t - c*o = -160, 4*o = 3*o + 1. Is 14 a factor of t?
False
Let w be (-41925)/(-105) + 4/(-14). Is (1 + 0)*w/3 a multiple of 19?
True
Let l(x) = -x**3 + 4*x**2 + 2*x - 4. Let b be l(4). Suppose -b*y = 3*a - 31 - 29, -y = -3. Is 5 a factor of a?
False
Suppose 0 = -2*y - 21*j + 19*j - 4, 10 = -5*j. Suppose 0 = -0*b + b - 25. Suppose 2*v + y*u = -2*u + 48, 5*u = -b. Is v a multiple of 18?
False
Is 474/(-553) + 580/7 a multiple of 2?
True
Suppose -12 = 2*p - 4. Is 9*64/12 - p a multiple of 17?
False
Suppose -4*z + 9 = y - 6*z, 4*y = -2*z + 26. Let r(x) = x**3 - 7*x**2 + 3*x. Is r(y) a multiple of 14?
False
Let v(q) = 6*q**2 + 17*q + 2. Let j be v(7). Suppose 0 = -11*w + 16*w - j. Is w a multiple of 31?
False
Let q = 538 - 393. Is q a multiple of 5?
True
Let s(b) = -3*b**3 - 25*b**2 - 10*b - 8. Let y be s(-8). Let u = 2 - -3. Does 10 divide (-1)/u*(y - 153)?
False
Is 13 a factor of (-12)/(-78) + (-23216)/(-13)?
False
Suppose 4*j - 3*j = -x + 2952, -j - 2948 = -x. Does 59 divide x?
True
Suppose -8*m + 12*m - 2448 = 0. Is 16 a factor of m?
False
Suppose d - 1 = 2. Suppose 5*s = d*i + 37, s + 0*i - i = 7. Does 4 divide s?
True
Let p(x) = 64*x**2 + 31*x - 9. Is p(3) a multiple of 20?
True
Let y(j) be the second derivative of -j**5/20 - 7*j**4/6 - j**3/3 + 17*j**2/2 + j - 10. Suppose 4*c + 3*a + 48 = -a, -2*c - 3*a = 22. Does 9 divide y(c)?
True
Is 10 a factor of (-3416)/(-70) - (-4)/(-5)?
False
Let l be 0 - -2 - -4 - 1. Let k be 2 + 2 + (2 - l). Is 32 a factor of 34 - k/(3/6)?
True
Let b(q) = 5*q**2 + 24*q + 13. Does 24 divide b(-8)?
False
Suppose 0 = -2*v - 2*v. Suppose -2*s = -v*s - 116. Is 13 a factor of s?
False
Suppose n = 4*n - 108. Suppose -6*r - n = -10*r. Let q = -1 + r. Is 3 a factor of q?
False
Let b = 22 + -18. Suppose -924 = -b*i - 3*i. Is 29 a factor of i?
False
Suppose n + 4 = -3*f + 7*f, -4*n = 3*f - 22. Suppose 5*p = 3*s + 246 + 96, -n*s + 248 = 4*p. Suppose 3*o = 4*y + p, -5*o - y + 35 + 52 = 0. Is 6 a factor of o?
True
Let j(p) = 289*p - 24. Is j(5) a multiple of 29?
True
Let s be 5/15 + (-10)/(-6). Suppose w - s*w = -20. Is 20 a factor of (w/(-8))/(3/(-24))?
True
Let b be 7/(-14) - (-719)/(-2). Let l = -187 - b. Suppose l = 5*v - 97. Is 17 a factor of v?
False
Does 40 divide 3517 - (5 + (-32)/4)?
True
Suppose y - 4*y = -12. Suppose -g + 0*q - 7 = q, -y = -3*g + 2*q. Does 38 divide (-3 + g)*(-92)/5?
False
Let d = -1743 - -2731. Is 19 a factor of d?
True
Let c = 6876 - 4711. Is 100 a factor of c?
False
Let u(p) = -p**2 + 7*p + 3. Let k be u(7). Suppose 2*c - 2*i = i + 138, 3*i = k*c - 204. Is 22 a factor of c?
True
Suppose 3*p = 4*x - 8469, -21*p + 16*p - 15 = 0. Is x a multiple of 45?
True
Let w = 1636 - 1056. Is 29 a factor of 3/2*w/15?
True
Let v(o) = 11*o + 9. Let q be v(3). Let j be (-36)/q*7/(-2). Let t = 52 - j. Is t a multiple of 21?
False
Let x(u) = 25*u**2 - u + 3. Let r be x(-2). Suppose -3*t - 2*t = -r. Does 7 divide t?
True
Suppose 3060 = -6*a + 2*a. Let n be a/(-25) - (-4)/10. Let j = n + -22. Is j a multiple of 2?
False
Does 13 divide -4754*(8 + 119/(-14))?
False
Let d(k) = -98*k + 2. Let v be d(-2). Suppose -7*q + 2*q - r + v = 0, -5*r = -5*q + 210. Is q a multiple of 10?
True
Let q(g) = -g**2 + 59*g - 53. Let w be q(30). Suppose 5*x - 310 = -2*j, -4*j + w = j + 2*x. Does 33 divide j?
True
Suppose 8*y = 3*y + 10. Let n be ((-10)/3)/(y/(-18)). Suppose 2*f + 12 = n. Does 9 divide f?
True
Suppose 246 - 49 = 2*n - 5*d, d - 1 = 0. Let z = 191 - n. Is z a multiple of 45?
True
Let p be (-110)/(-40) - (-1)/4. Suppose -3*y + 5*x + 183 = y, p*y = -x + 123. Suppose y = -0*l + 2*l. Is l a multiple of 7?
True
Suppose -h + 3 = -0*h. Suppose -4*t + 146 = -5*q, -2*t - 4*q + 203 = h*t. Let a = 0 + t. Does 13 divide a?
True
Suppose -7 = -2*j - 1. Suppose -4*s = -0*q + 4*q - 16, j*q - 5 = 4*s. Suppose 0 = 2*h + q*v - 78 - 18, v + 178 = 4*h. Does 15 divide h?
True
Suppose 3*t - 5 = 4. Let m(u) = t*u**2 - 3*u + u**3 - 3 + 4*u**2 - 3*u + 4*u. Does 5 divide m(-7)?
False
Let d = 1692 - 1062. Does 70 divide d?
True
Let r be 210*(33/45 - 4/12). Suppose c = -t + 41, -c - 4*t + r = c. Is c a multiple of 5?
True
Let q = -1366 + 1947. Is q a multiple of 21?
False
Is (-18)/5*4*(-21 - -11) a multiple of 9?
True
Let o(h) = -4*h. Let f be o(1). Let a(y) = 12*y. Let s(u) = -u. Let c(k) = a(k) + 24*s(k). Is 24 a factor of c(f)?
True
Let g(r) = 2*r**2 - 5*r - 6. Let o be g(7). Suppose 0 = o*j - 56*j - 61. Is 7 a factor of j?
False
Let i be ((-48)/(-40))/(2/(-30)). Is (i/18)/((-2)/298) a multiple of 41?
False
Let u(r) = 2*r**2 - 22*r + 14. Let z be u(11). Suppose 