0
Suppose 3 = 3*j - 6, -5*g + 10 = -5*j. Solve 0 = -7*h + 6*h + g for h.
5
Suppose -2*y - 42 = -4*j, -y + 5*y = 4*j - 36. Let z = 1 - 1. Solve z*d = -3*d - j for d.
-4
Let k = -4 - -6. Suppose -2*b + 32 = k*b. Solve 3*g + b - 2 = 0 for g.
-2
Let u(x) = 2*x - 5 - 1 - 5 + 4. Let i be u(6). Suppose -4*k - 8 = 0, i*w + k + k = 11. Solve 2*o - w*o = -4 for o.
4
Suppose 5*j = -5*n - 15, -13 = -0*n - n - 5*j. Let g = n - -10. Solve 0 = g*f + f + 20 for f.
-5
Let q(p) = 3*p - 39. Let d be q(13). Solve d = f - 4*f - 9 for f.
-3
Suppose -2*t + 3 = -t. Solve t*q = -2*q + 10 for q.
2
Let t = -153 - -153. Solve -7*k + 5*k + 2 = t for k.
1
Suppose -6 = -i - 2. Suppose -4*p = 5*y + 144, 0 = -4*p + 5 + 11. Let h be (-2)/7 + y/(-14). Solve 0 = -0*g - h*g + i for g.
2
Let r be 8*(3/2)/3. Suppose 0 = -a - m - 5, -5*a = -m - r*m - 25. Suppose -4*k + k + 9 = a. Solve -k*u + u = -2 for u.
1
Let m(i) = i. Let q be m(6). Solve -4*r + q = -7*r for r.
-2
Let k = 44 + -32. Solve b = -2*b - k for b.
-4
Suppose -4 = 10*v - 11*v. Solve 0*j + v = -2*j for j.
-2
Let z be 2/(4 + -2)*4. Suppose -l - 52 = -5*l - z*d, 4*l - 4*d - 92 = 0. Let s be (0/(-2) - -4)/1. Solve 2 = s*k + l for k.
-4
Let l(r) = r**3 - 6*r**2 + 5*r. Let n be l(5). Let t be n/(3/(-9)*-3). Suppose t*v = 2*v - 20. Solve -v - 5 = -5*f for f.
3
Suppose -13 = -5*b + 7. Solve -b*q - q + 20 = 0 for q.
4
Let h = -8 + 25. Let y = h - 14. Solve -4*b + 7*b = -y for b.
-1
Let d(a) = a - 4. Let i(s) = -s + 5. Let x(h) = -3*d(h) - 2*i(h). Suppose 5*u + 0 = 10. Let j be x(u). Solve j*k + 25 = -5*k for k.
-5
Let f = -6 - 3. Suppose 5*a = -s + 143 + 7, 5*a - 4*s = 175. Let j = a + f. Solve -5*z = -j - 3 for z.
5
Suppose 2*v + 4 = -2*s, -3*s + 5*v - v = -8. Suppose q = 3*q - 4. Suppose s = q*p + p. Solve 2*r + 4 = -p for r.
-2
Let t be (12/10)/((-8)/(-20)). Suppose -t*q + 7 = -2. Suppose 0 = q*g + 4*o - 14, 20 = 5*g - o + 6*o. Solve g*u - 4*u = 0 for u.
0
Let m(r) = r**2 - 4*r + 3. Let f be m(4). Suppose -f*u + 5*b = 2*u - 20, -2*b + 10 = 0. Let q = -9 + u. Solve q = 5*s - 0*s - 10 for s.
2
Let a(w) = w + 1. Let r = -5 - -7. Let i be a(r). Suppose 19 = i*x + 4. Solve -x*p + 11 - 1 = 0 for p.
2
Let y(f) = -f + 1. Let k be y(1). Suppose s + 1 = k, 3*i - 5*s = 41 - 6. Suppose 5*b + q = i, 5*b + q = b + 7. Solve b*x = 2*x - 3 for x.
-3
Suppose 4*d - 9*d - n = -19, 3*n = -2*d + 5. Solve 10 = -d*o + 2 for o.
-2
Let g = 1 - 0. Suppose -3*y + 19 = g. Let h = 4 + 1. Solve 3*z - h*z + y = 0 for z.
3
Let r(h) be the second derivative of h**3/6 - 7*h**2/2 - 2*h. Let s be r(6). Let m be (-6)/(-2) - (1 + s). Solve 2*i + m = -i for i.
-1
Let w be ((-16)/6)/((-4)/18). Suppose 18 = 2*r - w. Solve 0 = 3*x + r - 3 for x.
-4
Let d(o) = -o**3 - 2*o**2 + 5*o + 4. Let u be d(-3). Let s be (4/(-10))/(u/5). Let p be (-1)/(-2) + 1/2. Solve s + p = r for r.
2
Suppose -15 = -0*d - 5*d. Solve w = d*w - 2 for w.
1
Let b(l) = -l**2 - l + 4. Let y = -2 + 2. Let r be b(y). Suppose -o + 4*w = 15, 2*o + 10 = 2*w + 2*w. Solve o*f = 11 + r for f.
3
Let g = -85 - -89. Solve g = j + 2 for j.
2
Let v = -46 - -50. Solve -3*n + 1 = v for n.
-1
Let l be 15/(-4)*-4*1. Let m = 157 + -154. Solve 0 = -m*n - 0 + l for n.
5
Let l(f) = 2*f - 1. Let i(c) be the third derivative of -5*c**4/24 + c**3/2 + c**2. Let p(t) = 3*i(t) + 8*l(t). Let d be p(2). Solve -2*a - a = d for a.
-1
Suppose 10 = 5*i, -4*l = -0*i + 4*i - 24. Suppose 2*q - l*q = -4. Solve 2*b - 8 = -q for b.
3
Let v be 105/14*(-8)/10. Let x be 2/(-6) + (-2)/v. Suppose x = 4*w - 8. Solve 2*f = -w*f for f.
0
Let d be (-248)/(-16) - 2/(-4). Let v = d - 16. Solve v = -5*a + 7 + 3 for a.
2
Let j(a) = -a**2 + 10*a - 24. Let k be j(6). Solve k = f - 4*f for f.
0
Let g(a) = a**2 + 2*a - 3. Let u be g(-3). Let s(n) = -n**2 + 7. Let k be s(u). Solve 0 = -4*m + 9 + k for m.
4
Let p be (1 + 2 - 2)/(3/12). Solve p*x - 3*x = 2 for x.
2
Let p = 47 + -40. Solve p = 2*d - 1 for d.
4
Let z = 20 + -10. Solve 2 = 4*h + z for h.
-2
Suppose 2*d = -3*d + 10, 12 = 4*m - 2*d. Solve 0*h - m = -h for h.
4
Suppose -5*n + 4*i = -44, -8*i + 3*i + 3 = n. Let y(p) = 2*p + 4. Let f be y(n). Let o be 21/6 + 1/2. Solve s = -o*s + f for s.
4
Suppose 0 = 5*t - 12 - 3. Solve -a + 0*a = -t for a.
3
Let u be (1 - 15/9)*-3. Suppose -5*c = 4*z - 52, 0 = 4*z - u*c - 35 + 11. Solve -3*a - z - 7 = 0 for a.
-5
Let d(x) = -x**3 - 4*x**2 + 5*x - 7. Let g be d(-6). Suppose 4*z = -5*b + g, -z - 25 = -5*b - 3*z. Solve 12 + b = 5*y for y.
3
Let u(s) = 4*s + 5*s**2 - 3*s - 2*s + s**3. Let i be u(-5). Suppose 15 = -2*l + i, 5*l + 27 = w. Solve -6 = w*t - 4*t for t.
3
Let j be (-1)/(-2) + (-7)/(-2). Suppose -j*w = -15 + 3. Let l(k) = -2*k - 4. Let q be l(-3). Solve q*n = -w*n - 25 for n.
-5
Suppose 2*v - 7*v = -10. Let a = 35 + -32. Solve -v*y - a = y for y.
-1
Let r = 56 + -5. Suppose 4*w + 3*l - 29 = 3*w, 3*w - r = 3*l. Solve 6*p - w = p for p.
4
Suppose 0 = 27*r - 31*r + 4. Solve 2*c + r = -1 for c.
-1
Let c = -13 - -26. Let s be c/(-1) - (-1 + 0). Let j be s/(-9) - 6/(-9). Solve -4*l - j = 2 for l.
-1
Let l(u) = 6*u**3 - u**2 + u - 1. Let c be l(1). Suppose c*y = -0 + 10. Solve -10 = 2*i - y for i.
-4
Let h = -4 + 6. Suppose 2 = h*r - 2. Solve 0 = 4*l + 6 + r for l.
-2
Suppose 3*h - h - 14 = 0. Let y = -7 + h. Solve y = v + 4 - 1 for v.
-3
Suppose -1 = 3*r + n - 6, -n = 2*r - 2. Suppose -3*f + 0 - 9 = -m, m = f + r. Suppose -2*j - 3*j + 90 = m. Solve -4*i + 6 = j for i.
-3
Let s(p) = -p**2 - 8*p + 6. Let f be s(-8). Suppose 2*b + 3*d = 5*d + 6, -b - f = 2*d. Suppose b = 2*o - 0 - 2, -3*o + 11 = 2*k. Solve k = n - 3*n for n.
-2
Let b be -1*(12/(-4) - -3). Solve 2*q - 2 - 4 = b for q.
3
Suppose -h + 2*h - 41 = -2*j, -3*j - 4*h + 54 = 0. Let y = -20 + j. Solve 0 = y*a - a for a.
0
Suppose -2*c + 0*c + 5 = 3*u, -2*u = -4*c + 2. Suppose 2*l = l - c. Let n be (l/3)/((-3)/36). Solve -n = 4*r - 0 for r.
-1
Let z = 27 - 26. Solve l = 5 - z for l.
4
Let y = -4 + 6. Suppose -g + 6 = y*g. Solve g*c - c = 0 for c.
0
Let f = 0 - 8. Let s(a) = -a**2 - 10*a - 7. Let c be s(f). Solve -2*l = l + c for l.
-3
Let w(l) = l + 1. Let x = 4 + -5. Let n be w(x). Suppose -c + n = -1. Solve 4 = t + c for t.
3
Let z(d) = -2*d + d + 2 - 4. Let m be z(0). Let x be m/3 - (-132)/9. Solve x + 1 = -3*n for n.
-5
Let t be -1*2 + 1 - -1. Suppose -2*u + 5*u = t. Solve -4*v = -u*v for v.
0
Suppose -b - 4*q + 13 = 0, -2*b = -q - 29 - 6. Solve 5*g = -3 - b for g.
-4
Let h = -24 - -35. Let f = -7 + h. Solve 4*y = f + 12 for y.
4
Let q(o) = -6*o + 2*o - 11*o + 1. Let z be q(-1). Suppose s + 3*s = z. Solve h - 9 = s*h for h.
-3
Let l be 252/(-56)*(-4)/6. Solve -l*g = 12 + 3 for g.
-5
Let b = 7 + -7. Suppose 5*i + b - 15 = 0. Suppose h - 3 = -i*h - 3*a, 0 = h - 4*a + 4. Solve h*m = 4*m + 12 for m.
-3
Suppose 5*b = -5*b + b. Solve -4*o - 12 = -b*o for o.
-3
Let i(x) = -x**3 + 5*x**2 + 8*x - 7. Let s be i(6). Solve -7 = s*c - 2 for c.
-1
Let t(z) = -6*z - 2. Let p be t(-1). Solve -q = -p - 0 for q.
4
Let q(k) = k**3 - 7*k**2 + 8*k. Let x be q(6). Suppose -8 - x = -4*u + 2*z, -4*u - 4*z = -8. Solve -b = -u*b + 6 for b.
2
Let q(l) = l**2 - l - 6. Let r be q(0). Let n be (1/3)/1*r. Let a be 0*1/n + 2. Solve 0 - a = -2*u for u.
1
Let q(a) = -a - 7. Let w be q(-5). Let s be ((-1)/w)/((-2)/(-24)). Suppose l - 1 = s. Solve 0 = -l*r + 3*r - 16 for r.
-4
Let c be 35/(-10)*(-1 + -1). Let i = c + -7. Solve x + 2 - 3 = i for x.
1
Suppose 72 + 5 = 11*m. Solve -4*z = -m*z - 3 for z.
-1
Suppose -3*u + 20 + 145 = 0. Suppose -s - 5*y = -16, 2*y + 22 = 3*s + 4*y. Suppose 0 = k - s*k + u. Solve -3 = 2*b - k for b.
4
Suppose -c - 2*c + 13 = u, u = -4*c + 16. Solve 0*d - 3 = -c*d for d.
1
Let i be 5/20 + 23/4. Suppose -3*a = -i - 6. Suppose -2*b + 9 = a*l - 17, -4 = -4*b. Solve -3*g + 0*g = l for g.
-2
Suppose -2*k - r - 22 = -4*k, -4*k - r = -38. Solve 2*p + k + 0 = 0 for p.
-5
Suppose -9*d + 6*d = -6. Let v(k) = k**3 - 2*k**2 + 3. Let r be v(3). Solve -g + r = d*g for g.
4
Let a = 12 + -8. Let l be 152/12 - a/6. Solve 0 = 4*k - l - 8 for k.
5
Let y be (-8 + 0)/(-2) + (-8)/(-8). Solve 25 = -0*m + y*m for m.
5
Let g(d) = d. Let t be g(4). Suppose 9 = 2*r - 5*i + 2*i, -2*i - 6 = t*r. Suppose r = n - 2*n. Solve 15 = -n*l - 5*l for l.
-3
Let f = 4 - -15. Let g = -14 + f. Solve -10 - 10 = -g*c for c.
4
Let d = 29 - 22. Solve 2*g