f + 3*v = -t for f.
-3
Suppose 3*a + 85 = 13. Let l = a - -35. Let k = l - 7. Solve -4*c + c + 16 = 5*i, k*c + 4*i = 16 for c.
2
Let n(s) = s**3 - 18*s**2 - 18*s - 20. Let u be n(19). Let f = -10 - -3. Let b = u - f. Solve -3*p = -b, 0 = -3*g + g + 3*p - 2 for g.
2
Let p(t) = 4*t + 3. Let z be p(0). Solve z*s + 2*d + 4 = -4, 3*d = -12 for s.
0
Let d(r) = -4*r**3 + 5*r**3 + 9*r + 0 + 7 + 1 - 10*r**2. Let t be d(9). Solve 4*y + 14 = 3*b - 2*b, -4*b + t = 0 for y.
-3
Suppose b = -3*b. Let t(f) = f**2 + 4*f + 2. Suppose 4*s + 10 = -6. Let n be t(s). Solve b = -h - j, j - 30 = -n*h + 5*j for h.
5
Let i = 8 - 6. Suppose 0 = -4*r - 5*v + 39, 10*v = i*r + 5*v + 3. Solve -8 = 2*x + 3*z, -r*x - 24 = -10*x + 4*z for x.
2
Let b(j) = -j**2 + 5*j - 4. Let f be b(2). Solve -f*h - 2*m + 18 = 0, m - 6 - 7 = -2*h for h.
4
Suppose 23 = x + 4*c, -4*x + 22 = c + c. Let z(m) be the first derivative of 13*m**2 + 4. Let r be z(1). Solve w - 7 = -d, x*d - r = w - 5*w for w.
5
Let c be ((-2)/2)/(2/(-10)). Suppose -c = -5*l + 30. Solve 6 = x + 2*s, 0 = -2*x + 2*s - l*s + 15 for x.
0
Suppose -17 = -5*d - 4*s, 0*d = -d + s - 2. Solve -2*r = d + 3, -3*r = -3*f - 6 for f.
-4
Suppose -3*s = 4*r - 6, -s = -5*r - 0*r - 2. Let l be (-3)/(r + (-3)/3). Solve -4*z = 4*v - 16, l*v + 16 = 3*z - 2 for v.
-1
Suppose 2*o - 55 = -3*o. Let d = o - 7. Solve 0 = m - 2, m - 2*m = d*q + 10 for q.
-3
Let p be (-9)/3 + -1 + 24. Solve 0 = n - 5*j + 27, -2*j + p = -3*n - 2*n for n.
-2
Suppose 3*l - 7 + 19 = 0. Let r = 0 - l. Solve r*f - g = -15, -2*f = -4*g + 7 - 17 for f.
-5
Let r(w) = -2*w + 1. Let t be r(-4). Let i = t + -6. Solve -9 = -i*l, -3*l + 0*l + 9 = -3*p for p.
0
Let b be (-18)/(-10) - 28/(-140). Solve -5*f - 2*a + 13 = -8, b*f - 5*a = 20 for f.
5
Let r(a) = a**2 + 2*a + 1. Let v be r(-8). Suppose -22 = -5*c - 232. Let y be c/v*(1 + -15). Solve y = 4*p + 3*w + w, -w + 4 = 0 for p.
-1
Let q be -5*(0 - (-6)/(-10)). Solve -2 = -3*g - 3*h + 13, -18 = -q*g - 4*h for g.
2
Suppose -2*y = 3*y - 135. Solve 2 = 4*s + 5*k - y, 0 = 3*s + 3*k - 18 for s.
1
Let t be (1 + 0)*-1 - 5. Let s = 8 + t. Let p be -2 + 1 + 2 - -9. Solve -4*i - 3*b = -6*i + 11, 4*b = -s*i - p for i.
1
Let z(m) = 2*m**3. Let r be z(1). Suppose -6*w + 8 = -r*w. Solve -w*o = 3*c + 14, -9 = -0*c + c + 5*o for c.
-4
Suppose -5*o + 86 = 76. Solve -4*m - 8 = -2*y, -2*m - o*y - 4 = -y for m.
-2
Suppose 0*b - 52 = -4*b. Solve 0 = 5*z + h + 4 - 11, -3*z = 5*h - b for z.
1
Suppose 0 = -5*z - 4*m + 26, 3*z = z + 4*m - 12. Solve 6*b = z*b - t + 8, -4*t - 25 = -3*b for b.
3
Let l be 2/(-8) + 493/68. Solve 3*o - 13 = 4*n, 2*o = n - 0*n + l for n.
-1
Let i(h) = h**2 - 5*h - 3. Let x be i(7). Solve -5*w = 4*j + x, 0 = 3*w - 3 - 0 for j.
-4
Let p = 25 + -23. Solve 0 = p*y + 2*l - 8, -3*y - 3*l + 9 = -l for y.
1
Let q(w) = -w**3 + 9*w**2 + 14*w - 13. Let u be q(10). Let b be -2*(u/(-6))/3. Suppose b*p - 2 = 2*p. Solve -4*h + x - 8 = 0, p*h + 3*x + 26 = -2*x for h.
-3
Suppose -2*d + 2*g + 16 = 6*g, 0 = 5*d + 4*g - 22. Solve 0 = -2*f + 4*b - 12, 5*b = 3*f + d*b + 12 for f.
-2
Suppose 0 = 3*l - 5*l + 50. Suppose 0 = 3*i - 4*c - l, 3*i + 5*c = -32 + 102. Let g = -8 + i. Solve -5*z + 5*q = 35, 6 = -3*z - q - g for z.
-5
Suppose 7*h = h + 30. Solve 0 = -k - h*j + 4, -3*j - 6 = 3*k - 6*j for k.
-1
Let y = 106 - 102. Solve y*o - m - 19 = -o, -3*o + 4*m + 8 = 0 for o.
4
Suppose 0 = 24*y - 18 - 30. Suppose -4*f = -2 - 26. Solve 3*v = 5*o - 21, -y*o - 5*v - f = -o for o.
3
Suppose 0 = -l + 4*o + 5 - 19, -3*l - 10 = -4*o. Solve -6 = l*m, -4*s + 5*m + 2 = -1 for s.
-3
Let d be (1/3)/((-5)/(-135)). Suppose 0*y - r = -2*y + d, 0 = -2*y - 2*r - 6. Solve 4*g - 2*w - 30 = 0, -y*g = -0*w - 2*w - 20 for g.
5
Let m(p) = -3*p - 1. Let y be m(-2). Let o(g) = -g**2 - 5*g - 4. Let t be o(-4). Solve -f + j - 3 + 1 = t, y*f - j = 2 for f.
1
Let n be ((-2)/4)/(2/(-4)). Let l(u) = u - 2. Let z be l(2). Suppose z*m - 20 = -4*m - 4*d, -m = -d - n. Solve 4*w + 7 = -4*a + 3*w, -3*a = -2*w - m for a.
-1
Suppose 3*r - 8 = 1. Suppose -3*p + 3 = -r*j, -4*j - 5*p - 2 = -25. Solve j*b = -3*q + 2 - 13, -5*q = 2*b + 17 for q.
-3
Let q(i) = -i**3 + 6*i**2 + 4*i - 1. Let b be q(6). Suppose b = 2*r - r - 5*p, 0 = 2*r - 4*p - 22. Solve 3*f - 13 = 2*k + 5, 3*k - r = -3*f for f.
4
Let i(p) = -p**2 - p + 1. Let b(s) = 3*s**2 - 3*s - 10. Let u(m) = -b(m) - 4*i(m). Let w be u(-6). Solve -3*g + 1 = -4*t - w, -9 = -3*g for t.
2
Suppose 3*o - o - 10 = 0. Let w = 7 - 9. Let n be 4/(-8) - w/4. Solve 8 = -3*j + 2*s - n, 0 = -o*j - 5*s - 30 for j.
-4
Suppose f + 7 = 5*s, -16 = -4*f - s - 2. Let h be (1 + -2)/(1/(-8)). Let p(r) = r - 8. Let o be p(h). Solve -2 = m + 3*k, 4*k + 7 = f*m - o*k for m.
1
Suppose 4*u = 5*u. Let y be (2/(-3))/(2/6). Let l = u - y. Solve -4 = l*s, -3 + 11 = 2*j - 4*s for j.
0
Suppose f + 3*f = 44. Let y = f + -7. Suppose 3*o + y*w - 9 = 11, -4*o = 4*w - 28. Solve 4*d + 19 = -3*a, 3*a - 30 = 5*d + o*a for d.
-1
Let w = 69 - 69. Solve w = 2*j - 5*t + 5, -t = 2*j + j - 18 for j.
5
Suppose 0 = 4*t - 4*c - 96, c - 18 = -0*t - t. Let x = t - 12. Suppose v + 2*k - x = -3, -2*v - 3*k = -9. Solve v*z + 3*z = -2*r + 22, z = -4*r + 24 for r.
5
Suppose -4*j = -3 - 1. Suppose -2*z + j = 4*d + 5, -3*d = -4*z - 8. Solve -a + i - 4 = d, -5*a + 2 + 8 = 5*i for a.
-1
Let x(r) = r**3 - 6*r**2 - 3*r - 16. Let a be x(7). Let o = 2 + 2. Solve -o - a = y + 4*j, 0 = y - 5*j - 11 for y.
-4
Let y be 336/154 - 4/22. Solve -3 = 3*w, y*w + 0*w + 2 = -4*x for x.
0
Let k = -10 - -9. Let m be (k - -2)/(2/8). Solve -4*w - 8 = 4*y, m*y + 4 = -3*w + w for w.
-2
Let j be ((-6)/(-4))/((-3)/4). Let z be ((-16)/(-12))/(j/(-3)). Solve 0 = -z*b - 5*u + 10, -b + 4 = -4*b + 2*u for b.
0
Let v = 56 - 34. Solve -5*m + y - 7 = 19, -v = 4*m - 2*y for m.
-5
Let f be 196/9 + 34/153. Solve 5*c = 3*j - f, -j - j = 2 for c.
-5
Suppose -3*d + 1 = -q - 4*q, -2*q + 2 = 0. Let r be (0*1/5)/1. Solve w + 4 = r, -3*m - 3*w + 5*w = -d for m.
-2
Let k(a) = -a**2 - 9*a - 4. Let i be k(-10). Let g = 19 + i. Solve 5*s - 5*n = -40, 2*s - g*s - 2*n + 1 = 0 for s.
-3
Let z(p) = p - 2. Let q be z(8). Let f = 10 + -6. Solve -f*v - 19 = 3*n, 2*n = -4*v + 3*v - q for n.
-1
Let l = -1 + 5. Let z(j) = -j + 9. Let w be z(9). Let t be (-6 - -2) + (-4 - -21). Solve -6*k = -l*k - 3*o - t, 5*k + o - 24 = w for k.
5
Suppose 0*t = 2*t - 20. Let o be (-12)/10*30/(-9). Suppose -4*z + o = 4*c + 8, 4*c + 2*z = 2. Solve 3*q - k = -1 - 4, -c*q + 4*k - t = 0 for q.
-1
Let p = 313 + -217. Suppose 3*i + 0*i = p. Solve n = -y - 4, 0 = 5*n - 3*y - 4 + i for n.
-5
Let s be 6/9*(2 - -1). Solve s*h - 2*g = 2*g + 4, -3*h = -4*g for h.
-4
Let n be (-1 + 0)/((-1)/1). Let c = 1 + n. Solve c*a = 2*v + 2, v - 23 = -0*v - 5*a for v.
3
Suppose 2*u = 2*b + 14, u + 2*b - 4 + 6 = 0. Solve 0 = 2*v - 5*g + 2 + 4, -4*g = u*v + 12 for v.
-3
Let u(r) be the third derivative of -r**6/40 - r**5/30 + r**3/6 + r**2. Let j be u(-1). Solve 0 = 3*x - 2*m - j, 3*m - 16 = 4*x + 5*m for x.
-2
Let g(m) = m**3 - 7*m**2 - 8*m + 3. Let y be g(8). Suppose -6 = -y*o + o. Solve -4 = -4*i, 2*a + 2*i = 3*i - o for a.
-1
Let m be (3/(-6))/(1/(-6)). Solve 2*p + a = p - 2, -p + m*a - 2 = 0 for p.
-2
Let m(u) = 7*u**2 - u. Let s be m(1). Suppose 0 = 3*v + 6 + s, 0 = -5*y + 4*v + 16. Solve y = -3*p - 12, 2*z + 4*p = -7 - 1 for z.
4
Let l = -13 - -23. Let f be 14/(-35) + 34/l. Solve 0 = 2*q + 4*r + 4, -f*r + 5 - 21 = -5*q for q.
2
Let d = -25 - -28. Solve -5*n - 11 = -2*a - 33, 0 = d*a - 4*n + 19 for a.
-1
Let a(x) = x**2 - x - 2. Let n be a(0). Let r = -6 + 10. Let i = r + n. Solve -5*t = 4*f - i, 3*t - 3*f = -3 - 12 for t.
-2
Let g(i) = -4*i**3 - i**2 + 3*i + 1. Let k be g(-2). Let r be (-3)/2*-2 + -13 + 12. Solve r*x - k = -2*s - 3*x, -x = -5 for s.
-1
Let f = 97 - 88. Solve o - 3*x - 3 = 3, -3*x - f = 0 for o.
-3
Let k be (3/9)/(4 + 210/(-54)). Solve -k*c + 10 = -4*w, w + 22 = -5*c - 2*w for c.
-2
Suppose -3*n + 15 = 2*n. Let c = -1 + n. Suppose -4*j + c*v = -4, 0 = -2*j - 3*j - 2*v + 14. Solve 0 = 2*f, 0*i + 2*f - j = i for i.
-2
Let d = 252 - 160. Let n = -63 + d. Let y be 6 + (1 + -4)/(-1). Solve b = 5*z - 26, 3*z = 5*b + n - y for z.
5
Suppose -52 = -5*p + x, -3*x - 2*x - 7 = -2*p. Let w = p - 7. Solve -3 = m + 7*y - 3*y, 0 = w*y + 4 for m.
1
Let f be (2 - 3)/((-2)/10). Suppose f*p + v = 7, 5 