 = 0, d = 6*o - 3*o + 3 for o.
-2
Let z = -49 - -51. Solve -4*g + 3*p + 25 = 0, 16 = z*g - 2*p + 2 for g.
4
Suppose -5*v - 15 + 60 = 0. Let z = -6 + 8. Solve -z*i + b = 2*b - v, i = -5*b + 27 for i.
2
Let z(p) = -p**2 + 11*p - 24. Let v be z(6). Suppose 0 = -2*s + 15 + 15. Let x be 140/s - 2/v. Solve -4*g - 3*u = -12, g - 3*u = -2*g + x for g.
3
Suppose 6 = 2*y + y. Let s = y - -1. Let q(d) = 2*d**2 + 2*d + 2. Let i be q(-1). Solve i*r + 2*r - 5*u + 15 = 0, -2*r - u + s = 0 for r.
0
Let q(s) = -s**2 + 4*s + 5. Let l be q(4). Suppose 0*o + 23 = l*o + 2*y, -4*y + 31 = 5*o. Solve h + 2*h - 2 = -5*d, -2*h + d = o for h.
-1
Suppose -3*q + i = -10, 3 = q - 2*i - 7. Let z be (18/12)/(6/16). Solve -z*y + 4 = -5*h, h - 2 = -0*h - q*y for h.
0
Let v = -14 + 8. Let c be 24/v*(-18)/8. Solve 5*y - 5*a + 4*a = 28, 3*a + c = 0 for y.
5
Suppose 7*w - 3*w = 4*y - 20, 3*y + 4*w - 15 = 0. Suppose -20 = -y*f - a, -4*f - 3*a + 28 = 1. Solve -2*s + f = -2*g - 5, 3*s + 4 = -5*g for s.
2
Suppose 7 + 11 = -3*y. Let o = -2 - y. Solve 2*v - 3*l + 6 = 0, -4*v - 2*l = -o*l - 4 for v.
3
Suppose -b + 4*r + 28 - 8 = 0, 4*r = -2*b - 20. Suppose b = -2*t, 5*t = 2*i + 2 - 4. Solve 3 - 17 = -3*v - 5*c, 2*v - i = 5*c for v.
3
Let m be 388/13 + (-32)/(-208). Solve 3*v - 5*p - m = 0, v + 10 = p - 6*p for v.
5
Let y = -6 - -11. Solve -40 = z - 6*z - y*f, -3*z - 4*f = -28 for z.
4
Suppose w - 8 = -3*w. Suppose -134*r = -138*r + 12. Solve 5*g = 4*f + 18, w*f + r*g = -0*g + 2 for f.
-2
Suppose 2*r + 5*q = 3*q + 40, 3*r - 53 = 4*q. Suppose 0 = -4*m - 3*i + 25, m - 5*i = 2*m - r. Solve -2*w + 14 = w + m*j, -2*w + 21 = 5*j for w.
-2
Let k(j) = -j**2 - 1. Let q(i) = -2*i**2 + 10*i - 5. Let g(h) = 3*k(h) - q(h). Let z be g(-10). Solve -23 = -5*y + z*v, 5*v - 2 = 5*y - 22 for y.
5
Let x(v) = v**3 + 20*v**2 - 23*v - 39. Let f be x(-21). Solve -f*h = -4*i + 2, -i = 5*h + 15 - 4 for h.
-2
Suppose -132 + 108 = -2*x. Solve -3*m + 4 = -4*k + x, 3*k = m + 1 for m.
-4
Let v = -42 - -59. Let n = v + -12. Let b be 0/((-2)/(-3)*3). Solve -d - 7 = -b*p + 5*p, -3*d = -n*p + 1 for p.
-1
Suppose -2*m = 4*i - 26, 4*m + 2 = -2. Suppose i = 4*k - 1, 2*k + 5 = 3*z. Solve -16 = 2*u - 3*o, -z*u - 9 = 2*o + o for u.
-5
Let n(k) = k**3 - 5*k**2 + 2*k - 7. Suppose 5*j - 18 = 7. Let d be n(j). Let v be 0 + (3 - (-4 - -2)). Solve 3*z - 2*p = -13, 0*z + d*p - 20 = v*z for z.
-1
Let n = 1 + 3. Suppose -4*j + j = -2*q + 6, -5*q + 5*j = -15. Solve 6 = 3*d - 0*d, n*v + q*d - 6 = 0 for v.
0
Suppose -x - 7 = -10. Suppose -x*k + 15 = 3. Solve 0 = -3*r, k*r = -j + r - 2 for j.
-2
Suppose 4*c = c + 48. Suppose 4*a + 0*a - c = 0. Solve a*q + 11 = -q - 3*i, 10 = -2*q - 4*i for q.
-1
Suppose -o - 2*o = 4*d - 20, 0 = 4*o + 16. Let f be (-4)/d*-2 + 2. Solve 5*h + 2*q = 23, 3*h + q = f*q + 1 for h.
3
Let k = 20 + -14. Solve -2*y + k - 1 = o, 5*y - 2*o = 26 for y.
4
Let t = 14 - 4. Let s = 12 - t. Solve 4*n = s*w + 20, w - 3*w = 5*n - 7 for w.
-4
Let q be (-28)/(-6) + (-1)/(-3). Let k = 10 - q. Solve -k*l + 12 = 4*t + 53, 0 = l - t + 1 for l.
-5
Suppose -17*m + 18*m = 4. Solve 2*c - 2 = m*a, c + 4*a = 7*a for c.
3
Let t be (1 - -1 - -2)*4. Suppose r + r = -14. Let l be -2 - r - (3 - 2). Solve -12 = -o + 3*o + 3*q, -l*q - t = 5*o for o.
0
Suppose 59*f - 54*f = 15. Solve 3*g = -g + f*h - 2, 6 = -3*h for g.
-2
Let k = -72 - -89. Solve -2*q = 3*u - 4 + 23, 0 = 4*q - u + k for q.
-5
Suppose 0*i + i - 28 = -2*u, -48 = -5*u + 3*i. Let w = 7 + -4. Let k(f) = f + 1. Let b be k(w). Solve 0 = 2*d - b*n + 4, -d + 2*d = -5*n + u for d.
2
Let n(g) = g**2 + 3*g + 5. Let d be n(-3). Let j(c) = -c**2 + 5*c - 1. Let v be j(4). Solve -4*r - v*p + 14 = 0, -p + 8 = d*r - 2*r for r.
2
Let a(z) = -z**2 + 25*z - 44. Let t be a(23). Solve -t = 2*f + q, -8*q + 4*q + 8 = 0 for f.
-2
Let l(o) = o + 1. Let w be l(5). Solve 0 = -5*r + 3*r - w, 2*r + 14 = 4*v for v.
2
Suppose -5 = -4*j + 11. Suppose 0 = -q + 1 + j, 3 = 4*v - q. Solve -v*k + 5*p + 22 = 0, -k = k + 3*p + 10 for k.
1
Let s = 3 + 1. Suppose 3*a + 3 = -s*y, y = -0*a - 5*a + 12. Solve 3*c + 3 = a*z - 6, 5*z - 18 = 2*c for c.
1
Let k(x) = -x**3 - 6*x**2 - 4*x - 6. Let p be k(-5). Let s(u) = -2*u - 1. Let h be s(p). Solve 3*i - 3 - 1 = 2*r, -h = 3*r + 3*i for r.
-5
Let a(y) = -y**2 + 8*y - 6. Let m be a(5). Suppose 11 + m = 5*s. Solve 5*p + s*v + 40 = -v, 2*v + 1 = 3*p for p.
-3
Let m(q) = -q**3 - 3*q**2 + 10*q + 3. Let z be m(-5). Solve -25 = -2*s + 3*k, -z*k + 4 = 4*s - 1 for s.
5
Let m(u) = -u**3 - 10*u**2 - 11*u - 8. Let z be m(-9). Solve d + 0*d + 3 = -3*h, -2*h + 2*d = z for h.
-2
Let f = 0 - -7. Suppose f*h = 3*h + 12. Let d = 62 + -28. Solve 5 = 3*u - 2*i + 6, -5*i = h*u - d for u.
3
Suppose -l - 2*b + 17 = 0, -5*l + 7 = -5*b - 18. Solve 0 = 5*s - 4*h + 5*h - l, -s = -3*h - 5 for s.
2
Let w = 21 - 9. Suppose -4 = 3*v - 2*y - 0, 5 = -5*v + 3*y. Let q be (-3)/((-2)/(-2) - v). Solve q*h - 2*a = 10, 2*h - 3*a = -h + w for h.
2
Let s be ((-5)/4)/(5/(-20)). Suppose 3*z = 4*k + 11 + 5, s*z - 2*k - 36 = 0. Solve 2 = -4*n + u, -2*u = -2*n + 3*u + z for n.
-1
Let s = -5 + 5. Let t be s/((-1)/(1/(-1))). Solve -n + 20 = -3*l, -n + 0*n + 2*l + 15 = t for n.
5
Let y be (2/(-3))/((132/54)/(-11)). Solve c - 4*g - 1 = 2, -y*g - 4 = c for c.
-1
Let i(o) = -1 + 3*o + 1. Let t be i(1). Suppose 4*m + 2*p + 2 = 3*m, -10 = -4*m + p. Solve -2*l - t*x - m = 0, -37 = -5*l - 2*x + 5*x for l.
5
Suppose 3*x = -2*x + 2*i - 6, 2*x + 10 = -3*i. Let u be (-19 + -1)*1/x. Solve 0 = 3*r, 4*r = -l + u - 5 for l.
5
Let q(s) = s**3 + 5*s**2 + 2. Let n be q(-5). Solve 3*b = 4*k + 22, -n*b - 1 = -k - 9 for k.
-4
Let z(l) = -l**3 + 10*l**2 - l + 14. Let f be z(10). Solve 0*j = -d + 3*j - 17, -32 = f*d - 3*j for d.
-5
Let g(l) = 3*l - 4. Let q be g(6). Let c = -7 + 7. Suppose c = -h + 5*p - 0*p + 8, 0 = 3*h - 5*p - q. Solve -h*w - 4 = -x - 4*w, -w = 5*x - 4 for x.
0
Suppose 0 = 2*b + 4*m + 8, 5*m = -14 - 1. Let w be -3*((-6)/3)/b. Let r be 3*(2 + -1)/w. Solve -3*t - 2*d + 0*d - r = 0, t + 7 = -4*d for t.
1
Suppose -6 = -5*n + 9. Suppose n*r + p = 14, 0 = -3*r - 0*r + 2*p + 17. Let z(k) = 23*k**2 - k. Let s be z(1). Solve r*q - s = t, 4 = -t - q + 12 for t.
3
Let u be (2/(-5))/((-14)/35) - 1. Solve 4*i + u*c + 5*c = -28, -5*i + 2*c = 2 for i.
-2
Let c be (-40)/(-3)*(-48)/(-32). Solve 6*i = -5*p + 2*i + c, 3*p + 2*i - 12 = 0 for p.
4
Let b be 5 - 3 - (0 - 2). Suppose -b*u + 2*z + 24 = z, -4*z - 16 = 0. Solve -3*h + 5 = 2*d, u*d - 2*h + 4 = -12 for d.
-2
Let v = 23 + -8. Suppose 3*d = -3*n - 6, 2*d = -0*n - 4*n + 2. Solve -4*o = 2*y + 10, 3*y - n*o = -o - v for y.
-5
Let a(r) = -10*r. Let p be a(-1). Let f(b) = 2 + b**3 - 6*b - 10 + 17*b - 13*b**2 + 2*b**2. Let z be f(p). Solve -3*s = -z*d + 4 + 5, -3*s + d = 12 for s.
-5
Let p be (3 - -1)*(0 + 1). Suppose -p*d = -b - 4, -b + d - 2 + 1 = 0. Let o = 0 - b. Solve 41 = -4*i - 5*v - o*v, i - 16 = 4*v for i.
-4
Suppose 0 = -5*m + 15. Let n be (15 + (0 - -1))/2. Let t be 3 - (0 + 0 - 0). Solve -t*i + 4*w + n = 0, 5*i - 4*w = m + 5 for i.
0
Let k = -5 - -9. Let j = 8 - k. Let z be 4 - j*(-2)/(-4). Solve 2*f = 2, -x + 2 = z*f - 4 for x.
4
Let h(b) = -b**2 + 13*b - 18. Let y be h(7). Solve 0 = 3*z + 3*a + y, 0*z - 12 = 5*z - 2*a for z.
-4
Let x(s) = s**3 - 13*s**2 + 13*s - 12. Let p be x(12). Solve 6*k = o + 2*k - 5, 5*o - 2*k + 11 = p for o.
-3
Suppose 9*w + 35 = 14*w. Solve 9 = -2*d - k, -w - 20 = 5*d + 4*k for d.
-3
Let f(w) = 2*w**2 - 8*w - w**2 - 2 - 3. Let t be f(9). Let d be 7/9 - 4/(-18). Solve s + 3*l = 4, -d = -0*s - 5*s + t*l for s.
1
Let x = 6 + -1. Let v(b) = 4 - 5*b - 3 + 4*b + 1. Let i be v(0). Solve 29 = 5*u - p, -3*u + i = 2*p - x for u.
5
Let y = -6 + 6. Suppose y = 4*x - 7 - 13. Solve -2*s = -2*k - 6, 2*k - x*s + 0 = -3 for k.
-4
Let i be (21/(-63))/((-2)/30)*1. Solve 0*m - m + 2*p + i = 0, -p = -2*m + 1 for m.
-1
Let y(c) = 4*c**2. Let p be y(-1). Suppose 3*s - h + 1 = 0, 2*s + 0*s - 4*h = -p. Solve 5*v = s, 2*k + k + 3*v + 3 = 0 for k.
-1
Suppose 2*s + 3*s - 10 = 0. Solve -7*u - 4*q = -3*u + 40, 4*u + 30 = -s*q for u.
-5
Let p be (-42)/(-70) + (-44)/(-10). Solve a + 12 = 4*z - 0*a, -4*a - 6 = p*z for z.
2
Let f = 4 + -5. Let z be 0/((-1)/(f + 0)). Suppose 4*j = 5*a - 5, -j + z = -a + 1. Solve 3*b - 3*g - 12 = -j*g, -b - 2 = 5*g for b.
3
Let c be -12 - -15 - 3*-3. Solve 3*f = 