.
5
Suppose 0*a + 14 = 2*a. Solve -4*x - a = 1 for x.
-2
Let t(c) = c**3 - 18*c**2 + 3. Let s be t(18). Solve -s*h - 12 = -3 for h.
-3
Suppose 3*x + 0*i + 3*i = 30, i + 30 = 4*x. Suppose 14 = 4*s - 2. Solve x = -o + s for o.
-4
Let b be 2 - ((-30)/3)/(-5). Solve b*c + 4 = 4*c for c.
1
Let w be (1 + 0)*2 - 2. Let d be 2*(-2 - -3 - w). Let z be (d + 0)/((-8)/(-20)). Solve z*o - 2*o = 0 for o.
0
Let w = 11 + -2. Solve -2*i + w = -5*i for i.
-3
Let y be ((-39)/(-9) - 3)*(-18)/(-2). Solve -6*k + 3*k = y for k.
-4
Let y be 2/(-12) + (-13)/(-6). Solve 0 = -4*r + y*r for r.
0
Let f(x) be the first derivative of x**2/2 - 2*x - 1. Let v be f(2). Suppose -5*q = u + 14, 0 = -4*q - 0*q - 16. Solve v*k = -2*k + u for k.
3
Let c(j) = -j. Let w be c(-2). Suppose q - w*q - 2 = -4*h, -2*h = -3*q - 6. Solve -p - 5 + 1 = h for p.
-4
Let z(i) = 2*i**2 - 2*i - 1. Let n be z(2). Let f = 7 - 4. Suppose 73 = f*s + 28. Solve -2*r = n*r + s for r.
-3
Suppose -2 = -h + 3. Suppose 0 = -5*j + h. Let x = 1 + j. Solve -6*d + 8 = -x*d for d.
2
Suppose -f = 6*f - 9*f. Solve 3*d = -f*d - 6 for d.
-2
Let y = 1 - -3. Let a be 10/15 - y/(-3). Suppose 2*p - a - 6 = 0. Solve 0 = -3*h + p*h for h.
0
Let o = 11 + -1. Let y = 15 - o. Suppose -6*k = -3*k - 5*r + 19, 0 = y*k - 2*r. Solve -1 = -u + k*u for u.
-1
Suppose 2*r = -6 + 12. Solve -w + 2*w = r for w.
3
Let a be ((-8)/6)/(13/(-39)). Solve -a - 6 = 5*g for g.
-2
Let f = -2 - -19. Let g = -8 + f. Solve -3 = 2*q - g for q.
3
Let n(z) = -5*z**3 - z**2 + z + 1. Let o be n(-1). Suppose -28 = -o*c - 0*c. Solve g + c = 2 for g.
-5
Let p be (-370)/(-70) + 2/(-7) + 0. Solve -p*g = 2 - 17 for g.
3
Suppose 0 = 2*u - i - 5, 0 = 2*u - 2*i + 5 - 15. Suppose -5*n + 10 + 10 = u. Solve -5*o - 1 = n for o.
-1
Suppose 5*m - 29 + 4 = 0. Solve 22 = -m*r + 2 for r.
-4
Let n(o) = o**3 - 4*o**2 - 5. Let v be n(4). Let d be 2/((-2)/v*1). Solve 7*p + d = 2*p for p.
-1
Let o be (-188)/(-36) + 4/(-18). Solve 23 + 2 = -o*i for i.
-5
Let x(m) = -m**2 + 8*m - 8. Let y be x(6). Let v be 10/y*(-16)/4. Let q be (1 + v)*3/(-9). Solve 3 = 4*k - q*k for k.
3
Let j(f) = f**2 + 2*f - 1. Let s be j(-3). Solve -s*l = 2*l + 20 for l.
-5
Let h = 4 - 3. Let i be h + (-20)/((-2)/1). Let p = -5 + i. Solve -2*u + p = u for u.
2
Let k(b) = -b**2 - 7*b - 15. Let j be k(-7). Let u be j/(0 + (-3)/4). Solve 6*a - u = 2*a for a.
5
Let z be -5 - (2 + -6 + -5). Solve z*o + o = -10 for o.
-2
Suppose -6*m = -m + 4*y - 9, -4*m - 5*y = 0. Solve m*r - 8 = r for r.
2
Let o(s) = -s**3 + 6*s**2 - 5*s + 6. Let k be o(5). Let u = k - 6. Solve -2 = -2*v - u for v.
1
Let n(x) = 2*x**2 - 2. Let j(p) = 3*p**2 - 3. Let h(s) = -3*j(s) + 5*n(s). Let l be h(-1). Suppose l*f = 5*f - 15. Solve f*o - 4 = 11 for o.
5
Suppose -3*r = 15 - 42. Solve 4 = -5*s + r for s.
1
Suppose 0 = -4*s - 308 + 84. Let h be (-44)/(-7) + 16/s. Solve -h = 4*i - 2 for i.
-1
Let n(b) = b + 1. Suppose -3*t - 2*t = -15. Let c be n(t). Solve 2 = -2*p + c*p for p.
1
Let t(k) be the third derivative of -k**6/120 - k**5/6 + k**3/6 - 4*k**2. Let l be t(-10). Solve 14 + l = 3*u for u.
5
Suppose a + 8 = -2*o + 3*a, 0 = -3*a + 12. Suppose 3*d - 6 + 0 = o. Solve 0 = -7*r + d*r for r.
0
Suppose 7*i + 37 = 5*z + 3*i, 0 = 5*z + i - 22. Suppose 3*x + z + 4 = 0. Let j be ((-2)/5)/(x/60). Solve -o - 3*o - j = 0 for o.
-2
Suppose -a = -2*k + 5, 0*k = 4*k + 2*a + 10. Let h = 5 - 1. Suppose k = -h*c + 4*x + 32, -5*x - 5 = -c + 7. Solve -5*g - c = -32 for g.
5
Suppose 3*c + 3*l = 5*c + 8, 5*l - 20 = 0. Solve 9 = y + c*y for y.
3
Let z(s) = -s**2 + 11*s - 10. Let u be z(10). Solve k + 0 - 2 = u for k.
2
Suppose a + 0*a = -l - 5, a = 4*l + 25. Let r(o) = o**3 + 6*o**2 + 2*o - 1. Let y be r(l). Let p = y - -18. Solve -p + 1 = -h for h.
4
Let k(o) = o**2 - 3*o - 7. Let a be k(6). Let p = a - 8. Solve 0 = -p*j - 0*j + 6 for j.
2
Suppose 0 = 2*y - 8*c + 3*c, 3*y - 19 = -2*c. Solve -y*k + 11 = -4 for k.
3
Let i(k) = k**2 - 3*k + 5. Let g be i(3). Solve -g*v + 3 = -2*v for v.
1
Let o(g) = g**2 + g + 1. Let i(w) = 6*w**2 + 14*w + 13. Let b(v) = i(v) - 5*o(v). Let y be b(-8). Solve c - 1 = -y*c for c.
1
Suppose 0 = -0*w - 2*w. Let m be -1 - 1 - (0 + -6). Suppose -c - c = -m. Solve w = -c*o + 3*o - 5 for o.
5
Suppose 5*d - 32 = 38. Solve -d = -3*v - 5 for v.
3
Let a = 1 - -3. Solve -2*x + 3*x + a = 0 for x.
-4
Let d = 97 + -88. Solve -6*l + d = -3*l for l.
3
Suppose 2*u = -0*u + 6. Solve 6 = -0*t - u*t for t.
-2
Suppose -24 = -d - 2*d. Solve 0 = z - 5*z - d for z.
-2
Let c(t) = 3*t**2 + 2. Let g be c(-2). Let v = g - 10. Solve 3 + 13 = -v*s for s.
-4
Let i = -7 + 9. Suppose t - 9 = -i*t. Suppose -t = -d - 0. Solve d*m + 14 = -1 for m.
-5
Suppose 12 = -4*l + l. Suppose -4*r - 5*z = 22 + 12, 4*r + 2*z = -28. Let d be (5 - 2)/r*l. Solve 1 = -v - d for v.
-3
Let k be (0 + 1 - 3) + -2. Let d = -2 - k. Solve 0*b + 4 = d*b for b.
2
Let i be 112/18 - 2/9. Suppose -1 = c, -y + c + 4 = 1. Solve -i = y*s + 2 for s.
-4
Suppose z = -3*z - 8. Let l be ((-3)/z)/(3/(-6)). Let r = l + 3. Solve r = -2*a + 3*a - 3 for a.
3
Let z(y) be the first derivative of y**4/4 - y**3 - 2*y**2 - 1. Let l be z(4). Solve 4*h + l*h = -20 for h.
-5
Let b be (-3)/(3 + (-40)/12). Let m(a) = 2*a**2 - 4*a - 1. Let j be m(3). Let w = b - j. Solve -2*f = -2 + w for f.
-1
Let h(f) = -f**3 - 6*f**2 + 5*f + 1. Let z(n) = n - 17. Let r be z(10). Let q be h(r). Solve 3*w = -0 + q for w.
5
Let y = 2 + 2. Let w(t) = t - 2. Let b be w(y). Solve b + 3 = -5*u for u.
-1
Let o = -5 - -8. Suppose -o*g = -0*g. Let r be (-1 - -3) + -2*1. Solve 4*a + g*a = r for a.
0
Let z(r) = r**3 - 11*r**2 - 11*r - 8. Let d be z(12). Solve -d + 1 = 3*o for o.
-1
Let n(a) = -a**2 - 5*a - 1. Let x be n(-4). Solve 0 = -x*c + 4*c for c.
0
Let k be (-10)/(-4) - (-1)/2. Let t = k - 3. Let h be -1*(-3 + t + 2). Solve -3*g - 10 + h = 0 for g.
-3
Suppose -12 = -z - 3*z - 4*w, w = -5*z + 15. Let p = 0 + z. Solve i = p + 2 for i.
5
Let x = -6 + 3. Let y be 4/x*6/4. Let n be 3 + 4 - y/(-2). Solve n*h = 4*h - 8 for h.
-4
Let c = -45 - -48. Solve -c*o - 1 = 11 for o.
-4
Let k = -4 - -6. Suppose 0 = r - 7*j + 2*j + 1, 20 = k*r + j. Suppose -g + 3 = -2*z - 2*z, 3*g - 3*z = r. Solve -w + 4 = g*w for w.
1
Let a(f) = f**3 - 10*f**2 + 3*f - 10. Suppose -2*x + 6*x - 40 = 0. Let w be a(x). Solve t + w = -4*t for t.
-4
Let j = 14 - 10. Let i = -34 + 34. Solve i = -n - j*n + 5 for n.
1
Let j be 0*1/(1 + -2). Let p(i) = -5*i + 35. Let a be p(6). Solve 2*w + a - 13 = j for w.
4
Let t = -11 - 1. Let u = -8 - t. Solve -u*q + 10 = 2 for q.
2
Let u(r) be the third derivative of -11/24*r**4 + 0 + 3/2*r**3 + 4*r**2 - 1/60*r**5 + 0*r. Let k be u(-11). Solve 5*l - 2*l - k = 0 for l.
3
Let q be (-10)/(-1)*(-13)/(-26). Suppose 0*z - 18 = z + 5*p, -8 = -2*z + p. Solve -q = z*u + 3 for u.
-4
Let v(k) = 21*k - 2. Let m be v(3). Suppose c + 3*c - m = 5*p, 5*p + 25 = 0. Let a be (c/6)/((-2)/(-4)). Solve 0 = a*s - 4*s - 1 for s.
-1
Let a(s) = s + 7. Let h be (4/(-8))/((-3)/(-30)). Let d be a(h). Solve -d = p + p for p.
-1
Suppose -17*i + 7 = -16*i. Solve i*a = 4*a + 3 for a.
1
Suppose -2*s = 3*y + 4, -5*s = -2*s + 15. Suppose 5*o + y*c + c = 0, -2*o = -5*c. Let n be 1*6*(-1)/(-2). Solve o = l + n - 0 for l.
-3
Suppose -i = -0*i - 4*s - 22, -5*i = -3*s - 42. Solve -i = -c - c for c.
3
Suppose 2 = r - 0. Suppose -r*d + d = 0. Solve d = 3*l - l for l.
0
Let x = 2 - 5. Let n = x - -5. Solve z = -n*z + 3 for z.
1
Let c = -39 - -39. Solve 3*w + w + 4 = c for w.
-1
Let p(t) = -7 + 3 - 2*t + 0. Let w be p(-3). Suppose 5 = -w*h + 7*h. Solve 0*s - h = s for s.
-1
Let w be -4 + 2/(-4)*-8. Solve -a - 4*a - 25 = w for a.
-5
Suppose -10*n + 17 = -23. Solve -5 = -n*x - 17 for x.
-3
Let f(h) = h**2 + 5*h - 9. Let i be (-18)/(-45) + (-13)/(-5). Suppose -2*w - i = 11. Let o be f(w). Solve 0 = o*l - 4*l - 3 for l.
3
Suppose 4*w + 4*s = -10 + 38, -s = 4*w - 13. Solve 5*l + 18 = -w for l.
-4
Let q = 6 - 2. Suppose 0 = -3*f + u - 3*u - 4, -4*u = -3*f + 8. Solve f*o = q*o for o.
0
Suppose -4*k - 3*l + 28 = 0, -2*l - 4 = -3*k - 0*l. Suppose k*r + 12 = -0*r. Let a be (-3)/(-1) + r/3. Solve a*n = -3 - 1 for n.
-2
Let j be (-4 - -1)*8/(-6). Let r be 1/(j - 2)*6. Suppose 8 = r*b + b. Solve -g + 2 = -b for g.
4
Suppose -3*q = -k, k + 3*k + 4*q = 0. Solve -y + 3*y + 6 = k for y.
-3
Suppose -4*b +