 of 9?
False
Let z be (28/(-35))/((-2)/5). Let m be z/3*(-225)/6. Let t = 75 + m. Is t a multiple of 17?
False
Let n(i) = i**3 - 51*i**2 - 52*i + 36. Is n(52) a multiple of 18?
True
Let k = 217 - 66. Let c = k + 91. Does 22 divide c?
True
Let f = -97 - -102. Suppose -3*x - 153 = -f*a + 3*a, -3*a = -2*x - 227. Is a a multiple of 15?
True
Let l = 14 - 10. Suppose 0*t = -l*t + 296. Is t a multiple of 8?
False
Suppose -4*s - 180 = 2*a - 52, 0 = 3*a - 5*s + 203. Let n = 92 + a. Does 13 divide n?
True
Suppose -2*a + 2508 = 5*u, -16*u + 13*u - a = -1504. Is 21 a factor of u?
False
Let x(m) = 58*m**2 + 2*m - 2. Let h be x(1). Let i = h - -3. Is i a multiple of 10?
False
Suppose 3*z + 2*o - 34 = o, 30 = 2*z - 3*o. Suppose 7*s - z = 5*s. Is 3 a factor of s?
True
Let k = -3 - -5. Suppose k*r - 158 = -0*r. Suppose 4*j + 3*n = r, 5*j - 113 = -0*j + n. Is 8 a factor of j?
False
Let w = 2591 - 1424. Does 67 divide w?
False
Is 5 a factor of -1*(-3 - 7) - -581?
False
Let l be (381/(-6))/((-1)/(-4)). Let w = -173 - l. Is 9 a factor of w?
True
Let s(y) = -3*y - 8 - 11 - 9. Is 4 a factor of s(-19)?
False
Does 16 divide (-2 - (-750)/(-9))*(0 + -3)?
True
Let x(u) = 2*u - 25. Let d be x(15). Let b(o) = -o**2 + 8*o + 7. Is b(d) a multiple of 5?
False
Let z(n) = n**3 + 20*n**2 - 10*n - 4. Does 60 divide z(-18)?
False
Let h(z) = -2*z + 10*z - 2 - 4*z**3 + 7 + z**2 + 3*z**2. Let l(q) = -3*q**3 + 5*q**2 + 7*q + 6. Let c(d) = 2*h(d) - 3*l(d). Is c(8) a multiple of 4?
True
Suppose 0 = -3*z - 513 + 924. Is z a multiple of 17?
False
Let m(w) = w**3 - 28*w**2 + 45*w - 88. Is 11 a factor of m(29)?
False
Suppose -4 = s - 10. Does 24 divide (s*60/(-27))/((-3)/27)?
True
Let n(k) = -4*k**3 - k - 10. Does 34 divide n(-6)?
False
Let m(w) = w**3 - 9*w**2 - 3*w + 24. Let a be m(6). Let s = 20 - a. Is s a multiple of 27?
False
Let h(z) = -2*z**3 + 13*z**2 - 6*z + 3. Let k be h(6). Suppose 2*m = -2*s + 6*s + 468, 2*m - k*s - 464 = 0. Is m a multiple of 27?
False
Suppose -b - 1 - 1 = 0. Let y be 5 + (b - 1) + 1. Suppose -3*q = w - 8, 0 = -4*w - y*q + 4*q + 84. Is w a multiple of 10?
True
Suppose -39*y + 36*y + 561 = 0. Is 17 a factor of y?
True
Let m be (-1176)/(-21)*(-6)/8. Let u = m - -85. Is u a multiple of 3?
False
Suppose -4*h = 2*a - 24, -h + 2*a - 7 + 3 = 0. Suppose -h*l = -5*l - j + 24, -8 = -l - 5*j. Does 8 divide l?
False
Let l(n) = 47*n**2 - n - 2. Let b be l(2). Let o = 178 + b. Is 16 a factor of o?
False
Suppose 9*g - 12*g - 5*s + 4205 = 0, -5*g - 5*s + 7005 = 0. Is 28 a factor of g?
True
Let v = 79 + -293. Let g = 345 + v. Suppose 5*y + 83 + 72 = 5*m, -4*m + g = 3*y. Is 8 a factor of m?
True
Let w(c) = -c**2 - 16*c + 20. Suppose -12 + 0 = d. Let o be (d/(-10))/((-30)/400). Does 11 divide w(o)?
False
Suppose -13*n + 282 + 550 = 0. Is n a multiple of 14?
False
Suppose 1926 = 7*k + 421. Is 9 a factor of k?
False
Let w be (2/3)/((-8)/(-24)). Let r be (-1 + w + 3)/2. Suppose 5*y = -25, 2*b - r*y - 122 = -4*y. Is b a multiple of 22?
True
Let k(h) = -h - 7. Let r be k(-10). Suppose r*j = -q - 14, -21 = 4*q - 4*j + 35. Is 16 a factor of (-13 - 1)/(4/q)?
False
Let l be 3 + 0 + 7 - 3. Suppose -5*b - 5*q + 220 = 0, 2*b - l*q = -2*q + 116. Is 23 a factor of b?
False
Suppose 107*o = 106*o + 5. Let z(n) be the first derivative of -n**3/3 + 9*n**2/2 + 8*n + 3. Does 8 divide z(o)?
False
Let v(z) = -2*z**2 + 5*z + 7. Let x be v(3). Suppose -2*i + x*i - 166 = -5*m, -5*m - 3*i = -164. Does 11 divide m?
False
Suppose -j - 3*j + 52 = 0. Let t(f) = 3*f**2 - 8*f + 5. Let b be t(3). Let g = j - b. Is g a multiple of 4?
False
Let s(t) = 83*t - 307. Does 8 divide s(9)?
True
Suppose 22*f + 432 = 23*f. Suppose 3*a + 4*t - 437 = 0, 4*a = t + 1021 - f. Is 38 a factor of a?
False
Suppose -1754 = -25*q + 1321. Is q a multiple of 3?
True
Suppose -2*g + 492 = -226. Let k = g - 167. Suppose -4*c + 2*l - 104 = -362, 2*l = 3*c - k. Is 35 a factor of c?
False
Let r(f) = f**2 - 14*f - 48. Let j be 41/2 - ((-6)/(-4) + -2). Is 14 a factor of r(j)?
False
Let c = -3 + 5. Let t be (c/(-6))/(2/6). Is 7 a factor of t - 1 - (-18 + 2)?
True
Let l = 2319 - 1691. Is 15 a factor of l?
False
Let m = 3 + 0. Suppose -2*r - l + 4 = 0, m*l + 0*l = -2*r - 4. Suppose o - 30 = -2*o - 4*c, -r*c + 12 = 0. Is 5 a factor of o?
False
Is 3854/5 + ((-52)/65 - 0) a multiple of 77?
True
Let z(g) = -g + 5. Let q be z(0). Suppose 3*n + n - 10 = -q*f, 3*f + 26 = 4*n. Suppose 4*m - 174 = n*c, 3*m - 121 = 4*c - 5*c. Is m a multiple of 21?
False
Let d = 1318 + -775. Suppose -5*i - 557 = d. Is 18 a factor of i/(-12) + (-1)/3?
True
Suppose -2*g + w + 14 = -0*w, -g = -4*w - 21. Suppose -g*n + c - 5 = 0, -2 = -2*n + 3*c - 4. Does 5 divide (-24)/n*(-10)/(-8)?
True
Let j(z) = 54*z - 3. Let r be (10/(-6))/((-15)/18). Is 35 a factor of j(r)?
True
Let u be 8/(-2) - (-566 - 12). Let n(o) = 0*o + 564 - u - 7*o. Is 3 a factor of n(-4)?
True
Let c(r) = r**3 + 7*r**2 - 27*r + 13. Does 26 divide c(9)?
True
Let g = 4 - 11. Let r(n) = -n**2 - 8*n. Let f be r(g). Suppose f*m - t - 95 = 3*m, 5*m + 3*t = 106. Is 8 a factor of m?
False
Suppose 0 = -4*j, -k - 2*j = 3*j - 8. Suppose 4*f - 12 = k. Suppose 5*x = 3*m - 21, 2*x - f = 1. Is m a multiple of 5?
False
Let g(c) = -c**2 - 14*c - 2. Does 7 divide g(-10)?
False
Let u = -950 - -1382. Is u a multiple of 24?
True
Let z(w) = w**2 + 5*w + 10. Let y be z(-4). Is (-5 + -2)*(y/3 - 23) a multiple of 7?
True
Suppose 4*f - 4988 = -2*i, 4*i + f - 10989 + 992 = 0. Is 50 a factor of i?
True
Let l(u) = -2*u**3 - 6*u**2 + 6. Let b be l(-4). Let z = 50 - b. Suppose -2*s - 34 = -t, 2*t + z = -4*s + 40. Is 8 a factor of t?
True
Let w(a) = a**2 - 11*a + 6. Let v(p) = 8*p**2. Let i be v(-1). Let s be w(i). Let q = -9 - s. Is 9 a factor of q?
True
Let h = -69 + 34. Let p = -20 - h. Does 10 divide p?
False
Let r(t) = -2*t - 3*t**3 + 2*t**2 - 6*t**2 + t**2 - 3 + 2*t**3. Let s be r(-2). Is 12 a factor of -6 - s - -40 - 1?
True
Let u = 641 - 15. Is u a multiple of 26?
False
Let y(h) be the third derivative of -1/24*h**4 - 5/6*h**3 + 4*h**2 + 0*h + 0. Is 12 a factor of y(-17)?
True
Suppose -5*q + 68 = -102. Is q a multiple of 5?
False
Let t = -399 + 678. Suppose t = 3*s - 2*v, s - 6*s + 2*v = -469. Is 13 a factor of s?
False
Suppose d + 5*t = 57, 0 = -4*d + 11*t - 7*t + 300. Is 9 a factor of d?
True
Let x be -46 - 0 - 2*1. Let z = -414 + 415. Is 24 a factor of x/28*(z - 15)?
True
Let a = -3 + 5. Suppose -2*z + 5*v = -3, -3*v - 1 = -a*z - 0*z. Does 8 divide 186/18 - z/(-3)?
False
Let j(q) be the third derivative of -q**6/120 - q**5/10 + q**4/3 + 7*q**3/6 - q**2. Suppose -2*r + r + 12 = -k, 2*k + 12 = -r. Is j(k) a multiple of 15?
False
Suppose 2*b + 0*b = -12. Let v be (108/(-48))/(b/(-16)). Does 11 divide (-2 + 21/v)*-8?
True
Suppose -5*u + 48 = 3*u. Suppose -25 = u*n - 61. Is 6 a factor of n?
True
Suppose -6*g + 423 + 429 = 0. Does 45 divide g?
False
Suppose 11*n - 2*n - 864 = 0. Does 5 divide n?
False
Suppose 0*m + 3*m = 6. Suppose -5*d - 2 = o, 1 = d - m*d. Let t(c) = 3*c**2 - 3*c + 1. Is 4 a factor of t(o)?
False
Let j(u) = -15 - 22*u**2 - 20 + 3 + 4*u**3 - 3*u**3 + 2*u. Is j(22) a multiple of 12?
True
Suppose -8*f = -3*f + 10. Does 15 divide (-4 - f)/(-1) + 17?
False
Let t(m) = 27*m - 1. Let n(h) be the second derivative of 14*h**3/3 - h**2 + 8*h. Let g(z) = 3*n(z) - 2*t(z). Does 14 divide g(2)?
True
Suppose -12*w + 420 = -7*w. Let n be (-48)/w - 120/(-14). Does 9 divide (-4 - n/(-3))*-36?
False
Let z(w) = -w + 5. Let p be z(3). Suppose 6 = -3*y + d, -y = -4*d - d - 12. Is 37 a factor of y/p*592/(-12)?
True
Let c = 79 + -79. Suppose 3*p + 3*d - 534 = c, -2*p - 2*p + 710 = 3*d. Is 22 a factor of p?
True
Suppose -2*t + 22 = -256. Suppose t*w - 93 = 136*w. Is 5 a factor of w?
False
Is 5 a factor of (-16048)/(-354)*(4 - (2 + -1))?
False
Let a(f) = -f**3 + 14*f**2 - 14*f - 4. Let d be a(13). Does 33 divide 165 - (-1 + 0) - (13 + d)?
False
Suppose 0*q - 2*q + 10 = 0. Suppose n = -q*i + 18, -2*i - 2*i + 18 = 2*n. Is 2 a factor of i?
False
Is 100796/50 - 16/(-200) a multiple of 42?
True
Let y = -18 - -21. Suppose 2*i = y*i. Let z(k) = k + 22. Is 11 a factor of z(i)?
True
Suppose 2*f - 3*d = -2, 2*f + 2*d = -2*d + 26. Suppose -x + 3*x - 98 = -2*q, -f*q + 266 = -2*x. Is 13 a factor of q?
True
Suppose 5*v + 3*h - 30 = 0, -4*v - h + 22 = h. I