
Let m = 306 + -155. Suppose 4*q + 3*l - 135 = m, 2*q + l - 142 = 0. Does 22 divide q?
False
Suppose 0 = -0*p + 6*p. Suppose -4*h - 4*c + 40 = p, -1 = 4*c - 5*c. Does 3 divide h?
True
Let o(i) = -213*i - 32. Is o(-4) a multiple of 60?
False
Let u(p) be the second derivative of 137*p**5/20 - 5*p**3/6 + 2*p**2 + 18*p. Is 28 a factor of u(1)?
False
Is 9 a factor of 2805/22 + 9/(-6)?
True
Suppose -2*w + 4 = 3*m, 4*w + 0*w = -4*m + 4. Let s be 23/(1*(m + -3)). Let k = s + 39. Is k a multiple of 16?
True
Suppose 2*u - 2*v - 2210 = 0, 7*u - 5*v - 4416 = 3*u. Is 94 a factor of u?
False
Let b(g) = -23*g**3 + 2*g**2 + 6*g + 6. Let r(u) = 45*u**3 - 4*u**2 - 11*u - 11. Let v(m) = 11*b(m) + 6*r(m). Is 16 a factor of v(2)?
True
Suppose 1158 = -2*c + 2778. Is 81 a factor of c?
True
Suppose -26 = -t - 8. Suppose 0 = -3*x - 0 + t. Is ((-4)/x)/((-2)/117) a multiple of 13?
True
Let k(r) be the second derivative of 19*r**3/2 - 9*r**2 - 30*r. Is k(2) a multiple of 12?
True
Let z = -57 + 61. Does 14 divide 42/z*48/9?
True
Let c(b) = -b**3 - 12*b**2 - b - 15. Suppose -3*j - q - 40 = 0, 5*j + 3*q - q + 68 = 0. Let w be c(j). Does 19 divide 1 - (-3 - -180)/w?
False
Is 6 a factor of (-669)/(-7) + (-6)/(-14)?
True
Suppose 146*x - 270 = 141*x. Is x a multiple of 6?
True
Let q(p) = p - 3. Let a be q(0). Let f be a/12 + 1938/8. Suppose 5*d - f = -4*o - 29, 2*o - 108 = -4*d. Does 13 divide o?
True
Let m = -165 + 656. Is 42 a factor of m?
False
Let a(m) = 2*m**2 - 27*m + 24. Let o(s) = s**2 - 13*s + 12. Suppose -5*x = -4*j + 32, 3 = -5*x - 5*j - 2. Let n(k) = x*a(k) + 9*o(k). Does 3 divide n(9)?
True
Suppose 4*v - 414 = 1550. Is v a multiple of 21?
False
Suppose 260 = -46*j + 50*j. Does 5 divide j?
True
Let n = -12 - -25. Let g = n + -15. Is 11 a factor of (-43)/(-4)*(-8)/g?
False
Suppose -r = -599 - 1208. Does 90 divide r?
False
Let g be 1272/(-15)*10/(-4). Suppose 92*m = 96*m - g. Does 10 divide m?
False
Suppose 0 = 3*w + w + 20. Let x(r) = -7*r**3 - 5*r**2 - 2*r + 2. Let y(z) = -8*z**3 - 5*z**2 - z + 3. Let g(k) = 7*x(k) - 6*y(k). Is g(w) a multiple of 9?
True
Suppose 3*k + 0*d - 68 = d, -2*k - 5*d + 68 = 0. Let f = k + 1. Is f a multiple of 22?
False
Let x(m) = -79*m + 230. Is x(-12) a multiple of 31?
True
Suppose -5*r + 372 = 7*r. Suppose 3*p - 34 = -k, 21 = 4*p + 3*k - r. Is 10 a factor of p?
True
Suppose 5*l - 338 = -r, 10*r = 9*r + l + 308. Is r a multiple of 32?
False
Suppose 8 = -4*b + 16. Let x(j) = j**3 + j**2 - 3*j + 2. Is x(b) a multiple of 8?
True
Suppose 4*v = 2*b + 14, -4 = -b - 2*b + v. Let o be 10/((-186)/(-60) - 3). Suppose -b*p = 5*s - 3*s - 51, -5*s = 2*p - o. Is s a multiple of 18?
True
Suppose -5*x + 5 = 0, -2*b + 258 = -x - 105. Suppose 2*n - 3*s - 392 = 0, 5*s = -7*n + 8*n - b. Is n a multiple of 15?
False
Suppose 0 = 3*n + 5*t + 137 + 62, -3*n - 3*t - 195 = 0. Let p = n + 107. Is 22 a factor of p?
True
Let g(r) = r**3 + 44*r**2 + 117*r + 123. Is g(-41) a multiple of 46?
False
Let i = 176 + -14. Suppose -3*d = -l + i, 624 = 4*l + 2*d - 6*d. Let q = -91 + l. Does 10 divide q?
False
Let d = -282 - -170. Does 2 divide (d/24)/((-3)/9)?
True
Let w(i) = -i**3 + 9*i**2 - 6*i + 16. Let y be 33/4 - (-14)/(-56). Does 4 divide w(y)?
True
Let j = 1541 + -422. Does 34 divide j?
False
Suppose 0 = 10*f + 33*f - 16512. Is f a multiple of 8?
True
Let b be (-14 + 0)/(3/(-36)*-6). Is (-50)/(-8) - 21/b a multiple of 3?
False
Let q(w) = 10*w + 2. Suppose -3*r = -3*f - 2*r + 23, 27 = 3*f + 3*r. Is q(f) a multiple of 3?
False
Is (448/140)/(3/630) a multiple of 18?
False
Let s(q) = -7*q + 11. Let j be s(3). Is 4 a factor of 18 - j/15*3?
True
Suppose -3*q + 4 + 29 = 0. Suppose -2*t + 323 = q. Suppose x - t = -2*x. Is x a multiple of 13?
True
Suppose s + 0*s = -2*v + 164, 2*s - 5*v = 301. Suppose 9*t = s + 247. Is t a multiple of 44?
False
Let s(a) be the third derivative of -a**4/3 + 2*a**3/3 + 15*a**2. Is s(-10) a multiple of 21?
True
Suppose 4*y - 3*y = 8. Suppose 10 = 3*b - y. Let w(s) = -s**3 + 5*s**2 + 9*s. Is w(b) a multiple of 6?
True
Suppose 0 = -7*z + 9*z - 54. Let t(n) = -26*n - 14 - 15 + z. Is t(-3) a multiple of 17?
False
Suppose 6*u - 208 - 2 = 0. Let y be (-3 + 1)/(-2)*-5. Is 1/y - (-1267)/u a multiple of 18?
True
Let z(c) be the second derivative of 5*c**3/6 + 4*c**2 + 8*c. Let r be z(-3). Does 13 divide (-2 - (r - -1)) + 31?
False
Let b = 11 - 3. Does 6 divide 270/12*1*b/6?
True
Let g = -24 + 28. Is 4/6*g/(-3)*-81 a multiple of 12?
True
Let t(x) = -38*x - 20. Let m be t(-4). Suppose -3*p = 4*z - m - 41, -5*z + 285 = 5*p. Is p a multiple of 11?
True
Suppose 4*b - 3*b - 5 = 0. Let j = b + -3. Does 15 divide (j/(-6) - -1)*39?
False
Does 7 divide 17*(-23)/1*-1?
False
Let p be -3 + 1 - (-4 + -8). Let f = 10 - p. Suppose -v + 5*v - 188 = f. Does 25 divide v?
False
Let o(j) = 2*j. Let d be o(3). Is 14 a factor of (-1)/d - (3785/6)/(-5)?
True
Suppose -5*j - 6 = -1, -5*j = -2*c + 23. Is 6 a factor of -3*(-3)/c*3*10?
True
Let z = -1771 + 2541. Is 35 a factor of z?
True
Let r(x) = x**3 - 12*x**2 + 17*x - 13. Suppose -6 = -2*q - 2. Let w be q*(2 - -4) + -1. Is 9 a factor of r(w)?
False
Let w(c) be the first derivative of 5*c**2/2 - 22*c - 11. Is 12 a factor of w(14)?
True
Let r = 9 + -8. Suppose 0 = 3*h - 5*p + 5, 2*h - 6*h - 2*p - 24 = 0. Is 5 a factor of (-3)/(3/h*r)?
True
Let r(y) = 35*y**2 - y - 1. Let m be r(-1). Suppose 4*l + 5*f = -0*f + m, 4*f = -4. Is 4 a factor of l?
False
Suppose s - 2 = 3*s. Let p be 2 + (s - (-7 - -4)). Suppose p*z = 10 + 34. Is 5 a factor of z?
False
Let t = 535 - 175. Is 30 a factor of t?
True
Let j = -1001 - -601. Let s be (-2)/4*j/(-8). Is (5 + 0)*(-125)/s a multiple of 25?
True
Is 24 a factor of -5 - (-167 - (3 - -3))?
True
Let a be (-1 + -1)*(-1284)/(-8). Let f = a - -99. Let h = -130 - f. Does 14 divide h?
False
Let t(g) = g**2 - 27*g + 103. Does 6 divide t(27)?
False
Let t = -8 + 11. Let n(d) = -3*d**3 + 4*d - 9 + 12 + 2*d**3 - t*d**3. Is n(-2) a multiple of 9?
True
Let o(b) = -10*b + 66. Let n be o(15). Is (-2*(-2 + n))/((-50)/(-75)) a multiple of 20?
False
Let o be 3*4/12 - -1. Let c(d) = -4*d + 53*d**2 - 60*d**2 - d**3 + o*d**3 - 11. Is 7 a factor of c(8)?
True
Let g = 178 - 92. Does 19 divide g?
False
Let n(t) = -53*t + 315. Is n(0) a multiple of 22?
False
Let s(p) = -p**3 - 6*p**2 - 13*p + 34. Is s(-7) a multiple of 7?
False
Let v(z) be the third derivative of -z**6/120 + z**5/6 + 3*z**4/8 + 5*z**3/3 - 11*z**2. Let k be v(11). Does 38 divide (k/21)/((-2)/217)?
False
Let i(r) be the second derivative of 17*r**3/6 + r**2/2 + r. Suppose 53*c = 52*c + 1. Does 6 divide i(c)?
True
Let w(v) = 12*v - 12. Let u(d) = -3*d + 3. Let p be u(-1). Is 5 a factor of w(p)?
True
Suppose 5*l = -4*s + 63, -2*s - 10 = -2*l + 26. Suppose 4*d - 4 = -4*n, 3*d - 3*n - 12 = 9. Suppose -3*w - l = -d*w. Is w a multiple of 9?
False
Let d(b) = 2*b**2 - 6. Let q be d(-2). Suppose q*j = 5*l + 59, 100 = 7*j - 2*j - 3*l. Is j a multiple of 17?
True
Let h = 414 - -293. Let t = -467 + h. Is t a multiple of 10?
True
Let q(k) = 99*k - 135. Does 17 divide q(6)?
True
Is 18 a factor of (-648)/(-20)*220/66?
True
Let d(x) = -613*x**3 + 3*x**2 - 23*x - 14. Let a(z) = -204*z**3 + z**2 - 8*z - 5. Let q(c) = 17*a(c) - 6*d(c). Does 42 divide q(1)?
True
Let c = 37 + -14. Suppose 4*x - 21 = c. Does 3 divide x?
False
Does 17 divide 206 - 12 - (-2 + 3)*-3?
False
Is (-3387)/(-2)*(-90)/(-135) a multiple of 71?
False
Let f be 18/(-4)*(-132)/22. Suppose 3*i + f = y, i = 2*y + 6*i - 98. Does 24 divide y?
False
Let v(u) = u**3 + 23*u**2 - 49*u + 49. Let d be v(-25). Let h be -2*1*(-11)/2. Let x = d - h. Is x a multiple of 13?
True
Let a(d) = 3*d**3 - 3*d**2 + 5*d + 113. Does 12 divide a(9)?
False
Let j be 1/2*(7 - -397). Let t = -58 + j. Is t a multiple of 16?
True
Let i = -253 - -821. Suppose -67 = -5*d + i. Let o = d - 79. Is 12 a factor of o?
True
Suppose 3*f - 8 = 5*d, -26*f + 22*f + 54 = 2*d. Does 10 divide f?
False
Is 25 a factor of (-9634)/(-7) + 4/(-14) - -1?
False
Does 2 divide (-3)/(-12) - 55/(-4)?
True
Suppose 0 = -318*m + 309*m + 432. Is 4 a factor of m?
True
Suppose 0*o = -4*o - 16. Let n be -3 + (-6)/4*o. Suppose 3*v + n*v = 132. Is 11 a factor of v?
True
Suppose 0 = 2*k + 2*k - 44. Let n = 13 - k. Suppose n*y = -0*y + 12. Is 4 a factor of y?
False
Suppose -k - 3*k =