for v.
3
Let v(z) = 15*z - 194. Let g be v(14). Solve 31*s + g = 27*s for s.
-4
Let c be -2 + (0 - -4) + -1. Let o be (0/(-6))/(c*-2). Solve w + o = -1 for w.
-1
Let a(z) = z**3 - 4*z**2 - 11*z - 4. Let u be a(6). Suppose -r + 1 = -u*s - 4, 4*r - 20 = -5*s. Solve -l + 2 - r = 0 for l.
-3
Let r(p) = -p**3 + 18*p**2 + 20*p - 7. Let s be r(19). Solve s*t - 20 = 16*t for t.
-5
Let j(g) = -4*g**2 - 25*g - 2. Suppose 4*y - 3*k = -24, 3*y + 19 = -3*k + 1. Let h be j(y). Suppose 3*l - o + 0 = -1, 3*o = -5*l + 17. Solve h*u + l = -3 for u.
-1
Suppose u = -3*m + 6, 8*u - 8 = -4*m + 3*u. Suppose -44*f + 48*f - 332 = 0. Let i = f - 81. Solve m = 4*g - i for g.
1
Let t(y) be the third derivative of y**6/120 + 17*y**5/60 - 17*y**4/24 + 3*y**3 - 13*y**2. Let a be t(-18). Solve 0*s + 5*s - 10 = a for s.
2
Suppose 0 = -5*k + c + 158, 0 = -4*c + 1 + 7. Solve 0 = -k*b + 35*b + 9 for b.
-3
Let b = -770 - -775. Solve b - 17 = 4*s for s.
-3
Suppose 985 + 3 = -13*n. Let s = n - -84. Solve 0 = 2*f + s + 2 for f.
-5
Let x = 228 + -224. Solve x*y - 4 = 16 for y.
5
Let p(n) = -n**3 - 7*n**2 - 10*n - 22. Let i be p(-6). Solve -2*z + i - 6 = 0 for z.
-2
Let z(o) = 3*o**2 - 19*o + 30. Let l be z(7). Solve -9*n + 17 - l = 0 for n.
-3
Let k(i) = 5*i - 35. Let q be k(8). Solve q = -6*y + 11 for y.
1
Let z(v) = -v - 4*v - 1 + 4*v. Suppose 0 = -4*d - 174 + 162. Let a be z(d). Solve 1 + a = -q for q.
-3
Let v(j) = -j - 13. Let u be v(-17). Suppose 0 = 3*o - 2*f - f, -2*o = -u*f. Solve -3*g + 4*g = o for g.
0
Suppose 8 - 6 = h. Suppose 2*c - 5*g = 7, 3*g = h - 5. Solve v = c + 1 for v.
2
Let j be (31/(-2) + 1)*(-14 - -20). Let s = j - -88. Solve -9 + s = 2*y for y.
-4
Let k be 3 + 4 - (-2 - -7). Solve 0 = -k*t + 3 - 1 for t.
1
Suppose 0 = 5*i, 0 = -2*b + 49*i - 48*i + 46. Solve 27 = m + b for m.
4
Let m(y) = 3*y**2 + 45*y + 59. Let h be m(-15). Solve 19 - h = 8*t for t.
-5
Suppose -2*m - 10 = -s, 0 = -5*m + 6 - 31. Suppose -2*x = 5*g - 88, 4*x = 5*g - s*x - 94. Suppose -4*o = 6 - g. Solve o = -2*i + 3*i for i.
3
Let l = 75 - 73. Let x be -9*3/((-27)/24). Suppose 4*j = -4*s + x, 2*s - 4*s = -j - 3. Solve -s*i = -l*i for i.
0
Suppose -4*o + 24 = 3*p - 2*o, -5*o - 9 = -4*p. Suppose -p*v = -v - 90. Suppose 2*b = -0*b + 4*u + v, 13 = 3*b + u. Solve 4*r - 21 = -b for r.
4
Suppose -3*l = m + 74, -113 = 5*l - 4*m - 1. Let y = -21 - l. Solve 2*i + y = -1 for i.
-2
Let k(p) be the first derivative of -7*p + 11/2*p**2 + 3*p**3 - 1/4*p**4 - 3. Let s be k(10). Solve 4*m + 3 = s*m for m.
-3
Let q = -135 - -138. Solve 0*f - q*f = -6 for f.
2
Let w(g) = g**2 + 16*g - 13. Let v be 2/(-4)*(14 + 20). Let p be w(v). Solve p*l - 12 = -4 for l.
2
Let m(y) = y**2 + 8*y + 6. Let l be m(-6). Let i be -11 + l/(1 + 2). Let b = i - -15. Solve 0*s = -2*s + b for s.
1
Let j be 3 - (4 + (3 - 6)). Solve j*q + 2 - 10 = 0 for q.
4
Suppose 248 = 3*w + 188. Solve 0*a - 5*a = -w for a.
4
Suppose 3*h - 3*g = -6, -3*h + 22 - 4 = 3*g. Solve -h*p + 35 = 43 for p.
-4
Let i(j) = 76*j - 752. Let c be i(10). Let m(v) = -2*v - 3. Let q be m(-5). Solve 5*b + c + q = 0 for b.
-3
Suppose 31 = -4*n + 7. Let z be 11 + 9/3 + n. Solve v - z = -4 for v.
4
Suppose 0 = -3*r + 4*z + 27, -4*r + 32 + 4 = 2*z. Solve 3*i = -0*i + r for i.
3
Let t(k) = 20*k - 274. Let y be t(14). Solve y*a = 8*a + 10 for a.
-5
Let z be (-5)/40*0 - (-2 - 2). Solve -6*c - 6 = -z*c for c.
-3
Let o be (54/(-24))/(3/(-8)). Suppose -3*r + 0 + o = 0. Solve 0 = r*j - 0*j for j.
0
Suppose -t = -0*t - 25. Let i = -63 - -65. Suppose -3*g - 3*a = 3, -i*a - 3 = a. Solve -5*j + g*j + t = 0 for j.
5
Suppose 0 = -r + 1 + 13. Suppose -j - 6*j + r = 0. Let f be (3 - (-1 - -4))/j. Solve f*x = -x - 2 for x.
-2
Let p(i) = -i**2 + 13*i - 6. Let l be p(10). Let c = l - 17. Let d be (-10)/(-15) + c/3. Solve 0*f + d*f = 6 for f.
2
Let j be (1 + -3)/(-4) + 14/4. Suppose -5 = -5*w, 2*z - 7*z - w + 56 = 0. Solve -z = j*a + 5 for a.
-4
Let z(l) = l + 8. Let a be z(-6). Let s(j) = -j**2 + 3*j + 1. Let n be s(2). Suppose -n*x = -g + 5, 2*g - 5*x + 0 = 9. Solve 2*v + a = -g for v.
-2
Let j(s) = s**3 + 20*s**2 + 18*s - 14. Let g be j(-19). Suppose 5*c + g*p = c + 37, -5*c + 42 = 2*p. Suppose -5*r = -12 - c. Solve -5*h = -r*h + 4 for h.
-4
Suppose 6*k - 49 + 193 = 0. Let y = k - -29. Solve -2*i - 6 = -y*i for i.
2
Let p = 48 - 48. Suppose p = -18*t + 20*t - 20. Solve -5*r = -3*r + t for r.
-5
Suppose -71*p + 4 = -70*p. Solve -p*q + 19 = -1 for q.
5
Let m = 0 - -1. Suppose 31*k - 36*k - 35 = 0. Let i(r) = -r**3 - 7*r**2 - 3*r - 19. Let x be i(k). Solve -7 + m = x*b for b.
-3
Let d(p) = p**2 + 2*p - 5. Let x be d(-4). Let w be 3 - (4 - 3/x). Solve w*i + 5*i + 5 = 0 for i.
-1
Suppose 37*x = -2*x + 117. Let v(n) = n**2 - 1. Let b be v(1). Let a = 0 - b. Solve a*g + x = g for g.
3
Suppose -5*m + 9 = -5*y + 4, 2*y = 0. Solve 0 = 2*w + m - 9 for w.
4
Suppose -2*t + 10 = 3*u - 6, -u - t + 6 = 0. Suppose n + 2*n = -u*z + 3, -3*z - 4*n + 4 = 0. Solve -3*m + z*m = -3 for m.
1
Suppose -4*q = 7*q. Suppose -3*z + 2*p = 0, -2*z - p - 2*p = q. Solve 2*c - 4*c = z for c.
0
Suppose -80 = -19*w - w. Solve -a + 9 - w = 0 for a.
5
Let h(c) = c**2 - 11*c + 10. Let u be h(10). Let v(a) = 8*a - 109. Let r be v(14). Solve -r*j = -u + 15 for j.
-5
Suppose 4*l = -4*t - 2*l + 38, -t + 6 = -2*l. Solve -11*k + t = -13*k for k.
-4
Let o(m) be the first derivative of -4*m**3/3 - 19*m**2/2 + 9*m - 36. Let d be o(-5). Solve -d*k = -k for k.
0
Let i(m) = m**2 - 12*m - 42. Let k be i(15). Let q be (k - 2)/(-1) - (10 - 15). Solve -2*o + q*o = -2 for o.
-1
Let b(d) = -d - 1. Suppose -8 = -k + 9*k. Let x be b(k). Solve 3*l + 2*l + 25 = x for l.
-5
Let b be (0/(-1))/3 + 6 - 2. Let d be 11/b + ((-10)/(-8))/5. Solve 2*g + 10 = -d*g for g.
-2
Let r = -508 - -525. Solve -5*a + 7 = r for a.
-2
Suppose 34*k + 102 = 68*k. Let a = -6 + 12. Solve k*p - p = -a for p.
-3
Let j(y) = y**2 + y - 1. Let p(x) = x**3 + 8*x**2 - 10*x - 12. Let d be p(-9). Let o be j(d). Let w be 27/(-45) - (-88)/o. Solve -2 = 5*i - w for i.
3
Let q(d) = 5*d + 145. Let k be q(-29). Solve k*o + 3 = o for o.
3
Suppose -d + 2*g = -13, -11*g - 22 = -d - 12*g. Solve 0 = 16*i - d*i + 6 for i.
2
Let r = 61 + -57. Suppose -4*z - 44 = -2*m - 8*z, -3*m - 3*z + 51 = 0. Let o be m/r + (-1)/1. Solve 4*c = o*c + 4 for c.
2
Let k be (-3)/(4 - (3 - -4)). Solve -x + 3 + k = 0 for x.
4
Suppose 1364*a = 1367*a - 12. Solve 0 - a = 2*t for t.
-2
Suppose 0 = -3*r + 12, -k - 3*r = 4*k - 32. Suppose 5*d - d = -2*h + 8, -k*h + 4*d - 8 = 0. Solve 3*y - 7*y = h for y.
0
Let z(y) = y**2 + 47*y - 80. Let q be z(-49). Solve 2*v + q = 14 for v.
-2
Let p(h) = -22*h**2 + 2*h**3 - 21*h - h**3 + 22 - 68 + 0*h. Let b be p(23). Solve b = 2*i + 3*i + 25 for i.
-5
Suppose -11 = -2*f - 7. Suppose 27 = 5*s - c - f*c, -20 = 5*c. Suppose 3*v = 9 - s. Solve 6 = -v*n - n for n.
-2
Let t = 22 - 14. Let q be (2/12*-3)/((-1)/t). Solve q*h + 21 = 5 for h.
-4
Let m be -3 + 8/(6 + -2) + -40. Let s = -35 - m. Solve -2*w + s = 16 for w.
-5
Let t = -46 - -56. Suppose 0*v - 3*u + t = -v, 5*v - 50 = -5*u. Solve 3*y + 4 = -v for y.
-3
Let v be (15/30)/((-2)/(-44)). Solve v = 5*w - 4 for w.
3
Let g(f) = f + 10. Let q be g(6). Suppose -2*o = -20 + q. Solve 5*i = 3 + o for i.
1
Let h be (-884)/(-136) - (0 - (-6)/4). Solve 0 = 7*v - h*v for v.
0
Let f be 6/(4/8 - (-1)/6). Solve f = -5*a - 11 for a.
-4
Suppose 0 = -4*t - 12, 3*t = 14*w - 9*w - 34. Solve 2 = -w*d + 12 for d.
2
Let o = 1135 - 1117. Solve -5*q = -11*q + o for q.
3
Suppose -4*u - 4*b = -24, 2*u = b + 3*b + 12. Solve u*s = -0*s + 24 for s.
4
Suppose 0 = 2*t - 173 + 169. Let c(s) = -s**2 - 8*s + 3. Let d be c(-8). Solve d*j = t*j for j.
0
Suppose -a + 50 = -6*a. Let t be 5*(-1 - 18/a). Let u(g) = g**2 - 2*g - 6. Let k be u(t). Solve 0 = -v - k*v + 12 for v.
4
Suppose 69 - 9 = 10*g. Solve 7*v = g*v for v.
0
Let r be 2 + (0 + 0 - 47). Let b = 65 + r. Suppose 3*w + 6 - 24 = 0. Solve b = w*a - a for a.
4
Let w = -428 + 438. Let v = -2 + 6. Solve w = -2*d + v*d for d.
5
Suppose -4*b = -5*b - s + 4, -2*s = -3*b - 3. Let d = b + -1. Suppose d = c - 5*m - 35, 4*c - m = -0*m + 45. Solve 6 + c = 4*u for u.
4
Let k(u) = 3*u - 2. Let q = -18 - -22. Let v be k(q). Solve 0 = 5*p + v + 15 for p.
-5
Suppose 59 = 5*w + 49. Solve 6*j - 8 = w*j for j.
2
Suppose 5*w + 65 = 5*g, 3