 + -65. Is v a multiple of 2?
False
Let v = 0 + 0. Suppose 4*y - 4 - 36 = v. Is y a multiple of 3?
False
Suppose -4*j = -5*r + 159, 2*j - r + 5 = -76. Let s = j + 75. Is s a multiple of 12?
False
Let l = 22 + 3. Is 10 a factor of l?
False
Suppose -2*f + 2*b = -2*b - 16, -3*f + 8 = -2*b. Let k = 3 + f. Is k a multiple of 2?
False
Suppose 89 = -4*h + 2*v - 49, -66 = 2*h - 2*v. Let u = -20 - h. Suppose 0*p + 4*p - u = 0. Does 2 divide p?
True
Let d(i) = 2*i**2 - 2*i - 4. Let p be d(-3). Let t = 12 + p. Is 17 a factor of t?
False
Let d(g) = g**3 - 8*g**2 + g. Let r be d(7). Does 15 divide r*(-6)/9*2?
False
Suppose 0 = -7*n + 5*n + 88. Does 11 divide n?
True
Let j(y) = y**3 + 8*y**2 - 9*y + 1. Let n be j(-9). Does 24 divide ((-48)/(-10))/(n/5)?
True
Let l = 623 - 434. Is 13 a factor of l?
False
Let b(j) = -j**3 - 2*j**2 + 2*j + 117. Is 15 a factor of b(0)?
False
Suppose -5*b = -3*l - 18, 3*l - 2 = b - 8. Let a be ((-1)/b)/(3/(-18)). Is 6 + (-4)/(0 - a) a multiple of 4?
True
Suppose -z + 479 = 4*s - 0*z, -4*z + 596 = 5*s. Does 20 divide s?
True
Suppose -y + 305 = 4*y. Is 28 a factor of y?
False
Let x(c) = -c**3 - 6*c**2 - 6*c - 4. Let v be x(-8). Let s(h) = h - 2. Let w be s(-5). Does 6 divide v/14 + 2/w?
True
Let o = 0 + -2. Suppose -3*r = 5*y + 55, 2*y - 4*r + 4 = -y. Is (y/(-10))/(o/(-65)) a multiple of 19?
False
Let p = 1 + -20. Let h = -11 - p. Is 8 a factor of h?
True
Suppose 4*z = -0*z + 16. Let b = 7 + -17. Let a = z - b. Is a a multiple of 10?
False
Suppose -77 = -3*i + k, 3*i + 0*k - 97 = 5*k. Does 3 divide i?
True
Let m(l) = 39*l**2 - 8*l - 7. Is 37 a factor of m(-1)?
False
Let h(j) = j - 8. Is h(12) even?
True
Let f = 11 + -12. Does 15 divide (-2)/(f/(45/2))?
True
Let q be (3 - 0)/(-3 + 4). Suppose 5*x = q*x - 8. Is 5 a factor of (-1 - 9)/(x/4)?
True
Let v be 259/6 + 4/(-24). Let g = v + -24. Let x = g - 8. Does 11 divide x?
True
Let u(x) = 4*x - 6. Suppose -5*p + 1 = -2*f, 5*p - 1 = -f + 6. Let j be (-1 - -2) + 4/p. Is u(j) a multiple of 11?
False
Suppose 2*t - 1 = 11. Suppose d = 3*u + t*d - 22, -4*u - 3*d + 11 = 0. Does 7 divide -3 + 4 - 25/u?
False
Let s(a) = 3*a**2 - 5*a - 2. Suppose 3*f + 5*d = -18 - 16, 0 = 4*f - d + 7. Let k be s(f). Suppose 3*p - k = -p. Is p a multiple of 10?
True
Let c(h) = -2*h**2 - 3*h. Let b be c(-5). Let l be (-2)/(-2) + b*1. Let n = -16 - l. Does 9 divide n?
True
Let n = -3 + 3. Suppose 2*f - 19 - 41 = n. Is f a multiple of 12?
False
Suppose -4*h = -2*h. Suppose 0 = -3*p + p + 80. Suppose h*c + 4*c - p = 0. Does 8 divide c?
False
Let j = -7 - 35. Is (2 + -1)/((-2)/j) a multiple of 7?
True
Let a(g) = 7*g + 2. Let z be a(5). Let k = -5 + z. Is k a multiple of 11?
False
Suppose 3*r = 2*n + 185, -5*r + 3*n + 0*n + 309 = 0. Does 8 divide r?
False
Let u be (-5)/5*(-32)/2. Suppose -11*g = -7*g - u. Does 4 divide g?
True
Suppose -6 = x - j, -4*x - 5 = -2*j + 21. Let f(c) = c**2 + 3*c - 9. Is f(x) a multiple of 10?
False
Let w = -9 + 13. Suppose -2*o + w = -x, o + 8 = -5*x - 12. Suppose -b - 52 = -2*d, -2*b + o*b - 132 = -5*d. Does 14 divide d?
True
Suppose -4*b + 7 = 2*r - 7*r, -2*b = -5*r - 1. Does 7 divide 5/(((-6)/b)/(-8))?
False
Let f = -11 + 17. Let o be 1 + f - (1 + -2). Is 13 a factor of (19/4)/(2/o)?
False
Suppose -3*b + 96 = -2*h, -5*b - 4*h + 77 = -61. Is b a multiple of 10?
True
Suppose -4*d + 30 = d. Let c(z) = z**3 - 3 + d + 3*z - 2*z**2 - 3*z**3. Is 15 a factor of c(-3)?
True
Let w(n) = n**2 + n - 3. Let i be w(-4). Is i + (-5 - -2) + 1 a multiple of 3?
False
Let g = 6 + -1. Suppose -g = -4*j + 11. Suppose -29 = -j*v + i, -5*v - i + 34 = -3*i. Is v a multiple of 8?
True
Let c(w) = w**2 - w - 3. Is c(-3) a multiple of 3?
True
Let h(o) = -o**2 - o - 1. Let v(g) = 3*g**3 + 3*g**2 + 7*g + 8. Let i(f) = 6*h(f) + v(f). Is 26 a factor of i(3)?
False
Suppose 2*l - t - 7 = 0, -4*l = -t - 6 - 13. Let q be (42/5)/(l/20). Let z = q + -10. Is z a multiple of 7?
False
Suppose 3*h + 29 + 25 = 0. Let d = -8 - h. Is 10 a factor of d?
True
Let l(h) be the first derivative of -h**3/3 + h**2/2 + 16*h + 1. Is 16 a factor of l(0)?
True
Suppose 0*m - 91 = -m. Is 49 a factor of m?
False
Is 6/21 + 271/7 a multiple of 14?
False
Let l be 6*((-3)/(-2))/(-3). Let c(u) = 3*u - 116 + 113 - 5*u + 3*u**2. Is 11 a factor of c(l)?
False
Suppose 0 = -2*h - 84 + 294. Does 15 divide h?
True
Suppose m = 2*b - 242, -246 = -2*b - 3*m + 2*m. Let g = 33 + 52. Let a = b - g. Is a a multiple of 14?
False
Let b(t) = 1. Let m(i) = -6*i**2 + i + 7. Let d(p) = 24*b(p) - 3*m(p). Does 23 divide d(2)?
True
Let i be (-1353)/(-15) - 3/15. Suppose -4*m - 2*u - u + i = 0, -2*m + 3*u = -36. Does 10 divide m?
False
Does 22 divide 9/(45/40)*16?
False
Let v(j) = 2*j**2 - 2. Does 4 divide v(-5)?
True
Let v be (-1)/2*(-3 - -1). Suppose -10 = -4*n + 110. Suppose -x - 4*k + n = -k, k - v = 0. Does 27 divide x?
True
Is -3*(-1 + 3/9)*116 a multiple of 13?
False
Let n = 1 - -3. Let w(l) = l**2 - 3*l - 4. Let c be w(n). Suppose -4*x = -3*p - 92, -5*x + 2*p + c*p = -122. Is 20 a factor of x?
False
Let s(j) = 0*j - 2*j**2 + 2*j**2 - 4*j + 3*j**2 + 1. Does 14 divide s(-3)?
False
Suppose -2*l = -3*b - 38, l = -l - 5*b + 6. Let q = 68 - l. Is q a multiple of 22?
False
Suppose 2*z - 6 = 5*z. Does 6 divide (-6)/z + -3 - -12?
True
Suppose 4*z = -4*q + 32, 5*q + 0*q = -z - 8. Suppose 5*m + o = 21 + 45, -2*m = 4*o - z. Is 6 a factor of m?
False
Let n(i) = i**2 + 10*i - 4. Is 39 a factor of n(-18)?
False
Let z(m) = -m + m + 2*m**2 - m**2. Let v(h) = 4*h**2 + h + 3. Let a(i) = -v(i) + 5*z(i). Is a(-3) a multiple of 9?
True
Let q(a) = a + 16. Let z be q(-13). Suppose -z*t + 48 = 3*t. Is 4 a factor of t?
True
Suppose -5*b + 4 = -6. Suppose 0 = -7*t + 5*t + b. Suppose -l + t = -11. Is 9 a factor of l?
False
Let z be -3 - -4 - -1*11. Suppose 0*f = -3*f + z. Suppose -f*j + 8 = -0. Does 2 divide j?
True
Suppose 2*n - 6*n = -8. Let j be (0 + 6)*2/(-3). Let v = n - j. Is v a multiple of 3?
True
Suppose 0 = r - 0*r - 35. Does 11 divide r?
False
Suppose 5*h - 3*c = -c + 16, 0 = -2*h + 3*c + 13. Let x = -5 + h. Let s(v) = -8*v - 2. Is s(x) a multiple of 11?
True
Let n = 4 - -52. Is n a multiple of 9?
False
Suppose 4*a + 2*r = 2*a + 2, 0 = 5*a - 2*r - 26. Suppose -19 - 29 = -a*c. Does 12 divide c?
True
Suppose 2*s - 13 = -3, 85 = 5*h + 5*s. Does 4 divide h?
True
Suppose -5*t + 34 = 9. Suppose -3*b + 35 = 2*a, -2*a - 15 = -a - t*b. Does 10 divide a?
True
Let h(b) = -b**3 - 7*b**2 - 1. Let c be h(-7). Let j be (-29)/(-7) - c/(-7). Suppose j*v = -2*t + 120, 5 = -2*v + 3*v. Does 25 divide t?
True
Let y(m) = m**2 - 3*m + 2. Let k be y(3). Suppose -x - 2 = -k*x. Let n(v) = 4*v + 2. Is 10 a factor of n(x)?
True
Let j(g) be the first derivative of -g**6/120 + g**5/10 + 3*g**4/8 + g**3/3 - g**2 + 1. Let b(v) be the second derivative of j(v). Is b(7) a multiple of 8?
True
Suppose -4*n + g = -4*g + 213, -5*n = -5*g + 260. Suppose 4*s = -52 - 40. Let b = s - n. Does 12 divide b?
True
Suppose -17*r + 25*r = 960. Is 15 a factor of r?
True
Does 16 divide (-3 - -5 - -19)/(3/9)?
False
Let o be 0 + -1 + (-4)/(-2). Let h = 3 - o. Suppose 2*n = h*w - 32, n = 5*w - 49 - 27. Is w a multiple of 6?
False
Suppose -3*y + 29 = z, -5*z + 7 = -18. Let v = -6 - -11. Suppose 5*l = v*i - 170, y - 43 = -i + 2*l. Is i a multiple of 11?
True
Let h be 48/22 + (-4)/22. Let q = h - -11. Is 13 a factor of q?
True
Let d be (3 + (-10)/1)*-1. Let m = 11 - d. Does 2 divide m?
True
Let p(r) = r**2 - 4*r + 1. Let l be p(-4). Suppose 0 = q + d - 33, q = -0*q + 5*d + l. Is 9 a factor of q?
False
Let a(m) = -53*m**3 + m**2 - 1. Is a(-1) a multiple of 23?
False
Let s(g) = -6*g + 3. Let w be s(7). Let k be w/(-4) + 2/8. Does 12 divide 4/10 + 176/k?
False
Let f(o) = o**3 + 10*o**2 - o - 8. Let g be f(-10). Let w(x) = 3*x - x**2 - g - 2*x**2 + 5*x**2. Does 3 divide w(-3)?
False
Let z(x) = 13*x**2 - 9*x + 2. Let c(k) = 6*k**2 - 4*k + 1. Let i(g) = 5*c(g) - 2*z(g). Suppose 5*t - 7 = t + 5*a, -2*t + 4*a = -2. Is 10 a factor of i(t)?
False
Suppose -3*w + 130 = 2*i, -2*w = w + i - 131. Let c = 2 + w. Is c a multiple of 23?
True
Let r be 2/(-6) - 16/(-3). Suppose -r*m + 3*m + 94 = 0. Suppose -p = -3*t + 19, m = 4*t - 0*p + 3*p. Is t a multiple of 5?
False
Let s = 33 + -12. Does 21 divide s?
True
Does 14 divide 3 + (57 - (6 + -2))?
True
Let d