 + 6, -k = -o*y - 23 for k.
3
Let f = -35 + 38. Solve -h = -4, -2 = i - f*h + 12 for i.
-2
Suppose 0*r - 18 = r - 5*h, -r = 2*h - 10. Suppose 7 = n - 6. Solve -2*q + 0*i = -4*i + r, q - n = -5*i for q.
3
Let q(c) = c**2 - 9*c - 1. Let a be q(10). Suppose 3*k = 4*t + a, t = 3*t. Suppose -h = 2 - 4. Solve k*g = -4*l + 28, 2*g + h*l + 3*l = 28 for g.
4
Let i be (-6)/(-5)*50/(-15). Let n(b) = -b + 2. Let q be n(i). Let d = 19 + -8. Solve -5*t + d = l - q, 3*t = 5*l + 27 for t.
4
Suppose 3*h + 3*a - 57 = 0, 2*h - 5*a - 13 = h. Solve -3*s + 5*u + h = -1, 2*s - 5*u - 21 = 0 for s.
-2
Let a = -3 - -2. Let q be 24 + -1 + (1 - a). Suppose -3*z + 0*d + d = -17, 3*z + 5*d - 5 = 0. Solve 5*w - v + q = -6*v, -4*w - 21 = z*v for w.
-4
Suppose -76 = -4*o - 20. Solve 3*k = 7*k + 2*m - o, 13 = 3*k + 4*m for k.
3
Let q = -3 + 6. Suppose -2*d = 2*d - 56. Let h = -7 + d. Solve j = q*b - h, 3*b + 2*j + 2*j - 32 = 0 for b.
4
Let x be (-11)/(-66) + (-17)/(-6). Solve 10 = 5*y + x*w, -w + 0*w = y for y.
5
Let p(a) be the first derivative of -a**3/3 - 6*a**2 - 14*a - 1. Let u be p(-10). Let h = -1 + u. Solve 2*z - y - 3 = -0*y, -h*y = 5*z for z.
1
Let x(d) = -2*d - 9. Let q be x(-6). Let r be (-1)/(1*(q + -4)). Solve 3*p - 4*f = -10, f - 2 = -r for p.
-2
Let d be 244/28 - 2/(-7). Let w(v) = -v**3 + 10*v**2 - 7*v - 6. Let l be w(d). Let n be l/4 + 0/(-2). Solve -n*r + r - 20 = -3*x, -3*x + 28 = -4*r for r.
-4
Suppose 16 = 4*k - 16. Let d be 4/k + (-13)/(-2). Solve -5*t = -5*z - t + d, -3*t + 6 = 0 for z.
3
Let x be 4/(-22) + (-12)/(-66). Suppose 0 = -x*w - 2*w. Solve 4*j - 4*s + 40 = 0, 0 = -w*j - j - 4*s + 15 for j.
-5
Suppose 0 = 5*w + 10 - 40. Let n be w/(-9)*3 - -2. Suppose f + n = 4. Solve 5*j - 4*c = f + 6, 5*j + 3*c = -25 for j.
-2
Let l = 68 + -66. Solve -l - 4 = -5*c - 2*o, 2 = 2*c + o for c.
2
Let g(y) = 6*y - 3. Let o be g(3). Let x(c) = 5*c**2 - c + 1. Let v be x(1). Solve 3*w = -q + o, -v*q - 8 = -q - 5*w for q.
3
Let x = -15 + 31. Suppose b - 2*m = -2 + x, 4*b - 41 = 5*m. Solve b = 3*n + c - 15, -5*n + c = -21 for n.
5
Let t(o) = -26*o - 1. Let r be t(-1). Solve -15 = -a - 5*v, a + 5*v - r = -2*a for a.
5
Suppose -4*j + 19 = 5*q, j - 3*j - 10 = -4*q. Solve -3*u = -3*p + 2*u - 4, -u = -q*p - 8 for p.
-3
Suppose -3*o - 82 = -94. Solve -3*n + 4 = o*i + 13, -4*i = -4*n + 16 for i.
-3
Let n = 165 - 164. Solve -i = n, 3*i = -4*w - i - 12 for w.
-2
Let x(b) = -b**3 - b**2 + 2*b + 3. Let j be x(-2). Suppose -22 = -3*o - j*g + 2*g, -5*o = -5*g - 10. Solve 5*m - 5*a = -10, -7 = 3*m + 2*a - o*a for m.
-1
Let y(d) = -2*d**3 + 2*d - 1. Let f be y(-2). Suppose 3*w = -12, -5*m + w = 6*w + 25. Let u be 99/5 + m/(-5). Solve -f = -k + 3*k + 3*h, 4*k + u = -4*h for k.
-4
Let v(l) = -l**3 + 3*l**2 - 2. Let m be v(2). Suppose -3*r = -3*k - 9, 0*k - 17 = -3*r - k. Solve r*f + 5*y + 35 = 0, m*f + 0 = -5*y - 26 for f.
-3
Let y be 5 + -3*(2 - 1). Solve 3*z - 22 = -5*u, -14 = -3*u + y*z - 4*z for u.
2
Let v(t) = -2*t - 3. Let u be v(-3). Let k be (0 + -1)/((-1)/u). Solve 3*l = -5*f - 16, 0 = -l + k*l + 5*f + 14 for l.
-2
Suppose 8 + 8 = 4*l, 5*l - 68 = -4*i. Let m = i - 7. Solve k + m*p = 9, -2*k = 2*k - 2*p + 8 for k.
-1
Let y(u) = u**3 + 11*u**2 + 22*u - 10. Let f be y(-8). Solve 2*l + 5 = 5*w - f, 2*w + 13 = -5*l for l.
-3
Suppose 49 = 3*w + 1. Solve -5*l - 16 = -4*g - 3*l, 3*l = -4*g + w for g.
4
Suppose 0 = -2*b + q + 12, -5*b + 4*q = -13 - 11. Let v be 4/(-3)*(-12)/b. Solve 0 = v*l + 2*z + 2, z = -2*l - 0*z - 1 for l.
0
Let i = 52 - 28. Let j be (-5)/((-70)/4)*7. Let y be (-4)/(-8) + 5/j. Solve t + 7 = -y*v + i, -5*v = -20 for t.
5
Suppose 6*m - m = 0. Suppose m = 5*x + 10. Let n be 8 - (-3 - x)*-2. Solve 2*l = -v + n, 5*l = 2*l - 3*v + 3 for l.
5
Suppose 27*y - 24 = 57. Let r(s) = s + 2. Let n be r(-3). Let l = -1 - n. Solve -y*j + z + 1 - 4 = l, 5 = -5*j + 5*z for j.
-1
Let m be 0 + 0/(-2) - -24. Suppose -4 = 3*d + 2*j, 0 = -3*d + 3*j + m - 3. Solve 12 = -2*c - 2*g, -2*g = -d*c + 3*g + 9 for c.
-3
Let f(s) = 2*s**2 - 4*s. Let o be f(2). Solve 0 = 5*b - g - 2*g + 8, 2*b - g + 3 = o for b.
-1
Let p(g) = g + 1. Let a(c) = -12*c - 12. Let x(d) = -2*a(d) - 27*p(d). Let i be x(-2). Solve -i*v + 19 = z, -v - 15 = 3*z - 8*z for z.
4
Let v(x) = x**2 - 23. Let w be v(-5). Solve w*i = -2*q, -2*i - 6 = -q - i for q.
3
Let y = -4 + 10. Suppose -f = -3*f + y. Suppose -3 = -3*n + 3. Solve 0 = n*r - 7*r + f*o - 11, 2 = o for r.
-1
Suppose -3*g = -4*k - 4*g + 16, -4*g = -k - 13. Solve -7 = 3*s - i, 0 = 3*s + 3*i - 0 + k for s.
-2
Let b(n) = n**3 + 3*n**2 - 2*n - 1. Let w be b(-3). Suppose 0 = 5*j - 3*j - 4. Suppose -30 = -i - j*i. Solve 0 = -2*d - 3*d + i, d = w*s + 22 for s.
-4
Let b(c) = 2*c + 7. Let v(r) = 2*r + 7. Let u(y) = 5*b(y) - 6*v(y). Let l = -3 - 3. Let o be u(l). Solve -19 = -5*h - m, 0*h - 3*h + 17 = -o*m for h.
4
Suppose -5*i = -i - 8. Let l be 15 + (-1)/(-2)*i. Solve -c = 3*c + l, -4*g - 3*c + 4 = 0 for g.
4
Let c be (-7)/7 + (-3)/(-1). Let s be (0/1)/(0 - c). Solve -a - 2*g - 14 = s, 4*a + g = 3*g - 6 for a.
-4
Suppose -t - 3*t = -2*f + 6, -15 = 2*t - 5*f. Suppose 3*o - 5*o + 10 = t. Solve 0 = k - 5*a - 11, 6 = -k - 3*k - o*a for k.
1
Let r be (-8)/6*9/(-6). Suppose 0 = 3*t - r - 4. Solve -3*w + 2*w + t = y, -5*w + 1 = -4*y for y.
1
Let u(t) = -3*t**3 + t**2 + t + 1. Let n be u(-1). Solve n*m - 8 = -4*x + 20, -3*m = -3*x - 3 for m.
4
Let y = -85 - -117. Solve -2*x - 3*x = -3*a - y, -2*a = 2*x for x.
4
Suppose -2*r + 2*u = 0, 7*r + 2*u = 2*r. Let d = 13 - 8. Solve -12 = -3*y - d*f, 2*f + r = -y + 4 for y.
4
Let q(a) = -a + 1. Let v = -6 + 8. Let k be q(v). Let z = k + 6. Solve 0 = z*y + 6*h - h + 5, 2*y + 5*h = -17 for y.
4
Let p = -8 + -2. Let m be 4/p - (-111)/15. Solve z + 3*z + 5*v = -13, 3*v - m = 5*z for z.
-2
Let g = -60 + 80. Solve -5*u + 2*u = -2*p + 10, 4*p = -4*u + g for u.
0
Suppose 5*d = 5*l - 35, 6*l - 9 = 3*l - 3*d. Suppose 0*o - 13 = -2*w - l*o, -o = -5*w + 19. Solve -8 - 3 = -p - w*a, 8 = 4*p + 4*a for p.
-1
Let c be 15 + -2 + (-1 - 0). Suppose 2*v - t - 40 = -v, -3*t = c. Let a be v/7*14/2. Solve -w - a = 4*s, 4*w - 2*s - 2*s = 12 for w.
0
Let y = 28 + -23. Solve 3*i + 3*m + 24 = 0, 19 = 3*i - i - y*m for i.
-3
Let y = -7 + 12. Let f(s) = 2*s**2 + 4*s + 1. Let z be f(-3). Solve -p - y*x = 19, z*x + 8 = p + 3*x for p.
-4
Suppose 11 - 2 = 3*a. Solve 3*l - 3 + 8 = q, a = -l - q for l.
-2
Let v(f) = -f**2 - 16*f - 35. Let o be v(-8). Solve -c = 2*m + 4*c + 15, 0 = 5*m + 4*c + o for m.
-5
Let r be (22/4 - 1)*2/3. Solve 0 = 4*p - s + 4, -r*p + 5*s - 20 = -0*s for p.
0
Suppose 4*v - 14 = -2*i, i = -4*i + v - 20. Let y = i - -23. Solve -4*g = -5*u + 30 - 5, -4*u = g - y for g.
0
Let s(n) = -n**3 - 6*n**2 - 7*n - 6. Suppose -2 = -2*l + 3*q, -3*l + 4*q - 2 = -3. Let t be s(l). Solve 2*c - 8 - 4 = 4*k, -12 = 4*c + t*k for c.
0
Let m = -3 + 19. Solve 4*r = -4*k + m, -5*k + 12 = -3 for r.
1
Suppose 5 - 33 = -4*r. Suppose -r = -l + 1. Solve -4*w - 21 = x, -3*w - l = 3*x - 2*w for x.
-1
Suppose u + 0*u = 0. Suppose u*q = -5*q + 25. Solve -2*c = 2*x + 4, c - 4*c = q*x + 6 for c.
-2
Suppose 0 = -2*c + 2*l - 4, 22 = -c - 2*c - 5*l. Let o(t) = -t - 2. Let u be o(c). Let y = -46 + 51. Solve -q + 20 = -y*r - u*q, -2*q = -r + 7 for r.
-3
Let a(h) = h**3 - 6*h**2 + 7*h - 4. Let b be a(4). Let i = -2 - b. Suppose -20 = -i*p + 2*p. Solve -p*v = -r + 20, -2*r - 2*v = -5*r + 21 for r.
5
Let f(x) = -2*x. Let c(r) = -r**2 + 3*r - 2. Let u be c(3). Let y be f(u). Solve -y*i + 3*h + 0 = 11, 3*i - 13 = -2*h for i.
1
Suppose 0*d + d = 5. Suppose 2*z - 35 = 5*t + d*z, -3*t - 21 = -5*z. Let k be 0 - 9/3*t. Solve -4*i - 3*y - 19 = 0, -k = 4*i + i + y for i.
-4
Let l = 68 - 40. Let r be (-7)/l + 26/8. Solve -3*j = -r*y - 9, -7 = -2*j - j + y for j.
2
Suppose 5*i = 4*i. Suppose -m + 3*m - 6 = i. Solve -z + 3*t = 0, 0 = 4*z - 4*t + m*t + 11 for z.
-3
Suppose 4*s - 4*b - 28 = -4, -6 = 3*s + 3*b. Solve i - o - 2*o = -16, 28 = -s*i + 5*o for i.
-4
Suppose 0 = -c - 3*u - 15 + 1, 4 = -c - u. Suppose d - 14 = -5*r, 2*r - 4*d + 10 = -2. Suppose r*z - 5 = c. Solve f + 3 = 0, 2*t = z*f - 5*f - 8 for t.
-1
Suppose -4*j - 4*g = 103 - 11, 4*g - 13 = j. Let u = -9 - -6. Let c = u - j. Solve 5*l = -m, -4*m - c = 2 for l.
1
Suppose 5*m + 50 = 4*i + 189, 23 = m + 4*i. Solve d + 2*r - 3 + 9 = 0, m = 3*d - 3*