o = g + 0. Is o a multiple of 2?
False
Let v be 1 + 2 - (0 - 3). Suppose v*h = 2*h + 180. Is 9 a factor of h?
True
Let l(g) = -5*g + 10. Let w = 15 - 23. Does 14 divide l(w)?
False
Let o be 1/4 - (-175)/20. Suppose -3*g + 75 = -o. Does 11 divide g?
False
Let r(y) = y**2 - 10*y + 11. Let j be r(9). Suppose 5*v = 3*s + 4, j*v = -3*s + 3 - 14. Does 10 divide 1 - -25 - v - -3?
True
Let v(i) = 11*i + 1. Let q(b) = -b**3 - 12*b**2 - 11*b + 3. Let f be q(-11). Is 20 a factor of v(f)?
False
Let k(w) = -w**2 - 6*w - 2. Let i be k(-5). Suppose 0 = i*s + 4*d - 80, -4 = -2*d - 0. Does 8 divide s?
True
Is 17 a factor of (-4)/10 - (-4369)/85?
True
Is (-1572)/(-66) - (-4)/22 a multiple of 6?
True
Let y(b) = 2*b**2 + 12*b + 28. Does 8 divide y(-8)?
False
Let n = -13 + 6. Let u = n + 14. Let r(b) = -b**2 + 9*b - 1. Is r(u) a multiple of 5?
False
Let x = 153 + -13. Does 28 divide x?
True
Suppose 3*o = -p + 234, -8*p = -5*o - 4*p + 373. Is o a multiple of 32?
False
Suppose 8 = 4*o - 2*m, -6*m - 6 = -3*o - 4*m. Let h be (-15)/(-6) - (-1)/o. Suppose -2*l + 0*d = h*d - 4, 3*l - 2*d - 19 = 0. Is l a multiple of 2?
False
Suppose 2*f + 7*k - 3*k - 12 = 0, -2 = f + 4*k. Suppose 189 - f = 5*l. Is 10 a factor of l?
False
Let p be 1*-1 - (0 - 3). Let i = p + 0. Suppose k = 2*l - 6*l + 87, 33 = i*l - 3*k. Is 7 a factor of l?
True
Let b be (1/(-2))/((-4)/64). Suppose 2*u = 4*u + b. Is 16 a factor of u*(-7 + -1 + 0)?
True
Let c be 4/14 - 12/42. Suppose c = -0*k + k. Suppose k = 4*v - 39 - 41. Is 10 a factor of v?
True
Let f(t) be the second derivative of -t**4/12 + 33*t**2/2 + t. Does 16 divide f(0)?
False
Suppose 5*h + 2 + 18 = 0. Let u(m) = -m**3 - 3*m**2 + 3*m - 1. Let f be u(h). Is 5 a factor of 7/f*6/2?
False
Suppose 0 = g - 0*g. Let h(l) = -2*l - 6 - l + g. Does 3 divide h(-4)?
True
Let p be -12*(0 - -3)/(-3). Suppose 3*q + q = p. Let s(l) = -l**3 + 4*l**2 + l + 1. Is 5 a factor of s(q)?
False
Suppose t = -3*v + 97, 4*t - 78 = 2*v - 4*v. Is 31 a factor of v?
True
Suppose l + 35 = u, -5*u + 40 = 5*l - 145. Does 18 divide u?
True
Let q(k) = k**2 - 3*k + 2. Let v be q(6). Let h = 0 + v. Suppose -6*r = -4*r - h. Does 4 divide r?
False
Let d(q) be the third derivative of -q**6/120 + q**5/30 + q**4/6 + q**2. Let t be d(3). Does 6 divide 12/((-1)/(-2)*t)?
False
Suppose -q + 94 = 5*t - 7*t, 0 = 4*q - 4*t - 356. Does 7 divide q?
True
Suppose 4*w = -0*w + v + 21, 0 = -5*w + v + 27. Suppose -36 + w = -3*n. Let g(b) = -b**3 + 10*b**2 - b + 14. Is g(n) even?
True
Let a(r) be the third derivative of -5*r**4/6 + r**3/3 - 3*r**2. Let d(z) = z. Let f(q) = 2*a(q) + 44*d(q). Is 13 a factor of f(7)?
False
Let x be 2 + (0 + 1)*0. Suppose 3*z + 18 + 2 = -x*v, -v = -4*z - 23. Let b(j) = j**2 + 3*j. Is 9 a factor of b(z)?
True
Suppose -h + 57 - 258 = 4*u, 0 = -2*h + 5*u - 363. Suppose 5*d = 5*b + 30, 5*b + 5*d - 14 = 2*b. Is b/(-5) - h/15 a multiple of 10?
False
Suppose 0*f - 5*f + 3*z + 3 = 0, -3*f = -4*z - 4. Let k = 0 + 4. Suppose f = -3*m + k*n + 74, -6 = 5*n + 4. Is m a multiple of 11?
True
Let o = -1081 + 727. Is 24 a factor of (-3)/(-4) + o/(-8)?
False
Is 105/30*(-1 - -29) a multiple of 7?
True
Let r(q) = q**3 + 18*q**2 + 4*q - 12. Is r(-17) a multiple of 19?
True
Let w = 143 - 59. Is 6 a factor of w?
True
Let r(x) = 7 - 7 + 3*x + x. Let a be r(-1). Is 22 - -3*a/6 a multiple of 6?
False
Let n be 26/(2 + 0/(-3)). Let j = 19 - n. Is j a multiple of 2?
True
Let w = -27 + 47. Is 20 a factor of w?
True
Suppose -16 - 4 = -5*m. Is m even?
True
Let s(g) = 3*g**2 - g + 1. Let l be s(1). Suppose w = -4*y + l*y + 1, 28 = -2*y + 4*w. Let t = y + 25. Is t a multiple of 10?
False
Let p be (-1)/(1/20)*-1. Suppose 2*v - p = -0*v. Let h = v + -3. Is h a multiple of 2?
False
Let g(s) = s - 8. Suppose -5*r + 3*w + 12 = -2*r, -4*r - w = -36. Let t be g(r). Suppose 3*o - 56 + 8 = -4*y, -2*o + 2*y + 18 = t. Is 12 a factor of o?
True
Suppose -m + 280 = 4*m. Let h = 38 - 6. Let k = m - h. Is k a multiple of 12?
True
Let h be (-2 + (-8)/(-3))*-6. Does 10 divide (h - (-20)/4)*39?
False
Let z be 10*3/30*4. Suppose 7 = -w + k - z*k, -7 = w - k. Let b = 9 - w. Does 16 divide b?
True
Suppose -7*t + 363 = -22. Is t a multiple of 11?
True
Suppose -2*u + 1 = -k, 3*u = 4*k - 6*k - 16. Let a(f) = -f**2 - f + 3. Let q be a(0). Let o = q - u. Does 5 divide o?
True
Suppose 2*y = 5*r - 35, -4*r + 10 = 3*y - y. Let u be (2/r)/(-1)*-10. Suppose -4*j - 6 = -u*d + 26, -j + 2 = d. Is d a multiple of 5?
True
Suppose 5*x = -5*z + 2 - 7, 0 = -5*z - 2*x + 10. Suppose 0 = 2*o - z*h - h - 25, -10 = 2*h. Suppose t + t - 52 = o. Is t a multiple of 13?
True
Suppose 44 = 3*z - 127. Does 19 divide z?
True
Let h(n) be the first derivative of n**4/4 - 11*n**3/3 - 5*n**2 - 12*n - 2. Is h(12) a multiple of 10?
False
Let w = -23 + 84. Does 18 divide w?
False
Let r(w) = -w**2 + 3*w - 2. Suppose -5*g - 19 = 3*n, 2*g + 17 = n - g. Let x be r(n). Suppose x = 2*h - 43 - 13. Does 14 divide h?
True
Suppose 5*b = -9*b + 392. Does 4 divide b?
True
Suppose -2*c - 2*y + 88 = -0*y, -5*c + 5*y + 180 = 0. Is 27 a factor of c?
False
Let t = 16 + -27. Let o = -21 - t. Let i = 11 - o. Does 7 divide i?
True
Let a = -38 - -68. Does 10 divide a?
True
Let i(t) be the second derivative of t**7/420 - t**6/720 + t**4/12 + 2*t. Let m(c) be the third derivative of i(c). Is m(-2) a multiple of 13?
True
Suppose -y + 4 - 1 = 0. Let l = y + 23. Is 8 a factor of l?
False
Let b be (-6)/(-2) + 1 + -2. Is 4 a factor of (24/40)/(b/20)?
False
Suppose 0*o - 440 = -5*o. Suppose 36 = v - 3*g, 0*v - g = 3*v - o. Does 13 divide v?
False
Let b(l) = l**3 - 7*l**2 - 9*l + 16. Does 8 divide b(8)?
True
Suppose z = -4*v + 22, -v + 27 + 61 = 4*z. Does 19 divide z?
False
Suppose -2*a + 7*a = 0. Let k(d) = a*d - d**2 + 2*d**2 + 25 - d. Is 14 a factor of k(0)?
False
Let x(i) be the third derivative of -i**4/6 - 5*i**3/6 - 3*i**2. Is 9 a factor of x(-8)?
True
Does 31 divide (-708)/(-9) - 2/(-6)?
False
Let d(v) = -v. Let i(m) = 6*m + 3. Let a(p) = 2*d(p) - i(p). Is a(-6) a multiple of 15?
True
Does 12 divide -30*(3 + 21/(-5))?
True
Let c = 244 + -134. Is c a multiple of 26?
False
Suppose 2*h + h + 6 = 0. Let b(m) = 51*m**3 + m**2 + m + 1. Let i be b(h). Does 16 divide (-16)/(-6)*i/(-36)?
False
Is 16 a factor of 2248/22 - 5/(110/4)?
False
Suppose -4*l + 5 = -35. Is 2 a factor of l?
True
Is 7 a factor of 2/(-1) + 3 + 27?
True
Let y(z) = 3*z**2 - 2*z. Let q = 3 + 0. Let l be y(q). Let k = 38 - l. Is 6 a factor of k?
False
Suppose 0 = -4*j - q + 2*q + 4, 5 = 5*j + 4*q. Suppose -1 = b - 4. Let v = j + b. Is v a multiple of 2?
True
Let k be 6/2 + (-6)/2. Let w(l) = -l**3 + l**2 + 3. Let b be w(k). Suppose -2*t = -2*x - 42, x - 1 = -b. Is 5 a factor of t?
False
Let i be 2 + -4 - (123 - -2). Is i/(-3) + (-1)/3 a multiple of 14?
True
Is (-4)/14 - (-1634)/133 a multiple of 12?
True
Does 9 divide (-2)/8 - (-567)/12?
False
Let t = -16 + 22. Does 8 divide ((-16)/t)/((-11)/66)?
True
Suppose -2*t + 2 - 4 = 0, -2*b + 5 = -5*t. Suppose -4*a + 19 + 157 = b. Suppose 2*l - 4*u = a, 2*u + 40 = 2*l - u. Is 5 a factor of l?
False
Let y = -13 + 28. Suppose -4*w - 12 = 0, 6*w - 2*w = -r - 6. Let l = y - r. Is 9 a factor of l?
True
Suppose 2*v - 8 = -5*x, 0 = -5*x + 2*v + 2 + 10. Let m = -166 - -283. Is (m/(-6))/((-1)/x) a multiple of 17?
False
Suppose z = -z. Suppose -5*q - 5*t = -45, z = -2*t - 0*t - 2. Does 10 divide q?
True
Let s(o) = -o**3 + 4*o**2 - o + 4. Let a be s(4). Let q be 2 - (a - -2 - 0). Suppose q*t + 92 = 4*t. Is 12 a factor of t?
False
Is 55/11*186/5 a multiple of 13?
False
Does 18 divide 1*2/(8/356)?
False
Suppose 4*p = 4*d + 56, 3*d + 13 = p - 1. Is p + 1 - (5 + -4) a multiple of 7?
True
Let y(p) = -p**3 - 9*p**2 - 2*p - 2. Let h be y(-9). Suppose 3*l = -f, -l + 5*f = -0*l + h. Is 3 + -3 + (3 - l) a multiple of 3?
False
Suppose -5*x + 27 + 28 = 0. Suppose 12*u + 54 = x*u. Is 5 a factor of ((-2)/(-4))/((-3)/u)?
False
Let k(r) = r - 8. Let a be k(11). Suppose -4*g + 0*g - 4*j + 4 = 0, 0 = -4*g - a*j + 8. Is 2 a factor of g?
False
Let p(v) = 3*v - 6. Let q be p(3). Suppose -60 = -q*f - 15. Is f a multiple of 15?
True
Let w be 4 + -1 - (0 - -2). Let s(i) be the second derivative of 5*i**4/12 + i**2/2 - 2*i. Is 6 a factor of s(w)?
True
Suppose 0*y - 7 = -y. Let z(q) = 2*q**3 + q**2 + 6*q - 4. Let i(l) 