ve -h = 4*i + 1 for i.
-1
Let w be 3/(-1)*4/(-3). Suppose -w - 36 = -5*l. Let i = l - 6. Solve i = 5*t - 8 for t.
2
Suppose a = 3*q + 122, -4*q + 5*a = 188 - 18. Let i be ((-1)/2)/(4/q). Solve i = c + 1 for c.
4
Let f(x) = -x**3 - 6*x**2 + 8. Let s be f(-6). Let v = 1 + s. Solve -2*m - v = m for m.
-3
Let w be (-11)/(-6) - (-2)/12. Suppose -w*o - 3*o + 10 = 0. Solve 0*r = 2*r - o for r.
1
Let n = 37 + -30. Solve -5*w + n + 8 = 0 for w.
3
Let a(v) = v**2 - v + 3. Let w be a(-4). Let u be (-42)/(-5) + 2/(-5). Let l(c) = -c**2 + 14*c - 19. Let j be l(12). Solve u = j*i + w for i.
-3
Let q(c) be the third derivative of c**4/8 + c**3/2 - 6*c**2. Let s be q(3). Let v be (-4)/14 + 116/14. Solve v + s = 4*p for p.
5
Let c be (-19)/(-5) + 2/10. Let w be (-3)/(-2)*(c - 2). Solve -2*g - w*g = 0 for g.
0
Suppose 3*o - 5*p + 17 = -o, -5*p = -3*o - 19. Let x(i) = 0*i + 3*i - 3*i - i. Let f be x(-2). Solve 0 = -f*n - o + 6 for n.
2
Let g(c) = -c**3 - 4*c**2 + 4. Let l be g(-4). Suppose -t - 4*b = 18, -25 = 3*t + l*b + 5. Let z be 15*(0 - 4/t). Solve 2 = -2*q + z for q.
4
Suppose -3*p - 55 = -5*z, 0 = -5*z - 3*p - 3 + 28. Let q be 2/((4 + -3)*1). Solve 6*s - q*s = -z for s.
-2
Suppose -k + 4 = -o, -k + 20 = 4*k - 2*o. Suppose 5 = 3*b - 4. Suppose 0 = b*m + j - 20, -3*m + j - 2 = -18. Solve w + m = k*w for w.
2
Suppose -4*z + 16 = 0, 3*z = -0*f - 5*f + 42. Solve -w - 1 + f = 0 for w.
5
Let b(a) = 5*a + 5*a + 2*a - a. Let p be b(1). Solve p = -2*m + 3 for m.
-4
Let q be ((-50)/(-2))/(-5)*(-6)/10. Solve p - 4 = -q*p for p.
1
Let d be ((-9)/6)/((-1)/2). Suppose -2*y + y = d. Let c = 5 + y. Solve c*f = -2*f - 4 for f.
-1
Suppose 3*i - 30 = -0*i. Solve 2 - i = -4*v for v.
2
Let t be (-4)/(-6) - 26/(-6). Let a = 8 - t. Solve -v + a = 6 for v.
-3
Suppose 7 = 3*s - 5. Suppose -13*i + 221 + 104 = 0. Solve s*l - i = -l for l.
5
Suppose 4*d - 2*r - 16 = 2*r, 5*r + 15 = 0. Suppose -3*v = -f - d - 6, v = -2*f. Suppose -4*h - 15 = -3*q - h, -q + 7 = -v*h. Solve -q*a = -2*a for a.
0
Suppose 0*b + 2*b = 7*b. Solve -3*w + 6*w - 9 = b for w.
3
Suppose 2*g = -2*q - q - 1, 3*g + 3*q - 3 = 0. Solve g*b = -b for b.
0
Let i(k) = -k. Let g be i(-4). Suppose g*w = -0*w + 8. Solve 0 = -6*x + 4*x + w for x.
1
Let v be 10/60 - 33/(-18). Solve -6*b = -v*b + 4 for b.
-1
Let l(o) = o + 1. Let c be l(3). Let g(y) = -y**2 - 8*y - 10. Let k be g(-6). Solve c = -k*x + 8 for x.
2
Suppose -4*y = 5*j - 37, 2*j + 4*y - 5 = 17. Let c(f) = f**3 + 4*f**2 + 3*f. Let u be c(-3). Solve -h = -j - u for h.
5
Let o(d) = -d**2 + 6*d + 7. Let s be o(6). Solve -3*c = -s*c - 4 for c.
-1
Suppose -3*q = -5*n + 26 - 11, -4*n + 3*q = -12. Let g(z) = -z**3 + 2*z**2 + 4*z - 3. Let i be g(n). Solve i = -2*o + o + 4 for o.
4
Let y be (-2)/(-3) - (-20)/6. Suppose -7 = -q - 2*a, -5*a + 35 = y*q + 13. Suppose -4*t = -q*t. Solve -r - 3*r + 8 = t for r.
2
Let u be (-11)/22 - 6/(-4). Solve 0 = q + u - 5 for q.
4
Let h(r) = 2*r + 11. Let x be h(-3). Solve x*k - 5 = 5 for k.
2
Suppose 3*p + 2*p - 40 = 0. Solve 3*a - p = -a for a.
2
Let k(y) = y**2 + 6*y - 11. Let x be k(-8). Solve -2*z - 3 - x = 0 for z.
-4
Suppose -6 = u - 4*u. Let n(o) = -o + o**2 - u - 2*o - 3. Let w be n(-5). Solve -4*h = -15 + w for h.
-5
Suppose -4*c + 2*m + 1 = -5, -4*c + 18 = 2*m. Suppose 0 = -5*v + 15 + 25. Let p be v/(-6)*(-9)/6. Solve 0 = -c*k + p*k for k.
0
Let h be ((-3 - -5) + -1)*5. Solve -4 = h*y - 24 for y.
4
Let c = 2 - -2. Solve 0 = c*f + 2 + 2 for f.
-1
Let s(g) = -g**2 + 13*g - 7. Let f be s(5). Suppose 4*z = z + f. Solve z + 4 = -3*j for j.
-5
Suppose -k + 2 = -i - 5, -5*i = 4*k + 17. Solve 6 = -4*y + k*y for y.
-3
Suppose -z = -2*z + 3. Let s(n) = n**2 - 4 + 0*n**z - n**3 + 9 + n. Let d be s(0). Solve -a = -2*a - d for a.
-5
Suppose u = 3*z + 2*u + 3, 4*z - 12 = 4*u. Solve z = -4*l + 7 + 9 for l.
4
Let g(l) = -l**3 + 7*l**2 - 5*l - 8. Let o be g(6). Let k = o + 7. Solve 5*x + k = 15 for x.
2
Suppose -2*o = -4*o - 4. Let q be -4 - -6 - (4 + o). Solve -3*a + a = q for a.
0
Let q be (60/(-18))/(2/(-3)). Suppose 3*r = q + 22. Let k(p) = p**2 - 9*p + 4. Let n be k(r). Solve 8 - n = -4*l for l.
-1
Let u = 4 + -16. Let q(w) = -w**2 - 14*w - 18. Let y be q(u). Solve -y + 1 = l for l.
-5
Let y(j) = j**3 - 12*j**2 + 22*j - 18. Let q be y(10). Solve 0 = q*x - x + 1 for x.
-1
Suppose -3*i + 10 = 2*o, -2*i - 1 = -5. Solve 0 = 2*j + o*j - 20 for j.
5
Let v(m) = m**2 + 5*m + 7. Let o be v(-3). Solve 19 + o = 5*q for q.
4
Suppose -3 = 2*o - 11. Solve -o*m + 8 = -2*m for m.
4
Suppose -3*p = -2 - 7. Suppose 19 = 2*s - 3*s + 4*t, -19 = -4*s - 3*t. Suppose -p*c + 10 = s. Solve 0 = w - c*w for w.
0
Let q(v) = 3*v**3 + 4*v**2 + 2*v + 2. Let p(f) = f**3 + f + 1. Let b(s) = -4*p(s) + q(s). Let i be b(2). Solve 0 = -i*c - 1 - 1 for c.
-1
Let k(p) be the third derivative of p**5/60 + p**4/4 + 3*p**3/2 + 3*p**2. Let a be k(-5). Solve 0 = -a*d - d for d.
0
Let s = 20 + -17. Suppose -4*j = -j - s. Solve -j - 3 = -b for b.
4
Suppose 9 + 1 = 2*g. Solve -15 = g*u - 0 for u.
-3
Let o = 6 - 11. Let j(g) = -3*g - 12. Let k be j(o). Solve 5*q + k = -2 for q.
-1
Let s = 16 + -23. Let v(t) = -2*t**3 + t**3 + t + 9 - 7*t**2 + 0*t. Let p be v(s). Solve p*k = 3 + 5 for k.
4
Let u(s) = 2*s**2 + 1. Let w be u(1). Let x be (1*2)/(w/3). Solve 3*l = -x*l for l.
0
Suppose -5*p + 7 = -18. Suppose 0 = -i + p*i. Suppose -2*a + 3 + 5 = i. Solve s = a*s for s.
0
Suppose -4*l + 0 + 24 = 0. Solve f = l*f + 25 for f.
-5
Let m(q) = -q**3 + 8*q**2 - 5*q - 9. Let b be m(7). Let k be (2/5)/(1/20). Solve -b*w - k = -3 for w.
-1
Suppose 5*m = -2*w + 16, -2*m + 5*w + 23 = 5. Solve -5*g = -m*g + 2 for g.
-2
Let v be (3/5)/((-1)/(-5)). Let z be 1/(v + (-8)/3). Suppose z*t = 5*t. Solve t = 2*w - w + 5 for w.
-5
Suppose -4*a = 2*k - 12, -k - 19 = -3*a - 0*k. Solve -a - 1 = 3*l for l.
-2
Suppose -54 = 6*g - 24*g. Solve -4*d - 2 = -g*d for d.
-2
Suppose -b + 8 = n, 6*n - 5*n - 3*b + 12 = 0. Solve 0 = n*y + 3 for y.
-1
Let r be (-2)/5 + 26/(-10). Let l = r - -4. Let z = 5 - l. Solve 3 = -z*x - 1 for x.
-1
Let b(i) = -i**3 + 5*i**2 - 4*i. Let s be b(4). Solve -3*c + s*c = 12 for c.
-4
Let v = -1 + -7. Let h be (0 - -2) + (v - -14). Solve -2*p + 4*p + h = 0 for p.
-4
Let o(c) = 5*c**3 - 2*c**2 + 2*c - 1. Let s be o(1). Suppose -s*v - k + 29 = -2*v, 5*v = 5*k + 35. Solve -5*q + v = -q for q.
3
Let m = -49 + 51. Solve 0*x - m*x - 6 = 0 for x.
-3
Let n(t) = t + 7. Let c be n(-6). Let h be 4/6 + 2/6. Solve r - h = c for r.
2
Let y be (-4)/(-10) + 36/10. Let l = -22 - -24. Solve y*t + l = -2 for t.
-1
Let r = -14 - -20. Solve 14 = -4*x - r for x.
-5
Let d be 36/(-9) + (6 - 2). Solve d = -f - 0*f - 2 for f.
-2
Let w = 6 + -8. Let u be (-10)/w - (-2)/(-2). Let k be 3 - (-1 - 1) - 0. Solve u*v + k = -v for v.
-1
Let q be 2/8 + ((-18)/24)/3. Solve q = -v - 9 + 10 for v.
1
Let u be (-46)/(-10) - 4/(-10). Let s = u - -4. Let p = 1 + s. Solve -b = b - p for b.
5
Let i(l) be the first derivative of -l**4/4 - 5*l**3/3 - l**2 + 2*l - 5. Let y be i(-5). Solve 3*r = -0*r + y for r.
4
Let l = 5 - 1. Suppose l*x = 3*r + 7, -5*r - 4*x + 7 = -6*x. Solve r*i + 2 = 8 for i.
2
Suppose -2*d - 3*d + 6 = 4*s, 3*s + 7 = 2*d. Let c = -35 + 35. Solve -4*i + d*i - 10 = c for i.
-5
Let t = 22 + -16. Solve -t = -5*v + 3*v for v.
3
Let u = -67 + 83. Solve -o + u = 3*o for o.
4
Let p(z) = z**3 - z**2 + z + 2. Let s be p(0). Solve 1 - s = -c for c.
1
Let j be 21/3 + 0/1. Let l(b) = -b + 4. Let u be l(3). Solve 4*x = j + u for x.
2
Suppose 2*u = 3*u - 6. Suppose -b + 2*i = 4*b + 3, -2*i + u = -2*b. Solve 1 = p - b for p.
2
Let h(y) = -y. Let s be h(0). Solve s = -o + 6 - 5 for o.
1
Let l be -2 + -1*(4 + -8). Solve -5*y + l*y - 12 = 0 for y.
-4
Let k be 2*2*3/(-6). Let v be (-6)/(-5)*(-5)/k. Suppose 4*t + v = 3*d, -4*t - 2*d = 3 - 5. Solve 0 = 3*c - t*c + 15 for c.
-5
Let t(y) = -5 + 0 + y**2 + 5*y - 4. Let o be t(-7). Solve o*n - 3 = 2*n for n.
1
Let d = -7 + 10. Solve -g + d*g = -4 for g.
-2
Let h(a) = a**3 + 6*a**2 + 10*a + 6. Let o(u) = -u**3 - 6*u**2 - 11*u - 7. Let m(t) = -5*h(t) - 4*o(t). Let z be m(-5). Solve c = -z + 2 for c.
-1
Let m(i) be the second derivative of i**3/6 + 6*i**2 + 2*i. Let c be m(-8). Solve c*d - d = 0 for d.
0
Suppose 2*g + 2*g = 0. Let v(i) be the third derivative of -i**6/120 - i**5/30 - i**4/8 - i**3/3 + 3*i