3*d. Solve -5*w - t = -1 for w.
-1
Suppose -18 = n - 26. Let w be -3 - (2 + -1*n). Solve -10 = -w*h + h for h.
5
Let h = -31 - -33. Solve -h*o + 1 - 11 = 0 for o.
-5
Let l = 71 - 53. Solve 4*a - 2 - l = 0 for a.
5
Let b(n) = -7*n + 35. Let g be b(5). Solve 0 = -3*j - g*j for j.
0
Let t be 2*2/(4/1). Let o = t - 1. Suppose 5*i = -5*g - 15, -2*g = i - o*g + 7. Solve 0 = -b - i + 4 for b.
3
Let h(c) = -3*c - 6. Let j be h(-3). Solve -j*f + 0 = -3 for f.
1
Suppose -10 = -t + 2. Let x = -9 + t. Solve p = x*p for p.
0
Let u = 3 + 1. Solve -u*s = s - 5 for s.
1
Let o(v) = -v**3 + 19*v**2 + 21*v - 8. Let k be o(20). Solve k = 6*b - 2*b for b.
3
Suppose 2*t = -0*t + 4*y - 6, 0 = 2*t - y. Let s be 25/5 - (-1 + t). Suppose 3*m - k + s - 15 = 0, -2*k + 10 = 4*m. Solve 5 = -8*z + m*z for z.
-1
Suppose 4*z - 12 = 2*g, -4*z + 5 = g - 7. Suppose 4*d + 2*o - 20 = -0*o, -5*d = -5*o - 10. Suppose -d*f = -2*f - 16. Solve -7*r - f = -z*r for r.
-2
Suppose 0*h + 8 = 3*h - r, -3*h = 3*r. Suppose -v = 5*u - 0*u - 2, v + 4*u = h. Solve -1 = -v*y + 3 for y.
2
Let d(b) = 6*b**2 - b + 4. Let v be d(2). Let i be (1 + -4)*v/(-39). Solve 4 = -p + i for p.
-2
Suppose -7 = -w - 3. Solve -w = 2*o - 2 for o.
-1
Suppose -13 = -5*i + 77. Let v = i - 9. Solve v = -2*b + 3 for b.
-3
Let c(d) = -4*d + 1. Let x be c(1). Let y = x + 6. Suppose 0*h = -3*o - h + 39, -y*o + 2*h = -30. Solve 0*a + o = -4*a for a.
-3
Let q(y) = y. Let o be q(3). Suppose o*v = -m - 10, 4*v + 11 = m - 0. Let r be (-2 - -2)*m + 5. Solve r*u + 15 = -0*u for u.
-3
Let i be (42/4)/7*2. Let q be (-1 - -1)/i - 0. Solve q = 9*h - 4*h + 20 for h.
-4
Suppose 6*p - 375 = p. Suppose -5*i - 95 = -10*i - j, -5*i - 5*j = -p. Let l be 4/(-14) - (-4)/14. Solve l = -6*f + f - i for f.
-4
Suppose -6*a = -a. Suppose 0 = 2*p - a*p. Solve 5*m - 3 - 22 = p for m.
5
Let x(v) = v**3 + 4*v**2 - 4*v + 3. Let l be x(-5). Let j be (-5)/(1/l*2). Solve -j*h = -h for h.
0
Let w be (-8 + (1 - -1))/(-2). Let h = w + -3. Suppose h = 5*u - 25 - 10. Solve -t + u - 2 = 0 for t.
5
Suppose 2*f + j - 25 = 0, -3*j + 3 = 6. Suppose f - 4 = 3*z. Solve q - 7 = -z for q.
4
Let w be 5 - 1/((-5)/(-20)). Solve 10*b = 11*b + w for b.
-1
Let r = -97 + 101. Solve -11 = -5*h + r for h.
3
Let l be 4/2 + 1 - 2. Let r be 2*l*(-45)/(-6). Solve -o + 4*o = -r for o.
-5
Let d be 14/4 + 4/8. Solve -15*y = -19*y + d for y.
1
Let o be 9/21 - 33/(-21). Solve -j - 3 = -o*j for j.
3
Let a(j) = j**3 - 6*j**2 + 5*j + 5. Let r = 11 - 6. Let b be a(r). Suppose 2*g + g - b*t = -20, -2*g + 16 = 4*t. Solve -z - z = g for z.
0
Let g be ((-6)/(-8))/3*(-240)/(-15). Solve -5*v + g*v + 4 = 0 for v.
4
Let u(a) = -a + 2 + 8*a**2 - a**3 + a + a. Let f be u(8). Suppose 3*z - 2 = f. Solve -z*h = -h + 3 for h.
-1
Let s be (1/2)/(-1)*6. Let q be s*(-3)/9 + -1. Solve -3*y + 0*y = q for y.
0
Let h = -23 - -16. Let u(n) = -n**2 - 6*n + 9. Let r be u(h). Suppose -2*m + o + 10 = 0, r*o = -o - 12. Solve -4 + m = w for w.
-1
Let b(i) = i**3 - 6*i**2 + 2*i - 9. Let o be b(6). Solve 6*s = o*s for s.
0
Suppose 4 = -m + 16. Suppose 2 = -3*v + 4*v. Solve -m = v*k - 4 for k.
-4
Let z(y) = y**3 + 3*y**2 - 6*y + 2. Let o be z(4). Suppose 5*m + j + 3*j = o, m = 5*j + 18. Suppose 4*p - m = 2. Solve 3*q + 2 = p*q for q.
1
Suppose 0 = -5*j + 25, 4*z + 3*j - 16 = -1. Solve c - 4*c + 9 = z for c.
3
Let p(u) = -u. Let a be p(0). Let t = -5 - -9. Solve -v + a*v = t for v.
-4
Let u(f) = 8 + 2 + 1 - f. Let v be u(9). Solve l = -l + v for l.
1
Let f = 3 + -2. Let x be f - 20/(-2 + -2). Solve 3*k + 3 = x for k.
1
Suppose p = -3*p + 12. Suppose 0 = -q + x + 17, 0 = -p*q - 0*x - 5*x + 19. Solve 2*f + q - 3 = 0 for f.
-5
Let v(t) be the first derivative of -11*t**4/4 - t**2/2 - t + 1. Let i(w) = -w - 9. Let k be i(-8). Let h be v(k). Solve -h = -4*z + 1 for z.
3
Suppose -11*j - 39 + 138 = 0. Solve -3*z = -0*z + j for z.
-3
Let r(b) = -b**2 + 7*b + 4. Let n be r(7). Let p be n/(-14) + 4/14. Suppose p = 3*z - 4*z + 3. Solve z*m = 6*m - 3 for m.
1
Suppose 2*y = 5*d - 3*y + 30, 0 = 5*d - y + 10. Let h be (d - -3)*-1 - -6. Solve 0 = -2*i + 14 - h for i.
5
Suppose 0*a - 5*a = -20. Solve 3*z - a = -z for z.
1
Suppose 0 = -3*l - l. Let s(i) = i + 10. Let r be s(-7). Solve l = -d + r*d for d.
0
Let y be (-1 - 0 - -1)/(-1). Suppose -6*o = -3*o. Suppose b - t = 11, -5*t - 7 = -b - 0. Solve 4*x + o*x + b = y for x.
-3
Let p be (16/6 - -3)*3. Let i = p - 12. Solve i*s + 9 - 24 = 0 for s.
3
Let j be (11/2)/(11/22). Solve 3*v - 4 = j for v.
5
Let k(v) = -2*v**3 + 4*v + 3. Let f be k(-2). Let r = f + -9. Solve 0 = -2*c - 2 - r for c.
-2
Let l be (-1 - -16)*(-7)/(-21). Suppose 5*g = 4*g + x - 1, -5*x = -l. Solve g = -h + 1 for h.
1
Suppose 0 = -3*y - 9, -y - 2 = 5*q - 14. Suppose q*w + 24 = 5*w. Solve -3 = 5*b + w for b.
-3
Let d = -5 - -5. Let a = 0 + d. Let y be (-26)/(-6) - (-2)/(-6). Solve -y*k = -a - 4 for k.
1
Let j(v) = v**3 + 26*v**2 + 26*v + 30. Let l be j(-25). Suppose 0 = 8*g - 3*g - 675. Suppose -3*s + 8*s - g = 0. Solve 2 = l*m + s for m.
-5
Let n(p) = -p**2 - 3*p + 4. Let o be n(-4). Suppose -2*h = -o*h + 10. Let r = h + 9. Solve 0 = -y + r*y + 3 for y.
-1
Let r be ((-10)/5)/((-1)/3). Let d = -9 + r. Let y be (-1)/(-1 - d)*-6. Solve 5*k + 2 + y = 0 for k.
-1
Suppose -5*a - 3 = 4*d - 31, 3*a - 12 = 0. Solve 0 = o + d*o for o.
0
Suppose 44*p + 16 = 48*p. Solve p*i = -i for i.
0
Let r be 1/(-3) - 63/(-27). Solve r*a = -0*a + 8 for a.
4
Let j(p) = -3*p - 1. Let d be j(-2). Suppose 7*g = d*g + 12. Let u(x) = 2*x - 9. Let c be u(g). Solve -c*l - 10 = 2*l for l.
-2
Let z(r) = -3*r - 6. Let b be z(-6). Suppose l - 5*v + 3 = -b, 0 = 4*v - 16. Suppose -l*c + 3*w = -10, -2*c + 5*w - 2*w + 4 = 0. Solve 0 = -a + 2*a - c for a.
2
Suppose -3*x + 5*x = -30. Let u be (-2 - x/3) + -1. Solve 4 + 2 = -u*f for f.
-3
Let r be (0 - 10/(-8))*4. Solve -13 = r*y + 12 for y.
-5
Let l(r) = r**2 - 9*r + 6. Let k be l(10). Solve -4 - k = 5*w for w.
-4
Let g be 15 + (1 - 1) - 1. Let o = 16 - g. Solve -o*t + 3*t + 2 = 0 for t.
-2
Let y(t) = t**2 - 4*t + 2. Let c be y(7). Let l = -15 + c. Let x = 10 - l. Solve 0 = -x*k + 3*k + 3 for k.
-3
Suppose -25 - 5 = -2*u. Suppose 3*t - u - 45 = 0. Solve -6*o - t = -o for o.
-4
Let p be 5/((-15)/6 - -3). Solve 5 = 5*d + p for d.
-1
Suppose -2*v - 5*y = -7*v - 30, -3*y = -5*v - 30. Let j = 8 + v. Solve 3*r - j - 10 = 0 for r.
4
Suppose 60 = -3*n + 7*n. Let c(m) = 2*m + 1. Let k be c(1). Suppose 0 = k*f - f + 5*p + 4, f - p = 5. Solve -n = 3*h - f for h.
-4
Let s be (-4)/(-6) - 32/(-6). Suppose 0 = -4*i - 3*y + 5, 2*y - 6 = 0. Let v be (30/(-24))/(i/4). Solve -s*x + v = -5*x for x.
5
Let n(u) = -10*u - 3. Let a be n(-2). Suppose -r + 3*l = l + a, -4*r + 2*l - 44 = 0. Let t = 10 + r. Solve w + t = -0 for w.
-1
Let l(p) = 4*p - 4. Let g be l(3). Let j = -5 + g. Suppose 16 = 5*x + 3*x. Solve -j = n + x for n.
-5
Let r = -6 + 11. Suppose -w - 5*g = 25, 0 = g - 0*g + 5. Solve 8*b - r*b + 15 = w for b.
-5
Let s = -60 + 64. Solve -n - s = -0*n for n.
-4
Let x be 5/2 - 14/(-28). Solve 0*d = x*d - 9 for d.
3
Suppose 2*q = 4*q - 22. Suppose -q*c = -9*c. Solve c = 5*w - 2 + 7 for w.
-1
Suppose 4*z - 15*z = -110. Solve 4*x - z = 10 for x.
5
Let q(z) = -z**2 - 31*z - 56. Let w be q(-29). Solve w = -0*p - 2*p for p.
-1
Let p be 0/((-8)/(-12)*-3 + 0). Solve 5*j - 4 + 29 = p for j.
-5
Suppose 2*q - 10 = -3*l, -4*q - 4*l + 25 = q. Solve q*k = k + 8 for k.
2
Let f be (-6)/(0 - 12/8). Solve p = -1 + f for p.
3
Let f(o) = 4*o - 22. Let u be f(6). Solve -3*b + 17 - u = 0 for b.
5
Suppose 0 = 3*c - 4*c. Suppose 0 = 2*g - 3*g + 6. Solve c*o + g = -2*o for o.
-3
Let i(n) = -2*n**3 - n**2 + 4*n + 3. Suppose 8*t - 11*t = 6. Let f be i(t). Solve 3*d = -5 - f for d.
-4
Suppose 0 = 5*g - 55 + 20. Suppose g*y = 4*y. Solve n + y*n = -1 for n.
-1
Suppose 3 = 3*g + y - 19, 0 = 4*g + 4*y - 24. Suppose -b + 0 = 4*d + g, 0 = 5*b - d + 40. Let u = b - -8. Solve -3*o - 12 = -u*o for o.
-4
Suppose 8 - 128 = -6*o. Let d(y) = 2*y + y - 4*y. Let s be d(0). Solve s = -3*f - f + o for f.
5
Let z be 3/(1/(-8)*-6). Suppose -z*y + 13 = f, 0*y + f + 2 = y. Solve -5 = y*q + 4 for q.
-3
Let w be (-3)/9*18/3. Let s be w + 4 + 0 + 0. Solve -3*f + s*f = 4 for f.
-4
Suppose -22 = -5*n + 13. Suppose -3*z = -1 - 5. Let p = 2 + -2. Solve -z*r + 1 - n = p for r.
-3
Supp