t f be w(5). Suppose -f - 7 = -5*k. Let s = -2 + k. Does 8 divide s?
True
Let u = 18 - -26. Let d = u - -4. Does 24 divide d?
True
Suppose -1 - 13 = -2*m - 3*t, -4*t + 8 = 0. Let f = 7 - m. Suppose -f*o - 2*h = -65, 6*o = o - 3*h + 110. Is o a multiple of 12?
False
Suppose 0 = -5*m - 25, -4*w - 336 = 2*m - 998. Does 28 divide w?
True
Suppose 2*r = 4*m, -4*m - r + 4 = -2*r. Suppose -3*c - 3 = -4*z, c + m = 2*z - c. Suppose z = -4*q + 14 + 106. Is q a multiple of 15?
True
Suppose -2*n + 3 = 1. Let c(y) = 132*y**3 + y. Let u be c(n). Suppose -h + 5*p = -16, -3*h = -3*p + 5*p - u. Is 11 a factor of h?
False
Suppose -120 = w + d + 115, w + 4*d + 250 = 0. Let q be (-2)/4 + w/(-4). Suppose 2*y + y - q = 0. Is y a multiple of 19?
True
Let s be 0/(-3) + (0 - -5). Suppose -s*t - 2*c = -4, 0 = -2*t - c - 3*c + 8. Suppose 2*o + 97 = 5*r, -2*o + 74 = -t*r + 4*r. Does 13 divide r?
False
Suppose 0 = 3*q - 3, 2*q + 8 = 2*t. Suppose 5*s + c = -5, 0 = 2*s + s - t*c - 25. Suppose 4*l - 4*v - 220 = 0, -2*l - 3*l - v + 251 = s. Does 17 divide l?
True
Does 4 divide (1 + 20/28)*(-14)/(-4)?
False
Let p(o) = 2*o**2 + 4*o + 3*o**2 - 3*o**2. Suppose z + 3*l - 1 = -8, -4*z - l - 17 = 0. Is p(z) a multiple of 8?
True
Suppose 4*o - 2*z = 3 + 15, 2*z = -4*o + 30. Suppose -4*u + 5*m + 212 = 0, o*m - 3*m = 4*u - 220. Does 16 divide u?
False
Let y(z) = 2*z + 0*z + 4 + 10*z**2 - 6. Is y(1) a multiple of 10?
True
Let v(z) = 8*z**2 + 3*z - 3. Let w be v(2). Let o = -24 + w. Is 8 a factor of o?
False
Let n = -13 + 22. Let u be n*(-3)/18*-4. Suppose y - 5 = -2*i, 0 = y - i - 14 - u. Is y a multiple of 10?
False
Suppose -4*y - 20 = -80. Does 3 divide y?
True
Let k = -34 + 59. Suppose 3*a = 29 + k. Is a a multiple of 10?
False
Let z be 10/(-35) + 24/(-14). Let o be (28/10)/(z/(-10)). Let h = o - 9. Does 4 divide h?
False
Is (3/(-2))/((-24)/352) a multiple of 4?
False
Let j(v) = v. Let f be j(5). Suppose -q - 169 = -2*i - 2*q, f*i + 5*q = 410. Is 16 a factor of i?
False
Let o(h) = 2*h**3 - 7*h**2 - 2*h + 8. Is 14 a factor of o(6)?
False
Suppose k + 9 = 4*k. Suppose 5*b = n - 0*n + 74, -2*b = -k*n - 27. Does 10 divide b?
False
Suppose 2*t = -2*m + 6, -2*t + m + 6 = -12. Let y = t + -6. Is 1 - -9 - (y - 2) a multiple of 4?
False
Let y = -4 + 1. Let t be (22/6 + y)*21. Suppose -5*g + 59 = t. Is 9 a factor of g?
True
Suppose q + 16 = 5*f, 4*q + 0*q + 4 = 5*f. Suppose -q*b - 15 = -67. Suppose -d = -0*d - b. Does 9 divide d?
False
Suppose -2*y = y. Let w(p) = p + 9. Let k be w(-6). Suppose -k*v = -2*v - 3*c - 28, 4*v - 5*c - 112 = y. Is 11 a factor of v?
False
Let d(g) = -3*g - 5. Does 3 divide d(-7)?
False
Suppose 3*q = y, 3*q - 19 + 7 = 0. Is 6 a factor of y?
True
Let l = -177 + 408. Is 8 a factor of l?
False
Does 28 divide 30/10 + (-182)/(-2)?
False
Suppose -2*c + 5*t - 3 = 1, -4*c + 3*t = -6. Let y = 7 + c. Is y a multiple of 3?
False
Suppose -k - k - 72 = -2*y, 0 = 2*y + k - 78. Let v = y - -4. Is 21 a factor of v?
True
Let w(y) = y**3 - 10*y**2 - 9*y - 8. Let n(j) = j + 3. Let u(s) = s**3 + s**2 - s + 8. Let h be u(0). Let x be n(h). Is 7 a factor of w(x)?
True
Let i(d) = 22*d**2 + 3*d - 2. Is i(-2) a multiple of 25?
False
Suppose 2*s - 2 = 170. Let i = s - 49. Is 17 a factor of i?
False
Is 32 a factor of 93 - (-2)/(-4)*-6?
True
Let o(p) = p**2 + 8*p - 12. Is 24 a factor of o(6)?
True
Let y = 30 - -21. Is 17 a factor of y?
True
Let x(d) = -d**2 + 5*d. Let z be x(5). Suppose g - 6*g - 4*i + 32 = 0, g + 2*i - 10 = z. Suppose -g*r = r - 30. Does 6 divide r?
True
Suppose 4*p - 5*p = -20. Let a be -1 + 0 + (p - 1). Suppose 2 + a = 4*g. Is g a multiple of 5?
True
Let i = -2927 + 1607. Is (4/6)/((-16)/i) a multiple of 11?
True
Let m = -13 + 18. Let c be 3/(-5) - (-263)/m. Suppose -4*y = -0*y - c. Is 10 a factor of y?
False
Does 6 divide 39/9*2 + 4/(-6)?
False
Is (-10)/(-35) + (-780)/(-14) a multiple of 28?
True
Let l(z) = -2*z + 3. Let w be l(-6). Is 13 a factor of 591/w - (-4)/(-10)?
True
Let o = -5 - -93. Is o a multiple of 14?
False
Let z = 46 - -20. Does 22 divide z?
True
Let p(g) be the third derivative of -1/3*g**3 - 1/4*g**4 + 0 + 3*g**2 + 0*g. Is 10 a factor of p(-2)?
True
Let k be 7 + (0 - (4 - 1)). Suppose k*u - 5 = 23. Is 7 a factor of u?
True
Is 26 a factor of -156*(10/3 + -4)?
True
Suppose -4*j + 78 - 14 = 0. Is 4 a factor of j?
True
Let a = 140 - 5. Is a a multiple of 6?
False
Let m(x) = 24*x + 22. Let u(c) = c + 1. Suppose -o - o + 72 = 0. Let d(b) = o*u(b) - 2*m(b). Is d(-6) a multiple of 22?
False
Suppose 48 = -0*b - 2*b. Let d = 51 + 7. Let u = d + b. Is 12 a factor of u?
False
Suppose 0 = -3*o + 4*j + 24, 0*j = -5*o + 3*j + 29. Let f(h) = -5*h + 3*h + 3*h + h - o. Does 4 divide f(6)?
True
Let b(l) = l**2 + l - 2. Let d be b(-3). Suppose 0 = -5*v - 3*s + 5, -s + 9 = -d*v - 6*s. Suppose -z = -h + v*z + 11, h = -2*z + 32. Is 20 a factor of h?
False
Let b(n) = n**2 + n - 6*n + 0*n**2 - 4. Let o be (-15)/9*(-18)/5. Is b(o) a multiple of 2?
True
Let z = 34 - 23. Does 10 divide z?
False
Let h(k) = 239*k**2 + k. Is h(-1) a multiple of 17?
True
Let a be (-3 - -2) + -31 - -3. Let b = -17 - a. Is 9 a factor of b?
False
Suppose 0 = 2*r - 3*r + 102. Let l = -17 + r. Is 17 a factor of l?
True
Suppose -2*q = -5 - 3. Let s be (-2 + 2/4)*-4. Is 11 a factor of 159/s - (-2)/q?
False
Suppose r - 4*h = 25, -4*r + 93 = h + 27. Is r a multiple of 5?
False
Is (16 + 2)*14/4 a multiple of 9?
True
Let s(t) = -6*t - 1. Let h be s(-1). Suppose -h*f = -2*q + 57, q + f - 103 = -3*q. Is q a multiple of 14?
False
Let o be 257*-1*(-2)/2. Suppose -2*w + 138 = -2*t, 2*t + 55 = -3*w + o. Let x = w + -42. Is x a multiple of 15?
False
Suppose o - 144 = -2*o. Does 13 divide o?
False
Let g = -48 + 76. Suppose -h - p + g = 2*p, -5*h + 4*p = -83. Is 9 a factor of h?
False
Let p = -3 - -4. Suppose -p = -4*c + 7. Is 5 a factor of (2 + 18)*1/c?
True
Suppose -2*f + 20 = -52. Is f + 7/((-7)/4) a multiple of 16?
True
Suppose -3*s + 3 = -2*s. Let v be (-140)/(-15) + 2/s. Is 8 a factor of v - (-2 + (1 - 1))?
False
Let b(r) = -1 - 2*r - 1 - 3 + r**2 + 5*r. Is b(4) a multiple of 13?
False
Does 8 divide (-156)/(-9)*(-12)/(-8)?
False
Let z(b) = -3*b - 19. Does 2 divide z(-10)?
False
Suppose 3*r - 9 = 0, r + 1 = y + 2. Suppose 0 = 3*h + l - 49, -2*h = -h - y*l - 28. Does 18 divide h?
True
Let f = -5 + 16. Is f a multiple of 3?
False
Let r be 4/(-6) - 6/(-9). Let w = r + 34. Is w a multiple of 15?
False
Suppose 5*m - 284 = 226. Is 17 a factor of m?
True
Suppose 3*g + 1 = 2*x, -5*g + 4*g = 4*x + 5. Does 17 divide -3 + -24*(-2 - x)?
False
Let j(q) = 4*q - 32. Is j(14) a multiple of 7?
False
Let r = -15 + -43. Let f = r + 81. Is f a multiple of 9?
False
Suppose 167 = 4*b - 133. Is 15 a factor of b?
True
Suppose -3*a + 5*a = 0. Let n be a/(-1) + 0/2. Is 14 a factor of 1*(-1 + (n - -29))?
True
Suppose -18*b - 570 = -21*b. Is 63 a factor of b?
False
Let g(k) = k**2 - k - 1. Let i(o) = -o**2 - 8*o - 3. Let h(j) = 2*g(j) + i(j). Let b be h(-9). Suppose 5*v = -4*m + b, -3*v = 2*m - 63 - 37. Does 17 divide v?
True
Let w(y) = -y**2 - 32*y + 30. Does 41 divide w(-25)?
True
Let m be 1/((-1)/(-3))*3. Let y be (-1 - 5)*(-6)/m. Suppose y*w + 2*n = 100, 20 = -2*n + 7*n. Does 9 divide w?
False
Suppose 3*t - 58 = -5*g, -3*g + 9 = -6. Is 2 a factor of t?
False
Suppose 62 - 14 = -4*g. Is 8 a factor of (-12)/27*3*g?
True
Let q = -3 + 7. Suppose -140 = q*v - 9*v. Is 14 a factor of v?
True
Suppose 0 = -14*a - 1377 + 5577. Is 50 a factor of a?
True
Let u = -26 + 14. Suppose -8 = -0*c + c. Let v = c - u. Does 4 divide v?
True
Suppose 0 = 2*d + c + 26, 0*c - 4*c = -5*d - 52. Let k = d - -18. Is k a multiple of 2?
True
Suppose -3*x = -5*p + 26, 2*p - 10 = -2*p - 3*x. Let y(u) = 4*u - 4. Let d be y(6). Suppose p*m = -m + d. Is m a multiple of 4?
True
Let u(y) = 6*y. Let v(h) = 7*h. Let k(r) = 5*u(r) - 4*v(r). Is k(5) a multiple of 7?
False
Let l(v) = -v**2 + 13*v - 14. Does 16 divide l(10)?
True
Let o = -26 + 43. Is 5 a factor of o?
False
Let h be ((-12)/(-5))/((-6)/(-20)). Does 10 divide 87/4 + 2/h?
False
Suppose -i - 4 = -2*i. Suppose r + i*w - 22 = 0, w + 12 + 0 = r. Is r a multiple of 7?
True
Let p(d) = d**2 + 12*d - 6. Suppose 2*n + 2*n + 68 = 4*t, 4*t = 5*n + 81. Is 2 a factor of p(n)?
False
Let h(v) = -3*v - 17. Does 21 divide h(-22)?
False
Let 