*x - x - 3*h = -931, 3*h = 2*x - d. Does 22 divide x?
False
Let r = 61 - 78. Suppose -37 = -g - 2. Let b = g + r. Does 6 divide b?
True
Let n(m) be the second derivative of -m**3/6 - 10*m. Let c be n(18). Is 21 a factor of (-2)/4 + (-1125)/c?
False
Does 48 divide (-268)/((3/(-4))/((-30)/(-20)))?
False
Suppose 3*r - 3*c = 90708, 2400*c = 4*r + 2401*c - 120964. Is r a multiple of 21?
True
Suppose 4*s = -9*s + 65. Suppose s*a = 15*a - 190. Does 15 divide a?
False
Let z = -17 + 19. Suppose -y - z*u = 4*y - 137, 0 = -4*y + 2*u + 124. Let v = y + -13. Does 8 divide v?
True
Suppose l = 0, -2*l - 3*l - 20 = 5*b. Let y be 70/21 + b/(-6). Suppose 0 = -s + 7*f - 4*f + 140, 577 = y*s + 5*f. Does 21 divide s?
False
Suppose 4*f - 5*y = 70329, y - 17580 = 524*f - 525*f. Is 51 a factor of f?
False
Let y be (18/15)/(3/70). Let o(w) = -13*w + y + 25*w + 2*w. Does 21 divide o(4)?
True
Suppose 6*b + 75 = -75. Let q = 102 - b. Does 13 divide q?
False
Let i(j) = -j**2 + 22*j - 90. Let c be i(11). Let s = c - -44. Is 5 a factor of s?
True
Suppose -2*p = -5 + 7. Let j be 46/161 + (p - (-26)/7). Suppose j*d - 3*i = 144, d - 146 = -2*d + 2*i. Does 6 divide d?
False
Suppose -6 = -2*k, -4*q + k = -2*k - 39. Suppose t - q*t = -44. Suppose 3*j - 123 = 5*h, -j - t*h = -5*j + 156. Does 36 divide j?
True
Suppose 757*m - 819*m = -145018. Does 24 divide m?
False
Let d(r) = 2*r**3 + 15*r**2 + 25*r - 58. Does 40 divide d(9)?
True
Let m(a) = -a**3 - 33*a**2 - 35*a - 162. Does 38 divide m(-33)?
False
Let h(o) = 5*o**2 + 8*o - 19*o**2 + o**3 + 80 - 56. Let j be h(13). Let k = 49 + j. Does 5 divide k?
False
Let a = 19215 - 13385. Is a a multiple of 32?
False
Let k(r) = 13*r + 1052. Let w be k(0). Suppose 4*i - w = -4*s, 4*i - 5*s + 7*s = 1048. Is 9 a factor of i?
True
Suppose -1729 = -4*g + j, -5*g - 863 = -7*g - j. Is 101856/g + 2/9 a multiple of 3?
False
Is 15 a factor of -2*(-2)/(-20) + (-10)/(-75)*214539?
True
Is ((-55)/15)/((24 + -13)/(-61413)) a multiple of 11?
True
Let g(h) = -25*h + 1011. Is g(-101) a multiple of 16?
True
Let t = 10766 + -4208. Is t a multiple of 70?
False
Is 76833/(-15)*(-18 + 13) a multiple of 92?
False
Let n(t) = -4*t**3 - 4*t**2 + 2*t + 2. Let o be n(3). Let y = o - -184. Is 9 a factor of y?
False
Let j = -6863 + 8024. Is j a multiple of 4?
False
Let y = 51 - 107. Let h be -1*(-4)/(-14) + (-16)/y. Suppose h = 3*t - 0*t - 135. Is t a multiple of 5?
True
Suppose -o + z = -0*o - 183, 4*z + 370 = 2*o. Let c = -116 + o. Does 13 divide c?
True
Let h(p) = -p**3 + 6*p**2 + 2*p - 8. Let v be h(6). Let x(q) = -195*q + 21. Let l(u) = 28*u - 3. Let k(j) = v*x(j) + 27*l(j). Does 8 divide k(-2)?
False
Let r be (3/(-2))/(-2 + 1915/960). Let s = r - 204. Is s a multiple of 42?
True
Let i = 16052 + 7342. Is 14 a factor of i?
True
Let j(m) = 3*m**2 + 3*m - 16. Suppose -4*o + 4 = -0*d + 2*d, 16 = 5*d + 4*o. Is j(d) a multiple of 25?
False
Let o be ((-36)/(-2))/((-66)/(-61083)). Suppose -4973 = -32*k + o. Does 26 divide k?
True
Suppose 0 = 3*z - 0*z - 3*y - 303, 5*z = 4*y + 503. Let i = -2888 - -2774. Let h = z - i. Is h a multiple of 16?
False
Suppose 0 = 180*u - 177*u - 114. Let w(d) = -20*d + u*d + 29 - 21*d. Is 15 a factor of w(-9)?
False
Let g = -2630 + 7815. Is 34/119 + g/7 a multiple of 39?
True
Let n(v) = 1244*v + 101. Does 32 divide n(3)?
False
Suppose 4*b + d - 143528 = -29960, 5*b - 141951 = d. Is 14 a factor of b?
False
Let m(k) = 3*k**3 - 2*k**2 - 11*k + 73. Is m(6) a multiple of 2?
False
Suppose 557718 + 1886781 = 293*v. Is v a multiple of 81?
True
Let m(o) = 48*o + 517. Let j(t) = -70*t - 776. Let p(d) = -5*j(d) - 7*m(d). Is p(-12) a multiple of 31?
True
Let v be 36*((-2)/10 - (-12717)/135). Is (-6)/15 + (v/20)/3 a multiple of 7?
True
Let q be (-4)/((0 - 8)/4). Suppose y - 3*g = -q*y - 306, -3*y + 5*g = 304. Let b = y - -180. Does 24 divide b?
False
Suppose -34*u - 95649 = -1320397. Is u a multiple of 21?
False
Let y = -25 - -25. Let j = -301 - -359. Suppose y = -0*t + t - j. Is t a multiple of 3?
False
Let u(m) = 21*m - 87. Let p be u(6). Suppose -43*a = -p*a - 16, 5*b - 2756 = -4*a. Does 7 divide b?
False
Let k = -30144 + 57095. Does 110 divide k?
False
Let a(f) = -2*f**3 + 3*f**2 + 10*f + 7. Let t(l) = 3*l**3 - 3*l**2 - 11*l - 8. Let o(i) = -4*a(i) - 3*t(i). Is o(-2) even?
True
Let q(i) = i - 2. Let n be q(6). Suppose n - 13 = -s. Suppose -s = -3*z + 42. Is 4 a factor of z?
False
Let v(d) = -d**3 - 13*d**2 - 15*d + 1. Let k be v(-11). Let w = 128 - k. Is w a multiple of 18?
False
Let y = 26 + -22. Suppose -5*p + 12 - 35 = 2*h, 0 = -y*p - 3*h - 17. Is 18 a factor of (-1726)/(-14) - (p + 185/35)?
False
Suppose -7*k + 10 = -12*k, n + 4*k = 1284. Suppose -2*w - 3*f + 5*f + n = 0, 0 = -w - 3*f + 650. Does 39 divide w?
False
Suppose 3*v = -a - 32, 0 = -4*v + 2*a - 5*a - 36. Let u be (-53)/(32/v + 3). Is 10 a factor of (-2 + 20/12)*u?
False
Suppose -33 + 473 = -4*t. Let l = t + 350. Does 24 divide l?
True
Is (0 + -2050)/(24/(-1*840)) a multiple of 35?
True
Suppose h - v - 213 = 0, -2*h + 5*v = 7*v - 426. Let d = h - 114. Does 9 divide d?
True
Let d = -9 + 17. Let z(k) = k**3 + 4*k - 2*k**3 + 2*k**3 - 2*k**2 - 4*k**2 + 1 + 0. Does 28 divide z(d)?
False
Suppose -10 = 5*k + 9*y - 4*y, -4*k - 4 = 2*y. Suppose k = 4*j - 40 - 2816. Is 42 a factor of j?
True
Suppose 13*b - 19742 = 33558. Is b a multiple of 20?
True
Let x(u) = -10*u - 61*u + 44 + 19 + 2. Is x(-9) a multiple of 16?
True
Let v be -2 - 91/(-42) - (-281)/6. Suppose -v + 17 = -j. Does 5 divide j?
True
Let d(v) = 22*v**3 - 5*v**2 + 38*v - 58. Is 61 a factor of d(7)?
False
Let k(i) = i**3 + 8*i**2 + 19*i - 9. Let h be k(-4). Let j be 43 + (-2 - 0/3). Let t = j + h. Does 10 divide t?
True
Suppose -k - 172 = k - 4*j, 0 = -2*k + 5*j - 167. Let s be ((-1013)/(-1) - 1) + k/(-24). Suppose -s + 179 = -3*b. Does 31 divide b?
True
Is (-2625)/9*(-4*4 - 58/29) a multiple of 30?
True
Let p be 24/(-9)*3/(-2) + 113. Suppose -4*v = 16, -195 - p = -4*a - 3*v. Does 4 divide a?
False
Let s(z) = 1872*z**3 + 7*z**2 - 31*z + 86. Is s(3) a multiple of 46?
True
Does 8 divide ((-58)/10)/((18/(-1670))/9)?
False
Let u(j) = 66*j**2 - 10*j + 995. Does 67 divide u(17)?
True
Suppose -y + 3296 = 2*w, 12 = -386*y + 383*y. Does 13 divide w?
False
Let a(d) = 0*d - 4*d - d - 12. Let q be a(-3). Suppose q*b = 2*p - 32, 0*b = p - b - 17. Is p even?
False
Suppose -24*a + 1538012 = 10*a + 15*a. Does 62 divide a?
False
Suppose -192*s + 82188 + 765684 = 0. Does 44 divide s?
False
Let r(s) = 6*s**3 - 5*s**2 + 3*s + 2. Let y be -2 + (0*(-2)/(-4) - -4). Let p be r(y). Let g = p + -17. Is g a multiple of 7?
False
Let u(o) = 6*o + 388. Let n be u(17). Does 9 divide n + (-5 - 2) + 9?
False
Let j(g) = -1397*g + 2877. Is j(-5) a multiple of 5?
False
Is (13 - 1533/119) + (-27572)/(-17) a multiple of 5?
False
Suppose -33*m - 18720 = -48*m. Does 52 divide m?
True
Suppose 16 = -5*x - 3*m - 2, 5*m = -4*x - 17. Let t(h) = 9*h**2 + 7*h + 24. Is 32 a factor of t(x)?
False
Let v(z) be the first derivative of -5*z**2/2 - 26*z + 10. Let f be v(-7). Suppose f = g + 2*i - 46, 2*g = i + 105. Does 28 divide g?
False
Let l = -4246 + 10841. Does 53 divide l?
False
Let y be (-8)/12*((-4)/8 - -2). Let w be 2/(y - 1) + (71 - -10). Suppose -4*u + d + 80 = -3*u, u - 5*d = w. Does 40 divide u?
True
Let t = -234 + 239. Is 18 a factor of (t - 0/2) + 3 + 316?
True
Let j(r) = r**3 + 21*r**2 + 42*r + 32. Let i be j(-17). Suppose 6*m + 3 = 7*m, 0 = 3*b - 3*m - i. Is b a multiple of 7?
True
Suppose 24815 - 594532 = -198*a + 728371. Is 8 a factor of a?
False
Let y(p) be the second derivative of p**4/12 - p**3/3 + 157*p**2/2 - 11*p. Let u be y(0). Suppose 5*r = u + 168. Does 13 divide r?
True
Suppose -9*d = -10*d. Let v be 18/(d - 9/6). Does 13 divide (-6)/v*((-2 - -1) + 495)?
True
Suppose -4*c + 1 = -7, -2*c - 12 = -q. Let x = 17 - q. Is 35 a factor of (722 - -1)/(-3)*-1*x?
False
Let j(m) = -m**2 - 9*m - 14. Suppose 0 = -3*u - o - 2 - 17, -4*u + 4*o - 36 = 0. Let q be j(u). Suppose 4*s + 0*w = -w + 786, q = -w - 2. Is 24 a factor of s?
False
Let n(s) = -s**3 + 5*s**2 - 5*s + 7. Let x be n(3). Suppose p - 94 = x. Suppose -2*f + 4*c = 6*c - p, -232 = -5*f + 2*c. Does 24 divide f?
True
Suppose 0 = 14*q + 120*q - 1435140. Does 210 divide q?
True
Suppose 9 = 2*i + 25. Let t be i/12*(-3)/(-4