3*h, -4*z - 7*h = -3*h - 216. Is 8 a factor of z?
True
Suppose k = 36 + 12. Is 6 a factor of k?
True
Let q(h) be the third derivative of h**5/20 + h**2. Is q(-1) a multiple of 3?
True
Let y be (-15 + 1)*(-1)/2. Is 8 a factor of -7*((-18)/y + 0)?
False
Let z(b) = -11*b + 2. Let s = 2 - -1. Let g = -6 + s. Does 13 divide z(g)?
False
Suppose -2*x - q + 37 = -0*q, 5*x = -q + 85. Is 22/(-4)*x/(-8) a multiple of 11?
True
Let o(r) = -r**2 + 9*r + 4. Let l be (-6)/(-4 - -3) + 3. Let h be o(l). Suppose -5*n + n = -5*g + 70, -4*g + 92 = h*n. Is g a multiple of 9?
True
Suppose 36 = 4*u + 2*s, s = -5*u + 6*u - 6. Is u even?
True
Let m(q) = -q**3 + q**2 - q - 8. Let y be m(0). Let h be (-3)/(-2)*y/6. Let t(d) = 4*d**2. Does 10 divide t(h)?
False
Let g(x) = x**2 + 12. Let p be g(0). Is 24 a factor of 573/p - (-1)/4?
True
Let u(p) = -30*p - 4. Does 14 divide u(-2)?
True
Suppose 0 = 2*v - 6 + 2. Let a(p) = 0*p**3 + 0*p**2 - 2 + p**3 + p**2. Is 10 a factor of a(v)?
True
Suppose 2*p = 4*j + 14, -j - 2*p + 13 = -4*j. Let h = 1 - j. Is -4*(h - (0 + 5)) a multiple of 6?
True
Let y = 17 - 10. Does 3 divide y/(3 - 2) - 1?
True
Let b(n) = -2*n - 4. Let c(v) = v**3 + 7*v**2 + 8*v + 6. Let p be c(-6). Let g = p + 0. Is b(g) a multiple of 8?
True
Suppose 5*a = 16 + 4. Let w = -6 + 6. Suppose -a*d - 1 + 21 = w. Is d a multiple of 4?
False
Let x be 0/(0 - (-2 - 1)). Suppose -t - t + 36 = x. Is 9 a factor of t?
True
Suppose -2*o + 184 = 4*f, -4*f - 3*o + 79 + 107 = 0. Suppose -5*a + 0*g + f = 2*g, -2*a - 5*g = -39. Is a a multiple of 4?
False
Suppose -m = -5*m - s + 175, m = -3*s + 30. Is m a multiple of 11?
False
Let t = 56 - 32. Is t a multiple of 24?
True
Let z(a) be the first derivative of -2*a**2 - a**2 - 2*a + 0 + 2. Does 17 divide z(-6)?
True
Let s(f) = 5*f - 5*f - 3*f + 16 + 2*f. Let y(x) = -x + 16. Let q(u) = 5*s(u) - 4*y(u). Is q(0) a multiple of 16?
True
Suppose 3*k + 0*v - 177 = 3*v, v - 301 = -5*k. Is 15 a factor of k?
True
Let a(l) = 2*l**3 + 19*l**2 + 5*l + 17. Is 8 a factor of a(-9)?
False
Let t(s) = 6*s**2 + 4*s + 2. Let j be t(-3). Suppose a - j = 2. Does 23 divide a?
True
Let s = 176 + -119. Is 16 a factor of s?
False
Let x(l) = 5*l**2 - l - 1. Let s be x(-1). Suppose y - s*y = -8. Suppose y*g - 3*g + 9 = 0. Is 6 a factor of g?
False
Let g = -9 - -13. Suppose -i - 45 = -4*h + g*i, -i - 21 = -2*h. Is h a multiple of 4?
False
Suppose -5*k + 270 = -0*k. Does 27 divide k?
True
Suppose 4*a - 8*a - 25 = -5*i, 5*a + 3*i = 15. Let z = 3 - a. Suppose 0 = -z*p - p + 12. Is p a multiple of 3?
True
Let f(g) = -g**3 - 12*g**2 - 9*g - 5. Let m be f(-8). Does 6 divide m/18*4/(-3)?
False
Let u be -1 - 1 - -1 - 0. Let r(o) = -11*o**3 - 2*o**2 + 1. Let m be r(u). Suppose 2*s + 4 = -4*i + m, -5*i = 3*s - 13. Does 11 divide s?
True
Suppose 3*m - 6 = -s + 5*s, -5*m + 10 = 2*s. Suppose h = -3*w + 14, -h = -m*w - 0*w - 39. Is h a multiple of 8?
False
Let p(m) = m**3 + 13*m**2 - 17*m - 10. Does 16 divide p(-14)?
True
Let r = 20 - 12. Let w(y) = -y**3 + 7*y**2 + 9*y. Is 8 a factor of w(r)?
True
Let q(m) be the second derivative of 5*m**3/2 + m**2/2 - 4*m. Is q(3) a multiple of 16?
False
Let s(a) = a**2 + 9*a + 5. Let r be s(-7). Let t = 24 - r. Is t a multiple of 11?
True
Let g = 122 - 62. Suppose 4*a - g = -a. Is 6 a factor of a?
True
Suppose 0 = -2*w - j - 8, 3*j + j = -4*w - 16. Let m = 0 + 6. Is (w/m)/(4/(-78)) a multiple of 13?
True
Let v = -65 + 123. Is 16 a factor of v?
False
Suppose -10*f + 9*f = -14. Is f a multiple of 14?
True
Suppose 0 = 2*h + 17 + 5. Let z = 22 + h. Suppose -z = -2*n + 3. Is 3 a factor of n?
False
Let b(o) be the third derivative of o**4/12 - 7*o**3/6 - 2*o**2. Let y be b(5). Suppose 4*k - 28 = -3*n, k + y*n + 0 = -2. Is 9 a factor of k?
False
Let q(f) = -f**3 + 2*f**2 + 7. Is 24 a factor of q(-5)?
False
Suppose 4*v - 3*m = -7, -2*m + 1 + 5 = -2*v. Let c(i) = -i + 2*i**2 + v - 3 - 4 - 4*i. Is c(5) a multiple of 10?
True
Let v be 3*(2 - 4/3). Let g = 34 - v. Suppose -2*l - 5*h + g = -l, -3*l - 2*h = -44. Is 6 a factor of l?
True
Suppose -5*y = -2*y - 6. Let z(d) = d**3 - 2*d**2 + 2. Let x be z(y). Suppose -5*h + 5*k + 27 = -8, -2*h - x*k = -6. Is 2 a factor of h?
False
Let u be (30/25)/(3/20). Let x = 16 + u. Is x a multiple of 8?
True
Let n = 11 - 7. Suppose 4*l = -h + 5*h - 12, -28 = n*l + 4*h. Let o = 17 + l. Does 12 divide o?
True
Let x(t) = t**2 + 6*t + 3. Let y(j) be the second derivative of -j**4/12 - 7*j**3/6 - 2*j**2 - 2*j. Let m be y(-5). Does 19 divide x(m)?
False
Suppose 3*r = -r. Let m(j) be the second derivative of -j**4/12 - j**3/6 + 13*j**2/2 + j. Is m(r) a multiple of 6?
False
Suppose 11*r - 8*r = 270. Is 8 a factor of r?
False
Let p(o) = o**3 - 4*o**2 + 2*o - 3. Suppose -2*n = n - 12. Is p(n) a multiple of 2?
False
Let c be 7/2 + (-10)/(-20). Is (-39)/(-9) - c/(-6) a multiple of 5?
True
Let x(i) = -1. Let u(r) = 5*r + 1. Let h(k) = -u(k) - 2*x(k). Is 9 a factor of h(-5)?
False
Let j = -16 + 15. Let o = j - -23. Does 10 divide o?
False
Let m = -2 + 7. Suppose -2*z + m*z = 180. Is z a multiple of 18?
False
Let f(m) = -m**2 - 18. Let s be f(0). Let g be s/(-10) - (-1)/5. Suppose -74 = -2*j - g. Does 13 divide j?
False
Let i(u) = -u**3 + 5*u**2 - 3*u - 1. Let d be i(4). Suppose -d*y - 19 = -g, -2*y + 6 = -0. Does 14 divide g?
True
Is 10 a factor of ((-84)/24)/(1/(-10))?
False
Let s = -233 + 344. Is s a multiple of 37?
True
Suppose -4*c + 96 = 2*m, -c = -2*c + 5*m + 24. Does 12 divide c?
True
Suppose 5*w - 7*w = -160. Does 16 divide w?
True
Suppose -37 = -3*h - 10. Let t(c) = 3*c + 8. Is t(h) a multiple of 15?
False
Suppose 3*m - 4 + 3 = -2*w, -4*m + 16 = -w. Suppose 5*j = -2 + 22. Suppose 2*h + 4*s + 0*s - 98 = 0, j*s = -m*h + 155. Does 21 divide h?
False
Suppose u + 118 = 3*t - 0*t, 206 = 5*t - 4*u. Is t a multiple of 19?
True
Suppose 0*s = s + 2*y + 25, 3*s + 4*y = -71. Does 6 divide s/(-2) + (-2)/(-4)?
False
Does 2 divide (3 + 28/(-8))/((-2)/24)?
True
Let t = -18 + 32. Does 13 divide t + (-3 - 3*-2)?
False
Let d be (-7 + 0)*(-9 - -5). Let o be d/21*3/2. Is 12 a factor of 8*-2*(-3)/o?
True
Let z = -24 - -67. Is z a multiple of 13?
False
Let x = 5 + 0. Let u = -4 - -20. Suppose x*h = -3*y + 58, 2*h = 3*h + 5*y - u. Is h a multiple of 7?
False
Let z be 2/(-4) - (-21)/(-6). Let v = z + 43. Is 13 a factor of (-1)/((-1)/(v/3))?
True
Let v = -8 - -11. Suppose -v*j = 2*j - 125. Is j a multiple of 14?
False
Let h(f) = f - 4. Let z be h(4). Suppose -5*m + 9*m - 124 = z. Is m a multiple of 15?
False
Let p = -1 - -4. Suppose 8*o - 6*o = 0. Let u = p + o. Does 3 divide u?
True
Let n = 44 - 25. Let q = 39 - n. Is q a multiple of 16?
False
Let m(f) be the third derivative of f**6/30 + f**5/60 + f**3/6 - 3*f**2. Is 13 a factor of m(2)?
False
Let y = 59 + -28. Is y a multiple of 4?
False
Suppose 0 = -2*u - r + 105, -4*u + 55 = -3*u - 2*r. Is 9 a factor of u?
False
Suppose a = -0*a - 2*y + 8, -2*y = -2*a - 2. Let r be (2 - 9) + a/1. Does 14 divide (r/(-2))/((-1)/(-6))?
False
Suppose -4*a - 150 = -4*m - a, m - 3*a = 42. Suppose 3*i - m = -4*y, -5*i - 3 = 4*y - 47. Does 3 divide y?
True
Suppose u - 2*z = 15, 4*u + 4*z - 13 = 11. Let w = -6 + u. Is 2 a factor of w?
False
Let f(z) = 6*z + 1. Let g be f(-1). Let r(y) be the first derivative of -y**4/4 - 2*y**3/3 + 7*y**2/2 - 2*y + 1. Does 19 divide r(g)?
True
Suppose -2*v + 5*v + 32 = 4*p, -24 = -4*p + v. Suppose 26 + 44 = 5*s + p*c, -5*s - 4*c = -71. Does 5 divide s?
True
Let g = 37 + 16. Let z(h) = -h**3 + 2*h - 1. Let n be z(-2). Suppose n*r = -2*f + g, -f + 3*r + 61 = 12. Is f a multiple of 17?
True
Suppose -10 = -0*d + 5*d. Let n be ((-4)/3)/(d/(-45)). Let r = n + 62. Is r a multiple of 12?
False
Let i = 51 + -7. Is 18 a factor of i?
False
Let f(y) = 6*y - 10. Let r(w) = w - 2. Let z(o) = -4*f(o) + 22*r(o). Is z(-13) a multiple of 11?
True
Let p = 0 - 0. Suppose p*s + 2*s - 10 = 0. Suppose -4*h - 3*z + s*z + 104 = 0, -2*h = -2*z - 52. Is 13 a factor of h?
True
Let v be (-7 - -9)*(1 + 0). Suppose v*t - 76 - 2 = 0. Is t a multiple of 17?
False
Let g = 7 + -5. Suppose 2*d - 12 = -2*c, 5*d + g = -2*c + 5. Is c a multiple of 9?
True
Is 12 a factor of (13/52 - 19/(-4))*12?
True
Let i = -18 + 62. Suppose -8 = 2*o, -2*o + i = 2*d + o. Is d a multiple of 15?
False
Suppose l + 2*l = -5*w - 170, 3*l + 178 = 