 - 4*h = 24 for r.
-5
Let d be (1 + (-5 - -3))*-7. Solve -3*v - 2*o = -3*o - d, 5*v + 5*o + 15 = 0 for v.
1
Suppose -d = d + 4*j - 4, -26 = -4*d + j. Let c(i) = -i**2 + 7*i - 6. Let s be c(d). Suppose -2*x - 2*x = s. Solve -2*y + x*n - 6 = -4*n, -4*y = -2*n + 6 for y.
-1
Suppose 0 = b + 2, 5*m - b = -4*b + 49. Let p(c) = -c**2 + 16*c + 1. Let v be p(m). Suppose -5*u = -v - 34. Solve -t + 4 = 1, 4*l + 2*t - u = 0 for l.
3
Let x(w) = w**3 - 19*w**2 - 44*w + 45. Let j be x(21). Solve -j*k - 5*u + 5 = 2*k, -4*u = 3*k - 6 for k.
-2
Let p = 59 + -36. Solve 5*c - p = 3*b, 3*c - 4*c = 3*b - 1 for b.
-1
Let o(a) be the second derivative of a**3/6 - 5*a**2/2 - a. Let m be o(8). Solve -3*u = 4*t, m*t = t - u for t.
0
Let q = 22 + -10. Suppose 4*j + q = 2*a - 6*a, -5*j - a - 3 = 0. Let b = j + 0. Solve b = -5*c - 2*p - 8, 4*p + 20 - 4 = 2*c for c.
0
Let t be (-4)/6 + (-1)/3. Let q = t + 5. Solve 0 = -l - q*l - 5*b - 30, 14 = -4*l - 2*b for l.
-1
Let b = 20 + -15. Solve 3*m + 0*m + 17 = -b*j, 0 = 2*j + 8 for m.
1
Suppose 0 = -2*h - 0*h + 10, 5*l + h = 35. Solve -l = s - a, a - 22 = 5*s + 4*a for s.
-5
Suppose 0*t = 5*t. Suppose 2 = n - 8. Solve -p + 0*p = -3*x + n, t = 3*x - 15 for p.
5
Let o be 0 + -5 + 3 - 4. Let a = o + 8. Suppose 5*w + 5*y = 5, 3*w + 4*y = 3*y + 7. Solve 6 = -z - z, a*d - 3 = w*z for d.
-3
Let n be 13 - (1 + (-3 - -3)). Let c be (10 - n)/((-2)/3). Suppose 5*b = 3*b + 4. Solve -5*t + 33 = -2*o, -b*o + 8 - 1 = c*t for t.
5
Let g = -29 + 75. Suppose 2*m - g = -0*m. Let j be ((-100)/(-3))/10 - 2/6. Solve -j*y - m = 5*f - 0*f, 1 = -y for f.
-4
Suppose -5*g + 2*g - 3*a = 0, -3*g + 3*a - 12 = 0. Let i be 1*-3 + (-38)/g. Solve 3*t = 5*c + i, 5*t - 1 - 9 = 0 for c.
-2
Suppose -3*l = -y + 2, 4*y - 3*y + l = 6. Solve 5*w = 2*b + 19, -y*w = 2*b - 18 + 7 for w.
3
Suppose 5*r - 3 = 3*i + 47, 2*i + 42 = 4*r. Solve 0 = -p + 3*p + 2*a - 14, -p - r = -3*a for p.
2
Let o = 3 + -1. Suppose -7*a = -o*a. Suppose a = -3*x - 4*f + 11, 3*x + 0*x - f = 16. Solve 4*d = -z + 1, z + 3*d + 4 = x*z for z.
1
Suppose 0 = -0*q - 2*q + 4. Solve -4*p - 12 = -a + 2*a, 4*p + q*a + 8 = 0 for p.
-4
Let c = -12 - -12. Suppose c = -4*x + 24 - 4. Solve 2*s - 3*y - 2*y = -22, 0 = 3*s - x*y + 23 for s.
-1
Let z be ((-6)/(-5))/((-2)/(-15)). Solve -s - 12 = 4*o + z, o - 3*s = 11 for o.
-4
Suppose 23*p = 10*p. Solve -3*s = -4*t + 13, t + p*t = 4*s for s.
1
Suppose -93*f + 92*f = -3. Solve 4*r - 4 = -0*y - y, f*y - 4 = -4*r for r.
1
Let n = -6 + 8. Let l be 10/4 + 2/4. Solve -2*s + 11 = -m, -n*s - m = -l*m - 12 for s.
5
Let d(j) = 5*j - 7*j + 3*j. Let y be d(5). Solve -b - 2*m = 2, 4*b = -y*m + 3*m - 2 for b.
0
Let r be 4*(0 - (-3 + 1)). Suppose -2*u + r = -0*u. Let d(m) = m**3 + 10*m**2 - m + 11. Let v be d(-10). Solve u*n - v = -3*o, 4*n + 0*o - 4*o = 0 for n.
3
Let v be (2/(-6)*0)/(6 - 5). Solve 3*l - 3*n + 3 = -0*l, l - 4*n - 11 = v for l.
-5
Suppose 63 = -5*b - 52. Let t = 43 + b. Solve t = -0*g + 5*g - 2*d, -2*g - 3*d = 11 for g.
2
Let k(b) = -b - 4. Let m be k(3). Let l = 24 + m. Suppose -5*r + 62 = l. Solve 2*y - 3*u - 7 = 0, 2*u - 7*u = -2*y + r for y.
2
Suppose -5*q + 59 = -5*c + c, -39 = -4*q - 5*c. Let m = q + -7. Solve -2 = -2*v - 2*i + 2, m*i = 2*v + 20 for v.
-2
Suppose -18 - 7 = -5*y. Solve -5*d - 20 = -y*i, -3*i - 4*d = 1 + 1 for i.
2
Suppose 5*j = 3*w - 99, 5*w = -0*j - 4*j + 128. Solve -2*m + 5*k - 13 = 11, -4*m = -5*k + w for m.
-2
Suppose -3*g + 5*o = -18 - 2, 0 = -4*g + 4*o + 24. Solve 3*m + 2*a = 7*a + 15, 0 = m - 2*a - g for m.
5
Suppose 0*z + 5*z - 35 = 0. Suppose -2*o - q = -7, 2*o + 3*o = q + z. Let j = 6 - o. Solve 8*w - 4*c = 3*w + 1, 0 = 4*w - j*c for w.
1
Let w be 4 + 0 - 2/(-2). Suppose 2*q + 0*h - 33 = -h, -w*h = 3*q - 60. Solve 3*n = 5*i + q, -4*i - 6 = -2*i - 2*n for i.
-3
Suppose -n - 5 = -7. Solve -k - 3 = 3*q, 0 = 2*q + n*q for k.
-3
Let v(u) = u**3 + 7*u**2 - 8*u + 8. Let j be v(-8). Solve r = y + j, 2*y + 0*r - 4 = -2*r for y.
-3
Suppose 0 = -z + 2*w + 9, 0*z + 5*w + 30 = 5*z. Solve 4*h = -z*r - 9, 10 = -10*r + 5*r - 5*h for r.
1
Let z = -6 + 11. Solve z*q = 2*i + 17, i - 4 = -2*q + 10 for q.
5
Let t = -2 - -2. Suppose t = 5*h + 3*p - 34, 4*h - 3*h - p - 2 = 0. Let i = 0 + 0. Solve h*k + 15 = i, 3*g - g - 22 = 4*k for g.
5
Let u(b) = b - 2. Let m be u(4). Let s = 0 + 5. Solve -m = 4*f + 4*c + 6, -s*c - 7 = 4*f for f.
-3
Let i(u) = u**3 + 4*u**2 + 3*u. Let n be i(-2). Suppose 5*s = 63 - 3. Solve n*r - s = 4*o + 4, -r - o = 1 for r.
2
Let f = 69 - 65. Solve f*w + 3*p = 3 + 8, 0 = -4*p + 4 for w.
2
Suppose 5*h - 4*b = -13, -3*b = h - 0*b - 5. Let l = -4 + -2. Let u = h - l. Solve 0 = -5*d - u*n + 40, n + 22 = 5*d - 0*n for d.
5
Let j be 2/4*6*2. Suppose -2*c = -h - 15, -5*h = c + 2*c + 10. Suppose 0 = i - o - 2, -2*i = -i + 2*o - 5. Solve 4*b = -a - a + j, i*a - c = -2*b for b.
1
Let g(x) = x**2 - 8*x - 17. Let u be g(10). Solve -o - r - 8 = u*r, -r + 17 = 5*o for o.
4
Suppose 0 = -3*u + 5*i + 17, -u + 10 = -5*i + 1. Suppose -2*l = -u*l + 36. Solve 0 = -w + a + 6, 3*w - 4*a - l = w for w.
3
Suppose -4*n = -3*l + 26 + 1, l + 7 = -4*n. Solve y + 4*y + 3*i = 3, l*i = -20 for y.
3
Let q = 3 + -3. Let p be 1 - 2*(-1)/2. Solve 20 = p*h + s + s, -4*h - 5*s + 45 = q for h.
5
Let t(w) = -3*w**3 + 0*w**3 + 5*w**3 - 3*w**3 - w**2. Let l be t(0). Solve 3*n = o + 8, l*n - 5*n = -10 for o.
-2
Suppose 6 = -5*v - 4, 0 = -2*r - v - 30. Let a = -10 - r. Solve 3*m - 4*i = 17, 0 = -5*m + 2*i + 15 + a for m.
3
Let y be ((-8)/2 + 0)*-4. Suppose -2*n - 2*n = 12. Let p be (-15)/n*1 + 0. Solve 2*o + 3*g = -3*o - y, 14 = -p*o - 2*g for o.
-2
Let x = -26 + 31. Solve -2*a + 2 = j - 4*a, x*j + 5*a = 25 for j.
4
Let a(m) = m**2 - m + 1. Let j be a(2). Solve 0 = -2*g, j*k - 15 = -0*g - g for k.
5
Let q(k) = -k**2 + k + 6. Let h be q(0). Suppose 0 = 3*a + 9, 3*a + 5 = -i - 1. Solve x = -2*y - 1, -5*y - 2*x = -i*x + h for y.
-1
Let d = 0 - 0. Suppose d = -2*b + 6*b - 24. Suppose n - b = -n. Solve 4*z - 4 = -4*i, -3*i + 2 = 5*z - n for z.
1
Let t be (0 + 2 + -3)*-3. Let c(x) = 3 - 5*x + 0*x**t + 6*x - 3*x**2 - x**3. Let g be c(-3). Solve 3*o + 2*v - 13 + 0 = g, 0 = -2*o - 5*v + 5 for o.
5
Suppose 2*z = 11*z. Solve z = 5*s - 2*k + k + 26, -2*s = 2*k + 8 for s.
-5
Let p(x) = -x - 1. Suppose -g = 2*g - 24. Suppose -s + g = -3*s. Let f be p(s). Solve o + f*l + l = 11, 3*o - 3*l = -12 for o.
-1
Let s = 10 - 6. Suppose -i - s*u - u = -23, 4*u - 80 = -3*i. Solve h + 11 = 2*x + 3, 4*x - 5*h = i for x.
2
Suppose 7*l - 52 = 3*l. Solve x = -5*q - l - 9, -5*x = q + 14 for q.
-4
Suppose 0 = -2*v - 2 + 8. Suppose 5*c - 113 = -3*o, -4*o = 3*c - 3 - 56. Solve 1 + 17 = -3*g - v*p, -5*g - 4*p = c for g.
-1
Let a = -15 - -28. Solve -4 = -2*f, m + 2*f = 4*m + a for m.
-3
Let h = 12 - 8. Let m = 2 + 2. Suppose 0 = m*k - 4*b - 16, -4*k + 1 + 12 = -3*b. Solve h*p + q - 1 - k = 0, -2*p - 4 = -2*q for p.
0
Let x(a) = -a**3 - 6*a**2 - 6*a - 2. Let n be x(-4). Let k(o) = o**2 + 9*o + 4. Let q be k(n). Solve -4*j + 2*p - q = 0, -6 - 18 = 3*j + 3*p for j.
-5
Suppose 2*q = n + 13, 6*q = 3*q + n + 20. Solve v + 4 = j, -2*v - q = v + 2*j for v.
-3
Let d be 0 - -3 - (-4 + 0). Solve -t = 3*v, -2*v = 4*t + 3*v + d for t.
-3
Suppose -5*a + 11 = w - a, -2*w + 10 = 2*a. Suppose t + x + 5 = 0, 4*t + 0*t - w*x = 15. Solve t = -5*j + h, -14 - 1 = -5*j + 4*h for j.
-1
Let d = 22 + -1. Solve -b - h = -3*h + 9, -d = -b - 4*h for b.
1
Let g be 2/(-6) - 122/(-6). Let n be 2 + (-3)/(-2 - 1). Suppose -13 - g = -n*o. Solve 2*k + o = -5*l - 16, 10 = -3*l + 5*k for l.
-5
Let p(n) = n**3 + n**2 - n + 2. Let z be p(-2). Let l(b) = -2*b**2 + 15*b - 21. Let m be l(5). Solve -2*u + 4*w + 8 = z, m*w = -3*u - 1 + 13 for u.
4
Let y(a) = -a**2 - 5*a - 2. Let u(c) = -c**3 - 3*c**2 + 5*c + 2. Let v be u(-4). Let h be y(v). Solve 2*b + 7 = -b - 2*d, -h*d + 16 = 0 for b.
-5
Let y be -6 + 28 + 3 + -1. Solve -2*b + 6 = j, -4*b + 3*j = -56 + y for b.
5
Let d(c) = -2*c**2 + 8*c + 17. Let g be d(5). Solve 5*n + g = 17, 0 = -5*u - n + 22 for u.
4
Let y(k) = -4*k. Let v be y(-8). Suppose 30 = 3*c + 2*c. Let w be (-70)/(-15) - 4/c. Solve -3*q = 2*a - 6 + 2, 4*q - v = w*a for a.
-4
Suppose 0*i - 3 = -i. Let o be (i + 0)*(-3)/3. Let m(k) = k**2 + 2*k + 1. Let s be m(o). Solve 15 = -3*b - 3*n, -4*b - 5*n = 18 + s for b.
-3
Let f be 6/(-9)*-3*2. Let 