 - r = 2*a + 2, a + i*f = 10 for a.
-5
Let h(i) = 3*i**2 - 2*i - 3. Let g be h(-1). Solve -4*z + 8 = 0, 3*z = g*x + 8*z - 12 for x.
1
Suppose 13 = -4*g + 57. Solve -3*z + 3 = 0, z - g = 2*y - 2*z for y.
-4
Let m be 3 - ((-3)/3 - -1). Let t = m - 0. Let i be ((-3)/(-9))/((-1)/(-6)). Solve i*o - t*v - 22 = -0*v, -o + v + 9 = 0 for o.
5
Let f(q) = q**2 - q. Let u(g) = g + 3. Let i be u(5). Suppose -i = -5*j + j. Let d be f(j). Solve -7*s = -3*m - 3*s - d, -m = -4*s + 6 for m.
2
Let n be (-240)/(-16) + 4/(-2). Solve -v = 4*l - 3, 0 = -l + v - 4*v - n for l.
2
Let t(x) = -x**3 + x**2 - x + 4. Let g be t(0). Let i(c) = -c**3 - 7*c**2 + 29*c - 1. Let q be i(-10). Solve 3*a - 5*f + g = 0, 5*f = 2*a + q - 3 for a.
2
Let x(k) = k**2 - k + 10. Let h be x(0). Let v = h + -8. Solve -5*q = -g + 21, -5*g = -7 + v for q.
-4
Let c = 24 - -5. Solve 0 = v, 0 = 4*y - 2*v - c + 9 for y.
5
Suppose 0 = -5*z + 2*v - 4*v + 28, z - 12 = -2*v. Solve 4*f + 5 = -5*m + 9*f, 4*f = -z*m + 28 for m.
3
Let c be 2/(-10) - (-78)/15. Solve 0 = -c*y - 15, -4*y = -j + 19 - 7 for j.
0
Let x(n) = 2*n**3 - 6*n**2 - n + 4. Let g be x(3). Solve 3*m = h - 11 + 3, -m - g = -2*h for h.
-1
Let s = 12 - 0. Solve 2*v - 2*x - s = 0, 5*v - 7*x = -4*x + 24 for v.
3
Let p be (-2)/(-7) + (-24)/(-14). Suppose -p*o = -6*o + 20. Solve o*r + 14 + 8 = -2*w, 2*w = -r - 6 for r.
-4
Suppose 10*b - 20 = 5*b - 5*t, -15 = -2*b + 5*t. Solve -19 = -o - b*c, o - 2*c + 5 = -c for o.
-1
Suppose -5*a = i - 10, -i - a + 6 = 2*a. Let h = -35 + 60. Suppose -4*o - 5*r = -9*o + h, i = 4*o - 2*r - 10. Solve o = -x + 3*t - 5, -2*t = -3*x + t + 3 for x.
4
Let y(j) = j**2 + 7*j - 5. Let h be y(-8). Solve b = -4*q + 13, 2*q - h = 3*b - 0*q for b.
1
Let p be 9*2/4*-6. Suppose -r = -3*w - 68 + 207, -3*r = -2*w + 81. Let n = w + p. Solve i + 5 = -4*t - 4, -4*i = -3*t - n for i.
3
Let b be ((-3)/1)/(-3)*0. Let z be (b - 1 - 1) + 4. Solve -5*m + 2*f = -12, -m - 2*m - 4*f + z = 0 for m.
2
Let z(j) = j + 7. Let p be z(-4). Let u(a) = a**2 + a + 1. Let b be u(-3). Suppose -4*h + 5 = -b. Solve -3*n + 14 - p = 4*q, -h*q - 2*n = -8 for q.
2
Suppose 2*f - 8 = -0*f. Let h(b) = -4 + 2 + 4 - 3*b + 2*b**2. Let w be h(2). Solve -5*v - w*d + 3*d = -20, f*v = -d + 17 for v.
3
Suppose 0 = -2*k - k + 18. Solve 3*l + 3*a = -k, 5*l - 2*l - 3*a - 24 = 0 for l.
3
Suppose 5*w - 3*b - 30 = 0, 3*w - b = -0 + 14. Suppose -4*h = c - 12, 5*h + w*c = -0*c + 15. Solve 3*g + 17 = -n - 0*n, h*g - 5*n = -5 for g.
-5
Suppose 7*c - 3*c = 0. Let s(m) = -m**2 + 9*m. Let v be s(9). Suppose v = 4*d - 2*d - 6. Solve -5*o = 0, -3*f + c*o = 2*o - d for f.
1
Suppose r - 2 = k, 3*k - r + 2 = 7*k. Solve -22 = -k*q - 2*q + 4*v, 4*q - v - 16 = 0 for q.
3
Suppose 0*g + 3*g - 12 = 0. Suppose -g*a = h - 5*h + 4, 0 = -h + 3*a + 1. Let b be (-1)/4 - h/(-4). Solve -13 = -s + 5*j, 4*s - j - 7 - 7 = b for s.
3
Suppose -3*q - 2 = 4*r + 1, -4*q - 23 = -r. Suppose 2*f - r*i - 12 = 0, i = -0 - 2. Solve 0*x + f*x - l + 7 = 0, -3*l + 7 = -2*x for x.
-2
Let a(v) = 6*v + 4. Let r(x) = -5*x - 5. Let q(y) = 2*a(y) + 3*r(y). Let i be q(-6). Solve 5*p = 4*g - 14 - i, -p = -4*g + 21 for g.
5
Let p be (-43)/(-9) - 8/(-36). Solve -c + 3 = -p*k, -c - 3*k = 4*c + 13 for c.
-2
Let s be 2/(-10) + 4/20. Let w(y) = s*y + 2 + 5 - y. Let m be w(7). Solve g - 4*k = 9, m*g + 6 = 2*g + 4*k for g.
5
Let z be (4 + 110)/3 + -3. Solve -5*l - 3*r = -z, 2*l = -4*r + r + 23 for l.
4
Let z be (-3 + 3)/(0 + -1). Let d(b) = -b + 2. Let v be d(z). Solve h = 3*p + 4, -v*h - 4*p + 2*p - 16 = 0 for h.
-5
Suppose 5*u = t - 27, 2*u - 8 = 5*t - 28. Let y = 24 - t. Solve -4*h + y = -5*j, 2*j - 9 - 2 = -5*h for h.
3
Suppose i + 50 = 6*i. Suppose 5*z = -i + 30. Solve -2*b + z = -3*b - 4*g, 1 = 4*b - g for b.
0
Suppose 2*h - 5*h = -12. Let y(m) = m**2 - 4*m + 2. Let j be y(h). Let n = 0 + j. Solve -2*w = n*l + 4, 2*w - 3 = w for l.
-5
Let y be (6/(-5))/(2/(-10)). Let z = 37 - y. Solve u - z = 5*u - 3*i, -3*u + i - 17 = 0 for u.
-4
Let q be 1*-3 - (-2 + 0 + -1). Solve -t = q, 0*g - 4*g + 2*t = -8 for g.
2
Let a(k) = -10*k - 27. Let z be a(-3). Solve -z*v + 9 = -4*m, -m - 12 = 3*m - 4*v for m.
0
Suppose 3*g - f - 21 = -4*f, -3*g - 5*f = -31. Let i = -2 + 5. Suppose -t + 2*o = -2, -3*t - i*o + 6*o = -18. Solve v + v = -5*x - 10, x + g*v = -t for x.
0
Let o(c) = 2*c**2 + 2*c - 1. Let j be o(1). Suppose -s = -4*s. Let q be (2 + s)*(5 + -4). Solve -4*a = 3*k + 14, -2*k = -j*k + q for a.
-5
Let a(v) = v**3 + 4*v**2 + 2*v. Let w be a(-3). Suppose i = w*x - 10, -3*x - 3*i + 12 = -18. Let l be -3 + x - (2 + -2). Solve u = -p - 7 + l, u = p - 5 for p.
0
Let p = 30 - 5. Solve 6*f + 4*n + p = f, -3*f = 3*n + 18 for f.
-1
Let k(t) = 19 + 12 - 5*t - 3 + 4*t. Let y be k(0). Solve -2*x = 4*b + 18, y = -b - 3*b - 4*x for b.
-2
Let j be ((-6)/(-2))/3 + 3. Solve -2*q + q = -m - 3, -j*m - 2*q + 6 = 0 for m.
0
Let y be (-2 + -4)*(-1)/3*2. Let n be 11 - ((-4)/(-2) - 1). Suppose 2 + n = y*m. Solve -2*v - 4*c = -4*v, 0 = 2*v - m*c for v.
0
Let a be ((-4)/4)/((-1)/4). Let y be (-10*(3 + -2))/(-2). Let l be 0 + 0 + 1 - -3. Solve -a*b + 0*b = -l*n + 12, -5*b = y*n + 35 for b.
-5
Let m(j) = j**3 - 4*j**2 - 6*j + 6. Let z be m(5). Suppose 2*o + z = 29. Let l be (5 + 0)*4/10. Solve -5*g - 5*k = 46 - 21, 4*g + o = -l*k for g.
-2
Let v(t) = 2*t**2 - 4*t + 2. Let i be v(2). Suppose -2 = -5*o + 4*o. Let u(m) = m + 11. Let r be u(-6). Solve i*y - 7*y = 2*j - o, 2*y = r*j - 5 for y.
0
Suppose -5*k - 25 = -4*d + d, -k + 3 = d. Let f be (-2 + 2)*3/6. Suppose -5*v + g + 15 = 5*g, -3*g = f. Solve -d*z = l - 2*z + 12, v*l - 4 = -z for l.
3
Let h be 2*1 + (-4 - -3). Suppose h = 2*n - 3. Let k = 58 - 57. Solve 3*r = 4*l - 14, k = n*r + 3*l - 1 for r.
-2
Let b(p) = -18*p**2 + p + 1. Let x be b(-1). Let y = x + 30. Let i be 51/y + 1/(-4). Solve 2*l - 12 = -i*o, 5*l + 0*l + 3*o - 23 = 0 for l.
4
Let r = -20 + 20. Suppose r = -s + 6*s. Solve -2*l = -m - 11, -4*m + s*l + 4 = 4*l for m.
-3
Suppose 2*q = 4*q - 4. Let p be (4 + 2)/(4/q). Let v be (-5 + 1)*(0 - 1). Solve -j + 12 = -4*i + p*j, 2*i - 12 = -v*j for i.
0
Suppose -3*m = -o - 1, 5*m + 6*o + 5 = o. Suppose l - 3*l = -8. Solve -y + 3 = m, 5*t = -3*y + l - 0 for t.
-1
Suppose 0*v = -4*v + 20. Suppose -5*o - 2*k + 115 = 0, 0*o = -4*o - k + 95. Suppose -2*c + 3 = -3. Solve v*j + o = c*q, -q + 0*j - 1 = 3*j for q.
5
Let u = 4 - 0. Solve 0*s = 5*q + s - 5, u*s + 14 = -3*q for q.
2
Let h be ((-2)/3)/(2/(-3)). Let m(w) = -3*w - 1. Let b be m(-1). Solve n - 9 = -b*f + h, 3*f = 3*n + 15 for f.
5
Let k(w) = 7*w**2. Let q be k(-1). Suppose -2*h + 20 = 3*l, -16 = -q*l + 2*l + h. Solve 0*t - l*t - 3*b - 7 = 0, -t = 4*b + 18 for t.
2
Let k = -6 + 4. Let q be (-4 - -5)/(k/(-6)). Solve -2*g - q*d + 2 = 0, 14 = -g - g + d for g.
-5
Suppose -3*i + 13 = -2. Suppose 0*v - 5*v + 2*s = -4, -i*v - 4*s - 8 = 0. Let c be 18/15*(-200)/(-6). Solve j - 2*a = -7*a + 16, v = -5*j + 5*a - c for j.
-4
Let g be ((-1)/(-2))/((-1)/12). Let q be (0 + -4)*(-20)/5. Let h be ((-60)/q)/(g/16). Solve 2*k + h = -4*z + 2*z, 25 = -5*z + 3*k for z.
-5
Let v(q) = q**2 + 6*q + 4. Let z be 3/(-2) - 27/6. Let n be v(z). Solve -a = 5*t + 22, 2*t - n = a - 17 for a.
3
Let m be 1/(1 + 5/(-6)). Suppose -3*v + 6*v = m. Let k be (3 - v) + 4*1. Solve -25 = i + 4*s, 4*s - k + 0 = 5*i for i.
-5
Let i(h) = -h + 10. Let s be i(10). Suppose -5*m = -0*f - 2*f, 3*f = -3*m + 21. Solve -5*y - 45 + 10 = -f*z, -y - 5*z + 11 = s for y.
-4
Suppose -4*a - 1 = -5*a. Suppose 9 - a = 2*u. Solve -u*y + 3*q = -2, 5*y - 8 + 2 = 2*q for y.
2
Suppose 4*k - 7 = 5. Solve 4*z - 9 = 2*r + 3*r, k*r = 4*z - 7 for z.
1
Let f be 39 + 2 + 0 + -4. Let w(u) = -u**3 + 2*u**2 - u + 2. Let z be w(2). Suppose z*g = -3*g + 54. Solve q - 3*b = -g, q - 5*b = -3*q - f for q.
-3
Let l(b) = -b**2 + 18*b + 20. Let t be l(19). Let r(y) = 3*y - 4. Let w be r(3). Suppose w*s - 14 = 6. Solve -2*z = 4*c - s, -2*c + z - 1 - t = 0 for c.
0
Suppose -1 - 17 = -2*x. Let b = x - 5. Let d(t) = -4*t**3 + t**2 - 1. Let a be d(-1). Solve -g + a*g = -b*w + 15, 5*g - 25 = 3*w for g.
5
Let m be (2 - (-20)/(-12))*6. Suppose -4*l + 3*q = -7*l - 9, 0 = m*l - 2*q - 14. Solve 0*d - 16 = -3*f - l*d, 0 = -f + 3*d - 13 for f.
2
Suppose 2*d = 9 + 7. Solve -5*o - 3*g + d = 0, o + o + g - 4 = 0 for o.
4
Let w(u) = u**3 - 7*u**2 + 8*u - 9. Le