a multiple of 20?
False
Suppose 1756 = 28*i - 23*i - 3*z, -2*z + 1046 = 3*i. Is i a multiple of 13?
False
Let o(d) = -2 + 1 + 0 + d. Let w(c) = -2*c**3 + 11*c**2 + 8*c - 7. Let r be w(6). Is 3 a factor of o(r)?
False
Suppose -2*h - 3*h + 3*d + 10 = 0, -5 = -4*h + 3*d. Suppose 2*g - h*k = -4*k + 418, 4*g = k + 836. Is g a multiple of 19?
True
Let j(g) be the first derivative of 7*g**2 + 22*g + 7. Is j(6) a multiple of 23?
False
Suppose 2*b + 0*l - 3*l = -6, 0 = -5*l. Is 546/9*(9/2 + b) a multiple of 13?
True
Let a(q) = q**3 - 6*q**2 - 7*q - 6. Let d be a(7). Suppose 0 = 14*r - 10*r - 300. Does 14 divide (-56)/10*r/d?
True
Let w be 2/9 + (-96)/(-54). Suppose -2*z = -3*r + 7*r + 18, -3*r = w*z + 22. Is z/(2/(-12)*2) a multiple of 17?
True
Let t(p) = -7*p**3 - 10*p**2 + 26*p + 30. Is 19 a factor of t(-6)?
True
Let y(u) = 2*u**2 - 16*u - 13. Let o be y(-11). Suppose 0 = 8*k - 17*k + o. Is 15 a factor of k?
True
Let l = 4 + -7. Let c(j) = 11*j**2 + j - 1. Let w be c(l). Suppose -2*a - 3*a + w = 0. Does 11 divide a?
False
Let p(r) be the third derivative of -r**4/8 + 33*r**3/2 + 10*r**2. Is 11 a factor of p(0)?
True
Let y = -2 + 4. Suppose 0 = 3*v - 12, 2*v - 872 = -y*d - 2*d. Is d a multiple of 36?
True
Let n(d) = 2*d - 1. Let c be n(0). Let y be c/(2/(-4 + 2)). Suppose -5*f + 14 = -y. Does 2 divide f?
False
Let p(w) = -10*w - 10. Let q be p(-6). Suppose f = -4*f + q. Is f a multiple of 2?
True
Suppose 40*w + 3648 = 46*w. Is 32 a factor of w?
True
Suppose 0 = -20*n + 25*n - 20. Suppose -n*h - 5*y + 132 - 24 = 0, -5*y - 20 = 0. Does 8 divide h?
True
Let u = 1355 - 1011. Does 92 divide u?
False
Let j = -357 - -571. Is 9 a factor of j?
False
Let z(i) = -i. Suppose 2 = -0*y - 2*y. Let f(j) = -8*j**2 + 4*j. Let c(m) = y*f(m) - 5*z(m). Does 7 divide c(-1)?
True
Let b = -159 - -306. Suppose 3*t + b = 4*x, 0 = -2*x - 2*t - 2*t + 90. Let k = x - 19. Is k a multiple of 15?
False
Let p(f) = -f**2 + 9*f - 12*f + 5*f + 8. Let h be p(0). Is h/(-36) + 296/36 a multiple of 8?
True
Let b(x) = -x**3 + 3*x**2 - 2*x + 2. Let w be b(2). Suppose 46 = -w*t + 164. Is t a multiple of 18?
False
Let a(p) = -163*p - 33. Is 16 a factor of a(-11)?
True
Suppose l - 651 = -3*t, 4*l - 660 = -3*t - 0*l. Suppose 0*j - t = -3*j. Is 12 a factor of j?
True
Let s(y) = 13*y - 2*y - 23 + 6 - 5. Does 11 divide s(10)?
True
Let i(f) = 5*f - 8. Let z be i(10). Is (z - -2)*2/(1 + 0) a multiple of 23?
False
Suppose -3 + 13 = 5*y. Suppose -3*n + 840 = y*n. Is n a multiple of 42?
True
Suppose -5*y - 4*w = 146, 2*w - 59 + 15 = 2*y. Let k = y - -82. Does 6 divide k/10*(-15)/(-6)?
False
Let n = -430 + 642. Does 27 divide n?
False
Let c be -39 - -2*2/(-4). Suppose 52 - 808 = -9*j. Let y = j + c. Is y a multiple of 16?
False
Let j = 2 - -35. Suppose 5*k + j = 2. Let w(c) = -c + 16. Is w(k) a multiple of 22?
False
Let h = 517 + -81. Is h a multiple of 11?
False
Let g be (-84)/(-8)*(1 + 3). Does 28 divide (g/(-5))/(18/(-60))?
True
Let s = 192 - 198. Let p(f) be the first derivative of f**4/4 + 2*f**3 + 13*f - 2. Does 13 divide p(s)?
True
Suppose -2*i = -5*i + 999. Let u = -177 + i. Suppose 4*s = s + u. Does 13 divide s?
True
Suppose 4*d = 5*b + 190, -2*d + 55 + 55 = 5*b. Suppose -g + 2*t + 10 = 0, 5*g + 12*t - 7*t = d. Does 4 divide g?
False
Let d(o) = o**2 + 9*o - 8. Let f be d(5). Let i = 102 - f. Does 10 divide i?
True
Suppose z + 0 + 4 = 0. Let t = z + 26. Is t a multiple of 8?
False
Let p(u) = -u**3 + 4*u**2 - 14*u + 4. Does 8 divide p(-7)?
False
Is 21 a factor of ((-168)/8)/(330/333 - 1)?
True
Let a(q) = q**2 - 2. Suppose 0 = 5*y - 3*v, -y = v - 3*v. Let l be 4 + -2 + y - -1. Is 2 a factor of a(l)?
False
Suppose 0 = -3*b - 0*b - 6. Let v(o) = -o**2 - 2*o - 4. Let d be v(b). Does 12 divide (-2 + d/(-3))*-57?
False
Let y(x) = 6*x**2 + 6*x - 8. Does 16 divide y(-4)?
True
Let p(z) = -z**2 - 6*z - 3. Let h be 8*(-2)/(-4)*-1. Let m be p(h). Suppose -62 = -3*w + n + 50, 3*n = -m*w + 168. Is 6 a factor of w?
True
Suppose -2*z - 389 = 4*r - z, -2*r - 199 = 5*z. Does 29 divide 1/(-2)*(2 - r)*-2?
False
Let a(s) = -s**3 + 17*s**2 - s - 4. Let i be a(17). Let z = 96 - i. Is 13 a factor of z?
True
Let y = 8178 - 3851. Is 22 a factor of y?
False
Let f = 46 - 3. Suppose -5*g + 2*b + 232 = 0, g + 6*b - 3*b - f = 0. Does 8 divide g?
False
Let p be (20/4)/(1 + 0). Suppose -2*a + 4*o = -2, -18 = 4*a + p*o + 17. Is 13 - -2 - (5 + a) even?
False
Let y = -13 + 15. Let z(x) = -4*x + 2. Let a be z(y). Is 18 a factor of (-3530)/(-60) - 1/a?
False
Let g = -32 + 31. Is (2 - 1)*(-17)/g a multiple of 3?
False
Suppose -4*v = 3*c - 1841, 8*v - 7*v + 1220 = 2*c. Is c a multiple of 13?
True
Is 62 a factor of (-224)/(-96)*1*465?
False
Let l be (-20 - -1) + 1 + 2. Let m = l + 36. Is m a multiple of 4?
True
Let n(p) = -6*p. Let f be n(1). Let y = 4 - f. Is (-6)/y - 616/(-35) a multiple of 17?
True
Suppose 96 + 53 = x. Does 2 divide x?
False
Let l = -70 + 69. Does 17 divide 2/(-2)*(-105 + (l - -4))?
True
Suppose 3*z = 415 + 65. Suppose -5*n - 8*b + 6*b + z = 0, 3*n - 70 = 4*b. Is 30 a factor of n?
True
Suppose -2*a + 7 = -9. Suppose 4*w + a = -8. Is w/(-5)*105/2 a multiple of 14?
True
Suppose 4*p + 7 = 27. Suppose -g - 2*y = 4*g + 7523, -p*g - 7527 = 3*y. Is 9 a factor of g/(-27) + (-2)/(-6)?
False
Suppose -6*g = 10*g - 10*g. Suppose g*w - v = -4*w + 276, 2*w - 156 = -4*v. Is w a multiple of 14?
True
Let x = -2105 - -4139. Is x a multiple of 33?
False
Suppose 40 = -3*u + v, -6*u + 2*u - v = 51. Let b = u - -22. Suppose p + 3*p - 3*q = b, 37 = 2*p + 5*q. Is 5 a factor of p?
False
Let d(j) = 2*j**3 + 2*j**2 - 17*j - 2. Does 20 divide d(7)?
False
Let n = -1048 + 1825. Is n a multiple of 37?
True
Suppose -3*d = 3*r - 12, 2*r - d = -4*d + 12. Suppose -2*h - 4*k - 8 = r, 0 = 5*h + 4*k - 7*k - 19. Suppose -4*x + x - u + 42 = 0, 0 = h*u. Does 7 divide x?
True
Let s = -61 - 61. Let x be (1*-1)/(-1) + -81. Let j = x - s. Does 14 divide j?
True
Let d = -993 - -1683. Is d a multiple of 12?
False
Let v be (30/4)/(7/28). Let a be 129/18 + (-3)/18. Is 30 a factor of 698/a - v/(-105)?
False
Let d = 20 - 16. Suppose 3*a = 4*c - 39, -3*a + d*c - 30 = -a. Does 7 divide (2/4)/(a/(-504))?
True
Suppose 3*t = -2*h + 36, -2*h + 7*h = 2*t + 52. Suppose 116 - h = 4*w. Suppose 6*d - w = 5*d. Is 17 a factor of d?
False
Let m(b) = -2*b**2 - 8*b - 7. Let z be m(-5). Suppose -5*k + 14 = w + 3, 4*w = -3*k + 95. Let t = w - z. Is t a multiple of 19?
False
Let p be 0 - (0 + -229 - 3). Suppose 0*r = 2*r + p. Is 16 a factor of 3 + 2*r/(-8)?
True
Let w(j) = 10*j - 17. Let a be w(13). Suppose -u = 2*c - 52, -4*c - a - 63 = -3*u. Does 7 divide u?
True
Suppose -2*x = -5*m - 19, -x = -0*x - 2*m - 8. Suppose -y - 318 = -3*g + 3*y, -x*g - y = -201. Does 14 divide g?
False
Suppose 23 = -i + 5*y, 3*i - y - 1 = -0. Suppose -5*x = -i*w - 17, -4*x + 33 = 2*w + x. Suppose -4*j - q = -11, -3*j - j + 4*q = w. Is j even?
True
Let z = 1504 + -808. Is 12 a factor of z?
True
Suppose -12*v - 4 = -8*v. Let d be (-2)/5 + (-18)/5. Is d - -42 - (-2)/v a multiple of 12?
True
Let r = -703 - -1063. Does 45 divide r?
True
Let s = -15 + -81. Let j(v) = 25*v - 7. Let c be j(6). Let t = c + s. Is 11 a factor of t?
False
Let l be (-9)/15 + 196/35. Suppose -l*u + 2*u + c = 18, -u + 5*c - 6 = 0. Let j = 27 + u. Is 15 a factor of j?
False
Let q(y) = -y**3 + 14*y**2 - 12*y - 7. Let z(n) = n**2 - 9*n + 13. Suppose -u = 2*u - 27. Let o be z(u). Does 2 divide q(o)?
True
Let j = 280 + 236. Is j a multiple of 39?
False
Let j(v) = 2*v + 6. Let o be j(-18). Let z = -5 - o. Does 5 divide z?
True
Let o be 16/(-72) - (3 - 1491/27). Suppose 54*g = o*g + 200. Does 41 divide g?
False
Let f(q) = -8*q**3 + 7*q**2 + 19*q - 3. Is 11 a factor of f(-3)?
False
Suppose -3*h = 2 + 25. Let f(b) = -b**3 - 9*b**2 - b - 1. Is f(h) a multiple of 4?
True
Let c = -1200 + 1503. Does 9 divide c?
False
Suppose 77*l - 190 = 72*l. Let y(g) = g**3 - 3*g**2 - 3*g - 4. Let m be y(4). Suppose m = -s + l - 10. Does 11 divide s?
False
Let w(f) = 3*f + 3*f**3 - 3 - 6*f + 0*f - 2*f**3. Let b be -1 + 3 + (-1)/(-1). Does 5 divide w(b)?
True
Let s be ((-18)/15)/((-6)/340). Suppose -3*x - j + 77 = -11, 3*x + 5*j = s. Suppose -t - 3*n = -33, 0*t + x = t + 5*n. Is 18 a factor of t?
True
Let p be -9*((-8)/12 - -1). Let y = p - -15. Suppose x = -n + 