 7, f = 4*a for b.
-3
Let y(o) = o - 9. Let h(x) = -1. Let z(t) = 6*h(t) - y(t). Let m be z(3). Solve m = -g - n + 1, 3*g - 26 = g + 4*n for g.
5
Let f be (2 + (-12)/(-8))*6. Solve -x + f = 5*d - 4*x, 5*d - x = 17 for d.
3
Suppose 2 = 3*f - 13. Let v be ((-6)/4)/(2/(-4)). Solve j = -k - f, k = 2*k + v for j.
-2
Let s be (5 - 4)/((-2)/(-6)). Solve -d - 11 = 2*g, d - 11 = -3*d + s*g for d.
-1
Let k(x) = -x**2 + 12*x - 14. Let y be k(11). Let f be (3/1)/y*-1. Let a be 4 + f - -1 - 3. Solve 0 = 3*d + a*u - 4 + 13, -2*u = d + 2 for d.
-4
Suppose 0 = f - 5*t + t + 5, 2*f - 3*t = -5. Let y be f/2*(-16)/2. Solve -4*p + 3 = -3*n, -3*n + y*n = -p + 6 for n.
3
Let u be 57/9 + (-1)/3. Let q = -1 + u. Solve -5*t + z - 2 = 0, -t + 8 = q*z - z for t.
0
Suppose -4*g = -5*k + 10*k - 13, -2*k = -2. Solve -5*f - 3*v = 0, 5*v - 8 = -g*f - 27 for f.
3
Let j be -1 + 0 - (0 - 2). Let b = j - 3. Let p be -1*b/((-2)/(-3)). Solve -3*l + p*w + 7 + 2 = 0, -w = 3*l - 17 for l.
5
Let d(b) = b - 5. Let v be d(9). Solve v*y = g + 3, g = -0*g + y + 3 for g.
5
Let g(h) = -h. Let f be g(0). Let y = -2 - -2. Solve -3*a + f*a + 4*u = -2, y = -a + 2*u for a.
2
Suppose 1 = -3*l + 7. Let x = l - 2. Suppose x = -4*i - 3 + 23. Solve 12 = -i*f - 3, 2*o + 4*f + 16 = 0 for o.
-2
Let k be ((-55)/(-3))/5 + 1/3. Suppose 0 = 4*s - 3*s - 3. Solve 3*b = -2*d - s*d + 7, 0 = -4*d - 4*b + k for d.
2
Let p(m) = -3*m**2 + 11*m - 31. Let k(w) = -2*w**2 + 7*w - 21. Let j(b) = -8*k(b) + 5*p(b). Let x be j(0). Solve -10 = -5*s, 2*s + 3 = 3*d + x for d.
-2
Let f(j) = -j**2 - 6*j - 6. Let t be f(-4). Solve 0 = t*m, 3 = -5*d + 2*m - 22 for d.
-5
Suppose -8*h + 35 + 5 = 0. Solve -u + 4 = a - h*a, -3*u - a = 14 for u.
-4
Suppose -i - 18 = -4*m, 4*i = 2*m - 4 + 2. Solve i*z + 0*o + 3*o - 6 = 0, -2*z - 5*o = -14 for z.
-3
Let a be (10/3)/(4/(-12)). Let o be 39/15 - 4/a. Suppose -7 = -o*i - 1. Solve 3*f = 6, i*f = -4*c - 0*f - 12 for c.
-4
Let z = 15 - 11. Solve -5*d = -2*s - 12, z*d - 32 = -s - 3*s for d.
4
Let w = 20 + -12. Let c be (-2 + 2)/(w/8). Solve -5*b = 2*m + 22, m - 4*b - 11 - 4 = c for m.
-1
Let f be (-6)/6*2*-1. Solve 4*r - 4*z - 4 = 0, 37 = -5*r + f*r - 5*z for r.
-4
Suppose -22*h = -26*h. Suppose h = -d - d + 6. Solve -d*y + 2*w = 0, 10 = 5*y - w + 3 for y.
2
Let x = 18 + -6. Let u = 1 - 1. Solve 3*q - x = 4*c, -q + u*c + 3 = -c for q.
0
Suppose -4*g - 6*v + 28 = -4*v, -5*g + 61 = -4*v. Let i = g - 9. Solve d + 2 = -i, 5*y = 5*d + 35 for y.
5
Suppose -t + 2*j - 119 = 3*j, -3*j = 12. Let g = -79 - t. Let p = g - 23. Solve -2*a + 4*k + p = -11, 5*k + 12 = -2*a for a.
4
Let x = 11 + -8. Let n(z) = z**3 + 9*z**2 + 9*z + 12. Let b be n(-8). Solve -b*g - v = 5, 2*g - 2 - x = -3*v for g.
-2
Suppose h = 1 + 3. Solve -5*z + 6 = 2*p - 7, -h*p - 10 = -2*z for z.
3
Suppose j + 3*g + 27 = 0, -5*j + g - 90 = 61. Let b = -15 - j. Solve 0 = -5*h + 4*r - b, 0 = -0*r - 4*r + 20 for h.
1
Let a be ((-10)/(-4))/5*0. Let i(x) = -6*x - 1. Let o be i(-1). Solve -3*z - 15 = -o*u, a*u - 5*u - 15 = 3*z for z.
-5
Suppose -2 - 8 = -5*x. Suppose 5*s + 17 = 4*b, -s + 2*s = x*b - 7. Solve -3*m - 4*r = -0 + 4, -6 = 3*m + b*r for m.
-4
Let y = 4 + -4. Suppose u = 3*p - 4 + 3, y = -p + u - 3. Solve 2*h - 2*j = p, -h = -0*h + j - 9 for h.
5
Suppose -3*j + 18 = -0*j. Let m be (-3)/((-6)/(-4)) + j. Solve 0*x - m*x = 3*n, -x = 2*n for n.
0
Suppose 4*r + 0*r = 5*s - 44, s = -2*r - 8. Let x be (-4)/r*(-45)/(-6). Solve x*m + 4*u = 6*u, -4*m + 5*u = -17 for m.
-2
Let l = -6 - -11. Suppose 2*r - 3*r = -l. Solve n + r*z = 5, 4*z + 0*z = 4 for n.
0
Let s(a) = -a + 4*a + 2 - 2*a. Let n(d) = d + 2. Let x be n(-2). Let p be s(x). Solve 5*h = 2*u + 6, -3*u - p = -4*u for h.
2
Suppose 2*q - 6*q = -40. Solve -v - 4*v = y + q, 2*y = 10 for v.
-3
Suppose -g - 19 = -3*g - 3*s, 2*g + 2*s - 16 = 0. Suppose 5*k + 4*t - 27 = 0, 4 + 8 = g*k - t. Solve v - i = k, 0*i + i = -2*v - 9 for v.
-2
Let f be 4*4/24 + (-2)/3. Solve 3*p + 12 = h, f = 3*h + 2*h - p - 4 for h.
0
Let n be 2/3 + (-2)/(-6). Let v be -8*(0 + n/(-2)). Suppose -16 = -k + 4*d, 5*d + 5 = -10. Solve 4*i - p + 10 = -4*p, -k*i - 12 = v*p for i.
-1
Suppose 12 = -b + 3*b. Let z be 4*(-3)/b*-2. Let t(l) = -l**2 + 4*l + 2. Let h be t(z). Solve -5*q - 9 = -4*w + 5, 4*q = -h*w - 6 for w.
1
Suppose -12 = -3*x + x. Let b(a) = -a**3 + 6*a**2 + 3*a - 9. Let v be b(x). Let r = 1 + v. Solve -8 = g + 3*y, -5*g + g = -2*y - r for g.
1
Let d be (-50)/(-18) + (-6)/(-27). Solve -2*h - d*h + 16 = -k, 5*k + h = -2 for k.
-1
Let j(r) = r - 10. Let q be j(15). Solve 0 = 5*s - x + 12, -s = q*x - 2 - 6 for s.
-2
Suppose 0 = -4*v + v. Let f = 18 + -13. Let z = f + 0. Solve 4*t = -0*b + 3*b + 31, v = 2*t - z*b - 33 for t.
4
Let a(z) = z**2 - 8*z + 9. Let m be a(6). Let i = m - -4. Let g(j) = -j**3 - 38*j**2 - 37*j + 2. Let n be g(-37). Solve -h - 3*s = -i + 7, 5*s + 10 = n*h for h.
0
Let r(v) = 6*v. Let w be r(1). Solve -3*i + w = 3*z - 0, 4 = -4*i - z for i.
-2
Let y be (5 + -1 - 2)/1. Let w be (0 + 1)*(1 - -4). Let l(t) = t**2 - 4*t - 4. Let u be l(7). Solve w*d - 25 = -5*c, y*d = -d - 5*c + u for d.
4
Suppose 5*d = 3*d + 12. Let h = 6 - 3. Suppose -36 = 2*n - 6*n + 5*l, 0 = 5*n - 5*l - 50. Solve q = -2 + d, -h*w - 2*q = -n for w.
2
Let i be -4*(-4)/((-32)/(-6)). Suppose -4*h + 10 = -2*h. Suppose 5*d + h*f + 9 = 4*d, -2*f - 1 = 3*d. Solve -i*x = -v - 2 + d, 2*x = -v + 4 for x.
1
Suppose -5*y = -3*a + 42, 4*a = -2*y - 0 + 4. Let p be -1 - -1 - (6 - 1). Let b be (y/p)/(18/60). Solve -2*t = -4*g + 2, t + 3*t = 5*g - b for t.
-1
Let z be 3 - 5 - (0 - -3). Let n(g) = g**3 + 5*g**2 - 2*g - 2. Let r be n(z). Let m = r + -2. Solve -m*c + c = -5*b + 5, 0 = 3*b for c.
-1
Suppose 3*n - 4*h + 5 = 16, -n + 3 = -h. Let o be -1 + 6 + (n - -1). Let l be (-14)/(-49) - (-40)/o. Solve -4*d + 2*q - 8 = l*q, 4*d + 14 = -q for d.
-4
Let l(a) = -a**3 - 7*a**2 - 7*a + 8. Let h be l(-6). Let f = -8 + h. Suppose -3 + f = i. Solve 16 = x - 3*j, 0 = -4*x + 2*x - i*j - 4 for x.
4
Let g be (-45)/(-6)*8/4. Solve 0 = -2*b - 2*t, 2*b - t - 2*t - g = 0 for b.
3
Let m(y) = 8 + 0*y + y + 2. Let d be m(-7). Solve -d*f - 3*b = 0, 3*f + f = b - 10 for f.
-2
Suppose 0 = -118*x + 116*x + 10. Solve 5*d - 5*c = x, 0 = -4*d - c + 1 + 3 for d.
1
Let v = 13 - 8. Solve -x + 5*g + 1 = x, 0 = 5*x - v*g + 5 for x.
-2
Let c be (-1 + 6)/(4 + -3). Solve -c*i + 7 = -4*x, i = 2*x + 2*i - 7 for x.
2
Let t be (5/(-10))/(2/8). Let w be (-2 - 10/(-4))*t. Let f = w - -9. Solve 3 = l - 0*q + q, -4*q + f = 0 for l.
1
Let l = -16 + 20. Solve 3*h + 3 + 3 = p, 5*p - l*h = 8 for p.
0
Suppose -3*a + 3 = 0, 5*y + 3*a - 6 - 2 = 0. Let n be y*3 + 0/12. Solve 0*j - 5*j + x = 21, 0 = -n*j + x - 13 for j.
-4
Let h(g) = -4*g - 22. Let k be h(-7). Solve 0 = x - k*x + 2*d, -4*x - 4*d = 0 for x.
0
Let w be (-5)/(-2) + (-14)/(-28). Solve -w = -x - 2*r, x - 2*r = -r for x.
1
Suppose 32*s = 38*s - 90. Solve 3*h = 2*u - 16, 5*u + 0*h = -5*h + s for u.
5
Let n be 5 + 3/(-1) + 1. Let c be (-4)/(-4) + (5 - 3). Suppose m + 4 = s, -5*m - 4 - 10 = -c*s. Solve 0*r + n*r = 4*y + 20, -s*y = 5*r - 14 for y.
-2
Let x(m) = m**2 + m - 9. Let g be x(-4). Solve -5*s = -g*d - 1, -3*s - 2*s = -4*d + 2 for s.
2
Suppose -4*b + 23 = -5*i, 2*i = i + 5. Let h = b + -12. Solve -5*l = o + 28, h = 5*o + l + 2*l + 30 for o.
-3
Let u(b) = b**3 - 3*b**2 - 2*b - 3. Let s be u(4). Let h = s + -3. Let r be h/(-9) - (-11)/9. Solve o - 5*j = -3*o + r, o = 2*j - 2 for o.
4
Let a(r) = 4 + 7 + r - 3. Let x be -1 - (8 - (2 - 1)). Let v be a(x). Solve v = -4*g + 2*u - 16, u - 13 = g + 5*u for g.
-5
Let v(w) = 6*w - 4. Let q be v(3). Let r = -10 + q. Solve 2*d = s - 2*d - 6, -r*d + 2 = 3*s for s.
2
Let a = 9 + -14. Let z = a + 10. Solve 3*g = 4*x + 6, 5*x = 3*g + 2*g - z for g.
-2
Let h(p) = -p**2 + 9*p - 14. Let f be h(3). Solve -r + 20 = 4*q, f = 4*q + 4*r - 16 for q.
5
Let t(f) = -f + 1. Let c be t(1). Solve c = -3*b + 3*h + 6, 5*h + 6 = 2*b - 10 for b.
-2
Let y = 3 - -1. Suppose -8*p - 5*u = -3*p - 25, 3*p + 5*u - 17 = 0. Let o be 4/p*(-2 - -2). Solve 0 = 4*w + t - 20, -2*w + o*w + y = -t for w.
4
Let c = -29 - -32. Let q = 1 - -8. Solve -2*x = 5*w + 4, x - q = c*w - 0*w for x.
3
Let v = 3 - 0. Suppose v*t - 22 = t. Let l = t - 7. Solve 0*s + 18 = 2*s + l*x, 3 = -5*s + 2*x for s.
1
Let g(x) = -x**3 + 2*x**2 + 5*x - 2. Let o b