-3*v - 3*u = 0 for v.
5
Suppose 0 = -5*c + b + 10, 4*b = c - 6*c + 10. Let a be ((-184)/(-4))/(-1 - -3). Solve -n = -c*n - 2*z + 8, 5*z - a = -4*n for n.
2
Let k(x) = x**2 + 4*x + 5. Let d be k(-4). Suppose 0 = -d*o - 21 - 9. Let g be o/(-18)*1*9. Solve -25 = 5*w - 3*j + 5, g*w + j = -4 for w.
-3
Suppose -y = -0*y - 2. Suppose -y*g = g - 9. Solve -k = s + g*k + 19, -25 = 5*k for s.
1
Let g be (-28)/6*48/(-56). Suppose h + 2*f - 16 = -2*f, -3*f + 97 = 5*h. Let m be (-170)/(-6) - 4/(-6). Solve 6*d - h = -p + d, -3*d = g*p - m for p.
5
Suppose 3*s + 2 = -5*y, 5*y - 4*s - 19 = 7. Solve 2*z + a = -4, 3*z + 6 = -y*a + a for z.
-2
Suppose x + 10 = -7*v + 2*v, -x + 26 = -4*v. Let r(k) = -k**2 - 11*k - 10. Let b be r(-10). Solve -5*l + 3*c = c - x, -2*l + c + 5 = b for l.
0
Let l(f) = f**2 - 3*f + 4. Let v be l(4). Let m(q) = q**3 - 9*q**2 + 8*q + 2. Let g be m(v). Solve g*i = 8, -i + 7 = 5*o - 2 for o.
1
Let i(s) = 2*s. Let t(r) = -r - 1. Let d(z) = i(z) + 3*t(z). Let c be d(-5). Solve -15 = h + c*h + 4*m, -2*m = 6 for h.
-1
Let t = 5 + 0. Suppose -2*f + t*f - 5*c = -5, 24 = 4*f + c. Let x = f + -3. Solve -4 = x*d + 4, -y + 4*d + 17 = 0 for y.
1
Let g(s) = 0*s**3 + 6*s**3 + 13*s**2 - 5*s**3 + 12*s + 11. Let t be g(-12). Let c = t + -6. Solve 3*j - 11 + 34 = 4*b, -c*j = 25 for b.
2
Let z(l) = -l**2 - 11*l + 12. Let f be ((-2)/3)/((-2)/(-108)). Let u = f + 25. Let v be z(u). Solve -5*g = 5*d - 5, 2*g - 3*d + 0*d - v = 0 for g.
3
Let s be (-6)/12 - 9/(-2). Solve -3*d = -5*w - 8, 6*d - d - 9 = s*w for w.
-1
Suppose 4*b = -5*f - 16, -4*b - 3*f = -3*b + 11. Solve 5*q = -4*p + 24, p + 0 - b = 0 for q.
4
Suppose -1 = -5*o + 4*w, 2*w - 3 = -w. Let c be o/(4/16 - 0). Solve -c*l - 2*n = 12, -3*l = 4*n - 2*n + 11 for l.
-1
Let l(d) = 2*d**3 + 4*d**2 - 3*d - 3*d**3 - d. Let y be l(3). Let h be 10*-3*y/18. Solve 2*n - 4 = 3*t, -20 = 2*n + h*t - 2*t for n.
-4
Let w(r) = -r + 1. Let y be w(-2). Let q = 77 + -74. Solve 3*j = q*i - y, -4*j + 4*i = -3*j + 10 for j.
2
Suppose 4 - 14 = -l. Let t = l + 13. Solve -8 = -2*r, 2*c - t = -c - 2*r for c.
5
Let o(j) = -j - 2. Let k be o(-6). Let d be (4/12)/(2/12). Suppose 0 = -d*t + 3*h + 51, -3*t + 3*h = 2*t - 123. Solve -3*r - k*i + 3 = i, 3*r - 4*i = -t for r.
-4
Suppose u + u + 4 = 0, 3*b - 4*u = 2. Let m = 5 + b. Solve -24 = -o + 5*r, -r - m + 19 = 5*o for o.
4
Suppose -4*l + 29 + 7 = 0. Suppose -20 = -l*w + 5*w. Solve -4*h = -j + 3*j + 8, -h = w*j + 2 for j.
0
Let t(y) = y**3 + y**2 + 2. Let k be t(-2). Let q be (1*-2)/k - -2. Solve 3*n = q*s + 18, n + 0 = -3*s - 2 for n.
4
Let v = -3 - -4. Let d be (-3 + 5/v)*1. Solve 1 = 2*z + 5*a, d*z + a + 1 = -2 for z.
-2
Let p be (-1*2)/(4/(-14)). Let w = 7 - p. Solve -3*b + 8 - 1 = -2*q, w = 2*b + 3*q + 17 for b.
-1
Let c(w) = -5*w + 3. Let o be c(3). Let f be ((-44)/o)/((-2)/(-6)). Suppose -59 = -2*k - f. Solve k = -4*j - 0*j + 2*l, -3*j - l - 13 = 0 for j.
-5
Let y(k) = 2*k**3 + 2*k**2 + 1. Let x be y(-2). Let a = -4 - x. Suppose -2*u - t + 18 - 3 = 0, 0 = 5*u + t - 30. Solve -z = -2*z + 4*i - u, -a*i + 4 = -z for z.
-1
Let v = 8 + -5. Suppose 0 = -v*i + i. Solve -3*p = -4*b - 9, 3*p + 2*b = 9 - i for p.
3
Let n(g) = g + 11. Let i be n(-8). Solve 3*q + m - i = -5, -2*q = m for q.
-2
Let x(q) = -q - 6. Let h(g) = g - 6. Let v be h(0). Let p be x(v). Let k be ((-170)/255)/(1 - 34/30). Solve -2*b + 2*u - 8 = p, -u + 4 = -3*b + k*b for b.
0
Let u(j) = -j**3 + 12*j**2 - 28*j + 12. Let d be u(9). Solve -4*g + d*f = f + 12, 2*f = -4*g - 20 for g.
-4
Let s(f) = 7 + 4 + 8*f + 0*f**2 - f**3 + 7*f**2 + f**2. Let i be s(9). Solve 0 = -i*h + 2*z + 8, -8 = 5*h - z + 3*z for h.
0
Let g(x) = 1 + 0 - 2 + 2 + 4*x. Let h be g(2). Solve -4*s + h = -4*v - 7, 5*s = 2*v + 17 for v.
-1
Let v = -1 - -3. Let b be (0 + 5/5)*0. Suppose b*u = v*u. Solve u = 2*i - 6, 4*i - 17 = n - 1 for n.
-4
Suppose -5*t - 5*l = -90, 4*t - 80 + 8 = l. Solve 3*p + 6 = x + t, -p = -2*x - 9 for x.
-3
Let t = 49 + -49. Let l = 1 + -2. Let y be 0 + 5/l*-1. Solve -q = 3*q - 4*w + 28, t = w - y for q.
-2
Suppose -9*m = -3*m. Solve 2*g - 2*w = -g + 14, m = -2*w - 2 for g.
4
Let i = 2 - 2. Suppose 0 = -i*w - 5*w + 25. Solve 5*g + 4 = -w*c - 31, -c - 3 = 0 for g.
-4
Suppose 2*j - 5*p + 11 = -0*p, -5*j = 4*p - 55. Suppose j*o - 9 = 4*o. Solve -5*v - 13 = -3*q + 4*q, -o*q - 5*v - 9 = 0 for q.
2
Let i = -50 + 54. Solve 0 = -2*b - i*f - 16, -2*b + 3*f + 2 = 4 for b.
-4
Suppose w + d = 0, 5*w - w - 12 = -d. Let g be ((-6)/5)/(-5*15/500). Solve -w*t + 3*u - 5 = g, 5*u = -t - 9 for t.
-4
Suppose -4*g + 3*d + 20 + 8 = 0, 0 = -2*d - 8. Solve -3*m = -5*a + 3, 3*m = -a + 1 - g for m.
-1
Let n be 0/(-2)*(-2)/2. Suppose 2*t = -5*s + 15, -5*t = -n*t + 2*s - 27. Solve -b - t = 0, 4*u - 1 + 26 = -5*b for u.
0
Let v = 33 - 33. Let h be (-52)/(-12) + (-2)/(-3). Suppose 0 = 3*o - 4*m - 31, -5 = 3*o + 7*m - 2*m. Solve -b - 3*a = -a - 1, v = b + h*a + o for b.
5
Let s be (-6)/(-27) + (-43)/(-9). Suppose -g - 3*y = -5, 20 + 25 = s*g + 5*y. Suppose 7 - 3 = q. Solve 2 = -3*b - 4*o + g, -5*b + 15 = q*o for b.
3
Let l(w) = w**3 + w**2 - w - 4. Let g be l(0). Suppose 0 + 6 = 3*j. Let c be (-2 + 2)/(g + j). Solve -10 = -5*u - 3*n, 5*u - 4*n + 9*n - 10 = c for u.
2
Suppose -24*s = -29*s. Solve -q - 5*u - 15 = s, -2*q - 3*u - 1 = 15 for q.
-5
Let d(u) = -u + 8. Let c be d(6). Suppose -c*b = -b - 4. Solve -3*n = -2*t - 7, 4 = -5*t + t - b*n for t.
-2
Suppose 0 = 4*g - 2*v - 20, 5*g = -5*v - 4 - 1. Let l = -9 - -11. Suppose k - 4*r - l = 6, -r = k - g. Solve 0 = -5*t - 5*b - 35, 0 = -t - t + k*b + 10 for t.
-3
Let z = 12 + -10. Solve z*f - 15 = 5*v, 3*f = 3*v + v + 12 for f.
0
Let o = -6 + 4. Let r be (-2)/4 + (-5)/o. Suppose 4*i - 16 = r*i. Solve -3*v = 12, -a + 2*v + i = a for a.
0
Let h = -13 + 18. Let g = h - 0. Let w be (-15)/2*2/(-3). Solve 8 = -w*o - g*d - 27, 2*o + d = -10 for o.
-3
Let c = 58 + -55. Solve 6 = -p + 2, -c = 3*o - 3*p for o.
-5
Let k be (-22)/(-99) - 284/(-18). Solve 4 = 5*x - u, 5*u - u = -k for x.
0
Let f(c) = -c**3 + 9*c**2 - 8*c + 3. Let v be f(8). Let n be (-1)/v - (-16)/3. Solve 2 = a, -n*a + 3 = -3*p - 4 for p.
1
Let b be 1/(-4) + 175/28. Suppose 2*r = b*r - 8. Solve 3*a - d = -2*d + 4, 0 = r*d + 4 for a.
2
Let z(n) = 2*n**2 + 27*n - 30. Let t be z(-15). Solve 3*s = 4*c + 20, -c = -4*c - 4*s - t for c.
-5
Let h = -60 + 71. Solve 13 = 4*j - b, 0 = 3*j - b - 0*b - h for j.
2
Let n(u) = 4 + u + 0 - 1. Suppose -4*l = -3 + 15. Let x be n(l). Solve 2*b - h = -6, 2*b - 3*h - 2 + x = 0 for b.
-5
Let u = -2 + 2. Suppose -2*o - 3*o = -2*h + 11, -2*h + o - 1 = u. Let c be (-9 + -7)*1/h. Solve -4*w - 26 = 5*a, 0 = 2*a - 3*w - 0*w - c for a.
-2
Let i(c) = -c**2 + 3*c + 2. Suppose -4*k = k - 15. Let p be i(k). Solve p*r = -3*r + z - 15, 2 = 4*r + 2*z for r.
-2
Let c be 27/(-18)*(-4)/3. Let o(h) = c + 0 + 2*h**2 + 0 + 2*h - 3. Let a be o(1). Solve 3*p + 3 = -2*f, -15 + a = 4*p for f.
3
Suppose t + 9 = 4*t. Suppose 0 = 5*l + 11 + 4. Let j(d) = d**3 + 3*d**2 - 3*d - 4. Let k be j(l). Solve -o = -m + 9, o = -k*m - t*o for m.
4
Let k = 17 - 12. Suppose 1 = -q + k. Suppose 5*s + q*j - 6 = 27, j - 33 = -4*s. Solve -3*t - s = 0, -50 + 19 = 5*c + 2*t for c.
-5
Let h(s) = -2 + s - 2 + 0*s. Let q be h(8). Solve 5*r = -w - 2, r - 5*w + q*w - 2 = 0 for r.
0
Let n = 21 + -5. Suppose x = -3*x + n. Solve -g = 5*s - 2, -3*g = -x*g - s - 2 for g.
-3
Suppose -38 + 133 = -5*x. Let i = -17 - x. Solve i*s = -s + 5*b + 17, 2*b + 10 = 2*s for s.
4
Let l = 5 + -3. Suppose -v + l = -2. Solve -i + 12 = 5*p, 6*p - 21 = 3*p + v*i for p.
3
Suppose 2*f + o = 4*o - 7, 2*o = -f + 14. Solve -u - d = -f + 8, 0 = -u - 2*d - 4 for u.
-4
Let w(x) = 8*x - 5. Let a be w(5). Let z = -2 - 0. Let q = z + 6. Solve 4*t + 0*n = -2*n - 2, q*n - a = 5*t for t.
-3
Suppose -q + 27 = 2*q. Suppose -4*w - 5*d + 0 - 3 = 0, -5*w = 2*d - q. Solve -m + c = 8, 0 = 3*m + 2*m - w*c + 34 for m.
-5
Suppose -58 - 6 = -2*v. Solve 0 = -i - 2*i + k + 7, -3*i - 4*k + v = 0 for i.
4
Let i = -3 - -7. Let c = i - 4. Solve 16 = -c*u - 4*u - t, -2*u = 5*t + 26 for u.
-3
Let m(v) = v + 10. Let u be m(-8). Solve -2*d = 3*k + 3, u = -2*k - 2*d + 6*d for k.
-1
Let q = 155 - 153. Solve 2*g - 12 = 4*k, 0 = 3*g - q*g + 2*k - 2 for g.
4
Let t(i) be the second derivative of i**3/6 + 5*i**2 + 3*i. Let n be t(-8). Suppose u - 