. Let z be d(-5). Let m = z - -7. Solve u + 2 = 3*g - 3, -m*g - 15 = 3*u for g.
0
Let p = 8 - 5. Suppose 0*k = -3*k + 36. Suppose 0 = -c - 2*c + k. Solve 0 = -c*j - s, -p*j - 5*s = -j + 18 for j.
1
Let f(g) = -g**3 + 11. Let o be f(0). Suppose -2*h - o = -3*h. Solve 5*q + 4*c + 9 + 4 = 0, -q - 5*c = h for q.
-1
Suppose 3*s - 29 = 4*j + j, -2*j = 3*s - 22. Solve -4*x - s = 3*q, -4*x + 2*x = q + 6 for x.
-5
Let w be ((-24)/(-8))/((-15)/12 - -2). Solve -3*t = -w*r - 5*t - 18, 3*r - 5*t - 6 = 0 for r.
-3
Suppose -2*z = 5*j - 25, -3*z - 5*j = -4 - 31. Suppose -3*g = -2*g - z. Solve -2*n = -4*m + g, 2*n = n - 4*m + 1 for n.
-3
Let k be (-1 - -9 - -1)/1. Solve 7 = -3*x - 2*d, -x + k = 3*x - d for x.
1
Let w = -21 - -34. Let l = w + -9. Let y be 2 - 2/(4/(-6)). Solve t + l*s - 20 = -4*t, y*t + 5*s = 25 for t.
0
Let r(l) = -l**3 + 11*l**2 - 18*l + 3. Let f be r(9). Solve 0 = -4*i - f*b - 10, -5*i - 5*b + 6 = -4*i for i.
-4
Let v be (0/4)/((-2)/(-2)). Let q be (-20)/(-6) + (-10)/30. Solve v*d = -q*m + d + 11, 13 = 5*m + d for m.
3
Suppose 0 = -4*i + i - 3*a + 3, a + 4 = 4*i. Let r = i + -1. Let t be (3/1)/1 + -1. Solve r = 2*v + b + 6 - t, -3*v = -b - 4 for v.
0
Let o(s) = 3*s**2 + 3*s - 3. Let j be o(-3). Solve -3*t - 3*a = 42 - j, -4*t = -4*a + 4 for t.
-5
Let i(h) = h**2 - 6*h - 5. Let c be i(7). Solve 3*m + 4 + 5 = 2*y, 6 = -2*m + c*y for m.
-3
Suppose 3 + 1 = a. Suppose 7*q = a*q. Suppose 3*y - 3 = 15. Solve -2*o - j + 7 = q, o - 3*j + y*j = -4 for o.
5
Suppose m - 18 = -6. Suppose -5*o + m = -3. Solve -f - 5*a - 5 = -2*f, -f - o = -a for f.
-5
Let r(v) = v**3 - 5*v**2 + v - 3. Let k = 2 + 3. Let p be r(k). Solve -p*w = -w + 3*g - 15, 3*w - 4*g = -7 for w.
3
Suppose a = 8*a - 14. Solve 3 = f, -12 = 3*u + a*u + f for u.
-3
Let s(v) = v**3 + 8*v**2 - v - 3. Let d be s(-8). Solve -11 = -i - 3*b, d*i - 5*b = -0*b - 5 for i.
2
Let i = -4 + 7. Solve -5*d + i*d = -8, 5*m - 2*d - 12 = 0 for m.
4
Suppose 0 = 4*t - 8*t + 28. Solve j + j = 5*x - 1, 0 = 4*x + j + t for x.
-1
Suppose -b + 3*b - 2*v - 8 = 0, 2*b + 2*v + 8 = 0. Let h be 1 - ((-6)/(-2))/(-3). Solve 0 = -2*r + 5*k + 9, 0 = -2*r + h*k - b*k for r.
-3
Let l be 6 + 2 + 0/1. Suppose -23*q + 21*q + 4 = 0. Solve 0 = -4*r + q*w + 6, -w + l = 4*r - 5*w for r.
1
Suppose t + 24 = 2*t. Suppose -t = 2*s - 6*s. Solve -5*w = -k + 3, -2*k = -s*w + 2*w for k.
-2
Let u(z) = -z. Let c = -4 - -3. Let f = -6 - c. Let i be u(f). Solve -i*n + t = -0*n + 11, 0 = 2*n - 2*t - 2 for n.
-3
Suppose m + m - 10 = 0. Suppose 0 = -m*g - 3*t + 19, 2*g + 3*t = 3*g + 7. Solve 4*v = g*b - 18, 3*b - 8 = v - 1 for v.
-4
Let d be 1*(1/1 + 1). Solve 3*y + 14 = 5*w - 4*w, 0 = -4*y - 2*w - d for y.
-3
Let i(z) = 2*z + 16. Let j be i(-8). Solve j*v = -2*r - v + 3, -3*v = -2*r + 23 for r.
4
Let q be (2/1 - 1)*0. Let t(s) = -s**2 - s + 2. Let h be t(q). Solve 2*g + h*w = -0*g + 10, -4*w + 18 = 2*g for g.
1
Let f(j) = j**3 + 2*j**2 - j - 2. Let p be f(-2). Suppose 2*c = 4*q - 3*c + 5, p = 2*q - c + 1. Solve 2*s + k - 1 = 10, 2*s + 5*k - 31 = q for s.
3
Suppose 2*n = -3*s + 6*s + 36, 5*s - 18 = -n. Solve q = -2*h - 3, -h + 5*q - n = -0 for h.
-3
Suppose 0 = -2*r, -2*r = 5*s + 2*r - 40. Suppose -y + 9 = 2*y. Suppose 4 = 4*b - 16. Solve -2*l = -y*g + s, -l - g = -1 - b for l.
2
Let r = -7 - -10. Suppose 0 = -y + 1 - 10. Let n be -1*r*6/y. Solve -n*d + 6 = -2*h, 0 = -5*d + 8 + 17 for h.
2
Let v = 0 - 10. Let z be ((-1)/(-3))/(v/(-150)). Solve 4*r = -u - z, -3 - 7 = 2*u for r.
0
Let n = 7 + -11. Let b = -1 - n. Let l = -31 - -35. Solve -l*c + 3*q - 12 = -q, -b*q + 9 = -2*c for c.
0
Suppose -1 = 2*h - 5. Let q(v) be the first derivative of v**3/3 - v**2/2 - 2*v - 1. Let x be q(3). Solve -4*a + h*d = -10, -2*a - 3*d = -d + x for a.
1
Let p be (-3 - -5) + 4/1. Suppose u - p = -2*u. Solve u*m - 4*s = 2, 2*s - 1 = -m - 3*s for m.
1
Let n(d) = d**2 - 7*d + 5. Suppose 3*u = -2*u + 35. Let y be n(u). Let b = y + -5. Solve l - j - 2*j + 10 = b, 4*j = 8 for l.
-4
Suppose -10 = -3*j - 2*j. Solve 5*q + 8 = 4*u, -3*u + 8 = u - j*q for u.
2
Suppose 6*i - 2*i - 12 = 0. Let g(m) = 4*m**2 - 3. Let n be g(i). Suppose 3*z = -3*c + 39, -3*z = c - 0*c - n. Solve -l + 0*x = 2*x + z, 5*x + 25 = 4*l for l.
0
Let q(a) = -a**2 + 9*a + 1. Let c be q(10). Let w = c - 60. Let t be ((-2)/6)/(1/w). Solve l + 4*l = -5*y - 25, -5*y = 4*l + t for l.
-2
Let t(k) = -k + 11. Let r be t(6). Suppose -2*d = -3*d + 4*b - 13, d - 2*b = -r. Solve 4*p = d*y, 2*p = 5*p - 4*y + 7 for p.
3
Suppose q + 1 = -f, 0*f - 3*f + q + 13 = 0. Solve f*j + 0*h - 12 = 2*h, -4 = -j + h for j.
4
Let n(h) = -1 + h + 5*h**2 + 2*h - 3*h. Let g be n(-1). Suppose -2 = 3*z + 3*q + g, q + 2 = 4*z. Solve i + 4*c - 15 = z, 5*c = -2*i + i + 18 for i.
3
Suppose 2*g - 25 = 15. Suppose 2*y - 7 = 5. Suppose 2*c - y*c = -g. Solve 5*b + 4 = -c*s + 24, -3*b = 5*s - 16 for b.
2
Let a be ((-68)/10)/(2/(-5)). Solve -2*v - 2*l + 3*l - 2 = 0, -3*v - a = -5*l for v.
1
Suppose 0 = -3*h + 10 + 5. Solve -1 = l - y - 3, -5 = h*y for l.
1
Suppose -3*k = 16 - 4. Let w = k + 6. Solve -3*y + 15 = 2*y + w*i, -y - 4*i + 21 = 0 for y.
1
Let q(c) = -c**3 - 4*c**2 - 4*c - 1. Let g be q(-3). Solve -2*l - 4 = -g*i, 7 = -5*i - 5*l - 13 for i.
-1
Suppose -3*k - 4*n = -13, 1 = k - n - 1. Suppose 5 = 4*y + y, -y = -j + 6. Solve -2*b + 7*u - 6 = k*u, 5*b + u = j for b.
1
Let a(m) = -m**3 - 3*m**2 + 3*m - 2. Let r be a(-4). Solve -4*y + 8 = 3*w, -r*y + 0*y + 4 = -4*w for w.
0
Let d = 157 + -155. Solve 2*m = -m - 5*s, -7 = d*m + s for m.
-5
Suppose 4*f - 49 = -3*k - 17, -2*k = -2*f + 2. Suppose -2*v - 2 - 1 = 3*c, -c = -f*v + 1. Solve v = -5*s - 2*n - 21, 1 - 3 = 2*s + 4*n for s.
-5
Suppose -4*r - 1 + 9 = 0. Suppose -6*t + t = -4*y + r, -6 = -4*y + 3*t. Solve -y*m + m + 23 = -3*d, -2*m - 7 = 3*d for d.
-5
Let w = 8 + -8. Suppose w*x = -x + 24. Solve 0 = 3*t - 4*f + 4, 2*f + x = 5*t + 3*f for t.
4
Let j(a) = -a**2 - 3*a + 2. Let t be ((-1)/(-2) + 0)*-6. Let s be j(t). Solve 4*n + 5 = -3, -s*d = -5*n - 6 for d.
-2
Let q be -9 - (3 - 6/3). Let u be (88/55)/((-4)/q). Solve 16 = -u*r - 4*z, 4*z = -6 + 2 for r.
-3
Let i(w) = -4*w - 2. Suppose -2*h + 9 = -5*x - 1, 5*h - x + 21 = 0. Let z be i(h). Solve -p - 5*c + 19 = 0, 3*c = 2*p - c + z for p.
-1
Let l(n) = n + 4. Let h be l(2). Solve 2*m = -h, 2 - 7 = -4*i + 3*m for i.
-1
Suppose y - 28 = -2*b - y, 4*b - 53 = -3*y. Solve 0 = 5*x - 2*o - 3*o - 15, -5*x + b = -4*o for x.
-1
Let g be 12/7 - (-6)/21. Let w be -2*(6/g)/(-3). Let t(j) = -j**2 + 8*j + 5. Let m be t(6). Solve -3*p + 16 = -5*v, v - w*v - m = 4*p for p.
-3
Suppose -8 = -4*r - 0. Suppose 9 = -2*k + 5*y - 5, 2*k - y = r. Let f be 1*k/6*8. Solve -5*n = -f*a - 11 - 2, 5*a + 9 = -n for a.
-2
Let a = 132 - 128. Solve 0 = -a*v - 2*c - 18, -3*v = 5*c - c + 21 for v.
-3
Suppose -2*n = -s + 13, n = -2*s + 4 - 3. Suppose 4*b - 25 = -j, 4*j + 0 - 5 = s*b. Let d be b/2 + (-6)/12. Solve -10 = -d*g - 2*y, -5*g - 2*y - 2 = -27 for g.
5
Let p(i) = 2*i + 3. Let z be p(3). Suppose 2*y - z = -y. Suppose 0 = r + y*r. Solve -5*w + 3*j - 7*j + 13 = r, 3*j - 6 = 0 for w.
1
Let j be -1 + (-12)/(0 - 3). Let n(f) = f**3 + f**2 - f + 1. Let g be n(-2). Let c = 2 - g. Solve 2*s = 5*v - 0*v - 19, -c*v + 3 = j*s for s.
-2
Suppose -29 = 5*w + 6. Let p = 11 + w. Suppose 3*y + g = 12, p*g + 3 = 3*y + 2*y. Solve -5*x + 40 = -4*s, 5*s + 4*x = y - 12 for s.
-5
Suppose a + a = 4. Suppose -5*l + y = -12, 4*l - 24 = -3*y - 3. Suppose p = -5*s + 5*p + 12, -p - l = s. Solve a*m = 5*v - 3*m - 15, s = 3*v + 2*m - 9 for v.
3
Let f(k) = 3*k**3 + 4*k**2 + 3*k + 2. Let g be f(-2). Let o be g/(-2) - (2 + -2). Solve 7 = -3*i + u, -o*i - 4*u = -4*i + 14 for i.
-3
Let o = -757 + 770. Let w(d) = d + 7. Let y be w(-5). Solve 0 = g - a - 4 - 0, -3*a = y*g - o for g.
5
Suppose -5*a - 75 = -4*x - x, -3*a = -5*x + 75. Suppose 0 = -2*q - 3*q + x. Solve 7*m + q*p - 13 = 2*m, 16 = -4*p for m.
5
Let q be 1*(1 - 1)/2. Suppose q*d + 150 = 5*d. Solve -3*o = 5*k + d - 5, -4*k + 2*o + 2 = 0 for k.
-2
Let p = 5 + -1. Suppose f + o - 2 = 0, -7 = -2*f - o + 2*o. Solve 2*l + p*j + 12 = 0, 4*l - 14 = f*j + 6 for l.
2
Let t(i) = i**2 - i - 22. Let h be t(0). Let u = -18 - h. Suppose 3*x - 16 = -5*b, 5*b - 17 = -5*x - 7. Solve -u*f + z + 10 = 0, -b*f = -3*z - 12 - 4 for f.
2
Let o = 0 - -3. Let d(g) = -g**2 + 3*g + 2.