m - 2. Let v be (4/6)/(4/(-30)). Let d be w(v). Suppose -4*u + 2*y + 26 = 0, d*y + y + 12 = 3*u. Does 8 divide u?
True
Let v = 29 + -9. Suppose 0*q + 1 = q, -3*s + v = 2*q. Does 4 divide s?
False
Suppose -14 = -3*n + 37. Is 16 a factor of n?
False
Let m = 135 - 27. Does 11 divide m?
False
Let t = 61 + -52. Does 9 divide t?
True
Suppose 4*x = -16, 3*x - 279 = -5*m - 96. Is 39 a factor of m?
True
Let n(l) = l**3 + 6*l**2 + l + 8. Let z be n(-6). Suppose 6*u - z*u = 124. Does 11 divide u?
False
Does 3 divide (-2)/7 + (-650)/(-70)?
True
Let o be (-1)/(-3 - (-8)/3). Suppose -o*z - 5 + 50 = 0. Is 12 a factor of z?
False
Suppose 5*v - 341 + 81 = 0. Is 16 a factor of v?
False
Suppose -k - 10 = -2*s - 0*k, -12 = -4*s - 2*k. Is (6/s)/(9/30) a multiple of 2?
False
Suppose -79 = -2*h - 31. Is 8 a factor of h?
True
Let z(i) = -i + 2. Let o be z(2). Is 26 a factor of 82 + o - (-8)/(-2)?
True
Suppose 0 = 11*v + 148 - 555. Is v a multiple of 11?
False
Let m be 3 + -4 + 0 - -21. Suppose -2*u + 9 = -3*u. Let x = m + u. Does 8 divide x?
False
Is 5 a factor of ((-4 - -4) + -1)*-5?
True
Let o = -6 + 12. Let p be 32/o*(-1 - 5). Let b = 10 - p. Is b a multiple of 21?
True
Let r(i) = 2*i + 10. Let v be r(-9). Let u be (66/v)/((-6)/24). Suppose -2*d - 5*a + 66 = 0, 2*a - u = -d + 7*a. Is d a multiple of 10?
False
Let p(u) = u**3 + 5*u**2 - u + 5. Is 4 a factor of p(-3)?
False
Is (0 - (0 - -1)) + 17 a multiple of 8?
True
Let f(o) be the second derivative of o**4/6 - o**3/3 - o**2/2 - o. Is 3 a factor of f(2)?
True
Let b = 18 + -13. Does 3 divide b?
False
Let x(b) = -b - 2. Let t(h) be the second derivative of -h**3/2 - 3*h**2/2 + 3*h. Let u(q) = 2*t(q) - 5*x(q). Is 2 a factor of u(0)?
True
Let t(p) = -2*p - 14. Let r be t(-8). Let c = -3 - -7. Suppose -z = -2*h + 3, 5*h - r*z + 3 = c*h. Does 3 divide h?
True
Suppose 5 = 4*c - 7. Let i = -3 + c. Suppose 5*l = 5*z - 150, i = -4*z + l - 4*l + 106. Is z a multiple of 12?
False
Let c(l) = 2*l**2 - 7*l + 1. Suppose -1 = w - 6. Is c(w) a multiple of 8?
True
Let m = 13 - 8. Suppose 2*u - m = 1. Suppose -u*n - 15 = -4*n. Does 15 divide n?
True
Suppose 0 = -k + 16 + 30. Suppose z - k = -z. Suppose -z = -4*c + 29. Is 9 a factor of c?
False
Let x(h) = -4*h**2 + 2*h - 1. Let o be x(1). Does 22 divide o/5 + 452/20?
True
Is (-4)/2 + 32 - 2 a multiple of 14?
True
Suppose 0*f - 4*f = 0, -4*f - 204 = -3*u. Does 13 divide u?
False
Let c(f) = f**2 + 4. Let o(i) = -i**2 - 5. Let j(u) = 5*c(u) + 4*o(u). Let s(h) = h**3 + 4*h**2 + 2*h + 5. Let q be s(-4). Is 7 a factor of j(q)?
False
Let i = 121 + -109. Is i a multiple of 12?
True
Is (-4)/(-5)*(119 - -1) a multiple of 24?
True
Let y(a) = -2*a**3 - 4*a**2 + 12*a + 7. Is y(-5) a multiple of 19?
False
Suppose -1 = -i + 2. Suppose -4*l = -9*l - 15, i*k - 57 = 3*l. Does 8 divide k*1 + 0/(-1)?
True
Let x = 1 - -1. Suppose -v + x = -7. Does 4 divide (6/(-4))/(v/(-24))?
True
Suppose 3*a - 2 = 7. Let y be a/(-12) + (-603)/(-12). Suppose -7*g + y = -2*g. Does 8 divide g?
False
Suppose 4*z = 9*z - 475. Is 36 a factor of z?
False
Suppose -r + 25 = -4*h - h, 25 = -4*r - 5*h. Suppose -4*t = 2*z - 62, z + r*t - 11 = 2*t. Is 3 a factor of (-4)/14 - (-174)/z?
False
Suppose n - 7 = 19. Is 6 a factor of n?
False
Is 13 a factor of ((-2)/4)/(4/(-208))?
True
Let n = 259 + -219. Is 10 a factor of n?
True
Let k(d) = -2*d**3 + 3*d**3 - 11*d**2 - 11*d - 7 + d**3 - d**3. Is 4 a factor of k(12)?
False
Suppose -2*p - 2*i = -4*p - 4, 4*p - 32 = -4*i. Let f(k) = 6*k**2 + 1 + 4 - 2*k**3 + 6*k + 3*k**p. Is 13 a factor of f(-4)?
True
Suppose 5*g - 2*g + 235 = 5*x, -g = 0. Does 7 divide x?
False
Let u be (-108)/(-20) - 4/10. Suppose u*j + 156 = 8*j. Is j a multiple of 18?
False
Let s be 8/(13/11 + -1). Let n = -17 + s. Is 7 a factor of n?
False
Suppose 0*v - 2*v + 44 = 0. Is v a multiple of 17?
False
Let p be 8/12 - 16/(-3). Suppose v - p*v = 15. Does 2 divide ((-5)/(-3))/(v/(-9))?
False
Let s(y) = 3*y + 8. Suppose -5*m + 20 = 0, -4*n - m = -3*n - 10. Does 13 divide s(n)?
True
Let v = 10 + -6. Suppose -v*c + 3 = -3*f + 2, 5*f = -2*c + 7. Does 13 divide (46/(-8))/(f/(-4))?
False
Is ((-1)/(-2))/((-7)/(-882)) a multiple of 21?
True
Suppose 0 = 4*x + 5*y + 209, 0*x + 3*x - 3*y + 177 = 0. Is x/3*27/(-12) a multiple of 14?
True
Let o(c) = -c - 1. Let s be o(-6). Suppose 0 = -s*r - h + 158 + 22, 0 = -h. Is 12 a factor of r?
True
Suppose -z - 3*z = -144. Let w = 61 - z. Is w a multiple of 21?
False
Let z(r) = -r**2 + 9*r - 5. Let v be 7*1/(-2)*-2. Is 9 a factor of z(v)?
True
Let v(n) = -74*n + 5. Let d(w) = -99*w - 8*w - 4*w + 7. Let q(y) = 5*d(y) - 7*v(y). Is q(-1) a multiple of 14?
False
Let y be -1 + (6 - 0/(-2)). Suppose 5*j = -2*n - 10, -5*j - 5*n = -0*n + 25. Suppose j = 3*m + 12, y*m + 0*m + 11 = -b. Is 7 a factor of b?
False
Let j(a) = -a**2 + 5*a + 2. Suppose 0 = -2*t - 2*v + 6, 0*t + 3*t = -5*v + 5. Let y be j(t). Suppose -11 + y = -3*b. Is b a multiple of 3?
True
Let i(n) = -2*n**2 - 9*n - 1. Let b be i(7). Let l = -82 - b. Is 20 a factor of l?
True
Let v(o) = -o**3 + 2*o**2 - 1. Let y be v(-1). Let j = 3 - y. Is 7 a factor of 4/8*(j - -13)?
True
Let x = 40 - 11. Is 5 a factor of x?
False
Let p(l) = -6*l + 6*l**2 + 4 + 4 + 2 + l**3. Let m be p(-7). Suppose 0 = m*j + 2*j - 35. Does 7 divide j?
True
Let b(c) = -26*c + 4. Let o be b(3). Let x be o/9 + (-6)/(-27). Let t(k) = k**2 + 7*k. Is t(x) a multiple of 4?
True
Let a = 82 + -55. Suppose 3*z = -z - 8. Let b = a + z. Does 21 divide b?
False
Suppose 0 = -5*t - 2*j + 186, 144 = -2*t + 6*t + 4*j. Is t a multiple of 8?
False
Suppose 15 = 4*o - n + 2*n, 2*n = -o + 2. Let a be o/(-6)*(-84)/(-8). Let m(q) = -q**2 - 13*q - 3. Does 13 divide m(a)?
True
Let v(r) be the second derivative of -29*r**5/20 + r**3/6 - 5*r. Is 14 a factor of v(-1)?
True
Is 18 a factor of 371/3 + 2 + (-1)/(-3)?
True
Suppose -j + 2*j - 2*l - 59 = 0, 2*j - 124 = l. Does 7 divide j?
True
Suppose 5*i - 20 - 160 = 0. Is 9 a factor of i?
True
Let s be 0*(1/(-2) + 0). Suppose u - 6*u = -5*y + 50, s = 3*y + 5*u - 46. Is 9 a factor of y?
False
Suppose 3*d + 2*m = 14, -8 = -0*d - 3*d + 4*m. Let n = -3 + d. Is 6/(n*(-6)/(-4)) even?
True
Let h = 1 - -2. Suppose h*f + 2*t - 3*t - 9 = 0, 4*f = -t + 12. Suppose 0*p - 26 = -3*k + p, 2*p + f = -k. Is k a multiple of 4?
False
Suppose 0 = 2*n + 12 - 0. Let t = n - -31. Is 13 a factor of t?
False
Suppose i - 5 = -0*i. Let z(m) = -i*m + 4*m + 14 - 3*m + 3*m. Is z(0) a multiple of 6?
False
Let q = 21 + 14. Is q a multiple of 7?
True
Suppose 0 = 8*i - 7*i - 4. Is 9/12 + 89/i a multiple of 21?
False
Let x(u) = 3*u + 4. Let k be x(3). Suppose 3*q - 11 = k. Is 4 a factor of q?
True
Let v = 16 - -83. Is 41 a factor of v?
False
Let l(k) = k**2 + k + 48. Let s be l(0). Suppose -o - o = -s. Suppose 3*p = p + o. Is p a multiple of 12?
True
Suppose -29 = -v + 53. Let s = v - 37. Is s a multiple of 13?
False
Suppose -3*l + 5*l - 117 = j, 4*j + 168 = 3*l. Does 6 divide l?
True
Suppose 23 = 3*o - 22. Is 12 a factor of o?
False
Let u = 27 + -38. Let q = u - -29. Is 18 a factor of q?
True
Suppose -3*p = -8*p - 20, 4*x + 3*p + 4 = 0. Suppose x*w = -2*j + 12, -7 = -j - j - 3*w. Is 11 a factor of j?
True
Suppose 0 = -4*q + 73 + 207. Is q a multiple of 5?
True
Suppose -5*z = -0*z - 2*v - 30, -18 = -2*z + 2*v. Let o be (5 - 12)*z/(-14). Suppose 3*l + 48 = 3*y, 5*l = -3*y + o*y - 8. Is y a multiple of 12?
True
Suppose -2*h - s = -2*s - 234, 4*s + 8 = 0. Does 23 divide h?
False
Suppose -13 = -4*l + 31. Suppose -z - 1 - 3 = 0, -5*c = -3*z - 47. Let o = l + c. Is 12 a factor of o?
False
Suppose -4*w + 7 = -9. Suppose -2*n = -3*n - w. Let g = n - -18. Is 9 a factor of g?
False
Suppose 7*j = 4*j + 66. Does 11 divide j?
True
Let f(a) = 6*a - 5. Let q be f(6). Let m = q + -20. Is m a multiple of 8?
False
Suppose -2*c + 0*c - 22 = 0. Let r = 13 - c. Is 24 a factor of r?
True
Let b(r) = -r**3 - 4*r**2 - r + 4. Let f be b(-4). Suppose -f*q + 4*q - v + 195 = 0, 0 = -5*q + 5*v + 225. Is 24 a factor of q?
True
Let b(u) = -100*u + 4. Let l(j) = 15*j + 6*j + 12*j - 1. Let p(k) = -2*b(k) - 7*l(k). Is p(-1) a multiple of 15?
True
Let z(x) = -x**3 + 12*x**2 - 11*x - 14. Is 7 a factor of z(7)?
True
Let f = 2 - 2. Let n(s) = -s + 9. Let z be n(f). Does 4 divide (-3)/(z/(-6)) - -4?
False
Suppose g + 4*g + 3*v + 37 =