z - 426 = 3*k - z, -2*k = -2*z + 282. Let f = 250 + k. Is f a multiple of 5?
False
Suppose 7 = -11*y - 4. Is 181 - -2 - 3/y a multiple of 69?
False
Let m(w) = 19*w + 10 - 8 + 9*w**2 - 21*w. Let j be m(4). Let u = j - 76. Is 9 a factor of u?
False
Let s(h) = 9*h + 3. Let a be s(8). Let d = -77 + a. Is (2 - (-2)/d) + 79 a multiple of 8?
True
Let t(l) = l**3 - 34*l**2 - 438*l - 24. Is t(44) a multiple of 16?
True
Let s(n) = -n**3 - 10*n**2 + 6*n + 29. Let y(f) = f**3 + 9*f**2 + 23*f + 19. Let x be y(-6). Is s(x) a multiple of 7?
True
Suppose 2*g - 4*g + 3 = -n, 0 = 3*g - 9. Suppose 5*r - 880 = -5*c + 125, r - n*c = 189. Suppose 2*a + a = -3*s + r, s - 4*a = 91. Is s a multiple of 12?
False
Suppose -49*v + 3472 = -45*v. Suppose v = -22*q + 26*q. Is 31 a factor of q?
True
Suppose 397554 + 96142 = 19*w. Is 57 a factor of w?
False
Let n = -9600 - -13488. Is 16 a factor of n?
True
Is (2/4*-3)/((-1809)/11144646) a multiple of 7?
False
Suppose -74 = 4*p + 3*s - 938, -s - 848 = -4*p. Does 8 divide p?
False
Let u be 409/2 + (-13)/26. Suppose 0*y = 2*y - u. Let m = y + 6. Is 36 a factor of m?
True
Let w(k) = k**3 - 8*k**2 + 5*k - 10. Let z(j) = -j**2 - j. Let m(d) = -w(d) - 6*z(d). Let b be m(14). Is 18 a factor of (b/9)/(2/90)?
False
Let v(n) = -n**3 + 4*n**2 + 16*n - 9. Let x be v(6). Suppose 7*g - x*g = -3152. Is g a multiple of 20?
False
Let w(v) = v**3 - 5*v**2 + 2*v - 14. Let z be w(5). Let y be z/(-20) + (-1316)/(-20). Let o = -42 + y. Does 6 divide o?
True
Suppose -2*n - 2*p + 11292 = 0, 44*p - 41*p = 5*n - 28182. Does 17 divide n?
False
Suppose 2*z - 2543 = -f, 2*f - 52*z + 48*z = 5054. Is 39 a factor of f?
True
Let n(w) = w**2 - w - 14. Let f be n(-4). Let a be 3*(1 + 1)/f. Is 37 a factor of a/((4/1124 - 3) + 3)?
False
Let t(q) = 162*q**2 + 13*q + 23. Let v = 123 + -125. Does 38 divide t(v)?
False
Suppose -u - 9*j + 10*j + 1639 = 0, -8245 = -5*u - 5*j. Is 12 a factor of u?
True
Suppose 0 = -3*v + 2 + 13. Suppose -v - 4 = -3*j. Suppose -j*r = -4*c - c - 307, 4*c + 8 = 0. Does 26 divide r?
False
Let t be 0/11 - -68*29. Suppose 8*s + 9*s - t = 0. Is 32 a factor of s?
False
Suppose y + 0 = -d + 2, -4*y = 2*d. Suppose 0 = -d*k + 521 + 687. Is k a multiple of 4?
False
Suppose -2*q + 0*l = -2*l - 4368, -5*q = 2*l - 10913. Suppose 3*v = 2*m + 675 + q, 0 = -2*v + 3*m + 1902. Is 9 a factor of v?
True
Let v(h) = -8*h**2 + 2*h - 25. Let n(p) = 4*p**2 - p + 12. Let y(b) = 7*n(b) + 3*v(b). Let l be y(3). Is 7 a factor of 3031/l + 3/(-18)*1?
False
Let p(d) = -d**3 + 21*d**2 - 14*d + 24. Let w be p(19). Does 11 divide (2/5)/((-8)/(-22*w))?
True
Suppose 0 = -5*c + 4*j - 627, 4*j = -0*c - 3*c - 357. Let z = 80 - c. Is z a multiple of 29?
True
Suppose -18861 = 2*y - 96999. Is 27 a factor of y?
True
Let n(u) = 10*u**3 - 4*u**2 + u - 8. Let i(c) = -c**3 + c + 1. Let o(d) = -6*d + 59. Let h be o(9). Let w(a) = h*i(a) + n(a). Is w(4) a multiple of 36?
False
Suppose -1807 = -11*n - 2*n. Let x = 13 + n. Is x a multiple of 8?
True
Let y(k) = 19*k**2 + 2*k - 2. Let c be y(1). Suppose -26 = -7*p - c. Does 2 divide (-2)/(-5) - (219/(-15) + p)?
True
Suppose 80*p = -26*p - 124*p + 327290. Does 6 divide p?
False
Suppose 4 = s, 0*w + 6 = -2*w - s. Let r(v) = v + 8. Let z be r(w). Is 4 a factor of (-1 - 318/(-18)) + 1/z?
False
Let i be ((-5)/(-2) - 3)*0. Suppose i*t - 5*t = 30. Let s(n) = 5*n**2 + 9*n - 6. Is s(t) a multiple of 30?
True
Let v(y) be the first derivative of 26*y**3/3 - 7*y**2/2 + 15*y + 19. Is 8 a factor of v(3)?
False
Let i = 5472 + -5233. Is i a multiple of 2?
False
Suppose 77*o + 3*n - 20658 = 73*o, 5*o = -n + 25828. Does 63 divide o?
True
Does 4 divide (-132)/(-2442) + (-179890)/(-74)?
False
Suppose -37*b + 35*b - 2450 = 0. Let h = b - -1748. Does 27 divide h?
False
Suppose -10*f + 54 - 354 = 0. Let v be (2/5)/((-2)/f). Suppose v*w = -64 + 208. Is w a multiple of 12?
True
Let s(q) = -5*q**2 - 59*q + 14. Let x be s(-12). Suppose -x*g + 69 - 17 = 0. Is g a multiple of 3?
False
Suppose 3*x - 7914 = -4*m, 74*m + 5268 = 2*x + 78*m. Is x a multiple of 15?
False
Suppose 22*k = 20*k. Suppose k*u = -0*u - u. Suppose 3*h + u*h - 375 = 0. Is 25 a factor of h?
True
Let c(p) = -p**2 - 13*p + 5. Let b = 14 - 27. Let y be c(b). Suppose 0 = -g + y*u + 22, 31 = -4*g + 3*u + 85. Is g a multiple of 12?
True
Let t(b) = 4*b**2 - b + 7. Let i be (-7900)/700 + 2/7. Is 15 a factor of t(i)?
False
Suppose 76*i - 705166 - 852138 = -432276. Does 38 divide i?
False
Let q = -16885 + 32439. Does 80 divide q?
False
Let j(f) = -6*f**3 - 4*f**2 - 45*f - 203. Is 17 a factor of j(-19)?
False
Is 106 a factor of (-3211963)/(-816)*8 + 1/6?
False
Suppose -u + 29094 = 4*x, -3*u - 283*x = -278*x - 87240. Does 38 divide u?
True
Suppose -2*l - 160 = 2*l. Suppose -g - 17 = 53. Let u = l - g. Is u a multiple of 5?
True
Let l(d) = -195*d - 35. Let f be l(8). Let a = -1137 - f. Let g = a + -252. Is 9 a factor of g?
False
Let p be (-102)/(-12) - 3/6. Let i be 1*22 - (16 - p - 8). Suppose 252 + i = 2*s. Is 28 a factor of s?
False
Suppose 2*q = -3*t + 3, -1 = 2*q - q + 4*t. Suppose -5*n + 3*f = -10, q*f + 30 = 2*n + 7*f. Suppose n*b = -282 + 1252. Is 9 a factor of b?
False
Let s = 28 - 25. Suppose -s*l = 4*k - 27, -5*k + 2*l + 0*l = -5. Let n(y) = 43*y + 15. Does 9 divide n(k)?
True
Let b(c) be the first derivative of c**3/3 + c**2 - 3*c + 23. Let d be b(-5). Suppose -1040 = -5*t - 2*r - d, -5*r = -t + 184. Is 17 a factor of t?
True
Suppose 5*y - 9 = -4*i, -11*y + 7*y + 6 = 3*i. Let b(d) = 23*d - 33. Is 24 a factor of b(i)?
False
Let s = 35532 - -56788. Does 11 divide s?
False
Let p(u) = -38*u**3 - 6*u**2 - 6*u. Let r be -8 + 6 - 3/(3/(-115)). Let d = r - 114. Is 3 a factor of p(d)?
False
Let b = 109 - 81. Suppose z + 4*m - 271 = -b, 4*z + 5*m - 1027 = 0. Is 45 a factor of z?
False
Suppose 31*z + 14*z - 65*z = -49560. Is z a multiple of 13?
False
Let o be (0 - 8/(-6))*(24 - 21). Is (-8 + 5 + o)*88 a multiple of 22?
True
Suppose -5*m = 5*y - 30, -3*y - 5 = 2*m - 17. Suppose -300 = m*b - 9*b. Is 50 a factor of b?
True
Let w = 25846 + -5821. Does 25 divide w?
True
Let g(t) = -291*t - 15. Is g(-20) a multiple of 24?
False
Suppose 3*u + s + 2*s - 1473 = 0, -2*u + 998 = -2*s. Let n = 823 - u. Does 82 divide n?
True
Suppose 72 = 5*z + q + q, -2*q = -5*z + 88. Suppose 0 = -z*t + 810 + 646. Is 5 a factor of t?
False
Let f(a) be the third derivative of 17*a**4/8 - 17*a**3 + 9*a**2 - 7. Is 51 a factor of f(30)?
True
Does 24 divide (6943 + -31)*(-6)/(-14)*(-21)/(-6)?
True
Let z(c) = c**3 - 59*c**2 + 198*c + 122. Is 146 a factor of z(59)?
False
Let n = -37 + 39. Suppose 13 = 3*w - n*i, -w - 15 + 6 = -4*i. Is 3 a factor of w?
False
Suppose -11 = -4*o + 3*o - 4*n, -2 = -2*n. Suppose 3*m - p + 0*p - 20 = 0, 0 = 2*m - p - 15. Suppose 200 = o*j - m*j. Does 25 divide j?
True
Let w = 17 - 15. Let j = 214 + -184. Is 10 a factor of (w - (-1 - -2))/(3/j)?
True
Let z(f) = -2*f - 6. Let d be z(-5). Suppose -3*j + 3 = q, d*q = 7 - 19. Let i(b) = 6*b**3 - 2*b**2. Is i(j) a multiple of 20?
True
Let m(s) = 41*s - 238. Let g be (-1155)/(-55) - 1*3*1. Does 10 divide m(g)?
True
Let a = 195 + -114. Suppose 225 = -262*r + 257*r. Let d = a + r. Does 9 divide d?
True
Let x = -17 + 19. Let l = -97 - -97. Suppose -4*k - x*k + 144 = l. Is k a multiple of 5?
False
Is 146 a factor of ((-1050)/840 - -6*(-14)/(-16)) + 18976?
True
Let s = -5567 - -5805. Is 3 a factor of s?
False
Let v = 184 + -180. Suppose 2*w = -v*h + 82, 22*h - 24*h - 3*w + 51 = 0. Is 6 a factor of h?
True
Let u = 46 - 34. Suppose 5*s - 3*j = -u, -4*s - 3*j + 4 = -2*j. Suppose s*n + 3*n = 2*q - 5, -5*n + 5 = 0. Does 2 divide q?
True
Suppose 7*z - 420 - 651 = 0. Suppose -l = -2*f + z, -3*f - 5*l + 252 = 42. Does 8 divide f?
False
Let c(y) = -2*y**2 + y. Let g be c(-1). Suppose -13 = v + 5*h + 3, 4*v + 140 = -h. Is ((-9)/(-9))/(g/v) even?
True
Is -7*(16 + -10)*((-222)/9 - 1) a multiple of 54?
False
Let f = -105 + 109. Suppose f*o - 3440 = -1016. Is o a multiple of 20?
False
Let l(b) = -9*b - 13. Let f(j) = 18*j + 27. Suppose -1 = -z + 5. Let d(g) = z*f(g) + 13*l(g). Does 47 divide d(-6)?
True
Let l = -5417 - -6482. Is l even?
False
Let t(m) = 3*m**3 + 2*m**2 + m - 5. Suppose 0 = n - 108 + 103. Does 25 divide t(n)?
True
Suppose 2*b = -i + 497, 2*b = -75*i + 70*i + 2453. Is i a multip