 w*m, j + m - 9 = -j for j.
4
Let v(c) = c - 1. Let q(j) = -2*j + 2. Let i be (1/(-3))/((-1)/9). Let b(l) = i*q(l) + 5*v(l). Let t be b(-4). Solve y - 2 = -n - 0*y, -t*n + 4*y - 8 = 0 for n.
0
Let j be (-1)/(((-14)/(-20))/7). Let v = 15 + j. Solve 3*i - b - v = 0, 3*b + 5 = 3*i + i for i.
2
Let b(t) = 2*t + 5. Let m be b(-7). Let r = 11 + m. Solve -u = -q + r*q, 21 = -2*q + 5*u for q.
-3
Suppose t = -9 + 1. Suppose -24 = -2*q + 2*n - n, -2*n - 37 = -3*q. Let g = t + q. Solve u - 3 = 0, -g*b + 6 = u - 6 for b.
3
Let s = -42 + 46. Solve -3*t - 4*g = -5*g - 2, -s*t - 19 = 3*g for t.
-1
Let j = 2 - -1. Solve -j*h - 3*t = -6, -4*h - 3*t + 0 = -3 for h.
-3
Suppose -3*i - 2*y = -16, 4*y - 24 = -2*i - 0*y. Suppose -i*f = -2 - 16. Solve -2 = 5*l + 4*c + 4, -3*l = -3*c + f for l.
-2
Suppose -5*m = 5*a - 0*m, -12 = a + 5*m. Let q be -3 - (-8 + a - 1). Solve -3*i - 9 = 0, 0*y - 17 = 2*y + q*i for y.
-4
Let m(q) = q**2 - 8*q + 14. Let s be m(7). Solve 1 = 3*y - 3*p - 2, -3*y = -5*p - s for y.
-1
Let m(f) = -2*f**2 + 10*f - 10. Let s be m(3). Solve -5*y + 4 - 12 = p, 0 = 2*p + y - s for p.
2
Let i = 16 - 16. Suppose -4*y - 4 = -c, i*c + 4*y = 2*c - 8. Solve -h = 3*p - 4 + 2, -22 = 2*p - c*h for p.
-1
Let t = -11 - -15. Solve 2*k = -t*p + 12, -3 = 2*k + 1 for p.
4
Suppose -2*k = -2*f + 8, -3*f + 5*k + 6 = -8. Solve -2*m = -f*a + 8, 3*m - 2*a = -4*a - 12 for m.
-4
Let j(h) = -2*h - 5 - 2 - 1. Let b be j(-6). Solve -s + b*c + 8 = 0, 0 = 3*c - c + 2 for s.
4
Suppose 0*n + n - 5 = 0. Suppose n*z - 30 = -20. Solve 9 = -k - 3*q - z, 5*k = 2*q - 21 for k.
-5
Let x be -3*3/18*-2. Let y = x - -2. Solve 5*o = b - 9 - 13, 0 = -y*o - 5*b - 2 for o.
-4
Suppose 3*p = 10 - 4. Suppose 20 = -0*m - 5*m. Let s = -4 - m. Solve -3*k - 12 = s, -p*g = -7*g - k - 4 for g.
0
Suppose 0 = -2*u - 4 - 2. Let q = u - -8. Let z = q + 0. Solve 3*s - 3 = 5*l + 2*s, -z*s = 3*l + 13 for l.
-1
Suppose -2*j - j + 42 = -3*d, -5*d = -4*j + 61. Solve -w + 3*o = -j, -7*w = -3*w + 5*o + 15 for w.
0
Let b be -8*(11/(-2) + 3). Let g(x) = 4*x**2 - 2*x + 1. Let n be g(2). Suppose 2*k = -4*z, 5*k + z - n = 5. Solve -w + 15 = 3*t - 2*w, -k*t + b = -2*w for t.
5
Let k(u) = 6*u**2 - 2*u + 3. Let n be k(3). Suppose 2*m = 3*g - n, -m = -0*g - 3*g + 48. Suppose 2*q + 3*q = g. Solve -3*f - 4*z + 2 = 1, -q*z + 4 = -f for f.
-1
Let t = 11 - 11. Solve 1 = d + i, -3*d + t*d = -4*i + 32 for d.
-4
Let i = 45 - 40. Solve -i*y + y = 3*u - 24, -4*u + 3*y + 7 = 0 for u.
4
Let o be ((-6)/(-5))/((-6)/(-15)). Let r(v) = -v. Let n = 1 + -5. Let m be r(n). Solve -3*p - 6 = 0, -5*k - m = -o*p + 5*p for k.
0
Let u(i) = i + 2*i**2 + 0*i**2 - i**3 + 2*i**3. Let l be u(-1). Let q be 3 - (2 + (-1 - l)). Solve x = -f - 2, -2 = q*f + 2*x + x for f.
-4
Let x = 12 + -4. Solve -2*g - 5 = -w, -5*w + 3*g + 10 = x*g for w.
3
Let t = 38 + -34. Solve -5*n = b + 15, 2*n + t*b + 5 = -19 for n.
-2
Let y(b) = -b**2 + 5*b. Let i be y(6). Let d be (4/3 - 2)*i. Suppose d*o = -a - 17, -5*a + 0 = o - 10. Solve -k = -10*r + 5*r + 7, 2*r = a*k - 5 for r.
2
Let h(z) = -3*z**3 - 15*z**2 - z + 16. Let r be h(-5). Solve 0 = -2*q - 2*k + 6, -2*q + 3*k = q + r for q.
-2
Let t be 1/(-3) - (0 + 8/(-6)). Solve 2 = -3*u - 3*r - t, 4*u - 2 = -r for u.
1
Suppose 3*d = 2*h + 15, 2*d + 3 = -0*h - 3*h. Solve -3*k - 2*k = -3*b - 28, 4*k = d*b + 23 for b.
-1
Let n = 22 - 17. Solve -5*p - w + 24 = 0, -n*p + 3*w = -2*w for p.
4
Let j(f) = 2*f**3. Let c be j(2). Solve -a - c = 5*p, -4*p - 3 = 13 for a.
4
Suppose 4*v + 20 = 4*y, 4*y = -3*v + 3*y + 5. Let o be -1*1 + (v - 8). Let h be ((-3)/(-2))/(o/(-24)). Solve -k = h*k - m - 14, -2*k + 8 = -m for k.
2
Suppose -5*r + 3*n - 2*n = -49, -39 = -3*r + 3*n. Let s = 12 + r. Solve 0 = -0*a + 4*a - w, -5*a = 4*w - s for a.
1
Let z be 4/(-6)*(2 - 11). Let x(h) = h**2 - 7*h + 8. Let m be x(z). Suppose m*o + 3*o - 185 = 0. Solve 3*f - 5*t = o, -4*f + 2*f + 13 = -t for f.
4
Let z be 2/4*0*1. Let k = z + 10. Solve -4*d + k = -2*v, 4 + 3 = -3*v + 2*d for v.
-1
Let u = -6 + 10. Suppose z + u*z - 10 = 0. Solve -30 = -5*s + 4*m, 2*s = z*m + 5 + 9 for s.
2
Suppose -4*u = -17 - 11. Let q be u/(28/8) + 1. Solve -t + 3*o = -6 - 0, 0 = -q*t + 2*o + 4 for t.
0
Suppose 5*h = 15, -9 = 3*b + 5*h - 9*h. Solve 5*t = -5*z + 15, 0 = -t + 3*z - 4 - b for t.
1
Suppose 5*n = -1 - 9. Let w be (-6)/(-3 - n) - 0. Solve -s - 1 = j, 0 = 5*j - 3*s - 13 - w for j.
2
Suppose -4*h + 8 = 28. Let s(b) = b**2 + 2*b - 12. Let i be s(h). Solve i*m - 2*m + 4 = -r, -4 = 5*m + r for m.
0
Let a = 7 + -5. Solve 13 = -3*g - a*f, 3*g + 5*f + 15 = -13 for g.
-1
Let x = 28 - 23. Solve -h - h = -g + 11, -4*h - x*g = 15 for h.
-5
Suppose 3*z = z - 10, -3*n + 14 = 2*z. Solve 7*o - 4*o = 4*q + 16, 2*q + n = 0 for o.
0
Let s be (-4 - (-5)/1)*10. Solve -5*h + s*a - 5*a = -15, -2*h = -3*a - 8 for h.
1
Let r(v) = -4*v - 3. Let x be r(-6). Solve 0 = 5*q + 5*t + 30, -4*q + 2*t = -9*q - x for q.
-3
Let u = 13 - 11. Solve 4*r = 4*k + 24, 4*r - u*k - 23 + 9 = 0 for r.
1
Let l(d) = -d**3 - 11*d**2 - 10*d + 13. Let t be l(-10). Solve 2*h + t = 3*h - 3*k, -3*h - 4*k = 0 for h.
4
Let h(y) = y + 8. Suppose 3 - 27 = 4*w. Let i be 32/w + (-8)/12. Let d be h(i). Solve 0 = 4*a, 0 = 4*z - d*z - 5*a - 10 for z.
5
Let n be 2/4 - 9/(-6). Suppose -64 + 43 = -s. Solve -22 = -n*u + a + 3*a, -3*u = -3*a - s for u.
3
Let r(d) = d - 1. Let n be r(6). Solve -s = 3*j + 17, j - 16 = n*s - s for j.
-4
Let a(i) = -2*i**3 - 6*i**2 + 2*i**2 - 3*i + i**3. Let p = -13 + 9. Let l be a(p). Solve -n = -4*r + l - 1, -n - r = 1 for n.
-3
Let r(u) = -u**3 - 3*u**2 - 3*u. Let n be r(-2). Let h be 10/((-5)/3 + 1). Let c = h - -30. Solve n*l + v = 4 - c, -3 = 3*v for l.
-5
Let v(d) = -d**3 + 3*d**2 - d + 4. Let z be v(3). Let f(o) = 2*o. Let r be f(z). Let t be 1 + (-4 + -2 - -5). Solve -r*a = 5*h + 4, -2*h - 4*a + 8 = -t*h for h.
-2
Let c(u) = -u**2 + 6*u. Suppose 0*t - 5*q = -2*t + 32, -2*t - 2*q = -4. Let w be c(t). Solve 4*b + 4 = -2*m, w*b - 4*m = 2*b + 14 for b.
1
Let t = -11 - -12. Let i = t - -4. Solve -d - 7 = i*b + 9, 3*b - 2*d = -20 for b.
-4
Let d = 39 + -37. Solve -5*k = -2*o - 24, -5*k + 18 = d*o - o for o.
-2
Let g(q) = -q**3 + 2*q**2 + 3*q - 3. Let a be g(2). Let z be 80/15 - 4/a. Solve -2 = z*u - 7*u + 2*f, 3*f = 2*u + 2 for u.
2
Let u be 2/(-9) + 2/9. Let g be 5*(6/10 - u). Solve -5*x - 3*y = 12, 0 - 3 = -g*y for x.
-3
Suppose -5 = 3*v + 10. Let a be 29/5 + (-1)/v. Solve -2*c + 8 = -6*c + 2*n, -3*c + 3*n - a = 0 for c.
-2
Let q(r) = 2*r + 24. Let g be q(-12). Solve 2*h + 3*c + 14 = g, -2*h + 2*c + 2 = -4 for h.
-1
Suppose -3*b = -5*b + 4. Suppose -5*a - 2*c = 3*c - 35, -a + 2*c = b. Let j = a - -2. Solve 4*d = 2*h + 3*d + j, -h - d = -3 for h.
-1
Suppose -15 = -2*u - 3*u. Let k = 5 - u. Solve 4*m + k*i = 4, -m - 2*i = -0*i - 4 for m.
0
Let a = -3 - -1. Let m = 7 + a. Solve 5*x + 4*w + 32 = w, 36 = -4*x - m*w for x.
-4
Let b(r) = -3*r - 5. Let w be b(-4). Solve -5*f + 28 = -4*q, q - 3 - w = -3*f for q.
-2
Let u be 49/3 + 6/(-18). Let h = 1 + 7. Suppose h = o - 0. Solve -2*a = -4*j + 2*a + u, 5*j - a = o for j.
1
Let n be (1 - 0 - 2)*-2. Suppose 16 = 2*x - 2*j, -x + 0*x = n*j + 7. Solve 2*k + 20 = -2*k + 2*c, -3*c - 15 = x*k for k.
-5
Suppose 8 = 3*u + u. Suppose 0*h = u*h - 8. Solve 4*f - 4 = -2*b + 10, -f = h*b + 7 for f.
5
Let u = 26 + -23. Solve 0 = -4*f + 4*o + 4, 0*o + 5*o + 3 = u*f for f.
1
Let t = -37 - -57. Let h = -2 + 5. Suppose -4*d - 4 = 4*g, -5*g = -4*d - h*g + t. Solve 4*p = 3*r + d*p + 2, -8 = 2*p for r.
-2
Let j = 109 + -107. Solve 6*y + 7 = -3*u + j*y, 4*u + 22 = y for u.
-5
Suppose -d = 2*d - 9. Let h be (-18)/(-15)*10/d. Solve -h*u = -8, 5*r = u + 4*u - 10 for r.
0
Let d be 278/8 - (-2)/8. Suppose -r - c = 1, 7*r - 5*c - d = 2*r. Solve 4*b - 20 = r*n, -5 = -b - 0*n + n for b.
5
Let i(n) = n**3 + 3*n**2 + 2*n + 1. Let c be i(-2). Solve 0*q - 4*q = -3*p + 26, -q + c = 3*p for p.
2
Suppose 25*z - 22*z = 6. Solve -4*t - 7 = -3*j - z, 5*j + 4*t = -45 for j.
-5
Suppose 0 = -24*i + 21*i + 135. Suppose -7*p + i = -2*p. Solve -b - b - 6 = 4*l, 4*l = -b - p for l.
-3
Suppose 0 = -6*b - 10 + 34. Let h(x) = x**2 - 2*x. Let v be h(3). Solve z = v*d - 3, -z = -b*z for d.
1
Let y = 3 + 2. Suppose f = 6*f + y*k - 20, f = -4*k + 16. Solve -w + 6 = 3*u, f = 2*w - 5*u + 3 + 7 for w.
0
Suppose -7*a = -2*a 