= 2*q - 0*q - 4*t - f for q.
0
Let g = -37 + 42. Solve 4*r = 2*u + 14, 4 + 11 = -g*r - 4*u for r.
1
Let v(g) = g**3 - 2*g**2 + g + 4. Let r be v(4). Solve -2*l = 10, 3*x + 5*l + r = 6 for x.
-3
Let u = -3 - -3. Suppose u = -2*x - 5*d + 13, -2*x + d + 5 = -2*d. Let g = x - 0. Solve 0*c - 1 = c - p, -16 = c - g*p for c.
4
Let w = 72 + -42. Suppose 3*d + w = -0*d. Let b be d/(-6) - 4/(-12). Solve -m + 2*f - 13 = 0, b*m = -0*f + 3*f - 21 for m.
-3
Let z be (-1)/2*2*5. Let p = z + 4. Let w be p*2*12/(-8). Solve -4*g = -5*h + 17, -8*g + h = -w*g + 16 for g.
-3
Let x = -4 + 5. Let y be x + 1 + (-7)/(-7). Solve 3*g - 2*g = -y*c - 1, 5*c = 2*g - 20 for c.
-2
Let y = 13 + -11. Let c = 5 - y. Solve -2*x + c = 3*p, 5*x - 7*p + 27 = -3*p for x.
-3
Let v = -17 - -24. Suppose 0 = -4*a, 4*a + v = 2*r - 3. Suppose -r*t + 5 = -5. Solve 0*x - 2*x + u = 2, -x + t*u = -5 for x.
-3
Let t(p) = p - 2. Let r be t(-2). Let m = 4 + r. Let q be 18 + m/(2*-1). Solve 3*c - q = -0*c - 3*l, 0 = 4*c - 3*l + 11 for c.
1
Let c(a) = -a - 3. Let u be c(-6). Let m(o) = -1 + 1 + 2*o**2 - u*o**2 - 6*o. Let s be m(-6). Solve -x + 22 = -4*t - 4*x, -3*t - 3*x - 18 = s for t.
-4
Let k be (-6)/(-33) + (-42)/(-11). Solve 4*w + 0 = -b - 2, 4*w = k*b - 12 for w.
-1
Let c = -10 - -15. Suppose 0 = c*v - 2*p - 111 - 79, -10 = 2*p. Solve 2*a - 2 = -2*i, -2*a = -4*i + 2*a - v for i.
-4
Let j(n) = 3*n**2 - 2*n - 1. Let w be j(-1). Suppose 0 = 2*f - w. Suppose -5*g + 13 = 3*k, -f*g + 5 = k + 1. Solve -2*v + 2*c - c = 5, -3*c = v + k for v.
-3
Suppose b - 5*t + 8 = 0, 4*b = -0*t + 2*t + 22. Suppose b*c = 5*c + 4. Solve -c*q = -5*f - 5 - 11, -2*f - 12 = 2*q for f.
-4
Let t be (4/(-6))/(28/(-126)). Solve 7 = -4*i - 2*d + t*d, 0 = i - d + 4 for i.
-1
Suppose 0 = -0*g + g - 3*q - 15, 0 = -4*g - 3*q - 15. Solve -6*f - 2*t = -f - 15, g = -2*f + 4*t - 18 for f.
1
Let d = -24 + 24. Suppose d*k + 13 = k. Solve -3*h = -8*c + 3*c - 23, -5*h + 2*c = -k for h.
1
Suppose 5*c - 4 = 11. Let q = -4 + c. Let z be ((0 - q)*-6)/(-1). Solve 3*v + 2*g = z*g + 2, -4*g - 8 = 0 for v.
-2
Let g be 225/81 - (-4)/18. Solve g*k = k - 5*j + 35, -2*k + 25 = 3*j for k.
5
Suppose 0 = 3*t - 4*g + 8, 0*g + g = -3*t + 2. Solve t = -3*o + 4*c - 14, 6*o + 4 = 3*o - c for o.
-2
Let h(m) = -m**2 + 7*m + 1. Let c be h(6). Let k = 14 - c. Suppose 3*w + 2*p = k + 8, 5*w - 25 = -2*p. Solve 2*d - 5*i - w = -d, 0 = 4*i + 16 for d.
-5
Suppose -7*d + 4*d = -21. Solve -l + 2*a = d, -l + 5*a = 2*a + 9 for l.
-3
Let x(y) = y**2 + 3*y + 3. Let b(p) = -2*p**2 - 2*p - 2. Let c(i) = 2*b(i) + 3*x(i). Let m be c(5). Solve 0 = -3*r - 9, -m*k - 6 = -6*k + 3*r for k.
-3
Let z(t) be the second derivative of t**3/6 + 9*t**2/2 + t. Let a be z(-5). Solve -k - 3*v = -9, -v + a + 0 = 0 for k.
-3
Suppose 5*w + 4*k + 4 = 16, 10 = w - 3*k. Solve 18 = 4*u + 2*h, w*u - 5*h = -2*h + 13 for u.
4
Let c be (1/2)/(3/(-150)). Let w = -8 - c. Solve 5*v = -q - w + 6, 0 = -3*v - 9 for q.
4
Let r = -83 - -101. Solve 6 = 2*i, 3*w + 2*i + r = 3*i for w.
-5
Let g be 58/6 - 8/12. Let r = g + -2. Solve 0 = -2*q - c - r, 4 + 1 = -c for q.
-1
Suppose 70 = -7*q + 2*q. Suppose -4*j = -40 - 52. Let i = q + j. Solve -25 = 5*a, 0 = -4*l - a - 0*a - i for l.
-1
Let o(w) be the third derivative of w**4/6 - w**3/6 - 4*w**2. Let i = -1 + 2. Let r be o(i). Solve 3*x + 17 = -2*t, -x - 2*x = -r*t + 12 for x.
-5
Let c be ((-4)/(-6))/((-4)/(-18)). Let y = 3 - c. Solve y = -5*f + 2*f - 2*t + 11, -10 = -2*f - 4*t for f.
3
Let p(o) = -2 + 2 + 9*o**2 + 5*o**2. Let z be p(1). Let m(y) = -y**2 - 6*y - 2. Let u be m(-5). Solve -12 = -u*f, -3*g - 5*f = -0*f - z for g.
-2
Let v(d) = -d**3 - 7*d**2 + 2*d + 2. Let q be v(-7). Let l be q/16*(-3 + -1). Solve -l*s = u - 8, 0*u = -5*u + 5*s - 20 for u.
-1
Let w(a) = -a**3 - a. Let s be w(0). Suppose 3*c = -6, n + 7 - 16 = 2*c. Solve s = n*q + y + 4, 2*q - 5*y - 20 = 7*q for q.
0
Let m(n) = -n**2 + 19*n - 29. Let y be m(17). Solve k - y = 2*t, -3*t + 5*k + 23 = -5*t for t.
-4
Suppose -g + 4 = -1, 3*g - 15 = -t. Suppose -5*n + 20 + 0 = t. Solve -3*y + n*d = -4*y, -2*y - 3*d = 0 for y.
0
Suppose 4*m - 5 = g + 8*m, -g - 1 = 2*m. Suppose -4*z + 0*z + 9 = p, 3*p + g*z = 18. Solve -k + p = 2*q - 3, -4*k = -2*q - 12 for q.
2
Let o = 2 - 0. Solve -r + 2*v + 3 = 0, 7 = 2*r - 5*v + o*v for r.
5
Suppose 0 = -4*q + 3*y, -3*q + 2*y = -2 + 1. Solve -22 = -3*j + 5*r, q*j + 0*r = -4*r - 23 for j.
-1
Let b(m) = m + 4. Let z be b(-6). Let p be 1/2*z*-2. Suppose -2*s = p*s. Solve s = 3*i - 15, i + 5 = -j + 15 for j.
5
Let i be (-114)/15 - (-6)/10. Let l = i + 10. Suppose -3*y = 4*t + 11, -4*t - 2*y = -3*y - 9. Solve 4*a - 13 = w, -t = 5*a - l*w - 12 for a.
4
Let n = 183 + -116. Suppose n = 3*w + 25. Solve 5*d = -2*l + 11, 3*d - w = -4*l + d for l.
3
Let j(t) = t**2 + 9*t - 32. Let r be j(-13). Solve 4*n = -2*s - 12, 5*s + 3 + r = -3*n for s.
-4
Suppose -5*q = -n, -2*n - 2*q + 6 = -6*q. Solve -2*y + n = y + x, x + 3 = 5*y for y.
1
Suppose -2*z + 2 = 24. Let x = 30 - z. Suppose 5*s - 34 = x. Solve -16 = -a + 4*g, g + 0*g = 3*a - s for a.
4
Let x = -12 - -14. Suppose x*f - 3*d = 9, f = -d - 0 - 3. Solve f = -4*g - 4, 2*g + 11 = -5*h - 6 for h.
-3
Let p(w) = -w**3 - w**2 - w + 2. Let b be p(0). Let n be b/5 + 40/25. Solve -n*v + 3*o - 9 = -0*v, -4*o + 14 = -2*v for v.
3
Suppose 2*q - q = 0. Suppose q*t - t = -18. Solve 5*f = 4*y + 17, -3*f + 6*y + t = y for f.
1
Suppose 0 = -m - 4 + 5, 4*z + 3*m = 3. Let b(y) = -y + 3. Let p be b(z). Solve 3*h - x + 10 = -0*h, 12 = p*x for h.
-2
Let k(r) = r**2 + 6*r + 2. Let d be k(-6). Suppose -4 = -d*l - 0*l. Let p be 2 - 2/2 - -5. Solve n = -x + p*n + 13, l = 4*x + 5*n for x.
3
Let x be -1*(-1)/(-4)*(-384)/32. Solve -2*u = 3*n + x, u - 6*u = -3*n + 18 for u.
-3
Let b = 1 - -2. Let q be (-1)/(-3) + (-1)/b. Suppose -5*j = 2*u + u - 16, q = 2*u - 2*j. Solve r + 5 = -4*i - 0, -3*i + r = u for i.
-1
Let y(p) = 0*p - 2*p**2 + 4 + 3*p**2 + 6*p. Let u be y(-6). Solve 6*l - u*l = s + 1, -3*l + 5 = -5*s for l.
0
Suppose x = 6*x - 95. Suppose -3*h + 2*l = -x, 3*l + 11 = -3*h - l. Solve u - h*u = 4*i + 22, -i - 4*u = 9 for i.
-5
Let j be (-4)/16 - (-46)/(-8). Let h = -6 - j. Suppose -5*m - 5*z + 0*z = 0, 3*m - z = h. Solve -3*b + 5 + 20 = 4*k, m = 5*k - 3*b - 11 for k.
4
Let u(w) = -w**3 - 3*w**2 + 8*w + 4. Let a be u(-5). Suppose -2*v - a = -46. Solve -4*h - 5*o = v, 3*o + 4 = 3*h - 4*h for h.
-4
Let v be 2*1/(1 + 0). Solve 3*m + 13 = -v*k - 0, m - k = -6 for m.
-5
Let w(b) = 2*b + 7. Let l be w(0). Let a = l + -4. Solve -5*k - 20 = 3*c - 2*c, 3*c = 4*k - a for k.
-3
Let h(b) = 2*b**2 + 2*b. Let i be h(-2). Suppose 4*n - 12 - i = 0. Solve -d - n*d - 4 = 3*p, 4*d - p - 7 = 0 for d.
1
Suppose 2*l = 3*f - f + 6, -2*l = 4*f - 18. Solve 0 = -l*t + 5*v - 7 - 28, -4 = -v for t.
-3
Suppose 0 = 7*n - 8*n. Suppose 0 = -n*d - 3*d + 15. Solve -2*s - 1 + d = h, s - 4 = -h for h.
4
Suppose 0 = -5*l - 4*o - 9, 3*o + 0*o = 3*l. Let j be (-21)/(l + -2) + -3. Solve n + j*i - 17 = 0, -4*n + 2*i - 7 = -5*n for n.
-3
Let h = -20 - -14. Suppose 8*k + 3*q = 3*k, 0 = -5*k + q - 20. Let d be (-37)/(-2) - k/h. Solve 0 = -s - 3*g + 2*g - 1, -3*s + 4*g = -d for s.
2
Suppose 12 = 2*k + 4. Suppose 0 = 3*u + k*v + 3, 2*v + 12 = u + u. Solve 4*q - 11 = -3*n, 31 = u*q + 2*q - 2*n for q.
5
Suppose -v = -3*v - 76. Let p be 5/(-15) + v/(-6). Solve -3*i + 3*y + p = 0, -3*y + y = 2*i for i.
1
Suppose 0*d - 35 = -d. Let m be 6/21 - 10/d. Solve -x - 1 - 2 = m, 2*a + 2*x = -16 for a.
-5
Suppose -30 = -4*k + 2. Let z be -1 + 2*-1 + k. Suppose 2*h = -4*s - 6, 3*h + 8 - 2 = -z*s. Solve 0 = h*y + 5*j + 22, -3*y + 3*j + 17 = -1 for y.
1
Let q(w) = -w**2 + 14. Let g be q(0). Suppose z - 2*z = -g. Solve -4*o - 7 = -n, 0 = 5*o - 3*n - 0 + z for o.
-1
Suppose o - 4*y = -2*o + 6, 16 = -2*o - 4*y. Let m be o/(-11) - (-20)/11. Solve -5*l + 20 = 0, -10 = -4*n + 3*n - m*l for n.
2
Let f(r) = -8*r**2 - r. Let h be f(-1). Let q = h + 9. Solve -q*o - 2*u = -4, -2*o = -0*o + 5*u + 5 for o.
5
Let y be (-12)/102 + 684/34. Solve 4*s - 2*n = -26, 8*n - 3*n = s + y for s.
-5
Let w = -140 + 142. Solve w*k + v - 6 = 0, 8*k + 5*v - 20 = 3*k for k.
2
Let t be -2 - (0 + -29 - 0/(-2)). Solve 5*m + t = -f, f = -4*m - f - 24 for m.
-5
Let r = 2 - -16. Suppose p = -3*z - 5, 4*p + r + 2 = -5*z. Solve -5*n + n = 3*u, 5*n = z for