 z be v(-1). Suppose 13 = u - z*l, 2*l = -g*u + 7 + 32. Is 13 a factor of u?
True
Suppose 0 = -4*p - p + 10. Let b = 7 - p. Suppose 5*y - 178 = -b*z - 23, -5*z = -5*y - 125. Does 14 divide z?
True
Suppose -173 - 202 = -w. Is 10 a factor of (16/20)/(6/w)?
True
Let m(f) = -f**3 + 14*f**2 - 26*f + 14. Let l be m(10). Suppose -3*d - 2*n + 311 + 155 = 0, l = d + 2*n. Is d a multiple of 26?
True
Let n(h) = 88*h + 45. Let m(c) = 177*c + 91. Let v(x) = -6*m(x) + 13*n(x). Does 46 divide v(4)?
False
Let f be 30/4*(-30)/(-25). Suppose -4*o - f = 3, -4*d + 4*o + 216 = 0. Suppose -i = -0*i - d. Does 15 divide i?
False
Let v be ((-754)/91)/(1/(-7)). Suppose -2*c + v = -2*n, -2*c - c + 111 = 3*n. Does 3 divide c?
True
Suppose -10 = 2*j - 22. Is ((-592)/40 + 4)*(-40)/j a multiple of 12?
True
Let s(m) = -m**3 + 14*m**2 + 2*m - 20. Let o be 0/((-3)/(-3)) - -14. Let d be s(o). Suppose -2*p + d = -18. Does 5 divide p?
False
Suppose 84 + 12 = 12*g. Let j(f) = -f + 5 - 2*f + 5*f. Is 9 a factor of j(g)?
False
Let h be (-66)/(-15) - 8/20. Let g be (4 + 3 - h) + -9. Does 26 divide ((-280)/(-21))/((-2)/g)?
False
Let d be (3 - 3)/(1 - -1). Suppose d = -3*j - g + 54, 5*j + 0*j - 4*g - 107 = 0. Let h = j + -8. Is h even?
False
Let z be 108/(-11) + 20/(-110). Let s be 4160/110 + 4/22. Let i = s + z. Is 7 a factor of i?
True
Let f(l) = l - 12. Let m be f(-4). Is 25 a factor of 154/6 + m/24?
True
Suppose 2*r = 4*b + 10, b + 3 = 2*r - 10. Suppose 0 = 5*f + r + 3. Does 26 divide 1449/27 + f/(-6)?
False
Suppose -117*b = -106*b - 14212. Does 20 divide b?
False
Suppose -10*n - 2*v = -11*n + 296, 0 = 2*n - 3*v - 589. Does 145 divide n?
True
Let m = -59 - -61. Suppose -7 = -m*x - 1. Does 3 divide x?
True
Let f be (324 - -1)*(3 + -4). Is -2 + 1 + 6 - f a multiple of 53?
False
Suppose 3*k + 5*v = 414, -2*k + 237 = -5*v - 39. Let x = -80 + k. Suppose -95 = -3*y + x. Is y a multiple of 13?
False
Suppose 3*o = -4*d + 21, 0*o - 2*o + 14 = -5*d. Suppose -2*p = -o*p + 300. Suppose 0 = -4*q - 0*q + p. Does 5 divide q?
True
Let r(d) = 15*d**2 - 212*d + 5. Is r(-5) a multiple of 40?
True
Let v = 64 - 39. Suppose 2*y + v = 7*y. Suppose 4*g - 146 = -5*c + g, 0 = -c - y*g + 38. Does 8 divide c?
False
Let t(q) be the second derivative of -q**6/120 + 7*q**5/60 + 5*q**4/24 + q**3 - 3*q**2 - 7*q. Let s(a) be the first derivative of t(a). Is 15 a factor of s(6)?
False
Suppose 0*x + 3*v - 562 = -4*x, 702 = 5*x + 4*v. Let l = x - 94. Is 22 a factor of l?
False
Is 27 a factor of -1 + 1241 + (-11)/(143/65)?
False
Let a(c) = 74*c - 62. Does 26 divide a(4)?
True
Let n(b) = b**2 + 2*b - 1. Let o be n(-3). Suppose -15 = -5*k + 5*f, -3*f = 5*k - 9 + o. Suppose 4*z - 32 = -i, k*i - 2*z - 36 - 8 = 0. Is i a multiple of 8?
True
Suppose 2*a - 2*p = 3*p + 2027, 5*p - 1006 = -a. Is a a multiple of 15?
False
Suppose 199 + 388 = g. Is g a multiple of 27?
False
Let j = -7 + 5. Let f be ((-1)/j)/(6/(-48)). Does 11 divide (f - -1) + 39/1?
False
Let l = -10 - -29. Let u = 103 - l. Is u a multiple of 21?
True
Suppose 15*y + 4*y - 342 = 0. Suppose 2*s = 3*s - 11. Let c = y - s. Is c a multiple of 3?
False
Let h(o) be the third derivative of o**5/60 - o**4/8 + o**3/6 - 2*o**2. Does 6 divide h(-6)?
False
Suppose -5*c - 8 = -4*c. Let j = c - -8. Suppose -f + 10 + 8 = j. Is 9 a factor of f?
True
Suppose 39*d - 24 = 37*d. Is d/(8/220 + 0) a multiple of 22?
True
Suppose -3050 = -6*h + 130. Does 10 divide h?
True
Let d be (-2 + -3 + 6)*32. Suppose -d = -2*h - 0*h. Is h a multiple of 4?
True
Let t be -1 + -34 - (-12)/(-6). Let w = t + 62. Is 24 a factor of (0 + -120)*(-10)/w?
True
Let k be 48/(-2) + (-8)/28*-7. Is 6 a factor of k/(-33) - 716/(-6)?
True
Let t = -169 + 469. Suppose -r - t = 2*r. Does 4 divide (40/r)/((-2)/110)?
False
Suppose -4*v - y + 0*y = -46, v - 17 = -3*y. Let u = v - -31. Is u a multiple of 17?
False
Let u = 69 + 283. Is u a multiple of 8?
True
Let l(n) = -n**2 + 8*n + 4. Suppose -4*b + 17 = -3*f, 0 = -5*b + 2*b + 3*f + 12. Suppose -s - 2*s + 22 = v, -b*s = -2*v - 22. Does 8 divide l(s)?
True
Is 2 a factor of 15/(-9)*(-50 - (-7 + 5))?
True
Suppose -6*q + 4*q = -6*q. Is (-3)/(-2)*(-4 + q + 62) a multiple of 17?
False
Let z = 616 - 586. Is 10 a factor of z?
True
Let f be (-88)/(-12) - 2/(-3). Suppose -2*b = -2*d - 0*b, d = 5*b + f. Does 10 divide d/(-8) + 714/24?
True
Let i = 38 + -38. Suppose i = 2*l - 5*w - 787, 4*l + 5*w = 761 + 858. Is 59 a factor of l?
False
Suppose -2765*m + 2406 = -2762*m. Is 3 a factor of m?
False
Let t(g) = -g + 17. Let a be t(23). Is 9 a factor of (-2)/a + (0 - 52/(-6))?
True
Let c(a) = a**2 + 4*a. Let k be c(-5). Suppose 2*h - 3*n = 69, -h = -k*n - 24 - 0. Does 37 divide h?
False
Suppose 23*l = 22*l + 6. Suppose 2*t = l*t - 36. Is t a multiple of 6?
False
Let q(l) = -l**3 + 19*l**2 - 24*l + 73. Does 2 divide q(17)?
False
Suppose -5*p - 1105 = 2*o, -5*o = -3*o - 2*p + 1070. Does 12 divide 2/(-4)*o/15?
False
Suppose o - 2*o = -5*q - 12, -4*o + 3*q + 116 = 0. Does 14 divide o?
False
Suppose 0 = -3*u - 5*r + 835, -3*u - 1397 = -8*u - 3*r. Is 14 a factor of u?
True
Let g(a) = a**3 + 5*a**2 + 5*a + 2. Is 3 a factor of g(-2)?
False
Let w(s) = -s**3 + 2*s**2 + 5*s - 1. Let c be w(4). Let g(p) = -p**2 - 12*p + 9. Let q be g(c). Is (2 - (-2)/q)*10 a multiple of 15?
True
Suppose -3*c = i - 3*i - 20, 5*c + 2*i = 28. Let w(s) = -s + 8. Let d be w(c). Suppose -f - 74 = -3*m, -7*f - 25 = -d*f. Is 10 a factor of m?
False
Suppose 0*m = 5*m - 50. Is 17 a factor of m/(-35) - (-191)/7?
False
Let q(r) = -r**3 + 3*r**2 + 10*r + 22. Is q(-7) a multiple of 12?
False
Suppose 0 = 4*r - 5*r - 2. Let a be 10 + r*(-3)/6. Suppose -a*y + 60 = -7*y. Is 15 a factor of y?
True
Let h(z) = z**3 - 9*z**2 + 7*z - 2. Let y(n) = -n**2 + 1. Let x(w) = h(w) - 3*y(w). Let a be x(5). Is 16 a factor of (34/a - -1)*5?
False
Let p be ((-135)/(-10))/(3/4). Suppose 0*d = -3*d + p. Suppose -3*j - 108 = -d*j. Does 18 divide j?
True
Let b be -1 + (-1)/((-2)/(-16)). Let k be ((-2)/6)/(2/6). Let i = k - b. Does 4 divide i?
True
Suppose 5*b = 4*o - 128, -6*o = -2*o - b - 144. Suppose -14*k + o + 33 = 0. Does 2 divide k?
False
Let s be 3*-1 + (-16 - -23). Suppose 6 = -3*y, -s*g + 4*y + 71 = 31. Is 14 a factor of (g/(-8))/(1/(-71))?
False
Let h = 11 + -16. Let n(u) = 8*u**2 + 8*u + 6. Let j be n(h). Let q = j + -113. Does 15 divide q?
False
Let g = 36 - 16. Let w = -122 + 114. Does 10 divide (g/3)/(w/(-36))?
True
Suppose -2*n + 272 - 2334 = -3*i, -5*n + 2780 = 4*i. Is 30 a factor of i?
True
Suppose 5*a = -0*z + z - 276, -2*z + 167 = -3*a. Let b = a - -33. Does 11 divide b*(-2 + 0/(-2))?
True
Is 12 a factor of -5*(-12)/20 - 6744/(-8)?
False
Is 24 a factor of 277 + 13 + (8 - 1)?
False
Let q be 2/(((-24)/(-33))/4). Suppose 4*f - 5 = q. Suppose -y = 2*d + 13 - 105, 4*d = f*y + 208. Is 16 a factor of d?
True
Let y(g) = -g**2 - 3*g + 4. Let a be y(-3). Suppose a*d + 17 = 25. Suppose k - 5 - 3 = d*z, -24 = -3*k - 5*z. Does 4 divide k?
True
Let j be 4/(-3 - 110/(-35)). Suppose -2*b = -5*q - 11, -4*q = -5*b + b + j. Does 6 divide b?
False
Let k be 0 - (0/1)/4. Let z be (1 - (5 + -3))*k. Suppose -2*m + 17 + 31 = z. Is 16 a factor of m?
False
Let v(n) = 21*n - 7. Let p be (-2 - -7)*1/((-10)/(-6)). Is v(p) a multiple of 8?
True
Suppose -2714 = -15*r + 13681. Is r a multiple of 16?
False
Suppose -k = -4*q + 772, -4*k = -7*k - 12. Is q a multiple of 17?
False
Let f(p) = 2*p**2 + 8*p - 29. Let x be (-289)/(-51) + (2 - 10/6). Is 33 a factor of f(x)?
False
Suppose 3*g = g + 746. Is g a multiple of 7?
False
Suppose 4*j - 260 = -0*j. Is 4/10*(j + 0) a multiple of 4?
False
Does 18 divide 10946/8 + 4/(-15 + -1)?
True
Let g(z) = z**2 + z - 1. Let l be g(4). Let w = l + -17. Suppose 0 = -2*h - w*h + 168. Does 16 divide h?
False
Suppose 8*v + 127 = 9*v. Let h = v + -39. Is 8 a factor of h?
True
Suppose -3*o - 29 + 2 = 0. Let r(i) = 2*i + 34. Does 16 divide r(o)?
True
Let u(z) = 12*z - 4. Let l be u(3). Let k = -28 + l. Suppose -k*h + 25 = -3*h. Does 5 divide h?
True
Let s(p) = 2*p**2 + 3*p. Let j be s(0). Suppose j = -14*r + 7*r + 140. Does 20 divide r?
True
Let y(k) be the third derivative of -k**5/60 + 5*k**4/12 + 10*k**2. Let x be y(9). Suppose 21 + x = s. Is 7 a factor of s?
False
Let h = 491 + -256. Is h a multiple of 5?
True
Suppose -l - 210 = -7*l. Sup