Suppose 59 = -k*g + 239. Is 20 a factor of g?
True
Suppose -614 = -2*m - 2*i, -6*i + 4*i = -3*m + 916. Does 9 divide m?
True
Suppose 5*q = -5*n + 25, 2*n + n = -4*q + 21. Let y(x) = x**3 - 5*x**2 + 8*x - 3. Does 19 divide y(q)?
False
Let v(b) = -b - 1. Let d be v(2). Does 10 divide ((-150)/(-4))/(d/(-4))?
True
Suppose -3*a + 2*v - 63 = -v, a + 29 = 3*v. Let s = 21 + a. Suppose -384 = -s*m - 2*m. Is m a multiple of 32?
True
Let k(x) = -20*x - 1. Suppose 11 = -3*r + 5. Does 22 divide k(r)?
False
Suppose 15*y + 5680 = 4*b + 10*y, 2*b - 2840 = -2*y. Is b a multiple of 17?
False
Let v = -30 - -30. Suppose v = 7*n - 38 - 88. Does 9 divide n?
True
Let k = -22 + -2. Let y be (-16)/k + 1425/9. Suppose y = 2*z + 3. Does 26 divide z?
True
Let r = 50 + 256. Is 17 a factor of r?
True
Let p be 4 - 3/(-3) - -2. Let g(f) = 17*f - 9. Is g(p) a multiple of 8?
False
Is 35 a factor of (-2 - 4) + (-5434)/(-19)?
True
Suppose -w = -4*w + 9, 586 = 5*z + 2*w. Is 8 a factor of z?
False
Let s(b) = -b**3 - 4*b**2 + 6*b + 7. Let d(j) = -j + 3. Let x be d(9). Does 9 divide s(x)?
False
Let x(g) = -g + 1. Let r(t) = 59*t - 1. Let j = -21 - -20. Let w(n) = j*r(n) - 3*x(n). Is w(-1) a multiple of 15?
False
Let r(f) = -11*f + 52. Is r(-16) a multiple of 6?
True
Let c = 45 + -25. Suppose 9*k = 11*k - c. Suppose -5*d + k*d - 240 = 0. Is d a multiple of 16?
True
Let g be 6*(24/9 - 0). Let w be 3/12 - (-44)/g. Suppose w*s = 5*l + 228, -6*l = -2*l + 12. Is s a multiple of 25?
False
Let p = 43 + -37. Suppose -p*f + 35 = -5*f. Is f a multiple of 5?
True
Suppose 57*u - 27038 = 81376. Is u a multiple of 12?
False
Let i(u) = -u**2 - 5*u - 3. Let n be (-1)/(-3) + (-42)/18. Let f be i(n). Suppose -4*j + 3*s - 127 = -8*j, f*s + 97 = 4*j. Is j a multiple of 7?
True
Let s be 81/(-18)*8/6. Let y = 9 + s. Suppose y*r - 30 = 6. Does 12 divide r?
True
Suppose -p - 3*p = 5*h - 7, 2*p - 3 = -3*h. Let w be (h - -7) + (-6 - -3). Suppose -144 = w*z - 7*z. Is z a multiple of 5?
False
Let z(x) = -2*x**3 - 74*x**2 + 139*x + 63. Does 11 divide z(-40)?
True
Does 77 divide 616*2/9*81/36?
True
Suppose 21 = 2*j + 5*a - 12, 6 = 2*j - 4*a. Suppose 3*d = -5*z + 9, 0*d + 5*z + j = 3*d. Suppose 72 = d*m + m. Is 6 a factor of m?
True
Let f(k) = 4*k + 10. Let u(n) = -3*n - 9. Let t(r) = 2*f(r) + 3*u(r). Let l be t(-6). Is l/(101/(-25) - -4) a multiple of 15?
False
Suppose 5*h + 30 = 100. Suppose -4*i + h = -6*i. Let n(l) = -2*l + 3. Is 10 a factor of n(i)?
False
Suppose -29*s + 16212 = -17*s. Is s a multiple of 36?
False
Let b(p) = p**3 - 11*p + 207. Is 5 a factor of b(0)?
False
Let r(j) = -6*j + 6 + 3*j**2 - 5*j + 6 - 15*j. Is r(10) a multiple of 24?
False
Let v(t) = t**2 - t - 17. Suppose 0 = -o + 2*o + 3*f + 3, 5*o + 5*f = 25. Is v(o) a multiple of 11?
True
Let y = -1038 + 5332. Does 18 divide y?
False
Let w(p) = -p + 12. Let q(t) = -13*t - 8. Let z be q(-4). Suppose -3*j - j = z. Is w(j) a multiple of 7?
False
Let s = -38 - -36. Is (s - -3) + -5 + 36 a multiple of 8?
True
Suppose 2 - 7 = -v. Let w be ((-2006)/(-85))/(1/(-5)). Does 8 divide 10/25 - w/v?
True
Let q be (-8)/28 + 624/28. Let d be 8 + q + (0 - 2). Suppose d = 4*y - 24. Does 13 divide y?
True
Let w = 172 + -65. Suppose -2*m + 45 + w = 0. Is m a multiple of 28?
False
Let g(f) = -6*f**3 - 9*f**2 - 9*f - 12. Let d(b) = 2*b**3 + 3*b**2 + 3*b + 4. Let z(y) = -8*d(y) - 3*g(y). Let t be z(-2). Does 10 divide (-4)/t + (-58)/(-3)?
True
Suppose -2*j = -4*j + 1112. Let c be (j/(-6))/(6/(-9)). Suppose -3*v - 5*k + c = 0, 0 = -5*v - 4*k + 356 - 133. Does 14 divide v?
False
Let q be (-6)/(-9) + 12/9. Let d be (-920)/(-90) - q/9. Suppose 2*s - 20 - d = 0. Is s a multiple of 10?
False
Is 325687/469 + 11/7 + -1 a multiple of 7?
False
Suppose 3*q = 5*i - 5127, -4*q - 5 - 11 = 0. Is i a multiple of 31?
True
Suppose -3*t + 2*v + 1264 = 0, -v + 3*v = 5*t - 2100. Is t a multiple of 19?
True
Let z(a) be the second derivative of -a**3/3 - 3*a**2/2 + a. Does 11 divide z(-13)?
False
Suppose 14*l + 3*n = 13*l + 753, -n - 3077 = -4*l. Is 34 a factor of l?
False
Let h = 447 - 53. Is h a multiple of 25?
False
Suppose 9*c - 9909 = 459. Is c a multiple of 64?
True
Suppose 0 = 4*h - 7 - 1. Suppose 0*b + v = -h*b + 353, 5*b + 3*v = 885. Does 14 divide 2/(-5) - b/(-10)?
False
Is (-10)/(-2) - (-113 + 10 + -7) a multiple of 9?
False
Is 9 a factor of (282/8)/(36/192)?
False
Let y(m) be the first derivative of 16*m**2 - 19*m + 5. Is y(2) a multiple of 5?
True
Suppose -5*v - 1 = -4*r - 177, -5*v + 164 = -r. Suppose 0*f + 4*f - v = 0. Suppose -f*l - 296 = -12*l. Is l a multiple of 16?
False
Let w = 5715 - 4011. Is w a multiple of 24?
True
Let y(m) = 19*m + 17. Is 12 a factor of y(2)?
False
Let o(w) = -w**3 - 22*w**2 - 42*w - 16. Let s be o(-20). Is 28 a factor of ((-196)/8)/((-6)/s)?
False
Suppose 18 = 5*p - 3*p. Let x be 2 - (7 - 2) - -382. Suppose 5*r - x = -p. Is 10 a factor of r?
False
Let v = -6 + 6. Suppose v = -2*s - 1 - 7. Does 11 divide (22/(-2))/(s/8)?
True
Let y = -239 - -285. Is y a multiple of 5?
False
Suppose 0*j - j = 5*n - 19, -4*j - 3*n + 42 = 0. Does 11 divide 36/2*j/(-6)*-6?
False
Let v = 772 - 733. Is v a multiple of 3?
True
Let h = 39 + -288. Let t = 357 + h. Is t a multiple of 18?
True
Let s(h) = -h**3 + 7*h**2 - 10*h + 10. Let z be s(6). Let o be z/8*64/2. Let x = 92 + o. Is 11 a factor of x?
False
Let a = 2784 + -2018. Does 33 divide a?
False
Suppose 13 + 7 = 4*w. Suppose t + w = r, -2*t = 3*r + t - 3. Suppose z - r - 3 = 0. Is 6 a factor of z?
True
Let v be (2/(-9) - 138/(-135))*-5. Let a = 20 - v. Does 6 divide a?
True
Let a = -50 + 125. Is a a multiple of 3?
True
Let c be (-18)/48 - (-108)/32. Suppose -3*k = -3*z - 213, -z = k + c*z - 61. Is 18 a factor of k?
False
Let c(x) = 18*x**2 - 21*x - 61. Is 13 a factor of c(-4)?
False
Let w = 700 + -380. Is w a multiple of 32?
True
Let i(b) = 149*b - 702. Is 16 a factor of i(39)?
False
Let q = 3 - -3. Suppose 36 = q*h - 5*h. Is 18 a factor of h?
True
Let y(s) = 2*s**3 + 17*s**2 + 10*s. Is 8 a factor of y(-7)?
False
Let p(y) = 6*y + 7*y**2 - 5 - 8*y**2 + 3*y**2. Does 6 divide p(-7)?
False
Let p = -521 + 456. Let t(j) = -j**3 + 4*j**2 - 2*j - 7. Let b be t(6). Let w = p - b. Does 9 divide w?
False
Let i = 2907 - 157. Is i a multiple of 25?
True
Let c = 24 - 21. Suppose c*r = 36 + 18. Is r a multiple of 6?
True
Let c(a) = 42*a**2 + 2*a + 12. Is 58 a factor of c(4)?
False
Suppose 1 = 2*a + 2*h - 3, 3*h = 2*a - 4. Suppose -5*q - a*t = 2*t + 114, t = -1. Let b = q + 44. Does 9 divide b?
False
Let c(r) = -r - 5. Let g be c(-4). Suppose -6*d = 5*d + 110. Is 30 a factor of (6 + -3)/(g/d)?
True
Let d = 128 + 40. Suppose 5*l + 7*l - d = 0. Is 6 a factor of l?
False
Suppose -t = -2*t - 4. Suppose 3*u - 1 = 5. Does 3 divide -22*1*u/t?
False
Suppose 4206 = 5*b + 3*k, -1044 = -2*b + 4*k + 628. Does 10 divide b?
True
Does 72 divide (-32)/(806/162 - 5)?
True
Let r(u) = 33*u + 13. Let o = -16 + 19. Does 14 divide r(o)?
True
Let c = 8 - -24. Let n be (-25)/(-9) + c/144. Suppose -21 + 6 = -n*o. Does 4 divide o?
False
Let t be -3*(-2 + (-8)/(-2)). Does 7 divide (-6)/(-3) - (t - 2)?
False
Suppose -1553 = -4*x + 1827. Does 65 divide x?
True
Does 37 divide 374/2 + (2 - 4)?
True
Let h = -99 + 112. Let c(z) = -z**3 + 12*z**2 + 17*z - 31. Does 2 divide c(h)?
False
Suppose 0 = 21*a - 9*a - 96. Is (-586)/(-8) - 2/a a multiple of 8?
False
Suppose 74*x = 82*x - 640. Is x a multiple of 4?
True
Suppose 59*d - 46648 = 25*d. Does 14 divide d?
True
Suppose 0 = 7*t + 4 - 32. Suppose -t*v - v + 205 = 0. Is 7 a factor of v?
False
Let b be 4*4/8*18. Let i(x) = -x**3 + 6*x**2 + 6*x - 9. Let q be i(6). Is 8 a factor of b/q*(-6)/(-1)?
True
Let c be -5*(-15)/25 + 2. Suppose -34 = 4*v - c*v + 4*i, -3*v + 81 = -5*i. Is v a multiple of 5?
False
Let z(y) = -2*y**3 + 2*y**2 - 3*y - 4. Let k(b) = -b**3 + 3*b**2 - 3*b - 4. Let r(p) = 3*k(p) - 2*z(p). Does 8 divide r(-4)?
True
Let d(a) = -a**2 - 39*a - 2. Does 26 divide d(-37)?
False
Suppose -4 = -4*a + 12. Suppose w + 327 = a*w. Is 15 a factor of w?
False
Does 12 divide -5*(-4 - 340/((-24)/(-6)))?
False
Let t be (-1)/5 + 126/(-70). Is -12 + 8 - 284/t a multiple of 38?
False
Let l(m) = -24*m**3 - m + 1. Let s be l(-2). Suppose 10*b - 5*b = s. Does 13 divide b?
True
Suppose 5*w - 2*h = 3784, w = -3*w + 4*h + 3032. Is w 