*v + 4. Let t = -19 - -24. Let w be u(t). Suppose 0 = -2*s + 3*g + 26, -36 = -4*s + 5*g + w. Solve 2*h = -0*h - s for h.
-5
Let p = 363 - 359. Solve 2 = p*b + 14 for b.
-3
Let j be -27*(-10)/(-9)*-3. Solve 102 = 4*n + j for n.
3
Let d(b) = -b**3 + 4*b**2 + 6*b - 3. Let f be d(5). Let q be 5 + -5*(-7 - -8). Solve -f*u = -q*u + 8 for u.
-4
Suppose -8 = 2*w + 3*l, -l = 5*w + l + 9. Let c be w + (-10)/(-15)*3. Solve 5*p + c + 9 = 0 for p.
-2
Suppose 33*j = 30*j + 3. Solve x + 1 = -j for x.
-2
Let s be (-1)/1*(-1 - 3). Let k = 1595 + -1586. Solve 0 = t - s + k for t.
-5
Suppose 322*l - 240 = 298*l. Solve 0 = p - l*p + 27 for p.
3
Let l = 156 - 104. Let k = l + -37. Suppose 0 = 5*h + x + 4*x - k, 0 = -h - 2*x. Solve -h*c = -3*c - 9 for c.
3
Let f = 79 - 50. Let a(l) = -l**3 + 30*l**2 - 30*l + 31. Let g be a(f). Solve g*q - 5*q - 9 = 0 for q.
-3
Suppose -4*g + 44 = k, -7*g + 4*k - 44 = -12*g. Solve -2*p + 4 - g = 0 for p.
-4
Suppose 5*n + 149 = -81. Let l = 46 + n. Solve 0*d - d = l for d.
0
Suppose 5*n - 10*n = 0. Let p(s) = -s - 2. Let z be p(n). Let c = 2 - z. Solve c*o = o for o.
0
Suppose f - 21 = -6*f. Suppose -2*k = -0*k - 5*g - 77, 4*g = -k + 71. Suppose 2*j - k = -j. Solve 4*w + f = -j for w.
-5
Let c be (-1124)/10*(460/8)/(-23). Solve -301 = -5*g - c for g.
4
Suppose -5*l - 60 = -0*l. Suppose -3*v + 8 = -4*n + 1, -18 = n - 4*v. Let b be (-90)/l + 3/n. Solve -t = 2*t - b for t.
3
Let y = -1 + 5. Let q = -12 - -18. Solve y*n - 7*n = q for n.
-2
Let b(q) = -3*q**3 + 4*q**2 + 8*q + 6. Let j(r) = r**3 + r. Let h be 2/3 + (-25)/15. Let n(p) = h*b(p) - 2*j(p). Let l be n(6). Solve o - l*o = -20 for o.
4
Let a(g) = -3*g**3 - 3*g**2 - 2*g. Let s(d) = -4*d**3 - 3*d**2 - d + 1. Let w(r) = 3*a(r) - 2*s(r). Let o be w(-2). Solve 0 = 5*j + 27 - o for j.
-5
Let v(u) = -27*u - 3 - 3*u**2 + 34*u + 2*u**2. Let k be v(6). Let r be (1 + -6)*8/(-10). Solve k*d = 7*d + r for d.
-1
Let i(o) = o + 10. Let u be i(-7). Let m = -10 + u. Let r = -7 - m. Solve 3*q + q - 16 = r for q.
4
Let t = 0 + 0. Suppose 5*z - 1 = 3*d + 25, d = 5*z - 22. Solve -x - z*x - 25 = t for x.
-5
Let g be (4 - 2) + -3 + 3. Suppose 0 = q + 3*x + 13 - 10, 4*q = -2*x - 2. Solve g*j + 2*j = q for j.
0
Let m be 8 - 20*5/20. Solve m*t = 4*t - 1 for t.
1
Suppose -s = 5*q - 0*s - 1, 4 = 5*q + 4*s. Suppose -y - 2*y + 12 = q. Solve 0 = -0*w + y*w + 20 for w.
-5
Let h(d) = -15*d + 2. Let a be h(-2). Solve 0 = 4*c - a + 20 for c.
3
Suppose 0 = 2*c - 2*c + 4*c. Solve -2*o - 12 + 2 = c for o.
-5
Suppose -7*b + 4*b - 6 = 0. Let v = 5 - b. Solve -v = -3*y + 8 for y.
5
Let l(m) = -11*m - 1. Let c be l(-1). Let f(j) = j**2 - 564*j - 3993. Let d be f(-7). Solve 0 = -2*q + d*q - c for q.
5
Suppose 4*b + 61 = -2*r - 49, 2*b = -4*r - 70. Let w = b - -25. Solve -2*d - 3*d - 20 = w for d.
-4
Let c(w) = -w**2 + 25*w - 116. Let t be c(8). Solve 31*l - t*l = 44 for l.
4
Let p(d) = -3*d**3 - 2*d**2 - 4*d + 5. Let b be p(-2). Solve b = -v + 32 for v.
3
Suppose -3*g = -4*p - 36, -3*p = 4*g - 2*p - 29. Solve g = t + 10 for t.
-2
Suppose -3*y + 17 + 22 = 0. Let p = y - 7. Solve -3*g - p = 6 for g.
-4
Suppose 14*g = q + 15*g - 45, 2*g = 4. Solve 15*u - 2 = q for u.
3
Suppose -2*k - 85 = -7*k. Suppose -3*q = -4*f + 1, f + 0*f + 5*q + k = 0. Let x = 1 - f. Solve 0*o + x = o for o.
3
Let u(a) be the third derivative of a**4/24 + 3*a**3/2 - a**2. Suppose -3*k - 4*f - 32 = 0, 7*f = 8*f + 5. Let o be u(k). Solve o*z - 1 = 9 for z.
2
Let j(f) = f**3 - 6*f**2 - 7*f + 2. Suppose z = -5*b - 18, 0 = -3*z + b + 4 + 22. Let v be j(z). Let a be (v/8)/(6/48). Solve -a = w + 1 for w.
-3
Let f = -1089 - -1089. Solve f = 5*c - 2*c - 3 for c.
1
Let k(u) = -u**3 - 5*u**2 + 5*u - 4. Let z be k(-6). Let h = 51 + -48. Solve z*m - h = 5 for m.
4
Let m be (-46)/8 - (-8)/(-32). Let a(n) = n**3 + 7*n**2 + 4*n + 3. Let k be a(m). Solve -y - 4*y - k = 0 for y.
-3
Let h be (10 - -1)/((-14)/28). Let j = -19 - h. Solve j*q = 6 + 6 for q.
4
Let u(l) = l**2 + 8*l + 18. Let d be u(-8). Suppose 3*g - d = g. Solve -3*t - g = -6*t for t.
3
Suppose -3*m - 337 = -2*g - 2*g, -4*m = -5*g + 420. Let x = g - 79. Solve 2*k + x = 3 for k.
-3
Let l = -40 + 64. Let w be ((-80)/l)/(2/6). Let b = w - -14. Solve -a = -0*a - b for a.
4
Suppose 171 = -2*a + 177. Suppose 3*g = -4*v + 13, a = v - 0*v + g. Solve 2*m + 2 - v = 0 for m.
1
Let c(q) = q**3 - 10*q**2 - 5*q - 46. Let k be c(11). Solve 0 = 5*b - b - k for b.
5
Let m(b) = -b**2 + 24*b + 31. Let f be m(25). Solve 3*c - f = 3 for c.
3
Suppose -5*b - 14 = -49. Solve 0*y - b*y + 14 = 0 for y.
2
Suppose 0 = -5*v - 10 - 120. Let s = 39 + v. Suppose 4*p + 3 = -z - s, 5*z + p + 4 = 0. Solve z*d + 3 = d for d.
3
Let m(d) = 2*d - 24. Let j be m(17). Suppose 0*h + j = 5*h. Solve -h*z = z + 15 for z.
-5
Let d be 2 + (3 - 4) + 14. Let i = -10 + d. Solve 0 = h - 2*h + i for h.
5
Let t be -3 + 9 - (2 - 0). Solve 3*b = t - 7 for b.
-1
Let j(t) = -6*t**3 - 2*t - 1. Let v be j(-1). Suppose v*i = 10*i - 21. Let m(s) = s**3 - 7*s**2 + 8. Let x be m(i). Solve 0 = 4*y - x for y.
2
Let u(t) = -t**3 + 6*t**2 - 11*t + 15. Let y be u(3). Solve y*k + 7 = -2 for k.
-1
Let s = -15 - -18. Suppose 4*n = -5*l + 2*n + 1, s*n + 9 = 3*l. Solve -2*k + 9 = l for k.
4
Let q(s) = -s**2 - 2*s - 4. Let r be 1 + 2 + -3 + 0. Let m be q(r). Let n be 5/m*(-1 - 3). Solve -n*g = -1 + 26 for g.
-5
Let b = -16 - -29. Solve 4 = 3*o + b for o.
-3
Let o(w) = -w**3 - w**2 + w - 2. Suppose 1 = -5*a + 3*x, -8 - 4 = 4*x. Let d be o(a). Solve 2*f + d + 10 = 0 for f.
-5
Suppose -540 = -39*l + 12*l. Solve 0 = l*g - 22*g + 2 for g.
1
Suppose 11 = 3*a - 1. Suppose 18 = -a*d - 18. Let k be -6 - d - (0 + -1). Solve 20 = -0*z - k*z for z.
-5
Let c be (-794)/11 + (-14)/(-77). Let w be (c/(-60))/((-4)/(-10)). Suppose 0 = -5*k - 15, w*k + 1 - 8 = -4*q. Solve q*g - 6 = g for g.
2
Let u = 14 - 8. Suppose 5*m = u*m - 6. Suppose -24 = -4*w - 4. Solve w*v + m = -9 for v.
-3
Let u be 4*(11 - 248/32). Solve u*g + 4 = 14*g for g.
4
Let m = -172 - -176. Let o(p) = -p**3 - 5*p**2 - 3*p - 6. Let b(k) = k**2 + 5*k - 1. Let v be b(-4). Let g be o(v). Solve -m*z + 20 = -g*z for z.
-4
Let m be 282/24 - (-2)/8. Solve -m + 4 = 2*n for n.
-4
Let i be 102/27 + (-6)/(-27). Suppose 3*t - 7*t + 5*s = -90, t - 3*s = 26. Solve 0 = i*f + t - 4 for f.
-4
Let r(h) = -156*h**2 + 13 + 157*h**2 + 8 - 11*h. Let w be r(9). Solve -k + 2 = -w*k for k.
-1
Let i be (3/2)/(3/8). Suppose 18 = -1017*b + 1023*b. Solve b*q = q - i for q.
-2
Let j = 3 + -2. Let a = j + 1. Let z = -341 - -344. Solve a*v = z*v for v.
0
Suppose 2*q = -q + 2*o + 20, -3*o = -2*q + 15. Solve -q*w + 15 = -11*w for w.
-3
Suppose 0 = 873*a - 886*a. Solve -p + 2*p + 1 = a for p.
-1
Let l(x) = -x**3 + 6*x**2 - 6*x + 7. Let r(d) = 6*d**3 - d**2 + d - 2. Let h be r(1). Let o be l(h). Solve o = 7*v - 2*v for v.
3
Suppose 5*u = -4*z + 3*u + 16, 2*z = u + 8. Suppose -11 = -z*b + 9. Suppose 4*q + b*d - 8 = d, 4*d - 12 = -5*q. Solve -17 - 3 = q*t for t.
-5
Let t(q) be the first derivative of q**4/4 - 20*q**3/3 - q**2/2 + 20*q + 48. Let m be t(20). Solve m*x = -4*x + 16 for x.
4
Let c(g) = 2*g + 87. Let q be c(-35). Solve -2 + q = 3*r for r.
5
Suppose -79*n = -74*n - 20. Solve -n*l + l = 0 for l.
0
Let w be -1*(6/(-14) - (-6)/14). Suppose 6*r + 1 - 19 = w. Solve -r*v = 2*v for v.
0
Suppose -34*j = -39*j + 5. Suppose -m = 3*w + 1, -4*m = -0*m + 3*w - 14. Solve 3*k - m = j for k.
2
Let q = -25 - -27. Let w be q - (3 + -2)*-3. Solve 1 - w = v for v.
-4
Suppose 2*a - 8 = 3*g, 9*a - 6 = 7*a + 4*g. Solve -36 + 50 = -a*r for r.
-2
Suppose -10*f + 3 + 7 = 0. Let o be (-4)/(2 + f - 5). Solve 2*p + o*p = 16 for p.
4
Let d be 14/(-3)*33/(-22). Suppose -6 = -6*z + 3*z. Suppose z*n + 15 = -5*y, 17 - 2 = n - 5*y. Solve n = 4*m + d + 9 for m.
-4
Let c(y) = 5*y**2 + 31*y - 27. Let o be c(-8). Solve x + o = 46 for x.
1
Let k be (2 - 1)/(7/49). Let o = k - 7. Solve -2*b + 5*b = o for b.
0
Suppose 0 = 5*j - 5*m + 130, -5*j = -3*j + 4*m + 34. Let h = j - -27. Solve h*y + 0*y = 16 for y.
4
Suppose 5*b + 15 = 4*w, 3*w + 3*b + 6 = -3. Solve w = -4*m + 9 + 11 for m.
5
Suppose 3*j = -2*x + 3*x + 91, x = -j + 29. Solve -40 = 5*d - j for d.
-2
Let y(k) = k**3 - 4*k**2 + 3*k - 4. Let v(b) = 2*b + 6. Let x be v(-2). Suppose -3*u = x*u - 20. Let r be y(u). Solve -r = -4*w - 0*w for w.
