 3*f for q.
1
Let j(l) = l - 1. Let d be j(5). Suppose 0 = d*c + 3 - 11. Solve -r = 5*u - 24, -c*u + 3 = -r - 1 for r.
4
Let x(k) = -k + 4. Let s(m) = -5*m + 21. Let d(w) = 2*s(w) - 11*x(w). Let j be d(8). Let c be 46/10 + j/(-10). Solve -g + 16 + 4 = 4*v, -c*g + 10 = 2*v for v.
5
Suppose 0 = m - 3*f - 2, -5*m + 4*f + 8 = -m. Suppose -m*w = w - 42. Let j = w - -4. Solve 0 = 2*s - v + 9 - 1, 0 = -5*s + 2*v - j for s.
-2
Let w be (2/(-4))/((-1)/8). Let f = 7 - -6. Solve 5*b + w*p = -f + 5, -3*b + 6 = -3*p for b.
0
Suppose 2*s + 2*s - 48 = 0. Suppose 0 = -5*v + 4*v + 6. Solve -3*u + v*u = c - 8, c - s = 5*u for u.
-2
Let o(d) = 53*d - 52*d - 3 + 1. Let v(p) = 2*p + 1. Let x be v(3). Let k be o(x). Solve -3*n + 4*i - 13 = 0, 2*n - k*n + 2*i - 11 = 0 for n.
-3
Let p = 10 + -7. Let r(z) = -2*z + 6. Let g be r(p). Solve 0 = i + 1, g = -u - 0*u - i + 4 for u.
5
Let q be 2*(2/(-3))/(6/(-18)). Solve 0*f + 2*f = -5*u - 33, 4*u + 4 = q*f for f.
-4
Let b be ((-4)/(-8))/1*4. Solve -4*c - 20 = v, 6*v = b*v + 5*c + 25 for v.
0
Let w = 45 + -42. Solve -4 = -4*v, -2*d + 3 = -w*d + 4*v for d.
1
Let f = 18 - 9. Let y be 0 - (f - (-2)/(-2)). Let l = -4 - y. Solve -2 = l*b + 2*c, 4*b + 8 = 3*b - 3*c for b.
1
Let k be (0 + 3)*8/6. Suppose -6*q = -26 - 10. Solve -u - 24 = 3*u - 4*r, -k*r + q = 2*u for u.
-3
Let d be (-2)/(-12) + (-319)/(-66). Solve 3*z + 8*g - 4*g - 24 = 0, 2*z - d*g + 7 = 0 for z.
4
Suppose -3*w - 3*x = 24, x - 2 + 6 = 0. Let s = w + 4. Suppose -4*o + 32 = 4*u, 2*o + o + 4*u - 25 = s. Solve -d - y = o, 10*d + 29 = 5*d - 3*y for d.
-4
Let b = -8 + 26. Suppose -3*z - x + 7 = 0, -4*z + 1 = 4*x + 5. Solve 3*q + 2 = -z, -5*r = q - b for r.
4
Suppose -6*w = -5*w. Solve 2*g - 20 = -2*m - 2*m, w = -g - 5*m + 25 for g.
0
Let h(s) = -s**3 + 2*s**2 + 3*s + 3. Let p be h(3). Let v be p + -3 + (14 - 2). Solve -4*t + 3*w + 13 + 7 = 0, 0 = 2*t + 4*w + v for t.
2
Let g = 13 + -9. Let m = -4 + g. Suppose m = p - 6*p + 15. Solve -a + 0*a = -3*l + 5, 0 = -5*a + p*l - 13 for a.
-2
Let t(r) = r + 9. Let d be t(-6). Solve -5*z - 5*v + 26 = 6, 3*v + 6 = d*z for z.
3
Let s be (6/5)/((-6)/(-15)). Suppose -d + 1 = -2*t, t + 5 = -2*d - s. Let n = -2 - t. Solve 0 = -2*m + 4*w + 10, 3*m + 2*w = 15 - n for m.
5
Let f = 6 + -1. Solve v + 4 = -f*l, -4*v - l = 1 - 4 for v.
1
Let r = -14 - 10. Let s be (r/(-56))/((-2)/(-14)). Solve 0 = -4*x - o + 8, 0*x = -s*x - 3*o + 15 for x.
1
Let n(h) be the second derivative of h**4/6 + h**3/2 + 5*h. Let l be n(-3). Solve -4 = -3*v + 5, l = -3*o + v for o.
-2
Let h = -2 + 22. Suppose 0 = g - 4*g. Solve -8 = 4*n - 2*v, 2*n + 3*v = -g*n - h for n.
-4
Suppose 117 + 3 = 4*c - 5*n, n = -2*c + 46. Suppose -6 = -2*v + 5*b - 21, v + 4*b = c. Solve 0 = -5*l + 5, l - 10 - 6 = -v*d for d.
3
Suppose -5*f - 2*t + 18 = -0*t, 12 = 3*t. Solve 3*z - f*q + 23 = 0, 2*z + 3*q = -2*z - 8 for z.
-5
Let s be (-46)/(-14) - (-4)/(-14). Suppose r + s*r = 56. Solve -10 = 2*y, -2*t = y - 1 + r for t.
-4
Suppose -4*x - 5 = -25. Let s(j) = j**2 + 6*j - 2. Let m be s(-7). Solve 0 = 2*t - 2*l + x*l - 17, m*l - 25 = 0 for t.
1
Suppose 2*q + q = 0. Suppose -5*d - 2*n + 25 = q, -2*d + 0*n - 5*n + 10 = 0. Solve -2*x + d = -5*g - x, -25 = -4*g - 5*x for g.
0
Let a(d) = -d. Let c(p) = -p**2 - 5. Suppose -s - 2*i = -6, 3*i - 9 = 3*s + 2*s. Let j be c(s). Let o be a(j). Solve w = 6*w + 2*x + 11, 3*w + 19 = o*x for w.
-3
Let w(s) = s**3 + 2*s**2 - 2*s + 2. Let n be w(-3). Let q be n*(1 + 1 + 3). Let a = q + 7. Solve 4*b = -5*u - 19, -a*b - b = -2*u - 3 for u.
-3
Suppose -l - 140 = 4*l. Let i be (-4)/(-2) - 18/1. Let c = i - l. Solve d - 3 = s, 5*d + 0*s + c = -4*s for d.
0
Suppose -3*v = -7*v. Suppose -2*b = -8 - v. Solve -3*x = -x + 5*u + b, -4*x + 3*u = 8 for x.
-2
Suppose x - 3 - 4 = -4*y, 2*y - x - 5 = 0. Suppose 10 = -4*w - y*o, -14 - 11 = -4*w + 5*o. Solve 0 = -w*s - s, i - 1 = s for i.
1
Suppose -p - 8 = -13. Solve 0 = 3*r - p*u + 40, 5*u - u = -4*r for r.
-5
Suppose -3*f - o + 6 = -2*o, 0 = -4*f + 4*o. Solve 0 = f*w - 5*w, 0 = -4*t + 3*w + 8 for t.
2
Let s(u) = u**3 + 4*u**2 - 8*u - 5. Let r be s(-5). Solve 5*b = r, 3*c = -2*b + 22 - 3 for c.
5
Suppose 0*p - 2 = -p. Let k(i) = 2*i + 8. Let g be k(6). Solve g = 4*v, b = -p*b + 4*v - 35 for b.
-5
Let j = 3 - -2. Suppose 42 = j*p + 2. Let l(t) = -t - 2. Let s be l(-4). Solve n = -s + 5, -4*n + p = u for u.
-4
Let u(w) be the first derivative of -w**2/2 - 4*w - 3. Let g be u(-6). Solve 5*c + g = -3*t, 5*t + 42 - 16 = 3*c for t.
-4
Let b = 6 - 4. Solve -4*f + 6 = -5*s, -f - b*f + 2*s + 1 = 0 for f.
-1
Suppose 5*p = -2*k - k - 21, 5*p - 5*k = -5. Suppose 0 = -l + 2*l - 4. Let b be l - (-2 - (p - -2)). Solve -2*z = 3*s + 11 - 3, -b*z - 1 = -2*s for s.
-2
Suppose -5*o + 61 = -o - y, -3*o = 5*y - 40. Let p = 23 - o. Suppose 2*m - p - 2 = 0. Solve -2*d + 0*g - 4*g = 16, -m*d - 24 = 2*g for d.
-4
Suppose 0 = -11*x + 12*x - 3. Solve -5*p + 5*m - m = -4, -5*m = x*p + 5 for p.
0
Let d(x) = 3*x + 4. Let o be d(-4). Let h be 1 + 0 - (2 + o). Let y = 1 + h. Solve n + 2*u - 18 = -y, 3*u = 3*n - 3 for n.
4
Suppose 0*w + 4*w + 2 = 2*r, -4*w + r = -3. Suppose -w*u - 17 + 55 = -3*t, 0 = -u + 5*t + 5. Solve 4*s = -z, -5*z + s + u = -4*s for z.
4
Suppose 2*l + l - 3 = 0. Solve q = 3*t + 7, -q + 3 - l = 2*t for t.
-1
Let q = 23 + -33. Let a be (-2)/(-5) - (-54)/q. Let u be (-4)/10 - 27/a. Solve -u*o + v + v + 10 = 0, -3*o + 6 = v for o.
2
Let y(b) = b**3 - 9*b**2 + 7*b + 2. Let v be y(8). Let k be (-93)/v + (-1)/2. Solve 3*p + 4*l = 6*l + 25, -2*l - k = -p for p.
5
Let m(b) = 1 - 4 + 2. Let u(q) = -3*q + 1. Let z(r) = 4*m(r) + u(r). Let x be z(-5). Solve 4*d + 12 = 2*k, -3*k + 8*d - 5*d = -x for k.
2
Let l(i) = -i**3 + 6*i**2 - 2*i + 11. Suppose 2*z - 4 - 6 = 0. Let d be l(z). Solve 4*h = 3*s - d, 2*h = 6*h - 2*s + 24 for h.
-5
Let u = -4 + 6. Let b = 6 - u. Solve 0*a = -2*q + 3*a - 1, -a = -b*q + 3 for q.
1
Suppose q + 5*l + 3 - 18 = 0, 15 = 4*q + 5*l. Solve u - 14 = -5*z, -u + 4*z - 2 - 11 = q for u.
-1
Let h be (-2)/4 + 116/(-8). Let r be (-6)/h + 46/10. Suppose -9 = -r*g + 16. Solve -6 = 2*z + 4*v, -3*z + g*v + 24 + 11 = 0 for z.
5
Let j(p) = -p**2 - p. Let m be j(-1). Solve b + 5*f = -6, -3*b - 3*f + m + 6 = 0 for b.
4
Let i be (-5 - -6)*(-2 - -5). Suppose -3*q + 28 = -5*k, -2*k + 0 = -4*q + 14. Let l = q + i. Solve -5*m + 5*g - 13 = -3*m, -l*m - 4*g + 16 = 0 for m.
1
Let y = 64 + -31. Let f = 55 - y. Solve h - 4 = -t, -3*h = -0*h + 5*t - f for h.
-1
Let j be 1 - (-7 + (-2)/(-1)). Solve 2*x + t + 5 = 0, -12 = 3*x - j*x + 5*t for x.
-1
Suppose -4*d + 2 = -6, 3 = u + d. Solve -3*x + o = 4, -5*x = 5*o + u + 39 for x.
-3
Suppose -2*i = -4 - 6. Suppose 3*x - 10 = 2*x. Suppose 7*v - 4*v = 4*t - x, 5*t - 14 = 3*v. Solve -3*z = -v*z - i*r - 11, 2*z - 5*r = 12 for z.
1
Let h = 0 + 1. Let m(b) = -b**3 + 8*b**2 + 7*b + 8. Let s be m(9). Let x = h - s. Solve 3*i + 1 = 2*p + 3*p, -3*p - 4*i = x for p.
-1
Let g = 2 + 1. Suppose 3*u = -3*s + 7*s + 8, -7 = -u - g*s. Suppose -3*c + 19 + 8 = -4*h, -3*c + 27 = u*h. Solve 5*o - c = -2*b, 2 + 7 = o - 2*b for o.
3
Let p be (0 + -1)*(5 + 0). Let w be (21/(-15))/(1/p). Solve y + 4*m = 11 + w, -3*m + 15 = 0 for y.
-2
Let y = 129 + -81. Suppose 3*i + 0*d + 1 = -2*d, -3*i - 3*d = 6. Suppose 4*j + i*c - y = 0, 2*j + 2*c = -2*j + 52. Solve -k - 5 = -4*x - 6*k, 2*k = x + j for x.
-5
Let q = 4 - 2. Suppose -3*f + l - 13 = 6*l, l + 25 = 5*f. Suppose -5*u = 5*n - 0*u - 25, f*n - 2*u - 14 = 0. Solve b - 2*b = -a, -q*a = -n*b + 10 for b.
5
Suppose s - 5 + 1 = 0. Let m be (43/(-2))/(2/(-8)). Suppose 2*h = 4*c - m, 0 - 12 = 4*h. Solve -j = x - 8, -8*x + c = -s*x for j.
3
Suppose 4*q - 2*i - 5 = 5*q, 5*q - 3*i - 40 = 0. Solve -4*s + 15 = a + 2*a, 2*s = a + q for a.
1
Let h = 3 + -1. Let s = -180 - -181. Solve -5*n = d + 4, -h*n - 2*n + s = 5*d for n.
-1
Suppose 7 + 8 = 5*f - 5*c, 3*c + 9 = -2*f. Solve -3*h - 4*d - 23 = f, -d - 4 = 2*h + 3 for h.
-1
Let b(n) = 3*n**2 + n + 1. Let l be b(-1). Suppose 5*g + l = 2*s, -1 = s - 0. Let j be 1 + (2/2)/g. Solve -4*f + 2*v + 11 = 33, 3*f - 5*v + 27 = j for f.
-4
Let x be 12/(-30) - (-12)/5. Solve 0 = x*j + 3*g + 3, -3*j - g + 6 = -0 for j.
3
Suppose w - 4*l + 25 = 4*w, 0 = 3*w + l - 13. Let q be w - 3/(6/(-52)). Let h = q + -14. Solve 2*f = 7*f + 15, 3*f = 3*b - h for b.
2
Let v = 3 - -1.