 -3*i + b - 4 + 14 = 0. Suppose -v - m = -574, -i*v - 6*m = -10*m - 1736. Is v a multiple of 48?
True
Suppose 0 = 2*r + r + 2*z - 5156, -4*z = 8. Suppose -27*m = -7*m - r. Does 11 divide m?
False
Let c be (1 - 0)*(50/(-5))/(-5). Suppose 0 = c*k - 479 + 171. Is k a multiple of 22?
True
Let s(b) = 120*b - 640. Let a(i) = 15*i - 80. Let c(r) = 25*a(r) - 3*s(r). Is 20 a factor of c(20)?
True
Let c(m) = 86*m - 315. Does 3 divide c(14)?
False
Suppose 12 = 193*u - 189*u. Suppose -d + 109 = 5*q, d + u*q = -0*q + 119. Does 12 divide d?
False
Let q(m) = 3*m + 9. Let w be q(-17). Let k = w - -44. Let h = 67 - k. Is h a multiple of 8?
False
Let c = 3800 - 1490. Does 35 divide c?
True
Let d be (-2)/(-4)*2*8. Suppose 91 + 189 = -d*h. Does 10 divide (-1950)/h - ((-18)/(-21))/(-3)?
False
Let b be 1 - (2/10 - 252/60). Suppose 26 = 2*g + 2*v - 36, 4*g - 79 = b*v. Does 12 divide g?
False
Suppose q + h - 2 = 6, -5*q = 3*h - 40. Let j(g) = 21 - 5*g + 19*g - 3*g - 2*g - 11*g. Is j(q) a multiple of 2?
False
Suppose 7*j - 169 = -442. Is 4 a factor of (48*(-2)/(-10))/(j/(-520))?
True
Let y = 74 + -81. Does 34 divide y + 4/((-20)/(-1395))?
True
Suppose -i - g + 9 = 3, g = -3*i + 28. Let o = -9 + i. Suppose o*s - 10 = 168. Is 17 a factor of s?
False
Suppose -3*b = 2*u - 1255, u + 4*b - 2516 = -3*u. Suppose -12*g - u = -20*g. Is g a multiple of 2?
False
Is 5 + (-1296)/(-240)*545/3 a multiple of 104?
False
Let c(s) = 662*s**3 + 4*s**2 - 4*s + 1. Let o be c(1). Suppose -4*d - 8264 = -5*y, -y = 3*d - o - 986. Is y a multiple of 14?
True
Let r(p) = p**2 - p + 1. Let k be r(2). Suppose -5 = -4*g + k*g. Is 161/g + (-28)/(-35) a multiple of 10?
False
Let y be (120/(-100))/(3/4120). Is y/12*(-21)/14 a multiple of 39?
False
Suppose -p - 2*v + 12 = 0, -2*p - 3*v + 23 = -0*p. Let r be ((-6)/(-15))/((-2)/p). Is 16 a factor of ((-84)/(-9))/(r/(-2 - 22))?
True
Let t = -24 + 27. Let m be 6 + (-6)/t - 260. Is 6 a factor of (-18)/(-4)*m/(-12)?
True
Is 5 a factor of (28 + 2)/(-2)*(-1530)/10?
True
Let l = 2097 - 1488. Let r = l - 367. Does 11 divide r?
True
Suppose 2*f = -h - 5, 0 = -5*h - 8 - 7. Let g be (-113)/f + (-11 - -13). Let o = -67 + g. Does 24 divide o?
True
Does 47 divide 1410/(-45)*(-9)/(-6)*-8?
True
Let z = 16068 - -5648. Is 89 a factor of z?
True
Let m = 2 + 3. Suppose 9*w + 872 = m*w. Let r = w + 323. Is 21 a factor of r?
True
Let m(b) = 2*b**3 - 2*b**2 + 2*b + 576. Let i = 651 + -651. Does 32 divide m(i)?
True
Let b(o) = -o**3 + 17*o**2 - 14*o + 12. Let f be ((-20)/12)/((-7)/63). Does 14 divide b(f)?
True
Let s be 1 + -6 + (-72)/(-16)*2. Let h = s - -436. Is 5 a factor of h?
True
Let m(d) = d - 1. Let n(x) = 215*x - 5. Let p(t) = 4*m(t) + n(t). Is 15 a factor of p(2)?
False
Let l(x) = 3*x**2 - 8*x - 129. Let q be l(8). Let p = 103 + -57. Let y = p - q. Is y a multiple of 8?
False
Let k(t) = -526*t + 2514. Does 18 divide k(-15)?
True
Let f(o) = -78*o + 163. Let y be f(11). Let r = -65 - y. Is 14 a factor of r?
True
Let z(m) = 34*m**2 - 22*m + 19*m + 14*m - 5*m**2. Is z(3) a multiple of 6?
True
Let t(c) = c**3 - 65*c**2 - 280*c + 1664. Is 22 a factor of t(79)?
False
Let d(c) = c**3 - 2*c**2 - 3*c. Let u be d(-2). Let z = 473 + -467. Is 33 - 5/u*z a multiple of 4?
True
Let t(y) = 242*y**3 - 3*y**2 - 2*y + 4. Let s be t(2). Let n = -1096 + s. Is 23 a factor of n?
True
Let f(p) = 5*p**2 - 9. Let x be (-15)/((6 + 0/(-1))/(-2)). Suppose 5*s - 2*a = 31, -17 = -x*s + 4*s + 4*a. Does 39 divide f(s)?
False
Let z(k) = 60*k - 725. Does 20 divide z(28)?
False
Let u = -144 + 256. Suppose 2*c - u = 76. Let s = 153 - c. Is s a multiple of 19?
False
Let j(w) = -2*w**3 - 45*w**2 + 63*w + 304. Is j(-37) a multiple of 13?
True
Suppose 0*i = -4*i - 0*i. Is 15 a factor of (i - -1) + -36 + 205?
False
Let g(i) = -5235*i + 3006. Is 137 a factor of g(-5)?
True
Suppose -3*k - 468 = -1698. Suppose 3*b = a - 230, 16*a + 5*b = 11*a + 1190. Suppose -4*y = 2*u - k, -3*y + 64 = -u - a. Is 26 a factor of y?
False
Let a = -39 + 43. Let z be 492/(-44) + a/22. Is 2 a factor of (10 - 16)*z/6?
False
Suppose 0 = -5*l - 15, -98*k - 9*l + 883 = -96*k. Suppose 2*a - 210 = 140. Suppose -a = -2*o + 5*y - 4*y, 0 = -5*o - y + k. Does 18 divide o?
True
Let p = -2 + -13. Let b(i) = -i**3 - 16*i**2 - 60*i + 21. Is 82 a factor of b(p)?
False
Let p = -5274 + 5484. Suppose -4 = -4*l, -5*l = 4*s + 78 + 145. Let x = p + s. Is 23 a factor of x?
False
Let l = 388 - 383. Let n be (425 - -6) + 2/(-1). Suppose -l*d + n = 99. Does 22 divide d?
True
Let p = 372 - -90. Is p a multiple of 2?
True
Let g(v) be the third derivative of -v**4/4 + 473*v**3/6 + 28*v**2. Is 11 a factor of g(0)?
True
Let s(c) = c**3 + c + 1. Let m(y) = 2*y**3 + y**2 + 8*y + 5. Let l(d) = -m(d) + 3*s(d). Let f be l(-2). Does 7 divide f/(-30) + (-656)/(-30)?
False
Let y = -2624 + 6481. Does 52 divide y?
False
Suppose 193987 - 398698 = -71*u + 352497. Is u a multiple of 24?
True
Let d = 464 - 248. Suppose -6*n + 3*n + d = 0. Suppose -4*s + n = -2*m - 236, 2*s - 130 = -5*m. Is 10 a factor of s?
False
Let y(k) = k**2 + 12*k - 8. Let d be y(-13). Let l(r) = -43*r - 8. Let p(u) = 87*u + 16. Let x(m) = -7*l(m) - 3*p(m). Is 22 a factor of x(d)?
False
Let y(a) be the third derivative of 11/15*a**5 - 1/6*a**3 + 0 + 0*a + 1/12*a**4 + 4*a**2. Is 25 a factor of y(-2)?
False
Suppose 0*j = -3*j - 12, j = -2*d + 182. Suppose -4*m - m + d = 3*y, -16 = -m + 2*y. Is m a multiple of 12?
False
Let d(s) = 15*s + 3687. Is d(24) a multiple of 71?
True
Let k = 6494 + 508. Is k a multiple of 18?
True
Suppose -1331 = p - 3676. Suppose 0*h - 2*h = r - 770, -3*r + p = -h. Is r a multiple of 30?
True
Let t(g) = -5*g**3 - 24*g**2 + 4*g - 38. Let o be t(-9). Suppose 38*z + 2*w = 39*z - 535, 3*z + 5*w = o. Does 7 divide z?
True
Suppose 0 = 2*j + 2*t + 2, 0 = -4*j - j + t + 19. Let a be ((-5)/(-10))/(j/48). Suppose -m = -o - a, 3*o = -4*m - o. Does 4 divide m?
True
Let q = -2976 + 43692. Is q a multiple of 31?
False
Let g(c) = -c - 1. Let y(v) = 3*v. Let d(s) = 10*g(s) + 5*y(s). Let t be d(3). Suppose -177 = -t*r + o, 4*o = -5*r - o + 195. Is 9 a factor of r?
True
Let r(n) = -n**3 - 10*n**2 - 8*n + 9. Let m be r(-9). Suppose m = -5*t + 5106 - 1956. Suppose -5*w = 2*b - t, -w + 126 = -0*w + 5*b. Is w a multiple of 21?
True
Let x(f) = -f**3 - f**2 - 9*f - 4. Let d be x(-4). Suppose -r + d = -125. Is r a multiple of 57?
False
Let h be 2 + -2 + -4 - 0. Suppose 90 = 3*j - 57. Let o = j - h. Does 7 divide o?
False
Suppose 2*c + 6 = 0, 3*c + 69 + 20 = 4*x. Let d = x - 19. Let y(w) = 129*w**2 - 1. Does 23 divide y(d)?
False
Let b(d) = -24*d - 12*d - 10*d - d - 168 - 28*d. Does 6 divide b(-8)?
True
Suppose c + 0*j - 1 = j, -3*c + 11 = 5*j. Let y(k) = -25 + k**3 + 3*k**c + 11 + 17. Does 12 divide y(3)?
False
Let m(n) = -n**3 - 6*n**2 - 4*n - 15. Let h be m(-8). Let o be h/2*96/40. Suppose 0 = 3*j - 603 - o. Is 15 a factor of j?
False
Let v be (-2)/(-4)*(-5)/((-15)/1614). Let r = v - -103. Does 22 divide r?
False
Let h = 6192 - -6001. Is 137 a factor of h?
True
Let z(r) = -r**3 + 6*r**2 + 5*r - 22. Let h be z(6). Suppose 10 = -9*v - h. Is 9 a factor of (3 - 30 - v)/(-3 + 2)?
False
Suppose -5561 = -3*o - 554. Is o a multiple of 63?
False
Does 62 divide 52/65 + 145362/35?
True
Suppose -c + 5067 = -z, 12*c + 2*z - 20286 = 8*c. Does 30 divide c?
True
Suppose -1310 = -2*u - 3*c + 1531, 2*c - 2846 = -2*u. Suppose u + 686 = 7*y. Is y a multiple of 11?
False
Is 10 a factor of ((-60)/14)/(96/(-3136))?
True
Let k(r) = -69*r - 29. Suppose -9 = 2*n - q, 0 = n - 0*n + 2*q + 12. Let h be k(n). Suppose -d + 5*d + 5*v = h, 3*v = 4*d - 409. Is 20 a factor of d?
True
Let w = -2114 - -3308. Is 13 a factor of w?
False
Let q(a) = -a**3 - 7*a + 26*a - 7*a**2 - 18 - 18*a. Does 4 divide q(-8)?
False
Let g = 14144 + 19460. Does 31 divide g?
True
Let v(n) = -2*n**3 + 20*n**2 - 2*n + 26. Let g be v(11). Let s = 394 + g. Is 8 a factor of s?
False
Suppose -4*y = 5*h - 568, 2*y + 3*h = -0*h + 284. Let i = -78 + y. Suppose -2*w - 4*s + i = 0, 18 - 140 = -4*w - 5*s. Does 3 divide w?
False
Suppose 15*q - 2*q + 5278 = 0. Let t = -38 - q. Is t a multiple of 52?
False
Let l = -118 + 166. Suppose -178 = -d - l. Is 13 a factor of d?
True
Let n be ((-981)/(-218))/((2/(-1))/404). Let z = 12 - n. Does 27 divide z?
False
Suppose -7*w + 684 = -4