 -u*f for f.
0
Let r = -35 + 35. Let o(j) = 2*j - 5. Let k be o(5). Solve -c + k = -r for c.
5
Let b be (-15 + 1)/(2/(-8)). Let p = -31 + b. Solve -5*c + 0*c = -p for c.
5
Let z be (1 - -2)*1 - -10. Solve 5 - z = 4*s for s.
-2
Let h = 56 - 54. Let g = -6 - -10. Solve 0 = -p - g + h for p.
-2
Let q = 14 - 5. Let n = 4 + 2. Solve -5*d - q = n for d.
-3
Let n be 29/(-5) + 1/(-5). Let o = n - -10. Solve -3 = -o*i + i for i.
1
Let l(p) = 3*p - 3. Let f be l(3). Suppose 0 = -2*t + f, 3*x + 0 - 3 = t. Suppose 0*i + x*i = 4. Solve i = 2*c - 4*c for c.
-1
Let b be ((-80)/(-24))/((-6)/(-45)). Solve 2*f = 7*f - b for f.
5
Let u(d) = 2*d + 11. Let f be u(11). Suppose 4*w - f = -1. Let n = w + -5. Solve 3 = -n*c - 3 for c.
-2
Let b = 1 - 1. Solve b = -5*z + 13 + 2 for z.
3
Let d = -42 - -28. Let s = 16 + d. Solve 3*l - 2 = s*l for l.
2
Let c be 0 + -7 + -1 + 2. Let f(d) = -d - 1. Let m be f(c). Solve m*x + 0*x = 5 for x.
1
Let p = 17 - 13. Suppose 0*y + p*y = 0. Solve k + 3*k = y for k.
0
Suppose -5 = -g - 1. Suppose 3*q + 15 = 3*z, 5 = 2*q + 7*z - 6*z. Solve q = -3*r - 2 - g for r.
-2
Suppose 0 = 2*h + 1 - 5. Solve -3*o = -h*o for o.
0
Let i(u) = u**2 - 14*u - 15. Let z be i(15). Solve z = 4*l + l - 20 for l.
4
Let q = -21 - -23. Solve k = -3 - q for k.
-5
Suppose -8*d + 2*c + 16 = -4*d, -3*c = 2*d - 16. Solve g + d = 3 for g.
-2
Let s(h) = 11*h**3 - h**2 - 3*h + 4. Let v be s(1). Solve 9*k = v*k + 4 for k.
-2
Suppose h - 5*h + 4*u = -8, 0 = -4*u - 8. Solve -c - c - 2 = h for c.
-1
Let d = -12 + 16. Suppose 2*c + d*c = 0. Solve -2 + c = u for u.
-2
Let h(w) = -w - 2. Let s be h(-6). Suppose 5*p + 8 + 1 = -s*b, -b + p = -9. Solve b*f - 9*f - 25 = 0 for f.
-5
Let p be 6/1 + -2 + 2. Suppose 0 = -3*k - k. Suppose 0 = -8*o + 4*o + 12. Solve -o*l = -k*l - p for l.
2
Suppose 4*q = 5*p - 54, 2*q = -0*p - 5*p + 48. Solve z + p = -z for z.
-5
Suppose y + 2 = 1. Let q be (2 + y - 2)*-3. Suppose 5*p - q = 7. Solve 2*x = -p - 2 for x.
-2
Let p(v) = -9*v - 2. Let c(x) = 5*x + 1. Let o(u) = 13*c(u) + 6*p(u). Let l be o(1). Let f(m) = 2*m**2 - m + 1. Let d be f(1). Solve 6*i = d*i + l for i.
3
Let u = -7 + 6. Let b be (u/4)/(2/(-16)). Solve b = -4*r + 2*r for r.
-1
Suppose -2*r - 15 = 1. Let s be (-16)/(-6)*(-18)/r. Suppose 3*b - s*b = -18. Solve 2*n + b + 2 = 0 for n.
-4
Let j = 0 - -1. Let p be (-2)/(-4) - j/(-2). Suppose -q + 4 = 4*a - p, -4*a - 5*q + 25 = 0. Solve a = -y - 2*y for y.
0
Let s be 6/((-2)/(-3)*3). Suppose b = -2*z - z + 12, -4*b - 4 = -z. Suppose -o - 1 + 2 = b. Solve s = 4*f - o for f.
1
Suppose 4*b + 3 = 11. Let j(v) = v + 5. Let a be j(-6). Let q be a/((-26)/(-14) + -2). Solve -g + q = b for g.
5
Let g = -4 + 6. Suppose g*f = 5*k - 52, 5*f - 2*k = -133 - 39. Let p be (3/9)/((-4)/f). Solve -4 = r + p*r for r.
-1
Let c = 13 - 6. Suppose 0 = 5*b - c - 13. Solve 0 = -b*q + 14 + 6 for q.
5
Let k = -3 - -2. Let w be 15/6 - k/2. Suppose 0 = h - 2*h + 4. Solve -5 = -h*v + w for v.
2
Suppose -3*v + 0*v - 8 = o, -o + 5*v + 24 = 0. Suppose 1 = d - 0*d + 5*g, -o*d + 3*g + 4 = 0. Let t be 44/(-8)*2/(-1). Solve -t + d = 5*y for y.
-2
Let h = -15 - -23. Suppose -f + h = -6*n + n, 2*f = -4*n + 2. Solve u = -2*u - f for u.
-1
Let q(f) = 25 + 10*f - 12*f - 8. Let v be q(7). Solve -3 = v*n + 3 for n.
-2
Let s be (3 - 14/3)/((-3)/9). Solve -s = -3*a + 10 for a.
5
Let s be 1/(((-2)/3)/(-2)). Suppose -2*d + s + 7 = 0. Let o = d - 5. Solve o*x + 20 = -5*x for x.
-4
Let h = 40 + -14. Let b = h + -21. Solve -3*c + b = 17 for c.
-4
Suppose -5*g + 10 = -0. Let q = -86 + 90. Solve -g*r + q = -0*r for r.
2
Let o be (-2)/15 - (-1391)/195. Solve 2*m - 15 = o*m for m.
-3
Let t(f) = -2*f**3 + 5*f**2 - 3*f - 3. Let z(p) = 3*p**3 - 7*p**2 + 4*p + 4. Let c(h) = -7*t(h) - 5*z(h). Let u be c(0). Solve 0 = 2*w - w + u for w.
-1
Let m = 44 + -24. Suppose 3*r + 4*q - m = 5*r, 2*q - 6 = 0. Let h(d) = -d**2 - 5*d - 1. Let x be h(r). Solve 2*u = -x*u for u.
0
Let y(l) = -l + 2. Let n be y(0). Suppose 0 = 4*j - 114 + 58. Solve 4*i = n + j for i.
4
Let w(u) = -4*u**2 - 2 + 7*u + 3 + 3 + 5*u**2. Let p = -10 - -3. Let s be w(p). Solve 0 = -q - 3*q - s for q.
-1
Let l be (-4)/(-8)*(1 - 1). Suppose -2*v = -5*d + 23, l*d - 5*d + v = -19. Solve -2*k + 9 - d = 0 for k.
3
Let r(s) = -2*s - 2*s + 3 + s**3 + 3*s**2 + 2. Let v be r(-4). Suppose -5*q = v*f, q - 2*f = -2*q + 10. Solve q*y - 1 = 3*y for y.
-1
Suppose -3*x = -59 - 1. Suppose -3*j + 8*j - 25 = 0, -j = r - 9. Solve -b = r*b - x for b.
4
Let d(u) = u**3 - 2*u**2 + u. Let m be d(1). Suppose -5*j - 75 = -5*k, -5*k + 48 = j - 3. Solve 5*v + 9 + k = m for v.
-4
Let c = -4 + 6. Suppose -5*k - n - 3 = -4*n, -c = 5*k - 2*n. Solve k*x - 3*x = 0 for x.
0
Let p = -2 - -6. Let m be -2*6/p*-1. Solve -m*c - 9 = -3 for c.
-2
Let a be (1/(-2))/((-4)/8). Let o be (-1)/(a*3/(-12)). Solve 6 = -o*f + 2 for f.
-1
Let i(l) be the second derivative of -4*l + 0 - l**2 - 1/6*l**3 + 1/12*l**4. Let w be i(4). Solve 0*q = 2*q + w for q.
-5
Let a be ((-14 - -2)*(-2)/4)/1. Solve 3*v + a = -3 for v.
-3
Suppose -2*y - 3*d = 2, 2*y + 2 + 8 = -5*d. Solve -3 = 2*s + y for s.
-4
Suppose d - 2 = 1. Suppose -i = 2*s - 12, d*i - 5*i - 2*s + 18 = 0. Let v(l) = -l + 8. Let u be v(5). Solve u*w + i = -3 for w.
-3
Let r = -26 + 26. Solve -3*x + 10 - 4 = r for x.
2
Let m be ((-3)/(-3))/(5/(-10)) - -2. Solve 0 = -w - m*w - 3 for w.
-3
Suppose 64 = -3*x + 5*x. Suppose -11 + 2 = -3*u, 0 = -5*a - 4*u + x. Suppose -4*y = -y + 4*n + 16, -2*n - 8 = -a*y. Solve -5*g - 10 + 0 = y for g.
-2
Suppose -l + 2 = 1. Suppose 2*a = l + 3. Solve -h + 3 = -a for h.
5
Let u be 0 + (0 - 2 - -3). Solve -2*o + u = -1 for o.
1
Let l = -8 - -13. Solve 3*w = l*w for w.
0
Suppose 2*f + 5 - 13 = 0. Suppose -15 = -f*m - m. Suppose o - 100 = -4*o. Solve m*y - o = 8*y for y.
-4
Let n be (-4)/(-12) + 40/(-3). Let k = n - -25. Let o(z) = z - 4. Let y be o(7). Solve -k = -5*b + y for b.
3
Let o(g) = g**3 + 5*g**2 + 2*g - 4. Let x be o(-4). Let d be ((-12)/18)/(2/9). Let z be (d + (-10)/(-4))*0. Solve z*n - 12 = -x*n for n.
3
Suppose 20 + 55 = 15*m. Solve -m*z + 12 = -3 for z.
3
Let y(p) = -p**2 - 9*p + 2. Suppose 0 = -2*q + 9 - 27. Let m be y(q). Suppose 0 = -z - 4*z + 35. Solve m*j = z*j + 25 for j.
-5
Suppose 3*d = 73 + 38. Suppose v = -4*g + 51, -5*v + 100 = 4*g + d. Solve -3 = 3*k - g for k.
3
Let v be 3/(-9) - 3/(-9). Suppose 4*i - 16 = 2*i - 4*t, 3*i + 4*t - 16 = v. Solve i*c - 4 = 2*c for c.
-2
Let c = 19 - 17. Solve 1 = i - c for i.
3
Let g(q) = -5*q - 2. Let k be g(-1). Suppose -4*h = k*x - 68, -h + 2*x - 6 + 23 = 0. Solve -2 + h = -3*u for u.
-5
Suppose 12*g - 16*g = -12. Solve g = 3*o - 4*o for o.
-3
Suppose 2 = 5*h - 3*h. Let m(g) = 47*g**3 + 2*g**2 - 1. Let s be m(h). Suppose 3*q = 0, -q = -3*f - 2*q + s. Solve 4*i = -0*i + f for i.
4
Let u(h) = 3*h + 27. Let j be u(-9). Solve j = -0*t + 3*t - 9 for t.
3
Let b(o) = 10*o + 2. Let w be b(1). Solve 5*r = r - w for r.
-3
Let o(s) = 0*s - 3 + s + 5. Let c be o(0). Suppose 0 = 3*k + 2*v + 7, 2*k + 13 + 5 = -4*v. Solve -3*i + k = -c for i.
1
Let w(i) = 2*i - 5. Let s be w(6). Let k(v) = -v**2 - 9*v + 15. Let l be k(-10). Solve 3 = l*m - s for m.
2
Let o be ((-3)/(-6))/(2/(-16)*-1). Solve 16 = -0*g - o*g for g.
-4
Let i be 9/3*((-2)/(-6) - -1). Solve 0 = -r + 3*r - i for r.
2
Let v = -1 + 4. Suppose 4*x - 4*l = -4, 0*l = x - v*l + 9. Suppose -s = x*s - 4. Solve o + s = 2*o for o.
1
Let r = -20 + 23. Solve r*c + c = 12 for c.
3
Let y be 2 - 0/(-4 - -1). Let i be -3 + y/(-2) + 19. Solve -l = -4*l - i for l.
-5
Let h(i) = i**3 - 9*i**2 + 7*i + 10. Let u be h(8). Suppose -3*x = -15, 0 = 3*c - 4*x - 8 + 34. Let g = c + u. Solve g = -3*w + 4 + 5 for w.
3
Let i(y) = y**3 + 10*y**2 - 2. Let c be i(-10). Let q be (c/5)/(2/(-40)). Solve q*z - 8 = 4*z for z.
2
Suppose 0 = -0*c - 3*c + 18. Let y be 8/c*(-15)/(-10). Solve -v + 2*v = -y for v.
-2
Let s(h) = h**3 + 4*h**2 - 7*h - 7. Let u be s(-5). Let o be (-2)/3 - (-5)/u. Solve -d = o - 4 for d.
3
Let a be (-3 - (-5 + 3)) + 12. Let k = 12 - a. Solve -u = -k - 3 for u.
4
Let z = 7 + -7. Let n = 49 + -47. Solve z = q - n*q for q.
0
Let c(g) = g**3 - 5*g**2 - 6*g + 5. Let m be c(6). Suppose -b + 3 - 1 = 0. Suppose -2*t = 2*k - 16, b*k = k - 5*t + 28. Solve m = -4*v + k*v for v.
-5
Suppose -20 = -7*g + 2*g. Suppose -f + 3*f - 6 =