 2 for r.
-1
Let k be 6*(3 + 0)/9. Suppose -5*z - 4 - 11 = 0, -k*n = z - 5. Suppose -j + 5 = -n*b + 20, -40 = -4*b - 4*j. Solve 0 = b*h - 2*h for h.
0
Suppose 2*v - 6 = -0*h + 3*h, -4*v = -3*h - 18. Solve -5*o + 9 + v = 0 for o.
3
Suppose -5*c - 12 = -4*v, 2*v = 5*c - 3*v + 15. Solve c = -0*l - l for l.
0
Let k = 19 - 15. Solve 0 = -k*f + 10 + 6 for f.
4
Let t(w) be the first derivative of w**4/6 + w**3/3 + w**2/2 - w + 2. Let x(l) be the first derivative of t(l). Let n be x(-2). Solve -n*c = -0*c + 25 for c.
-5
Let z = 5 + -1. Suppose z*g + 11 - 47 = 0. Suppose -3*o - 3*y + g = 0, 2*y - 5 = -o + 3*y. Solve -2*w + 0 = -o for w.
2
Let s(u) = 2*u**2 + 10*u + 2. Let p be s(-5). Solve 0 = p*a + 5 + 1 for a.
-3
Let t = 25 + -25. Let j(q) be the third derivative of q**4/24 + 5*q**3/6 + q**2. Let f be j(t). Solve -f*r + 29 = 4 for r.
5
Suppose 5*s - 8 = -4*c, 4*s + 3*c - 9 = -2. Let r = 7 - s. Solve 8 = -r*m + 20 for m.
4
Let u(z) = -z - 2. Let t be ((-4)/6)/((-1)/(-6)). Let f be u(t). Suppose 0 = 4*q - f*o - 9 - 1, -16 = -5*q - o. Solve q*i - 6*i = 3 for i.
-1
Suppose -4*h = 0, -5*f + 18 = -2*f - h. Suppose -f*j = -9*j. Solve 2*x = 2 - j for x.
1
Let x(y) = 6 - y**2 - y**3 - 1 - 3 + y. Suppose 2*s - 4*u = -3*s - 4, 3*u = 2*s + 3. Let v be x(s). Solve 3*g = -v*g + 15 for g.
3
Let y be (-5)/(-10)*36/2. Solve -y = -3*j - 0 for j.
3
Let g = 8 - 5. Suppose -6*l + 4*l + 2*r = -4, 4*l - g*r = 11. Solve l*y = 3*y for y.
0
Let h = -28 + 4. Let g = h - -24. Solve g = -0*m - 3*m for m.
0
Let g = -2 - -8. Let c be 2/3 - (-8)/g. Suppose 4*d + 7 = -5, -2*s = c*d. Solve -2*x = -s*x for x.
0
Let x(v) = -v**2 - 10*v + 4. Let s be x(-10). Let g = 6 - s. Solve -3*y = g*y for y.
0
Let b(k) = -10*k + 14. Let n be b(1). Solve z - 25 = -n*z for z.
5
Let j be (-84)/(-10) - 10/25. Suppose -5*n + j - 3 = 0. Suppose 2 = -x + 6. Solve x*d - 15 - n = 0 for d.
4
Suppose 66 = 6*l - 0*l. Solve 0 = 3*f - 2 + l for f.
-3
Suppose -q + m = -9, 5 = -m - 0. Let t be (-6)/2 + -2 + 2. Let b = 8 + t. Solve r - q = b*r for r.
-1
Suppose h - 6*h = -4*q + 24, 15 = -q - 4*h. Let c(v) = 5*v**2. Let p(w) = -w**3 + 4*w**2 - 2*w - 4. Let i be p(3). Let t be c(i). Solve 4*s = -t + q for s.
-1
Let l = 17 - 10. Let r(x) be the second derivative of x**3/6 - 2*x**2 - 3*x. Let w be r(l). Solve -w*o = -6*o for o.
0
Let o(f) = f + 4. Let c be o(4). Suppose -3*r - l = -53, 96 - 3 = 5*r - 3*l. Let x be 34/c + r/24. Solve -x - 10 = 5*z for z.
-3
Let n(h) = -h - 7. Let t be n(3). Let x = -10 - t. Solve g - 1 = -x*g for g.
1
Let p be (-1 - 2)*(-3 + 12/9). Solve 2*j - 3 = -p for j.
-1
Suppose b - 5*b = -8. Let j be (-2)/(-6) - 6/(-9). Solve b*a + j = 3 for a.
1
Let f = -22 - -34. Solve 0 - f = 4*t for t.
-3
Let o = 10 - 7. Solve o*f + 2 = -1 for f.
-1
Let r(g) = -g**3 + 2*g + 1. Suppose y - 13 = 5*u - 3, 2*u = -2*y - 4. Let z be r(u). Solve -z*i = -0*i + 25 for i.
-5
Let m(o) = o**2 + 2. Let c be m(0). Let f(s) = 2*s**3 - 2*s**2 + s. Let n be f(c). Let b be (n + -1)/3 + 1. Solve -b*p + 9*p = 0 for p.
0
Let r = 23 - 22. Solve r = 2*g - 1 for g.
1
Suppose 4*l = -h + 9, 2*h - 31 = 3*l - 2. Solve h = -5*q - 7 for q.
-4
Suppose 5*o - 4 = -2*c, -o - 2*c + 0*c = -4. Suppose -4*w - w + 20 = o. Solve w*i = -0*i for i.
0
Let v be 6 + (-3 - -1)/2. Solve -v - 4 = -3*n for n.
3
Let x be 7 + 0 + 1 + 6 + -10. Solve -x*o = -0*o + 20 for o.
-5
Let m(s) = s**3 + 6*s**2 + 7*s + 4. Let h be m(-4). Suppose -5*w - h = -3. Let k = 1 + w. Solve k = -3*p - p - 12 for p.
-3
Suppose 4*r = 3*r + 3. Solve -r*f = -0*f for f.
0
Suppose 4*p = 3*p + 23. Suppose 5*c - 6 = -3*u + p, -4*c + 25 = 3*u. Suppose -2*m = u*m - 10. Solve s = -m*s + 9 for s.
3
Let n = 219 + -143. Suppose 0 = 5*l + 49 + n. Let o be (-20)/l + 2/10. Solve o = -2*y - 5 for y.
-3
Let r(j) = j**3 + 4*j**2 + j - 2. Let p be r(-3). Let o be 10 - (0 + (p - 2)). Solve -23 + o = 3*f for f.
-5
Let a(i) = -i - 1. Let u be a(-1). Suppose 3*v - 4*d - 44 = 0, -5*v + 2*v + 5*d + 49 = 0. Solve u = -3*q - 1 - v for q.
-3
Let k be 13 + -1 + (0 - 0 - 2). Solve 2*v = 7*v + k for v.
-2
Let t(j) = j**3 - 7*j**2 + 7*j - 2. Let v be t(6). Suppose -u + v = 3. Solve 8 = 3*w - u for w.
3
Let y(t) = -2*t**3 + 15*t**2 + 6*t + 19. Let n be y(8). Suppose -4*a + 7 = -1. Suppose a*z + 2*q = 8, 14 = -0*z + 4*z + 2*q. Solve n = z*s - 0 for s.
1
Let x be (-1)/(10/(-2)) - 1554/(-105). Solve -6*t = -t + x for t.
-3
Let h = 3 - -1. Let q = -4 + h. Solve q = d - 0*d + 3 for d.
-3
Let g = -37 + 52. Solve 5*u + g = -0*u for u.
-3
Let f = 12 - 8. Solve 0*q + f*q = 0 for q.
0
Let r(n) = 6*n**2 - 2*n. Let l be r(2). Solve 2*q - l = -2*q for q.
5
Let r(f) = 4*f**2 + 16 - 22 + f**3 - 2*f + 0*f. Let y be r(-4). Solve -g - 9 = y*g for g.
-3
Let r = -13 + 16. Solve -x - r*x + 16 = 0 for x.
4
Let l(o) = -o + 5. Let p(x) = -x**2 + x + 4. Let i be p(0). Let n be l(i). Solve 11 = -4*d - n for d.
-3
Let i = -11 + 15. Solve -x = -i*x for x.
0
Suppose 4*p + 6 = 2*j, 3*j + 3*p = p + 1. Suppose q - 2 = 1. Suppose g + 3*g - 16 = 0. Solve -q*c = -g*c + j for c.
1
Let p = 9 + -4. Suppose -p*m + 3*m + 4 = 0. Solve -3*j = m*j + 15 for j.
-3
Suppose 0 = -2*p - z - 2*z + 1, -z = p - 2. Solve -7 + 2 = p*l for l.
-1
Let d(y) = -y**3 - 3*y**2 - 2*y + 2. Let v be d(-2). Solve -5*f + v - 17 = 0 for f.
-3
Suppose 3*c + 14*c = 68. Solve -3*f = -c + 16 for f.
-4
Let i(u) = -u + 2. Let n(c) = -5*c + 8. Let a(v) = -9*i(v) + 2*n(v). Let r = -8 + 4. Let l be a(r). Solve 0 = -j + l*j - 3 for j.
3
Let s = 5 - 5. Suppose s = h - 4*x - 6, 0*x + 18 = 3*h + 5*x. Solve -q - h = 2*q for q.
-2
Suppose -t - p + 8 = 0, -2*t = -0*p - 5*p + 19. Let g(c) = c**2 + 5*c - 6. Let y be g(-6). Suppose 3*d + y*d = 0. Solve 3*m = t - d for m.
1
Suppose q + 2*r + 23 = 6*q, -r + 6 = q. Let b = -2 - -5. Let k = q - b. Solve 4*p = 14 - k for p.
3
Let b be (-4)/8 - (-5)/2. Let j = 11 - 1. Suppose 5 - j = -i. Solve 7 = i*s + b for s.
1
Let h(f) be the second derivative of -f**3/6 + 11*f**2/2 + 2*f. Let k be h(10). Let v = k - -2. Solve -v*q - 12 = q for q.
-3
Suppose 4*j + 1 = 13. Let f be 4*(3/1)/j. Solve 0 = w + w + f for w.
-2
Let u = -3 + 4. Let l = 3 + u. Solve -5 = -l*g - 1 for g.
1
Let a = -2 - -4. Let l be a/((1 - 4) + 1). Let o be ((-1)/(-1))/(l/(-5)). Solve 2*q - o = -3*q for q.
1
Suppose -2*k = 3*k - 3*k. Solve k = n - 3*n + 2 for n.
1
Suppose a = 4*n + 13 + 15, -n + 3 = a. Solve i = -5 + a for i.
3
Suppose -4*p = -7*p + 18. Suppose -2*q + 5*q - 3 = 0. Suppose 1 = -h + 2*x - q, 5*h - 16 = -3*x. Solve j - h = -p for j.
-4
Let d be -1 + 28 + -6 + 3. Suppose -r - r + 14 = 2*w, 4*w + 3*r - 26 = 0. Solve -w*p - 4 + d = 0 for p.
4
Suppose 5*z - 4*p - 20 = 0, -5*z - 4 - 11 = 3*p. Solve -2*j - 4 - 2 = z for j.
-3
Suppose 2*j + 3*v - 24 = 0, 5*v + 9 - 45 = -3*j. Solve -3*b + 0 = -j for b.
4
Suppose 5*m = 2*m + 30. Let k = m - 6. Let r(c) = -c**2 + 5*c - 3. Let v be r(3). Solve -2*x = -v*x - k for x.
-4
Let o(f) = 6*f - 17. Let r(u) = 5*u - 16. Let k(p) = 4*o(p) - 5*r(p). Let d be k(10). Solve -d = -x + 2*x for x.
-2
Suppose -2*c + 4 = -4*g, 4*c - c - 11 = g. Let p = 7 - 4. Let t be (8/6)/(2/p). Solve 3*b - c*b - t = 0 for b.
-2
Let s(f) = -f + 8. Suppose 0 = -3*l - 2 + 14. Suppose -35 = -9*m + l*m. Let w be s(m). Solve 5*n - 4 - w = 0 for n.
1
Suppose -3*a = 2*a - 80. Solve -j = 3*j - a for j.
4
Let n(z) = z**2 - 13*z - 22. Let t be n(15). Solve 0 = -0*j - 4*j + t for j.
2
Let l = -1 - 1. Let w be l/(-9) + 104/18. Solve -4*v = -6 - w for v.
3
Suppose 0 = -4*k + 4*f - 12, 3*k - 3*f = -f - 8. Let w be -4 + 13 - (-1 - k). Solve 0 = 3*d - w - 4 for d.
4
Suppose 0 = -3*f + 6*f - 84. Suppose 15 = 2*j - 5*a, 2*a = 4*j - j - f. Let g be -1 + 3 + (-4)/2. Solve 2*i = -g*i + j for i.
5
Let m(h) = -h**2 - 18*h + 44. Let i be m(-20). Let r(c) = c**2 + 5. Let g(b) = b - 6. Let s be g(6). Let p be r(s). Solve d + p = -i*d for d.
-1
Let s(r) be the second derivative of 7/2*r**2 - 3*r + 1/6*r**3 + 0. Let u be s(-5). Solve 0*f + 2 = -u*f for f.
-1
Let o = -78 - -81. Let a = 30 - 17. Solve -4*f = -a - o for f.
4
Suppose -5*l - 24 = -7*l. Suppose 15*g - l = 11*g. Solve 0 = 4*t + 5 + g for t.
-2
Let g(c) = -3 + 5 - 14*c - 1. Let k be g(-1). Suppose -4 - 11 = 5*u, k = -5*h - 5*u. Solve -3*d + h*d = 15 for d.
-5
Suppose 5*l - 2*o = -33, -3*o - 37 = 5*l - o. Suppose -n - 3*n = 0. Let c be l/(-