*i + g + l for i.
-5
Let i = 2 + -5. Let q = 5 + i. Let v(p) = -3*p - 4. Let d be v(-3). Solve q*g = -3*g + d for g.
1
Suppose -3*y - 3 = -6. Suppose -z = y - 6, z = 2*c - 11. Suppose 3*a - 4 = 2*a. Solve a = -4*n - c for n.
-3
Let d(u) = -2*u + 2. Let r be d(0). Solve -5 = r*g - g for g.
-5
Let f(w) = -9*w + 4. Let l be f(0). Solve -l*b = b - 20 for b.
4
Let m = -9 - -14. Let t be 4 + 5/(m/(-2)). Solve t = -2*j - 0*j for j.
-1
Let y be (10 + -6)*(4 + -2). Let m(l) = l**2 - 4*l + 3. Let r be m(4). Suppose p - 3*o + 12 = 0, 7*o - r*o = -3*p + 29. Solve p = -i + y for i.
5
Suppose 0 = -3*g + 4*g - 2. Solve 5*z = g*z for z.
0
Let s(z) = -z**2 + 7*z - 2. Let f be s(6). Let a be 2/(-3)*2*-3. Solve -f*m - a = -2*m for m.
-2
Let i = -6 - -6. Solve -2*g + i*g - 2 = 0 for g.
-1
Let z be ((-1)/(-2))/((-3)/6). Let r be (-6)/z*(-2)/(-4). Solve 5 + 4 = -r*o for o.
-3
Suppose 4*k - k = -4*u + 18, 0 = -4*u + k + 10. Solve 0 = -4*a + 3*a - u for a.
-3
Suppose 10*f - 36 = 4*f. Solve 2*s = f*s - 4 for s.
1
Let t = -46 + 28. Let g = t - -30. Solve 3 = -3*j - g for j.
-5
Let p(d) = d**2 - 2*d + 2. Let q be p(2). Suppose 2*t = -5*k - 1 + 6, -t - 11 = -q*k. Solve -k*a = -5 - 1 for a.
2
Let o(v) = 10*v**2 + v + 1. Let x be o(-1). Suppose -5*i + 25 = -x. Let y = 12 - i. Solve 0 = -2*m - 5 - y for m.
-5
Suppose 9*w - 11 = -l + 4*w, 5*w = 2*l - 7. Solve -2*h = -l*h + 16 for h.
4
Suppose 4*c - 4*z - 20 = 0, 2*z + 16 = 4*c - z. Solve n - c = 2 for n.
3
Suppose -u + 0 - 6 = 0. Let v be u/27 - 6/(-27). Solve v*a - 15 = 5*a for a.
-3
Let l = 0 + 16. Suppose 0 = -y - 3*y + l. Let k = -1 + 5. Solve y = k*t - 4 for t.
2
Let v(p) be the first derivative of 3/2*p**2 + 1/3*p**3 + 1 + 2*p. Let z be v(-3). Solve -t + 3*t = -z for t.
-1
Let c = -55 - -58. Let g(z) = 3*z + 5. Let n be g(6). Solve 4*j + c = n for j.
5
Suppose 5*s + a - 10 = 9, 0 = 3*s - 2*a - 1. Solve 0 = s*b + b - 20 for b.
5
Suppose -4 = 4*s - 16. Suppose -15 = -3*n, 3*y - 3*n = -s - 0. Solve y = -3*p + 7 for p.
1
Let p(h) = -2*h - 1. Let k be p(-1). Solve -5 = -v - k for v.
4
Let n = -99 - -101. Solve -3 = s - n for s.
-1
Let c be (12/3)/4 + 4. Solve -c*w = 11 - 1 for w.
-2
Let i(z) = 10 - z**3 - 12 - 3*z - z**2 - 3*z**3. Let s be i(-1). Solve g + 0 = -s for g.
-4
Let j(n) = 3*n**2 - 3*n - 1. Let q be j(3). Suppose 5*v - 8 = q. Solve -7 = 4*a + v for a.
-3
Suppose -4*z + 2*z = -p + 11, 2*z = -5*p + 7. Suppose 8 = p*w - 10. Solve -3 = r - w for r.
3
Let y = -2 - -4. Let v(s) = -25*s - 1. Let n be v(-1). Suppose 4*x = y*x + n. Solve 3*p + x = 6*p for p.
4
Let z be (-45)/(-12) - (-2)/8. Let o = 8 - z. Solve o*g + 16 = 36 for g.
5
Suppose 0 = -0*n - 4*n + 16, 2*h - 2 = n. Solve h*x = -0*x + 12 for x.
4
Suppose 0 = -9*v + 12*v + 33. Let w = -7 - v. Solve g - w = -g for g.
2
Let i be (4 + (1 - 7 - -3))*0. Let w be (-24)/(-14) - 2/(-7). Let o(d) = 3*d**2 - 2. Let l be o(2). Solve w*t - 4 + l = i for t.
-3
Let q be (117/6)/(3/6). Let k be 72/q + (-8)/(-52). Solve 1 + k = -3*z for z.
-1
Suppose 125 = 36*y - 163. Let l be (-1)/(-2) + 10/4. Solve l*z + y = z for z.
-4
Let a = -8 - -10. Solve 2 + a = 2*l for l.
2
Let a = -6 + 12. Suppose -3*u - 9 = 0, 8 = 5*j - 3*u - 11. Solve j*d - 2 - a = 0 for d.
4
Suppose 2*o = -0*o. Suppose 3*h - 2*h = o. Solve h = l - 0 - 2 for l.
2
Let l(a) = a**2 - 3*a - 13. Let y be l(7). Solve 2*d + d - y = 0 for d.
5
Suppose 2*b + 4*t - 16 = 0, -2*b - 3*t + 18 = 3. Solve b - 2 = 2*p for p.
2
Suppose -6*t = -t. Suppose t = -4*k + 22 + 6. Suppose 3*p - k*p = -60. Solve p = -3*m + 3 for m.
-4
Suppose -13 = -9*g + 5. Solve 3*i - g = 4 for i.
2
Suppose 4*f - 30 = -4*q - q, 5*q + 15 = 5*f. Suppose -8 = -3*t + f*u, -u = -4*t - 3*u + 28. Let y be 3/(t/(-2)) + 2. Solve 2*w + 1 = -y for w.
-1
Let a(n) = 9*n**2 - 4*n + 3. Let c(g) = g**2 - g + 1. Let y(j) = a(j) - 3*c(j). Let l(m) = -m - 1. Let b be l(-2). Let u be y(b). Solve -15 = -4*k + u for k.
5
Let k be (-12 + 6)*(-1)/3. Suppose -j = k*j. Solve 5*t - 15 = -j*t for t.
3
Let z = 11 + -8. Solve 3 + 6 = -z*i for i.
-3
Suppose 7*x + 5 - 19 = 0. Suppose -k + 0 + 4 = 4*m, 3*m + 20 = 5*k. Suppose 3*i = -q - 0*i + 15, -k*q + 20 = 4*i. Solve -2*n + q = -x for n.
1
Suppose 46 = 5*c + 4*s, 3*c = -5*s - 0*s + 38. Solve 0*t + 2*t + c = 0 for t.
-3
Let a = 12 + -8. Solve 1 = -a*n + 5 for n.
1
Let p be 112/40 - (-1)/5. Solve p*j = 3 + 9 for j.
4
Let m(j) = -j**3 - 17*j**2 - j - 17. Let a be m(-17). Solve a = -4*h + 4 + 12 for h.
4
Let v = -1 + -4. Let a = v - -7. Solve -a*j = -4*j for j.
0
Suppose -2*i - 103 = -6*i - a, -2*i = a - 53. Suppose -2*l = -8, -8 = -3*d - 3*l + i. Let h be (-1)/(-3) - 2/6. Solve -d*v + 3*v - 12 = h for v.
-3
Suppose 4 + 2 = 4*o + f, 4*o - 3*f - 14 = 0. Suppose 5*j = 3*d + 10, 5*d = -2*j + 3*j - o. Suppose i + 3 = -0*k - k, -k + 6 = -j*i. Solve -a - a = k for a.
0
Let t = -11 + 15. Suppose 4*o = -o. Solve o*d + 2*d = t for d.
2
Let r be ((-2)/(-4))/((4 + -8)/(-24)). Solve 4*h - 4 = r*h for h.
4
Let y(b) = -b**3 - 10*b**2 + 2*b + 22. Let z be y(-10). Let l be 5 - (-1)/(3/6). Solve 5*h + l = z for h.
-1
Let i = 8 + -5. Suppose -3*u + 1 = -2*s - 4*u, -2*s = -u - 9. Solve s*j - i*j = 4 for j.
-4
Suppose 2*m - 6 = 4. Solve d = m*d - 8 for d.
2
Suppose -5*k + 10 = 4*f, 4 = 4*f + k + k. Suppose -p + 2*p = 20. Solve f*b - p = 5*b for b.
-4
Let o(x) = -x**2 + 7*x + 20. Let m be o(9). Solve -8 = -3*v - m for v.
2
Suppose -a + 2*a + 4 = 0, -3*x - a = -11. Suppose -x*c = -6*s + 2*s - 42, -5*c + 45 = -5*s. Suppose -o - c = -3*o. Solve 20 = o*b + 8 for b.
4
Let g(k) = -k**2 + 19*k - 30. Let s be g(17). Solve s*c - c = 3 for c.
1
Suppose -4 = a - 6. Solve 0 = a*y + 3*y for y.
0
Suppose -5*v + 10 = -0*v. Solve -m + v = -3 for m.
5
Let a(u) = u - 4. Let n be (3/(-2))/(9/12). Let x be (n/4)/(3/(-42)). Let z be a(x). Solve z*m = -m for m.
0
Let v(u) = u - 21. Let x be v(27). Solve r - x*r = -20 for r.
4
Let z = -7 - -3. Let l = -4 - z. Solve l*m = 2*m for m.
0
Suppose 0 = 5*c - 16 - 4. Let u(f) = f**3 - 3*f**2 - 4*f - 1. Let s be u(c). Let b be s*(3 + -1 + -3). Solve -4*g + 5 = b for g.
1
Let s = 16 + -11. Suppose s*t - 4*o = 8, -3*t + 4*o = 3*o - 2. Solve 6*u - u = t for u.
0
Let u = 9 - 6. Solve -u*q + 1 = 4 for q.
-1
Let o(f) = -f + 1. Let z be o(-2). Suppose 0 = -4*c + 2*c. Suppose c = -2*q - q. Solve z*y + q*y + 6 = 0 for y.
-2
Let s(i) = 4*i - 37. Let z be s(10). Solve -2*m = z*m for m.
0
Suppose -12*s + 17 = 5*s. Solve -11 = -2*g - s for g.
5
Let k(n) = -2*n + 26. Let w be k(7). Solve -2*m = m - w for m.
4
Suppose f = 3*h + 1 + 15, 0 = 3*f + h - 8. Let n(v) = 3*v - 1. Let o be n(1). Solve f*t - o = 2 for t.
1
Suppose -8*q - 3 + 11 = 0. Solve 0 = -3*a - 10 + q for a.
-3
Let k be 22 + (-4 - (-1 + -1)). Suppose c + 16 = -3*q + 1, 0 = -q - 5. Suppose -5*x + 4*x = c. Solve o + 4*o + k = x for o.
-4
Let p(t) = 7*t**3 - t**2 + 1. Let b be p(1). Suppose -4*q + 5 + b = 0. Solve -3*m + 0 = q for m.
-1
Suppose -2*q - 1 = m + 3, 5*m - 4*q = 8. Solve m = 2*y - 3*y for y.
0
Let i be (-1 + -1)*(-14)/(-4). Let r(o) = o + 10. Let b be r(i). Suppose 0 = -3*w - 3*z - b, -5*w + 6*z + 3 = 3*z. Solve 2*v = -w - 4 for v.
-2
Suppose -2 = -5*y - 3*l, -2*y - 2 = -y + 3*l. Suppose o = y + 1. Let v = 30 + -16. Solve 6 = o*i + v for i.
-4
Suppose -2*i - 7 = -13. Solve w + i*w = 16 for w.
4
Let c = 5 - 3. Suppose 20 = 2*u + 22. Let y be (-3 + c)*u*5. Solve y*i = 3*i - 10 for i.
-5
Let l(m) = 2*m + 2. Let d be l(1). Suppose -r + d*r = 0. Solve -2*f = -r + 2 for f.
-1
Suppose 5*m + 92 = -4*c, -2*c = -8*m + 4*m - 58. Let n = -37 - m. Let r be (6/21)/((-3)/n). Solve -3*t = -5*t + r for t.
1
Let x = -2 - -8. Suppose 2*f = 4*f - x. Solve -f*i - 4 = -i for i.
-2
Let z = 89 + -89. Solve z = 2*l - 0*l for l.
0
Suppose 3*t + 9 = -12. Let x be 244/(-28) - (-2)/t. Let h(o) = -o**2 - 10*o - 7. Let g be h(x). Solve -g*d - 25 = 3*d for d.
-5
Let n = 7 - 4. Suppose 6 = 19*i - 17*i. Solve 2*m - n = i*m for m.
-3
Let p(j) = -j**2 - 4*j + 5. Let b be p(-4). Let g = -5 + b. Suppose -3*d + g = -6. Solve 20 = 3*f + d*f for f.
4
Suppose 3 = 3*d, -4*c = c - 5*d - 5. Solve -14 + 4 = -c*a for a.
5
Let x be (-4)/18 - 87/(-27). Solve -9 - x = -3*l for l.
4
Let b = 4 - 2. Suppose -b*s + 4 = -0*s. Solve -s*d = d - 15 for d.
5
Let b(a) = -a + 7. Let i be b(-5). Suppose f - 5*f + i = 0. Solve -4*g = -1 - f for g