e -3*x = 2*x + a for x.
-3
Let v(g) = -g**2 + 6*g - 6. Let c be v(4). Suppose 12 = c*b + 2. Solve t = b*t for t.
0
Suppose b - j - 3 = 0, 4*b + b - j - 15 = 0. Suppose b*m + q + 2*q + 78 = 0, -90 = 3*m - q. Let c be 6/(-9) + m/(-3). Solve 4*t - 25 = -c for t.
4
Let i(l) = -l**3 + 7*l**2 - 5*l - 4. Let d be i(6). Let x = 19 - 16. Suppose 4*j - 2*t = 33 + 27, 3*j + 4*t - 45 = 0. Solve d*s + x*s = -j for s.
-3
Suppose 0 = -2*i - 2*i. Suppose -5*r + i*r + 1 = 3*x, 16 = 2*r - 4*x. Let w = 9 - 6. Solve 0 = r*u - w - 1 for u.
2
Suppose 5*q - 5*t = 5, -q + 4*t - 8 = 3. Suppose 0 = 5*j + 3*x - 30, -4*j - q*x + 7 = -4. Solve 4*o - j = -1 for o.
2
Let u(h) = h + 13. Let f be u(-5). Solve 2*l + 2*l + f = 0 for l.
-2
Suppose -4*s = -3*x + s - 8, 20 = 3*x + 2*s. Let j = 7 - x. Let w be 8/j + 4/(-6). Solve w*c = -0*c for c.
0
Let z = -23 + 23. Solve -4*t = -z*t + 16 for t.
-4
Let t be 3 - 1 - (-36)/(-4). Let j(p) = p + 11. Let i be j(t). Solve c + i = -0 for c.
-4
Let n be (1/(-2))/(5/(-100)). Let c = 12 - n. Solve c*t + 2*t = -12 for t.
-3
Let a = -6 + 10. Suppose a = -2*d + 12. Solve -d*y = -2*y - 10 for y.
5
Let a be 30/(-4)*2/(-3). Let c = a - 1. Let d = 30 - 5. Solve 0 = c*f + f + d for f.
-5
Let m(z) = z**3 - 6*z + 4. Let f be m(0). Solve f = 4*a - 0 for a.
1
Let v = 12 + -10. Solve 0 = v*f - 1 - 3 for f.
2
Let j = -13 - -16. Suppose -2*z - j - 1 = 0, m - 2*z = 4. Solve -4*r + 5 - 21 = m for r.
-4
Suppose v - 2*v = 2*j + 167, 5*j - 4*v = -411. Let r = -58 - j. Suppose 5*o = -8*l + 3*l + r, 0 = -4*l + o. Solve l = -a - 4 for a.
-5
Suppose 0 = 8*a - 32 - 32. Solve 0*t + 2*t = a for t.
4
Let l = -6 + 8. Solve 5 = l*p - 1 for p.
3
Let o(v) be the second derivative of -v**4/12 - v**3 - 2*v**2 - 2*v. Let s be o(-4). Solve 0 = 5*x - s*x + 2 for x.
-2
Suppose -m - 57 = 2*n + 4*m, n - 3*m + 1 = 0. Let s = 31 + n. Solve 4*r = r - s for r.
-5
Let t(l) = 2*l - 2 + 6 - l + 0. Let q be t(0). Let m be ((-3)/2)/((-3)/q). Solve m - 1 = o for o.
1
Suppose 5*g + 5*u = -8 - 7, -23 = -4*g + 3*u. Let l(j) = 3*j. Let x be l(-3). Let o be (x/(-6))/(-3)*0. Solve o = -g*t - 11 + 1 for t.
-5
Suppose -32 + 17 = -5*x. Let a = 6 - 2. Suppose -x*i + i = -a. Solve i = -b - b for b.
-1
Suppose 4*t - 10 = r - t, 5*r = -t + 2. Suppose -5*k + 7*k - 4 = r. Solve y = -k*y + 3 for y.
1
Let c(w) = 5*w**2 - 1. Let p be c(1). Solve -9 = p*n - n for n.
-3
Suppose -3*d + 14 = 2*g + d, 35 = g - 5*d. Suppose 0 = -l - 4*l - 5*q - g, 2*q + 5 = -3*l. Solve -k + 6 - l = 0 for k.
5
Let y = 29 + 21. Let m = -13 - -23. Suppose -5*g = m - y. Solve -g = -4*w + 8 for w.
4
Suppose -4 = 4*x, -3*i - 2*i + 26 = -x. Suppose -i*b + 1 = -9. Let z = b + 1. Solve 0 = z*t + 2 - 5 for t.
1
Suppose -4*s - 28 = -6*s. Let d = -11 + s. Solve -r + 8 = d*r for r.
2
Let k(x) = x**2 - 5*x. Let a(m) = -m**2 + 5*m - 4. Let i be a(5). Let g be k(i). Suppose 2*o - g = -z + 6*o, -4*o - 16 = 0. Solve -4*t + 0*t = z for t.
-5
Suppose -f = f. Suppose -3*d - 107 = -5*n, -4*n + 3*d + 95 = 7. Solve 5*m - n - 6 = f for m.
5
Let t(u) = -u + 1. Let f be t(-4). Suppose 1 = 2*x + 3*n - 9, -2 = -f*x + 4*n. Solve 0 = 3*z + 4 + x for z.
-2
Let s be (-1 - 2) + (1 - -5). Solve 0 = s*w - 3 - 6 for w.
3
Let a(b) = 2*b. Let i(q) = q - 1. Let x(v) = a(v) + 5*i(v). Let c be x(4). Suppose 4*r - c = -7. Solve -4*h = -0*h - r for h.
1
Let g(a) = -a**2 - 14*a - 15. Let p be g(-10). Suppose -4*f + 2*i = -20, 0 = -5*f - 0*f + 5*i + p. Solve -4 = f*j + 1 for j.
-1
Let k = 39 - 24. Solve -h = 4*h - k for h.
3
Suppose 20 = 3*j - 4. Suppose -g = 3*g - j. Solve 0 = -5*t + g*t + 15 for t.
5
Let f be 1/(-4) - (-68)/16. Suppose 0*q = -4*q - 3*b, 2*q = -5*b. Solve o = -q*o - f for o.
-4
Suppose z + z = 6. Solve z*t + 0 - 9 = 0 for t.
3
Suppose -6 - 2 = 2*w, -3*v + w + 19 = 0. Solve -3*t - v = -8*t for t.
1
Let f(b) = -6 + b**2 + 8 + 2 - 5*b. Let t be f(5). Solve t*l + 21 - 5 = 0 for l.
-4
Let q = 2 - -9. Suppose -q + 3 = -b. Solve 5*w = 2 + b for w.
2
Suppose 4*o + k = 13, -2*o + 7*o - 2*k = 0. Suppose -4*r = -o*r. Solve 4*n + 0*n + 8 = r for n.
-2
Suppose -2*o = -z - 0*z, -2*z - 4*o = 0. Solve z = 5*i - 3 - 12 for i.
3
Let p = 26 - 23. Suppose p*w - 6 = 3. Solve -w*o = -0*o - 12 for o.
4
Suppose 0 = 7*x - 0*x - 91. Suppose -y + 7 = -x. Solve -4*a = -0 - y for a.
5
Let u(a) = -a**2 - 13*a - 8. Let t be u(-11). Suppose -t = -3*w - 2. Solve 0 = -w*q - 0*q for q.
0
Let c = 33 - 30. Solve 0 = c*j - 8*j - 20 for j.
-4
Let t(v) = -v**2 + 7*v - 6. Let m be t(3). Solve -1 = 5*i - m for i.
1
Suppose -2*m - 3*m = 0. Solve m = -o - 0 - 2 for o.
-2
Let z be (-2 - (-1 + -3))*3/2. Solve 7 = z*p + 19 for p.
-4
Let g(w) = 2*w**2 + 6*w + 5. Let b be g(-5). Suppose -2*v + b = 3*v. Let y(h) = h**3 - 5*h**2 + h - 2. Let p be y(v). Solve p*u - 1 = -4 for u.
-1
Let t be (-4)/10 - 37/(-5). Suppose -4*g = -t*g + 12. Suppose -2*i + 6 = g*f - 10, 4*f - 2*i = 8. Solve 1 + f = u for u.
4
Let t(k) = k**3 + 6*k**2 - 2*k - 2. Let y be t(-6). Let c be 24/y - 3/(-5). Suppose 0 = 5*g - 19 - 21. Solve -c*f + g = 2 for f.
2
Suppose 0 = 5*k + 4*u - 11 - 6, 5*u = 5*k + 10. Solve -k - 3 = -4*c for c.
1
Suppose 3*m + 4*d = 34, 0 = d + 4 - 8. Let u = m - 2. Solve u*c - 2*c - 8 = 0 for c.
4
Let n = -8 + 10. Suppose 5 = -n*c + 35. Solve -g + c = 2*g for g.
5
Let b be -33*-3*(-5)/(-45). Solve -4*q - 19 = -b for q.
-2
Let l = -7 + 11. Let b(f) = -10*f + 106. Let h be b(10). Solve l*p - 2*p = -h for p.
-3
Let r(j) = -3*j - 29. Let w be r(-11). Solve -18 = -w*f + 2 for f.
5
Let b = -6 + 15. Let a = b - 6. Solve 0 = 8*h - a*h + 10 for h.
-2
Suppose 2*h = 5*n - 8*n + 8, 2*n + h = 4. Solve 0 = -n*y - 4*y for y.
0
Let q be -9*(0 + (-3)/9). Solve q*h = -6 - 3 for h.
-3
Let h = -8 - -19. Suppose -g = -2*p + 4, -p - p - 8 = -4*g. Solve -3*t + g + h = 0 for t.
5
Suppose -64*u + 59*u + 10 = 0. Solve 0 = s + u - 0 for s.
-2
Let o(j) = j**2 + 1. Let w be o(1). Let r(y) = -1 - w*y - 2 + 0. Let c be r(-7). Solve -3*p + c = -4 for p.
5
Let b(y) = -y + 4. Let s(c) = c - 5. Let z(l) = -3*b(l) - 4*s(l). Let v be z(4). Let x be 1/1*(-1 - -3). Solve -v*i = -x*i - 6 for i.
3
Suppose 5*n + 3*s = 19, 0*n = 3*n - 5*s - 25. Let t = -5 - -12. Solve t + 3 = n*w for w.
2
Suppose 5*w + 5 = -f, 4*f - 3*w = -0*w + 3. Suppose -3*v = -f*v. Solve 0 = n - v + 4 for n.
-4
Let l(z) = -3*z + 21. Let w be l(5). Suppose 8 = -4*p + 20. Solve -p*r = w - 3 for r.
-1
Let l be (0 + 2)*((-11)/(-2) + -4). Solve l = -7*h + 10*h for h.
1
Let k(x) = -x**3 + x. Let w be k(1). Let v(g) = -6*g - 6 + w*g + 9*g**2 - 10*g**2. Let l be v(-4). Solve 0*h = 2*h - l for h.
1
Let i(n) = n**2 - 2*n - 1. Let g be i(3). Let z = 2 + -5. Let v be (1 + -1)/(z/(-3)). Solve v = f + f + g for f.
-1
Let f be (-56)/(-42) - 10/(-6). Solve 0 = 4*y - y - f for y.
1
Suppose -w = -0*w - 3, 4*w = -g + 13. Let v be 1/(g*(-1)/(-2)). Suppose -4*u = -v*n + 14 - 42, 4*n = 0. Solve 4*f - 1 - u = 0 for f.
2
Let d = -14 - -19. Solve -3*p - 4 = d for p.
-3
Let g(z) = 5*z**2 - z - 13. Let o(j) = 4*j**2 - j - 13. Let r(c) = 5*g(c) - 6*o(c). Let i be r(0). Solve -5*p - 2 = i for p.
-3
Let m(b) = -b + 1. Let p be m(5). Let r be -1 - p - (-15)/(-5). Suppose r = -3*l - l. Solve l*k = 3*k for k.
0
Let b(q) = -q + 11. Let y be b(0). Solve 0 = 4*i + y - 3 for i.
-2
Let t = 48 - 13. Suppose -2*s + 17 = 3*s + y, -t = -5*s + 5*y. Solve -s*q + 6 = -q for q.
2
Let v(i) = -i**3 - 4*i**2 - 3*i - 4. Let j be v(-4). Suppose -18 = 2*w + 2*n, -4*w + 2*n = -0*n + 18. Let d = j + w. Solve k = d*k - 2 for k.
2
Let k = -16 - -32. Solve 0 = i - 5*i - k for i.
-4
Suppose -5*i + 6 = -s, 0 = -0*i - 5*i - 2*s + 18. Suppose 4*y = 3*b + 16, -y - y + 8 = b. Solve b*w + i*w + 4 = 0 for w.
-2
Suppose -4*x = 5*a - 72, 2*a - x = 4*a - 27. Solve 37 - a = 5*u for u.
5
Suppose 0 = 5*j + 5*a - 75, 12 = a + 2*a. Solve -4*n - 9 = j for n.
-5
Suppose 4*y - 17 = 3*y. Let u = -6 + y. Solve 1 = 5*v + u for v.
-2
Suppose 0 = 7*s - 9*s + 4. Solve s*b = -1 - 5 for b.
-3
Suppose 3*t - 5*s + 2 = -9, -2*s + 20 = 4*t. Suppose 0*m + t*m = 15, -5*r + 25 = -5*m. Solve 2*z - 4*z = -r for z.
5
Suppose -1 - 9 = x. Let t = x - -21. Let n be (1/(-3))/(4/(-48)). Solve n*l - 5 = t for l.
4
Let o(y) = -y**2 + 0 - 4*y + 2 + 0. Let g be o(-4). Let p = 3 + g. Solve 0 = -p*a + 6 + 14 for a.
4
Let l be -2 + 31 + 0 + 1. Let d = 46 - l. Solve 4*w - d = -0*w for 