Solve f*t - 1 = 9 for t.
2
Let k(u) = -5*u**2 + 13*u + 8. Let z(d) = 14*d**2 - 38*d - 24. Let q(t) = -17*k(t) - 6*z(t). Let r be q(-6). Suppose -2*n - r*n = -4. Solve -f - 4 = n for f.
-5
Let s(y) = 3*y - 1. Let m be s(1). Let w be (m/4)/(3/18). Solve r = w + 2 for r.
5
Suppose 0 = 3*s - 30. Solve -j - s = -6*j for j.
2
Let n be (-3)/((-9)/12) - 1. Suppose n*t - 2*t + 17 = r, -t = -3. Suppose m + 3*m = -3*y + 11, 5*y + 3*m = 22. Solve 5 = y*v + r for v.
-3
Let q = -4 - -3. Let x be 0 + q + (-1 - 1). Let p = x + 8. Solve 15 = -p*n + 5 for n.
-2
Let t(r) be the second derivative of -r**4/12 + 13*r**3/6 - 9*r**2/2 - 6*r. Let o be t(12). Solve m = -0*m + o for m.
3
Let n(v) = -2*v - 1. Let l(b) = -4*b**2 + 0*b - b**3 + 3 - b - 4*b**2 + 2*b**3. Let c be l(8). Let y be n(c). Solve 3*u + y = -0*u for u.
-3
Let l(j) = j + 20. Let w be 3/1*2/6. Let c be 0/1*(-2 + w). Let x be l(c). Solve -x = 6*t - t for t.
-4
Let a = -43 - -43. Solve a*v = 3*v for v.
0
Let f(p) = p + 4 + 7*p**2 - 5 + p**2. Let h be f(1). Solve h = -o + 3*o for o.
4
Suppose 6 + 3 = 9*w. Solve -4*t + 3 = -w for t.
1
Let z be ((-2)/6)/((-2)/6). Let d(s) = 12*s**3 + s**2 - 2*s + 1. Let u be d(z). Let v(w) = -w**3 - 5*w**2 - w - 2. Let f be v(-5). Solve f*m = -m + u for m.
3
Let z be (-8)/(-28) - (-32)/(-14). Let m be (2/(-3))/(z/36). Suppose -5*g + m = -g. Solve h + g - 8 = 0 for h.
5
Let i be (-51)/6*(-4)/2. Solve 5*s = -i - 8 for s.
-5
Let h(b) = 3*b**2 + 8*b + 16. Let t(w) = w**2 + 4*w + 8. Let l(f) = 2*h(f) - 5*t(f). Let k be l(6). Suppose 0 = -6*o + k*o + 32. Solve 0 = 4*v - 0*v + o for v.
-4
Suppose 4*i = 19 - 15. Solve 4 = -3*o + i for o.
-1
Suppose 2*b + 4 - 31 = -5*w, -w + 1 = -4*b. Solve -h + 5 = b for h.
4
Let x(t) = t + 8. Let p be x(-6). Suppose 4*u = 6 + p. Solve j - u*j = -2 for j.
2
Let m = -11 - -16. Solve -m*d + 6 = 31 for d.
-5
Suppose 2*k + 2*v - 28 = 0, -2*k - 9 = 4*v - 41. Let m = 51 + -48. Suppose q = m*q - k. Solve q = 4*c - 6 for c.
3
Suppose -42*i + 6 = -39*i. Solve -2 = -i*o - 0*o for o.
1
Suppose -5*v - t = t + 44, -5*v - t = 47. Let x(f) = 2*f. Let u be x(-7). Let g = v - u. Solve -3*i - 1 = -g for i.
1
Let j(f) = 10*f**3 + f**2 + f. Let g be j(-1). Let x(b) = -b - 1. Let r be x(g). Solve r = -5*m - 6 for m.
-3
Let r be (0 - (-4)/(-12))*-18. Solve -5*c - r = -16 for c.
2
Let c(r) = r**3 + 7*r**2 - 8*r + 4. Let x be c(-8). Suppose 5*z = -2*u - 240, x*z + 2*u + 138 = -54. Let y be ((-6)/4)/(9/z). Solve t + y = -t for t.
-4
Let c(k) = 9*k**3 - 2*k + 1. Let q be c(1). Let a(s) = -s**2 + 8*s + 9. Let w be a(q). Suppose -3 = -m - 1. Solve 0 = m*i + i - w for i.
3
Let v(y) = y + 2. Let j be v(2). Solve -5*m + j*m + 4 = 0 for m.
4
Let y(r) = -r**2 + 4*r + 3. Let a be y(4). Solve 4*p - 2 = a*p for p.
2
Let n(t) = t. Let c be n(3). Suppose 0 = p + c*p - 12. Solve -p*q + 0*q = 0 for q.
0
Let r be 2/4*-2 + 1. Let f = 12 - 0. Solve r = -4*a + a - f for a.
-4
Suppose -3*u + 0*u + 6 = 0, 4 = 2*x - 3*u. Let q(h) = h - 5 - x*h - 2*h - h**2. Let p be q(-4). Solve p*l = -2*l for l.
0
Let d be 33/(-22)*4/(-3). Suppose 0*a - 20 = -5*s - d*a, s + 2*a - 4 = 0. Solve -3*q - q - s = 0 for q.
-1
Let h = 1 + -1. Suppose i + 3*d = h, 5*i - d = 2*d. Solve i*v - 5*v = -10 for v.
2
Let l be 2/4*2*3. Suppose l*t - 1 = k, 3*t = k + t. Solve c = k*c for c.
0
Suppose -5*h = 6*i - 2*i, 0 = 3*h - 4*i. Suppose 2*f - 5 - 3 = h. Solve -w = -1 - f for w.
5
Suppose 0 = 5*r - 15, -5*a + 5*r + 119 = -26. Suppose 2*t - a = -2*t. Suppose -4*o = -4*p + t, -3*o = -3*p + 6*p - 18. Solve o*s = s - 3 for s.
-3
Suppose -3*j + 17 = y, 0*j - 4*y + 8 = 2*j. Solve -5*a + 1 = j for a.
-1
Let p = -13 - -5. Suppose -12 = -3*l - 0. Let d be l/(-3)*36/p. Solve 5 = x - d*x for x.
-1
Suppose 3*n - 15 - 9 = 0. Let g = n - 13. Let m(q) = q**2 + 5*q + 3. Let i be m(g). Solve 0*s = i*s for s.
0
Let s(a) = -a**2 + 4*a - 7. Let b(p) = p**2 - 3*p + 6. Let h(t) = 3*b(t) + 2*s(t). Let v be h(0). Solve 0 = -v*g + 3 + 5 for g.
2
Let h = 0 + 3. Let r(x) = x**2 - 3*x - 10. Let w be r(7). Suppose w = -0*y + h*y. Solve -y = t - 4 for t.
-2
Let q = 10 - 10. Let n be -5*(6/10 - 1). Let f be (-3 - -1)*1 + n. Solve f = -q*w - 2*w + 6 for w.
3
Let w = -13 - -18. Solve 0*u + w*u = 15 for u.
3
Suppose 0 = 23*v - 19*v - 12. Solve 2*t - v = 3 for t.
3
Let x be 5/4 + (-3)/(-4). Suppose 0 = 5*s - 4*s + x. Let p be 2 + s/(-3)*-3. Solve p*q = -5*q for q.
0
Suppose -2*x = g - 15, -3*x = -x - 4*g + 10. Suppose -10*l = -x*l - 10. Solve 4*i - l = 5*i for i.
-2
Let a be (1 + -4)*(1 - 2). Suppose -4*g - 2*j + 5*j - 23 = 0, 0 = -g + 5*j + 7. Let c(h) = h**3 + 7*h**2 - 8*h. Let k be c(g). Solve k = -a*z - z for z.
0
Suppose 4 = -h + 7. Solve -p + 2 = -h for p.
5
Suppose -5*y + 15 = -5. Suppose 16 = -4*h, 0*i - y*i + 4*h = -56. Solve 0*c + i = -5*c for c.
-2
Let c(t) = -t**2 + 7*t + 3. Let d be c(7). Suppose -d*n + 7 - 1 = 0. Solve -2*u + n = 6 for u.
-2
Let h = 1 + 1. Let s be (-3 + h)*3*7. Let d = -12 - s. Solve r = -2*r + d for r.
3
Let o(i) = -5*i - 9. Let n(y) = 4*y + 9. Let m(q) = 6*n(q) + 5*o(q). Let s be m(6). Solve s*c + 6 = -0*c for c.
-2
Suppose 2*f + 5*n - 35 = 0, -2*n = 2*f + n - 33. Solve -4*s + f = -s for s.
5
Let c(f) = -4*f + 9. Let u be c(2). Solve -13 + u = 4*n for n.
-3
Let h be 2/(-1) - -5 - -3. Solve 4*b - 18 = -h for b.
3
Suppose 0 = -8*z + 4*z + 20. Let c = z + -7. Let s be 1 - 3/(c - 1). Solve -1 = s*w - 9 for w.
4
Let k(z) = z**3 - 5*z**2 + 5*z + 1. Let n be k(4). Suppose 0 = -p - 2*t + n, 3*p + t = -3*t + 25. Solve 4*w + p = w for w.
-5
Let j(q) be the third derivative of q**5/30 + q**4/12 - q**3/3 + 3*q**2. Let b be j(-2). Solve -4 - b = 2*a for a.
-3
Suppose -5*g - 9 - 16 = 0. Let j = 8 + g. Solve 4 = a - j*a for a.
-2
Suppose 0 = -4*h - 2*g - 8, 0*h + 4*g = -4*h - 16. Let d(a) = -20*a. Let c be d(-1). Solve h = i + 3*i - c for i.
5
Let j = 48 - 47. Solve -5*w = -j + 21 for w.
-4
Let g be ((-2 - 0) + 1)*-1. Let l = 17 - 14. Solve g = -j + l for j.
2
Let h = 0 + 1. Let m be 6/h*(-4)/(-12). Let r = -3 - -8. Solve m*c = r - 1 for c.
2
Let r = 8 + -4. Let m(t) = -t**2 - 8*t. Let j be m(-6). Let u(v) = v**2 + 3*v + 6. Let p be u(-2). Solve j = -r*q - p for q.
-4
Let o = 81 + -75. Solve o = 5*u - 3*u for u.
3
Let u = -12 + 20. Let c be 2*(-1)/((-2)/3). Solve -u = -c*j + 7 for j.
5
Suppose -5*d - q - 32 = q, 3*d = -2*q - 16. Suppose r - 3 = -9. Let x be r/d*-2*-2. Solve -4*t - 1 = -x*t for t.
-1
Let o(r) = -8*r - 36. Let c be o(-5). Solve 6*y - 2*y = c for y.
1
Suppose 15 = -0*f + 3*f. Let d be 3 - (182/65 + (-1)/(-5)). Solve 25 = f*x - d for x.
5
Suppose 0*c - 5*c + 40 = 5*u, -5*u + 34 = 3*c. Solve 1 = -u*l + 16 for l.
3
Let x be (-2)/(-3)*(6 + 6). Solve 0*g - 2*g = x for g.
-4
Suppose o + 5*y - 5 = 0, -3*y = -5*o - 0*y - 3. Let c be 0/(1 + -3 + o). Solve c = -0*f + 5*f + 20 for f.
-4
Suppose 3*p = 4*k + p - 4, 4*p = -4*k + 4. Solve 5 + k = -3*z for z.
-2
Let b be 3/(-9) + (-66)/(-9). Let l = -8 + b. Let f be ((-1)/l)/((-3)/(-9)). Solve 2*p + f = -p for p.
-1
Let g(w) = -w + 8. Suppose 4*o - 3 = 5*a + 3, -4*a - 8 = 0. Let h = 5 + o. Let q be g(h). Solve -q*i = i - 20 for i.
4
Let x be -2 + (-2 + -2)*1. Suppose a - 2 = 9. Let k = x + a. Solve -k*g = -2*g - 9 for g.
3
Let y be -1 + (-2 - 0) + -3. Let h be 13 - (-2)/(y/3). Solve g + h = -3*g for g.
-3
Let s be (-10)/(-4)*(-56)/(-35). Solve -g + s = g for g.
2
Let z be 1*-3*(-4)/4. Let w(c) = -7*c + 6 - 2 + 1 + c**2 - z. Let f be w(7). Solve -f*u + 3*u = 0 for u.
0
Let w = 1 - 1. Let u(g) = g**2 + 14*g + 15. Let h be u(-13). Suppose h*q = q + 15. Solve w = i - 4*i + q for i.
5
Let m = -31 - -35. Solve -q = m*q for q.
0
Suppose -48 = -5*u - 4*v - 0*v, 4*u - 4*v - 60 = 0. Solve 0*t - u = 4*t for t.
-3
Let a be -1*19*(3 - 4). Suppose 4*t + 3*i = 26, 3*t + 4*i - a = 2*i. Solve -15 = -5*d - t for d.
2
Let v = -8 - -13. Let s = 50 - 1. Suppose -p - s = -4*i, -4*p - 6 + 2 = 0. Solve 2*u - i = v*u for u.
-4
Let u = 0 - 0. Let j(g) = -g**2 - g + 3. Let i be j(u). Solve 0 = i*d - d for d.
0
Let n = 0 + 3. Suppose -61 = 5*p + 2*x + 279, -3*p + x = 193. Let k be 2/11 + 12/p. Solve f = -n - k for f.
-3
Let p = 2 + -2. Suppose 3 = -3*v + 2*h, p = 2*v - 2*h - 3*h + 13. Suppose 5*t = i + 2, -3*i - 2*t + 5 + 6 = 0. Solve -i*w - v - 2 = 0 for w.
-1
Let m be (1 - -2)*(-6 + 7). Let r be ((-4)/(-12))/(m/3