61*l for l.
1
Suppose 0 = -38*a - 9 + 85. Solve -6*y = -a*y + 3*y for y.
0
Let j(c) = c**3 + 3*c**2 - 8*c - 7. Let s be j(3). Solve -17*z + s*z = 24 for z.
4
Let h be (-1)/4 - 564/48. Let w = 37 + h. Suppose 20*a = w*a - 25. Solve -2*d + d = -a for d.
5
Suppose -4*l + 0*l = 0. Let c(z) = z**3 + 2*z**2 - 2*z - 1. Let p = 15 + -17. Let t be c(p). Solve -s + 2 + t = l for s.
5
Suppose -3*l + 55 = -2*w, -5*w - 5*l - 76 = -1. Let r be ((-48)/w)/(6/20). Let s be 0 - (-5 - -2 - 0). Solve 7*c = s*c + r for c.
2
Let j(b) = -4*b**2 - 12*b + 5 - 6*b + 2 + b**2. Let d be j(-6). Solve 2*s - d*s + 20 = 0 for s.
4
Let b = 27 + -17. Let g = -9 + b. Let v = 3 - g. Solve -v*c + 0 = 6 for c.
-3
Suppose 5*j = j. Suppose -12 = -t + 2*p, 4*t + 2*p - 55 + 7 = j. Solve 8 - t = n for n.
-4
Suppose -7*m - 57 + 92 = 0. Solve 0 = m*j + 8 + 2 for j.
-2
Suppose -14*i + 152 = -12*i. Suppose -61 = 5*r - i. Solve -r*l - 3 = -0*l for l.
-1
Let x(y) = -y**2 + 6*y - 2. Let h be x(7). Let u = 13 + h. Solve -u*v - 12 = 8 for v.
-5
Let z = -10 - -46. Suppose z = m + 4*m + 3*h, -21 = -2*m + h. Suppose -2*u + 22 = 3*y, 3*y + 5*u + 5 - 42 = 0. Solve -m = y*w + 3 for w.
-3
Let j = -28 - -41. Suppose -15 = a + 3*n, a = 6*a + 5*n + 55. Let g = j + a. Solve -22 = g*x - 2 for x.
-5
Let y(i) = 5*i - 1. Let m be y(3). Solve m - 2 = 3*r for r.
4
Let i be -2 - ((-8)/6)/((-16)/(-576)). Solve i = -5*k + 31 for k.
-3
Suppose 3*y + 2 - 8 = -4*u, 0 = 2*y - u - 15. Suppose -y*d = 3*d - 27. Solve 2 - 17 = d*r for r.
-5
Let q(c) = -15*c + 42. Let a be q(-6). Let x = 142 - a. Solve 0 = -5*h - 0*h + x for h.
2
Suppose -1 = 23*y - 26*y + m, 2*y = -5*m - 5. Solve -15*j + 5*j - 30 = y for j.
-3
Let m = -2 - -4. Suppose 0*f = -b - 5*f + 1, 4*f = -2*b + 8. Let n = m + b. Solve n = 5*z - z for z.
2
Let f = -15 - -3. Let v be (5/3)/((-4)/f). Solve -v = 3*j - 4*j for j.
5
Let v = -56 + 72. Solve -v*d + 17*d = 5 for d.
5
Suppose 4*y = 16, 5*i + 0*y - 26 = y. Suppose 0*v + i*v = -4*v. Suppose -4*d + 4 - 24 = 0, 0 = -4*b - 4*d - 12. Solve b*k - 6*k - 16 = v for k.
-4
Suppose -4*m - 4 = 0, -2*z - m + 5 = -6. Solve -z = -0*o + 3*o for o.
-2
Suppose 0 = -5*r + 10, 0*q + 4*r = 2*q + 10. Let w be 0*q/(-1 + 0). Suppose -4*p + 11 + 5 = w. Solve 2*s = p - 2 for s.
1
Let v(n) = -4*n**3 + n**2 + n + 1. Let s = 6 + -7. Let t be v(s). Suppose -3*u = -5*x - 3, -x + 5*u - t = 3*x. Solve x = 2*a - 0*a for a.
0
Let y = 3 - -1. Suppose 0 = c + 5*d, -3*d - 2 = -0*c + c. Let r = -1 - c. Solve -r - y = -4*z for z.
2
Suppose 5*n = 8*n + 27. Let g = n - -10. Let a be 2/((-2)/g) - -1. Solve a = -q + 4 - 1 for q.
3
Let a be -2 + 4 + (13 - 3). Solve 0 = -22*d + 26*d - a for d.
3
Let h = -33 + 36. Suppose -6*n + h*n = n. Solve n + 3 = k for k.
3
Let f(g) = g - 1. Let i be f(4). Suppose 4 = 2*h, 0 = l - 3*h + i - 0. Let n be (-140)/(-12) + (-2)/l. Solve -4 - n = -5*r for r.
3
Let t be (-9)/36 - (1 + 818/(-8)). Let b = -101 + t. Solve l - 1 + 5 = b for l.
-4
Let p(k) = k**3 - k**2 + k - 1. Let g be p(1). Suppose g = 2*w - 1 + 9. Let s(a) = -3*a - 9. Let m be s(w). Solve -1 - m = -x for x.
4
Suppose 19*r = -3*r + 44. Let t be (0/(-5))/(-1*1). Suppose t = -3*y + 5 + 7. Solve -2*g + r = y for g.
-1
Let s(q) = q**3 + 30*q**2 + 4. Let c be s(-30). Solve -c = t - 2 for t.
-2
Suppose -2*g = 0, 4*x + g - 16 = 156. Let y = 47 - x. Solve 0*i + y*i = 0 for i.
0
Let i be 48 - 2/((-6)/(-9)). Let a be (-1)/(-1)*i/15. Solve y + 2 = -a for y.
-5
Suppose 0 = 10*t - 32*t + 44. Solve 0 = t*x - 9 + 3 for x.
3
Let r(k) = -2*k**2 - k + 1. Let d be r(-2). Let j(z) = z**2 + 5*z. Let l be j(d). Suppose l = 6*f - 4*f. Solve 0*b - 3*b + 12 = f for b.
4
Suppose -18 = 3*h - 5*l - 4, 3*l - 22 = -5*h. Let i(f) = f - 1. Let j be i(h). Let t be (-6)/(-2) - j/1. Solve 1 = t*k + 3 for k.
-1
Suppose -6*i = -5*d - 3*i + 17, -3*i - 1 = -d. Solve -t - 6 = -d*t for t.
2
Let z(r) be the third derivative of r**5/30 - r**4/12 - r**3 - 5*r**2. Let a be z(3). Solve a = 2*d + d for d.
2
Let i(b) = b**2 - 6. Suppose -21 = -5*n - 2*m, -n - 6*m + 4*m + 9 = 0. Let o be i(n). Solve -3 = -o*g - 12 for g.
-3
Suppose 5*f - 4*t - 62 = 0, -2*f = -4*f + 5*t + 18. Solve -f*x = -9*x + 15 for x.
-3
Suppose -1 = 2*w - 5, 3*m + 4*w - 17 = 0. Suppose 4*v = -2*a + 22, -v + 5 - 2 = 0. Suppose 0 = -a*n + 2*n. Solve n = -z + m*z - 8 for z.
4
Let h be ((2 - 3) + -5)/(-2). Suppose h*w = -w. Solve -p - p + 6 = w for p.
3
Let x be -1 + (-45)/(-35) - 495/(-7). Let j = x - 61. Solve 5 = -3*u - j for u.
-5
Let u = 116 - 113. Solve p - 6 = -u for p.
3
Let h(t) = -5*t - 10. Let b be h(-7). Suppose 6*l = l + b. Suppose -z = -m - m + 6, -20 = -l*m. Solve 3*q - z*q = 0 for q.
0
Let r = -39 + 33. Let i(c) = 2*c**3 - 3*c - c**3 + 1 + 5*c**2 - 3*c. Let n be i(r). Solve 0 = -4*d + n + 3 for d.
1
Let h be (-8)/(-2) - (-3 - 2). Let a = 9 - h. Solve -3*t - 2*t + 20 = a for t.
4
Let s(v) = v - 44. Let n be s(45). Solve 3*j - n = 11 for j.
4
Let t(i) = -9*i - 6. Let o be t(-2). Suppose 3 = -2*d - d + 4*q, 4*q - o = 0. Solve c - d = -0*c for c.
3
Suppose -117*f + 192 = -113*f. Solve -46*v + f*v - 8 = 0 for v.
4
Suppose x - 3*x - 8 = 0. Let q be 1 - 5 - x*1. Solve -w + q*w + 5 = 0 for w.
5
Let a(w) = 6*w**2 - w + 2. Let m be a(1). Let c(b) = 3*b + 22. Let k be c(-7). Solve -m = 4*o + k for o.
-2
Suppose 0 = -17*x + 32 + 2. Solve -2*c - x = -6 for c.
2
Suppose -2*a = -8*j + 5*j + 29, -2*j = -5*a - 23. Solve -69 = 12*r - j for r.
-5
Let t = -141 + 147. Solve -12 + t = 2*v for v.
-3
Suppose 535 = -6*d + 595. Solve -m - d = -3*m for m.
5
Let h(o) = o**2 + 13*o - 1. Let z be h(-13). Let b be (z - -2) + 0 - -2. Solve -b*c + 10 = -c for c.
5
Let h be (2 - 0)/((24/3)/8). Solve -11 + 21 = h*f for f.
5
Suppose 0 = -3*p + 18 + 15. Suppose -p*k = -2*k - 18. Solve -4*j + k - 22 = 0 for j.
-5
Let k = 665 - 655. Solve 11*l + 34 = -k for l.
-4
Let a(x) = x + 1. Let b be a(5). Let p(u) = u**2 + 7*u - 12. Let s be p(2). Solve 3*t - s*t = -b for t.
2
Suppose o + 0 - 4 = 0. Suppose 2*g - o*g = 0. Let k be g*1*1/1. Solve -4*m + 8*m = k for m.
0
Let k(x) = x**3 - x**2 + 4*x - 6. Let u be k(2). Solve 0 = 2*s - u - 0 for s.
3
Let x = 12 - 10. Suppose -x*t - 3*o - 5 = 0, 3*t + o = -2*o. Suppose 0 = -g - t + 7. Solve -n = n + g for n.
-1
Suppose -2*v = -83 - 177. Suppose -5*d = -0*d - v. Let m = 30 - d. Solve -10 = m*y + 6 for y.
-4
Let r(j) = 65*j + 325. Let m be r(-5). Suppose -7*a = 5*f - 4*a - 24, 3*f = -5*a + 24. Solve m*c - f = c for c.
-3
Let v be ((-9)/5)/((-5)/(-100)*-3). Solve v*m - 5*m + 7 = 0 for m.
-1
Suppose -3*r + 2*a + 27 - 73 = 0, 3*a = -12. Let c = 98 + -69. Let t = r + c. Solve t = 5*v - 4 for v.
3
Let v be (-1 + 4)/((-12)/(-136)). Let c = -21 + v. Let p = 15 - c. Solve -2 - p = k for k.
-4
Suppose -i - 4 = -6. Suppose -i*r = -6*r - r. Solve m = -r*m + 3 for m.
3
Let r be -5 - (0 - -5 - 493/17). Solve a - r = -22 for a.
-3
Suppose 5 - 1 = 2*u. Let w(d) = -d**2 - 5*d + 3. Let h be w(-5). Suppose -10 = -2*y - 2*r, -h*y + 5 = -8*y + r. Solve 0 = -u*v - y*v + 4 for v.
2
Let m(b) = -b**3 + b + 3. Let w be m(0). Suppose -4 = o + w*y + 5, 31 = o - 5*y. Let d be (-2)/(4/(-2)) + 1. Solve 0 = -d*r - 0*r + o for r.
3
Let l(u) = u**3 + 4*u**2 - u - 10. Suppose 3*q - 4*g + 17 = 0, 0*g - 5*g + 7 = q. Let v be l(q). Solve s = 3*s - v for s.
1
Let x be (0 + -13)*(6 + 1 - 6). Let p(z) = 38*z. Let m be p(-1). Let f = x - m. Solve f = -o + 6*o for o.
5
Suppose -48 = -3*b - 24. Suppose -2*i - i = 5*d - 8, -d = -i + b. Solve -z = 3 - i for z.
3
Suppose 4*g + 0 = 20, n - 13 = -2*g. Suppose -6*b = -4*a - 2*b + 20, 5*b = n*a - 19. Solve v - a = -0*v for v.
3
Let r(z) = -z + 9. Let p be r(5). Suppose -24 = -2*s + p*o, o = 3*o + 8. Solve 4 = s*n - 16 for n.
5
Let z(v) = 3*v + 2*v**2 + v + 6*v - v**2. Let l be z(-10). Suppose l = 2*j - 7*j + 3*d + 51, -d - 47 = -5*j. Solve 0 = -3*q - 0*q + j for q.
3
Suppose -x - 25 = -6*x. Solve q - 1 + x = 0 for q.
-4
Let i = 654 - 627. Solve z - 23 = -i for z.
-4
Let a(t) = -t**3 - 8*t**2 - 10*t - 4. Let s be a(-7). Let f = s + -11. Suppose 3*u + 2*u = 0. Solve u*c - 3*c = -f for c.
2
Let q = 686 - 675. Solve 22 = q*u - 11 for u.
3
Let i be (4/(-3))/(8/(-264)). Solve 28 = 4*f + i for f.
-4
Let s(j) = j**2 - 8*j + 2. Let w be s(8). Let g(o) = -2 - 4*o - 4 + o**w + 2*o + 0*o. Let y be g(4). Solve 0 = y*b + 4 - 2 for b.
-1
S