pose -10*m = 3*m - 156. Does 6 divide m?
True
Let m(n) = 6*n - 3. Let v be m(1). Suppose -5 = 5*g, -2*x - 3266 = v*x - 4*g. Does 28 divide ((-4)/6)/(4/x)?
False
Suppose 4*a - 5*g + 6 = -2, -2*g - 8 = 0. Let l be (-39)/a - 8/14. Suppose 3*r = 5*o - 68, 0*o + l*r - 52 = -2*o. Does 4 divide o?
True
Suppose 16 = -2*j + 6*j. Suppose -3*f - 3 = -j*f. Suppose -125 = -5*d + f*i + 86, d - 4*i - 32 = 0. Is d a multiple of 22?
True
Suppose -2*j + 38*s + 748 = 40*s, 0 = 3*j + s - 1122. Is j a multiple of 12?
False
Let c = 782 + -736. Does 23 divide c?
True
Let a be -1 + -2*12/(-8). Suppose -3*n - 45 = 3*j, 0 + 2 = -a*n. Let t(s) = -s**3 - 15*s**2 - 16*s + 1. Does 6 divide t(j)?
False
Suppose 3*w = 5*y + 675, -y - 1103 = -3*w - 2*w. Is 11 a factor of w?
True
Let n be -1 + (-9)/3 + 2. Let i be (n - -9) + (-3 - -1). Suppose i*z - 2*b - 49 = 0, -5*b - 23 + 82 = 4*z. Does 4 divide z?
False
Let o(t) = 23*t - 84. Is o(11) a multiple of 22?
False
Suppose 0 = -2654*f + 2635*f + 1881. Does 9 divide f?
True
Let m = -9 - -12. Let u be ((-8)/(-3))/((-7)/21). Does 12 divide (-194)/u + m/(-12)?
True
Let w(p) = p**3 - 9*p**2 + 7*p + 12. Let x be w(8). Is 37*(2 - x - -3) a multiple of 27?
False
Let p(w) = 4*w**2 + 27*w - 146. Is p(8) a multiple of 12?
False
Is 16 a factor of 1156*(-3)/(-42)*56?
True
Let i be (-4 + 10)*70/2. Suppose i = 2*u + 54. Is 26 a factor of u?
True
Suppose 11*w - 803 - 913 = 0. Is 12 a factor of w?
True
Let f be (-12)/(0 - 1) - -1. Suppose -h + f + 0 = 0. Is h a multiple of 3?
False
Let y(c) = c**2 - c + 37. Let s(x) = x**3 + 9*x**2 + 8. Let j be s(-9). Is 15 a factor of y(j)?
False
Suppose 8*t = 6 + 10. Suppose 87 = 4*b - 3*i, -4*b + t*i + 114 = b. Is b a multiple of 24?
True
Suppose 693 + 979 = 19*z. Is z a multiple of 22?
True
Let x be (-84)/(-30) + (-2)/(-10). Suppose 4*b = x*m - 33 - 35, 0 = 2*m + 5*b - 30. Suppose 0*l - l = -m. Does 14 divide l?
False
Let g = 10 - 14. Is 7 a factor of g - -1*(-50)/(-1)?
False
Let k(n) = 2*n - 35. Let x be k(20). Suppose -5*i = x*j - 0*j - 1225, -2*j - 260 = -i. Is 16 a factor of i?
False
Let h(l) = 46*l**2 + 2*l - 3. Does 45 divide h(1)?
True
Suppose 5*w - 6 = 4*w. Let m(o) = 45*o + 3. Let i be m(3). Suppose w*a - i = a + 4*c, c + 147 = 5*a. Is 10 a factor of a?
True
Suppose 0 = 4*d + z - 4*z - 14843, 4*z = -3*d + 11126. Is (6/(-11))/3 - d/(-77) a multiple of 24?
True
Let f = 81 + -56. Suppose 3*d = 5*l - f, -3*l - d = 2*d + 9. Suppose -x - 3*h - l*h = -19, -11 = x - 5*h. Does 2 divide x?
True
Let f(l) be the first derivative of 1 + 1/3*l**3 - 3*l + 5/2*l**2. Does 15 divide f(-8)?
False
Let y(x) = x**2 - 7*x - 2. Let f be y(8). Suppose 5*c = -3*s - f + 92, 5*s - c - 190 = 0. Let u = 59 - s. Is u a multiple of 6?
False
Is 18 a factor of 2/20 - (214326/60)/(-9)?
False
Let y(g) = -g**3 + 8*g**2 - 6*g - 7. Let z be y(6). Suppose -3*a + 4 = h - z, 2*a = 3*h - 88. Suppose 0*s + 3*s = h. Is s a multiple of 2?
True
Let r(p) = -p + 15. Let b be r(10). Let u = 7 - b. Suppose 2*j = u*a - 3*j - 3, 3*a = -4*j + 62. Is 7 a factor of a?
True
Suppose 0 = -d + 9 - 3. Let r be d/8 + 63/(-4). Let n = r - -24. Does 7 divide n?
False
Let d(k) = 2*k**2 - 8*k + 1. Let l be d(6). Does 17 divide l + (-10)/(-4)*6/(-5)?
False
Let n(k) = -k**2 + 10*k. Let p be (-161)/(-3) - 4/(-12). Suppose -3*i + p = 3*i. Does 5 divide n(i)?
False
Is (-2)/5*(-3 + -722) a multiple of 16?
False
Let d = -22 - -13. Is 3 a factor of (d - -5)*30/(-8)?
True
Let z = 8016 - 4628. Is 22 a factor of z?
True
Let f(c) = 41*c**2 - c. Suppose -14*t - 7 = -7*t. Is 24 a factor of f(t)?
False
Let a(h) = -3*h - 24. Let f be a(-8). Let t(p) = -p**3 + p**2 + p + 40. Does 9 divide t(f)?
False
Does 13 divide (-356)/(-1) + 41 + -33?
True
Suppose -11*i - 4121 = -22128. Does 64 divide i?
False
Let f be -73 - 18/12*(-2)/1. Does 22 divide (-1 - (-245)/25)*f/(-4)?
True
Let c(t) = 8*t**3 - 4*t**2 + 3*t + 8. Is 39 a factor of c(4)?
True
Let n(b) = b**2 + 8*b + 7. Is 12 a factor of n(-31)?
True
Suppose -4*p = 3*d, -4*p = -6*p + 6. Is -2 + d/(-2) + 12 a multiple of 12?
True
Suppose -2*n + 1345 - 361 = 0. Does 82 divide n?
True
Suppose 5*c - 11 = 4. Let j be (51/(-9) - -5)*414/(-4). Suppose -c*v = -0*v - j. Is 19 a factor of v?
False
Let c = 108 - 41. Let m be c/((1 - -1)/(-2)). Let w = 97 + m. Is 30 a factor of w?
True
Suppose -z + 6*z = 20. Suppose -25 = -u + z. Is 22 a factor of u?
False
Let o(u) = -u**3 + 24*u**2 + 5*u + 78. Does 10 divide o(14)?
False
Suppose -4*k + 5075 = -5*x, -5*x + 0*x = -k + 1280. Does 11 divide k?
True
Suppose 5*s - 37 = 3*y - 11, 0 = -5*s - 5*y + 10. Suppose -241 = -s*d + 19. Is 17 a factor of d?
False
Let o = 422 + -300. Suppose 0*r + 62 = 2*r - 3*u, -4*r = -5*u - o. Does 8 divide r?
False
Suppose 5*z = 4*c - 667, -2*z = 4*c - 1098 + 452. Let m = 238 - c. Is 5 a factor of m?
True
Suppose -10 = -4*o + 10. Suppose -2 = 3*k - o*k. Does 11 divide (-33)/(-12)*k*20?
True
Let w(r) = 56*r - 117*r + 60*r. Let v be w(0). Suppose 10*g - 9*g - 15 = v. Does 4 divide g?
False
Suppose n - z - 405 = 132, -4*z - 528 = -n. Is 36 a factor of n?
True
Let z = -18 + 16. Let n = z + 25. Does 23 divide n?
True
Let x be -1 - (-2 + 0)/(7 - 5). Suppose x = -2*m + z - 4*z + 53, 4*m + 2*z = 86. Does 19 divide m?
True
Let k(a) = -150*a + 405. Is k(-5) a multiple of 33?
True
Let v(m) = -m + 2*m + 4 + 5 - 2*m**2 - 1. Let c be v(6). Is 7 a factor of c/(((-4)/(-1))/(-2))?
False
Let c = -8 - -12. Let s be -1 + 1 + (c - -21). Let h = s + -9. Does 16 divide h?
True
Let s be (-24)/9*(-3)/2. Suppose 0*l + 100 = s*l. Suppose -55 - l = -2*q. Is q a multiple of 14?
False
Let x(d) = -3*d**3 + 2*d**2 - 5*d - 3. Let v be x(-5). Is v/2*11/((-198)/(-12)) a multiple of 31?
False
Suppose -c + 4*c - 5*y = 121, -5*y - 27 = -c. Let g = c - -39. Does 10 divide g?
False
Let h(u) be the third derivative of u**6/120 + u**5/5 - 2*u**4/3 + 41*u**2. Let y(t) = -2*t**2 + 2*t - 1. Let r be y(3). Is h(r) a multiple of 10?
False
Let d(a) = -a**3 + 4*a**2 + 12*a + 8. Is 44 a factor of d(-4)?
True
Let j = 1 + 6. Let l = 10 - j. Suppose 5*p = -0*r - 3*r + 65, -l*p - 57 = -3*r. Does 10 divide r?
True
Let i(a) = 2*a**2 - a - 4. Let v be i(2). Does 14 divide 3 + -122*(-1)/v?
False
Let b be (-526)/(-1) + -1 + -4. Suppose 0 = 4*s - b + 13. Is s a multiple of 21?
False
Suppose 71*u - 112515 = 6*u. Is 13 a factor of u?
False
Let p(u) = u**3 + 8*u**2 + 8*u + 10. Let w be p(-4). Suppose -318 - w = -3*f. Does 15 divide f?
True
Let n be 25/15*3 - 19. Does 14 divide (-12)/((-2)/n - 54/182)?
False
Suppose -2*r - 90 = -4*o + 9024, 3*r = -4*o + 9129. Does 27 divide o?
False
Let f = -26 - -36. Suppose u - 10 = q, 0 = -u - q - 2*q + f. Is 5 a factor of u?
True
Suppose -4*a - 8 + 0 = -4*d, 0 = -a + 4*d - 14. Suppose -a*c - 180 = -0*c + 4*f, 5*c + 426 = 2*f. Is (28/(-8) + 3)*c a multiple of 15?
False
Suppose 3*l - 3*n - 933 = 0, -2*l + 3*n + 1246 = 2*l. Is 15 a factor of l?
False
Suppose -3*q = 2*m - 5*m - 3, 3*q = -5*m + 35. Suppose m*l - l = 12. Suppose l*b - 542 = -y - 161, 188 = 2*b - 2*y. Does 19 divide b?
True
Let i(a) = -3*a**2 - 9*a + 26. Let f(p) = p**2 - p - 1. Let k(x) = -4*f(x) - i(x). Let q be k(11). Is q*(-1)/4 - -24 a multiple of 3?
True
Let a(k) = 114*k**2 - 17*k + 15. Does 30 divide a(3)?
True
Suppose -2*x = 3*x + 3*t + 172, 2*t = -3*x - 104. Let h be 115/4 - 8/x. Let k = h + -9. Is k a multiple of 8?
False
Suppose -5*o = 1 + 14. Does 7 divide (-1 - 0)*(-5 - o - 19)?
True
Suppose 2*u - 1324 = 754. Let z = u - 1639. Is 32 a factor of (8/10)/((-5)/z)?
True
Let i(c) be the first derivative of -2*c**3/3 + 4*c**2 + 4*c - 1. Let v be i(4). Suppose 0*a = -3*g + 4*a + 196, 44 = g + v*a. Is g a multiple of 11?
False
Let j(l) = -l**2 + 8*l - 7. Let d(o) = -6*o**3 + 2*o**2 + o. Let x be d(-1). Let p be j(x). Suppose p = 3*y - 2 - 121. Is 10 a factor of y?
False
Suppose 50 - 162 = -4*h. Let z = h + 15. Suppose 5*g - 116 = 6*s - 2*s, 2*g = 5*s + z. Is g a multiple of 6?
True
Suppose -4*s - 3607 = -5*u + 3178, u - 1357 = -2*s. Does 23 divide u?
True
Let u = -74 + 458. Does 64 divide u?
True
Let d = -21 + 57. Let f = 117 - d. Is f a multiple of 43?
False
Suppose 13*l + 2*l + 2175 = 0. Let o = 223 + l. Does 36 divide o?
False
Let h(g) be the first derivative of g**2/2 - 3*g + 11. Let b be h(8). Suppose -b*a + 124 = 14. Does 13 divide 