 r(f) = -f + 18. Let t be r(0). Suppose 0 = 4*p - t + 6. Solve -p*o - 5 = c*o for o.
-1
Let v = 5 - 4. Let m be v/(-2) + 54/12. Solve m + 8 = 3*g for g.
4
Let o(f) = f**3 - 5 + 0*f + 6*f**2 + 2*f + f + 0*f. Let k be o(-5). Solve k*x - 14 = -4 for x.
2
Let t(m) = -m + 7. Let d be t(7). Suppose d*r = -2*r + 12. Let l be (-5)/(-3) + (-4)/r. Solve -2*o + l = -o for o.
1
Let f(y) = 6*y. Let z be f(-1). Let s = -2 - z. Solve 6 = -5*c - s for c.
-2
Let x = 11 - 2. Suppose -4*y + s = -19, 0 = 3*y - 2*s + x - 27. Let n be (2 - 1) + (-1 - -2). Solve y = -n*q + 2 for q.
-1
Suppose 59 = 5*a + 9. Let o = -7 + a. Solve -y + o - 2 = 0 for y.
1
Let p be -1 + (-12)/(-10) - 833/(-85). Solve -3*t - 2*t = -p for t.
2
Let q = -27 - -44. Suppose -5*a = 2*x - q, -a - 2*x = -0*x - 5. Suppose -y - 3*k + 0 - 1 = 0, -4*k - a = y. Solve 10 = -5*i - y for i.
-3
Let i = 118 - 118. Solve i*s + 5 = s for s.
5
Let c(u) = -7*u - 5. Let v be c(4). Let s = 56 + v. Solve 0 = -4*f + s - 7 for f.
4
Let g be 6/8 - (-63)/12. Let z = g + -4. Suppose 0*u = -z*u. Solve u = -4*q - 0*q + 12 for q.
3
Suppose 2*d - 2*v - 10 = 3*v, -3*d - 4 = 2*v. Let p = 4 - d. Solve -q = -2*q - p for q.
-4
Let f(b) = b + 21. Let h be f(-10). Suppose 4*l - h = 1. Let a(p) = p - 1. Let c be a(l). Solve -c*s = -0*s + 2 for s.
-1
Let z = 20 + -8. Let h = 24 - z. Suppose -n - n = -h. Solve -c = c + n for c.
-3
Suppose 0 = 2*j - 50 + 18. Let x(u) be the second derivative of u**4/12 - 5*u**3/6 - u**2 - 4*u. Let f be x(6). Solve 0*y = -f*y + j for y.
4
Let g be (-1)/1 + (16 - -1). Suppose 3*d - g - 8 = 0. Solve -3*i + d*i = 10 for i.
2
Let v(n) = -13*n**3 - 4*n**3 + n + n**2 + 5 + 18*n**3. Let i be v(0). Solve 0 = 6*d - d - i for d.
1
Let y(p) = -2*p + 5. Let m be y(-4). Let j = m - 10. Solve 0*g = g - j for g.
3
Let v be (-2)/12 - (-287)/(-42). Let k = v + 10. Solve -2*g - 2 = -k*g for g.
2
Let n be 2 - (2 + (-4 - 0)). Solve -n = -3*p + 7*p for p.
-1
Suppose 8*v - 7*v - 25 = 0. Solve 7*z = 2*z - v for z.
-5
Let m = 10 - 9. Let c = 2 - m. Solve 0 = -u - 0 - c for u.
-1
Let y(m) = -m**2 + 6*m + 7. Suppose s - 24 = -4*p - s, 3*p + 3*s - 18 = 0. Let v be y(p). Solve 3*c = v + 2 for c.
3
Let b(g) = g**3 + 7*g**2 - 2*g + 2. Let y be b(-7). Suppose m = 5*m - y. Solve -v = v - m for v.
2
Let r = -1 + 15. Let f(g) = -g**2 - 6*g + 5. Let q be f(-6). Suppose -5*u + 1 = -2*s - 33, -4*u = q*s - r. Solve 0 = -4*h - 10 - u for h.
-4
Let r(u) = -u**3 - 7*u**2 - 6*u + 3. Let h be r(-6). Suppose -h*y + y = -4. Suppose 3*v = -v. Solve -2*i - y + 6 = v for i.
2
Let z be (-9)/(-9) - (1 - 0). Let o = 3 - z. Solve -y = -o*y + 2 for y.
1
Suppose 4*p = 3*p + 4. Solve -p - 2 = 3*r for r.
-2
Let d(v) = -v**3 + 10*v**2 + 12*v - 9. Let j be d(11). Solve j*f = -f - 6 for f.
-2
Let x = 34 + 0. Solve -5*z - 14 + x = 0 for z.
4
Let y be (-1)/4 - ((-1848)/32)/11. Solve -2*x = -y + 9 for x.
-2
Let k be (-30)/(-3) - (-1 + -3). Solve k = 2*x + 4 for x.
5
Let r = -10 - -21. Suppose -3*n + 2*q + 11 = -r, 2*n = 5*q + 22. Suppose n*x - x = 0. Solve -3*w - w + 20 = x for w.
5
Suppose -9*w + 12 + 24 = 0. Solve w*d - 8 = 8*d for d.
-2
Let u(t) = -3*t**3 - t**2 - 9. Let o(a) = -2*a**3 - a - 8. Let w(y) = -4*o(y) + 3*u(y). Suppose -c + 0 = 4. Let h be w(c). Solve -4 = h*g + 1 for g.
-1
Suppose -4*k - 1 + 5 = 0. Let b(c) = -c**2 - 1. Let q be b(k). Let d = 2 - q. Solve d*v + 15 = -v for v.
-3
Let f(j) = -j**3 + 26*j**2 - 2*j + 64. Let g be f(26). Let n = -10 - -17. Solve -n*m = -3*m - g for m.
3
Suppose -k + 5 = -5*m, -4*k + 0 = -5*m - 5. Let g be k/(6/3 + -1). Solve 3*l + g = -3 for l.
-1
Let n(k) = -2*k**2 - 2*k**2 + 10 - 8*k - 5 + 3*k**2. Let p be n(-8). Solve -h + 6*h + p = 0 for h.
-1
Suppose -4*z + 6 = -2. Suppose z*t = 6*t. Solve t = -5*d + 4 - 19 for d.
-3
Suppose -3*a = 4*a - 7. Solve o = -a + 3 for o.
2
Let h = 15 + -14. Solve -h + 0 = -c for c.
1
Let g(d) = -19*d - 34. Let b be g(-2). Solve 0 = 7*i - b*i + 6 for i.
-2
Let b be (5/2 - 1)*(-6)/(-9). Solve -2*m - 7 = b for m.
-4
Suppose -3*w - 35 = -7*w + 3*o, -3*o = 15. Let i = w + -5. Solve i = -0*m + 4*m - 8 for m.
2
Let i(d) = -2*d - 1 + 8*d - 3. Let j be i(4). Solve 0*o = -5*o + j for o.
4
Suppose 0 = 5*y + 5*s - 65, 5*s - 6 = 4. Solve -4*b + y = -9 for b.
5
Let w(c) = -c**3 + 8*c**2 - 6*c - 9. Let a be w(7). Suppose -2*q + m + 1 = 3, -2 = -m. Let i be q - -2 - (2 + a). Solve r - i = -0*r for r.
2
Let a(f) be the third derivative of f**6/120 - f**5/20 - f**4/8 + 2*f**2. Let z be a(4). Solve -b = z*b for b.
0
Suppose -5*v = 3*f - 8*f, -5*v = 3*f - 40. Suppose 0*o + v = o. Suppose x = 4*x - 3. Solve -o*t + x = 6 for t.
-1
Let b(l) = l - 6. Let r be b(6). Suppose 4*m - 5*n - 68 = r, -3*n - 12 = -2*m + 24. Solve -3*o + m + 0 = 0 for o.
4
Let g be (2 - 1 - 1)/(-2). Solve g = 3*x - 1 + 13 for x.
-4
Let a(i) be the second derivative of -i**4/12 - 5*i**3/6 - 3*i**2/2 - 3*i. Let s be a(-4). Suppose 4*m - 2*c - 4 = -0, 4*c = 4*m. Solve m*z = s + 3 for z.
2
Let q(l) = -2*l + 1. Let a be q(-2). Suppose 0 = -a*g + 25 + 5. Solve -m = -g*m + 5 for m.
1
Let r(t) = t**3 - t**2 + t. Let n be r(2). Let a = 6 - n. Solve 3*s + 14 + 1 = a for s.
-5
Let d be 0 - -4 - (-3 + 3). Suppose d*i + 3*a = 48, -6*a + a - 5 = i. Let z(k) = k**2 - 8*k - 5. Let h be z(9). Solve -n + h*n = i for n.
5
Let p = 32 - 22. Suppose 5*j = p + 35. Solve -2*m + j = -1 for m.
5
Let c = -11 - -11. Let o be 0 - (-3 - (c - -1)). Solve -o*h + 5 = -3 for h.
2
Suppose v = -5*a - 4*v - 40, 0 = 2*v + 2. Let w be 0 - 0 - (5 + a). Suppose x + w*y = 0, 3*x - y - 3*y = 0. Solve -5*p = -x*p for p.
0
Let i = 5 - 3. Let v = 36 - 34. Solve -16 = -i*y - v*y for y.
4
Let m(o) = 2*o**3 + 2*o**2 - 2. Let d be m(1). Solve -b - d = 3 for b.
-5
Suppose -4*t + 11 + 25 = 0. Let h = 6 + -4. Let v be 0/((-2)/(-1 + 0)). Solve -s - h*s + t = v for s.
3
Let q = 46 + -43. Solve q = 4*y - 5 for y.
2
Let m(r) = 2*r**2 - 10*r. Let b be m(5). Solve 4*x - 1 - 7 = b for x.
2
Let c(l) be the second derivative of l**3/6 - l**2/2 + 4*l. Let w be c(4). Solve w*a = 4*a + 5 for a.
-5
Let x be 2/1*(-35)/(-10). Let q(z) = -z**3 + 8*z**2 - 7*z + 4. Let w be q(x). Solve w*j - 1 = 11 for j.
3
Let k = 64 + -64. Solve 5 + k = -o for o.
-5
Suppose 0 = 10*t - 7*t. Solve g + 4 = -t*g for g.
-4
Let h = 20 - 18. Solve 14 = 4*y - h for y.
4
Suppose 4*y - 4 = 0, -m + 4 = 3*m - 4*y. Suppose 2*l + n - 2 = m, l + 2*n = -4. Solve l*f + 2 = 2*f for f.
-1
Suppose -2 = 4*n - 6. Let v = -9 - -14. Let o(a) = a**3 - 4*a**2 - 6*a + 5. Let u be o(v). Solve -k - n + 4 = u for k.
3
Suppose -z - 7 = f, -4*f - 2 = -5*z - 1. Let u = 6 + f. Suppose -u = 3*y - 11. Solve 5*v + y = -2 for v.
-1
Let c(k) = k**2 - k - 3. Suppose 3*h - 18 = -6, -3*x + 2*h + 1 = 0. Suppose 2 = x*f - 7. Let z be c(f). Solve -4*o = -z*o for o.
0
Suppose 5*z + 2*w = 88, 5*z - 4*w = 89 + 5. Suppose -3*o - 13 = -y, z = 2*y - 4*y - 5*o. Solve -q + y + 3 = 0 for q.
4
Let d(u) = -4 + u + 0 - 5 + 0. Let s be d(9). Solve s = 5*h - 7 - 18 for h.
5
Suppose -6 = -4*l + 2*l. Let y be (-4)/1 + 3 + l. Solve 25 = y*a + 3*a for a.
5
Let v(c) = c**3 + 5*c**2 - 6*c + 4. Let y be v(-6). Suppose -2 = -w - 0*w + t, -3*w = -2*t - y. Solve -3*m + 3 = -w for m.
1
Suppose -3*v - 17 = -4*v - k, 3*v = 2*k + 46. Suppose -v = w - 5*w. Solve 0 = 4*x + 12 + w for x.
-4
Suppose -i = 2, -3*o - 7*i - 8 = -3*i. Suppose -4*j + 2*j = o. Solve j = -3*s + 2 + 10 for s.
4
Let h(z) = -2*z**2 - 9*z - 5. Let r(c) = c**2 + 4*c + 2. Let o be 1*12*(-1)/2. Let x(q) = o*h(q) - 13*r(q). Let l be x(3). Solve l = -4*f + 3*f for f.
-1
Let f = 49 + -49. Let u = 0 + -7. Let t = 8 - u. Solve f*i = -3*i - t for i.
-5
Let n be -2 + ((-12)/2)/(-3). Let w = 0 + n. Solve w - 15 = 5*o for o.
-3
Let h = -4 - -18. Let m be (-40)/h*7/(-2). Solve m - 4 = 3*t for t.
2
Let j(t) = 2*t**3 + 2*t**2 - 2*t + 1. Let c be j(1). Let b = c + -1. Solve 0 = -2*l - b - 2 for l.
-2
Let y be 0 + 0 + (2 - -2). Solve -3 = y*l - l for l.
-1
Let u = -11 + 11. Let g be (-1)/2*(0 + u). Solve -20 + g = -5*t for t.
4
Let b = -3 + 7. Solve b*f - 3 = -7 for f.
-1
Suppose 27 = 5*c + 2. Solve 0*k + c*k = 5 for k.
1
Suppose -4*g - 5*f - 2 = 0, 3*f = -3*g + f - 5. Let j be (-2*g/(-3))/(-2). Let y = j - 1. Solve y = -o - 2*o for o.
0
Let g be 1 + (-1 - -2)*-2 + 16. Solve 0*u = -5*u + g for u.
3
Let s = -5 + 12. Suppose 4*n - 23 + s