Let x be (1 + -7)/(24/16). Let d = 12 + x. Is (-55)/(-2) + (-4)/d a multiple of 11?
False
Suppose -5*k - 23 = 107. Suppose 0 = -5*u - 69 + 429. Let i = u + k. Is i a multiple of 23?
True
Let f(y) = -y**3 + 4*y**2 - 1. Let u be f(2). Is ((-1)/(-2))/(u/840) a multiple of 20?
True
Let t = 4 - 2. Is 2 + 0 + 1 + t a multiple of 3?
False
Let k(a) = -a**3 + a**2 + a - 11. Let h be k(0). Let r(q) = 26*q - 1. Let f be r(2). Let s = f + h. Is s a multiple of 15?
False
Let g = -8 + 7. Let k be (-2)/(-4)*0/g. Suppose n + 62 = o + 2*o, -5*o - 2*n + 96 = k. Does 7 divide o?
False
Let u = 294 + -140. Is u a multiple of 7?
True
Suppose 0 = -3*n + i + 3*i - 14, 0 = 2*n - 2*i + 6. Let h = -1 - -4. Suppose n*l = -h*l + 40. Does 4 divide l?
True
Let v = 135 - 55. Is 7 a factor of v?
False
Let a be 4/(-14) + (-79)/(-7). Suppose -4*j + 7 = -125. Let b = j - a. Does 13 divide b?
False
Suppose -424 = -2*z - 2*z. Is 11 a factor of z/3 - 8/(-12)?
False
Let c be 0 - (-1)/(2/4). Suppose c*x + 0 = 4. Does 9 divide 26/(-6)*x*-3?
False
Let c(g) = 4*g - 6. Let o be c(4). Let m = o - -4. Is m a multiple of 7?
True
Is 37 a factor of (-1 - 4) + 372/3?
False
Let f(y) = -y**3 + 3*y + 2. Let o be 6/2*(-4)/4. Does 13 divide f(o)?
False
Let d(o) = 97*o**3 - 2*o**2 + o. Let p be d(1). Suppose -48 = -3*c + p. Is c a multiple of 13?
False
Let s(c) = c + 1. Let x(r) = 2*r**2 + 4*r + 4. Let g(h) = -12*s(h) + 3*x(h). Is g(-1) even?
True
Suppose 5*u - 2*u + 9 = 0. Let t be u/(-9) - 287/(-3). Suppose 4*c = 4*n + 96, -4*c + 5*n = 2*n - t. Is 12 a factor of c?
True
Let r(b) = -b**2 + 5*b + 5. Let q be r(5). Suppose i + 2 = 0, 3*y - 80 = -0*y - q*i. Does 15 divide y?
True
Is 33 a factor of (-308)/21*(-9)/2?
True
Suppose -n + 3*n - 84 = -4*a, 53 = 3*a - n. Is 19 a factor of a?
True
Let k = 25 - 13. Is 4 a factor of k?
True
Let d = 6 - 4. Suppose -3*w = d*w - 140. Does 14 divide w?
True
Suppose 100 = 2*c + 3*c - b, 5*c + 4*b - 125 = 0. Let o(k) = 3*k + 1. Let z be o(4). Let h = c - z. Does 4 divide h?
True
Let u(s) = 17*s**2 + 1. Let y(d) = 2*d - 1. Let o be y(1). Let t = o - 2. Is 7 a factor of u(t)?
False
Let t(b) = -b - 5. Let j be t(-5). Suppose 1 = 2*w + 5*l, 2*w - l + 1 - 8 = j. Suppose w*v - 55 = -2*v. Is 6 a factor of v?
False
Suppose 58 = -m + 2*m. Is 29 a factor of m?
True
Let y(r) = -2*r + 1. Let c be y(-1). Suppose c*m + m - 204 = 0. Let j = -35 + m. Is j a multiple of 16?
True
Let g(h) = -h**3 - 5*h**2 - 6*h - 3. Let d be g(-4). Suppose 0*f = d*f + 95. Let p = f - -33. Is p a multiple of 5?
False
Let n(y) = -y**3 - 4*y**2 - 5*y - 1. Suppose 0*s = -3*s - 12. Does 10 divide n(s)?
False
Let n(g) = -g. Let w be n(-2). Suppose y = -w*y. Suppose 45 = 5*s - y*s. Does 5 divide s?
False
Let i(v) = v**2 + v + 10. Is i(-5) a multiple of 3?
True
Let z(h) = -46*h**3 - 3*h**2 - h + 1. Is z(-1) a multiple of 15?
True
Let v(m) = -m**2 - 7*m - 6. Let x be v(-6). Does 13 divide (x/(-1))/(-1) - -13?
True
Does 17 divide 140 - (0 - 4/(-1))?
True
Suppose -2*l = l - 6. Suppose 3*n = -2*n + 70. Suppose 12 = 5*b + 2*u - 23, 2*u + n = l*b. Does 7 divide b?
True
Let w(z) = -11*z + 5. Is w(-5) a multiple of 30?
True
Let j be 10/25 - 1494/(-15). Suppose -j = k - 5*k. Does 13 divide k?
False
Let n be 6/(-9) - 66/9. Does 4 divide (-6)/n + 25/4?
False
Let t = 52 + -36. Suppose 3*v = g + 4, v + 4*g - 18 = g. Suppose m - v*m = -t. Does 8 divide m?
True
Suppose -9 - 14 = -y. Suppose 0 = 2*w - 21 - y. Is 13 a factor of w?
False
Suppose 1 - 11 = -5*c. Suppose 0*o = -5*z - c*o + 53, -3*o = 4*z - 41. Does 9 divide 8/4 + 1 + z?
False
Let u = 68 + 32. Is u a multiple of 13?
False
Let x = -4 - -8. Let u be (0 - x)/(2/(-15)). Is 4/(-3)*u/(-4) a multiple of 5?
True
Let k(i) = 2*i**2 - 3*i - 3. Let h be (-2 - 80/(-28))*7. Does 17 divide k(h)?
True
Suppose -11 = 4*d - 95. Does 4 divide d?
False
Let x = -2 + 5. Suppose -x*i = -i + 2. Is 1 + (i - 1) + 15 a multiple of 14?
True
Let r(l) = -9*l + 1. Let g be r(-2). Let x = g - -4. Is x a multiple of 12?
False
Let h(k) = -k**3 + 10*k**2 - 9*k + 3. Let p be h(9). Suppose -44 = r - p*r. Does 11 divide r?
True
Suppose 4*c - 5*c = -5*q + 24, -c - 9 = -2*q. Let w = q - -9. Suppose 0 = -r - 0*r + w. Is 7 a factor of r?
True
Let a(w) = w**2 - 4*w + 13. Does 17 divide a(9)?
False
Is 8 a factor of (-8)/(-16)*34/1?
False
Let x = 48 + -34. Suppose -3*f + 5*m - 12 = 27, -5*m + 23 = -f. Let y = x + f. Does 4 divide y?
False
Suppose -3*z = 5*o - 585, 3*z - 3*o - 558 = o. Is z a multiple of 19?
True
Let d(o) = 36*o**2 + o. Let t(b) = 180*b**2 + 6*b. Let x(c) = 11*d(c) - 2*t(c). Does 26 divide x(1)?
False
Let y = -11 + 8. Let d(u) be the second derivative of -u**5/10 - u**4/12 + 5*u. Is d(y) a multiple of 15?
True
Let p(y) = 2*y**3 + 2*y - 1. Let b(i) = i**2 + 5*i + 1. Let l be b(-5). Let r be p(l). Suppose -2*d - r*d = -210. Is 14 a factor of d?
True
Suppose -4*s + 75 = s. Is 12 a factor of s?
False
Let q = 2 + -7. Let w = q + 12. Does 7 divide w?
True
Let z = -26 + 5. Let d(h) = -h**2 + 14*h - 9. Let g be d(6). Let y = g + z. Is y a multiple of 13?
False
Suppose l + 91 = 4*j + 30, 3*j + 2*l = 54. Does 16 divide j?
True
Suppose o - 69 = -h - 2*o, -191 = -3*h - o. Let c = -14 + h. Suppose -m = -5, -2*j - 4*m + c = -5. Does 10 divide j?
False
Suppose 2*y = j - 2*y + 3, -2*j - 2*y + 14 = 0. Suppose 0 = 2*x + v + 9, 3*x - j*v + 15 = -2*x. Is 5 a factor of (-3)/((-6)/x) + 7?
True
Suppose -l + 4 = -3*l. Let u be -2 - (l - (-3)/(-3)). Is 13 a factor of 23/u + (1 - 0)?
False
Let a = -19 - -32. Let j = a - 4. Does 12 divide (-1)/3 + 327/j?
True
Let j(y) = y**2 + 5*y - 11. Let b = -1 - 7. Does 13 divide j(b)?
True
Suppose -2*l - 3*g + 9 = 0, 0*g = -3*g + 3. Suppose l*c - 4*c - 67 = 0. Let k = -48 - c. Does 11 divide k?
False
Let d(b) = b**2 - 10*b - 6. Let l be d(11). Suppose 0 = l*t - 115 - 55. Is 15 a factor of t?
False
Let r(q) = q**3 - 8*q**2 + 9*q + 9. Let y be r(7). Is 11 a factor of y - (-2 - (-2)/2)?
False
Suppose 4*y - 4 = -z, 3*z + 2 = 3*y + 14. Let r be ((-334)/(-2))/(2 - 1). Suppose -z*d - 5*p = 5 - r, -3*p = 6. Does 18 divide d?
False
Let m(u) = -23*u**3 - 2*u**2 - u. Does 5 divide m(-1)?
False
Let n(w) = 2*w**2 - 8*w - 8. Suppose 0 = 2*v + u - 16, 23 + 5 = 2*v - 5*u. Let y be n(v). Let f = y - 56. Is f a multiple of 13?
True
Is -2*56/((-8)/4) a multiple of 15?
False
Let v = -69 - -103. Suppose 147 = -v*m + 37*m. Is m a multiple of 22?
False
Let s = -262 - -498. Is 15 a factor of s?
False
Suppose -3*q + 6 = -u + 15, 2*u + 3*q = -9. Is u - 2 - (-20 + 2) a multiple of 16?
True
Let o(x) = -x + 15. Let n be o(0). Suppose 5*y - 3*h = 79 - 14, -3*h - n = 0. Is y a multiple of 9?
False
Is 12 a factor of ((-8)/3)/(2/(-21))?
False
Does 9 divide (-3 - (-54)/15)*(1 - -344)?
True
Let l(m) = -12*m - 3. Let k be l(-2). Let c be -2 + 7/(k/18). Does 15 divide 182/c + 6/(-12)?
True
Suppose 2*s = -0*s + 14. Is s a multiple of 7?
True
Is 8 a factor of 1/(-8) + 5940/160?
False
Suppose -4*l + 3*a + 17 = 0, -l = a + 2*a + 7. Let n(o) be the first derivative of o**4 - o**3 + o**2 + o - 1. Is n(l) a multiple of 15?
False
Suppose 2*a = -0*a + 16. Let v(z) = 4*z - 4. Is 21 a factor of v(a)?
False
Suppose 4*s - h + 0*h = -3, -4*h = -4*s. Does 8 divide (-16 + -3)/s + -3?
True
Suppose -5*i = -0*i + 5. Let x(q) = -37*q**3 + 5*q - q + 1 - 2*q. Is 12 a factor of x(i)?
True
Suppose 0 = p + p + 5*j - 11, 3*p + 15 = 3*j. Let i = p - -9. Is 5 a factor of i?
False
Let v(j) = j**2 - 10*j + 12. Let h be v(8). Does 4 divide (-22)/(8/h) + -3?
True
Let d(y) = -22*y + 7. Suppose -4*l - 9 = 15. Let z be d(l). Suppose 3*q + 13 = z. Does 21 divide q?
True
Suppose 0 = 4*a - 4, -4*g - a + 37 = -4*a. Does 10 divide g?
True
Suppose 8 = 2*l - 0. Suppose 4 = j, l*m + j - 132 = 4*j. Does 12 divide m?
True
Let o be (-2)/(-5)*(-3 + 8). Suppose -2*g = 3*n + 18, 2*n = -o*g - 7 - 7. Is 10 a factor of (3/12)/(n/(-176))?
False
Let v = 10 - -5. Is v a multiple of 5?
True
Let p(i) = -4*i**3 + 10*i**2 - 7*i - 9. Let n(o) = -5*o**3 + 11*o**2 - 7*o - 10. Let c(l) = 3*n(l) - 4*p(l). Does 6 divide c(6)?
True
Let v = -21 + 30. Let f = v + 4. Is f a multiple of 6?
False
Suppose -l - j = 5, -4*l + 13 = 5*j + 38. Suppose -2*u + 42 - 14 = l. Does 14 divide u?
True
Suppose -2*s = 4*g - 20, -53 = -s - 3*s + 5*g. Suppose -4*r + 0 = -s. Suppose p = i + 12, -p + 23