
Let l = 5 + 17. Let q = 34 - l. Is q a multiple of 6?
True
Let l(d) = 4*d**2 + 2. Let u be l(-2). Suppose u = -0*q - 3*q. Is 2/q - (-38)/6 a multiple of 3?
True
Let h = 3 + 0. Suppose -40 = -5*w - u, 0 = -h*w - 4*u + 2*u + 17. Is w a multiple of 2?
False
Suppose -4*o = -3*o + 2*f - 22, 0 = -5*o + 4*f + 40. Does 9 divide o?
False
Let g be (-35 - (2 + -1)) + 2. Let w = g + 7. Does 16 divide w/(-1)*8/12?
False
Suppose 3*f + 6 = -12. Let o be 3/(f/4)*1. Let q = 21 + o. Is 15 a factor of q?
False
Suppose -1 - 11 = -4*x. Let h be 61 - (2 - -2 - x). Suppose -m + 21 = -0*m - 4*t, 0 = -2*m + 2*t + h. Is 11 a factor of m?
True
Suppose k = -2*k + 4*s + 173, -178 = -3*k + 5*s. Is k a multiple of 13?
False
Let k = 19 + 6. Let c = -12 + k. Is c a multiple of 6?
False
Is (3 - 121)*(-4)/8 a multiple of 15?
False
Suppose -92 = -3*i - 17. Does 8 divide i?
False
Is 13/52 + (-1390)/8*-1 a multiple of 22?
False
Let z(h) = -h**2 - 5*h - 2. Let j be z(-2). Suppose 0*b - b - 3*i = -14, i = -j*b + 78. Is 6 a factor of b?
False
Suppose 2*c - 8 = -2*c. Let b(d) = 3*d**2 + 2. Does 7 divide b(c)?
True
Suppose -5*s = 27 + 33. Is 120/s*(-8)/5 a multiple of 3?
False
Suppose -1 = -2*f - 3*t + 117, 4*t = -16. Is f a multiple of 5?
True
Let i(y) = -y + 6. Let q(k) = 3*k - 25. Let m(j) = -9*i(j) - 2*q(j). Let a be m(4). Suppose -2*n - 3*n - a = -3*b, -3*b = 3*n - 48. Is 7 a factor of b?
False
Suppose x = 2*h - 11, 3*h - 39 = 5*x - 12. Is h even?
True
Let f be -2 + (1 - -122)*-3. Is 1/6 - f/6 a multiple of 31?
True
Let i(v) be the third derivative of v**5/60 - v**4/12 - 4*v**2. Let n(m) = m**3 + 8*m**2 + 8*m + 3. Let x be n(-7). Is 20 a factor of i(x)?
False
Let h be 4*-4*1 - 0. Let r = 110 - 72. Let p = h + r. Is p a multiple of 22?
True
Let c(z) = z + 55. Is 31 a factor of c(0)?
False
Let u(t) = 3*t**3 - 8*t**2 - 4*t + 6. Let q(p) = -13*p**3 + 33*p**2 + 15*p - 23. Let f(l) = 2*q(l) + 9*u(l). Is f(7) a multiple of 15?
True
Let c(f) = -2*f + 1. Let g be c(-1). Suppose 6 = 3*t, 0 = -0*n + n - g*t. Suppose -4*r = 3*w - 2, -r + 1 = -2*w - n*r. Is 2 a factor of w?
True
Suppose 10*z = 5*x + 14*z - 245, 0 = -z. Does 7 divide x?
True
Suppose 2 = -c - 2. Let j(t) = -3*t + 4. Is j(c) a multiple of 8?
True
Let v = -133 - -200. Is 10 a factor of v?
False
Suppose 0 = 4*i - 2*t - 232, t + 59 = i - 0*i. Does 14 divide 1/(-2) - i/(-2)?
True
Suppose -2*n - 12 = -d + 1, -5*d - 2*n + 29 = 0. Let u = d + -4. Suppose u*x + 5 = 3*c - 49, 2*c - 4*x - 38 = 0. Is c a multiple of 13?
False
Suppose 0 = -4*o - 5*h + 156, 5*o - 4*h - 195 = -0*h. Is 13 a factor of o?
True
Let w(z) = -z**3 - 7*z**2 + 6*z - 10. Does 2 divide w(-8)?
True
Suppose 0 = -f - 4 - 0. Is 17 a factor of 6/f*196/(-6)?
False
Suppose 0 = l - 4 + 1. Let z(a) = -5*a**2 - 4*a**3 - a**l + 4*a**3 + 5 - a. Is z(-5) a multiple of 10?
True
Let w = 13 + 2. Suppose -2*z - w = -5*z. Suppose -5*u = 2*g - 3*g + 9, -2*g - z*u + 33 = 0. Is g a multiple of 11?
False
Let a(q) = -q**2 - 7*q + 9. Suppose -3*k = 3*i + 24, -5*i - 2*k - 2*k - 39 = 0. Does 3 divide a(i)?
True
Let p = 7 + -7. Does 6 divide 7/((-21)/(-54)) - p?
True
Suppose 0*o = -4*h - 4*o - 4, -6 = 2*o. Suppose -15 = h*z - 5*z. Suppose z*c + 71 = 186. Is 10 a factor of c?
False
Suppose 5*q + 452 = -2*d - 138, -d - 355 = 3*q. Let l = 177 + q. Let x = 88 - l. Is 20 a factor of x?
False
Suppose -9 = -b + 9. Does 5 divide b?
False
Let t be 10/4 - (-1)/2. Suppose r = t + 4. Is r a multiple of 4?
False
Let u = -232 - -582. Suppose -2*a + u = 3*p - 444, -3*a = -3*p + 774. Is 11 a factor of p/6 + (-12)/18?
False
Let g = 15 + -13. Let y = g + 7. Does 9 divide y?
True
Let c(d) = d**2 + 6*d + 7. Let f be c(-5). Suppose -2*x + 12 = -f*g, 5*x - 3 = -2*g + 6. Is 18 a factor of x + 3/(-1) + 36?
True
Let p(d) = 3*d**2 - 4*d + 6. Is 7 a factor of p(-4)?
True
Suppose -3*d + 365 = -7. Is d a multiple of 14?
False
Let f(w) = -24*w**2 - 1. Let h be f(-1). Let b = h + 35. Does 7 divide b?
False
Let k = 0 + 4. Suppose -4*v - k = -y - 0, 0 = -v. Let f = 9 - y. Is 2 a factor of f?
False
Let g(z) be the first derivative of z**3/3 + z**2/2 + 3*z + 1. Is 15 a factor of g(4)?
False
Let t(i) = -i**3 + i**2 - i - 1. Let v be t(2). Let z = 10 + v. Is z a multiple of 3?
True
Let x(s) = s**3 - 8*s**2 + 3*s - 10. Let r = 18 + -10. Does 14 divide x(r)?
True
Let i(q) = -3*q + 13. Does 10 divide i(-6)?
False
Let l(f) = 3*f + 2 + 0 - 2*f. Is 3 a factor of l(2)?
False
Let i(k) = 5*k. Let q be i(1). Let g be 33/(q - 2) - -2. Is 6 a factor of -1 - 1 - (0 - g)?
False
Let g(j) be the second derivative of 7*j**4/3 - j**3/3 - j**2/2 - 4*j. Is 10 a factor of g(-1)?
False
Let w(k) = k**2 + 6*k + 3. Let x be w(-6). Suppose 47 = z - 4*d + 17, -z + x*d = -29. Does 13 divide z?
True
Suppose -2*m + 7*m = -2*a - 32, a = 4. Let z = 4 - m. Does 12 divide z?
True
Let g(q) = -q**2 - 7*q - 5. Let i be g(-5). Suppose -i*n + 15 = -5. Suppose s = n*c + 48, 2*s + 2*c - 228 = -2*s. Is s a multiple of 27?
False
Let u(o) = -7*o**2 - o. Let g be u(2). Is 9 a factor of g/(-8)*(-4 + 12)?
False
Does 11 divide ((-16)/(-12))/(5/(1140/8))?
False
Suppose -2*a + 214 = -134. Is 58 a factor of a?
True
Suppose -4*y + 163 = -117. Suppose -3*c + y = 19. Is 6 a factor of c?
False
Let z(g) = g**3 + 4*g**2 + 3*g + 2. Let t be z(-3). Suppose -d + 5 = t. Suppose 4*q = a - 6*a + 201, -5*q + 279 = -d*a. Is 14 a factor of q?
False
Let f(j) = 4*j**2 - 1. Let b be f(-1). Suppose 6*c - 272 = b*c - z, 5*c + z = 456. Suppose k - 5*k + v + c = 0, 5*k + v - 106 = 0. Is 11 a factor of k?
True
Suppose 3*y = 8*y - 2*n + 92, n = -4. Let w = 19 - y. Is w a multiple of 13?
True
Let x(q) = -q + 7. Let j be x(4). Is 28 a factor of ((-14)/8)/(j/(-48))?
True
Let g(k) = 2*k + 10. Is g(16) a multiple of 7?
True
Let r be 12/(-9)*(-3)/2. Suppose 0*a + 20 = r*a. Is 6 a factor of a?
False
Let h(p) = -p**3 + 7*p**2 - p + 3. Let l be h(8). Is 7 a factor of -3*l/9 - 2?
True
Suppose -11*i = -14*i + 90. Does 28 divide i?
False
Let z(p) = p**2 + 2*p + 7. Let s(i) = -i - 1. Suppose -5 + 1 = -l. Let u(a) = l*s(a) + z(a). Does 7 divide u(-3)?
False
Let y(p) = p**2 - 6*p - 4. Let g be y(7). Let w = 13 + g. Does 10 divide w?
False
Let r = -146 + 277. Suppose 3*j - z = 87, -5*j = -0*j + 3*z - r. Is j a multiple of 7?
True
Suppose 0 = 4*b + 1 - 121. Does 15 divide b?
True
Suppose 0 = 4*q + 4*o - 232, 3*o + 78 = q - 0*q. Is q a multiple of 20?
False
Let k be (-2)/(-3)*(2 + 7). Let r(b) = 4*b - 3 - 7*b**2 + b**3 + 4*b - b + 6. Is r(k) a multiple of 4?
False
Is -1 - (0 + -5 + 3 + -11) a multiple of 4?
True
Suppose 0 = -2*x - 2*x + 140. Is -4 + 3 - -1*x a multiple of 12?
False
Let f(z) = -280*z**3 - z. Let j be f(-1). Let t = -191 + j. Suppose -2*y + 0*b + t = -2*b, -175 = -4*y + 5*b. Does 19 divide y?
False
Let i = 42 - -8. Suppose -38 = -4*h + i. Suppose r - 1 = 4*o + h, o + 39 = 2*r. Is r a multiple of 13?
False
Let b(y) be the second derivative of y**5/20 - 2*y**4/3 + 2*y**3/3 + 2*y**2 + y. Let m = 7 + 1. Is b(m) a multiple of 12?
True
Let r(o) = o**2 - 3*o - 3. Let m be r(4). Is 7*-3*m/(-1) a multiple of 7?
True
Let t(a) = a**3 + 6*a**2 + 7*a + 5. Let l be t(-4). Let u be 0 + (-1 + -12 - -1). Is (l/u)/(2/(-96)) a multiple of 18?
True
Suppose 3*i + 112 = 4*i. Suppose 2*x - 6*x = -i. Suppose 5*d = 4*d + x. Is 14 a factor of d?
True
Let n(z) = 4*z + 2. Let q be n(-2). Is 14 a factor of (-206)/q - 3/9?
False
Let w = 118 + 90. Is 8 a factor of w?
True
Let l(s) = -s**2 + 7*s. Let w be l(9). Let b = -6 - w. Is b a multiple of 12?
True
Let n(t) = -5 - 7*t - 6*t + t. Is 15 a factor of n(-4)?
False
Let d(m) = 29*m**3 + 9*m - 1 - 9*m. Does 14 divide d(1)?
True
Suppose -5*y = m - 0*y - 28, 0 = -5*m - y + 140. Is m a multiple of 14?
True
Let n(x) = x**3 - 6*x**2 - 6*x - 9. Is 21 a factor of n(8)?
False
Let p(v) = 8*v + 15 - 15. Is 26 a factor of p(4)?
False
Let c(t) = -t**3 + 5*t**2 + 2. Let n be ((-24)/(-15))/(2/5). Is c(n) a multiple of 7?
False
Let s = -144 - -214. Does 25 divide s?
False
Suppose -5*x + 6*x + 4 = 0. Let w(u) = u - 4. Let o be w(6). Does 15 divide o*((-50)/x - -3)?
False
Suppose 0 = 3*d + 4*j - j - 21, 0 = -3*d + j + 9. Suppose 4*k - d = 5*u + 12, 16 = 4*k - 2*u. Suppose -m + 68 = k*v - 20, -v = -2*m - 22. Is v a multiple of 15?
False
Let l = -2 - -5. Suppose -3*a + 3*z = -21, -2*z = l*a - z - 9. Suppos