 Solve 3*o - o + a = q for o.
-5
Let m be 0 - (20/(-4) - -3). Solve -2*s + m = -8 for s.
5
Let k(o) = -o**3 - 3*o**2 + 4*o + 3. Let r be k(-4). Let x(q) = 2*q**2 - 4. Let h be x(4). Suppose -5 + h = 5*c + j, c = -r*j - 1. Solve -c = -3*i - 2 for i.
1
Let c = -10 + 13. Solve c*x = 6*x + 3 for x.
-1
Suppose -5*n - 4*b = 2, 0 = n - 5*b - 0*b + 12. Let j = 6 - n. Let y = 4 - 0. Solve 0 = -y*i + j for i.
2
Suppose 0 = 3*t - 4*f - 32, -5*t - 4*f + 9*f = -45. Solve -p = -t*p for p.
0
Suppose 2*r - 4*d - 26 = 0, -2*r + d - 3*d - 4 = 0. Suppose -r*g + 7 = -3*b - 8, 3*g - 15 = 0. Solve a + b*a + 4 = 0 for a.
-4
Suppose -2*t + 7*t = 35. Let s = 2 - -1. Let m = s - 0. Solve 2*w - m = -t for w.
-2
Let w(h) = -h**2 + 13*h + 2. Let c be w(13). Suppose o - 2*x + 5*x - 13 = 0, 18 = 2*o + 4*x. Solve 3*g - o = c*g for g.
1
Let v be (-4)/1 + 2 + 4. Let d(i) = -i**2 - i**2 + 2*i**v - 3 - 4*i + i**2. Let p be d(5). Solve m + 0*m - p = 0 for m.
2
Let a(k) = k**3 + 3*k**2 - 2*k - 4. Let r be a(-3). Suppose 12 = -q + r. Let x = -6 - q. Solve -x*b + 2 = -5*b for b.
-2
Suppose 25 = -4*o + 9*o. Suppose 5*b + o = -5*z, -3 = 2*b + 3*b + 3*z. Solve -g - g = b for g.
0
Let d = -5 - -9. Suppose w + 0*w = -y - 2, d*y + 18 = w. Let f be 0 - 2 - 1*-2. Solve n + w + 3 = f for n.
-5
Let v(b) = -b**2 + b - 1. Let j be v(-3). Let a = j + 25. Let x = 5 - 3. Solve x*p = -p - a for p.
-4
Let i = -2 + 4. Suppose 3 + 7 = i*t. Solve t*k = k for k.
0
Let b be 27/3 - (-4)/(-2). Suppose b*a = 3*a. Let v be (1 - -1) + a + 3. Solve -1 = 3*o + v for o.
-2
Suppose 4*a - y - 10 = 5, 4*y - 20 = -4*a. Suppose -3*b - 9 = -0*b. Let d be 8/10*(8 + b). Solve -a*f = -0*f - d for f.
1
Let k be 13 + -3 + -4 - 2. Solve -4*z = k - 24 for z.
5
Let a(i) = 5*i + 8. Let y be a(8). Let x be (y/40)/(2/5). Solve -b - 2 = -x*b for b.
1
Let a be -1*2 - (-16 - 2). Suppose 2*h + 3*o + 3 - 4 = 0, 0 = -2*h + o + 21. Suppose 4*w - h = a. Solve i - w = -2 for i.
4
Let t(w) be the first derivative of w**2/2 + 10*w - 4. Let o be t(0). Solve 3*x = -2*x - o for x.
-2
Let s be ((-2)/6)/(2/(-36)). Let j(l) = l**3 - 5*l**2 - 4*l - 2. Let d be j(s). Suppose -d = -a - a. Solve 0 = -0*v - a*v + 25 for v.
5
Let x be 0 + (16 - -2)/(-1). Let f(o) = 2*o**2 - 5*o - 4. Let b be f(-4). Let m = b + x. Solve -10 + m = 5*d for d.
4
Let q(m) = -m**2 + 4*m + 8. Let j be q(4). Solve j + 4 = 4*r for r.
3
Suppose 0 = -3*k - 0 + 9. Let j be k + (-3)/(-3) + -4. Solve 3*z - 5 + 20 = j for z.
-5
Suppose 6*d = d. Suppose b - 2*b = -3*k + 2, -k - 3*b - 6 = d. Suppose -3*i + 1 + 11 = k. Solve -3*n + i = -11 for n.
5
Suppose -57 = n + 2*n - 3*h, -20 = -4*h. Let p be 308/49 - (-4)/n. Let s(a) = a**2 - 6*a + 5. Let g be s(p). Solve -g*t + 4 = -21 for t.
5
Let z be (-14)/(-4) - 3/(-6). Let r be (-3)/(-12) - 1/z. Solve 0*d - d = r for d.
0
Let o be (-4)/(-16) - 1/4. Suppose -n + o*n = -10. Solve 0 = 2*g - 0 - n for g.
5
Let a be 0/(2 - (0 + 3)). Suppose a*f + 3*f - 11 = -x, 3*x = -f + 9. Let l(t) = -t**3 + t**2 + 2*t. Let v be l(x). Solve v = -z - z for z.
0
Let y(l) = l**3 + l**2 + l + 11. Let v be y(0). Solve -2*z + v - 3 = 0 for z.
4
Suppose 6 + 0 = 2*k. Suppose 2*w = -k*w. Let c(g) = 3*g - 5. Let r be c(3). Solve a = -w*a - r for a.
-4
Let f = -8 + 8. Suppose 3*p + p = f. Suppose p = -o - 0*o + 4. Solve 2*l = -2 - o for l.
-3
Suppose -y + 0*y = -4. Let m = 20 - y. Let a be (-4)/6 + m/6. Solve g - a = -g for g.
1
Let n(b) be the third derivative of b**5/60 + b**4/3 + 3*b**3/2 - 3*b**2. Let y be n(-7). Let w be (-2)/(-4)*(6 - 0). Solve y*g + 1 - w = 0 for g.
1
Suppose -3*w = w - 12. Suppose -9 = -3*q - w. Let k be (1 - -11)/3*q. Solve k = 5*l - l for l.
2
Suppose 0 = -2*l + s - 7, 4*s - 1 = -4*l + 3*s. Let c(p) = -2*p - 1. Let b be c(l). Suppose 0 = -k + 2*k - b. Solve -k - 4 = -i for i.
5
Suppose 5*o = -x - 9, -2*o = -2*x + 5*x + 40. Let u be 6/27 + x/(-18). Let l = 58 - 58. Solve u = -t - l for t.
-1
Suppose 0 = -4*c - 20 + 52. Solve 3*b + c + 1 = 0 for b.
-3
Suppose 5*h + 2*k = 7 + 3, -3*k + 15 = -h. Let i = 5 - 23. Let z = 30 + i. Solve h*m = -4*m - z for m.
-3
Let s be 11 + (-3 - (-3 + -4)). Let t be 0*(4 - s/3). Solve -5*u = -t*u - 10 for u.
2
Let z be (0 - 1/(-2))*2. Suppose -19 + 63 = 4*c. Solve 2*l = -c + z for l.
-5
Suppose -h - 4*h = -5. Solve r - h = -3 for r.
-2
Suppose 31*d - 27*d - 28 = 0. Solve -d*p - 2 = -6*p for p.
-2
Suppose 0*p = 5*p. Suppose -m + 3*v - 10 + 28 = p, 4*m + 4*v = 24. Suppose f = -a + 16 + m, -3*f + 2*a + 50 = 0. Solve -k - 4*k + f = 0 for k.
4
Let w(q) = -2*q**3 - q**2 - q + 2. Let f be w(-2). Let o = f - 11. Suppose -2*k = o*i - 141, 9 = i - 5*k - 3. Solve 4*y = 11 - i for y.
-4
Let z(y) be the first derivative of y**3/6 + y**2/2 + 2*y + 2. Let c(o) be the first derivative of z(o). Let g be c(3). Solve 0*u + 4*u = g for u.
1
Suppose 3*a - a = 5*a. Solve 4*b - b + 3 = a for b.
-1
Let v be 24/(2 + 0)*1. Let f = 14 - v. Suppose q = -3*x + 3, 2*q + 3 - 9 = 2*x. Solve -f*g + q*g - 2 = 0 for g.
2
Let r(d) = -d + 1. Let p be r(-1). Suppose -3 = -5*u + p. Solve -2 + u = -w for w.
1
Suppose -6 = 2*a + 3*p - 1, 0 = 5*p + 15. Solve a*q - 6*q - 8 = 0 for q.
-2
Let u(g) = g**3 + 18*g**2 + 18*g + 22. Let k be u(-17). Solve 0 = k*y - 9 - 6 for y.
3
Let y be -1 - 0 - (-10)/5. Solve -5*p + 4 + y = 0 for p.
1
Let y(c) = -3*c - 5. Let t be y(-6). Let j = 19 - t. Solve -2*d + j*d = -4 for d.
-1
Let z = -1 - -2. Let u(f) = f**2 - 5*f - 3. Let j be u(5). Let c be 18/j*1/(-2). Solve z = 4*p - c for p.
1
Let z = -93 - -95. Solve z*o = -2*o + 20 for o.
5
Let m be ((-2)/(-4) - 0)*0. Suppose 3*w - 2 = 2*i - 15, m = -3*i - 4*w - 6. Solve i = 3*z - z for z.
1
Let a be -2 - (-2 + 3 + 0). Let v be 6/(4 + (a - -1)). Solve -2*u + 3*u = v for u.
3
Let g(v) = -v**3 + 5*v**2 + v + 2. Suppose -19 - 13 = -4*d. Let p be ((-10)/(-8))/(2/d). Let x be g(p). Solve x = 4*i + 15 for i.
-2
Suppose -c + 7*c = 90. Solve z + c = 4*z for z.
5
Suppose -2*k + 15 - 1 = 0. Let i = -7 + k. Let l = 1 + 11. Solve 4*c + i*c = -l for c.
-3
Let i(d) = -3*d**2 + 32*d - 40. Let b be i(9). Suppose -6*c = -2*c - 20. Solve c*j - b = 4*j for j.
5
Suppose -4*z + 4*f + 28 = 0, 5*z + f - 23 = 2*f. Let h = 122 + -107. Solve c + h = -z*c for c.
-3
Suppose -40 = u - 5*u. Solve 7*v - 2*v - u = 0 for v.
2
Let n = 8 - 6. Let q be -3*3/(-9)*n. Solve q*g = g for g.
0
Let u(n) = -n**2 + 2 + 5 - 4 + 8*n + 2. Let d be u(8). Solve 0 = d*p - 2 + 22 for p.
-4
Suppose -2*k + 10 = -k. Suppose -24 = k*y - 12*y. Solve -3*z = -7*z + y for z.
3
Let l = -26 + 26. Solve l = -5*z - 19 + 4 for z.
-3
Let q(k) = 2*k + 40. Let s be q(-20). Solve s*i - 2 = -i for i.
2
Suppose q = 6*q - 50. Solve -c + q = 4*c for c.
2
Let n(p) = p**3 - 2*p**2 + p - 2. Let y be n(2). Suppose -2*z + 5*z - 24 = y. Solve -z*m + 4*m + 20 = 0 for m.
5
Let w = -2 + 1. Let t be 8 - 1 - (2 - w). Solve 3*i = -i + t for i.
1
Let j(n) = n**3 - 7*n**2 + 8*n - 8. Let d be j(6). Suppose -16 = 4*f - 4*p - 0*p, d*f + 4*p = 16. Solve f*q - 4*q = -12 for q.
3
Suppose c - 12 = -10. Solve -2 = -c*o - 12 for o.
-5
Let m = 50 + -46. Solve -2*p - m = 4 for p.
-4
Suppose -k = -10 - 10. Let c = -8 + k. Solve -4*p + c = -0*p for p.
3
Suppose -17 = -6*h + 7. Solve -h*x - 15 = x for x.
-3
Let l be (5 - 2 - 5) + -1 + 5. Solve -l*n = -3*n - 2 for n.
-2
Let u = -17 - -25. Let l(h) = h**3 - 8*h**2 + 2*h - 11. Let g be l(u). Let c = g + -5. Solve c*v = -v - 4 for v.
-4
Suppose 0 = -13*m + 8*m + 25. Solve -5*x - m = -0*x for x.
-1
Let o = 2 - 0. Let t = 2 + o. Solve -t*v = v for v.
0
Let v be 22/8 - 39/52. Let s be (v/(-6))/(1/(-6)). Solve s*h + 0 - 10 = 0 for h.
5
Let o be (1 - 0) + -4 + 4. Suppose 0*t + t = o. Let s be 2/(-4) - 3/(-2). Solve w + t = -s for w.
-2
Suppose 58 = 5*n - 17. Solve -s - n = -6*s for s.
3
Let u be (0 + -2)/(1 - -1). Suppose 7*s - 4*s - 3 = 0. Let i be -2 - (u + (s - 6)). Solve -l = l + i for l.
-2
Let i = -183 - -263. Let g be 2/5 + 128/i. Solve g*v = -3 - 5 for v.
-4
Suppose -8 = 5*z - 3*z. Let w = -1 - z. Solve -20 = w*a + 2*a for a.
-4
Let x(s) = s**2 + s + 1. Let m(d) = -d**3 + 3*d**2 - 2*d - 14. Suppose -5*b + 8 + 12 = 0. Let u(n) = b*x(n) + m(n). Let k be u(7). Solve -8 = -4*a + k for a.
3
Let x(c) = -35*c - 2. Let l be (-22)/10 + 1/5. Let r be x(l). Suppose 20 = -2*i + r. Solve 9 = -3*j + i for j.
5
Let o be ((-12)/8)/((-3)/4). L