 - t*x + 12 = 0, -22 = m - 4*x for m.
-2
Let x = 635 - 625. Solve 3*h - x = 5*m, 0 = -5*h + m - 4 - 16 for h.
-5
Let f = 3 - -12. Suppose -3*y = 77 - 5. Let s be (10/(-2))/(y/20 - -1). Solve -q - q - v = -f, -s = -4*q - v for q.
5
Suppose -4*v + v = 4*v. Suppose v = -138*c + 140*c - 10. Solve -25 = -5*n - 0*x + c*x, 0 = -3*n + 4*x + 15 for n.
5
Suppose 3*f = 21 - 3. Suppose w - 5 = -3*d + f*w, 5*d = -3*w + 31. Let n(h) = h**3 + 3*h - 2. Let x be n(2). Solve -s = 3*v - 10, -d*s = 5*v - x - 8 for v.
3
Let l(c) = c**2 - 2*c + 4. Let k be l(2). Suppose 34 = -k*t - 18. Let i be t/(-4) + 9/12. Solve -2 = i*p + 2*g, 3*g + 7 = 5*p + 26 for p.
-2
Suppose -5*x - 3*a + 24 = 0, -2*a - 3 = -3*a. Let v be ((-10)/6)/(4/(-12)). Solve -v*y = l - 5, 0 = -2*y - x*l + l + 10 for y.
0
Suppose 0 = -i + 4*i - 9. Let k(o) = -i*o + 2*o**2 - 3 + 2*o + 3 - 2. Let p be k(2). Solve 0 = c - p*s + 4, 0 = s - 3*s for c.
-4
Suppose 2*p + 1 = -n - 13, 5*n + 70 = p. Let s be (7/n)/((-2)/44). Solve 0 = 5*u - 0*c + 4*c + s, -23 = -3*u + 5*c for u.
1
Let m(k) = -k**3 + 6*k**2 + 2*k - 4. Let y be m(4). Let i = -31 + y. Solve 10 = -i*n + 4*f + 37, -3*n + 5*f + 24 = 0 for n.
3
Suppose -44 = -13*m - 18. Solve 3*l + 5*w + 29 = 0, -m*w - 14 = -2*l + 3*w for l.
-3
Let v(f) = -33*f + 297. Let n be v(9). Solve -b - 2 = s + 4, n = -4*b + 2*s - 6 for b.
-3
Suppose t - 7*m = -3*m - 125, -3*m + 3 = 0. Let o = t - -121. Solve o = 3*g + 15, 0 = 5*q - g - 5 for q.
0
Let h(b) = -b**3 + 3*b**2 + 6*b + 3. Let n be h(-2). Suppose -9 + 3 = 2*j, -2*j - n = -q. Solve -2*w = 5*z + 13, -5*z - 5*w - 30 = -q for z.
-1
Let a(s) = s**3 + s. Let b be a(1). Suppose o = b*o - 12. Solve 5*g - 2 = -2*r - r, o = r - 4*g for r.
4
Let h(g) be the third derivative of 5*g**4/24 - 4*g**3/3 - 3*g**2. Let y be h(-6). Let x be (y/5)/(12/(-30)). Solve 5*v = l + 5 + 12, -5*l = v - x for l.
3
Let v be (-1 + -3)*(-10)/20. Solve -4*z + 2 = 5*k, 5*k = -v*z + 2*k for z.
3
Let p(g) = 2*g**2 - 3*g - 99. Let j be p(8). Solve -2*q + 9 = -i, j*q - 4*i = 6*q for q.
4
Let r(c) = -2*c. Let k be r(-1). Suppose 4*m + 3*i = 25, -7*i = 4*m - k*i - 31. Let f = 44 + -39. Solve n + 1 = -4*w, -f*w = 2*n + 1 + m for n.
-5
Let d = -13 + 17. Suppose -3*y + 140 - 128 = 0. Solve a + 6 = 2*r, 0*a = -d*r - y*a for r.
2
Let g(d) = -2*d + 2. Suppose -18 = 3*o + 3*b, 2*o + 2*o - 2*b = 6. Let u be g(o). Solve l = 2*f + 14, u*f + 3*l = 7*l - 36 for f.
-5
Let z(p) = -p**2 + 11*p - 12. Let u(t) = -t + 20. Let a be u(11). Let d be z(a). Solve 4*h + x = -12, -d*h = -3*h + 5*x - 8 for h.
-4
Let z = 7 - 12. Let g = z - -8. Suppose -3*m - 6 = 0, -2*a + 6 = g*m - 6*m. Solve -k - 15 = 4*s, 19 = -5*s - a*s - k for s.
-4
Let l(y) = -y + 2. Let z be l(2). Let i(q) = 2*q**2 - 3*q - 4. Suppose 42*v - 38*v - 12 = 0. Let b be i(v). Solve 4*j + z*u = 3*u - 15, -b = -4*j - u for j.
0
Let d be 22/14 + 15*(-1)/(-35). Solve d*s + 3*i - 7 = 0, 3*i + i = 12 for s.
-1
Let a be (2 - 6)/(1/(-2)). Let r be (-64)/36 - a/36. Let j(b) = b + 4. Let q be j(r). Solve q*y - 2 = -0*y - 3*g, -g + 8 = -3*y for y.
-2
Let z be (((-27)/6)/1)/((-3)/4). Solve 3*s - z = g - 5, -s + 3 = -3*g for g.
-1
Let v(n) = 9*n + 145. Let c be v(-16). Solve p + 5 = -2*f, 5*f - 6 + c = p for p.
-5
Suppose 0 = -y - 5*f + 22, 0 = -y - y + 2*f - 4. Solve 13 = g - y*j, j - 6*j - 25 = -g for g.
5
Let n(d) = d**2 + 7*d + 16. Let q be n(-4). Let c(j) = 2*j - 3. Let h be c(q). Solve -21 - 4 = -h*w, -2*i - 5*w = -15 for i.
-5
Let l = 3 - 119. Let v = 118 + l. Solve 4*k = -4*s, -4*s = -k - v*k + 14 for s.
-2
Let z(l) = -l - 2. Let c be z(-3). Let d be (-9 - -1) + (1 - c). Let i = d + 14. Solve 5*k - 15 = -v - v, 2*k + v = i for k.
3
Let o be ((-1)/(-3))/((-5)/(-495)). Suppose -d = o - 0. Let u = -28 - d. Solve 0*k + u*c = k + 3, 0 = 5*k + 3*c + 15 for k.
-3
Suppose -7*u = -229 - 58. Let i(g) = -4*g + 2. Let y be i(-4). Solve 4*m + u = 5*q, 2*q + m = 3*m + y for q.
5
Let l(b) = b**3 + 17*b**2 + b + 23. Let f be l(-17). Let n(w) = 2*w + 6. Let r be n(-5). Let d = r + f. Solve -d*o - 2 = 0, 0*z - z + 2*o = -4 for z.
2
Let z be (3*76/18)/(3/(-9)). Let n = z - -53. Solve -3*m = -n, 0 = -5*t + m - 11 - 4 for t.
-2
Let u = -27 + 30. Suppose 0*b + h - 2 = -b, 2*h = 0. Let d be (18 - (-2)/b) + u. Solve -3*c - x - 17 = 0, -d = 3*c - x + 3*x for c.
-4
Let k(h) = 3*h - 1. Suppose -13 = -3*j + 17. Let o = j - 9. Let w be k(o). Solve -4*v - w*c = 4 - 2, -3*c - 21 = -3*v for v.
2
Let q be 8/(9/11 - 12/(-66)). Suppose 6*a - 10*a + q = 0. Solve f - 5*m = -22, 4*m - 9 = a*f + 11 for f.
-2
Let j = -236 + 236. Solve -2*i + j*d - 3*d = -4, -i = 3*d - 2 for i.
2
Suppose 2*c - 5*b = 0, 5*b - 16 + 11 = c. Solve 2*i - 2*y = 16, -c*i + y - 4 + 32 = 0 for i.
5
Let m be -2*(-1)/(-6)*33. Let v = -7 - m. Suppose -2*h = h - 6. Solve z - c = -h, 0 = -2*c + v*c - 8 for z.
2
Let k(h) = -h**3 - 2*h**2 + 1. Let y be k(-3). Suppose -y = -2*a - 0. Suppose -10*f = -12*f + 6. Solve -4*m = a*u - 8, 5*u = 4*m - f*m + 23 for m.
-3
Suppose 0 = -3*h - c + 17, 0 = -5*h + c - 1 + 24. Solve 0 = -5*k + h*l - 25, k = -4*k + 2*l - 16 for k.
-2
Let w = 33 + -35. Let u be 9/w*6/(-9). Solve 3*j + 12 = 0, -u*o - j + 13 = 2 for o.
5
Suppose 6*i - 8*i + 90 = 0. Let v be ((-4)/6)/((-6)/i). Suppose t + 12 = v*t. Solve 0 = l + t*w + 19, -2*l - 3*l + 3*w - 5 = 0 for l.
-4
Let d(a) = -a**2 + 7*a. Let x be d(4). Let q(g) = -8*g - 2. Let v be q(-1). Solve -2*b = -5*b - v, 2*b = -4*w - x for w.
-2
Suppose -5*j = 5*b + 95, -2*j - 4*b - 7 = 41. Let s be ((-6)/9)/(j/21). Solve 5*c + 3*g - 10 - s = 0, -4*c = 3*g - 10 for c.
1
Suppose t - 3 = -2*u - 4*t, -2*u + 4 = 4*t. Let l(x) = x + 15. Let m be l(-13). Let i be (3 + -5)/(-2)*m. Solve u*r + i*k = -1 - 13, -5*r - 22 = 4*k for r.
-2
Suppose i = -s - 20, 0 = 4*i - 5*s + s + 48. Suppose 0 = 32*n - 37*n + 80. Let z = i + n. Solve g + m - 4 = -3, 4*g - 3*m - 32 = z for g.
5
Let g be (11 - 1)*(-2)/(-5). Suppose 12 = 4*b + p, -4*p - 1 - 11 = -g*b. Solve -3*q = -5*v + v + 15, 4*q = b*v - 13 for q.
-1
Let y(b) = -b**2 - 19*b - 68. Let i be y(-5). Solve q - 5*s + i = 0, -3*q + 15 - 4 = 2*s for q.
3
Let x = -4 + -9. Let d = x - -15. Solve 0 = -5*s + 5, -z = -d*z - s for z.
-1
Suppose 0 = -5*l - 203 + 208. Solve 10 = 3*y + l, 4*y = -4*k + 16 for k.
1
Suppose -8 = 2*o, -w + 6 = -2*o - 8. Suppose -5*y - 2*a - 3*a + 115 = 0, 0 = -3*y - 5*a + 67. Let u = y + -12. Solve 3*p - 4*s = -22 - w, -3*s = -u for p.
-4
Let w be 30/(-4)*(-36)/27. Suppose -27 = -0*z - 2*z + 5*n, -28 = -3*z + 5*n. Let r be 5/z + 0 - 0. Solve 0 = 2*m + r*g + w, -6 + 1 = m + 4*g for m.
-5
Let d = -63 - -60. Let i be 1*d/(-12)*0. Solve i = -l - 2*v, 4*v + 7 = -5*l + 19 for l.
4
Suppose -70*k = -72*k + 6. Solve -o - 17 = k*c + o, -16 = 4*o for c.
-3
Suppose 0 = 2*a + 5*k - 61, -a - 3*k + 30 = -3. Suppose 2 = 5*z - a. Solve 3*p = z*d - 13, 5*p - 4*d - 1 + 20 = 0 for p.
-3
Suppose 0 = -0*j - 7*j + 42. Suppose 5*a = 3*a + j. Solve 0 = -2*v - 10, a*p - 5*v + 3 = 28 for p.
0
Suppose 6*g - 13 = -1021. Let d = g + 170. Suppose 0 = 3*b - 3 - 15. Solve -w - p = 0, 3*w - b*p + d*p = -21 for w.
-3
Let c(v) = 4*v. Let g be c(1). Suppose 5*p - 7*p + g = 0. Suppose -9 = -p*m + 7. Solve -3*l = 4*r - l + 20, m = 4*r - 5*l for r.
-3
Suppose -2*r + 87 = -3*j + 89, -26 = -4*j - 2*r. Solve 6*s + f = 3*s - j, 2*s + 3*f = 2 for s.
-2
Suppose n = -n - q + 75, -2*n - 4*q = -90. Let f = -27 + n. Solve -2 = 3*o + 5*c, 2*c - 12 = 4*o + f for o.
-4
Suppose 1 = f - 5. Let s be f/4 + 13/4*6. Solve 3*w - 3*r - s = 0, 2*w + 4*r + 4 = -2*w for w.
3
Let u(o) be the first derivative of o**2 + 4*o - 6. Let g be u(3). Let m = g + -5. Solve -2*h + 15 = -5*s - 7*h, -23 = m*s - 3*h for s.
-4
Suppose 7*v = -650 + 657. Solve 0 = 2*x + 5*d + 6 + v, -5*d - 3 = 3*x for x.
4
Let l(q) = -14*q + q**2 + 2*q + 4*q + 8 + 4. Let u be l(7). Solve -u*k - 2 = -6*b + 2*b, -4*k = -b - 5 for k.
2
Suppose -4*k - 2 = 5*h - 66, 4*h - 5*k - 84 = 0. Solve -4*t + 4*y = 4 + h, -3 = -y for t.
-2
Let v(j) = -j**3 + 6*j**2 + 2. Let w be v(6). Suppose -29*m + 10*m = 0. Solve w*l + 3*a - 11 = m, 3*l - a + 3 = -8 for l.
-2
Let b be (-19)/(-3) - (-6)/9. Suppose -9*w + b*w + 8 = 0. Let y be 9/(-6)*(3 + -7). Solve 4*m + 2*p + y = 3*p, -2*m + 4 = -w*p for m.
-2
Let x = 437 - 432. Solve -5*k + x*z = -0*z, 0 = -2*k - 2*z - 20 for k.
-5
Let i(l) = -l**2 + 7*l -