 0 - -3. Suppose r*g - g = i. Is g a multiple of 2?
False
Let t be (-51)/119 - 122/(-7). Let o(c) = c**3 - 16*c**2 - 16*c - 16. Let d be o(t). Let r(q) = 65*q**2 - 3*q + 2. Does 12 divide r(d)?
False
Let o(v) = -6*v - 146. Let f(c) = -34*c - 728. Let j(p) = 2*f(p) - 11*o(p). Is j(-5) a multiple of 5?
True
Let r = 187 - 665. Let f = r + 706. Suppose 4*k + 2*k - f = 0. Is k a multiple of 6?
False
Let i be (7*-2)/(5 + -3 + -3). Suppose 0 = 5*l + 3*t + 6, 0 = i*l - 18*l + t + 2. Suppose -15*h + 3106 + 2669 = l. Does 35 divide h?
True
Suppose -2110776 = -243*c - 53*c. Does 3 divide c?
True
Let m be 8/(-40) + (-1956)/(-5). Let j = 1234 - m. Does 37 divide j?
False
Suppose -11*d = -13*d + 282. Let n = d - -130. Is n a multiple of 18?
False
Let i(n) = -6*n + 204 + 76 + 19*n - 3*n. Is 18 a factor of i(-19)?
True
Suppose -15*m + 50038 + 149357 = 0. Is m a multiple of 58?
False
Suppose 5*v = -2*o + 54551, -125*v + 1 = -126*v. Is o a multiple of 46?
True
Suppose -3*b + 77 = -h, -4*h - 19 = -b - 7*h. Let d(y) = 8*y + 299*y**2 + b*y - 300*y**2 - 16. Does 20 divide d(24)?
True
Let p = 623 - 352. Suppose i - 76 = p. Is i a multiple of 85?
False
Suppose z = -1, -z = -i - 2*z + 8. Suppose 3*m = 12*m - i. Does 12 divide (((-6)/7)/m)/((-46)/7728)?
True
Let j be (14/(-21))/(4/18) + -1. Let g = -2 - j. Suppose 4*m - 20 = 0, -125 = -3*z + g*z + 3*m. Is 37 a factor of z?
False
Suppose 9*j - 62162 = -20127 + 65371. Does 39 divide j?
True
Let i(r) = 80*r**2 - 99*r - 2. Is 134 a factor of i(16)?
True
Suppose 0 = 4*p + 4*a + 388, -4*p + a + 489 = -9*p. Let b = p - -103. Is 5 a factor of b?
True
Let h(d) = 25*d + 8*d + 15 + d**2 - 56*d + 1. Let l be h(9). Let q = 204 + l. Does 40 divide q?
False
Let m = 23599 - 11353. Does 6 divide m?
True
Let h(c) = -4 + 25*c + 8 - 41*c**2 + 2*c**3 + 11 + 14. Is h(20) a multiple of 23?
False
Suppose 4*d - f - 146146 = 0, -4*d + 146128 = 67*f - 71*f. Is d a multiple of 12?
False
Suppose -4*m + 8564 = -2*i, 0 = -3*m + 6*m + 2*i - 6430. Let k = m - 1491. Is k a multiple of 36?
False
Is (-167554330)/(-9557) - 2/19 a multiple of 107?
False
Is -387*(-24)/(-14)*(-4088)/438 a multiple of 172?
True
Suppose -35*b = 8*z - 32*b - 152533, b - 95327 = -5*z. Is z a multiple of 85?
False
Suppose 5*v - 762 = -5*p - 217, -5*p = -3*v - 505. Suppose 5*c + p = 14. Is (1/2 - -1)/(c/(-84)) a multiple of 2?
False
Does 16 divide -2*(141 + 0)*2522/(-52)?
False
Suppose 3*u + 221 = 2*a + 942, -2*u - 1812 = 5*a. Let o = -107 - a. Is 8 a factor of o?
False
Let r be (-4 + (30 - 0) + -3)*20. Suppose 3*n + 2*d + r = 2844, 3*n - 4*d - 2414 = 0. Is 14 a factor of n?
True
Suppose -3*y - 3*l = -121983, 0 = -19*y + 17*y + l + 81313. Is 29 a factor of y?
True
Suppose 3*j + 62*s - 66*s = 28201, 0 = 4*j + 5*s - 37653. Is 4 a factor of j?
False
Let n(d) = -d**3 - 10*d**2 - 283*d + 84. Does 48 divide n(-20)?
True
Suppose 0 = -52*f + 39611 + 34593. Is f a multiple of 9?
False
Let p = 325 - 55. Suppose -p*q - 3200 = -275*q. Does 20 divide q?
True
Suppose 3085*d = 3060*d + 67925. Does 39 divide d?
False
Let i = 3808 + 1682. Does 61 divide i?
True
Does 2 divide -2 + 5 - (-9 + -346)?
True
Let o be 0 - -2 - (3 - (157 - -5)). Suppose o + 242 = 13*s. Is s a multiple of 31?
True
Suppose 3*q - 2*n = -5*n - 165, q + 3*n = -45. Let a = q - -241. Suppose 13*p - 701 = -a. Is 5 a factor of p?
True
Is 40 a factor of (-1646435)/(-63)*(-30)/(-50) - (-12)/(-9)?
False
Let l = 13874 - -649. Does 49 divide l?
False
Let p(d) = -264*d + 17. Let n be p(-2). Let m = 929 - n. Is 43 a factor of m?
False
Does 108 divide (-412188)/(-60) + 7 + (2 - (-36)/(-20))?
False
Let g = 129 - 126. Is (-2)/(g*7/(-420)) a multiple of 5?
True
Is 14 a factor of (-116)/145 + (-2)/(-30)*3327?
False
Does 12 divide (-1 - -2445)*24/96?
False
Suppose -2*l + 1788 = 4*b, 4*b - 15*l = -11*l + 1824. Is 3 a factor of b?
True
Let h(j) = -j**3 - 20*j**2 + 41*j - 70. Let p be h(-22). Is p/(-6) - 3019/(-3) a multiple of 30?
False
Suppose -7 = -4*z + 9. Suppose -z*w - 12*w = 1440. Let t = w - -103. Does 2 divide t?
False
Suppose -2*r + 15 = 3*b, -6*r + r = -b - 12. Suppose -2*h = 2*a + 24, a + r*a + 33 = h. Let x(c) = -5*c - 11. Is x(a) a multiple of 6?
False
Let o = -160 + 328. Suppose -3*g - 3*g + o = 0. Suppose -g = -5*c + 57. Does 3 divide c?
False
Suppose -5 = 7*f - 404. Suppose 3692 = -f*y + 13952. Does 36 divide y?
True
Suppose 95*o - 3763200 = -145*o. Is o a multiple of 80?
True
Suppose 6*n + 3*n - 144 = 0. Suppose 0 = 15*h - n*h + 712. Suppose h = -2*x + 6*x. Is 26 a factor of x?
False
Let y be ((-12)/(-16))/((-9)/4 - -2). Let o(w) = w**3 + 5*w**2 + 3*w. Let k be o(y). Let p(j) = j**3 - 8*j**2 + 4*j - 8. Does 38 divide p(k)?
False
Suppose -3*j + 812 = 3*j - 4*j. Does 3 divide j?
False
Let p(t) = 2*t**3 - 22*t**2 - 19*t + 540. Is 22 a factor of p(16)?
False
Suppose 0 = 2*r - 5*g + 294, 0 = -5*r - 5*g - 124 - 541. Does 56 divide 24 - 18 - r*2?
True
Suppose 3*n + 172 = b, -4*b + 953 = 2*n + 195. Suppose 0 = -201*x + b*x + 6496. Is 58 a factor of x?
True
Let s be (-75800)/(-105) - 2/(-21). Let b = -688 + s. Does 32 divide b?
False
Let m(a) = a**3 + 21*a**2 + a + 21. Let f be m(-21). Let c be (-2 + (-27)/(-12))*f. Suppose q - 5*s = 15 + 17, -4*q + 2*s + 164 = c. Is 14 a factor of q?
True
Let f be 72/15 + 2/10. Suppose -7*y = -2*y + 15, y + 978 = f*q. Is q a multiple of 6?
False
Let o(w) = -5*w + 46. Let r be o(-5). Suppose -8*d = -121 - r. Is 2 a factor of d?
True
Suppose 0 = -3*v - 2*h - 1929, -5*v - 5*h + 1277 = 4487. Let l = v - -807. Is l a multiple of 9?
True
Suppose 0 = -4*p + 4, -3*t + t - 1061 = 3*p. Let m = t + 728. Does 41 divide m?
False
Suppose 0 = -76*a + 7*a + 294030 + 167580. Does 48 divide a?
False
Suppose -43*o = -172223 - 637811. Is 10 a factor of o?
False
Suppose 0 = -4*r + 10 - 2, 0 = -2*o - 5*r + 74942. Does 22 divide o?
True
Suppose -99 = 14*j - 47*j. Suppose -4*a - 1288 = -4*d, 0 = -j*d - 11*a + 13*a + 964. Does 4 divide d?
True
Let r(s) = -s + 2*s + s - 42*s**3 + 5*s - 11*s**2 - 2 - 5*s. Does 61 divide r(-3)?
False
Suppose -3*f = v - 30394, f + 5*v - 2390 = 7704. Does 17 divide f?
False
Let d = 7557 - 6860. Does 17 divide d?
True
Is 6087462/555 + (9/(-5))/(-3) a multiple of 91?
False
Let u(o) = 918*o**2 - 123*o + 372. Does 16 divide u(4)?
False
Let q be 88/66*(-6)/(-4). Let n(k) = 292*k**2 + 2. Does 65 divide n(q)?
True
Let i = 224 - 222. Suppose i*k - 1 = 3, 0 = -3*w + k + 481. Is 23 a factor of w?
True
Let i be (28 + -34)*(8/(-3))/1. Let s be (i/(-4))/(2/4). Is (-2 - -4) + -34*s/2 a multiple of 14?
False
Let x(s) = 112*s + 4019. Is 9 a factor of x(10)?
True
Let u(r) = 11*r + 38. Suppose -4*j = -2*w + 30, -j - 3*w + 5 = -2*j. Let t be u(j). Is 20 a factor of t*(-1)/(20/8)?
True
Let g(i) = 46 + 13 - 19*i + 32. Let w be g(-31). Suppose -w = -8*x - 248. Is x a multiple of 15?
False
Let v(r) = -6*r - 29. Let l be ((-2)/(8/(-5)))/((-2)/(-64)). Suppose 20 = -3*z + 5*q, 3*z = -0*z + q - l. Is v(z) a multiple of 16?
False
Suppose -37909 = -3*i - n, -4*i + 100*n = 98*n - 50552. Is i a multiple of 29?
False
Let o = -70 - -70. Suppose -5*b = -3*p + 1098 + 333, 5*b + 2*p + 1446 = o. Let x = b - -428. Does 10 divide x?
True
Let x = 21546 - 21066. Is 160 a factor of x?
True
Let s(c) = -160*c + 9. Suppose 18 - 10 = -8*v. Does 13 divide s(v)?
True
Suppose 2286 = -24*c + 6246. Does 33 divide c/6*-27*(-4)/6?
True
Let k = 100 - -240. Suppose -10*p = 10*p - k. Is p a multiple of 2?
False
Let a be ((-24)/10)/(24/(-1040)). Let m = a + -58. Is m a multiple of 6?
False
Suppose 5*o + 5*f = -23 + 3, 3*f = -4*o - 14. Let c = 401 - 393. Does 3 divide -1*o/(c/(-38))*-2?
False
Suppose 3*o - 15324 = -4*v, -2*v + 42*o = 47*o - 7676. Is 156 a factor of v?
False
Let l(v) = 5*v. Let h(z) = 48*z. Let o(j) = 5*h(j) - 35*l(j). Let r be o(6). Suppose 60 = -3*s + r. Is s a multiple of 8?
False
Let i = -8934 + 9014. Is 6 a factor of i?
False
Suppose 2*f = 5*m + 194, 4*f = -3*m - f - 104. Let j = -38 - m. Suppose j = -5*g + 155 + 100. Is 17 a factor of g?
True
Let j = 1658 - -4131. Is 46 a factor of j?
False
Let x(t) = t**3 - 6*t**2 + 6*t - 3. Let a be x(5). Suppose 0 = 4*y + 4*d - 6 - a, 2*y - 10 = -5*d. Does 22 divide -6*-11*(y - -1)?
True
Let h = -147 + 147. Suppose -z - a = -5*z + 1360, h = z + 3*a - 340. Is 25 a factor of z?
False
Let s(h) = 6