Solve r = -r + w for r.
5
Let a = 17 - 20. Let y(o) = -o**2 - 4*o + 3. Let j be y(a). Solve l - j = -l for l.
3
Let a be (-32)/(-6) + (-3)/9. Let y(z) = z + 7. Let n be y(a). Solve -2*o - o = n for o.
-4
Let b be ((-50)/(-20))/(1/2). Solve 6*h = b*h - 4 for h.
-4
Let y(i) be the first derivative of i**2 + 9*i - 1. Let w(s) = 6*s + 28. Let h(v) = 2*w(v) - 7*y(v). Let a be h(-6). Solve a*x - 4*x - 2 = 0 for x.
2
Let w(g) be the third derivative of g**6/120 - g**5/30 - g**4/12 - g**3/2 + 3*g**2. Suppose -2*x - 6 = -4*x. Let p be w(x). Solve 2*j - 2 = -p*j for j.
1
Let v = 13 - 11. Solve 6 = -v*q - q for q.
-2
Let t be 1/4 + (154/(-8))/(-7). Solve -2*r + 1 = t for r.
-1
Suppose -12*r = -15*r + 12. Solve 0 = -r*w - w - 5 for w.
-1
Suppose 2*w - 6*w = -16. Solve -6 = -2*n + w for n.
5
Let i = -6 + 11. Let p(g) be the first derivative of g**3/3 - 3*g**2/2 - 6*g - 1. Let y be p(5). Solve -i*j - y = 1 for j.
-1
Suppose -2*h - 4*c = 6 - 52, 3*h = 2*c + 85. Let z = h + -21. Solve g + g = -z for g.
-3
Let u(n) be the first derivative of n**2 - 3*n - 1. Let y be u(3). Let c be y/((-6)/4) - -17. Solve o - c = -2*o for o.
5
Let z(v) = -v**2 + 7*v + 7. Let n be z(6). Suppose n + 2 = 3*f. Let k(t) = t - 4. Let y be k(4). Solve f = -y*o + o for o.
5
Suppose 0*k - 5*j + 5 = 5*k, 4*k = -j + 1. Solve k = 4*f + 3 + 1 for f.
-1
Let n(q) be the first derivative of q**6/120 - q**4/8 + q**3/3 - q**2/2 + 1. Let t(u) be the second derivative of n(u). Let y be t(2). Solve -v = v + y for v.
-2
Suppose -4 = -m - 2*n - 14, 0 = 5*m - n - 5. Suppose 17 + 7 = -4*l. Let f = m - l. Solve 3*r = f*r for r.
0
Let t = -7 + 6. Let i be (t/(-2))/((-1)/(-4)). Solve -i*l + 2 = -0*l for l.
1
Suppose 4*w - b + 0 - 1 = 0, -3*w = b - 6. Let m = 1 - w. Suppose -4 = -c, -r - 2*r + 23 = 5*c. Solve u + r = -m for u.
-1
Let f = 30 - 22. Solve 0 = 5*p - f + 3 for p.
1
Let o = 14 + -13. Solve 4 = -a - o for a.
-5
Suppose 4*m + 0*t - 28 = 2*t, 3*t = 5*m - 37. Solve -3 = m*f - 8 for f.
1
Suppose 4 = -5*s + 7*s. Suppose 5*b + 2 = d, s*b - 5 = -d - 3. Solve 2*m = -6 + d for m.
-2
Let j be (-15)/(-6)*(-8)/20. Let s be 3/((2 + -3)*1). Let o be 22 + j*(3 + s). Solve 3*k = o - 7 for k.
5
Let o(p) = p**2 + 8*p + 3. Let f be o(-8). Suppose -3 = -0*w - f*w. Let h be w + 0 + -1 + 8. Solve -3*x = -1 - h for x.
3
Let k(i) = 8*i**2 - i + 1. Let b be k(1). Let s(x) = 2*x**2 - x - 1. Let u be s(-1). Solve -4*q + b = -u*q for q.
4
Let w be 6/1*1/2. Let d be (0/(-1))/((-1)/1). Suppose 5*y - 2*y - 36 = 0. Solve w*l = y - d for l.
4
Suppose -5*f + 0*f = 20, 4*v - 24 = -4*f. Solve v = 3*a - a for a.
5
Let g = 13 - 6. Solve -2*i = -g*i - 10 for i.
-2
Let z be (5/((-15)/(-6)))/1. Suppose -z*t + 125 = 3*t. Solve -4*l = 5 - t for l.
5
Let w = -14 - -16. Solve 9 = -w*i + 1 for i.
-4
Let z(m) = -m + 1. Let q be z(-1). Let t be (q - 8/3)*-30. Solve -3*n = n - t for n.
5
Let w(k) = 5*k - 18. Let g be w(6). Solve 0 = 6*p - 10*p - g for p.
-3
Let h = 20 + -17. Suppose -h*c - 31 = -2*s, 2*s - 4*c = 29 + 3. Solve -s - 2 = 4*b for b.
-4
Let b be (-1)/(1/(-36)*2). Let n be 20/90 + 410/b. Solve -5*v + n = 3 for v.
4
Suppose -5*o = -25 - 20. Let d(m) = -m + 2. Let j be d(4). Let n be (-1*(j + 7))/(-1). Solve n*i = 6 + o for i.
3
Suppose v + 0*v = 7. Suppose 10*g + v = -4*h + 5*g, -4*h + 2*g = -14. Solve 3 + h = -w for w.
-5
Let k(m) = -m**3 + 10*m**2 - 8*m - 9. Let y be k(9). Suppose y = 4*f - 0*f - 12. Let r be 3*(-1)/(-2)*2. Solve 3 = -f*s - r for s.
-2
Suppose 2*v = 4*p + 18, 11 = -2*v + 3*v - p. Solve -v = -3*z + 2 for z.
5
Suppose 0 = -4*y + 2 + 10. Suppose -2*i + 4*m + 10 = i, -y*i - 4*m + 50 = 0. Solve 0*d + i = 2*d for d.
5
Suppose -6*q + 8 - 2 = 0. Solve k = 5 - q for k.
4
Let y be (0/(-2))/(2/2). Solve 3 + y = -n for n.
-3
Let r(z) be the second derivative of -z**5/20 - z**4/4 - z**3/3 + z**2 + 5*z. Let j be r(-2). Solve 2 = -j*o + 4 for o.
1
Suppose p - 5 = -2. Solve -p = -3*t - 15 for t.
-4
Let x be (3 + -6)/(1*-1). Suppose -3*n = -5*i - 0*i - 48, -i = -x. Solve 0 = 5*l + n - 6 for l.
-3
Let f be (-2)/(-4) - 3/6. Suppose -h - m + 8 = f, -h + 4 = -0*h - m. Solve d - 25 = h*d for d.
-5
Let v(q) = -3*q**2 + 9*q + 3. Let m be v(3). Solve 0 = b + m for b.
-3
Let w(x) = 4*x + 3. Let m be w(-2). Let o = 0 - m. Solve -c - o = 4*c for c.
-1
Suppose -2 = -2*l - w - 5, 0 = 3*l - 5*w - 15. Let i be -2 - l/(-3) - -2. Solve i = -h + 3 for h.
3
Let m be (4 + -1 + -4)*-3. Suppose m = 4*y - 3*v, -6 = 4*v - 2. Solve -4*t + y*t = 0 for t.
0
Suppose 5*r = 25, 4*x + 3*r = x + 27. Suppose 0*t + 2*t - x = -2*u, -2*t + 3 = u. Let f be 6 - 4 - (u - 2). Solve -f = 2*g - 1 for g.
-1
Let p = 12 + -8. Suppose 0 = p*k - 5*k + 2. Solve -4 = -x - k for x.
2
Let p(d) = -d**3 - 15*d**2 + d + 15. Let m be p(-15). Solve 5*o - 3 - 2 = m for o.
1
Suppose -13 - 27 = -4*v. Suppose y + 3*f - 24 = -9, -y + v = 2*f. Solve -2*x + 4*x + 8 = y for x.
-4
Let c(v) = v**2 - 8*v - 8. Let o be c(10). Suppose 7*n - 16 = o. Solve z + 5 = -n*z for z.
-1
Let w be 296/14 - 3/21. Solve -w + 9 = 3*o for o.
-4
Let z(d) = d**2 - 9*d - 9. Let i be z(10). Let r = 4 - i. Solve 0 = -r*s + 11 - 2 for s.
3
Suppose -u = -4*c - 8 + 19, -4*c - 4*u = -16. Let i be ((-4)/7)/(6/(-21)). Suppose -4*r + 4*v + 4 = 0, -7*r + c*r = i*v + 2. Solve -3*o - 3 + 18 = r for o.
5
Suppose 3*l - 14 = 4. Suppose 8 = -4*h + l*h. Suppose 4*q + h*y = 28, 2*q + 3*y = 5 + 10. Solve -2*o - q = -4*o for o.
3
Let g = -64 + 66. Solve -1 + 9 = -g*z for z.
-4
Suppose 3*d + 9 = 0, 5*d = 5*n + 9 - 44. Solve 5*u - 3*u = -n for u.
-2
Suppose -2 = -4*j + 14. Let l(f) be the second derivative of -f**3/6 - 3*f**2/2 + f. Let z be l(-6). Solve -z*w = -j*w for w.
0
Let g be (-12)/10*(-60)/(-18). Let t = 12 + g. Suppose -9 = -k + a, 0*k + 3*a = -4*k + t. Solve -k*l + 18 = -7 for l.
5
Suppose -37 = -10*k + 73. Solve 0 = 5*g + 14 + k for g.
-5
Let w = -8 + 8. Suppose l + w - 3 = 0. Solve 2*f + f + l = 0 for f.
-1
Suppose 2 + 7 = 3*i. Let v be 33/3 - (0 + 0). Solve i = -4*n + v for n.
2
Suppose 15 = 3*p - 4*u, 4*p + 6*u = 4*u + 20. Solve -p + 11 = -2*s for s.
-3
Let r(d) = -d + 6. Let s be r(6). Let h = -3 + 5. Let z = -15 - -18. Solve s = 4*f - z*f - h for f.
2
Let k(j) = -j**2 - 11*j. Let g(s) = -s**2 + 1. Let y(a) = 2*g(a) - k(a). Let h be y(11). Solve 2*i - h + 0 = 0 for i.
1
Let q be 3*(-2)/(-4)*2. Let r = -3 + q. Suppose -3*s + 24 = 4*g - 0*g, r = -2*g - 5*s + 26. Solve -2*l + 7 = -g for l.
5
Let c(a) = -a + 5*a + 1 + 3. Let j be c(8). Let p = -22 + j. Solve 4*n + 6 = -p for n.
-5
Let h be 58/(-4) + 1/2. Let i be 6/h - 120/(-35). Solve -i*c = -6*c for c.
0
Suppose 4*k + 6 = k. Let p be 1 + -1 + k + 2. Let d(s) = s + 20. Let r be d(p). Solve 0*q = -5*q - r for q.
-4
Let w be 40/12 - (-4)/6. Let b be 0/(4/w - -1). Solve -n + b = -3 for n.
3
Let r = 5 - 13. Let n be 1/(2/r*-1). Suppose -2 = n*t - 5*t. Solve -2 - t = -w for w.
4
Let w = -183 - -185. Solve -w*v = -12 + 2 for v.
5
Let r be 1 + 2 - -3 - 2. Solve 4*o + 4 = -r for o.
-2
Let z be (2 - 2)/3 - -4. Let k be (0/(-3)*-1)/2. Let m = 3 - k. Solve m = -z*u - 1 for u.
-1
Let u(m) = -m + 2. Let w be u(1). Solve -3*j + w = -2*j for j.
1
Let t(w) = w**3 + 3*w**2 - w - 1. Let g be t(-2). Suppose -3*i = -6*i + 15. Solve -g*x - i = -0 for x.
-1
Let r(f) = -2*f - 8. Let g be r(-7). Let y(v) = 4*v - v + g - 4*v + 2*v. Let w be y(0). Solve -2*x + 0*x - w = 0 for x.
-3
Let v be (9 - 8) + (-1 - 0)*-1. Suppose -4*w = -5*c + 41, 5*c - 28 = -w - 7. Suppose 2*g - 9 + 3 = 0. Solve -c*d + g = -v for d.
1
Let p be 0/(0 - -2) + 0. Solve 2*f + 2*f + 4 = p for f.
-1
Let w = -28 + 32. Solve -1 = 5*f + w for f.
-1
Let p = -1 + 2. Let m be p/(-2)*(-2 - -2). Solve m*j + j = 2 for j.
2
Let c(s) = -2*s**3 + 2*s**2 + 5*s. Let p be c(-2). Solve -3*t = 1 + p for t.
-5
Suppose -5*q = -2*q. Solve -10 = 2*r - q for r.
-5
Suppose -3*y - y + 12 = 0. Solve 0 = -y*w - 3 + 6 for w.
1
Let r be -2*1/(-4)*0. Let z be (-1)/2*(-8)/2. Solve r = z*w - 4*w for w.
0
Suppose -4*w + 2*v - 3 = 5, 4*w + 5*v - 20 = 0. Suppose 2*d + 2 = -3*u, w*u + 16 = 4*d - 4*u. Solve -h = -1 + d for h.
-1
Let g(y) = -y**3 + 3*y**2 + y. Let a be g(3). Suppose 5*v - 28 = -a*s, 5*s + 2*v - 64 = -2*v. Solve -s + 4 = 4*i for i.
-3
Suppose 2 = -5*c + 22. Suppose 5*j - k - 12 = 0, -j - 2*k = -6*j + 14. Suppose 4*f = j*f + 22. Solve 5 = -c*h - f for