4*z + 146 = j, -116 = 2*j - 2*z. Let y = j + 89. Is 7 a factor of y?
True
Let b(k) = 3*k - 1. Is 7 a factor of b(17)?
False
Let f = 7 - 17. Suppose 1 - 15 = -2*a. Let d = a - f. Is d a multiple of 8?
False
Suppose 2*i + a = 2, i + 3*i - 3*a - 24 = 0. Let w be (i - 4)/(1/(-4)). Suppose 0 = -3*o - 5*x + 26 + 72, w*o + 3*x = 116. Is 12 a factor of o?
False
Suppose -f + 11 = -1. Let d = 5 + f. Does 17 divide d?
True
Suppose h = -3*s + 282, 0*s + s = -2*h + 539. Is h a multiple of 34?
False
Let m be 4/(-16) - (-433)/4. Suppose -m = 2*j - 6*j. Is 14 a factor of j?
False
Suppose -5*z = 136 - 431. Does 12 divide z?
False
Suppose 3*p - 138 = -30. Does 12 divide p?
True
Suppose -2*a = 3*a + 30. Let v(m) = m - 6. Let g be v(a). Is 9 a factor of g/(1*(-2)/5)?
False
Does 7 divide -12*(52/(-8) - -4)?
False
Suppose l - 127 = -5*q - 15, -2*l = -2*q + 40. Is 3 a factor of q?
False
Let n = 19 + -29. Let v = n + 15. Does 5 divide v?
True
Suppose -3*k + 400 = k. Suppose -2*n + 84 = -0*n. Suppose k = 5*a + 5*j, 5*j + 38 = 4*a - n. Is 13 a factor of a?
False
Let v = -20 - -38. Is v a multiple of 3?
True
Let j(x) = -x + 8. Let t = -4 + 33. Suppose 2*v = -3*n - t, -n - 1 = -5*v + 3. Is 9 a factor of j(n)?
False
Let h(j) = -2*j**2 - 11*j - 9. Let d be h(-7). Let w = 42 + d. Is 8 a factor of w?
False
Suppose 5*p - 5*f + 0*f = 340, 3*p - 194 = f. Does 21 divide p?
True
Suppose p + 5*y - 9 = -3*p, 0 = -p + 3*y - 2. Suppose -t + p = -3. Does 4 divide t?
True
Let h = -28 - -76. Let g = -18 + h. Does 10 divide g?
True
Suppose 4*o + 4*t - 77 = 3*t, -21 = -2*o + 3*t. Does 16 divide o?
False
Let d(x) = -2*x + 4. Let a be d(0). Suppose -5*j - a*y - 88 + 306 = 0, -4*j - y + 181 = 0. Is 23 a factor of j?
True
Suppose -2*m - 5 = 11. Let q = -5 - m. Is 9 a factor of 74/q + (-2)/(-6)?
False
Let r(s) = -s**2 - 12*s. Let c(b) = b**2 - 6*b - 4. Let p be c(7). Suppose p*g = -4*z - 33, 0*z + 36 = -4*z - 4*g. Does 12 divide r(z)?
True
Let v(l) = -3*l + 3. Let s be v(-4). Let r be (-1)/(-3) + (-65)/s. Is (-1 + -1)*46/r a multiple of 15?
False
Suppose 4*n - 5*q = 8*n - 25, 5*q - 25 = -n. Let t = 0 - n. Suppose t*j = -3*j + 24. Does 8 divide j?
True
Let h be ((-7)/4)/(2/16). Does 16 divide (-6)/(-4) + (-609)/h?
False
Let w = 17 - 17. Suppose -3*r - 5*g + 112 = w, 7*r + 3*g - 160 = 2*r. Does 6 divide r?
False
Suppose 2*n - n = -2*u + 14, -57 = -5*n + 3*u. Does 10 divide n?
False
Suppose 3*m + 60 = 5*m. Does 6 divide m?
True
Suppose 2*y = 19 - 5. Let i(k) = 7*k + 11. Does 19 divide i(y)?
False
Let w(c) = -c**3 + 8*c**2 - 6*c - 5. Let f be w(7). Does 26 divide 0 + -1 + f - -65?
False
Let g(f) = -14*f - 2. Does 18 divide g(-4)?
True
Let o = -2 + -6. Is o/3*66/(-8) a multiple of 8?
False
Let b = -1 - -4. Suppose -t + b*t = 18. Is t a multiple of 4?
False
Let t be (4/6)/(2/(-6)). Is 10/((-3)/12*t) a multiple of 7?
False
Let k(t) be the third derivative of -t**7/630 - t**6/240 - t**5/20 + 2*t**2. Let u(c) be the third derivative of k(c). Is u(-2) a multiple of 13?
True
Suppose l = -2 + 4. Suppose -4*w + 5*x = -0*w, 0 = l*w + 5*x. Suppose 12 + w = 4*q. Does 2 divide q?
False
Let r = 220 + -93. Does 9 divide r?
False
Let b(v) be the first derivative of v**4/2 - 4*v**3/3 + v**2 - 3*v - 5. Is 9 a factor of b(3)?
False
Does 13 divide 1287/(-44)*(-24)/9?
True
Let b(k) = k**3 - 9*k**2 + k - 5. Let d be b(9). Suppose d*l = 5*n + 89, -5*n = l + l - 7. Suppose -76 = -4*x + l. Does 14 divide x?
False
Does 19 divide (19/3)/((-27)/(-1620))?
True
Let h be (-3)/3 + 2 - -2. Suppose -9 = -k - h. Let g = 5 + k. Does 11 divide g?
True
Suppose -5*l + 30 = -2*g, 3*g + 7 = -0*l - 2*l. Suppose 3*f - h = -3*h + 4, 2*f + h = l. Is f a multiple of 2?
True
Let p be 1/4 + 13/(-52). Let u(w) be the first derivative of w**4/4 + w**3/3 - w**2/2 + 8*w - 1. Does 8 divide u(p)?
True
Let k(b) = -b**3 - 7*b**2 + 2*b - 8. Does 23 divide k(-8)?
False
Suppose 4*g = -z + 13, -2*z - 5*g - 4 = -3*z. Let q be (-2)/z + (-137)/(-9). Suppose 0*b - q = -2*m + b, -5*b - 20 = m. Is m a multiple of 2?
False
Let x(k) = 8*k - 3. Suppose 4*b + 5*w - 4 = 32, 0 = b - 5*w + 16. Is 10 a factor of x(b)?
False
Let v = 4 + -3. Suppose u = v + 26. Is 12 a factor of u?
False
Let a = -4 + 49. Is 15 a factor of a?
True
Suppose 5*f + c = 36, c + 0*c = 5*f - 34. Suppose 2 = 2*g - 2*l, -3*g + f = -2*l + l. Suppose 5*t = z - 27, -3*z + 42 = -g*t + t. Is z a multiple of 12?
True
Let x(r) = -76*r**3. Is 6 a factor of x(-1)?
False
Let g be ((-28)/(-2))/((-3)/(-3)). Suppose 4*b = 4*w - g - 26, 2*w = -3*b + 30. Does 6 divide w?
True
Suppose -2*m - 5*p + 45 = 0, m - 5 = 3*p + 34. Does 6 divide m?
True
Suppose -5*z + 3 = -22. Let x be -12*(-5)/(40/18). Suppose -3*g - p + z = 0, -3*g = 2*g - 3*p - x. Does 3 divide g?
True
Suppose 0 = 17*w + 2558 - 7556. Is w a multiple of 18?
False
Let d = -33 - -57. Is d a multiple of 6?
True
Suppose -4*q + 236 = -0*q. Is q a multiple of 21?
False
Let y(d) = 15*d - 12. Is y(8) a multiple of 8?
False
Let q(z) = 16*z**3 - 4*z**2 - z - 1. Let u be q(3). Does 6 divide u/22 - 2/(-11)?
True
Suppose 0 = -6*j + 586 - 40. Is j a multiple of 20?
False
Suppose 4*l + 2*u - 5 = 11, -26 = -5*l - 4*u. Suppose 3 = -l*r + 7. Suppose -r*q + 8 = -36. Does 12 divide q?
False
Suppose -2*p + 3*p = 90. Suppose -c - p = -6*c. Does 11 divide c?
False
Let t(i) be the first derivative of -1/4*i**4 + 5/3*i**3 - 2*i**2 - 2 + 2*i. Does 8 divide t(3)?
True
Let h = -1 - -55. Does 18 divide h?
True
Is (220/(-30))/(4/(-6)) a multiple of 8?
False
Let l(t) = 7*t**2 + 3*t + 1. Is l(3) a multiple of 15?
False
Let u = -26 + 58. Is u a multiple of 9?
False
Let u(j) = j + 5. Let o be u(-5). Suppose 0 = 3*w - o + 6. Let z(y) = y**3 + 4*y**2 + 2. Is 10 a factor of z(w)?
True
Let x(d) = -4*d**2 + 12*d + 8. Let l(v) = -3*v**2 + 12*v + 9. Let t(w) = 3*l(w) - 2*x(w). Is t(11) a multiple of 7?
False
Suppose -5*n - 31 = 3*j, -4*n - 6 - 12 = -j. Is 11 a factor of 18/45 - 163/n?
True
Let r(d) = d**3 + 5*d**2 - d - 5. Let z be r(-5). Let b(s) = -2*s + 54. Does 18 divide b(z)?
True
Let z = 2 - -12. Let k be (-17)/5 - 2/(-5). Is (-2)/k*(1 + z) a multiple of 9?
False
Let u(b) = -b**3 - 13*b**2 + 18*b + 19. Let p be u(-14). Let j = p + 65. Is j a multiple of 14?
True
Let y(d) = d - 14. Let u be y(-11). Let m = -12 - u. Is 7 a factor of m?
False
Is ((-6)/(-5))/(1 + 1148/(-1160)) a multiple of 4?
True
Suppose -5*j = -9*j + 180. Is j a multiple of 9?
True
Let b(n) = 2*n**2 + n - 7. Let f(s) = 2*s**2 + s - 7. Let a(p) = 7*b(p) - 6*f(p). Let x = -13 - -18. Does 14 divide a(x)?
False
Suppose 7*k = 2101 - 841. Is k a multiple of 30?
True
Let n(s) = 2*s - 12. Let j be n(10). Is 12/j*26/1 a multiple of 11?
False
Suppose t - r = 14, -42 = -3*t - 2*r - r. Let j = -1 + t. Is j even?
False
Suppose 3*j + 3*o + 1 = 16, 5*j - 2*o + 10 = 0. Suppose p + 3*c - 26 = -2*c, p + 4*c - 28 = j. Is p a multiple of 12?
True
Let t(b) = b + 5. Let y be t(-6). Let n = y - -3. Suppose n*v - 23 + 3 = 0. Does 5 divide v?
True
Let s be -66*((-3)/(-2) - 0). Let a = s + 30. Does 2 divide (-3)/4 + a/(-12)?
False
Let u(q) = 8*q + 5. Let m be u(5). Suppose -3*l + 5 + 6 = -2*p, 5 = -5*p. Suppose -6*k = -l*k - m. Does 15 divide k?
True
Let n(z) = 3*z**2 - 1. Let i be n(1). Suppose -3*a - 8*k = -3*k - 224, 3*a = -i*k + 230. Suppose -5*p + 4*u + a = -21, 0 = -p - 5*u + 43. Is 14 a factor of p?
False
Let j(p) = p**2 - p + 12. Suppose 2*t = 8*y - 4*y - 8, 8 = -y - 2*t. Let g be j(y). Let s = -7 + g. Does 2 divide s?
False
Suppose 2*u - 1 = 3. Let k be 96 + 2 + (0 - u). Suppose -2*w = w - k. Is 16 a factor of w?
True
Suppose -2*w + a = -4*a + 11, -2*w + 2*a - 2 = 0. Suppose -w*l + 13 = 3*g, 0 = 3*l - g + 1 - 15. Let m = 28 - l. Does 12 divide m?
False
Let d(q) = -5*q**3 - 3*q**2 + 2. Let a = -6 + 4. Is 15 a factor of d(a)?
True
Suppose 0*g + 7 = -5*g - 2*s, 0 = 2*g + 5*s + 7. Let n = 1 - g. Is n a multiple of 2?
True
Is 8/(-32) - (1098/(-8) + -1) a multiple of 23?
True
Let f be ((-2)/4)/((-3)/(-6)). Let z be (-1)/f - -2 - 14. Does 11 divide z/((-2)/2*1)?
True
Let z(a) = -2*a**2 - 11*a - 5 - 2 + 1 + a**2. Is z(-7) a multiple of 11?
True
Suppose -3*y - 4 = -y. Let h(j) = -j**2 - 3*j - 2. Let d be h(y). Suppose -3*z = -8*z - 4*q + 42, d = -2*z + 3*q + 3. Is z a multiple of 4?
False
Let k(m) = -33*m - 1. Let f be (5 - 6)*(0 + 1). Is k(f)