 - 4*u + 15 = -j*u for y.
-1
Let d = 232 - 28. Suppose d = -6*f + 10*f. Solve 3*g + 16 - f = -4*u, -3*g + 30 = 3*u for u.
5
Let i be (-2)/2*(-10)/2. Solve 2*u - 4 = i*k, -2*u + 0*u + 4 = k for u.
2
Let n = -119 + 111. Suppose -2*c = 3*c + 40. Let b = c - n. Solve w + 8 = 3*y, b = y - w - 7 + 3 for y.
2
Suppose -17 + 23 = 2*n. Solve -n*b + b + 3*a = -11, 3*b + 2*a = -16 for b.
-2
Let f(g) = -g + 15. Let p be f(14). Let z be 6 - (-1)/(p/(-3)). Solve -4*c + j = -1, -2*c - 1 = -2*j - z for c.
0
Let j be ((-4)/(-3))/(2/(-3)). Let v(u) = -u + 3. Let k be v(j). Solve 0*t - 2*g = -5*t - 1, -4*t - k = -3*g for t.
1
Let k(m) = m**3 + m**2 + 4. Let j be k(0). Let g = -4 - 0. Let y be g/(-6) + (-20)/(-15). Solve 2*w - 14 = j*t, -4*t + 0 - y = 2*w for t.
-2
Suppose 3*x + 5*u - 15 = 0, 0 = -3*x + 2*x + 3*u + 5. Solve -x*s - 5*g - 20 = 0, 3*s = -s - 5*g - 15 for s.
-5
Let w(t) = -2*t - 11. Let l be w(-7). Solve 17 = -l*d - 4*i, 5*d - 2*i = -3*i for d.
1
Let p be ((-30)/(-9))/(2/6). Suppose 0*t = 5*t - p. Suppose t*h - 5 - 3 = 0. Solve -3*f = 5*a - h, 0 = -3*f - 2*a - 0 - 2 for f.
-2
Let i(c) = -c - 1. Let l be i(-5). Let w = -4 + l. Suppose 2*x + 2*x = 5*v - 26, 4*v - 5*x - 28 = 0. Solve u - 5 = -2*p, w = v*u + p - 1 + 3 for u.
-3
Let f be (-58)/(-18) + (-4)/18. Let s be f*-1*10/(-3). Let k be 12/s*(-40)/(-3). Solve -4*i = 2*g - 6, 2*g + k = -i + 5*g for i.
-1
Let j(s) = -4*s - 23. Let k be j(-6). Solve -k = 5*b + 9, 4 = g - b for g.
2
Suppose 0*g = -g + 3. Let r(w) = -w**2 - 9*w + 2. Suppose 0 = 5*a + 42 + 3. Let o be r(a). Solve -12 = -4*y - 4*b, -g*y - b + 3 = o*y for y.
0
Let v = 13 - 5. Let w(s) = -2*s + 15. Let z be w(9). Let q(y) = y**3 + 4*y**2 + 3*y + 2. Let x be q(z). Solve -v = x*t + 2*t, -4*a + 3*t + 10 = 0 for a.
1
Let s be (-6)/(-3)*(-9)/(-6). Solve 5 = 3*u + o, 3*u = -s*o - 0*o + 9 for u.
1
Suppose 2*x + 24 = 2*l, -5*x - 7 - 13 = -l. Suppose 3*f - 17 = -d, -3*f - 5*d + l + 3 = 0. Let p = -3 + f. Solve 2*c + q = -6, 0*c + p*q = 2*c + 22 for c.
-5
Let l = -11 - -15. Let n be (-25)/(-5) - (-2)/(-2). Let k be (n/6)/(1/6). Solve -c - 5 = 5*y, -l*y = -4*c + c + k for y.
-1
Suppose 4*v = 6*v - 3*i - 11, -v - 8 = 3*i. Let r be v + (0 - -1) + 2. Suppose -m + r = m. Solve -4*k + m = -3*w, -3*w = -4*w + k for w.
2
Let v(c) = c**3 + 5*c**2 - 7. Let m be v(-4). Solve 0 = -r - z + m, -2*z - 7 = -3*r - z for r.
4
Let a be (11 - 6)/(5/2). Solve 0 = -2*m + 5*u, -u - 9 = -3*m + a*u for m.
5
Let p be (3/(-9))/(2/(-36)). Suppose 5*o + 18 = 3, 2*d - o = 7. Suppose 0 = d*n + 2*k - 10, -k + p = 2*k. Solve n*r + m - 7 = 0, 4*r - 4*m + 3*m = 21 for r.
4
Let h(n) = -n - 1. Let y be h(-6). Suppose -3*o + 2*d = -54, 3*o + 2*o = -4*d + 112. Solve -p - y*k - o = 0, 2*p - k = -p + 20 for p.
5
Let u(m) = -6*m. Let v be u(-1). Suppose 0 = 3*n + v, 5*n + 4 = 3*t - 6*t. Solve -6*j - 3*c + 7 = -2*j, c = t*j + 9 for j.
-2
Suppose 0 = 5*p - a - a + 15, -p - 3 = -2*a. Let o = p - -5. Solve 2*v + 4*l + 16 = 6*v, -o*v + 5 = l for v.
3
Let d(j) = j + 5. Let x be d(-5). Let f be (5 - (x + -1)) + -1. Solve -y - f*t = -16, 0*y + t = -5*y + 8 for y.
1
Let o = -16 + 12. Let a be o/(-18) + (-8)/36. Solve 5*t + c - 5 = -2*c, a = -2*c + 10 for t.
-2
Suppose 0*q - 25 = 3*q + 5*k, 0 = -q + 4*k + 20. Solve -s + 4*l - 16 = q, 4*s + 5*l = 2 + 39 for s.
4
Suppose 3*q = -2*q. Let s = -1 - -1. Solve s = 2*z + h - 2 - 1, q = z + 3*h + 1 for z.
2
Let x(w) be the first derivative of -w**2 - 6*w + 1. Let z be x(-6). Solve -4*s - 18 = -o, z*o = 3*o + s + 10 for o.
2
Let d be (1 + 1)/((-2)/(-8)). Suppose 0 = 2*k + 5*c - 8, 2*k + 10 = 4*c - 0. Let h = k + 6. Solve d = 2*f, -5*q - 21 = -4*q - h*f for q.
-1
Let g(s) = -s**2 - 6*s + 7. Let p be g(-7). Solve -4*t - 3*j + 7 + 13 = 0, -5*t + 4*j - 6 = p for t.
2
Suppose 5 - 1 = w. Solve 2*y - 3*x + 5 - 10 = 0, -w*x = 12 for y.
-2
Let k be 2 - (0 + (-1 - 0)). Solve -k*l + 20 = 4*z, -8 = -4*l + 2*l for z.
2
Suppose 7*i - 4*i = 30. Let z be (-1*(-2 + 4))/(-1). Solve 0 = -q - 3*g - i, g + 9 = -4*q + z for q.
-1
Let l(y) = 8*y**2 - 2. Let g be l(-2). Solve 3*b + 1 = -b - k, -5*b + 5*k + g = 0 for b.
1
Let a(u) = u**3 - 5*u**2 - 5*u - 2. Let b be a(6). Solve 7 = b*t + n, -4*n = t + n + 22 for t.
3
Suppose 30 = -5*o - 10. Let x(i) = -i - 5. Let d be x(o). Let m(j) = j**3 - 6*j**2 - j - 2. Let w be m(7). Solve 22 = -5*f - k, 5*k = 2*f + d*f + w for f.
-5
Let q = 17 + -13. Let j be (-10)/(-4) + q/(-8). Solve -k = j*k + 3*b - 15, 3*k - 3 = 3*b for k.
3
Let a = -15 + 11. Let f be (-18)/a - (-2)/4. Solve -f*b = -u - 4, 0*b - 3 = 2*b - 5*u for b.
1
Let x = -41 + 43. Solve v - 9 = -x*g, 8 = 5*g - 4*v - 21 for g.
5
Let x(y) = y**3 - 8*y**2 + 3*y - 11. Let w = 6 + 2. Let r be x(w). Solve 0 = -2*m + l - r, -m + 3*l - 19 = -0*m for m.
-4
Let a(n) be the first derivative of n**4/4 + n**3 - n**2/2 + n - 2. Let j be a(-3). Solve 4*k = -2*x + 16, 1 + j = 5*k - 5*x for k.
3
Let b = 9 + -5. Solve -4*v - 16 = 3*y, 0 = -4*v - b*y + 8*y + 12 for v.
-1
Let b(r) = -r**2 - 4*r + 5. Let q be b(-4). Suppose -q*y + n + 23 = 0, 4*y + 7 - 31 = -2*n. Solve 3*j = -3, 4*k + y*j + 19 = 2*j for k.
-4
Let i(n) = n**3 - 3*n**2 - 2*n - 1. Let v be i(4). Let m = -4 + v. Solve -g - 2*k = 6, -g - k - m = 2*g for g.
0
Suppose -14 - 6 = -5*u. Solve -2*b + 6*r = r + 15, 4*b = -u*r - 16 for b.
-5
Suppose -16 = 4*i - 8*i. Suppose 0*v - i = -2*v. Let h(p) = -p**3 + p**2 + p + 4. Let z be h(0). Solve v*t + 20 = -3*t, 4*t - z = -4*b for b.
5
Suppose -8*l - 21 = -4*o - 5*l, 3*o - 15 = 2*l. Suppose 0 = -2*z + o*z - 6. Solve -q = -3*u - 17, -z*u = 5*q - u - 5 for q.
5
Suppose -r = -2*b + 8, r - b = 5*r - 13. Suppose 3*m - 5*k + 6 = -1, r*m + 4*k = 10. Let a be 14/8 - (-2)/8. Solve y + m = -3*t, t + 8 = -a*y + 1 for y.
-4
Suppose -5 = 3*a - 80. Let t = -13 + a. Suppose 4*i = -2*p + t, -4*i + 3 = -i. Solve -2*q - 9 = 4*u + 5, -p*q - 10 = -u for q.
-3
Let w be -2 + 0 - -2 - 1. Let i = 0 + w. Let m be ((-4)/12)/(i/12). Solve p + m*a = 4*p - 28, 0 = 4*p + 5*a + 4 for p.
4
Let f be (-1 + 11 - 3) + 3. Suppose -2*g + 8 = -5*q, -2*g + 4*q - 2 + f = 0. Suppose -9 = -g*p + 7. Solve 4*w - 16 = 0, 2*i + w = -3*i + p for i.
0
Suppose -q - 1 = 2*v + 2, -5*q = 3*v + 15. Let l(z) = z + 5. Let d be l(-5). Solve -10 = -2*k, x + v*x - 2*k + 5 = d for x.
5
Suppose 4*w - l = 5 + 6, 3*w + 5*l = 14. Solve -4*t = w*c, 0 = -4*t - 4*c - 2 - 2 for t.
3
Let y = 24 - 24. Solve -4*s - 5*r = -19, y = 5*s - 2*r + 1 - 0 for s.
1
Let o = -59 - -84. Solve -5*s = o, 0*s + 16 = 2*k - 4*s for k.
-2
Let l(g) = g**3 - 4*g**2 + 4. Let c be l(4). Solve c*z = -0 + 4, -z - 14 = -5*q for q.
3
Suppose 0 = 23*a - 26*a + 12. Solve -19 = 2*y - 3*y - a*g, -5*y - 4*g = -15 for y.
-1
Let b(i) = -4*i - 10. Let c be b(-7). Suppose 5*t - c = -2*u, 2*t + 4*u = t + 18. Solve t = -4*s + 5*o - 3*o, -3*s + 2 = -5*o for s.
-1
Let m(s) = s**3 - 3*s**2 - 2*s - 4. Suppose 0 = -8*l + 4*l + 16. Let d be m(l). Solve -d*i + 8 = -2*k, k + 5 = -2*k - i for k.
-2
Suppose -4*f - 11 = -k, 0*k + 128 = 4*k + 5*f. Let l = -15 + k. Suppose 5*z = 2*g + l, 0*z = 2*z + 2*g - 16. Solve z*d + 16 = 2*x, 3*d + 2*x + 9 = 2*d for d.
-5
Let i = 9 - 1. Suppose i - 5 = 3*w. Suppose m = w, -2*r + m - 2 = -5. Solve 0 = 4*s - 3*v + 15, r*s + 3*v + 5 = 2*v for s.
-3
Let h = -30 - -34. Solve -h*l = -l, -u + 4 = 5*l for u.
4
Let u be 2*-6*(-2)/(-8). Let m = u - -7. Solve 6 = -2*g + 2*i, i - m = 3*g + 9 for g.
-5
Let l be (7 - 2) + -1 - 2. Solve 0 = 6*g - g + 4*o + 5, 0 = -l*g + 4*o - 30 for g.
-5
Suppose 1 = 4*y - 7. Let o be (-1 + 6/y)*1. Solve 3*a + o + 5 = -4*u, 5*a = -5*u - 5 for u.
-4
Suppose k = 3*l + 20 - 103, 2*k - 58 = -2*l. Solve 0 = j + 2*d + 4, 4*d + l = 4*j + d for j.
4
Let m be 2*-1 + 8/4. Suppose -5*k - 5*q - 15 = m, 5*k - 12 = 4*q - 0. Solve -6 = -4*i - 5*j + 3*j, -3*i + 5*j - 28 = k for i.
-1
Let b(q) = q**3 + q**2 - q + 4. Let z be b(0). Solve 0 = -5*u + 2*k + 19, 14 = 5*u - 5*k + z for u.
5
Suppose -2*s + 120 = 5*q, -q + 0*s + s + 24 = 0. Let m = 41 - q. Solve 4*j = -p - m, 4*p + 0*j + 11 = 3*j for p.
-5
Suppose -5*p + 7 = -18. Solve 0 = 6*t - t + 5*j + 20, 0 = -p*t + 2*j - 27 for t.
-5
Let g be 0 + 0 + -1 + 19. Suppose -2*k + 5*b + 25 = 0, 2*k + 2*k + 15 = -3*b. Suppose 5*z = -k*z + 15. Solve 16 = -0*a - 5*a + z*p, -4*a + 5*p - g = 0 for a.
-2
Let b = 23 + -3. Suppose b = 3*v + v. Solve f