 3, 4*r + 5*u = -5 for r.
0
Suppose 6*b + 49 = 181. Let i = 27 - b. Solve 2*z - 3*o - 2 = i, 4*o = 5*z - 14 for z.
2
Let x be (-30)/(-16) + (-5)/(-40). Suppose 6 = -2*y, 2*d = -x*y - 0*y. Solve d*b + 9 = -2*q + 5*q, 3*b = 5*q - 5 for q.
-2
Suppose 0 = 4*w - 9*d + 4*d - 25, 0 = 3*w - 4*d - 20. Let o = -6 + 18. Suppose -4*l + 7*l - o = 0. Solve l*y + 2*a = 14, -3*a + 5*a - 6 = w for y.
2
Let q = 1 - -2. Suppose u - 3 + 0 = 0, -3*u = 3*i - 264. Suppose -9*c = -i + 4. Solve -3*y = 4*w - q, -5*w + 3*y - 39 + c = 0 for w.
-3
Let v(h) = -h**3 - h**2 - 2*h - 4. Let g be v(-2). Suppose 3*t - j - 10 = t, t - 5 = -g*j. Solve -3*u = 2*a - t, -3*a = u + 2*a + 7 for u.
3
Suppose -5*k = -0*k - 20, 0 = -b + k + 12. Let a be (-6)/(26/b - 2). Solve 3*i = -5*v - a, -4*i - v + 22 = -3*v for i.
3
Let v = -35 + 23. Let h be ((-3)/4)/(v/32). Suppose h*t + 3*z - 23 = 0, -3*t + 3*z = -68 + 11. Solve 3*q - t = -5*d + 8, 0 = 2*q + 3*d - 15 for q.
3
Suppose -3*j + 44 = -5*g - 27, -3*j = 9. Let l = -16 - g. Solve l = 5*o - 0*o - 10, 5*a + 2*o + 11 = 0 for a.
-3
Let v = 7652 - 7651. Suppose -t = -2*l + 1 + 3, -2*l = 4*t - 24. Solve 3*a + w = v, 4*a + 4*w + 0*w = -l for a.
1
Let h be (-5)/50*-24 + (-2)/5. Solve 3*m + 6 = 2*y + 4*m, -y - m = -h for y.
4
Suppose -9*r + 1 + 17 = 0. Solve 0 = -v - r*g - 6, 2*v - 3*g = -0*g + 2 for v.
-2
Suppose -330 = -12*q + 150. Suppose 0 = x - 47 + q. Solve -2*j = -6, -x = t + 3*t - 5*j for t.
2
Suppose 5*d + 10 = 7*d. Suppose 3*h - 6*h = -d*p - 105, 3*h + 3*p - 81 = 0. Let q = 50 - h. Solve j - 6 = -2*a + a, -3*j + q = 5*a for j.
5
Suppose -2*d = -37 + 13. Suppose 0*t - 3*t = 0. Solve t = -4*p - b + d, -7*p + 3*p + 4*b - 8 = 0 for p.
2
Suppose -3*o = 14*o - 51. Solve -m = -4*s + 18 + o, 9 = s - m for s.
4
Suppose -1191*g = -1186*g - 15. Solve h + 7 = 3*j, -g*j - 2*j + h = -15 for j.
4
Let l(k) = 2*k + 18. Let s be l(-8). Let w be 20*s/12*3. Let h be (-4)/14 + (-60)/(-14). Solve 3*p + 4*m + 5 = -w, 20 = -h*p - 5*m for p.
-5
Let o be (-6)/((45/(-6))/(-5)). Let q be 12 - (-2 - (0 + o)). Solve 2*v = -3*l + q, 0 = -3*v - v - 4 for l.
4
Suppose 4*f - 26 = 5*r + 27, -2*f = -r - 25. Suppose -21 = f*i - 81. Solve i*k - 20 = 0, a - 11 = 3*k - 6*k for a.
-1
Suppose 4*o + 2 = 10. Suppose 0 = -5*v + 2*d + 80, -d = -3 - o. Solve 2*b + 7 = -5*k, -4*k + b = -2 + v for k.
-3
Suppose -10*b = -4 - 16. Suppose -16 = 2*q + b*t + 2*t, 5*q + 5*t = -15. Solve q*v - v + k = 0, 0 = -k + 3 for v.
-3
Let d be ((-792)/27)/(-8) - 10/6. Solve 37 = 5*u + 3*z, d*u + 4*z + 4 = 6*u for u.
5
Let m = 6 - 2. Let q(j) = -j**2 + 15*j + 16. Let y be q(16). Solve -2*r + y = 4, -m*r = 2*a + 16 for a.
-4
Suppose -140 = 18*u - 25*u. Solve -b + 5*r - 16 = 0, -b + 2*r - u = -4*b for b.
4
Let m(x) = 2*x**2 + 4*x + 3. Let b be m(-2). Suppose 12 = 3*n - b. Let h be -3 + 3 + -3 + n. Solve 0 = -h*g + 5*a - 2, -2*g + 2*a = g - 8 for g.
4
Let y(z) = -z**2 - 4*z - 20. Let c be y(-10). Let l = -77 - c. Solve -5*m = -2*r - 4 + 1, 13 = l*m - 4*r for m.
-1
Let w = 6 - 1. Suppose w*k - 2 = 4*k. Let h(l) = 2*l + 1. Let n be h(k). Solve 0 = -j + 3*v - 5, n*v = 4*j + 2 - 3 for j.
4
Suppose -15 = 11*z - 8*z. Let x be (24/(-20))/(2/z). Solve 3*l - 5*s - 7 = 2, x*l - 4*s - 6 = 0 for l.
-2
Let q be (-31 - -30)/((-1)/3). Solve -4*o + 18 = -r, 0 = -o + 2*r + 2*r - q for o.
5
Let c(j) = -2*j**2 + 2*j**2 - 2 - 16*j + j**2 + 23. Let h be c(15). Suppose -h = -4*w - 2*x, 5*w + 4*x + 1 = 4. Solve -12 = -4*r - k, w*r + 5*k = -r - 4 for r.
4
Suppose 5*n + 4 = 5*c + 14, 4*n = 3*c + 10. Suppose 3*i + 1 = n, 2*m + 2*i = 6. Let x be (-1 - (-1)/3)*-6. Solve -x*v = -5*f - 6 - 11, -m*v + 5*f = -21 for v.
-2
Let a(o) = 6*o**2 + 5*o + 4. Let h be a(-1). Solve -4*t + 2*b = t + 22, -h*b + 25 = -5*t for t.
-4
Let r(c) = -3*c**3 + 3*c - 3. Let z be r(-2). Solve l + 5 = -5*o, -5*l + z = 4*o + o for o.
-2
Suppose -17*n - 76 = -18*n. Suppose -2*x + 68 = 5*d, 4*d + 4*x = -d + n. Solve -3*b = -2*g - 4, 4*b = 5*g + d + 5 for b.
-2
Suppose f - 5*f + 2*x = -14, 0 = -f - 3*x + 14. Solve 3*t - 1 = j - 3, f*j + 3*t = 28 for j.
5
Let i(c) = c**2 - 29*c - 25. Let p be i(30). Solve p*o = l + 20, -2*o + 10 = o - l for o.
5
Suppose x + 28 = 3*y, -2*y - y - 3*x + 48 = 0. Solve 0*t - 3 = -3*t + 2*a, 4*t - y = 5*a for t.
-1
Let x(b) = b**3 - b**2 + 4*b - 5. Let k be x(0). Let s = k + 14. Solve -4*t + t + 17 = 2*r, r - 2*t = -s for r.
1
Suppose 395 = -3*v - 2*f, -3*f + 695 = -5*v + f. Let t be v/(-12) + (-21)/(-28). Suppose -t = -u - 3*u. Solve -2*s - k - 8 = 0, -2*s + 8 = -4*s - u*k for s.
-4
Let j be 1/4 + (0 - 2)/8. Suppose j*l + 5*d + 6 = 2*l, -3*d + 6 = 2*l. Solve 3*k = l*s + 2*s + 18, 4*k + 11 = -5*s for k.
1
Let s(u) = u**2 - 5*u + 6. Let y be (-6 - -7)/((-1)/(-9)). Let i = 13 - y. Let r be s(i). Solve 0 = -a - l + r*l + 2, -4*a + l = -14 for a.
4
Suppose 4*s - 16 = 0, 0*c + 4*s + 9 = 5*c. Let n(j) = j**3 - 19*j**2 + j - 5. Let i be n(19). Solve -25 = -c*o + r - 2, 2*r + i = 2*o for o.
4
Let i(x) be the first derivative of 3*x**2/2 + 27*x + 30. Let d be i(-6). Solve 2*h = -3*v - d, -4*h = -2*v - 8 + 2 for h.
0
Let z(k) = -k**2 + 50*k - 42. Let g be z(49). Solve -2*p = -4*s - 22, -3*p + 8*s - g = 10*s for p.
1
Suppose 0 = 4*b - 5*r - 27, 0 = -3*b + 2*r + 11 + 4. Solve 4*u = -f + u + 7, -b*f + u = -11 for f.
4
Suppose 0*t = -3*t + 12. Suppose -20 = -a - 0*a. Suppose -6*n + a = -n. Solve -4*p = n*c - 16, t*p - 4*c = -2*c + 22 for p.
5
Let q be (-18)/4*1*228/(-342). Solve i + 4*g + 28 = -q*i, 0 = -i + g + 3 for i.
-2
Let c be (-13 - -19)*11/2. Let j = c - 30. Suppose -3*y - j*y = -12. Solve y*v - 4*g = 8, -2*g + 3 = -2*v + 5 for v.
-2
Suppose 5*i - 10 = x, 17*x = 5*i + 13*x - 10. Solve l = 2*m + 6, 5*m - l = -17 + i for m.
-3
Let p = 31 + -28. Suppose 0 = -p*v + 8*v + 15. Let m be (28/(-8) - v)*-6. Solve m*w = -3*r - 4 + 1, 5*w = -r - 17 for w.
-4
Let y = -1694 + 1706. Solve 2*u + y = -u + 5*b, 0 = -5*u + 4*b - 7 for u.
1
Suppose -5*m - 2 = 2*q - 6, -m + 4 = 2*q. Let a = -1 - -2. Solve -2*d + 0*i = 4*i - q, 4*i + a = -d for d.
3
Let i be 6/(-33) - 563/(-11). Let z = i + -49. Solve z*u - 7*h = -2*h - 10, 5*u = h + 21 for u.
5
Let f(c) = c**3 + 6*c**2 - 6*c + 4. Let s be f(-7). Let a be (2 - 1) + s + 2. Solve y = -h - 8, a = -4*y - 5*h - 26 - 9 for y.
-5
Let u(y) = -y**3 + 12*y**2 - y - 9. Let h be u(12). Let s = h + 25. Solve -s*j = -3*g - 1, 5*j - 40 = -0*g - 4*g for j.
4
Suppose -50 = 6*w - 68. Solve -12 = 2*x - q, 3*q - 16 = w*x - x for x.
-5
Let r(g) = -g**2 - 31*g - 62. Let i be r(-28). Solve -2*j = 4*s + i - 8, 0 = -4*s - 16 for j.
1
Suppose -6*f - 3*c = -f + 131, -2*c + 6 = 0. Let s = f + 26. Let p be (-3)/(-12)*s*-8. Solve -2*u - v - 3 + 2 = 0, 4*u = p*v - 32 for u.
-3
Let x be (5/(-30))/(6/(-72)). Solve -3*i + y + 8 = 0, i + 4 + x = -4*y for i.
2
Suppose -4 = -4*m + 17*w - 13*w, 5*w = 15. Solve -20 = -5*j + 5*k, -2*j + 11 = 3*j + m*k for j.
3
Let n(d) = -3*d. Let z be n(-1). Let h be ((-1)/z)/((-2)/30). Suppose -m = 4*x + x - 24, 5*x - 29 = 4*m. Solve -8 = -x*b - 7*r + 4*r, 5*r + 40 = h*b for b.
4
Let c be -3*(0 + (-44)/33). Let n be (-1)/(-3) - 17/(-3). Let l be 2/(1*n/39). Solve 0 = c*v + z + 19, -4*v - 37 = -4*z - l for v.
-5
Suppose 0 = -2*q + 2*t + 8, -3*t = 2*q + 11 - 19. Suppose 4 - q = 8*w. Solve 0 = -n - 5*k + 11, 9 = 5*n - w*n + 2*k for n.
1
Let r be (-1)/2*((-45)/(-9) - 11). Let q = 5 - -17. Solve 5*j - 3*m + q = 0, r*j + 14 = m + m for j.
-2
Let f = -2991 - -2993. Let w(r) = r - 5. Let j be w(4). Let y(x) = 2*x**2 + 2*x + 1. Let v be y(j). Solve 3*l = l + a + 7, f*l + 5*a = v for l.
3
Suppose -2*p - 8 - 2 = 0. Let t(s) = -s**2 - 7*s - 6. Let f be t(p). Solve -z = f*l + 19, -2*z - 3*z = -l - 10 for z.
1
Let n be (-1)/(-3)*(0/1)/8. Solve 0*i - 16 = 4*j - 3*i, n = -5*j - i - 20 for j.
-4
Suppose -3*x + 43 = 4*v, 0 = -3*x + 126*v - 128*v + 29. Suppose c + 6 = 3*c. Solve 15 = c*g + 2*p, x*p - 14 - 10 = -3*g for g.
3
Suppose 0 = 2*a - v - 3, -a + 5*v - 2*v - 1 = 0. Suppose -3*q = 3*t - 9, 0 = 4*t - 4*q + q + a. Solve 2*p = x - 6, -t + 3 = -2*x - 3*p for x.
2
Suppose -c + 2*c = -3*k + 9, -2*k + 3*c = -6. Let o(g) = -345*g - 9 + 173*g + 176*g. Let m be o(3). Solve 0*v + m*v = -d - 10, k*d - v = 10 for d.
2
Let b be 1/(-3) + (-5)/(-15). Suppose i + 3*a - 3 = b, -7 - 8 = -5*i - a. Solve -2*p + i = 3*j - 11, -2 = -2*p + 3*j for p.
