 - f - t, 3*t = -o*f + 19 for f.
2
Suppose 5 = y - a, -3*a = -1 - 2. Let b = -11 + 22. Let j = b - y. Solve j*s - 10 = 5*l, -3*l + 5*l + 8 = -2*s for s.
-1
Suppose -6*j + 8*j = 0. Suppose -4*i + 5*w = j, -2*i - w + 9 = -i. Solve -5*m + i = -5*n - 2*m, -n - 5*m - 29 = 0 for n.
-4
Let p = 216 + -380. Let r be p/(-18) + 1/(-9). Suppose 2*u = 3*x + r, -7 + 3 = 4*x. Solve 0*q + 4*q = u*d + 11, q + 10 = 5*d for d.
3
Let q = -113 - -115. Solve -8 = -q*c + h, -3*h - 6 = 3*c - 0 for c.
2
Let x(r) = -5*r - 21. Let n be x(-5). Let i(q) = -q**2 - 11*q + 15. Let s be i(-12). Solve -2 = 2*y + 2*c - n, -2*y + s*c - 3 = 0 for y.
0
Let x(j) = -j - 39. Let o be x(-41). Solve l - w - 7 = -0*l, o*w = -l - 5 for l.
3
Let a = -18 + 19. Let k be 2 - 3 - (-6 - 1). Let q be k/(-2) + (-4 - -31). Solve -2*b = -3*w + b - q, w - a = -2*b for w.
-5
Let o(w) = 13*w - 219. Let m be o(17). Solve -4*j - 30 = -2*q, 27 = -2*j + m*q + 7 for j.
-5
Let r(i) = -i - 17. Let z(b) = 8. Let g(d) = -3*r(d) - 7*z(d). Let q be (7 + -4)*(-10)/(-10). Let t be g(q). Solve -2*w - 3*o = -9 - 6, -2*o = -t*w + 6 for w.
3
Let l be 86/(-4)*-4 + -2. Suppose 4*n + l = -0*n. Let o = n + 24. Solve 0 = 5*y + o*b - 6*b - 11, 4*b + 5 = -3*y for y.
1
Suppose l + 3*l - 80 = 0. Suppose 3*u - 29 = -0*u - 4*v, 2*u - 26 = -4*v. Solve 3*c = 4*a + 7*c - l, 5*c = -u*a + 17 for a.
4
Let x(f) = f + 8. Let a be x(-4). Suppose -9*k - 428 + 428 = 3*k. Solve -n + a*d + 11 - 2 = k, 2*d = -2*n + 8 for n.
5
Let l be (-1 + (-99)/(-6))*4. Let p = l - 61. Solve t = p, -y - 2*t + 3 = 3*t for y.
-2
Suppose -11*i = -8 - 14. Solve -5*m - 19 = i*z, -m + 7 = -3*m - z for m.
-5
Let y(o) = -2*o**2 - 56*o + 123. Let h be y(-30). Solve 5*j + h*i + 16 = 0, -5*j + 5*i - 35 = -j for j.
-5
Let t(a) = a**3 + 11*a**2 - 4*a - 12. Let p be t(-11). Let c = -28 + p. Solve 5*m - 11 = 2*y, 0*y + c*y = 3*m - 15 for y.
-3
Let j be (-3)/2 - (-2)/(-4). Let u be (-1)/(-4)*(2 + j). Suppose 2*m - m = u. Solve 4*b + 4*i + 7 = -5, -3*b + i + 11 = m for b.
2
Let n = 1779 + -1777. Solve d - 10 = -5*y, -y + n*y - d = 2 for y.
2
Suppose -2*b = -23 - 9. Suppose 3*i = -2*t - 14, -3*t - 21 = 3*i + 3. Let o be (t/(-6))/(5/15). Solve 2*y = o*l - 5, -2*y - 4*l + b = -6*y for y.
-5
Let r = 478 - 314. Let h = r + -159. Solve -3*k - 5*u = 2*k - h, 11 = 3*k + u for k.
5
Let s be (-68)/(-16) + 15/20. Solve s*d + 3 = -m, -2*d - 4*m = -2*m - 2 for d.
-1
Suppose 3*h + 17 + 22 = -3*v, 3*v + 9 = 3*h. Let b = -8 - v. Suppose -3*m + 5 = -1. Solve b = 4*g - 3*f - 26, -3*g + f + 13 = m*f for g.
5
Let f = -5 + 3. Let r be 0/(f/((-7)/(28/(-8)))). Solve r = -2*p - 4*w - 28, w + 17 = -0*p - 3*p for p.
-4
Suppose -3*f = -17 - 1. Suppose 4*s = -16, 0 = -5*w + 4*w - 2*s - f. Solve 5*n - 1 = -11, -2*g - w*n = 0 for g.
2
Let b be (267 - 260)*(6/(-14) + 1). Solve b*h - 5*h - 2*x - 8 = 0, 3*x + 3 = 3*h for h.
-2
Let m be (2 + -17)/((-12)/8). Suppose -m*a + 7*a = -72. Solve 3*i = -2*v - 3*v + 10, -v - 5*i + a = 0 for v.
-1
Let r(u) be the first derivative of -u**2/2 - 2*u + 29. Let s = -14 - -8. Let x be r(s). Solve -4*j = -x*f + 40, 5*j + f = -17 - 3 for j.
-5
Let v = -9 + 17. Suppose -5*d + 2 = j - 3*j, 4*j - 4*d + 16 = 0. Let z = j + v. Solve 15 = -z*p - 5*y, -4*p + p + 2*y - 13 = 0 for p.
-5
Let j(r) = -r**3 + 4*r**2 + 18*r - 40. Let y be j(5). Solve 2*m - 12 = 5*p, 0 = -5*m - y + 5 for p.
-4
Suppose 136 = -82*r + 86*r. Let m = r + -10. Solve 0 = -5*u - 3*p - 8, -m = 5*u - 3*u - 4*p for u.
-4
Let n(o) = -o**3 - 6*o**2 - o + 2. Let d be (-9 - -12)*8/(-6). Let l be n(d). Let k = l - -31. Solve 5*s - 2*p + 5*p = 4, 3*s + 4 = -k*p for s.
2
Suppose 3*d = 15, 4*j + 0*d + d = 29. Let k be (-21)/(-2)*12/18. Suppose 25 = -k*c + 12*c. Solve 3*z = -3*s, 0 = -3*s - 0*s - c*z - j for s.
3
Let h(z) = -z**3 + 3*z**2 + 8*z + 12. Let f be h(5). Solve 5*s - 41 = -4*i, 2*s + 4*i = -f*s + 36 for s.
5
Let h(m) = -30 + 6*m**3 - 4*m + 16*m**2 - 9*m - 7*m**3 + 0*m**3. Let f be h(15). Solve g - 6*v + 4*v + 1 = f, g = -3*v + 9 for g.
3
Let b be (1 + 1)*-6*11/22. Let o be 6/(-4) + 1/(-2). Let a = o - b. Solve 0 = -4*w - 16, a*p + 2 = -5*w - 2 for p.
4
Let w = -14 - -24. Suppose -w = -s - 4*s. Let z(l) = -l**3 + 3*l**2 + l - 1. Let j be z(2). Solve i + 13 = -j*n, s = 2*n - i - i for n.
-2
Let b(y) = 222*y - 663. Let l be b(3). Solve 0*i - l*i + 9 = -5*a, -2*a + 4*i - 12 = 0 for a.
0
Let o(v) = -v. Let n(a) = -2*a + 0*a + 5*a. Let s(g) = -3*n(g) - 6*o(g). Let b be s(-1). Solve -b*i + j + 2 = -j, 3*i + 5*j = 37 for i.
4
Let c be -1*((-10 - -3) + 1). Let q be c/(-3) + 6/2. Let b be (-8)/(-10)*(6 - q). Solve 4*p + 28 = -3*a, -p - b*a - a = 24 for p.
-4
Let a = 233 + -230. Solve 5*r - 2*c = -c - 9, 12 = a*c for r.
-1
Suppose 0 = 3*i - 2*i + s - 5, 0 = -5*i - 3*s + 19. Solve i*p - 3*f = -0*f + 7, 5*p - 8 = -2*f for p.
2
Suppose -3*g + 54 = -3*c, c + 2*c = 2*g - 33. Solve 2*l + 3*v = 15, 3*v + 6 - g = -3*l for l.
0
Let p be 0*-3*(-4)/24. Suppose 4*s + 2 - 114 = p. Suppose 2*k = -10 + s. Solve -h + v + k - 3 = 0, 0 = 2*h - 4*v - 20 for h.
2
Let f(j) = j**2 + 14*j + 54. Let g be f(-7). Solve -12 = -6*b + 2*b, -4*b - 13 = -g*s for s.
5
Let n = -57 + 52. Let l = 0 - n. Solve 3*t - 21 - 9 = 5*b, l*b + 20 = t for t.
5
Let k be 10 - 15 - -25 - 0. Solve b + k = 4*m, -5*m + 19 = 2*b - 6 for m.
5
Suppose 0 = -4*s - 2*u + 18, -8 - 7 = -5*u. Let x be (-216)/(-42) - s/21. Solve 0 = -3*w + g - 3, 5*w - 6 - 9 = -x*g for w.
0
Let b be 2/((-4)/14) + -4. Let j(i) = i**3 + 11*i**2 + i - 23. Let g be j(b). Let t = 36 + g. Solve 4 = -t*a - 2, -2*a = -m + 11 for m.
5
Let n = -175 + 178. Solve m + 26 = 3*h + 10, 0 = -n*m - 5*h + 8 for m.
-4
Suppose 2*y + 4 = -x, 5 - 2 = -y. Let g = -580 + 600. Solve 0 = -j - 4*j + g, 18 = x*s + 2*j for s.
5
Suppose -95*w - 154 = -88*w. Suppose 2*g - 5*t + t = 60, -4*g + 114 = -2*t. Let l = w + g. Solve -u = -k, 0*u - l = 2*u for k.
-3
Let p(a) = a**3 + 8*a**2 - 10*a - 3. Let d be p(-9). Suppose -2*n + d = -2. Solve q = -4*c - n, 3*q - 20 = c + 3*c for c.
-2
Let m be -1 + 3*7/21. Suppose 0 = -4*s - 5*a + 67, a = s - 8 - 2. Solve -s = -o + 5*q, m*o + 4*q = 4*o - 20 for o.
3
Let s(p) = -p**3 + 11*p**2 - p + 13. Let z = 21 + -10. Let l be s(z). Let i = 6 + -4. Solve -f = 4*a + l*f - 7, 3*a - 1 = i*f for a.
1
Suppose 14*c - 47 + 761 = 0. Let r = c + 51. Solve -15 = -5*u + 3*f + 2*f, -4*u - 2*f + 6 = r for u.
2
Let g(p) = p**3 + 9*p**2 - 10*p - 15. Let h be g(-10). Let i = h + 19. Solve -4*v - 3 = -5*d, 3*d - i*d - v = 3 for d.
-1
Let s(l) = 16*l. Let b be s(-5). Let m be ((-12)/(-10))/((-6)/b). Solve 0*p = 4*p + 2*u - m, 18 = 4*p + 3*u for p.
3
Suppose -4*s - y = -0*s - 13, 0 = -2*s - y + 7. Solve 3*k = -3*x, 6 = x - s*x for k.
3
Suppose j + 3*j + d = 116, 5*d - 70 = -3*j. Let u(y) = 2*y - 4 + 18 + 5 + 7*y + y**2. Let t be u(-7). Solve -3*b + 3*v = -25 - 5, -v - j = -t*b for b.
5
Let v be ((-4)/(-12))/(2/6). Let m(g) = -v - 16*g - g**2 - 4 - 8. Let a be m(-15). Solve 4*t = -3*b + 15 - 43, 5*t + a*b + 28 = 0 for t.
-4
Suppose 2*r - 30 = -4*f, 0 = 5*r - 3*r - 5*f - 57. Let m be 3/4*4*(-3)/(-3). Solve 2*j = 3*a + 9, 4*a + r = -m*j - 8 for a.
-5
Let o be 4 - (-1)/(3/3). Suppose -7*s + 2*v = -2*s - 15, -3 = -s - v. Let f be -28*-3*s/12. Solve o*p + 3*m - f = 0, 3*p - m + 5*m = 17 for p.
3
Let a = -15 + 17. Let r(x) = -5*x - 3. Let s be r(-2). Suppose -2*t + 2*z = 5*z - 22, -4*t - z + 24 = 0. Solve 5*o + s = 4*o - 5*d, t*d = -a*o - 4 for o.
3
Let s = 73 + -46. Let h be (1/(-1) - 0) + 26. Let k = s - h. Solve -4*d - 5*p + p - 16 = 0, -5*p = k*d + 17 for d.
-1
Let h be -2 - (-2 - 1 - -4)*-17. Suppose 9*g - 12*g = -h. Solve 4*a = 4*r + 6 - 18, -g*a - 15 = 3*r for a.
-3
Suppose -4*a + 9*a + r - 12 = 0, 3 = -r. Solve f + 4*x = a + 5, 3*x = -4*f + 19 for f.
4
Let j = -181 - -183. Solve j*f + 8 = 4*o, 0 = 2*f + 4*o - 3*o - 2 for f.
0
Let f(h) = -h**2 - 30*h - 59. Let j be f(-28). Let g be 9/j - (3 + (-6)/1). Solve g = 3*a - 4*s - 8, 0*a = -2*a - 4*s + 12 for a.
4
Let y(a) = -a**2 + 4*a + 5. Let n be y(5). Let g = 44 - 44. Suppose -36 = -3*h - h + 5*v, -3*h - 4*v + 27 = g. Solve 2*f = -w - h, 0*f - f + 4*w = n for f.
-4
Let g(t) be the first derivative of -t**2/2 + 8*t - 17. Let f be g(6). Solve j + 7 = -j + y, -j = -f*y + 5 for j.
-3
Suppose 6*f - 18 = 3*f. Let w be (-4)/(-6) - (-116)/f. Suppose 0 = 2*n - 22 - w. Solve 0 = 