 r(v) = -2*v**2 + 15*v - 22. Let h be r(5). Solve 20 = -h*b + 5 for b.
-5
Suppose -4*c = -y - 4*y - 19, -3*c = 5*y + 12. Suppose -26 = -5*t + 3*a + c, -5*t = a - 31. Solve -7*n = -t*n - 5 for n.
5
Let o(x) = -x**3 - 10*x**2 + x + 10. Let t be o(-10). Suppose -18 = -3*z + 3*s - 6, 13 = 4*z - s. Let r = 421 - 415. Solve -h + r - z = t for h.
3
Let a be (6/8)/(11/((-616)/(-21))). Solve a = 4*g - 18 for g.
5
Let r(f) = 2*f + 33. Suppose 3*h = 2*i + 39, -2*i = -2*h + 20 + 16. Let w be r(i). Solve -1 = -w*k + 2 for k.
1
Suppose 0 = -3*b + 3*h + 6 - 0, -2*h + 2 = 0. Suppose 13*z - 88 = -9*z. Solve -k = b*k + z for k.
-1
Let g = 4 - 1. Suppose -3*i + 5 = -1. Suppose 0 = -i*s - 3*s - g*a + 8, 4*a + 16 = 0. Solve d - s = -0*d for d.
4
Suppose 0 = n - 0*n - 4. Suppose 26 = 3*h - 4*g - 6, n*g = 5*h - 56. Let y = h + -7. Solve 0*b = b + y for b.
-5
Let z = 76 - 28. Solve -z*y = -49*y + 1 for y.
1
Let c be ((-15)/10)/((-3)/16). Suppose l = c*l - 7. Solve 0 = j - 2*j - l for j.
-1
Suppose -k - 1170 = -40*k. Solve 0 = 32*o - k*o - 8 for o.
4
Let d(o) = -o**3 + 9*o**2 + 74*o - 34. Let g be d(14). Solve g*l = 24*l for l.
0
Suppose 13*q - 5*q = 280. Solve q = -0*v + 7*v for v.
5
Let y = 29 - 20. Let s be (-2)/(-6) + 4 + (-12)/y. Solve 0 = s*p - 0*p + 6 for p.
-2
Let f = 42 - 39. Suppose f*i - 3 = 9. Solve -4 = i*g - 2*g for g.
-2
Let q = -574 - -584. Solve -28 = -q*j + 3*j for j.
4
Let d(w) = w**2 - 17*w - 2. Let y(v) = -v**2 + 16*v + 3. Let u(s) = 6*d(s) + 7*y(s). Let x be u(8). Solve 0 = 2*z + 3*z + x for z.
-5
Let d(u) = u**3 - 14*u**2 + 12*u + 9. Let y be d(13). Let h be 1*-1 - (y + 3). Suppose h*m = m. Solve 0 = -n - m + 4 for n.
4
Let u be ((-4)/(-22) - 4/22)/(-2). Let p = -13 - -13. Solve u = 4*c - p*c for c.
0
Let z(d) = -50*d + 5. Let p be z(-1). Let j be (-5 + p/10)*12. Solve -2*b + j = 4 for b.
1
Suppose -15 = -11*d + 18. Suppose 0*z - d*p - 71 = -5*z, -z + 1 = -5*p. Solve 0 = 3*s + s - z for s.
4
Let g = -1 - 2. Let o = 44 + -48. Let r be 1 - ((o - -3) + g). Solve 2*p - r = p for p.
5
Let y(r) = -r**3 + 7*r**2 + r - 2. Let o be y(7). Suppose o*w = 2*z + 25, 2*w - w + 22 = -5*z. Let u be 4 + w/(-3 - 0). Solve 3*q - 6 = u for q.
3
Let f be 5/((-3)/(-135)*3). Suppose 0*v + f = 5*v. Let c be 1 - (-1)/(-2)*-2. Solve -c*m - v = -5 for m.
-5
Let w(a) = -4*a - 30. Let r be w(6). Let c = r - -70. Solve 5*p - 4 = c for p.
4
Let n(t) = t**2 + 6*t - 4. Let l be 87/(-12) + (-4)/(-16). Let m be n(l). Suppose -3*x = m, -51 = -5*v + x - 5*x. Solve 1 - v = 5*p for p.
-2
Let u be 9/2*(1 + 1). Let q be (-486)/(-108) - 10/4. Suppose a - u = -q*a. Solve 0 = -a*y - 0*y + 12 for y.
4
Let s(l) = l**2 + l + 6. Let c be s(-7). Let o = c - 42. Solve o*k + 16 = 2*k for k.
-4
Let j(s) = s**3 - 11*s + 7. Let f be j(3). Solve -4*h = -f - 7 for h.
2
Suppose 3*k + 2*k - 15 = 0. Let m(y) = -3*y**3 - 17*y**2 + 4*y - 8. Let o be m(-6). Suppose -5*u + 22 = c, 0 = -c - o*u + u + 16. Solve -c*z + 16 = -k*z for z.
4
Let a = 164 - 148. Solve 21*x = 17*x + a for x.
4
Let u be (-1 - 96/(-9))/((-1)/6). Let m = -55 - u. Solve 1 + m = -i for i.
-4
Suppose 3*h - 3*w = -2*w + 2, 5*w + 10 = h. Suppose 4 + 2 = 2*a - c, -5*a + c + 15 = h. Solve 0 = -a*n + n + 6 for n.
3
Let o(g) = 0 - 8*g**2 - 7*g**2 - 10*g - g**3 - 6 + 5*g**2. Let m be (-2 + 1)/((-3)/(-27)). Let b be o(m). Solve -1 - b = -u for u.
4
Suppose 3*c = -3*y + 6, 5*y - 20 = -0*y + 5*c. Suppose 0 = y*b + 10 - 19. Solve 0 = -b*m - 6 - 6 for m.
-4
Suppose 4*a - 22 = 2*t, 0 = -t + 2*t - a + 7. Let q(y) be the first derivative of y**4/4 + y**3 - 71. Let f be q(t). Solve f = 6*o - 3*o for o.
0
Let k be 60/8*(-6)/(-15). Suppose 3*i + 5 = 4*i. Solve 2*v - k*v = -i for v.
5
Let k = 8 - 0. Suppose -2*f + k = 2*f. Solve 3*t = f*t + 3 for t.
3
Let f = 9 + -4. Suppose 6 = 3*k - 12. Suppose -4*z + k = -2*z + 4*b, 3*z + 2*b - 13 = 0. Solve f*c + z = 6*c for c.
5
Let r(j) = -44*j + 1 + 76*j + 1. Let a be r(1). Solve 0 = 5*d + a - 9 for d.
-5
Suppose 2*n + 4*b - 4 = 0, 5*n - 5*b = 2*n - 5. Suppose -2*q - 5*g + 3 = n, 3*q - 7*q - 2*g + 14 = 0. Solve -2 = q*t - 18 for t.
4
Let s = 3762 + -3749. Suppose 0 + 1 = -h. Let j = 4 - h. Solve -2 - s = -j*n for n.
3
Suppose 2*w = -83 + 27. Let l be 7*1*(-24)/w. Solve 4*j - 22 + l = 0 for j.
4
Let l be (-26)/(-3) - 2/3. Suppose -7*w - 1 = -15. Suppose 2*j - 10 = -0*j - w*t, -5*t + 23 = 4*j. Solve 0 = 5*c - l - j for c.
2
Suppose -1 = m, 5*b - 4*m = 23 + 6. Solve 0 = 7*n + b*n + 48 for n.
-4
Let d(k) = -2*k + 14. Let o be d(5). Suppose 0 = n - o*n. Suppose 3*p = f - 11, 0 = f - n*p - 4*p - 14. Solve -f*v = v + 6 for v.
-2
Suppose -180 = -3*s - 165. Solve -c = -s*c + 16 for c.
4
Let t be (-4)/10 + 17/(340/808). Solve s - t = -38 for s.
2
Let c(k) = -k**3 - 4*k**2 + 3. Let f be (-9)/(-15)*(-70)/(-21). Suppose u - h + 6 = 0, 0 = -3*u + 2*h + f*h - 20. Let r be c(u). Solve r*n = -n - 12 for n.
-3
Let a = 229 + -150. Let h be 2/(-7) - a/(-7). Suppose -9 = w - h. Solve w*m + m + 6 = 0 for m.
-2
Suppose -2*s - 2*v + 4*v = 4, 3*s + 3*v = 6. Suppose 0 = -2*j - s + 8. Let l be (0/(-1))/(-5 + j). Solve l = -c - c + 2 for c.
1
Let u(v) = -v - 7. Let n be u(-4). Let r(m) = -m + 1. Let t be r(n). Suppose -2*q - 2*a + 4 = 0, -5*q + 6*a = t*a - 45. Solve -2*d - 1 = -q for d.
3
Let l(c) = 2*c**3 - 21*c**2 + 40*c + 2. Let n be l(8). Solve -3 = -n*i - 11 for i.
-4
Let n(c) = 5*c**3 + c. Let z be n(1). Suppose -z*o + 6 = -5*o. Solve -o*m - 25 = -m for m.
-5
Let g(o) = o**2 + 11*o - 6. Let n be g(-12). Solve 0 = -x - n + 2 for x.
-4
Let x be ((-56)/(-1) - -1) + 6/(-2). Let h = 129 + -91. Let d = x - h. Solve 0 = -5*s + s + d for s.
4
Suppose 23*j = 12*j + 11. Solve -x + j = 2 for x.
-1
Let y(h) = -7 + 2 - 17 - 2*h. Let k be y(-11). Let c(d) = -d**2 + 7*d + 1. Let p be c(7). Solve -g + 2 - p = k for g.
1
Let o = 55 - 39. Let w be 0*(-12)/o*(-2)/(-3). Solve -1 = -w*v - v for v.
1
Let i be (3 - 1 - -2) + 1. Suppose 0 = i*v - 13 + 3. Suppose 3*t - 2*p + 2 = t, -3*t = -v*p - 1. Solve h = -t*h + 20 for h.
5
Let o = 4 - 7. Let y(j) = 0 - j + 0. Let n be y(o). Solve 2*h = n + 5 for h.
4
Let r be (80/(-30))/(1/3). Let d be r + 1 + 7 + -10. Let v be (d/4)/(1/(-2)). Solve -v = -5*m + 15 for m.
4
Let o = -147 + 152. Solve -2*g + o*g - 15 = 0 for g.
5
Let o = 12 - -24. Let d = 40 - o. Solve d*z = z for z.
0
Suppose -2*h - 6 = f - 23, -50 = -5*h - 4*f. Suppose -3*v + h*v - 3*g - 21 = 0, -4*g + 8 = 0. Let w = v - 9. Solve w = z - 3 for z.
3
Let s(t) = 3*t**2 - 5*t - 2. Let z be s(-2). Let f be (-4)/(-10) + (5 - (-32)/z). Solve -4*g + f = -1 for g.
2
Let a be -2 + (-52)/(-4) + 7. Solve a = -u - 8*u for u.
-2
Let q(k) be the second derivative of -k**3/6 + k. Let s be q(-3). Let v = 945 + -934. Solve v = 4*f + s for f.
2
Suppose -11 - 9 = -4*f. Suppose 0 = 4*p + 4*j - 24, 2*p = -f*j - 2 + 23. Solve p = -2*d - 5 for d.
-4
Suppose 0 = -11*q + 14*q. Suppose v - 14 = 4*h, -3*v - v + 4*h + 32 = q. Solve v*p - p - 25 = 0 for p.
5
Let u be (216/252)/((-6)/(-28)). Solve u*j + 6 = 2 for j.
-1
Suppose 0*z + 3 = -z. Let f be (6/(-4))/z*0. Let j = -785 - -786. Solve 2*t + j + 3 = f for t.
-2
Let m(h) = 16*h - 8*h - 7*h + 16. Let d be m(-12). Let s = 0 - -2. Solve s + d = -3*t for t.
-2
Let r(d) = -d**2 + 5*d - 3. Let i be r(6). Let s be (3/(-2))/(i/(-18)). Let j be 0/(2*(s - -2)). Solve -2*n = -j*n + 2 for n.
-1
Let t = 26 + -27. Let b be -3 - (1 - t - 5). Solve -4*j + 9*j - 15 = b for j.
3
Suppose 5*a = 3*y - 9, -15 = -2*y - 3*y - 5*a. Suppose -3*i - i = d, -y*d = 5*i. Solve -11*f + 8*f + 6 = i for f.
2
Let u(f) = f**3 - 50*f**2 + 2*f - 71. Let w be u(50). Solve -w + 31 = -x for x.
-2
Suppose 312*k - 2*g - 24 = 309*k, 28 = 4*k - 4*g. Solve -k*q + 5 + 35 = 0 for q.
4
Suppose 3*v + 9 = 5*c, -3*c + 23 = 2*c + 4*v. Let u = c + 1. Solve 4*g - 3*g = -u for g.
-4
Let g = 16 - 0. Let r = g - 15. Let o = r + 5. Solve 5*p + o = -9 for p.
-3
Let h be (-510)/(-21) + (-8)/28. Solve -2*z - 32 = -h for z.
-4
Let l(c) = c + 36. Let d be l(-22). Suppose -13*x - 3 = -d*x. Solve 5*h = x*h - 8 for h.
-4
Let g = 2175 + -2165. Solve -g*o - 71 = -121 for o.
5
Let y = 669 + -647. Solve 0 = -23*l + 12*l - y for l.
-2
Let y(i) = i**3 - 19*i**2. Let t be y(19). Solve -s + 5 - 1 = t for s.
4
Let o be ((-42)/84)/((-1)/16) - -6. Solve o*x + 5 + 51 = 0 for x.
-4
Let z = -793 + 925. Solve -z*y 