146/(-3820) - (-182406)/20?
True
Let n = -32171 - -54981. Is n a multiple of 47?
False
Let f(g) = 122*g**2 - 87*g - 21. Does 59 divide f(-5)?
False
Suppose 3*w + 4544 = 3*h - 2*h, 0 = -3*h - w + 13592. Is 103 a factor of h?
True
Suppose 21 = 3*o + 4*j, -o + 15 = 4*j - 0*j. Let l(f) = 5*f**o + 23*f**2 - 4*f**3 + 11 - 12*f**2 + 8*f. Is l(-7) a multiple of 14?
False
Suppose 2*v + 1328 - 6975 = 17251. Does 27 divide v?
False
Let d = -18548 + 27226. Suppose 6*r = -2360 + d. Is r a multiple of 39?
True
Suppose 3286 = 6*g + 562. Suppose 5*n - 471 = -3*c - 25, 3*c - g = -n. Is 5 a factor of c?
False
Does 38 divide 4/(-1)*5/(-60)*49431?
False
Let u = 428 - 423. Suppose n + u*d - 1000 = -338, 1891 = 3*n - 4*d. Does 49 divide n?
True
Suppose -38*a + 31*a = 784. Let w = 246 + a. Is 48 a factor of w?
False
Let b be ((-18)/(-4))/((-1)/(-4)). Let g be (100/24)/(3/18) + 3. Let v = g - b. Is v even?
True
Let a be 5 + -2 + -1 + -30. Let z be 24 + a + -3 + 1. Does 15 divide (z/(-4))/((-10 + 3)/(-714))?
False
Suppose 97*l - 83*l = 25172. Suppose -l + 2056 = 3*a. Does 7 divide a?
False
Suppose -5*j = -2*p - 164, 0 = -p - 3*j + 4*j - 79. Let i = p + 81. Suppose 0 = 5*x - i*y - 390, -x = 2*y - 61 - 3. Is x a multiple of 37?
True
Let k be (2*4)/(3670/524 + -7). Let y = k - 1446. Is 36 a factor of y?
False
Let m be 7 - 10*(-24)/(-30). Let x(s) = -616*s + 5. Is 23 a factor of x(m)?
True
Let p = 45288 + -14224. Does 27 divide p?
False
Suppose 151*m - 17751 = 150*m. Suppose 22*z - m = 11245. Does 64 divide z?
False
Does 132 divide (293804/(-8994))/((-2)/867 - 0)?
False
Let y(f) = -5*f**3 - 68*f**2 + 40*f + 8. Is 40 a factor of y(-16)?
True
Let w(b) = -36*b**3 - 8*b**2 + 5*b. Let n(z) = -74*z**3 - 17*z**2 + 10*z. Let m(q) = 3*n(q) - 7*w(q). Is 10 a factor of m(1)?
True
Suppose 2*z - 11615 = -t - 2*t, -2*t + 7765 = -3*z. Is t a multiple of 125?
True
Let r(t) = -t**3 + 12*t**2 - 11*t - 2. Let d be r(11). Let v be (d - -1)/(2883/(-1443) - -2). Is (-4)/20 + v/(-5) a multiple of 48?
True
Let r = 14858 - 1796. Is r a multiple of 9?
False
Let k(u) = 4*u**2 - 10*u - 17. Let x be ((-400)/(-120))/(4/18). Is 13 a factor of k(x)?
False
Let h = 17401 + -13301. Is h a multiple of 18?
False
Let l = -3559 - -3692. Suppose -r - 3*r - 152 = 0. Is 3 a factor of r/l - (-270)/14?
False
Suppose 18316 = 2*k - 11504. Suppose 5*i - k = -16*i. Does 78 divide i?
False
Let x(i) = -2*i**3 + 12*i**2 + 9*i - 17. Suppose 3*r + 6 = -3*c, 4*c - 2*r - 18 = -2. Suppose 8*m - 50 = -c. Is x(m) a multiple of 18?
False
Let o(q) = -5*q**2 - 14*q + 11. Let a(r) = 4*r**2 + 13*r - 12. Let n(f) = 4*a(f) + 3*o(f). Let p be n(-11). Is (6/p)/((-3)/104) a multiple of 13?
True
Suppose -48 = 2*k - 5*k. Suppose -k = -6*y - 2*y. Suppose y*d = -2 + 52. Is d a multiple of 3?
False
Suppose -2*a + a + 2*j = -1825, -2*a = 5*j - 3659. Suppose -1063 = -5*i + a. Suppose i = 12*f - 1342. Is 40 a factor of f?
True
Let d(s) = s**2 - 12*s + 5. Let c be ((-8)/(-24))/((-3)/(-27)). Suppose -r = c - 15. Is 2 a factor of d(r)?
False
Let a(b) = -b**3 + 4*b**2 + 22*b - 2. Let w be a(-5). Let x = 109 - w. Does 2 divide (-18)/x*(-5 - -7 - 0)?
False
Is 37 a factor of (-17136)/(-10) - 632/(-1580)?
False
Let f = 16881 - 10949. Is 6/72*f*3 a multiple of 14?
False
Suppose -31*l = -117 - 131. Let x(u) = 2*u**3 - 11*u**2 + 8*u + 33. Does 15 divide x(l)?
False
Let k = -113 + 116. Suppose -b - 520 = -5*i, 18 = -3*i - k*b + 330. Is i a multiple of 9?
False
Suppose -4*x = -2*b + 12884, -3 = -x - 8. Is 67 a factor of b?
True
Let u be -89 + -30 + (-1 - (3 - 0)). Is 11 a factor of (12/6)/((-6)/u)?
False
Let n(l) = -56*l + 18. Let s(g) = -g. Let w(p) = -n(p) + 3*s(p). Is 12 a factor of w(7)?
False
Let z be 2/(-2) + (-1 - -4). Suppose z*u + 1080 = 5*v + 348, 0 = -3*v + 4*u + 428. Let b = v + -78. Does 11 divide b?
False
Let c(s) = s**3 - 20*s**2 - 227*s + 22. Does 76 divide c(37)?
True
Does 16 divide -12 - (-4833 + (7 - 18))?
True
Let f(k) = -5*k + 60 + 32 - 11*k + 91. Does 35 divide f(-9)?
False
Suppose 0 = -30*d + 38*d + 24. Is 3/d + 4 + 137 a multiple of 14?
True
Suppose -21 = -1916*y + 1895*y. Let s be ((-30)/(-9))/(4/6). Is (882/35)/(y/s) a multiple of 6?
True
Is 6/(-9) + 1107659/237 a multiple of 38?
False
Let j(g) = 154*g + 212. Let d be j(9). Let i = -942 + d. Is 16 a factor of i?
True
Suppose -30*h - 5995 + 17725 = 0. Is h a multiple of 17?
True
Let c = -49 - -81. Let w(b) = -3 + 18 - 1 + 25*b - c*b. Is 14 a factor of w(-4)?
True
Let l be 9/6 - (-6)/12. Suppose 0 = -3*g + 15, 0*g + 247 = l*r - g. Does 6 divide r?
True
Is 15 a factor of (-419 - -2 - 3)*(-142 - -16)/18?
True
Let l(c) = -70*c**2 - 2*c + 2. Let u be l(-2). Let h(a) = 3*a**2 + 16*a - 505. Let v be h(15). Let f = u + v. Is f a multiple of 22?
False
Suppose -570 = 6*v - 2994. Suppose -o + 4*r + v = o, 0 = -3*o + 5*r + 604. Suppose 0 = -m - 2*t - 2*t + 84, -2*m + 2*t + o = 0. Is m a multiple of 29?
False
Let x(n) = 90*n**2 - 9*n + 1. Let h(i) = 46*i**2 - 5*i + 1. Let r(f) = -5*h(f) + 3*x(f). Is 12 a factor of r(1)?
True
Let l(a) = a**2 + 2*a + 72. Let i = -28 + 31. Suppose c - 6 = 4*t - i, t = 4*c - 12. Is 5 a factor of l(t)?
False
Suppose -4*b + 8028 = 5*b. Let t be (b/(-4))/(4 - 5). Suppose 4*o - 2*m - t = 3*m, -o + 5*m = -67. Is o a multiple of 17?
False
Let u be (-4)/30 + (-117756)/(-270). Let m be (-1 - (1 - 1)) + 7. Suppose m*l - 464 = u. Is 25 a factor of l?
True
Suppose 0 = -2*y - 0*y - 12. Let m(s) = 20 - 5*s - 72 + 23 + 23 - 10*s. Is 21 a factor of m(y)?
True
Let n(q) = 142*q - 2837. Is 9 a factor of n(39)?
False
Let t(d) = -8*d + 3*d**3 - 2*d**2 - 4*d**2 + 15 - 9*d + 10*d. Is 21 a factor of t(3)?
True
Suppose -w = -5*t + t - 22, -4*w = -t - 13. Let g be (-3 - (-2)/1)*(-110 + t). Let i = -103 + g. Does 4 divide i?
True
Suppose -20 - 1 = 7*l. Let d be (-88)/(-33)*l/(-4). Suppose -v + d*a = -19, a + 25 = v + 2. Is v a multiple of 3?
True
Suppose 39*p - 92995 = 21*p + 10685. Does 40 divide p?
True
Let p be ((-2068)/176)/(1/4). Let z = 278 + p. Is 77 a factor of z?
True
Let y be (248/6)/(((-40)/(-36))/(-5)). Let a = y + 266. Suppose 28*z - 30*z + a = 0. Does 10 divide z?
True
Does 4 divide (102 + -16)/(16/104)?
False
Suppose -191*z + 199*z = 9984. Suppose z = 2*m + 3*k, 13*m - 3141 = 8*m + 3*k. Is m a multiple of 19?
True
Let j(x) = -x**3 - 41*x**2 + 26*x + 96. Let o be j(-42). Let v = o - 762. Is v a multiple of 2?
True
Let m = 34622 - 13662. Does 80 divide m?
True
Let h be -3 - 10 - (8 + -7). Let j(n) = -7*n + 4. Is 17 a factor of j(h)?
True
Let q(p) = -2*p - 10. Let h be q(-10). Let y be (-4)/h - (-2024)/110. Suppose -51*j - y = -52*j. Is j a multiple of 8?
False
Let b(s) = 5*s - 4. Let d be (-9)/(-1) - (0 + 1)*0. Is 18 a factor of b(d)?
False
Suppose x - 2169 = -4*j + 12998, -3*j + 11399 = -4*x. Suppose 5*i = 2477 + j. Is 89 a factor of i?
False
Let t be (-16 + 5 + -3)*22/4. Suppose -h + 2*x = -3, h + 11 = -2*h - 4*x. Is h + -1 + (1/1 - t) a multiple of 9?
False
Let w be 1/((6/(-918))/(-1)). Suppose -3*b = -g + w, g = -5*b - 0*b + 161. Does 12 divide g?
True
Let y(n) = 13*n**3 + 4*n**2 + 6*n + 28. Let a be y(-4). Let p = -154 - a. Does 52 divide p?
False
Suppose 31732 = 2*o + 3*r, 0 = -40*o + 45*o + 5*r - 79335. Does 13 divide o?
False
Is ((-3591)/4)/((-24)/64) a multiple of 14?
True
Let l(m) = 56*m - 66. Let o(b) = 52*b - 67. Let k(h) = -3*l(h) + 4*o(h). Is 7 a factor of k(10)?
False
Let v = -542 + 251. Let g = v + 323. Is g a multiple of 4?
True
Suppose -3*n - 2044 = -9973. Is 73 a factor of n?
False
Let j = -9 + 12. Suppose -1375 = -j*s - 2*s + r, -s + 4*r = -256. Is s a multiple of 23?
True
Let t = -86 - -144. Suppose -4*b = -26 + 78. Let o = b + t. Does 9 divide o?
True
Is (-473)/33 + 14 + (-8236)/(-3) a multiple of 7?
False
Let r(u) = 2*u**3 - 4*u**2 - 8*u + 12. Let q be r(3). Suppose 11*x - 3*w - 1537 = q*x, -3*w - 613 = -2*x. Is x a multiple of 14?
True
Let y be 8/2 + (-3 - -9). Suppose -y = -6*m + 8. Suppose -3*t + 84 = m*r, -t + 140 = 4*t - 2*r. Is 6 a factor of t?
False
Let u be 12/(-3)*234/9. Let d = u - -648. Does 32 divide d?
True
Let g be (6/9)/((-2)/24). Let n(b) = b - 2. Let s(f) = 14*f + 34. Let u(m) = 4*n(m) - s(m). Is u(g) a multiple of 9?
False
Is 52 a factor of (-2)/5*1 + 21/(-165)*-197681?
False
Let v = 74 + -81. Let n be v/(-14) - ((-6)/(-4) + -1). Suppo