Let u be -2 + ((-4)/5)/((-8)/20). Solve u*r - 3*r + 15 = 0 for r.
5
Let r be (24/4)/(2 - 0). Let x = r - 1. Solve -3*v = -x*v + 2 for v.
-2
Suppose 0 = p + 2*t - 1, -p - 5*t + 10*t + 22 = 0. Let z(j) = j - 6. Let d be z(6). Suppose m + 4*v - p = 0, 5*v - 6 + 1 = d. Solve 0*k + 9 = m*k for k.
3
Let r be (-5)/(-2) - 10/(-20). Solve r*n = -2*n for n.
0
Let i be 52/14 - (-24)/84. Solve -1 = -i*n + 3 for n.
1
Let r(t) = -2*t + 22. Let d be r(9). Suppose 4*u = 2*u + d. Solve u*c - 1 = c for c.
1
Let l be (-51)/(-68) - (-59)/(-4). Let v = l - -16. Solve -w + v = w for w.
1
Suppose 0 = -r - 4*r + 4*s - 8, 0 = -2*s - 6. Let k be 2/((-4)/2)*r. Solve -k*l + 7 = -1 for l.
2
Let b = -2 + 5. Suppose -3*k = -4*d, -k + b*k = -4*d. Solve 3*c = 9 - k for c.
3
Let k(i) be the first derivative of 2*i**3/3 - 3*i**2/2 + 5*i - 1. Let j be k(4). Solve 2*p + j = -3*p for p.
-5
Let q = -33 - -36. Solve -2*o = -o - q for o.
3
Let w be 2/(-3*(-1)/6). Solve w*l + 8 + 0 = 0 for l.
-2
Let c(t) = 3*t - 2. Let k be c(-3). Let p be 2/11 - 20/k. Solve p*j = j + 5 for j.
5
Let d be 18/4*(-4)/(-6). Let q(r) = -r**2 + 9*r - 3. Let a be q(8). Suppose 15 + a = 5*t. Solve d*f = 5 + t for f.
3
Suppose -5*r + 24 = -16. Let i(k) = -2*k - 3. Let d be (-2)/(8/3 - 2). Let t be i(d). Solve t*m + 4 = -r for m.
-4
Suppose -3*p - z + 26 = 0, 3*p - 4*z - 35 - 11 = 0. Suppose 4*w - 14 = p. Solve -3*t = -w*t - 12 for t.
-4
Let z = 6 - -9. Suppose -2*s + z = s. Solve 3 + 2 = s*d for d.
1
Let u be (3/2)/((-9)/(-12)). Solve -u*b = -1 - 3 for b.
2
Let o = 25 + -21. Suppose 5*p - 5*d + 20 = 0, 3*d = 5*p - 0*d + 10. Let l = o - p. Solve -20 = -w - l*w for w.
5
Let c(m) be the second derivative of m**4/12 - 5*m**3/2 - m**2/2 + m. Let l(j) be the first derivative of c(j). Let d be l(10). Solve 19 = -d*v - 6 for v.
-5
Suppose -n + 5 = -3*y + 2*y, 17 = -3*y + 5*n. Let a = 3 - y. Solve 2*f - 1 = a for f.
4
Suppose 34 = -3*f + 13. Let x = f - -4. Let a be x/(-9) - (-16)/6. Solve a*g + 4 = 5*g for g.
2
Let d = -1 - 1. Let i = 1 - d. Let l be (-3)/9 - (-22)/i. Solve 3*z + 1 - l = 0 for z.
2
Let z(x) be the second derivative of -x**5/20 - x**4/3 + x**3 + 7*x**2/2 + x. Let g be z(-5). Solve g = -3*r + 5*r for r.
1
Let p(y) be the first derivative of 3*y**4/4 - y - 3. Let z be p(-1). Let f(r) = -r**2 - 4*r + 4. Let x be f(z). Solve -5*t = -t - x for t.
1
Let g(o) = -o**2 - 8*o - 5. Let v be g(-7). Suppose v*j = -3*n - 12 - 8, 4*n - j = -12. Let d be -1 + 1 + (-12)/n. Solve -2*x + d = x for x.
1
Suppose 5*w - 7 = 3. Suppose 0 = 5*q + v + 4, 4*v - 2*v = w*q - 8. Solve -3*f + 0 + 3 = q for f.
1
Let n be 0/2 + 0 - -2. Let j = 53 + -52. Solve -a + n = j for a.
1
Let j = -47 + 51. Solve -j*z = -z - 3 for z.
1
Suppose 0 = 5*a - 8*a + 15. Solve 0*d = -a*d - 20 for d.
-4
Suppose 3*c - 25 + 1 = 0. Suppose 23 - c = 5*z. Solve 3*a = -z - 3 for a.
-2
Suppose 0 = 17*b - 12*b - 25. Solve 0 = -3*t + b + 4 for t.
3
Let g(o) = 38*o - 28. Let p be g(1). Suppose 0 = 2*v - 7*v - d + 9, 0 = -v + 5*d + 7. Solve -v*t = -0*t + p for t.
-5
Let d = -20 + 19. Let i be 1/1*(1 + d). Solve -3*s + s = i for s.
0
Let f = 3 + -3. Solve 3*h + 2*h + 20 = f for h.
-4
Suppose 0*s - 2*s = -2*m - 10, -5 = -2*s - 3*m. Suppose -s*f = -0*f - 8. Solve -f*b + 20 = -6*b for b.
-5
Let k = -2 - -7. Suppose b = -b - 8, 0 = -k*s - 4*b + 24. Solve 4*w - 2*w + s = 0 for w.
-4
Suppose -s - h - 3 = -3*s, 0 = 3*s - h - 7. Solve s*b = 2*b for b.
0
Let n(b) be the first derivative of b**4/4 + b**3/3 - b**2/2 + 39*b + 1. Let t be n(0). Suppose 3*w = d + t, w - d + 33 = 4*w. Solve -v = 2*v - w for v.
4
Let b(o) be the first derivative of o**4/4 + 2*o**3 + 2*o**2 - 3*o - 3. Let f be b(-5). Solve 0 = f*r + r for r.
0
Let m be (2/(-5))/((-2)/10). Suppose 0*b - 2*b - 27 = -5*c, 2*c - 5*b - 15 = 0. Suppose -c*l = -4*l. Solve l = -u - m*u + 6 for u.
2
Let b be (0*1/2)/1. Solve -1 + b = y for y.
-1
Suppose 2*i + 24 = 3*t + 3, -3*t + 3*i = -21. Suppose t = 3*q + 1. Solve 0 = -3*a + q*a + 2 for a.
2
Let n(x) = x**3 - 4*x**2 - 11*x + 8. Let s be n(7). Let m be (-74)/(-26) + 12/s. Solve -2*l + l = m for l.
-3
Let k(u) = 4*u**3 - 2*u**2 + 2*u - 1. Let n be k(1). Suppose 2 = n*f - 2*f. Let r = -3 + 5. Solve f*t - 4*t = r for t.
-1
Let v(g) = -g - 5. Let o be v(-7). Let m = 22 + -20. Suppose -3*x = -6*x + o*s + 4, 0 = -x + 4*s - m. Solve x + 3 = c for c.
5
Let b(y) = y**2 - y + 3. Let n be b(8). Suppose -4*a = i - 62, 5*a + 3*i - n = 22. Solve a + 0 = 5*d for d.
3
Let l = 62 - 58. Solve 0 = -0*w - 2*w + l for w.
2
Let j(g) = -g**2 - 10*g - 5. Let r be j(-9). Solve -r*d - 14 = 2 for d.
-4
Let t be (-2)/(-3)*3/(-2). Let j = 1 - t. Solve -k = -j*k - 1 for k.
-1
Let t(w) = w**2 - w + 20. Let m be t(0). Solve -5*i - m = -5 for i.
-3
Let v(y) be the first derivative of y**2/2 - y - 2. Let q be v(3). Solve f + q + 1 = 0 for f.
-3
Suppose 5*c + 4*b = -1, c + 11 = 2*c - 2*b. Suppose -c*j - j = -12. Let x = -7 + 8. Solve -4 + x = j*s for s.
-1
Let u(t) = 6*t - 1. Let s be 22/26 - 12/(-78). Let q be u(s). Solve -12 = 2*h - q*h for h.
4
Suppose -a - 1 = -6. Suppose 2*c - a*h + 1 + 5 = 0, 3*c + h - 8 = 0. Solve 0 = c*x + x for x.
0
Suppose 3*s + 5*w - 26 = -3, 4*s - 3*w - 21 = 0. Solve 5*n - 14 = s for n.
4
Suppose -3*g = 5*c - 2*g + 2, 4*g = -c - 8. Suppose 5*r - 15 - 5 = 0. Solve c = -o + r*o for o.
0
Let h(s) = -s**3 - 6*s**2 + 4*s - 4. Let j be h(-7). Let r = 18 - j. Solve 0 = q - r - 3 for q.
4
Suppose -3*q + 5 = -1. Let g(o) = -2*o**2 - 4*o + 6. Let v be g(4). Let d be 12/v*(1 + -8). Solve 0 = b - q*b - d for b.
-2
Suppose -4*j - j = 0. Suppose j = -2*i - 0*i + 32. Let o(x) = x**2 - 4*x + 7. Let d be o(2). Solve d*y + i = -y for y.
-4
Let l(x) be the second derivative of x**4/24 + x**3/6 + x**2 - x. Let s(i) be the first derivative of l(i). Let b be s(1). Solve -b*d = -3*d for d.
0
Let o(z) = -z + 18. Let s be o(14). Solve 15 = s*x - x for x.
5
Let b(s) be the first derivative of -s**2 + 3 - 4 - 2*s - 7*s. Let n be b(-6). Solve -n*r = r for r.
0
Let y be -1 + (3 - 2 - -4). Let d be (-3)/y - 45/(-12). Solve 5*a = -18 + d for a.
-3
Let k(f) = f**2 + 1. Let b be k(-1). Let p be (0/(-8))/(b - 1). Suppose p = 2*g - 13 + 3. Solve 0 = g*a - 6 + 16 for a.
-2
Let b = 1 + 1. Let r be (-9)/12*b*6. Let a = r - -17. Solve -2*j + 0*j + a = 0 for j.
4
Let p(m) = m**2 + 2. Let l be p(0). Let t = l - -4. Solve t*g = g for g.
0
Let q = -3 + 5. Solve -q*s - 2*s = -12 for s.
3
Suppose 3*h - 5*h + 2 = -c, -5*h - 5 = -5*c. Let v = 4 - 1. Let a be (v/2)/((-1)/(-6)). Solve 0*g + h*g = a for g.
3
Let p be -2*(-11 - -2) - 4. Solve -4*v + p + 6 = 0 for v.
5
Let g(d) = d - 1. Let c be g(4). Suppose 0 = c*t + y - 1 - 46, 36 = 2*t + 3*y. Solve 4*x + t = -x for x.
-3
Let a be 14/(-21) - 100/(-6). Solve k - a = -3*k for k.
4
Let p be (-1 - (-12)/9)/(2/36). Solve -d - p = d for d.
-3
Let g be (-2)/(-8) - (-30)/8. Let s be (-2)/g*-8*1. Suppose -2*z - 6 = -s*z. Solve 2*x = -z*x + 5 for x.
1
Let f(w) = 4*w - 4. Let d be f(1). Solve 3*y = -d*y for y.
0
Let h = 2 - 0. Suppose 2*t = -a + 11, -3*t + 13 = -2*t + h*a. Let c be 2/5 - (-2)/(-5). Solve -5*z + t*z = c for z.
0
Suppose 3*b = -5*q - 2, 0*q - q - 4 = 0. Suppose -3*u + b = -0*s + 3*s, 0 = -3*s - 4*u + 7. Solve -2*y = -7 + s for y.
3
Let b be (4/3)/(3/(-9)). Let g be ((-2)/b)/(1/12). Solve g*a = 3*a - 9 for a.
-3
Suppose 22*n - 19*n = 36. Solve 7*i = 4*i - n for i.
-4
Suppose 5*v - 10 = 0, 4 = -0*a - a + 5*v. Solve a*r - r + 10 = 0 for r.
-2
Let x(r) = 2*r**2 - 6*r + 6. Let q be x(2). Solve 4*p + q = 6 for p.
1
Suppose -3*h + 0*a + 5*a + 40 = 0, 2*h + a - 5 = 0. Let n(m) = -2*m**2 + 3*m**2 - 3 + 2 + h*m. Let j be n(-6). Solve 0*d = d + j for d.
-5
Suppose 4*z - 17 = -5. Suppose -z*d = 2*d + 3*a + 38, 3*d = 3*a - 42. Let r = d + 14. Solve 0*y = r*y for y.
0
Suppose -6*r + 2*r = -5*q + 4, -r + 20 = 4*q. Solve -q*w = 3 + 1 for w.
-1
Let o(z) = -z**3 + 6*z**2 + 8*z - 6. Let m be (-54)/(-8) + 2/8. Let l be o(m). Let f be l/(2/12*2). Solve -g = -4*g + f for g.
1
Let o(p) = -7*p - 3. Let b be o(-2). Suppose -3 = 3*f + 6, -3 = -k - 2*f. Let d = -5 + 10. Solve -d*y - b = k for y.
-4
Suppose 46*g + 80 = 54*g. Solve 15*u + 15 = g*u for u.
-3
Let h(j) = j**2 + 7*j + 6. Let s = -17 - -11. Let f be h(s). Solve f = -5*d + 29 - 9 for d.
4
Let t(s) = -3 + 15*s - 16*s + 10 + 8. Let v be 