 Suppose m*w = w. Suppose 5*c - 76 - 14 = w. Does 6 divide c?
True
Let f be (-1)/2*0 + 123. Suppose 75 + f = 3*j. Is j a multiple of 22?
True
Let a = 5 - 13. Let y(x) = -x**2 - 9*x - 5. Let k be y(a). Suppose -k*z - d = -4*d - 87, 2*d - 82 = -3*z. Is z a multiple of 6?
False
Suppose 4 = 4*n, -5*u + u + 2*n = -26. Let x = 10 - u. Suppose -207 = -x*y - 3. Is y a multiple of 22?
False
Let d(g) = g**3 - 4*g**2 + 2*g - 6. Let p be d(4). Suppose -3*b - 76 = p*m - 0*b, -b - 190 = 5*m. Let x = m + 66. Is x a multiple of 7?
True
Let z be 379/13 - 12/78. Let o = 31 - z. Suppose -5*s + o*s = -180. Does 10 divide s?
True
Suppose -7*o + o = -1518. Is 6 a factor of o?
False
Let z(j) = -2*j**3 - 15*j**2 - 11*j + 6. Let g be z(-10). Let a = g - 1102. Is 15 a factor of a/(-8) - (-36)/(-48)?
True
Let k(n) = -n**2 + 2. Let b be k(-3). Let o = b - -199. Suppose -r - 2*r = -o. Does 23 divide r?
False
Suppose 0 = -5*t - 3*r + 50, 0*r + 4*r = -3*t + 41. Suppose 3*b = t - 4. Does 10 divide b + 0 - (-1 + -9)?
False
Suppose -804 = -8*d + 236. Let v = d + -104. Does 6 divide v?
False
Let l(k) = k**3 + 2*k**2 - 3*k. Let f be l(-3). Suppose f = 6*r - 10*r + 168. Is r a multiple of 21?
True
Let q(f) = 194*f + 71. Does 29 divide q(24)?
True
Suppose -3*f = c - 705, -5*f = 4*c - 1424 - 1375. Suppose -c = 9*x - 21*x. Is x a multiple of 7?
False
Let w(t) = 7*t**2 - 3*t + 5. Let n be w(-9). Let c = -407 + n. Is 24 a factor of c?
True
Let l(t) = 23*t - 22. Let y = 123 - 119. Does 10 divide l(y)?
True
Let l = -133 - -298. Is 11 a factor of l?
True
Let h = 188 - 96. Let w = h + -48. Does 9 divide w?
False
Suppose -32*z + 732 = -30*z. Does 61 divide z?
True
Let n(a) = 13. Let r(u) = -3. Let v(p) = 2*n(p) + 9*r(p). Let b(w) = 8*w + 1. Let f(i) = -b(i) - 2*v(i). Is 16 a factor of f(-2)?
False
Let f(c) = c + 5. Let n be ((-5)/2)/(2/(-4)). Is f(n) a multiple of 10?
True
Suppose 2129 = 5*z - 196. Is 25 a factor of z?
False
Suppose -4*x + 2*x + 3*q + 10 = 0, 0 = -2*x - 4*q + 10. Suppose x*g - 15 = -0*g. Suppose -13 = -g*i + 2*i. Does 13 divide i?
True
Suppose 9*w - 8*w + 14 = 0. Let a = w - -23. Does 8 divide a?
False
Suppose -f + 7 = 3*t, -2*f - 3*f - 3*t + 23 = 0. Suppose 55 = 2*z - 3*x, 4*z + f*x = 26 + 54. Is z a multiple of 23?
True
Let s = -15 + 19. Suppose -9*l = s*l - 624. Is l a multiple of 7?
False
Suppose -3*k = -7*k. Let g(n) = k + 3 + 5*n + 6. Does 22 divide g(7)?
True
Let g = 1194 + -487. Is 9 a factor of g?
False
Let z = -228 + 453. Does 20 divide z?
False
Suppose 3*x = -4*j + 189 + 22, x = j - 44. Suppose -3*h + h - 22 = -3*o, 2*h + 3*o = -10. Does 23 divide j + 4/(h/6)?
True
Suppose 0*h = -6*h + 12. Suppose 0 = h*b + 31 - 131. Is 25 a factor of b?
True
Suppose 0 = 9*b - 3321 + 450. Is 2 a factor of b?
False
Let w be (9 + -1)/(-2)*1. Let g be (-2)/10 - 9302/(-10). Is 10 a factor of 1/w + g/40?
False
Let t(q) = 2*q - 22. Let h = -73 + 91. Is 2 a factor of t(h)?
True
Let y = 52 + -4. Does 16 divide y?
True
Suppose -33*h - 38 = -34*h. Let a = 113 + h. Is 31 a factor of a?
False
Let o(m) = m**3 + m**2 - 1. Let c(b) = -4*b**3 - 7*b + 3. Let s(i) = c(i) + 5*o(i). Suppose 2*j = -j - 18. Is s(j) a multiple of 2?
True
Let c(p) = p**3 + 7*p**2 + p + 1. Let q be -1 - (16/4 - 0). Is c(q) a multiple of 21?
False
Suppose 2*g = -2*s - g + 14, 3*g = 4*s - 28. Let n(q) be the second derivative of q**3/2 - q. Is n(s) a multiple of 10?
False
Let v = 304 + -22. Is 22 a factor of v?
False
Suppose 2*v = -w - 3*w + 598, w - 3*v - 160 = 0. Is 15 a factor of w?
False
Let h be (-8)/28 - 202528/(-14). Let s be h/(-8) + (-15)/(-60). Does 33 divide 2/(-5) - s/20?
False
Let h = -11 + 14. Let d be 3/(h + -1 + -1). Suppose -4*j - x = -0*j - 29, 0 = j - d*x - 17. Is j a multiple of 4?
True
Suppose -4*o + 196 = -3*i, 8*o = 3*o - 2*i + 222. Suppose -2*k + 3*p + 78 = 4*p, -o = -k + 3*p. Is k a multiple of 10?
True
Suppose -v = -i + 2, -4*v = -5*i + 7 + 5. Suppose 0 = -3*w - 3*x + 162 + 204, i*w + 3*x - 492 = 0. Suppose 12*b - 15*b = -w. Is b a multiple of 14?
True
Suppose -4*y - 420 = -6*y + 4*c, 0 = -5*y - c + 1017. Does 34 divide y?
True
Let s = -164 - -265. Is s a multiple of 13?
False
Let b be 0/(4/8*6). Suppose -3*c + z - 43 = 0, -3*c + 4*z - 40 + 3 = b. Let g = 22 - c. Does 10 divide g?
False
Let y be ((-114)/(-12))/(1/6). Let k = y - -39. Is k a multiple of 24?
True
Let g = 2416 + -1668. Is g a multiple of 13?
False
Let u = -68 + -151. Let z = u - -375. Is 12 a factor of z?
True
Suppose 9440 = 43*s - 4320. Does 22 divide s?
False
Suppose 15*f = 20 + 10. Let z be 1/((-7)/6)*-7. Suppose -f*m + z = -36. Is 15 a factor of m?
False
Suppose 4*m - 304 = 4*l, -4*l - 210 = -3*m + 89. Suppose -132 - 38 = 4*u - 3*b, 5*u + 195 = -5*b. Let z = u - l. Does 9 divide z?
False
Is 50 a factor of 2 - 5 - 3177/(-9)?
True
Let m(o) = o**2 + 7*o + 4. Let k be m(-7). Suppose k*h + 344 = 4*p, 4*p + 2*h = p + 268. Suppose -4*y = -5*d + p, -2*d + 4*y + 40 = -0*d. Is d a multiple of 8?
True
Let b(x) be the second derivative of -25/2*x**2 + 0 + 5/6*x**3 + 6*x. Is b(18) a multiple of 20?
False
Let n(z) = -2*z**3 + 2*z**2 - 2*z - 1. Let w be n(-3). Is 11 a factor of (-33)/w - (-482)/14?
False
Suppose 5*k + v - 91 = -3*v, -98 = -5*k + 3*v. Let q = k + -17. Is 2 a factor of q?
True
Let z(c) be the second derivative of c**5/15 - c**4/12 + 3*c**2/2 - c. Let s(q) be the first derivative of z(q). Does 19 divide s(-4)?
False
Let n(r) = r**2 + 13*r + 14. Let z = -25 + 13. Let g be n(z). Suppose -3*l = -g*l - 27. Is 10 a factor of l?
False
Suppose -246*y + 254*y - 448 = 0. Is y a multiple of 5?
False
Let r(l) = -l. Let q(g) = 21*g + 5. Let h(m) = -q(m) + r(m). Is 11 a factor of h(-5)?
False
Let k = -285 - -645. Is k a multiple of 4?
True
Suppose 20*x - 22*x + 10 = 0. Suppose -x*p + 228 = -2*p. Does 19 divide p?
True
Is 7 a factor of 7/(21/531) - (6 + -2)?
False
Let d = -334 + 381. Does 8 divide d?
False
Let s = -6 - -9. Suppose -5*g - 55 = -4*v + s*v, -5*v - 2*g + 275 = 0. Is 8 a factor of v?
False
Let y be ((-2)/(-6))/((-4)/(-108)). Let w = -4 + y. Suppose -4*v - 67 = -w*v. Is 23 a factor of v?
False
Is (2 - 68/10)/(30/(-4100)) a multiple of 8?
True
Suppose -8*j - 200 = -3*j. Does 26 divide ((1755/(-12))/3)/(15/j)?
True
Let j(t) = t**3 + 54*t + 32. Is j(11) a multiple of 15?
False
Let j(p) be the third derivative of p**5/6 - p**4/24 + 4*p**3/3 + 2*p**2. Let r(s) = 9*s**2 - s + 7. Let d(o) = -5*j(o) + 6*r(o). Is d(2) a multiple of 7?
False
Let a(h) = 56*h**3 + h. Let f be a(1). Suppose 0 = -171*g + 163*g + 232. Let x = f - g. Is 7 a factor of x?
True
Suppose -2*i = 3*z - 2531 - 2889, -4*z - 13504 = -5*i. Suppose -10*x = 6*x - i. Does 6 divide x?
False
Let b be (-276)/(-16) + 2/(-8). Let u = b - 24. Let h(d) = -5*d + 1. Is h(u) a multiple of 18?
True
Let t(l) = l**3 + l**2 - 2*l + 35. Suppose -2*g = -5*b - 10, 0 = -0*b - 5*b + 3*g - 15. Does 7 divide t(b)?
True
Let u(i) be the second derivative of -i**4/12 + i**3 + 5*i. Let f be u(5). Suppose -5*z - 50 = -5*r, f*r - 19 = z + 39. Is r a multiple of 3?
True
Let d = 17 + -15. Suppose 3*t + d*j + 21 = 440, j - 552 = -4*t. Suppose t = 3*y + 50. Is 19 a factor of y?
False
Suppose 12*u - 10*u = 32. Suppose -7*v = -9*v + u. Is v a multiple of 8?
True
Let h = 285 + -165. Let j be 76/16 - (-2)/8. Suppose h = -g + j*g. Does 10 divide g?
True
Suppose 0*p = -6*p + 3066. Suppose 14*t - 161 = p. Is 15 a factor of t?
False
Let j(u) = -5*u + 19. Let c be j(-9). Suppose -5*v + 35 = 2*h, 2*h + h - c = 4*v. Does 11 divide h?
False
Is 18 a factor of (-5 - 39/(-6))/(3/1866)?
False
Is (18870/(-777))/(2/(-56)) a multiple of 17?
True
Let o(z) = z**2 - 21*z + 9. Let y be o(21). Suppose -h = y*h - 540. Is h a multiple of 4?
False
Let p(v) = -2*v**3 - 9*v**2 - 17*v + 67. Is p(-11) a multiple of 87?
True
Let y = 2309 - 1359. Is y a multiple of 50?
True
Let r = -151 + 138. Let q = r - -74. Is 61 a factor of q?
True
Let n(k) = 2*k - 49. Let q = 8 + -8. Let j be n(q). Is 0 - (j - 4 - -3) a multiple of 10?
True
Let t = 257 - -115. Is 6 a factor of t?
True
Suppose 4*f - 1120 = 4*v, -3*v = v. Is 11 a factor of f?
False
Let j(m) = -m**2 + 0 + 0 - 11*m + 7 - 2. Let y be j(-11). Suppose 0 = -b + 5, f + 4 = -y*b + 69. Does 20 divide f?
True
Let n = 144 - 147. Let y(l) be the first derivative of l**3/3 - l**2 + 3*l - 1. Is y(