 3*l - j for l.
1
Suppose 10*i = 19*i. Solve i = -5*y - 25 for y.
-5
Let b = 23 + -15. Solve -b*w = -3*w + 20 for w.
-4
Suppose -3*k - 4*k + 21 = 0. Solve -k*t - 1 = -4*t for t.
1
Let w(g) = g**3 + 3*g**2 - 2*g + 2. Let q be w(-3). Let x(j) = j**2 - 9*j + 12. Let r be x(q). Solve -l = r - 2 for l.
-2
Suppose -3*w - a + 6 = -4, 14 = 3*w + 2*a. Solve 3*v + w = 5 for v.
1
Suppose -4*y - 124 = -488. Suppose 5*k + 113 = 4*n - 0*n, 3*n - 5*k - y = 0. Suppose 0 = 5*b - n + 2. Solve -2*g + 6 = -b for g.
5
Let b(t) = t**2 - 5*t - 4. Let o be b(6). Suppose -5*g - 15 = o*r + 2*r, -2*r + 15 = -5*g. Suppose r = 2*q - 2, -y + 3 + 10 = -3*q. Solve -4*s + y = -0*s for s.
4
Let w be 1 + -2 + (5 + 2 - 4). Solve 2*v = -12 + w for v.
-5
Let i(h) = -h**3 + 7*h**2 - 7*h + 10. Let r be i(6). Solve y - 25 = -r*y for y.
5
Suppose -2*b - 1 = -5. Solve k + b = -2 for k.
-4
Let t be (-2)/3 - ((-464)/(-3))/(-16). Solve 5*s - t = 2*s for s.
3
Suppose 4*z - 3*z - 3*r = 32, -4*r = 5*z - 179. Solve 5*i + z = 10 for i.
-5
Let m(s) = -s**3 - s**2. Let c be m(-2). Suppose n = c - 1. Solve 2*u + 25 = -n*u for u.
-5
Let r(v) be the first derivative of -3*v - 3*v**2 + 4*v**2 - 5 + 3. Let a be r(4). Solve 23 = a*g + 3 for g.
4
Suppose 0 = -j + 1 + 2. Suppose -j*x = 3*l - 30, -l = 3*x - 6*l - 30. Suppose 0 = 2*h - h - x. Solve 6 = -4*p - h for p.
-4
Let u(y) be the first derivative of y**2/2 - y - 2. Let q be u(7). Solve -4*t + t = q for t.
-2
Let t = -49 - -51. Solve 0 = 2*o + t + 8 for o.
-5
Suppose p + 0 = 5. Suppose 8 = f + p. Suppose h - 2*h = -2. Solve -20 = -f*b - h*b for b.
4
Let y(r) = 5*r - 13. Let a be y(3). Solve 0 = 2*x + a*x for x.
0
Let h be (12/4 + -2)/1. Solve 0 = k + 6 - h for k.
-5
Suppose 0 = -z + 7 - 3. Solve z*g - 15 = g for g.
5
Suppose 31 = 4*g + 5*h, -5*h - 4 = -19. Solve 0 = p + 5 - g for p.
-1
Let m = -9 - -12. Let y be 0*(-4 + m)/2. Solve y*p - 2*p = 0 for p.
0
Let r = -1 - -4. Let h(q) = -q + q**3 + 0*q**3 - 4 + 0*q - 2*q**2. Let u be h(r). Solve 4 = u*m + 12 for m.
-4
Suppose h + 3*m + 2*m - 4 = 0, -h + 4 = -2*m. Solve 3*v = h*v - 3 for v.
3
Suppose 2*d + 0*b - 18 = -2*b, d - 4 = 4*b. Suppose -3*v + 7 = -d. Solve v*q - 4 = -29 for q.
-5
Let c(g) = g - 1. Suppose 4*o = 2*t + 28, 4*o + 0*t + t - 40 = 0. Let d = o - 5. Let k be c(d). Solve k*p + 5 = 2 for p.
-1
Let j = -5 - 3. Let u = j - -6. Let k = u + 6. Solve c = k*c + 9 for c.
-3
Let p(s) = s**2 + s + 5. Let g(o) = -o**2 - 2*o - 1. Let j be g(-1). Let l be p(j). Solve 4 = l*r - 4*r for r.
4
Let k = 0 + 5. Suppose -k*z + 4 = 14. Let p be 4/(-10) + z/(-5). Solve p*x = 2*x for x.
0
Suppose 0 = 2*y + 5*t - 35, -t + 3 + 7 = y. Solve -y = -2*m + m for m.
5
Let l = -4 - -7. Suppose l*u - 3 = 6. Solve -u*p - 6 = -0*p for p.
-2
Let m = 9 - 8. Let k be 1/(m/(-9)*-3). Suppose 2*x + 3*u + 3 = 0, -2*u = -k*x - 3*u + 13. Solve -x*o - 5 = -o for o.
-1
Let n be (-2)/((-5)/(45/(-6))). Let q(i) = -i**3 - 2*i**2 + 2*i - 3. Let a be q(n). Solve 2*j - 7*j + 5 = a for j.
1
Let w = -43 - -46. Solve -14 = w*u - 2 for u.
-4
Suppose 0 = -0*l + 8*l. Let d = -1 + 4. Solve l*c = -d*c for c.
0
Let z(b) = 5*b + 7. Let w(g) = -g + 1. Let i(j) = 4*w(j) + z(j). Let n be i(-8). Solve 2*x = -n*x for x.
0
Let k(j) = -3*j. Let w be k(-4). Let f be (-1)/3 + 4/w. Suppose 4 = 4*t + 3*l, f*t + 4*l = 5*t - 36. Solve t = x + x for x.
2
Let p(z) = 3*z - 44. Let h be p(18). Solve h*u = 6*u + 4 for u.
1
Let b(d) = 7*d - 13. Let l be b(4). Solve l = -2*w + 5 for w.
-5
Let o = -1 + 6. Suppose 0 = -p + o*n + 25, 2*p - 3*n - n - 32 = 0. Let f be (-8)/p*15/(-6). Solve -5*w + f*w - 15 = 0 for w.
-5
Let h(v) = -v + 2. Let f be h(2). Let m be (0 - 0)/(1 + f). Solve m*i = 5*i + 15 for i.
-3
Let w be 27/(-45) - (-128)/5. Solve 3*g + 2*g = -w for g.
-5
Let v(d) = -d**3 - 11*d**2 - 3*d. Let c(j) = 2*j**3 + 23*j**2 + 7*j + 1. Let y(o) = 3*c(o) + 7*v(o). Let u be y(-8). Solve u*n = 2*n - 3 for n.
-3
Let t(p) = -3*p + 10. Let l(m) = 4*m - 10. Let h(s) = 2*l(s) + 3*t(s). Let i be h(8). Solve g + i*g = -12 for g.
-4
Let l be (0/(-3))/(5 - (-3 + 7)). Solve l = -5*w + 9 + 6 for w.
3
Suppose 3*k = 2*k. Let m = -8 - -10. Suppose 4*w = 4, m*x - 5*w - 35 = -0*w. Solve k*f + x = 5*f for f.
4
Let b(n) = -n**2 - 2*n. Let v be b(-2). Suppose 3*a - 18 = -3*i, v = 4*a + 2*i - 9 - 23. Solve -z = z - a for z.
5
Let r(k) = 2*k**3 - 37*k**2 - 19*k + 4. Let v be r(19). Solve -v*t - 22 = -6 for t.
-4
Let p(x) = x - 2. Let t be p(5). Suppose 5*d - m - 19 = 0, 0*m + 3*m - t = 0. Solve -d*w - 7 = 5 for w.
-3
Suppose b = -1 + 4. Suppose 7 = 2*v + 3*s, 2*s + b + 14 = 3*v. Solve v*x - 10 = 15 for x.
5
Let z be 1/(-3) - (-8)/6. Solve -5*a + 6 = z for a.
1
Let k = -4 - 1. Let c = -5 - k. Solve -5*x = -c + 25 for x.
-5
Let x be -3 - 5/(10/(-16)). Suppose -2*w + 0 = 4*j + 6, -4*w = -x*j - 27. Solve 6*z + 15 = w*z for z.
-5
Let i(d) = 4*d + 21. Let u be i(-4). Solve 29 = u*o + 4 for o.
5
Let r = -10 + 16. Solve r = u - 4*u for u.
-2
Let x(n) = -n**2 + 10*n + 16. Let a be x(11). Solve 0*l - l + a = 0 for l.
5
Let m be 5060/414 - (11/9 - 1). Solve 0 = 3*a + a - m for a.
3
Let k be 1 - (-5)/(-5 - -10). Let q = -3 - -3. Solve r = -q - k for r.
-2
Let f(i) = 44*i**2 + i. Let q(p) = p**2 - 4*p + 3. Let n be q(2). Let z be f(n). Let x = z - 31. Solve -3*r = r + x for r.
-3
Let g be ((-172)/(-22) - 2) + 2/11. Solve g = -2*b - 4 for b.
-5
Suppose -w - 3*c + 12 = 0, 7*w = 4*w - c + 36. Suppose -4*n - 4 = -6*n. Solve n*z = -2*z - w for z.
-3
Suppose -4*d + 32 = -4*y, -3*d + 3*y = -d - 14. Solve -3*o + 8*o = d for o.
2
Let i(n) = n**2 - n. Let o be i(-1). Let t = 3 - o. Let w = t + 1. Solve 0 = -w*b - b + 6 for b.
2
Let t be ((-5)/(-15))/(1/18). Let j be (7/2 + -2)*12. Suppose -3*g = d - j, 3*g - t*g + 5*d + 18 = 0. Solve 4*x - 14 = -g for x.
2
Suppose 19 = -5*i + 4*h - 4, 2 = h. Let t = i - -10. Solve -t*u = -2*u for u.
0
Suppose 2*c + c - 2*x - 38 = 0, -4*c = 4*x - 84. Suppose 6*r - 2*r = 8. Solve r*d - c = -2*d for d.
4
Suppose -5*r + 48 = -2*r. Suppose -40 = 5*v - n, -4*v + n - 7 = 25. Let h = r + v. Solve -w = 3*w + h for w.
-2
Let u = -15 - 35. Let m be 2/(-8) + u/(-8). Solve -m = -w - 3 for w.
3
Suppose 0 = -3*h + 4*h - 3. Let w be 1/h + 7/(-3). Let t be 6/(-2)*2/w. Solve f + 5 = t for f.
-2
Let a = 0 - 0. Let t(r) = -r**3 - 12*r**2 - 12*r - 10. Let i be t(-11). Let k be 1*a/(i + -2). Solve k = w + w - 10 for w.
5
Let g(j) = j**2 + 4*j + 1. Let w be g(-4). Let n be 1*((-1)/w - -2). Solve -y = -2*y + n for y.
1
Let b(x) = -4*x - 28. Let w be b(-7). Solve w = -2*o - 0 - 6 for o.
-3
Let q(g) be the first derivative of 7*g**2/2 + g - 2. Let f be q(1). Solve 4*u - f*u + 8 = 0 for u.
2
Let f be 4/5 - 336/(-30). Solve f - 37 = 5*k for k.
-5
Let u = 9 + -4. Let f = -2 + u. Let h be 19/f*3 - 2. Solve -3*r - h = -5 for r.
-4
Let w = -78 + 81. Solve -w*c - 2*c = 15 for c.
-3
Let j(x) = -x**3 - 12*x**2 - 11*x + 5. Let y = -1 - 10. Let f be j(y). Suppose -s + 1 = -f. Solve 0*a + s = 2*a for a.
3
Let x(y) = -2*y**2 + 3*y - 10. Let q(k) = -k + 1. Let w(z) = -6*q(z) - x(z). Let b be w(-3). Let m = b - -12. Solve -6*g + g + m = 0 for g.
5
Let x(u) = -3*u - 9. Let p be x(-7). Solve -2*t = t + p for t.
-4
Suppose 3*p + 2*c - 16 = 3*c, 2*c + 4 = -p. Let n be ((-10)/p - -2)*0. Solve -4*d - 13 + 1 = n for d.
-3
Let x(c) = -c + 7. Let l be x(4). Solve 8 - 2 = l*r for r.
2
Suppose 2*r = -2*r + 248. Suppose 3*l - r = -l - p, 3*l - 55 = -5*p. Suppose 38 = 3*k - 4*n, -k + 2*n + 10 + 6 = 0. Solve a - l = k*a for a.
-3
Suppose -2*z = -2*i - 12, -z = i - 3*i - 2. Solve -5*x = 15 + z for x.
-5
Let b(h) = h**3 + 4*h**2 - h + 2. Let y be b(-5). Let i = y + 38. Solve -2*d + i = 2*d for d.
5
Let m(v) = -v**3 - 8*v**2 - 6*v + 9. Let s be m(-7). Let y = s + -2. Solve y = -c - 2*c for c.
0
Let c = 9 + -6. Let g be 0/(-4 + (c - 3)). Solve g = 2*o - o - 4 for o.
4
Let h(k) = k**3 - 1. Suppose 2*x + 0*x - 3 = -5*i, -5*i + 5*x + 10 = 0. Let r be h(i). Let b be 3/(r - 6/(-4)). Solve m + m = b for m.
1
Let a be (147/(-12))/((-1)/4). Suppose 2*v = -4*p + p + a, -2*p + 22 = -4*v. Solve -3*c + p = -8*c for c.
-3
Suppose 4*o - 2 - 6 = 0. Solve -o*w + 12 = -6*w for w.
-3
Let q(y) = -y**2 + 7*y + 10. Let j be q(8). Solve -j*f + 4 = 6 for f.
-1
Let i(w) = w**3 + 3*w**2 - w + 2. Let r be i(-3). Suppose v + 0*v + r = j, 0 = -3*j + v + 9. Let b b