+ f = -7*a for a.
-3
Suppose 5*x = c + 2*x - 27, x = -5*c + 55. Suppose c = 4*y - 0. Solve n = -y*n for n.
0
Let o = 13 - 13. Solve 2*m + m = o for m.
0
Suppose -3*w + 0 - 14 = 5*g, 9 = 3*g - 4*w. Let m(s) = 3*s**2 + s + 1. Let f be m(g). Solve 2*k = f + 7 for k.
5
Let a = 10 - 1. Let s = a + -4. Let f = s - 1. Solve -2*t = -f*t + 4 for t.
2
Let v be (-12)/(-5) - 10/25. Let l be (v/(-4))/(1/(-2)). Solve l = i - 1 for i.
2
Suppose -14 + 2 = -4*v. Solve 0 = -5*t + v + 7 for t.
2
Let q(d) = -d - 1. Let h be q(-4). Solve 3 = h*n + 12 for n.
-3
Let j be (20/(-4)*(2 - 1))/(-1). Solve -2 = -3*o - j for o.
-1
Let f be (2/(-3))/((-2)/21). Suppose 0 = -m + y + f, 3*y = -0 - 6. Suppose -4*n + 3*v = -3 - 0, 5*v = -4*n - 5. Solve n = m*q - 6 - 4 for q.
2
Suppose -4 - 11 = -5*c. Suppose -2*u - 4 = 2*t, 2*u + 2*t = c*u - 13. Solve 0*x + x = -u for x.
-3
Let g = 40 - 21. Suppose 3*m - 5 = g. Let b = m + -4. Solve 0 = 2*h - 0 + b for h.
-2
Let h(b) = -b**2 - 10*b + 16. Let w be h(-11). Suppose -5*n - 2*g + 30 + 16 = 0, -22 = -3*n - 4*g. Suppose -4*i = -14 - n. Solve y + w = i*y for y.
1
Let d be (6/9)/((-4)/(-18)). Suppose -3*s = -d - 3. Solve s*p - 1 = 3 for p.
2
Suppose -4*m - 7 = h, 5*h + 5*m - 4*m - 22 = 0. Solve 0 = -3*n + h*n - 4 for n.
2
Let c(k) = k - 8. Let t(p) = p**3 - 7*p**2 + 10. Let z be t(7). Let r be c(z). Solve 0 = o - r*o + 4 for o.
4
Let m(c) = -42*c**3 + c**2 + c + 1. Let g be m(-1). Suppose -5*j = 13 - g. Suppose 9 = -3*u + j*u. Solve -2*v = -3*v + u for v.
3
Let b(c) = 5*c - 4. Let f be -1*4*(-3)/4. Let n be b(f). Solve -3*p - 4 - n = 0 for p.
-5
Let i(k) = -k**3 + 9*k**2 - 9*k + 8. Let o be i(8). Solve -4*d + o*d = -8 for d.
2
Suppose -2*x - 6 = -4. Let k be -2*x/((-1)/(-1)). Solve -k*a = -0 - 4 for a.
2
Suppose 5*x - t - 2*t - 25 = 0, 2*x + t = 21. Let d = 13 - x. Suppose 4*g - 3 = -d*s, 0 = -3*g - 2*s - s + 3. Solve -6 + 0 = g*l for l.
-3
Let r = -2 + 5. Suppose 0*n = -3*n + w + 11, -3*w = 3*n - r. Let b be n + -1 + 0 - -1. Solve -3 = 3*z + b for z.
-2
Let x(t) = -t**2 - 6*t - 1. Let f be x(-5). Let n = 4 - f. Solve n*r + r - 4 = 0 for r.
4
Let u be (-4)/(-18) + (-12)/54. Solve -2 = 2*m - u for m.
-1
Suppose 0 = -5*k - 15 - 5, -4*c + 12 = k. Solve l + 0 = -c for l.
-4
Let j be (-2 + 1)/(-1 - 0). Solve -4*b - j = 7 for b.
-2
Suppose 3*o - 37 = 3*y - 7, 3*o + 4*y + 5 = 0. Solve o*x - 16 = x for x.
4
Suppose 2*m + 4*r + 24 = 4*m, -4*m + 23 = -3*r. Suppose 0 = m*l + 3*l - 15. Solve -c - 2*c + l = 0 for c.
1
Suppose -4*u = -18 - 22. Solve -4*v - 2 - u = 0 for v.
-3
Let x = -13 - -13. Solve 8*o - 4*o - 12 = x for o.
3
Suppose 6*v - 3*p - 31 = 2*v, -3*v + 27 = -3*p. Solve -9 + v = 5*x for x.
-1
Let n = 13 + -9. Suppose 3*r = 3*w + 3, 0*w + 14 = w + n*r. Solve -5*o - w = -12 for o.
2
Let r be (-4 + 4)*1/(-2). Solve r = -0*d + 3*d + 15 for d.
-5
Let c be 2/1*6/3. Let t be c/(-6) + 2/3. Solve t = -2*f - 2 - 2 for f.
-2
Let i(z) = z - 15. Let g be i(21). Solve 6 = 3*q - g for q.
4
Let w = 48 - 44. Solve -w*j = -2 - 6 for j.
2
Let t = 26 + -56. Let j be t/(-9) + (-3)/9. Solve j*l - 7 + 1 = 0 for l.
2
Let w = 41 + -39. Let m(f) = -f**3 + 5*f**2 + 9*f - 3. Let z = -9 + 15. Let g be m(z). Solve w*s - g = -5 for s.
5
Suppose t = 5*t - 24. Let x be 2/(-4) - (-3)/t. Solve 3*w + 0*w = x for w.
0
Let h = -6 - -13. Let n = -7 + h. Solve -5 = -5*g - n*g for g.
1
Let k be ((-188)/8)/((-3)/18). Suppose 4*c + c - a = k, 0 = 2*c - a - 57. Suppose 0*l - 7 = h - 2*l, -h = 5*l - c. Solve -h = -p + 1 for p.
4
Let x(z) = 2*z - 2. Let y(l) = -1. Let t(f) = x(f) + 6*y(f). Suppose 0*o = -3*j + 5*o + 6, -o = -4*j + 25. Let p be t(j). Solve -p*i + 25 = -i for i.
5
Suppose -4*v + 6*v = 4. Solve -a = 1 + v for a.
-3
Let f be -4*(2 - (-39)/(-12)). Let r = -13 - -19. Solve -r*c = -c - f for c.
1
Let m = 4 + -7. Let q be 2/(-6) - 16/m. Let z(n) = -n**2 - 17*n - 12. Let r be z(-16). Solve r = -q*l - 11 for l.
-3
Let b be (4 + -2 - -2) + 0. Let w = 1 + 1. Suppose 2*o + b*g - 2 = 0, 5*o = -3*g - w*g + 10. Solve o*u = 2*u - 1 for u.
-1
Suppose -3*i = 2*g - 13, 4*i = -3*g - i + 21. Solve g*o + 7 = -1 for o.
-4
Let g be (-2 - (-12 - 3)) + 9/(-3). Solve 10 = -4*y - g for y.
-5
Suppose 3*z + 4 = 5*z. Solve u + z*u = 0 for u.
0
Let q(u) = u**3 - 6*u**2 + u - 2. Let i be q(6). Suppose -4*b = -2*y - y - 33, -15 = -i*b - 3*y. Suppose 40 = 2*o + 3*o. Solve -b*w = -o*w - 6 for w.
-3
Suppose 0*d + d - 19 = 0. Suppose 4*i - 4 = 8*i. Let a = 5 + i. Solve 5*y + d = a for y.
-3
Let w be (-2)/3 - (-10)/(-3). Let o be (w - -4) + 4*1. Solve 2*m - o*m = 8 for m.
-4
Suppose 56 = 16*s - 2*s. Solve 7*l - 6 = s*l for l.
2
Let v(o) = o**2 + 10*o + 2. Let w be v(-10). Let q = -6 - -4. Let i be -1 - (-6 + w) - q. Solve -i*l = -2*l for l.
0
Let d = 53 + -48. Solve d*g - 2 = 18 for g.
4
Suppose -o - o - 3*s + 23 = 0, 37 = 3*o + 5*s. Solve -3*v = -o*v + 4 for v.
4
Suppose -g + 2 = -0. Solve 0 = -h - h + g for h.
1
Let b be ((-2)/(-5))/(3/30). Solve -b*y + 5 = y for y.
1
Suppose -6*u + 11*u = 0. Solve 2*a + 2*a + 12 = u for a.
-3
Suppose 8*c - 24 = 2*c. Solve 0*t + 2*t + c = 0 for t.
-2
Suppose 0 = 4*k + 4*c, 0 = -5*k + 2*c + 14. Suppose 9 = -4*a - 3*o, -k*a = -6*a - 5*o - 15. Solve -5*s - 7 + 2 = a for s.
-1
Let d be (-5 - -2) + 1 - -11. Solve -d = 4*h - h for h.
-3
Let f be 14/(-2) + 4 - -7. Suppose 0*q + 12 = f*q. Solve -2*c = c + q for c.
-1
Let q = 3 - 0. Suppose q*t - 4 = -1. Let w = t - -7. Solve -4*x - 12 = w for x.
-5
Let h(p) = -12*p - 2. Let o be h(-1). Solve -c + 3*c = -o for c.
-5
Let y(a) = a**3 - 3*a**2 - 2*a - 2. Let x be y(4). Solve 0 = -3*c + 5*c - x for c.
3
Let k be (-1)/((-4)/132) + -1. Suppose 4*p = -16 + k. Solve -i - p*i = 0 for i.
0
Suppose -d + 3 + 0 = 0. Suppose -17 = -d*m - c, 2*c - 3*c + 9 = m. Solve 4*q + 0 + m = 0 for q.
-1
Let f(h) = h**2 + 8*h + 10. Let u be f(-6). Let k be 165/35 + u/(-7). Solve -4*p = -5*p + k for p.
5
Suppose -11*z + 45 = 1. Solve -4 - 4 = z*w for w.
-2
Let l(u) = u**2 + 5*u - 8. Let h = -14 - -8. Let v be l(h). Let x = v + 4. Solve 7*b - x*b = 10 for b.
2
Let b = 10 + 2. Let g(f) = 2*f**2 + 5*f + 1. Suppose -2*w = 5*x + 31, 0*x - 17 = 4*w + x. Let l be g(w). Solve 0 = l*i - i - b for i.
4
Let t be 4 + (-3 - -1) + 0. Solve 2*l = -t*l - 4 for l.
-1
Suppose 102 = 3*m - 105. Suppose -3*t + 0*t + o = -48, 5*t + 2*o - m = 0. Suppose 5*v - 3*y = -t, -v - 8 - 2 = -2*y. Solve -8 = -2*c - v*c for c.
4
Let u be (2/(-12))/((-6)/(-12))*0. Solve u*d = -d for d.
0
Let z(q) = -q**3 + 5*q**2 - 2*q + 2. Let r be z(4). Let v be -2*(3/6 - 1). Let f be 2 - (v - (0 - -2)). Solve f*a - 2 = r for a.
4
Let w = 4 - 2. Let k be 2*(1 - 12/(-8)). Solve 0 = -w*f - k - 1 for f.
-3
Let g(l) = -l**3 - l**2 + 2*l + 3. Let i be g(-2). Suppose y + 0*y - i = 0. Solve 7*r = y*r for r.
0
Let w be 1 - (-3)/((-6)/(-16)). Suppose -2*u + 12 = 2*l, 21 = 4*l + 2*u + u. Suppose 0 = 3*y + x - 16, 4*y - l*x - 4 = -0*y. Solve -y*j = -w*j for j.
0
Let w(x) = -2*x + 20. Let v be w(9). Solve 4*h = v*h + 6 for h.
3
Let a(i) = 2*i + 14. Let x be a(-7). Solve x = g - 4*g + 12 for g.
4
Let w(a) be the second derivative of -a**5/20 + a**4/3 + a**3/2 + a. Let p be w(5). Let z(l) = l**2 + 9*l - 7. Let y be z(p). Solve -y*r + r = 10 for r.
-5
Suppose n - 6 = -2. Solve -q + 2*q = -n for q.
-4
Let x be (-1)/4 + 183/12. Solve -x = -h - 4*h for h.
3
Let n = 25 - 36. Let h = -6 - n. Solve 0 - 5 = h*q for q.
-1
Let p(y) = -y + 2. Let m be p(-10). Solve -5*d + 2*d = m for d.
-4
Let j(p) = -p**2 - 6*p - 1. Let t be j(-5). Solve t*o + 2 = 6 for o.
1
Let x(m) = -14*m**2 + 1. Let l be x(-1). Let c = l - -15. Solve 5*o = 6*o - c for o.
2
Let t = 2 + -4. Let m be -3*(-2 - 2/t). Suppose 0 = -8*z + 3*z. Solve 0*b - m*b + 3 = z for b.
1
Suppose -5*a + 2*a - 21 = 0. Let p(f) = f**3 + 7*f**2 - f - 4. Let m be p(a). Solve d = -2*d - m for d.
-1
Suppose 2*q + 3*q = 10. Suppose -3*g + q + 1 = 0. Solve u - g = 2 for u.
3
Let c(q) = 7*q - 38. Let w be c(6). Solve -16 = -w*k + 4 for k.
5
Let b(o) = 7*o**2 + 7*o - 4*o + 4*o + 10 - o**3. Let m be b(8). Suppose 20 = 6*k - m*k. Solve -k*n + n = 0 for n.
0
Suppose 8 = -2*w + 10. Solve 0 = g - w - 2 for g.
3
Let j be (1/2)/((-7)/(-14)). Solve -6 = -u - j for u.
5
Let k be ((-24)/(-15))/((-1)/(-10)). Suppose -g - 2*p = -5*g + 20, 5*g = p + 22. Solve -4 = -g*q - k for q.
-3
Let t(i) = -2*i -