e t?
False
Suppose -442*i + 440*i = -34. Does 12 divide i?
False
Is (9*15 - (-11 - -14))*2 a multiple of 24?
True
Let q = 11 + -5. Let m be (-1)/4 + 642/8. Is (18/8)/(q/m) a multiple of 15?
True
Let m(r) be the third derivative of -r**4/2 - r**3 - 6*r**2. Suppose -3*l = -q + 20, 2*q + 0 = 10. Does 14 divide m(l)?
False
Let a be (42/(-18))/(((-6)/(-117))/(-2)). Suppose -v - 3*t + 48 = 0, 4*v - 4*t = 94 + 50. Let g = a - v. Is g a multiple of 27?
False
Suppose -7*j + 72 + 19 = 0. Suppose -j*g + 368 + 1309 = 0. Does 13 divide g?
False
Let x = -198 - -268. Does 14 divide x?
True
Suppose -t + 2*t = 2. Suppose 0 = -t*i + 44 - 10. Is 2 a factor of i?
False
Let v = -66 + 64. Is 4 a factor of 4 - (v + -114 - 4)?
True
Let o = 107 + -205. Is o/(-3) + (-16)/(-48) a multiple of 12?
False
Let y be (167/(-4) + -1)/((-3)/12). Suppose 3*z - 3*h - 117 = 0, 0 = -4*z - 2*h + h + y. Is 42 a factor of z?
True
Suppose 3*a - 15 - 15 = 0. Let k = a - -6. Is 5 a factor of k?
False
Suppose -2*d + 5*d + 222 = 0. Let z be 3 + (6 - 3 - d). Suppose z = 15*x - 10*x. Does 11 divide x?
False
Let s = -56 + 46. Is (-20*5)/(9 + s) a multiple of 26?
False
Suppose -3*n = 4*f - 136, 4*n + 4*f = 2*n + 96. Suppose 2*p = 5*j - 12, j + 5*p - n = -4*j. Suppose 0*i = -j*i - 4, z - 4 = -4*i. Is z a multiple of 8?
True
Let v be ((-192)/56)/((-2)/21). Let c = v + -25. Is 8 a factor of 2/c - (-2620)/110?
True
Let v = 29 + -25. Suppose 192 = v*n - 2*f, 0 = -0*n + 4*n + 4*f - 168. Is n a multiple of 8?
False
Let o(s) = s**3 - 8*s**2 - 4*s - 9. Suppose r = 4*w - 41, -w + 0*r + 19 = -2*r. Is o(w) a multiple of 6?
True
Suppose 0 = j + 1 - 10. Let o(n) = 2*n + 9 + j*n - 12 + n. Is o(8) a multiple of 19?
False
Let o = 60 - 45. Let k = 69 - o. Is 27 a factor of k?
True
Let g = -766 + 1326. Does 20 divide g?
True
Let h = -101 + 176. Suppose 711 = -h*z + 78*z. Is z a multiple of 20?
False
Let b be 435/5 - (2/(-1) + -2). Suppose 2*g - b = d + 4*d, 0 = -2*d + 2. Does 16 divide g?
True
Let j be 4/(-6) - (1 - (-10)/(-6)). Suppose -12 = -3*i - 3, j = -c - i + 63. Is c a multiple of 15?
True
Suppose 3*g + 28 = 7*g - 4*j, -g - 5*j - 11 = 0. Does 31 divide (-6)/(-2)*44/g?
False
Let j(b) = b**2 + b + 94. Let v be j(0). Let a = 374 - 172. Suppose 0*h + 5*n + v = h, 3*h = -n + a. Is 21 a factor of h?
False
Let l(p) = 3 - 4 + 4 - 2 + p**2 + 6*p. Let u be l(-5). Does 4 divide u/20 - 52/(-10)?
False
Let c(g) = g + 2. Let i be c(-2). Suppose r + 0*r - 3 = i. Suppose -6 - r = -3*m. Is 3 a factor of m?
True
Let l = -15 - -15. Suppose 3*b = -l*b - x, 0 = 5*b - 3*x. Suppose b = -12*y + 14*y - 26. Does 10 divide y?
False
Let q(x) = -x**3 + 2*x**2 + 7*x + 1. Let c be q(-2). Suppose -c = -3*j, -4*y + 155 = -6*j + 9*j. Is 25 a factor of y?
False
Let t be (-2)/(-2) + (55 - -3). Let i = 73 - t. Is i a multiple of 3?
False
Suppose -5*n + n = -32. Suppose n = -3*l + 2. Is 11 a factor of l/(1 - (-26)/(-22))?
True
Let l(u) = 7*u**3 - 4*u**2 + 2*u + 5. Let g be l(3). Suppose 0 = 160*q - g*q + 1200. Does 25 divide q?
True
Let u = 443 + -128. Is u a multiple of 21?
True
Let h = -15 + 13. Does 28 divide (-3 - h)/((-7)/196)?
True
Let m(o) = 8*o + 2. Let b be m(-7). Let z = 90 + b. Is 3 a factor of z?
True
Let u(k) = 21*k + 95. Is u(4) a multiple of 4?
False
Let n be (-7 + 452)*(-4)/(-10). Suppose -4*b + c = -320, -2*b + n = -0*b + 4*c. Does 9 divide b?
True
Let t be (3 - 20/6)*0. Suppose t = -m - m + 10. Suppose -m = -2*a + 3. Is 2 a factor of a?
True
Suppose 2*f - 89 + 73 = 0. Does 17 divide (f/(-3))/(-8) - 509/(-3)?
True
Let n = 166 + 434. Is n a multiple of 10?
True
Suppose -5*t = -355 + 1070. Let q be (t - -3)/2 + -1. Let u = 102 + q. Is u a multiple of 8?
False
Let v be 17/5 + 4/(-10)*1. Suppose 0 = 3*p + 3*b - 531 + 120, -645 = -5*p + v*b. Does 12 divide p?
True
Let z(n) = n**3 - 8*n**2 + 12*n + 5. Let c be z(6). Suppose -c*j + 69 + 41 = 0. Suppose 5*x - 26 = 2*x - o, -3*x - 5*o = -j. Is x a multiple of 3?
True
Suppose 0 = 2*h + h - 9. Suppose -6*t + 15 = -h*t. Suppose 0 = v + 5, -t*q + 4*v + 107 = -93. Is q a multiple of 11?
False
Let i = -59 + 221. Is i a multiple of 9?
True
Suppose 4*l + 5*i - 421 = 0, 2*l + 5*i = 97 + 116. Is l a multiple of 58?
False
Suppose -2*t - 135 = -3*x + 228, -4*x = 2*t - 484. Is x a multiple of 9?
False
Let l be 0 + (17 - 1) + -2. Let m(c) be the second derivative of c**5/20 - 5*c**4/4 + 17*c**3/6 - 21*c**2/2 + 7*c - 1. Is 4 a factor of m(l)?
False
Suppose -2*s - q - 2*q - 14 = 0, 4*s = 2*q - 44. Let i be (-1666)/s + 10/25. Suppose 4*v - 2*d - 222 = 0, 3*v - 5*d - i = 10. Is 27 a factor of v?
True
Let m = -86 - -99. Suppose -4*w - 5*d = -285, w - 59 = -2*d + m. Is 5 a factor of w?
True
Let a(t) = -50*t + 13. Let o be a(-5). Let z = -135 + o. Is z a multiple of 8?
True
Suppose -5*c = 4*t - 29, -c + 9 = 2*t + 2. Is 28 a factor of (6/9)/((-8 + c)/(-252))?
True
Let v(u) = u**3 - 12*u**2 - 13*u - 7. Let j be v(13). Let i(m) = -26*m - 26. Does 39 divide i(j)?
True
Suppose -4*q + 9*q = 4*a - 1665, -a - 4*q = -390. Let s = a + -178. Let x = s - 157. Does 25 divide x?
True
Suppose m + 5*g = 325, -6*m + 3*g = -2*m - 1185. Does 10 divide m?
True
Let f = -66 + 71. Suppose -3*c + u = -170, -2*c = -c - f*u - 52. Does 6 divide c?
False
Let p(t) = t**3 - 8*t**2 + 4*t + 6. Let q be p(5). Let l = 7 - q. Is l a multiple of 19?
False
Let c(q) = 9*q - 4. Let o = 6 + 14. Is 22 a factor of c(o)?
True
Let h be ((-24)/2)/(-2) - -1. Let o = -442 - -445. Suppose -h*j + 116 = -o*j. Is 29 a factor of j?
True
Suppose 3*w + 12 = 0, -3*l = 2*l + 4*w + 251. Let t = 110 - l. Is 24 a factor of t?
False
Let m(b) = 6*b + 16*b - 6*b + b. Is m(7) a multiple of 26?
False
Suppose -5*h = -2*x - 4, -2*x + h = -3*h + 4. Is 32 a factor of x/(-4)*(3 - -289)?
False
Let m = 45 + -43. Suppose q = 2*x + 7, 2*x = -0*q - m*q + 32. Does 4 divide q?
False
Let u be -3 + (-13)/((-39)/18). Let s = u - -17. Is 10 a factor of s?
True
Let k(m) be the third derivative of 0 + 0*m + 1/2*m**4 - 3*m**2 + 0*m**3. Is k(5) a multiple of 20?
True
Let z = -34 - -2. Does 6 divide z/(-12)*27/2?
True
Suppose 24 = 7*t - 5*t. Suppose t = j - a + 6*a, 0 = 4*j + 5*a - 18. Suppose -3*h = 2*s + s - 102, -148 = -4*s + j*h. Does 9 divide s?
True
Suppose 14*q - 355 = 317. Suppose -8*h = -576 + q. Is 12 a factor of h?
False
Let g = -15 - -22. Suppose 4*m - 743 = -g. Suppose z + 4*z + 140 = 2*r, 3*r - z - m = 0. Is 20 a factor of r?
True
Let t = -126 + 140. Is 14 a factor of t?
True
Suppose -4*n + 12 + 16 = 0. Let t be (n + (-5 - -1))*-1. Is (8/20)/(t/(-75)) a multiple of 2?
True
Is 16 a factor of (-4)/8 - ((-140180)/(-8))/(-5)?
True
Let l(d) = -76*d - 415. Is 99 a factor of l(-9)?
False
Let p be 1/((-2)/(-4)*2). Suppose 5*f - p - 159 = 0. Is 32 a factor of f?
True
Let i be (-296)/10 + (-2)/5. Suppose 5*m + 2*j + 296 = 0, 0 = -9*m + 12*m - 5*j + 190. Let n = i - m. Is 15 a factor of n?
True
Suppose -637 = 14*v - 21*v. Is 3 a factor of v?
False
Let n(s) = s**2 - 6*s. Let t be n(6). Suppose 4*p - x + 188 = -t*x, 132 = -3*p + 3*x. Let j = 102 + p. Is j a multiple of 11?
False
Let p(v) = 10*v**3 - 5*v**2 + 2*v + 94. Is 24 a factor of p(8)?
False
Let c(p) = -349*p - 1. Let u be c(-3). Is 21 a factor of u/10 + 2/5?
True
Suppose -4*y = 568 + 252. Let s be -1 + (0 - 4 - y). Suppose s = -l + 5*l. Is l a multiple of 16?
False
Let v(l) be the third derivative of l**5/60 - l**4/8 + l**3/3 + 34*l**2. Is v(-2) a multiple of 2?
True
Is ((-128)/20 + -2)/((-2)/195) a multiple of 31?
False
Let o(z) = 750*z**2 + 13*z - 11. Is 6 a factor of o(1)?
False
Suppose 0*i - 10 = -4*i - 5*d, -8 = -4*d. Suppose 4*x = 3*k + 31, 2*x + i = -2*k - 2. Suppose x*p = 32 + 68. Is 14 a factor of p?
False
Let w be 8/(-10)*70/28. Let f be 3 - -11*(-3 - w). Is (-28)/f + (-3)/(-6) a multiple of 2?
True
Let t(b) = -b**2 + 2*b - 2. Let c be t(4). Let h = 9 + c. Let w(j) = 53*j**2 + j. Is w(h) a multiple of 13?
True
Suppose -5*b + 3561 = -5094. Does 26 divide b?
False
Is 10 a factor of (-14896)/(-64) + 2/8?
False
Suppose 8*r - 7362 = -266. Is 21 a factor of r?
False
Is 1/((-1173)/2944 + (-4)/(-10)) a multiple of 32?
True
Let t(y) = 369*y - 8. Is t(2) a multiple of 10?
True
Let m(v) = -v + 501. Is 28 a factor of m(-31)?
True
Suppose -5*j = 3*j - 512. Is 3 a factor of (j/(-12) - -4)*(-153)/6?
False
Let r(s) = s**3 - 8*s**2 +