e
Suppose -2*d + 4092 = -4*f, -2*d + 20*f - 18*f = -4084. Let s = d - 482. Is 111 a factor of s?
False
Suppose 136*h = 126*h + 21460. Is h a multiple of 7?
False
Let a = 104 + -85. Does 21 divide 364*((-114)/(-4))/a?
True
Suppose 2897 = -5*b + 6*b - 5*w, 1 = w. Suppose 19*k - b = 1658. Is 6 a factor of k?
True
Let y(a) be the first derivative of -15 + 5*a + 8/3*a**3 - 3*a**2 - 1/4*a**4. Does 12 divide y(7)?
True
Let i(t) = -25*t - 321. Does 13 divide i(-16)?
False
Let y = 10 - 6. Let c be 7/2 + -6*y/16. Is (310/(-25))/(c/(-5)) a multiple of 5?
False
Let x(u) = 103*u - 28. Let r(f) = 52*f - 15. Let j(g) = 5*r(g) - 2*x(g). Does 11 divide j(8)?
False
Let f(t) = t**2 - 12*t + 17. Let w be f(11). Let a be 2/w - (-112)/24. Suppose a*s - 3*s + 2*p = 62, 0 = -5*p - 25. Is s a multiple of 4?
True
Suppose -m - 7*f = -77093, -5*m + 385261 = f - 0*f. Does 13 divide m?
True
Suppose -3*z - 11016 = -5*p, -2*p + p + 8*z = -2181. Suppose 3*k + 2*s - p = 0, 0 = 11*k - 10*k + 3*s - 735. Does 37 divide k?
False
Suppose 5*p - o + 9815 = 0, -2*p + 3*o + 85 = 3998. Let g be (-4)/(-14) - p/(-14). Let b = g + 280. Is b a multiple of 24?
False
Suppose 6 = -5*r + 26. Let a be 3/r - ((-9)/4 + 1). Suppose 9*h = a*h + 210. Does 6 divide h?
True
Let x = 465 + 2640. Is 23 a factor of x?
True
Suppose -5*p + 45 - 219 = 3*w, 4*p = 5*w - 117. Let y = p + -17. Is 4 a factor of 3 + (0 - 5) - (y + 0)?
True
Let l(d) = 22*d**2 - 3*d + 13. Let i be l(-5). Suppose 103 = 3*k - 2*g - 319, 4*k = -5*g + i. Is 22 a factor of k?
False
Let c be -4 + (-3 - 51)/(-3). Suppose c*p = 12*p + 12. Suppose -2*u = -p*u + 456. Is 17 a factor of u?
False
Let l = 60 + -31. Suppose 31*o = l*o - 132. Let m = o - -143. Is 11 a factor of m?
True
Let c be 4 + -4 - 2 - 0 - -63. Let u = 119 + -18. Let x = u - c. Is 6 a factor of x?
False
Is 9 a factor of (15 - 4 - 11) + (-2736)/(-2)?
True
Let q(n) = n**2 + 6*n - 5. Let k be q(-7). Suppose 3*d = -k*d + 20, 16 = -3*f + 4*d. Suppose 0*x + x - 51 = f. Does 17 divide x?
True
Let q(z) be the second derivative of -z**5/20 + z**4/2 + 13*z**3/6 + 7*z**2/2 - 2*z + 9. Is 7 a factor of q(7)?
True
Suppose b = -b + t + 11, 0 = 2*t + 2. Suppose 0*j - 5*j + a = -248, -b*j - 2*a + 239 = 0. Does 49 divide j?
True
Let v = 34480 - -898. Is 14 a factor of v?
True
Let t = 22495 - 15377. Is t a multiple of 71?
False
Let o(h) = -h**3 - 29*h**2 + 221*h + 122. Is 5 a factor of o(-38)?
True
Let j(i) = 23*i**2 + 182*i - 783. Does 42 divide j(-57)?
False
Let n(j) = j**3 - 12*j**2 - 53*j + 40. Is 72 a factor of n(25)?
True
Suppose 11*h + 4*h = 249357 - 61782. Is h a multiple of 61?
True
Suppose 0 = -m + 3*c + 180, -c - 552 + 44 = -3*m. Let d = m + 307. Does 27 divide d?
False
Let o = -549 - -1294. Suppose 737 = y - s, y - o = -21*s + 26*s. Is 35 a factor of y?
True
Let l be -1*3 + (1 - -4). Let b(o) = -6*o + 9 + 0 - 7*o**l + o**3 + 7*o**2. Does 38 divide b(5)?
False
Let o(s) = s**2 + 4*s + 6. Let h be o(-2). Is 20 a factor of ((-175)/125)/(((-2)/115)/h)?
False
Let w be -2 + 2 - (-15 - -1). Let q(j) = 0*j + 4*j - 7 - 29 + 2*j + 0*j. Is 30 a factor of q(w)?
False
Let n be (-2 - (-40)/4)*58/(-4). Let p be 6/(-2)*(n/(-12) - -1). Let h = p + 117. Is 17 a factor of h?
True
Suppose 2*a - 9*l + 8*l = 88, 2*a + 3*l = 96. Is a a multiple of 23?
False
Does 28 divide (12 - 4103)*4/(-4)?
False
Let n(q) = -q**3 - 5*q**2 + 11*q + 18. Let l be n(-6). Does 6 divide l/(-2) - (-598 + 1)?
False
Let k(b) = 3 + b + b - 3*b**3 - 6*b**3 + 7*b**3. Let q(a) = -3*a - 16. Let p be q(-4). Does 13 divide k(p)?
False
Suppose 0 = -4*p - 4*z - 16, 3*p + 2*z = 2*p - 6. Is -6 + p + 11 + (-1 - -775) a multiple of 7?
True
Let f = 22549 + 8251. Is f a multiple of 110?
True
Let n(z) = -1718*z - 176. Let a be n(-15). Suppose 0 = 31*t - a - 601. Is t a multiple of 78?
False
Suppose 0 = -5*h + l + 4212, -5*h - l + 4218 = -0*l. Suppose -2*d + 5*u = -h, -d + 2*u = -475 + 55. Is 46 a factor of d?
True
Let r(k) = 20*k**2 + 28*k - 8. Let j(q) = -21*q**2 - 30*q + 9. Let t(m) = 5*j(m) + 6*r(m). Is 39 a factor of t(-6)?
True
Suppose 743*l = 755*l - 15120. Is l a multiple of 36?
True
Let i(s) = -2*s**3 + 112*s**2 + 48*s - 443. Does 25 divide i(47)?
True
Suppose 65748 = 25*k - 20*k - 16*y, 2*k - 26256 = y. Is 19 a factor of k?
False
Let f(p) be the third derivative of p**6/120 - 7*p**5/30 + 71*p**4/24 + p**3/6 - 124*p**2. Is 14 a factor of f(5)?
False
Let m = 70 + -70. Let v = 125 - m. Suppose -4*q + v = -99. Does 11 divide q?
False
Let l = 8791 + -5003. Is 8 a factor of l?
False
Let m(o) = 24*o - 325. Let q be m(43). Let l = -338 + q. Is 25 a factor of l?
False
Let r(l) = 929*l**2 + 4*l - 5. Let k(p) = -1859*p**2 - 10*p + 10. Let b(n) = 4*k(n) + 9*r(n). Is b(-1) a multiple of 22?
True
Suppose 5 = -3*w + 2, 5*y + 4*w - 6 = 0. Suppose 5*q - 1600 = -4*n, 0*q + n = y*q - 653. Suppose 0 = -6*r + 3*r + q. Does 18 divide r?
True
Suppose 0*g + d = -4*g - 10, 0 = 2*d + 4. Let s be (80/(-32))/(g/(-20)). Is 1475/45 - (s/(-9) - 3) a multiple of 11?
True
Let o = 7491 + -6111. Is 60 a factor of o?
True
Let j(s) = 1574*s**3 + s**2 - 2*s + 2. Let l be j(1). Suppose -40*g - l = -55*g. Is 14 a factor of g?
False
Suppose 18*q + 34 = 178. Is (q/(-10)*-5 - 1)*321 a multiple of 21?
False
Let g = 5463 + -5078. Does 4 divide g?
False
Let c(n) = -n**2 + 13*n - 52. Let q be c(12). Let l = 40 + q. Suppose -21*d + 17*d + 120 = l. Does 15 divide d?
True
Let d = -48 - -52. Suppose 2*h + 2*h - 324 = 2*a, 320 = 4*h - d*a. Let g = 51 + h. Is 33 a factor of g?
False
Suppose -28*j + 5*o + 110306 = -25*j, j + 4*o - 36797 = 0. Is j a multiple of 17?
False
Let q(b) = -b + 13. Let t be q(-9). Let n be (-32)/(-15) + t/(-165). Suppose -n*v + 36 = -354. Is 14 a factor of v?
False
Let k be -12*2*(-1)/8. Suppose k*y + 1 - 7 = -q, -3*y = -4*q - 6. Suppose -y*a = 3*a - 135. Is 16 a factor of a?
False
Suppose 20*c = -6*c + 627120. Is 22 a factor of ((-4)/6)/(-5*16/c)?
False
Suppose -145*k - 1381 = -150*k + 3*m, 0 = k + 4*m - 267. Does 9 divide k?
False
Suppose -39*t - 66 = 246. Let o(j) = 10*j**2 + 38*j + 21. Is o(t) a multiple of 4?
False
Suppose -548 - 1727 = -7*o. Let b = o + -94. Does 21 divide b?
True
Let s = -9962 - -31536. Does 23 divide s?
True
Let r(x) be the first derivative of -x**3/3 + 11*x**2 - 45*x + 21. Suppose -i = -16 - 2. Is 14 a factor of r(i)?
False
Let f(b) be the second derivative of -b**5/2 - b**4/12 + b**3/6 + b**2/2 + 63*b. Does 15 divide f(-2)?
True
Let a be 9/(-2)*(-6)/9. Suppose 118 = a*j - 98. Suppose 2*k = -k + j. Does 8 divide k?
True
Suppose 0 = 65*x - 229873 - 21287. Is x a multiple of 7?
True
Suppose -77*h + 111*h + 4446 = 37*h. Is 71 a factor of h?
False
Suppose 3*u - 49577 = -4*l, 2*l - 3*l = 5*u - 82634. Does 68 divide u?
False
Let v(u) = -9*u**2 - 30*u + 143. Let a(b) = b**2 + b + 2. Let d(l) = -6*a(l) - v(l). Is d(14) a multiple of 36?
False
Let h = -6302 - -6323. Does 3 divide h?
True
Suppose 0 = 18*q - 13*q - 20. Suppose 5*t - q*t - 217 = -3*h, t + h - 221 = 0. Is 11 a factor of t?
False
Let m(i) = -57*i - 39. Let f(r) = -r - 1. Let v(z) = 2*f(z) - m(z). Does 15 divide v(3)?
False
Let m(a) be the third derivative of a**6/24 + a**5/12 + a**4/24 + a**3/3 - 2*a**2 + 12. Does 58 divide m(6)?
False
Let i = -18 - -55. Suppose -33*o = -i*o + 36. Suppose o*q - 12*q = -126. Does 21 divide q?
True
Let d(f) = -4*f - 32. Let m be d(13). Let r = -26 - m. Let b = r - -14. Is b a multiple of 24?
True
Let q(o) = o**2 - 11*o + 16. Let u be q(9). Let y be (u/6)/(4/(-36)). Suppose 0*w - y*w = 2*a - 260, -3*a + 2*w = -364. Is a a multiple of 31?
True
Let f(o) = -892*o + 204. Let q be f(-5). Suppose -q = -6*j - 686. Does 8 divide j?
False
Let g = 5606 - 4422. Does 32 divide g?
True
Suppose 0 = f - 2*x - 21566, -2*f + 480*x - 485*x + 43105 = 0. Is f a multiple of 220?
True
Suppose -y = -5*v - 15, y - 4*y + v = -3. Suppose -73*a + 67*a + 4368 = y. Is 19 a factor of a?
False
Suppose 18*l - 140 = 13*l. Suppose 0 = l*o - 27*o - 720. Is o a multiple of 24?
True
Suppose 3*s = -4*y - 119, 0*y - 8 = 4*y. Let w = -32 - s. Suppose 2*g - 4*g = 0, -w*g - 96 = -4*k. Is 21 a factor of k?
False
Is (-4)/(-20) - 144/20 - -1618 a multiple of 9?
True
Suppose -4*n - 2*v = 8, 5*n + v - 12 = 4*v. Suppose n = -4*q + 83 + 5. Suppose -q = -6*x + 26. Is 8 a factor of x?
True
Let t = 591 - 