+ 3*r + 2 for f.
-4
Let q = 3 + -2. Let m = 3 + q. Let j = 4 + -2. Solve -a - j = 5*h, -h - m*h - 5 = 0 for a.
3
Suppose 10*n - 16 - 14 = 0. Solve n*r - r - 5 = 5*v, -v = 4*r + 23 for v.
-3
Let s = 20 - 3. Suppose 25 - 4 = 3*k. Let b = s - k. Solve a - 5*m + 20 = -8*m, -b = a + m for a.
-5
Let s(y) = 3*y - 5. Let x be s(-5). Let o be 6/(-5)*x/8. Solve f = 2*h + 2 - o, 4*f + 5*h = -17 for f.
-3
Suppose -2*c + 2*o - 14 = 0, 4*o = 5*o. Suppose 0 = -5*x + 4*g - 21, 11 + 3 = -2*x - 4*g. Let p = x - c. Solve -2*i + 14 = 2*l, 0 = 2*i - 4*l - p - 0 for i.
5
Let j = 29 + -24. Solve -b + j*g + 11 = 0, -3 = -2*b + 3*g - 2 for b.
-4
Let u be 58/10 - 2/(-10). Let n be -1*u/8*4. Let b = -1 - n. Solve w + 3*j + 12 = 0, 5*j = b*w + 3*j - 16 for w.
3
Suppose -2*b = -b. Suppose -h = -0*h. Let a = h + 1. Solve 5*t - 5*l = b, 5*t + 7 = 3*l - a for t.
-4
Let r = -35 + 52. Let l = r + -1. Solve 4*d = -4*j - l, 2*j + d + 12 - 3 = 0 for j.
-5
Let h(r) = 9*r - 2*r - 6*r + 7. Let a be h(-4). Solve -a*k - 13 = -b, -2*b + 1 - 10 = k for b.
-2
Suppose -11 = -2*b + 5*z, 0 = z + 2 - 1. Suppose 0 = -y + 4*s - 6, b*y + 2 = 5*s - 2. Let a = -2 - -4. Solve 0 = 5*l + y*h + 9, 3*h + 6 = a*l + 2 for l.
-1
Suppose 5*k - 14 = -3*n, -3*n + 14 = 4*k - 2*n. Solve -k*o - 1 = 3*q - 33, 19 = 3*o + q for o.
5
Suppose -o - o + 3*q + 19 = 0, 0 = -5*q + 15. Solve -5*r + 5 = -d - o, -2*r = 3*d - 11 for r.
4
Let h be (0/(-4))/((-6)/3). Solve 5*s + 3*d = h, -3*s + 19 = -3*d + d for s.
3
Let f be 6/4*(-12)/(-9). Let l = 4 - 0. Solve -8*q + l*q + 3*h = 11, 0 = f*q + h - 7 for q.
1
Let c(p) = -p**2 + 2*p + 3. Let a be c(4). Let y be ((-6)/5)/(2/a). Let f be ((-40)/10)/(4/(-1)). Solve k = f, 0*k - 2*k = y*q - 8 for q.
2
Suppose 45 = -2*p - p. Let s = p - -30. Solve -5*t + s = 4*g, g - 4*g = -t - 16 for g.
5
Suppose -5*x + 6 + 10 = -2*a, -2*a - 4 = -2*x. Suppose -2*h - a = -8. Let v = h - -2. Solve -3*w + 0*w = -v*q + 35, 13 = 2*q - w for q.
4
Let g = 19 - 15. Solve 3*w - 7 = i, -4*i - 6*w = -2*w - g for i.
-1
Let f(m) = m**3 - 6*m**2 + 3*m - 1. Let k be f(2). Let j = 31 + k. Solve b = -2*b + 4*u + j, -2*b + 2 = 3*u for b.
4
Let r be -1 - 1 - (6 + 0). Let v = 12 + r. Solve 4*w = 2*n + 10, 0 = -v*n + 16 - 4 for w.
4
Let w be 7/21 - (-16)/6. Solve w*i - 2*n + 6 = i, -2*i + 4 = 3*n for i.
-1
Let a = 6 - 4. Suppose 0 = -m - d - 14, -3*d + 8*d - 56 = 4*m. Let s = 22 + m. Solve -5*v + s = -c - 19, -19 = a*c - 3*v for c.
-2
Suppose -6*w + 5*w = -11. Let j be 24/11 - (-4)/(-22). Solve w = -t + j*t - 3*v, -3*v = -5*t + 7 for t.
-1
Suppose -2*l = -0*l - 40. Let r = 8 + l. Solve -3*n - v + 5 = -0*n, 4*n - 4*v = r for n.
3
Let q = -19 - -21. Solve 2*y + 2 = -5*m - 13, 0 = q*y - 3*m - 25 for y.
5
Suppose -5*y + 27 = -3. Let v = -7 + 10. Solve 5*t = -2*f + 2, -v*f = t - y*t + 22 for f.
-4
Let b(w) = w**2 + 4*w. Suppose -3*v + 2 - 3 = -a, -3*v = 6. Let x be b(a). Solve 5*d - 25 = -4*f - 0, 0 = -x*f - 4*d + 29 for f.
5
Let d(b) = b**2 - 6*b - 8. Let i be d(6). Let m be (i/4)/(4/(-8)). Solve -3*n + 12 = -3*r, -5*r = -m*n + 8 + 7 for n.
5
Suppose 5*r - 12 = 8. Solve 0 = c - 4*f - 19, c - 28 = -3*c + r*f for c.
3
Let o = 2 + 3. Suppose o*v = v. Let d = 3 - v. Solve -t + 2 = -u + 3*u, 2*u = d*t - 14 for u.
-1
Suppose 4*z = -2*l - 0*l - 4, -8 = l + 5*z. Solve -y - 5 = l*j, -j + 4 = 5*y + 2 for y.
1
Let y(m) = -5*m - 4 - m**2 - 2 + 0*m - 4*m. Let h be y(-8). Let x(v) = -v**3 + 6*v**2 + 8*v + 5. Let k be x(7). Solve -h*w + k = 2*q, 3*q = -w - 1 + 11 for w.
4
Let v = 10 + -8. Suppose 4*z = 6 + v. Solve -4*j - 3*g = -23, -2*g - g + 19 = z*j for j.
2
Let g = -18 + 20. Let u be -1 + g - (-7)/7. Solve 3*s - 35 = 5*k, 5*k + 5 = u*s - 5*s for k.
-4
Let o(z) = -z**3 - 8*z**2 - 6*z - 2. Let d be o(-7). Let u = d - -31. Let h be ((-4)/2)/(-1 - 0). Solve 10*y - 5*y + 2*g - 25 = 0, 0 = -4*y - h*g + u for y.
3
Suppose -u + 0*u + 3 = 0. Suppose -4*j + x = 10 + 46, u*j - x = -41. Let p = -11 - j. Solve -5*z - 3*b + p = 0, -4*b + 6 = -2*b for z.
-1
Suppose 3*f - 30 = 8*f. Let i = f - -8. Solve v - h = 7, -i*v = -0*v + 5*h for v.
5
Let o(s) = -2*s**3 - 5*s**2 - 3*s - 3. Let n be o(-3). Suppose 4*u = 2*f + 3 + 13, n = 5*f + u. Let t = -3 + 7. Solve -i - 3 = 0, -2*i + t*i + 2 = f*p for p.
-2
Let x = -3 - -5. Let c(q) = -q**3 + 6*q**2 - 5*q - 6. Let d be c(5). Let l(s) = -s**2 - 7*s + 1. Let u be l(d). Solve 5*j - 2*z - u = 4*j, x*j - 18 = 5*z for j.
-1
Let y = -9 - -5. Let s = y - 22. Let x = -4 - s. Solve 0 = -d + 4*n - x, -d - 5*n = -0*n - 23 for d.
-2
Suppose 14 = 4*o - i, -2*i - 16 = -4*o - o. Suppose o*w = 14 + 2. Suppose 0 = 4*z + w*m + m, -3*z - m = 0. Solve 2*l - 4 = 2*u, z*u + 4*u + 3*l + 1 = 0 for u.
-1
Let u = 15 - 7. Let o be u*(-3 - (-1 + -3)). Solve -3*n + o*n - 4*b = -25, -3*n = -2*b + 15 for n.
-5
Let h(z) = 2*z**2 + 12*z + 13. Let l be h(-5). Solve t = -i + 4, -i - l = 2*i for t.
5
Suppose -8*d + 6*d + 32 = 5*b, -5*b = 5*d - 50. Solve 2*c + 2 = d, -3*v = -4*c - 1 for v.
3
Let q = 5 - 1. Let s = -32 + 47. Solve -3*z + s = q*h, 4*z + 4*h - 12 = 4 for z.
1
Suppose p = 5*j + 28, -2*p + 3*j + 32 = 11. Suppose 4*x = 3*x + p. Solve 5 - 26 = 5*y - 4*v, -x*y = -3*v + 12 for y.
-5
Let n(l) = -l - 6. Let b be n(-8). Suppose 0 = b*u - 6 + 2. Solve -u*g = -0*g - 5*k - 5, 3*k = g - 3 for g.
0
Let t(x) = -x**2 + 4*x - 1. Let q be t(3). Let d be (0 + (q - 1))/1. Solve -a = -u - d, 6*a + 13 = -5*u + 3*a for u.
-2
Let j be (-10)/(-25)*10/1. Solve -2*q + j*o = 7*o + 7, 0 = -3*q - o for q.
1
Let c(y) = -y**3 - 7*y**2 - 7*y - 1. Let b be c(-6). Solve -4*n + n + 5*q + 25 = 0, -b = -2*n + q for n.
0
Let b(h) = h**3 - 6*h**2 - 7*h + 5. Let m be b(7). Solve 0 = -m*l + 5*n, 0*l = -5*l + 4*n - 5 for l.
-5
Let y = 16 - 31. Let j = 8 - y. Solve -4*b + b + 4*v + j = 0, -b - 4*v = 19 for b.
1
Suppose 3*z + 0*z - 15 = 0. Let g be 4*2/(-4) + 4. Solve 2*w - 4 = -g*w - 4*f, -z*f = -2*w - 5 for w.
0
Let a(s) = s**2 + 2*s + 6. Let h be a(-5). Solve -3*w - 31 = -5*v - 0*v, -h = -5*v - 2*w for v.
5
Suppose -24 = -5*l - 3*p + 13, -4*p = -5*l + 9. Solve -3*x + 9 = -4*s - 2, 5*x + l = -5*s for x.
1
Let k = 7 + -5. Let n = k + 1. Solve -2*v + 12 = 3*y, 0*y - 3*y = -3*v + n for y.
2
Suppose c + 20 = 5*c. Suppose -4*f + 2*d + 42 = c*d, -41 = -5*f + 2*d. Let b be ((-12)/f)/((-2)/6). Solve -a - b*m - 9 = 0, -2*m + 1 = -3*a + 2 for a.
-1
Let i(p) = 3*p - 10. Let y be i(8). Let f = 10 - y. Let a = f - -10. Solve -4*h + h - 7 = x, -x = 2*h + a for x.
-4
Let o be 224/140*(-5)/(-2). Solve -3*i + 14 = o*v, v + 1 + 3 = 3*i for i.
2
Let r be (1*-2)/(-14 - -12). Solve 0 = -f + g + 4 + r, -g = f + 1 for f.
2
Let d be (-4)/(3/((-3)/2)). Suppose -9 = -3*r - 0. Suppose -b = -d - r. Solve -2*p = -o - 9, -b*o + 2*p - 16 = 5 for o.
-3
Let y = -10 + 14. Suppose y*l - 6 - 26 = 0. Solve 3*j + 5*h = 6, -4*j - h + 2*h = -l for j.
2
Let s(y) = -y**3 - 7*y**2 + 4. Let x be s(-7). Solve 2*t + 18 = 4*f + x*t, -2*f + t + 7 = 0 for f.
4
Suppose 5*g = -3*w, g = -3*w - g + 9. Suppose 13 = w*k + 3. Let x(a) = -5*a**3 + 2*a**2 - 1. Let d be x(-1). Solve -k*s + 1 = m - d*s, -m = s - 1 for m.
1
Let j(n) = n**2 + 6*n + 11. Let p be j(-8). Solve -2*c - 3*q - 3 = -0, 5*c = 4*q + p for c.
3
Let r be (3/(-3))/(2/14). Let j(q) = -2*q - 9. Let k be j(r). Solve -4*v + 0 + 9 = -5*f, -5*v = -k for f.
-1
Let m(s) = s + 3. Let k be m(0). Suppose 3*n + 6 = 3*u, 0 + 4 = k*n - u. Solve -3*t + n = 4*o - 1, -t + 1 = o for o.
1
Let l(t) = 4*t**2 + 6*t - 5 + t**2 - 4*t**2. Let v be l(-11). Let b = -20 + v. Solve -y - 5*o - b = y, -19 = 3*y + o for y.
-5
Let u(n) = n**3 + 6*n**2 + 6*n + 7. Let i be u(-5). Let h = -2 + i. Let t be (-129)/(-27) - (-2)/9. Solve h = t*l + 2*b - 28, -l + 2*b - 5 + 1 = 0 for l.
4
Let w(p) = 2*p - 2. Let x be w(2). Suppose s = -4*s + 3*c + 26, -3*s - 5*c = -x. Solve 0 = -o - 2*d - 4, -12 = 2*d - s for o.
4
Suppose 8 = z - 5*z. Let m = 5 + z. Solve 2*i + 18 = -m*v - 5, 3*v - 2*i + 7 = 0 for v.
-5
Let a(j) be the first derivative of -j**3/3 + 7*j**2/2 - 5*j - 6. Let p be a(5). Solve -d + r = -3, -1 = p*d - 3*r - 18 for d.
4
Let m be 4 + (-2 - -3) + -3. Let x be (3 - 1)/(1 - 0). Solve x*s = -m*s + h + 3, 4 = -3*s + 2*h for s.
2
Suppose 0 = -4*v - 5*s + 95, -85 = 2*v - 4*v + 5*s. Suppose -d + 4*d - v = 0. Solve -2*t - 3*h = 5 + d, 2*h = -10 for t.
0
Let w(k) = -k**3 + 5*k**2 + 6*k + 5. Let s be 