
3
Let a = -3 + 7. Suppose -5*s + 6 = t, a*s - t = -3*t. Let u be (-4)/(-8)*0/s. Solve u*c - 4 = -c for c.
4
Let u be 5*(-2)/(-5)*5. Solve u = -2*g - 0 for g.
-5
Let p = -14 - -26. Solve 3*h = -h - p for h.
-3
Suppose c = -3*c + 56. Let i = c - 8. Solve -i = -k - 2 for k.
4
Let d(t) = t - 6. Let b be d(6). Suppose 5*p = -6*u + 2*u + 8, -8 = 4*p - 4*u. Suppose 4*w - 3*j - 6 = p, -4 = -2*j - 0. Solve b = -w*c - 3 for c.
-1
Let a = 10 + -4. Let j(s) be the third derivative of -s**4/24 + 11*s**3/6 - 3*s**2. Let r be j(9). Solve 0*q = -r*q - a for q.
-3
Suppose -4 = -9*m + 5*m. Solve 5 = d + m for d.
4
Let l(t) = -t**3 - 5*t**2 + 6*t + 5. Let d be l(-6). Solve -36 = -d*h - 11 for h.
5
Let y(s) = s**2 - s + 3. Let w be y(0). Suppose -2*o + w = -3. Let j(v) = 4*v. Let n be j(o). Solve 0 = 2*c - n + 2 for c.
5
Suppose 4*a - 47 = -k, 5*k = -7 + 2. Suppose 30 = 5*f + 3*v + 2*v, -f + a = 3*v. Suppose -23 + f = -5*j. Solve -g = j + 1 for g.
-5
Let a(o) = -o**2 + 3*o + 2. Let t be a(3). Solve t*r + 2 = r for r.
-2
Let j be ((-24)/(-15))/((-4)/(-10)). Suppose -5*q + j = -4*q. Let h(b) = -b**2 + 5*b - 3. Let i be h(q). Solve 3 = -4*c - i for c.
-1
Let m be 1/(-2) + (-14)/(-4). Suppose m = 2*q - q. Let g(k) = k + 8. Let y be g(-8). Solve -q*j + y = -6 for j.
2
Suppose 2*i - 18 = -0*i. Suppose 5*q - q = 16. Suppose 1 = 4*r + 3*c - 2*c, q*c - 4 = r. Solve r = -2*y - y - i for y.
-3
Let s = 10 + -10. Suppose i - 5*d + 8 = s, 2*i - 4*d + 2 + 2 = 0. Solve 2 + 2 = -i*u for u.
-2
Let w(k) = 5*k - 7. Let m be w(2). Solve 0 = 2*v + m*v for v.
0
Let c = 6 - -3. Suppose 15 + c = 2*q - 4*d, 13 = q - 3*d. Let o(l) = l**3 - 10*l**2 + l - 5. Let y be o(q). Solve -y - 5 = -2*s for s.
5
Let d be -4 - (0 - -4)/2. Let m = d - -12. Let w = -4 + m. Solve a - w = -a for a.
1
Suppose 0 = h - 6*h + 2*s + 10, -h + 2*s + 10 = 0. Solve h = 2*t + 2 + 2 for t.
-2
Let p(r) = r**2 + 9*r + 11. Let d be p(-8). Suppose 110 = d*l + 41. Solve 0 = 5*k - 2 - l for k.
5
Let f(g) = 4*g**3 - g. Let z be (6/9)/((-4)/(-6)). Let d be f(z). Solve -12 + 0 = d*o for o.
-4
Let r = 27 - 19. Suppose 0 = -5*x + 20, 2*v + x - 13 = -v. Solve -g = v*g - r for g.
2
Let g be 6*((-9)/(-6) - 1). Solve g*i + 2 = 11 for i.
3
Suppose -4*i = -4 - 8. Suppose -5*l = -10 - 35. Solve -i*r + 0 = -l for r.
3
Let z(n) be the third derivative of n**7/5040 + n**6/720 - n**5/30 + n**2. Let g(y) be the third derivative of z(y). Let d be g(5). Solve d = 2*x - 4 for x.
5
Let s = 19 - 12. Let r be ((-2)/(-6))/(s/84). Solve -n - 12 = -r*n for n.
4
Let o = 5 + -3. Let i be (2 + 2 + 4)*o. Suppose -2*s - 2*s = -5*w - 16, 20 = 5*s + w. Solve 4*l + i = -s for l.
-5
Let p(j) = -j - 16. Let g be p(-19). Solve f - 8 = g*f for f.
-4
Let j be (-21)/((-9)/(-6)*-1). Let x be 1/(j/4 - 3). Solve x*y = y for y.
0
Let m = -23 - -25. Solve 5*p + 12 = m*p for p.
-4
Suppose -75*q = -74*q - 6. Solve -q*b + 5*b = -2 for b.
2
Suppose k = 14 + 1. Solve 0 = 5*p - 0*p + k for p.
-3
Suppose -d + 6*d = -5*y + 10, 4*d = -2*y. Let g be ((-28)/(-6))/(2/3). Solve -y*v + g*v + 9 = 0 for v.
-3
Let v be (-42)/(-10) + 4/(-20). Let o be (10/4)/(2/v). Suppose o*u - 11 = 9. Solve 0 = j + j + u for j.
-2
Let w = -41 + 42. Let k be 1/(-5) + (-104)/(-20). Suppose 0 = 2*q + g - k, -5*g + 0 = 2*q - w. Solve -2*d + q*d = 0 for d.
0
Suppose -q + 0*q = -2. Let y be (0/1)/(-1) + q. Solve -2*r = y*r for r.
0
Suppose o - d = 1, 5*o + 0*d = d - 15. Let q be 0/(o*(-1)/2). Suppose q = -p + 2 + 4. Solve -10 = -p*g + 4*g for g.
5
Let g(i) = -i. Let c be g(0). Suppose c*p - 3*m = 2*p - 135, -4*m = 5*p - 334. Let r be p/8 + (-3)/12. Solve l - r = -l for l.
4
Let p = 14 + -7. Let f(y) = -y**3 + 8*y**2 - 7*y + 2. Let k be f(p). Let r(w) = -w + 2. Let n be r(k). Solve 20 = 5*i - n*i for i.
4
Let s be 2/(-2)*1*-2. Let y(l) = -s*l - 1 + 1 - 3. Let a be y(-3). Solve 0 = a*c + 4 + 2 for c.
-2
Suppose k - 17 = -6*z + 3*z, 5*k - 25 = 5*z. Let l = k + -6. Solve l*s - 3*s - 5 = 0 for s.
-5
Let w be 2*(-2)/(-10)*-5. Let p be (w/(-6))/(4/36). Solve 0 = -p*t + 2*t for t.
0
Let c(k) = k**3 + 6*k**2 + 2*k - 15. Let t be c(-5). Solve z + 0*z = t for z.
0
Let g(a) = 2*a - 1. Let y be g(8). Let t = y - 9. Solve -t = -4*p + 2*p for p.
3
Suppose 0 = 4*q + q - 160. Let m = q + -23. Solve 6*s - m = 3*s for s.
3
Let w = -30 - -34. Suppose 6*y - y = 0. Solve w + y = i for i.
4
Suppose 2*g = -3*g + 15. Suppose -2*k + 5 = g*k - 3*q, -2*k + 2*q + 2 = 0. Solve 3*n = -k + 7 for n.
2
Suppose -3*k + 15 = 2*k. Let w(s) = 2*s - 2. Let h be w(k). Solve -4*t - h = -3*t for t.
-4
Let k be 2/((-2)/(-1)) + 2. Let d(b) = -b**2 + 5*b - 1. Let g be d(k). Solve 3*m - 2*m - g = 0 for m.
5
Suppose k + 4 = 7. Solve -k*c = -c - 6 for c.
3
Suppose -3*x + 6 = 5*m, 3 = -4*x - 2*m - m. Let c be (-76)/(-4) - (-1 - x). Solve c = -3*v + 5 for v.
-4
Suppose -v - f - 4 = 0, v = -2*v + f + 4. Let p be 9/3 + -7 + v. Let z(d) = -d**2 - 4*d + 3. Let w be z(p). Solve 3*u - w = -0 for u.
1
Let v = -98 + 104. Solve -v*n + 10*n = -16 for n.
-4
Let w(z) = -z**3 - 6*z + 7*z**2 - 6*z + 2 + 2*z + 4*z. Let k be w(6). Solve 5*y = 27 - k for y.
5
Suppose 0 = -2*l + 6*l - 24. Suppose 2*t + l*z - 4*z - 8 = 0, 0 = 3*z - 9. Solve 0 = -5*o - t + 11 for o.
2
Suppose 0*f + 3*z - 12 = -3*f, -5*f + 2*z = -6. Suppose 5*n - 3*x + f - 22 = 0, 0 = 2*n - 3*x - 17. Let r be (n + (1 - 2))/(-1). Solve r = 5*m + 17 - 2 for m.
-3
Suppose 5*o = 4*o + 3. Suppose -2*k + 20 = o*i, 4*k = 2*i - i + 40. Solve k = -l + 6*l for l.
2
Let h(o) = -2*o + 11. Let p be h(8). Let x be (-18)/(-10) - 1/p. Suppose -x*k = 1 - 11. Solve 0 = 5*n - 0 + k for n.
-1
Let r be 18/(-45) - 36/(-15). Solve r*i = -2*i for i.
0
Let h = -2 - -5. Let j be h*3*3/27. Solve 0*m = m + j for m.
-1
Suppose 3*l = -4*z + 26, 5*z + 0*z = 5*l + 50. Suppose 0 = -4*h - 3 + 15. Let x be 2/(((-6)/(-4))/h). Solve 0*g = x*g - z for g.
2
Suppose 0 = -3*x - 9, -r + 4*x = 4*r - 17. Let h = r + 3. Solve -5*d + 11 = -h for d.
3
Let h be -4*((-15)/(-20) + (-2 - -1)). Solve -2*u + h = 7 for u.
-3
Let h(r) = -r**2 - 9*r - 5. Let x be h(-8). Solve x*n = -n for n.
0
Suppose -7*h + 2 = -5*h. Solve z = -h + 4 for z.
3
Let g(j) = -j**3 + 9*j**2 - 5*j - 10. Let n be g(8). Let k = n + -9. Solve k*y - 3*y - 4 = 0 for y.
2
Let u be (1 - 3)*(-42)/4. Suppose -n + u = -4*n. Let s be (-86)/n + (-2)/7. Solve 0 = a + 2*a - s for a.
4
Let o = 2 + 4. Let u = 14 + -11. Solve -u*h + o = -0*h for h.
2
Let t = -24 + 26. Solve -2*y = -3*y + t for y.
2
Suppose 3*b = b - 3*o - 15, -5*b + 15 = -3*o. Solve 2*a - 2 + 0 = b for a.
1
Suppose -s - 3*w + 1 = 0, 0 = -3*s - w + 2 + 9. Solve s*b = -0*b - 20 for b.
-5
Let i = 3 - -3. Let a(q) = q - 3 + 2 + 5*q**2 + i - 4. Let o be a(-1). Solve 0 = o*y - 8 + 3 for y.
1
Suppose 0 = 2*d - 10*d + 24. Let w(r) = 2*r - 9. Let n be w(6). Suppose 20 = -5*p, -4*q - q + 22 = -n*p. Solve -d*y - 15 = q*y for y.
-3
Let k = -12 - -14. Solve -20 = -k*l - 2*l for l.
5
Let f = -1 - -1. Let x be 16*(-1)/(-2 - f). Solve -x + 0 = 4*p for p.
-2
Let o = -23 + 39. Solve 3*m = 7*m + o for m.
-4
Suppose -5*g + 5*m = -7 - 3, -m - 22 = -5*g. Solve -g*d + 3*d - 6 = 0 for d.
-3
Let u = -48 + 60. Solve -4*y + 0*y = u for y.
-3
Let j(h) = -h - 2. Let g(b) = 3*b. Let v be g(-1). Let l be j(v). Solve -l = -2*m + 1 for m.
1
Let l be 2/(2/5) - 0. Solve -3 - 12 = -l*j for j.
3
Let m(v) = -2*v**3 - 18*v + 0*v**2 + 3*v**3 + 20*v - 2*v**2. Let d(r) = -r**2 - 7*r + 2. Let b be d(-7). Let x be m(b). Solve a = -a + x for a.
2
Let w = -1 + 9. Suppose -2*v + v + 4 = 0. Solve w = -v*o + 24 for o.
4
Let o be ((-2)/(-5))/(2/(-30)). Let v be 3 + 5/((-15)/o). Solve -2 - 18 = v*z for z.
-4
Let o be 2/3*8/12*9. Solve -15 = u - o*u for u.
5
Suppose -4*k = 14 + 22. Let v = 18 + k. Solve -n - v = 2*n for n.
-3
Let i = 27 - 23. Solve 5*f + 1 = -i for f.
-1
Let z = -7 - 5. Let q = -12 - z. Solve -5*w + 0*w - 5 = q for w.
-1
Let a = 76 - 52. Let t be (1 + -26)/(-1 - 0). Suppose 0*q + 15 = 4*q + 3*x, -5*x + t = 4*q. Solve -4*w - 8 + a = q for w.
4
Suppose 0*i + h + 10 = 3*i, -3*i = 3*h - 6. Suppose 2*k - 7 = i. Let s be (3 - -2)*21/k. Solve -5*g = s + 4 for g.
-5
Let x(q) = -31*q + 2. Let c be (-6 + 7)/(2/4). Let w be x(c). Let p be (3/(-2))/(9/w). Solve p = a + a for a.
5
Let t(q) = q**2 + 5*q - 4. Let w be t(-6). Let d be (0 - -1)*(w + 2). Suppose d*j = -j + 10. Solve 