 -33*v - 21. Suppose v*u = -2*w + 5*w - 78, -2*w - 5*u + 87 = 0. Does 11 divide w?
False
Suppose 0 = -4*d + 8*d - 532. Let g = d + 60. Is g a multiple of 14?
False
Let s(y) = y**3 - 6*y**2 + 3*y - 15. Let v be s(6). Let j be (v/(-12)*2)/(2/(-16)). Suppose -i = -3*x - 240, -3*i + j*i = -3*x + 240. Is 18 a factor of i?
False
Suppose -2*a - 192156 = -5*o - 11650, 4*o = -3*a + 144391. Is o a multiple of 76?
True
Suppose 6 = -36*c + 39*c. Suppose -c*d = -8*d + 6. Suppose 5*b - 2*a - 77 = 0, -11 = -b - 3*a + d. Does 15 divide b?
True
Suppose 3*d = 2*d + 5. Suppose -45 = d*s - 555. Does 35 divide (-1)/((-1)/(-4)) + s*1?
False
Suppose -2*m = 5*u + 2*m - 377, 0 = -4*u + m + 289. Suppose j = u - 69. Suppose j*i = 191 - 7. Does 6 divide i?
False
Suppose 10963552 = 452*f - 1272540. Is 23 a factor of f?
True
Let u(o) = 16*o - 10. Let f be u(4). Let l = f + -96. Let t = 24 - l. Is t a multiple of 6?
True
Suppose -3*j + 19*m - 17*m = 1993, 5*m - 2669 = 4*j. Let d = j - -1177. Is d a multiple of 18?
False
Let d(j) = 20*j - 18. Let a be d(1). Let c(s) = 60*s**3 - 4*s**2 + 9*s - 13. Does 13 divide c(a)?
False
Suppose 4*w = 5*w - 2. Suppose 2*l = 2*v - 10, -4*v + 0 = -12. Is l - 192/(-18) - w/3 a multiple of 8?
True
Let a = -51634 + 93065. Is 78 a factor of a?
False
Let m(z) = -z**3 + 15*z**2 + 18*z - 29. Let u be m(16). Suppose 5*k + 0*k + 96 = 3*n, n - 36 = u*k. Suppose -29*t + 20 = -n*t. Is t even?
True
Is (-832 - (-7)/1)*-3 a multiple of 15?
True
Let w be (-1)/(5/20)*-3. Suppose w*q - 8*q + 536 = 0. Does 24 divide 1 + -2 + (-3 - q - -3)?
False
Let v(b) = -325*b - 15353. Let z(o) = 17*o + 808. Let c(k) = 2*v(k) + 39*z(k). Does 29 divide c(0)?
False
Is (-8 + 1274/21)/((-1)/(-39)) even?
True
Suppose -9*b + 59976 = 4*b - b. Is b a multiple of 21?
True
Let b(h) = h**3 + 6*h**2 + 11*h - 29. Let t be b(8). Suppose -2601 - t = -7*f. Does 35 divide f?
False
Suppose -3*l = -14 + 5. Suppose l*u = 8*u - 2840. Suppose -209 = -3*c + u. Does 37 divide c?
True
Suppose i + 3 = x, -4*x - 4*i = -i + 9. Suppose 3*r + 586 = 2*c - c, 3*c - 3*r - 1770 = x. Is c a multiple of 16?
True
Suppose j + s - 4807 = 0, -4*j - 7651 + 26907 = -3*s. Is 17 a factor of j?
True
Let s be (-9442)/(-10) - 114/95. Let r = -542 + s. Is 20 a factor of r?
False
Suppose -1605 = -54*l + 8925. Is 13 a factor of l?
True
Let w = 24 - 20. Suppose -5*a = -2*a - v - 389, w*v = 2*a - 276. Suppose 2*f + 2*f = -2*s + 110, 5*f = 2*s - a. Is s a multiple of 20?
False
Suppose 202*g - 134810 - 488501 = 181659. Is g even?
False
Let f(g) = -g**2 - 37*g + 43. Let d(c) = -19*c + 22. Let h(r) = -5*d(r) + 2*f(r). Is 16 a factor of h(8)?
True
Let i be (-1)/(3/(-51)) + (-1 - -1). Suppose 7*x = i + 4. Suppose 95 = 2*w - w - x*l, 4*l - 396 = -4*w. Is 24 a factor of w?
False
Suppose 2*t - 3*r = 42000, -4*r + 145772 - 40680 = 5*t. Does 49 divide t?
False
Let i(u) = 2*u**3 + 25*u**2 - 7*u + 22. Suppose 0 = 13*l - 22*l - 99. Is 14 a factor of i(l)?
True
Suppose -4*c + 1281 = -b, 339 = c - 26*b + 22*b. Let s = 551 - c. Is s a multiple of 22?
False
Let u = 1245 + -2366. Let w = u + 1625. Is 36 a factor of w?
True
Let w be (18460/104 - (-3)/2) + -4. Suppose 10*m - 505 + w = 0. Does 2 divide m?
False
Does 15 divide (1*3 + (-36)/72)*337856/80?
False
Suppose 5*u - 367 = 133. Suppose -2*s + 3*l = 3*s + 500, -s = 3*l + u. Is 6 a factor of (-1)/(-2)*(-6 - s)?
False
Let a(y) = -43*y + 45. Let z be a(1). Suppose -5*c + 185 = z*x, 90*x - 91*x = 2*c - 92. Is x a multiple of 7?
False
Let s(w) = -19*w + 8*w + 6*w + 58. Does 12 divide s(-10)?
True
Let b(k) = 6*k**2 + 2*k - 18. Let v be (-2)/(-12)*4 + (-18)/27. Suppose l + l + 4*h + 14 = v, 0 = l - 5*h - 28. Is b(l) a multiple of 14?
True
Let s = 2746 - -614. Is 7 a factor of s?
True
Let r = -63672 + 119784. Is r a multiple of 16?
True
Suppose -3*d + 3 = 0, 2*d + 8728 = a - 17481. Is a a multiple of 6?
False
Suppose -7110480 = -417*u - 7*u. Does 130 divide u?
True
Suppose -20*x + 24664 = -148082 + 30026. Does 8 divide x?
True
Suppose p - 913 = 32*d - 31*d, -2*p = 6*d - 1858. Is p a multiple of 7?
True
Let b = -58171 - -85429. Is b a multiple of 77?
True
Suppose 5*h + 6 = -7*r + 5*r, 0 = -5*r + h + 12. Suppose c - 3*y - 2268 = -r*c, 2268 = 3*c + 4*y. Is 36 a factor of c?
True
Let j = 41197 - -2019. Does 296 divide j?
True
Suppose 149*d - 60 = 169*d. Is (-4 + 1018 + d)/3 even?
False
Does 114 divide (-5808)/(-64)*(-448)/(-12)?
False
Suppose -4*i = -3*g + 30, -5*g = -3*i - 28 - 0. Let h be 9/i*(-1)/(3/(-18)). Does 43 divide (129/h)/(2/(-24))?
True
Let u = 8119 + -4732. Is u a multiple of 40?
False
Is (4/5)/((-35)/(5805450/(-36))) a multiple of 17?
False
Let p = 25 + 103. Suppose -p = -y - 36. Does 23 divide y?
True
Let a be (-80)/(-15) - 1/3. Let j(f) = -2*f**3 - f**2 + 30*f + 20. Let p(m) = -m**3 - m**2 + 16*m + 10. Let v(t) = -3*j(t) + 5*p(t). Is v(a) even?
False
Let l = 164 + -273. Let k = 416 - l. Is k a multiple of 21?
True
Let g(m) = -43*m + 133*m + 7 + 144*m - 97 - 48*m. Is g(5) a multiple of 35?
True
Is (-11)/55*-35 - -6502 a multiple of 23?
True
Suppose -22*m + 90 = -4*m. Suppose 3*c - 9 = 0, -41*c + 38*c - 176 = -m*n. Is 36 a factor of n?
False
Is (70/(-140))/((-2)/89424) a multiple of 81?
True
Does 7 divide (25890/(-15))/(3/(-1 + -5))?
False
Let n = 1171 + 1070. Suppose -6*v - 3*v + n = 0. Is 31 a factor of v?
False
Let f be (2/(-3))/(14/(-231)). Is 15 a factor of 8/44 + 1208/f?
False
Is 126 a factor of (-15)/40*-8 + 753?
True
Let q = 3024 + 5836. Is q a multiple of 111?
False
Is ((-21)/(-28))/((-8)/(-124032)) a multiple of 11?
False
Let q(d) = -d**2 + 17*d - 58. Let l be q(5). Suppose 0 = 2*h + 6, 216 + 445 = 5*o - l*h. Is o a multiple of 12?
False
Does 4 divide ((195/40)/(-13) - 3939/(-8)) + -2?
False
Let b = 5 + 12. Let u = 22 - b. Suppose u*m - 171 = 29. Is 10 a factor of m?
True
Suppose -46*q - 70 = -39*q. Is 13 a factor of (416/q)/(2/(-25))?
True
Let v = -38 + 25. Let p = 57 + v. Suppose 0 = -3*c + 13 + p. Is 5 a factor of c?
False
Let p = -7769 - -10277. Is 76 a factor of p?
True
Let g be 34/6*(-19 - -10). Let n = -36 - g. Is 23 a factor of 411/(n/5) + 1?
True
Suppose -29*k - 32*k = 8*k - 355419. Does 13 divide k?
False
Let q(i) = -3333*i + 315. Is 76 a factor of q(-1)?
True
Let t(k) = -9 + 27 + 5*k**2 - 5 - 16 + 17*k**3. Does 41 divide t(3)?
False
Let n(d) = -3*d**2 + d + d**3 - d - 4*d - 31 + d. Is n(6) a multiple of 45?
False
Let l(c) = 10*c**2 + 2*c**2 + 3*c - 11*c**2 - 2. Let d be l(1). Suppose -7*y + 325 = -2*y + 3*x, -116 = -d*y - 4*x. Does 10 divide y?
False
Suppose 0*i + n - 357 = 3*i, -n - 363 = 3*i. Let x = 316 + i. Does 4 divide x?
True
Is 7 a factor of 108/162 + 9445/3?
False
Does 61 divide ((-168)/(-392) - 561968/(-14)) + -3?
True
Suppose -39640 = -4*d + 23*a - 26*a, 4*d - 3*a = 39664. Is 11 a factor of d?
False
Is (1856/192)/((12/(-4))/(-171)) a multiple of 29?
True
Let f(u) = -u**2 - 15*u - 41. Let r be 5 - ((-4)/(-6) + (-21)/(-9)). Suppose -4*g - j - j = 30, 5*j + 11 = -r*g. Does 5 divide f(g)?
True
Suppose -5*l + 25 = i, 4*l = 2*i - 14 - 8. Suppose -i*h + 502 + 6518 = 0. Is 9 a factor of h?
True
Let s = 16422 + -13938. Is 36 a factor of s?
True
Does 192 divide 2442310/80 - 84/96?
True
Suppose -5*s + 9*t + 16046 = 0, 0 = -s - 6*t + 2*t + 3215. Does 8 divide s?
False
Suppose 13*l + 24 = 16*l. Suppose l*f + 34 = 722. Let c = f - 20. Is 31 a factor of c?
False
Is (-14 - -26) + -3 + 23960 a multiple of 14?
False
Let y be 257 + (-10)/2*160/200. Let f = y - -377. Does 18 divide f?
True
Let n = 10 + -39. Suppose 0 = 141*m - 122*m - 1938. Let j = m - n. Is j a multiple of 16?
False
Suppose -a = -5*w - 63555, 47869 + 15716 = a + w. Does 220 divide a?
True
Let g(t) = 2*t + 30*t**2 - 33*t - 31*t**2 - 11 - 11*t. Is g(-31) a multiple of 10?
True
Let o = 14657 + -9683. Does 35 divide o?
False
Let n = 8653 - 8048. Is n a multiple of 55?
True
Is (261 - (25 - 49))*102 a multiple of 171?
True
Suppose -o - 4 = 0, 6 = -2*c + 2*o - 12. Let i = c + 58. Suppose 0 = 5*r - t - i, 0*t - 5*t + 36 = 4*r. Is r a multiple of 7?
False
Suppose 16*p - 19*p + 1938 = 0. Suppose -2*o - 642 = -4*h, h - 5*h = 2*o - p. Does 7 divide h?
True
Is 1 - (-3432 + 0) - (70/(-10) - -6) a multiple of 34?
True
Suppose 0 = -4*n - n + 5. Let o(w) = 102*w - 417. Let h be o(4). Is n/3 + 1*(-78)/h a multiple of 3?
Tr