be (-39)/(-9) + (-4)/(-6). Suppose -5 = -h*d + 5. Solve 0 = -d*f + 4 + 4 for f.
4
Let t = 15 - 13. Solve 4*s - 2 = t for s.
1
Let r(j) = -2*j - 7. Let q be (-6)/9 + 32/(-6). Let h be r(q). Let x = h + -5. Solve 2*o - 2 = -x for o.
1
Let f = -4 - -4. Let y be f - (-6 - 2/(-1)). Solve -4*z + 5*z = -y for z.
-4
Let x(q) = q**2 - 9*q - 4. Let o be x(9). Let t(r) = -2*r - 6. Let a be t(o). Solve 1 = a*m - 1 for m.
1
Let h = 15 - 13. Solve 7 = -h*r - 3 for r.
-5
Suppose -9*x + 88 = -20. Solve x = -2*v + 2 for v.
-5
Let t(r) = -r - 4. Let x be t(-8). Suppose 2*y = -4*s - 4, -3*s - x = -2*y + s. Solve y = -4*h + 2*h for h.
0
Let a(h) = -4*h + 55. Let o be a(11). Let f(w) = w + 6. Let u(i) = i + 6. Let x(d) = -4*f(d) + 5*u(d). Let b be x(-6). Solve 4*v + o + 9 = b for v.
-5
Suppose -3*p + 4 = -2*p - 2*j, -5*j = -3*p + 9. Let h be (3/6)/(p/(-12)). Suppose h*z = -z. Solve 2*n - 4 - 6 = z for n.
5
Let w be ((-2)/5)/1*-5. Let b = -1 + 2. Let u = 3 - b. Solve u*t = -w*t for t.
0
Let f be (-4)/(-26) + (-252)/(-52) + -2. Solve q - 2*q = f for q.
-3
Let q = 29 - 29. Let s(z) = 24*z**3 + 2*z**2 - z. Let i be s(1). Solve i = 5*b - q*b for b.
5
Let s(k) = k**3 + 12*k**2 - 14*k - 9. Let x be s(-13). Suppose -o + 2 = 0, 5*t + x*o = -0*o + 13. Solve c + t - 2 = 0 for c.
1
Let p(v) = -v**2 + 6. Let t be p(0). Suppose t*h - 4*h = 2. Solve 0 = -3*f + 16 - h for f.
5
Let q = -17 + 19. Solve 3*r - q = -14 for r.
-4
Let a = 10 + -6. Suppose -2*x + 1 = -1, 0 = -a*r - 3*x + 27. Solve -r = -0*b - 3*b for b.
2
Let n(w) = -2*w - 6. Let i be n(-4). Let f be (4 - 2 - i)/1. Let k = -4 + 4. Solve t - 2 + k = f for t.
2
Let t be ((-20)/(-15))/((-12)/(-18)). Solve -4 = t*x - 12 for x.
4
Let s be 27/4 + (-27)/36. Suppose 2*a + v = -2, 0 = a - 6*a + 3*v + s. Solve -2*c - c + 15 = a for c.
5
Suppose 5*p + 11 = 36. Let h(g) = -g + 1. Let l be h(2). Let q = l - -12. Solve -p*a - 1 = -q for a.
2
Suppose 4*v - 4 + 0 = q, 4*q = -5*v + 5. Solve q*f = 5*f - 25 for f.
5
Let a be 18/5 - 2/(-5). Let q = a - 4. Solve 3*m = -q*m for m.
0
Let b(r) = -r**3 - 8*r**2 - 5*r - 4. Let t be b(-8). Suppose -p - x + t = 4*p, p - 2*x = 16. Let n = -1 - -1. Solve n*u - p = 2*u for u.
-4
Suppose 1 + 4 = -m, -5*c + 20 = 3*m. Suppose c*b - 66 = b. Solve 2*p = -3 + b for p.
4
Suppose -2*o = 3*o - 15. Suppose 0 = 2*u - 5*n - 48, 8 = o*n - 5*n. Suppose -5*q + 6 = -u. Solve 0*f + q*f = -16 for f.
-4
Suppose -4*u - 33 = 5*n, -3*n = 5*u - 0*n + 38. Let x = u - -7. Solve x = 2*r + 2*r - 16 for r.
4
Let b be 1/(-2) + 6/4. Let c(m) = -m**2 + 9*m + 6. Let i be c(9). Let n be (-87)/(-27) - i/27. Solve -b + n = y for y.
2
Let c(k) = k**3 + 5*k**2 - 3*k. Let q be c(-5). Solve -5*o - 10 - q = 0 for o.
-5
Suppose -35*y + 38*y - 6 = 0. Solve y*l - 3*l = 0 for l.
0
Suppose 15*s + 0*s = 30. Solve 0*y - s*y - 6 = 0 for y.
-3
Let q(h) = -h + 2. Let m be q(0). Suppose m*d + 3 = 9. Solve d = 5*i - 2 for i.
1
Suppose -3 - 1 = -4*q. Suppose -17 = 4*b - p, 7*p - 25 = 2*p. Let d be q/1 + b/(-3). Solve 0 = -d*x + 2 + 6 for x.
4
Let w(p) = p**2 - 10*p - 9. Let o be w(10). Let x = o - -11. Solve -x*b = -5 - 5 for b.
5
Let v = 5 - 1. Solve -v*w = 3 - 19 for w.
4
Let i(n) = -n - 2. Let v be i(-2). Let u = -5 - -7. Solve -u*h + 1 - 5 = v for h.
-2
Let y(u) = -u**2 - 3*u + 2. Let d be y(-3). Solve c - d*c = -4 for c.
4
Let t(u) = -4*u - 1. Suppose 3*k + 2*j - 8 = -2*j, -4*k + 2*j = 26. Let y be t(k). Solve o + 2*o - y = 0 for o.
5
Let m(w) = -w**3 - 8*w**2 + w + 11. Let p be m(-8). Solve 4*y = p*y for y.
0
Let o be (-1)/(-4) + (-2)/8. Suppose -p + o*n + n + 2 = 0, 2*p + n - 13 = 0. Solve p = -4*c - 7 for c.
-3
Suppose -s = w - 4*w + 12, 0 = 4*w + 4*s. Solve -w*a - a + 8 = 0 for a.
2
Let u(r) = -r**3 + 8*r**2 - 8*r + 9. Let b = 5 + 2. Let i be u(b). Suppose -a = i - 5. Solve a = 3*z + 6 for z.
-1
Let p = -19 + 44. Solve -p = -5*y - 0*y for y.
5
Suppose 13 = -5*r - 7. Let g(t) = t**3 + 4*t**2 - 2*t + 4. Let f be g(r). Solve w = -3*w - f for w.
-3
Suppose l = 2*s - 2*l - 20, -2*s + 4*l = -24. Solve 5*n = s*n for n.
0
Suppose -2*v + 4*t - 6 = -0*t, 0 = v + 2*t - 17. Solve 2*i + 20 = v*i for i.
4
Suppose -5*q + 12 = -q - a, -4*q = -3*a - 12. Solve q*u = -u + 20 for u.
5
Let d be (0 - (2 + -18)) + (-2)/2. Solve 4*w + w - d = 0 for w.
3
Let i = -197 - -208. Solve i*q = 7*q - 20 for q.
-5
Let m be -2 - ((-48)/30)/(4/10). Solve -m = -0*n - n for n.
2
Let f be 0 + (0 - -2 - 2). Suppose f = 5*s - 0 - 15. Solve s*w + 12 = -3 for w.
-5
Suppose 0 = -0*j + 4*j + 44. Let n = -8 - j. Solve n*h = h - 6 for h.
-3
Let u(a) be the first derivative of -a**4/4 + a**3 + 2*a - 1. Let x = -20 - -23. Let s be u(x). Solve s*n = n + 1 for n.
1
Suppose -100 = 3*r + r. Let m be (-15)/r - 3/5. Solve m = 2*h - 10 for h.
5
Suppose -3*u = u + 40. Let p be (-1 - u/4)*2. Solve 2*o + o = p for o.
1
Let q = 93 - 92. Solve m = -3 - q for m.
-4
Suppose 6 = -0*o + 2*o. Suppose d = l + o, -d + 2 = -4*l + 5. Suppose -j - 4 = 0, 4*z - 5*j - 4 = 32. Solve -z*t = -l*t for t.
0
Let h(y) = -6*y - 2. Let z be h(3). Let a be 32/10 + 4/z. Solve 2*c + a = 5*c for c.
1
Suppose 0 = 53*c - 54*c + 3. Solve c = -2*x - x for x.
-1
Let j = 0 + 7. Let r = 2 + -4. Let v = r + 2. Solve v = -2*q - 1 - j for q.
-4
Let w = 2 + -2. Let d be w + 0 + 6 - 1. Suppose d*z - 8 = 12. Solve -3*o + z*o = -1 for o.
-1
Suppose -z = -4*o + 1, -2*o = -z - 4 + 5. Let v = o + 3. Let k(i) = 2*i - 3. Let a be k(v). Solve 8 = a*w - 7 for w.
3
Suppose p - 2*p = q + 3, -4*p = 3*q + 13. Let j be (-1 + 2)*-3 - -2. Let r be 4/2 + j + q. Solve d - r = 2 for d.
4
Let v(o) = o**2 - 7*o - 6. Let n be v(8). Let w(u) = -9 + 2*u + 2*u - n*u. Let r be w(6). Solve 6 = -r*q - 0*q for q.
-2
Suppose -y + 2*q + 24 + 0 = 0, 0 = 2*y - 5*q - 45. Let x be y/7 - 8/28. Solve x*c + 12 = -0*c for c.
-3
Let b(o) = o**3 - 4*o**2 - 6*o + 5. Let y be b(5). Suppose -5*n + 3*n + n = 0. Let r(l) = -2*l - 1. Let g be r(-2). Solve n = -y*i - g*i for i.
0
Suppose 0 = -2*v - h + 19 - 1, -2*v = 4*h - 12. Suppose -5*i + 10 + v = 0. Solve 3 = q + i for q.
-1
Let y(i) = i**2 + 5*i + 4. Let a be y(-5). Solve 0 = a*x - 10 - 10 for x.
5
Suppose -2*u = -1 - 1. Suppose m - u = 9. Solve -m = -c - c for c.
5
Let g = 38 - 23. Suppose 3*o + g = 6*o. Solve 6 = o*k + 1 for k.
1
Let v(w) = 3 + 1 + 1 + w**3 - 7*w**2 + 2 + 7*w. Let p be v(6). Solve -7 - p = 5*n for n.
-4
Suppose -4*o = -d - 8*o + 18, -2*d = o - 8. Solve -d*h + 3 = -1 for h.
2
Let m be 66/12 + 3/(-2). Solve 4*r + 0 = -m for r.
-1
Let y = -3 + 3. Suppose 0 = 9*z + 8 - 53. Solve y = g - z*g for g.
0
Suppose 2*k = -4 + 2. Let i(s) = -15*s**3 + 2*s**2 + 2*s + 1. Let z be i(k). Solve -5*r + z = 1 for r.
3
Let u = -4 - -11. Suppose -4*k + 6 + u = x, 10 = 4*k - 2*x. Solve 0*r = -k*r for r.
0
Let r be (-2)/(-8) + 8/(-32). Let f(c) = r + 2 + 5*c + c**2 - c - 3*c. Let w be f(-2). Solve 0 = w*d + 7 + 5 for d.
-3
Let p = 0 + 4. Suppose 0*q = 2*q - p. Solve -4 = 4*g - q*g for g.
-2
Let c = 30 + -27. Let s be (-10)/3*(c - 9). Let v(i) = -i + 7. Let x be v(3). Solve -x*n - n = -s for n.
4
Let f(b) = 11*b**2. Let a be f(1). Suppose -2*h + 3*k - a = 0, -5*h + 5*k - 15 = -0*h. Solve 2*y = h - 0 for y.
1
Suppose 0 = 5*n - 4*p - 11, 5 = 5*p - 0. Suppose 3*z = -4*v - n, 5*z + 2 = 5*v - 3. Suppose -o + 1 = -v. Solve s + o = -1 for s.
-2
Let p(s) = s**2 + s. Let g be p(0). Suppose g*o + 2*o = -14. Let n = 9 + o. Solve -f = n*f for f.
0
Let m(n) = n**2 - 2*n - 5. Let h be m(4). Suppose 2*q = -5*v + 40, -v + 6*v = 3*q + 65. Solve -v = -j + h*j for j.
-5
Let t = -53 + 56. Solve 5*s - 6*s = t for s.
-3
Suppose 3*t - t - 2*u - 12 = 0, -18 = -2*t + 5*u. Solve -f = t*f - 5 for f.
1
Suppose -4*b + 8*b - 24 = 0. Solve -b*w + w = -10 for w.
2
Let n(g) = g**2 - 2*g - 10. Let s be n(5). Solve -4*q = -s*q for q.
0
Let c = 25 + -20. Solve -c*g = 16 - 1 for g.
-3
Let j(t) = 2*t**3 - 5*t**2 + 2*t + 1. Let c be j(3). Suppose 0 = q + 2*x - 21, -x = -5*x + c. Solve 1 = 3*p + q for p.
-4
Suppose q + 2 = -0*z + 2*z, 0 = -z + 1. Suppose -2 + 5 = k. Solve k*b = -q*b for b.
0
Suppose 13*y - 39 - 13 = 0. Solve y*o + o = 0 for o.
0
Let o(h) = -2*h + 3*h**2 - 4*h**3 + 3*h**3 + 3 - 1. Let r be o(2). Solve -z = r*z for z.
0
Let h(k) = -k**3 - 3*k**2 + 4*k + 5. Let y be h(-4). Let m = y - -1. Let a(r) = r**2 - 7*r + 7. Let p be a(m). Solve 2*b - p = -3 for b.
-1
