f + 10 = -g*f for f.
-5
Let m = -26 + 27. Solve -m = -f - 3 for f.
-2
Suppose d - 5*c + 80 = 6*d, 2*d - 52 = 2*c. Let t = d - 11. Solve -o - t = 4*o for o.
-2
Let f(y) = 0 - y**3 - 6*y + 0 + 7*y**2 + 2 + 1. Let p be f(6). Suppose 0 = -p*i + 69 - 24. Solve -3*x = -8*x - i for x.
-3
Let u = 39 + -34. Solve -5 = -5*a + u for a.
2
Let a = 11 + -3. Suppose -k - a = -5*k. Suppose k*q = -q. Solve -h = -q*h for h.
0
Suppose 0 = -8*s - 8 + 24. Solve 2*j = -s*j + 8 for j.
2
Suppose 5*x + 38 = -4*y, 3*y = 4*x - 0 + 18. Let i = 18 + -19. Let w = i - x. Solve w = -k + 10 for k.
5
Let y(b) = -2*b + 5. Let a be y(9). Let t = 29 + -11. Let i = t + a. Solve 0 = 3*m - i*m for m.
0
Suppose 2*i + 8*i = 20. Solve o - 15 = -i*o for o.
5
Suppose -4 = 4*y, 5*v - 42 = -5*y - 12. Let s(r) = r**3 - 7*r**2 - r + 9. Let f be s(v). Solve j - f = -4 for j.
-2
Let z(b) = b**2 - 4*b - 9. Let f be z(7). Suppose 5*k = -3*j - f, 4*j + 3*k = -3 - 2. Solve h + 0 + j = 0 for h.
-1
Let l = -6 - -3. Let d be (1/(-1))/(1/(-9)). Let c = d + l. Solve -c*o + 20 = -o for o.
4
Suppose 3*p + 3*s + 13 = -2*s, -5 = -5*p - 3*s. Suppose 12 = -3*j, -2*j = m - p*j - 12. Solve -9 = -m*t + 7 for t.
4
Let b be ((-20 + 5)/5)/(-1). Solve -p + b = -4*p for p.
-1
Let b be 5 + 0 + (-2)/(-1). Solve b*s = 2*s - 25 for s.
-5
Let a(m) = m + 1. Let g(k) = k - 1. Let b(u) = -2*a(u) + g(u). Let y be b(-7). Solve y*i + 0*i + 8 = 0 for i.
-2
Suppose -14 = -5*o - 2*z, 0*z = o + 2*z + 2. Let d be -10*2*1/(-4). Suppose -o*g = -3*g - d. Solve -2 + 22 = g*n for n.
4
Suppose 0 = 3*h + 5*j + 5, j - 2*j - 1 = 5*h. Solve -5*q - 12 - 3 = h for q.
-3
Suppose 14 = 3*d - 2*d. Let o = d + -7. Suppose 0 = 2*j - w - o, -2*j - 4*w + 9 = -3*w. Solve -j = -3*x + 11 for x.
5
Let k be (-2)/(8/36*-3). Let o be 2/(((-6)/(-2))/k). Solve 4*x + 10 = o*x for x.
-5
Suppose -12*u + 9*u = -6. Let h(a) = 3*a - 4. Let s(t) = -t - 3. Let j be s(-6). Let f be h(j). Solve -z = -u*z - f for z.
-5
Let k(s) = -s**2 + 4*s - 3. Suppose -4*t - 4*c = c - 5, -3*t - 5*c = 0. Let f be k(t). Let d = -5 - f. Solve 0 = d*i - 6*i for i.
0
Let w be -2*1/(-2)*2. Solve -w*c = -c - 4 for c.
4
Suppose 0 = -4*r + 11 - 11. Solve -2*w + 0 - 2 = r for w.
-1
Let x = 9 + -23. Let a be 6/21 - 164/x. Let l = 9 + -7. Solve -t = l*t - a for t.
4
Let y = -5 + 6. Suppose 0 = -4*m + m + 12. Suppose m*s = 5*p - 3, s - p + 9 = 3*s. Solve -v - s = -y for v.
-2
Let y(b) = b + 16. Let d be y(-12). Solve d = w + 2 for w.
2
Let v(q) = 2*q**2 - 3*q + 3. Let b be v(2). Suppose -6*f - b*s - 17 = -2*f, 3*s = -15. Solve 0 = -2*j - f - 2 for j.
-2
Let k be 3/(-15) - 26/(-5). Let f be 6*5/20*2. Solve f = -k*m - 17 for m.
-4
Suppose 20 = 2*j + 4*w, 8 = -3*j + 5*w + 5. Suppose -i = i + 40. Let z be 5/i + 29/j. Solve -4 = -3*l + z*l for l.
-1
Let d(v) = 2*v**2 + 4*v - 3. Let r be d(-4). Suppose 3*c - 2*a - 58 = -r, 2*c - 3*a - 30 = 0. Solve -4*m + m = -c for m.
5
Let x = 4 + -20. Let g = x - -18. Solve -6*i = -g*i - 4 for i.
1
Let n(q) = -q**3 + 16*q**2 - 14*q - 9. Let i be n(15). Solve -i = f - 5 for f.
-1
Suppose 0 = -4*f + 8*f. Suppose 2*p = -f*p. Solve p = -0*i + 3*i - 12 for i.
4
Suppose -13 = 3*n - 16. Solve 4*y + n + 19 = 0 for y.
-5
Suppose s - 9 = -4. Suppose -s*a + 38 = -87. Solve -5*j + a = -10*j for j.
-5
Suppose -4 = -0*f - f + w, 4*f - 2*w = 16. Suppose -f + 12 = 2*c. Solve -5*p - c = -4*p for p.
-4
Suppose -2*s = -5*i - 56, i + 16 = 5*s - 3*s. Let y be (-12)/(-10)*i/(-4). Suppose g + y*g - 28 = 0. Solve -1 = -4*k + g for k.
2
Suppose 5*l - 3*l = 0. Let v be (-204)/(-42) - 0 - 1/(-7). Solve l = v*x - x + 16 for x.
-4
Suppose -5*i + 42 = -2*t - 2*t, 0 = i - 5*t - 21. Solve 1 = -c + i for c.
5
Let g(a) = a**2 + 4*a. Suppose -32 = 5*o - 4*s - 0*s, 0 = 2*o - 3*s + 17. Let t be g(o). Suppose -2*p = -t*p. Solve -5*b - 2 + 7 = p for b.
1
Suppose -2*u + 7*u = 10. Solve -u*y + 4*y - 2 = 0 for y.
1
Suppose -s = -4*u - 3*s + 12, 2*s = -u - 3. Solve u = -4*p + 17 for p.
3
Let b be 1 + 0 - 0 - -5. Let s be (4 - 6)/((-1)/4). Suppose 4*o - 15 = 3*j, j + s = 2*o - j. Solve o*d - 9 = b for d.
5
Let x(n) = n + 4. Let q be x(-2). Let z(i) = i - 2. Let j be z(q). Solve j = 3*k - k + 2 for k.
-1
Let y(q) = q. Let i be y(0). Solve -3*w + i*w = 0 for w.
0
Let i(k) = -1 + 10 + 1 + 0 - k. Let v be i(8). Let w = -25 + 37. Solve 6*m = v*m + w for m.
3
Let t be 1 + (0 - 1) + 0. Let x = 10 + -3. Suppose 2*f - 5*m = -4, 5*m - x = f - t*f. Solve -j = f*j for j.
0
Suppose 3*u + 5*k - 3 - 7 = 0, 3*u = -4*k + 8. Solve u*p - 12 = 4*p for p.
-3
Suppose -3*i - 3 + 6 = 0. Solve -i = 2*t + 3 for t.
-2
Let t(b) = -4*b - 5. Let g be t(-2). Solve -2*w = -g*w for w.
0
Let j be ((-140)/(-350))/((-14)/15 + 1). Solve -3*l = j - 0 for l.
-2
Let f = 7 + -9. Let k be f/(-4) - 15/(-10). Solve 0 = 2*r + k*r + 20 for r.
-5
Let j be 1 + (-4)/16*-4. Solve 3*r - 5 = j*r for r.
5
Let i be 8 - (-1)/(-2)*0. Suppose 3*s + 9 = 4*s + 3*z, -4*z - 38 = -2*s. Solve -3*u + i*u = s for u.
3
Let c = 96 + -72. Solve -5*g + c = -1 for g.
5
Let g(i) = 4*i**2 + 53*i + 15. Let s be g(-13). Solve -2*d - s = -0*d for d.
-1
Suppose 0 = -4*b + 7*b. Let x be (-2)/(-9) - 4/18. Suppose l + x*l = 0. Solve b*v - 2*v - 8 = l for v.
-4
Suppose 5 = 4*k - 3. Suppose k*z - z + 1 = 5*v, 3*v = -z - 1. Solve n = -v*n + 5 for n.
5
Let m be 1/(-2) - (-25)/(-2). Let z = m + 13. Solve z = p + 2*p for p.
0
Suppose -q - 40 = 3*q. Let v = q - -10. Solve v = 4*s - 4 - 0 for s.
1
Let v = 116 - 113. Solve -2*f - 1 = -v*f for f.
1
Let o(n) = n**3 - 2*n**2 - 3*n. Let x be o(-2). Let b be 20/(-6)*12/x. Suppose 3*j + 6 = 2*g - j, 3*j = b*g - 12. Solve t - 1 = g for t.
4
Let x = 23 - 21. Suppose -5*a = -2*a - 9. Suppose -4*v = a*o - 26, x*o - 2*v = -v - 1. Solve o*z + 10 = -0*z for z.
-5
Let l = -3 - -8. Suppose 7*r - 2*r = -25. Let d = r + l. Solve 8 = -d*o - 2*o for o.
-4
Let j(k) = k**2 - 12*k + 14. Let m be j(11). Let l be -4*(-21)/12*1. Solve -l*g + m*g + 8 = 0 for g.
2
Suppose 0 = 2*n + 6, -2*n - n = -2*v + 13. Let p(z) = z**2 - z - 4. Let l be p(3). Solve l*d + v*d = 0 for d.
0
Let y(f) = -f**3 - 4*f**2 + 5*f. Suppose 0 = -0*q - 2*q + 6, -25 = -2*c - 5*q. Let w = c - 10. Let u be y(w). Solve u - 2 = 2*t for t.
-1
Let p(y) = -y - 3. Let b be p(-7). Solve d - 1 = -b for d.
-3
Let l(q) = q**2 + 3*q - 4. Let m be l(-5). Let b be ((-10)/(-15))/(-1 - 22/(-18)). Solve -b*k = -0*k + m for k.
-2
Let j be 5 + ((-8)/32 - (-1)/4). Let a = -36 - -52. Solve -6 = -j*r - a for r.
-2
Suppose 9*o + 19 - 73 = 0. Solve -2 + o = n for n.
4
Let o be (-3)/(-18)*2*3. Let u = 6 + o. Let q(y) = y**3 - 7*y**2. Let f be q(u). Solve 2*z = -f*z for z.
0
Let m be (-6)/(-7)*(-11 + 18). Suppose 0 = -3*i + q + q - 5, -2*q + 6 = -2*i. Solve -p + i - m = 0 for p.
-5
Suppose -5*c = -0*c - 10. Let g = 8 + -3. Suppose 2*f + 17 = f - 5*p, p = g*f - 19. Solve f*a - c*a - 4 = 0 for a.
4
Let m(d) = -d**3 + 24*d**2 - 20*d - 67. Let c be m(23). Solve -g + 1 = -c for g.
3
Let t(c) = 3*c**2 + 19*c + 6. Let g be t(-6). Solve -2*w + 1 - 5 = g for w.
-2
Let n be 57/95 - 32/(-5). Let x be (-4 + -3)*(-4)/n. Solve f + 3 - x = 0 for f.
1
Let i = 132 - 125. Solve i*c = 4*c for c.
0
Let m be -2 - -7 - 2/2. Suppose 4*b = 4*n - m, 5*b + 2*n - 5 = -3*n. Solve -5*d + 8 + 7 = b for d.
3
Let d = 25 + -21. Solve d*l = -l for l.
0
Let f(v) = v**3 + v**2 + 5. Let l be f(0). Solve l*j = 3 - 8 for j.
-1
Suppose -3*v = -4*u + 10, -2*u + 2 = -2*v - 4. Solve u = -5*o - 19 for o.
-4
Let a be 4/(-10) + (-122)/(-5). Suppose -z = -3*z + a. Solve 3*g = -0 - z for g.
-4
Suppose -36*w - 1 = -37*w. Solve w = 5*b - 4*b for b.
1
Let i be ((-1)/(-4))/((-1)/(-20)). Let p = i + -2. Solve -p*w = -w for w.
0
Suppose 0 = -4*q - 2*f + 14, -4*q = -3*q - 4*f + 19. Solve q = 5*j - 4 for j.
1
Let p(w) = -w + 1. Let k be p(-4). Let j(h) = 4*h - 5. Let x be j(k). Solve -o = -6*o - x for o.
-3
Let l(s) be the third derivative of s**5/60 - s**4/8 - 5*s**3/6 + 2*s**2. Let q be l(4). Let f be 2 + (4/q)/(-1). Solve -3*w + f = -0*w for w.
2
Suppose 0 = -o - 2*o + 18. Solve -3*q - 12 = -o*q for q.
4
Suppose 2*g + 4 = 4*g. Let r be g/(-2)*(-3 - 0). Suppose 3*v + l + 1 - 3 = 0, 4*l = -r*v + 8. Solve -8 = -v*n + 2*n for n.
-4
Let y(a) = 2*a - 34. Let l be y(18). Solve 3*f - 2*f = -l for f.
-2
Let l = 120 - 116. Solve -l*m - 3 = 1 for m.
-1
Suppose 0 = -g + 6*g - 55. Let j 