8/16) - -322?
True
Suppose -5*w = 6*f - 5*f - 161, -101 = -3*w - 5*f. Does 19 divide w?
False
Is ((3 + 1)*-5)/(-2) a multiple of 4?
False
Let d = -30 - -60. Let n = -17 + d. Is n a multiple of 6?
False
Let i(u) be the third derivative of -2*u**6/3 + u**5/30 + u**4/12 + u**3/6 + 6*u**2. Is i(-1) a multiple of 27?
True
Let l(s) = -s**2 - 6*s + 9. Let d be l(-7). Suppose -t = -d*t + 4. Suppose f + 0*r = -r + 5, -5*r = t*f - 17. Is 8 a factor of f?
True
Let r = 27 + -12. Is r a multiple of 15?
True
Let m be 4/18 + 200/(-9). Let f = -15 - m. Does 3 divide f?
False
Suppose 2*h = -7 - 1, 2*h = 3*g - 14. Suppose 0 = -g*f - 3*f + 110. Does 8 divide f?
False
Suppose -128 = -110*w + 108*w. Is 22 a factor of w?
False
Suppose b + v - 12 = -v, 5*b - 3*v = -5. Suppose -k = -b*n, 2 + 7 = -3*n. Let i = k - -19. Is 5 a factor of i?
False
Let y = -13 - -13. Let a(d) = d + 25. Is 25 a factor of a(y)?
True
Let r = 191 + -127. Does 16 divide r?
True
Suppose 0 = -4*a + 2*a + s + 617, 0 = 3*s - 3. Does 32 divide a?
False
Suppose 0 = 3*q - 37 - 23. Does 7 divide q?
False
Suppose v = -m - v + 67, 4*m - v - 259 = 0. Is 13 a factor of m?
True
Suppose -2*d + 7 + 1 = 0. Suppose -2*p = h - 8, -h - d*p = 2 - 16. Is 3 a factor of -9*(-1 + 2 - h)?
True
Suppose 5*w - 2*p = 322, 4*w - 206 = 5*p + 38. Does 7 divide w?
False
Does 5 divide (-1 - (2 + -15)) + 2?
False
Suppose -5*r - 2*v = -68, -3*r + 15 = -4*v - 31. Is r even?
True
Let h = -14 + 23. Suppose b - 2*a = h, -5*a - 17 = -b - 5. Suppose b = -o + 5*j - 12, 2*o - 32 = -4*j. Does 6 divide o?
True
Does 7 divide 134/6*(-2 - -1 - -4)?
False
Suppose 14*z - 18*z + 16 = 0. Suppose -5*u - z*g - 108 = -10*u, -g + 75 = 3*u. Does 4 divide u?
True
Suppose 2*h - 3 = -h. Suppose -49 = -2*o + h. Let s = o + -7. Does 9 divide s?
True
Let k = 3 + -6. Let a = 5 + k. Suppose -a*m = -m - 21. Does 7 divide m?
True
Let o(t) = -t**3 - 5*t**2 - 4*t + 7. Is o(-5) a multiple of 27?
True
Suppose -101 = -2*r - 3. Does 11 divide r?
False
Is 9 a factor of (-5)/5 + -2 + 75?
True
Is 87 + (2 - (1 + 4)) a multiple of 5?
False
Let x = 10 - 3. Does 4 divide x?
False
Suppose 4 = 4*q - 5*f, -f + 0*f = 5*q - 5. Let o be (1 - -2) + -1*q. Suppose -3*u = -0*s - o*s - 49, -5*u = -4*s - 85. Is u a multiple of 13?
True
Let y(i) = 7*i - 10. Is 29 a factor of y(18)?
True
Suppose 5*o - 724 = -5*f + f, -4*o + 576 = 4*f. Does 10 divide o/5 + 4/10?
True
Let p be (2 - (3 + -1)) + -1. Is 9 a factor of p - (1 - 75/3)?
False
Suppose 0*a - 5*a = -20, 0 = 5*z + a - 739. Does 21 divide z?
True
Let g(n) = 5*n + 4. Let p be g(-4). Let l = p + 25. Is 3 a factor of l?
True
Let o(n) = 13*n**2 - n + 1. Does 13 divide o(1)?
True
Suppose l - 1 = 2*k, -8*l + 4*l - 4*k = -28. Suppose l*a = 2*a + 138. Does 19 divide a?
False
Let h(t) = -190*t**3 - 3*t**2 - 3*t - 1. Does 23 divide h(-1)?
False
Let l(x) = x**2 - x - 8. Suppose 3*w + 13 = -8. Does 24 divide l(w)?
True
Suppose 0 = -3*s - s + 444. Let j = s - 51. Suppose -2*c + 66 = 4*i, -5*i + 5*c = -0*c - j. Is 7 a factor of i?
False
Suppose 6*y = 2*y - w + 163, 5*y = -5*w + 185. Let v = -18 + y. Is 8 a factor of v?
True
Let h(n) be the second derivative of -2*n**3/3 + 5*n**2 - n. Let u be h(9). Let j = u - -43. Is 6 a factor of j?
False
Let u(y) = 22*y + 5. Let a be u(5). Let b = a - 74. Does 7 divide b?
False
Suppose -6*g + 2*s = -g - 15, 3*s = -3*g + 9. Suppose 9 = -0*p + g*p. Suppose 13 - 94 = -3*f - 3*w, 106 = p*f - 2*w. Is f a multiple of 16?
True
Let g(r) = r**2 - 6*r. Let w be g(6). Let o = w + 12. Is 6 a factor of o?
True
Let z = -14 + 26. Let n = 22 - z. Is 6 a factor of n?
False
Suppose -5*u + 304 = -4*u. Is u a multiple of 17?
False
Let l = -5 - 0. Let q(t) = -t**3 - 6*t**2 - 6*t + 2. Let n be q(-5). Let m = l + n. Is m even?
True
Suppose 7*x - 6*x - 2 = 0. Suppose -14 = -x*s - 5*d, -4*s - 3*d + 30 = -s. Is s a multiple of 4?
True
Suppose 5*x + 3*m = -43, 5*m + 3 - 6 = x. Is 17 a factor of 12/x + (-210)/(-4)?
True
Let b be (-3)/(-6) - 243/6. Is 24 a factor of (180/50)/((-6)/b)?
True
Suppose -a = -16 - 117. Does 15 divide a?
False
Suppose -2*k + 5*k = 72. Does 8 divide k?
True
Let b = -5 + -19. Let t = -98 + 144. Let w = b + t. Is 13 a factor of w?
False
Let h be 28/24 - 1/6. Is (h + -2)*(-12 + -1) a multiple of 4?
False
Let q = -7 - -2. Is (3/q)/((-3)/15) a multiple of 3?
True
Let u(x) = 3*x**2 + 2*x - 7. Does 8 divide u(-3)?
False
Suppose 0 = -2*n - 44 + 232. Is n a multiple of 7?
False
Let l be (-10)/(-3)*(-11 + 2). Let t be ((-2)/6)/(2/l). Suppose 0 = v - t*r - 11, -4*v + 6*r - r = -59. Is v a multiple of 11?
False
Let o(c) = 5*c**2 + 4*c - 4. Let z be o(-4). Suppose z = -0*t + 4*t. Does 5 divide t?
True
Is 17 a factor of 68/2*6/3?
True
Let j(l) = 9*l - 3. Suppose -5*x = -4*k - 0*k + 1, 5*x - 27 = -3*k. Let d(m) = 3*m - 4. Let w be d(x). Is 21 a factor of j(w)?
True
Let j(r) = r + 9. Let w be j(-6). Does 21 divide (w/(-4) + -1)*-12?
True
Does 10 divide 28/(-8)*-6 - 2?
False
Suppose -2*z - 28 = -u, -3*z + 33 = 2*u - 9. Does 7 divide u?
False
Is 23 a factor of 0 + ((-92)/(-3))/((-8)/(-48))?
True
Let n(u) = -13*u + 5. Does 19 divide n(-4)?
True
Let i(s) = -7*s + 13. Does 17 divide i(-14)?
False
Let y = -13 - -36. Suppose 63 - y = 4*s. Is 3 a factor of s?
False
Suppose 0 = -5*d + i - 8, 5*i = -4*d - 0*d + 11. Is 5 a factor of 6 - (2 - (0 - d))?
True
Let j be (86/4)/((-2)/4). Suppose -3*a + 5*a + 122 = 0. Let n = j - a. Is n a multiple of 11?
False
Let a(l) = -9*l - 7. Is 4 a factor of a(-3)?
True
Suppose -5*g = -2 - 138. Let a = g - 7. Is a a multiple of 21?
True
Let g = 2 + 4. Suppose -g*i + 34 = -4*i. Is 17 a factor of i?
True
Suppose 2*x = 3*x - 100. Let f = -64 + x. Is f a multiple of 12?
True
Let t(b) = -b + 1. Let z be t(3). Let r = 11 + z. Suppose 2*k - k = r. Is k a multiple of 5?
False
Suppose -4*q - 8 = -4*g, 0*g = g - 2*q - 1. Suppose g*z - 74 = 4*u, -u - u = 2*z - 54. Does 13 divide z?
True
Let r be 2/6 - (-2)/(-6). Let t = -11 - -28. Suppose r*k - t = -k. Does 17 divide k?
True
Is 7/(-28) - 66/(-8) even?
True
Let i(h) = 57*h + 30. Does 15 divide i(5)?
True
Does 14 divide (-4 - (-76)/(-20))*-5?
False
Let h = 9 + -1. Is h a multiple of 3?
False
Is 4 a factor of 20 - (1 + 2 - 3)?
True
Suppose -9*d + 42 = -7*d. Let b = 20 - 10. Let m = d - b. Does 5 divide m?
False
Let j = 13 - 17. Is (27 + 1)*j/(-8) a multiple of 14?
True
Does 8 divide (-596)/(-11) - 30/165?
False
Let c be 0 + (-2 - (-8 + 1)). Let f(w) = -7*w - 6. Let i(u) = -13*u - 11. Let x(l) = 11*f(l) - 6*i(l). Does 5 divide x(c)?
True
Suppose 0 = b - 1 - 1. Suppose -5*v = w - 1, 0 = b*w + w - 3. Suppose -c + 4*h + 35 = v, -h + 174 = c + 3*c. Does 20 divide c?
False
Let y(q) = -q**3 - 4*q**2 + 2*q - 7. Is y(-5) a multiple of 2?
True
Let t(o) be the third derivative of o**4/12 - o**3 - 3*o**2. Is t(8) a multiple of 10?
True
Suppose d + 122 = 3*d. Suppose k - s - 18 = 0, 2*k + 5*s - 2*s = d. Is 8 a factor of (0 + (k - 1))*1?
False
Suppose -3 = -4*g + 21. Suppose l = g*l - 125. Does 14 divide l?
False
Suppose -a = -2*a - 3. Let y(s) = 5*s + 1. Let d(b) = -b. Let n(q) = -3*d(q) - y(q). Is n(a) a multiple of 5?
True
Let g = -1 + 1. Suppose -4*a - 5 - 51 = g. Let x = a - -60. Does 16 divide x?
False
Let a = 3 - 3. Suppose 0 = s + 3*w - 78, -5*w + 78 = s - a*s. Suppose -4*p + s = -74. Is p a multiple of 19?
True
Let q(s) = -s**3 - s - 1. Let p(h) = -3*h**3 + 3*h**2 - 6*h - 8. Let y(f) = p(f) - 6*q(f). Does 27 divide y(3)?
False
Let i(m) = -m**3 - 6*m**2 + 16*m + 19. Is i(-8) a multiple of 4?
False
Suppose 2*g = -h - h + 160, 3*g - 2*h = 245. Is g a multiple of 28?
False
Let h(c) = 3*c**2 - 3*c + 6. Does 8 divide h(4)?
False
Is 2 a factor of -6 + 93/3 - 2*2?
False
Let l = 72 - 119. Does 23 divide (2 - l) + 18/(-6)?
True
Let z(k) = -10*k + 3. Does 11 divide z(-3)?
True
Let j(i) = i**3 - 5*i**2 + 2*i - 7. Suppose -4 + 19 = 3*m. Does 3 divide j(m)?
True
Let g(m) = m**2 + 9*m - 16. Let v be g(-12). Let a = v + -6. Is 3 a factor of a?
False
Let d = 1 - 12. Let k = d + 24. Is 13 a factor of k?
True
Let l(j) = 0*j**2 + 13 + 21 + j**2. Let u(x) = x**2 - 1. Let p(r) = l(r) - 2*u(r). Does 13 divide p(0)?
False
Let b(d) = d**3 + 7*d**2 - 10*d - 7. Let m be b(-8). Does 9 divide 2/(-9) - (-155)/m?
False
Suppose 5*o - 4*x = 284, -x + 5*x = -4. Is o a multiple of 14?
True
Let b(w) be the