 0/(-2) + (-2 - 2). Let k be -1*2/u*4. Suppose -5*h = -k*h. Solve h = y - 4 + 3 for y.
1
Let w = -69 - -71. Solve -w*a + 4 = 2 for a.
1
Let u be 545/20 + (-3)/(-4). Let j be (-2)/(-8) + u/16. Let b be ((-30)/(-4))/5*j. Solve 4 = b*o - 2*o for o.
4
Let x(o) = 3*o**2 - 6*o + 6. Let w be x(1). Solve 0 = -w*g - 0*g - 6 for g.
-2
Let r(m) = -4*m. Let p = -3 + 7. Suppose -p = -0*q + q. Let i be r(q). Solve -3*f + i - 4 = 0 for f.
4
Suppose 4*n - 21 = c - 3, 0 = 5*n + 4*c - 33. Solve 0*q = n*q - 10 for q.
2
Let j = -81 - -87. Solve -j*k = -4*k - 2 for k.
1
Let w(f) = f**2 + 2*f + 8. Let c be w(0). Solve 0 = -4*u + c + 8 for u.
4
Let z be (-4)/(-8) + 2/4. Suppose -z + 11 = 4*h + 2*x, 7 = 3*h + 2*x. Solve 7 = h*y + 1 for y.
2
Let z(u) = 2*u**3 + 55*u**2 + 27*u + 16. Let b be z(-27). Let p = 2 + 1. Solve h = -p*h - b for h.
-4
Let k = -6 - -10. Solve l + k = -3*l for l.
-1
Suppose 0 = -3*n + 5*x + 15, -2*n = 2*x - 10. Solve 7 = n*l + 2 for l.
1
Let i(x) = -4*x. Let p = -11 + 10. Let f be i(p). Solve 3*k = -k - f for k.
-1
Let d(x) = -10*x. Let z be d(-1). Let j = z - 3. Suppose j*r = 3*r + 12. Solve 1 = -b - r for b.
-4
Suppose -w + 3 + 3 = 3*x, -2*w = 3*x - 3. Solve x*h - 2*h = -2 for h.
-2
Suppose -2*g + 5 = -5. Suppose 5*k + 28 = 3. Let m be ((-4)/5)/(1/k). Solve -n - m*n - g = 0 for n.
-1
Let x(z) = z**3 + 15*z**2 - 18*z - 31. Let t be x(-16). Solve -5*n = -t + 6 for n.
-1
Let o be (0/(-3) + -1)*-3. Suppose 0 = 2*p + o*p - 15. Suppose p*t = -12, -3*t = 4*u - 8*t - 32. Solve g = -u*g + 12 for g.
3
Suppose 4*b = 3*b + 3. Suppose b*d - x = 2*x, -5*x = 0. Let g = 0 + 2. Solve d*j + g*j = -8 for j.
-4
Suppose 0 = z - 0*z - 8. Let x be (z/(-6))/4*-12. Solve -8 - x = -3*i for i.
4
Let f(h) = h + 4. Let q be f(-2). Let w be (q - 10)*(-1)/2. Suppose -3*c = -4*v, -3*c + w*c - v = 0. Solve 3*x + 2*x + 25 = c for x.
-5
Let f(x) = -11*x**3 - 2*x**2 - 2*x. Let w(z) = -5*z**3 - z**2 - z. Let s(y) = 6*f(y) - 13*w(y). Let i be s(2). Let n = i + 9. Solve -2*c - 20 = -n*c for c.
4
Let a(t) be the third derivative of -t**5/60 + 3*t**4/8 - 7*t**3/3 + 7*t**2. Let v be a(7). Let b = 3 - -2. Solve -b*z + z - 8 = v for z.
-2
Let i(f) = 7*f - 1. Let g be i(1). Let n(c) = c**3 - 21*c**2 + 19*c + 20. Let m be n(20). Solve m = t + t - g for t.
3
Suppose -3*v + 25 = 2*v. Suppose -1 + v = w. Solve -15 = y - w*y for y.
5
Let z(k) be the first derivative of -2*k + 1/3*k**3 + 0*k**2 + 2. Let x be z(2). Solve -m - 9 = x*m for m.
-3
Suppose -m - 9 + 1 = z, -2*z = 4*m + 12. Let u = 23 + z. Solve -u + 4 = 3*h for h.
-3
Let c be (0 - 2) + 2*1. Suppose c = -0*d - 3*d + 2*j, -4*d + j = -5. Let y(a) = -a**3 + 4*a**2 + 3*a - 3. Let i be y(3). Solve 3*r + d*r = -i for r.
-3
Let n(w) = w**2 + 7*w - 13. Let u be n(-9). Solve -u*m + 16 = -4 for m.
4
Let d = 14 - 10. Let y = 8 - d. Solve y*c - 4 = 6*c for c.
-2
Let m = 35 + -25. Solve 2 = 4*d + m for d.
-2
Suppose 2*y - 3 = y. Suppose -y*a = 3*x - 21, -4*x + 21 + 11 = 5*a. Suppose 0 = -4*z + 4*k + 8, -x*z - k + 5*k = -8. Solve z = 5*n + 14 + 11 for n.
-5
Let v = -6 - -9. Solve v*a - 4 = a for a.
2
Suppose -3*r - r = -116. Suppose g = l - 0*l + 8, -3*l = -4*g + r. Let j be 2/(-1*l/3). Solve -a + 1 = -j for a.
3
Let l = -20 + 33. Suppose -16*n = -l*n - 12. Solve -n*c - c = -20 for c.
4
Let z(u) = u**2 + 3*u - 2. Let p be z(-2). Let s = p + 8. Solve -i - 1 = -s for i.
3
Suppose -3*k = -5*n - 6, 3*n - 1 = 8. Suppose 2*w - 3 = t, 0 = -3*w + 2*w + 5*t - 3. Let g = k + w. Solve 0 = 3*v - 0 - g for v.
3
Suppose 42 = 5*y - 18. Let l be (y/(-8))/(1/(-2)). Suppose -r = l*r - 12. Solve -r*f - 10 = 2*f for f.
-2
Let l(z) = -z**2 - 4*z - 1. Let t be l(-3). Let o(k) = -2*k**2 + 2*k + 1. Let s be o(t). Let v = s + 3. Solve v = -5*d + 1 + 9 for d.
2
Let w = 11 - 9. Suppose w*y - 7*y + 15 = -5*b, -2*b = 2*y + 6. Solve y = -4*q + 10 + 6 for q.
4
Suppose 31*n - 19*n - 48 = 0. Solve -2 = -n*x + 2 for x.
1
Suppose 16 = -2*z - i + 5*i, 0 = 2*z - 5*i + 20. Solve z = 3*k - 2*k for k.
0
Let i = -14 + 17. Solve 0*x = i*x + 6 for x.
-2
Let y(b) = 2*b**2 - 3*b - 4. Suppose -n = 5*j + 22, n + 2*n + 10 = -j. Let f be y(j). Suppose q - f = -3*q. Solve 8*r + q = 3*r for r.
-2
Let f(t) = -2*t**3 - 26*t**2 + t + 13. Let x be f(-13). Solve -b - 2*b - 12 = x for b.
-4
Suppose -4 = -3*t + 2. Let w be t + (3 - 1)*-1. Let d(q) = q**3 - 4*q**2 + 3*q + 1. Let z be d(3). Solve p - z = -w for p.
1
Let h(c) = -c**2 - 8*c + 5. Let w be h(-8). Suppose -4*z = 1 - w. Let v be 5*-1*z/(-1). Solve 40 = v*d + 15 for d.
5
Let r(z) = z**3 + 4*z**2 + 5. Let s be r(-4). Let d = s + -2. Solve 1 + 2 = -d*h for h.
-1
Let q(z) = -z**2 + 6*z + 7. Let j be q(7). Solve -5*t - 32 + 7 = j for t.
-5
Let l(w) = -w**2 - 6*w - 3. Let y be l(-4). Suppose -2*c - 2*c + 3 = -5*p, p + y*c = 11. Solve 7 = -2*k - p for k.
-4
Let a(p) = 15*p**2 - 14*p**2 - p - 7 + 8*p. Let g be a(-8). Solve -g + 4 = -3*z for z.
-1
Suppose 2*b - 2*p - 4 = -0*b, 4*b - 14 = -2*p. Solve 2*d - 15 = -b*d for d.
3
Suppose 13 = 5*l - 2. Suppose -4*v - 3*x = -25, -2*v - v + 3*x = -l. Solve -2*r = -v*r for r.
0
Suppose 0 = 3*r + 2 - 5. Solve d = 1 + r for d.
2
Suppose 26 = t + 4*s, 3*s - 39 = -4*t - 0*s. Solve 3*p - 6*p + t = 0 for p.
2
Let l = 188 + -170. Solve -n = 5*n + l for n.
-3
Suppose 24 = 3*f + f. Solve f = 2*v + v for v.
2
Suppose 41*k = 33*k + 32. Solve o + k = 5 for o.
1
Let c(a) = 6*a - 5 + 0*a**3 + 4 + 4*a**2 + a**3 - 2*a**3. Let g be c(5). Suppose -w = -g*w + 15. Solve 5*i - 10 - w = 0 for i.
3
Suppose -l + 2 = -5*d + 4, -3*d + 4 = -2*l. Solve d*i + 9 = 3*i for i.
3
Suppose 0 = -0*y + 2*y - p - 16, -3*y - 2*p = -24. Solve 0 = -0*q - 4*q - y for q.
-2
Let s(a) = 3*a - 2. Let q be s(1). Solve 0 = -d - q for d.
-1
Let q = -6 - -7. Let r = 3 - q. Solve -r*l - 1 = -9 for l.
4
Let j(t) be the first derivative of -t**2 - 5*t + 1. Let m be j(-4). Solve m = 4*o + 19 for o.
-4
Let t be (-30)/(-4)*(-32)/(-12). Solve -2*u = 2*u - t for u.
5
Let h be 15/20 - (-25)/4. Suppose -g - h = -2*g. Let u = -2 - -6. Solve -g = -u*c + 9 for c.
4
Suppose 8*g + 22 = 38. Solve -g*y - 3*y = 15 for y.
-3
Let m(g) = 4*g - 2. Let r be m(3). Suppose 5*z - 10 = -0*x - 2*x, -2*z + x + 4 = 0. Let b = r - z. Solve -o = o + b for o.
-4
Let g = -136 - -142. Solve g*m + 20 = m for m.
-4
Let o(k) = 7*k - k - 3*k + 1. Let j be o(3). Let z = j + -7. Solve -p + 0 = -z for p.
3
Let c(t) = t**2 + 4*t - 6. Let b be c(-7). Solve 4*u = 7*u + b for u.
-5
Let u be (-7)/1*21/(-49). Solve -u*q - 5 + 2 = 0 for q.
-1
Let y = -51 + 66. Solve 5 = -5*o - y for o.
-4
Let q = -13 - -14. Solve -n + q = -3 for n.
4
Let i(w) = 2*w**2 + 11*w - 15. Let n be i(-7). Solve 0 = -3*d - n - 3 for d.
-3
Suppose 0 = 5*n - 0*v + 4*v - 24, -19 = -5*n + v. Let z be (1 + 0)*(-8)/n. Let l = 6 + z. Solve 5*m + l + 11 = 0 for m.
-3
Let h(m) = m**3 - 5*m**2 + 4. Let t be h(5). Suppose b + t = 3*b. Suppose -3*p + a + 12 = b*p, 2*a = -p - 2. Solve -p*f = 2 + 8 for f.
-5
Let p = 8 + -5. Let s = 5 - p. Solve -5 + 3 = s*i for i.
-1
Suppose -2*q - 20 = 3*q, -72 = -4*f + 5*q. Let k = -8 + f. Suppose 28 = 2*z + 4. Solve k*u - u = z for u.
3
Let r = -6 + 8. Solve -r + 1 = -a for a.
1
Suppose -14 = -f - 5. Solve -j - 2*j + f = 0 for j.
3
Suppose -3*n - 6 = -0*n. Let t be (1/1 - 4)*n. Let j = 13 - 8. Solve 3*x - j*x + t = 0 for x.
3
Let m = 4 - 6. Let b(w) = w**3 + 3*w**2 + w - 1. Let g be b(m). Solve -g + 7 = 2*i for i.
3
Suppose r = -4*r - 2*b + 11, -4*r - 2*b = -8. Suppose -t + 2 = -0*t. Suppose -5*y = -5*x + x - 120, -t*y - 5*x = -81. Solve -5*q + r = y for q.
-5
Let n(d) = d - 4. Let c = -3 + 2. Let q = c + 6. Let s be n(q). Solve t = -s + 6 for t.
5
Let z be (-4 + -3)/(-1) + 1. Solve -5*j = -3*j + z for j.
-4
Suppose -b - 2*b = 0. Let k be 1*(-1 - -4 - b). Solve k*x = 3 - 0 for x.
1
Let h(u) = u**3 + 7*u**2 + 6*u + 6. Let i be h(-6). Solve -i*g + 2*g = 0 for g.
0
Let g = -7 + 11. Suppose 5*y = 2*y. Solve y = 2*q + g - 12 for q.
4
Let c(q) = 3*q**2 - q - 1. Let w be c(-1). Let g(b) = 2*b - 7. Let v(t) = t + 1. Let s be v(5). Let d be g(s). Solve w*l + 17 = d for l.
-4
Let a(n) = n**3 + n - 2. Let t be a(2). Solve 2*g = 4*g - t for g.
4
Let t(g) = -g + 2. Let k(c) = 2*c**2 + 3*c. Let r be 2/(-10) - (-27)/(-15). Let j be k(r). Let h be t(j). Solve -6*l + 11*l + 25 = h for l.
-5
Let o = 25 - 13. Solve -2*z - z - o = 