) = 345*v - 9. Let t be f(m). Is 28 a factor of (32/20)/(2 - t/(-525))?
True
Let f(p) be the second derivative of 32*p**3/3 + 2*p**2 - 4*p. Suppose -9 = 5*b - 14. Does 17 divide f(b)?
True
Let n(j) = -121*j - 23. Let t be n(-3). Suppose 20*s - t = 10*s. Does 4 divide s?
False
Let k = 168 + -62. Let z = k - 95. Is z even?
False
Let x(d) = d**3 - 9*d**2 + 9*d - 11. Let y be x(8). Is 28 a factor of 7/(-14)*y*(-2688)/(-9)?
True
Suppose u - 2*y = 8 + 1, -6 = -4*u - 2*y. Let f be (-1)/((4 - 5)/8). Suppose -a - g = f - 40, -u*a + 101 = 2*g. Is 7 a factor of a?
False
Is ((210/120)/(21/(-6)))/(1/(-24958)) a multiple of 163?
False
Let t(a) = -a**2 + 18*a - 23. Let z be t(26). Let l(d) = 13*d + 3. Let i be l(-6). Let r = i - z. Is r a multiple of 26?
True
Let r(i) = -i**2 + 6*i + 205. Let v(g) = 4*g + 66. Let s(p) = -9*p - 131. Let c(t) = -2*s(t) - 5*v(t). Let o(y) = -7*c(y) - 2*r(y). Is 33 a factor of o(0)?
True
Suppose 68*k - 56*k = 72. Does 3 divide k?
True
Let u be (-153 - 9)*1/(-2)*1. Let w = 159 - u. Is w a multiple of 13?
True
Suppose -13 = -8*p - 5. Let o be p*-3 + -2 + 8. Suppose o*j - 39 = 24. Does 21 divide j?
True
Let q(r) = 8*r**2 - 2*r - 13. Let l(z) = -6*z**2 + z + 13. Let o(d) = -3*l(d) - 2*q(d). Let t be o(-9). Does 16 divide (0 - -4) + (t - 16)?
True
Is -1*(122/(-671) + 157866/(-33)) a multiple of 33?
False
Let h = 3783 + -2657. Does 4 divide h?
False
Let k(l) = 36*l + 6. Suppose 4*p - 7 = 73. Let t be 56/p + (-16)/20. Is 13 a factor of k(t)?
True
Let j(r) = -r**3 - 8*r**2 - 5*r + 75. Does 25 divide j(-16)?
False
Suppose 4*v + 4 = 8*v. Suppose 2 = s - v. Suppose s*c = 5*a + 52, -2*c = a + 3*a - 64. Is c a multiple of 8?
True
Let u(l) be the second derivative of l**4/12 + 7*l**3/2 + 94*l**2 - 125*l + 1. Does 9 divide u(-7)?
True
Suppose 3*z - 4189 = -g + 4329, 0 = z + 4*g - 2865. Is z a multiple of 33?
False
Let q(y) = -118*y**3 + 26*y**2 + 152*y + 39. Is 12 a factor of q(-6)?
False
Let n = -27 - -9. Is 7 a factor of 27/n + (-1 - 313/(-2))?
True
Suppose -22*l - 24*l = -23828. Is 7 a factor of l?
True
Suppose -3*m = -n + 60, -5*n + 3*m = -0*m - 348. Suppose u - 8 = -4*l - 1, 5*l = -4*u + n. Suppose 0 = -u*r + 18*r + 725. Does 49 divide r?
False
Let w = 20 + 12. Suppose w*u = 24*u + 24. Suppose 5*t = -u*c + 509, -2*c - 3*t + 361 = -4*t. Is 9 a factor of c?
False
Let f = 7386 - 4628. Is 3 a factor of f?
False
Is 17 a factor of 36/22*(-71804)/(-12) + 42/77?
True
Suppose -5*k - 1960 = -5*a, -k - 3*a - a - 372 = 0. Let w = -52 - k. Suppose -w = -14*x + 8*x. Is 28 a factor of x?
True
Suppose w = 234 + 51. Suppose 0 = -6*m + m + w. Suppose -5*k = m - 297. Does 6 divide k?
True
Suppose -126 + 18 = -9*g. Suppose 0 = -7*k + g*k - 5, 3*z = -5*k + 1304. Is 13 a factor of z?
False
Let k = -115 - -119. Is 16 a factor of 188 - k*(3 + -4)?
True
Is 4 a factor of -2 + (-26420)/(-8) - 13/26?
True
Let m be 2/(-1 - 1) + 8/8. Suppose m*h = h - 5*b, 4*h - 2*b = 18. Suppose -h*t - 99 + 764 = 5*c, t = -2*c + 265. Does 11 divide c?
True
Suppose 74813 = 16*a - 12474 + 17127. Does 36 divide a?
False
Let y(m) = 3*m**3 + m**2 - m + 1. Let w be y(1). Let j be 3/((-3)/w)*-14. Suppose j = 35*c - 31*c. Is c a multiple of 2?
True
Is (-4981158)/(-441) + (90/21)/5 a multiple of 75?
False
Suppose 788 = 15*o - 19597. Is 2 a factor of o?
False
Suppose -18 = -l + 2*w, 6*w - 9*w = 6. Suppose -292 = -l*p + 2550. Does 12 divide p?
False
Suppose -j = 2*g - 1, -2*j + 22 = -3*g + 2*g. Let n be 14 - (-3)/j*-9. Let f(x) = x**3 - 11*x**2 + x + 13. Is 12 a factor of f(n)?
True
Let s(h) = -240*h**2 - 2*h + 2. Let m be s(1). Let d = 169 + m. Let c = 96 + d. Is c a multiple of 4?
False
Let x = 15928 - 13104. Is x a multiple of 4?
True
Let w(p) be the first derivative of -3*p**5/10 + p**4/24 - 5*p**3 - 1. Let k(j) be the third derivative of w(j). Is k(-1) a multiple of 9?
False
Suppose 0 = 5*g - d - 44, 0 = -3*g + d + 16 + 10. Is (-2 - 1)*((-1002)/g - 6) a multiple of 16?
True
Let z be -2*2 - (-2 + -90). Suppose 5*b + z + 77 = 0. Does 12 divide b/22*(-4)/6 + 22?
False
Let j(i) = 5*i - 27. Let y(m) = -7*m + 40. Let v(h) = 8*j(h) + 5*y(h). Let t be v(3). Is 40 + (8 - 4)*t a multiple of 6?
True
Does 52 divide (156/(-9))/(36/(-2376))?
True
Let o be (-27)/(-108) - (-223)/4. Is ((-23)/2 + 2)/((-4)/o) a multiple of 5?
False
Suppose -28 - 84 = 4*p. Let n = p + 52. Is 3 a factor of n?
True
Is (102/(-13))/(167/(-2171)) a multiple of 70?
False
Does 26 divide (-30107)/(-15) + 304/(-2280)?
False
Is 11 + (-5 - -3878) + -15 a multiple of 53?
True
Let v be 36/(-10)*(-120)/(-18). Let h = 10 - -40. Let z = h + v. Is 11 a factor of z?
False
Let x(m) = 7*m - 32. Let q be x(-4). Let o = q + 52. Let h(f) = -21*f + 39. Is 26 a factor of h(o)?
False
Suppose -3*i - 65 = 1. Let m be 3 + 70/i - (-24)/11. Suppose 4*p + m*o - 68 = 4*o, 4*p - 74 = 5*o. Does 11 divide p?
False
Suppose f + 1268 = -3*p, 1131 - 291 = -2*p - 2*f. Suppose 4 = 4*q - 16, -2*d - 31 = -5*q. Does 13 divide -5 - p/(-6)*d?
False
Let c = -368 + 365. Does 20 divide (-174)/4*(c - (-124)/(-12))?
True
Is -5 + ((-11698)/(-4) - 6/((-48)/(-28))) a multiple of 74?
False
Let v be 635/4 - (-3)/60*5. Let d = 282 - v. Is 45 a factor of d?
False
Let t be (-13)/13 + 3/3. Suppose t = 9*o - 3719 + 749. Is 33 a factor of o?
True
Suppose 15 = -n - 3*p, -3*n + 2*p - 6 - 28 = 0. Let b = 190 + -193. Is 26 a factor of (-260)/b*n/(-8)?
True
Let r = -71 + 79. Does 59 divide 2*(0 + (-44)/r)*-59?
True
Suppose 0 = 11*m - 3*m + 528. Let j = -6 - m. Is 15 a factor of j?
True
Suppose -4*b = 2*n - 8, -3*n - 3 = 12*b - 11*b. Suppose -3*q + 515 = -p, -q - b*p = -5*q + 695. Does 10 divide q?
True
Let s be (-4)/26 + (-24808)/(-364). Let d = 119 + s. Is d a multiple of 17?
True
Let l(q) = -78*q**2 + 10*q - 3. Let p(u) = 229*u**2 - 30*u + 8. Let s(g) = 8*l(g) + 3*p(g). Is 16 a factor of s(-2)?
True
Let i(m) = 7*m**2 - 3*m - 13. Let x be i(-6). Let u = x - 12. Suppose 7*b - 2*b - 153 = -3*v, 5*v + 5*b = u. Is 12 a factor of v?
False
Let j(q) = -27*q - 13. Let w be j(2). Let v = w + 72. Suppose 33 - 132 = -r - 4*d, -v*r + 453 = -d. Is 30 a factor of r?
False
Suppose -3*x + 3671 = -2*n - 346, -5*n + 6720 = 5*x. Suppose 2*v + x = 5*a + 4*v, 0 = -4*a + v + 1065. Is 9 a factor of (72/30)/(a/(-90) - -3)?
True
Let l(v) = 152*v + 27. Let p(d) = 154*d + 26. Let o(c) = 3*l(c) - 4*p(c). Does 11 divide o(-6)?
False
Suppose 0 = -k + 3*h - h + 10, -5*h + 1 = 4*k. Suppose 2*p = k*p + 2*j - 250, -4*j + 4 = 0. Does 14 divide p?
False
Let x be 1 + 0 + 14/7. Suppose x*i = 15, -4*f + 0*f - i = -4041. Does 20 divide f?
False
Let c be -1 - ((-11 - -14) + (-3 - -1)). Let k be -3 + (4/c - -84). Let a = k + -64. Is 3 a factor of a?
True
Let q(r) be the second derivative of -5*r**4/12 - r**2/2 + 2*r. Let c be q(1). Is (-1)/(c/4) + (-848)/(-24) a multiple of 6?
True
Suppose -2*a + 21*y = 19*y - 3618, 0 = -2*y - 8. Does 27 divide a?
False
Suppose 5*k + 0*u + 2*u = -19, 2*k - 3*u = 0. Let t be (-246)/5*15/k. Is 12 a factor of t/4 - 1/2?
False
Let q be (-32)/(-128) - (-102198)/8. Suppose -40*h + q = -15*h. Does 7 divide h?
True
Suppose 6*y = s + 8*y + 2622, 0 = -s + 4*y - 2652. Is 17 a factor of (-2 + -3)*s/10 + -4?
False
Let j(m) = -m**3 - 12*m**2 - 11*m + 8. Let t(b) = b - 2. Let i be t(-4). Let u(x) = -x**3 - 7*x**2 - 4*x + 1. Let k be u(i). Does 2 divide j(k)?
True
Let h(a) = -20*a - 180. Let n(p) = 21*p + 182. Let q(k) = 7*h(k) + 6*n(k). Is q(-37) a multiple of 49?
False
Suppose 0 = -f - 3*f + 20. Let c be (-1)/8 - (-426)/(-48). Does 17 divide (-3)/c*f/(10/582)?
False
Suppose -116*p - 2*l - 13123 = -117*p, -3*l - 12 = 0. Does 61 divide p?
True
Suppose 0 = -3*g + 20 + 37. Suppose 5*b - g = -9. Suppose -2*m + 2*c = -b*c - 106, 4*m = -5*c + 212. Is m a multiple of 12?
False
Let b = 20045 + -19793. Is b a multiple of 28?
True
Let u(l) = -l**3 + 26*l**2 + l + 71. Let k(c) = -2*c**3 + 53*c**2 + c + 142. Let i(f) = -2*k(f) + 5*u(f). Is 7 a factor of i(23)?
False
Let s(u) = -u - 23. Suppose 2*g - 2*j = -4*j + 54, 0 = 4*g - 3*j - 108. Let o be s(g). Let q = 15 - o. Is q a multiple of 9?
False
Suppose 0 = -23*u + 19*u - 5*r + 20457, -3*u = -6*r - 15372. Does 9 divide u?
False
Let t be (-2 + 42/18)*12. Suppose -5*d = -6*g + 3*g + 384, -4*d = t*g - 512. Is 16 a factor of g?
True
Let k = -46 - -66. Let v(w) = -2*w + 5*w -