-28 + 8 = f*j for j.
-5
Let y = 64 - 63. Solve -w = -0*w - y for w.
1
Let r(u) = u**2 - 3*u - 12. Let z be r(-4). Suppose 6*h = 20 + z. Solve -h = -4*a + 6 for a.
3
Suppose 0 = z - 3*s + 5*s + 3, -3*z + 2*s = -15. Solve k - z = -0 for k.
3
Let g be 3*(-3)/((-9)/(-7)). Let n = g + 9. Solve 0 = n*i + 2*i + 8 for i.
-2
Suppose 0 = 2*o + o - 30. Solve r + o = 3*r for r.
5
Suppose 5*m - 5*h = 15, -5*m + 25 - 7 = -4*h. Suppose 3*w = 2 + 22. Solve -w = 2*u - m*u for u.
2
Let p = 43 + -39. Solve 0 = 4*l - 0 - p for l.
1
Suppose m + 4 - 9 = 0. Solve -m*d + 3 + 2 = 0 for d.
1
Suppose d + 2*h - 4 = 3*h, 3*h = 5*d - 24. Solve -4*f = -d + 22 for f.
-4
Suppose 0 = r, -2*r = 3*h - 6*r - 48. Solve -3*g + h = g for g.
4
Let b = 7 - 7. Suppose 2*k = 3*l - 10, -l - 4 = -b*l + 3*k. Solve -25 = l*x + 3*x for x.
-5
Let d be -1*(0 - 1) + 1. Solve 0*s + 2*s - d = 0 for s.
1
Suppose 2*m - 2*j - 18 = 0, -5*m - 5*j + j = 0. Let n(i) = -i**2 + 8*i + 12. Let q be n(9). Solve m*l = q*l for l.
0
Let d = -15 - -19. Solve -d*v = -5*v for v.
0
Let a(q) = 13 - 5 + 2*q**2 - 4*q**2 - q + q**3 - 6*q**2. Let p be a(8). Let r be (-1)/3 - (-147)/9. Solve 4*x - r = -p*x for x.
4
Let n = 13 + 0. Suppose h + 2*i = 8, 2*h - 2 = 5*i - n. Solve h*s - 15 = 5*s for s.
-5
Suppose -5*p + 2*s + 18 = -p, -3*p + 46 = 5*s. Let g(r) = r**3 - 6*r**2 - 6*r + 2. Let t be g(p). Suppose -2*b + t = b. Solve -i - b = -2 for i.
-1
Let i = 9 + -6. Let f be (i/(-6))/((-2)/4). Let b be 2/(1 - 0)*f. Solve b*p - 4*p = -2 for p.
1
Let z be (-21)/(-9) - (-1)/(-3). Let v(k) = -k**2 + 6*k - 3. Let w be v(4). Solve t = z*t - w for t.
5
Suppose 0 = 5*z + 5*p - 35, 0*p - 14 = -5*z + 2*p. Suppose y + z*y = 125. Solve -f - y = -6*f for f.
5
Suppose -4*o - 1 = -5*o. Let j be 4 - o*(0 - 0). Suppose 2*h + 54 = j*h. Solve -7 = -5*l - h for l.
-4
Suppose -12 = -5*h + 28. Suppose -j - 6 = -3*u - 2*j, 4*u + 5*j = h. Solve -d - d = -u for d.
1
Let i(p) = p**2 + 5*p - 3. Let g(t) = t**3 + 7*t**2 + 7*t + 1. Let s be g(-6). Let r be i(s). Let w be r/((-9)/3) + 1. Solve -w*f = -3*f - 3 for f.
-3
Suppose -5*v + u + 0*u = -10, -v - 5*u - 24 = 0. Suppose -v - 9 = -5*x. Suppose x*r = 7*r - 20. Solve 0*o = o - r for o.
4
Let z = 20 + -16. Suppose 5*j = z*t - 53, 4*j - 8*j - 16 = -t. Solve 0*n - 3*n = -t for n.
4
Let s(i) = 5*i - 5. Let g = 6 - 4. Let j = 7 - g. Let c be s(j). Solve 0*r = 4*r + c for r.
-5
Let k be -3*15/(-18)*2. Suppose -k*x + x = -16. Let a be (-4)/(-18) + x/(-18). Solve a*h + 20 = 5*h for h.
4
Let u = 6 - 8. Let b = u - -2. Suppose -5*z + 29 + 51 = b. Solve 0*p - z = -4*p for p.
4
Let p = 29 - 14. Solve 0 = 4*l + p - 3 for l.
-3
Suppose -5*i + 0*i = h - 61, -20 = 5*h. Let r be (-6)/(-9) + i/3. Solve -r*b = 5 + 10 for b.
-3
Let n = -10 - -6. Let p be 10/n + 2/(-4). Let y = 4 + p. Solve c - 1 = y for c.
2
Suppose k + 2 = 6. Suppose 2*l + 2 = 26. Solve -k + l = 4*t for t.
2
Let k be 3/3*(-4)/(-1). Let q be (-2 - -2)/(1*-2). Solve q*f + k = f for f.
4
Let h = -7 - -9. Solve 20 = 2*s + h*s for s.
5
Let b = -25 + -11. Let f be b/(-44) + (-4)/(-22). Let v = f - -1. Solve -1 + 3 = v*g for g.
1
Let h be 0 + 3 + -3 + -3. Let t be 100/35 - h/21. Solve -4*m + t*m + 4 = 0 for m.
4
Let h be ((-2)/6)/((-3)/81). Let f = -8 + 2. Let g = -3 - f. Solve g*p = -0*p - h for p.
-3
Suppose 2*k + 2 = 8. Suppose a - 28 = -k. Suppose 3*u - n = 13, 18 = -2*u - 5*n + 4. Solve -u*m + a = 2*m for m.
5
Let q(u) = u**2 + 11*u + 54. Let d be q(-6). Solve -5*n = -d - 1 for n.
5
Suppose 4*m + 4 = -4*q, 4*m + q = m - 1. Solve -c = -m*c - 5 for c.
5
Let m(k) = -5*k**3 + 20*k**2 + 14*k - 7. Let o(t) = -3*t**3 + 13*t**2 + 9*t - 5. Let a(c) = 5*m(c) - 8*o(c). Let b be a(-3). Solve b*u = -u for u.
0
Let o = -19 + 9. Let v = 0 - o. Let c = 11 + -8. Solve 2 = -c*k - v for k.
-4
Let u be (8/2)/((-4)/(-2)). Suppose -o + 5 + 3 = 0. Solve 5*a + o = -u for a.
-2
Suppose 2*w - 4 = w. Solve 0 = -i + 3*i - w for i.
2
Suppose 6*g = 48 + 6. Let w be (28/2)/1 + -1. Let s = w - g. Solve s*a = 15 - 3 for a.
3
Let y = 1 + 1. Suppose 2*u - 4*q + 3*q - 6 = 0, 5*q = -4*u - 16. Suppose -6 = -3*x + 3*d, -5 + u = 2*d. Solve x = -y*a - 2 for a.
-1
Let w = -5 - -4. Let m be 3*-1*(0 + w). Solve 3*c + 9 - m = 0 for c.
-2
Let h(l) = -l**3 + 11*l**2 - 9*l - 4. Let q be h(10). Solve n - 1 = -q for n.
-5
Suppose -k = -4*k + 27. Solve 5*v + 1 = -k for v.
-2
Suppose 0 = -2*s + 3*b - 3, 2*s + 3 = s + 3*b. Solve 0*q - 2*q - 10 = s for q.
-5
Let l(n) = -n + 5. Let r be l(5). Suppose r*u - 3*u = -9. Solve 2*y - 5 = -u for y.
1
Suppose -5*c = 3*m - 11, 5*c = -0*c + 5*m - 5. Let i(a) = a**3 - 3*a**2 - a + 7. Let g be i(0). Solve -2*o - g = c for o.
-4
Let m = -8 - -11. Suppose -2*k + 3*k + y = 5, -21 = -5*k - m*y. Solve 6*s - 5*s = -k for s.
-3
Suppose 3*z - 5*p - 20 = 0, -16 = 2*p + 2*p. Suppose t = -z*t. Let r(o) = -o**2 - 7*o + 2. Let s be r(-6). Solve t*h - s = -2*h for h.
4
Let l = 12 + -17. Let p be (l - -2)*(-4)/6. Suppose 0 = -0*x - p*x + 20. Solve 4*q + x = 9*q for q.
2
Let d(g) = -g**3 + 8*g**2 + 9*g - 9. Suppose -5*s + 0*u = 4*u - 57, 36 = 5*s - 3*u. Let y be d(s). Let c = -6 - y. Solve -8 = -c*o + o for o.
4
Let w be -44*3/3 - 0. Let u = -11 - w. Suppose -2*c + q + 9 = 0, -4*c + 0*c + 5*q + u = 0. Solve -c*n - 2 = -0 for n.
-1
Let b(p) = p + 3. Let h be b(-3). Let r be (-24 - -18)/(-2*(1 - 0)). Solve r*u - u = h for u.
0
Let r(h) = h**3 - 2*h**2 + 2*h + 2. Let k be r(2). Let n = 9 - k. Solve d = -n*d for d.
0
Let m be (-2 - -8 - 2) + (-3)/(-3). Solve 8*x = m*x for x.
0
Suppose -4*l + 32 = -5*b, 2*b - 4 = -l - 3*l. Suppose 5*c - l = 3*k + 9, 3*k + 12 = -5*c. Suppose 2*r - 2 + 0 = c. Solve -4*m - 7 = r for m.
-2
Let n be 1/3 + (-11)/(-3). Suppose 141*c - 137*c = 0. Solve c*w - n*w + 8 = 0 for w.
2
Let w = 28 - 10. Let c = w - 14. Solve -m - c = m for m.
-2
Let t(k) = k**2 - 6*k - 15. Let y be t(8). Solve -2*q = -3*q + y for q.
1
Let p(m) = -2*m + 1. Let a be p(0). Solve d - 6 = -a for d.
5
Let n = 3 - 1. Suppose 2*v + 0*v - 37 = -3*y, -n*y + 23 = v. Solve -2*j - y = j for j.
-3
Let i(k) = -k**3 + 10*k**2 - 11*k - 15. Let y be i(8). Solve 0 = 2*u + 3*u + y for u.
-5
Let v = -19 + 21. Solve -5 = -m + v*m for m.
-5
Suppose 2*v + 1 = 1. Solve v = -12*t + 16*t + 12 for t.
-3
Let a(x) = -1. Let o(h) = -h + 7. Let m(f) = -3*a(f) - o(f). Let l be m(7). Solve 0 = l*y + y for y.
0
Let j(o) = -o + 6. Let x be j(-2). Solve -3 = b - x for b.
5
Suppose 34*s - 12 = 31*s. Solve 0 = 2*n - s*n + 4 for n.
2
Let g = -35 + 50. Solve 0*f = -3*f - g for f.
-5
Let t = 5 - 1. Let g = t - 10. Let u be (-34)/(-6) - g/(-9). Solve 0*k = u*k for k.
0
Let p(n) = -n**3 - 2*n - 1. Let w be p(-1). Suppose q - w = 1. Solve q*y + y = 0 for y.
0
Let z = -6 - -8. Suppose -5*s + 12 = -2*k, 4*s = k - z + 11. Suppose s*j - 6 + 0 = 0. Solve -h - j*h = 0 for h.
0
Suppose -3*g = -5*g + 3*l + 13, 4*l + 4 = 0. Let x = 10 + -6. Suppose -7 = -s + x. Solve -g*i = s - 1 for i.
-2
Let b(q) = -5*q**3 - q**2 - q. Let i be b(-1). Solve -i*f = -0 - 5 for f.
1
Let r = 7 + -3. Suppose -8 - 8 = r*p. Let g be 2/4 - 6/p. Solve g = 2*s - 0*s for s.
1
Let l = -145 + 150. Solve -4*c - l = -17 for c.
3
Suppose 4*h + 2 = -3*i, i - 6*h = -3*h + 8. Suppose 5*s - 27 = 3*m, -3*m + 3 = 5*s - 0*m. Suppose 3*c + b = 5, s*b - b - 7 = -5*c. Solve -k - i*k = -c for k.
1
Let k be -3*2*(57/(-6) + 7). Solve 8*t - k = 5*t for t.
5
Let o(b) = -7*b - 32. Let n be o(-6). Let h = -1 + 5. Solve h*c - n = -c for c.
2
Suppose 0 = 2*k - 5*b - 25 - 4, -2*k - 2*b = -8. Solve -3*z = -1 + k for z.
-2
Let m be 354/42 - 3/7. Solve -2*q + 0*q = -m for q.
4
Suppose m = -0*m + 4. Suppose -6 = -m*t + 2. Solve 2 = -t*n - 2 for n.
-2
Let w(x) = x**2 - 10*x + 11. Let z be w(10). Suppose -5 = -4*g + z. Solve -p - 6 = -g*p for p.
2
Let y(r) = r**3 + 5*r**2 - 7*r - 4. Suppose 4*b - 6 = 5*b. Let f be y(b). Solve 3 = -f*s - 1 for s.
-2
Let z(q) be the third derivative of q**5/60 + q**4/3 + 5*q**3/3 + 3*q**2. Let b be z(-7). Let c be ((-15)/2)/(b/(-8)). Solve 0 = g + 4*g - c for g.
4
Let x = 14 - 4. Let t = x - 6. Solve -t*z = -z for z.
0
Suppose 0 = b + b - 36. Suppose 5*s - b = -4*n, -2*s + n + 5 - 3 = 0. Suppose 0 = -w - s*q + 6 - 4, 3*w = q + 13. Solve -7 = -w*c - 19 for c.
-3
Let i be (-3 - -4)/1 + 0 + -1. Solve -y - 3 = -i*y for y.
-3
Suppose -w = 3*c - 12, 5*c - 7 - 30 = 4*w. Le