7 - 19 = v*i for i.
-4
Let w(u) = -3*u**2 + 7*u + 2. Let l(i) = -4*i**2 + 8*i + 3. Let t(h) = -2*l(h) + 3*w(h). Let j be 9/(9/4) - -1. Let n be t(j). Solve 3*g - 12 = -n*g for g.
4
Let m(d) = 2*d - 4 + 0*d - 2 - 1. Let s be m(5). Solve s*h - 4 = -h for h.
1
Let d(h) = 4*h - 1. Let p be d(1). Suppose p*f - 4 = 5. Solve -r = -0*r - f for r.
3
Let b(t) = t**2 + 12*t + 8. Suppose -2*f + 3*f = -12. Let y be b(f). Solve 4 = -3*v - y for v.
-4
Let r = -28 - -46. Suppose y + r = 5*g, -y + 0 = 3*g - 6. Suppose 3*i - 5*u - 13 = 4*i, 3*u = -i - g. Solve -6*n + i = -2*n for n.
3
Suppose -6*y - 3 = -15. Solve -y*f + 20 = 3*f for f.
4
Let r(d) = d - 1. Let y be r(1). Solve c - 2 - 1 = y for c.
3
Let h be 2/(-4) - 43/(-2). Suppose 3*d = -4*z - 1 - 2, -3*z = -4*d + h. Let l be z/1*10/(-6). Solve l*m + 5 = 10 for m.
1
Let c = 50 - 30. Suppose 2*w - c = -5*m + 4, -4*m = 5*w - 26. Solve -16 = -w*f - 2*f for f.
4
Let i(x) = x**2 + 1. Let n(u) = -3*u**2 - 3*u - 1. Let m(k) = -i(k) - n(k). Let v = 1 - 3. Let a be m(v). Solve -g = -3 - a for g.
5
Let d be 3/(-6) - (-15)/10. Solve d + 1 = -p for p.
-2
Let q be (-3 - -6) + -5 + 7. Suppose 40 = 3*z + q*s, -2*z + 3*s - 5*s + 20 = 0. Solve 19 + 1 = z*o for o.
4
Let p be 9 + (-9)/(1 + 2). Let n be p/2 + 0/2. Suppose 7*m = 2*m. Solve z + 0*z + n = m for z.
-3
Let x(p) be the third derivative of 0 + p**2 + 1/3*p**3 - 1/60*p**5 + 0*p - 5/24*p**4. Let b be x(-4). Solve f = b*f + 5 for f.
-1
Let w = 33 + -29. Suppose -x + 2*n = -11, -x - w*n = -3*n - 2. Solve x*p - p = -8 for p.
-2
Let d be (-15)/(-3) + -1 + -1. Solve -d*y = 2*y - 15 for y.
3
Let q(g) be the third derivative of g**6/120 - g**5/20 + g**4/8 + 3*g**2. Let d be q(2). Solve -4 - d = -3*r for r.
2
Suppose 0 = -4*u - 0*u + 8. Let x be u/(-9) + (-116)/(-36). Solve -x*w - 8 - 4 = 0 for w.
-4
Suppose -4*b + 15 = -b. Let u be (16/(-20))/((-2)/b). Suppose 2*n = -3*o + 9, 14 = o - u*n - n. Solve -5*g + o = -0*g for g.
1
Let i(o) = -o**2 + o + 2. Let q = -4 + 7. Let b(v) = 2*v - 4. Let y be b(q). Let n be i(y). Solve n*g + 2*g + 8 = 0 for g.
-4
Suppose s + 5*n + 31 = 0, -3*s + n = 9 + 4. Let i(l) = l + 14. Let j be i(s). Suppose 2*g - 3*c + 5 = 0, 2*g - j = g - 2*c. Solve 0 = k + g + 2 for k.
-4
Let j be 26/(-8) - 1/(-4). Suppose -q + 4 = -2*d - 2, -d = 2*q + 3. Let s = d - j. Solve 5*z - 12 - 3 = s for z.
3
Let g be (-1)/(-4) - 3/12. Suppose 3*p - 34 = -5*y + 12, -5*y + 34 = -3*p. Let n = 12 - y. Solve -n*h = -g*h for h.
0
Let k(r) = 6*r - 8. Let x be k(2). Solve 0 = 9*m - x*m + 20 for m.
-4
Let w(l) = l**3 + 7*l**2 + 5*l - 5. Let n be w(-5). Solve -3*z = 2*z + n for z.
-4
Let q(n) = n**2 - 3*n - 5. Let w be q(4). Let g = w + 6. Let a = -7 - -9. Solve 12 = a*s - g*s for s.
-4
Suppose 5*m - 4*b - 24 = 0, -5*m - 2*b + 18 = -0. Suppose m*x - 15 = 9. Let z(w) = -w**3 + 6*w**2 + 7. Let q be z(x). Solve q*c = 2*c - 20 for c.
-4
Let r = -5 + 7. Let d(p) = -5*p - 6*p**r - 2 + 5 + p**2 + p**3. Let y be d(6). Solve 3*x + y = -6 for x.
-5
Let q(l) = l**3 - 3*l**2 - 10*l + 2. Let a(p) = -p - 1. Let c(o) = 4*a(o) - q(o). Let w be c(4). Solve 0*r + 4 = w*r for r.
2
Let n(o) = o**3 - 6*o**2 - 6*o - 4. Let l be n(7). Suppose -20 + 2 = -6*d. Suppose -m - 4*g + 17 = 0, 13 = -d*m - g + 5*g. Solve m = l*w - 2 for w.
1
Suppose 2 = -3*t + 4*i + 18, -t + 3 = i. Solve t*r - 18 + 6 = 0 for r.
3
Suppose x + 4 = 2*v - 0, 0 = x + 3*v - 6. Solve h + 2 + x = 0 for h.
-2
Let p be (-6)/1 + -2 + 2. Let r be ((-20)/p)/((-2)/(-3)). Suppose 25 = 2*t + 3*n, 0 = 4*t + 5*n + r - 50. Solve 4*s + 3 + t = 0 for s.
-2
Let u(p) = 2*p - 8. Let v be u(7). Let i(l) = -l + 11. Let q be i(v). Solve 4*b - 3 - q = 0 for b.
2
Let g = -6 + 6. Let s be 46/10 + 6/(-10). Suppose -s*q = -3*y - 26, -q - 7*y = -2*y + 5. Solve -q*h + 2 + 3 = g for h.
1
Suppose -3*t + 10 = -m, -3 + 7 = -4*m. Let g = 9 + t. Solve 4*c - c - g = 0 for c.
4
Suppose -2 = -4*z + 3*z. Solve 0 = -z*s - 3*s for s.
0
Let g = 7 + -2. Let i(m) = -m - 2. Let o be i(g). Let c be o*((-72)/21)/4. Solve -3*f - c = -0 for f.
-2
Let d = -2 - -2. Let u be (1 + -4)/((-9)/6). Let o = u + d. Solve -o = -k + 1 for k.
3
Let s = 14 + -11. Solve s*v = -v for v.
0
Let r = 19 + -17. Solve 0 = 5*m - 7 + r for m.
1
Suppose -t + 14 = 5*p, 0 = p - 0*t - 3*t + 10. Let n be (2 + -2)/(-1 + p). Suppose n = 2*o - 10, 3*o - 6 = c + 9. Solve -4 = -c*g - 4*g for g.
1
Suppose -2*t - 23 = -5*h - 0*h, 29 = 3*h - 5*t. Let j be (6/(-2))/(0 - -1). Let k be (2/6)/(j/(-9)). Solve 2 = h*v - k for v.
1
Let h = 4 - 2. Suppose h*j = 10 - 2. Suppose 2*k = 3*t - 2*k, j*t = 4*k + 4. Solve 0 = -t*b + b - 12 for b.
-4
Let t = 97 + -90. Solve 3 = 2*r - t for r.
5
Suppose -g = -2*g. Suppose g = -3*i - 2*i. Suppose o - 3*m - 20 = i, -3*o = -0*o + 4*m - 8. Solve o*n - 3*n = 15 for n.
3
Suppose 0 = u - 0*u. Suppose -d + p = 4*p - 3, u = -3*p. Solve -z - d = 2 for z.
-5
Let s(c) = -2*c**2 - 9*c + 7. Let x be s(-5). Solve -p = x*p + 3 for p.
-1
Let j(k) = 31*k + 11. Let b(d) = -16*d - 5. Let z(t) = -5*b(t) - 3*j(t). Let a be z(7). Let w be a/(-18) - (-1)/(-2). Solve -w = -3*f - 2*f for f.
1
Let j be ((-6)/(-10))/((-3)/(-15)). Let z(k) = 4*k - 1. Let t be z(1). Solve -t = 3*f + j for f.
-2
Let s = -15 + 26. Suppose 0 = 5*f - 3*k + 9, -1 = 2*f - 4*k + s. Solve y = -f*y + 4 for y.
4
Suppose -l - l = 5*g - 2, 2 = -4*g + 2*l. Suppose 3*n - 36 = 36. Let o be (-18)/6 - n/(-2). Solve g = 3*p + 3 + o for p.
-4
Let v(q) = q**2 - 6*q + 5. Let b be v(6). Solve -1 = b*l - 6 for l.
1
Let l(q) = 4*q - 14. Let v be l(5). Solve i = 4*i - v for i.
2
Let k = 40 - 40. Solve k = 2*q - 7 + 1 for q.
3
Let n(l) = -l**3 - 4*l**2 + 5*l + 4. Let t = -16 - -11. Let u be n(t). Solve -u = 2*c - 2 for c.
-1
Let c(g) = -g + 1. Let j be c(0). Suppose -2*p = -p - k - 7, -3*p + 5 = k. Suppose -o + p*o + 3*d - 43 = 0, -4*d = 2*o - 48. Solve -5*h - o = j for h.
-3
Let z be 1/2*8 - 3. Solve -j = z + 3 for j.
-4
Let k be (-22 + 2 + 0)/(-2). Solve 5 = 5*s - k for s.
3
Suppose -5*b - 2 = 2*s + 7, -2*b = -s + 9. Solve -s*n - 2*n = 0 for n.
0
Let c = -31 - -32. Solve -2 = -h - c for h.
1
Let q(i) = i + 2. Let r be q(8). Suppose z = -2*z + 9. Solve 0 = -z*x + x + r for x.
5
Let j(v) = -5*v. Let p be j(-1). Solve 13 + 7 = p*c for c.
4
Let u be 3/2*36/27. Suppose f = -u*f. Solve 4*l + 0*l = f for l.
0
Suppose -5*r = -r - 12. Suppose m = 4*t - 12 - r, -9 = -4*t - m. Solve -11 = t*c - 2 for c.
-3
Suppose 0*p - 2*p = -4. Suppose -3*a + 10 = p*a. Solve 2*y - 8 = -a*y for y.
2
Suppose -4*c - 2*s + 16 = 0, 7 = 2*c + c + 4*s. Solve 4 = -c*p + 29 for p.
5
Let d be (-152)/(-16) - 1/(-2). Suppose 0 = 2*n - d + 4. Solve -3 = 3*a + n for a.
-2
Let h be (-1*8)/((-10)/5). Let x = 2 - 1. Let g = x - 0. Solve h + g = -n for n.
-5
Let w = -8 - -12. Solve 0*g = w*g + 12 for g.
-3
Suppose -4*q + 2*j = -4, 2 = 2*q - 0*j + 3*j. Solve 3*m = -4 + q for m.
-1
Let z be (2/2)/(2/6). Suppose -30 = -3*x - c, -x - z*x + 40 = 2*c. Solve 0 = 3*h - 4 + x for h.
-2
Let z be -3 + 0 + 29 + -25. Solve -3*o = 4 - z for o.
-1
Let o(g) = 2*g + 3*g - 3*g - 6. Let z be o(4). Solve 14 = -3*m + z for m.
-4
Let h be (12/14)/((-3)/(-14)). Solve -6 = 2*m + h for m.
-5
Let w(p) be the first derivative of 2*p**3/3 + 5*p**2/2 + 3*p + 3. Let l be w(-3). Suppose 2*o - l = 4*i, 0 = -4*i + 3*o - 8 - 1. Solve -2*y - 8 + 2 = i for y.
-3
Let z(p) = p**2 + 3*p. Let n be z(-4). Suppose 3*b = -n*a - 2*b + 18, 2 = -2*a + 3*b. Solve -k = -1 - a for k.
3
Let i be ((-12)/8*-1)/(6/16). Solve 0 = -i*w - 0 + 8 for w.
2
Suppose 0 = 4*q + 14 + 42. Let d(f) = -f**2 - 15*f - 14. Let x be d(q). Solve x*j = 2*j for j.
0
Suppose -4*w - 28 = -q - q, -q + w + 9 = 0. Let u(v) = -v**2 - 4*v + 2. Let o be u(-4). Suppose -2*g = q*n - 16, -n - o = -g - 9. Solve n = -9*j + 4*j for j.
-1
Suppose -3*p = -0*p + 15. Let b(f) = f**2 + 6*f + 11. Let q be b(p). Solve 4*h = 2*h + q for h.
3
Let v(f) = 2*f**2 + 37*f - 14. Let u be v(-19). Solve -3*o + 10 = -u for o.
5
Suppose 3*a = 2*x - 7*x + 52, 3*a - 5*x = 32. Let p = 16 - a. Let w be 0 + 1 + 0/2. Solve 0 = -u + p - w for u.
1
Suppose t + 4 = 2*t. Let b(i) = 2*i**3 - 10*i**2 + 3*i**3 - 8*i - 2*i - 6 - 6*i**3. Let r be b(-9). Solve -t = r*g - 5*g for g.
2
Let q(x) = -x**2 + 9*x + 20. Let w be q(9). Solve 2*b + 2*b = w for b.
5
Suppose -2*b = -5*w - 16, -5*w - 16 = -4*b - 3*w. Suppose -2*x 