ve f + p = -3*f for f.
-1
Suppose 4*r = 3*j + 9, 5*r - 2*j - 15 = 3*j. Suppose -4*g - 12 = 2*b, -3*b - 2*b - 4*g - 12 = r. Solve -4*u + 2*u = b for u.
0
Suppose -f + 8 = -2*f. Let y = f + 13. Suppose h = -3*w + 36, -6 = -2*h - 0. Solve -y*i + w = -9 for i.
4
Let k(s) = 4*s**2 - s - 5. Let r(i) = -3*i**2 + i + 4. Let h(z) = 2*k(z) + 3*r(z). Let f be h(2). Let n be 0/2*(f + -1). Solve -5 + n = -g for g.
5
Let b = 0 + 0. Suppose -n - 2*w - 1 - 3 = 0, -3 = w. Solve b = n*a + 2*a for a.
0
Let n = 11 + -7. Let a(z) = -z - 1. Let g be a(-4). Solve w - n = -g*w for w.
1
Let c = 179 + -176. Solve -c*h = -0*h for h.
0
Let u(z) = -z**2 + 6*z + 4. Suppose 8 + 22 = 5*j. Let h be u(j). Suppose -6*f + 11*f = h*b, 2*f = -5*b. Solve -3*n - n + 8 = f for n.
2
Let f be (-3)/(-1) + 57/3. Solve f + 3 = 5*v for v.
5
Let h = -48 + 73. Solve 0 = -s + 6*s - h for s.
5
Suppose -10 = -2*h - 0. Let u = h - 3. Solve a - u = -a for a.
1
Suppose 2*v - 3*v + 9 = 5*t, -2*v - 3*t + 11 = 0. Let c = -2 + v. Let k(m) = 2*m + 1. Let r be k(3). Solve -3 = -c*a + r for a.
5
Let r be (-2)/3 - (-70)/15. Suppose 24 = -0*c + r*c. Let p be (-5)/(-20) - c/(-8). Solve -s + 3 = p for s.
2
Let p = 3 + -6. Let r be (-1)/p - 16/(-6). Suppose 2*u + 20 = -4*o, 0 = 2*u + r*u - 4*o - 20. Solve -c - 2*c - 6 = u for c.
-2
Let w be -2 + 0 + (17 - 0). Solve -2*t + 7*t = -w for t.
-3
Suppose -11*r - 6 = -13*r. Let t = 6 - r. Solve 3 = -t*u - 0 for u.
-1
Let j(c) = 3*c**2 + 2*c + 1. Let u(r) = r**2 + 8*r - 1. Let v be u(-8). Let m be j(v). Suppose a = -m + 3. Solve -a - 1 = -l for l.
2
Let l be 49/63 + 2/9. Solve 0 = -3*w + l + 2 for w.
1
Suppose -3 = -0*h + h. Let m = 9 + h. Let g(c) = c - 3. Let n be g(3). Solve n = -3*j - 0 - m for j.
-2
Suppose -5*b + 5*u + 15 = 0, 4*b - 3*u = -0*u + 13. Suppose 0*z + 2*f - 22 = -b*z, 0 = -z - 2*f + 10. Solve -z = -2*p - 0*p for p.
2
Suppose -7 - 13 = -2*o. Solve 0 = 5*h + o for h.
-2
Suppose -3*p + 1 = -17. Suppose 1 = -5*o + p. Solve 4 + o = 5*v for v.
1
Let s = -2 + 8. Let a be s/8*12*1. Suppose 3*v = v + 2. Solve -a - v = 5*n for n.
-2
Suppose 8 = -0*h + h + 3*s, -3*s = 4*h - 14. Suppose h*c - 4 = -4*v - 16, 5*c = -5*v - 5. Let k = c - 2. Solve -k*i + 6*i = -20 for i.
-5
Let a be 4/6 + 96/18. Suppose -5*d + 21 = 2*m + a, m + 3*d = 9. Let r(f) = f + 6. Let o be r(-4). Solve -o = -m*n + n for n.
-2
Suppose t + 3 = -i, 2*t - 3*i = i + 12. Solve 20 = -4*g - t*g for g.
-5
Let f(c) = c + 13. Let p(u) = -8*u**3 - 2*u**2 + 1. Let o be p(1). Let b be f(o). Solve -g = -0*g - b for g.
4
Suppose -5*o - 4*x = -4, 5*o - 24 = -0*x + x. Solve o*i = -i - 10 for i.
-2
Suppose -5*j + 4 = -2*h + 26, 3*h = -j - 1. Solve 2*x = 5 + h for x.
3
Let f = -40 - -20. Let s be 12/18 - f/6. Solve 2*d - s = d for d.
4
Let m(o) = -6 - 2*o + 3 + o**2 - 2. Let a be m(4). Let j be 1 + 0/(-3) + a. Solve 0 = c - 5*c - j for c.
-1
Suppose -9 - 7 = -4*x. Suppose 0*l - x*l = -72. Let g be l/6 + (-2 - 0). Solve -19 = -4*m + g for m.
5
Suppose -1 - 1 = -p. Suppose -c = -2*c + p. Let t = 3 - c. Solve -n = -t - 1 for n.
2
Let z = -15 - -11. Let v be 6/24 - 3/(-4). Let q be (z/10)/(v/(-20)). Solve -o - o = -q for o.
4
Let p be (6/9)/(2/(-12)). Let r = p + 9. Suppose 0 = 3*m - 9, -3*m = a - 8*m + 8. Solve 0 = 2*w - a*w + r for w.
1
Suppose -2*v - 20 = 3*v, 2*v = -3*a - 8. Suppose a*r = r - 5. Solve 9*t - r = 4*t for t.
1
Suppose 4 = c + 1. Solve 3*u + 9 = -c for u.
-4
Suppose -f - 4*g = -0*f - 12, -5*f + g = -18. Suppose 0 = 4*d - a, 0*a - 4*a = 4*d. Suppose -f*t + 5*t = d. Solve 0 = -5*s - t*s + 15 for s.
3
Suppose 0 = -3*g + 4*c + 87, 0*g + 3*c + 34 = g. Solve 0 = -0*n + 5*n - g for n.
5
Suppose -3*x + 4 = q, -5*q = -2*x + 7*x + 10. Let v = x + -3. Let z(i) = -i**3 + i**2 - i + 4. Let m be z(v). Solve 1 = -m*a - 7 for a.
-2
Suppose -f - 1 = 5*o, 2*f + o + 5 = 12. Let i be 10/(-45) - f/(-18). Solve i = 5*u + 6 - 21 for u.
3
Suppose -12 = 5*f + 4*n, n - 8 - 6 = 3*f. Let g(a) = -a**2 - 5*a - 4. Let v be g(f). Solve 2*j + j - 9 = v for j.
3
Let q = -3 - -5. Suppose q*g - 18 = -0*g. Let x be (6/(-9))/((-3)/g). Solve -x*z - 1 = -3 for z.
1
Suppose -2 = -3*r + 73. Suppose 0 = -2*h - 3*h. Let q(f) = -f**3 + 9. Let u be q(h). Solve u*a = 4*a + r for a.
5
Let w(l) = -l**2 - 8*l - 9. Let o be (-2)/(2 + 0)*0. Let m(g) = -g - 6. Let s be m(o). Let b be w(s). Solve 2 - b = -k for k.
1
Let r(h) = h + 4. Let j be (-3)/2 - (-54)/12. Let q be r(j). Let u be -1 + (0 - 1) + q. Solve 0*b = b + u for b.
-5
Let b(p) = 4*p**2 - p + 2. Let l = -8 + 11. Suppose -2 = -l*k + 4. Let a be b(k). Solve -5*d = -d - a for d.
4
Let b(q) = 2*q**2 + 3*q - 5. Let y be b(-3). Solve x + y = 2 for x.
-2
Suppose -7 + 1 = -6*c. Solve 2*l = -3 - c for l.
-2
Suppose 0 = 2*h - 2, h - 12 = -4*r + 1. Solve 9 = r*f - 6 for f.
5
Let x = 9 - 7. Let r be (6/x + 0)*1. Suppose -l = -r + 1. Solve -n = l*n for n.
0
Let d = 22 - 26. Let t be (5 + -1 + d)*1. Solve t = 3*r - 2*r + 1 for r.
-1
Let s(x) = -x + 2. Let a = -16 + 7. Let k be s(a). Let i = 31 - k. Solve 5*y - i = y for y.
5
Let p(u) = -u**2 - 3*u + 2. Let j be p(-2). Solve -j*y + 24 = 4 for y.
5
Let a(j) = j**3 - 2*j + 2. Let o be a(2). Let n = o + -1. Let f be (-330)/(-27) - 12/54. Solve -n*v + f = -v for v.
3
Let o(r) = 12 - 7*r - 7*r**2 + 8*r**2 - 3. Let b be o(6). Solve 0*u = b*u + 15 for u.
-5
Let v be 2/6 - (-8)/(-6). Let f be (0 + 0)/((-1)/v). Let d(l) = -l. Let m be d(f). Solve m = -2*w - 3*w for w.
0
Let w be 3/(-1 - -2) + (-2 - -1). Solve -5 = w*r + 1 for r.
-3
Let c(s) be the third derivative of -s**6/120 + 7*s**5/60 - s**4/8 + s**3/2 - 2*s**2. Let y be c(7). Let m = -3 - y. Solve 3*l = -0*l + m for l.
5
Suppose 2*w + 2*y - 18 = 0, 4*w - 2*y = w + 12. Let f(t) = 3*t - 14. Let v be f(w). Solve 0*g = v*g + 4 for g.
-1
Suppose -11 - 29 = -5*n + 4*k, -4*k = 0. Suppose 5*z = -3*p + n*p + 5, 4*z - 6 = 2*p. Solve 1 = -2*v - p for v.
-1
Let m(b) = -b**2 - 6*b - 1. Let j be m(-7). Let r be (-13)/(-4) + 2/j. Solve -r*l + 0 = -6 for l.
2
Suppose -2*x = -3*m + 1, -2*x = 8 + 2. Let j be (1 + m/2)*2. Let t = 6 + j. Solve 7 - 2 = -t*q for q.
-1
Let h = -1 - -1. Suppose -4*q + 12 + 12 = h. Solve -i = -q*i for i.
0
Suppose -c + 0*c - j = 2, -2*j - 2 = 3*c. Suppose -r + 3*r = d - 11, -5*d - 5 = 0. Let n(h) = h**3 + 6*h**2 - h + 4. Let t be n(r). Solve t = -7*s + c*s for s.
-2
Suppose -22 = -2*c + 3*a, -4*c + 3*c = -5*a - 25. Solve -c*k - 22 = 3 for k.
-5
Let y(z) = z**2 + 4*z - 7. Let q be y(-6). Let u(h) = -h + 10. Let b be u(q). Suppose -3*w + 5*o = -5, -5*w - 2 = o - 1. Solve -p + w*p = -b for p.
5
Let c = -137 - -98. Let g be c/(-12) + (-1)/4. Solve g = -u + 5 for u.
2
Suppose 0 = 3*z - b - 23, b - 6*b = -2*z + 37. Let t = 3 + -8. Let q = -5 - t. Solve -4*u + z - 2 = q for u.
1
Suppose 8*q - 4*q = 8. Let v = -2 + q. Solve -4 + v = 2*y for y.
-2
Let f(h) = -8*h**2 + 8*h + 12. Let r(b) = -11 + 3 + 7*b**2 - 8*b - 4. Let u(n) = 6*f(n) + 7*r(n). Let w be u(10). Solve w = t + 3*t for t.
2
Suppose 3 = -2*q - 3*o + 2, 2*q + 3 = -5*o. Suppose -2*t + 1 = -5. Let l(k) = -k - 4. Let v be l(-6). Solve v*h = -t - q for h.
-2
Let h = 5 - 0. Suppose -h*y - 14 = 3*a, y + 14 = 4*a + a. Let t(r) = -r**2 + 3. Let m be t(0). Solve -a*z = m*z - 25 for z.
5
Let w(h) = -h**2 + 1. Let f be w(-1). Let d = 9 - 5. Solve f = m - d + 5 for m.
-1
Suppose -152 - 58 = 3*c. Let l = -42 - c. Suppose 2*u - 2*z - l = -0*u, 3*z - 42 = -4*u. Solve b - u = -2*b for b.
4
Suppose 9 = s - 4*s. Let b = 15 + s. Let h be (10/4)/(3/b). Solve 26 - h = 4*i for i.
4
Let u = -1 - -7. Solve -5 = -u*p + p for p.
1
Let f = -3 - -8. Suppose 3*d + f*l + 12 + 2 = 0, -d = -3*l. Let k be 2/d + (-5)/(-3). Solve k - 2 = -m for m.
1
Let g(t) be the first derivative of -3*t**2/2 - 2*t - 3. Let w be g(-5). Solve w = 2*o + 3 for o.
5
Let p(k) = -k**2 - 6*k - 3. Let u be p(-2). Let r(d) = -d + 11. Let b be r(u). Solve h + b - 4 = 0 for h.
-2
Let l = 27 - 27. Solve -2*w - 3*w - 15 = l for w.
-3
Let h = 5 + -2. Suppose 3*m = -h*o - 48, -2 = -4*m - 3*o - 70. Let x be m/70 + (-4)/(-14). Solve -2*l - 1 + 7 = x for l.
3
Let s(v) = v**2 + 8*v + 5. Let l be s(-5). Let c = l - -13. Solve -c*a + 4*a = -3 for a.
-3
Let p(a) = -6*a - 2. Let z be -1 - (1 - (-1)/1). Let o be p(z). Let r be o/(-6)*3/(-2). Solve -r = -2*n + n for n.
4
Let v = -104 - -106. Solve -7*o + v = -5*o for 