 = h*v - 2. Solve -v*o - 7 = 5 for o.
-4
Suppose 5*g + 5*g = 0. Solve g*s - 2*s - 10 = 0 for s.
-5
Let l be (-5)/(-1) + 5 + -5. Solve -14 - 1 = l*j for j.
-3
Suppose -3*w + 41 = 17. Suppose -w = -2*k - 2*k. Solve f = -k*f for f.
0
Let x(v) be the second derivative of -v**5/20 + v**4/2 - 2*v**3/3 + v**2 + 7*v. Let c be x(2). Solve 10 = -5*i - c for i.
-4
Let t(u) = -u - 5. Suppose 0*f = -3*f + 3. Suppose -h = 5 + f. Let n be t(h). Solve 2*j = j + n for j.
1
Suppose -3*s = 5*o - 26, -3*o = -0*s + s - 14. Solve -7 - 1 = -s*c for c.
4
Suppose 4*r = r - 3, 4*f + 2*r = 6. Let m be (2*3)/((-4)/(-2)). Suppose o + 14 = 5*x, 8 - 1 = m*x - 2*o. Solve -f = a + x for a.
-5
Let r = -6 - -8. Suppose -r*s = -0*s. Solve s*h + 5*h - 15 = 0 for h.
3
Let p(c) = c**3 + c**2 - 7*c - 1. Let l(h) = -h**3 - h**2 + 6*h + 2. Let m(q) = 3*l(q) + 2*p(q). Let r be m(-2). Solve -2*j + 2 + 2 = r for j.
2
Suppose -6*z = -7*z + 20. Solve w + z = 6*w for w.
4
Let p(m) = -m**3 + 3*m**2 - 2*m - 2. Let a be p(3). Let v = a + 5. Let t be 3/(-6)*(v + 3). Solve -2 = -t*l + l for l.
-2
Suppose 3*u = 5*u - 6. Suppose -u*p - 9 = -3*s - 0, s - 4*p = 0. Suppose -3*l + 2*l + s = 0. Solve -i = l*i for i.
0
Suppose -g - g = 0. Suppose -p - 16 = 4*k - g*p, 4*k + 4*p = -16. Let v be (-33)/k - 1/4. Solve -4*f + 20 = -v*f for f.
-5
Suppose -1 = 5*n - 16. Suppose -2*w = 4*z + 14, -11 = 5*w + n*z + z. Solve -q - 6 = -w for q.
-5
Let o = -5 - -10. Suppose -g = -o*g. Let d = g - -7. Solve -2*m + d = -1 for m.
4
Let y = -8 + 12. Let f = -5 - -19. Suppose f + 4 = 3*u. Solve -2 = y*v - u for v.
1
Suppose -27 = -g + 2*o - 7*o, 5*g = o + 5. Suppose -g*f + 3*y - 8*y = -21, 24 = 2*f + 2*y. Solve -3*i - f = -4 for i.
-3
Let h(w) = 2*w. Let k be h(-3). Let b(d) = d**3 + 6*d**2 + 3. Let x be b(k). Solve q = -8 + x for q.
-5
Let i(b) = -b**2 + 4*b - 2. Let j be i(2). Solve -k - j = -3*k for k.
1
Suppose -54 = 5*j - 4*j. Let a be ((-8)/12)/(2/j). Let m be (a/(-15))/((-3)/10). Solve 0*f + m = -2*f for f.
-2
Suppose -o = 3*o - 2*p + 10, -3*p + 15 = 3*o. Let x(y) = -y**2 - 5*y - 2. Let h be x(-4). Suppose -3*v = h*v. Solve o = -v*g - g - 3 for g.
-3
Suppose 2*a = 5*a - 6. Let t = 11 + -5. Solve -4*r + a = t for r.
-1
Let f(g) = -2*g - 6. Let n be f(-5). Suppose n*q = -q. Solve -2*x - 2*x - 20 = q for x.
-5
Let p be 2/4 + (-9)/(-2). Let y be ((-36)/(-15))/(2/20). Suppose -3*j + 63 = y. Solve -j = p*l - 3 for l.
-2
Suppose 2*t + 18 = 4*r, -2*r + 2*t - 6 = -4*r. Let v(h) = -h**3 - 6*h**2 - h - 3. Let o be v(-6). Suppose -d + 2*d - o = 0. Solve r*k = 1 + d for k.
1
Let o = -29 - -45. Solve -o = -5*i + 4 for i.
4
Let u = 26 + -8. Suppose -y + 20 - u = 0. Solve m = -y*m + 9 for m.
3
Suppose x + 8 = 5*x. Solve 3*r - 5 = x*r for r.
5
Let d(j) = j + 12. Let i be d(-9). Let u(t) = -t**2 + 3*t + 3. Let y be u(i). Suppose -y = 3*s - 21. Solve h - 3 = -s for h.
-3
Let z be (-1)/((-1)/(-4))*-4. Let n(x) = -x**2 - 5*x + 18. Let t be n(-8). Let r be (z/(-10))/(t/15). Solve b - r = 5*b for b.
-1
Let x(a) = -a. Let j be x(-7). Let y = 8 - j. Solve 0 = -t - 1 - y for t.
-2
Let c = -22 + 22. Solve c*d + 2*d = 6 for d.
3
Let j(h) = h**3 + 5*h**2 + 5*h + 4. Let x be j(-4). Let u be 11 + -11 + x/(-1). Solve 0*a + 5*a = u for a.
0
Suppose -2*i + 37 = -5*v, -49 + 10 = -4*i + 3*v. Suppose -i*r + 4*r = -4. Solve r*t - 5*t = 12 for t.
-4
Let v(c) = c**2 + 2*c + 6. Let r be v(0). Let w(j) = j**3 - 3*j**2 - 2*j - 4. Let y be w(4). Let g be 9/6*y/r. Solve 0*a = a - g for a.
1
Suppose -14 + 59 = 5*m. Suppose v = -2*v + m. Solve -v*a + 4 = -5 for a.
3
Suppose d + 10 = -d, -5*d - 23 = 2*t. Let i = -11 + 13. Solve -i*z + t = 7 for z.
-3
Suppose 3*f = 6 + 6. Let m be -4 + 7 + (-5)/(-5). Solve -m*h + 0 = f for h.
-1
Let a be 1*-7*(-4)/7. Suppose -d + 1 = -1. Let z be 3 + d + -4 + 0. Solve 0 = i - z + a for i.
-3
Let y(m) = -m - 4. Let c be (-46)/8 - (-1)/(-4). Let n be y(c). Solve -n*u = 2*u for u.
0
Suppose -15 = u - 4*u. Solve f - u*f - 4 = 0 for f.
-1
Let v = 7 - 1. Let d be 1/v + 85/30. Solve -d*a - 5 = 4 for a.
-3
Suppose -f + 3*i + 15 = 0, -i = -f - 5*i - 20. Solve f*o = o for o.
0
Suppose 3*q + 3*q = 120. Solve 0*g + 4*g = q for g.
5
Let j(b) be the second derivative of -b**3/6 + b. Let c be j(3). Let w = 6 + c. Solve -2*d + 10 = w*d for d.
2
Let t be 12/8 + 10/4. Solve -t - 16 = -4*r for r.
5
Suppose -2 = -h - 0. Suppose -h*a + 2 = 2*r - 0, 3*r - 5 = -2*a. Solve t - r = -7 for t.
-4
Suppose -d - 2*d + 11 = m, -3*m = -4*d - 7. Suppose -p + d*p - 8 = 0. Solve -4*u + p = -8 for u.
4
Let f(z) be the second derivative of z**5/20 + 2*z**4/3 + 4*z**3/3 + 9*z**2/2 - 3*z. Let u be f(-7). Solve u*d + 0 = -6 for d.
-3
Let x be 2*1*5/(-10). Let j be 1 - x/1 - -2. Solve 3*t - j = 5 for t.
3
Let u(t) = 8*t - 1. Let i be u(-1). Let c be (-5)/(-25) + i/(-5). Suppose -c*z + z = -2. Solve z = 2*r + 10 for r.
-4
Let w be -10 - -11 - 1*-1. Solve w = -2*m + 6 for m.
2
Let z(u) = -u**3 + 8*u**2 + u - 4. Let n be z(8). Suppose 0 = 3*t - 0*t. Suppose 2*m + m = t. Solve m*h + n = -h for h.
-4
Let o(a) = -a**3 - a + 4. Let b be o(0). Suppose 2*n + 4 = 3*l, 3*l = -b*n - 11 + 3. Solve l*q = -2*q + 6 for q.
3
Let r = -18 + 34. Solve 5*u + 4 = -r for u.
-4
Suppose -2*b - 3*p = -6, 0*b + 4*p - 10 = -3*b. Let c(o) = o**3 - 7*o**2 + 7*o - 2. Let k be c(b). Solve 0 = -0*u + 4*u + k for u.
-1
Suppose 24 = 4*x - 2*x. Solve -3*k + x = k for k.
3
Suppose -s - 45 = 4*s. Let p = 17 + s. Solve 4*b = -8 - p for b.
-4
Suppose t + 9 = -4*f, -2*f + 3 = 4*t - 3. Let z be (3 - 7/t)*3. Suppose z*b = -2*b + 8. Solve b = -x - 2 for x.
-4
Let b(f) = f**2 - 2*f + 2. Let a be b(2). Suppose 2*c + 4 = -a*c, -r - 4 = 3*c. Let l be 3 + (-1 - r) - -1. Solve l + 5 = 3*g for g.
3
Let t(y) = y**3 - 11*y**2 + 5. Let s be 1/3 - 412/12. Let v be (-1 - s)*1/3. Let i be t(v). Solve 0 = i*o - 10 for o.
2
Let c be 3 + (2 - 3)/1. Let i(p) = -3*p**2 + 5*p - 2 + 4*p**c + 1. Let u be i(-6). Solve -4*v - u = 3 for v.
-2
Suppose 2*s + 3*h = 4*s, 0 = 3*h. Solve s*b = -3*b for b.
0
Suppose 6*m - 4 = m - j, -j = -5*m - 4. Suppose m = -4*x + 101 - 17. Solve -5*a - 4 - x = 0 for a.
-5
Let v be (-2)/9 + (-319)/(-99). Suppose 3*u = -v*u. Solve -2 = b - u for b.
-2
Let z(r) = r**3 + 8*r**2 + 4. Let w be z(-8). Suppose -t + 7*b - 7 = 4*b, -2*t - w*b + 16 = 0. Solve -o + t = 4 for o.
-2
Let g(z) = z + 1. Let k be g(3). Solve -3 = k*l + 5 for l.
-2
Suppose 3*p = -4*f + 31, 3*p = 4*f - 2*p + 9. Suppose 0 = -g - 0*g + f*j + 14, 0 = -3*g + 3*j + 15. Solve g*l + 2*l - 16 = 0 for l.
4
Suppose 4*i - 18 = 5*w, 0*i - 2*i - 2*w = 0. Suppose -c = -i*c + 5*s - 3, s = 3*c - 33. Solve -3*v - c = -0*v for v.
-4
Let w be -12 + 2 + 0 - -1. Let j = -16 - w. Let t = j - -11. Solve -t = -2*m + 4*m for m.
-2
Suppose -35 = 14*s - 19*s. Solve z = -3 + s for z.
4
Let g(p) = -p - 4. Let i be g(-6). Suppose 3*j - 11 = -2*a, 0 = 6*a - 3*a - i*j - 36. Solve -a = c - 3*c for c.
5
Let w = -5 + 9. Suppose 2*j - 58 = -w*f - 20, 0 = -f + 3*j + 20. Suppose u - f = -c + 7, 2*u - 30 = c. Solve 0 = 4*h + 4 - u for h.
3
Let i be -5 + -4*3/(-4). Let y = i + 2. Solve b + 3 + y = 0 for b.
-3
Let v(t) = -t - 6. Let a be v(-6). Suppose 16 = 5*m + 4*g, m + 6*g - g + 1 = a. Suppose 3*f - 2*f = -m*j - 6, 0 = -5*f - j + 46. Solve -3*d = -5*d + f for d.
5
Suppose -4*y + 79 = -1. Let h = y - 17. Solve 4*l - h*l = -4 for l.
-4
Let p(h) = -h - 2. Let u be p(-5). Solve -8 = -s - u for s.
5
Suppose -2*t = 2*t - 5*p + 20, 2*t - 4*p = -16. Suppose -2*c + 8 + 0 = t. Solve c*m + 0*m = 0 for m.
0
Let z be -1 + 3/(1/(-1)). Let v be 28/(-42)*6/z. Solve w = -0*w + v for w.
1
Let g = 2 + 6. Let y = g - 6. Solve -3*r = y - 8 for r.
2
Suppose 4*s - 4*p + 24 = 0, 14 = 2*s + s + 5*p. Let x = 4 + s. Solve x = b + 6 for b.
-4
Let p(k) = -k**2 + 5*k - 2. Let h be p(5). Let c = 1 - h. Let d = c + 6. Solve -3*f + d = -0*f for f.
3
Suppose 5*a + 0 = 5. Let d(z) = 3 - 2*z**2 - 6*z - 3*z**2 + z**3 + 0*z**3. Let i be d(6). Solve i = -2*h + a for h.
-1
Let h(t) = 4*t**2 - 3*t - 3. Let n be h(-1). Solve -n*s - 6 = 2 for s.
-2
Let j = 7 + 2. Let y(w) = 4*w - 3. Let c be y(6). Solve 4*l = -c + j for l.
-3
Let l(u) = -u**3 + 2*u**2 + 3*u. Let y be l(3). Let k be y*(-3)/6*-1. Solve k = -5*m - 0*m + 20 for m.
4
Let u be 2/6 + 28/6. Let n = 47 - 39. Solve -u*v - n = -v for v.
-2
Let a(s) = -s**2 + 3. 