 - 98*l + 1 - 15 + 10. Let a be z(-3). Suppose 0*k = 5*k - a. Is k a multiple of 8?
False
Let l be (-9)/(-3) - ((-4)/2 - 667). Suppose 4*v - 216 - l = 0. Is 7 a factor of v?
False
Let o(z) = -64*z - 34. Suppose -x + 16 = 3*y, -2*y - 5*x = -3*y - 16. Suppose 60*i = 59*i - y. Is o(i) a multiple of 28?
False
Is 5034 + (4 - -1) - (3 + -1) a multiple of 73?
True
Suppose 2*k - 4 = -0*k. Let j be (-550)/(-45) + (-36)/162. Does 5 divide (-1)/(k + -1) - (-33 + j)?
True
Suppose -2*f = -4*j - 391 - 561, -3*f + 5*j = -1428. Let u be (268/(-3))/((-17)/153). Suppose 3*w + z = f, u = -2*w + 7*w - z. Is w a multiple of 16?
True
Let a = -1149 - -2309. Suppose 11*w - 41 = 25. Suppose 5*q - a = -5*s, -2*q - 4 = w. Is s a multiple of 29?
False
Suppose -2*f + 45452 - 13818 = 4*i, -4*i = -f - 31613. Does 12 divide i?
False
Let r = -238 - -234. Does 8 divide 2/r - -17*138/12?
False
Suppose -48720 = -4*z - 4*a, z + z = 2*a + 24360. Is z/80*8/3 a multiple of 51?
False
Suppose -3*u + a = -49, 4*a + a = 25. Let s = -13 + u. Suppose 5*x + 5*v - 510 = 0, x + 290 = 4*x - s*v. Is x a multiple of 10?
True
Suppose 0 = 2*r + 77 + 57. Let t = r - -111. Does 32 divide t/(-5)*(-4 + (-54)/4)?
False
Suppose 1188*i + 49217 + 29407 = 1236*i. Is 182 a factor of i?
True
Let t(j) = -j**3 - 50*j**2 + 81*j + 528. Is 3 a factor of t(-53)?
True
Suppose -11835*f = -11829*f - 20406. Does 120 divide f?
False
Let p = -1804 - -1263. Let y = p - -619. Is 10 a factor of y?
False
Let d(c) be the first derivative of -13*c**2/2 + 74*c + 52. Is 15 a factor of d(-22)?
True
Suppose -l - 36 = -600. Suppose s + 3 = 0, -3*d + l = -s + 2*s. Is 7 a factor of d?
True
Let p(a) = -a**2 + 28*a + 590. Let c be 2*(4 - -2)/(-12) - -1. Is 59 a factor of p(c)?
True
Let z = -16896 - -20908. Is z a multiple of 17?
True
Is 10 a factor of (-53 + -17)/((-4)/592)?
True
Let q(v) = 48*v**2 + 31*v + 486. Is q(-24) a multiple of 165?
True
Let h(s) = -37*s**3 - s**2 - 14*s - 25. Is 25 a factor of h(-4)?
False
Let j = -5320 + 7711. Does 6 divide j?
False
Let r be 75/4 + (-36)/48. Suppose -28*k + r*k = -240. Is k a multiple of 2?
True
Let x(b) = 2*b**3 - 21*b**2 - 31*b - 238. Is x(14) a multiple of 28?
True
Suppose 2590*m - 25038 = 2577*m. Is 130 a factor of m?
False
Let m(w) = 8572*w + 518. Does 42 divide m(2)?
False
Let b = -4810 - -4816. Let v(h) be the third derivative of -h**6/120 + h**5/12 + 5*h**4/24 + 3*h**3/2 - 2*h**2. Is 3 a factor of v(b)?
True
Let k(y) = 811*y**2 - 2*y + 3. Does 23 divide k(2)?
True
Suppose 5*h - 4*h = -n, -4*n = -2*h + 30. Suppose -r + 3*z + 841 = 0, -h*z + 10 = -7*z. Does 59 divide r?
True
Let q(p) = 5 + 2*p + 6 + 85 - 85 + 3. Let g be (-2)/(-6) - (-100)/6. Does 5 divide q(g)?
False
Let h be 1/(1/(-446)) - (-116 + 120). Is 90/h + (-1452)/(-10) a multiple of 32?
False
Let b = -1 - -17. Let x be (-15 - -12)/(((-5)/20)/((-1)/(-6))). Suppose -b - 94 = -x*l. Is l a multiple of 5?
True
Let o(q) = -q**3 + 4*q**2 + 12*q + 3. Let h be o(6). Suppose -d + 2*v = -2*d - h, 0 = 2*d + 2*v. Is 30 a factor of 1/d*303 + (-3 - -2)?
False
Is 4/((-20)/(-5))*(7181 + 0) a multiple of 65?
False
Suppose 15 - 19 = -4*c, -2*f + 5172 = -2*c. Is f a multiple of 31?
False
Suppose -b - 45 = -51. Let o be -3 + 3/b*(2 + 8). Does 6 divide (-25)/(-2)*o*(-3 - -9)?
True
Let q(t) = 7*t**2 + 17*t - 6. Let g(u) = -u**2 + 22*u - 117. Let n be g(15). Is 42 a factor of q(n)?
True
Suppose -1738 = -2*k + 516 + 70. Is 7 a factor of k?
True
Let u(a) = -91*a - 2506. Is u(-53) a multiple of 10?
False
Let u = 431 - 227. Suppose -2*l + u = -2*r, 3*l - 8*l = -r - 526. Suppose 0 = x - 4*d - 69 - 34, -x + 5*d = -l. Does 13 divide x?
True
Suppose 0 = 11*v + 39*v - 350. Is 13 a factor of 2/v - 126125/(-175)?
False
Suppose 3*p - a + 11 = -2*a, p + 7 = -2*a. Let k be ((-45)/3)/p - (1 - 1). Suppose k*z + f - 132 = 201, -2*z - 2*f + 138 = 0. Is z a multiple of 11?
True
Let x(l) = -18*l**3 + 27*l**2 + 26*l + 121. Does 28 divide x(-9)?
False
Suppose 3*q + 2 = -1, 0 = -u - 4*q - 139. Does 5 divide (-30)/u + (-1240)/(-9)?
False
Does 5 divide (27/((-1944)/90))/(3/(-2052))?
True
Let l(z) = -30691*z + 155. Is 106 a factor of l(-1)?
True
Let p(q) be the second derivative of 29*q - 3/2*q**2 - 17/6*q**3 + 0. Is 7 a factor of p(-1)?
True
Let n(c) = 2*c - 4. Let h be n(-10). Let w be 732/12 - -5*3/(-3). Let a = w + h. Is 8 a factor of a?
True
Let n(d) = -d**3 + 4*d**2 + 6*d + 26. Let s be n(6). Let u(f) be the second derivative of -2*f**3 - 20*f**2 + 9*f. Is 10 a factor of u(s)?
True
Suppose -3*z - 5*h + 0*h + 82 = 0, 0 = 5*z + h - 100. Suppose 0 = z*m - 3250 - 360. Does 15 divide m?
False
Suppose 6*o - 3627 - 2883 = 0. Suppose 17*x = -o + 8225. Does 20 divide x?
True
Let m = 3641 + -1561. Is m a multiple of 80?
True
Suppose 9*w - 198 = -0*w. Suppose w = 8*f + 70. Is 26 a factor of ((-14)/21)/(4/f) - -181?
True
Let q = 60 - 172. Suppose -3*u + 3*l + 459 = 0, 14*u + 4*l = 11*u + 473. Let a = u + q. Does 23 divide a?
False
Suppose 0 = 15*v - 12*v + 6, -3*r = v - 1108. Does 2 divide r?
True
Suppose 4*x - 3*x - 3*p = 7, 5*x - 17 = -3*p. Suppose 3*k + 4*h + 1 = x*k, 4*k = 2*h + 32. Let a = k - -35. Does 22 divide a?
True
Let x be ((-1)/5 + 462/35)*42. Is 20 a factor of 742950/x - (-5)/(-7)?
True
Suppose 4*r - n = 49134, -10*n = r - 8*n - 12297. Is 105 a factor of r?
True
Suppose -4*c + 98*x = 95*x - 73939, 2*c - 36959 = 3*x. Is 10 a factor of c?
True
Let t = 10952 + 10971. Is 101 a factor of t?
False
Suppose 91*p + 325823 - 997221 = 0. Is p a multiple of 31?
True
Let b(d) = d**2 - d - 2. Suppose 4*p + 14 - 26 = 0. Let g be b(p). Suppose -2*a = 2*a - g, 79 = 2*w - 5*a. Is w a multiple of 12?
False
Let c(k) = 4*k**2 - 3*k + 16. Suppose 0 = 4*f - 0 - 32. Suppose -f*q - 55 = 3*q. Is 18 a factor of c(q)?
False
Let z be -1 + 5 - (-39)/(-13). Let h(q) be the third derivative of 29*q**5/12 - q**4/12 + q**3/6 - 19*q**2. Does 27 divide h(z)?
False
Suppose 28*r - 1632326 = -45*r + 1064148. Is 16 a factor of r?
False
Suppose -148*o = -13*o - 2270835. Does 89 divide o?
True
Let z = 4 - 1. Suppose 38 + 19 = z*q. Suppose -61 = -5*n - 4*u + 56, -n + q = 3*u. Is n a multiple of 5?
True
Suppose z - 38 - 258 = -2*l, -5*l = -5*z + 1450. Suppose i - 5*j - 419 = 0, i + j - 705 = -z. Does 18 divide i?
True
Let x = -77 - -82. Suppose 1505 - 80 = x*g. Is g a multiple of 11?
False
Suppose -154*k + 161*k - 99*k = -2366700. Does 245 divide k?
True
Let x be 345/7 - (-8)/(-28). Let g = -30 + x. Let w = 16 + g. Is w a multiple of 5?
True
Let y(k) = 2*k - 1. Let v(z) = -16*z + 15. Let l(t) = v(t) + 4*y(t). Is 5 a factor of l(-9)?
False
Suppose 13*o - 7*o = 0. Suppose 4*h - 961 - 1619 = o. Does 38 divide h?
False
Suppose -12 = -4*g, l + 4*l - g = 17. Suppose -7*c = -8*c + l*u + 1191, c = -u + 1171. Is 17 a factor of c?
False
Suppose 0 = 3*z - 4 - 11. Let i(c) = -c**2 - 15*c - 14. Let v be i(-14). Is ((-15)/1)/(-1 - v/z) a multiple of 15?
True
Suppose 130*t - 131*t - 145930 = -5*g, -2*g + 2*t + 58372 = 0. Is 64 a factor of g?
False
Let f(p) = -296*p - 17. Let y be f(1). Let d = y + 375. Is d a multiple of 10?
False
Suppose -5*c - 894 = c. Let l = 33 + c. Let k = -23 - l. Is k a multiple of 13?
False
Let z(g) = -g**2 - 3*g + 57. Let x be ((-4)/(-8))/(4/(-72)). Is z(x) even?
False
Suppose -5*c = -10, 0 = -38*y + 35*y + 4*c + 37024. Is 26 a factor of y?
False
Let t(a) = 3 - 2 + 5 + a + 6. Let f be t(-9). Suppose 6*r - 111 = f*r. Is 3 a factor of r?
False
Suppose -12 = -x - 8. Suppose -x*b = b - 10. Suppose -787 = -5*h + b*s - 297, -4*h + 409 = -5*s. Is 24 a factor of h?
True
Let p be (2 - (4 - 6 - -4))/1. Let h(b) = 2 + p*b + 3 - b + 10*b. Is h(3) a multiple of 13?
False
Let z(d) = -d**2 - 13*d - 1. Let i be z(-13). Let f be (-4)/(i*(-2)/17). Let s = 66 + f. Is s a multiple of 4?
True
Suppose 4*a + 4*v - 16 = 0, 0*a + a - 4 = -5*v. Let b be 80/(9 - a) + -3. Let x = 64 + b. Does 11 divide x?
True
Does 10 divide (-5697678)/(-98) + (11 - 370/35)?
True
Let o = 20031 - 12032. Does 19 divide o?
True
Let x(l) = -7*l**3 - 12*l**2 - 2*l + 72. Let i be x(-8). Suppose 0 = 11*u - i - 1100. Is u a multiple of 22?
False
Let u(n) be the second derivative of -11*n**3/3 + 61*n**2/2 + 68*n. Does 4 divide u(-6)?
False
Let w(c) = c - 15. Let d be w(15). Let p(f) = 1 + 13 - 1 - 2*f + 1. Does 6 divide p(d)?
False
Let h(u) = -4*