lve 4*b - a - 15 = 3, 3*a - 6 = h for b.
5
Let s(a) = 2*a - 1. Let t be s(3). Suppose k + 6 = -5*q - 196, 2*q - t*k + 70 = 0. Let r be ((-2)/5)/(4/q). Solve -3*c + 7 = r*f, 3*f - 7 = f - 5*c for f.
1
Let r be (-16)/6*3/2. Let h(k) = -2*k - 4. Let m be h(r). Let a be -9*m*(-1)/6. Solve -5*o - 15 = 5*l, l - 6 = 2*o + a for o.
-5
Let w(u) = -u - 1. Let c be w(-4). Solve 5*g - c*g = 3*x - 7, 5*x + 15 = -2*g for g.
-5
Let c be (-21)/(-5) - 8/40. Solve -6 = -5*q - c*t - 18, -2*q - 2*t = 4 for q.
-4
Let v = -2 + 7. Solve 25 = 2*a + v*p, -4*a - 15 = -p - 2*p for a.
0
Let t be -1 + 9/(-3)*3. Let c be 3/((-6)/t)*8. Suppose 5*v + 0*v - c = 0. Solve -v = -2*s, -d + 6 = s + 1 for d.
1
Suppose 5*f = -4*p - 5, 3*p + p - 2*f - 30 = 0. Solve -3*i + 0*i - 5*x = -37, 2*x - 30 = -p*i for i.
4
Let n be 7/3 - (-6)/9. Solve 3*l + 3 = n*s, -2*s + 5 = l - 3 for s.
3
Let m(u) = 4*u - 5*u**2 + u + 6*u**2 + 6 + 2*u. Let x be m(-6). Let q be x + ((-6)/(-3) - -3). Solve 0 = -q*z + b - 10, 0 = -5*z + 5*b - 10 for z.
-2
Let o = 14 + -4. Suppose -5*q + o = -50. Suppose 5*y + 3*r = 25, 4*y + r = q + 8. Solve -i + x = 2, -2*x + y = -4*i - 7 for i.
-4
Let g(b) = b**3 - 5*b**2 + b - 1. Let t be g(5). Solve t*j - 20 = 6*z - 2*z, 5 = -2*j - z for j.
0
Let a = -7 + 14. Solve 3*b - 18 = -3*t, 2*t - a*t + 5 = 0 for b.
5
Suppose -3*k + 70 + 14 = 0. Suppose -3*h = -h - k. Solve h = 2*n - 4*n - 2*y, 13 = -4*n - y for n.
-2
Suppose 8 + 17 = 5*n. Let b(v) = 2*v**2 - v**2 + 0*v + v - 11*v**3 - 5*v**3. Let h be b(-1). Solve -3*z - n*y = -35, 3*z + y - 3 - h = 0 for z.
5
Let l(b) = b**2 - 2. Let a be l(-2). Suppose a*y = -5*j + 81, -5*y - 18 - 12 = -3*j. Let m be (j/9)/(1/3). Solve -26 = m*u - 11, 3*s = u - 6 for s.
-3
Suppose 8*j + 12 = 11*j. Solve 12 + 2 = 2*r - 2*b, 4*r + 2*b - j = 0 for r.
3
Suppose l - 2*l + 4*t + 27 = 0, -2*t = 3*l - 39. Let j = l - 11. Solve -2*v - 8 = -4*o, -4*o - 6*v = -j*v for o.
1
Let k be 24/40 - (-24)/10. Solve 5*n + 3*i - 11 + 1 = 0, k*n + i = 6 for n.
2
Let b be -2*153*4/(-6). Let n be (-4)/(-18) + b/54. Solve -n*c - 3*g = -5*c + 1, 4*c + 4*g = -28 for c.
-5
Let b(g) = -3*g - 10. Let k be b(-4). Solve -5*t + 2 = k*u, 4*u - 2*t = -6*t - 8 for u.
-4
Let i(x) = 3*x - 4. Let w(z) = 1. Let u(h) = 2*i(h) + 6*w(h). Let y be u(3). Solve 3*k + r + y = 0, 4*k - r + 3 = -9 for k.
-4
Suppose 18 = 4*a + 3*s - s, 2*a + 5*s - 13 = 0. Solve -a*q + 10 + 1 = -3*d, -5*q = d - 9 for d.
-1
Let u(z) = z - 6. Let f be u(9). Let v be 4*1 + (-11 - -8). Solve -f*x - 3*a = -11 - v, -3*a = -4*x + 23 for x.
5
Let w be (-2*1)/((-8)/12). Let g(d) = d**3 - 2*d**2 - d - 3. Let q be g(w). Solve -4*x + b = -15, 3*x - q = 5*b + 21 for x.
3
Let f = 81 - 80. Solve -2*n + c - f = 0, 3*c = -0*n + 2*n + 11 for n.
2
Let f(i) = -i**3 + 13*i**2 + 13*i + 19. Let l be f(14). Suppose w - 3 = -4*a + 9, 0 = 3*a + l*w - 26. Solve -5*k - 7 = 4*m, -4 = -0*m + a*m + 2*k for m.
-3
Let i(x) = 7*x**2 + 5*x - 6. Let u(g) = -13*g**2 - 9*g + 11. Let d(s) = -11*i(s) - 6*u(s). Let n be d(-1). Solve 3*k - n*b + 6*b = -23, 5*b + 30 = -4*k for k.
-5
Suppose -30 = -h - 2*h. Suppose -2*a - 3*a + h = -3*q, 5*q - 25 = 0. Solve -15 = 3*n, -5*y + 2*y = -a*n - 19 for y.
-2
Let p be (1 + (-10)/14)/((-47)/(-329)). Solve 5*o + 14 = -2*d, p*d - 6*d = -o + 6 for d.
-2
Suppose -5*a - 6 = -4*o, -2*a + 2*o = -0*a + 4. Let v be 4/(-10) + a/5. Suppose d = -v*d + 24. Solve i + 7 = -3*l + 2*l, -4*i = 2*l + d for i.
-5
Let z(w) = w**2 - 5*w + 6. Let c be z(4). Let m = c + -3. Let a = 1 - m. Solve 4*x + 9 = a*i + 1, 2*x + 16 = 4*i for i.
4
Suppose 0 = 5*d + 5*i + 15, 5*d = 3*i - 2*i + 3. Let y = -180 + 186. Solve -y*j - 4*q - 24 = -4*j, 2*j + 5*q + 29 = d for j.
-2
Let d = 4 + -1. Suppose -d*r - 80 = -8*r. Suppose -h - p + 10 = 2*h, 5*p = 3*h - 40. Solve -c - r = -h*v, -v + 3*v = 6 for c.
-1
Let s be 2/7 + (-30)/(-42). Suppose 4 = -3*n - 2*d + s, -4*n - d = 4. Let o be 4 + n + 2/(-2). Solve m - 3 = 3*x, 1 = -m - o*x + 3*x for m.
-3
Let i be 0 + 0 - -1*4. Solve 4*m + 4*d = 4, 5*m + 4 = -i*d + 6 for m.
-2
Let k = 13 + -10. Suppose -k*i - i = 0. Solve -3 = 3*l, -3*y + 2*l - 10 - 3 = i for y.
-5
Let t(f) = f + 6. Let h be t(-4). Let l(s) = s - 7. Let y be l(11). Solve 2 = 3*g + y*b - 0, 3*g - 8 = h*b for g.
2
Suppose 0 = f - 4*f + 15. Suppose 3*o - j - 10 = -0*o, 20 = -o + f*j. Solve 0 = -o*u + 4*g + 3, -3*g = -u + 5 - 0 for u.
-1
Suppose -6*z + 6 = -3*z. Suppose -2*o = -5*q + 183, 3*q = z*q - 2*o + 27. Suppose 10 - 35 = -5*v. Solve -s + 30 = -5*n, -s - q = 3*n - v*s for n.
-5
Suppose 0 = -2*l + 3 + 15. Let h = -4 + l. Let z = 14 - h. Solve -3*q + 37 = -5*s, 5*s - 4*q = -z*q - 5 for s.
-5
Suppose -4*p - 4*c = 4, 3*p - 4*c - 5 = -5*c. Solve o - m - p = -2*m, -2*m = 4*o - 10 for o.
2
Suppose 3*n - 6 = 0, 0 + 6 = -r + 4*n. Suppose 0*f + r*f - 10 = 0. Solve 0 = -2*j + 4*j + f*h + 6, 0 = j + 3*h + 4 for j.
2
Let s be (1 + -2)/(1/(-10)). Suppose 4*h - s - 6 = 0. Suppose v - 20 = -3*v. Solve 5*q = -h*p + 3, 4*p + 19 + 8 = v*q for p.
-3
Let i = -3 - -3. Let c = -13 - -23. Let x(w) = w + 3. Let b be x(4). Solve -5*y - n - c = 0, i = -2*y + 3*n - 28 + b for y.
-3
Suppose -2*q = -q. Suppose -2*f - 4*j - 6 = q, 2*j = -5*f - 0*f + 9. Solve -2*c + 0*c + f*k + 2 = 0, 0 = -k for c.
1
Let r(g) = 3*g**2 + 5*g + 2. Let o be r(-3). Suppose -5*w + 1 = -o. Solve 5*f - 21 = -0*b - 2*b, -w*b + 14 = 4*f for f.
5
Suppose 4 = 2*i - 6. Solve 0*q - 20 = -4*x + 2*q, i = x - q for x.
5
Suppose -11*j = -8*j. Solve -p = -y + 4*y - 16, j = 4*p + 2*y - 14 for p.
1
Let u = -17 - -20. Solve s + 4 = -3*h, -u*h + 2*h + 3 = -4*s for s.
-1
Suppose 46*u - 30*u = 0. Let q be 33 + 1*(0 + -1). Suppose 3*n = q + 61. Solve 3*j = -u*j - 5*p - n, 0 = -5*j + 3*p + 5 for j.
-2
Let j = 48 - 44. Solve -m + j*w = -1 - 6, -3*m = -5*w - 7 for m.
-1
Let t(m) = 3*m**2 - 4*m**2 + m + 0*m**2 + 3 - 3*m. Let h be t(-3). Suppose 0 = 3*w - 3, -2*w + 2 + h = v. Solve 5*p + 2*s = -v*s + 35, 3*s = p + 10 for p.
5
Suppose 3*d = 2*o + 6, d + 3*o = 4 - 2. Let r be (-57)/(-12) - d/(-8). Suppose r*l + 6 = 26. Solve -4*m = -3*k - 32, 5*m + l*k - 5 - 4 = 0 for m.
5
Let r be ((-18)/12)/(2/12). Let t be 4/(24/r)*6. Let b be 519/27 - (-2)/t. Solve 3*z - q - 7 = -b, 2*z = 5*q + 5 for z.
-5
Suppose 19 = 4*s - 1. Solve 0 = -3*j, -s*j - 7 = h - 2 for h.
-5
Let l(f) = -4*f - 4. Let r = -12 + 8. Let i be l(r). Solve 3*u - i = 0, h - 4 = -2*u + 3 for h.
-1
Let k be 8/1*4/(-8). Let z = 4 + k. Solve z = 5*t - 4*b - 13, 2*t + 3 + 1 = -3*b for t.
1
Let o = 3 - -5. Suppose -2*w - c = -7, -o*c = -w - 3*c - 13. Solve 11*r = -2*s + 6*r - 10, 0 = w*s - 5*r - 10 for s.
0
Let n(l) = -l**3 - 4*l**2 + 2. Let b be n(-4). Let c = -6 - -11. Solve -3*s - c = 2*j, -5*s + 0 - b = -3*j for j.
-1
Let i(s) = s**2 + 7*s - 13. Let v be i(-9). Solve 7 = v*h - 3, -4*h - 7 = 3*u for u.
-5
Let s(z) = -2*z + 1. Let m be s(-1). Suppose -12 = -3*l, 0*l - 15 = r - 5*l. Let h be r + 3/(3/(-1)). Solve -3*u + 3 = -5*x - h, 4*u = m*x + 2 for u.
-1
Let j be 1 - (-1 - (1 - -1)). Solve c + 3 = -1, -j*c - 15 = -s for s.
-1
Let l be (7/(-3) + 2)/((-1)/12). Solve -4*f - 4*q + 0 = -28, 2*q = l for f.
5
Let n be (-26)/(-6) + (-4)/(-6). Let a = n - 4. Let h = 7 + a. Solve -8 = 2*j, -2*d + 30 - h = -4*j for d.
3
Let r(q) be the second derivative of 1/6*q**3 + 0 - q**2 - q. Let a be r(5). Solve a*b - 13 = 4*y, 0 = b - 4*y + 1 - 8 for b.
3
Suppose 4*q - 2 - 18 = 0. Suppose -15 = -3*i, 3*o - 16 = -q*i + 15. Solve -7*r + 3*r = 3*l + 20, -5*r = o*l + 25 for r.
-5
Suppose -2*v - 3*a - 9 = 0, 15 = -4*v + v - 3*a. Let y = v - -13. Solve -3*l = -t + 15, -4*l + 2*t = 5*t + y for l.
-4
Let l be (-112)/(-70) - (-4)/10. Solve k + 3 = -0*j + 4*j, l*k = 4*j - 2 for k.
1
Suppose -16 = 2*a + 4*j - 0, 0 = 4*a + 2*j + 2. Suppose -v = z - 3 - 3, -a*z + 2*v = -4. Solve l - 3 = t - z*t, -4*t + 23 = -5*l for t.
2
Suppose 0 = -o - 3*o + 20. Solve -5*v + 25 = o*j, 3*j - 5 - 10 = -2*v for j.
5
Let w be (-20)/6*90/(-20). Let a = w + -10. Solve -x + 3*x - q + a = 0, -2*q = -x - 7 for x.
-1
Suppose 6 = 2*q + a, -3 = -q - 5*a + 9. Solve -w + 3 = f, -q*w - 4*f + 13 = -9*f for w.
4
Suppose -3*n = -3*c - 3, 0*n + 8 = -2*c + 5*n. Let s(h) = 3*h**2 + h - 1. Let v be s(c). Solve -v*q = -4*a - 17, -4*a - q = 2*q + 23 for a.
-5
Let j = -10 + 15. Suppose -3*b - 2 = -2. Solve -g = -4*k + 5, b = g + 3*k + 10 - 