uppose -5*t + 4*g + 6 = 0, 0 = 2*t - 4*t + g + 3. Suppose b - t*b - 25 = 0. Let f = b + 51. Does 26 divide f?
True
Suppose -4*q = 5*j - 8, 2*j - 19 = -5*q - 2*j. Let v = -7 + q. Let m = 3 + v. Is m a multiple of 3?
True
Let s = 4 - 1. Suppose -3*n = -5*d - 129, 3*d + 39 = -2*n + s*n. Does 10 divide n?
False
Suppose -11*h + 3905 - 385 = 0. Does 40 divide h?
True
Let z be (-3 + 2 + -31)*-3. Suppose 2*b = 4*b - 6, 2*b = 4*u - 18. Suppose u*y = 10*y - z. Is y a multiple of 10?
False
Let t(k) = -k**2 + 15*k + 17. Let b be t(15). Suppose 0 = -2*l + 2*r + 212, -2*r = l + b - 138. Does 20 divide l?
False
Suppose 2*v - 714 = -12*v. Is v a multiple of 8?
False
Let l = -1707 - -4572. Does 16 divide l?
False
Suppose t - 2*d = 1 + 148, 4*d = 3*t - 453. Suppose t - 57 = 7*r. Is r a multiple of 14?
True
Let f(t) = t**3 - 3*t**2 + t + 5. Let v be f(4). Let q be (-5)/v - (-57)/(-15). Let u = 27 + q. Is u a multiple of 5?
False
Let x(i) = 2*i**2 + 28*i + 177. Does 3 divide x(-11)?
True
Let i be (3 - (4 - 1 - 3)) + 123. Suppose -5*z + 79 = -i. Is z a multiple of 5?
False
Let p = 4645 - 2223. Is p a multiple of 14?
True
Suppose 0 = -2*x - 2, -x - 59 = 2*m. Let u = 31 + m. Suppose -2*f = 5*t - 62, -3*f - 2*t + 93 = u*t. Is f a multiple of 20?
False
Let g(r) = r**2 + 8*r + 2. Let t be g(-9). Suppose 4*l = -t + 3. Let c = l - -37. Is c a multiple of 10?
False
Let t = 16 + -11. Suppose -t*y = 19 - 164. Is y a multiple of 15?
False
Let o(v) = 11*v**2 - 32*v + 35. Is o(-11) a multiple of 115?
False
Suppose 0 = -5*m + 5*h - 30, -2*h = -2*m - 2*m - 30. Let a = m + 15. Is a a multiple of 6?
True
Let g(k) = k + 5. Let z be g(-5). Suppose z = -q + 5*n + 9 + 6, 3*q - 11 = -2*n. Suppose -130 = -p - 5*w - 12, q*p - 2*w = 536. Is 17 a factor of p?
False
Suppose -2*g - 324 = l - 1143, -3*g - 5*l + 1239 = 0. Does 12 divide g?
True
Let b = -117 - -208. Let z = 17 + b. Does 27 divide z?
True
Suppose -6*z - 6*z = -132. Suppose 0 = 6*l - z*l + 375. Is 25 a factor of l?
True
Let i(m) = m**2 + 7*m + 6. Let o be i(-6). Suppose o = s - 1, -2*z - s = 2*s - 35. Is 14 a factor of z?
False
Is (-3 - 39/(-12))/((-6)/(-10056)) a multiple of 53?
False
Suppose 0 = 3*g - 6 - 3. Suppose -w + 4*h + 24 = 0, -2*h - 5 = 2*w - g. Suppose -k + 4 = 0, -v + w*v - 230 = k. Is 13 a factor of v?
True
Let v(k) = -2*k + 4. Let f(d) be the third derivative of -d**4/24 + 11*d**3/6 - 3*d**2. Let r be f(15). Does 12 divide v(r)?
True
Suppose -8 = 3*n - n, 4*d = -4*n + 52. Suppose -2*j = y + y - 42, -5*j = y - d. Is y a multiple of 5?
False
Let v(g) = -5*g**3 + 2*g**2 + 2. Let i(s) = -s**3 - 22*s**2 - 3. Let h be i(-22). Is 13 a factor of v(h)?
False
Let i = 3353 + -2262. Is i a multiple of 9?
False
Let h(m) = 27*m**3 + 2*m**2 - 2*m + 1. Let u be h(1). Let n = 47 - u. Is 5 a factor of n?
False
Suppose 5*d - 18 = 2*p + 2, 0 = -3*d + p + 11. Suppose -5*s = d*l - 8, 5*l - s = -3*s + 20. Suppose f - 92 = l*u, -426 = -5*f + 3*u - 51. Does 24 divide f?
True
Let u be (-4)/(-26) + (-74)/(-26). Let i(q) = 19*q - 8. Is i(u) a multiple of 49?
True
Let a be 7124/(-169) + (-4)/(-26). Let c = a - -141. Is 33 a factor of c?
True
Is 3/9 - 46007/(-39) a multiple of 48?
False
Suppose 7*h - 320 = 1633. Does 9 divide h?
True
Suppose -3*u + 7 = 3*m - 4*u, -6 = -m + 4*u. Suppose -13 = -n + 2*b + 31, -4*b + 64 = m*n. Does 12 divide n?
False
Suppose -724 = -4*u - m, 0 = -2*u - 2*u - 4*m + 736. Does 36 divide u?
True
Let h be (-5)/((-5)/(-2)) + 4. Suppose -h*s + 64 = -62. Is 22 a factor of s + 1 - (-42)/21?
True
Let o(s) = -s**3 + 16*s**2 + 19*s - 22. Is o(17) a multiple of 4?
True
Let i(a) = -18*a**2 + 12*a - 3. Let u(h) = 18*h**2 - 13*h + 4. Let q(c) = -3*i(c) - 2*u(c). Is 20 a factor of q(3)?
False
Suppose 2*g = f - 2 - 1, f - 6 = 3*g. Is 4 a factor of (1*g)/(9/168*-2)?
True
Let v = -34 + 136. Let q = -54 + v. Is 43 a factor of q?
False
Let n(d) = d**2 - 17*d + 24. Let z(b) = -17*b**2 - 3*b - 1. Let h(g) = -17*g**2 - 2*g - 1. Let f(m) = -4*h(m) + 3*z(m). Let u be f(1). Is n(u) a multiple of 6?
True
Suppose d = -3*f + 3, 0 = 5*f - 2*f. Suppose d*t - 224 = -5*t. Does 20 divide t?
False
Let p = 2183 + -1604. Is 3 a factor of p?
True
Let a(u) = 7*u**2 - 6*u + 2 - 2*u + 12*u + 0*u**2. Does 43 divide a(-6)?
False
Let q = 31 - -21. Let i = 72 - q. Is i even?
True
Let f = 719 + -407. Suppose f = 2*h + 4*h. Does 16 divide h?
False
Let i = 39 + -20. Let l = -94 + i. Is (24/9)/((-10)/l) a multiple of 4?
True
Let a(m) = -m**3 - 2*m**2 + 6*m - 7. Let w be a(-7). Suppose 0*c = -5*k + 3*c + w, 0 = 4*k + 3*c - 173. Is 12 a factor of -2 + (-3 - k/(-1))?
True
Let r = -91 - -218. Is 6 a factor of r?
False
Suppose 61 - 67 = 3*l. Is 9 a factor of (4*1/6)/(l/(-78))?
False
Let n = 169 - 151. Is n a multiple of 12?
False
Suppose -4*s = r - 1191, -2*s = -3*r + 148 - 747. Does 3 divide s?
False
Let l = 40 - 42. Let u(c) = -25*c - 1. Does 9 divide u(l)?
False
Let f = -31 - -34. Suppose 4*a = -f*o + 137, -3*a + 12 = -6*a. Is o a multiple of 22?
False
Let w be 21/7*7/3. Suppose w*g = 3*g + 2*b + 60, g - 5*b - 24 = 0. Is g a multiple of 6?
False
Suppose -5*o - 2*p + 525 = 0, -5*o + p + 315 = -2*o. Does 7 divide (2 - 5)/((1 + -4)/o)?
True
Suppose -3*z + 4 = -2. Suppose -2*k = 5*u + k - 47, 0 = -5*u + z*k + 27. Let t(c) = 3*c + 1. Does 9 divide t(u)?
False
Let y = -10 + 13. Suppose -142 = -3*p - 3*s + 4*s, -y*p + 172 = 5*s. Is 24 a factor of p?
False
Let b = -4120 - -7542. Is 23 a factor of b?
False
Let h(c) = -c + 17. Let k be h(-4). Suppose 5*f + k = 126. Is f a multiple of 3?
True
Let n = 134 + -217. Let r = -53 - n. Is r a multiple of 10?
True
Let b = -12 + 14. Suppose b*u - 39 = 1. Is 15 a factor of u?
False
Let d(p) = -10*p + 60. Let w be d(0). Let j(x) = -14*x**3 + x**2 + x. Let f be j(-2). Let g = f - w. Is 9 a factor of g?
True
Let y(s) = 2*s - 2. Let q be y(3). Suppose q*u + 2*c = 0, 5*u - c - 30 = 4*c. Let x = 7 + u. Is x even?
False
Suppose 0 = u - 0 - 16. Let l = u + 52. Is l a multiple of 17?
True
Let c be (6/(-3) - 0)*-2. Let o be -20*(-1 + (-7)/(-2)). Is c/((-16)/12) - o a multiple of 11?
False
Suppose -5*n + 791 = -4*n - 2*a, -4*a = 20. Is n a multiple of 15?
False
Suppose 2*z - 3*m = m + 420, -1024 = -5*z - 3*m. Is z a multiple of 19?
False
Suppose -2*w = -3*c - 817, -c = -w + 3*w - 797. Does 6 divide w?
False
Let b = 58 - 34. Let r = b + 3. Does 27 divide r?
True
Suppose -36 = s + 3*s. Let a = -6 - s. Suppose 31 = -5*h - 5*v + 141, a*h - 2*v = 91. Is h a multiple of 23?
False
Let a(q) = q**2 - 5*q + 3. Let b(s) = 2*s - 9. Suppose 4*t - 13 = -3*d, -2*d = -5*t + d + 50. Let k be b(t). Is a(k) a multiple of 3?
True
Let h(t) = 10*t + 2. Let i = 3 - -2. Does 14 divide h(i)?
False
Let t(l) = 4*l - 11. Let u be t(7). Let h = -19 + u. Is 17 a factor of (h/3)/((-8)/408)?
True
Suppose 5*d + 319 = -5*x - 36, d + 2*x = -69. Let g = 71 - d. Is 12 a factor of g?
True
Let g(w) = -14*w + 6. Suppose 3*v = -7 - 2. Let c be g(v). Suppose -4*k - 2*r = -c, -r + 37 = 4*k - k. Does 10 divide k?
False
Let g(k) be the third derivative of -k**6/120 - k**5/15 - k**4/12 + 5*k**3/6 + k**2. Suppose 28*t - 12*t + 80 = 0. Does 16 divide g(t)?
False
Let v = -45 - -28. Let x = v - -37. Does 5 divide x?
True
Let d = 352 - 586. Is (-36)/d + 1909/13 a multiple of 9?
False
Suppose -41*t + 102*t = 183. Let k(d) = -d**3 + 4*d**2 + 5*d. Let l be k(4). Does 8 divide -1 + l + 1 + t?
False
Suppose -3*z - 3 + 0 = 0. Does 8 divide 9/(-3) + 52 + z?
True
Let c(f) = -13*f + 4. Let v be c(2). Let b be 3 - (3 + 0 + v). Suppose -r - r = -b. Does 4 divide r?
False
Suppose 0 = -2*v + 3*v + 2*r - 21, -71 = -3*v + 2*r. Let q(i) = -6*i + 45. Let x be q(14). Let s = v - x. Does 15 divide s?
False
Suppose y - 3 = 1. Suppose -2*d + 424 = y*w, 0 = 3*w + 5*d - 198 - 134. Does 16 divide w?
False
Let n(i) = 5*i + 19. Let c be n(13). Is c + 0/((-8)/2) a multiple of 14?
True
Does 31 divide -3*2 - (-446 - -6)?
True
Let h(i) = 0*i + 7 - 3 + i. Let r be h(-3). Let t(q) = 30*q**2 - q + 1. Is t(r) a multiple of 10?
True
Let s(c) = -c**3 + 5*c**2 - 4*c + 4. Let j be s(4). Suppose -16 = -j*u, -6 - 5 = y - 4*u. Suppose 2*r - 482 = -4*q + y*r, -8 = 4*r. Does 30 divide q?
False
Is (270 - -1) + -7 + 18 + -8 a multiple of 13?
False
Let f be (3 - (1 + -2)) + -1*2. Suppose 4*s + p = -f*p + 107, -5*s + 125 = 2*p. Is s a mult