= b*t - v for t.
2
Suppose g + 3 = 3*i + 20, g = 4*i + 22. Suppose 0 = -g*q + 4*m + 22, -5*m = 2*q - 38 - 2. Let x be 16*(q/(-6) + 3). Solve -4*k + 2*k - x = 0 for k.
-4
Suppose 2*n - 16 = n. Solve -x - 3*x + n = 0 for x.
4
Let b(k) = -2*k + 10. Let r be b(5). Solve -2*h - 6 = -r for h.
-3
Let q(r) = -2*r - 2. Let g be q(-2). Let m be g*2/((-12)/(-21)). Solve 4*x + m = -13 for x.
-5
Suppose -3*s + 3 = 0, -w + 2*s + 34 = 2*w. Suppose 3*u - 4*t = -6, 6 = t + 3. Let v be (u/4)/((-2)/(-12)). Solve w = v*x - 0*x for x.
4
Suppose y = -2*z + 5 + 5, y = z + 1. Let b = 7 + 5. Suppose -5*f + 13 = -5*t - b, 25 = z*f - 5*t. Solve r + r = f for r.
0
Let a = 3 - -3. Let f = a - 3. Solve -3 = -4*s + f*s for s.
3
Let k = 44 + -25. Let g = k - 17. Solve -g*d - 5 = -7*d for d.
1
Let q(h) = 4*h - 1. Let u be q(2). Let f = u + -3. Suppose 0 = f*c - 5*n - 61, n - 5*n - 11 = c. Solve 0 = 4*m - m - c for m.
3
Suppose 0 = -6*v + 27 - 3. Solve 2*i - v = -0*i for i.
2
Suppose 0 = 2*w + 2*w - 44. Let g = w + -9. Solve -g*u - 5 = -u for u.
-5
Suppose -5*i - h = -2, 2*i - h - 2*h - 11 = 0. Let s be i + 3/(6/4). Solve s*v = 2*v - 4 for v.
-4
Let w be ((-2)/(-4))/(3/18). Suppose 2*z = 3*z - 48. Let i = -34 + z. Solve -w*b = i - 5 for b.
-3
Suppose -3*q - a = -5*a, 5*q - 29 = -3*a. Solve 6 = q*j - 2 for j.
2
Let k(i) = i**2 - 2*i - 4. Let r(u) = -u + 13. Let p be r(9). Let o be k(p). Let h be ((-6)/15)/(o/(-20)). Solve 0 = h*q + 2*q - 12 for q.
3
Suppose 0 = 3*u - 6. Let r = 20 - 12. Suppose -4*w - 4*b + 9 = b, 3*w + 5*b - r = 0. Solve -g - w = -u for g.
1
Let l(w) = 4*w**2 + 8*w + 3. Let b be l(-3). Solve u = 4*u - b for u.
5
Let z(v) = 9*v**3 - v**2 - v + 2. Let f be z(1). Solve -5*r = f + 11 for r.
-4
Suppose 7*y = 59 - 17. Solve 0 = s + s - y for s.
3
Let k be -10 - -10 - (-2 + 0). Solve 3 = -k*d - 5 for d.
-4
Let a(t) = -t**2 + 7*t + 8. Let s be a(8). Let n(w) = 7 + 0 + w - 1. Let i be n(s). Solve -x = -i*x - 20 for x.
-4
Let k be (245/42 - (-1)/6) + 0. Let u be (0 + -4)/(4/6). Let m = u + k. Solve m*s = s for s.
0
Let s = 13 + -7. Solve -3*b + 6*b + s = 0 for b.
-2
Let b(q) = q - 6. Let m be b(6). Let z(d) be the first derivative of d**2/2 + d - 1. Let r be z(1). Solve m*x + r*x = -2 for x.
-1
Suppose f + 2 = -2*y, 2 = 5*y - f - 0*f. Solve 0 = z - y*z + 2 for z.
-2
Let o be 156/27 + 2/9. Let y = o - 6. Suppose -5*g = 4 - 14. Solve -g*a - 8 - 2 = y for a.
-5
Suppose 8 = -0*t + 2*t. Suppose 0 = -t*a + 7*a - 15. Solve 5*b = 5 + a for b.
2
Let r(s) = s**3 - 2*s**2 - 4. Let y be r(3). Solve -t = -6*t + y for t.
1
Suppose -3*d + 5*r = 2*r + 6, 20 = 5*r. Solve 3 = d*n - 3*n for n.
-3
Let q be (1/2)/(2/4). Let m = 0 + q. Let k be (-6)/(-3) - (1 - 1). Solve -i - m = -k*i for i.
1
Let s = -25 - -30. Solve -2*i - 3*i = -s for i.
1
Let j be -1 - ((0 - -4) + -8). Let l(c) = c**2 - 1. Let g be l(-1). Solve g = -j*h - 7 - 8 for h.
-5
Let k(q) = q - 3. Let a be -2*(2 - 3) + 4. Let c be k(a). Suppose 4*d - 3*b = 23, b - 11 = -4*d + c*d. Solve -i = i - d for i.
4
Suppose 28 = 7*w - 63. Solve 4 = -3*k + w for k.
3
Let t = -18 + 33. Suppose 3*i - 40 = 8*i. Let y = i + 12. Solve -w + y*w - t = 0 for w.
5
Let h(g) be the first derivative of -g**3/3 + g**2/2 - g + 3. Let a(x) be the first derivative of h(x). Let s be a(-1). Solve -y = -1 + s for y.
-2
Let x(p) = p**3 + 8*p**2 + 5*p - 9. Let j be x(-7). Solve 0*c = -j*c - 5 for c.
-1
Let k = -4 - -8. Suppose -3*s + 5 = -k*x - 39, 12 = -s - 4*x. Let m(q) = q**2 - 10*q + 20. Let n be m(8). Solve -n*a = -2*a - s for a.
4
Let k = 12 + -4. Solve 0 = g + g + k for g.
-4
Let a = 3 - 0. Let k = a + 0. Suppose k = 3*b - 6. Solve x + 6 = b*x for x.
3
Suppose 0 = -5*a + 4*r + 64, -2*a + 32 = 3*r + 11. Solve 0 = -6*h + 2*h - a for h.
-3
Let j = 3 - 3. Let k be -4 + j + (0 - 2). Let h be (-6)/(-9) - 14/k. Solve -5*f + h = 28 for f.
-5
Let x be (0 - -3)*(-2 - -3). Suppose -x*k + 21 - 6 = 0. Solve k*z + 20 = -0 for z.
-4
Let g be -60*((-22)/(-6) + -4). Let z = -20 + g. Solve z*c - 3*c = -12 for c.
4
Suppose i = -5*d - 14 + 53, -d - 5*i + 27 = 0. Let o(a) = -a**2 + 8*a - 7. Let m be o(d). Solve u + 5 = -m for u.
-5
Let q(v) = 4*v**3 + 2*v - 4 + 1 - 2*v**2 + 2. Let h be q(1). Let s(x) = x + 1. Let u be s(h). Solve -u*l + 5 + 7 = 0 for l.
3
Suppose -5*f + 5 + 120 = 0. Solve -4*n - n = -f for n.
5
Let t = 26 - 10. Let a(w) = -2*w. Let b = -8 + 7. Let g be a(b). Solve -6*i = -g*i - t for i.
4
Suppose -4*b - 3*q = -14, 0 = -2*b - 2*b + 2*q + 24. Solve 1 = -b*f - 4 for f.
-1
Suppose 6*l + 7*l = 0. Solve -2*h + h = l for h.
0
Suppose -q - 2 + 3 = 0. Let n = q - 0. Solve 2*r + n + 3 = 0 for r.
-2
Let u = 0 - -1. Suppose -2*o + 0*o + 2 = 0. Let b be 6 - (o + (-2 - -3)). Solve -5*c = -b*c - u for c.
1
Let i be 4*((-87)/(-12) - 3). Solve -1 + i = -4*p for p.
-4
Suppose 0 = 2*s - 3*c + 9, -3*c - 2*c = 2*s - 31. Solve 2*v = s - 1 for v.
1
Let w = 3 - -1. Suppose 9 = w*u - 7*u. Let o be (22/u)/((-8)/12). Solve -o - 1 = -3*p for p.
4
Let c = -2 - 0. Let s = c + 2. Solve -4*m = -s - 4 for m.
1
Let f(g) be the second derivative of -g**3/6 + 9*g**2/2 + 8*g. Let m be f(6). Solve 15 = 8*p - m*p for p.
3
Suppose 1 = -z - 3. Let w be (-2)/(z/(-2))*6. Let u be 10/4 + (-3)/w. Solve x + 4 = u*x for x.
2
Let c = -9 + 12. Suppose -u = -c*u. Solve v = -2 - u for v.
-2
Let t = -5 + 4. Let a(c) = -c**2 - c. Let o be a(t). Suppose -5*q = 4*j - 2 + 9, 3*q = 5*j - 19. Solve -f - j*f = o for f.
0
Suppose -3*l = 5*i + 12, 2*l - 4 = -3*i + 3*l. Suppose i = -u + s + 3, 5*u + 2*s + s + 9 = 0. Suppose 6*w - 15 = w. Solve -3*b - w = -u for b.
-1
Let d(k) = -2*k**3 + k + 1. Let i be d(-1). Suppose 0 = -40*o + 49*o - 63. Solve i*a = o + 1 for a.
4
Let q(n) = n**2 + n. Let l be q(-1). Solve l = -5*t + 2*t - 12 for t.
-4
Let i = 2 + 2. Solve -z + 1 = -i for z.
5
Suppose 0*w + 8 = 4*w. Suppose -8 = -2*h - w*h. Solve p + 4 = h*p for p.
4
Let h(s) = 3*s**3 + 2*s - 3*s**2 + 3*s**3 + 1 - 5*s**3. Let p be h(2). Let l(y) = y**3 + 8*y**2 + 5*y - 3. Let b be l(-7). Solve b - p = -2*j for j.
-5
Let p(w) = -w**2 - 3*w + 4. Let x = -9 - -6. Let k be p(x). Solve -3*s + k = -8 for s.
4
Let d be 4 + -4 + 3*20/6. Solve -5*v + d*v - 25 = 0 for v.
5
Let i = -9 + 12. Solve 4*k - i*k = -2 for k.
-2
Let d(o) = 6*o**3 - o**2. Let c be d(1). Let x(v) = -3*v - 11. Let f be x(-8). Let y = f - 9. Solve -y = -c*h + 1 for h.
1
Let z be 3 - (3 + 2/(-1)). Suppose 0*g - 6 = -z*g. Suppose 2*p - 3 = -v, -g + 6 = 3*v. Solve 0 = h + p for h.
-1
Let z = 25 - 20. Solve -z = -0*i + i for i.
-5
Suppose -5*a + 13*a = 0. Solve -3*c + 9 = -a*c for c.
3
Let m be (3/2)/(-3) - (-6)/4. Solve 4*x - 5 = -m for x.
1
Suppose -4*z = -2*h - 1 - 9, -3*z = -5*h - 11. Let s(f) = -f - 14. Let n be s(-10). Let d be -10*2*1/n. Solve -d*c = -4*c + z for c.
-2
Suppose 0 = s - 4*m - 14, -s + 8 = 2*s + 5*m. Let n = s + -4. Suppose o + 20 = n*o. Solve 0 = -d - 4*d + o for d.
4
Suppose 0*u + 3 = u. Suppose -13 = -5*v + u*y, 2*y = 4*v - 5*v. Solve -5*i - v = 3 for i.
-1
Suppose t + 3*w - 11 = 0, -6 = -t - 2*w + 3. Let i(h) = -h**3 + 6*h**2 - 5*h + 6. Let k be i(t). Solve 8*y - 5*y = k for y.
2
Suppose 2*x = -3*y + 4*x + 4, -2*y - 2*x + 6 = 0. Solve 0 = -y*b - 3*b - 15 for b.
-3
Let v be -5 - (1 + -3) - 0. Let p be (-6)/(v + (-12)/(-8)). Solve p + 1 = -r for r.
-5
Let y(l) be the third derivative of -l**6/720 - l**5/60 + l**4/12 + 2*l**2. Let j(t) be the second derivative of y(t). Let a be j(-3). Solve 16 - a = 5*i for i.
3
Suppose z - 2 = -2*c, 8 = z - 2*c - 2*c. Solve z*n = 2 - 14 for n.
-3
Let y(u) = -u**3 + 8*u**2 - 5*u - 10. Let w be y(7). Solve -w*a = 12 - 4 for a.
-2
Suppose w + 8 = 5*w. Let b(y) = -y**3 + 4*y**2 + y + 3. Let n be b(3). Solve u + n = -w*u for u.
-5
Let c be (-171)/(-95) + 1/(-5)*-1. Solve -c*q + 7*q + 25 = 0 for q.
-5
Suppose 0*z - 5*z = 10. Let g = z - -2. Solve -6*k + k = g for k.
0
Suppose -5*r - 45 = -10*r. Let j be (-1)/(-4) - 41/4. Let f = 14 + j. Solve -f*c = -7 - r for c.
4
Let q(d) = -d**3 + 9*d**2 + 9*d - 11. Let x be q(10). Let z = x - -22. Solve 2*c - z = 1 for c.
1
Let t(n) = n**3 - 2*n**2 - 3*n - 3. Let h be t(3). Let g = h - -4. Let l be 15/(-9)*-3*g. Solve p = l*p - 16 for p.
4
Suppose 2*y + 0*j - 35 = 5*j, -j - 5 = 0. Solve -g - 1 + y = 0 for g.
4
Let n be 3/(-2)*(-4 + 2). Let k = -30 - -31. Solve n + k = -2*b for b.
-2
