*u + 4 + 4 = 0 for u.
-2
Let d = -4 - -8. Solve 0 = p + 1 + d for p.
-5
Suppose -2*z + 14 = 3*q, q - 6 = -3*z + z. Solve -z = 3*i - 2*i for i.
-1
Let h(a) = a**2 + 2*a + 2. Let p be h(-2). Solve 2*j + p*j = 0 for j.
0
Let z(c) be the first derivative of c**4/4 + c**3 - 5*c**2/2 - 2*c - 3. Let b be z(-4). Suppose 2*q = -b + 6. Solve q*a + 4 = -2*a for a.
-1
Suppose -3*p + 8 = -4. Suppose h + p*h - 15 = 0. Suppose -h*q = 2*q. Solve -d + 2*d = q for d.
0
Suppose -5*c - 266 = -4*j, 5*j - 84 = c - 35. Let k = c + 36. Let l be k/6 + 4 + -1. Solve l = -0*d + d - 5 for d.
5
Let x(h) = 3*h**2 - 23*h - 5. Let t be x(8). Solve 0 = -d - 1 + t for d.
2
Suppose 4*y - 8 - 4 = 0. Solve -4*a = 9 + y for a.
-3
Suppose -2*s = 13 - 39. Suppose s = 4*a - 19. Suppose 0 = -3*k + v + 11, -k - 5*v + 4 = 11. Solve a*z - k*z = -15 for z.
-3
Let o = 20 - 14. Let l be 10*(o/(-5))/(-3). Suppose 3*s = -2*c + 15, -s + l*s = 3*c + 15. Solve c = -f - 4 for f.
-4
Let x = -18 - -20. Solve -3 = -3*z + x*z for z.
3
Suppose -5*j = 3*u + 1, -2*j + 14 = 5*u + 3. Suppose -u*x + 6*x = 5*a - 25, -5*x - 10 = -2*a. Solve x = 4*m - 0*m - 16 for m.
4
Let x = -3 + 3. Solve -1 = f - x for f.
-1
Let d be -4 - (-6 + 4)*(-2 - -4). Solve 0 = -5*w - d*w - 25 for w.
-5
Let i be (-2)/((-11 + 9)*(-1)/(-4)). Solve -a = -0*a - i for a.
4
Let m(h) = h**3 - 10*h**2 + 15*h + 24. Let r be m(8). Solve r*q - 18*q = -4 for q.
2
Suppose -5*x + 6 = -2*x. Solve x = d - 3 for d.
5
Let k(u) = -u**2 + 6*u - 3. Let n be k(5). Solve n*y = -3*y for y.
0
Suppose 0 = i - 0*i - 2. Let c be 1/i*(-20)/(-2). Let t = c + 3. Solve -t = -0*n + 2*n for n.
-4
Let i be (-2)/6 - (-76)/12. Solve y = i*y for y.
0
Let j(z) = -z**2 + 7*z - 5. Let y be j(6). Let i = 56 + -54. Solve y + 7 = i*q for q.
4
Suppose 3*n + 2*n = -40. Let i = 10 + n. Suppose i*l - 1 = 3. Solve l*t + 16 = -2*t for t.
-4
Let m be 1 + 2 + (2 - 2). Let n be (-10)/(-4)*(1 + 1). Let j = n + 2. Solve -m*r = -5 - j for r.
4
Let k be -1 - (-6)/((-1)/(-1)). Let z be (3/4)/((-4)/(-16)). Suppose -z*a = 3*c + a - 7, 3*a = -6. Solve 0 = -5*w + c + k for w.
2
Let a be 6/(((-15)/10)/(-1)). Solve 10 + 6 = a*l for l.
4
Let m(t) = 2*t + 26. Let h be m(-11). Suppose -4*j - 40 = -4*x, 35 = 2*x + 5*j - 2*j. Suppose 3*q + x = -5*p + 4*p, -3*p = 2*q + h. Solve p*n = 4*n - 2 for n.
1
Let d = 5 - 3. Solve d - 17 = 5*b for b.
-3
Suppose -3*r + 2*r + 4 = 0. Suppose r*o = 3*o + 5. Solve -3*g = o - 2 for g.
-1
Suppose -4*h = -2*h. Let w be 2*((-20)/(-8) + h). Solve 4 = w*q - 6 for q.
2
Let w(o) = -2*o - 6. Let j be w(-4). Suppose a + j = 4. Suppose 4*m = a + 26. Solve 0 = -3*u - 22 + m for u.
-5
Let s be (30/9)/((-8)/(-12)). Solve -4*z = z - s for z.
1
Suppose -30 = -2*n + n. Let l = n - 13. Solve -4*w = -l - 3 for w.
5
Let s be -3 + (-18)/2 + -2. Let v be (6/(-12))/((-1)/s). Let f(b) = -b**2 - 7*b + 3. Let m be f(v). Solve -8 + m = u for u.
-5
Suppose 5*j = -0*j + 20. Let b be (-1)/(-4) + 2/(-8). Let c be (6/(-8))/(1/(-4)). Solve -c*y + 7*y - j = b for y.
1
Suppose -3*q + 10 = -2*w - 5, -4*q + w = -20. Solve q*v = -15 - 5 for v.
-4
Let h(w) = -5*w - 9. Let q(s) be the first derivative of 3*s**2/2 + 5*s - 2. Let p(j) = 4*h(j) + 7*q(j). Let t be p(3). Solve -t*b + 2 = -b for b.
2
Let j be (18/(-15))/((-21)/70). Solve -2 = j*y + 2 for y.
-1
Suppose 4*r + 1 - 5 = -3*q, -2*r = q - 4. Let u = -4 - q. Suppose u = 3*z, -t - 2*t = -2*z. Solve -c - 5 = -t*c for c.
-5
Suppose c - 4*c - 12 = -j, 0 = j + c. Solve -j = 2*y + 7 for y.
-5
Let s(o) = -o + 3. Let u(q) = q - 1. Let t(v) = -s(v) - 2*u(v). Let b be t(-1). Suppose -2*a = -4*a + 6. Solve 0 = f - b*f - a for f.
3
Let m = -4 - -7. Suppose 5*s = -3 - 12. Let f be s/9 + (-3)/(-9). Solve m*q + 2 - 14 = f for q.
4
Let m be 6*(-2 - (-10)/4). Suppose -3*k = 9*k + 2*k. Solve k = b + 2*b - m for b.
1
Suppose -2*l + 5*l = 12. Solve -l*f + 9*f = 0 for f.
0
Suppose 3*t - 2 - 10 = 3*v, 26 = v + 5*t. Let k be 6/(v - -1) - 2. Let c(b) = -b + 28. Let i be c(28). Solve u - k + 2 = i for u.
-1
Let j = 14 - 2. Solve 4*f - f = -j for f.
-4
Suppose -2*g + 2 = -2. Let v(s) = -s**3 + 3*s**2 - s. Let a be v(g). Solve -a*t = -0*t - 2 for t.
1
Suppose -4*n - 50 = -3*v, -n = -4*v - 2*n + 35. Let s = -7 + 0. Let m = s + v. Solve -2*f - m = -3*f for f.
3
Suppose q + q = 4. Suppose 6 = 5*y - 3*y. Solve -y*g = q*g + 5 for g.
-1
Let n be (10 - 6)*(-1)/(-4). Solve n = 2*l + 3 for l.
-1
Let o be 6 - (4/2 - 0). Let r(t) = -4*t**3 + t**2 + 2*t + 1. Let d be r(-1). Suppose -5*s + 19 = -b, -b + 2*b - 3*s = -9. Solve o*c + d = b*c for c.
2
Suppose 0 = -3*l + 15, 2*l - l + 13 = -3*z. Let m be z/(-15) - 26/(-10). Suppose m*h = 26 - 11. Solve -h*t + 20 - 5 = 0 for t.
3
Let j = 1 - 1. Suppose g - 4*g = j. Suppose g = -r + 6. Solve 0 = 2*q - 4*q + r for q.
3
Let z(f) = f**2 - 8*f + 4. Let n be z(7). Let o = n + 6. Suppose 4*x = o*x. Solve x = 8*v - 3*v for v.
0
Let w(k) be the third derivative of -3*k**2 + 1/4*k**4 - 7/6*k**3 + 1/60*k**5 + 0*k + 0. Let h be w(-7). Solve h = 2*b + b + 12 for b.
-4
Let s be 1*(-4 + 3 - 5). Let d be (s/(-2) - 0)/1. Solve d = -3*y + 2*y for y.
-3
Let r(a) = -a**2 + 7*a + 2. Suppose -3*v - 14 = -5*v. Let f be r(v). Solve 15 = f*g + 3*g for g.
3
Suppose -38 = -5*q - 2*z, -q + 3*z + z = 10. Let g be ((-2)/6)/(1/(-9)). Suppose -1 = k - 4. Solve -k = -g*b + q for b.
3
Let k be (-8)/14*(-7)/2. Suppose 4 + 4 = 4*o. Suppose 0 = 2*n - k - o. Solve -n*t + 20 = -6*t for t.
-5
Let w = 9 - 3. Suppose v = w*v - 20. Solve 3*m = v*m - 2 for m.
2
Suppose 0 = 5*r - 2*r. Suppose r = 2*a + 4*f - 16, a + 0*f = 4*f + 2. Solve -y + a = y for y.
3
Let i be 30/9 + (-2)/6. Suppose -i*b = -2*m - 2*m - 24, m = 3*b - 15. Solve -4*x + b = -0 for x.
1
Let y be (-2)/(-7) + (-915)/(-7). Let t = 314 - 170. Suppose 3*z + z - t = -h, -3*z + 5*h = -y. Solve -5*c - z = -12 for c.
-5
Suppose -2*d = 3*d. Let x(a) = d*a - a + 0*a. Let k be x(0). Solve k*v = -v for v.
0
Let s = -3 + 3. Let o be (10 + s)/2 + -1. Let f = o + -3. Solve -w = f + 3 for w.
-4
Let q be 28/10*(-25)/(-5). Suppose -2*y = -5*p + q, -y + 2*p = -0*y + 6. Let t = y + 5. Solve -8*o = -t*o + 15 for o.
-3
Let s be 2/8 + (-105)/20. Let k be (-20)/(-4) + 3 - -4. Let w = k + s. Solve 0 = -3*o + w*o + 8 for o.
-2
Let h(q) = q**3 + q**2. Let c = 5 - 5. Let y be h(c). Solve y = b + 3 - 1 for b.
-2
Let m be 1/(-4)*0/12. Solve m = -u - 3*u for u.
0
Let l(v) = -v**3 - 4*v**2 + 2. Let j be l(-4). Suppose -4*s = -14 - j. Let f(b) = 2*b - 20. Let h be f(10). Solve h = 3*w + w - s for w.
1
Let c(x) = x**2 + 1. Let v be c(-1). Suppose 0*u + v*u - 54 = 0. Suppose 6 = -3*s + u. Solve -4*f - s = -3 for f.
-1
Let d(p) = p**2 + 8*p + 3. Let x be d(-8). Suppose 0 = 3*h - 2*n - n - 9, -5*n - 12 = -2*h. Solve h = -o + x for o.
2
Let a = 154 - 151. Solve 7 = -a*i - 8 for i.
-5
Let y be 2/(-4)*(-24)/2. Let b be 2/4 - (-21)/y. Solve -o + 25 = b*o for o.
5
Suppose -q = -5*p + 29, -12 = -4*p - 2*q - 0. Let b = 8 - 6. Suppose 2*r = -b*d - 4, -3*d + 11 = -3*r - 7. Solve 0 = -d*z - 5 - p for z.
-5
Let y(h) = h**2 + 1. Let a be y(1). Solve a*t - 2 = 6 for t.
4
Let c(u) = -u**3 - 8*u**2 + 10*u + 9. Suppose -2*r = 3 + 15. Let y be c(r). Solve 4*n = -y*n + 16 for n.
4
Let i be (3/2)/((-6)/(-16)). Suppose 0 = -t - 0*t - 5*c - 3, -c + 7 = i*t. Solve t*l - 6 - 4 = 0 for l.
5
Let b be -2 + (-7)/((-21)/18). Let f be 4 + 2 - (b - 2). Solve f = h + h for h.
2
Let q = 2 + -2. Suppose q*b = b - 2. Solve b*f = -f - 3 for f.
-1
Let j(u) = -2*u - 11 + 2 - 2*u. Let h be j(-4). Let a(w) = -w + 2. Let s be a(0). Solve -s*t = -h*t - 25 for t.
-5
Suppose -6*j + 3*j + 25 = -4*y, -j + 15 = -3*y. Solve -4*o + 3*o = -j for o.
3
Suppose -2*z = 5*n + 8, 0 = -5*z + z - 3*n + 12. Solve 0 = -z*s + s for s.
0
Let s(f) = -f + 23. Let o be s(7). Solve 0 = 5*n + o + 9 for n.
-5
Suppose -4*x + 5 = 5*s, -x - 2*s + 19 = 4*x. Solve 4*b + x = 3*b for b.
-5
Suppose -5*n = 4*a - 0 - 30, -5*n + 25 = 3*a. Let t(z) = -z**3 - 11*z**2 + 2*z + 25. Let p be t(-11). Solve m = n*m - p for m.
3
Suppose -o + 4*o = 12. Let i = o + -4. Let u = 1 - i. Solve 5 - u = -c for c.
-4
Suppose -2*s + 6 = s. Let o = -8 - -8. Suppose o = -5*q - s*l - 2 + 10, 2*l + 10 = 4*q. Solve 0 = 4*w - q - 6 for w.
2
Suppose 8 = -4*q - 16. Let y = q + 9. Solve 1 = -t - y for t.
-4
Let n = 7 - 4. Suppose 2*r - n*r = -2. Suppose -3*v + 