o - 13 - j = 0. Does 6 divide (-6)/o - (-13)/2?
True
Let x = -15 + 17. Let y = 62 - 24. Let u = x + y. Is u a multiple of 20?
True
Let t(o) = -2*o - 7. Suppose 2*u - 3 = 2*b - 7*b, -2*u = -4*b + 24. Let j be t(u). Suppose 2*l = h - 50, -105 = -2*h - 0*h + j*l. Is h a multiple of 20?
True
Let n be ((-928)/(-6))/(-4)*3. Let z = -83 - n. Does 11 divide z?
True
Let f(d) = -d**3 - 4*d**2 + 8*d + 5. Is 11 a factor of f(-7)?
False
Suppose -v - 2*h - 2 = 2*v, 4*h = -3*v - 10. Suppose 2*m + 28 = 2*j, -v*j + j - 3*m + 30 = 0. Is j a multiple of 18?
True
Let b = -5 - -2. Let v = 11 - b. Does 7 divide v?
True
Suppose 0 = 2*t - 3*s - 12, 5*t + 9 = -s + 22. Let i = t - 1. Does 2 divide i?
True
Suppose 5*w + 36 = -44. Let u = -10 - w. Is 6 a factor of u?
True
Suppose 218 = 5*i + f, -f = i + f - 40. Does 11 divide i?
True
Let x(t) = -t**3 + 3*t**2 + 2*t - 4. Let b be x(4). Let f = -8 - b. Suppose 2*q = -f*j - 2*q + 8, j = -3*q - 2. Is j a multiple of 4?
True
Let f(r) = 2*r**3 - 4*r**2 - 8*r + 15. Does 5 divide f(4)?
False
Let j = -6 + 8. Let b(s) = s**3 + 7*s**j + 6*s + 0*s**3 - 2*s**3 + 6. Is b(7) a multiple of 16?
True
Let o(q) = -17*q**3 - 2*q**2 - 4. Is o(-2) a multiple of 31?
True
Suppose -3*f = -f + 8. Let q = f + 50. Is 23 a factor of q?
True
Does 9 divide 0 + (-454)/(-10) - 78/195?
True
Suppose 3*t - 6 = 2*t. Suppose m - 18 = -t. Let a = m - 4. Does 3 divide a?
False
Let g(d) = 6*d - 1. Is g(7) a multiple of 8?
False
Suppose 0 = 3*b + l - 58, -b + 38 = 2*b + 5*l. Suppose 26*s - 25*s = b. Is s a multiple of 7?
True
Let v(g) = g**3 - 3*g**2 - 4*g + 3. Let i be v(4). Suppose 0 = w - i*x - 28, -x + 36 = 3*w + 2*x. Is 7 a factor of w?
False
Let q = -45 - 23. Let y be (-12)/4 - q/2. Suppose -3*d + y = 5*v, 2*d = 4*d + 6. Does 3 divide v?
False
Let l(f) = 4*f**2 - 9*f - 12. Let b(o) = -o**2 + 2*o + 3. Let y(p) = -9*b(p) - 2*l(p). Is 3 a factor of y(-3)?
True
Let s(z) = -z**2 + 5*z + 1. Suppose 17 = 4*k - 3. Let y be s(k). Let m = 7 - y. Does 6 divide m?
True
Is 113/3 + 16/12 a multiple of 13?
True
Suppose 2 = s - 0*s. Let c(j) = -2*j**2 + 7*j + 6. Let z(k) = k**2 - 3*k - 3. Let x(h) = 6*c(h) + 13*z(h). Does 2 divide x(s)?
False
Let m = 5 - -1. Suppose -t + m = 3. Suppose -3*a = -3*g + 15 - t, -6 = -2*a. Is 5 a factor of g?
False
Suppose -q = 3, b + b - q - 15 = 0. Let t(j) = -j**3 + 7*j**2 + 2*j - 2. Is 17 a factor of t(b)?
False
Suppose -3*b - 471 = -4*o, 2*o + 82 = 4*b + 310. Does 15 divide o?
True
Suppose 0*z - 4*z = -2*i + 8, -2*z + 6 = 4*i. Suppose -v + 10 = j - 9, i*j - 14 = -v. Is v a multiple of 9?
False
Let i = 693 + -279. Is 36 a factor of i?
False
Let v(m) = m**2 - 8*m + 4. Is v(-7) a multiple of 11?
False
Is (-34)/(-9) - 4/(-18) a multiple of 4?
True
Let a = 33 + -9. Suppose -2*p = -0*p + a. Is 64/p*27/(-4) a multiple of 18?
True
Let j = 9 + -9. Suppose j = -2*p + p + 76. Let x = -31 + p. Is x a multiple of 19?
False
Is (-2 + (-20)/(-12))*-189 a multiple of 21?
True
Suppose -5*o + 3 = -6*o. Is 16 a factor of 16 + 1 + o/3?
True
Let b = -44 + 95. Suppose 2*t = 6*t - v - b, 5*t = -4*v + 69. Is t a multiple of 7?
False
Let m(j) = 9*j**2 + j - 4. Is m(3) a multiple of 16?
True
Does 13 divide 6/(((-22)/12)/(-11))?
False
Let t(v) = v**3 + 8*v**2 + 7*v + 2. Let r be t(-7). Suppose -r*x = -7*x - 45. Is 1196/36 + 2/x a multiple of 11?
True
Does 14 divide (-3)/(30/20) - (-1 + -127)?
True
Suppose 4*f + 3*k + 8 = 8*f, -4*f + k = -16. Let l(b) = -b**3 - 6*b**2 + 13*b + 4. Let m(p) = p + 1. Let w(s) = f*m(s) - l(s). Is w(-7) a multiple of 3?
False
Suppose -3*r + 56 = r. Is (-82)/(-7) - (-4)/r a multiple of 6?
True
Suppose 4*l + 160 - 396 = 0. Is l even?
False
Let c(k) = -5*k**2 - 6*k - 6. Let o(h) = -4*h**2 - 6*h - 5. Let b(x) = -5*c(x) + 6*o(x). Suppose 0*n - 3*n + 21 = 0. Does 7 divide b(n)?
True
Let w = 5 + -5. Does 8 divide 24*(-6)/(-9) - w?
True
Suppose -3*r + 9 = -15. Let v = r - 5. Suppose v*h - 2*h = 21. Is h a multiple of 7?
True
Let x = 22 + 4. Is x a multiple of 13?
True
Suppose 2*g = g - 7. Let f = 3 - g. Does 5 divide f?
True
Let o = 2 + 2. Suppose 4*g + 12 = o*h, 2*h = 3*g + 2 + 4. Suppose p + 2*w = -0*p + 8, p - 3*w - 8 = g. Is p a multiple of 5?
False
Let o be (-15)/(-6)*(-16)/(-10). Suppose 0 = o*d - 103 + 15. Does 17 divide d?
False
Suppose -5*y + 5 = -5, -5*g + 476 = -2*y. Suppose 5*l = r + 106 + g, 199 = 5*l - 2*r. Is 22 a factor of l?
False
Let d(r) = 2*r**2 - 4*r + 11. Suppose 2*b - 30 = -b. Let n be d(b). Suppose -2*x + 82 = 3*m - 89, -3*m + n = 5*x. Is m a multiple of 15?
False
Let w = -2 + 5. Suppose -2 - 2 = -x, w*v = -3*x + 18. Let m(f) = 5*f - 2. Does 8 divide m(v)?
True
Suppose 0 = 2*m + 18 - 86. Suppose -27 = -k + m. Suppose 3 = x, -18 = 2*r - 3*x - k. Is r a multiple of 20?
False
Let o(l) = l**3 - 10*l**2 + 13*l - 8. Is o(9) a multiple of 14?
True
Let j(k) = -3*k + 2 - 7*k + 0*k. Is j(-2) a multiple of 11?
True
Suppose r = 2*p + 3, -r + 1 = -p - 2. Suppose -6 = -g - 2. Suppose -2 = -t - 2*f, g*t + 2*f - f - 22 = p. Is 3 a factor of t?
True
Suppose 15 = 3*w - 0. Does 17 divide w*-12*(-4)/6?
False
Let h = 131 + 3. Suppose 5*x + 3*m = h, 0 = -x - 3*m + 15 + 19. Suppose x = -2*y + 101. Is 19 a factor of y?
True
Let x be ((-14)/(-8))/(4/(-16)). Let l(v) = v**2 + 6*v + 9. Is l(x) a multiple of 15?
False
Let s(c) = -c**2 - 2*c + 19. Is 2 a factor of s(-5)?
True
Let m = 29 - -5. Is 34 a factor of m?
True
Let y(j) = 2*j**2 - 2*j - 1. Is y(4) a multiple of 12?
False
Suppose 2*o - 28 = -a, -5*o = -0*o - 5. Does 4 divide a?
False
Let j(c) = c**2 - c + 4. Let b(p) be the third derivative of -p**4/24 - 7*p**3/3 - p**2. Let a be b(-10). Is 11 a factor of j(a)?
False
Let j(z) = 2*z**3 + 19*z**2 - 2*z - 19. Let m(p) = p**3 + 9*p**2 - p - 9. Let q(f) = -2*j(f) + 5*m(f). Suppose -18 = 4*d + 6. Is q(d) a multiple of 17?
False
Let a(w) = -w**2 + 8*w + 7. Let k(v) = 2*v - 5. Let g be k(7). Let c be a(g). Is 15/3 + (-1 - c) a multiple of 3?
True
Let r(w) be the second derivative of -w**5/20 - w**4/2 - w**3 + 2*w**2 - 4*w. Is 9 a factor of r(-5)?
True
Suppose 3*m = 8*m - 140. Suppose -2*z + m = -4*h, -2*h + 9 = 3*z + 3*h. Is 8 a factor of z?
True
Let s = -64 + 120. Does 14 divide s?
True
Let d(r) = -r**3 + 8*r**2 + 2*r + 7. Is d(8) a multiple of 15?
False
Let j = -51 - -93. Let g = j + -10. Is 16 a factor of g?
True
Suppose -4*q + 161 = -31. Does 16 divide q?
True
Let c(w) be the third derivative of -w**5/60 - w**4/4 + w**3/2 - 4*w**2. Let i be c(-7). Is (i/6)/(10/(-285)) a multiple of 6?
False
Let x be 6*1*(-3)/(-6). Does 19 divide 76 - ((1 - 6) + x)?
False
Suppose -89 = -4*r + 3. Is 2/(3 - 1) + r a multiple of 13?
False
Let f be (1 + 0)/(2/10). Suppose -f*q = -30 - 10. Is 4 a factor of q?
True
Let z(g) = -5*g + g**2 - 4 - 1 - 5. Let q be (1 - 10)/3 - -12. Is z(q) a multiple of 12?
False
Let o be (-1)/(-2)*-4 + 8. Suppose -x + o*x + 2*r = -19, 4*r = 2*x - 2. Is 9 a factor of (-22)/(6/x) + 1?
False
Let n(g) = 3*g**2 + g + 1. Let s be n(-1). Let d be ((0 - s) + 4)*40. Let m = d - 23. Does 17 divide m?
True
Let p(x) = -x**3 - 6*x**2 - 4*x - 1. Is 22 a factor of p(-7)?
False
Let l = 6 + -4. Suppose 1 + l = -3*x. Let n = x - -16. Is 6 a factor of n?
False
Suppose -2*u - 60 = -6*u. Suppose -2*j - 4*d + u = 3, 3*j = -3*d + 15. Suppose 4*p - j*c - 36 = 0, -2*c = 5*p - 0*c - 73. Is p a multiple of 8?
False
Let d(l) = -3*l**3 - 7*l**2 - 2*l - 9. Let i = 2 + -1. Let n(a) = a**3 + a**2 + 1. Let r(p) = i*d(p) + 4*n(p). Does 14 divide r(5)?
False
Let p = 111 - 60. Is 17 a factor of p?
True
Let l(o) = 17*o**2 + 2*o + 5. Let z be l(-5). Suppose -4*y = y - z. Does 14 divide y?
True
Suppose -5*z + 317 = 3*m, z + 0*m = -4*m + 60. Is 16 a factor of z?
True
Let j be (3 + -1)*(-4)/(-8). Is 5 + 2 - (-4 + j) a multiple of 10?
True
Let m = 4 - -204. Is 44 a factor of m?
False
Suppose -3*d = -4*z + 2*d + 79, 0 = -3*z - 5*d + 33. Is z a multiple of 6?
False
Let k(t) = -t**3 - t**2 + 4*t + 3. Let g be k(-3). Suppose 0 = -i - 0*i. Suppose -d + i = -g. Does 9 divide d?
True
Suppose 1 = -h + 61. Is 15 a factor of h?
True
Let s = -73 - -108. Is 35 a factor of s?
True
Suppose 0 = -3*c - 12, -a - 31 = -4*a + c. Suppose w = 5*q + a, -2*w - w + 5*q + 47 = 0. Is w a multiple of 10?
False
Let y(p) = p**3 - 2*p**2 - 3*p - 2. Let d be y(3). Is 12 a factor of 41 + -5 + 0/d?
True
Let n = -