 0 for f.
-2
Suppose y - 6*j = -3*j + 15, -10 = -3*y + 2*j. Solve y = -5*m - 15 for m.
-3
Suppose 22 + 23 = 3*x. Suppose x = -5*h + 2*y, -3*h + 3*y - 8 = 2*y. Let r be -4*8/2*h. Solve 5*l + 41 = r for l.
-5
Let y = -57 - -37. Let f = y - -22. Solve -3*t = f*t + 25 for t.
-5
Suppose t + q + 4*q = 17, -t + 5*q = 13. Solve -t*z + 2 - 8 = 0 for z.
-3
Let k be (-8 - 1) + 4/2. Let r = 9 + k. Solve 1 = -z - r for z.
-3
Suppose 5*d + 81 = 5*l - 24, 3*l - 66 = 2*d. Solve l = 5*c + 4 for c.
4
Let m = 18 + -17. Let u = 0 + 5. Solve m + u = 3*l for l.
2
Suppose -40*r + 60 = -36*r. Solve -w - 4*w + r = 0 for w.
3
Let t be (-3)/(-4) + (-2)/(-8). Suppose -d + t = -3. Solve 0 = -p + d*p + 9 for p.
-3
Let m = -81 - -83. Solve -5*y + 6 = -m*y for y.
2
Let j(t) = -2*t + 8. Let h be j(4). Solve 2*s = -h*s for s.
0
Suppose 5*b + p = b + 5, -2*b - 2 = -4*p. Let r = -34 + 36. Solve s = r - b for s.
1
Let r = 1 - 1. Suppose r = -2*d - 6 + 2. Let i be 3*1/(-3)*d. Solve k = -i*k + 3 for k.
1
Suppose -2 = -2*i - 4. Let t = 3 + i. Solve -t*b = -7*b - 5 for b.
-1
Let n = 7 + -11. Let b = n - -4. Let r be b + 4 - 4/4. Solve 0 = -r*a - 3 - 0 for a.
-1
Suppose 21 = -0*h + h. Let q = h + -17. Solve -q*o = -0*o for o.
0
Suppose -2*f - v = 5, -12*f + 14*f + 20 = -4*v. Solve f = -3*m + 15 - 0 for m.
5
Let r = -102 + 104. Solve 0 = -2*t - r for t.
-1
Let j(k) = 0*k + 0*k**2 - 3*k**2 - k + 2 + 2*k**3. Let o be j(2). Suppose 4*l = 4*t - 12, 0*t - 12 = 5*l - o*t. Solve l*s = -3*s for s.
0
Let u(p) = p**3 + p - 2. Let n be u(-2). Let t = -8 - n. Solve 1 + 15 = t*g for g.
4
Suppose -3 = -8*b + 21. Solve -b*a + 5 = 14 for a.
-3
Let k be (-3)/(-15) - 84/(-30). Solve k*n = 5*n - 8 for n.
4
Let t(v) = -v**3 - 4*v**2 - 3 - 2*v + 2*v - 1 - v. Let i be t(-4). Solve -2*s - 3*s + 20 = i for s.
4
Let k be 7 - (4 - (3 - 0)). Suppose -6 = -3*p + k. Solve -5*x + p = -3*x for x.
2
Suppose -5*f + 0*f = 0. Solve -4*p + f*p + 16 = 0 for p.
4
Suppose -4*j + 3*u = 0, 0*u + 4 = -4*j + 2*u. Let x = j + 7. Solve -x*c + 4 = -16 for c.
5
Let i(f) = f**3 - f**2 - 2*f + 1. Let y be i(2). Let p = 2 + y. Solve 0 = 2*r + 1 - p for r.
1
Let b = 17 - 9. Suppose -2 = 2*w - b. Suppose w*u = u + 8. Solve -g = u*g for g.
0
Suppose 8 = 2*j - 0. Suppose j*y + 4*s - 25 = -s, s - 6 = -y. Suppose 3 + 2 = y*l. Solve -3*w - l = 11 for w.
-4
Suppose 4*r = -x + 12, 0 = -r + 4*x - 1 - 13. Let v be (-1 + -2)/(6/(-8)). Solve 3*b - v*b - r = 0 for b.
-2
Suppose -4*n = 9 + 3. Let v(f) = f**2 + 5*f + 3. Let h be v(n). Let l be ((-3)/h + 0)*2. Solve -15 = -3*p - l*p for p.
3
Let o be 13/6 + (-1)/6. Suppose 8 = x - o. Solve -t = 4*t - x for t.
2
Let d = 22 - 16. Suppose 0 = 4*l - 10*l + d. Solve r + 0*r - l = 0 for r.
1
Suppose 0 = -t + 3 + 2. Suppose 0*i + 15 = t*i. Suppose x = -i + 9. Solve -4*c + c = -x for c.
2
Suppose a + 0*a = 0. Solve a*h + 4*h = -4 for h.
-1
Suppose 4*v = 3*n - 10 + 30, 0 = -2*n - 5*v + 25. Let f(p) = -p**2 - p. Let j be f(n). Solve j = a + a for a.
0
Suppose 4*d + q - 22 = -0, -d + 2 = 2*q. Let f(t) = -t**3 + 6*t**2 - 4*t + 2. Let m be f(2). Solve -4*r = -m - d for r.
4
Suppose 2*l = -4*l - l. Solve f + l*f = -4 for f.
-4
Suppose 0 = 31*f - 29*f - 4. Solve -2*s = -s + f for s.
-2
Let z = -1 + 3. Suppose 4*c - 3 = 3*c - 2*s, s - 3 = -2*c. Solve 3*j - c = z for j.
1
Suppose 0 = 2*j + 3*j - 5. Solve -3*p + 8 = -j for p.
3
Suppose 10 = s - 2. Let i = -7 + s. Suppose -i*w - 4*j = 8, -4*w - 2*j + 0 - 4 = 0. Solve w = q + 4 for q.
-4
Suppose -4*l + 2 = -2. Solve -4 + l = -3*m for m.
1
Let q(c) = 6*c - 2. Let p(u) = 6*u - 2. Let l(b) = 5*p(b) - 4*q(b). Let o be l(2). Let n be 1/(o/4 - 2). Solve n*d - 12 = 5*d for d.
-4
Let h be (-1)/(-4) + (-45)/(-12). Suppose -16*v + 14*v = -6. Solve -v = -h*j - 23 for j.
-5
Let t(p) = p**3 - 3*p**2 + p - 2. Let r be t(3). Let v = 0 + 0. Solve b - r = -v for b.
1
Suppose 0*r - r + t = 3, -4*r - 6 = -2*t. Suppose 0 = -r*s - 2*s + 2. Solve s = 2*z + 5 for z.
-2
Suppose j + h = -2*h + 18, 2*j - h = 1. Let d be 0 + -3 + j + 3. Solve -l - 1 = d for l.
-4
Let j(s) be the third derivative of s**5/12 - s**4/6 + 2*s**3/3 - s**2. Let h be 35/10 - (-3)/(-6). Let l be j(h). Solve -5*g + 12 - l = 0 for g.
-5
Let j(t) = -4*t**3 + t**2 + t. Let d be j(-1). Let m be 105/(-33) + 3 - 114/(-22). Solve -h + m = d*h for h.
1
Let i = 4 + -11. Let m be (-194)/i + (-2)/(-7). Let g = -15 + m. Solve 0 = -4*s + g - 1 for s.
3
Let g(w) = -w**2 + 11*w - 8. Suppose 24 = 5*f - 26. Let a be g(f). Solve a*k - 2 = 4 for k.
3
Let k be 2/10 - (-14)/5. Let l(f) = k*f - 2*f + 2*f - 2*f - 3. Let d be l(8). Solve 0*z - 5*z + d = 0 for z.
1
Let r(t) = -t**2 - 5*t + 6. Let d be r(-6). Let u(i) = i**3 - 4. Let p be u(2). Solve p*c + c + 15 = d for c.
-3
Let a be (-2 - -8)*2/3. Suppose -35 = -5*d + 5*n, 0*n = a*d - 2*n - 22. Suppose d = l + 2. Solve q = 3*q - l for q.
1
Suppose -14*y = -18*y. Suppose y = -12*j + 9*j + 6. Solve j*t = t + 4 for t.
4
Suppose 0*h - 4*h + 28 = 4*p, -21 = -5*p + 2*h. Solve -8*d + 3*d = p for d.
-1
Suppose -5*p - 8 = -4*g, -2*g + 4*g - 4*p - 10 = 0. Let o be 10/g*(-6)/5. Suppose h + 4 = -l, 5*l - 2*l - 16 = o*h. Solve 3 = -l*k + k for k.
3
Let v = 66 + -62. Solve 0 + v = b for b.
4
Let b be (36/(-14))/((-45)/210). Let i(w) = -w**3 + 12*w**2 + 8. Let h be i(b). Solve h - 2 = 2*p for p.
3
Suppose c - 4 = -c. Solve -c*t = 2*t + 4 for t.
-1
Suppose 4*l + 22 = 5*z, -3*z + 3*l - 12 = -4*z. Solve 0 = 2*m + z + 2 for m.
-4
Suppose t - 2 = 0, h - 2*h - 4*t + 18 = 0. Suppose 5*y + 5*l = -h, 2*y - 6*l - 3 = -l. Let v(x) = 2*x**2 - 2*x - 1. Let r be v(y). Solve j - r*j + 4 = 0 for j.
2
Suppose 0 = 10*t - 5*t - 15. Suppose 5*o - 41 = -1. Suppose 5*v = 37 - 2. Solve -t*d = -v - o for d.
5
Suppose 5*l + 5 = 0, -2*s = -l + 2*l - 7. Solve s*q - q = 0 for q.
0
Let l(j) = j**2 + 16*j - 16. Let a be l(-17). Solve 1 + a = v for v.
2
Suppose -6 + 10 = 4*t. Solve -t = 3*h - 10 for h.
3
Let l be (2 - 1)*1 - 0. Let v be l/4 - (-354)/(-8). Let z be 8/v + (-48)/(-22). Solve -u = -z*u - 3 for u.
-3
Let s(r) = -4*r - 4. Let v be s(-2). Solve 9*f - v*f = 0 for f.
0
Let k = 80 + -74. Solve t = k*t for t.
0
Suppose 0 = 5*z - 5*r - 35, z - 5*z + 2*r = -20. Suppose -4*p = -0*p - q - 93, -81 = -4*p + 5*q. Suppose p - 6 = z*i. Solve 2*x - 4*x = -i for x.
3
Let x(q) = -q. Let h be x(0). Let y = 8 - 3. Solve -y*f + 3*f = h for f.
0
Let f(u) = u - 2. Let n be f(3). Solve 2 = o + n for o.
1
Suppose -66 = -8*w + 2*w. Let d(t) = 2*t**2 + 2*t. Let u be d(-2). Suppose 0*h + 3*m = u*h, 0 = -4*h - 5*m. Solve h = -4*g + 1 + w for g.
3
Suppose 2*s = -0*s - 4*n + 28, 0 = -s - 4*n + 24. Solve q + s*q + 20 = 0 for q.
-4
Let c be (5/2)/((2 + -1)/2). Solve -c*o = 14 + 11 for o.
-5
Let w(v) = v - 4. Let o be w(3). Let k be o/(-1) + -1 - -1. Solve -3*f = k + 5 for f.
-2
Let z = 15 + -12. Solve -2 = -a + z for a.
5
Let y = 38 + -36. Solve -y = -f - 4 for f.
-2
Let q be (-2 + 4)/(-3 + 5). Let h = 10 + -4. Let i = h - q. Solve -i*l = 9 + 16 for l.
-5
Let q be 2/(304/(-154) + 2). Let k = -53 + q. Suppose 5*h + 6*o = 4*o + k, 5*h - 21 = -3*o. Solve 2*l + h = -l for l.
-2
Let p(u) be the third derivative of -u**5/60 + u**3/3 + u**2. Let l be p(0). Let t(f) = -f**2 - 6*f - 6. Let r be t(-4). Solve 4*y = -r - l for y.
-1
Let m be 46/(5 + -3) - -2. Suppose 2*d = 2*q + 22, -5*d - q + 2*q + 39 = 0. Solve d*w - 2*w = -m for w.
-5
Let b(d) = d - 2. Let t be 1/(((-14)/(-8))/7). Let j be b(t). Solve -1 + 9 = j*l for l.
4
Let m = 10 - 4. Let p be 0/(-1)*(-3)/(-6). Suppose 3*t - 7 = -p*n - 2*n, 4*t - 7 = -5*n. Solve -t*w = -w + m for w.
-3
Suppose 4*y - 59 = -3*b, 2*y - 3*b - 69 + 26 = 0. Solve -1 = -4*w - y for w.
-4
Suppose -22 = 3*b - 5*b + 5*r, 0 = -3*b - 4*r + 10. Let x = -8 - -13. Solve x*u = b - 31 for u.
-5
Let u = -18 - -19. Suppose 3*t = -3*p + 15, 21 = 3*p + 5*t - 0*t. Solve a - u = -p for a.
-1
Let d = 44 - 19. Solve -5*n - 5 + d = 0 for n.
4
Suppose 3*a + l - 8 = 0, -a = a - 3*l - 20. Solve -3 = a*m + 5 for m.
-2
Let l be 2/(-9) - (-6)/27. Solve i - 2 = -l for i.
2
Suppose 0 = d - 3 + 2. Suppose 4*t + o = -t - d, 1 = 3*t - o. Solve -3*k - 25 + 10 = t for k.
-5
Suppose 2*l = -2 - 2. Let q = l + 4. Solve k = q - 1 for k.
1
Suppose 9 = 8*x - 23. Solve -3*d - x = -7*d for d.
1
Let s be ((-88)/20 - -4)*-10. Let i(f) = f**2 + 6*f + 5. Let j be i(-5). Suppose 