 - z for f.
-3
Let m(v) = -2*v**3 - 3*v**2 - v + 2. Let b be m(-2). Let t be b*(2 + 0/(-2)). Let y = t - 4. Solve -9 = -3*z + 2*l + 2*l, 0 = -3*z - 3*l - y for z.
-1
Let c(r) = -r. Let o be c(-3). Let z = 1 + 5. Suppose 0 = 2*a - 56 + z. Solve 3*l - 3*s = 30, -6*s + o*s - a = -2*l for l.
5
Let l be (-38)/(-3) - (-28)/(-42). Let p = 14 - l. Solve 1 = -5*h + p*z, 2*h - 3*z - z = 6 for h.
-1
Let z(g) = -g**2 + 11*g - 15. Let q be z(8). Solve 0 = -4*v + v - q, -j - v + 2 = 0 for j.
5
Let n(i) = -i**2 + 20*i + 4. Let c be n(20). Solve -s - c*t = -9*t - 25, 0 = -2*s - 4*t - 6 for s.
5
Suppose -5*l + 2*y = -y - 42, 4*y - 14 = -5*l. Suppose 2*s = 4 + l. Solve s*p - 1 = -n + 2*n, 5*p - 2*n + 3 = 0 for p.
1
Let x be (12/(-5) - -2)*-25. Suppose 15 = -2*o - o. Let g = o + x. Solve 0 = m + 4*m - 5*j + 30, g*m = -4*j - 12 for m.
-4
Let p(u) = -u**3 + 7*u**2 - 5*u + 1. Suppose -5*i + 6*d + 30 = 3*d, 24 = 4*i + 3*d. Let k be p(i). Solve -4*c + 3*t - k = 0, 5*c - 5 + 0 = t for c.
2
Let u be (-30)/(-4)*10/15. Let m be (u/20)/(1/(-4)). Let g = 6 - m. Solve -5*i - 4*h - 4 = 2, 2*i - 3*h = -g for i.
-2
Suppose -3*d - 23 = -5*w + 4*w, -2*d + 2 = -5*w. Let y = -6 - d. Solve 2*j - 2*l + 3*l - 5 = 0, y*l + 5 = 4*j for j.
2
Let s = 14 + -10. Let i(h) = 13*h + 5. Let r(p) = -7*p - 2. Let w(o) = 6*i(o) + 11*r(o). Let k be w(-4). Solve 8 = -3*b + k*n, -s*b = b + 4*n + 24 for b.
-4
Let l be 8/4*(-1)/2. Let p be -2 - (3 + l - 9). Let t = -1 + p. Solve t*s - 6 = -2*q + 24, 0 = 3*s + 2*q - 25 for s.
5
Let q = 14 - -11. Solve -5*k + 3*v + 29 = 0, -4*k + 2*v + v = -q for k.
4
Let n = -50 - -54. Solve 0*r = 3*r - 3*p - 3, -n*r = 2*p + 20 for r.
-3
Suppose y - 4 = 0, 0 = -5*u + u - 5*y + 28. Let q be (-2 - (-18)/4)*u. Let n = 24 - 6. Solve 0 = -4*s + f + n, q*s - 4*f = -1 + 18 for s.
5
Suppose -4*j + 7*m = 2*m - 30, -m = 2. Solve -4*w - j*r = 14, -5*r = 2*w - 3*r + 6 for w.
-1
Let h = -22 - 6. Let u = 43 + h. Solve -2*w - 1 = -f - 8, -u = -3*w for f.
3
Let i be (-2 - -2) + 4*(-15)/(-20). Solve -a - 5*f = 16, i*a + 15 = -2*f - 2*f for a.
-1
Let g be (6 + 30/(-2))*2/(-6). Solve -3*f + 5 = -2*b - 2, -11 = -4*f + g*b for f.
-1
Let p = 29 - 29. Solve 0 = 5*b + 2*w + 3, -3*b + 2*b - 4*w - 15 = p for b.
1
Suppose 3*a - 2*o = -o + 4, 5*a - o - 8 = 0. Solve -a*k + 0*x - 10 = 2*x, 3*x = 0 for k.
-5
Let i be 11 + (2 + -2 - -1). Solve s + i = -2*a, 4*a = 3*a - s - 8 for a.
-4
Suppose 5*s - 20 = -j, -5*s + j + 23 + 7 = 0. Let h = s + -5. Suppose 0 = -3*i + 4*i - 3. Solve -o - o - g - 11 = h, -3 = i*o - 3*g for o.
-4
Suppose 4*x = t + 20, 2*x = 3*x + 4*t + 12. Let i(h) = 2*h - 4. Let k be i(x). Solve 5*v = 3*s + 20, 0 = k*v + 5*s - 4*s + 1 for v.
1
Let o be 1*8 + (-2 - -5 - 5). Solve 0 = -2*k + b - o, -3*b + 7 = k - b for k.
-1
Suppose 32*i - 31*i - 5 = 0. Solve i*l = -2*p - 1 + 6, 2*p - 3*l = -19 for p.
-5
Suppose 60 = -8*b + 9*b. Suppose -b = -n - 2*n. Let v be (2/(-6))/(1/(-3)). Solve 0 = o - q + v, 0*o - 4*q - n = 4*o for o.
-3
Let l = 28 - 15. Suppose 5 = -2*c + l. Suppose 2*o - c*j + 16 = 0, 0 = 3*o + 3*j - 5*j + 8. Solve q + 5*h = 14, -2*h + 1 = 5*q - o*h for q.
-1
Let o(j) = j**2 - 17*j - 11. Let s be o(18). Solve -3*z = -3*k + s*k - 11, 3*k - 4*z = 27 for k.
5
Let f = -28 + 28. Solve 0 = 5*w - 15, -1 = 2*v - w - f for v.
1
Let a(w) = -w**3 + 5*w**2 + 12*w + 16. Let r be a(7). Solve -3*x - 24 = -r*i - 2*i, -3*x = 4*i for x.
-4
Suppose -3*w + 2 = -7. Suppose 33 = 5*b - l - w*l, 12 = 3*b - 5*l. Solve -5*u + 2*m - 29 = 0, 3*u + 3*m + b + 0 = 0 for u.
-5
Suppose -2*n + 17 = 1. Solve -2*r - n = 2*f, 2*r - f = -3*r + 4 for r.
0
Let f(t) = -t**2 + 8. Let i be f(0). Suppose -o + i = 5. Suppose 0*s + o*s - 6 = 0. Solve 10 = -s*w - 5*x, w = 4*w - 4*x - 31 for w.
5
Let f = -14 + 18. Let y be 13/2 + f/8. Solve 0 = 2*n + 4*i - i + y, 5 = -i for n.
4
Let n(k) = -k**2 + 3*k + 6. Let d be (0 - -2)/(2/4). Let m be n(d). Solve 3*v = 3*u + 24, -m*u + v - 20 = 2*u for u.
-4
Let x(g) = g**2 + 10*g - 9. Let s be x(-11). Solve -3*p + p + 2 = 4*m, 2*m - s*p = 4 for m.
1
Suppose 5*f - 21 = 34. Let i = -8 + f. Solve -i*x = t + 14, -3*x + 2*x + 2 = -t for x.
-3
Suppose 6 = 3*i - 3. Suppose x + x - 20 = 0. Suppose -4*y + x = -2*y. Solve 5 = n - y*s, 1 = -2*n - i*s + 11 for n.
5
Suppose 4*x - 3 - 5 = 0. Solve -6*f + j - 17 = -f, -x*f = -2*j + 2 for f.
-4
Let r(j) = j**3 - 5*j**2 + 5*j - 3. Let i(b) = 1. Let n(p) = i(p) - r(p). Let v be n(4). Solve 4*w + 0*w = 2*y - 12, v = -2*w + 4*y - 12 for w.
-2
Suppose 2*i + 0*i = 0. Suppose i = -4*v + 5 + 3. Let l = -1 - -5. Solve 2*d - 1 = -5*y - 4, 2*y + l = v*d for d.
1
Suppose 2*x = 3*x + 2*u - 10, -5*u = -20. Suppose -23 = -m - 3*l + 32, 110 = x*m + 4*l. Let t = m - 31. Solve 5*s - 4*w + t = 0, -5 = s + w - 2 for s.
-4
Suppose 3*a - a = -12. Let d = 2 - a. Solve 3*f - 3*c = 2*f + 9, d = -2*c for f.
-3
Let l be 3/2*(-30)/(-9). Suppose -49*v + 50*v - 3 = 0. Suppose 4*f + 2 = 14. Solve -f*h = v*q - q - 8, -3*q - l*h = -12 for q.
4
Let q be (2/8)/(198/48 + -4). Solve 2*y - 2*j - q - 2 = 0, 0 = 2*y + j - 4 for y.
2
Suppose 5 = 7*p - 16. Let g be (24/(-20))/(1/(-5)). Solve 18 = -h + 4*r, p*r = -h + r + g for h.
-2
Let f = -8 - 0. Let w(x) = -x - 4. Let y be w(f). Solve 3*c + 2 - 14 = 0, -y*d + 2*c - 4 = 0 for d.
1
Let r be (-10)/15 + 11/3. Let t = 1 + r. Suppose -4*i + 15 = -5*x + i, t*x = -i + 8. Solve -3*y - z - 14 = -y, -y + z - x = 0 for y.
-5
Suppose -j - 30 = -4*j. Suppose 6*a - j = 4*a. Solve 3*y = a*m - 17, -m + 0*m - 2*y = -6 for m.
4
Let t = 7 - 15. Let c be (7 + -2)*t/(-2). Solve 4*v + 4 = -4*b - c, -5*b - 2*v - 24 = 0 for b.
-4
Suppose -3*n - 16 = 4*w + 1, n = -2*w - 9. Let j(m) = -m**3 - 5*m**2 - 5*m. Let b be j(-4). Let y = b - n. Solve -5*a - 1 = 4*c, -5*a = c - y*a - 2 for c.
-4
Let b be ((-44)/(-8))/((-1)/2). Let n = -5 - -21. Let d = n + b. Solve 2*v - 5*u + 5 = 0, -2*u + 1 = -d for v.
5
Suppose -10 - 17 = -3*q. Suppose 5*m = q + 6. Solve -3*o = 3*y - 3, 0 = -m*y + 4*o + 23 - 6 for y.
3
Suppose -s - 65 = -6*s. Let f = 21 + s. Suppose 20 = -4*d, -2*d = -3*h - 0*d + f. Solve 3*w - 10 = -5*v, -4*w - v = -5*v + h for w.
0
Let o = 15 - 11. Suppose 8*l - 17 = 7. Solve -s = -3*f + 2*s - 24, o*f - 3 = -l*s for f.
-3
Suppose -3*v - 15 = -105. Solve 2*a - 12 = -4*q, 2*a - 7*a = -5*q + v for q.
4
Suppose -3*c = -0*c. Let i = -5 - -10. Suppose 5*v + 3*u = 2*u + 8, -i*v = -3*u - 16. Solve -2*b + 2*j = 4*j - 14, c = j - v for b.
5
Suppose -a - 2*a + 10 = -j, 2 = 2*a + 4*j. Solve 5*o + 0*g + g = -11, o = -g - a for o.
-2
Let v(s) = 2*s + s**2 + 1 - 4*s**2 + 4*s**2. Suppose 0 = -5*z + 3*z - 4. Let i be v(z). Solve 2*a + 16 = 5*j, 4*j + i = -4*a + a for a.
-3
Suppose 8 = -4*o + 20. Solve 6*y = 2*t + 2*y + 24, 4*t + y = -o for t.
-2
Let w = 140 - 74. Suppose 2*g = 3*n - 21 + w, 0 = -4*n - 20. Solve 10 = x + 4*x - f, -5*x = 4*f + g for x.
1
Suppose -2*x + 4 = 4*z, -4*x + 5*z + 3 - 8 = 0. Solve g - 4*k = x, k = 3*g + 3*k for g.
0
Let u(n) = n + 10. Let s be u(-7). Suppose z = 3*v + 3, -4*z - s*v = -39 - 18. Let r be (-6)/(-36) - (-22)/z. Solve p = -2*m + 13, 6*p - 25 = p - r*m for p.
3
Let s be 4/12 + -3*(-15)/27. Solve h = -5*i - 3, 0 = -s*i + 8*h - 3*h + 15 for i.
0
Let y(p) = -p**2 - 6*p - 3. Let c be y(-6). Let h be (c - (-3 + 0)) + 3. Let u = -1 - -1. Solve 3*m - 2*a = u, -h*m = -0*m - 4*a - 6 for m.
-2
Let r = -4 + 7. Suppose 6 = r*y - 0*y. Solve 3*a - y*s + 30 = 10, -2*s = -8 for a.
-4
Suppose 0 = -4*l + 2*r - 15 + 1, 2*r = -5*l - 40. Let b(z) = -2*z - 8. Let y be b(l). Solve 12 = 2*i + 3*j, 3*j - y*j + 4 = 0 for i.
0
Let f(k) = k**3 - 15*k**2 + 15*k - 10. Let q be f(14). Suppose -5*y + 12 + 18 = 0. Solve 0 = -0*p + 3*p + 3, -q*p + y = -2*h for h.
-5
Suppose -u + 60 = -3*u. Let q be ((-8)/5)/(3/u). Solve -w = -b + 4 - 2, -4*b = 4*w - q for b.
3
Let a be -1 - (-2 - -11 - 1). Suppose 0 = 3*w - 4 + 16. Let f = w - a. Solve f*s + 23 = -c - c, -5*c = 5*s + 35 for c.
-4
Suppose 0 = -7*z + 3*z + 8. Solve 4*x = 4*p + 28, z*x = -p - x + 13 for p.
-2
Suppose 0 = -5*k + 26 - 1. Let s(y) = -y**3 + 9 + 4*y + 5*y**2 - 5*y - 2. Let c be s(k). Solve -3*m + 5*m + 4*j = -10, 0 = c*m - 3*j + 10 for m.
-5
Let u(j) = j**2 + j - 3. Let w be u(-3). Suppose 0*y + y - w = 0. Solve 0 = -y*c - 2 + 5, 15 = -2*r + 5*c for r.
-5
Let i = -1 - -2. Let j = i - -1. Solve 0 = 4*c - 2*c - 5*a - 20, j*a