s g(n) even?
True
Let z(k) = -12*k**2 - 1 + 61*k**2 - 288*k + 291*k. Is z(1) a multiple of 17?
True
Let t be 2/(-5) + (-96)/(-15) + -6. Suppose 3*w - 97 - 41 = t. Does 23 divide w?
True
Let w be -2 - -4 - (-4 + 2). Suppose m - b - 119 = -5*b, -5*m - w*b = -579. Let v = m - 76. Is v a multiple of 12?
False
Let b(x) = 5*x - 33. Let s be b(8). Let f(z) = 2*z**2 - 2*z + 28. Does 18 divide f(s)?
False
Suppose -3*g - 2*j = -463, -4*g + 2*j + 623 = -j. Let o = g - 78. Does 25 divide o?
False
Let n = -1 + 4. Let x be 1792/24 + 1/n. Suppose b - 46 + 147 = 5*g, -3*b = 3*g - x. Is 21 a factor of g?
True
Suppose -w = -5*x - 545, 5*x + 0*x - 4*w + 530 = 0. Let c be x*((-2)/4 + 1). Is (2/5)/((-1)/c) a multiple of 11?
True
Let i(a) = -12 - a - 2 + a**2 - 2*a**3 + a**3 + 6*a**2. Is 9 a factor of i(6)?
False
Let g(r) = r**2 - 5*r - 13. Let c be g(-4). Let n = 19 - c. Is n/(-26) + 620/26 a multiple of 8?
True
Let t be 8/44 + (-53)/(-11). Let x(l) = 10*l - t*l - 6 + 4*l. Does 7 divide x(5)?
False
Suppose 61*a - 9756 = 43*a. Does 37 divide a?
False
Is (-33370)/(-30) + -7*6/(-63) a multiple of 5?
False
Suppose 24300 = 13*n + 12*n. Is n a multiple of 12?
True
Suppose -14800 = -5*u - 2*w, -2960 = -u - 9*w + 6*w. Is 37 a factor of u?
True
Suppose 5 = -p, 0 = -2*k - k + p + 32. Suppose m - 2*a = k, 5*a - a + 5 = m. Is m a multiple of 12?
False
Let m = -2690 - -3824. Is 42 a factor of m?
True
Let w(h) be the third derivative of h**4/12 - 4*h**3/3 - 8*h**2. Let o be w(5). Suppose -4*g = 5*s - 247, -2*g - o*g + 5*s = -257. Is 9 a factor of g?
True
Let g be (2 - (-3)/(-3)) + -14. Let r(f) = 19 - 24*f + 17*f - f**2 - 7*f. Does 11 divide r(g)?
False
Let i = -22 + 28. Let b = 26 - i. Is 5 a factor of b/(-2)*256/(-80)?
False
Suppose q = -2*q + 78. Suppose 2*l + 7*w - 34 = 3*w, 0 = -3*l + 3*w + 33. Let v = q - l. Is v a multiple of 4?
False
Let w be 10/15 + 47/(-3). Let a(f) be the first derivative of -f**4/4 - 5*f**3 - f**2/2 + 16*f + 2. Does 13 divide a(w)?
False
Let x(h) = h**2 + h + 5. Let z be x(7). Suppose 15*o = -14 - 76. Let d = z + o. Is d a multiple of 26?
False
Let z(b) = -b**2 - 8*b + 9. Suppose 13 = -x + 6. Let o be z(x). Let u = 33 - o. Is 14 a factor of u?
False
Suppose 4*w + 4*z - 1404 = 0, 5*w - w = z + 1399. Does 7 divide w?
True
Let d(i) = -i**2 + 8*i + 10. Let g be d(8). Is g/(-6)*(-88 + -2)/5 a multiple of 6?
True
Is -1078*3/(-27) + (-20)/(-90) a multiple of 20?
True
Let o(j) = -j**2 - 20*j - 29. Suppose 4*k - 2*p + 52 = -6*p, 4*p - 8 = 2*k. Is 7 a factor of o(k)?
False
Suppose 6*n = 3*o + n - 1197, 3*n = -o + 413. Is o a multiple of 2?
True
Let l(q) = 4*q**2 + 2*q. Suppose -2*u + 17 = 11. Is 10 a factor of l(u)?
False
Let j(p) = p**3 - 3*p**2 - 9*p - 3. Is j(7) a multiple of 5?
True
Let w = -204 + 318. Is 6 a factor of w?
True
Suppose -1227 = -6*f + 2913. Is f a multiple of 28?
False
Suppose 0 = 3*g + 3*m + 2*m - 62, 2 = -m. Let f(n) = -n + 9. Let w be f(4). Suppose 0 = -w*y - 4*t + 88, 1 = 2*y + 5*t - g. Is y a multiple of 5?
True
Let c(b) be the first derivative of 4*b**3/3 + 3*b**2/2 + 2*b - 3. Let x be c(-2). Suppose -2*p = -16 - x. Is 7 a factor of p?
True
Let j(n) = -n**2 + 14*n - 11. Let y(x) = -2*x - 28. Let o be y(-19). Does 29 divide j(o)?
True
Let t be 0 - (-6 - 0) - (-2 - -3). Suppose 2*s + 3*n - 582 = -s, t*s = 2*n + 984. Is s a multiple of 22?
False
Let t = 10 + -16. Let v(o) = o + 9. Let j be v(t). Suppose -55 = -j*a - w - 10, -3*w - 15 = -a. Is a a multiple of 15?
True
Suppose -i = -2*z - 2, -3*i + 2*z + 6 = -2*z. Let d(q) = -q**2 + 6*q - 4. Let m be d(i). Suppose 1 = b - m. Does 2 divide b?
False
Suppose 3*b - 2285 = -2*j, -2*j + 4*b = -3*j + 1140. Is j a multiple of 88?
True
Suppose 3*s - s = -4. Is s + 6/(-9)*-15 a multiple of 8?
True
Suppose 37*y + 385 - 9376 = 0. Does 4 divide y?
False
Let w be 4 + (-108)/28 + (-22)/7. Does 21 divide 14/(-2 + (-36)/(-21))*w?
True
Let n(y) = y**3 - 12*y**2 - 13*y - 3. Suppose -11 = -2*a + 15. Let w be n(a). Does 11 divide (74/(-4))/(w/6)?
False
Let i(h) = -h**3 + 16*h**2 - 14*h + 36. Is 20 a factor of i(11)?
False
Suppose m + 3 = -3*y, 0 = y - 2*m - 0 - 6. Suppose 0*q - q + 2 = y. Suppose -q*z - 42 = -3*z. Is 21 a factor of z?
True
Let l(b) = 7*b + 15. Suppose -3*a = 4*v + 5, 2*a + 3*v = -a. Is 25 a factor of l(a)?
True
Let q = 26 - 26. Suppose -2*m + 0*i + 167 = -5*i, q = 3*m - 4*i - 233. Is 18 a factor of m?
False
Let v(y) = -16*y - 22*y - 6 - 1 - 9. Let t(h) = 57*h + 24. Let n(x) = -5*t(x) - 8*v(x). Is n(4) a multiple of 23?
False
Let u(k) = -k**3 + 33*k**2 - 27*k - 6. Does 26 divide u(32)?
False
Let v be ((-42)/(-9))/(8/12). Suppose 13*r - v*r - 300 = 0. Is 9 a factor of r?
False
Suppose -b - a + 3 = 0, 14 = b + 4*b + 4*a. Suppose 0 = k + b*k - 24. Is 3 a factor of k?
False
Does 66 divide 30/(-100) - 46929/(-30)?
False
Let c(t) be the first derivative of -11*t**2/2 - 10*t + 21. Does 28 divide c(-6)?
True
Let t be (24/(-15))/(12/(-750)). Let c = t - 58. Is 14 a factor of c?
True
Let g be -2*62/4*-1. Suppose 0 = 2*o - 7*o + 4*u - g, 2*o + 2 = -u. Let a(j) = j**2 + 3*j + 2. Does 2 divide a(o)?
True
Let h(f) = 3*f**2 + 12*f - 102. Is 22 a factor of h(-20)?
True
Let l = -45 - -101. Let z = -15 - -35. Suppose 5*x = -z, 2*o - 4*x = -0*o + l. Is o a multiple of 20?
True
Suppose 3*z + 13 = -i, i + z = -z - 12. Does 3 divide i/(-4)*(-132)/(-55)?
True
Let a be (0 + (-4)/10)*-5. Suppose -a*m = -3*h - 12, -4*h - 9 = -m + 2. Is (3 - -1) + h + 4 a multiple of 3?
True
Suppose 6775 = -19*l - 1528. Let x = -245 - l. Is x a multiple of 24?
True
Let q = -1052 + 2371. Is q a multiple of 74?
False
Let p(c) = c**3 + 2*c**2 - 2*c - 2. Let l be p(-2). Suppose l*y = 8*y - 444. Is y a multiple of 3?
False
Suppose -2*n = 7 + 5. Let l = 16 + n. Let k(j) = 5*j + 9. Is 30 a factor of k(l)?
False
Let l be 3 + 0/(-2 - -3). Suppose 0*g = -3*g - 6, l*s - g = -4. Is 12 a factor of (-42)/(-2) - (s - 1)?
True
Suppose 19*u + 10*u = 1479. Suppose 3*x - 14 = -2. Suppose -x*a + u = -45. Does 5 divide a?
False
Let w be (1/(-3))/(9/(-81)). Suppose -z + 630 = w*x, -4*x + 630 = -x + 5*z. Suppose -h - 4*h = -x. Is h a multiple of 14?
True
Suppose 180 = 9*a + 18. Is a even?
True
Let g(c) = -127*c - 14. Let a be g(-4). Suppose 10*k - a = -3*k. Does 19 divide k?
True
Let g be (-2712)/(-30) - (-3)/5. Suppose 0 = y - k - 49, 2*y + 5*k = -14 + g. Is y a multiple of 6?
False
Suppose -25*j + 48256 = 7*j. Does 54 divide j?
False
Let w be (-4858)/(-42) + (-1)/(-3). Suppose 3*g - w = 2*p + 52, 4*g + p = 224. Is g a multiple of 7?
True
Let k(t) = 116*t**2 - 24*t - 11. Does 51 divide k(-5)?
True
Suppose 0 = -3*x - 6*x + 585. Suppose -c + x = -2*k, 4*c + 9*k = 4*k + 273. Is c a multiple of 8?
False
Is -49 + 45 + 19*(9 + -3) a multiple of 10?
True
Suppose 22*z + 137 - 3569 = 0. Does 4 divide z?
True
Is 19 a factor of 4*(-665)/(-14) - 0?
True
Is 18 a factor of (-32)/4 + (-234)/(-3)?
False
Let s(w) = -2*w - 31. Let r be s(-17). Suppose -194 = -r*d + 94. Is d a multiple of 16?
True
Suppose 30 = 3*q - 3*b + 3, 3*q + 4*b = 27. Suppose 573 = q*z - 237. Does 13 divide z?
False
Suppose -732*d + 284 = -728*d. Does 2 divide d?
False
Suppose 18*p - 2*m = 16*p + 1520, -5*p + 3845 = 4*m. Is 15 a factor of p?
True
Suppose 4 = -j + 5*k, -3*j + 16 + 37 = -2*k. Let a be (-4 + 1)/(3/(-4)). Suppose 0 = -4*r + a, -2*g - 2*r = -5*r - j. Does 4 divide g?
True
Let u(g) = 2*g**2 + 31*g - 46. Is u(-26) a multiple of 43?
False
Let r(g) = -11*g + 48. Let l(p) = -2*p**3 + 13*p**2 - 8*p. Let i be l(6). Is r(i) a multiple of 18?
True
Does 31 divide 77/(-308) - 11037/(-4)?
True
Let z(j) = -j**3 + 3*j**2 + 93*j + 58. Does 12 divide z(-18)?
False
Is 1772 + 14/(-7) - 6 a multiple of 15?
False
Let c = -8 - -15. Suppose 2*v - c = i - 4*i, 3*i + 3 = 3*v. Suppose -60 = z - v*z. Does 20 divide z?
True
Suppose 2*l + 8 = -3*d, -3*d + 5*l + 8 + 12 = 0. Suppose d = 4*t + 7*t - 2728. Is t a multiple of 16?
False
Let z(s) = 5*s**3 - 4*s**2 + 2*s - 8. Suppose -7*j = -y - 4*j + 15, 5*y - 3 = -3*j. Is 46 a factor of z(y)?
False
Let r(j) = 893*j**3 - 3*j**2 + 6*j - 3. Is 108 a factor of r(1)?
False
Let r = -154 + 903. Is 21 a factor of r?
False
Suppose 2*b - 21 = 5. Does 8 divide b?
False
Does 27 divide -11 + (129*-175)/(-7)?
False
Let h(l) be the second derivative of 0*l**2 - l + 5/6*l**3 + 0. Is 12 a