be (-3)/a + 94/(-8). Let v = 2 - x. Is v a multiple of 9?
False
Let x = -36 - -138. Suppose -120 = 4*o + 5*l + 141, -6 = -2*l. Let v = x + o. Is v a multiple of 19?
False
Suppose 4*h - 593 = 451. Does 40 divide h?
False
Let v = 35 - -52. Is 29 a factor of v?
True
Let i(o) = 5*o**3 - o**2 + 1. Suppose -2 = -3*k + 1. Is i(k) even?
False
Suppose -4*p = -c - 6 - 12, 4*p + 162 = -5*c. Let f(q) = 7*q**3 - q**2 + q. Let i be f(2). Let l = c + i. Does 12 divide l?
True
Let q(t) = 4*t**2. Let z be q(3). Let a = z - 11. Let o = a + -9. Does 8 divide o?
True
Let s(y) = -15*y + 4. Let x(w) = 16*w - 5. Let u(o) = 6*s(o) + 5*x(o). Let g(q) = q**3 + 6*q**2 + 4*q - 6. Let k be g(-5). Is u(k) a multiple of 6?
False
Let u(a) = -9*a**2 - a - 7. Let p be u(-3). Let d = -45 - p. Does 8 divide d?
True
Let q be (0 - -2)/(-4)*0. Let d(j) = 4 + j**2 + 2*j + 4*j + q. Is 3 a factor of d(-6)?
False
Let i be (-24)/3 - (0 + 0). Let q(s) = -s - 4. Is q(i) a multiple of 2?
True
Suppose 4*c = 3*w + 80 - 295, -3*c + 222 = 3*w. Is 20 a factor of w?
False
Let h(g) = -5*g + 1. Is 3 a factor of h(-1)?
True
Let w(h) = -h**2 + 4*h + 3. Let m be w(6). Let i = 225 - 161. Let v = m + i. Does 20 divide v?
False
Suppose -5*z + 105 = 5*n - 2*z, -2*z = -3*n + 44. Is 6 a factor of n?
True
Suppose -3*i + 26 = -13. Let q = 23 + i. Is 6 a factor of q?
True
Let m = -3 + 6. Suppose -m*z + 24 = z. Does 3 divide z?
True
Let l(r) = 19*r - 59. Is 25 a factor of l(11)?
True
Suppose -j + 15 = 3*b, -b = -2 - 2. Let l(n) = n**2 + 4*n - 5. Let i(x) = -x**2 - 7*x + 9. Let m(v) = j*i(v) + 5*l(v). Is 17 a factor of m(-4)?
False
Suppose -25 = 4*n + 5*j, 0 = -2*n + n + 2*j - 16. Does 19 divide (8/10)/(n/(-475))?
True
Let q = -26 - -122. Suppose 2*u - 6*u + q = 0. Is u a multiple of 24?
True
Suppose -3*l = -2*w - 152, -4*w = -5*l - 44 + 300. Does 9 divide l?
False
Let p(f) be the second derivative of f**3/6 - 2*f. Does 5 divide p(5)?
True
Let j(i) be the second derivative of i**6/24 + i**4/24 + i**2 + i. Let z(q) be the first derivative of j(q). Is 3 a factor of z(1)?
True
Suppose -389 = -2*x + 4*l - 57, x + 4*l - 184 = 0. Is x a multiple of 23?
False
Suppose -34 = -3*w - 7. Is w a multiple of 9?
True
Let j(w) = w**2 + 3*w - 7. Let r be j(-5). Suppose 5*i + r*h = -0*h + 44, -3*i + 36 = -3*h. Is i a multiple of 8?
False
Let f(a) = -a**3 + 4*a**2 - a - 3. Let d be f(3). Let s = 6 - d. Let m = 0 + s. Is m a multiple of 3?
True
Let c(j) = -j**2 + 7*j - 3. Let d = 10 - 17. Let t = 13 + d. Is c(t) a multiple of 3?
True
Suppose -8 = -2*t + 6*t. Let o(r) = -2*r**3 + r**2 - 2*r - 2. Is o(t) a multiple of 8?
False
Is (0 + -1 + -34)*-1 a multiple of 7?
True
Let q(g) be the second derivative of 7*g**5/20 - g**4/12 + g**3/6 - 8*g. Does 2 divide q(1)?
False
Let k = 233 + -145. Is k a multiple of 22?
True
Let k be 0/(-3) - 4/2. Let w be (4/(-6))/(k/57). Let h = w + -11. Is h a multiple of 4?
True
Let x(l) = -l**2 + 5*l + 8. Let c be x(6). Suppose -3*h + 12 = 3*f, -8 = 2*h - 6*h - c*f. Suppose -w + 24 = -h*w. Does 12 divide w?
True
Suppose -12 = -4*v + 4. Suppose i - 2*w = 2, v*i - 3*w = 1 + 32. Is 12 a factor of i?
True
Let b(p) = p**2 - 3*p - 11. Suppose 12 = -2*x - 5*q + q, -x + q = 6. Is b(x) a multiple of 8?
False
Suppose 6*s + 52 = 2*r + 2*s, 4*s - 98 = -3*r. Does 4 divide r?
False
Suppose -5*o + 10*o - 30 = 0. Let m be (3/2)/((-3)/o). Is 11 a factor of (9/1)/((-1)/m)?
False
Let y(s) = -s**3 - 3*s**2 + 3*s + 3. Let g(c) = c**3 - c. Let a be g(1). Suppose 0*x - 4*x - 16 = a. Does 6 divide y(x)?
False
Is 25 a factor of 5/((-10)/419)*-2?
False
Suppose 0 = b + 2*j + 207, -5*j = 4*b - 4*j + 807. Let i = 286 + b. Is 22 a factor of i?
False
Let o = 19 - 6. Is 5 a factor of o?
False
Let c(k) = -3*k**2 - 8 + 10*k - 4*k**2 + k**3 + k**2. Let b be c(6). Let j = 79 - b. Does 10 divide j?
False
Suppose 5*w - x - 1 - 3 = 0, 2*w + 3*x + 12 = 0. Suppose 4*a - 2*a - 110 = w. Let k = a + -23. Does 14 divide k?
False
Let v be (2 - 5)*44/(-3). Let w = v + -22. Is 11 a factor of w?
True
Suppose -3*w + 4*m + m + 9 = 0, -m = 5*w - 15. Suppose 0*k - 30 = w*k. Does 5 divide (k/(-4))/((-3)/(-18))?
True
Suppose -4 = -t, -3*t - 2*t = -5*r + 115. Is 9 a factor of r?
True
Let o = -18 + 23. Let p = 16 + o. Is 5 a factor of p?
False
Suppose -4*o + 12 = -0*o. Let r(g) = -4 + 2*g + 1 + 2. Is r(o) a multiple of 2?
False
Let d(o) = -20*o**3 + o**2. Let t be (-5)/15*(-1 + 4). Let h be (1 - -1)/2*t. Is 16 a factor of d(h)?
False
Suppose 4 - 2 = 2*q, -4*j + 5*q + 327 = 0. Suppose -5*z + j = -3*u, -22 = -2*z - 3*u + 7*u. Does 5 divide z?
False
Let v(k) = 506*k - 21 - k**2 - 2 - 485*k. Is v(18) a multiple of 13?
False
Let i be 16/3*4*12. Suppose -u = -r - r + 256, -2*r + i = u. Suppose -5*d = -d - r. Does 10 divide d?
False
Suppose j - t - 8 = 0, j - 12 = 2*j + 4*t. Suppose 0 = -5*r - 3*u - 0*u + 59, 42 = j*r + 5*u. Does 13 divide r?
True
Let b be (-1)/(-2 + (-6)/(-4)). Suppose c + 15 = -4*n, 5*c + b*n = n - 18. Does 12 divide (c - 63/(-15))*20?
True
Let m(t) = t**2 + 11*t + 8. Let p be m(-11). Let k(w) = 2*w + 5*w - 2*w - 3*w - 2. Does 14 divide k(p)?
True
Let c = 145 - 61. Let z = c + -58. Is z a multiple of 9?
False
Suppose -c - 2*u + 10 = 0, -4*u + 7*u = 3*c - 30. Does 5 divide c?
True
Let h be (-2)/8 + (-18)/(-8). Suppose h*j = j + 38. Does 19 divide j?
True
Let l be (((-4)/(-1))/(-2))/(-1). Suppose l*v + v - 102 = 0. Does 13 divide v?
False
Suppose -4*q + 153 = -567. Does 18 divide q?
True
Let w be 3*1 + (-7 - -6). Let s be -1 + 5 - w - -18. Suppose -2*k + 3*k = s. Is 13 a factor of k?
False
Let q(b) be the third derivative of 0*b - 2/3*b**3 + 0 + 1/60*b**5 - 1/12*b**4 - 2*b**2. Is 2 a factor of q(4)?
True
Let n be -2 - (-2 - -2) - -16. Let z = -10 + n. Is 4 a factor of z?
True
Let z be -1*(-6 - (1 - 3)). Let j(s) = 1 + 0*s - z + 2*s. Does 6 divide j(5)?
False
Let a = 15 + -1. Is 14 a factor of a?
True
Suppose -58 = -2*d + d. Suppose -2*g + y + d = -4, -g = -3*y - 41. Is 17 a factor of g?
False
Let l be (-22)/165 - 2/(-15). Let g = 5 + 0. Suppose 55 = -l*t + g*t. Does 11 divide t?
True
Let p(w) be the third derivative of w**4 - w**3/6 - w**2. Let u be p(2). Let b = 102 - u. Does 19 divide b?
False
Is ((-5)/(-3))/((1/24)/1) a multiple of 7?
False
Let t be 293/(-2) - (-2)/4. Let g = 207 + t. Suppose 0 = 2*n + 4, n = 3*r + 17 - g. Is 8 a factor of r?
False
Suppose -5*p = 2*z - 209, -4*p - 97 = -z + p. Suppose 78 = 5*a - z. Does 14 divide a?
False
Suppose 3*o = -o - 4. Is ((-2)/8)/(o/20) even?
False
Let l(a) = 45*a + 44. Does 11 divide l(7)?
False
Does 17 divide 0 - (-3 + 4) - -103?
True
Let o be (-3)/(-6) + 3/2. Suppose i + o*i - 114 = 0. Does 19 divide i?
True
Suppose o - 20 + 5 = 0. Is o a multiple of 5?
True
Let c(u) = 5*u**2 + 1 - 4 + u**3 - 16*u + 0. Is 2 a factor of c(-7)?
False
Let j = -1 - 4. Is 11 a factor of ((-2)/6)/(j/165)?
True
Let b(m) = -m**3 - 2*m**2 - 2*m - 1. Does 3 divide b(-2)?
True
Let t(l) = -1 + 0 + 2*l + 7. Let m(w) = -2*w - 6. Let i(k) = 5*m(k) + 4*t(k). Does 3 divide i(-6)?
True
Let c(a) = -a**2 + 8*a + 3. Is 5 a factor of c(7)?
True
Suppose 0 = 2*y - 4*y + 8. Let p = 26 + y. Is 15 a factor of p?
True
Suppose 2*o + 0*p = -3*p + 21, -3*o = 4*p - 29. Suppose 108 = 4*l + 5*h, -h + o*h = 3*l - 58. Is 11 a factor of l?
True
Let r = 17 + -14. Suppose -75 = -r*k - 0*k. Does 5 divide k?
True
Let r be (-3)/3 + (0 - -8). Suppose 3*c + 12 = r*c. Suppose 0*k - 35 = -5*k - c*h, -2*h - 30 = -2*k. Is 10 a factor of k?
True
Let a be (1*-3)/(6/4). Let g be (-17)/(-4) - a/(-8). Suppose 3*o = g*o - 2*i - 6, -2*o + 6 = 2*i. Is 2 a factor of o?
True
Let x(s) = 2*s**3 + 2*s**2 - 6*s + 2. Let i be (-102)/(-24) - (-2)/(-8). Let b be x(i). Suppose 4*g + 2*f = b, 4*f - f - 9 = 0. Does 11 divide g?
True
Let c(l) = 214*l**3 + l**2 + l - 1. Let t be c(1). Suppose 0 = 4*k + k - t. Is 14 a factor of k?
False
Let z = -59 + 100. Does 10 divide z?
False
Suppose -63 = -2*q - 0*g + 5*g, 5*q - 5*g = 120. Is (q/(-3))/(14/(-42)) a multiple of 13?
False
Let m(k) = -k**2 + 10*k + 5. Is 4 a factor of m(6)?
False
Suppose 0*v + v + 14 = m, 3*m = -4*v + 21. Let l = m + -8. Suppose 2*b - 7 - 44 = -l*p, 2*b + 9 = p. Is p a multiple of 15?
True
Suppose -i = 2*i - 12. Suppose 57 + 111 = i*p. Suppose -4*h + 2*h = -d - 32, -3*d = -3*h + p. Does 13 divide h?
False
Let o = 4 - 2