 + 15 = -z - 0*z for f.
-2
Let h(d) = -d - 2. Let a be h(-5). Let q = 39 - 29. Solve u = -5*t + q, 0 = a*u - t + 2 for u.
0
Suppose 2*h - 5*s = 19, 2*s = h + s - 5. Solve 5*p + h*v - 12 = -0, -4*v - 16 = 0 for p.
4
Let p be (-2)/(-4) - (-11)/(-2). Let a = 7 + p. Let g = 172 + -169. Solve -10 = w - 3*n, a*w + 2*n = -g*n + 13 for w.
-1
Suppose y - 1 = -0. Suppose -3*b - 3*f + 32 = f, f = -4*b + 60. Let q = y + b. Solve -12 - 8 = 5*w, -z - q = 4*w for z.
-1
Let b be (-174)/(-34) - 20/170. Suppose -2*d - 9 = -2*s + d, -4*s = b*d + 15. Solve -5*o = 4*w + 7, s*o = 4*o + 12 for w.
2
Let d be (-2 + 14/(-21))*(-6)/4. Solve 2*o = -b + 2, 10 = d*b + 5*o + 2 for b.
2
Let l(f) = f - 9. Let k be l(13). Suppose 2*i - k = i. Solve -i*z - y + 2 = -z, -2*y - 7 = -5*z for z.
1
Suppose 3*b - 2*b = 0. Suppose z - 17 = -3*c, 6*c = z + 2*c + 11. Suppose 4 = -l + z. Solve 5*y - 3*w + 23 = b, -y - 3*w - l = -0*y for y.
-4
Let u(c) = c**3 + 3*c**2 + 2*c + 1. Let s be u(-2). Let t = 3 - s. Suppose 0 = -4*y - a + 11, -t*y + 4*a + 7 = -y. Solve n - y*h = 1, -7 = -2*n - n + 5*h for n.
4
Let b(a) be the first derivative of a**3/3 - a - 2. Let y be (-3)/(-2)*(-4)/(-3). Let p be b(y). Solve -p*h = -m - 1, -m - m + 18 = 4*h for h.
2
Let n be ((-2)/4)/((-2)/20). Solve -2*t + 1 + 20 = n*h, -2*t - 29 = -5*h for t.
-2
Suppose g - s + 7 = 2, -3*g + 5*s = 7. Let r = -14 - -8. Let m = r - g. Solve 2*j - 12 = -w, 5 = 3*j + m*w - 19 for j.
4
Let u = 116 + -113. Solve -5 = h - 5*w + 1, -w + 4 = -u*h for h.
-1
Let u = 36 - 31. Solve -10 = 2*o, 2*z + 14 = -u*o + 3*o for z.
-2
Let n be 6/(-12) - 38/4. Let x be (-24)/n - 3/(-5). Let z be 3*(1 - 1/3). Solve 0 = -z*b - x*b, -4 = i + 5*b for i.
-4
Let w = 28 + -10. Let c be ((-48)/(-108))/(4/w). Solve 4*v + c = 2*f, v - 3*f = 4*v - 3 for v.
0
Suppose 3*j + 39 = -69. Let f = -12 - j. Solve -6 = -k - 5*z + 16, 2*k - f = -5*z for k.
2
Suppose 3*c - 21 = -3*r, 2*r + 0*c = 2*c - 6. Let d be r/4*(2 - 2). Let z(q) = -q**2 - q + 4. Let s be z(d). Solve -s*h = -3*b - 4, 3*b + 16 = -5*h + 3*h for b.
-4
Suppose 17 = 4*z + 1. Let i = 4 - 2. Solve -5*q = 2*a - i*q - 23, 5*a - 40 = -z*q for a.
4
Let g = 78 + -74. Solve g*l + 6 = 2*s, 0 = -l - l - s - 13 for l.
-4
Let n be ((-18)/(-4))/((-12)/(-64)). Suppose 2*o - 3*o = 0. Solve 3*v + o*v - 5*i = n, 4*v - 4*i - 24 = 0 for v.
3
Let b be (0 + 0)/(-1 + -1). Let u = -259 - -286. Solve 3*p = 4*a - 23, a = 5*p - b*p + u for a.
2
Let i(u) = 3*u**3 + u**2. Let p be i(1). Let a = p - 2. Solve 5*n + 2*m + 7 = 0, 4*m = -a*n - n - 7 for n.
-1
Let o be (42/(-35))/((-6)/20). Solve -6 = -o*n + 5*v, 2*n + n + 9 = -3*v for n.
-1
Let h be 7 + -1 + (-3)/3. Let i = 10 + -7. Suppose -2*z - 3*u = i, 0*u = z - 4*u - 4. Solve 5*g - 5 = z, -g - 15 = h*b - 6*g for b.
-2
Suppose 0*x + 5*x + 25 = 0. Let c = 26 + x. Let u be 1/(-2) + c/6. Solve -u*o + 4*f + 0 = -2, -3*o = 5*f + 16 for o.
-2
Suppose -3*r - 6 = 2*h, -h + 2*h + 4*r = 2. Let b be h/(-10) - 3/5. Let n = -6 + 8. Solve 2*y = b, -n*y + 3 = 3*g + 2*y for g.
1
Suppose -o - p + 3 = p, 4*p = 0. Solve 0 = -5*r - i - 0 - 11, -4*r - o*i = 11 for r.
-2
Suppose -3*d + 2 = -1. Let y = d + -1. Suppose -5*q + 13 = -l, 0 = -q - y*l - 3*l - 7. Solve v - 1 = -n, -2*n + 3*v - q*v + 11 = 0 for n.
4
Suppose -2*j = -2*d - 8, 0 = -3*j - 2*d - 2*d + 5. Solve -2*m - 3*g + 18 = -j, 2*m - 5*g = -19 for m.
3
Suppose 0 = -5*o + 64 + 6. Let r be (-6*((-4)/(-3))/(-1))/2. Solve -6 = -k - k, r*j = -2*k - o for j.
-5
Let y(w) = -4*w + w**2 - w**2 + 3*w**2 + 3*w. Let m be y(1). Solve 0 = -3*g - 3*q - 21, 5*g = -m*q - 0 - 20 for g.
-2
Suppose -5*s = 2*j + 38, -j = -2*s - 5*j - 28. Suppose -3*t - 3 = -0. Let k = t - s. Solve 7 = 4*o - 3*o + 4*f, 0 = k*o - 5*f + 15 for o.
-1
Suppose -3*n - 3*q + 24 = 0, -3*n + 34 = 2*q + 3*q. Suppose n*u - 1 = w, -8*u - 7 = -4*u - 3*w. Solve 14 = 5*j + 3*y, 2*y + 12 = -0*j + u*j for j.
4
Let l(g) be the first derivative of 5*g**3 + g**2/2 - 2. Let v be l(1). Solve -4*i + v = 0, -5*o = 3*i - 6*i + 27 for o.
-3
Suppose -5 = o - l + 4*l, 0 = 4*o + 5*l + 6. Solve o = -v + 4, -4*p + 9 = 3*v for p.
0
Let k(t) = t**2 - 7*t + 13. Let v be k(5). Solve 2*r + r - 5*g = 30, v*g + 9 = 0 for r.
5
Suppose -5*q + 4*q = -5. Let x be (-7)/(-1) + 2*-1. Solve -q*j = 2*h - 11, 4 = h - 3*j + x*j for h.
-2
Let j(t) = 2*t**2 - 6. Let w be j(2). Solve -2*x + w*n + 15 = -3*n, x - 2*n - 7 = 0 for x.
5
Let j(z) = -z**3 + 5*z**2 - 4*z - 1. Let w be j(3). Solve k - w*v + 5 = 5*k, k - 14 = 3*v for k.
5
Let x(s) = -s + 1. Let p be x(-7). Suppose 0 = -3*w + w + p. Suppose 5*g = w + 6. Solve -2*y = 10, 5 = -g*c - 3*y - 8 for c.
1
Suppose -4*w + 2*w = 0. Suppose w = n - 0*n - 5. Suppose -n*p = -9*p + 16. Solve 4*q - 16 = 2*m, -5*q = -4*q + 3*m - p for q.
4
Let j = 39 + -18. Solve -3*r - j = 3*p, 5*r + p - 6*p - 5 = 0 for r.
-3
Let o(a) = 2*a**3 + 3*a**2 - 4*a + 3. Let g be o(2). Let u = -14 + g. Solve u + 8 = -2*p + 3*w, -p - 21 = -4*w for p.
-1
Let i = -1 - -1. Suppose 2*z + 3*z - 15 = i. Solve a = -3*u, -2*u - z*a = -8*a for u.
0
Let a(o) = -o**3 - 5*o**2 - 4*o + 5. Let v be a(-4). Let y(k) = k - 3. Let u be y(-2). Let f = u + v. Solve 3*b - 1 = -d, f = -0*b + 4*b - 8 for d.
-5
Suppose 7*u - 2*u = -5. Let l(d) = 3*d**2 - d. Let t be l(u). Solve 2*z - 8 = t*f - 2, -f = -2*z + 3 for f.
-1
Let u = 1 + -1. Let o = -33 - -38. Solve -2*a - 3*q - 2*q - 10 = 0, u = o*a + q - 21 for a.
5
Suppose 4*j = 7 + 9. Let l be 2*(2/j + 1). Solve 33 = -3*m - 2*m + 2*w, -2*m - 22 = -l*w for m.
-5
Let g = 0 + 7. Let w be (-54)/(-12)*(-4)/(-6). Solve -2*h - g = 2*q - w*h, -4*q - 18 = 2*h for q.
-4
Let d = 19 + -16. Suppose 0*x - d*x + 4*n = -29, 4*x - 3*n - 27 = 0. Solve 3*k + 3*j + 1 = j, 5*k = -x*j - 2 for k.
-1
Suppose -r - 81 = -2*r. Suppose -b = -3*a + r, -4*a = 2*b - 0*b - 108. Solve -4*j = 3*n - 14, 0*n - a = n - 5*j for n.
-2
Suppose -z - 29 = 5*f + 7, -5*f - 100 = 5*z. Let m be (-1 + 1)/(-2) - 11. Let p = m - z. Solve 3 = -0*l - 4*l + 3*k, 0 = 3*l + p*k - 5 for l.
0
Let p be 75/90 - 1/(-6). Solve p = 3*z - 4*s - 6, 0 = 4*z + 5*s - 30 for z.
5
Let o(a) = a**3 + 8*a**2 - 2*a + 2. Let y be o(-8). Let c = y + -13. Solve 0 = t + 2*t + 2*p + 3, t = -c*p - 1 for t.
-1
Let s(r) = -r + 7. Let g be s(5). Let b = -1 - -1. Let p(a) = -a. Let h be p(-2). Solve 2*c + g*l = b, 3*c = -5*l - 4 + h for c.
1
Suppose -d + 3*q - 1 = 0, 3*d + q + 3 = 10. Solve 6 = -5*f - h + 5*h, 0 = -3*f + 2*h - d for f.
2
Let h(t) = t**2 - 3*t - 4. Let f be h(4). Let k = f + 4. Solve 2*i = -0*v + 4*v + 12, -k*v - 24 = 4*i for i.
-2
Let a(t) be the first derivative of 2*t**3/3 - t**2 - 4*t - 2. Let i be a(3). Solve 2*b = -3*w + 15, 0 = w + 3 - i for b.
0
Suppose 5*o - 4*o + 4 = 0. Let f(c) = c**3 + 5*c**2 + 4*c - 2. Let i be f(o). Let h be i + 2 + 4 + 0. Solve -3*q = 4*p - 3, 4*q = 3*p - h - 17 for q.
-3
Let x(s) = -10*s - 4. Let i be x(-7). Let a be (-3)/12 - i/(-8). Let o = -6 + a. Solve 4*j + 10 = o*j, 2*b + j = -7 for b.
-1
Let g(l) = l**2 + 12*l + 16. Let z(x) = -x**3 + 7*x**2 - x - 4. Let r be z(7). Let t be g(r). Solve 2*n + 2*f = 4, -t*n - 2*f = -3*f - 22 for n.
4
Let c(d) = 0 - 1 + 0 - d. Let x be c(-5). Let q(g) = g**2 + 3*g + 3. Let f be q(-3). Solve 0 = 2*u - 3*j + x, 5*u - 4*j + 4 = f*u for u.
-2
Let f be 43/(-4) + (-2)/8. Let c = -6 - f. Solve -c*t - 3*v = -4*v - 11, -4*t = -3*v for t.
3
Let g(t) = t**2 + 10*t - 16. Let s be g(-12). Solve 0 = -4*a + 3*k + s + 1, 0 = -4*a + 2*k + 10 for a.
3
Let r(h) = 2*h**2 - 3*h. Let s be r(3). Suppose 1 = -2*m + s. Suppose 3*i = 2*z + 17, -2*i - 3*i - 5*z = 5. Solve 0*f + f - d = -i, -m*f + 3*d = 9 for f.
0
Let j(f) = 3*f + 14. Let y be j(-5). Let s be y/2 - (-5)/2. Solve p + 2 = -2*q, -3 = 5*p + q + s*q for p.
0
Suppose v - 33 = -2*v. Solve 4*z = -h - 18, 5*z + 4*h + 17 + v = 0 for z.
-4
Let n be ((-10)/5 - -2) + 2. Solve 2*j = 4*g + 4*j - 10, -g - n*j = 5 for g.
5
Suppose b + 2 = 2*b. Let i = b - 0. Solve 40 = -5*v + i*t + 3*t, v - 7 = -4*t for v.
-5
Suppose -11 = -7*j + 17. Suppose -u + 4*x = 3*x - 10, j*u - 2*x = 30. Solve 0 = 2*y - d - u, -5*y = d + 2*d - 7 for y.
2
Let t(x) = -x**2 + 2*x + 4. Let j be t(3). Let c = 2 + j. Let g be (1 + 1)*c/2. Solve 2*y = g*b - 2, -4*y - 12 = -y for b.
-2
Suppose 0*k = 7*k - 42. Let h be (-1 - 0) + -6 - 2. Let j be (-2 - 24/h)*k. Solve 3*g + 16 = u, j*g + 3*u + 0 + 17