Solve o*j - 15 = 8*j for j.
-3
Let d(i) = -2*i**3 + 18*i**2 + 5*i - 40. Let x be d(9). Solve 7 = s + x for s.
2
Let b be (-666)/(-81) + (-2)/9. Suppose 3*l + 2*m = 19, -4*l + 5*m - 21 = -b. Solve -l*k = -k for k.
0
Let v(t) = -t - 1. Suppose h - 3*h = -3*z + 7, 7 = -h - 2*z. Let g be v(h). Solve g*f = 2 - 18 for f.
-4
Suppose 0 = -d + 8 - 3. Suppose f - 4*j = -2*f - 4, 0 = 3*f - 5*j + d. Solve 2*s + f*s = -6 for s.
-3
Suppose 4*o = x + 7, 2*x - 5*o + 0 = -5. Suppose -4*c + x = -y, -y + 4 + 7 = 4*c. Let i(a) = a**2 - 457*a - 1832. Let z be i(-4). Solve -t - c*t = -z for t.
4
Let j = 18 + -11. Let b be (-2 + 1)/(j/(-35)). Suppose 0*v = 2*v - 2*u, -2*u = -b*v + 9. Solve v = -4*g - 5 for g.
-2
Let v(g) = 2*g**2 + 54*g - 1. Let w be v(-27). Let m be -2*(-4 - 14/(-4)) - w. Solve -3*q = m*q for q.
0
Suppose -a + 3 = 1. Suppose 0 = -a*c + i - 1, 3*c = i - 0*i - 1. Solve c*g + g + 2 = 0 for g.
-2
Let v be (-27 + -1)/4 - 48/(-4). Solve 0 = v*o - 7*o + 10 for o.
5
Suppose -45 = -4*m - t, 5*t - 35 = 13*m - 14*m. Solve 22 - m = 4*q for q.
3
Let c be 1/3 - (-11)/3. Suppose 0 = 10*x - 23*x + 30*x. Let w = 1 - -2. Solve -b + c - w = x for b.
1
Let m(k) = k + 13. Suppose -4*i = 2*t - 0 + 2, -3*t - i - 23 = 0. Let h be m(t). Suppose 7*f - 6 = h*f. Solve p + 1 = f*p for p.
1
Let b = 10 + -15. Suppose -c - 18 + 26 = 0. Let t = b + c. Solve 2*k = -t*k + 15 for k.
3
Let g(c) = c + 5. Let v be g(-5). Suppose -2*h - 3*d + 19 = 0, -h - d - d + 11 = v. Suppose t - 1 = h. Solve -t*a = -a for a.
0
Let a(i) = i**2 + 10*i - 37. Let x be a(-13). Let c(v) = 7*v - 10. Let w be c(x). Solve 0 = w*o - 6 - 6 for o.
3
Suppose -4*i = -5*c - 20, 3*c + 4 = -3*i + 2*c. Suppose u + 2*u = 0. Let t be -7*3/(-21)*9. Solve u = -i*b - 3*b - t for b.
-3
Suppose -3 = 2*d - 17. Let k(q) = 2*q + 2. Let h be k(d). Suppose -m - 3*f + 26 = 4*m, 18 = 4*m + f. Solve 3*l - m = -h for l.
-4
Suppose 3 - 7 = -2*b. Let o(j) = j**3 + j**2 - 2*j - 1. Let a be o(b). Let g(l) = l + 1. Let v be g(a). Solve 0 = -2*u - 2 + v for u.
3
Let q = -223 - -229. Solve 5*w = 2*w - q for w.
-2
Let h = 995 + -993. Let f(n) = 0 - n - 2 + 1. Let u be f(-5). Solve 0 = h*c + 2 - u for c.
1
Suppose 0 = 4*x + 7 - 35. Solve 2*d - x*d = 15 for d.
-3
Suppose -12 = -j - n, 5*j - 11*n - 60 = -8*n. Solve 0 - j = 6*g for g.
-2
Let a be -19 - (-4)/(2 + -3). Let u = a - -21. Let i be 6/12 - u/4. Solve -3*b + 5 + i = 0 for b.
2
Suppose 4*k = i - 6*i - 75, -k - 21 = 2*i. Let u be (18/k)/((-4)/10). Suppose -2*f + 41 = 5*p, 4*f + u*p - 6*p - 121 = 0. Solve 4*q - f = -8 for q.
5
Let c be ((-3 - -2)/2)/(1/(-10)). Suppose -o - 2*o = 5*u - 31, -5*o = -u - c. Solve -2*w + w = u for w.
-5
Suppose 5*y + 4*v = v + 117, 2*y - 3*v = 51. Suppose 3*z + 3*d - y = 0, -4*d + 8*d - 4 = 3*z. Solve 3*a = z*a + 5 for a.
-5
Suppose 0 = 2*g - 8. Suppose h = -g + 8. Solve -5*l + h = -1 for l.
1
Let s = 7 + -3. Let c be 2*1/s*6. Suppose -2*x = 5*o - 15, 7 - 24 = -2*o - c*x. Solve 8 = -3*w - o for w.
-3
Let b be 2 + -4 + -1 + 9. Let o be (5 - 12/2) + (-33)/(-3). Solve 0 = b*g - g + o for g.
-2
Suppose 4*q = 8, -2*q + 4 = 5*f + 10. Let y be 4*(f + 1)*8/(-16). Solve y*g - 4*g + 4 = 0 for g.
2
Suppose 6*i - 58 = -40. Solve i*f + 8 = 20 for f.
4
Let g(d) = d + 1. Let m be g(1). Suppose m*q = 10 + 4. Let k(r) = 18*r - 178. Let f be k(10). Solve 0 = -f*i + q*i for i.
0
Let x = 83 - 41. Suppose -x = -4*i - 14. Solve 2*l - i = 1 for l.
4
Suppose -94 + 55 = -13*t. Solve -t*w = -22 + 22 for w.
0
Suppose 3*r - 4*n - 24 = 0, -5*r + 2*n + 57 = n. Solve 9*d - r = 5*d for d.
3
Suppose 0 = -5*v - 2*a + 8, -3*v + 27 - 7 = 5*a. Solve v*y = -4*y for y.
0
Let i be (-714)/(-14) - (1 - 0 - -3). Suppose -42*l + i*l = 10. Solve -l*s = 3*s for s.
0
Let r(o) = 7*o**2 + o + 3. Let n be r(2). Let s = n + -31. Solve s = -v - 3 for v.
-5
Let r be (4/6)/(4/6). Let q(c) = c + 7*c - 1 - c**2 - 4*c. Let l be q(2). Solve l*y - 4*y = -r for y.
1
Suppose -3*b - 2*x + 16 = 0, -5*b - 19 + 4 = -5*x. Let i be (-2 + 7/2)*b. Suppose -h + 2 = 4*u - i, -3*u + 20 = 4*h. Solve -h*w - 31 = -6 for w.
-5
Suppose 200*w - 40 = 190*w. Solve w*r - 7*r = 0 for r.
0
Let d(t) = -t**3 + 3*t**2 + 2*t + 2. Let b be d(3). Solve 18 - b = 10*g for g.
1
Let i(a) = a**3 + 6*a**2 + 5*a + 5. Suppose 3*s = 2*s - 4. Let c be i(s). Suppose 2*d = c + 3. Solve -d = -2*v + 4*v for v.
-5
Let s(p) = 46*p**2 + 1. Let o be s(-1). Suppose 0 = -3*g - 5*t + o, 0*t - 5*t + 38 = 2*g. Solve 3*a - 6 = g for a.
5
Let q be 27/2 - (-22)/176*20. Suppose -4*u - h - 4 = -5*h, 0 = 2*h. Let y be (u/(-3))/((-2)/(-6)). Solve y - q = 3*l for l.
-5
Let p = 1352 - 1352. Solve p = -18*c + 49*c - 31 for c.
1
Let w(f) be the third derivative of 5*f**4/24 - 5*f**3/2 - 3*f**2. Let o be w(5). Solve -5*s + 10 = -o for s.
4
Let z = 97 + -95. Suppose -4*t + 4*o = 0, -3*t = 7*o - 2*o. Solve t = g - z*g for g.
0
Suppose -232 = 310*b - 495 - 977. Let r be -1 - (1*8)/(-2). Let k be (-1)/r + 1/3. Solve k*g = g + b for g.
-4
Suppose -3*a + 5*v + 41 = 0, -4*a + 0*v - 2*v = -46. Solve 15*h - a*h = 9 for h.
3
Let g be (20/35 - 24/42)/(-1). Solve -8*l - 8 + 24 = g for l.
2
Suppose -3*a + 4*k + 27 = 0, -5*k - 2 = 3*a - 29. Solve -a*x - 5 = -10*x for x.
5
Let z(c) = 53*c - 528. Let m be z(10). Solve 0 = m*w + 71 - 77 for w.
3
Let q(x) = x - 14. Let j be q(6). Let a = 8 + j. Suppose 0 = -5*b + 3*z - a*z - 5, 3*z - 15 = 0. Solve b*h - 20 = 7*h for h.
-4
Suppose 4*z = -5*c - 18 + 3, -3*c + z + 8 = 0. Let t = 1 - c. Suppose 0 = -3*q - 3, 4*j + 5*q - 10 = 13. Solve 2*p - j - 3 = t for p.
5
Suppose -21 = -5*c - 5*u + 14, 3*u = -4*c + 31. Suppose 5*f - 13 = b, 4*b - c = -b. Solve -f*o - o + 16 = 0 for o.
4
Let w(z) = z**3 + 4*z**2 - 7*z - 18. Let q be 2 + -3 + -2 - 1. Let o be w(q). Solve o = 4*n + n for n.
2
Let c(p) = -p**2 + 14*p + 16. Let d be c(15). Suppose 4*i - 4 = 2*i. Let v be d*i/(-4)*-28. Solve 3*j - 5 = -v for j.
-3
Suppose f - 5*f - 3*s = -29, 0 = -3*f + 3*s + 27. Suppose 5*b + 35 = -45. Let q be (-3)/(4/(b/6)). Solve -2 = -q*t + f for t.
5
Let d = 3 - 0. Let s be (-6)/(-15) + 90/25. Suppose s*p - 12 = 32. Solve d*j - 1 = p for j.
4
Suppose -45*u + 5 = -40*u. Suppose j + 0*j = 0. Suppose 5*g = -15, d + j + 7 = -4*g. Solve -u = 2*s - d for s.
2
Suppose -4*q + 20 = 0, 0 = 2*w - 5*w - q + 5. Let r be (3 - 2)*(0 + w). Suppose -8*d + 9*d - 2 = r. Solve h + 0 = -d for h.
-2
Let w be 1/(-2)*(0 + -6). Suppose -9 = -w*j + 9. Solve -q = -j + 3 for q.
3
Let g(d) = d**3 - 7*d**2 - 10*d + 6. Let n be g(8). Let h be (-28)/n + 5/25. Solve y + 0*y = h for y.
3
Let u be 1 + 2/(0 - 2). Let s = 22 + -26. Let g be 1/(-7) + s/(-42)*96. Solve 3*a + u = -g for a.
-3
Let o be (-24)/280*5*-21. Solve -3 + o = 2*g for g.
3
Let o = -109 + 109. Solve 0 = 2*d - o*d + 10 for d.
-5
Suppose 183 = -8*f - 273. Let v = 65 + f. Solve 3*q - 4 = v for q.
4
Let i(b) = -55*b - 100. Let n be i(-2). Solve 2*o = -n + 12 for o.
1
Let x = 10 + -5. Suppose 14 = 4*c + 2. Solve -x = -c*p - 2 for p.
1
Let g = 459 - 455. Let i be 1*27 + 4 + -6. Solve -g*m - i = m for m.
-5
Let c be 70 + -73 + 18 + 0. Solve 4*p = c - 27 for p.
-3
Suppose 4*c = 3*l - 26, 0 = -3*l + 3*c + 27. Suppose -4*f = 4*i - 20, 23*f - 19*f - 5*i - 11 = 0. Let s = l - f. Solve -g + s = -4*g for g.
-2
Suppose 2*h - 4*u = 6*h - 20, 5*u = 5*h - 35. Suppose -h*w + 15 = -3. Solve -6 = -w*y - 0*y for y.
2
Let q(s) = 14 + 6*s - s - 4*s. Let u be q(-12). Solve 7*m + 25 = u*m for m.
-5
Let d be 1 - ((-1)/(-3))/((-2)/6). Suppose 2 = -d*s, -q - s = 2*s. Solve 3*c + 0 + q = 0 for c.
-1
Suppose -3*u = 15, 0 = -3*v - 5*u + 3*u - 1. Solve -v*h + h = 0 for h.
0
Let u(m) = m + 14 + m**2 - 5 + 8*m. Let j be u(-10). Suppose -3*t = 10 - j. Solve t*y = -2 - 4 for y.
-2
Suppose -6*l = -3*l. Suppose -7 = d - 2*s, -6*d + 9*d + s - 14 = l. Solve 0 = -3*n - d - 12 for n.
-5
Let f(z) = -2*z**2 + 22*z + 24. Let a be f(12). Solve a = -4*g + g + g for g.
0
Let n be 9/((-8)/(-8)) + -5. Let i = 0 - 0. Suppose -n + 2 = -z - 2*f, i = z + 3*f - 1. Solve 2*h = 4*h - z for h.
2
Suppose -5*b - 4*f + 11 - 7 = 0, 0 = 5*b - 5*f - 40. Solve -b*l + 3 = -l for l.
1
Suppose -3*z - 9*g = -5*g - 18, 5*z - 2*g = 56. Solve -141*b = -143*b + z for b.
5
Let y(z) = -z**2 - 2*z + 6. Let q be y(-3). Let x be (-2)/(-4)*0 - -31. Suppose 5*b = t - x, b - 10 = -5*t - 3*b. Solve -3*s + q = -t for s.
3
Suppos