*z = -3*i + 22. Does 10 divide i?
True
Suppose 2 - 18 = 5*g - 2*p, 3*g + 21 = 5*p. Let i = g - -13. Is 11 a factor of i?
True
Let d = -66 - -60. Let z(j) = -1. Let w(o) = 5*o - 15. Let y(t) = -w(t) + z(t). Is y(d) a multiple of 11?
True
Let m(q) = -44*q + 550. Does 4 divide m(-29)?
False
Let w = 2428 + -1699. Does 6 divide w?
False
Let w(i) = -i**3 + 8*i**2 + 2. Let u be w(8). Suppose 0*a + 3*a = k + 37, k - u = 0. Is a a multiple of 13?
True
Suppose 3*v = -2*f - 10, 0*f + 5 = 2*v - f. Suppose v = -n + 85 - 10. Is n a multiple of 15?
True
Let i = 24 + -14. Let l(v) = -3*v - 2 + i + 5*v. Is l(9) a multiple of 13?
True
Suppose -5*k + 2*u + 28 = 0, 5*u + 4 = -k + 15. Suppose -7*t = -k*t - 10. Suppose 5*j = t*j - 100. Is 20 a factor of j?
True
Let k(x) = -150*x + 8. Let p be k(-2). Let b = p + -208. Is 20 a factor of b?
True
Let k be ((-6)/10)/((-11)/55). Suppose -11 = k*h - 20. Is 15 a factor of h + -3*52/(-3)?
False
Let f(c) = 2*c - 1. Let u be ((-3)/2)/((-13)/26). Suppose -u - 15 = -3*l. Is 2 a factor of f(l)?
False
Suppose 4*w + 41 = 265. Let n = 116 - w. Is n a multiple of 20?
True
Suppose -2*x - 157 = -397. Suppose d - 7*d = -x. Is d a multiple of 11?
False
Suppose -4*p + 4 = -2*h, 0 = 2*h + 2*p - 8. Suppose 0 = -v + h, 0 = 3*k + 3*v - 0*v - 18. Is 20 a factor of k/((-32)/(-12))*40?
True
Let n be -1 + -1 - (-697 - -2). Suppose -9 = -2*y - s, -7*y + 12*y - s = 19. Is 13 a factor of 1/y - n/(-12)?
False
Let g be 3 + 0/(-2 - -1). Suppose -237 = -g*w + 6. Is 9 a factor of w?
True
Let g = -27 - -31. Suppose 4*u - 7 = -m + 29, -2*u - 54 = -g*m. Is m a multiple of 16?
True
Suppose 3*f = -3*s - 4032, 5*s + f = 3*s - 2686. Is (-3)/(-18) + s/(-12) a multiple of 14?
True
Let f(t) be the third derivative of -t**4/3 - t**3/2 + 12*t**2. Is f(-7) a multiple of 14?
False
Let h be (8 + -5)*10/(-6). Suppose 2*v + 1063 + 1807 = s, 3*s - 8620 = 4*v. Is 3/h - s/(-50) a multiple of 24?
False
Suppose 5*p - 748 - 2262 = -2*o, 0 = 5*p - o - 2995. Is p a multiple of 31?
False
Let q(b) be the first derivative of -b**4/4 - 6*b**3 + 15*b**2/2 - 25*b + 20. Is 14 a factor of q(-19)?
False
Does 65 divide 126 - (8 + 96/(-8))?
True
Let d be 140/((1 - 4)/(-3)). Let w = -68 + d. Is 18 a factor of w?
True
Let t be (1/2)/(-1)*-2 - -25. Let l be (-233)/(-1) - (1 - -2). Suppose -t = 3*d - l. Is d a multiple of 17?
True
Suppose 5*s - 485 = q, 0 = 2*s + 5*q - 86 - 108. Is 16 a factor of s?
False
Let j be (6 - 2)*3/(-2). Let u be (4 - (-1 - 1 - -4)) + -5. Is ((-50)/j)/(u/(-18)) a multiple of 16?
False
Suppose 2*j + 1516 = 5*o, 8*o + 2*j = 12*o - 1214. Does 8 divide o?
False
Suppose -k = -4*y - 727, -k + 15*y - 14*y = -721. Is 13 a factor of k?
False
Suppose 5*n - 55 = -5*g, -2*g - 3*n + 12 = -12. Let j(z) = -z**3 + 9*z**2 + 4*z - 4. Does 3 divide j(g)?
False
Suppose -13*h = 5*g - 15*h - 3007, -g - 2*h = -599. Suppose -6*p = -g - 71. Is 7 a factor of p?
True
Let q be (4/2 - 19) + -3. Let j be -4 - (-2 + 1) - q. Let a = j + -11. Does 6 divide a?
True
Suppose -3 = -t, -2*b - 24 = -t + 9. Let m = b - -45. Let r = 66 + m. Is r a multiple of 32?
True
Suppose -7*j = -2*j. Suppose -2*p = -j*p. Suppose -5*u + 74 = 4*h - p*u, -3*u = 6. Is 7 a factor of h?
True
Let v = -1379 + 1377. Let i be -6 + (1/1 - 2). Is ((-1)/v)/(i/(-154)) a multiple of 10?
False
Suppose 0 = -2*w - 10, -3*w + 162 = 4*z - 159. Does 4 divide z?
True
Let p(k) = -8*k + k**3 + 12*k**2 + 5*k - 8*k. Suppose 0 = -16*r + 38*r + 264. Is 33 a factor of p(r)?
True
Let i = -22 - -22. Suppose 0 = 5*l - 4*b - 2, i*l = l - 2*b + 2. Is 31 a factor of (-54)/(l - (-3)/(-1))?
False
Is 44 a factor of ((-242)/5)/(9*(-6)/1620)?
True
Suppose -10*g + 4*g = -966. Let i = g - 93. Does 17 divide i?
True
Let o(a) = -1896*a + 288. Is 33 a factor of o(-1)?
False
Let u = -749 - -2789. Is 30 a factor of u?
True
Let f = 8 + -6. Let n = 12 + -49. Let z = f - n. Is 13 a factor of z?
True
Let j(u) = -1248*u**3 + u**2 - 8*u - 9. Does 32 divide j(-1)?
True
Let c(x) = 2*x**2 - 26. Is c(13) a multiple of 24?
True
Suppose -45 = -u - 9. Let i = 9 - 27. Let z = u + i. Does 6 divide z?
True
Let x(s) = -7*s**2 + 3*s - 6*s - s**3 + s + 3 - 4*s. Let w be x(-6). Suppose -n + 11 = w*o - 14, -2*n + 4*o = -40. Does 19 divide n?
False
Let g = -57 + 2. Let w = 65 - g. Is w a multiple of 10?
True
Let n = 0 - -4. Let m(u) = u + 2. Let w be m(n). Suppose f - 16 = w. Is f a multiple of 11?
True
Let b(f) = -23*f - 18. Suppose -16 = 46*m - 42*m. Is b(m) a multiple of 21?
False
Suppose 0 = -114*c + 122*c - 8880. Is c a multiple of 5?
True
Suppose -d = 5*x + 2*d - 90, -4*d = -3*x + 54. Let j = 31 + x. Is 21 a factor of j?
False
Suppose -8*l = -4*l - 420. Is l a multiple of 35?
True
Let s(y) = -4*y**3 - 8*y**2 - 5*y + 7. Let u(g) = g**3 + g - 1. Let b(w) = -s(w) - 3*u(w). Does 6 divide b(-7)?
False
Suppose 22*q = 49*q - 4536. Is 2 a factor of q?
True
Suppose 726 = 4*c - 1098. Is 36 a factor of c?
False
Let w = 6546 - 3926. Suppose -13*r + w + 32 = 0. Is r a multiple of 12?
True
Let h = -826 - -1366. Is 4 a factor of h?
True
Let t(z) = 3*z**3 + 13*z**2 + 5*z - 1. Let q be t(-4). Let g(s) = -44*s + 17. Is 43 a factor of g(q)?
False
Let v(x) = -3*x - 27. Let s be v(-11). Suppose 354 = s*j - 78. Is j a multiple of 10?
False
Suppose 5 = -4*p - 595. Let y = -84 - p. Does 17 divide y?
False
Let o(g) = -33 + g**2 - 2*g**2 - 14*g + 21. Let m be 3 - (-2)/((-4)/26). Is 12 a factor of o(m)?
False
Let q(n) = n**3 + 4*n**2 + 13. Let d be q(-5). Let k(a) = a**2 + 5*a + 5. Does 24 divide k(d)?
False
Suppose 0 + 0 = 11*i. Does 10 divide ((-320)/(-12) - i)/(2/6)?
True
Let z = 1707 + -1520. Does 64 divide z?
False
Suppose -2*r = 3*r - 10, -4*r = h - 13. Suppose g - 4*l - 15 = -0*l, h*l = g - 14. Is 5 a factor of g?
False
Let l = -734 - -5939. Does 15 divide l?
True
Let y be (-2)/((8/6)/(-2)). Let s be 73 + (y - 0/1). Suppose 4*x - s = -j - 3*j, -5*j + 2*x + 109 = 0. Is j a multiple of 21?
True
Let c = -564 + 942. Is c a multiple of 21?
True
Suppose z + 42 = -z. Is 7 a factor of 6/z - (-592)/14?
True
Let v be 1 - -42 - (4 + 10/(-2)). Suppose l - v - 18 = 0. Is l a multiple of 5?
False
Let a be (-22)/(-5) + (-12)/30. Let s = 7 - a. Suppose 0 = -6*f + s*f + 258. Does 22 divide f?
False
Let a be (-4)/(-18) + (-2)/9. Suppose t = -a*t - 64. Is (t/(-12))/((-2)/(-21)) a multiple of 14?
True
Let k = 368 - 299. Does 2 divide k?
False
Let r(c) be the first derivative of -3*c**2/2 + 3*c - 2. Suppose 13*m - 10*m = -33. Does 9 divide r(m)?
True
Let r(m) = -39*m + 5. Let x(i) = -i**3 - 7*i**2 - 5. Let n be x(-7). Let b be r(n). Suppose 2*a - 6*a + b = 0. Is a a multiple of 14?
False
Let u(b) be the first derivative of -b**2 - 6*b + 7 - 6*b**2 - 3 - b**2. Does 16 divide u(-3)?
False
Let v be ((-422)/(-4))/(2/(-4)). Let g = -115 - v. Is 32 a factor of g?
True
Let r(z) = -z**2 - 5*z + 0*z**2 - 2*z - 30 - 12*z. Is 24 a factor of r(-13)?
True
Let t(j) = -2 + 7 - 2 + 32 + 5*j. Is 40 a factor of t(17)?
True
Let y be 1 - (-213)/(-9)*3 - -1. Let c = -43 + 11. Let j = c - y. Does 8 divide j?
False
Let n(s) = -s**2 + s + 4. Let w be n(-3). Let i = w - -23. Is i a multiple of 6?
False
Suppose -v - 135 = 2*v. Let f = v + 154. Suppose 0 = 2*l - 0*s - s - f, -s - 217 = -4*l. Is l a multiple of 18?
True
Suppose -2*c + 2*f + 330 = 0, -c - 5*f = -3*f - 174. Is 10 a factor of c?
False
Let r(m) = 40*m - 66. Is r(3) a multiple of 7?
False
Let z(u) = -u**3 - 2*u**2 + 3*u + 2. Let l be z(-3). Suppose -3*f = -4*r - 140 - 81, -5*f = l*r - 403. Is 9 a factor of f?
False
Let g(x) = -x**2 - 3*x + 8. Let i be g(-8). Let r = i + 63. Is r a multiple of 10?
False
Let a(y) be the second derivative of y**4/12 + y**3/2 - 7*y**2 + 4*y. Let p be a(-6). Suppose 0 = t + p*t - 370. Does 19 divide t?
False
Is 10 a factor of 100096/72 - (-4)/(-18)?
True
Suppose -376 = y + 4*s, -2*y + 3*y = s - 391. Let n = -224 - y. Does 36 divide n?
False
Let o(h) = h**3 + 2*h**2 - 4*h - 1. Let q = 4 + -7. Let p be o(q). Suppose -6*s + 80 = -p*s. Is 20 a factor of s?
True
Let x be ((-304)/(-28))/((-4)/(-14)). Let j = x + -32. Is 6 a factor of j?
True
Let q(x) = 18*x - 7. Let s(p) = 36*p - 14. Let z(o) = -7*q(o) + 4*s(o). Let a be z(8). Suppose -3*c + a = -43. Does 20 divide c?
True
Suppose -34*i + 31*i + 2*a = -3096, -2*i - a + 2071 = 0. Is 94 a factor of i?
True
Let 