 c = 2*h for h.
2
Suppose 4*i - 9 - 11 = 0. Solve -g - i = -0 for g.
-5
Let y = -74 + 83. Solve -y*d - 10 = -7*d for d.
-5
Suppose -r = -4*r. Solve r = -g - 3*g + 16 for g.
4
Suppose 0*z = 3*z - 5*u - 31, -z + 7 = -u. Suppose l = z*n + 10, -29 = -4*l + 5*n + 5. Solve 0 = 5*y - 19 - l for y.
5
Let r = -13 + 23. Solve -u + r = -3*u for u.
-5
Suppose -44*l + 46*l + 6 = 0. Let z be (5 + (-1 - -1))*1. Let s = z + l. Solve 2 = s*u - 4 for u.
3
Let p(x) = -x + 4. Let u be p(-6). Let d = -35 + 19. Let t be 6/15 - d/u. Solve -2*q + t = -0*q for q.
1
Let o(u) = u**2 + 4*u. Let z be o(-4). Suppose 5*w - 4 - 11 = z. Solve w*i + 7 = 22 for i.
5
Suppose -2*i = 4*o + 2 - 4, 3*o - 5 = -2*i. Solve -3*t + 5 + i = 0 for t.
4
Suppose 3*h - 75 = -5*x, -4*h + 3*h + x = -25. Let g(k) = 2*k + 10. Let r be g(-5). Suppose -t + 1 = u + 6, -4*u + 5*t + h = r. Solve 0 = 2*p - u*p for p.
0
Let t = 9 - 7. Let b = 0 + t. Suppose b*v - 5*v = -12. Solve 0 = u - 1 + v for u.
-3
Let m(l) = l - 1. Let i be m(3). Suppose 2*v - x = 3, -2 = 5*v - i*x - 8. Solve 2*f + 2 + 2 = v for f.
-2
Suppose -56 + 50 = -2*z. Solve -2*d + 3*d + z = 0 for d.
-3
Let n be (-1)/(-7) + (-80)/(-28). Solve -2*s = 1 + n for s.
-2
Suppose n = -2 + 8. Let d be (-6)/27*3*-6. Solve -d = 5*f + n for f.
-2
Let g = 33 + -22. Suppose -4*a - 3 = -g. Let m(f) = f**2 - f + 2. Let o be m(a). Solve 8 = -4*n - o for n.
-3
Suppose 4*t - 15 - 5 = -5*q, -2*q - 10 = -2*t. Let u(k) = -3*k + 4. Let o be u(t). Let n = o - -11. Solve n = 2*b + 2*b for b.
0
Let y = 9 - 7. Solve -d - 3 = -y*d for d.
3
Let x(s) = 3*s**2 + 1. Let y be x(1). Suppose 3*v - y*l = 30, -26 - 4 = -3*v - l. Suppose 0*f = 2*f + v, -k - f + 12 = 0. Solve 5*d - k = 3 for d.
4
Let h = -34 - -32. Let j(o) = -2*o + 3. Let p(w) = 1. Let c(y) = j(y) - 2*p(y). Let q be c(h). Solve q*k = 2*k + 6 for k.
2
Let z be (-2 + 15/6)*10. Suppose -z*a - m = -7, -3*a = -0*a - 5*m - 21. Let v be (a/(-1) + 5)*1. Solve o - 6 = -v for o.
3
Let u = -150 - -153. Let f = -1 - -1. Solve -3*z + u + f = 0 for z.
1
Suppose -4*k + 1 = -d - 0*d, -d - 3*k + 6 = 0. Solve 7 - d = -m for m.
-4
Let h(j) = -j**2 - 14*j + 19. Let f be h(-15). Solve -2*n + f*n = 4 for n.
2
Let i be (4*(1 + 0))/1. Let w = 2 - 0. Suppose w*y + c - 4 - 3 = 0, 0 = 5*y - 3*c - 12. Solve -y*j + i = j for j.
1
Let f be 3 - 1*1/1. Solve t = 5 - f for t.
3
Let j be (-3 - -2)/(2/(-2)). Let p be (-4)/5*20/1. Let f = 23 + p. Solve -4*m - j = f for m.
-2
Let c(s) = -s + 1. Let j be c(3). Let h = 8 + j. Let q = h + -4. Solve -1 = -m + q for m.
3
Let u(m) = -m**2 - m**2 + 8*m + 3*m**2 - 13. Let r be u(-10). Solve -2*g = -r*g + 10 for g.
2
Suppose -4*t = -y - 31 + 11, 0 = -5*y + 3*t - 15. Solve y = i + 4*i + 25 for i.
-5
Suppose 14*j = 16*j - 4. Solve 3 = -j*g - 1 for g.
-2
Let z(o) = -2*o - 2. Let k be z(-3). Let q(w) = w**3 + w**2 - 1. Let v be q(1). Let u = k - v. Solve b = -u*b for b.
0
Let u = 11 + -9. Solve u*t + 5 = -3 for t.
-4
Let i be (-1 + 32/28 - 1)*-7. Solve 0 = 2*y - 0 + i for y.
-3
Suppose -2*y + 5 + 27 = -4*o, 0 = 5*y - 4*o - 92. Let x(l) = -l**3 - l**2 - 1. Let d be ((-4)/10)/(1/5). Let z be x(d). Solve 0 = 2*g + z*g - y for g.
4
Let v be (-1 + 6/4)*-2. Let h(o) = 2*o**2 - 2*o - 1. Let z be h(v). Let l = 0 - -1. Solve z = -4*x - l for x.
-1
Suppose 0 = 25*f - 19*f - 18. Solve -5 - 10 = f*l for l.
-5
Suppose 0 = -3*b + 3*o + 18, -o - 2*o = 2*b - 7. Solve -10 = -0*g - b*g for g.
2
Let k = -196 + 198. Solve -6*n = -k*n - 8 for n.
2
Suppose -10 = -4*w + 2. Suppose 5*i + 15 = f, -3*f - 4*i - 12 = 2*f. Suppose -5*r + r = f. Solve w*t + 3 = -r for t.
-1
Let a(j) be the first derivative of j**2/2 - 3*j + 5. Let m be a(7). Solve -m*z + 0*z - 16 = 0 for z.
-4
Suppose 5 - 2 = -i - 5*m, 0 = -3*i - 4*m + 2. Solve i = -w - w for w.
-1
Let d = -43 - -46. Solve i = -d*i for i.
0
Let v = 3 + -3. Suppose 0*b + 3*b = v. Solve 5*g = -b*g - 25 for g.
-5
Let h = -9 + 13. Suppose 0 = h*k - 81 + 1. Solve -2*y + k = 2*y for y.
5
Suppose -8 = 2*j + 4*c, j + 47 = -4*j - c. Let z = 12 + j. Solve 12 = -z*u + 2 for u.
-5
Let p(w) = -w**3 + 6*w**2 + 2*w - 7. Let u be 156/27 + 4/18. Let c be p(u). Solve 5*y + c = -0*y for y.
-1
Let h = 9 + -3. Let j be h/(-10)*(-15)/3. Solve 4 = -v - j*v for v.
-1
Let x(z) = -5*z. Let f(i) = i + 1. Let k(l) = -3*f(l) - x(l). Let q be k(2). Suppose 4*h - 6 = 2, -14 = -2*y - 5*h. Solve 0 = -o + q + y for o.
3
Let u(o) = 4*o**2 - 28*o + 1. Let d be u(7). Solve 2*y + d - 3 = 0 for y.
1
Suppose -3*q = -5*a + 34, -q + 1 = -3*a + 19. Suppose 18 = -a*y + 3. Let o = 0 - y. Solve 0 = c - o + 6 for c.
-3
Let y = -13 - -15. Suppose -6 = -y*q + q. Solve -4*p + q = 22 for p.
-4
Let k(m) = 2*m - 8. Let q(p) = 2*p**3 + 2 - 3*p**2 - 2*p + p + p. Let i be q(2). Let u be k(i). Solve y + 3 = u for y.
1
Let q = 9 - 6. Suppose q*u + 9 = 6*u. Solve -2*i - u*i - 25 = 0 for i.
-5
Suppose -w + 4 = -0*w. Solve n + w = -0 for n.
-4
Let a be 2 + 0 + -8 - 2. Let r = a - -17. Suppose -2*m + r + 5 = 0. Solve -2*i = -m*i + 25 for i.
5
Let x(r) = -3*r**2 - r + 2. Let n be x(-5). Let d be n/(-20) + (-4)/10. Solve d*p - 10 = p for p.
5
Let u be 30/(-20) + (-13)/(-2). Solve u*a + 12 = 2 for a.
-2
Let j(s) = s + 9. Let f = -10 + 13. Let o be (-19)/f - 4/6. Let d be j(o). Solve -3 + 11 = d*h for h.
4
Let d(t) = -t - 2. Let b be d(-7). Suppose b*c + 1 = 3*r + 5, -2*r - c = -6. Solve r*l = l + 5 for l.
5
Let v(l) = 2*l + 6. Let t be v(-2). Solve 0 = -t*m + 8 for m.
4
Suppose 5*n + 7 = -p - 0*n, -2*p = 3*n. Let g be 4 - 3/((-9)/p). Let j be (-2)/8 - (-34)/8. Solve -g*i - j = 21 for i.
-5
Let q(r) = r**3 - r**2 + 3*r + 1. Let z be q(0). Solve -z = 5*u - 21 for u.
4
Suppose 0 = -2*f + 4*w - 0*w + 54, -4*w = -4*f + 128. Suppose 0 = -5*m + f + 3. Let k = 8 + -2. Solve -k*d = -2*d + m for d.
-2
Suppose 2*u = -3*u + 30. Let k(h) = h**3 - 6*h**2 + 2*h + 3. Let g be k(u). Solve l - g = -2*l for l.
5
Suppose -6*q + q = -20. Let y(m) = 2*m**2 - 2*m - 2. Let w = -5 - -7. Let n be y(w). Solve -2 = n*i - q for i.
1
Suppose -2*v = -5*s + 45, -6*v + 25 = -v. Let p = -20 - -20. Solve p = -s*a + 6*a + 25 for a.
5
Let p be 4/((-16)/(-20)) + 2. Let z(h) be the second derivative of h**3/6 + 5*h**2/2 - h. Let b be z(0). Solve -p*l + 2 = -b*l for l.
1
Let x(p) = p + 13. Let l be x(-7). Solve -8*f = -l*f - 4 for f.
2
Let d be 0/((18 + -2)/4). Solve -2*y - 2*y + 8 = d for y.
2
Let n = -2 - -8. Suppose 0 = f - n*f + 25. Solve 0 = -f*t - 2 + 7 for t.
1
Let x = -71 + 74. Solve 2*p - 5 = x*p for p.
-5
Let v(k) = -14*k**3 + k**2 - k - 1. Let z be v(-1). Solve -3*b - z = -6 for b.
-3
Let j(w) = -3*w**3 + w**2 - 2*w + 1. Let f be j(1). Let u be 3 + (f + 6)*-1. Solve -p + u*p = -1 for p.
1
Let j be ((-63)/(-12))/(2/8). Solve -22*u + j*u = -5 for u.
5
Let u(b) = b**3 - 7*b**2 + 3. Let n be u(7). Let a(o) = 5*o - o + n*o**2 - 4*o**2 + 9*o - 9. Let w be a(12). Solve 12 = -w*i - i for i.
-3
Suppose 67 - 42 = 5*m. Solve 2*u = u - m for u.
-5
Let w = -13 - -8. Let k = 1 - w. Let p = -30 + 56. Solve 4*s = k - p for s.
-5
Suppose -v - 22 = -2*v - 4*y, -3 = v - y. Let l(i) = 3*i**3 + 0 - v*i**2 - 2*i**3 - 3*i + 2. Let a be l(3). Solve -8 + a = 3*r for r.
-2
Suppose 19 = -4*t + 3. Let c be t + 3 + 1*2. Let d = 4 + -2. Solve -c = -d*y - 11 for y.
-5
Suppose 3*j + 2*j - 50 = 0. Suppose 0 = -4*v + 2 + j. Solve -2 = v*t - t for t.
-1
Let d be 7/((-35)/(-20)) + -4. Let s(g) = 2*g - 3. Let h be s(3). Solve -2*v + 3 + h = d for v.
3
Let h be 3/(-1 + -2) + 7. Let i = 8 - h. Solve 4 = i*r - 0 for r.
2
Suppose -8 = -4*j - 0. Solve -4*w + j = -18 for w.
5
Let k be 5 + -2 + 6/(-2). Solve k = 2*f - 2 for f.
1
Suppose -2*y = 17 - 41. Solve 2*i + y = -2*i for i.
-3
Let p(b) = 7*b**3 - b**2 + 3*b - 1. Let x be p(1). Let o be (-1)/4 - 42/(-8). Let q = x - o. Solve q*n = -n for n.
0
Let i = 71 + -68. Solve -11 = i*k + 4 for k.
-5
Let r = 17 - 21. Let x = 12 + r. Solve 3*p + x = 7*p for p.
2
Let y = 22 + -6. Suppose f + 3*f = y. Let z = 6 + -3. Solve -f*l - z = 1 for l.
-1
Suppose 4*j + 5*l - 48 = -0*l, l + 17 = 3*j. Let x(z) = -z**2 + 8*z - 2. Let p be x(j). Solve -u = -6*u - p for u.
-1
Let k = 434 + -289. Suppose -4*b - b = 5*i - k, -3*b = i - 79. Solve 5*n - b = -0*n for n.
5
Suppose -7 = -3*z + 5. Suppose 4*m - 2*c = -14, z*c - 5 - 14 = -m. Let g be (8/(-28))/(m/7). Solve -g*l = -0*l - 6 for l.
3
Sup