*h + v for h.
5
Suppose 5*d - 3*t - 100 = 0, 4*d + 19*t - 14*t - 43 = 0. Solve 0 = 5*j + 3 + d for j.
-4
Let k = -521 - -527. Suppose o - 10 = 3*o. Let d = 7 + o. Solve k = 2*y - d for y.
4
Suppose -4*i - 40 = 4*a, 2*i - 10 = 3*i - a. Let n = i - -15. Suppose 0 = -n*u + 12 + 3. Solve -h = -u*h for h.
0
Let x = -7 + 11. Suppose 0 = x*n + 7 - 3. Let b be (n/(-2))/(2/8). Solve -1 = -p + b for p.
3
Let z(n) = -n**3 - 4*n**2 - 2*n - 5. Let p be z(-6). Let g = p - 46. Suppose 11*m + m = 156. Solve -4*f - g + m = 0 for f.
-5
Let v = 44 + -9. Suppose -3*a + v = 5. Suppose -a = 2*s - 20. Solve 0*c = -s*c for c.
0
Suppose -193 = 6*j + 11. Let w = j - -40. Solve w = -i + 2 for i.
-4
Let h be (-10)/(-3) + 9/(162/(-42)). Let f = 11 + -7. Solve g - f = -h for g.
3
Let x be (-1 - -2)*(-40 - -3). Let w be x/(-4) - (-33)/44. Solve 5*i + 0*i = w for i.
2
Let f(i) = -i + 9. Let p(h) = h - 9. Let c(b) = -6*f(b) - 5*p(b). Suppose -44 = 3*v - 7*v. Let u be c(v). Solve a - u = 3 for a.
5
Let p = 5 - -13. Let n(t) = t**2 - 17*t - 16. Let s be n(p). Solve 3*o + s*o = -25 for o.
-5
Suppose 3*f = 5*c - 95, -4*c + 2*f - 7*f + 39 = 0. Solve 12*t = -c - 8 for t.
-2
Let k = -21 - -15. Let i be (7 - (k + 3))*3. Suppose 3*q - 22 = 5*j - 3*j, -2*j - i = -4*q. Solve -2*s = -0*s + q for s.
-4
Let k be (68/(-102))/((-1)/3) + 3. Suppose 3*a - 5*h + 15 = 0, 4*a - h + 6 = h. Let o = a - 0. Solve -k*v + 3*v = o for v.
0
Let x(h) = h**2 + 6*h + 3. Let c be x(-6). Solve -o + c*o = 10 for o.
5
Let y be (1/(-1))/(((-36)/(-12))/(-9)). Solve 0 = 6*f - y + 9 for f.
-1
Suppose -w - 3 = 0, -5*z + 3*w + 0*w + 249 = 0. Let q be z/6 - (-1 + 1). Suppose -2*c = -6*c + q. Solve -c*b = -10 + 4 for b.
3
Let f(d) = d**3 - 7*d**2 - 4*d - 12. Let u be f(8). Let x be ((-6)/(-12))/(2/u). Let n(o) = -o - 1. Let g be n(-2). Solve 2*h + g = x for h.
2
Suppose -590 = 26*q - 772. Solve -q*k = -10*k + 6 for k.
2
Let t(r) = r**3 - 11*r - 3. Suppose -10*a = -13*a - 9. Let s be t(a). Solve p + 2*p = -s for p.
-1
Let g(r) = r**2 - 1. Let a be g(-2). Let p = a - -2. Suppose 5*u - p*j = 5, -2*u - 5*j - 5 = 2*u. Solve u = -5*x + 2 - 22 for x.
-4
Let d(y) = -15*y + 22*y - 6*y. Let x be d(19). Solve 0 = -4*b - 7 + x for b.
3
Suppose u - k - 6 = 0, -5*k + 7*k + 2 = 0. Suppose 0 = -4*z - 4*y + 1 - u, 5*z - 4*y - 22 = 0. Solve 0 = -z*o + 3*o - 3 for o.
3
Let j be 6/45 - (460/75 - 6). Solve -u + 8*u - 35 = j for u.
5
Let k be 10 + -9*6/9. Solve -2*f + 2 + k = 0 for f.
3
Let g be 1/(7/(-8) + 1). Suppose n + 4*i - g = -4, 4*n - i - 16 = 0. Solve n*z - 2*z - 4 = 0 for z.
2
Let q be 0 + (-3)/(0 - 1). Suppose 27*k - 92 = -38. Solve -20 = -k*v - q*v for v.
4
Suppose 21 = -14*f + 21*f. Solve -14*z + 17*z = -f for z.
-1
Let i be (6 + -2 + 13)*1. Solve -9*n + i*n = -40 for n.
-5
Suppose 0 = 3*f - 16 + 4. Let i be (f - 0)*13/2. Let b = i + -6. Solve -b = 3*y + 2*y for y.
-4
Let m be (3 - (-16)/(-6))*-6*-1. Solve -6*i = -m*i + 12 for i.
-3
Let k(a) = a + 4. Let r be k(0). Suppose 5*l - 21 = -2*g + 3*g, -21 = 2*g - 3*l. Let w be (-15)/11*g - (-6)/(-33). Solve -r*m + w*m + 8 = 0 for m.
-2
Suppose 2*i - 5*q = 14, -2*i - 3*i + 20 = -5*q. Suppose -i*r = -7 + 19. Let s = r + 9. Solve 2*m - s*m - 5 = 0 for m.
-5
Let w = 31 - 10. Let h = -13 - -32. Let t = w - h. Solve -4*o - t = -2*o for o.
-1
Suppose 4 = 3*n - 3*h - 20, -5*n - 3*h + 16 = 0. Solve -n*k - 3 = 22 for k.
-5
Suppose 7 = 5*d - 3*c + 2, 4*d - 4 = -4*c. Solve -4 + d = -n for n.
3
Suppose 14*w + 57 = 18*w + 3*j, -3*j - 51 = -2*w. Solve -11*o = -2*o - w for o.
2
Suppose -5*d - 15 = 40. Let u(s) = -3*s - 23. Let i be u(d). Let r be (-27)/45 - 6/(-10). Solve 6*y - y + i = r for y.
-2
Let u = -184 + 188. Suppose 9*v = 5*v + u. Let j be 4 + (-1)/(-1*1). Solve -3*t - j = v for t.
-2
Let p = 210 - 205. Solve p*m - 2 = 3*m for m.
1
Let b be (-1)/3 + (-46)/(-3). Let r be ((7 - -8) + -15)/(-3*1). Solve r = -p - 2*p - b for p.
-5
Suppose 9*k = 41 + 31. Solve -7 = 5*v + k for v.
-3
Let m = 951 - 943. Solve m*x - 3*x - 25 = 0 for x.
5
Let n(h) = -83*h - 76. Let m be n(-1). Let q be 5 - (-2 - -1)*-1. Solve -m + q = -3*y for y.
1
Let n(l) = -l**2 - 25*l + 86. Let o be n(-28). Solve b = -o*b for b.
0
Suppose -a + 3*j + j = 1, 5*a = 2*j + 13. Suppose 0 = -6*i + a*i. Suppose -4*p - 61 = -93. Solve i = -p*h + 5*h - 3 for h.
-1
Let d = -24 - -28. Suppose y + 2*y = -2*l + 6, -d*l + 12 = 0. Solve -2*w + 2 + 2 = y for w.
2
Suppose -65*p = -293 - 812. Solve 25*y = p*y + 24 for y.
3
Suppose -5*v = -2*u + u + 4, 0 = 2*u + v - 41. Let j = -13 + u. Let f be 20/(-25)*5/(-2). Solve -20 = j*d - f*d for d.
-5
Suppose g - 5 = -4*g - 2*l, -12 = g + 3*l. Let p = g + -4. Let n(k) = -4*k**3 - 2*k - 1. Let s be n(p). Solve 3*x = s + 1 for x.
2
Let j(z) = z**2 + 14*z - 40. Let y be j(5). Solve -61*p + 30 = -y*p for p.
5
Suppose -2*j + 35 = 5*j. Suppose -2*g = -g + 2*h, j*h = 0. Solve g = -0*i - 2*i for i.
0
Suppose 3550 = -4*s + 3962. Solve 0 = -7*f - s + 103 for f.
0
Let z(n) be the second derivative of 0 - 1/20*n**5 - 9*n + 7/6*n**3 + 5*n**2 + 7/12*n**4. Let q be z(8). Solve q*l - 16 = 6*l for l.
-4
Suppose 4*f = -3*m + 75, -4*m = -5*f + 37 + 18. Solve 5*u - f = 8*u for u.
-5
Let z(g) = g**2 - 10*g + 9. Let x be z(9). Suppose 3*b + 0*b - 24 = 0. Let a = -3 + b. Solve -a*j = -x*j for j.
0
Let n = -3225 - -3237. Solve n - 58 = 23*h for h.
-2
Let s(y) = y**3 + 4*y**2 - 3*y + 11. Let r be s(-5). Let q(z) = 24*z**2 + 1. Let x be q(r). Let d = -25 + x. Solve d = -6*t + t - 15 for t.
-3
Let o(m) = -3*m - 107. Let z be o(-44). Solve 7*q = 12*q + z for q.
-5
Suppose 4*y + 2*v - 12 = 0, v = -3*y + 2*v + 14. Solve 2*k = y*k - 2 for k.
1
Suppose 4*u - 14 = w, -7*w = 5*u - 10*w - 21. Solve 0 = 3*k + u - 18 for k.
5
Let r be (14/6)/(12/(-36)). Let w(x) = x**2 + 7*x + 2. Let q be w(r). Solve -q = b + b for b.
-1
Suppose -4*b + 16 = h, -2*h + 8 = 17*b - 15*b. Solve b*c + 8*c - 48 = 0 for c.
4
Let a(p) = -243*p + 733. Let z be a(3). Let w be (-36)/(-4) - (-1 + -1). Solve z*n + 3 = w for n.
2
Let y = 6 - 0. Suppose -m = m - y. Suppose m = u - 2. Solve u*p - 5 = -0 for p.
1
Suppose -5*h = 5 - 0. Let q(l) = l**2 - 2*l - 1. Let k be q(h). Solve 0 = k*a + 3*a - 5 for a.
1
Suppose -6*t - 4 + 4 = 0. Suppose t*a + a = -0*a. Solve 15 = 3*q - a*q for q.
5
Let q(s) be the second derivative of s**5/20 + s**4 + s**3/6 + 3*s**2 + 5*s. Let m be q(-12). Let h = m + 6. Solve h = -5*b - 15 for b.
-3
Suppose 0 = 2*v - 5*v - r + 14, v + r = 4. Let j(y) = 19*y - v*y + y**2 + 13 + 0. Let z be j(-13). Solve -4*u + 3*u = z for u.
0
Let d = 3 + -3. Suppose -4*z + 69 + 35 = 0. Suppose 4*w = -4*t + 32, -4*w - 5*t + z = -9. Solve x - w = -d*x for x.
5
Suppose -147*x = -142*x. Let h(u) = 2*u - 5. Let f be h(5). Suppose -5*v + 10 = -f*b - v, b + 2*v - 12 = x. Solve b*j + 10 = -0*j for j.
-5
Suppose 0 = -3*w + 2*r - 0 - 10, 0 = 3*r - 15. Let x = 12 + -7. Solve -x*b + b = w for b.
0
Let y(u) be the third derivative of -u**5/60 - u**4/24 + 5*u**3/6 - 4*u**2. Suppose 6*v - 10*v = 0. Let l be y(v). Solve 4 = -l*q + q for q.
-1
Let c(t) = -4 + 4*t**3 - 5*t**2 - 4*t**2 - 8*t - 3*t**3. Let o be c(10). Let u(j) = -3*j. Let f be u(-1). Solve -f*r = -7*r - o for r.
-4
Let x be ((-39)/(-12) - 3)/((-18)/(-432)). Solve 14 = 4*z - x for z.
5
Let h(d) = d**3 - 3*d**2 + 4*d + 1. Let w be h(5). Suppose 0 = 6*t - w - 7. Let f be (10 - t)*(-2)/6. Solve -4*i + 7 = -f for i.
2
Let v(j) = j**3 - 8*j**2 - 11*j + 19. Suppose t - 17 = -2*h, -27 = -2*h + t - 8. Let s be v(h). Solve -q = -s + 3 for q.
-2
Suppose 0 = -8*i + 3*i - 230. Let v = i + 48. Solve k - v*k - 4 = 0 for k.
-4
Let o be (2/2 - -3)/(-1 - -3). Let g be 55/22 + ((-3)/o)/(-3). Solve -g*a = 5 + 10 for a.
-5
Let q(c) = 5*c + 125. Let r be q(-17). Solve -r = 3*w + 5*w for w.
-5
Let c = -19 + -8. Let q = -23 - c. Solve -q*z + 6 = -14 for z.
5
Let h(s) = -s**2 + 7*s - 2. Let w be h(3). Solve 2*k - 4*k = w for k.
-5
Let o = -41 + 41. Let s(z) = 2*z + 3. Let k be s(-2). Let j = 1 - k. Solve -2*t = -o + j for t.
-1
Let h be 0 - -2 - (1 + 0). Let n be h/5 + (-42)/(-15). Solve -1 = n*q + 2 for q.
-1
Let g be -3 + (-24)/56 + 72/21. Solve 2*d + 10 = -g*d for d.
-5
Let j(l) = 32*l - 126. Let a be j(4). Solve -q - a*q = -0*q for q.
0
Let d = 82 + -145. Let h = 37 + d. Let w = -21 - h. Solve w*p - 4 = -9 for p.
-1
Let u(y) = -6*y + 27. 