 = t for l.
3
Let b be 39/52 - 3/4. Solve 0 = -b*f + 5*f for f.
0
Suppose -2*i = -2*s + 18, s - 15 = -2*i - 6. Solve s*v - 4*v = -10 for v.
-2
Let f = -5 + 6. Suppose 10 = 2*c - 3*u, -c - 2*c = -4*u - 14. Suppose 5*l + 26 = z, -2*z - 3*l + 4*l + 7 = 0. Solve 0 = -c*y + f + z for y.
1
Let b = -8 - -23. Solve -4*v = v - b for v.
3
Suppose 0 = j - 2*d + 2, j - 1 = -3*d + 4*d. Suppose 0 = j*i - 0*i - 36. Solve 3 = 4*o - i for o.
3
Suppose 3*n = -2*z, -4*z = z + n. Let u = 41 - 23. Let l be (u/3)/(2 - z). Solve 0*g = l*g - 15 for g.
5
Let q(g) = -g**3 + 2*g**2 - g. Let t be q(1). Suppose t = -3*k + 1 + 5. Suppose 3*n = -4*i + 28, k*i + 14 = 4*i - 2*n. Solve -3*d = -i*d + 20 for d.
5
Let w(f) be the third derivative of f**6/120 - 3*f**5/20 + 3*f**4/8 - 2*f**3/3 - f**2. Let m be w(8). Suppose -m*p = -7*p. Solve 2*v - 2 - 2 = p for v.
2
Suppose 0 = -4*y - 1 + 9. Let x be (5 - -1)/3 - y. Solve -3*d + x*d + 9 = 0 for d.
3
Suppose 0*y - 3*y = 0. Suppose -3*k + 8 + 1 = y. Solve -t = -0*t - k for t.
3
Suppose 0 = 41*u - 42*u. Solve -2*w + 11 - 5 = u for w.
3
Let c(z) = z**2 - z - 1. Let s(b) = -3*b**2 + 10*b - 6. Let d(m) = 4*c(m) + s(m). Let k be d(-8). Solve 0 = f - k*f for f.
0
Suppose -3*r = q + 1, -2 = 3*r + 1. Suppose p - 3 = -q. Solve p = z - 1 for z.
2
Suppose -5*h + k + 22 = -0*h, 2*h - k = 10. Suppose -4*z = -81 + 21. Suppose -h*d = 3 - z. Solve -7*u = -d*u for u.
0
Suppose -4*m = -4*x + 40, -5*m = -5*x - 6*m + 32. Suppose -5*d + 67 = x. Solve -4*c = -c + d for c.
-4
Let f(q) = 3*q - 1. Let r be f(2). Let g(b) = b - 2. Let c be g(r). Solve -t = -c*t + 6 for t.
3
Suppose y + 2*y - 9 = 0. Solve -8 = i - y*i for i.
4
Let n = 0 + 1. Suppose 4*a - m - n = 15, 5*m = -a - 17. Suppose 78 = 10*i - 102. Solve -a + i = -3*q for q.
-5
Let j(m) be the first derivative of -m**5/120 + m**4/24 + m**3/3 + 2. Let s(p) be the third derivative of j(p). Let f be s(-6). Solve f*t - 9 = 4*t for t.
3
Let x(y) = -4 + y - 3*y - 2 + 0. Let s be x(-5). Solve s*i + 7 = -9 for i.
-4
Let y be ((-10)/(-6))/((-8)/(-24)). Suppose 13 = -z + y*c, -3*c + 3 = -2*c. Solve 3*t + z*t = 20 for t.
4
Suppose 4*b - 64 - 36 = 0. Let i = 13 + -8. Suppose 0 = 4*d - 3 - i. Solve -3*f - d*f - b = 0 for f.
-5
Let s(x) = -x**2 + x + 7. Let y(g) = -2*g**2 + g + 15. Let a(t) = -9*s(t) + 4*y(t). Let h be a(6). Suppose 0 = 4*i - h*i. Solve -z - 3 - 1 = i for z.
-4
Suppose -3*q + 15 = 3*n, -q - 2*q - 2*n = -12. Solve -1 = -q*s - 5 for s.
-2
Let w(v) = v**2 - 6*v + 3. Let t be w(6). Suppose -2*b = t*a + 2*b + 14, a + 3 = -3*b. Let o be 3/a*-2 + 2. Solve -2*s = o + 3 for s.
-3
Let h be 0 + 6/(-3)*-1. Suppose -6*k = -h*k + 16. Let p = k + 13. Solve 2*x + 3 = p for x.
3
Let f(d) be the third derivative of -d**6/120 + 7*d**5/60 - d**4/4 + d**3/3 + 2*d**2. Let w be f(6). Suppose 0*j = w*j - 16. Solve j*n + 16 = 4*n for n.
-4
Let t(y) = y**3 + 7*y**2 + 6*y + 6. Let m be t(-6). Let g be m - 3 - (1 - 3). Suppose -i = -g*i + 16. Solve 3*w = 4*w - i for w.
4
Suppose h - 4*f = -8, -4*h = 4*f + 1 - 29. Suppose q + 15 = 2*w, 5*q - 2*q + 31 = h*w. Let b = 17 - w. Solve -v + b = v for v.
5
Let k be 36/8 + 1/2. Suppose g + 8 = k*g. Solve -g*y - 9 = -5*y for y.
3
Suppose -3*j + 6 = -j. Solve -3*f - j + 0 = 0 for f.
-1
Let j(v) = -v**2 - 14*v + 64. Let h be j(-17). Solve 10*m = h*m - 3 for m.
1
Suppose 0 = -3*o + z + 13, 13*z - 9*z = -4*o - 4. Solve r - o = 4*r for r.
-1
Let f(u) = 6*u - 55. Let d be f(11). Solve -d = -2*v - 3 for v.
4
Let l = 4 - 4. Solve -5*x + 0 + 10 = l for x.
2
Let d = -1 + -2. Let j be (d + 0)*(-1)/3. Let n be (-2)/8 + j/4. Solve n = u - 0*u - 4 for u.
4
Let v = -43 - -43. Solve v - 4 = -4*z for z.
1
Suppose -2*m = -4*i + m - 63, 5*i = -3*m - 45. Let w = 12 + i. Solve -4*l + 3*l - 1 = w for l.
-1
Suppose 2*h - 4*h = 6. Let o(k) = k**2 + 3*k + 3. Let y be o(h). Solve -y = -3*a - 0 for a.
1
Let j = -22 + 32. Let a(z) = z - 8. Let n be a(j). Suppose -d + n = -0. Solve 3*k = d*k for k.
0
Let j(a) = 10*a**2 - 24*a. Let n(t) = 7*t**2 - 16*t. Let p(b) = -5*j(b) + 7*n(b). Let q be p(8). Solve -4*k - k + 5 = q for k.
1
Let h(n) = n**2 + 4*n + 9. Let f be h(-3). Solve -f*a = -7*a + 4 for a.
4
Let l = 2 + 0. Suppose 6*u - l*u = 8. Solve 6 = -u*m - 4 for m.
-5
Suppose 3*k - 31 = -25. Solve 6 - k = g for g.
4
Let j = 6 + -1. Suppose 3*s - 4*r + 7 = r, -j = -5*s + 5*r. Solve -s*n + 25 = -n for n.
5
Suppose 14 = 4*h - 2*f, -4*h - f - 2*f = -19. Solve 5*b - h = 6 for b.
2
Let a be (-8)/(-12) - (-10)/3. Suppose a = v - 0*v. Let n be (6/v)/(3/6). Solve -n*t - 15 = 2*t for t.
-3
Suppose -8 + 88 = 8*t. Solve t = -2*d - 0 for d.
-5
Let u(b) = -2*b**3 + 14*b**2 + 16*b + 5. Let o be u(8). Suppose -2 + 8 = -l + 4*d, 14 = l + d. Solve 3*x - o = l for x.
5
Let t be (-24)/18*3/(-2). Solve 5*x + 3 = -t for x.
-1
Let t = 5 + -4. Let s be t*2/8*4. Solve s = -2*f - 3 for f.
-2
Let p(w) = w + 7. Let h be p(-8). Let n be (-45)/(5 - 2)*h. Suppose -4*l + n = -l. Solve -13 = -l*v - 3 for v.
2
Suppose 3*d - 26 = -4*n, d = 4*n + 4 - 6. Let q(v) = 33 + 4*v - 32 - 3*v. Let r be q(d). Solve 0 = -3*l + r - 4 for l.
1
Suppose j - 18 - 9 = 0. Suppose 4*k + 0*y - y = 19, 3*k - j = 5*y. Solve -10 = k*c + 2 for c.
-3
Suppose 119 = 5*a - m, -5*m = 5*a - 2*a - 49. Solve 0 = 5*k + a + 2 for k.
-5
Suppose z - 3*s = -3 - 3, -4*s = -4*z - 24. Let t be 2 - 24/(z/2). Solve -5*h = -0*h + t for h.
-2
Suppose 5*h - 37 = -7. Let j = h + 14. Solve -j = 4*k + k for k.
-4
Let t(x) = x**3 - 4*x**2 + 2*x - 3. Let w be t(4). Suppose -19 - 16 = -w*i. Solve 4*b = i*b for b.
0
Let v(k) = 2*k**2 - 4*k. Let l be v(3). Suppose -2*t = -r - l, -t + 3 = 3*r - 7*r. Let x = t + -1. Solve -x*i = -3*i for i.
0
Let l(k) = -2*k**3 + k - 2. Let g be l(-2). Let d be (-6)/g*(0 + 0). Let z = d + 0. Solve 4 = -z*h + h for h.
4
Suppose 0 = -2*i - 0*i + 8. Solve 0 = -0*g + 4*g + i for g.
-1
Let c(t) = t - 2. Let z = 5 - 2. Suppose -25 = -4*n + z. Let f be c(n). Solve 2*h + 3 = f*h for h.
1
Let z be 3/(-2) + 6/4. Let d be 3/3 + z + -1. Suppose 15 = -3*t, i - 2*t - 12 = -d*t. Solve 0 = 2*p - p - i for p.
2
Let v(t) = -7*t - 37. Let n be v(-6). Solve n*c = 4*c + 5 for c.
5
Let r(o) = o**2 + 2*o + 1. Let t(b) = b**3 + 5*b**2 - 7*b - 2. Let g be t(-6). Let u = 3 - g. Let h be r(u). Solve -3*w = -h*w for w.
0
Suppose 5*x + u = -38 + 15, -1 = 4*x - 5*u. Let r = x + 7. Solve k = -r*k for k.
0
Suppose -2*b + 4*b = 20. Solve w = -w + b for w.
5
Let z be 5*(-1 + 2) + 1. Suppose 5*u - k - 22 = 0, 0*k - k = 3*u - 18. Suppose 28 = t - 5*x, -5 = -0*t + u*t + 4*x. Solve z*b = t*b for b.
0
Suppose 19*y = 59 + 17. Solve -9 = y*o - 25 for o.
4
Let y = -2 - -7. Solve y*t + 10 = -10 for t.
-4
Let k be 9/(-12) - (-15)/4. Suppose -k*t + 4 = -2. Solve -t = -j - 3 for j.
-1
Let h be 8 - 9/3 - 3. Suppose 3*z - 3 = -2*l, 0 = -5*l - h*z - 6 + 19. Solve 12 = -0*v + l*v for v.
4
Let f(l) = l**3 - l**2 + l - 1. Let r be f(1). Suppose r = z - 6 - 22. Let v be (3/(-2))/((-3)/z). Solve -5*y + v = -1 for y.
3
Suppose 3*d - 5*c + 28 = 5*d, 5*c = -5*d + 40. Let v = -191 - -196. Solve v*g + d = 3*g for g.
-2
Suppose -6*z - 9 = -9*z. Solve -3*a + 0 = z for a.
-1
Let z = 40 + -57. Let i = z - -20. Solve -i*s = -5*s - 10 for s.
-5
Let d = -18 + 18. Solve -2*a + d*a = -4 for a.
2
Suppose -8 = -2*f - 2*f. Suppose 3*r = -f*r + 10. Solve -3*t - 1 = r for t.
-1
Let f be (-1)/(-6) - (-20)/24. Let x be 6*f*6/12. Solve 1 = x*n - 4*n for n.
-1
Suppose 4*h - 2 = 6. Solve -3*b - h = 4 for b.
-2
Suppose 5*c + 3*u - 14 = 2*u, -5*c = -4*u - 19. Suppose -4*o - 14 = -c*z + 2, z - 4 = o. Solve -3*b + 6*b + 15 = z for b.
-5
Let r(f) = f**3 - 2*f**2 + f - 2. Let n be r(3). Let q = n + -5. Suppose -q = 3*u - 4*z, 2*u + 7*z - 35 = 2*z. Solve -k = u - 0 for k.
-5
Suppose -108 = -8*q - 12. Let z(o) = o**3 - 6*o**2 + 4. Let k be z(6). Solve k*w = -q - 4 for w.
-4
Let w(i) = -i**2 + 2*i + 4. Let r be w(0). Suppose -2*f + r*f + 5 = -z, -2*z - 10 = -3*f. Solve 5*o + 5 = -f*o for o.
-1
Let k(b) = b**2 + 4*b - 3. Let p be k(1). Solve 3*g - p*g = -3 for g.
-3
Let r = -44 + 46. Let k be (-9)/(-6)*(-2)/(-3). Solve -r*v + k = -5 for v.
3
Let u = -34 - -59. Suppose 5*q = -0*q + u. Solve -q*d = -2*d - 3 for d.
1
Let q be (-30)/12 + (-1)/(-2). Let s be ((-2)/(-3))/(q/(-6)). Solve -2*r - s = -12 for r.
5
Suppose -2*d = -5*d + 9. Suppose d*o = 4*o. Solve o