 + j, 3*d = -5*p + 9 for d.
-2
Let d(q) = -q**3 + 3*q**2 - 3*q + 3. Let o be d(3). Let u = o - -11. Suppose 2*n = -3*i + u, 5*i + 4*n - 4 = 3. Solve -k + 2*h - 9 = 4*h, 3*k - 4*h = i for k.
-3
Let l = 4 - 4. Suppose l = 4*s - 8 - 16. Solve 2 = 2*a + 4*c, -s + 2 = -2*c for a.
-3
Suppose -4*k + 88 + 24 = 0. Solve -4*j - 2*l - k = 0, -l - 4 = -0*l for j.
-5
Let n(f) = 10*f + 64. Let q be n(-6). Solve 0 = -z + q*w + 9 + 5, -5*w = -2*z + 19 for z.
2
Suppose -m - 4 = 0, -3*u + 4*m = -u - 20. Solve u*o - 2*j - 8 = -0*o, o - 14 = 3*j for o.
-1
Suppose -1 = 5*g + 19. Let y(s) = -2*s - 5. Let r be y(g). Solve -r*z - 13 = 2*z + 2*c, -4*c = 5*z + 11 for z.
-3
Suppose -3*i + 0*i = 0. Let k be (-24)/(-15)*10/4. Solve -2*a - 5*u + 20 = i, -k*u + 4 = 3*a - 12 for a.
0
Let a(n) = -n + 11. Let b be a(8). Suppose z + b*j - 11 = 2, -4*j = -3*z + 26. Solve 5*u + x + z = 0, 5*u - 2*u = 3*x - 6 for u.
-2
Suppose q - 1 = 3. Suppose -p - q = 2. Let g = 11 + p. Solve g*x = -5*y + 30, -2*x - 3*y = -5*x + 6 for x.
4
Suppose 0*u = 2*u. Solve u*k = -2*k - 4*z - 16, 23 = 4*k - 3*z for k.
2
Let c = -3 - -10. Let u(j) = -j + 4. Let r be u(-7). Solve -3*a - 3*y = -c*y + r, 7 = a + 4*y for a.
-1
Suppose v + 8 = -3*c, -c = -v - 2*c. Solve n - b + 2 = -5, 3*n + v*b = 0 for n.
-4
Let r = 57 - 55. Suppose -3*h + 0 = -2*b - 4, -b + h = 0. Suppose -q + b*q = -r*j + 15, -12 = -q - 3*j. Solve -w - 10 = q*z + z, -5*w + 13 = -z for z.
-3
Let p = -128 - -130. Solve -2*q = 4*i - 10, 0 = -q + p*q + 3*i - 10 for q.
-5
Suppose -2*l = -3*f + l, 0 = -2*f + 3*l + 4. Let t = f + 7. Solve -t*k - 19 = 2*b, 8 = -4*b - k - 15 for b.
-5
Suppose 1 + 1 = -2*k. Let m = 2 - k. Solve 4*t = 3*o - 0*t + m, 0 = -5*o - t - 28 for o.
-5
Suppose -5*i + 4 = 24, 0 = -2*w - 5*i - 20. Suppose -3*l + 3 = w, 4*n = l + 30 + 49. Solve -x = -2*y + n - 9, 2*y = -2*x + 8 for y.
5
Suppose -4*d - 8 = 2*t, 3*d + 19 = 7. Solve 5*x + 4*u + 9 = 0, 2*u + t + 3 = -5*x for x.
-1
Let p = 3 + 2. Solve -m - 5*g = -6*g, p*g = -3*m for m.
0
Suppose -4*h = -b, -3*b + 2*b + 2*h + 2 = 0. Solve x = -4*f - 12, b*f - 10 = -26 for x.
4
Let n be (-3)/((3/(-2))/1). Let a be (6 - -1 - 5)*(-15)/(-6). Solve -2*g = -a*g, -2*y + n*g = 0 for y.
0
Let x = -10 + 13. Suppose 0 = x*p + h - 4 + 2, 3*p + 4*h = 8. Solve -v = -p*v - s + 1, -3*v + 4*s = 5 for v.
1
Suppose 107 - 32 = 5*y. Suppose -5*m = -0 - y. Solve 4*w = 2*l - 4 + 16, -6 = -m*w for l.
-2
Let v be -4*(2 + -3) + 0. Solve 0 = -3*g - 6*i + 8*i + 8, -16 = -g + v*i for g.
0
Let c(j) = j + 24. Let p be c(-19). Solve -2 = -4*q - 3*y, y - p = 3*q - 0*y for q.
-1
Let s = -27 + 38. Let n(p) = p**3 - 12*p**2 + 10*p + 12. Let d be n(s). Let z(c) = 2*c - 1. Let a be z(d). Solve 3*m - 2 - a = -t, 0 = -t + 4*m - 11 for t.
-3
Suppose 10*c = 4*c + 114. Solve 3*w - 2*r = c, -3*r = -5*w - 4*r + 10 for w.
3
Suppose -4*c + x = -4*x, 0 = x. Solve 2*h + 10 = -4*o - 3*h, 4*o - 2*h + 24 = c for o.
-5
Let n be (-84)/(-18) - 2/(-6). Let v = -3 + n. Solve d - v = 2*i, 0*i - 4*d = -i - 1 for i.
-1
Suppose -4*m + 12 = -r, -4*r - 2*m + 3*m + 12 = 0. Suppose -2*j + 12 = 5*g, 9*j - 7 = -g + r*j. Suppose -g*a = a. Solve 2*w - w + 3*u + 5 = a, -5 = w + u for w.
-5
Let g(k) be the first derivative of -k**2/2 + 5*k + 5. Let h be g(3). Let w(r) = r**2 + r - 2. Let p be w(-3). Solve h*y = 4*s - 6 - 18, 0 = -p*s + 20 for y.
-2
Let b = -2 - -9. Let q = b - 4. Solve m - 17 = -q*l - m, m + 19 = 4*l for l.
5
Suppose o - 11 = -2*i, 21 = 3*i + 3*o - 0*o. Solve 2*u + k = i, -4 = -u + 5*k - 2 for u.
2
Suppose 4*g + 76 = -20. Let p be (-1)/((-4)/g*-2). Solve 3*i = 5*f + 13, p = -f + 2*i - 1 for f.
-2
Suppose -5*m - 1 = -4*m. Let b(h) = -6*h. Let z be b(m). Solve r - 2 = 2*x, r = z*r + x + 1 for r.
0
Suppose -2*i = 3*b - 35, -3*b = -4*b + 3*i + 30. Let w = b - 12. Solve -4 = 4*c + 3*o, w*c - 6*c - 4*o = -4 for c.
-4
Let g(d) = -8 + 3*d - 6 - 8 + 6. Let v be g(7). Solve 9 = v*j - 2*f, 0*j + 3*f = j - 7 for j.
1
Let m = 23 + -15. Let v(s) = -s + 3. Let d be v(m). Let b be 20*(d/4 - -2). Solve -3*f + b = 0, -2*f + 1 + 4 = -t for t.
5
Let v(l) = l**3 + l**2 - l + 3. Let m be v(0). Let c be 1/((3/(-30))/(2/(-4))). Solve 15 = -5*b + c*n, -5*b - m*n + n + 20 = 0 for b.
2
Let i be 6/21 - (-26)/7. Suppose 0 = i*q - 0*q - 5*b - 23, -4*q + 2*b + 26 = 0. Solve -c + 16 = -5*x, -c - 3*x = c + q for c.
1
Let y(u) = u**3 - u**2 - 4*u. Let z be y(3). Let w(q) = -q**2 + 5*q + 8. Let l be w(z). Solve 0 = 5*c - 5, 0*c = -a - l*c + 5 for a.
3
Let z(q) = -5*q + 3. Suppose 18 = -5*d + 3*f, 3*d - f + 10 = -0*f. Let a be z(d). Solve 0 = s - 3*s - 5*h - 2, -2*s = -5*h - a for s.
4
Suppose 0*v = 5*v - 5. Suppose 0 = -2*q + 3 + v. Suppose -8 = -q*k - 2*k. Solve 2*r + 0 = -k*l - 2, 20 = 5*r for l.
-5
Suppose 2*r = -1 + 11. Solve -3*a + 25 = -3*q - r*a, 15 = -3*a for q.
-5
Suppose -t - 4 = -4*z - 3, -4*z = 0. Let d be (t/3)/(1/(-9)). Solve 0 = -3*q - 2*y, -q = 4*q - d*y for q.
0
Suppose -176 + 156 = -5*x. Let d(i) = i - 3. Let h be d(5). Solve 0 = -s + x, h*g - s + 1 = 3 for g.
3
Let h = 5 + -2. Suppose p - h = 1. Solve p = v + 1, j + 7 = v for j.
-4
Let b(w) = -w**2 + 7*w - 6. Let u = -11 + 15. Let x be b(u). Let l = 20 - x. Solve 5*h - 17 = 2*f + l, 5*f - h = -20 for f.
-3
Suppose -4*j - 12 = -0*j. Let p be (3/j)/(2/(-4)). Solve 0 = -2*s - p*q - 8, 2*q = -3*s + 6*q + 9 for s.
-1
Suppose 4*t = 4 - 20. Let y(k) = -2*k. Let b be y(t). Suppose b = -d + 3*d. Solve 3*u + 5*q - 20 = -0*u, -q + d = 3*u for u.
0
Let k(r) = 5*r**3 - 3*r**2 + 4*r - 2. Let m be k(1). Solve 3*d + 2*d - 37 = 3*s, -m*s = -3*d + 31 for s.
-4
Suppose 4*r - 145 = -r. Solve -n = 2*m - 13 - 1, 5*m = -n + r for m.
5
Suppose m + 0*m + 11 = 2*j, -13 = -j + 2*m. Suppose -2*i + j = -3*i. Let c be (-2)/i - (-40)/12. Solve c*q + 2 - 1 = -r, -3*q - 4*r = -9 for q.
-1
Suppose 1 = -2*k - t + 4, -2*k + 15 = -3*t. Let r = 12 - 8. Let x(f) = f - 4. Let c be x(r). Solve -5*v = -2*b + k, -3*v + c*b - 9 = -3*b for v.
1
Let x = 5 + 0. Let m = x - 2. Solve -m*g = -2*a - 0*g + 6, -2*g = -5*a + 15 for a.
3
Let l = -1 + 6. Suppose -4*n + l*n - 5 = 0. Solve -2*p = -4*c - 2, 3*p + n*c - 35 = -2*p for p.
5
Let h(a) = -a**2 - 8*a + 3. Let z be h(-8). Let l(x) = x**2 - 2*x + 3. Let n be l(z). Suppose i - n = -i. Solve -2*y = -2*v, 5*y = 4*v + 6 - i for y.
3
Suppose y = 3*g - 26, 5*g - 5*y - 49 + 9 = 0. Solve -g = 3*z - 0*z - l, -2 = -2*z - 2*l for z.
-2
Let d be 9/(3/(-1)) + 8. Suppose -2*f + 3*f = d. Suppose 3*b - 2*s - 14 = 0, f*b + 2*s - 20 = 6*s. Solve -3*i - i + 26 = -2*z, 0 = -2*i + b for z.
-5
Let x(v) = 6*v - 2. Let w be x(3). Solve a - n + 11 = 4*a, w = -4*n for a.
5
Let n(i) = -i + 4. Let y be n(0). Suppose -5*z + 4*r + 151 = 0, y*z + r - 104 = -0*r. Solve 5*x + 7*g - 2*g = -40, -4*x - 3*g - z = 0 for x.
-3
Let o(w) = w**3 - 4*w + 5. Let u be o(2). Suppose g - 3*g + 8 = 0. Solve 2*s + 10 = 2*l - 2*s, -u*l + 25 = -g*s for l.
5
Let m be (-2)/1*(4 + 78/(-12)). Solve -z - m = 0, -4*z = 2*g - 4*g + 28 for g.
4
Suppose -1 + 6 = x - 5*j, 0 = x + 3*j + 3. Suppose 3*y + 2*y = x. Suppose z + 3*c - 16 = -z, y = 4*c. Solve -3*h + 30 = -z*h - 2*f, -5*h - 25 = f for h.
-4
Let u = 56 + -53. Solve 5*f - 4*t = -u - 19, 0 = 5*f - t + 13 for f.
-2
Let p = -28 - -33. Solve 2*j = -4*c + 18, -p*j - 2*c + 9 = -20 for j.
5
Let n = 44 + -33. Solve -4*t = -c - n, -c + 3*t = c + 7 for c.
1
Suppose 3*q + 2*q = 3*x + 9, -4*x = 4*q - 20. Solve 15 = 5*w - x*g, -2*w - 3*g = 17 - 4 for w.
1
Let g = -47 + 50. Solve -3*o + 0*l = -3*l - 15, g*o + 4*l - 8 = 0 for o.
4
Let a = 12 + -9. Solve -11 = 4*u + 2*t + t, -a*t = -9 for u.
-5
Suppose 0 = 6*k - 11*k + 30. Solve 3*x = 5*q + 1, -5*x + 3*q = -k*x - 9 for x.
-3
Let t(u) = -u**3 + 3*u**2 + 2*u - 3. Let z be t(3). Suppose -4*p + m + 5 = -37, 3*m - 17 = -p. Let x = 4 + p. Solve 0*w = -3*w + 3*d, z*w + 2*d = -x for w.
-3
Let g(d) = -d + 9. Let q be g(-8). Suppose -5*k - 7 = -q. Solve 2 = -v - k*b, 3*b = 5*v - 4*v - 3 for v.
0
Suppose 2*c - 10 = -4*a, 0 = 2*a + 3*a - 2*c + 10. Suppose 0*i - 15 = i. Let k be 22/6 - 5/i. Solve -o - 8 = 5*x + 5, a = k*x + 3*o + 17 for x.
-2
Suppose -2 = 7*f - 8*f. Let s be 0 + (5 - 1) + -1. Solve f*k - 3*q = s*k - 1, 8 = 4*q for k.
-5
Suppose -38 = -5*k - 8. Let w be k*1*8/(-6). Let g = 13 + w. Solve 0 = -g*m - 2*j - 2*j - 22, -3*m + 2*j = 0 for m.
-2
Let g(l) = 6*l + 19. Let o