 5*b for b.
3
Suppose i - 4 = 2*u, -2*u + 5*i = i - 2. Let r = u - -8. Suppose -3*b - 15 = 0, 4*b + r = -0*t - 3*t. Solve -t*n + 5 = -0 for n.
1
Suppose -j + 4*j - 6 = 0. Suppose -a + y + 13 = j*a, -2*y = -5*a + 21. Suppose -g + 0*b - b - 2 = 0, -a*b = -4*g + 19. Solve -g - 15 = -4*c for c.
4
Let j(o) = 20*o + 3. Let x be j(3). Let f be 329/x - 4/18. Solve f*s = -4 + 24 for s.
4
Let k = -1 + 1. Suppose -3 - 7 = -5*s. Suppose -14 = -4*n + s. Solve k = 6*b - n*b for b.
0
Let y(t) = t**2 - 14*t - 22. Let f be y(16). Solve 2 - f = 2*j for j.
-4
Suppose 9 = 17*h - 14*h. Suppose h = 3*p - 0. Solve -p = -4*r + 3 for r.
1
Let u be (-2)/3*(-18)/4. Suppose z = -u*z. Let a(r) = r**2 - 4*r + 8. Let b be a(2). Solve 8 = b*x - z*x for x.
2
Suppose -12 = -96*j + 93*j. Solve -2*w = -j*w for w.
0
Suppose -15 = -4*v + 13. Let l = -2 + v. Let k be (6/(-4))/((-1)/2). Solve 4*h - k = l for h.
2
Let g be (4 - -1)*48/40. Suppose 5*i - 4*i = g. Solve 12 = -3*a + i*a for a.
4
Suppose -2 = -3*h + 10. Solve 0*d - 4 = h*d for d.
-1
Suppose -4*c + 0*c = 0. Solve h - 5 = -c*h for h.
5
Let d(f) = -13*f**2 - 9*f - 4. Let i(w) = -7*w**2 - 5*w - 2. Let x(o) = -6*d(o) + 11*i(o). Let u be x(0). Solve u = -r + 3*r for r.
1
Let m = 40 - 10. Let a = m + -4. Solve -5*d + 1 = a for d.
-5
Let z(o) = 10*o**2 - 2*o + 1. Let a be z(1). Let j = 6 + -4. Let p(i) = i**2 - 3*i + 3. Let s be p(j). Solve a = -2*f - s for f.
-5
Suppose -6*p + 20 = -p, 23 = d + 5*p. Solve d = 4*c + 23 for c.
-5
Suppose h = 4*v - 3*v - 3, h = 2*v - 5. Suppose 0 = w + 5*s - 16, w - 4*s - 10 = -2*w. Solve w*p - v*p = -4 for p.
-1
Let m be 25 + -28 - (-3 + 0). Solve 3*f = -m*f - 12 for f.
-4
Let k(b) = b**2 + 16*b - 14. Let i be k(-17). Solve -i - 3 = -3*z for z.
2
Suppose 0 = -l + 3*t + 19, -2*l - 2*t - t + 2 = 0. Let a = l - 3. Solve -y + a = 3 for y.
1
Suppose -4*q = l - 2*l + 5, -7 = -3*l + 4*q. Let n be l*(0/(-1))/2. Solve -3*v = -n*v for v.
0
Let o be ((-4)/6)/((-2)/30). Let p(d) = -d**3 - d**2 + d + 3. Let z be p(-2). Solve -5*t + o + z = 0 for t.
3
Let o be 3*(2 - 3)/1. Let z be 19 - ((-1 - o) + -2). Solve -3*x + z = 7 for x.
4
Suppose -2*c + 20 = -3*d, 4*c - 3*d - 34 = -0*c. Let v = c - 1. Let l be (14/2)/(v + -5). Solve l*i = 4*i + 9 for i.
3
Suppose -2*r = -4*r. Let i be (1 + -2*1)*r. Solve i = 3*z - 5 + 2 for z.
1
Suppose 2*r + g = 8, -3*g + 12 = 4*r - 0*g. Suppose -r*h = -2*h. Solve 3*a - 7*a - 4 = h for a.
-1
Let o(a) = -a**2 - 4*a + 2. Let l be o(-5). Let j = 3 + l. Let v(q) = -q + 5. Let g be v(5). Solve g = 4*k - j*k for k.
0
Suppose -4*w + 21 = l, 0*w + 2 = w - 3*l. Suppose i = w*u + 10, 4*i + i + 38 = 3*u. Let m be -1*2*25/i. Solve g = m*g + 12 for g.
-3
Let a(b) be the second derivative of 5*b**3/6 - b**2/2 - 3*b. Let g be a(1). Let s be 2*(3 - (3 + -1)). Solve -s*x = -0*x + g for x.
-2
Let n = 10 + -5. Suppose 0 = k, -n*l + k - 2*k = -25. Suppose 0 = l*z - 20 + 5. Solve -z*m = -3 - 0 for m.
1
Suppose 2*s = -g + 9 - 1, -s + 14 = 3*g. Let q = -13 + 33. Suppose 2*w - 3*w + 5 = 4*m, -q = -4*m + 4*w. Solve 0*t - m*t - g = 0 for t.
-2
Suppose -2*o = 9 - 13. Solve -o*p - 1 = 3 for p.
-2
Let w = 8 - 5. Suppose -3*a + t = w, -3 = 3*t + 6. Let d be 0 - 4/(a - -1). Solve 0 = d*u - 3 - 9 for u.
3
Let j be (-10)/(-1)*2/5. Let l be (2/(-2))/(5/(-15)). Let w = -3 + l. Solve j*h + 8 = -w*h for h.
-2
Let g be 22/(-3) + (-2)/(-6). Let j = 10 + g. Solve -3*a = j - 15 for a.
4
Let f = -134 - -136. Solve 14 = -f*g + 4 for g.
-5
Let b = -2 - -6. Let f = 13 - 14. Let l = b + f. Solve 2*c = -l*c + 15 for c.
3
Let q(u) = 5 - 2 - 3*u + 2*u + 4. Let k be q(-6). Solve k = -5*g - 12 for g.
-5
Suppose -2*o - 4*c = -22, -o + 2*o = -4*c + 19. Suppose -o*q - 2*q = -45. Solve q = -4*d - 7 for d.
-4
Let o be 1/2 + 358/4. Let k be 8/10*o/12. Let u(v) = -2*v - 3. Let z be u(-4). Solve z*l + k + 14 = 0 for l.
-4
Let t(v) = -v**3 + 2*v**2. Let p be t(2). Let s be p + (-4)/(-2) + -2. Solve -h + s = 2 for h.
-2
Let m(b) = -b - 8. Let a be -3 + -1 + (-28)/4. Let o be m(a). Solve 5*s - o = 2*s for s.
1
Suppose -5*u + 3*t + 115 = 0, -5*t + 2 + 67 = 3*u. Let a = 15 - u. Let k be a/4*(-1 + 0). Solve 0 = m - k for m.
2
Suppose -53 = -6*i + 7. Solve i = -2*l + 4*l for l.
5
Suppose -3 = 3*o + d - 15, -5*o + 5*d = 0. Solve -c - o = 2*c for c.
-1
Let k be (3 + -2)/((-2)/(-16)) - -3. Solve -1 - k = 3*m for m.
-4
Let f(s) = -s - 3. Let y be f(-3). Solve -4*u = -y*u - 8 for u.
2
Let y(u) = -u**2 + 5*u + 3. Let f be y(6). Let t = 6 + f. Solve 0 = -t*g - 5 - 4 for g.
-3
Suppose -5*j + 3 = 2*i, -4*i + 3*j = -2*j - 21. Suppose 3*d + i*v + 8 = 36, -2*v = 3*d - 20. Let h be -1 - (2 + (-24)/4). Solve c + h*c = d for c.
1
Let a be -3 + ((-24)/4)/(-1). Solve 0*p - a = -p for p.
3
Let w be 0/(1*(-2)/1). Let x = 2 - w. Suppose -5*y - 20 = -2*m, 20 = 5*m - 0*y - 5*y. Solve -x*v - 6 + 0 = m for v.
-3
Let d = 6 + -15. Let l(o) = -o**3 - 8*o**2 + 7*o - 12. Let a be l(d). Solve h - a*h - 10 = 0 for h.
-2
Let b(s) = -s - 7. Let u be b(-8). Let o(j) = -j + 1. Let f be o(u). Let h(q) = q**2 + 8. Let m be h(f). Solve 2*l = 6*l - m for l.
2
Suppose -4*i = -2*h + 10, -1 = -3*h + 14. Solve -4*p + 12 + i = 0 for p.
3
Let s = 4 - 3. Solve v = -s - 0 for v.
-1
Suppose -33*t + 34*t - 2 = 0. Let h(r) = -2*r**2 - 2*r + 2. Let f be h(-3). Let p be 34/10 - (-4)/f. Solve t = 4*k - p*k for k.
2
Let y be 30/18 + 2/6. Solve 0 = y*n + 9 - 3 for n.
-3
Let d(q) = q + 6. Suppose 9*y + 4 = 10*y. Let u be d(y). Solve -p - p = -u for p.
5
Suppose d + 2 = -q, -7*q + 3*q - 20 = 0. Suppose -32 = -4*l + h, 0*l - l = 2*h - 8. Solve -d*o = o + l for o.
-2
Suppose -4*h = u - 7, -h + 21 = 4*u - u. Solve u = 2*v + 1 for v.
3
Let d(w) = w**2 + 6*w + 3. Let o be d(-5). Let r be 4 + (-2 - -6)/(-4). Let f be r + -1 + 0 - o. Solve f*h + 10 + 2 = 0 for h.
-3
Let l be ((-27)/9)/((-6)/(-4)). Let p(s) = -2 + 2 - s**2 - 4*s. Let b be p(l). Solve -b*t = -2*t - 2 for t.
1
Let q(d) = d**2 + 6*d + 2. Let z be q(-6). Let p be (z/5)/(4/40). Solve f - p*f = 6 for f.
-2
Let w = 45 - 40. Solve 2*i - w*i - 15 = 0 for i.
-5
Suppose 4*d = j - d - 19, 23 = 5*j - d. Let y(i) = 3*i + 3 - i + 0*i. Let v be y(9). Solve -v + 9 = -j*g for g.
3
Suppose 3*k = -k. Solve h + 1 - 2 = k for h.
1
Let j be 4 - (-5 - (1 - -2)). Solve 2*i = -2*i + j for i.
3
Suppose 0 = -4*s - 3*r + 3 + 3, 0 = -5*s + r - 2. Solve s = -5*f + 10 for f.
2
Let s be ((-7)/(-1) - 3) + -2. Let x(l) = l**3 - l**2 + l - 1. Let g be x(s). Solve 2 = -p + g for p.
3
Suppose 3*a - 9 = -h, 4*a - 5*h + 12 = 43. Solve -12 + a = 4*p for p.
-2
Suppose 0 = 2*p + 9 - 1. Let d = -3 - p. Solve -d = -f + 1 for f.
2
Let i(q) = q + 2 - 10 - 4*q + 2*q. Let n be i(-8). Suppose -t = -3 - n. Solve 0 = -o + 2 + t for o.
5
Let j(k) = -2*k - 20. Let h be j(-10). Solve h = 2*m - 9 - 1 for m.
5
Let d be ((-8)/10)/((-2)/10). Let s be 5/2 + (-6)/d. Solve -s = 4*z - 5 for z.
1
Let w(b) = b**3 - 7*b**2 + 7*b + 6. Let i be w(6). Suppose -3*p + 0 = -i. Solve 2*v = 3*v - p for v.
4
Let t = 15 - 11. Suppose 0 = -2*n + n + t*c - 8, 5*c = -2*n + 10. Solve 2*p + 0*p + 10 = n for p.
-5
Suppose 2*t = -t. Suppose t = -6*w + 2*w + 8. Suppose 0 = -2*y + 4*s, w*y + 2*y = -s. Solve -m - m = y for m.
0
Let d = 160 + -160. Solve d*v - v = 2 for v.
-2
Let v(q) = 3*q**2 + 2. Let l(a) be the third derivative of -a**5/6 - 7*a**3/6 + 3*a**2. Let c(w) = 2*l(w) + 7*v(w). Let h be c(-5). Solve k - 6*k = h for k.
-5
Suppose 7*f = 35 - 14. Solve 6 = f*l - 6 for l.
4
Suppose -5*v + 2 = -48. Suppose 4*l - 3*l = 2*p - v, 4*p + 4*l = -4. Suppose 2*y = 1 + 15. Solve y = -5*k + p*k for k.
-4
Let n(f) = 10*f + 3. Let b be n(3). Suppose 0*u + b = -u. Let v = -13 - u. Solve j = -3*j - v for j.
-5
Let b = 11 - 8. Solve -b*q = -2*q for q.
0
Let y(h) = -h**2 - 13*h - 13. Let g be y(-12). Let o be g + (-18)/(-1 + -2). Solve o = -5*i - 0 for i.
-1
Let k(t) = -2*t**3 + 2*t**2. Let i be k(2). Let p = 14 + i. Solve -3*l - 9 = p for l.
-5
Let k = -39 - -44. Solve -k*l - 9 = -4 for l.
-1
Suppose 0 = 2*l - 11 - 1. Solve -c = -l*c + 5 for c.
1
Let k be (-4)/(1 - -1) - 1. Let g be 0/2 - 9/k. Solve 5 = g*t - 1 for t.
2
Let y(i) = i**3 - 6*i**2 + 5*i + 1. Let x(h) = -h**2 + 10*h - 4. Let p be x(9). Let l be y(p). Let j be l - (4 + -2 + -6). Solve -j = -d - 0*d for d.
5
Suppose -5*j + 30 = -0*j. Let h = 0 - -15. Suppose 3*z - h = -0*z.