 13*t**3 - t. Let x be v(-1). Is 52/x - (36/6)/(-18) even?
False
Let n be 873*(5 + 4 + -7). Let f = -1056 + n. Is 23 a factor of f?
True
Let o(i) = 51*i**3. Let x be o(2). Let v be x/(-15) - (-3)/15. Let s = v + 91. Does 18 divide s?
False
Suppose -5*x + 0*x = 2*i, 3 = -i - 4*x. Suppose i*o = -3*o + 3840. Is o a multiple of 20?
True
Suppose -a - 1 + 0 = 0, 3*a = m - 7. Suppose -4*z - b - m = -3*z, -8 = 3*z + 2*b. Suppose z = 9*f - 1691 + 359. Is 27 a factor of f?
False
Let h(q) = 51*q**2 - 20*q + 12. Is h(6) a multiple of 10?
False
Suppose -3*o = -14*o + 22. Let j be o/(-8) + 66/(-24) + 221. Suppose 243 = 4*n + d + 2*d, 2*d + j = 4*n. Does 19 divide n?
True
Let i = -570 + 574. Suppose -1820 = -75*o + 74*o - i*x, 3*x = o - 1855. Is 51 a factor of o?
False
Suppose -9*o - 61 = 20. Suppose -z + 90 = -6*z - 5*r, -3*z + 4*r = 54. Is 52 a factor of (-2 + 302/2)/(o/z)?
False
Let j(p) = 1021*p - 580. Is j(5) a multiple of 33?
False
Let z(y) = 157*y - 1611. Does 7 divide z(19)?
True
Let w(p) = 77*p**2 + 130*p - 2536. Is 7 a factor of w(18)?
True
Suppose 87745 = 9*a + 20902. Is 16 a factor of 0 - 4/18 - a/(-9)?
False
Suppose -4*x = -2*x + 8, -2*h + 2*x + 8 = 0. Suppose j + 2*n + 1 = h, -4*j - 2*n + 4*n = -16. Suppose -z = u - 64, -u - 39 - 137 = -j*z. Is 20 a factor of z?
True
Let r be 14 - -6*(-5)/15. Is 8 a factor of r/(-3 + (-76)/(-24))?
True
Let v = 6956 - 1598. Is 3/156*13 - v/(-8) a multiple of 67?
True
Suppose -63*b + 10603 = -146708. Is 11 a factor of b?
True
Let a(m) = -7*m**3 + 2*m**2 + 13*m - 1. Suppose -3*v - 2*o = 18 + 1, -3*v - 5*o - 34 = 0. Is a(v) a multiple of 22?
False
Suppose 2*d = i + 627, -d + i = -4*d + 953. Suppose 8*a + 76 = d. Is 13 a factor of a?
False
Let n = 24 - 12. Let u = -1566 - -1572. Suppose 798 = n*p - u*p. Is 24 a factor of p?
False
Let w(y) = -7*y - 11. Let j(r) = 3*r + 5. Let t(v) = 5*j(v) + 2*w(v). Let b be t(-2). Is (45/(-3))/(2*b/(-8)) a multiple of 15?
True
Suppose -4*g + 208 = -4*l, 5*l + 148 = -5*g - 92. Does 13 divide l*((4 - -1) + -35)?
False
Suppose 4*b = 2*b - 10, 0 = 4*x + 2*b + 22. Let y be (0 + -1)*-394 + (-4 - x). Suppose 18*k + y = 21*k. Is k a multiple of 14?
False
Let z be ((-4)/(-6)*-1)/(4/(-54)). Let r be 3/z + (-33)/(-9) + 3. Suppose -r*m + 11*m = 640. Is m a multiple of 40?
True
Suppose c + 0*c - 12 = -j, -j = 2*c - 22. Suppose 0 = c*r - 4*r - 1410. Does 16 divide r?
False
Suppose 60*z + 3*s + 18425 = 61*z, -3*z + 55236 = 4*s. Does 17 divide z?
False
Let h(a) = -a**3 + 3*a**2 + 15*a + 18. Let b be h(6). Suppose b = 17*y + 560 - 5150. Is 18 a factor of y?
True
Let w = 1804 + -1687. Suppose r + 836 = 4*r + p, -r + 281 = -2*p. Suppose -w - r = -6*u. Is 16 a factor of u?
False
Let j(n) = n**3 + 16*n**2 - 8*n + 36. Let w be j(-16). Suppose -161*c - 966 = -w*c. Is 14 a factor of c?
True
Suppose 27*b - 21*b - 36 = 0. Let l(y) = 54*y - 68. Let p be l(b). Let j = p - -13. Is 13 a factor of j?
False
Let d(o) = -4*o**2 + 22*o + 2. Let v be d(5). Let n be (-10)/(-4)*2 - 3. Suppose 3*z = -v, 0 = -n*c + 3*z - 68 + 234. Is c a multiple of 11?
True
Let f = -600 + 1196. Let a = -488 + f. Does 4 divide a?
True
Let h = -142 + 2861. Is h a multiple of 45?
False
Is 33 a factor of (1 + 189539/(-14))/(2/(-4))?
False
Let y(h) = 66*h - 32. Let s(m) = 2*m**2 + 20*m + 6. Let t be s(-10). Is y(t) a multiple of 52?
True
Does 17 divide 964*((-117)/(-52) + 9)?
False
Let w = 2652 - 3814. Let i = 477 - w. Does 79 divide i?
False
Suppose -20*m = -15*m - 15. Let l be (3 - 1) + 18/m. Is 10 a factor of 316/l + 10/(-4) + 3?
True
Suppose 7*m = 6049 - 1107. Suppose 5*a - m = 3*z - 237, 0 = -4*a + 3*z + 377. Is a a multiple of 23?
True
Does 20 divide -13 + (-1133976)/(-33) + (-2)/(-22)?
False
Suppose 0 = 3*b + 5 - 20. Suppose -l + b = 0, a - 2*l - 3*l = 1067. Suppose -4*q + 17*q = a. Is q a multiple of 21?
True
Suppose -7*u = -0*u - 1435. Suppose 10*w + 125 = -u. Let q = 137 + w. Does 13 divide q?
True
Let f(m) = 45*m**3 - m**2 + 4*m. Let g be (-52)/(-24) + 3/(-18) - 0. Is f(g) a multiple of 26?
True
Let u(j) = -85*j + 8. Let b be u(1). Is 35 a factor of (-3223)/b*(1 + 6)?
False
Let t be 14/(-21)*(-3)/2*14. Let w(x) = -x**3 + 13*x**2 + 15*x - 20. Let u be w(t). Is 24 a factor of ((-261)/u)/((-3)/(-6))?
False
Let r = 60780 - 26256. Is 6 a factor of r?
True
Let h(u) = u + 1. Let c(x) = -37*x - 12. Let m(i) = -c(i) - 5*h(i). Is 14 a factor of m(8)?
False
Let w(t) = 3*t**2 + 7*t + 13. Let g be w(-5). Let d = -60 + g. Is 147 + (5 + d)*(-6)/(-4) a multiple of 12?
True
Let d be 227 + 3 - (-85)/(-17). Let f = d + 533. Is f a multiple of 30?
False
Let j(l) = 29*l**3 - l**2. Let s be j(-1). Let p be s/7 - (-4)/14. Let v(w) = 2*w**2 + 2*w. Does 7 divide v(p)?
False
Let p be (1 - 0 - -162) + 2. Let t = p + -21. Is t a multiple of 12?
True
Suppose -22 - 13 = 5*a. Let g be (10/55 + (-123)/11)*a. Suppose 0 = -5*z + 18 + g. Is 13 a factor of z?
False
Let g be (4 + -4)/(2/(-1)). Let m = -43 - -49. Suppose 0 = -x + 4*o + m, -x - 5*o + g*o = -42. Is x a multiple of 10?
False
Is 88 a factor of 420*((-2112)/40)/(-6)?
True
Suppose -3*y = -26*f - 38*f + 84992, -2*y = -3*y. Is f a multiple of 10?
False
Suppose -5*q - 30 = 5*t, 14 = q - 4*q - 2*t. Let r(m) = m**2 - 4*m - 9. Let n be r(q). Suppose 4*w + 221 = n*l, -145 = -2*l - 0*w + 5*w. Is l a multiple of 16?
False
Let f(p) be the first derivative of -p**3/3 + 11*p**2/2 - 6*p + 26. Is 18 a factor of f(8)?
True
Suppose -5*l + k = -29841, l + 192*k - 189*k = 5949. Is l even?
False
Suppose 2*i + 92 = p + 21, 0 = i - p + 37. Let t = i - -45. Is t a multiple of 11?
True
Is 60 a factor of (-122)/(-183) + (-24294)/(-9)?
True
Suppose 807*j = 802*j - g + 108758, 0 = j - g - 21754. Is 5 a factor of j?
False
Let k be 2/(-6) - (-16)/3. Let c(d) = 595*d**3 + 15*d**2 - 24*d + 7. Let t be c(1). Suppose 3*b = -5*s + t, 456 = k*s + 5*b - 129. Is s a multiple of 11?
True
Let t be (-1 - -1)*-1*1. Let s(z) = -z**2 - 52*z + 416. Let p be s(-59). Suppose t*q - 123 = -p*q. Is 10 a factor of q?
False
Suppose 0 = -8*l + 291 - 275. Suppose 0*g - 1292 = -3*g - v, -l*g + 860 = v. Is 36 a factor of g?
True
Suppose -m + 107070 = 5*q, -38310 - 25939 = -3*q - 2*m. Is 133 a factor of q?
True
Suppose 10*m - 160 = 5*m. Let s = m - -112. Is 18 a factor of s?
True
Let r(l) = 4*l**3 + 14*l**2 - 9*l + 35. Let c(d) = -28*d**3 + 55*d**3 - 28*d**3. Let a(h) = -5*c(h) - r(h). Does 13 divide a(14)?
True
Let l = 73 + -68. Suppose 6*u + 186 = l*u. Let v = -89 - u. Is 18 a factor of v?
False
Let h = -50 + 52. Suppose 2*g - 898 = 4*x, 3*g - 1347 = -h*x - 2*x. Is g a multiple of 47?
False
Let l(w) = 2*w**3 + 9*w**2 - 25*w. Suppose -2*r = 26 - 14. Does 10 divide l(r)?
False
Suppose 4*t = 4*v + 126 + 2, 2*v + 30 = t. Let z(x) = 2*x**2 - 46*x - 83. Is z(t) a multiple of 19?
True
Suppose 4*g - 3*d = 2*d - 2, -4*d + 14 = 3*g. Suppose -g*l = 4*h - 304, 4*h = -l + 35 + 273. Does 4 divide h?
False
Let f(p) = 8416*p + 8 + 8424*p - 16833*p + 215*p**2. Suppose -l = 5*r - 0*l + 1, -20 = 4*r - 4*l. Is 36 a factor of f(r)?
True
Suppose -81 = -r + 103. Let f(n) = -n**3 - 13*n**2 + 2*n + 29. Let u be f(-13). Suppose 7*t - u*t = r. Is 41 a factor of t?
False
Let v be (-6)/(-2) + 11 + -8. Let s be (21 + 153)/(v/4). Let w = s - 51. Does 13 divide w?
True
Suppose -27 + 21 = -3*d. Suppose d*u + 2 = 6. Suppose -u*p + 5*j + 147 = 0, 3*p - 2*j + 5*j - 168 = 0. Does 18 divide p?
False
Suppose 144940 = 179*o - 2052498 - 1918667. Is 35 a factor of o?
True
Let c(d) be the third derivative of -d**4/3 + 19*d**3/6 + 8*d**2. Let y be c(5). Does 11 divide 7*((-6)/y + 64/7)?
True
Let i = 28 + -25. Suppose 5*v - 11*p = -12*p + 2082, i*p + 1658 = 4*v. Is 52 a factor of v?
True
Let n = 17 - 13. Suppose n*a + a - 180 = 0. Let p = a + -18. Does 9 divide p?
True
Suppose -55334 - 60766 = -36*y. Is 109 a factor of y?
False
Is (332 - -1) + -13 + -12 + 22 a multiple of 3?
True
Is (-22)/((-44)/35)*(-408)/(-10) a multiple of 119?
True
Let h be (100/35)/((-1)/(-7)) - -2. Does 44 divide -5*(1228/(-22) + (-4)/h)?
False
Let i = 3544 + 1884. Does 23 divide i?
True
Suppose -2*c + 12 = 0, -278*u - 44554 = -282*u - 5*c. Is u a multiple of 49?
False
Suppose 5*n - 4*q + 3 = 0, -11*q + 1 = -n - 10*q. Is 25 a factor of (n - -1)*(-110338)/(-172)?
False
Suppose 54 = 2*d - 134. Suppose -53*v = -62*v + 837. Suppos