- 12 + 3, -r*n + 1 = 2*h for n.
1
Let n be 5*-2*(-2)/10. Suppose -4*d - 16 = -2*x, -3*x + 3*d + 18 = -x. Solve -2*j = -n*f - 0 + 4, 3*j = f - x for j.
-5
Let j = 14 + -8. Let w(i) = i**2 - 2*i + 3. Let p be w(3). Let g = p - j. Solve 2*f + 11 = -2*o - 3, g = 3*o - 3*f - 3 for o.
-3
Suppose 0 = -3*r - 4*l + 13 + 18, 2*l = -3*r + 23. Suppose 2*t - r = -1. Solve -16 = -2*g - 2*g - n, -17 = -5*g - t*n for g.
5
Let n(r) = -r + 15. Let h be n(10). Solve -20 = h*w + 5*u, -8*w + 3*w + u = 14 for w.
-3
Let u be (0 - 5/(-10))*0. Solve 0 = -u*y + 3*y - 2*v + 4, -2*v = 2*y - 4 for y.
0
Suppose -3*q = -29 - 13. Solve 3*g - 6*w = -w + q, 5*g - 3*w = 18 for g.
3
Suppose 22 = 4*u + 6. Solve -5*b - 4 = u*i, -2*b = -3*i - b + 16 for i.
4
Suppose -2*n + 4 = -0. Let c be 4/6 - (-4)/3. Let t be ((-6)/(-10))/(3/15). Solve -5*z - n*r - t = 0, c*z + 0 = r - 3 for z.
-1
Let c = -12 - -87. Suppose 2*h - c = -h. Suppose 0 = 3*j + j + 16, -o + h = -5*j. Solve -k + 16 = 4*p - o*k, 3*p - k = 8 for p.
2
Suppose -6*j = -16 - 146. Suppose y = 4*m + 2, -3*m - y + 2 = m. Solve j = -q + 4*v + v, m = -2*v + 10 for q.
-2
Let x = -90 + 95. Let b = 0 + 4. Suppose -b*k + 159 = 5*l, -3*l + 4*k + 89 = -0*k. Solve 3*n + x*t = l, 2*n - 5 - 19 = -4*t for n.
2
Suppose 0*d = -d. Solve -o + 2*q - 1 = -d*q, 0 = -4*o - 4*q - 16 for o.
-3
Let p be (-11)/(-3) - 4/6. Suppose 9*z = 4*z + 50. Solve 22 - 7 = -p*l + 2*i, -2*l = -5*i + z for l.
-5
Let y(v) = v**3 - v**2 - v + 2. Let o be y(0). Solve -17 = 4*g - g + o*q, g + 4 = q for g.
-5
Let u(a) = -a + 11. Let k be u(7). Let w be 1/k + 35/20. Suppose -4*c - 2*p + 8 = 0, p + 14 = 6*c - 2*c. Solve y - 2*n = -6, -c*y = -w*n + 5 + 5 for y.
-2
Suppose 40 = 4*l - c, 0 = l - 0*c - 3*c - 21. Suppose l = f + 2*f. Solve 3*h - 5*t + 4 = 24, 4*t + 19 = f*h for h.
5
Let c = -21 - -23. Solve 3*t = c*o - 18, -2*o + 0*o + 2 = t for t.
-4
Let v = 4 - -1. Solve -6*t + 3*t + 2*q - 1 = 0, v*t + 2*q - 9 = 0 for t.
1
Let w = 2 + 3. Suppose 3*m - 18 = i, -w*m - 5*i + 20 = -10*i. Solve m*f = 2*f - 3*t - 6, -4*f - 27 = -5*t for f.
-3
Let l(m) = -m**2 + 3*m + 1. Let f be l(2). Let r(a) = -a**2 + 3*a + 2. Let i be r(f). Solve 0*g + 5*g = d + 5, 3*g + i*d = 16 for g.
2
Let w(d) = d**3 - 5*d**2 - 6*d - 5. Let m be w(6). Let h(b) = 2*b**2 + 8*b + 3. Let k be h(m). Solve 2*r - k = 3*v, -8 + 28 = 4*r for v.
-1
Suppose -2*r + 6*r - 8 = 0. Solve -n = o + r - 4, o = 2*n + 2 for o.
2
Let i be 5/4 + -1 + (-376)/(-32). Solve 0 = 2*s + h - 6 - 8, 2*h = 4*s - i for s.
5
Let c = -3 - -6. Suppose 12 - 76 = -16*f. Solve -f*l = -2*b - 10, -c*b + 8 = -b + 2*l for b.
1
Let y be (-4 + 3)/(1*-1). Let h = y + 1. Solve 0 = -h*o - 1 - 7, 0 = -3*b + o + 4 for b.
0
Suppose k - 3*z + 5 = 13, -2*k = 2*z - 8. Solve -5*p = k, p + 1 + 6 = 3*x for x.
2
Let f = -36 + 6. Let z be 1/4 - f/8. Suppose 2 = -4*n + 2*n + 2*g, -5*n = -z*g. Solve -i + 10 = -n*i - 5*l, -5*l = -5*i + 50 for i.
5
Let y(q) = q**2 + 2*q - 23. Let z be y(-6). Solve -x + 2*f + 2 - z = 0, 2*x + 4*f = 10 for x.
3
Suppose -q = -c + 2, 0*c = -2*q + 5*c - 10. Suppose 2*h - 5 - 1 = q. Solve -2 = a - 4*s - 0, -h*a = 2*s - 8 for a.
2
Suppose 0 = 2*j + 1 + 5. Let x be j + -1 + 2 - 3. Let z = x - -7. Solve -2*u = -5*a - u - 10, a + z = -4*u for a.
-2
Let j = 5 - 8. Let w(r) = r**3 + 3*r**2 - r + 1. Let z be w(j). Suppose 3*s - z*o = -5, -5*s + 3*o + 12 = 2. Solve -2*l - 5*u = -20, l = 6*l + s*u - 35 for l.
5
Suppose 9 = -3*l + 6*l. Solve -q + 3*o + 5 - 4 = 0, 4*o + l = q for q.
-5
Suppose 0 = 5*g - 3*t - 23, -2*g + 0*t - 4*t = -30. Suppose 3*x - 30 = -5*u, -x + u + g = x. Solve -x*b + 0*s + 25 = -5*s, -b = -3*s - 13 for b.
1
Let j = -10 - -16. Let u = j - 9. Let d be 0 + 1 - u - 2. Solve -d*i - 4*v = -7*i - 33, -3*i + 3*v = 21 for i.
-5
Suppose 7 = -5*j - 13, -4*x + 32 = -5*j. Solve -z + r + r + x = 0, -r = 4 for z.
-5
Let y = -1 + 9. Let q = 20 + -29. Let c be q/(-4) + 42/56. Solve 3*l - y*g + c*g = -14, 5 = 5*g for l.
-3
Let c = -6 - -9. Suppose g - 3*g = 6, 0 = -4*r + 3*g + 21. Suppose -12 = -r*k + i, 0 = -k - i + 6 + 2. Solve -c*l = k*u + 8, 6*l - 3*l = 4*u + 28 for l.
4
Let l = 9 - 4. Let r be (3/(-1) - 0) + l. Solve -6 = -r*s, 2*s = 4*h + s + 15 for h.
-3
Let m = -22 + 27. Solve -7*s = -4*s - 9, -h - 2*s + m = 0 for h.
-1
Let b = -26 - -18. Let p = 11 + b. Let i = 3 - p. Solve h - 6*h - 16 = g, 5*h - 2*g + 28 = i for h.
-4
Let o(a) = -3*a - 3. Let d be o(-2). Let c = 3 - d. Solve c*k - 2*k + r = -8, 0 = -3*k + 3*r + 15 for k.
3
Let y = 18 + 0. Solve 5*x - 10 = 3*x + 2*l, -5*l - y = 2*x for x.
1
Let n(q) = -q + 2. Let x be n(-3). Let v(y) = -y + 4. Let p be 2/3 - 6/9. Let d be v(p). Solve -x*u = -d*s - 5, u - 3 = -2 for s.
0
Let c(s) = -s**2 + 2. Let q be c(0). Solve -l + 2*m - 2 = 4*l, 0 = -q*m + 2 for l.
0
Let q be 0/(-2) - 1*-3. Solve 5*o + 8 = -4*c, 8*c - o - 19 = q*c for c.
3
Let p(n) = -n**3 - 6*n**2 - 2*n + 3. Let d be p(-6). Suppose d = -5*o, -2*w - o + 2 = -31. Let b be 2 + 0/(2*-1). Solve -1 = 3*r + y + 6, b*y - w = 2*r for r.
-4
Suppose -4*o - 6 + 42 = 0. Let l = -12 + o. Let a be (-4 + 5)/(l/(-15)). Solve -2*b = -w + 7, -3*w = -3*b - a*w for b.
-2
Let y = -9 - -11. Solve 5*g - g = y*a + 22, 5*g = -a + 24 for g.
5
Let o = 27 + -10. Solve -y = -2*l - 5, -2*y - 2*l + o = 7 for y.
5
Let q = -57 - -21. Let p be ((-1)/(-2))/((-6)/q). Suppose h - p*m = 13, 0 = 3*h - 5*h + m + 11. Solve i - 6*l + l - 1 = 0, 0 = -h*i - 4*l + 4 for i.
1
Let z(n) = -10*n - 55. Let q(x) = -7*x - 37. Let i(t) = 7*q(t) - 5*z(t). Let d be i(-16). Solve d = 2*r - 6*r + 2*w, -3*w = -2*r + 4 for r.
-1
Suppose 4*o = 4*q - 40, 4*q - o + 0*o = 31. Let y(b) = b - 11. Let z be y(q). Let s = -2 - z. Solve 0*i = i - s*c - 1, 2*i - 2 = -2*c for i.
1
Suppose 3*j = 4*z + 16, -4*j - 4*z = -3*z - 15. Suppose -i = i - j. Suppose -i*u - 135 = -5*u. Solve 5*b = g + 29, -7*g = -5*b - 2*g + u for b.
5
Suppose -3*j - 31 = u, 0 = -2*j - 0*j + 4*u - 2. Let w = 9 + j. Solve 5*h + 1 = -3*i - w*h, -3*i - h = 5 for i.
-2
Suppose 0*d + 2*d = 8. Suppose 5*p - 12 = 2*h, -3*p - d*h + 0 = -2. Solve -3*f + 5*o + 10 = 0, -4*f - 4*o = -p*f + 30 for f.
-5
Suppose -8 = 5*i - 38. Let t = i + -6. Solve -c - 8 = d - 0*d, 4*d + 3*c + 28 = t for d.
-4
Suppose -18 = -3*c - 2*i, 2*i + 3*i = -3*c + 27. Solve -5*u = 5*w + 50, -c*w - 10 = -0*w - 2*u for w.
-5
Let w(p) = -p**3 + 3*p**2 + 4. Let j be w(3). Let b = 3 - 10. Let h = b - -12. Solve -s + j = 3*s + 4*a, s = -h*a - 3 for s.
2
Suppose -2*k + 16 = -2*v - v, 5*v = -3*k - 14. Let j be 0/((-2*k)/(-2)). Solve i - t + 1 - 2 = j, -5*i - 5*t - 15 = 0 for i.
-1
Let p(z) = -z - 1. Let h be p(7). Let i be h/28 - (-30)/7. Solve 2*n + l = -5, -4*l - 16 - i = -5*n for n.
0
Let o(s) = s. Let x be o(1). Let p(y) = -5 - y**2 - x - 9*y - 4. Let h be p(-7). Solve a - 3 = -t - 1, 2*a - 12 = -h*t for t.
4
Let i be (-140)/8*12/(-15). Solve -w = 4*b + w - i, 10 = 5*b + 5*w for b.
5
Let h be (12/(-10))/(2/(-20)). Solve -2*l - 20 = 4*p, -5*p - 2*l = 12 + h for p.
-4
Let s be (-1 - (-6 + -1)) + 32 + -35. Solve 0 = 5*n - c + 11, n - 2*c = 2 + s for n.
-3
Suppose 20 = -4*y, -3*m + 27 = -18*y + 15*y. Solve 0 = m*a - 5*l - 20, -a = -5*a - 5*l - 20 for a.
0
Let z be -1*(4 - (5 - 3)). Let c be 1*z - (-14 + 1). Solve 0 = -n - 4*v - c, -n + v = 3*v + 5 for n.
1
Let z(v) = -2*v. Let r be z(-1). Solve -2*a - c - 3 = 0, -5*a + c - r + 5 = 0 for a.
0
Suppose -a + 4*a = 21. Let k(o) = 2*o - 14. Let q be k(a). Solve 3*w + 3 = 4*m - 1, q = -2*m + w + 4 for m.
4
Let r = 2 - 10. Let g = -3 - r. Let b(c) = -c**3 + c**2 + c - 1. Let a be b(1). Solve 0*h + 2*h - v - 9 = a, 3*v = -g*h + 6 for h.
3
Let y be (-484)/(-33) + 1/3. Let n = y + -11. Solve n*b = 4*f - 4, -2 = 3*b - f - f for b.
0
Suppose 11*m + 11 = 99. Solve m = 2*x, 5*o - 18 = -3*x + x for o.
2
Let c(a) = -2*a + 4. Let z be c(-4). Solve s - 2*t = -4, 3*s + z = 5*t - t for s.
-4
Let l be 0 - (5 + -2 + 0). Let w be (-3)/(-2)*(-4)/l. Suppose 0 = 2*i + s - 19, -i + w*s + 7 = -0*i. Solve 5*c + 6 = -2*a - 9, 3*c + i = -3*a for a.
0
Let f(q) = q**3 + 10*q**2 + 8*q - 6. Let i be f(-9). Suppose -2*l - 1 + 2 = i*m, 0 = -3*m - l + 2. Solve -1 = s + 5*z, -3*s + 2*z - m = 2 for s.
-1
Let t be (4/(-8))/(1/(-6)). Suppose -l - 5 = -5*q + 8, 4*q - 23 = 5*l. Let r = 1 + 1. Solve q*s = r*u + 2, -3*u = -0*s - 4*s + t for s.
0
Let j = 57 + -54. Solve d +