
-3
Let o be (-12)/(-16)*-2*2. Let a = 7 + o. Solve 0 = z - 4*z + 4*k - 9, -5*z - a*k = 15 for z.
-3
Suppose -3*k + 37 + 5 = 0. Solve j + 3*y = k, 4*y - 20 = j - 6 for j.
2
Let x be (-58)/(-2) - (3 - 2). Solve -5*d - 28 = u + u, -x = 3*d + 4*u for d.
-4
Let v be (51/9)/((-1)/(-3)). Let a = v - 7. Solve -13 = -5*r - 4*t, -4*t + a = t for r.
1
Suppose -25 = -5*u - 5. Suppose 0 = o + 3*l - 13, 0 = u*o + 4*l - 3*l - 8. Solve -h - 3*x = 4*h + o, 0 = 3*h + 3*x - 3 for h.
-2
Let w(u) = u**3 - 5*u**2 + u - 1. Let d be w(5). Solve -4*q = -g - 3*q + d, -4*q = -4 for g.
5
Let w = 18 - 15. Suppose 4*c = -l + 181 - 51, 2*l - 100 = -3*c. Solve c = -5*a - w*d, -2*a = 3*a + 2*d + 28 for a.
-4
Let r(x) be the first derivative of x**3/3 - x**2 + 2*x + 3. Let w be r(2). Solve -w*c - 8 = 0, -v = -5*c - 5 - 12 for v.
-3
Let d(a) = a**3 - 9*a**2 + 11*a - 20. Let k be d(8). Solve -2*n = k*b + 6 + 2, 2*b + 5*n = -20 for b.
0
Let n be -4*(21/2)/7. Let q(u) = u**2 + 5*u - 4. Let a be q(n). Solve 16 = -3*c - a*z, -21 = -2*c - 0*z + 5*z for c.
-2
Suppose 3*q - 4*h - 30 = -h, 4*h + 15 = -q. Solve 5 = q*x, 6 = -b + 5*x - 2 for b.
-3
Let l be (24/(-14))/(10/(-35)). Solve -2*q + 2*c - l = 3*q, 3*q - 3*c = 0 for q.
-2
Suppose 0 = -6*u + 3*u + 12. Let i be (-2)/u - 25/(-2). Suppose g + 5*q = -0*q - i, -4*g + 18 = -2*q. Solve -3*w = 12, -2*c + 1 = g*w + 3 for c.
5
Let b(l) = l**3 - l**2 + l - 1. Let f be b(2). Solve 2*z + 0*z - 30 = 4*v, 5*v + f = -4*z for v.
-5
Let h = -10 - -22. Solve -2*i = 2*i + h, -i = -2*p + 13 for p.
5
Let g be (-3)/2*(-2)/1. Solve -2*p - y + 3 = 0, -g*p - 2 = 3*y + 1 for p.
4
Let f(r) = r**3 + 6*r**2 + 5*r + 4. Let n be f(-4). Solve 4*p = -2*w + n, 16 = -p + 3*p + 3*w for p.
2
Suppose j + 5*t + 19 + 1 = 0, 2*j + t - 5 = 0. Let o = 0 - 0. Solve o = 2*d - j*l - 20, 0 = 3*d - 2*l - 6 - 2 for d.
0
Suppose -53 = -2*j - 0*w + 3*w, -58 = -2*j - 2*w. Solve 4*a - j = 5*o, a + 2*a - 4*o - 22 = 0 for a.
2
Let c(m) = 7*m - 1. Let n be c(4). Suppose 5*w - n = 18. Solve 0 = -3*i + k + 13, -i - k = 2*k + w for i.
3
Let h be 6 + -5 - (-5 - -1). Solve -2*c + 3*q - 5 = -2*q, -5*q = -c - h for c.
0
Let t be (-1)/2*(10 + -14). Solve -2*d - 3*j = -17, t*d - 5 = 5*j - 28 for d.
1
Let t(s) = -s**2 + 6*s + 3. Let v be t(5). Solve 2*u + v = 0, -12 = 4*c + 2*u + u for c.
0
Let f = -68 - -72. Solve 5*c - 1 - f = 0, -3*c + 1 = p for p.
-2
Let o(j) = j + 1. Let i be o(4). Suppose 5*h - 4*x = 34 - 2, 0 = -2*h + x + 11. Solve 2*l + 2*m = h, -5*m - 12 = -i*l + 8 for l.
3
Let i be 4 - (0 - 2) - 1. Suppose 4*h - 60 = -i*q, -q + 4*h = 3*q - 84. Solve 0 = -5*c - 3*w + q, -3*w = -0*c - c + 14 for c.
5
Let w(s) = s**3 + 3*s**2 - 12*s. Let f be w(-5). Solve f = -d - 5*v, -3*d + 26 = -v + 8 for d.
5
Let u = -19 + 16. Let d(v) = 3*v**3 - v**2 + 1. Let g be d(1). Let i = g + u. Solve 2*f - 4*w - 4 = i, 1 + 1 = f - 4*w for f.
2
Let k = 2 + 2. Suppose 2*a - 2 = k*m, 0 = 3*a - 2*m + 4*m - 19. Suppose 0 = r - a*b + 20, -5*b + 15 = -5. Solve 2*g = j - 5, r*g - 12 = -3*j + 5*g for j.
-1
Let g = 1 + 8. Let v = g + -3. Solve 5*z = 5, 0 = 4*f - v*z + 2*z + 16 for f.
-3
Suppose -3*n + 8 = -4. Let y be (-2)/8 + 13/n. Solve 2*a = -2*m, -2*a + 7 - 4 = y*m for m.
3
Let v = 8 + -2. Suppose -2*l + 5*b = 2*b - 29, 2*l + 4*b = -v. Let n be ((-24)/(-21))/4*l. Solve 0 = 3*o - n*o - 5*s + 2, -3*s = 5*o + 10 for o.
-2
Let n be -10*(4/8 - 1). Solve -3*x = 5*l - 1, 5*l - 25 = n*x - 0*l for x.
-3
Suppose -4*h + 4 = -3*z - 2*h, -3*h = -15. Suppose 3*s + 5*x + 1 = 0, 5*x - z = -5*s + s. Solve -5*o = 25, -3*o = -s*a - 7*o - 5 for a.
5
Let p be (-1 - -11)*6/15. Solve -t - t + p*n - 16 = 0, -4*t + 1 = 3*n for t.
-2
Let w(b) = -3*b + 2. Let c(n) = 4*n - 1. Let d(l) = 5*c(l) + 6*w(l). Let k be d(8). Let y be ((-7)/2)/7*-10. Solve 4*p - y*v + k = 0, 5*p - p = -5*v + 7 for p.
-2
Let q = 7 + -2. Solve l + 5*a + 0 + 5 = 0, -4*a + 17 = q*l for l.
5
Suppose 3*o + 3*m + 11 = 4*o, 3*o = m + 57. Let k = 20 - o. Solve -5*w - 16 = -3*h - k*h, 0 = -5*w + 4*h - 18 for w.
-2
Suppose -4*p = -0*a + 4*a - 56, -2*a - 3*p = -31. Let f be (1 - a)*9/(-15). Solve -2*x = -5*h - 13 + 3, -4*h - f = -2*x for h.
-4
Let b = 29 - -21. Suppose -k + j - 20 = -3*k, -2*j = 5*k - b. Suppose 2*t = -3*u + 14, -26 = -3*u - 0*t - 5*t. Solve u*m - m - 2*v = 0, k = -5*v for m.
-4
Suppose 5*l - 4*l - 7 = 0. Let o(u) = -36*u - 1. Let q be o(-1). Suppose 0 = p - 5, 5*s - q = -5*p. Solve -2*v + 26 = 5*y, -4*v - s*y - l = -27 for v.
3
Let x(c) = -5*c + 2. Let k(u) = -3*u + 1. Let o(j) = 8*k(j) - 5*x(j). Let b be o(6). Solve 3*d + 1 = 2*g + 2, -5*g - 6 = -b*d for g.
-2
Let l be -1 - (-3)/(6/8). Let k = -4 - -5. Let y be -1 - -24 - (-2)/k. Solve y = 5*w - j, -l*w + 29 = -2*w - 5*j for w.
4
Let k be 27/(-18)*1*-3*2. Solve 0 = -2*r - 2*p - p + k, -5*r - 5*p = -20 for r.
3
Let j be (3/2)/((-6)/(-12)). Solve a + 2 = -5*y + 4*a, j*y - 5*a = 2 for y.
-1
Let i(n) = 33*n - 4. Let q be i(1). Solve -2*x = l - 13, -4*x - l - 2*l = -q for x.
5
Let i be -2*3 + 2 + -2. Let y(p) = -p**3 - 5*p**2 + 4*p + 1. Let w be y(i). Suppose -5*j + 2*l = -w, 4*l - 1 = 2*j - 3. Solve 3*v - 3 + 0 = -j*u, 0 = 5*v for u.
1
Suppose 0 = -3*p + 6 + 3. Let j(l) = -2*l - 1 + 0*l**2 + 3*l**2 + 6 - 3. Let i be j(4). Solve 3*o + 2*q = 21, 4*o + p*q + 13 = i for o.
5
Let h(m) = 9*m - 8. Let l be h(8). Suppose 1 = -3*z + l. Solve 5*x + 4*w - w = z, -17 = -5*x - w for x.
3
Let z = 19 - 40. Let d = z - -29. Solve 4*y - 4 = 0, -3*y + 3 = d*x - 4*x for x.
0
Let t(q) be the third derivative of -q**4/24 - 7*q**3/6 + 3*q**2. Let u be t(-11). Solve 0 = -u*f - 0*p + p + 21, -2*p + 18 = 4*f for f.
5
Let q(j) = j**3 + 5*j**2 - 6*j + 6. Suppose -3*g - u = 2 + 12, -4*g + 2*u = 32. Let r be q(g). Solve 0 = -4*w - 5*f - 9, 4*f + 34 = 5*w - r for w.
4
Let c = -7 + 12. Suppose 26 = g + c. Solve -5*b - g = 2*v, -2*b + 0 = -3*v - 3 for b.
-3
Let h(l) = l**3 - 4*l**2 + 2*l - 6. Let p be (-9)/(-2) - 3/6. Let s be h(p). Solve 5*m - 37 = -3*k, -s*k + 4 = 3*m - 19 for k.
4
Suppose -4*g - 24 = -6*g. Suppose 0*q + g = 4*q. Solve q*r + 11 = -4*s, 6*s = 2*s + r - 23 for s.
-5
Suppose -3*v = 5*f - 71 - 4, 2*f - 6 = 0. Solve -v = 4*t, -3*d - 25 = -t + 6*t for d.
0
Let k(h) = -3*h**3 + 3*h**2 + 3*h - 1. Let v be k(-3). Let z be 3/6 - v/(-4). Suppose -5*u + 0*y + z = -3*y, -20 = -4*y. Solve 0 = 5*c + 5*s, s + u = 3 for c.
5
Suppose v = 4*r - 10, 2 = -2*r + 3*v + v. Solve -4*q + 0*q + i + 1 = 0, r*i - 12 = -3*q for q.
1
Let a(c) = c**2 + 20*c - 19. Let f be a(-21). Solve 5*i + w + 17 = 0, -w + f*w = i + 7 for i.
-4
Suppose 3*s - 6 = 54. Suppose 5*v + 5 + 1 = 4*g, 4*v + 3*g - s = 0. Suppose -3*l = -2*l - v. Solve l*b - 2 = -3*y, -5*y = -2*y + b - 4 for y.
2
Suppose 5*u - 63 = 3*z, -u + 72 = 3*u + 3*z. Suppose 3*o = -o + 8. Solve -o*r + x = -4*x - u, 4*r - 17 = -3*x for r.
5
Let a = 5 + -2. Suppose -a*m = -7*m + 20. Suppose 0*j + m*j + 4*n - 40 = 0, -5*n = -4*j - 9. Solve j*b + 12 = -5*r, -b - 3*b = 4*r + 8 for b.
2
Let z(c) = c. Let p be z(3). Suppose q = -p*q. Suppose 3*x + 2*x - 5 = 5*k, q = 3*x + 3*k - 3. Solve 0 = 5*f + 5, f + x = 2*m - 8 for m.
4
Suppose 5*b - 12 - 48 = 0. Suppose 3*z + 2*u - 1 = 0, z = -3*z + u - 6. Let h be 1/(z*3/(-12)). Solve -s - b = -h*y + s, -2*y - s + 10 = 0 for y.
4
Suppose 0 = 4*n + c - 17, 1 = c + 4. Let g(u) = -4*u + 2. Let h be g(-3). Let o = -9 + h. Solve k - 1 = 6*v - v, n*k - 5 = o*v for v.
0
Let m(y) = -1 + 16*y - 9*y - 1. Let t be m(1). Solve 0 = w + 1, t*i - 5*w + 21 = -w for i.
-5
Suppose 4*h + 80 = -h. Let f = -11 - h. Solve 16 = 2*a - f*d + 39, -d = 5*a - 10 for a.
1
Let h be ((-4)/(-10))/((-1)/(-30)). Suppose 6*s - h = 3*s. Solve -26 = -5*q + 4*v, -16 = -s*q + 2*v - 0*v for q.
2
Suppose -4*l + 5 = 3*r, 2*r - 5*l - 8 = r. Solve f = -2*p - 3, -p = -2*p - r for f.
3
Let l be 6/(-9)*3 + 10. Suppose -4*f = -0*f. Solve -2*c = -a - 13, 3*c + l = -4*a - f for a.
-5
Suppose 0 = -s + 8 + 2. Let g = s - 16. Let f be 4/12 + (-28)/g. Solve -4*v = f*h - 0*h - 11, 4*h = -5*v + 7 for v.
-1
Suppose -z + 3*z = 4. Solve 3*r + z = -5*w - 20, 3*r + 12 = -3*w for r.
1
Suppose -3*h + 4*h - 10 = 0. Solve -16 = -2*p - 2*j, p + 5*j = 6*p + h for p.
3
Let s be 3/(1 + 2/4). Suppose -3*p - 8 = -7*p. Let r = 22 + -13. Solve -3*v - 3*d + r = p*d, s*v = -4*d + 8 for v.
-2
Let w(k) = k + 3. Let x be w(5). Suppose 4*z - z = 75. Su