1 + 2. Suppose -2*x + 6 = 11*f - 10*f, -5*f + 22 = 2*x. Let l(v) = -5*v + 8. Let z be l(x). Solve -r*s + 16 = -4*k, 3*k = -0*k - z for s.
4
Let u(d) = 8*d + 16. Suppose 3*t + 38 = -10. Let r be u(t). Let g = 113 + r. Solve 3*i = -5*v + 3*v + g, 4*i = -2*v + 4 for v.
-4
Let b(c) = c**3 + 10*c**2 + c + 16. Let z be b(-10). Let y be z/12*-4*1/(-2). Suppose -n = 3*n - 20. Solve r + w = -y, -4*w + n = 2*r - 7*r for r.
-1
Suppose 68*c - 51*c - 34 = 0. Let s be ((-54)/8)/(1 - (-45)/(-36)). Solve -c*b + 14 = -0*y - 2*y, 5*y = b - s for y.
-5
Let u be (-24)/(1*(-2 + 1)). Let q = u - 21. Suppose -c - 4*n + 23 = 0, c + 0*c - n - 23 = 0. Solve -4*a + q*p + 6 = c, -p = -3 for a.
-2
Let v = 15357 + -15354. Solve -k - 8 = -v*q, k + 23*q + 16 = 28*q for k.
4
Let w = 23 + -17. Let s(u) = u - 1. Let d be s(w). Suppose -4*f + c = -35, -4*f + 5*c + 30 = 3*c. Solve -4*m + 2*y = -2*y + 8, d*m - 4*y + f = 0 for m.
-2
Suppose 2*z - s + 11 - 26 = 0, 4*s = -z - 24. Solve t + 5 = -5*m + 34, -z*m + 20 = 4*t for t.
-1
Suppose -4*h - 6 = -h. Suppose -4*d + 3*k - 64 = 0, -99*d - 80 = -94*d + 3*k. Let i be h + 4 + 0 - (d + 14). Solve -5*l = 0, 6 = 3*b - 0*b + i*l for b.
2
Let i = -802 - -807. Solve -3*w = -5*w - i*j + 3, 5*w + 5*j - 15 = 0 for w.
4
Let j(c) = -14*c**2 - 97*c - 66. Let h be j(-6). Solve 3*r - 12 = 5*n, 2*n + h = n + 3*r for n.
0
Let j(k) = -k**3 + 123*k**2 - 19*k + 2354. Let y be j(123). Solve -3*t = -4*d - y, -547*t = -551*t + 12 for d.
-2
Suppose -9*o + 36 = -8*o + 4*q, -q + 37 = 2*o. Suppose 3*l = -2*i + 1, -3*i = o*l - 14*l + 6. Solve -3*s - 4*x = 20, s + 0*x + l*x = -10 for s.
-4
Suppose -70*d = -278 - 2. Solve -p + d*p + 8 = x, 10 = -4*x - 2*p for x.
-1
Suppose -56 - 37 = -3*y. Suppose 17*o + 3 = -y. Let k be -4 + 1/(-2)*(-10 - o). Solve -a + 2*w = -11, k = -5*a - 0*a - w + 11 for a.
3
Let w(n) = n + 4. Let y be w(-6). Let k(c) = -2*c**3 - 3*c**2 - c - 2. Let r be k(y). Suppose -r*b = -24 + 12. Solve -9 = b*a - 3*i, 2*i = -i for a.
-3
Let i(a) = 7*a**3 - 4*a**2. Let h be i(1). Suppose -4*p = w + h, -5*w + p + 3*p = -33. Solve -w*b - 5 = -5*j, 23 = -5*b - j - 3*j for b.
-3
Let d(l) = 11*l**2 - 4*l - 16. Let m be d(5). Let a = m + -237. Solve 3*r + 4*k = -7, 0 = -a*r + 3*r - k for r.
-1
Let b(m) = m + 1. Let j be b(1). Suppose 0 = -u - 1 + j. Suppose -s = -9*s + 80. Solve s = -5*o - 5*r - 15, o - u = 2*r for o.
-3
Let o be 4717/11 - ((-36)/(-44) - 1). Let j = 429 - o. Solve j*i = i - 2*q + 1, 2*i - 1 = q for i.
1
Let z = 126 - 116. Suppose -10 = 5*x - z*x. Solve -2*c + 3*u - 13 = 0, u = -x*c - 8 - 1 for c.
-5
Suppose 0 = -2*a + 2*f, -5*a - 16 = -8*a - 5*f. Solve 15*y - 25 = a*o + 12*y, -o - 5*y = -20 for o.
-5
Let o be ((-1)/2)/(6/(-48)). Let k = -304 + 310. Solve 0 = -o*b - 2*u + 22, -3*b + 2*b = u - k for b.
5
Let p(y) = 10*y + 5. Let a be p(2). Suppose -a = 3*r - 37. Suppose z - 6 = -c, 5*z = 4*c + r*z - 9. Solve -2*x - 7 = -o, 2*x - 2*o = -c*o - 1 for x.
-2
Let q be ((-28)/(-20) - 1)/((-2)/160). Let t be (0 + q/12)/(6/(-9)). Suppose -4 + t = -6*v. Solve 0 = -2*a + 3*i + 16, -9 = -3*a - 3*i - v*i for a.
5
Let b(n) = n**3 + 7*n**2 + 2*n. Let s be b(5). Suppose 9*i + i = s. Solve 3*x + 2*x - i = 2*o, -5*o = 4*x - 5 for o.
-3
Let v = -357 + 297. Let y be (30/(-9))/(v/144). Solve 2*p = b + b + y, -3*p = 5*b - 12 for p.
4
Let v = -11297 + 11301. Solve 3*k = 3*f + 21, 23 + 1 = 2*k - v*f for k.
2
Let v = 50 - 46. Let n be ((-6)/v)/(2/(-4)) - 0. Let l = 372 - 372. Solve -2*g - 27 = -l*g - 5*z, -4*g - n*z = -11 for g.
-1
Let y(r) = -3*r**2 + 282*r - 2061. Let o be y(86). Solve -f = o*n + 6, 2*n = -3*f - 5 - 6 for n.
-1
Let q be (3 + -4 + -4)*4/(-10). Let z be 4/(8/10) - q. Solve y - z = 4*a - 3*a, -4*y - 2*a - 6 = 0 for y.
0
Let d be 12/54 + (-1)/(9/(-358)). Suppose 0 = -4*v - 2*k + 3 + 7, 0 = -4*v + 4*k + d. Solve 0 = -j - v, 2*u - 3*u + 5*j = -24 for u.
-1
Let o(s) = -s**2 + 10*s - 14. Let j be o(8). Suppose -3*i = -3*f - 15, -j = -i + 5*f + 3. Solve -t + 4*t - 3*a - 3 = 0, -3*t - i*a - 5 = 0 for t.
0
Suppose -156*k - 200 = -152*k. Let n be ((-12)/30)/(4/k). Solve 0 = 5*h - 7 + 27, -n*u = 4*h + 16 for u.
0
Suppose -6 + 22 = 4*f. Suppose f*h + 2 = -14. Let y be (-2)/h - (3 - (-99)/(-6)). Solve z - y = -0*m + 3*m, 2*m = -z - 6 for m.
-4
Let l(p) = 7*p**2 - 31*p + 3. Let m(a) = -4*a**2 + 15*a - 1. Let j(h) = 3*l(h) + 5*m(h). Let b be j(18). Solve -3 = -2*t - y + 2, -4*t - b*y = 0 for t.
5
Suppose -2*s = 3*s - u + 13, -3*s - 21 = -5*u. Let d be (4 + -2 - 3)*s. Suppose -5*w + 113 = -62. Solve d*b + t + 4*t = w, 30 = b + 5*t for b.
5
Suppose -p + 33 = 4*l + 14, 4*l - 1 = 5*p. Solve 6 = p*d - 29*y + 32*y, 0 = -4*d - 3*y + 4 for d.
-2
Suppose 12 = 2*l + n, -9*l = -18*l - 3*n + 51. Solve -2 = -2*c, 0 = l*a + c - 6*c - 20 for a.
5
Let q be ((-32)/(-8) + -5)/(1/(-19)). Solve 5*g = 3*z + 3 - q, 2*g + 10 = 3*z for z.
2
Suppose 40*q - 67 = 282 + 171. Solve 4*r - 4 = 2*t, r = -15*t + q*t + 11 for t.
4
Suppose -2*b - 7 - 3 = 0, 3*t - 2*b - 40 = 0. Suppose t - 15 = -q. Let x be (-2)/(-1) - (0 + 2). Solve -4*f + a + x = q, 4*a = 4 for f.
-1
Let b(i) = -i + 25. Let f be b(23). Suppose 2*a + 16 = 3*j + f*j, 4*j - 14 = a. Solve a*w + 11 = -0*w - 3*m, -3 = -3*w + 2*m for w.
-1
Suppose 2*z - 2*d = 194, 3*d + 103 = -2*z + 3*z. Suppose -18*k + 130 = z. Solve -4*p - k = 5*x, 2 = 4*p + 14 for x.
2
Let j(c) = 21*c + 213. Let h be j(-10). Suppose 0 = 13*f - 8*f - 4*t + 5, 24 = h*f + 3*t. Solve i = -4*i - 15, -f*l + 4*i + 27 = 0 for l.
5
Suppose 5*m = 2*y - 8, 15*y - 11*y - 5*m = 16. Suppose 4*c + 2*w = 0, -c - 10 = -w + 4*w. Solve 7 = 5*p - 2*k, -c*k + y*k = 3*p - 5 for p.
1
Suppose 5*w - 1 = 19. Let v(h) be the second derivative of -h**3/3 - 2*h**2 - 22*h. Let s be v(-5). Solve 2*t + 4*o = s + w, -5*o = 2*t - 14 for t.
-3
Let k(u) = -6*u**2 - 5*u - 8. Suppose 8 = -4*i - l, i + 3*i = -5*l - 8. Let c be k(i). Let p = 27 + c. Solve -3*t + 3 = -r - 5*t, p*t = -r for r.
-5
Let g = -627 + 673. Solve 3*u - 8 = b, -4*u + g - 18 = 3*b for b.
4
Suppose 99 = 49*l - 97. Solve 13*g - 16*g - l*x = -24, 3*g + x - 15 = 0 for g.
4
Let y be 0 + (3 - 3) + 4/2. Let h = 19 - 20. Let n(r) = r + 4. Let q be n(h). Solve y*s + q = 3*k + 6*s, 0 = -3*k + 4*s - 21 for k.
-3
Let h be (-18)/1*(-2 + 3). Let b be ((-120)/h)/(8/12). Solve 3*g - b = 4*w - 5, 0 = -3*g + 3*w + 6 for g.
3
Let w be ((-105)/14 + 7)*(-2)/1. Suppose 0 = -3*v - f + 11, -w = -v - 2*v + 4*f. Solve -2*y = v*y, 0 = -3*d - 3*y - 12 for d.
-4
Let z(w) = 3*w**2 - 28*w + 11. Let c be z(7). Let d = -35 - c. Solve -4*v = -4*q, 0 = d*q + 2*q + 2*v - 7 for q.
1
Let x(a) = a**3 - 6*a**2 - 30*a + 178. Let o be x(5). Solve o*s = -s + r, r = -4*s - 8 for s.
-1
Let h be (7 - 1) + 1*(-8 - -7). Suppose -h*n + 35 = 2*n. Solve -3*d + t - 8 = -d, 0 = n*d - 3*t + 22 for d.
-2
Let y(g) = 5*g**2 + 465*g + 3. Let p be y(-93). Solve -5*o + 15 = 5*m, -3*m + 2*m - p*o + 3 = 0 for m.
3
Let h = 15 - 12. Suppose w = h*w. Let a be -3 - (-6 - -4) - (16 - 21). Solve -a*z = -4*o - 4, w*z + 1 = -5*z + 3*o for z.
-2
Let h be 3/8 + 3162/272. Solve -t - 3*k - h = -k, -16 = 3*t + k for t.
-4
Suppose -567 = -131*a + 3232. Solve 0 = 4*u - 3*r - 5, -24*u + a*u = -2*r - 11 for u.
-1
Suppose -6*b - 12 = -10*b. Suppose -5*j + s = -23, -6*s = -8*s - 6. Solve 3*g = 2*t - j*t + 4, -5*g - 25 = -b*t for t.
5
Suppose o = 3*x + x + 94, 2*o = -5*x + 136. Let p = o + -90. Let l(q) = 2*q + 28. Let z be l(p). Solve 5*v = 4*b - 17, 2*b = z*v - 3*b + 10 for v.
-5
Let h = 391 + -153. Let b = -233 + h. Solve -4*i + 5*t = 3*t + 24, -20 = -b*t for i.
-4
Suppose -5*x - 12*k + 26 = -8*k, 2*k + 62 = 5*x. Solve -4*y = -22 + x, 5*q - 4 = 2*y for q.
2
Let d be 3*8/(-40) - ((-84)/15 - -5). Solve 20 = -3*w - l, 4*w + 4*l + 28 + 12 = d for w.
-5
Let z(k) = k**3 - 3*k**2 - 5*k + 4. Let d be z(4). Suppose 144*o - 45 - 539 = -8. Solve 3*n - o*j + 17 = 0, -2*n - 2*n - 2*j + 14 = d for n.
1
Let w = 459 - 161. Suppose -w = -3*a - 7. Suppose 0 = 6*s + 13 - a. Solve 0*v = -5*v - 3*b + 1, 0 = -4*v + 2*b + s for v.
2
Suppose -5*z = 2*i + 31, z + 137 - 124 = 3*i. Solve -4*f - n - 2 = n, -5*f + i*n + 20 = 0 for f.
2
Let x be (27/(-6))/(24/608)*1. Let t = x - -133. Solve 4*c = -4*v - 24, -v - 3*c - t = 3*v for v.
-1
Suppose 0 = 11*o - o + 560. Let q be (-2 - (-11)/4)/((-21)/o). Solve q*f - 2 = b, -3*f + b = -7*f + 4 for f.
