6 - x. Is 29 a factor of u?
True
Let v(k) = k**2 - 45*k - 657. Is v(-56) a multiple of 25?
False
Let q be (-4)/14 - 22/(-77). Suppose 6*b + 19 = b + j, q = -b - 5*j + 17. Is -1 - b - -1 - (-3 + -60) a multiple of 22?
True
Suppose 30 = -10*w + 5*w. Let k(s) = -9*s**2 - 26*s - 17. Let f(t) = 5*t**2 + 13*t + 9. Let i(m) = 7*f(m) + 4*k(m). Is i(w) a multiple of 25?
False
Let d be -5 + 16/4 + 4 + -1. Suppose 180 = -4*i + z + 60, -d*z = 0. Let g = i + 42. Is g a multiple of 3?
True
Let z = -376 - -370. Let t(r) = -49*r - 133. Does 32 divide t(z)?
False
Is ((-8)/(-10))/(14/4793880*24) a multiple of 13?
True
Let i(p) = -7*p + 6. Let r(z) = -6*z + 6. Let q(y) = -5*i(y) + 6*r(y). Let h be q(4). Suppose -3*a + 106 = -h*a. Does 19 divide a?
False
Let n be ((-182)/(-4))/(38/(-532)). Does 26 divide n/(-7)*20/14?
True
Suppose -5 = 2*z + 63. Let u = -16 - z. Let p = u + 3. Is p a multiple of 5?
False
Let f(m) = -2*m - 3. Suppose -15*r - 3 = -16*r. Let k(a) = -a**3 + 3*a**2 - a - 2. Let w be k(r). Is f(w) a multiple of 7?
True
Let m = -258 + 643. Suppose 0 = -2*a + 4*w + 770, 0*a + w = a - m. Is a a multiple of 11?
True
Suppose -586*c + 48 = -582*c. Does 6 divide 1509/c - 23/(-92)?
True
Suppose 18*t - 194953 = 4*t + 53421. Does 47 divide t?
False
Suppose -3*y - 3*t + 63 = 0, -21*y + 16*y - 4*t = -103. Suppose 4*k + 14280 = y*k. Is 17 a factor of k?
True
Let v(m) = -8*m + 29. Let q be v(4). Let l = q - -11. Is l a multiple of 2?
True
Suppose -402 = -33*h + 27. Is 3/(1 + h/((-43316)/3320)) a multiple of 119?
True
Let q be (-115)/(-7) + 92/161 - 5. Suppose 2026 + 830 = q*g. Does 7 divide g?
True
Let i be 2051 + 58 - (8 - 1). Let t = -767 + i. Is 15 a factor of t?
True
Let j be 776/48 - (-1)/(-6). Let r(d) = 37*d - j - 10 - 20*d - 10*d. Is r(10) a multiple of 11?
True
Let c = -19553 + 28831. Does 9 divide c?
False
Suppose 277*r - 634245 = -144786. Does 9 divide r?
False
Suppose 0 = -242*i + 216*i + 79742. Is i a multiple of 5?
False
Suppose -18*l - 1060 = -23*l. Suppose -12*o + l = -76. Is 3 a factor of o?
True
Suppose -7*p = 38 + 4. Let c(i) = -2*i**2 - 12*i - 4. Let v be c(p). Let z(q) = q**2 - 3*q - 5. Is 3 a factor of z(v)?
False
Let c = 396 - 391. Is (-5)/(225/(-70870)) + c/45 a multiple of 105?
True
Let r(x) = x + 188. Let s be r(0). Let m = s + -129. Let o = 139 - m. Is 19 a factor of o?
False
Suppose 327315 + 1125507 = 58*c - 644864. Is c a multiple of 8?
False
Suppose 0 = 233*p - 214*p - 152304. Is p a multiple of 12?
True
Let m = 15 + -9. Suppose -3*g + q + 2 = -6, g = 2*q + m. Suppose g*f - 640 = -2*f. Does 33 divide f?
False
Suppose 31525 = 10*m - 65197 - 232568. Does 20 divide m?
False
Let h(q) = -445*q + 257. Is h(-3) a multiple of 179?
False
Let b be (-125)/180*-4 + 2/9. Suppose -o - o = b*s - 470, 5*s + 4*o = 780. Suppose 0 = 15*z - 10*z - s. Does 32 divide z?
True
Let g = 12 - 7. Let l be (900/65 - 10) + (-4)/(-26). Suppose -l*m = q - 148, -g*q - 2*m + 655 = m. Does 32 divide q?
True
Let i be (-201)/(-8) - (-2)/(-16) - 3. Let y = 22 - i. Suppose y = 4*x + 31 - 319. Does 8 divide x?
True
Let j(n) = -22*n**3 + 6*n**2 - 54*n - 47. Is 13 a factor of j(-12)?
True
Suppose 256 = 6*x - 4*x. Let u = 42 - x. Let n = -10 - u. Is n a multiple of 19?
True
Let r = -738 - -381. Let t = -310 - r. Does 11 divide t?
False
Let k = 63777 + 10247. Is k a multiple of 19?
True
Let n(p) = -27*p + 20*p + 9 + 2888*p**2 + 5*p**3 - 2890*p**2 + 0*p**3. Suppose 2*z - 3 = 3. Does 45 divide n(z)?
False
Let j be 5*((-231)/30 + (-1)/(-2)). Let m = -33 - j. Let t(z) = -z**3 + 3*z**2 + 7. Is t(m) a multiple of 3?
False
Suppose -37*o = -60655 - 175173 + 22560. Does 23 divide o?
False
Let a(b) = -b**3 + 9*b**2 + 11*b - 15. Let c be a(9). Let k = c + 446. Does 36 divide k?
False
Let f = -5 + 8. Let h be 5 + -5 + 6 + -2. Is 4 a factor of (54/18)/(f/h)?
True
Let j(q) = -2*q - 4. Let m be j(-6). Let w be (-32)/26 + (-126)/(-546). Is 14 a factor of 98/m*(17 - (-4 - w))?
False
Suppose 0 = -4*g + 4, -14*g + 9*g = 7*t - 35334. Is t a multiple of 25?
False
Is 6730/2*(-133)/38*(-10)/35 a multiple of 46?
False
Let g(o) = 2*o**2 - 36*o - 1. Let x be g(18). Let h(a) = -6*a - 2. Let b be h(x). Suppose 0 = -2*y - 5*p + 226, 131 - 393 = -2*y + b*p. Is 11 a factor of y?
False
Let q(a) = -128*a**2 + 1371*a + 11. Does 6 divide q(7)?
True
Let u = 61000 + -41108. Does 30 divide u?
False
Let h(i) = -i**3 + 27*i**2 - 8*i + 30208. Is h(0) a multiple of 9?
False
Let b = -256 - -514. Suppose -3*o = -2*x - 8*o + 267, b = 2*x + 2*o. Is 37 a factor of x?
False
Suppose 5*s - 3*j - 219 = 0, -2*s - 4*j + 98 = -0*s. Suppose 60 = 5*h + s. Suppose 0 = -3*y + l + 54, -h*l - 85 = -5*y + 5. Is 9 a factor of y?
True
Let b = 31710 - 18580. Is 26 a factor of b?
True
Suppose 2*v = 4*o + 34, 2*o + 5*v + 20 = 7*v. Does 79 divide 1264 - (o + (-28)/(-4))?
True
Let m = 8549 - 4445. Is 8 a factor of m?
True
Let s be 1/4*(-4 - -8)*199. Suppose 3*v + 916 = 5*d, -v - s + 17 = -d. Is d a multiple of 37?
True
Suppose 5*w = -j + 6*j - 17465, 2*j = 3*w + 6987. Is j a multiple of 12?
True
Let u(m) = m**3 - 3*m**2 + 74*m - 27. Is 109 a factor of u(21)?
False
Let s = 20459 + -13847. Does 76 divide s?
True
Is 59/(1239/(-126)) + 23788 a multiple of 9?
False
Let t(a) = 38*a**2 - 6*a - 19. Let s be t(8). Suppose 5*x = y + 6078, -5*x + 3*y + 3719 = -s. Suppose 0 = h - 10*h + x. Does 12 divide h?
False
Suppose 16*n - 8*n - 72 = 0. Let l(t) = 6*t - 57. Let o be l(n). Is 43 a factor of (o*(-304)/(-24))/((-2)/13)?
False
Does 6 divide (164943/492)/(3/8)?
True
Suppose s + 17*s - 90 = 0. Suppose s*t = g + 1483, -7*g + 2*g = 15. Is t a multiple of 3?
False
Let v = -3261 + 11640. Does 57 divide v?
True
Let p(y) = -454*y + 1609. Is 20 a factor of p(-11)?
False
Let b = 127941 - 90333. Is 124 a factor of b?
False
Let w(d) = d**3 - 17*d**2 - 6*d + 7292. Is w(0) a multiple of 50?
False
Let x(q) = -84*q**3 - 19*q**2 - 121*q + 13. Is 5 a factor of x(-6)?
False
Suppose -11*g + 14898 = 15*g. Suppose 309 + g = 42*h. Is 2 a factor of h?
False
Suppose -5*g - 3*i + 25 = 0, 3*i - 10 = -6*g + 4*g. Suppose -g*h + 976 = 296. Is 8 a factor of h?
True
Suppose 2*t + 26 - 744 = 0. Let s = 841 - t. Does 44 divide s?
False
Suppose -211*j + 207*j + 25997 = -3*m, -2*m - 19498 = -3*j. Does 25 divide j?
True
Suppose 12 = 2*l + 8. Suppose 132 = l*t + t. Is (-3*t)/(-1 - 0) a multiple of 22?
True
Suppose 15444 = 55*w - 43*w. Does 13 divide w?
True
Suppose -i = 3*u + 2, 2*i + 4*u - 5*u - 10 = 0. Suppose 4*y = -2*c + 12, -c + 3*y = 4*c - i. Suppose -26 = -l - 5*f + 98, -f = -c*l + 204. Is 28 a factor of l?
False
Is (12 + 8512/42)*6/2 a multiple of 14?
True
Let m(c) = 3*c**3 + 23*c**2 + 19*c - 125. Is m(5) a multiple of 2?
True
Let k(w) = 6*w**2 - w - 7. Let l(a) = -a + 7*a**2 + 16 - 24 + a. Let v(m) = 4*k(m) - 3*l(m). Does 4 divide v(-2)?
True
Suppose -2*d + 1272 = -3*s, 0 = -15*s + 11*s - 16. Let o = 1298 - d. Is 13 a factor of o?
False
Let g be ((-32)/(-24) - -2)*-24. Let r(l) = l**2 + 4*l. Let d be r(-3). Let b = d - g. Is 5 a factor of b?
False
Let c(b) = 9*b**3 + 42*b**2 + 6*b - 9. Let f be c(-3). Suppose -3*p + 7 = -2*p. Suppose -p - 1 = -2*z, x - z = f. Is x a multiple of 28?
True
Let y be -62*4/8 + (-3 - -3). Let x be y*((-15)/(-5) - 10). Suppose x = 3*i - 26. Is i a multiple of 26?
False
Let s(c) be the first derivative of -c**4/4 + 7*c**3 - 11*c**2 + 40*c + 10. Let p be s(20). Suppose -5*v + 119 + 131 = p. Is v a multiple of 8?
False
Suppose 0 = 4*j + 2*z - 5322, 9*j = 6*j + z + 3979. Does 8 divide j?
True
Suppose 5*v - 4254 = -3*m, -4*m = -67*v + 64*v - 5614. Is m a multiple of 32?
True
Let t be 12/(-72) + (-214)/12. Is 4 a factor of (-3)/9 - (474/t - -1)?
False
Let c be 2/(-6)*18/(-3). Suppose 2*r - 3*n - 16 = 3, -r = c*n + 1. Suppose 4*b - 336 = 3*z - 7*z, -4*z - r*b + 338 = 0. Is 35 a factor of z?
False
Let t = -3845 - -4719. Is 59 a factor of t?
False
Let f(h) = 116*h**2 + 12*h - 128. Is f(8) a multiple of 12?
True
Is (3/(-45))/(((-148)/40)/37)*20073 a multiple of 10?
False
Let x(y) = -y**2 + 19*y - 43. Let r be x(18). Let h = -18 - -45. Let w = r + h. Is 2 a factor of w?
True
Let s be (-1)/2*(-1 - 5). Suppose 50 - 5 = s*d. Suppose 10*i + 425 = d*i. Does 17 divide i?
True
Is ((-368)/(-10))/(-19 - 8841/(-465)) a multiple of 7?
False
Suppose -5*j + 1349 = -2031. Let w 