91 - 666. Suppose g - 4*o = w, -2*g + 62 = -2*o + 14. Is 21 a factor of g?
True
Let k(x) = 6*x**3 - 2*x**2 + 22*x - 16. Let u(f) = f**3 + f**2 + f - 2. Let a(d) = k(d) - 5*u(d). Is a(5) a multiple of 2?
False
Suppose -30*h - 416 = -31*h. Let u = 68 + h. Is u a multiple of 44?
True
Let y be 10899/18 + (-15)/(-6). Does 76 divide y + (4 - (0 - -4))?
True
Suppose 2*i - i + 3*k + 4 = 0, 4*i - 5*k - 18 = 0. Suppose y = -i*y + 1710. Suppose 3*p - 282 = -2*f, y = 4*f + p + 2*p. Does 18 divide f?
True
Does 56 divide (34/17 - (1 - 5/(-4)))*-87092?
False
Let a = -50 + 289. Let f = -179 + a. Is 12 a factor of f?
True
Suppose 3*y - i = i + 281, -483 = -5*y - 4*i. Let b be (6/(-2))/((-6)/36). Suppose -b*j - y = -23*j. Is 8 a factor of j?
False
Let s be (126/45)/((-1)/25). Is s/(-28)*(46 + 2) a multiple of 20?
True
Let p(b) = -b**3 + 26*b**2 + 2*b + 128. Let m = -130 + 156. Is 9 a factor of p(m)?
True
Suppose 2*g - 155 = 543. Let t = 392 - g. Is 22 a factor of t?
False
Does 6 divide 4209 - 2/(-2)*(-295)/59?
False
Suppose 0 = 5*r + v - 951, -5*v + 955 = r + 4*r. Suppose 2*g = 3*h + 451, 2*g - 2*h - 638 = -r. Is g a multiple of 39?
False
Let k = 358 + -333. Suppose -k*l = -409 - 716. Does 9 divide l?
True
Suppose 0 = 9*o - 14 - 4. Suppose -2*x - o*i + 280 = 0, 9*x - 12*x - i + 428 = 0. Is x a multiple of 11?
False
Let u = 336 - 336. Suppose u = 3*d - 3*w + 7*w - 1432, -2*d = 4*w - 956. Does 17 divide d?
True
Let a(m) = 31 - 9*m + 0*m + 7*m - 13*m. Is a(-7) a multiple of 44?
False
Let p(a) = -a**3 - 7*a**2 - 9*a - 3. Let t be p(-6). Suppose t = 7*s - 6. Is 7 a factor of (-28)/s*90/(-24)?
True
Suppose -2*v - 4*l + 368 = 0, -40*v - 3*l - 179 = -41*v. Is v a multiple of 26?
True
Suppose -9*w - 2982 = 3417. Let h = -487 - w. Is h a multiple of 14?
True
Suppose b - g + 5 = 0, -4*b + 14*g - 9*g = 23. Does 24 divide ((-200)/b)/(1 - (-6)/(-8))?
False
Let k = -141 + 27. Let i be (3/(-18))/(2/6)*k. Suppose 2*j - i = -j. Is 13 a factor of j?
False
Suppose 0*t - 8*t + 56 = 0. Is 3 a factor of t/14*(35 - (-2 + 3))?
False
Let q(y) be the third derivative of 3*y**4/8 + 19*y**3/6 + 6*y**2. Let l be q(-7). Let s = l - -77. Is 12 a factor of s?
False
Let v = -367 - -369. Suppose -216 = -v*u - 2*m - 0*m, 0 = 3*m - 12. Is u a multiple of 13?
True
Suppose -47620 = -4*d - 5*x + 6726, -x - 40750 = -3*d. Is d a multiple of 45?
False
Suppose -5*o + 2*y + 474 = -o, 2*y + 111 = o. Let x = o - 64. Suppose 174 = 7*n - x. Does 11 divide n?
True
Let r(y) = -7*y - 3. Let b be r(-3). Let f = b - 15. Suppose -4*s + s - h = -350, -f*h - 226 = -2*s. Is 32 a factor of s?
False
Suppose 19237 - 94494 = -13*s. Is 13 a factor of s?
False
Is 316 a factor of ((-2 - 0) + 836479/(-98))*180/(-25)?
False
Suppose 450 = -4*b - 3*a, -445 = 4*b - 3*a - 7. Let i = b - -307. Is i a multiple of 28?
True
Let h = -106 - -303. Let z = 309 - h. Is z a multiple of 3?
False
Let v(q) = 52*q**2 + q + 5. Let i be v(-3). Suppose 4*t + 2*p - i = 0, 2*p = -5*t - 205 + 793. Suppose -t = -o - 2*n, 4*o - 2*n = -0*o + 422. Does 27 divide o?
True
Let y be 5/((-4)/188 - 0). Does 8 divide (2 + -6 - y) + -5?
False
Is 24 a factor of (-13)/(-8 - ((-81192)/5800 + 6))?
False
Let v = -3445 + 5767. Suppose 62*h - v = 60*h. Is h a multiple of 14?
False
Suppose 4*z = 2*z + 106. Let k = z + -53. Is 166/(-3 + (3 - k) - -2) a multiple of 21?
False
Is ((-1059)/(-1765))/(2/30) a multiple of 7?
False
Let j(o) = 2*o**3 + 2*o**2 - 5*o + 4. Let g be j(1). Suppose 5*q + 184 = 2*v, q + 184 = 2*v + g*q. Is v a multiple of 22?
False
Suppose -164*c - 423787 + 1218320 = -2527287. Is c a multiple of 7?
False
Suppose 2*w = 4*w - 30. Let u = 369 + -363. Let o = w - u. Is 5 a factor of o?
False
Suppose 0 = -177*m + 303152 + 506800. Is 32 a factor of m?
True
Let t(h) = 328*h - 36. Suppose -4*z - 8 = 0, -9*z - 8 = -4*j - 7*z. Is t(j) a multiple of 26?
False
Let u be (0*(-2)/6)/1. Suppose y + 3 + u = 0, 4*z - 228 = 4*y. Is 54 a factor of z?
True
Let c(h) = 80*h**2 - 20*h + 158. Is c(7) a multiple of 11?
True
Let x(t) = 5*t**2 + t. Let c be x(-1). Suppose c*j - 85 = 3*p - 0*p, -4*p = -j + 109. Let k = p - -51. Is k a multiple of 12?
True
Let s = 824 + -486. Suppose 0 = 3*j + 62 - s. Suppose 5*o - 3*o - j = -a, 5*o = 5*a + 230. Is o a multiple of 10?
False
Suppose 0 = 7*r - 3*y - 23722, 3*y - 2422 = 5*r - 19368. Does 28 divide r?
True
Let c(b) = -b**2 + 3*b + 1. Let l(h) = h**3 - 11*h**2 + 28*h + 34. Let o(t) = -3*c(t) + l(t). Does 5 divide o(7)?
True
Does 74 divide (-25742)/(-6) + (-42)/126?
False
Let m = 10 + -616. Let y = m - -856. Is 10 a factor of y?
True
Let l = 292 - 671. Let v = l + 789. Let c = 585 - v. Does 35 divide c?
True
Let d(j) = 4*j**2 - 2*j + 409. Let b be d(0). Suppose 4*g = -4*v + 1736, 39*v - 4*g - b = 38*v. Is v a multiple of 39?
True
Does 10 divide 7*((-18)/(-5))/((-882)/(-186795))?
False
Suppose -51*p + 68115 = 2*g - 52*p, -5*p = g - 34085. Does 10 divide g?
True
Let x = 2697 - 1245. Does 4 divide x?
True
Let l = -335 + 4525. Is 10 a factor of l?
True
Is 53 a factor of (-591149)/(-26) + 36/(-24)*1/(-3)?
True
Suppose -4686 - 10818 = -19*v. Suppose -195*n - v = -199*n. Is n a multiple of 12?
True
Let q(m) = 2*m + 1. Let k(d) = -13*d + 65. Let v(u) = k(u) + 2*q(u). Is 3 a factor of v(-6)?
False
Is (-1728)/(-126)*(-343)/(-7) a multiple of 4?
True
Suppose 2*d - 155 + 91 = 3*m, 0 = -5*m - 3*d - 113. Let q = -337 + 194. Does 29 divide 4/m + (-4173)/q?
True
Suppose -k - 217 = 5*r + 57, r = -2*k - 53. Let j = r - -59. Suppose 0 = -j*h - 5*p + 33, 6 = h + p + p. Is 12 a factor of h?
True
Suppose -11*y - 3078 = 4215. Is (1 + 0)/((-3)/y) a multiple of 17?
True
Let g(k) = k**2 + 13*k + 179. Let f be g(-9). Suppose -2*m + 6 + 8 = 0. Let c = m + f. Is 6 a factor of c?
True
Let c be (-470)/(-15)*-4*(-18)/(-4). Let n = -278 - c. Is n a multiple of 22?
True
Let o = -432 + 438. Suppose -o*j + 246 = -3*j. Is j a multiple of 3?
False
Let i(a) = -7*a**3 - 2*a**2 - 11*a - 8. Is 29 a factor of i(-10)?
True
Let x = -318 + 511. Let j = 254 - x. Does 61 divide j?
True
Let u(t) = -153*t + 4166. Is 7 a factor of u(20)?
True
Let k be 14 + (-4 + 2 - 3). Suppose -k*a - 5*a = -9282. Is a a multiple of 23?
False
Let v(p) = 9*p**2 + 118*p + 3235. Is 45 a factor of v(-22)?
True
Let b = 60 - 59. Let w(k) = k**3 + 21*k**2 - 27*k - 14. Let q(l) = l**2 - l. Let n(y) = b*w(y) - 6*q(y). Is 10 a factor of n(-16)?
False
Suppose -149*z + 146*z + 6 = 0. Suppose -2*s + 124 - 398 = -4*b, -2*s = -z*b + 138. Is b even?
True
Let b(h) = h**3 - 7*h**2 + 2. Suppose -15 = -3*j + 6. Let n be b(j). Suppose 4*f = -n*p + 107 + 33, 3*f - 119 = 2*p. Is 8 a factor of f?
False
Let v be ((-4)/(-8))/((-9)/(-36)). Suppose v*j - 209 = 63. Is j a multiple of 17?
True
Suppose -1664 = -5*w - 4*o, 28 = -5*o + 8. Let z = w - 180. Is 18 a factor of z?
False
Suppose -5*r + n = -4424, 22*n + 4 = 26*n. Does 5 divide r?
True
Suppose 0 = -2*m - 10 + 2. Suppose 4*g - 33 + 25 = 0. Is g/m - (-822)/4 a multiple of 41?
True
Let f(n) = -n**2 + 26*n + 113. Let d be f(28). Suppose g - 2*b - 93 = 41, 3*b + 677 = 5*g. Let x = d + g. Is 11 a factor of x?
False
Suppose 5*b - 4541 = -4*f, -2*f + 1557 + 708 = -3*b. Let t be (-2)/8 - 3/(-12). Suppose 7*a = -t*a + f. Is a a multiple of 18?
True
Let c = -48 + 42. Does 20 divide 8/c*6750/(-20)?
False
Let i(o) = o**3 + o - 3. Let t be i(2). Suppose 2*m + 2 = -0*f + 2*f, -f - m = -t. Suppose -f*k = -x - 17, -6 = k + x - 14. Is k a multiple of 5?
True
Let n(r) = -168*r + 1731. Is 4 a factor of n(-8)?
False
Suppose 2*k = -3*s + k - 8514, 4*s - 2*k + 11362 = 0. Let l = -2019 - s. Is l a multiple of 20?
True
Let b = -6 + 12. Let g = -1255 - -1269. Let l = g - b. Is l a multiple of 2?
True
Let a(t) = -t**3 + 5*t**2. Let c = 4 - 1. Suppose -c*m + 11 = -1. Is a(m) a multiple of 8?
True
Let k = 6490 + -553. Is k a multiple of 13?
False
Let l = -1108 + 2629. Does 13 divide l?
True
Let s = 3175 + -1786. Is 2 a factor of s?
False
Suppose 15*o = 21*o - 138. Suppose -20*c - 270 = -o*c. Is c a multiple of 18?
True
Suppose -5*p + 8353 = -4*t, 4*p - t - 3116 = 3551. Does 5 divide p?
True
Let b = -102 + 200. Let x = b - 137. Let g = x + 51. Is 12 a factor of g?
True
Let z = 23 + -29. Let y(b) = b**2 + 6*b. Let u be y(z). Is 11 a factor of (0 - u) + (11 - 0)?
True
Suppose 0 = -176*p + 3126317 + 30771