= -5*z - 392 + 47. Let i = 31 - z. Is 21 a factor of i?
False
Let u = 6496 - 3171. Is 13 a factor of u?
False
Let n(u) = -u**3 + 2*u**2 + 2*u - 1. Let x be n(2). Suppose -6 - 21 = x*c. Let y(w) = w**3 + 9*w**2 - w - 1. Is 8 a factor of y(c)?
True
Is 20 a factor of 24/3 - -4*138?
True
Let g = 394 - -1412. Is g a multiple of 22?
False
Suppose -r + 5 = 2*v - 2*r, 2*v - 4*r = 2. Suppose 5 = -5*z, 0 = -o - 0*o - v*z + 20. Suppose q - 39 = o. Does 14 divide q?
False
Is ((-110)/3)/((-16)/120) a multiple of 25?
True
Let f(m) = -m + 22. Let q be f(21). Suppose 2*o = a - 2*a + q, -3*a + 18 = 3*o. Is a a multiple of 3?
False
Let r = -9 + 15. Let q be 136/r + (-9)/(-27). Suppose -2*x - 3 = -4*s - q, 0 = s. Is x a multiple of 4?
False
Let t be (-330)/(-21) + 10/35. Suppose -z - t = 4*j, 3*j = -z - 2*z - 3. Suppose -z*i = -71 + 7. Is 8 a factor of i?
True
Let r be 1 + 2 + (0 - 3). Let o(c) = -2*c. Let m be o(-2). Suppose -5*u + 2*z - 2 + 15 = r, 5*u + m*z - 19 = 0. Is u a multiple of 3?
True
Let l(d) be the second derivative of d**5/20 + d**4/12 - d**3/3 - d**2/2 - d. Let g be l(0). Does 21 divide 48 - (4 + 3/g)?
False
Let a(u) = -u**3 - 4*u**2 - 3*u - 2. Let h(c) be the first derivative of c**2/2 - 26*c - 2. Let k be h(21). Is a(k) a multiple of 19?
True
Let q = 16 + -16. Suppose -6*h + 3*h + 3 = -b, q = 2*h + 3*b - 13. Suppose 4*m - h*v - 26 = -0*m, -3*v + 15 = 0. Is m a multiple of 6?
False
Let w(h) = -116*h - 1. Let s be w(-1). Let n be 0/13 - -13 - -183. Let t = n - s. Is 14 a factor of t?
False
Suppose -1194 = -6*r + 780. Let v = -201 + r. Does 32 divide v?
True
Suppose 20 = -3*u + 5. Let p(i) = -4*i**3 - 2*i - 2. Let r(y) = -3*y**3 - y**2 - 3*y - 2. Let g(h) = u*r(h) + 4*p(h). Is 3 a factor of g(6)?
False
Suppose -4*n - 804 = -4*s - 0*n, -796 = -4*s - 4*n. Is 9 a factor of s?
False
Let l(o) = -o**2 + 12*o + 18. Let h be l(14). Let k be (-8)/h*580/8. Is (-2)/((-4)/k) - -4 a multiple of 11?
True
Let t = -30 + -11. Let l = -25 - t. Does 3 divide l?
False
Let c = 1423 + -999. Does 8 divide c?
True
Let v(o) = 105 - 14 - o**3 - o + 3*o**2 - 4*o**2. Does 7 divide v(0)?
True
Suppose 0*a - 4*a + 2*g = -6, a - 3*g + 11 = 0. Suppose -f = 2*f, -2*d + a*f = -48. Is 6 a factor of d?
True
Let s(j) = -3*j**2 - 78*j + 34. Is 6 a factor of s(-17)?
False
Let m(h) = 178*h**2 + h - 3. Is m(1) a multiple of 22?
True
Let y(g) = g - 1. Let r(z) = 5*z - 14. Let t(j) = -r(j) + 4*y(j). Let x be t(-15). Suppose i - 2*i + x = 5*k, -4*i - k + 119 = 0. Is i a multiple of 10?
True
Suppose -4*n = -0*n - 64. Let y = 20 - n. Suppose 0 = 4*p + 4*q - 32, -y*p + 4*q = -p - 59. Does 11 divide p?
False
Is 95 a factor of (-1 + 11/(-1))/((-30)/9820)?
False
Suppose 5*m - 10 = -0*m. Suppose 98 = 2*t - 4*b, -m*t = -7*t + b + 254. Is 27 a factor of t?
False
Let d(o) = 27*o + 54. Does 6 divide d(22)?
True
Let b = -1234 + 1608. Does 7 divide b?
False
Let k(n) = 3*n + 3. Let m(s) = s**3 + 4*s**2 - s. Let q(r) = r**3 + 7*r**2 - r - 9. Let j be q(-7). Let l be m(j). Does 16 divide k(l)?
False
Let t = -9 - -8. Let a be ((-1)/(3/21))/t. Let y = 5 + a. Is 3 a factor of y?
True
Let w(m) = -29*m - 5. Let j(f) = 10*f + 2. Let s(k) = -8*j(k) - 3*w(k). Is s(1) a multiple of 3?
True
Let g(x) = -2*x**2 - 3*x + 2. Let y be g(-3). Let h = y - -19. Suppose -r - 2*r = -h, -4*a + 44 = -3*r. Does 5 divide a?
False
Does 8 divide (8/28)/((-3)/(-42)) + 1348?
True
Does 3 divide ((-164)/20)/(18/(-1170))?
False
Let v(i) = -5*i**2 - 5*i + 12. Let c(m) = 5*m**2 + 6*m - 11. Let p(g) = -4*c(g) - 5*v(g). Is p(-4) a multiple of 15?
True
Let l be 8/(-10) + (-68)/(-10) + -4. Suppose -l*z = -169 + 49. Is z a multiple of 15?
True
Suppose 5*i + 1025 = 3*y - 1213, 4*y - 2*i - 2970 = 0. Is y a multiple of 13?
True
Let o(y) = 5 - 3 + 4 + 2*y. Let t be o(7). Suppose 13 + t = w. Is 11 a factor of w?
True
Suppose 3*q + w + 5 - 1 = 0, -w = q + 4. Suppose -5*h = -5*v - 13 - 22, 4*v + 8 = q. Suppose r - 1 = 3*a, 3*r - h*a = -4*a + 11. Is 2 a factor of r?
True
Let l(z) be the second derivative of -3/2*z**2 + 3*z + 0 - 1/6*z**3. Is 9 a factor of l(-16)?
False
Let v(p) = p**2 + 5*p + 17. Let w be v(-15). Suppose -3*n - n + 80 = 2*y, 4*y + n - w = 0. Does 18 divide y*(-3 - 54/(-14))?
True
Let r(h) = -h**2 - 6*h - 7. Let f be r(-11). Let q = f - -138. Is 19 a factor of q?
True
Suppose -2*g + 40 - 38 = 0. Let l(r) = 257*r - 2. Is l(g) a multiple of 12?
False
Suppose 3*b - 171 - 168 = -3*t, t + 220 = 2*b. Is b a multiple of 12?
False
Suppose a + 502 = z, z + 4*a - 588 = -76. Is z a multiple of 37?
False
Suppose 0 = -14*k + k + 5772. Is k a multiple of 37?
True
Suppose 0 = p + 4 - 2, 2*b - 100 = 4*p. Suppose 0 = 45*u - b*u + 4. Is 2 a factor of u?
True
Suppose 0 = 6*i - 2*i + 5*i. Suppose i = 7*z - 4*z - 48. Is z a multiple of 3?
False
Suppose 0 = -u + 3 - 7. Let o be (2 - (-72)/u) + 0. Let n = o + 26. Is 5 a factor of n?
True
Let n be (-1)/5 + (-3132)/(-60). Suppose 31*r - 30*r = n. Is r a multiple of 17?
False
Suppose 5*h - 28 = -m, 3*h + 2*h + 4*m = 37. Suppose -18*f + 81 = -9. Suppose 0 = y - h - f. Is y a multiple of 10?
True
Suppose g + 3*g = 52. Suppose -9*b + 14*b - 540 = 0. Suppose -16*h = -g*h - b. Does 18 divide h?
True
Suppose -3 + 8 = -v - q, -3*v + 10 = -2*q. Suppose 3*k - a - 88 = v, 0*a - 4*a + 128 = 4*k. Does 5 divide ((-3)/(-6))/(1/k)?
True
Let r = -129 - -60. Let a(o) = -o**2 - o + 173. Let w be a(0). Let k = w + r. Is k a multiple of 23?
False
Let u(f) = -f + 11. Let b be u(6). Suppose -98 = -b*g - 5*o + 82, -4*g - 3*o + 148 = 0. Suppose -86 = -3*w + g. Is w a multiple of 9?
False
Suppose 137 + 93 = -5*h. Let v be (3 + h)/((-4)/44). Suppose -5*o - q = -o - 374, 5*o - v = -4*q. Is 31 a factor of o?
True
Let q = -15 + 20. Suppose -5*s - 4*h + 260 = -s, 0 = -q*s - h + 333. Is s a multiple of 20?
False
Does 14 divide (124/(-8))/((-5)/50)*15?
False
Suppose -s = s + 2, 3*g + 4*s = 2. Suppose g*w + 0*w - 15 = -m, 5*w - 45 = -m. Is 10 a factor of w?
True
Let u(a) = 0 + 10 + a + 18. Is u(-13) a multiple of 10?
False
Let f(i) = 4*i**2 - 17*i. Let h(o) = 2*o**2 + 10*o + 6. Let s be h(-5). Does 3 divide f(s)?
True
Suppose -h + 14 = -2*b, 0 = -2*h - h. Let r(q) = -q**2 - 13*q - 6. Is 12 a factor of r(b)?
True
Suppose -5*n - 2*q = -q - 2811, 2799 = 5*n + 4*q. Is 7 a factor of n?
False
Let p = 25 + -20. Suppose 5*b - b + 4*i - 108 = 0, 135 = p*b + 2*i. Is b a multiple of 9?
True
Suppose 5329 = 55*u - 2756. Does 12 divide u?
False
Suppose -39 - 93 = 4*j. Let d = 0 - j. Does 9 divide d?
False
Let f = 389 + 59. Suppose f = -26*p + 30*p. Does 14 divide p?
True
Suppose 0 = -3*r - c + 183, -3*r = -4*c - 0*c - 183. Suppose r = 4*w - 3*w. Is 13 a factor of w?
False
Let a(q) = 407*q + 99. Let c(r) = 29*r + 7. Let p(x) = 4*a(x) - 55*c(x). Let w be p(6). Let t = w + -149. Is 30 a factor of t?
True
Let f be (24/9)/(4/6). Suppose -f*o - o + 20 = 0. Suppose c - o*c = -45. Is 12 a factor of c?
False
Let d = 14 - -70. Suppose -j + 1 + 0 = -l, 4*j + 4*l = 28. Suppose d = 4*x + 4*s, 5*s = -j*x - 0*x + 82. Is 12 a factor of x?
False
Suppose 2*t = -6, -7*t + 3*t - 2632 = 5*z. Does 14 divide z/(-6) + 4/(-12)?
False
Let q = 896 - 587. Does 3 divide q?
True
Let i be (-2 + 8/6)*18. Let h be 22/1 - 0/i. Let o = h - -20. Does 31 divide o?
False
Does 5 divide (3 - 3545/(-25)) + 2/10?
True
Let r(k) = 15*k**2 - 7*k + 23. Let d(b) = -7*b**2 + 3*b - 11. Let v(m) = -13*d(m) - 6*r(m). Does 15 divide v(-8)?
True
Let t(c) = -2*c - 5. Let a(m) = m + 6. Let q(n) = 3*a(n) + 2*t(n). Let w be q(6). Is (7 + 4)*(w - 0) a multiple of 11?
True
Let y = 924 + -715. Is y a multiple of 8?
False
Let n = -6 + 15. Suppose n*z - 1180 = -z. Is z a multiple of 11?
False
Suppose 10*r - 7*r = 210. Suppose -h - h = -r. Does 17 divide h?
False
Let s = 12 + 16. Is s a multiple of 14?
True
Let x = 29 + -26. Suppose 5*y = 2*k + 243 + 8, -x*y + 5*k = -162. Is 12 a factor of y?
False
Let c(o) = -o**2 + 20*o + 13. Suppose -d = d - 30. Does 10 divide c(d)?
False
Let v(x) = -3*x**2 + x - 2. Let z(q) = 2*q**2 - q + 2. Let h(c) = -4*v(c) - 3*z(c). Is h(1) a multiple of 2?
False
Let i = -5 - 5. Let s(x) = -x**3 - 11*x**2 - 14*x + 4. Does 6 divide s(i)?
False
Suppose 9 = 4*r + 5*o - 22, r = 3*o - 5. Suppose r*v - 186 = -2*p, -p - 3 = -0*p. Suppose q + q = v. Does 8 divide q?
True
Let y(v) = -4 + 2*v**2 + 9 -