-i*o + o = -6 for o.
3
Let z = -7 + 12. Solve 0 = 2*a - z + 1 for a.
2
Suppose -2 - 2 = -2*x. Suppose 0*z + z - 7 = 0. Solve -5*n - x = -z for n.
1
Suppose -5*l = -0*l + 15. Let j = 5 - l. Solve j - 4 = n for n.
4
Suppose l - 6 = -2*h + 2, 20 = 5*h + 3*l. Solve h*s = 7*s - 6 for s.
2
Suppose 1 = 3*n + 4*s - 14, 5*n = 3*s - 4. Solve 0 = w - 0 + n for w.
-1
Let u = 34 + -29. Solve 0 = -f - u + 4 for f.
-1
Let a = 89 - 64. Solve -a = 5*b - 0*b for b.
-5
Suppose -6*z + z - 2*n + 61 = 0, -5*n + 37 = 2*z. Solve -3*m - z - 1 = 0 for m.
-4
Let z(v) = v - 8. Let a be z(6). Let f = -2 - a. Solve f*g - 5*g = -25 for g.
5
Suppose 0 = -6*a + 2*a. Let l(t) = -t**2 + t + 2. Let f be l(a). Solve f*i - 9 = 1 for i.
5
Suppose -2*w = -4*w. Solve 2*g - 8 = -w*g for g.
4
Let g(c) = -c**3 - 2*c**2 + 4*c + 3. Suppose -3*k = -5 + 14. Let l be g(k). Solve -2*f + l*f = -8 for f.
4
Let j be ((-5)/(-10))/(7/350). Solve -3*s = 2*s - j for s.
5
Let j(i) be the first derivative of i**4/4 + 7*i**3/3 + 3*i**2/2 - 3*i - 1. Let s be j(-6). Solve -g - 2*g + s = 0 for g.
5
Let c = 10 + -9. Solve -z - c + 6 = 0 for z.
5
Let y(i) be the first derivative of i**3/3 + 9*i**2/2 + 2*i + 3. Let f be y(-10). Solve -d = -4*d - f for d.
-4
Suppose -f + 0 = -4. Let a be 0 + (-1 - (1 - 2)). Let j be 1 + a - (-1)/(-1). Solve j*y = y - f for y.
4
Suppose 40 = 5*r - 10. Suppose -19 = -3*k - 4*g, -2*k = -2*g + 6 - 0. Suppose r = 3*v + k. Solve -a - 2*a = v for a.
-1
Let r(y) = y + 6. Let o be r(0). Suppose 5*a + 2 = -3*l, -2*l + 1 = -5*a - o. Let u be a/3*-1*12. Solve -8 = u*d - 20 for d.
3
Let b be 1*(-3 + 0) - -3. Solve b*x - 5 = 5*x for x.
-1
Let z be (-6)/(3 - 0) - -8. Let f = 53 + -53. Solve f = j - z*j for j.
0
Let o = -4 - -4. Suppose o = -0*t - 2*t + 30. Suppose 2*b = -d - 0*b + 5, -t = -3*d - 3*b. Solve -d*c - 3 = 2 for c.
-1
Suppose 3*d - 2*s - 328 = 3*s, 2*s = -3*d + 293. Suppose 0 = 4*z - 3*v - 28, -5*v - 31 = 5*z - d. Solve 0*p = -5*p + z for p.
2
Let u(w) = -18*w**3. Let o be u(-1). Suppose -o*f + 30 = -13*f. Solve 0 = 3*s + f for s.
-2
Let b(k) = -6*k + 6. Let x(l) = 7*l - 5. Let f(v) = -5*b(v) - 4*x(v). Let t be f(7). Solve 12 = -4*s - t for s.
-4
Suppose -4*k + 3*j = -91, 3*k - 5*k + 43 = -j. Suppose -5*b = -k + 4. Solve -v = -b*v + 8 for v.
4
Let j(f) = -2*f - 8. Let c be j(-6). Suppose -23 = -5*u + c*u + i, 0 = i. Suppose 5*b - 5*s - 37 = -12, -5*b + 4*s + u = 0. Solve b = 5*q + 8 for q.
-1
Suppose -5*m = m. Solve 4*i - 2*i - 10 = m for i.
5
Suppose -2 + 6 = 2*o. Suppose -r = -3*z + 4*z - o, 0 = 5*z - 5*r + 10. Solve 3*q - 7 + 22 = z for q.
-5
Let q = 26 + -26. Suppose p + 3*i + 2 = q, -3*i - 4 = 5*p - 18. Solve 15 - 3 = p*n for n.
3
Suppose -12 = 4*s - s. Let v be 6 - (s - 2)/(-3). Solve 4*b + v = 6*b for b.
2
Let u(n) = -n**3 - 8*n**2 + 3*n + 12. Let s be u(-8). Let y be (-9)/s + (-42)/(-8). Solve -4*z + 6 = -y*z for z.
-3
Let l(k) = -k**2 + 6*k + 6. Let s be l(6). Solve -3*p = -0 - s for p.
2
Suppose 0 = -6*s + s - 1075. Let t be s/(-45) - 2/(-9). Let k(z) = 4*z - 4. Let r be k(t). Solve 0 = -o - 3*o - r for o.
-4
Suppose -j + 79 = 76. Solve -2 = n + j for n.
-5
Let y(w) = w**2 + 4*w + 3. Let v(t) = 2*t + 8. Let c be v(-6). Let x be y(c). Solve o - x + 4 = 0 for o.
-1
Let g be -15*((-12)/20 + 3). Let m be 8/g - (-80)/36. Solve 6*y - m*y + 12 = 0 for y.
-3
Let w(n) = n + 11. Let b be w(-6). Suppose 6 = 5*j + 3*s - 1, -j - b = -s. Let z be 2 + (0/1)/j. Solve 2*q + z*q = -8 for q.
-2
Suppose 0 = f + 2*m, 2*f - 6*f = -m. Solve f*y - 3 = -3*y for y.
1
Let r(i) = -i**2 + i + 4. Let t be r(-3). Let v be (2 - 4/6)*-3. Let a = v - t. Solve -l - a = l for l.
-2
Let j(d) = -2*d - 4. Let r be j(-4). Suppose 5*g = -4*m + 19, 0 = r*g - 5*m - 0*m - 7. Suppose 8*h = g*h + 5. Solve 10 - h = 3*z for z.
3
Suppose -5*s + 8*f = 4*f + 2, -4 = -2*s + 4*f. Suppose 4*p - 3*r - 2 = 0, -2*r - 10 = 4*p + r. Let u = p - s. Solve -g - u = -0*g for g.
-1
Let y be 12/(-3*3/(-6)). Let h = 30 - y. Suppose -4*m = -2*u + h, 2*u + 12 = 5*m + 38. Solve f = u*f + 10 for f.
-5
Let w(f) = f - 2. Let z be w(5). Let m = 6 - z. Solve h = -m + 1 for h.
-2
Let f = 16 + -4. Let w be 141/15 + f/20. Solve 4*s = 2*s - w for s.
-5
Let d(p) = p**3 - 12*p**2 + 13. Let u be d(12). Solve -4*h - u + 1 = 0 for h.
-3
Let b be 2/((-4)/(-26))*-1. Suppose 2*x + 66 = 3*d, -3*d - 3*x + 44 = -d. Let a = b + d. Solve -3*o = -a - 0 for o.
3
Let a(t) = 4*t**2 + 4*t - 1. Let s be a(-4). Suppose -3*g = -5*d + 82, 4*g + s = 2*d + d. Let i = -1 + d. Solve -4*q - 4 = i for q.
-5
Suppose x - 3*x = -14. Suppose 0 = 5*g - 28 - x. Solve -5*v + g - 27 = 0 for v.
-4
Let n(h) = 31*h + 5. Let s(u) = -6*u - 1. Let k(y) = 2*n(y) + 11*s(y). Let i be k(-1). Let x(f) = f**2 - 7*f + 8. Let o be x(6). Solve i = -5*r - o for r.
-1
Let x(q) = q**3 + 13*q**2 + 4. Let h be x(-13). Solve 2*t = -12 + h for t.
-4
Let t = 12 + -17. Let r be 2 + 1 - (-8 - t). Solve 4 = -r*y + 2*y for y.
-1
Suppose -2*u = 3*j - 7, u + 16 = 4*j - 3*u. Solve j*z - 2*z = -4 for z.
-4
Suppose u = -2*a + 3 - 0, 4*u = a - 15. Suppose -5*b + 26 = r + r, 4*b = a*r + 7. Solve 22 + r = 5*j for j.
5
Suppose 0 = j + 3*l + 2 + 4, 5*j = l + 2. Solve 0 = r - j*r for r.
0
Let h be 6/((-3)/(1*-3)). Let r = 8 - h. Suppose r*m - 10 = -4*q, 4*m - 3*q - 10 = -q. Solve 0 = -m*a + 5*a + 8 for a.
-4
Let m(y) be the first derivative of -y**3/3 + 7*y**2/2 - y - 1. Let q be m(6). Solve 2*c = 13 - q for c.
4
Let n be 4*15*(-4)/(-48). Solve -1 = -n*y + 9 for y.
2
Suppose -4*c - 2 = y, 0 = 5*y - 2*c - 0*c - 56. Let z be 44/y + 6/(-15). Solve -z*d - 15 + 3 = 0 for d.
-3
Let m = -8 + 8. Suppose -2 = -i - m. Suppose 6*w - i = 5*w. Solve 7 = w*l - 3 for l.
5
Let v be -2 - 0 - -17*1. Suppose -1 = -n - k + 2, -5*k = -3*n - v. Suppose 2*y = 0, b + 5*y = -4*b + 15. Solve -b*t + 0*t = n for t.
0
Let w(a) = a**2 - a - 1. Let l be w(2). Let j(y) = -y + 4. Let k be j(4). Let x be (0/(l + k))/(-1). Solve x*t = -t - 3 for t.
-3
Let q(x) = -x**2 + 9*x - 8. Let o be q(8). Suppose o = -2*w + 3*n + 7, 5*w - 3*n + 5*n - 8 = 0. Solve 2*m - 2 = w for m.
2
Suppose d - 4 = -0*d. Let r be (2/(-1) + d)*1. Suppose a + 6 = 4*a. Solve -r*j - a = 2 for j.
-2
Suppose -4 = 4*x, x + 1 = o - 2. Solve o*w = -w - 3 for w.
-1
Let y be -20*(-4)/30 + 2/(-3). Solve y*a = a for a.
0
Suppose -4*r + 20 = 4*g, 2*r + 4*g - 21 = -3*r. Solve -c + 1 + r = 0 for c.
2
Let v be 440/36 + 2/(-9). Let p(u) = -u**2 + 11*u + 16. Let f be p(v). Solve 5*t = -1 - f for t.
-1
Let m = 4 - 7. Let s be (0/m)/(-2 - -1). Let r be 1 + (-3)/(s + -1). Solve -11 = -5*y + r for y.
3
Let d be (-4)/(-14) - (-12)/7. Let u(p) = -p - 1. Let i be u(-5). Solve -w - i = -d for w.
-2
Suppose 6*z = 2*z. Solve -4*l + 3 + 1 = z for l.
1
Suppose -2*h + 4*n - 6 = 10, h - 5*n = -20. Suppose h = k - 5*k. Suppose 2*m = -k + 10. Solve 0 = 2*f - m - 3 for f.
4
Suppose 0 = t - i + 5*i + 14, 0 = 5*t + i - 25. Suppose -t*d + 6 = -4*d. Solve -1 - 11 = -d*k for k.
4
Suppose 5*w + 13 = 3*x + 1, -4*x = -w - 16. Solve -5*c + w*c = 5 for c.
-1
Let b(p) = p**3 - 10*p**2 + p - 13. Let h be b(10). Let k be (-1)/(64/(-20) - h). Solve 0 = 2*r - 3*r + k for r.
5
Suppose 0*k = -2*n + 5*k + 18, 5 = -n - k. Let p be n + -5 + -1 + 1. Let r be 8/p*(-3)/2. Solve -3*a = r*a - 10 for a.
2
Let s(r) = -4 + 1 + r**3 - 6*r - 2*r**2 + 7. Let z be s(4). Suppose -4*k + 20 = 3*o, 3*o - k + 4*k - 15 = 0. Solve -z = -4*p - o*p for p.
3
Let q be ((-5)/3)/(2/(-6)). Solve -q*r + 20 = -5 for r.
5
Suppose 4*l - 4 = -a, -8 = l - 5*a + 3*a. Solve -g = -l*g - 5 for g.
5
Let c = 1 - -1. Suppose 5*z - c*d = 2*d + 17, -30 = -4*z - 5*d. Suppose 0 = 3*m - 30 + 9. Solve z*q + 17 = m for q.
-2
Suppose -4*v - 4*s + 30 = -2*s, -3*v + 4*s - 5 = 0. Let a(x) = 3*x**3 - x**2 - x + 1. Let u be a(2). Solve -v*g - 4 + u = 0 for g.
3
Let m(v) = 8*v**2 - v - 2 - 6*v**2 + 3. Let z be m(1). Solve -4*p = -z*p for p.
0
Suppose 11 = 3*o - 4, 3*o + 6 = 3*c. Let h(i) = i**3 - 7*i**2 + 2*i - 6. Let r be h(c). Solve -r = -q - q for q.
4
Let u(q) = 3*q**2 - q - 1 + q. Let l be u(1). Suppose -l*n + 3 = -3. Solve -k + n*k + 2 = 0 for k.
-1
Suppose 3*z + 3 = 4*z. Suppose -7 = 4*s - z. Let r be 0*s/(2 + 1). Solve r = -0*h + 3*h + 15 for h.
-5
Let v be -3*2/3 - -3. Let x(b) = 13*b + 1. Let c be x(v). Let z = c + -5. Solve 0 = 4*l + 29 - z for l.
-5
Suppose -5*i + 3*t + 