0*c, -4*g = -4*c - 140. Let l be -1 + 2 + 44/(-2). Let x = l - c. Is 15 a factor of x?
True
Suppose h - 4 = f, -4*h = -2*h + f - 11. Suppose h*m + 5*n - 433 = m, -m + 121 = -3*n. Is m a multiple of 18?
False
Suppose -26*w + 19 - 45 = 0. Is 1*2/(-2)*w*195 a multiple of 3?
True
Let u be 0 + (-5)/((-15)/9). Suppose -41*r + 43*r - 252 = 0. Suppose -u*b + 2*b = -r. Does 21 divide b?
True
Suppose -231*a + 223*a + 19440 = 0. Is 23/(115/a) - -6 a multiple of 41?
True
Is (0 - -1 - -2)*((-4439)/(-3) + -18) a multiple of 7?
False
Suppose -109*g = 342 + 1947. Let b = 3922 - 2256. Is (b/g)/((-6)/9) a multiple of 10?
False
Let b(n) = n**3 + 7*n**2 - n + 11. Let o(s) be the second derivative of 7*s**5/20 - s**4/12 - s**3/2 - s**2/2 + 3*s. Let l be o(-1). Does 14 divide b(l)?
False
Let x(l) = l**2 + 26*l - 12. Let f be x(0). Let m(r) = -45*r - 68. Is m(f) a multiple of 16?
False
Let a be 4/20 + 9/(-45). Suppose a = 82*w - 86*w + x + 1292, -1292 = -4*w - x. Is 19 a factor of w?
True
Let o be 0/(-8 + -4 + 4). Suppose o = -31*t + 66 + 2786. Is t a multiple of 5?
False
Suppose -2*q = 3*h - 55690, 625*q - 623*q - 92810 = -5*h. Is 20 a factor of h?
True
Let o(x) = -2*x**2 + 14*x - 30. Let m be o(2). Let w(t) = 6*t**2 - 45*t - 4. Does 117 divide w(m)?
False
Let c = 14802 - 10162. Does 53 divide c?
False
Let t(a) = -11*a**3 + 12*a**2 - 41*a - 39. Is t(-11) a multiple of 226?
False
Suppose 79*w + 20267 = 35*w + 257911. Is w a multiple of 3?
False
Let i = 94 + -92. Suppose -t + i*r + 103 = 0, -r + 91 = -t + 2*t. Let o = t - 73. Does 11 divide o?
True
Let p = -40 + 24. Let u = p - -16. Let r = 18 + u. Is r a multiple of 9?
True
Let d(n) = -2*n**2 - 34*n - 30. Suppose 4*k = -3*f - 32, -k + 5 + 15 = -f. Let v be d(f). Suppose x = v*q + 32, -3*x + 105 = 5*q - 2*q. Is x a multiple of 13?
False
Suppose v + 4*o + 376 = 0, 0 = 2*v - 5*v + o - 1076. Is 13 a factor of (-63)/(-6)*(v/35)/(-1)?
False
Let z(q) = -18801 + q**3 + 38*q + 11*q**2 + 18801 + 6*q**2. Does 80 divide z(-10)?
True
Let m(z) = -6*z + 37. Let u be ((-15)/(-25))/(4/120). Let n be u/8*(-240)/45. Is m(n) a multiple of 7?
False
Suppose 74*o - 490 = 73*o - 4*z, -2*z - 4 = 0. Does 6 divide o?
True
Suppose -86031 = -52*d - 81710 + 258903. Is 30 a factor of d?
False
Let j be 0 + -2 + -8 + 4. Let f(r) = 2*r**3 + 7*r**2 + 2*r - 4. Let q(z) = 4*z**3 + 13*z**2 + 3*z - 10. Let l(a) = -7*f(a) + 3*q(a). Is 13 a factor of l(j)?
False
Let u be (-9)/3 - -316*1. Suppose -i - 2*i + 5*q = -239, 4*i = q + u. Let c = 105 - i. Does 3 divide c?
True
Suppose 109*x + 11140 = 129*x. Is x a multiple of 60?
False
Let r be (-4)/(-18) + 6/(-81)*-267. Let t = 309 - r. Is t a multiple of 17?
True
Let p = -365 - -373. Is (287/28)/(1/p) a multiple of 47?
False
Let b be (-2)/10 - 924/(-20). Let o(p) = b*p - 77*p + 10 - 94*p. Does 12 divide o(-2)?
False
Is (-8510)/(-8) + 117/52 a multiple of 42?
False
Let i be (-1569)/(-9) - 5/((-30)/4). Suppose -i = -2*p + 2*s - 23, -p = 2*s - 79. Is p a multiple of 9?
False
Suppose 627*a = 612*a + 87210. Is 9 a factor of a?
True
Suppose -7*t + 13*s + 1554 = 11*s, -4*t + 888 = 3*s. Does 37 divide t?
True
Let j(d) = 349*d**2 - 43*d + 10. Is j(5) a multiple of 10?
True
Let i be (-6)/((-7)/((-19306)/21)). Let s = i + 1128. Is s a multiple of 10?
True
Is (-709745)/(-186) - (-3)/18 a multiple of 5?
False
Suppose -5*q = -c - 14400, 19*c = 12*c. Is q a multiple of 18?
True
Let k = 4207 + 1981. Is k a multiple of 52?
True
Suppose 36*x - 52620 = 21*x. Suppose -4*p + x = -2*i - i, 3*p - i - 2636 = 0. Is p a multiple of 6?
False
Let b be 141/27 - 4*(-2)/(-36). Let v(r) = 36*r**3 + r**2 + r + 1. Let j be v(-1). Does 33 divide (-7)/j + 584/b?
False
Suppose -2*t + 2 = -2. Suppose -t*w - 130 = -5*o - 6*w, 0 = -3*o + 2*w + 100. Let s = 36 - o. Does 4 divide s?
False
Suppose 0 = 33*n - 44*n + 26939. Suppose 14*d - n = 2129. Is 16 a factor of d?
False
Suppose -93 = -38*s + 7*s. Suppose -s*v + 17*v - 4816 = 0. Does 21 divide v?
False
Let k be 6/9*(-132)/8. Let z be k*((-10)/2)/5. Suppose -3*q - 2*j + 44 = 0, 2*q - 15 = 2*j + z. Does 3 divide q?
False
Let l be (-10 + 14)*2/2. Let i(j) = j**2 - 2*j - 9. Let t be i(5). Suppose -f - 733 = -t*f + q, l*q + 727 = 5*f. Is 21 a factor of f?
True
Let a(o) = o**2 + 25*o - 23. Let n be a(-26). Suppose -6*q = -8*q - 5*z + 62, q + n*z - 32 = 0. Is 10 a factor of q?
False
Let m be (0 - -4)/(12/45). Let p be 50/10 - m*1. Is 24/(0 - 3/p) a multiple of 9?
False
Suppose -5*r = -0*r - 130. Let k = r + -21. Suppose q + j = 28, -j = k*q + 72 - 208. Does 5 divide q?
False
Let j(y) = y - 27. Suppose 0 = 3*h + 5*x - 37, 0 = x + 1. Let f be j(h). Let d(b) = -7*b + 9. Does 20 divide d(f)?
True
Let b = 123 - -19. Suppose 5*m - 1669 = -4*d, -m + d + b = -190. Is 29 a factor of m?
False
Let o(k) = -2*k**3 + k**2 - 3*k + 4. Let h be o(-4). Suppose -496 + h = -3*x. Is 14 a factor of x?
True
Let g(c) = c**3 - 3*c**2 + 2*c - 4. Suppose 4*m = l - 0*m - 23, 4*m = -20. Let a be g(l). Suppose -a*r - 43 = -655. Is 18 a factor of r?
True
Is 25 a factor of -7 - ((-252)/(-30) + -9)*(-1 - -21296)?
False
Suppose -15 = -4*y - y. Suppose 5*f - 4*v = -2*v + 23, -y*f = 3*v + 3. Suppose 2*c - 3*i - 105 = 0, 4*c - f*i - 146 - 79 = 0. Does 12 divide c?
True
Suppose 48713*y - 48715*y = -14776. Is 31 a factor of y?
False
Let a = -21 + 217. Suppose 0 = -5*j + 25, -10*u = -8*u + 4*j - a. Let d = u + -25. Is 9 a factor of d?
True
Suppose -170*d - 110682 + 593401 = -618881. Is 30 a factor of d?
True
Suppose -4*d + 78 = 3*b, -3*b + 37 = -5*d - 68. Suppose 8*f - b = 2. Suppose -w = 5*q - 147, -w + f*q - q = -155. Does 19 divide w?
True
Let v(i) = 15*i**2 + 4 + i**3 - 11 + 29 + 6 + 16*i. Let s be v(-14). Suppose s = 2*o - 5*a - 232, -6*o = -4*o + 4*a - 268. Is o a multiple of 29?
False
Suppose 123*k = 40*k + 97608. Is k a multiple of 10?
False
Let n(o) be the third derivative of 3*o**5/10 - o**4/8 + o**3/6 + 45*o**2. Let x be n(1). Is (15 - x)/(2/(-52)) a multiple of 3?
False
Let q be (3/4 - (-4532)/16)*-30. Is 7 a factor of ((-18)/(-5))/((-36)/q)?
False
Let u(h) = -97*h + 312. Does 6 divide u(2)?
False
Let x be (-2 + 10)/(4/1118). Suppose -8*r + 3*r = 3*b - 3728, -x = -3*r - b. Is 62 a factor of r?
False
Let u = -283 + 186. Let b = 481 + -373. Let i = u + b. Is 8 a factor of i?
False
Let y = 4545 + -4488. Is 2 a factor of y?
False
Let o(m) = 21989*m - 839. Is o(1) a multiple of 75?
True
Let m(l) = -7*l - 152. Let z be m(-22). Suppose 6*c - 3*c = -2*v + 33, 5*v - 88 = -z*c. Is v a multiple of 9?
True
Suppose -4*o + 48 + 19 = -5*f, -o - 2 = 0. Let i be (-298)/15 - (-2)/f. Is (-1 + (-5)/i)*-44 a multiple of 19?
False
Let o(s) = -s**3 + 14*s**2 + 10*s + 27. Let t be o(15). Let h be 4/6 - 4288/t. Suppose 0 = 2*c - 0*j + 5*j - 202, -3*j = -c + h. Does 12 divide c?
True
Suppose -2*h + 2895 = -3*z - 5198, -h - z + 4039 = 0. Is 88 a factor of h?
False
Let b be 9567/6 + (-4)/8. Suppose -1079 = -9*u + b. Does 33 divide u?
True
Let j = 45 + -114. Let g = j + 48. Does 13 divide (0 - (-6)/g) + 2740/35?
True
Let o be (-8)/4*516/(-8). Suppose 2*z - 167 + 46 = 5*j, -3*z + o = 3*j. Is z a multiple of 13?
False
Let q be 0/((-12)/(-4) + -2). Suppose d + 1 + 0 = q. Let z(g) = 89*g**2 + 3*g + 2. Does 22 divide z(d)?
True
Let x(t) = -6*t + 1. Let i be x(-3). Let k = -15 + i. Suppose -4*f - 55 = 5*l - 209, -115 = -k*l + 5*f. Does 30 divide l?
True
Suppose 2*s = -s + 930. Suppose -4*v + 305 = k - 0*k, 3*v = -k + s. Does 13 divide k?
True
Suppose -1274*f + 214755 = -1259*f. Is f a multiple of 103?
True
Let o(k) = -1017*k**3 - 2*k**2 - k - 14. Does 18 divide o(-3)?
False
Suppose -2*t + 3523 = -4*m - 3083, -2*t = m - 6636. Does 65 divide t?
True
Let a = -28 - -31. Suppose p = -a + 6, -3*p - 13 = -j. Is 8 a factor of (-1110)/(-55) - 4/j?
False
Let y = 475 + -463. Suppose 0 = -y*d + 634 + 218. Is 2 a factor of d?
False
Let w(s) = -464*s - 2236. Is w(-6) a multiple of 75?
False
Suppose 2*l + o = -31, -3*o - o = -2*l - 26. Does 20 divide (-903)/(-15) - (-3)/l?
True
Suppose 621*q = 631*q - 107720. Does 48 divide q?
False
Let m be (-22)/(-33) - (-2)/(-9)*-6. Suppose 5*p - 2*j - 935 = -5*j, -5*p - m*j = -935. Does 17 divide p?
True
Let y = -8371 + 12243. Does 88 divide y?
True
Let x(p) be the third derivative of p**5/20 - 3*p**4/8 - 5*p**3/2 + 3*p**2 + 4*p. Does 21 divid