 1 + 15 for a.
-4
Suppose 167*j - 163*j = 0. Solve j = 4*g - 7*g + 3 for g.
1
Let g = 13 + -8. Solve f + 1 = g for f.
4
Let d(m) = -m + 13. Let y be d(9). Let s(f) = -f**3 + 5*f**2 - 2*f - 5. Let g be s(y). Solve -8 = -g*c + 1 for c.
3
Let x(a) = -6*a**2. Let b be x(1). Let z be (-31)/b + (-1)/6. Suppose -3*f + h + 20 = -3*h, -z*f - 4*h + 76 = 0. Solve 3*k = -k + f for k.
3
Let s be (2/6 + 6/(-18))/3. Solve s = -4*g + g + 6 for g.
2
Let n(l) = l**2 + 6*l + 5. Let p = -26 - -20. Let z be n(p). Solve 4 + 11 = -z*q for q.
-3
Suppose 4*w = 5*w - 2. Suppose 0 = -3*x + 4*q + 5, -8 = -x - x - 2*q. Let l = x - w. Solve 0 = 4*u - l + 9 for u.
-2
Let z be (-4)/10 - (-30)/75. Solve 0 = -4*p - z*p + 8 for p.
2
Let a(j) = j**3 + 3*j**2 - 5*j. Let b be a(-4). Solve 4 = b*i - 8*i for i.
-1
Let n(z) = 5*z**2 - z**3 + 2*z**2 - 8*z**2 + z. Suppose 9 = -2*k + 3. Let q be n(k). Solve 5*s - q = 5 for s.
4
Let l(i) be the third derivative of 0*i + 0 - 2/3*i**3 + 2*i**2 + 1/24*i**4. Let c be l(11). Solve -c*j = -2*j + 25 for j.
-5
Let s(k) = k - 3. Let h be s(-7). Let b be 1 + 1 - h/5. Suppose -15 = c - b*c. Solve c*x + 8 + 2 = 0 for x.
-2
Let f be 0/1 + -1 + 1. Let c be 0 - (8 + 1 - -2). Let v = -8 - c. Solve f*g = v*g + 15 for g.
-5
Let h(l) = -l**3 + 5*l**2 + 5*l + 7. Let a be h(6). Solve -d - 1 - a = 0 for d.
-2
Let u = -34 - -36. Solve 3*h = u*h for h.
0
Suppose -3*h = -5*h - 2, -4*q - 10 = 2*h. Let g = -8 - q. Let k = -4 - g. Solve k*s = 1 - 5 for s.
-2
Suppose 0 = -4*x + 1 + 15. Let c = x + -2. Solve c*q = -2*q for q.
0
Let l(o) = o**2 + 7*o - 6. Let v be l(1). Let c be 0/2*2/(-2). Solve -v*s - 4 = -c for s.
-2
Suppose 4*a - 18 = -10. Solve s - a = 2*s for s.
-2
Suppose 8 = 7*y - 20. Solve y*z = z for z.
0
Let a(q) = q**3 - 5*q**2 + 2*q - 2. Let h be a(5). Let t = 13 - h. Let w be (-7)/(-5) + 12/(-30). Solve 3*k + t = -w for k.
-2
Let d(p) = -6*p**3 + p. Let c be d(-1). Suppose -6 = c*b - 0*q + 3*q, b - 4 = 2*q. Solve b = 3*j + 2*j for j.
0
Let s(t) = 12*t - 72. Let h be s(6). Solve h = -19*c + 16*c for c.
0
Suppose 4*f = 1 + 3, 27 = 4*y - 5*f. Solve 0 = y*i - 2*i for i.
0
Suppose -2*a = -7*a + 2*a. Solve 5*s - 10 - 5 = a for s.
3
Suppose -12 = 4*m, -2*h = -4*m + 6*m + 6. Suppose s + 3*s = h. Suppose s*c = 4*c. Solve 2*t - 4*t + 8 = c for t.
4
Let o be (-4)/(((-20)/3)/5). Solve -o*h = -h + 6 for h.
-3
Let c(j) = -2*j - 6. Let o = -10 + 5. Let n be c(o). Suppose n*m - 10 = 2*y, -m + 3 = -5*y + 5. Solve 0 = 2*d + m*d for d.
0
Let d(f) be the first derivative of -f**3/3 - f**2/2 + 3*f + 1. Let a be d(0). Solve a = x + 5 for x.
-2
Suppose -6 = -r - 2*k, 3*r = 6*r - 4*k + 12. Suppose 4*b - b = r. Solve 1 = q - b*q for q.
1
Suppose v - 20 = -4*v. Solve 2*k - v*k - 8 = 0 for k.
-4
Suppose -2*i = 2*c - 46, -2*c + 11 = -10*i + 5*i. Let v = c + -9. Solve -4*n + n = v for n.
-3
Suppose -7*m = -10*m + 9. Solve -m*i - 4 - 2 = 0 for i.
-2
Let u be 10/(-2 - 10/(-4)). Let t(s) = 2*s - 7. Let f be t(5). Solve x + u = -f*x for x.
-5
Let o = -1 + 14. Solve -5*h = 2 + o for h.
-3
Suppose -4*u + 4 = -3*u. Suppose 4*i - 3*i + 10 = u*v, -4*i - v + 11 = 0. Suppose -2*d = -0*d - 20. Solve d = -i*p - 0*p for p.
-5
Let a(v) = -v**2 - 2*v + 7. Let j be a(-3). Let i(f) = -f**3 + f**2 + 2. Let g be ((-2)/(-2))/(2/(-4)). Let d be i(g). Solve -j*r + d = -6 for r.
5
Let g = -6 + 18. Let v be 27*(2 - g/9). Solve -43 + v = -5*w for w.
5
Suppose 3*a - a - 12 = 0. Suppose 3*x + 7*k - 3*k = 232, 5*x - 5*k = 410. Suppose a*o - 2*o - x = 0. Solve -5*c - 5 = o for c.
-5
Suppose 3*f = -3*x + 3, -f - 3*f - x + 13 = 0. Let k be ((-9)/(-4))/((-2)/(-8)). Let t = 13 - k. Solve -2*w = -f*w - t for w.
-2
Let w(j) = j**3 + 8*j**2 - 9*j. Let o be w(-9). Let l be (-2)/(-3)*(-42)/(-4). Suppose -3*y - 21 = -z, 5*z + y - 18 - l = o. Solve -4*g + z = -g for g.
2
Suppose 46 - 34 = 3*p. Solve -p = -2*g + 2 for g.
3
Let q be (-1 - -1)/(0 + -2). Solve q*i + 4*i = -8 for i.
-2
Suppose -3*n = 2*n + 20. Let v = -3 - n. Suppose v + 8 = 3*d. Solve -d - 2 = c for c.
-5
Suppose 0*g = -g - 5*c + 40, -5*g + 100 = 5*c. Solve -5*h + 10*h - g = 0 for h.
3
Let f = 104 - 101. Solve f = -4*g - 5 for g.
-2
Let h be (-188)/(-36) - 6/27. Let d be 1/h - 29/(-5). Suppose t + r - 1 = d, -3*t = -r - 29. Solve -b - t = -4*b for b.
3
Let p = 33 + -17. Suppose -2*o - p = -6*o. Let c(i) = i + 23. Let m be c(-3). Solve o*n + n = -m for n.
-4
Let n = 5 + -3. Suppose -3*c = -n*c - 4. Solve -c*a + 5 + 11 = 0 for a.
4
Suppose 25 = -2*n + 3*n. Let l(k) = -k**3 - 3*k**2 - 2*k - 4. Let m be l(-3). Suppose -4*v = -c - 35, -v + m = 2*c - 0. Solve 0 = v*g - 3*g - n for g.
5
Suppose 0 = -27*n + 22*n + 10. Solve n*p + 1 = 3*p for p.
1
Let f(z) = 2*z**3 - 3*z**2 + 4*z - 3. Let h be f(2). Let u = -3 + h. Solve u*o - 5 = o for o.
1
Suppose 5*g + l + 1 - 11 = 0, -5*l = 2*g - 27. Solve -7 = 3*f - g for f.
-2
Let p(j) = -j + 9. Let u be p(0). Let q = 11 - 5. Let k = u - q. Solve k*w - w = -6 for w.
-3
Let t(m) be the second derivative of -m**3/3 - 2*m**2 - m. Suppose -8 = -4*o - 4*j, -j + 0*j = -3*o - 14. Let g be t(o). Solve -g*p = -p for p.
0
Suppose -3*f + 4*s = f, 0 = 5*f - 4*s - 4. Let a(w) = w**2 - 8*w - 7. Let i be a(9). Solve i*m - f*m = -6 for m.
3
Let j(f) = f**2 - 2*f + 5. Let a be j(5). Let h = 8 + -3. Let g be (-3 + h)/(2/4). Solve z + g*z = a for z.
4
Let s = -3 + -4. Suppose 4*c = 27 + 21. Let t = c + s. Solve -w = -t*w for w.
0
Let r(o) = -o**3 - 6*o**2 - 4*o + 7. Let u(c) = -3*c + 1. Let p be u(2). Let b be r(p). Solve b*a = -4 - 2 for a.
-3
Suppose -4*c + 8 = -0*c. Suppose 3*l = -4*f - 2*l - 11, 25 = -5*f + 5*l. Let h(p) = p**2 + 2*p - 4. Let s be h(f). Solve 2*v = -s + c for v.
-1
Let s(p) = 8*p**3 + 7*p**2 + 8*p + 12. Let g(z) = 3*z**3 + 2*z**2 + 3*z + 4. Let w(v) = 11*g(v) - 4*s(v). Let r be w(6). Solve 4 = r*x - 3*x for x.
-4
Let q(z) = -7*z - 3. Let v(t) = -t - 1. Let r(n) = q(n) - 6*v(n). Let j be r(3). Solve j = -5*c + 3*c + 4 for c.
2
Suppose 5*l - 10 = 3*l. Solve 1 - l = -f for f.
4
Let n(s) = s**3 + 11*s**2 + 2. Let u be n(-11). Solve -u = -3*d + d for d.
1
Suppose 3*d = -d. Suppose 0*w = 3*w. Suppose w = -0*c + 4*c. Solve c*m + 2*m - 8 = d for m.
4
Suppose -8 - 13 = s. Let v = s - -37. Suppose -i = -0*i. Solve -v = -4*h - i*h for h.
4
Suppose -2*y - 2*y - 8 = 0. Let t = 5 + y. Suppose 3*r - t = 3*o, 2 = -2*r + 6. Solve -k = o - 5 for k.
4
Suppose 2*w + 1 = 3, 2*k - 3*w + 3 = 0. Suppose x + 0*x = 3*b - 10, k = -4*b + 20. Solve -9 + 34 = x*n for n.
5
Let l(u) = u**2 - 5*u + 5. Let v be l(4). Suppose -z = v - 3. Solve 0 = -4*k + 10 + z for k.
3
Let m = 10 + -5. Solve -m*d = -2*d for d.
0
Let r(x) = x. Let z be r(-6). Let j be ((-9)/z)/((-1)/8). Let g be (9/j)/((-1)/4). Solve 0*w + g = -w for w.
-3
Let l be (-3)/(-4) - (-26)/8. Suppose -l*z - 2 = -6*z. Solve 5*n - 4 - z = 0 for n.
1
Let g be (-93)/(-12) + -3 + (-1)/(-4). Solve 0 = -q + 1 - g for q.
-4
Suppose -6*w - w + 3*w = 0. Solve -16 = -4*v - w*v for v.
4
Let q = -2 - -4. Let s be 2*-1 - (-3 + 3). Let h = q + s. Solve h = 3*t - 0*t for t.
0
Suppose 3*k = -3*z + 36, 4*k + 75 = 3*z + 11. Suppose 29 = 2*s - 5*b - z, 25 = 4*s + 3*b. Solve -s = h - 6*h for h.
2
Let i = 18 + -14. Suppose -2*d + 0*w + i*w + 8 = 0, -d - 1 = 3*w. Solve -d*b = -b + 2 for b.
-2
Let o be 1/1 - (-3)/6*10. Solve -p + o = 1 for p.
5
Let g be ((-18)/4)/(4/(-8)). Solve -2*y - y - g = 0 for y.
-3
Let h(d) = d**3 - d + 5. Let a be 0/(6/(-2) + 2). Let o be h(a). Solve -2*v + o = -v for v.
5
Let c be (3 + 1)/(2/8). Let q be c + (1 + -1)/(-1). Let m = -11 + q. Solve i = -4*i - m for i.
-1
Let c be 4/(-1) - (-72)/8. Solve 5*s = -0*s - c for s.
-1
Let r(u) = -u**2 + 4*u - 4. Let o be r(3). Let z be (1 - o) + 1*3. Solve 3*k - 2 = -z for k.
-1
Let z = 1 + 0. Let b(i) = 15*i. Let d be b(z). Let l be 0 - 3*(-8)/6. Solve -p = l*p + d for p.
-3
Suppose 1 = 3*g - 5. Suppose 2*d - 12 = -0. Solve -d + g = -z for z.
4
Let w be (-6)/27 - (-124)/(-9). Let s = -9 - w. Solve 30 = -5*r + s for r.
-5
Let n = -9 + 18. Suppose -z - 2*z + n = 0. Solve 0 = 4*w - 3*w + z for w.
-3
Let l = 5 - -2. Suppose 3*w = l*w. Let r be (9 - w)*(-16)/(-12). Solve -2*a = a + r for a.
-4
Suppose 5*m + 0*m - 30 = 0. Let p be (2/4)/(3/m). Solve -n + p = -0 for n.
1
Suppose -4*b - 3*y = -4, 2*b - 4*y - 2 = y. Let a(f) = 6*f**2 + f - 1. Let k be a(b). Solve