 for z.
2
Suppose -4 = -4*o - 4*l - 0, -o + l = -5. Suppose 3*p - 4 = h, -4*h = -o*p - 1 - 10. Solve 0 = 5*q - h*a + 10, q - a = a for q.
-4
Suppose 0 = 2*k + 2*k - 20. Let c be 1*((0 - 0) + k). Solve 2*g - 7*g - c*y - 10 = 0, 4*y - 12 = g for g.
-4
Suppose 0 = -2*b - 3*i + 4, -2*i = 2*i. Let w = 36 - 10. Solve 0 = -5*z + x + w, 3*x + 2 = -b*z + 9 for z.
5
Suppose 6*h - 35 = h. Let k = 111 + -106. Solve -2*w - 18 = k*u, -4*w - h = 3*u + w for u.
-4
Let k = 3 - 0. Suppose -5*m + 5*f = 6*f - 55, 2*f + 46 = k*m. Solve 5*p - 3*z = 2*p + m, 2*p - z - 6 = 0 for p.
2
Let x = -28 + 32. Solve 4*k = -x*z - 5 + 21, -z + 19 = 4*k for k.
5
Let g(x) = -4*x + 2. Let w be g(-3). Let q(m) = -m + 9 + w - 6. Let d be q(0). Solve -s + 3*p = -0*s, -5*s - 2*p - d = 0 for s.
-3
Let y be (4 + -2)/(5/10). Suppose -y*z + 21 = 5. Solve 4*l + 4*b = 16 + z, 4*l - 20 = -3*b for l.
5
Let h(g) = g**3 + 4*g**2 - 5*g. Let q be h(-5). Solve -3*n - 12 = q, -v = -6*v - 4*n - 21 for v.
-1
Suppose -2*v - 50 = -4*v. Suppose -v = -5*p + 5*f, 5*p + 2*f = 4*f + 31. Let y = -4 + p. Solve y*q - 2*m - 3 + 13 = 0, 17 = -4*q - m for q.
-4
Let t be 2/1 + 2 + 2. Solve -2*v + 3*v - t = -4*m, 3*v - 5 = m for m.
1
Let q(y) = -7*y. Let t be q(-1). Suppose 5*h + 58 = 4*o + 13, 2*h - 15 = -5*o. Let d be 1/((-2 + o)/15). Solve -d*i + 3*i + 5*l + 25 = 0, i + t = -4*l for i.
5
Suppose 0*x = -5*o - 4*x - 1, -2*o - 5*x - 14 = 0. Solve 2*p = -5*n + n + 16, o*n + 5*p = 19 for n.
3
Suppose 4*n + 11 = 3. Let c = 2 + n. Solve c = -5*b - 3*z - 37, -3*b = 4*z + 38 - 7 for b.
-5
Suppose 0 = s - 3*d - 7, -4*s + 7*s = 2*d + 14. Suppose -n = 3*n. Solve n = -5*z - 20, -2*c = -s*z - 13 - 9 for c.
3
Let u(z) = -z + 3. Let m(s) = -s**2. Let r be m(0). Let n be u(r). Suppose -2*j + 10 = n*b, -4*b - 3*j + 13 = -0*j. Solve a = 3, b*h + 2*a - 3 + 9 = 0 for h.
-3
Let q be 3/2*(-6)/9. Let g = 4 + q. Let y = 30 - 28. Solve x = 2*h - g + y, -5*x = 3*h + 5 for x.
-1
Suppose -5*j - v = -25 + 8, 2*j - 4*v = -2. Suppose -4*w + 6*m + 87 = j*m, 3*w - 69 = m. Solve u = 4*p - w, 4*p - 17 = 3*u + 15 for u.
-4
Suppose -3*j + 0*j = 0. Solve j = 2*u, 3*q = -5*u - 15 - 0 for q.
-5
Let n be 3/18 - (-69)/18. Let l = n - 0. Solve -l*t - 18 = 3*p + 3, 3*t + 24 = -5*p for p.
-3
Let z(b) = b**2 + 9*b - 9. Let r be z(-7). Let t be 2/(-6)*(8 + r). Solve 14 + 3 = -5*f - 2*g, t*f + 3*g = -18 for f.
-3
Let x(l) = -l + 8. Let d be x(4). Suppose 0 = -y - 3, -d*n + 17 = n + y. Let p = 19 - 11. Solve n + p = 3*k, 4*c - k = -8 for c.
-1
Let s(d) = d**2 - 9*d + 10. Let b be s(9). Suppose 0 = -5*k + 15 + b. Suppose 0 = m - 0*m - k. Solve 5*f = h + h, -m*h = 2*f + 29 for f.
-2
Let i be 2/3*135/6. Let t = i + -10. Solve u + t + 12 = -4*b, 5*u = -b + 10 for b.
-5
Let v be (7 - 4) + -8 + 6. Let i(b) = 3*b**2 + b. Let n be i(-1). Suppose -3 - 3 = -2*q - 5*o, -3*o = 3*q - 9. Solve h = -h - q*d - n, v = -h + 2*d for h.
-1
Suppose 2*l + l + 18 = s, 90 = 5*s - 3*l. Let o be s - (-4 + (-4 - -10)). Solve f - 4*f - 4 = u, -4*f + 4*u = -o for f.
0
Let k = -1 + 5. Suppose -3*y = -2*y - k. Solve -3*c - y = -p - 0*c, 3*p = 3*c for p.
-2
Let s = -4 - -7. Suppose 5*o + m = 3*o - 1, s*o + 5*m = -5. Solve -3*c - 8 = -2*b - o*c, 2*b = c for b.
-2
Suppose 0 = a - 0*a. Suppose d + 5*d - 24 = a. Solve 0 = -4*p + 4*f - 28, -f = -d*p + f - 24 for p.
-5
Let r(k) = -k**2 - 8*k - 6. Let u be r(-5). Let d be (-196)/(-70) + (-1)/(-5). Solve 5*q = -4*a - u, 3*a - 7*q = -d*q + 32 for a.
4
Let r be 6/(-15) + (-4 - (-274)/10). Solve 3*h - 11 = -4*m, r = 4*m - 3*h + 2*h for m.
5
Suppose 2*w + 4*s = -2*w + 16, -w = -5*s + 8. Solve -2 = 3*d - w*m - 0, 12 = -d - 5*m for d.
-2
Let u(f) = f. Suppose -5*c = 3*j - 13, -j = -4*c - 2*j + 16. Let s be u(c). Suppose x - 6*x + 125 = 0. Solve s*y - 4*o = -2*o + 23, -3*y = -4*o - x for y.
3
Suppose 1 + 4 = q. Solve -2 = 5*z + q*a - a, -19 = -2*z + 5*a for z.
2
Suppose 2*o - 20 = -5*n, 13 = 3*n - 2*o + 3*o. Let q = 13 - 7. Let u = n + q. Solve 4*j + u = -2*v + 4, -3*v = -4*j - 28 for j.
-4
Let l(f) = f**2 + 10*f + 31. Let g be l(-5). Solve g = 3*h, -h = 3*v - 2*h - 7 for v.
3
Let c(l) = l**3 - 2*l**2 + 4*l - 3. Let a be c(2). Suppose -a = -2*u + 1. Suppose -4 = -2*q - 2. Solve u*h = -4*t + 23, -h - 13 = -3*t + q for t.
5
Let t be (5/4 - 1)*20. Solve -4*o - 9 = 11, -t*w + 4*o = -15 for w.
-1
Let b be -2 - -1 - 1/1*-15. Solve b = 6*i - 3*i - 4*l, i + l + 7 = 0 for i.
-2
Let t(y) = -y**2 + 12*y - 15. Let v be -1 - (-11)/(-2)*-2. Let a be t(v). Solve a*x = -4*d + 6 - 3, -27 = -5*x + 4*d for x.
3
Let u = 8 + -2. Suppose -3*g + u = -6. Solve 0 = 4*s + g*i + 20, -5*s + 3*i - 26 + 1 = 0 for s.
-5
Let t(v) = -2*v**3 - v**2 - v. Let c be t(-1). Let w(b) = 2*b**3 - 3*b**2 + 2*b - 3. Let m be w(c). Solve 3*y - 3*q = -12, 0 = 5*y + m*q - 0*q - 30 for y.
1
Suppose -5*o = -0*o. Let u be 2/6 + (-20)/(-12). Let y be u*-1 + 8 + -1. Solve -y*m - 15 = -o, 5*m = 2*c - 19 for c.
2
Let s = 422 - 288. Suppose x = 2*o - 50, 5*o - x - s = -3*x. Let m = o + -16. Solve 2*c + m = 2*p, 5*p - 4*p + 15 = -3*c for p.
0
Suppose -s = -5*s + 16. Suppose j - s*j = -12. Solve j*g = 3*z - 12, -g = 2*g + 9 for z.
0
Suppose 4*f - p + 0*p = 17, 5*p - 15 = 0. Suppose -2*b = 1 + f, -2*j - 3 = 3*b. Suppose -j = -3*q + 12. Solve -2*k + 4*k - 5*y = 10, -2 = -q*k + y for k.
0
Let a(b) = -2*b + 3. Let c be a(-1). Solve 0 = 2*w - 3*f - c, w - 7 = -0*f + 3*f for w.
-2
Let u = -2 - -6. Suppose -f - y - 17 = -u*f, -f + 11 = 5*y. Suppose z - f = -z. Solve -2*b = 4*i, 5 = i - 0*i + z*b for i.
-1
Let y be 3/(-6)*-6 + -54. Let n = -28 - y. Solve 2*i + n = 4*c - 3*i, 4*i + 2 = -5*c for c.
2
Let a(u) = -u - 4 + u**2 + 0*u + 2*u. Let q be a(-3). Solve 2*x + 2*x + q*l = -16, 4*l - 4 = x for x.
-4
Let h(y) = -y**3 - 8*y**2 + 9*y + 6. Let a be h(-9). Let v(i) = i - 2. Let r be v(3). Let b = a - r. Solve -b*n = -0*w - 5*w, 0 = 2*w for n.
0
Let f be 1*-10*(-24)/30. Let z(x) = -x + 11. Let b be z(f). Solve -5*m = -5*i + i + 8, -i - b*m + 2 = 0 for i.
2
Let u be (0*2/(-6))/(-1). Solve u = q - 3*p + 11, -2*q + 3 = -0*p - p for q.
4
Let y = -151 + 156. Suppose 3*z = 2*l - 0 + 4, 4*z + 4 = 5*l. Solve -5 = -m, -l*m + 24 = -y*i - 6 for i.
-2
Let k(r) = r**2 + 7*r + 14. Let p be k(-3). Solve 0 = -p*w + g - 7, -2*w - 23 = 2*w + g for w.
-5
Let b(h) = -5*h**3 - 1. Let p be b(-1). Solve p*m - 3*m - 4 = 2*q, -4 = q for m.
-4
Let t(f) = -f**3 + 4*f**2 - f - 1. Let o be t(2). Suppose o*p - 8 = -k + 18, -4*p + 34 = 3*k. Solve 2*n = -3*i + 3, -k*n = -n + 15 for i.
3
Let f be 190/30 + 2/3. Solve 0 = o + 4*g - f - 8, -4*g + 12 = 0 for o.
3
Suppose 0 = -5*d - 8*j + 3*j + 125, 2*d - 5*j - 15 = 0. Suppose 0 = z + 4*z - d. Let f = 0 - -4. Solve -3*v + f*v = 4*q - 24, 4 = z*q + 4*v for q.
5
Suppose 4*m - 43 = 9. Let w = -8 + m. Solve -d = -5*d - w*j + 17, 2 = -d + 5*j for d.
3
Let w(q) = q**2 + 2*q - 8. Let l be w(-4). Solve 5*n + 5*i - 15 = 0, -6*n + 2*n - i + 3 = l for n.
0
Suppose -p + 12 = -3*p. Let b be -1*(-2)/4*p. Let o(i) = i**2 + 3*i + 4. Let q be o(b). Solve 0*n - q*n + 33 = 5*m, -4 = -2*m + 3*n for m.
5
Suppose -3*i - 2*r + 14 = -i, 19 = 5*i - 3*r. Suppose -i*s + 3*l + 25 = 0, -4*s - 3*l + 24 = 4. Solve -m + 2*n + 4 = 0, 2*n - 9 = s*m + 3 for m.
-4
Let f = 11 + 6. Let r be 1/(-2)*(-6 + 2). Solve 0 = -2*d + r*z - 0 + 12, -4*z - f = 3*d for d.
1
Suppose 3*d = 2*a + 2 + 2, -5*d + 20 = 0. Solve 5*k - 17 + 5 = a*n, -4*k + 12 = -2*n for n.
2
Suppose 0*b + 11*b = 55. Solve -16 = -4*s + b*w, 2*s - 5*w - 21 = 3*s for s.
-1
Let w be ((-2)/(-4))/(3/(-1590)). Let b = 387 + w. Let x be (-14)/(-49) - b/(-14). Solve h + 0*h = v, 0 = h + 2*v + x for h.
-3
Let i be (16 - 15)/((-1)/(-2)). Solve -4*n + n = -3*b + 12, i*n - b = -5 for n.
-1
Suppose 2*i - 20 - 24 = 0. Suppose y + 5*p = 0, -y = 2*y + 4*p - i. Solve 0 = o - 2*b - y + 2, 0 = 2*o + b - 6 for o.
4
Let s = -6 + 12. Let n = 10 - s. Solve -30 = z + n*z + 5*x, 0 = 5*z + 3*x + 28 for z.
-5
Suppose 4*f = -0*c - 2*c + 32, c - 4 = 4*f. Suppose 2*o - 5*o = -c. Solve -20 = -3*l + o*v, 5*l - 26 = l + 5*v for l.
4
Let y = 10 - -5. Let t be 3/(2 - (0 - -1)). Suppose -j - 11 = -2*r, -j + 2 - t = 0. Solve -3*h + 5*s + 6 = 8*s, 0 = -r*s + y for h.
-1
Suppose o = 1 + 4. Solve -o*r - b = -15, -4*r = 4*b + 3 + 1 for r.
4
Let t(i) = i**2 + i - 4. Let a be t(0). Let b = -2 - a. Solve b*p - 3*j + 10 = 0, p 