*o + 2*o + 30 for t.
-4
Let f be (5 + 9)*(-2)/(-4). Let p be f/35 + 28/10. Suppose 7*b - 2*b - 30 = 5*v, -p*b - 3*v = -6. Solve 5*u + b*w + 8 = u, 5*u - 5*w = -30 for u.
-4
Let s be (-2)/(-4)*(-7 + 27). Solve 0 = -5*x + 3*f - s, x + 2*x = 3*f for x.
-5
Let g(m) = m + 46. Let u be g(-43). Solve -4*z = -2*j, -4*j + 4*z - u*z - 7 = 0 for j.
-2
Let j = 15 + 0. Let x be 1/3*(11 + 25). Solve 0 = 2*w + w + 4*y - x, 0 = -4*w - 5*y + j for w.
0
Let t(d) = d**2 + 9*d + 2. Suppose -36 = -x + 5*x. Let r be t(x). Suppose -6 = -5*b - 31, 2*y + 3*b = -7. Solve -y*a = -2*l + 18, 1 - 6 = r*a + 3*l for a.
-4
Suppose 0 = b - 2*y - 0*y, -2*y = -8. Let q(w) = w**2 - w - 5. Let d be q(-4). Let z be (1 - 0/(-2))/(3/d). Solve 3*f - 15 = z*a, -2*a + 4*f - b = -2 for a.
-3
Let x = 15 + -1. Let n = 8 - x. Let j be (4 + n)/(1*-1). Solve k - 3 = -c + j*c, 3*c - 4*k = -11 for c.
-1
Let f be 65/2 + 5/(-10). Suppose -f = -g + 5*g. Let p(u) = -3*u - 11. Let d be p(g). Solve x = 3*x - 3*k - d, -5*x + 5*k + 25 = 0 for x.
2
Let m = 8 - 15. Let x be (m - -3)*-1 - (-2)/1. Solve x*r = 3*r + 5*y - 37, -2*y + 10 = 0 for r.
-4
Suppose -p + 28 = 5*m - m, -4*m + 12 = 5*p. Solve -3*q = 5*t + m + 1, 0 = 2*t - q - 3 for t.
0
Suppose 46 = -4*z - 2*s, -3*z - 38 = 2*s + 3*s. Let t = -7 - z. Suppose t*v - 32 - 4 = 0. Solve 2*y + 0*y = 4*l + 12, -v = -5*y + 3*l for y.
0
Suppose -3*o = -15, 3*a + 3*o - 13 = 4*o. Let f be 4/a + 2/(-3). Let n be (-3 + f + 2)*-4. Solve -4*z + n*p = 2*p + 10, 0 = -3*z - p - 10 for z.
-3
Let p(x) = 6*x**2 - 56*x + 23. Let y be p(9). Solve -5*v - y*t - 7 + 2 = 0, -25 = 4*v - 3*t for v.
-4
Let y = 23 - -3. Let u = y + -16. Solve -l = -2*v + 9, 3*v = l + 4 + u for v.
5
Let f be 2/((8/(-6))/(-2)). Suppose 148 = 4*y - 64. Let t = 55 - y. Solve f*o + i = 5, t*i - 15 = -o - i for o.
0
Suppose 0 = 42*h - 32*h - 30. Solve 4*p - h*d - d = -24, 18 = -2*p + 5*d for p.
-4
Let t(z) = -8*z - 7. Let p be -5 - -6 - 4*1. Let k be t(p). Let x = -14 + k. Solve d + 7 = 3*d - 5*n, x*n + 21 = -3*d for d.
-4
Let q = 52 + -77. Let u = -20 - q. Solve -28 = -3*g + u*i, -2*g - 2*i = -5*g + 13 for g.
1
Let m = -31 - -34. Let u be -1*(m + 1) - -8. Solve -2*a + 3 = u*z + 33, -30 = a + 5*z for a.
-5
Suppose 3*h = 2*f - 12, -3*f + 4*h = 2*f - 23. Suppose -4*d - l + 20 = 0, 0*l = -3*d - f*l + 24. Solve 5*x - 20 = 5*q, -d*q + 2*q = -x + 9 for q.
-5
Suppose -3*w - 3 = 5*o, 3*w = -4*o - w - 4. Suppose 5*n - 416 - 424 = o. Let r be n/(-18)*3/(-2). Solve -3*a + r = -l, -5*l + 5*a = 9 + 21 for l.
-2
Let q = 16 - 9. Let y(g) = -g**2 + 7*g - 2. Let o be y(8). Let c be (12/(-15))/(4/o). Solve -p + q = -c*h + 3*h, 4*h = -5*p + 31 for h.
4
Suppose 2*z + 1 = 9. Suppose -z*a = a - 40. Suppose i + 24 = 4*v, -3*v = -4*i - 10 - 8. Solve -9 = 4*p + n, 3*p - 2*n - a = v*p for p.
-2
Let u(r) = r**2 + 5*r + 2. Let z be u(-6). Suppose 3*c + 42 = 5*c. Suppose 2*n = k - 3, -4*k - n + 17 = -4*n. Solve k*w + 2*s + c = -s, -s - z = 2*w for w.
-3
Let t = -13 + 20. Let d = -5 + t. Suppose -d = 2*n - 66. Solve 16 = -0*o - 5*o + 3*l, -n = 4*o + 4*l for o.
-5
Let b(l) = l**2 + l - 3. Let g be b(-3). Let n = 21 - 17. Let o be 55/n + 2/8. Solve -4*i + 2*k + 18 = -0, -g*i - 4*k = o for i.
2
Let f(x) = 2*x**3 - 65*x**2 + 31*x + 36. Let v be f(32). Solve 3*p = -h - 8, 0*p - v*h + 16 = -4*p for p.
-3
Suppose 5*p + g = 26, 25 = 3*p + 4*g + 6. Suppose 6*i = 4*i - 4*b - 2, i + p*b = -7. Solve i = -3*m - 2*a, 4*a + 11 = -m - 0 for m.
1
Suppose -4*d - 4 = -4*o, -5*o = 2*d - 3*d - 13. Solve 5*r - 5*v + 5 - 15 = 0, o*r - 4 = 2*v for r.
0
Let b = -1 + 16. Suppose -4*u + b = u. Solve -2*w - 14 = -5*w - x, 0 = -5*w + u*x + 14 for w.
4
Suppose -27*h + 16 = -23*h. Solve -m - h*b = -5*m, 0 = -5*m - 3*b + 24 for m.
3
Let l = -29 + 24. Let m = l + 7. Solve 0 = -2*v - 4*x + m*x - 4, 4 = -v - 3*x for v.
-1
Let r = -15 - -16. Suppose -27 = -4*x - f, -f - r - 2 = -x. Suppose 5*t - x - 19 = 0. Solve 4*j - t*l + 0 = -9, 5*l - 4 = -j for j.
-1
Suppose -17*r + 5*r + 36 = 0. Solve 2*y - r*f - 2*f = 15, 0 = -3*f - 9 for y.
0
Let c be 11/(-2 - (5 + -8)). Suppose -c = -2*a - 0*u - u, 4*a = -5*u + 31. Solve 7 = -5*v + a*r, 2*v - 5*r = -0*v + 4 for v.
-3
Suppose -q + 36 = c - 2*q, c = 2*q + 33. Suppose -5*j + c = 2*x, x = -3*j + j + 16. Solve -y = 5*z - 19, -j*z + 2*z + 4*y - 1 = 0 for z.
3
Suppose 4*l - 2*q - 4 = 2, -l + 1 = -q. Suppose 0 = -h + l*d + 32, -5*d - 2 = 2*h - 57. Solve -8*b + 5*j + h = -3*b, -3*b = -j - 10 for b.
2
Let c be 3 + 0 + -15 + 3. Let x(v) = 2*v**2 + 13*v + 3. Let i be x(c). Suppose 42 = 5*g - i. Solve -3*a - 5*f = -26, 2*a - 5*f - 2 + g = 0 for a.
2
Suppose 0*i - 8 = j - 2*i, 0 = 3*j - i + 14. Let a be 3 + (-1 - (-7 - j)). Solve 5*m + o = -3*o + 31, 0 = 3*m + a*o - 29 for m.
3
Let m(g) = 5*g + 3 - 3*g - 2 + 2*g. Let t be m(1). Solve 3*i + y = -0*y + 8, i = t*y + 24 for i.
4
Let g(h) = 43*h - 210. Let a be g(5). Solve 1 = 5*f + a*u + 6, f + 4*u = -10 for f.
2
Let r(o) = -o**3 - 3*o**2 + 5*o + 4. Let s be r(-4). Let h(w) = -w**3 - w**2 + 31. Let l be h(s). Let g = -27 + l. Solve g*p = 7*p - 3, 4*u + p - 5 = 0 for u.
1
Let o(a) = a**3 + 11*a**2 + 10*a + 1. Let t be o(-10). Let k(h) = 11*h - 1. Let p be k(t). Let v = -10 - -35. Solve 3*j - 7 = 2*d, v = -p*d + 5*d for j.
-1
Let j = 7 - -11. Let k be ((-1)/2)/((-3)/j). Suppose -3*z - k + 9 = 0. Solve -z*w + 4*w = 2*n + 2, 4*n + 2*w = 26 for n.
4
Suppose -32 + 2 = -6*k. Solve 2*y - 6 = -4*i, -3*i + k + 0 = 2*y for y.
1
Let j = 35 - -45. Suppose 6*s - j = -20. Solve y - s = 3*l, y - 14 = 5*l - 0*y for l.
-2
Suppose 62*s = 42*s + 160. Solve a - h - s = 2*h, -32 = 5*a + 3*h for a.
-4
Let m be 18 + -4*9/(-12). Suppose 16*o - m*o = -10. Solve 8*x = 3*x + t + 10, o = x - t for x.
2
Suppose 0 = -2*r - 3*r + 80. Suppose -2*d + r = 2*d. Solve -5*z - 27 = 2*s - 0*s, d*s - 16 = 4*z for z.
-5
Let a(w) = 17*w - 117. Let t be a(6). Let k(n) = -18*n - 11 - 2*n**2 - 11 + n**2. Let r be k(t). Solve -b - 3*b + 5*x = 7, 0 = 4*b + 5*x - r for b.
2
Let o be 6 + 12/(-2) - -2. Solve -5*g - 2*a - 33 = 0, o*a = 3*g + 3*a + 19 for g.
-5
Let v be (54/(-45))/((-4)/10). Let u be (30/25)/(3/20). Suppose -7 = -3*x - 2*r + r, -4*x - 2*r = -u. Solve -x = -3*o + 2*j + 2, 3*o = -v*j + 30 for o.
5
Let b(h) = -h**2 - 9*h + 15. Let t be b(-10). Suppose 3*g - 3*u = 2*u - 13, 5*g - 5*u = -t. Solve 4*q - g = -5*s - 0*q, -s + 4*q = 4 for s.
0
Let n be (-646)/(-171) + 4/18. Suppose n*v - 8 = 2*v. Solve -v*m - m - 10 = -2*y, 2*y = -3*m - 6 for y.
0
Suppose -7*s - 228 = -s. Let q = -36 - s. Solve 4*u + 0 = -v - 6, -q*u = 5*v + 12 for v.
-2
Let g(d) = d**3 - 11*d**2 - 12*d + 4. Let k be g(12). Solve -a - k*h = 3, -8 = 5*a - 4*h + 7 for a.
-3
Suppose -3*a = -2*f - 42, 4*f = -2*a - 374 + 386. Solve 0 = -2*i - 2*l, 2*i + 5*l + 0 + a = 0 for i.
4
Let z be -1 - (-6 + (-3 - -6)). Suppose 4*g = -x + 12, 14*g - x = 19*g - 15. Solve -6 = -g*v - 5*l, 4*v + 15 = -l + z*l for v.
-3
Let x = -91 - -94. Solve -x*d - 2*d - n + 20 = 0, 0 = -3*n - 15 for d.
5
Let j be 4/(-3)*(-11)/(-66)*-9. Solve -j*h = 2*v, -3*h + 0*v = -2*v + 25 for h.
-5
Suppose 2*r + 84 = 4*c, 38 = 173*c - 171*c - 2*r. Solve -4*n - c = 5*l, l + 0*n = -5*n - 13 for l.
-3
Let w = 2665 + -2665. Solve 5*h + p = 7, w = h - 0*p - p + 1 for h.
1
Let o = 21 + -9. Let r be (-34)/6 + (-4)/o. Let u(g) = -g**3 - 6*g**2 - 2*g - 2. Let d be u(r). Solve 3*m - 2*b + d = 2*b, 2*b = -5*m - 8 for m.
-2
Suppose -8*j = -3*j - t - 13, -j = 5*t + 13. Let x be (1 - 4)/(6/(-8)). Solve 3 + j = -4*g - 3*n, x = -3*g - 2*n for g.
-2
Suppose 4*z + 73 = -3*a, -3*z = 2*z + 5*a + 90. Let x = -17 - z. Solve g - 4*j - x = 0, -4*j + 4 = 5*g + 18 for g.
-2
Let a be (-2)/((-20)/46) - (-34)/85. Solve a*y + 12 = -t, y + 3 - 5 = 2*t for y.
-2
Suppose 12*k = 11*k, 0 = 5*v - 5*k - 35. Solve 4*l + 11*i - v = 8*i, -3*l = -4*i - 24 for l.
4
Let w(r) = r**3 + 13*r**2 - 20*r - 74. Let t be w(-14). Solve s + t = -3*h, s + 0*h = h + 10 for s.
5
Let x = 746 + -740. Solve 0 = -3*n + 3*o - 6, -3*n - 7*o = -6*o - x for n.
1
Let r = 20 - 20. Solve r = -2*d + 5*h - 1 - 28, 23 = -4*d + 3*h for d.
-2
Suppose 0 = -3*p + 4*v + 21, -8*p + 6 = -5*p + v. Solve p*w - q = -4, 4*q = -4*w + q - 1 for w.
-1
Let z(c) be the third derivative of -c**4/12 - 11*c**3/6 + c**2. Let p = 32 + -45. Let k be z(p). Solve 2*w - 13 = n - w, -5*n - 5*w = -k for n.
-