 -3*x + 5*r - s = 4 for x.
1
Suppose -5*h + 0*h = w + 83, w + 49 = -3*h. Let i = -12 - h. Solve -4*r = -3*f + i, 5*r - r + 12 = -4*f for f.
-1
Let l(m) = 6*m - 22. Let x be l(4). Solve -x*v - 2*j - 14 = 0, 3*j = -10 - 2 for v.
-3
Suppose 3*z + 2 + 7 = -5*b, -5*z + 4*b = -22. Solve -z*c + 3*l + 1 = -0*l, -4*l + 37 = 5*c for c.
5
Let c(n) = -n**2 - 8*n + 14. Let j be c(-9). Solve j*o - 2 = 4*b - 8, -4*o + b = -4 for o.
2
Let g(q) = q**3 + 3*q**2 - 5*q - 4. Let t be g(-4). Let u = -8 + -7. Let j = -13 - u. Solve t = -l - 2*d - 11, -2 = -2*l + 2*d + j*d for l.
-5
Suppose b + 4*b = 10. Let c = 3 + 2. Solve -r + 2*z - 11 = 0, -c*r = 3*z - b*z for r.
-1
Suppose 0*g - 3*g = 4*d - 8, -5*g - 2 = -d. Let w(i) = 3*i + 7*i**3 - 4*i - 1 - 5*i**3 - i**2. Let q be w(d). Solve 0 = -2*l + 7*l + 20, l = 5*y - q for y.
1
Let p(z) = z**3 - 3*z**2 + 2*z + 2. Let m(g) = -g**2 + 4*g + 7. Let u be m(5). Let y be p(u). Solve -2*s - y = 2*d, -3*s = -0*d + 4*d for d.
3
Suppose v - 3*v = 30. Let o be 1 + (-88)/(-14) - (-4)/(-14). Let s be (o + -2)*(-9)/v. Solve -w + 1 = s*j - 4, 5*j - 14 = 4*w for j.
2
Let q(g) = g + 1. Let x(m) = -m**2 - 14*m - 1. Let u(y) = -6*q(y) - x(y). Let k be u(-9). Solve -3*z + b + 1 = 14, -k*z + 3*b = 19 for z.
-4
Suppose 13 = -3*y + 5*j, 9*j - 4*j - 29 = -y. Let c(r) = -r**3 + 3*r**2 + 3*r + 4. Let u be c(4). Solve 4*l + 4*d = 20, y*d - 14 - 2 = u for l.
1
Let v = -21 + 23. Solve -3*g + 2*w = -19, -2*g + g - v*w - 7 = 0 for g.
3
Suppose -5*h + h - 5 = -3*a, -4*h - 13 = 5*a. Let p = 8 + a. Solve -2*v - v - p = 5*u, 14 = -2*u - 4*v for u.
1
Let k(d) = d**3 - 2*d**2 - 2*d - 1. Let f be k(3). Let g be (-1)/f*(1 + -3). Let j be g*(0 - 1)*-4. Solve -6*v = -2*v - 4, -1 = j*i + 3*v for i.
-1
Let t = 2 - 0. Solve 0 = -4*z - 3*a - 12, 0*z + 4*a = -t*z - 6 for z.
-3
Let u(v) = -v - 1. Let l = 4 + -5. Let c be u(l). Suppose -3*f + 3*p + 24 = 0, -2*f + 0 + 1 = 3*p. Solve 3*i + f + 3 = -q, -i - 2*q - 6 = c for i.
-2
Let b = 10 + -5. Let x be b/((-1)/(-1 + 0)). Suppose n - x = 5. Solve -l = -2*l - 3*o - n, 4*l + 4*o = -8 for l.
2
Let r(l) = -2*l**2 + 6*l - 1. Let d be r(4). Let v be (-4)/(-18) - 34/d. Solve -4*n = -g + 10, 0 = 6*g - g + v*n + 22 for g.
-2
Let b = 15 - 17. Let l be b - 3/6*-4. Solve 3*i - 2*f - 3*f + 15 = l, -10 = 2*i + 5*f for i.
-5
Let n be ((-1)/1 - -1) + -3. Let j be (n/6)/((-1)/4). Solve -3*o - 4*t - 9 = j, -4*t - 3 = -5*o for o.
-1
Let o = -15 - -17. Suppose -5*v = -o*v - 4*l - 91, 3*l - 113 = -5*v. Solve 5*b = 4*i - 0*i - v, -b + i = 5 for b.
-5
Suppose 4 = -3*f + f. Let z(q) = 8*q. Let k be z(f). Let s = -6 - k. Solve 2*h = 4*j + s, h + j = -4 - 3 for h.
-3
Suppose 0 = -3*p - 2*p + 4*d - 30, 2*d - 12 = p. Let o(i) = -3*i - 2. Let c be o(p). Suppose -c*w = -8*w. Solve w*m - m + 4*l - 2 = 0, 2*l + 4 = 3*m for m.
2
Let v(s) = -s**3 + 4*s**2 + 4. Let i be v(4). Let b = 6 - i. Suppose g = 4 - b. Solve 3*u + 3*l = 0, -g*u + 14 = 5*l - 1 for u.
-5
Let c = -127 + 133. Let f(d) = -2*d**3 + d**2 - 1. Let s be f(-1). Solve 0 = 2*k - 5*k + 6, -x = s*k - c for x.
2
Let f(o) = -o**3 + 6*o**2 + 3*o - 13. Let z be f(6). Solve -22 = 2*v + v + 2*p, -3*p = -5*v - z for v.
-4
Let f(t) = t - 8. Let d be f(10). Solve 4*n = -x, d*n + 21 = n + 5*x for n.
-1
Suppose w - 21 = -4*m - 4, -3*m + 4*w = 11. Let y be 4/6 + (-2)/m. Let k be (-16)/(-6)*(y + 9). Solve 0*x - 3*x - 9 = 0, 0 = 3*c + 5*x + k for c.
-3
Let r(v) = -v**2 + 9*v - 13. Let c be r(4). Solve -5*z = -2*p - c, -p = -0*z + 2*z - 1 for z.
1
Suppose -4*c = -0*c - 12. Solve c = 2*g - r - 0, -3*r = 5*g - 24 for g.
3
Suppose -5*x + 2*k - 5 = 3, 4*k = 16. Solve -4*q + 1 = -3*t - x, -5*t + 21 = -q for t.
5
Let m(s) = -17*s + 51. Let x be m(3). Solve 2*p - q = 7, 0 = -x*p - p + 5*q - 10 for p.
5
Suppose g - 7 = -5*t + 4, -3*g + 5*t + 13 = 0. Solve 3*l + 3*x - g = 0, -2*x + 5*x = 2*l - 14 for l.
4
Suppose -3*l = -6*l + 57. Let x = -83 - -86. Solve -3*u - 3 = -6*u + x*m, -3*m = u + l for u.
-4
Suppose 4*h - 9 = 7. Suppose 5*a = 4*j + 9, a + 3 = 5*j + 30. Let p(c) = c + 11. Let v be p(j). Solve 3*m = -v*f + 6, f + 5*m = h*m for f.
3
Let y = 15 - 14. Solve 3*v - y = 2*n, 0 = 5*n - v - 4*v for n.
1
Let a = 30 - 25. Solve a*f - 5 = 0, f = -2*c - f + 8 for c.
3
Suppose 49 = 2*s - d - 0*d, 22 = s - 3*d. Let j be (s - (-6)/(-3)) + 1. Let q = j + -5. Solve q = -4*b + 3*p, 4*b - 5 - 6 = -3*p for b.
-1
Let k be -2 - 0/(-4) - -4. Solve -b = -4, 5 = k*f - 5*f + 2*b for f.
1
Let k = 24 - 20. Solve k*b - l - 17 = -2*l, -5*b + 10 = 5*l for b.
5
Suppose 0 = -3*h + 6 + 6. Suppose 0 = -4*r + q - 1, 5 - 1 = 2*r + h*q. Solve 5*p + 4*k + 17 + 9 = r, 5*p - 6 = 4*k for p.
-2
Let x(w) = 6*w**3 - w**2. Let b be (-2)/(-9) - 170/(-45). Suppose 4 = b*f - 0. Let d be x(f). Solve 2*h + 2*h + d*k = -28, -20 = 5*k for h.
-2
Let m = -11 + 12. Suppose z - 4*f + 16 = 0, -f + 3 = -3*z - m. Solve 2*v + 6*p - p = 2, v - p + 6 = z for v.
-4
Let b be (33/(-15))/(4/(-20)). Solve -x - 4*h + 25 = 0, -5*h = -x - 9 - b for x.
5
Suppose 0 = 4*u + 12, 4*c + u - 14 - 7 = 0. Let p = c - 4. Let a be -2 + 1 - 2*-2. Solve 2*x - 4 = -p*w + w, -a*x + 4 = w for x.
0
Let t(h) = 5*h + 9. Let j be t(-8). Let z = j + 35. Let d(p) = -p**2 - 3*p. Let a be d(-3). Solve u + o + 0 = 3, 5*u - z*o - 33 = a for u.
5
Let c = 1 - -1. Suppose c*q = q. Solve -5*d - 17 = k + 3*k, -5*d + 4*k - 33 = q for d.
-5
Let s be (0/(-3))/(1 + -2). Let v be s*2/6 - -8. Suppose 0 = 5*m - 4*f - 32, 2*m - 4*f - v = 3*m. Solve -2*d = 5*a - 20, 2*d = -a - m + 8 for a.
4
Let s be 1*(-2)/4*-2. Let c be (10*3 - 1)/s. Solve 4*q + 22 = 2*k, -7*q + 2*q - c = -3*k for k.
3
Let s be (4/10)/((-1)/(-5)). Let x = -4 - -6. Let j be x - 0 - 6/3. Solve j = -2*t - 2*h - h, -4 = s*t + 5*h for t.
3
Let k = -3 - -20. Let v = -320 + 323. Solve -v*t + 2 = 2*g, -3*t - 3*g = -4*g - k for t.
4
Suppose 14*l + 14 = 15*l. Let b(s) = -s**3 - s**2 + 3*s - 2. Let g be b(-3). Solve -g = n + 3*p, -5*p - l = n - 5 for n.
-4
Let j(x) = 31*x + 5. Let r be j(1). Solve -4*o = 4*s - r, -2*s = -s - 4 for o.
5
Let z be (-8)/((3 - 1)*-1). Solve -o + 11 = -z*u, -3*u + 8 = -4*u + 2*o for u.
-2
Suppose -4 = -2*o + 4. Suppose -2*h = -o*h. Solve h = 3*t - v + 2*v - 8, 2*v - 6 = -t for t.
2
Let g = 11 + -7. Suppose -g*w = -0 - 4, 0 = -x + 4*w + 2. Solve -4*h - 2*d - x = 0, -h - 6 = -2*d + d for h.
-3
Let v = -7 + 12. Suppose 28 + 97 = 5*b. Suppose -4*t + 2*t = -6. Solve -b = t*r - 4*m, -v*m + 12 = -2*m for r.
-3
Suppose -5*g = 3*f - 31, 6 + 6 = -4*f + 4*g. Solve 4*u + 20 = -2*s, -f*s + 9 + 11 = -4*u for s.
0
Let n be 1/2*248/(-4). Let k = -9 - n. Let s be ((-2)/(-5))/(2/20). Solve 0*d + v + k = -5*d, s*d = -3*v - 11 for d.
-5
Suppose 7 = -b + 2*b. Suppose -k + 0 = -b. Solve 5*j + k = -r + 16, -r - 1 = 0 for j.
2
Suppose 5*y - 43 = 57. Suppose 14 - 50 = -4*n - 2*z, n - y = 5*z. Solve c - n = -2*p - 2, -2*p = 2*c - 10 for c.
2
Let n be (2 + 5/(-2))*0. Let x = n - -3. Let c = x + 1. Solve -m - 14 = 2*g, -4*g + g = -c*m - 1 for m.
-4
Let i(o) = o**3 + 5. Let z be i(0). Solve -4*p - p = 5, -p = -z*w + 6 for w.
1
Let c = -47 - -50. Solve 4*o - y + 6 = 0, -3*y - 8 = -c*o + 4*o for o.
-2
Let p(z) = -z + z**2 - 2*z - 2 - z. Let a be p(5). Suppose -4*y + 37 = -a. Solve 2*o = r + y, 4*r = 2*o + r - 18 for o.
3
Let x(m) = m + 3. Let j be x(8). Let z be 8/(-24) + 7/3. Suppose 3*s - j = z*b, -b + 7 = 4*s - 4. Solve -s*f + 2*f - 3*n - 1 = 0, 0 = -3*f + n - 13 for f.
-4
Let u = 121 - 113. Solve 2*q + 3*d - 12 = 0, -q - 2*d + u = -0*d for q.
0
Suppose 3*j - 41 - 18 = w, -2*w = -3*j + 58. Suppose -3*g - g + j = 0. Solve 5*s + 5 = -g*k, 3*s + 5*k + 5 = 4 for s.
-2
Let z be (3 + -1 - 2) + 2. Let y be (z - -3) + 1 + 1. Let s = -5 + y. Solve 3 = -b + 2*q, 3*b - 7*q = -s*q - 5 for b.
5
Let m(i) = i**3 + 6*i**2 - 6*i - 7. Let c be m(-5). Let t = c + -32. Solve 4*d - 4*z - t = 0, -5*d + 2*z = -2*d - 11 for d.
3
Let d(m) = -m**2 + 22*m + 36. Let b be d(23). Solve -4*u = 4*j - 4, -b = 4*j - 4*u + 23 for j.
-4
Suppose -3*a = 2*p - 62, -3*p + 5*a = -0*p - 112. Solve -5*z + 4*i + 1 = p, -8 = -4*i for z.
-5
Let w(i) = -i**3 + 9*i**2 - i + 3. Let c be w(9). Let a be 77/21 + 4/c. Solve a = s + 2*k, 0*s - k + 4 = 3*s for s.
1
Let k be 9 + 3/(-1) + -2. Solve -t + 2*f = 0, -4*f = -k*t - 2*f for t.
0
Suppose 5*z = -0*z - 10. Let c be z/(-6) - (-1)/(-3). Suppose 0 = 2*v - c*v