. Solve -x*j = 19 + 1 for j.
-4
Let i be (-2)/(-4)*-7*-4. Let f = -2 + 10. Let q = i - f. Solve b - 4*b = q for b.
-2
Let b = 4 + -2. Solve b*p = 3*p for p.
0
Let b be 5 - (-3 + (2 - -2)). Suppose 0*n = -b*n + 4. Let h be 1/((-1)/n)*-7. Solve -2*s + h*s = -15 for s.
-3
Let l be (-8)/(-5) - 4/(-10). Suppose -b - 1 + 2 = 0. Let s be ((-2 - -3) + l)*b. Solve 5*q - 8 = s*q for q.
4
Let i(c) = -2*c. Let b be i(-3). Suppose 39*l - 35*l = 8. Solve -4*z = -l + b for z.
-1
Let v(y) = 5*y + 7. Let o be v(-1). Solve 2*j = 6 + o for j.
4
Let d(r) = 2*r**2 + 9*r + 6. Let p be d(-4). Let g = 2 - 0. Solve -p = g*u - u for u.
-2
Let u(g) = 3*g - 54. Let f be u(22). Solve 0*l + 3*l = f for l.
4
Let k be 3/(-6) - 1/(-2). Solve 0 = 2*c + 8 - k for c.
-4
Let g(a) be the first derivative of a**3/3 + 3*a - 2. Let v be g(0). Suppose -v*b + 43 = b - 5*l, -14 = -b - 2*l. Solve n = -3*n + b for n.
3
Suppose 0 = g + 4*v - 20, 4*v = -4*g + v + 15. Solve g*d = -d for d.
0
Let n be 3 + 4/8*2. Suppose 0 = -4*c - n + 16. Solve -4*l - 4 = -c*l for l.
-4
Let d be 3*(-2)/(-6)*1. Let p be d*11 - (-2)/1. Solve 12 + p = 5*a for a.
5
Let u(o) = 23*o**2 + o. Let t be u(1). Let s be t/(-8)*10/(-6). Solve -s = 2*h - 13 for h.
4
Let b = 9 - 1. Suppose 5*h - b = h. Solve h + 4 = 3*l for l.
2
Suppose -4*j + 12 = 0, 2*o + 12 = 2*j - 28. Let h = o - -37. Let t = -13 + h. Solve -t*r - 15 = -2*r for r.
-3
Let q(c) = c**2 + 3*c + 6. Let o be q(-5). Solve 5*l - o + 6 = 0 for l.
2
Let x be 15*(24/(-10))/(-3). Suppose -3*d + x = -0. Solve 9*m - 15 = d*m for m.
3
Let f = -2 + 2. Suppose -3*m - 2*m + 20 = f. Suppose 0 = -2*t + m. Solve t*u = -0*u + 2 for u.
1
Let t = 133 - 129. Solve 0 = t*m + m for m.
0
Suppose -16 = -4*q - p, -4*q - 5*p - 1 + 17 = 0. Suppose -z - q*z + 4*a + 50 = 0, 0 = -5*a - 25. Suppose -2*c + 36 = 7*c. Solve -z = r - c*r for r.
2
Suppose 0 = -3*c + 14 - 5. Suppose -c*s = -5*s. Solve s*h = 5*h for h.
0
Suppose -5 = 5*r - 35. Let l = r + 4. Suppose -4*f + 2 = -l. Solve -3 = -f*j + 2*j for j.
3
Let b = -9 - 16. Let v = b + 18. Let h(q) = q**2 + 7*q + 4. Let g be h(v). Solve -9 = -o - g for o.
5
Suppose 0 = -y - b, 14 = 2*y - 6*y + 3*b. Let p be (y/(-8))/(5/20). Solve 2*v = 3*v - p for v.
1
Let v(w) = -5*w - 11. Let t(l) = 4*l + 10. Let u(d) = 4*t(d) + 3*v(d). Let b be u(-6). Let i be b/(-1)*(-3 + -5). Solve -4*g - i = 4 for g.
-3
Let s = 19 - 9. Let l = s - 6. Solve 0 = -5*y + l + 21 for y.
5
Suppose -2*v = 2*v. Suppose 5 = -2*y - 5*n - 10, 0 = 4*y + 5*n + 15. Suppose 4*m - m - 6 = y. Solve g + m - 1 = v for g.
-1
Let p = 17 - 16. Solve -4*b - p = 3 for b.
-1
Let z(t) be the third derivative of -t**4/12 - 7*t**3/6 - t**2. Let x = -148 - -143. Let a be z(x). Solve 0 = 3*s + 3 + a for s.
-2
Suppose y = 3 - 0. Solve -y*c - c = 4 for c.
-1
Let s(v) = -v + 6. Suppose 9*o = 4*o + 25. Let m be s(o). Solve -3 = -2*k + m for k.
2
Let w be (-2)/5 + (-2)/(-5). Let p(c) = c**2 - 13*c + 3. Let t be p(13). Solve w = t*n + n for n.
0
Let u(i) be the first derivative of i**3/3 + 11*i**2/2 + 15*i - 3. Let v be u(-10). Solve r - v*r = 16 for r.
-4
Let b = -50 + 57. Solve -3*q - 10 = -b for q.
-1
Let j(d) = d**3 + 3*d**2 - 3*d - 6. Let w be j(-3). Solve 2*z = 3*z + w for z.
-3
Let h = -26 - -30. Solve -2*j - 2*j = h for j.
-1
Let r be 84/6 - 2/2. Suppose r = 4*t + 5. Solve -h - t*h = 0 for h.
0
Let i(r) = r**2 + 18*r + 8. Let g be i(-18). Let s = -4 - 3. Let q = 11 + s. Solve -8*o + q*o = -g for o.
2
Let l be (2/4)/(2/24). Suppose 0 = -t + 5*f + 25, -t - f - 4*f + 25 = 0. Solve l*a - t = a for a.
5
Suppose 2 = m - 1. Suppose m*c = -c. Suppose c*z = -z. Solve z = -2*j - 4 for j.
-2
Let n = 4 + 0. Suppose h + 5 = 3*f, -h - 4*f = -25 - 5. Suppose -v - 4*v + h = 0, -3*u + 15 = 3*v. Solve -n = u*b + 8 for b.
-4
Let j be -11 + (-3 - -2) + -2. Let c = j + 20. Suppose 0 = 3*d - d. Solve d = -c*r + 3*r - 12 for r.
-4
Suppose y + 3*k = -0*y - 4, 0 = y - 2*k - 6. Solve v + y = -0 for v.
-2
Let y = -29 + 129. Suppose -w = -6*w + y. Let f be -6*-2*3/18. Solve 0 = -2*j - f*j - w for j.
-5
Let x(k) = 5*k**2 + 41*k - 28. Let g(q) = -q**2 - 10*q + 7. Let w(n) = 9*g(n) + 2*x(n). Let b be w(7). Solve -4*y - y = b for y.
0
Let g = 2 + 2. Let q(b) = b**2 - 3*b - 2. Let k be q(g). Suppose 0 = -2*v + v. Solve f + k*f + 9 = v for f.
-3
Let z(j) = j**2 + j + 1. Suppose -t + 2 = -2*t. Let s be z(t). Solve -s*y + 25 = 2*y for y.
5
Suppose h - 16 = -6. Let z = h - 4. Solve 5*i - z = 4 for i.
2
Suppose -5*p + 34 = -6. Let h = 4 - 1. Suppose -s + h*s = p. Solve 4 = -s*j + 3*j for j.
-4
Let y be (1 + -1)/(-5 - (-8)/2). Solve 4*o = -y*o - 16 for o.
-4
Let m be (0 - (2 + 2))/1. Let d = m + 8. Suppose d*l = 2*t - 10, 3*l = -2*t + 2*l. Solve 4*k + 19 = -t for k.
-5
Let n = 5 + -3. Let l be n - 0 - (-1 - -2). Let m(k) = 3*k. Let w be m(1). Solve -2*x + w = l for x.
1
Let o be ((-6)/(-4))/((-3)/(-4)). Suppose 0 = -o*t + 2 - 4. Let y be t/((5/(-6))/5). Solve -s - s = -y for s.
3
Let i(k) = -2 + k**2 - 4 + 3*k + 0*k + 2. Let x be i(-4). Solve b + 1 = -x for b.
-1
Let w = 50 - 48. Solve -w*g - g = 15 for g.
-5
Suppose -16 = -18*q + 14*q. Solve -31 = -q*s - 11 for s.
5
Let a(t) = 5*t - 3. Suppose 4*x + 2 = 14. Suppose 0*d = x*d - 9. Let l be a(d). Solve -3*v - l + 3 = 0 for v.
-3
Let m = -36 - -37. Solve -m = -4*s + 3 for s.
1
Let b(h) = h**3 - 2*h**2 + 2*h - 1. Let v be b(1). Solve v*n = n + 3 for n.
-3
Let h be (6 - 3)*(-2 + -1). Let c be (6/(-1))/(h/6). Solve -5*s + c + 21 = 0 for s.
5
Suppose 2*l = 3*k - 41, 3*k - 53 = -l - 3*l. Let b(d) = -d. Let z be b(2). Let y be (12/(-15))/(z/5). Solve -w - k = y*w for w.
-5
Suppose a - 16 = -3*a. Solve -a = v - 3*v for v.
2
Suppose -4 = p - 5*p. Let a be 4*(-12)/(-4 + p). Suppose a = h + 3*h. Solve 4*y + 16 = h for y.
-3
Suppose 0*i = -2*i. Suppose i = o - 3*o. Solve o = 2*z - 3*z + 4 for z.
4
Suppose -15 - 17 = -4*a. Solve -5*q = a + 12 for q.
-4
Let z = 2 - -1. Solve 0 = q - z*q for q.
0
Suppose z - 2*z + 3 = 0. Let a(l) = l + 6. Let x be a(-5). Let k be ((-2)/x - 1) + 6. Solve k*g = 12 + z for g.
5
Let y = -1 - -13. Solve 0 = -4*m + y for m.
3
Let i be 2 + 1 + 1/(-1). Let x(g) = 4*g + 2. Let y be x(i). Let a = y - 6. Solve -a*z = -15 - 1 for z.
4
Suppose 0 = 4*g + 5*y + 20, 3*y = -2*g - 0*y - 12. Let r = g - -12. Solve 2*p + r = -p for p.
-4
Let u = 11 - 11. Suppose 5*s - 147 = 3*w, -s + u*s + 4*w = -43. Suppose 5*t = 2*t + s. Solve -x = 2*x - t for x.
3
Suppose 0 = 22*l - 10 - 12. Solve o - 3 = l for o.
4
Let y = 2 - 0. Let a be 24/(-15)*15/y. Let u be ((-9)/a)/(2/16). Solve u = 4*r - 2 for r.
2
Suppose -4*y = -20 + 4. Solve -d = d + y for d.
-2
Let l(d) = d + 15. Let s be l(-3). Solve -2*q + 5*q = -s for q.
-4
Let n = 14 + -3. Solve -3*b - 2 = -n for b.
3
Suppose -5*r + 10*r + 20 = 4*q, 2*q = 2*r + 8. Let t be ((-4)/10)/(r/10). Solve -2*w + w - t = 0 for w.
-1
Let t be (2/4)/((-1)/(-34)). Suppose -5*o = r - t, 13 = -2*r + 3*r + 3*o. Solve 2*l + 1 - r = 0 for l.
3
Let k = 142 + 56. Let i be (k/(-77))/((-3)/14). Solve -5*p = i + 8 for p.
-4
Let l be (6/(-8) - (-6)/8) + 3. Solve -l*j + 2 = -2*j for j.
2
Let a(w) = w**2 + 7*w + 4. Let q be a(-7). Suppose 5*f = 3*t + 10, -f - f + q = -5*t. Solve -f*i + 7 = 1 for i.
3
Let a(b) be the first derivative of -b**2 - 2*b + 1. Let y be a(-2). Solve -3*g + y*g - 2 = 0 for g.
-2
Let j be 1 + -3 - 0 - -4. Let q = 40 - 37. Solve 7 = q*o - j for o.
3
Let a be ((-9)/6)/((-1)/2). Suppose -a*j + j = 4*u + 6, -9 = -5*j - 4*u. Solve 8*q = 3*q - j for q.
-1
Let s be (-10)/(-2)*(-5 - -6). Solve s*i - 6*i = -3 for i.
3
Let h(t) = t**3 - 7*t**2 - 9*t + 10. Let x be h(8). Let s be (-8)/(-3) + x/(-3). Solve -s*n = 2*n + 8 for n.
-2
Suppose -k - 25 + 27 = 0. Solve -k*i - 9 = -1 for i.
-4
Suppose 5 = p + 2*f - 3, f + 10 = 3*p. Solve -i = -p*i + 9 for i.
3
Let m(y) = -8*y**2 - y + 1. Let s be m(1). Let u(i) = i**2 + 7*i - 4. Let c be u(s). Solve -4*j = -4 - c for j.
2
Let r be -4 + 3 + 0 + 1. Suppose -5*x - 2*f - 3*f - 50 = r, -2*f + 22 = -5*x. Let z(j) = j**2 + 5*j - 6. Let o be z(x). Solve -k = -o + 2 for k.
-2
Let c be (28 - 12)/(0 - -1 - -1). Solve -w = w - c for w.
4
Let g(r) = r**2 + 2*r + 2. Let k be g(-2). Let p be ((-6)/12)/(k/(-40)). Let w be 10/15 - (-4)/(-6). Solve w = 4*u + p + 6 for u.
-4
Suppose -3*s + 16 = s. Suppose -4 = -3*m + f, -2*m - 11 = 4*f + 