+ 26 = -y*u, -5*u - 2*x - x = 22 for u.
-2
Let y be 1/(-3) - (-14)/6. Suppose -n + 6 = y*n. Let d be 34*(3/n)/3. Solve t + 4*z = d, 0*t - 2*z = 2*t - 4 for t.
-3
Let r(s) = -s + 19. Let g be r(15). Solve -5*h + 10 = -0*h, -g*y = 4*h - 28 for y.
5
Let d(f) = -4 - 8*f**2 - 6*f - 3*f - f**3 - 3. Let w be d(-7). Suppose -19 = -4*j - 2*v + 3, 0 = -j - 2*v + w. Solve -4*r = j*h + 24, -h + 4*r = -2*h - 8 for h.
-4
Let o(c) = c**3 - 5*c**2 + 7*c - 8. Let p be o(5). Let h be 6/27 - (-534)/p. Solve 17 = -4*x + 5*s - 0*s, -5*x + 5*s = h for x.
-3
Let h = 56 - 54. Solve -2*t - l = h*l + 4, t + 2 = 4*l for t.
-2
Suppose 0 = -3*u + 8*u + 20. Let h = u - -4. Solve -n = -1, h = -3*m - m + 2*n + 18 for m.
5
Let t(x) = 10*x - 6. Let h be t(2). Solve 0 = 4*q + i + h, 4*q - 4*i + 28 = -q for q.
-4
Suppose 3*z = -0*z - 6*z. Solve 10 = 5*h, -l - 2*h + 0*h + 2 = z for l.
-2
Let k be 42/(-9)*6/(-4). Let b = -4 + k. Solve 11 = -b*g + 2*u, 3*u = 6*u - 12 for g.
-1
Let d be ((-4)/(-5))/((-2)/(-5)). Solve 0*t - 3*t = -d*x + 11, 5*x - 4*t - 17 = 0 for x.
1
Suppose v - 15 + 2 = 0. Solve 0 = -4*r - j - v + 1, -5*r - 15 = -2*j for r.
-3
Let x = 12 - 21. Let c be x/18*(0 - 4). Solve 25 = 5*l, 3*l = -3*z + c + 19 for z.
2
Let o = 58 - 53. Suppose -5*g = -20 - 20. Solve -4*v + 4*q + g = 44, o*v + 29 = q for v.
-5
Let b be (-479)/(-6) + (-5)/(-30). Suppose 2*w - p = 44, p + b + 12 = 4*w. Solve -3*s = -2*n + 6*n - w, 4*n = 12 for s.
4
Let q be (-6)/(-8 - -26)*(-5 - 1). Solve -q = h - 3*a, -h + 4*a = 3*h + 16 for h.
-5
Suppose -4*x = 0, -n - 2*x + 6 = x. Let g = -4 + 3. Let r be (1 - (0 + g)) + 2. Solve 5*u + 32 - 2 = 5*j, -r*j = 5*u - n for u.
-2
Let r be -5 - (0/2 + 0). Let t be 50/2*(-2)/r. Solve 0 = -s + 4*q - t, 3*s + 3*q = -0*s for s.
-2
Let t = -57 + 61. Solve t*g - 2 = -v + 2*v, 5*v = 5*g + 5 for v.
2
Let u(g) = -g**3 - 6*g**2 - 6*g - 1. Let v be u(-5). Solve -z + 5*h + 5 = 0, 2*z = v*z + 4*h + 18 for z.
-5
Suppose 5*q - 4 = 26. Solve 0 = 3*t + 2*o + q, -3*t + 0*o + o - 15 = 0 for t.
-4
Suppose -1 = -2*g + 7. Solve 0 = -4*z - 4*l + 4, z = -g*l + 3 + 7 for z.
-2
Let s(u) = -3*u. Let z be s(4). Let t = z + 15. Solve 3*n - 17 = t*x + 4*n, -3*n - 31 = 5*x for x.
-5
Suppose 9*q + 13 = -c + 4*q, 0 = 3*q + 6. Let t(b) = b**3 + 2*b**2 - 4*b + 1. Let u be t(c). Solve 5*s - 10 = 2*i + 5, -u*s = 2*i + 6 for i.
-5
Suppose 3*r - 5*b = 8 - 3, -5*r = 2*b - 29. Solve -7 = -3*j - 5*z + 21, -r*z = j - 26 for j.
1
Let t be ((-44)/6)/(12/(-18)). Let d = 16 - t. Let u(x) = x**3 + 4*x**2. Let m be u(-4). Solve m = -d*z - 2*l - 22, z + 15 = -4*z + 5*l for z.
-4
Let c = -42 + 44. Solve 0 = -2*g + 6, c*w = 4*g - 12 for w.
0
Suppose 7*d = 7 + 7. Solve 2*b - w = w + 10, 4 = -4*b - d*w for b.
1
Let p be (-3)/2*(-40)/12. Suppose 0 = t - p*t. Solve t = 5*y + 8 - 28, -4*v + 2*y = 28 for v.
-5
Suppose -2*s - 3 = -5*o + s, -5*s = -2*o + 5. Suppose 2*u - 17 - 33 = o. Solve 0 = -4*p - 5*i - u, -3*p - 4*i - 19 = -0*p for p.
-5
Let c be (1/6*-8)/((-2)/3). Let j(u) = -u + 8. Let z be j(6). Solve -5*i - f = -0*i - 21, 2*f = -c*i + z for i.
5
Let x = 8 - 0. Solve 4*r + 2*d = 6*d + x, -35 = 5*r + 4*d for r.
-3
Let s = 82 + -69. Solve 3*a = -4*w + 11, 4*a + 2*w - s = -3*w for a.
-3
Suppose -20 = -a - 0*a. Suppose 3*h - 4*b - a = 9, -4*h - 4*b - 8 = 0. Suppose f - 7 = -h*m, 4*m - f - 7 = -0*m. Solve -o + 5 = v, 3*v + o - m*o + 1 = 0 for v.
1
Suppose 2*f + 5 = -l + 16, 5*f = -3*l + 29. Let y be (1/(-1) + 4)/1. Solve 4*p - 3*p = -4*b + 17, y*b + f*p = 16 for b.
4
Let s(f) = -f**3 + 3*f**2. Let t be s(3). Let h be -4 - ((4 - 0) + -4). Let b = t - h. Solve -b*w + 4*o + 16 = 0, -3*o + 4 = -4*o for w.
0
Let a(h) be the first derivative of h**3/3 + 5*h + 7. Let b be a(0). Let t(x) = x + 9. Let o be t(-4). Solve b*d + o*k - 45 = 0, -4*d + 21 = -3*k + 4*k for d.
4
Suppose -q = q - 4*m - 32, 3*q - 2*m - 28 = 0. Let w(k) = 4*k - 12. Let h be w(q). Solve 0*c + 2*c - 4*f + h = 0, 5*f = -c + 15 for c.
0
Let p = 3 - -2. Suppose f + 3 = p. Solve -c + 2*b = 5*b + 11, 0 = 4*c + f*b + 4 for c.
1
Suppose 3*m = 4*w - 32, 2*w = -w - 5*m - 5. Let i be 56/(-42)*3*-1. Solve -w*c = -20, -i*d + 3 - 19 = -2*c for d.
-2
Let f(d) be the second derivative of d**3/6 + 5*d**2/2 + 3*d. Let i be f(4). Solve 29 = -5*k - 2*u, 3*k + 2*u = -i - 10 for k.
-5
Suppose 0*o = 5*o. Suppose 2*t - 5*h + 15 = 0, -9 = 3*t - o*t - 3*h. Solve -4*s + 7*s - 3 = -3*p, t = -3*s + 2*p + 18 for s.
4
Suppose 4*m - 5*n - 84 = -0*m, -2*n = -5*m + 105. Let g be 3/(-6) + (-11)/(-2). Solve 2*p + 3*p = 4*d - 24, g*p - d = -m for p.
-4
Suppose 2*n + 5*h = -0*n + 18, -2*h = -4. Let p(c) = c - 4. Let u(q) = -q. Let z be u(-6). Let v be p(z). Solve -4*x = n*y + 16, -v*x + x = 2*y + 5 for y.
-1
Let z be ((-18)/(-10))/((-5)/25). Let n(o) = 2*o + 22. Let k be n(z). Solve k*q - b = -16, 0 = 4*q - 7*b + 2*b for q.
-5
Let b = -12 + 16. Solve -4*f = -s - 17, -b*f = -f - 2*s - 14 for f.
4
Suppose -4*l = l + 15. Let o be 0*(l/2 - -2). Solve n - 10 = -4*n + 2*g, -n + g + 5 = o for n.
0
Let v(b) = -7*b**3 + b**2 - b + 1. Let d be v(1). Let o(a) = 168*a - 8 + 0 - 170*a. Let r be o(d). Solve 5*p + 40 = -w - r*w, -p + 12 = -4*w for p.
-4
Let w be ((-19)/38)/((-1)/72). Let x be 15/2*w/30. Solve 0 = h - s - 1, s - x = -h - 0 for h.
5
Suppose -c + 70 = 2*c - 2*g, -86 = -3*c - 2*g. Let q = c + -14. Solve -2*h - 2*n = -q + 4, -2*n + 4 = h for h.
4
Let x(z) = z**3 + 3*z**2 - 6*z - 4. Let w be x(-5). Let p be w/(-16)*16/6. Solve 0*t + 2*f = t - 1, p*t - 4 = -3*f for t.
1
Let n(f) = f**2 + 11*f + 6. Let y be n(-8). Let l = -13 - y. Suppose -k - 8 = -l*k. Solve z = 3*z - k, 4*g + 5*z = -15 for g.
-5
Let h(r) = -r**3 + 4*r**2 + 6*r - 2. Let j be h(5). Let z be ((-5)/(-2))/((-2)/(-4)). Let w = z + -2. Solve -7*y + 6*y + j*q - 7 = 0, -y = w*q - 5 for y.
-1
Let s be (0/((-8)/4))/3. Solve 2*u - 2*b - 2 = s, -u = -5*b - 0*b + 11 for u.
4
Suppose 5*q + 4*p = -16, -2*q = -5*p - 25 + 5. Let f = 4 + q. Solve 0 = d - 3*b - 14, 0 = f*d - 2*b + 4*b - 14 for d.
5
Suppose -i - 4 = -3*r - 1, -5*r + 2*i = -6. Solve 2*n + 0*z - 3*z + 3 = r, 5*z = -5*n + 5 for n.
0
Let d = 83 - 83. Solve 0 = v, 5*v - 3 = -h - d*h for h.
3
Suppose -3*k + 29 = -6*g + g, -5*g - 20 = 0. Let n = -4 - -6. Solve v + 8 = 2*a, -2*v + a + n = k for v.
2
Let g be ((-32)/12 - -2)*-3. Suppose k = 3 + g. Solve 5*v + k*x = -40, 0*v - x = -4*v - 12 for v.
-4
Suppose 25 = -4*h - 5*o, -8*h + 4*o + 20 = -4*h. Solve -3*v + 2*n = n, h = -v + 3*n for v.
0
Let h(a) = 4 - a + 2*a + 6. Let l be h(-8). Let z be 2 + 3 + 0 + 1. Solve -l = -j + 3*i + 7, 0 = 3*j + 2*i + z for j.
0
Suppose 2*i = 4*m - 3*i - 35, 2*m = -5*i - 5. Solve 2*h + 2*h = m*n - 21, 4*h + 16 = 0 for n.
1
Let k = -16 + 22. Let x(c) = -c + 5. Let a be x(5). Suppose 3*h = -a*h. Solve 4*n - 4*s = 24, -4*n + h*s = 2*s + k for n.
1
Let y(s) = -2*s + 12. Let z be y(6). Solve 2*v + 2 = -m, 5*v - 3*m + 4*m + 8 = z for v.
-2
Let q be (-1 + 0)*(-1 + 3). Let a = q + 4. Suppose -4*s + 6*s = 12. Solve 5*f = 5*p - 2 - 18, -4*f - s = -a*p for f.
1
Suppose -90 = -50*y + 45*y. Solve k - 5*b = y, 2*b = -4*k + 4*b for k.
-2
Suppose -y + 3*l + 6 = 2*l, -12 = y + 5*l. Let b(c) = -c**3 - 10*c**2 - 10*c + 7. Let a be b(-9). Solve -6*z + 2*z - 28 = -y*t, -4*z = a for t.
4
Let z be 128/(-24)*(-6)/8. Solve -z = a - 2*q, -3*a - a - 8 = -4*q for a.
0
Let a(y) = -2*y + 1. Let b be a(4). Let x = -1 - b. Suppose -u + 6*u = 10. Solve -x = u*j - q + 3*q, -4*j = -3*q + 19 for j.
-4
Let x = -112 - -116. Solve 0 = -5*j - 5, 4*m + m - 4*j = x for m.
0
Suppose 4*n + 0*n = 3*m - 15, -2*n = 0. Solve -3*j + 12 = -m*w, 3*j + 3 = 15 for w.
0
Let d(w) = -w**3 + w - 4. Let u be d(0). Let o(t) = t + 5. Let j be o(u). Suppose 8*m - 55 = 3*m. Solve -2*r - m + j = -2*q, -2*r - 10 = -4*q for r.
-5
Suppose 5*c = 20 + 5. Suppose 5*o - 8*o = -3. Let w = 6 - o. Solve -3*q = -2*d + c*d - 27, -w*q + 37 = 3*d for d.
4
Let z = 16 + -13. Solve 0 - 3 = -w, z*w = -5*q - 1 for q.
-2
Suppose -32 - 51 = -5*w - 2*r, 3*r + 18 = 2*w. Let v be w/4 - (-7)/28. Let t be 3 - 1 - (-2 - -1). Solve 2 = -2*q, t*q - v*q - 9 = -4*m for m.
2
Let q be 200/15 + 2/3. Let n(f) = f**3 - 3*f**2 - 3*f - 4. Let a be n(4). Solve a*v + v + q = -4*y, 2*y + 4*v = -14 for y.
-3
Suppose -4*j - 2*b + b = -163, 3*j - 3*b = 111. Let v be (32/j)/(2/10). Solve -3*k + 6 + 3 = 0, v*q + 4*k - 