 + 10*x**2 + x - 5. Let h(a) = 9*l(a) - 4*t(a). Is h(k) a multiple of 14?
False
Let d(m) be the third derivative of -1/60*m**5 + 0*m**3 + 0 + 0*m + 1/120*m**6 + 0*m**4 - 2*m**2. Is d(2) a multiple of 2?
True
Let p(s) = -2*s**3 + 3*s**2 - 2*s - 2. Let v be p(2). Does 8 divide 30/(-9)*96/v?
True
Let z be (-87)/2*(-2)/(-3). Let k = z - -49. Is k a multiple of 20?
True
Suppose 4*u - 49 = -5*f, -3*u + f = 6*f - 43. Let v = 23 - u. Is 7 a factor of v?
False
Let d = 247 + -174. Is 4 a factor of d?
False
Let k(n) = -n + 6. Suppose -2 = 2*y + 10. Let m be k(y). Let j = -6 + m. Is 4 a factor of j?
False
Let k = 1 + -1. Suppose k = -2*q - 2*q + 96. Is 9 a factor of q?
False
Let k(h) = 10*h**2. Suppose 5*i + 6 = 2*i. Let o be i/6*6/2. Is k(o) a multiple of 5?
True
Let d(t) = t - 1. Let i be d(-2). Let h be (2/(-5))/(i/(-15)). Let z(m) = -11*m - 3. Is z(h) a multiple of 5?
False
Let w be (-2)/6*33*-1. Let h(a) = 7*a**2 + 4*a + 2. Let p be h(-2). Let m = w + p. Is m a multiple of 15?
False
Let v(p) = 18*p**2. Let k = 2 - 1. Let o be v(k). Is (o/(-15))/((-3)/70) a multiple of 15?
False
Let x = 7 + 29. Suppose -3*y + 58 = -4*m, m - 3*m + x = y. Is y a multiple of 7?
False
Let g(h) = 3*h**3 - h**2 + h. Let z be g(1). Suppose -33 = -z*t - 3*v + 6*v, 4*t = -3*v + 16. Is 3 a factor of t?
False
Does 11 divide ((-18)/2 + 4)*-11?
True
Suppose 0 = -72*w + 75*w - 663. Is 13 a factor of w?
True
Let w(c) be the third derivative of c**5/20 + c**4/12 - 5*c**3/6 - 2*c**2. Is w(5) a multiple of 16?
True
Let s(f) = -f**3 - f**2 + f + 3. Let x be s(0). Is -5 + x + (-1 - -37) a multiple of 12?
False
Suppose 52 = -3*v - v. Let x = -7 - v. Is 16 a factor of x/(-4)*320/(-15)?
True
Let x(j) = 12*j**2 + j + 1. Let z be x(-1). Let a(d) = -d**2 + z*d - 3*d - 5 - 2*d. Is a(4) even?
False
Let r = 124 - 79. Is 22 a factor of r?
False
Let k = 12 - 9. Suppose -4*q + 0*i = 5*i - 33, 23 = 4*q + k*i. Is 2 a factor of q?
True
Suppose 2 - 7 = -x. Suppose 2*u + 380 = x*s - s, -4*u + 170 = 2*s. Is s a multiple of 24?
False
Let n(k) = -39*k. Suppose 9*b = 4*b - 5. Does 13 divide n(b)?
True
Let x(d) = 26*d + 13. Is x(3) a multiple of 6?
False
Suppose 19 = -2*f + 3*f. Is 19 a factor of f?
True
Let p(h) = 3*h + 3. Let l(v) = -v**3 - 2*v**2 + v - 4. Let o be l(-3). Suppose -o*t = 7*j - 2*j - 23, 0 = -3*t + 4*j. Is p(t) a multiple of 9?
False
Let w(p) = -2*p**3 - 5*p**2 - 10*p - 3. Is w(-5) a multiple of 43?
True
Suppose 4*y - 3*d - 2 - 23 = 0, -2*y - 5*d + 45 = 0. Suppose 4 - y = -2*s. Is 3 a factor of s?
True
Is (-1 + 13)*7/3 a multiple of 14?
True
Let l = 49 - -11. Is l a multiple of 10?
True
Does 15 divide 2265/75 - (-1)/(-5)?
True
Does 20 divide 984/42 + (-3)/7?
False
Let n = 14 - -6. Does 5 divide n?
True
Let x = 3 + 3. Let o = 0 + x. Is o a multiple of 2?
True
Suppose -4*s = 4*y - 444, s - 2*y - 210 = -s. Is 12 a factor of s?
True
Let c(g) = 5*g**3 - g**2 + 2*g - 2. Let t be c(1). Suppose -4*s + t*w = -0*s - 52, 3*w = 2*s - 23. Is 7 a factor of s?
False
Let a = 36 + -18. Does 6 divide a?
True
Suppose 4 = 2*h, 2*z - 5*h + 0*h + 18 = 0. Is ((-3)/6)/(z/192) a multiple of 24?
True
Let f be 2*(-1 + 54) + 0. Suppose 274 = 5*h - f. Suppose -h = -4*s + 4*j, -5*s - 2*j = -147 + 45. Is 8 a factor of s?
False
Suppose 0 = 4*r - r - 114. Let x = r + -20. Is 18 a factor of x?
True
Let h = -1 - -3. Suppose 0*l = -4*k - h*l + 106, -k = -5*l + 1. Is k a multiple of 9?
False
Let i(o) = 4*o**3 - o**2 + 1. Let l be i(-1). Let s be l/(16/(-6))*-6. Does 12 divide (-2)/(-9) + (-214)/s?
True
Let x be (1 + -1)/2 - -21. Suppose -64 = -7*s + 13. Let j = x - s. Is j a multiple of 10?
True
Let m(q) = -q**2 - 4*q. Let a(g) = -g**2 + g - 1. Let n(t) = -2*a(t) + m(t). Is n(7) a multiple of 9?
True
Let w be (-2)/6*36/(-2). Suppose -90 = -w*t + t. Is 9 a factor of t?
True
Let v(l) = 13*l - 2. Suppose -f - 13 = 3*f - 5*s, -4*s = -4*f - 8. Is v(f) a multiple of 14?
False
Let h(m) = -m**3 - 7*m**2 + 6*m. Does 9 divide h(-8)?
False
Suppose 2*p = 3*i + 13, p + 2*i + 7 = -i. Is 6 a factor of (p + 0)*(-6)/(-2)?
True
Let u be 4/(-2 - -4) + -2. Suppose h + u = 17. Is h a multiple of 15?
False
Suppose 2*o + 5 = 1. Let c be 0/((o - -2) + -2). Let n = c - -4. Does 2 divide n?
True
Is -44*(-3 + (-3)/(-6)) a multiple of 7?
False
Suppose 20 = 5*s - 10*s. Is 14 a factor of (-344)/s*1/2?
False
Let v be 6 - 2 - (2 - 1). Suppose z - 4*z = v*j - 147, 2 = 2*z. Is j a multiple of 16?
True
Suppose -9*y + 1766 = 236. Is 18 a factor of y?
False
Let w(x) = -x**2 - 5*x - 5. Let t be w(-4). Let m = t + -1. Let k(i) = -i**3 + 2. Is 5 a factor of k(m)?
True
Let b = 13 + 0. Suppose 9 + b = -2*d. Let x = 28 + d. Does 17 divide x?
True
Suppose -2*d - 90 = -5*d. Suppose -k - 2*k + d = 0. Does 5 divide k?
True
Let a be (-20)/6*3/(-2). Suppose 3*k = a*m + 116, 2*m + 8 - 64 = -2*k. Is k a multiple of 16?
True
Let j be 2/(-7) + 603/(-21). Let g = j - -67. Is g a multiple of 19?
True
Let u(b) = -b**2 + 14*b - 5. Does 7 divide u(10)?
True
Suppose -3*m + 4 = -t - 14, 5*m = 4*t + 37. Suppose -m = 3*h - 4*h. Let v = 21 + h. Does 13 divide v?
True
Suppose 2*f - 614 = 2*r, -f + 238 = -3*r - 77. Is f a multiple of 10?
False
Let d(h) = 2*h**2 + 3*h. Let c be d(-2). Suppose 3*j - c*j - 36 = 0. Is j a multiple of 18?
True
Suppose -q + 1775 = 4*q. Suppose -q = -4*x + h, -h + 10 = h. Is 18 a factor of 2*(-1)/(-5)*x?
True
Let n be (12/3)/((-2)/(-2)). Suppose -6 = 5*l + 4*k, -2*k = 2*l - n*l + 12. Suppose 2*o - 68 = -l*o. Is o a multiple of 7?
False
Let m be ((-15)/12)/((-2)/8). Suppose -2*a - 3*a + 305 = -j, -m*a = 3*j - 285. Let f = 108 - a. Is 16 a factor of f?
True
Suppose 21*b - 43 = 83. Is b a multiple of 6?
True
Let u = 8 - 8. Let n(s) = s**2 - s + 34. Is n(u) a multiple of 17?
True
Suppose -4 = -3*l - 4*a, -l + 6 = 4*a + 2. Let w(f) = -f**2 - f + 6. Let x be w(l). Suppose -5*t = -24 - x. Does 3 divide t?
True
Suppose 0 = -8*t + 5*t + 45. Suppose -i + 2*i = -t. Does 4 divide (10/i)/(4/(-42))?
False
Let c(j) = -j**2 - 14*j - 15. Does 6 divide c(-11)?
True
Let j(p) = -p**2 - 10*p + 1. Let x be j(-9). Let g = x + -4. Is g a multiple of 3?
True
Let b(z) = z**3 + 7*z**2 + 5*z - 1. Is 10 a factor of b(-4)?
False
Suppose 3*i - 42 = 2*o - 5*o, 2*o - 9 = -i. Is i a multiple of 9?
False
Suppose -12 = -4*c, 3*c - 75 = -3*x - 2*c. Does 5 divide x?
True
Suppose -3*v = -6 + 18, -2*w = -4*v - 18. Suppose -55 = -5*x - 0*x. Suppose q - x = w. Is 4 a factor of q?
True
Is 13 a factor of 13 + 0/(1/(-1))?
True
Let t = 2 - -138. Suppose 2*v + 3*u = u + 62, -2*u = 5*v - t. Let g = v + -13. Is g a multiple of 6?
False
Suppose p - 3 = -2*p + 3*l, -20 = 4*l. Let k be (-1)/((-2)/p) + 87. Suppose -4*q = 3*g - k, -23 = 4*q - 2*g - 113. Does 11 divide q?
True
Let o = -6 + 3. Let i be (-9)/o - (0 - 2). Suppose -i*q + 108 = -42. Is 15 a factor of q?
True
Let s = 26 - 74. Let j(k) = k**3 - 4*k**2 + 4*k - 3. Let l be j(2). Does 7 divide (l/(-4))/((-2)/s)?
False
Let h be 2/4 + 78/(-12). Is 15 a factor of 9*h/(-21)*7?
False
Is (-3)/(1 + (-69)/60) a multiple of 20?
True
Suppose -156 = 3*s - 39. Suppose v - 322 = 5*a + 4, -a - 60 = 5*v. Let c = s - a. Is 21 a factor of c?
False
Let l(r) = -r + 6. Let f be l(6). Suppose -3*m + 2 = -m, k + 3*m - 7 = 0. Suppose f*p - p = q - 10, 0 = -k*p + 5*q + 40. Is 4 a factor of p?
False
Does 8 divide (-1*(-2 - -1))/((-1)/(-41))?
False
Let j(k) = -21*k - 24. Is 18 a factor of j(-8)?
True
Let k(b) = -8*b**3 - 2*b**2 - 3*b - 3. Let a be k(-2). Suppose -5*d + u + a = -0*d, 0 = d + 2*u - 3. Is 11 a factor of d?
True
Let t(c) be the second derivative of c**5/20 + 2*c**4/3 + 7*c**3/6 + 2*c**2 - c. Let o(q) = -2*q**2 - q. Let w be o(-2). Is t(w) a multiple of 17?
True
Suppose 0 = 4*p - 0*p, 0 = -5*a - 4*p + 520. Does 26 divide a?
True
Suppose -5*z + 25 = 5*q - q, 3*z - 18 = -3*q. Let v(m) = 3*m**2 - 3*m - 6. Does 15 divide v(q)?
False
Let p = 9 + -6. Does 14 divide 43 - (p + 0 + -2)?
True
Is 22 a factor of 88 + 1*(1 + -2)?
False
Let l = 44 - -2. Is 39 a factor of l?
False
Suppose -5*i - 3*a + 16 = 0, -2*i + 7 = 2*a - 1. Suppose 5*t + 38 = i*s + 8, 4*s - 46 = 3*t. Does 10 divide s?
True
Let q(b) be the first derivative of 2*b**3/3 - 2*b**2 - 1. Suppose -10*v + 6 = -24. Does 3 divide q(v)?
True
Let j(z) = z**2 - 3*z + 8. Let k(r) = r**2 - 4*r + 7. Let g(m) = 6*j(m) - 7*k(m). Is g