. Does 8 divide -2 - (b + 4) - -72?
False
Suppose 14*d = 19776 - 2332. Is 11 a factor of d?
False
Let q be 0*(2 + -6)/4. Let z(i) = -i + 26. Is z(q) a multiple of 12?
False
Let z be 3/(186/396 - 1/3). Suppose 4*y + z = f - 0*y, -5*f = -y - 72. Is 7 a factor of f?
True
Let x(m) = -132*m - 495. Does 26 divide x(-19)?
False
Let v = 8 + -6. Suppose -z + v = -0*z. Suppose z*f + 94 = 4*c, -4*c + 31 = -3*c + 2*f. Is c a multiple of 8?
False
Let d(s) = -s**3 + 6*s**2 - s + 9. Let y be d(6). Does 9 divide y*30*(-26)/(-39)?
False
Let d(v) = -4*v. Is 3 a factor of d(-10)?
False
Let n(v) = 0*v + 0*v + 23*v**2 + 5*v. Is n(-2) a multiple of 31?
False
Let i(p) = -8*p + 15. Let l(a) = -a. Let d(n) = -i(n) + 3*l(n). Is d(11) a multiple of 20?
True
Let u = 12 + -12. Suppose u = 4*t - 670 - 166. Does 27 divide t?
False
Suppose 35*y - 29064 = -7*y. Is y a multiple of 17?
False
Let c = -639 + 1381. Is c a multiple of 53?
True
Suppose 8 = -2*m, 2*t - 3929 = -t + 5*m. Is 33 a factor of t?
False
Suppose 5*q = 3*q - 2. Is 9 a factor of ((-22)/44)/(q/58)?
False
Suppose 0 = 5*v - 19 - 6. Let w = v + 13. Is 6 a factor of w?
True
Let r be 5 - (5 - 8/4). Suppose 4 = 7*m - 3*m - l, r*m + 20 = -5*l. Suppose m = -5*z - 0*z + 255. Does 17 divide z?
True
Let z be ((-5)/(35/2))/(1/(-7)). Is 16 a factor of (-6912)/(-45) + (36/15 - z)?
False
Let j(t) be the second derivative of t**6/120 + t**5/20 - t**4/3 - t**3/6 - 6*t. Let h(i) be the second derivative of j(i). Is 21 a factor of h(-6)?
False
Is 9 a factor of 21*(113/1 + -6)?
False
Let u(m) = -18 - 4*m - 6*m - 2*m. Let w be u(-14). Suppose -6*i + i = -w. Is i a multiple of 9?
False
Let g(s) = -s**2 - s - 3. Let z be g(3). Let i(p) = -p**3 - 4*p**2 + 9*p + 2. Let j be i(-7). Let u = j + z. Does 10 divide u?
False
Let g = -2 + 24. Let f = g + -16. Suppose f*h = 3*h + 30. Does 10 divide h?
True
Suppose -2*o - 250 = -5*r - 0*o, 255 = 5*r - o. Is 26 a factor of r?
True
Let o = -546 + 651. Is o a multiple of 15?
True
Does 16 divide 4/(-2) - (-5018)/26?
False
Let u(y) = 4*y**2 + 11*y + 21. Let q be u(-9). Suppose -3*x + q = 66. Is x a multiple of 15?
True
Suppose -2*v = -3*v - 8. Let f = v + 11. Suppose o = f*i + 10, 0 = -4*o - 4*i + 1 + 23. Is o a multiple of 2?
False
Suppose -r = -6*r - 2*q + 244, -q + 98 = 2*r. Let a = 96 - r. Suppose -5*i + a = -57. Does 7 divide i?
True
Let v(x) = x**2 - 17*x - x**2 - x**2 - 1. Does 4 divide v(-16)?
False
Does 13 divide (0 - 6) + (-20016)/(80/(-10))?
True
Suppose -3*s + 10*s - 1092 = 0. Does 4 divide s?
True
Suppose 10 = -5*n, -1 + 15 = 5*b + 3*n. Suppose -b*v - 405 = v. Does 25 divide -7 + (-2 - -5) - v?
False
Let d(f) = -f**3 - 8*f**2 - 8*f - 1. Let h be d(-7). Suppose 2*l + 0 + h = 0. Is 16 a factor of -30*l*(-12)/(-27)?
False
Suppose -5*j - 3*l = -4*l - 5, -2*j = -4*l + 16. Suppose 5*x - 9 = -j*f + 35, 3*f + 2*x = 88. Does 6 divide f?
False
Let m(y) = 22*y**2 + 17*y + 67. Does 13 divide m(-8)?
True
Suppose 3*c = -4*b + 6509, -2177 = -c + 4*b - 9*b. Is 100 a factor of c?
False
Let b = -32 - -47. Suppose -4*k - y - 14 - 35 = 0, 3*y = -k - b. Let z = k - -24. Does 4 divide z?
True
Does 18 divide 4*(4260/(-8))/(-5)?
False
Let t = 434 - 281. Is t a multiple of 6?
False
Suppose 0 = -6*h + 13*h. Suppose 61*k - 59*k - 22 = h. Does 6 divide k?
False
Suppose 5 = 3*z - 1. Is 35 a factor of z/9 - 4715/(-45)?
True
Suppose 82*n - 83*n = -445. Does 29 divide n?
False
Suppose -3*d - 16 = -7*d + 3*h, -44 = -4*d - 4*h. Suppose -4*n = -x, 3*x + n + 60 = d*x. Does 8 divide x?
True
Let l(v) = -9*v**2 + 20*v - 26. Let y(x) = 17*x**2 - 40*x + 53. Let o(w) = 11*l(w) + 6*y(w). Does 16 divide o(12)?
True
Suppose 16*y - 47*y + 5704 = 0. Is y a multiple of 4?
True
Let x(o) = 13*o + 7. Suppose 3*c + 0*k - 8 = k, -3*c + 32 = 5*k. Is x(c) a multiple of 15?
False
Suppose 0 = 2*f - 3760 - 592. Is f a multiple of 34?
True
Let o(z) = z**3 + 5*z**2 - 16*z + 10. Let n be o(-7). Suppose -5*y - r = -325, 3*y + 4*r = 171 + n. Does 13 divide y?
True
Let i(a) = 10*a**2 - 59*a + 46. Is 13 a factor of i(13)?
False
Suppose 4*d + 7232 = 4*c, -1799 = -c + 173*d - 175*d. Is 33 a factor of c?
False
Let d(n) = 2*n**2 - n - 4. Let s = 2 - 0. Let x be (3 - 4/2) + s. Is 3 a factor of d(x)?
False
Let o be 13/(-1*4/(-68)). Suppose -o = -7*n + 675. Does 35 divide n?
False
Suppose 2*g = -3*b + 6*g + 20, -25 = -4*b + 5*g. Does 9 divide (1 + b)*144/8?
True
Let b(q) = -q**2 + 19*q - 10. Let w = -19 + 28. Is 17 a factor of b(w)?
False
Let o(t) be the second derivative of -t**4/12 + 2*t**3 - t**2/2 - t. Let y be o(9). Suppose -y = 4*j - 86. Is j a multiple of 10?
False
Let y(w) = w**3 + 2*w - 4. Let t be y(-3). Let l = 54 + t. Does 17 divide l?
True
Let b = 2110 + -893. Is 14 a factor of b?
False
Let i = -1195 + 2491. Suppose -7*r + i = -4*r. Is 18 a factor of (3/(-6))/((-6)/r)?
True
Suppose -20*d = -11*d - 24669. Does 39 divide d?
False
Let m = 21 + -16. Suppose 3 = 2*c - 4*g - 55, 4*c - 2*g - 104 = 0. Suppose -m*s + 0*s - c = 0, -4*x = 3*s - 105. Does 9 divide x?
False
Suppose 6*k - 13*k = -854. Is 61 a factor of k?
True
Let t = -11 - -15. Suppose 0*x - 4*r = 3*x - 15, x - t = -r. Does 20 divide 1 - 2 - (-61)/x?
True
Let d(b) be the first derivative of b**2 + b + 1. Let i be d(1). Suppose -2*l + i = -l. Is 3 a factor of l?
True
Is 31 a factor of -1 - 2 - 0 - (19 - 238)?
False
Let k(y) = 12*y - 5. Let d(w) = 18*w - 8. Let b(a) = 5*d(a) - 8*k(a). Let v be b(-2). Does 10 divide (-3)/v - 234/(-8)?
False
Let k(a) = 9*a + 2 + 1 - 3*a. Suppose -5*c = z - c - 2, 2*z - 3*c - 15 = 0. Is 13 a factor of k(z)?
True
Let f = -79 - -85. Is 13 a factor of 925/5 - (-1)/(-3)*f?
False
Let j = -31 - -22. Let m = j - -14. Suppose -3*d + 129 = 5*x - 156, 0 = d + m. Is 12 a factor of x?
True
Suppose -5*t - 4*u = -252, 7*t + 3*u = 4*t + 153. Suppose -59 = -4*y - w, 4*y - w = t + 13. Does 15 divide y?
True
Suppose -k + 730 = 5*a, -2*k + 1427 = -2*a - 33. Does 27 divide k?
False
Suppose 4476 = 47*f - 6804. Is 16 a factor of f?
True
Suppose -26*a = -27*a + 3363. Is 147 a factor of a?
False
Suppose -5*r = l - 4*r - 20, -3 = -r. Let i = -7 + l. Is i even?
True
Let v be (-2)/8*-2*(-1 + 1). Is (2 - 2) + 2 - (v + -187) a multiple of 27?
True
Suppose -3*b - 12 = 0, 5*b + 28 - 2 = i. Suppose 74 = i*l + 8. Is l even?
False
Suppose 4*z - 12*z = -480. Suppose 7*i - 3*i - z = 0. Is i a multiple of 15?
True
Suppose -5*i - 32 = -w, -2*w + 5 = -5*i - 29. Let p be (-21)/(-14) + i/4. Suppose p = -3*v + 254 - 59. Is 24 a factor of v?
False
Let i(k) = -3*k + 1. Let v = 92 + -53. Suppose -4*c - 44 = 5*b + 7, -5*b - c = v. Does 11 divide i(b)?
True
Let g(q) = 6*q**2 + q + 5. Let v be g(-3). Let h be 1/(-3) - v/(-6). Let i = h - -3. Is i a multiple of 10?
False
Let x = -16 - -14. Let j be 16 + (-6)/(4 + x). Suppose -9*i + j*i = 68. Is i a multiple of 3?
False
Let j = -5 + 9. Suppose -204 = -j*s + 2*m, -2*s + 3*s + m - 51 = 0. Suppose -4*k + s = -61. Does 15 divide k?
False
Let k(s) = 6*s**3 - s. Let g be k(1). Suppose 296 = -g*t + 6*t. Is 31 a factor of t?
False
Let a = 727 - 497. Suppose 0 = 3*r + 35 - a. Suppose 317 = 3*x + 5*u + 88, 4*u + r = x. Is 12 a factor of x?
False
Let v = 57 - 62. Is 14 a factor of (v - -6) + 1 + (44 - -2)?
False
Is 9 a factor of ((-945)/(-14) - -14)/((-2)/(-24))?
False
Let u(r) = 6*r**3 + r + 1. Let i be u(-1). Let q(j) = -j**3 - 6*j**2 - 7*j - 4. Let t be q(i). Suppose 2*n - 2*b = 66, -5*b + 3*b = -n + t. Does 16 divide n?
False
Is 4 a factor of 176/(-6)*(-81)/18?
True
Suppose -13*w = -3816 - 5284. Does 51 divide w?
False
Suppose -4*q = -5*q - 1. Let y be q/(-2)*20/5. Is (-46)/(0 - y) - -3 a multiple of 21?
False
Suppose 3*f - 766 = -4*b, f + 3*b - 262 = -0*b. Suppose -3*q + 4*o = 5*o - 148, -5*o + f = 5*q. Is q a multiple of 4?
False
Let x(p) be the second derivative of p**4/12 + p**3/6 + p**2/2 + 2*p. Let a be x(-2). Suppose -a*o + 7*o = 120. Is 15 a factor of o?
True
Suppose 23*d = 26*d - 1038. Suppose 3*o - d + 130 = 0. Is o a multiple of 36?
True
Does 13 divide (52/22)/13 + 15880/22?
False
Let q = 32 + -23. Let h = -7 + q. Suppose 0 = -v - 0*v - h, -7 = -x - v. Is 4 a factor of x?
False
Let g(u) = -348*u - 99. Does 13 divide g(-6)?
True
Suppose -2*h - 34 = -7*n + 3*n, 4*h - 12 = 0. Suppose -l + 2783 = n*l. Does 49 divide l?
False
Suppose -2*y + 6*t - 7*t = -68, 