 + w for x.
4
Suppose 8 = 5*u - 7. Suppose -3*b + 0 - u = 3*h, 2*b = h + 13. Solve 11 = b*r - 5 for r.
4
Let w be (-2)/9 + (-112)/(-18) + -2. Solve 5 = -w*x - 11 for x.
-4
Suppose -5*f = -8*v + 3*v - 30, 1 = f + 4*v. Solve -f*x - 4 = -19 for x.
3
Let g(i) = -i**3 + 2*i**2 - 3*i + 1. Let l be g(2). Let w be (-96)/l + 7/(-35). Suppose 3*k - 16 = -k. Solve k*n + 1 = -w for n.
-5
Let c(x) = -x**3 - 4*x**2 + 20*x - 2. Let n be c(-7). Solve -n*k = -k for k.
0
Suppose -4*r + 13 = -r + 5*t, 2*r = 3*t + 15. Solve -5*l - 14 - r = 0 for l.
-4
Suppose 4*n = n - 4*a - 16, 0 = 4*n + 5*a + 20. Suppose -2*b = 2*b. Solve n*v + 2*v = b for v.
0
Suppose -2*r = -4*t + 3*t + 29, -5*r = 5*t - 115. Solve -t = -3*l - 2*l for l.
5
Let i be -3 - -2*(-3)/(-6). Let c be i - (-2 + 3*-7). Solve 1 = -4*k + c for k.
5
Let h(j) be the first derivative of j**3/3 - j**2 + 3*j + 4. Let l be h(3). Solve 4*f - l*f = 0 for f.
0
Let o be 3/(3/(-1 + 4)). Suppose 0 = b - o*b. Let h = 2 + b. Solve h = -5*n - 23 for n.
-5
Let y(i) = i**3 - 3*i**2 + i + 2. Suppose 2*s + 4 = 4*s. Let v be y(s). Suppose 0*z + m = -z + 6, 0 = z + 2*m - 7. Solve v*d = z*d - 10 for d.
2
Let s be 0 - (3 + -4 + 1). Suppose s = -0*y + y - 4. Solve y*k + 24 = 8 for k.
-4
Let h be (21/(-2))/7*-2. Suppose 8*z - h*f = 3*z - 2, 4*f - 18 = -z. Solve -z*g = 3*g + 5 for g.
-1
Suppose 6*d - 34 = -5*v + 2*d, 4*v - 24 = -4*d. Let n = 16 - v. Solve 0 = 3*u - n*u - 6 for u.
-2
Let s be (1 + 0 + -1)/1. Let p(a) = -a**2 + 3. Let n be p(-3). Let j be (-1)/n - (-17)/6. Solve s = -j*w + w - 2 for w.
-1
Let x(k) = -2*k - 4. Let m be x(-2). Solve v - 4*v = m for v.
0
Let c be (-17)/(-5) + (-2)/5. Suppose 2*z = -4*r, -2*z + 1 = c*r - 0. Solve -6 = -j - z for j.
4
Suppose 0 = -4*n + 5*x + 26, -3*x - 2 - 4 = 0. Solve 5*k - n*k - 1 = 0 for k.
1
Suppose -5*p - 2*j + 16 = 0, -j - 25 = -5*p - 6*j. Suppose -k = 4*g + 12, -p*g - 2 = 5*k + 4. Suppose 0 = -k*r + r - 2. Solve -c - r = -5 for c.
3
Let m(l) be the first derivative of -l**4/2 + l**3/3 + l**2/2 + 2*l - 2. Let v be m(-2). Solve 2*r + 3*r - v = 0 for r.
4
Let t be (-16)/(-10)*5/2. Suppose 0 = -l - 5*p + 1 - t, 0 = l + p - 9. Solve y - l = -2*y for y.
4
Let f be (-3)/((0 + -1)*1). Suppose f*g - 8 = 4. Suppose -3*q - 1 = -19. Solve -g*c + q = -c for c.
2
Let q be (-2 - -1)*-1 - -49. Suppose 5 - 2 = z. Suppose q = z*m + 2*m. Solve b + m = -b for b.
-5
Let l be -1 + 19 - (-9)/(-3). Suppose -4*h - l + 55 = 0. Solve z + h = -z for z.
-5
Let o(g) = -4*g - 3. Let b be o(-2). Let n(p) = 3*p - 3. Let u be n(b). Let z = 22 - u. Solve -3*m + 2 = -z for m.
4
Let j(y) = -y**2 - y + 3. Let b be j(-4). Let z be 2*b/(-12)*2. Solve -5 = 2*q + z for q.
-4
Let z = -5 - -8. Let f be (-100)/(-16) - 1/4. Solve z - f = c for c.
-3
Let q(c) = 2*c**2 - c + 1. Let i be q(2). Let z(r) = -3*r - 1. Let l(w) = -8*w - 3. Let h(j) = 4*l(j) - 11*z(j). Let k be h(i). Solve -2*x = -k - 2 for x.
4
Let b = 6 + -10. Let k be 16 + (-2)/(-1) + b. Suppose 4*y + 2 = k. Solve -3*u = -2*u + y for u.
-3
Let n(c) = c**3 - 4*c**2 + 3*c - 10. Let i be n(4). Solve -2*m = i - 0 for m.
-1
Suppose 2 = 4*q - 6. Suppose -4*l + 5*b = -95, 7*b + 15 = q*b. Suppose 0 = s + 2*s. Solve 5*z + s*z = l for z.
4
Suppose 4*c - 5*h = 22, 5*c + 5*h = 9 + 41. Let i = 28 - c. Solve 4*m + i = 4 for m.
-4
Suppose 30 = c + c. Let k be 1*-2 + (10 - 5). Suppose -4*x + 7 = -3*d, x = -2*d - 0*d + 10. Solve -d = -k*a - c for a.
-4
Let n = -25 - -39. Let d be 3/9 + n/(-6). Let j be (0*(d - -1))/(-1). Solve 4*l - 9 - 3 = j for l.
3
Let k = -15 - -15. Solve -2*l - 4 = -k*l for l.
-2
Suppose 4*x + x = 0. Let n be 2 + x/(3 - 2). Solve -2 - n = 4*u for u.
-1
Suppose -4*v - t = -6 - 7, -v = -2*t - 10. Suppose -4*w + 5*q + 22 = 0, -3*w + 21 = -v*q + 4. Let s = 1 + w. Solve -5*i + s = 29 for i.
-5
Let y = -10 + 13. Suppose 19 = 4*k + y. Solve -k*h - 15 - 1 = 0 for h.
-4
Suppose -11 - 45 = -4*a. Let n be a/(-6)*-4*3. Let t = n + -14. Solve t - 5 = -3*q for q.
-3
Suppose 5*n = -10 + 25. Solve -n*y + 2*y = -5 for y.
5
Suppose g - 5*m + 5 = 0, g + g - 18 = -4*m. Suppose -1 = -a + g. Solve -x - 2*x + a = 0 for x.
2
Let b(g) = 6*g**3 - 5*g + 4. Let w be b(1). Solve -4*v - 9 + w = 0 for v.
-1
Let d be ((-4)/6)/((-4)/18). Let f(a) = 2*a**2 + 51*a - 21. Let m be f(-26). Solve -d*p = -m*p + 6 for p.
3
Let r = 0 - 2. Let t = 10 + r. Let o = 11 - t. Solve 3 + o = 3*b for b.
2
Let m = -1 - -13. Solve 0 = -d - 2*d - m for d.
-4
Let r be (-1)/3 - (-182)/6. Let n(f) = -6*f - 28. Let y(u) = 5*u + 27. Let v(g) = 6*n(g) + 7*y(g). Let j be v(11). Solve -4*s - j = -r for s.
5
Suppose -5*f + 5 + 55 = 0. Suppose 2*x = -x + f. Solve -x*p + 2 = 14 for p.
-3
Let p be ((-13)/39)/(1/(-3)). Let t be (2 - 2) + -2 + 2. Solve t = z + p for z.
-1
Let b = -56 - -61. Solve -5*q + 0*q = -b for q.
1
Let r = -63 - -65. Solve 0 = -r*f - 0*f + 10 for f.
5
Let l(d) = 2 + 1 + 3*d**2 - d**3 + 1 + 3*d. Let q(b) = -b**2 - 3*b + 4. Let r be q(-3). Let w be l(r). Solve z - 3*z = w for z.
0
Let c(z) = 7*z**2 + 5*z - 3. Let i be c(4). Let b be i/27 - 2/(-9). Suppose b*f = f + 12. Solve -2 = f*n - n for n.
-1
Let g be 3*2/(-24)*-12. Solve f = 2 + g for f.
5
Let m be 0/(-3 - 0 - -5). Solve -3*r + 0 - 9 = m for r.
-3
Let b be (-3)/5 + (-348)/(-30). Let w = 13 - b. Suppose -4 = 3*q - 4*q. Solve 3*a + q = -w for a.
-2
Suppose 2*o + 3*c = -c + 8, -3 = -2*o + c. Solve -o*b + 1 = -b for b.
1
Let i(c) = -c**3 - 5*c**2 - 4*c + 1. Let z be i(-4). Suppose -3*o + z = -5. Solve 3*u - 4 = o for u.
2
Suppose 4*i = 3*i - 37. Let k = -25 - i. Solve -3*j - k = 3 for j.
-5
Let k be 39/(-26)*(-2 + 0). Solve k*n = 9 + 6 for n.
5
Let t(q) = -7*q**3 + 2*q**2 + 5*q + 4. Let o be t(-1). Solve 5*r - r = -o for r.
-2
Suppose 70 = b + 4*b + 5*o, -31 = -4*b + o. Let c be -8 - (-1)/2*4. Let h = c + b. Solve h*a = a - 6 for a.
-3
Suppose 0 = -5*k - 7 + 67. Solve -3*s + 0*s = -k for s.
4
Suppose 0 = -14*v + 19*v - 5. Solve 4*o = v + 3 for o.
1
Let r = -22 - -25. Solve 9 = -r*j - 0 for j.
-3
Let x(i) = -7*i**2 + 10*i - 2. Let j(l) = 15*l**2 - 21*l + 5. Let v(w) = -6*j(w) - 13*x(w). Let f be v(4). Let t = 6 + f. Solve t*o = -o for o.
0
Let o = -4 - -7. Suppose o*t = -t + 32. Solve -3*a = a + t for a.
-2
Suppose -2*n + 3*o = -6, 2*n - 6 = o - 0. Let b be (-1)/(2 - n) - 1. Let k be b + 3 + -2 - -14. Solve 0 = -5*h + 2*h + k for h.
5
Suppose 2*h = -3*o - 11 - 17, 0 = -o - 3*h - 21. Let f = -2 - o. Solve 8 - 28 = -f*u for u.
5
Let r = -5 - -2. Let g = 7 + r. Suppose -36 = -3*m + 4*l + 14, 5*l = 3*m - 49. Solve -g*t = m + 2 for t.
-5
Suppose -4*x + 4 = -2*x. Suppose 4*v - x = 10. Solve s = v*s - 10 for s.
5
Let f(q) = -23*q - 11. Let c(g) be the first derivative of -4*g**2 - 4*g - 2. Let k(m) = 8*c(m) - 3*f(m). Let s be k(1). Solve 3*n + s = 5*n for n.
3
Suppose 2*s - 8 = -0*s. Suppose -2*x + q = -8, -s + 13 = x - 3*q. Suppose 0 = x*d + d. Solve d = 2*r + 3 + 3 for r.
-3
Let o be 5/(10/(-6))*-1. Let l(q) = -6 + 6 + 0*q - q**3 + q + 8 - 7*q**2. Let y be l(-7). Solve o = -n + y for n.
-2
Let l(u) = 3*u**2 + 4*u - 1. Let s = 0 + 2. Let p(r) = -r**2 - 1. Let x(t) = s*p(t) + l(t). Let z be x(-5). Solve -1 = -m + z for m.
3
Suppose -2*w + 18 - 8 = 0. Solve -w*y + 3*y = -8 for y.
4
Let i = 0 - -1. Let h(q) be the second derivative of 4*q**3 + q**2/2 + 4*q. Let s be h(i). Solve r = -4*r + s for r.
5
Let g be (6/9)/((-4)/(-18)). Suppose r = -g*r. Solve -z + 3*z + 2 = r for z.
-1
Suppose 4*w = 3*o - 34, -3*o + 0*w - 5*w = -25. Suppose 8 = 12*x - o*x. Solve 2*p + 2*p = x for p.
1
Suppose 0 = i + 4 - 10. Let l be 1/3*2*i. Solve 0 = 4*x + 16 - l for x.
-3
Suppose 29 - 5 = 4*n. Suppose 4*u + n = -2*q - 0, 4*q + 2 = 2*u. Let y = 1 - u. Solve 3*a = -y*a + 5 for a.
1
Suppose 2 = -6*x + 26. Solve -x = -5*b - 29 for b.
-5
Let c = 0 + 8. Suppose -5 = -b + c. Suppose 4*j - 1 = m, -2*j + 3*m - 1 = -4. Solve j = 5*l + b + 7 for l.
-4
Suppose b + b = -10, 2*u = -5*b - 19. Solve u*k + 7 = -5 for k.
-4
Let g(i) = -2*i - 2. Let y be g(-2). Suppose -4*b = -4*m - 16, -3*m = -2*b - y*m + 9. Let d(u) = -7*u - 389. Let t be d(-57). Solve -t = -3*n + b for n.
5
Let j(s) = 0 + 4*s - 3*s**2 + 1 + 2*s**2. Let l(a) = -a**2 - 3*a + 3. Let w be l(-3). Let y be j(w). Solve y*r = 8*r + 12 for r.
-3
Suppose 4*z - 4*m = -3*m + 24, 4*m + 1 = -3*z. Solve 12 = z*a - 13 for a.
5
Let d be (2/(-3))