e l + 7 = 2*v. Does 4 divide v?
True
Let j(u) = 3*u**2 - 100. Let g be j(0). Is 1*2/10 + (-16580)/g a multiple of 10?
False
Suppose 3404 = 2*g + g + 2*j, -5644 = -5*g + 4*j. Does 16 divide (60/(-25))/(g/(-1120) + 1)?
True
Suppose 2 - 12 = -2*v. Suppose v*m + 10 - 90 = 0. Suppose -3*h + m = 2*i, -i - 6 = -h - h. Is h a multiple of 4?
True
Let z = -18 - -17. Let w = z - 17. Is (-6)/w - (-161)/3 a multiple of 16?
False
Let p = 34 + 17. Suppose 4*m + p = r, 3*r + 3*m - 68 = -2*m. Let v = -20 + r. Is 10 a factor of v?
False
Let z be (18/(-15))/((-12)/(-80)). Let w be (-12 - z) + (-24)/(-1). Suppose 12 = 3*y + 4*a, -4*y - y + 3*a = -w. Does 4 divide y?
True
Suppose p - 26 = 4*c, 0*p = 2*p - 4. Is 8 + -6 - c*30 a multiple of 12?
False
Let r(k) = k + 80 + 6*k - 77 + 18*k**2. Is 24 a factor of r(-3)?
True
Is 4 a factor of 141 + (3 - -2 - (-3 - -5))?
True
Let r = 1340 - 711. Is r a multiple of 37?
True
Is ((-1)/(-2) - (-21)/(-6)) + 106 a multiple of 4?
False
Suppose 2*c + 6 + 24 = 4*n, 5*c = 2*n - 11. Does 16 divide (n + -4 + -6)*-28?
False
Let c(q) = -q**2 - 2*q + 264. Is 8 a factor of c(0)?
True
Let p be (-6)/(-3 + 20/6). Let i be (-25106)/(-18) - 4/p. Does 28 divide (-3)/(-15) + i/25?
True
Suppose 3*g + 316 = -0*g - 2*h, 4*g - h + 436 = 0. Let z = 179 + g. Is 16 a factor of z?
False
Suppose -v - 3*v + 20 = 4*g, 4*g - 2*v - 14 = 0. Suppose k - 4*k + 191 = -2*q, -g = q. Is 13 a factor of k?
False
Let p(a) = a**2 - 3*a + 7. Let g be p(-8). Suppose 0 = -4*j + 16, 5*n - 36 = n - 2*j. Suppose 2*c = n*c - g. Is 19 a factor of c?
True
Let y = -10 - -13. Let m be (y/9)/((-6)/(-612)). Let w = m - -34. Is w a multiple of 17?
True
Suppose d = -2 + 19. Suppose -p - 26 = -5*p - 2*v, -3*p = v - d. Let m(f) = 2*f**3 - 5*f**2 + 2. Is m(p) a multiple of 25?
True
Suppose -5 = 2*m - 9. Suppose 2*u = -2*b + 370, -b + m*u - 554 = -4*b. Is 23 a factor of b?
True
Suppose -3*x = 15, 2*r - 5*x = 5*r + 13. Let v(o) = o + 20. Let l be v(0). Suppose -4*i = -r*s + 48, s - 4*i - l = 4. Is s even?
True
Suppose 9*f - 11050 = -f. Is f/10 + 3/2 a multiple of 52?
False
Let l(j) = -j**3 + 9*j**2 + 10*j + 5. Let u be l(10). Suppose 0 = 2*c + 3*b - 60, -u*b + 54 = 3*c - 36. Is c a multiple of 5?
True
Suppose 2 = -6*o + 7*o. Let n be (-8)/o + 1*4. Suppose -5*y - 4*t + 19 = n, 2*y - 29 = -y + 2*t. Is 3 a factor of y?
False
Let d = 106 + -87. Let b(f) = 10*f - 18. Is 21 a factor of b(d)?
False
Suppose 0 = -13*x + 6*x + 3654. Does 24 divide x?
False
Let n(a) = a**2 - 3*a - 5. Let d be n(-2). Suppose -v - 2*v + 4*x = -223, 164 = 2*v + d*x. Is v a multiple of 11?
True
Suppose 0 = a + 3*i - i, -4*a = 4*i - 4. Suppose -a*r + 29 = h - 7*r, 0 = 4*h + 5*r - 16. Let y = h - -36. Does 9 divide y?
True
Let l = 177 + -59. Is 31 a factor of l?
False
Let a(k) = 41*k + 15. Let w be a(5). Suppose -5*h = 2*p - 6*p + 305, -3*p = 5*h - w. Is p a multiple of 27?
False
Is 11 a factor of (-4)/((-112)/4580) - 6/(-14)?
False
Suppose 30*o = 38*o - 536. Is 2 a factor of o?
False
Is (6/((-18)/2211))/(-10 - -9) a multiple of 24?
False
Let i(m) = m**3 + 12*m**2 + 2*m - 3. Let t be i(-12). Let j = t - 0. Does 9 divide (-2)/9 + (-978)/j?
True
Let c be 100/7 + 26/(-91). Suppose -14 - c = -2*l. Suppose -4*q + l + 50 = 0. Does 8 divide q?
True
Suppose -r = z - 1536, -12*z - 7680 = -17*z + 2*r. Is z a multiple of 10?
False
Let l(u) = -u**3 + u**2 + 20. Let s be l(0). Suppose -7*r + s = -2*r, -5*k + r = -66. Let o(y) = y + 5. Is o(k) a multiple of 9?
False
Suppose 2547 = 3*q - 7059. Does 17 divide q?
False
Let m = 1613 - 669. Is m a multiple of 16?
True
Suppose -348 = -11*w + 5*w. Does 2 divide w?
True
Is 10 a factor of 1/(-3)*(-990)/33?
True
Let r(u) = -u**3 + 6*u**2 - 5*u - 8. Let d be r(6). Is (1 + 12/(-8))*d a multiple of 9?
False
Let t(o) be the second derivative of -2*o**5/5 - o**4/12 + 7*o**3/6 - o**2/2 - 12*o. Is 37 a factor of t(-3)?
True
Suppose 8*k = 3*k + 405. Let l = 89 - k. Is 8 a factor of l?
True
Suppose 4*a + r + 3 = 0, 5*a - 2*r = 2*a - 5. Does 17 divide (-5 - (-5 - a))*-17?
True
Let z(d) = -d**2 + 8*d. Let m be z(7). Is -4 + 5/5 + m a multiple of 2?
True
Suppose -h = 2*v - 61, 2*h = v + 25 + 97. Let x = -7 - -10. Suppose -2*g + x*t = -13, 3*g + g + t = h. Does 7 divide g?
True
Suppose 19 = v - 4*z, 19 + 8 = 3*v - 2*z. Is v a multiple of 4?
False
Let q(m) = 67*m - 120. Is q(15) a multiple of 13?
False
Suppose 15*v = 11*v. Suppose v = -x + 6*x - 480. Is x a multiple of 16?
True
Let h(n) = 113*n + 21. Does 94 divide h(16)?
False
Let v = -322 - -659. Is 11 a factor of v?
False
Let p = 293 + -41. Suppose -k - 48 = -2*k + d, -2*d = -5*k + p. Is 12 a factor of k?
False
Suppose 46 = -8*f + 31*f. Let h(g) = -g**2 + 6*g + 3. Let k be h(6). Suppose m + 72 = 2*y + f*y, k*y - 54 = m. Is y a multiple of 9?
True
Let y = 18 + -16. Let s be (3/12)/(y/40). Suppose -4*f + 0*f - 76 = -3*w, -5*f = s*w - 185. Is 21 a factor of w?
False
Let w(t) = -t**3 - 5*t**2 - 3*t - 4. Let h be w(-4). Let b(z) be the first derivative of -11*z**2/2 - 10*z + 4. Does 26 divide b(h)?
True
Suppose -n + 2 = 202. Let m = 283 + n. Is 25 a factor of m?
False
Let b(a) = a**3 - 2*a**2 - 4*a - 8. Let n be b(7). Suppose -251 = -5*x + n. Is 29 a factor of x?
False
Suppose 6*n - 156 - 1188 = 0. Is 11 a factor of n?
False
Let a = -1 + -3. Let n(s) = -35*s + 6. Let d be n(a). Suppose 0 = -p + 3*p - d. Does 26 divide p?
False
Suppose 3364 = 12*y - 7052. Does 9 divide y?
False
Suppose 2*t = 5*g - 6092, -4*g = -4*t + t - 4875. Does 19 divide g?
False
Let g = 858 + -529. Does 47 divide g?
True
Let k(z) = z**2 - 14*z + 31. Is 21 a factor of k(16)?
True
Let n(m) be the second derivative of m**5/20 + 2*m**4/3 + 2*m**3/3 + 9*m**2/2 + 17*m. Is n(-6) a multiple of 15?
False
Let m = -16 - -19. Suppose 13 = -2*j + m. Is ((-6)/4)/(j/100) a multiple of 11?
False
Suppose 0 = 13*x + 572 - 1612. Is 8 a factor of x?
True
Suppose -323*r + 450 = -318*r. Is 59 a factor of r?
False
Suppose -17*b + 190 = -7*b. Suppose b - 127 = -c. Does 12 divide c?
True
Let h(f) = -5 + 10*f**2 + 19*f**2 + 27 + f**3. Does 2 divide h(-29)?
True
Let l(x) = -x + 3. Let i be (-16)/6 + (-12)/(-18). Let h be l(i). Suppose -h*b + 184 = 19. Is b a multiple of 11?
True
Is 7 - (0 - 1)/(3/(-6)) even?
False
Let o(n) = n**3 + 2*n**2 - 2*n + 4. Let d be o(2). Is 38 a factor of d/6*(-7 - (-393)/6)?
False
Let m(a) = 6*a - 40. Let b be m(8). Let g(c) = -2*c**3 + 17*c**2 + c - 11. Is g(b) a multiple of 6?
False
Let i(z) = z**3 + 18*z**2 + 49*z + 11. Does 23 divide i(-11)?
False
Suppose 24*y + 560 = 26*y. Is y a multiple of 3?
False
Let v(b) = b + 15. Let a be v(-11). Suppose -a*j + 5*j + 67 = 5*k, -j = 2. Is 8 a factor of k?
False
Let f(y) = 6*y**2 + 5*y - 35. Is 10 a factor of f(8)?
False
Let z(w) = -w**2 + 9*w + 2. Let n be z(9). Suppose -n*g = h - 4*g - 6, 3*h + 4*g = 68. Does 12 divide h?
False
Let j be (-3)/9 - 460/6. Let m = -53 - j. Suppose m = 4*v - 4*u, 4*v = -4*u - 11 + 43. Is 7 a factor of v?
True
Let s = -32 + 322. Suppose -3*i - 4*o = -6*i + 250, -4*o + s = 3*i. Suppose 0*v = 3*v - i. Is 9 a factor of v?
False
Suppose 5*b = 2*f - 10 - 28, 4*f = -5*b + 16. Is 3 a factor of ((-45)/(-25))/(f/30)?
True
Let b = 646 + -445. Does 10 divide b?
False
Let v = -316 + 588. Is 16 a factor of v?
True
Suppose 6438 = 9*u - 744. Suppose 2*z = u - 178. Does 32 divide z?
False
Suppose -11760 = -98*m + 74*m. Does 35 divide m?
True
Let y(v) = -114*v - 658. Is y(-27) a multiple of 20?
True
Suppose 0 = 2*a - u - 107, -4*a + 126 = -5*u - 73. Suppose -2*m + 36 = -a. Suppose 0*l = -4*j + 2*l + m, 4*j + 3*l - 31 = 0. Is j even?
True
Let b(w) be the first derivative of -w**4/4 + 4*w**3/3 + 7*w**2/2 - 7*w + 6. Let l be b(5). Suppose -2*g = -l - 25. Is g a multiple of 3?
False
Suppose 0 = -m + 3*r + 3 - 9, 4*m - 2*r - 6 = 0. Suppose 0 = m*i - 3*o, 4*i + 0*o = -5*o + 18. Is 6 a factor of (-63)/(-6) - i/4?
False
Let s = -649 - -1106. Is 4 a factor of s?
False
Suppose 4*x - 4 - 24 = 0. Let y = 26 - x. Does 3 divide y?
False
Let o = 488 + -296. Is 6 a factor of o?
True
Let t = -2025 + 3015. Suppose t = -18*z + 28*z. Is z a multiple of 11?
True
Suppose -12*g + 15*g - 702 = -3*t, -2*t = g - 230. Does 11 divide g?
False
Suppose 0 = 2*b - 0*b - 3*y - 40, b + 4*y - 9 = 0. Is b a multiple of 17?
True
Suppose 1556 = 2*o + 4*p, -1510 - 1604