*l**2 - 8*l - 2. Let v be f(-6). Let s be 32/(-20)*v/(-4). Suppose 0*j + s*j = 132. Does 16 divide j?
False
Let x = 2 - -7. Let j = 9 - x. Suppose -4*y = 2*c - 266, j*y + y - 2*c = 69. Is 17 a factor of y?
False
Let m be (-35 - 0)*6/(-15). Is (-2)/m - (-50)/7 a multiple of 3?
False
Let i(v) = v**2 - 3*v + 1. Let x be i(4). Suppose -25 = t + 3*s, 0*s + x*s - 103 = 3*t. Let l = t - -57. Is 13 a factor of l?
True
Let l = -5 - -17. Is 4 a factor of l?
True
Let u = -10868 + 15808. Is 18 a factor of 4/(-14) - u/(-91)?
True
Does 12 divide (-3 - -9)/(((-5)/(-6))/5)?
True
Let y(t) = -3*t + 6. Let m(p) = -2*p + 3. Let d(s) = -5*m(s) + 3*y(s). Is 5 a factor of d(4)?
False
Let m(z) = -z**3 + 4*z**2 + 6*z + 6. Let k be m(5). Suppose 2*o + 80 = g + 3*g, g + 4*o = k. Is g a multiple of 11?
False
Let y be (-2 + 1)/((-4)/16). Suppose j - 1 = 0, 0 = y*m + 3*j - 2*j - 9. Suppose -w - m = -8. Is w a multiple of 3?
True
Suppose 4*z = 22 + 22. Does 11 divide z?
True
Let m(g) = g**2 - 2*g + 3. Let b be m(3). Suppose -b*s = -s - 170. Is 10 a factor of s?
False
Let k = 17 + 4. Is k a multiple of 4?
False
Let u be 24/14 - (-4)/14. Is 15 a factor of 13/1 + (4 - u)?
True
Let h(k) be the second derivative of -k**3/6 + 87*k**2/2 + 7*k. Is 29 a factor of h(0)?
True
Suppose -4 = -2*c + 6. Suppose 0 = c*n + 3 - 13. Let l = n + 1. Is l even?
False
Suppose -6*u = -u - 25. Let x(b) = 3 + 2*b - 4*b + b**2 + 0*b**2. Is 6 a factor of x(u)?
True
Let u = -62 - -91. Is u a multiple of 5?
False
Let b(q) = 2*q + 6. Let n(h) = 3*h + 7. Let o(w) = -5*b(w) + 4*n(w). Let z be o(-5). Let s = z + 45. Is s a multiple of 23?
False
Suppose 3*z = 6*z - 552. Does 17 divide z?
False
Let b be 6/(-4)*16/(-8). Suppose -3*l = -150 - 48. Suppose b*x - 81 = -2*s + 5*s, -2*x + l = 4*s. Is x a multiple of 14?
False
Suppose 3*h - 8 = -14. Is 10 a factor of (h/4)/(2/(-60))?
False
Suppose 4*m = c + 5, 4*m - 4*c + 1 = -c. Suppose -2*f = t - 22, 2*t + 0*t - m*f = 26. Is t a multiple of 4?
True
Let t = -23 + 62. Is 9 a factor of t?
False
Let m = 253 - 170. Suppose 0 = -2*u - i + 39, 5*u - 2 - m = -5*i. Does 22 divide u?
True
Let s(x) = 3 + 11*x - 4 - 5 + 4. Suppose -1 - 3 = -2*v. Is 20 a factor of s(v)?
True
Suppose -j - 1 = -6*j + 4*k, -5*j - 4*k + 9 = 0. Suppose -j = -4*w + 3. Let a = 14 - w. Does 13 divide a?
True
Let v = 4 - 1. Is 2 a factor of v?
False
Let d be (-2 - -2 - -1) + 3. Let i(z) = 11*z + 2. Is 12 a factor of i(d)?
False
Suppose 0 = -3*v + 74 - 2. Does 12 divide v?
True
Let z(b) = b**2 + b + 54. Let f(l) be the first derivative of -l**2/2 + 4*l + 2. Let h be f(4). Does 14 divide z(h)?
False
Let b = 2 + -13. Let w = 16 + b. Suppose -2*u + 89 = w*m, -m - 8 + 45 = u. Is u a multiple of 23?
False
Let t(a) = -51*a**2 - a + 1. Suppose 5*g + 12 = -3*n - 5, -4*g - 18 = -2*n. Let y be t(n). Let i = y - -84. Is 16 a factor of i?
False
Let c(f) = f**2 - 6*f + 1. Let y(s) = s**2 - 7*s + 1. Let j(b) = 7*c(b) - 6*y(b). Is 8 a factor of j(-3)?
False
Suppose -3*c = 3, -4*c = -4*t - 6 + 14. Suppose 37 = l - t. Does 10 divide l?
False
Let v(p) = 2*p + p - p + 4. Suppose -2*b - j + 5 = 0, 0 = b + 3*j + 2*j + 20. Does 12 divide v(b)?
False
Suppose 5 = 3*n - 4*n, -n = 5*l - 25. Is l a multiple of 2?
True
Let n(b) = -b**3 - 7*b**2 - 11*b - 17. Let d be n(-7). Let i = d - 24. Is i a multiple of 12?
True
Let i(q) = -q**3 - 2*q**2 - 2*q. Let y be i(-2). Suppose 0 = 6*z - 5*z - y. Suppose -z*h + 156 = -0*h. Does 16 divide h?
False
Suppose 0 = -2*k + 2*u + 78, u + 33 = k + 3*u. Is 3 a factor of k?
False
Let x = 5 - 2. Let u = x - -1. Is u a multiple of 4?
True
Let a = 2 + 33. Suppose -18 = -5*p - 138. Let s = p + a. Is s a multiple of 3?
False
Suppose -3*v - 3*j = -657, -4*v = -4*j - 883 + 47. Let f = v - 145. Does 23 divide f?
True
Let s(g) = 3*g + 2. Let u be s(8). Let t be 27/6*(-16)/6. Let w = t + u. Does 14 divide w?
True
Let r be 451/123 + 1/((-3)/(-1)). Let b(t) = -12*t. Let p be b(-2). Suppose -r*n + n = -p. Is 4 a factor of n?
True
Suppose 4*a + 5*z = a + 4, 5*a - 5*z = 20. Suppose 2*n = 67 - a. Suppose -4*m + 16 = -n. Is m a multiple of 12?
True
Let x(f) be the first derivative of f**4/4 + 3*f**3 - 5*f**2 - 3*f + 4. Let v be x(-10). Let q = 10 + v. Is q a multiple of 3?
False
Let d be (-190)/(-7) - 8/56. Suppose -33 = -5*w - 5*t + d, 0 = -2*t + 10. Does 7 divide w?
True
Let l = 39 + -30. Let s be 3/3 - 1*-23. Let g = l + s. Is g a multiple of 10?
False
Does 8 divide (-1 - 0)/((-2)/336)?
True
Let h be (-4)/(-18) - (-7)/9. Let o(p) = -1 + h - 2 + 3 + 26*p. Does 21 divide o(1)?
False
Let w = 9 - 4. Suppose w*b - 191 - 119 = 0. Is 16 a factor of b?
False
Let n = -3 + 7. Suppose 0 = -2*o - n, -6*s + 5*s - o = -8. Is 6 a factor of s?
False
Let r = -80 + 145. Suppose 0 = 4*t + 5*u + 129, 2*t + r - 8 = -u. Let f = 38 + t. Does 4 divide f?
True
Suppose 0 = 5*x - 5*p - 30, 6 = -2*x + 3*p + 22. Let l be (-2)/2*x/2. Does 4 divide 3/(((-9)/24)/l)?
True
Suppose 5*q = -5*c - 155, -10 = 4*c - 30. Let k = 57 + q. Is 15 a factor of k?
False
Let z = 227 - 134. Is 12 a factor of z?
False
Let o(m) = m**2 - 5*m + 2. Let a be o(6). Is (-116)/(-14) - a/28 a multiple of 8?
True
Let h = -14 + -5. Let d = 7 + h. Let i(t) = -t**2 - 16*t - 8. Is i(d) a multiple of 24?
False
Let y(o) = -4*o**3 + 2*o**2 + o + 1. Suppose -h + 0*i + 6 = 2*i, -3*i + 11 = 2*h. Suppose -2*v = h*c + 16, 4*c + 15 = -4*v - 9. Is y(c) a multiple of 15?
False
Let h = -128 + 328. Is 8 a factor of h?
True
Let g(q) = 7*q**2 - q - 1. Let j be (1 - 1) + 1/(-1). Let h be g(j). Suppose h*u = 2*u + 50. Is u a multiple of 7?
False
Suppose 96 - 12 = 3*i. Is 14 a factor of i?
True
Let m = -44 - -75. Suppose -13 + 38 = x + 4*y, -x = -2*y - m. Suppose 0 = -2*g + 3*g - x. Does 11 divide g?
False
Suppose -22 = -5*s + 18. Let r = s + 12. Does 10 divide r?
True
Let b(z) = -z**3 + 7*z**2 - 4*z - 8. Let f be b(6). Suppose 3*l = w - f, -3*w - 3*l - 2*l = -26. Is w a multiple of 5?
False
Let u(v) = -16*v + 2. Is u(-7) a multiple of 19?
True
Suppose 5*g + 3*f = 0, 5*g + 4*f - 8 = g. Let n = g - -5. Suppose n*h - 7 = -3*y, 13 = 2*h - 2*y - y. Is h even?
False
Let x(u) = -u**3 - 13*u**2 - u + 21. Is 6 a factor of x(-13)?
False
Suppose 4*o - 4*h = 56, 0*o = -4*o - h + 36. Let c(w) = -2*w**2 + 11*w + 12. Let l be c(o). Does 13 divide (l/(-4))/(-3)*-6?
True
Let v(k) = k**3 - 8*k**2 + 6*k + 7. Let i be v(7). Suppose -3*s = -i*s - 180. Is s a multiple of 27?
False
Suppose 6 = -2*j + 16. Let g(v) be the first derivative of -v**3/3 + 9*v**2/2 - 4*v + 1. Is 9 a factor of g(j)?
False
Let j = -80 + 33. Let x be 76 + 2 - (-8)/4. Let g = x + j. Is g a multiple of 13?
False
Let f = -18 + 61. Is 7 a factor of f?
False
Suppose -3*k = -k - 4. Suppose -3*p + k*t = -41, -3*p - 4*t + 17 = -0*p. Let w = p + -6. Is w even?
False
Let r be 95 + -2 + (4 - 2). Let b = r + -63. Does 8 divide b?
True
Let o be 1/3 + (-64)/(-24). Let g(n) = -n**2 - 6*n. Let b be g(-6). Suppose z + b = o. Does 2 divide z?
False
Let d(u) = -u**3 + 4*u**2 - 2*u + 5. Let g be d(4). Let p(h) = 2*h**3 + 5*h**2 + 3*h + 3. Let a be p(g). Let l = 39 + a. Does 10 divide l?
False
Let b = 2 + 0. Let l(y) = y**2 - 1. Is 3 a factor of l(b)?
True
Let y(o) = 6*o. Let g be y(1). Does 4 divide ((-32)/g)/((-4)/6)?
True
Let v(f) = f**3 + 3*f**2 + 2*f + 2. Let x(l) = -l**3 + 3*l**2 - 2*l + 4. Let p be x(3). Let g be v(p). Does 5 divide g/(-2) + (11 - -1)?
False
Suppose 0 = -2*g + 10 + 2. Suppose 4*p = g + 14. Does 4 divide p?
False
Let d(y) = y - 12. Let g be d(0). Let t be (-3)/(-1 - 3/g). Suppose 2*a - 31 = 3*u, u - 15 = -t*a + 12. Is 4 a factor of a?
True
Suppose -j + 118 = 67. Is 33 a factor of j?
False
Let a(g) = 5*g**2 + 4*g + 3. Let i(b) = b**3 + 7*b**2 - b - 5. Let f be i(-7). Suppose c + f*p = 0, 6 = -4*c - p - p. Is a(c) a multiple of 15?
True
Let b(f) = f**3 + f**2 - f + 9. Let a be b(0). Let u be ((-1)/3)/((-1)/a). Suppose u*o + 2*o = 15. Does 2 divide o?
False
Let d be 595/10 - (-1)/(-2). Suppose 0 = -4*h - 5*p + 34, h + 2*p + d = 6*h. Is 11 a factor of h?
True
Let m = -147 - -211. Is m a multiple of 13?
False
Let a(v) be the second derivative of v**5/20 + 7*v**4/12 - v**3/3 + 9*v**2/2 - 3*v. Let h be a(-8). Let i = 64 + h. Is 16 a factor of i?
False
Suppose -8*m + 999 = -217. Does 19 divide m?
True
Suppose -4*w + r = -87, 0*r - 5*r = -5. Is 