 = i*v for v.
-3
Let q be 6 + -1*(-4)/12*-12. Solve 0 = q*g - 0 + 10 for g.
-5
Suppose 0 = u - 5*u + 32. Solve -o = o - u for o.
4
Let c(y) = y**2 - 5*y + 4. Let u be c(5). Solve -5*s - 16 = u for s.
-4
Suppose -6*o + 38 = 14. Let p(z) = z**2 - 3*z + 5. Let v be p(4). Solve o*h - v = h for h.
3
Suppose 0 = 4*f + f. Solve -3*p + f - 3 = 0 for p.
-1
Let o = -90 + 95. Solve -r = -2*r - o for r.
-5
Let b be 18/(-9)*(-10)/(-4). Let q = 7 + b. Let h be 0/7*(2 - 1). Solve 6 + h = -q*a for a.
-3
Let x(r) = -r**2 - 13*r - 11. Let k be x(-9). Solve -7*m = -2*m + k for m.
-5
Suppose -1 = -2*o + o, 2*q + o = 7. Suppose q*g - 2*g - 2 = 0. Suppose -2*a = -a - j + 1, -4*a + 21 = j. Solve 2 = -g*m - a for m.
-3
Suppose -5*q + 8*q = -4*m + 3, -3*q + 3 = -4*m. Solve 3*w = -m*w for w.
0
Suppose -3 = q, s - 4*s - 3*q + 21 = 0. Solve -25 = -3*a - s for a.
5
Let n = 7 + -9. Let g be (2/2)/(3 + n). Solve k + 0*k = -g for k.
-1
Suppose 3*j - 2 = 4. Solve 3*v + j*v = 25 for v.
5
Suppose p = -p + 8. Suppose -s + p = s. Suppose -5*j + 57 = 4*h + 17, 34 = 2*j - s*h. Solve 2*k - j = -2 for k.
5
Let v = -9 + 15. Solve -z - 5 = -v*z for z.
1
Suppose -19 = -3*v + 26. Solve -5*i = -0 - v for i.
3
Let g = -15 + 8. Suppose 5*l = 3*q - 14, 4*q - 14 = l + l. Let u = l - g. Solve 20 = -u*n + n for n.
-4
Let a(w) be the third derivative of w**6/720 + w**5/40 + w**4/8 + 2*w**2. Let j(m) be the second derivative of a(m). Let z be j(9). Solve -6*q + z = -2*q for q.
3
Suppose 0 = 3*f + f + 4*m - 60, 0 = -5*m - 25. Solve n + 3*n = f for n.
5
Let o = -2 + 5. Let n(m) = m**3 - 10*m**2 - m + 13. Let v be n(10). Let c be v/(14/8 - 1). Solve o*d = d + c for d.
2
Let u(x) = 5*x**3 + 2*x**2 + x + 2. Let q be u(-2). Let o = q + 47. Solve 2*g + o = -3*g for g.
-3
Suppose -3*h - 5 = -z, 5*z + 9 = -h + 34. Suppose w - 3 = 0, 2*c - 30 = c - z*w. Solve 3*d - c = 6*d for d.
-5
Suppose -2*l - 6 = 2*i + 3*l, 0 = i + 3*l + 4. Let q be 38*1 + (3 - 2). Suppose 0 = 2*g - 5*g + q. Solve i*u = 5 - g for u.
-4
Let z = 36 - 24. Let a be (-12)/(1*z/(-16)). Solve -3*l + a = 1 for l.
5
Let f(g) = -g**3 - 5*g**2 - 4*g + 4. Let h be f(-4). Suppose 7*l = 5*l + 6. Suppose -h = -l*i + 2. Solve 5*z = i*z for z.
0
Let r be -15*(-4 + 3) + 0 + 2. Solve 0 = -5*b + r - 2 for b.
3
Let k = 60 - 56. Solve 5*q - 6 = k for q.
2
Let n(f) = -f**2 + 5*f - 4. Let m be n(3). Let w = m + 0. Suppose w*p = 3*p - 2. Solve -p = 4*k - 6 for k.
1
Let h be (-1 - 4)/(5/(-5)). Let b(m) = m + 3. Let f be b(h). Let x = f - -17. Solve 8*v - x = 3*v for v.
5
Let g be 1/(7/2 - 3). Suppose 2 = -0*c + 2*c. Let r be 4/(-2) - -2*c. Solve g*b + 3*b - 10 = r for b.
2
Suppose -3*n - 30 = -5*n. Let h(b) = -b**3 - 5*b**2 + 19*b - 37. Let j be h(-8). Solve -3*t = -n + j for t.
4
Let v = 2 - -3. Let g(y) = 5*y - 5. Let l be g(1). Solve l = -v*a + 15 - 0 for a.
3
Let v(t) be the third derivative of t**6/40 + t**4/24 + 4*t**2. Let z be v(1). Solve -z = -5*b + 1 for b.
1
Let a be 2/(3/((-9)/6)) - -3. Solve 2*j + a = 3*j for j.
2
Let n(v) = v**3 + 3*v**2 + 2. Let i be n(-2). Solve -2*w = -4 - i for w.
5
Suppose 3*d = 7*d - 24. Solve 0 = -d*n + n for n.
0
Let c(a) = -a**2 + 16*a - 33. Let f be c(12). Solve -f - 5 = -4*x for x.
5
Suppose 2*y = -4*a + 16, -4*y - 6 = 5*a - 41. Solve 0 = 3*d + y - 4 for d.
-2
Let o(s) = s**3 + 11*s**2 + 3. Let i be o(-11). Solve -i*f = f for f.
0
Let r = -2 - -4. Suppose 5*w = r + 18. Solve 2*k = w*k - 2 for k.
1
Suppose 4 - 3 = c. Solve c = 2*r - r for r.
1
Suppose 9*u - 3*u = -4*u. Let n(t) = -t**3 - t**2 + 2*t. Let b be n(-2). Suppose -z - 4*z = -15. Solve u = -y - b*y - z for y.
-3
Let c be (51/85)/((-2)/(-40)). Solve -w - 3*w = -c for w.
3
Suppose 5 - 1 = q. Let j(s) = -10*s + 103. Let d be j(10). Solve d*a = a + q for a.
2
Let q = 0 - -3. Let h be (-1 + 1)/(3 + -4). Suppose m + h*m - 2 = 0. Solve -d = -m*d - q for d.
-3
Let m(f) = -2*f - 16. Suppose 27 = -7*i - 29. Let x be m(i). Solve x = 5*d - 12 - 8 for d.
4
Let j(s) = -s + 3. Let w be j(0). Solve p + w*p = -4 for p.
-1
Suppose -5*l + 4*f + f = -85, -2*l - 3*f = -9. Solve -l = 2*w + 2*w for w.
-3
Suppose -8 = -2*h - 8. Solve 0*m + m = h for m.
0
Suppose 3*x + 2*x = 20. Let n(d) = -16*d**3 - 2*d**2 - d. Let h be n(-1). Suppose x*k = -k + h. Solve -k*j - 5 - 4 = 0 for j.
-3
Let r = 15 - 12. Solve 4*j = 3*j + r for j.
3
Suppose -2*d = 2*k + 2, -4*k + 2*d = -7 - 7. Solve -p - 3 = k*p for p.
-1
Let q = 6 - 4. Let p be (2 - (q + 0))*1. Let s = 2 - p. Solve 0 = n - s*n + 2 for n.
2
Let k(s) = -s**3 + 5*s**2 + 6*s + 4. Let n be k(6). Let l be 18/n + 2/4. Solve -2*w = -l*w + 15 for w.
5
Let m be (0 - 6)*(-2)/4. Suppose -m*f + 0*f = -12. Suppose -z + f*z - u - 5 = 0, -2 = -3*z + 4*u. Solve 5*c - 9 = z*c for c.
3
Suppose -5*v = -4*c - 13, 3*v - 18 = -0*c - c. Solve 0 = 2*d - c - 7 for d.
5
Suppose -3*h + 3*o - 10 = -4, h + o - 2 = 0. Solve 0 = 2*v - h*v + 6 for v.
-3
Let v = -156 + 156. Solve v = -3*f + 4*f - 2 for f.
2
Let h be (2 + (-18)/(-1))/1. Suppose 4*r = -2*w + r + 20, w + 4*r - h = 0. Solve -2*c - w = -10 for c.
3
Let s(w) = -3 + 11 - w**3 - 5*w + 6*w**2 + 4*w. Let g be s(6). Let f be (-24)/g*6/(-12). Solve -f*l = -l - 15 for l.
3
Let n be (1/(-2))/(5 - 168/32). Solve -3*u = n*u for u.
0
Let o(n) = -2*n + 4*n + 13 - 3*n. Let g be o(9). Suppose b - d - 7 = 0, 0 = -4*b - d + 8 + 10. Solve -b = -g*j + 5*j for j.
-5
Let w = -1 + 1. Let h = 3 - 0. Suppose -y - 4 = 3*v, -11 = -y + 53*v - 51*v. Solve -h*a + y + 1 = w for a.
2
Let w = -13 + 8. Let o(s) = -s**2 + 4*s. Let t(g) = -g**2 + 4*g + 1. Let b(d) = w*o(d) + 6*t(d). Let l be b(5). Solve -1 - l = -m for m.
2
Suppose h = 2*d - 3, 0*d + d - 3*h = 9. Suppose -q - 2 = -2*s - 0*s, d = -5*s + 4*q - 1. Solve 12 = -u - s*u for u.
-3
Let s be 1 + (-1 - 2 - -2). Solve s*d = 2*d + 4 for d.
-2
Suppose -c = -4*p - 24, -5*p = -3*c - 4*p + 17. Solve -c = t - 3*t for t.
2
Suppose -l + 1 = 5*f + 6, -f = -4*l - 20. Suppose -2*t + 11 - 5 = f. Solve 0 = 2*s - t*s + 2 for s.
2
Suppose 2*g + 16 = 2*b, 2*b + g - 3 = 4. Solve 4 = -3*x - b for x.
-3
Let p = 6 + -8. Let q(l) = l + 4. Let a be q(p). Let h = -3 + 19. Solve -6*f + h = -a*f for f.
4
Let i = 12 + -1. Let d = i + -11. Solve -w - 4*w + 25 = d for w.
5
Suppose 2 + 3 = -u. Let l = u + 7. Solve -m = -1 + l for m.
-1
Let g be (-32)/(-6) + 9/(-27). Solve -g*y + 2 = -8 for y.
2
Suppose -3 = -3*n - 4*w - 19, -n + 12 = -3*w. Solve 0 = -n*f + 2*f for f.
0
Let o(n) be the first derivative of -11*n**4/4 + 2*n**3/3 - n + 1. Let l be o(-1). Suppose -m + 3*q + 18 = 0, -3*q = m + 7 - 1. Solve l = 2*z - m*z for z.
-3
Let c be (-4)/(-5) + (-9)/(225/(-55)). Solve 3*a - c = -0*a for a.
1
Let s = 1 - -1. Suppose j = -2*l + 2*j + 4, -2*l + 28 = 5*j. Suppose 4*r + l*d = -3 - 9, s*d = -3*r - 6. Solve q = -r*q for q.
0
Let b = -3 - -1. Let q(h) = -h**2 - 3*h + 1. Let u be q(b). Let n(x) = x**2 + 7*x + 8. Let p be n(-6). Solve u = p*w - w for w.
3
Suppose t + 3 + 2 = -3*k, 3*k - t - 5 = 0. Suppose -p + k*p - 2 = 0. Let i be (3/p)/(7/(-14)). Solve -i*u + 0 = -3 for u.
1
Let c be (-1)/(-2)*0/(-1). Suppose -3 = -4*x + 2*z + 1, -2*z + 6 = x. Let t be (3/x)/(6/36). Solve c = t*m - 5*m + 20 for m.
-5
Suppose -3*l = -6*l. Suppose 0*t = -t - 7. Let c be (t - 1)/(-1 + 0). Solve -2*y + l*y = -c for y.
4
Let t = 7 - 2. Suppose 4*y = -t*v + 192, -33 = -4*v + 3*v + y. Suppose 24 + v = 4*f. Solve 0 = -6*q + q - f for q.
-3
Suppose -i = -4 - 0. Let c = 4 + i. Solve -4*y - 12 = -c*y for y.
3
Let a(l) = l**2 - 4*l - 22. Let v be a(8). Solve 7*m - 2*m = -v for m.
-2
Let u(l) = 0*l**2 + 8 + 6*l - 6*l**2 + 0*l**3 - l**3. Let z be u(-7). Suppose h - z = -2*h. Solve h = -n + 2*n for n.
5
Suppose -5*z + 5*x = x - 27, -12 = 4*x. Suppose -5 = -z*h + 1. Solve h*s - s = 0 for s.
0
Let d = 9 - 5. Suppose -2*c + 12 = d. Let t = 0 + c. Solve -2 = -l - t for l.
-2
Let t = -2 - 2. Let b be (-2)/4*t/1. Let f = b + 2. Solve f*d - 8 = 8 for d.
4
Let n = 9 - 4. Solve 10 = n*y - 0*y for y.
2
Let o(k) = -k**2 + 6*k + 3. Let z be o(5). Solve 0 = -5*s - z - 7 for s.
-3
Suppose -16 = -5*p - 1. Let y be (-3)/9*3*-2. Let r be (2 + -1 + -1)/y. Solve r = p*g - 4 + 1 for g.
1
Suppose 0 = 2*c - 0*i + 3*i - 36, -2*i + 68 = 5*c. Suppose 14 = -5*t + 7*t. Solve 4*o - t*o = c for o.
-4
Let a = 9 + -7. Let c(q) = q. Let l be c(a). Solve 0 = 2*u + l + 4 for u.
-3
Let c