*(-2)/4?
False
Let k(z) = 17*z**3 - 15*z**2 - 22*z - 17. Let p(h) = -9*h**3 + 7*h**2 + 10*h + 8. Let d(r) = 6*k(r) + 13*p(r). Let f be d(1). Is -1 + (-6 - -3) - f even?
True
Suppose 0 = -7*t - 13 + 328. Is 34 a factor of t/6*(-7140)/(-90)?
False
Let v(w) = -8*w**2 + 10*w + 26. Let r be v(-7). Let j = 1076 + r. Does 20 divide j?
True
Suppose 0 = -21*i + 16*i - 70. Let b = 279 - i. Let w = 419 - b. Is 9 a factor of w?
True
Let u(z) = -z**3 + 3*z**2 + 2*z - 5. Suppose 0 = -7*o + 8*o - 3. Let f be u(o). Suppose -2*j + 176 = -5*t, -9 + f = -2*t. Does 14 divide j?
True
Let w = 20 + -2. Let i = 3366 - 3363. Suppose 2*u + t - 41 = 0, -33 = -2*u - i*t + w. Is u a multiple of 14?
False
Suppose 4*o + 10283 = 6*o + 3*t, 20596 = 4*o - 4*t. Does 31 divide o?
True
Let d(o) = -3*o - 5 + o + 1 - 16. Let t be d(-12). Suppose 0 = -t*s + 3*s + 5*g, 44 = 3*s - 4*g. Is s a multiple of 5?
True
Let a(u) = 3*u - 19. Let i be a(11). Suppose -5*r = -1 - i, 4*r - 96 = -2*v. Is v a multiple of 5?
False
Let l be (-10)/2 + (3*32 - 1). Suppose l*x - 275 = 85*x. Does 5 divide x?
True
Let w(p) = p**2 + 45*p + 205. Is 5 a factor of w(-43)?
False
Let o be (3741 - 0)/(12/16 + 0). Suppose -8*r + o = 380. Is 36 a factor of r?
True
Let u(n) = 16*n**2 + 2*n - 4. Let g = 87 + -89. Does 56 divide u(g)?
True
Let m = -96 - -72. Let g be 1 + 2 - (m - -15). Is 8 a factor of ((-19)/(-3) + g + -9)*6?
True
Suppose 4*y - 5 + 13 = 0. Let k(j) = -29*j**3 + j**2 - 4*j - 7. Is 21 a factor of k(y)?
False
Suppose 0 = 3*p - 8*p + 15. Suppose 3*h - 1 - 2 = 4*m, h = p*m - 4. Let i(v) = 8*v**2 - 8*v + 20. Is i(h) a multiple of 18?
True
Let m(k) = 4233*k - 40. Is 93 a factor of m(1)?
False
Let t = 38 - 55. Let g(b) = 8*b**2 + 17*b + 6 - 3 + 10 - 7*b**2. Is g(t) a multiple of 12?
False
Let u = 1627 - -1229. Suppose -24*f = -32*f + u. Is f a multiple of 18?
False
Suppose 3*n - 3*g - 1696 = -2*g, 1704 = 3*n + 3*g. Suppose -h - 399 = -2*s + 5*s, 2*s + 398 = -h. Let f = n + h. Does 34 divide f?
True
Suppose d - 72127 = -3*u, 5*u - 85312 - 34867 = 3*d. Is u a multiple of 20?
True
Let d(j) = j**2 - 7*j - 24. Let t be d(10). Suppose -t = q - 2. Is 8 a factor of (-3 + 3 - -28)/((-2)/q)?
True
Suppose -738*x + 734*x + f = -61331, 2*f = -5*x + 76680. Does 17 divide x?
True
Suppose -f + 388 = 387. Let a(k) = -k**2 - 6*k - 4. Let o be a(-3). Suppose 3*b = 2*s - 21, -o*b = -s + 6 + f. Is 12 a factor of s?
True
Let i(q) = -444*q**3 - q - 1. Let z(g) = -16*g - 225. Let u be z(-14). Does 12 divide i(u)?
True
Let l be (3/4)/((-66)/(-616)). Suppose l*m - 5*m - 4*i - 1472 = 0, i = 4. Is m a multiple of 24?
True
Let x = -581 + 982. Suppose -7*m + x = -1223. Let k = m + -48. Is k a multiple of 23?
True
Let q(d) = 165*d + 952. Does 3 divide q(-5)?
False
Let a = -371 + 540. Suppose k + 4*m - a = 0, 3*k + 73 = 5*m + 614. Is k a multiple of 15?
False
Suppose -14*p = -18*p + 24. Is (-200)/p*1650/(-125) a multiple of 8?
True
Let a(v) = v**3 + 8*v**2 - 7*v + 20. Let x be a(-9). Suppose 2*p - 1336 = 2*g, 2*p = p - x*g + 656. Is 33 a factor of p?
False
Suppose 195 = -2*v - 3*v. Let f = v - -34. Is 0 + f - -2 - 25*-2 a multiple of 20?
False
Let q(n) = 2*n**2 + 2*n - 1. Let o(l) = 11*l**2 - 2*l + 97. Let y(w) = o(w) - 5*q(w). Is y(17) a multiple of 11?
True
Suppose -4*g + 2*o - 14 = -2*g, 27 = -3*g + 5*o. Does 11 divide (-15)/72*g + 1339/6?
False
Let x(c) = -c**2 - c - 1. Let q be x(-2). Does 15 divide (1682/q + -2)*171/(-228)?
False
Suppose -3166 = -7*t + 3764. Suppose 18*k = 3*k + t. Does 6 divide k?
True
Suppose 8*t - 8990 = 3*t - 5*s, 2*s + 1786 = t. Is 23 a factor of t?
True
Suppose 0 = -h + 2*q + 25644, 56 = -h + q + 25702. Is h a multiple of 28?
True
Let k(w) = 60*w**2 - 42*w + 801. Is k(15) a multiple of 21?
True
Let h(n) = -4*n**3 - 23*n**2 - 48*n - 208. Does 21 divide h(-16)?
False
Let s be -3*28/6*7. Let t be (s/(-8))/((-3)/12). Let p = -39 - t. Is p even?
True
Let k = 542 + -539. Suppose -3*h = -k*x - 612 - 33, -4*h + 868 = 4*x. Is 8 a factor of h?
True
Suppose -4*h + 20 = 5*d - 9*d, 5*d + 5 = 0. Suppose -4*s + 118 = -h*j + j, -5*j - 150 = -5*s. Is s a multiple of 4?
True
Let v(q) = 7*q**2 - 4*q + 1. Let i be v(1). Let w(y) = 2*y**3 - 6*y**2 + 4*y - 11. Does 3 divide w(i)?
False
Suppose -260 = -2*z - 0*y + y, 3*y + 384 = 3*z. Suppose u = -2*u + 15. Suppose u*t - 682 + z = 0. Is t a multiple of 22?
True
Let x = -68 - -66. Let k be (-1 - x)*(25 - 15). Let o(v) = v**3 - 10*v**2 + 4*v - 4. Does 15 divide o(k)?
False
Let h(f) = -19*f + 3. Suppose 0 = 266*b - 271*b - 15. Does 4 divide h(b)?
True
Suppose 7*d - 2*m - 23886 = 2*d, 4*m = -2*d + 9540. Is d a multiple of 199?
True
Let g(n) = -2*n + 1. Let z be g(1). Let q = z - -4. Suppose -q = -3*u + 24. Is 3 a factor of u?
True
Let q = 1568 - -266. Does 14 divide q?
True
Let y(a) = -3*a. Let l be y(-1). Suppose 20 = -2*q + 4*u, -u = -4*q - l*u. Does 8 divide 51*(3 + q) - 3?
True
Suppose 7128 = 32*u + 34*u. Does 10 divide (90/(-24))/((-9)/u)?
False
Let w(b) = 185*b + 1288. Is w(2) a multiple of 8?
False
Let i = -51 + 53. Suppose -2*t = i*d - 116, 5*d - 44 - 267 = 2*t. Suppose 4*m + d = 205. Is m a multiple of 4?
True
Let z = -67 - -187. Is (z/75)/((-1)/(-85)) a multiple of 17?
True
Suppose 3*f + 4*f - 28595 = 0. Suppose -y + 20*y - f = 0. Is y a multiple of 13?
False
Let z = 18 + -8. Let u be 1085/z*(0 - (1 - 3)). Is 12 a factor of u/(-10)*-2 - 2/5?
False
Suppose -2*k = 31 - 41. Suppose s = k*a - 403, -2*s + 83 = a - 3*s. Is a a multiple of 40?
True
Suppose 3*j + 31038 = 3*r, -4*r + 11*j + 41381 = 6*j. Suppose 1115 = -19*c + r. Is c a multiple of 9?
True
Suppose -2*d + 0*d - 1298 = -3*m, -2*d + 10 = 0. Let x be 2/(-11) + -3*m/66. Let c = -7 - x. Is 3 a factor of c?
False
Let b be (306/(-7))/6 + (-2)/(-7). Does 4 divide b + 117 + -4 + 4?
False
Suppose 20 = -6*p + 2*p. Let o be (-2 - p)/(0 + -1) + 3. Suppose 10*a - 8*a - 166 = o. Is a a multiple of 14?
False
Let h(s) = -23*s - 4 + 24 + s**2 - 69 - 30. Let z be h(26). Is z - (-90)/(20/4) a multiple of 3?
False
Suppose 25*n - 21*n = -16. Let k be (-3390)/(-21) - n/7. Let j = k + -58. Is j a multiple of 15?
False
Let b(f) = -219*f + 1. Let u = -52 + 51. Let a be b(u). Let r = a - 147. Is r a multiple of 13?
False
Suppose -d - 22 = -2*t - 5*d, 2*d = -3*t + 21. Suppose 5*w - 2 = -7, t*m = 4*w + 14. Does 7 divide 418/12 - (m - (-39)/(-18))?
True
Suppose 63 = 4*q + z, 5*q + 6*z - 7*z = 72. Is 102/36*q - 1/2 a multiple of 21?
True
Suppose 26*q - 4200 = 6*q. Suppose h - q = -k + 60, 3*h - 5*k - 778 = 0. Is 14 a factor of h?
True
Is 0 - 1/5 - (30 - (-206118)/(-90)) a multiple of 4?
True
Let y be 70/(-3)*(2 + 21/(-6)). Let w = 23 + y. Is 17 a factor of w?
False
Let d be 3/9 + (-268)/12 + -1. Let i(z) = -z + 109. Does 22 divide i(d)?
True
Suppose 0 = -7*p - 251 + 1091. Let t = 370 - p. Does 58 divide t?
False
Suppose -2*d - 10 = -2*r, 18*d + 8 = r + 14*d. Suppose -3*s + 1641 = 3*q, -r*q + 1657 = -q - 5*s. Is 61 a factor of q?
True
Let k(b) = -15*b + 501. Does 5 divide k(-8)?
False
Let n(d) = -3*d**2 + 4*d - 4. Let s be n(6). Let f = s - -85. Let b(y) = 23*y**2 + 14*y - 4. Is b(f) a multiple of 21?
False
Let l(w) be the third derivative of w**6/120 - w**5/12 - 5*w**4/12 + 13*w**3/3 + 207*w**2. Is 11 a factor of l(8)?
False
Let x(s) = 70*s**2 + 59*s + 64. Does 19 divide x(-10)?
False
Suppose 9*j + 4 = 10*j. Suppose -j*k + 271 = 103. Let f = k - -13. Is f a multiple of 11?
True
Suppose 2*m - 4*m + 30 = 0. Suppose m*o + 275 = 16*o. Is 11 a factor of o?
True
Let d = 31 + -38. Let h be (-9)/(-6)*(d + 77). Suppose p = -m + h, 2*m - 3*p = -m + 327. Is 20 a factor of m?
False
Let y(x) = -32*x - 88. Let v(o) = 14*o + 44. Let m(b) = 7*v(b) + 3*y(b). Let p = -17 + 8. Does 13 divide m(p)?
True
Let h(c) = -322*c - 332. Does 24 divide h(-2)?
True
Suppose -h - 6 = -4*n, 2*h = 5*n - 0*h - 6. Let j(r) = r**3 + 9*r**2 - 8*r - 4. Let g be j(-7). Suppose a = -4*x + 120, -n*a + 3*a + g = 5*x. Does 10 divide x?
True
Suppose -3*v - 14767 = -5*s, -371*v - 5941 = -2*s - 366*v. Is s a multiple of 54?
False
Suppose 11*r = 3198 + 4535. Does 20 divide r?
False
Is 1259380/80 + 25/(-100) a multiple of 31?
False
Does 9 divide (-5)/(-9 + 23892/2655)?
False
Is 43 a factor of -129*-5*1616/240?
True
Suppose 5*z - 203 = -29*n + 27*n, 5*n - 3*z = 585. Suppose 393 - n = 3*l. Is l a mu