3*z - 14 for i.
-5
Let j be 3 + 0 - 1*(-2 - -3). Solve 0*l + 2 = g - j*l, -3*l - 3 = 2*g for g.
0
Suppose 0 = -2*s + 4 - 2. Solve j + q + s = -3, 2*q = -4 for j.
-2
Let v = 9 + 5. Suppose 6 = -4*i + v. Let g = 33 + -33. Solve 2*s = -0*p + 5*p + i, g = -p + 5*s - 5 for p.
0
Let a(j) = 2*j. Let g be a(-1). Let c be g/3 + 41/3. Suppose -s + 15 = p, 3*s = 4*s + 2*p - c. Solve s = -3*f + o, 4*o - 32 = -0*f + 3*f for f.
-4
Let c = 4 + -2. Let k = 0 + c. Suppose f = -k + 7. Solve -4*m = f*l - 4 - 5, -3*m = -5*l + 2 for l.
1
Let m be 3/(-12) - (-26)/8. Solve m*f = 3*p + 3 - 0, -5*f - 35 = 5*p for f.
-3
Suppose 10 = -35*z + 40*z. Solve -2 = -3*u + z*m, -2*u - 3*m = -0*m + 3 for u.
0
Let w(c) = 5*c - 5*c + 0 + 1 + c**2. Let n be w(2). Solve -4*o = -2*r, 0 = 4*o - n*r + 8 - 2 for o.
1
Suppose 1 = -i - k + 9, 2*i - 1 = k. Solve 4*g - 5 = 2*q + 3*q, g = 3*q + i for g.
0
Let t(r) = r + 9. Let c be t(-6). Suppose -4*s + 3*p + 5 = 0, -c*s + 0*s + p = -5. Solve d + 2*o = 0, -s*d + 2*o = 2*d for d.
0
Let b be -3 - -2 - (-2)/2. Suppose b*q - 3*q = 0. Solve 4*r - 2 = 2*o, q = 3*r + 2*o - 0*o + 9 for r.
-1
Suppose 0 = f + 4*p - 8 + 24, -2*f - 4*p = 12. Solve x = 2*q + q + 12, -f*x - 32 = 4*q for x.
-3
Suppose h = 3*q - 10, 3*h = -3*q - h + 35. Solve 2*p - 4*d = 22, -q*d + 6 = -2*p + 33 for p.
1
Suppose 7*p - 95 = 2*p. Solve -j = -x + 7, -5*x + 0*x + p = 3*j for x.
5
Let q(f) = f**2 + 2*f - 1. Let b be q(1). Let k be (-1)/(-13)*2 - (-37)/13. Solve -k*z + 10 = 5*l, 0*z - 3*z = -b*l + 25 for l.
5
Suppose 56*u - 2 = 55*u. Let q be 2/8 - (-7)/4. Let m(t) = t. Let j be m(q). Solve 0 = 2*l + 3*z + 2*z + 33, 0 = j*l + u*z + 18 for l.
-4
Let g be (2/5)/(13/130). Solve -v = 2*p + 8, 25 - 3 = -g*v - 3*p for v.
-4
Suppose 0 = -2*u + 3*u - 3. Suppose z + u*w - 25 = -z, 20 = 3*z + w. Let o(y) = y**2 + 4*y + 4. Let d be o(-4). Solve -35 = z*l - g - d*g, -l = -4*g + 22 for l.
-2
Let p = 55 - 47. Solve 0 = 5*o + r - 6*r - 20, 3*o = -r + p for o.
3
Let k(j) = j - 1. Suppose -3*b + 5 = -4. Let h be k(b). Solve m + 15 = -x + 5*m, 2*m - 12 = h*x for x.
-3
Let m = -5 + 8. Suppose -2*j + 5*d + 2 = -6, -12 = -m*j - 3*d. Solve j*l = -0*l + 2*v + 18, -6 = 3*l + 5*v for l.
3
Suppose 5*x = -9 + 9. Solve p - 10 = m - 4*p, -4*m - 3*p + 6 = x for m.
0
Let z be (-1)/2 + (-2)/4. Let f(o) = 3. Let q(k) = -k + 4. Let u(j) = -4*f(j) + 3*q(j). Let y be u(z). Solve y*g + 22 = 2*g - 5*h, -5*h - 25 = 0 for g.
3
Let l be (10 + -3)/(0 + 1). Suppose 32 - l = 5*y. Suppose -4*o + k = -13, 2 = -4*o + y*k + 19. Solve -5*w - 20 = o*j - w, -25 = -2*j + 5*w for j.
0
Suppose 5*n - 27 = 3*t, t + 3*t - 3*n = -25. Let j = 9 + t. Solve 2*b + 3*f = b + 4, 0 = -j*f + 5 for b.
1
Suppose -3*d = -4*d - 1. Let j be 1*(4 - d - 3). Solve 5*i + 20 = -j*v, -3*i + 0*i - 12 = -2*v for v.
0
Let c = 2 - 1. Suppose -2*p + c = -19. Solve -3*s - 5*i - 4 - 6 = 0, -p = 5*s + 5*i for s.
0
Suppose 0 = -3*a + 4*p + 14, 3*a + 7 = 5*p + 23. Let m = 3 - 1. Solve -m*f - 4 = a*t - 0*t, -5*f = -t - 20 for f.
3
Let w(n) = -n**2 - n - n**3 + 1 - 2*n**2 + 0. Let j be w(-3). Solve 4*r + 16 = -j*a, -4*a - a + 4 = -3*r for a.
-1
Let x = -11 - -16. Suppose -r = -i, 12 = 5*r + 2*i - 9. Suppose 3*y - x*s - 2 - 23 = 0, 0 = r*y - 2*s - 19. Solve -3*o + 0*u - 11 = u, 21 = -4*o + y*u for o.
-4
Suppose -3*g + 4*g + 7 = v, -2*g + 16 = 4*v. Solve -6*a - v = 2*k - 5*a, -4*k + 3*a + 5 = 0 for k.
-1
Let v(d) = -4*d**3 + 4 - 6*d + 2*d + 3*d**3 + 5*d**2. Let w be v(4). Solve -2*b = 4*x + 20, 8 + 11 = -w*b - x for b.
-4
Let c = 13 - 9. Let y(r) = -3 + 3 + 2 - r. Let v be y(-2). Solve o + 2*j = -c*o - 12, -v*o + 2*j - 24 = 0 for o.
-4
Let d(z) = -z**2 - 5*z - 2. Let v be d(-2). Suppose -4*x - 4*l - v = 0, l - 10 = 3*l. Solve m + 4*j = -x, j + 9 = 2*m - 1 for m.
4
Suppose -2*b - 67 + 19 = -5*g, b + 20 = 2*g. Solve -13 = 5*q + 4*h + 3, 0 = -q + 4*h - g for q.
-4
Let n = -4 + 6. Let k be (n - -1) + -3 + 2. Suppose -6*h = -h - 130. Solve -o + k*r + h = -5*o, 4*r + 32 = -3*o for o.
-4
Let v be (-2)/(-2) - (-4)/4. Solve -4*o + q - 24 = 3*q, -5*q = -v*o for o.
-5
Suppose -9 = -4*o + 7. Let m be 2/1 + -16 + 3. Let z = -6 - m. Solve -5*b - z*j = 3 + 2, -o*j = 2*b + 6 for b.
1
Suppose -3*x = -4*w - w + 6, 5*x - 2*w - 9 = 0. Suppose -2*r + r + x = 0. Solve 4*y + 2 = -5*d, y + 2 = -5*d + r*d for d.
-2
Let c be 12/4 + -4 + 1. Suppose c*x + 4 = x. Solve x*p = 3*n - 8, 0 = 5*p - 3*n + 9 - 2 for p.
1
Suppose 4*f = -5*s + 9*s, -2*s = 0. Solve 6 = 3*p + 2*u, -p + f*u + 4*u + 2 = 0 for p.
2
Let h = -14 - -16. Solve -8 = -4*l - 6*a + 2*a, -3*l + h*a = 14 for l.
-2
Let z be -3*(-4 - (-6 - -3)). Let d = -4 - -4. Solve 11 = t - 3*o, -3*t + t + z*o + 10 = d for t.
-1
Let a be (12/((-6)/3))/(-2). Let t(z) = 2*z - 6. Let d be t(a). Solve -2*x = -2*f + 14, d = -f + 1 + 3 for x.
-3
Let g(a) = -2*a - 6. Let v be (-2)/(-3)*-3*2. Let t be g(v). Suppose 2*z - z = 0. Solve t*b - 4*r + r - 11 = z, 0 = 2*b - 4*r - 14 for b.
1
Suppose 3 = 7*t - 18. Suppose 0 = -c + 3 + 1. Solve p + 4 = -t*o, -2*o - 3*o - c = -p for o.
-1
Let i(q) = -q**3 - q**2 - q + 3. Let z be i(0). Let r be z + (2 - 1)*-1. Suppose p = -1 + 6. Solve p*f + 5 = -r*v, -4*v - 20 = -0*v for f.
1
Let l = 214 - 211. Let u = 10 - -1. Solve -3*f = -y - 8, -y + l*f = -f + u for y.
1
Suppose 3*c - 12 = -3*c. Solve 5*m - c*x - 1 = 0, -4*x = 4*m - x - 10 for m.
1
Let k = -1 - -6. Solve 3*c = -2*x + k, 7*x = 3*x + 3*c - 35 for x.
-5
Suppose w = -w - 5*s, 2*s = -4*w. Suppose -2*q = 5*k - 10, 4*k + w*k + 2*q = 10. Let t = 3 - k. Solve 2*j - 4 = r - t*r, 14 = j - 3*r for j.
5
Suppose 0 = 3*b + 27 + 18. Let f = -3 - b. Solve z - d - 1 = 7, 0 = -3*d - f for z.
4
Let p be (-384)/60*10/(-4). Suppose 5*c - p = -1. Solve 0 = 2*m + m - 4*w - 4, -3*w - 3 = c*m for m.
0
Let l(h) = h + 8. Let n be l(4). Solve -5*s + 3*a = -9 - n, 0 = a + 2 for s.
3
Suppose 0*l + 20 = 5*l. Suppose 4*s + 3*z + z = 12, s + 2*z - l = 0. Suppose 2*f = 8 + s. Solve -f = -2*t - 3*o, t + 5*o - 3*o - 2 = 0 for t.
4
Let i(p) = p**2 - 6. Let t be i(-3). Solve k - 3 = 3*z, -3*z - t = 5*k + 18 for z.
-2
Suppose 0 + 17 = -z. Let n = z - -21. Solve -2*m = -6, 2*o + n*m = 6*m - 16 for o.
-5
Let z(b) be the first derivative of b**2/2 + 9*b + 3. Let i be z(-5). Solve -i*a + 5 = -n, -3*n - 15 = 2*a - 0*a for n.
-5
Suppose 2*o = -2*o + 16. Suppose -5*a + 12 = -o*a. Solve -2*i = -5*z + 10, 5*z - i = a - 2 for z.
2
Suppose w = -4 + 9. Suppose w*n + 4 = 24. Solve n = -a + 2, -a - 7 = -5*q for q.
1
Let n be (1 + 1)*3/6. Let f(u) be the second derivative of -u**4/12 + 2*u**3 - 9*u**2/2 + 2*u. Let g be f(10). Solve c - g = 4*p, 3*c + 0*c + n = -5*p for c.
3
Suppose w + 0 = 3. Solve x = -x + y + 1, w*x - 1 = 2*y for x.
1
Let z(k) be the first derivative of k**3/3 + 3*k - 1. Let i be z(0). Solve -3*r - 2*c = 13, 2*r - i*r - 3*c = 2 for r.
-5
Suppose 10*z - 32 = 2*z. Solve -3*q + 5*v = -9, z*q = 6*q + 5*v + 19 for q.
-2
Let s = -32 - -23. Let g = s - -5. Let t be 1 - g - (4 + -2). Solve 0 = -2*k + 5*m - 35, -2*m - 25 = 4*k - t*m for k.
-5
Let a = 7 - 11. Let l(r) = r**3 + 4*r**2 - 2*r - 3. Let d be l(a). Let f = d + -5. Solve 2*q + 4*t - 10 = f, -2 + 1 = -t for q.
3
Suppose -i + 3*i = 2*s + 8, -5*s - 11 = -2*i. Solve -2*q - 3*v = -0*v + 7, 4*q = -i*v + 1 for q.
4
Let s(k) = 2*k**2 - 3*k + 3. Let n be 0 - (-5)/((-20)/(-8)). Let b be s(n). Solve -g + 2*w = -5, 5*g = -b*w - 39 - 11 for g.
-5
Suppose 0 = -8*f + 7*f. Let o(r) = -r - 8. Let l be o(-5). Let t be (0 - -2)/((-2)/l). Solve t*q - 9 = -3*c, 0 = -f*c - 5*c + q + 21 for c.
4
Let n be (-5)/(-15) - 237/9. Let m = -16 - n. Suppose u = v + 10, -u = -v + 3*v + 2. Solve -5*k = o + m, u - 21 = 5*k + 2*o for k.
-1
Suppose -u = 2*u. Suppose 0 = 2*o - u*o - 2. Let l be (o/2)/(3/90). Solve -s - 4*s + 16 = -w, 0 = 5*s - l for w.
-1
Let t be (0 - -6)*(-3)/(-6). Suppose 15 - 7 = 2*g. Solve t*n = g*o - 19, -2*n = -5*n + 2*o - 17 for n.
-5
Let u be ((-4)/3)/((-6)/9). Suppose o - 3*a = 11, 15 = u*o + 2*a - a. Solve 3*q - 6 - o = 4*z, 4*q = 2*z + 2 for z.
-5
Suppose -w + 2*a + 8 = 0, 4*w + 2*a + 2*a + 4 = 0. Solve -3*t + 5 = g, w*t - 4 = -g + 1 for t.
0
Let h(v) = v**2 + v - 3. Let s be h(-3). Solve -2*o - s*o - g = -10, -o - 2*g = 7 for o.
3
Let u = -525 + 550. Let c be ((-4)/3)/(2/(-3)). Solve -n - 5*a = -u + c, 2*n - 14 = -2*a for n.
3
Suppose 0 = -4*q - 3*m - 6,