 = -c for c.
-1
Let u be 2 + 1 + (3 - 3). Let i(d) = 0*d + 4*d - 2*d + 12 - u*d. Let p be i(9). Solve 0 = -v - p + 2 for v.
-1
Let h = 3 - 17. Let y = h + 21. Suppose x - y = -4. Solve -4*s + 23 - x = 0 for s.
5
Let n = 6 + -4. Let o be n/7 - 57/(-21). Suppose g - 4*g = -6. Solve d + g*d = -o for d.
-1
Suppose 0*r + 70 = 7*r. Let i(f) = 7*f**3 - 2*f**2 + 2*f - 1. Let k be i(1). Solve -k*w - r = -w for w.
-2
Let q = -7 - -8. Suppose -3*m - 2*y - q = 0, 5*y = 2*y - 6. Solve 1 = w - m for w.
2
Let k(v) = -v**3 + 8*v**2 + 2*v - 12. Let p be k(8). Solve p*h = 9*h for h.
0
Let d = -37 + 42. Solve -d*x + 3*x = -2 for x.
1
Suppose 0 = -3*k + 2*f + 16 + 1, 3*f = -5*k + 3. Solve -k = 2*q - 3*q for q.
3
Suppose -v + 4*v + 7 = 4*y, 35 = 5*y + 5*v. Let g = -7 + 19. Suppose 6*x - 5*x = 0. Solve x*u = y*u + g for u.
-3
Let l(n) = -18*n - 1. Let v be l(-1). Suppose 3*k + 5 = v. Suppose -2*x + 3*y = 0, 3*y = -k*x + 2*y. Solve -2*t - 2 - 4 = x for t.
-3
Let h = 4 - -5. Let t = 12 - h. Solve n - t*n = 10 for n.
-5
Let r(g) = 2 - g**2 - 3 - 4*g**2 - 2*g**2 + g**3 + 7*g. Let u be r(6). Solve u*y + 0 = -15 for y.
-3
Let s = 4 - 1. Suppose s = o - 3. Solve -k = -o*k - 15 for k.
-3
Suppose 0 = -2*l + d + 6, -5*l + 5*d + 10 + 15 = 0. Let y be -3 + 4 + (l - 2). Solve y*f = -4*f + 20 for f.
5
Let k = 74 + -70. Solve k*v - 8 = -28 for v.
-5
Suppose -y = -x + 5, 3*y = 2*x + 2*x - 17. Suppose -x*b - 2*b = 0. Solve b = -3*l + l + 4 for l.
2
Let f = 4 - 2. Solve -f*t = 3*t + 25 for t.
-5
Let m(z) = z**3 - 7*z**2 - z + 7. Let a be m(7). Let v be (-21)/(-6)*2 + a. Solve 0 = -2*o + v - 3 for o.
2
Let u(q) = q**3 - 5*q**2 - 8*q + 6. Let t be u(6). Let z = t - -10. Solve 0 = -z*l + 3*l for l.
0
Suppose 5*p - 3*p = 6. Suppose 49 = 5*l - p*n, 3*n + 5 = -4. Solve -3*i + l = -i for i.
4
Let z be 5 + -3 - 0 - 0/1. Solve z*v - 16 = 6*v for v.
-4
Suppose -3*y + 12 + 21 = 0. Let t = y - 8. Solve o - t = 4*o for o.
-1
Suppose l = 5*k - 9 - 9, -l = 3*k - 14. Suppose -t = -0*t - k. Suppose -f - 4*f + 17 = -4*u, -t*f - 2*u + 24 = 0. Solve 4 - 9 = -f*m for m.
1
Let r(u) be the second derivative of u**5/20 - 7*u**4/12 + u**3/3 - 7*u**2/2 + 3*u. Let y be r(7). Solve h + y = 2 for h.
-5
Let k be (-4)/((4/(-12))/(2/3)). Solve 2*b = -2*b - k for b.
-2
Let a(s) = -s + 3. Let d be a(1). Solve 0 = 4*u + 14 - d for u.
-3
Suppose 2*b + 2*b - 8 = 0. Let h = 22 + -14. Solve b*v + h = 4*v for v.
4
Let z = -45 + 47. Solve -z*x - x - 15 = 0 for x.
-5
Suppose -2*z = 4*z - 12. Solve 0*o + z*o = 0 for o.
0
Suppose h = -h + 50. Suppose 0 - h = -5*a. Solve a*d + 7 = 2 for d.
-1
Let a be (-1)/(-2) + (-19)/2. Let c = 0 - a. Solve 4*s + c = -11 for s.
-5
Let d be 3/(-1 + 3/(-6))*-1. Solve 8 = d*l + 4 for l.
2
Let y be (-2)/4*0 - 0. Let o = 2 + y. Suppose 4*x + 5*u - 11 = 0, -o*x + x - 4*u = 0. Solve 0*s + s = x for s.
4
Let y(g) = -g**2 + 12*g - 9. Let p be y(11). Solve -p*b - 3 = b for b.
-1
Let a = 31 + 17. Suppose -a = -3*v - 0*v. Solve j - 5*j = -v for j.
4
Let k be 9 + (-4 - -1) + -1. Solve 2 + 3 = -k*p for p.
-1
Suppose 0 = w + 4*w - 40. Let d = 3 + w. Suppose -19 = -3*s + d. Solve -y - s = y for y.
-5
Suppose -4*o + 5*o - 4 = -3*z, -z = o. Suppose z*a = 2*x + 18, -5*x - 15 = a - 0*a. Solve -3*j + a - 2 = 0 for j.
1
Let v(f) = f + 9. Let j be v(-4). Solve 3*x = -2 + j for x.
1
Suppose 4*h + 4*k = -4, -5*h + 6 = -k - 7. Suppose -5*z + 45 = 4*i, -h*i + z + 2 = -3. Solve -i - 3 = 4*c for c.
-2
Let n(k) = -k**3 - 15*k**2 + 14*k - 34. Let w be n(-16). Let y(t) be the first derivative of -t**2 - 2*t + 1. Let u be y(w). Solve u*d + 16 = -2*d for d.
-4
Let i(r) = -r**3 - 4*r**2 + 5*r - 1. Let t be i(-5). Let n = t + 1. Solve n = -2*f + 4*f for f.
0
Let d = 6 + 6. Let v(m) = -m**3 + 13*m**2 - 11*m - 9. Let u be v(d). Solve -u*r = r for r.
0
Let b(j) = j**2 + 3*j - 2. Let i be b(-4). Solve -6 = -i*n - 2 for n.
2
Suppose 0 = -4*t + t + 6. Let r(l) = -l - 7. Let y be r(-8). Solve -t*d = -3 + y for d.
1
Suppose -2*r - 16 = -6*r. Suppose -2*i + 5*y = i - 6, -2*i = y - r. Solve -4*s + i = -3*s for s.
2
Suppose 0 = -7*m + 4*m. Solve m = -4*n + 9 - 1 for n.
2
Let z = 14 - 13. Solve 2*m = -7 + z for m.
-3
Let p = -4 - -9. Solve 4 = -z + p for z.
1
Let w(u) = 8*u - 3. Let v be w(1). Solve 5*g = v + 5 for g.
2
Let l(w) = 2*w - 22. Let d(k) = -1. Let s(p) = -12*p. Let y be s(1). Let c(h) = y*d(h) + l(h). Let b be c(7). Solve 3*j = b - 10 for j.
-2
Let y = -2 - -4. Let q(t) = t**3 + 5*t**2 + 2*t - 5. Let w be q(-4). Suppose y*u - u = w. Solve 0 = -u*h - 0*h + 3 for h.
1
Let d(f) = 7*f - 6. Let x(k) = 11*k - 9. Let j(w) = -8*d(w) + 5*x(w). Let n be j(0). Suppose -2*a = n*a. Solve a = -q - q + 8 for q.
4
Let g be 2*(21/(-2))/(-7). Suppose -g*x + 58 = 5*v - 5*x, 3*v = 4*x + 32. Solve 2*f + f = -v for f.
-4
Let x(s) be the first derivative of -5*s**2/2 - 4*s - 3. Let l be x(-4). Solve 3*u = 1 - l for u.
-5
Suppose 6*u - 2*u - 2*u = 0. Solve -4 + u = -f for f.
4
Let l = -3 - -5. Solve r = 2*r - l for r.
2
Suppose 0 = 4*s + 9 + 11, m - 7 = s. Solve m*y = y for y.
0
Let z = -2 - -5. Let m be 3*1/z - 0. Solve -2*a = -3*a + m for a.
1
Let k = 12 + -7. Solve -k*j + 2*j = -12 for j.
4
Suppose -4*y = -9*y + 15. Suppose 2*p - 5 + 1 = 0. Suppose -p*b = -3*s + 6*s - 39, -2*b - 49 = -5*s. Solve 4 + s = -y*j for j.
-5
Let q(r) = r**2 + 6*r + 5. Let l be q(-5). Suppose 5*s = -l + 10. Solve 3*v + s = -4 for v.
-2
Suppose 0 = z + z - 8. Suppose 0 = -0*i + i - 7. Solve z*r - i = -3 for r.
1
Let q be 2/(-9) - 249/(-27). Let k = 2 - q. Let a(l) = l**3 + 8*l**2 + 6*l - 5. Let j be a(k). Solve s - j = -s for s.
1
Let d(x) = -x**2 - 4*x - 3. Let i be d(-2). Let m be i - (2 - (3 + 3)). Solve -m*h - 24 = -4 for h.
-4
Let v = 29 + -27. Suppose -v*w + w = -10. Solve 5*y - 3*y + w = 0 for y.
-5
Suppose 4*d - 35 = -d. Let g = 130 - 130. Solve g = -4*x - d - 1 for x.
-2
Let b = -8 + 3. Let x be 1/b - (-3)/15. Solve x = i - 2 for i.
2
Suppose 16 = -4*j, k + 52 = 3*k - 3*j. Suppose -5*l = k, f - 3*l - 10 = 15. Solve 5*a - 12 = f for a.
5
Let x be 1 - 4/((-8)/(-6)). Let a be 28/5 + x/(-5). Let z = a + -4. Solve 0*i = z*i for i.
0
Let n(r) = 2*r + 5. Let m be n(-8). Let j(y) = y**3 + 12*y**2 + 11*y + 3. Let t be j(m). Let x(c) = c**2 - 5*c - 8. Let s be x(7). Solve t*u - s = -0*u for u.
2
Let z(v) = v**2 - 4*v. Let y be z(6). Solve -5*k + k = -y for k.
3
Let a be 16/(-8)*(2*1)/(-2). Solve 0 = l + l - a for l.
1
Suppose 0 = -4*a - 0*a. Solve a = -2*w - 1 + 5 for w.
2
Let v be 23/4 + 1/4. Suppose -3*p = v, 5*p - 16 = 3*m + 4*p. Let s = m - -6. Solve -3*y = -3 - s for y.
1
Suppose 0 = -5*h - 0*h + 10. Let i be 2/((-1)/2 + 1). Let q be i/(-10) + 66/15. Solve -h*k + q = -4 for k.
4
Let u(w) be the second derivative of -5/2*w**2 + 0 + 2*w + 4/3*w**3 - 1/12*w**4. Let r be u(7). Solve r = d - 0 for d.
2
Let x(b) = -2*b - 8. Suppose -3*i - 31 = -4*c, -2*c - 37 = 4*i - 3*c. Let d be x(i). Let y = 6 + -3. Solve y*v + d = -2*v for v.
-2
Let b(c) = c**3 + 4*c**2 - 7*c - 2. Let x be b(-5). Let a(k) = -2*k - k + 2*k + x. Let n be a(8). Solve 2*p + 8 = -n*p for p.
-4
Let g be 4/(-18) + 464/144. Solve -g*m + 3 = -6 for m.
3
Let q = 9 - 5. Suppose 3*h = -h - 3*s + 73, -3*h = q*s - 60. Solve 0 = 3*a + a - h for a.
4
Let c(m) = 2*m**2. Let s be c(1). Let t = 8 - 5. Suppose -2*f + 3 + t = 0. Solve 0 = z - s*z + f for z.
3
Let b be 2/(15/6 - 2). Suppose -3*g = -4*v - 20, b*g + 0*v - 2*v - 40 = 0. Let p be 0*(-2)/(1 - -3). Solve 3*z = -p*z - g for z.
-4
Let d(p) be the first derivative of p**3/3 + p**2 - 1. Let k be d(-3). Solve 0*r - r = -k for r.
3
Let a(i) = -i**3 + 5*i**2 - i. Let j be a(4). Suppose 2*c + 7 = -3*w - 1, -j = 3*w. Let n = 6 + -3. Solve n*x = -c*x for x.
0
Suppose k - 2*k = -18. Suppose k*o = 23*o. Solve 0 = -2*r - o*r for r.
0
Suppose -5*z + 0*y + 2*y + 20 = 0, 0 = 3*y. Solve 9 - z = -l for l.
-5
Let l = -8 - -11. Suppose 5*m = 5*t + 15, 0 = -m - m + 3*t + l. Solve 5*b + m = -19 for b.
-5
Suppose -15 = 5*g - 5*p, -5*g + p = -0*g + 3. Suppose 5*o + g*o = 10. Solve 3 = -o*q + 5 for q.
1
Let g = -18 - -38. Suppose -r - 3*r + g = -5*d, -2*r + 4 = -d. Solve 0 = -r*l + 5*l for l.
0
Suppose -4 = f, 2*i + 4*f = 4*i - 42. Solve 5*u + i = -2 for u.
-3
Suppose 3*u - 6*u = 0. Solve m + m - 8 = u for m.
4
Let x(l) = -l**2 + 5*l + 4. Let b(h) = -1. Let s(n) = -4*b(n) + x(n). Let 