 + 2*u for q.
-1
Suppose 0 = 3*z - 1 - 8. Suppose -2*l = 4*s - 4, -4*l = -6*s + s - 34. Solve z*x - l = -4*t, -7 - 3 = 5*x for t.
3
Suppose -l = h - 1, 0 = -3*h + l - 3*l. Let c be (-5)/h - 21/(-14). Solve -c*n = -8, 2*s - 7*s + 3*n = -9 for s.
3
Let d(i) = -13*i**3 + 2*i - 1. Let v be d(1). Let n = -4 - v. Solve -5*s - n = -4*l + 8, -3*s = 0 for l.
4
Let t(z) = -2*z + 6. Let q(j) = j**2 + 2*j - 5. Let m(w) = 6*q(w) + 5*t(w). Let i = -1 - -3. Let k be m(i). Solve -2*v - 13 = -b, 7*v - b + k = 2*v for v.
-5
Suppose 0 = 44*t - 45*t + 2. Solve i - 5*z + t = 8, 3*z + 5 = 2*i for i.
1
Let w = 47 + -10. Solve -4*g = -5*y - 37, -w = -4*g + 4*y - 5 for g.
3
Suppose 0 = -5*f + 3*f. Solve -4*k + 5*p = -2*k - 1, f = k + p - 4 for k.
3
Suppose -19 = -4*i + 3*i. Suppose 0 = 5*r + 3*h - i, r + 7 = -0*r + 3*h. Suppose -2*x + 16 = 2*x. Solve -2*n + 6 = -r*v - 3*n, -5*v - x = -3*n for v.
-2
Suppose 2*q + 4*s = 22 + 16, 9 = q + 4*s. Solve -a + q = -5*g, -24 = -2*a + a + 4*g for a.
4
Let c(i) = -6*i - 56. Let x be c(-10). Solve 5*b = -3*y + 3 + 4, 2*y = -4*b + x for y.
4
Suppose 3 + 0 = -g. Let t = 4 + g. Solve 5*p - 41 = -4*v, 0 = v + t - 5 for p.
5
Suppose 2*v + 8 = t, 4*v + 0*v + 4 = 0. Let o = t + -6. Let z be o - (-1 - 0) - 1. Solve z = -3*c - 2*w - 23, -3*c + 2*w - 17 = 2*c for c.
-5
Suppose 0*n = n - 3. Let c = n + -3. Suppose 5*o - 29 + 4 = c. Solve 2*p + 3*y + 12 = -p, -4*p + o*y = 25 for p.
-5
Let x = 6 + 0. Let t be (15/(-9) - -2)*x. Solve 4 = w, m = 2*w - w - t for m.
2
Let n(v) = -v + 7. Let a be n(0). Suppose -3*q + 5 = -7. Let x be 0 + 6/(q/2). Solve 0 = x*t + 4*l - a, 2*t - l = 5*t - 4 for t.
1
Let w(i) = 4*i**2 - i - 1. Let y be w(-1). Suppose -4*c + y*s - s = -52, c + 5*s - 13 = 0. Solve -k - 4*u = c, 0*k + 4*u + 23 = -3*k for k.
-5
Let y(m) = -5*m - 16. Let z(l) = 3*l + 11. Let k(q) = 5*y(q) + 8*z(q). Let g be k(6). Solve 0 = 2*j - 4*f + 10, -4*j - g*f = -2*j - 20 for j.
5
Let q = 13 + -21. Let y(u) = u + 17. Let w be y(q). Solve -3 = -2*o - 7, r - 3*o = w for r.
3
Let z(k) = -3*k**2 - 16*k + 2. Let w be z(-5). Solve 2*q = 3*u + 14, w*u + 3*q + 17 = 2*u for u.
-4
Let n be ((-7)/21)/(1/(-12)). Let m = 6 - 3. Solve -15 = -n*j - m*a, 2 = 2*j + a - 5 for j.
3
Suppose -4*y + 2*y - 10 = -4*w, -3*w - 3*y + 30 = 0. Solve -3*q - 8 = w*a + 29, a - 3 = 2*q for a.
-5
Let m be ((-2)/(-3))/(6/18). Suppose 5*y = 0, -j + 1 = m*y - 4. Solve -j*i - 6 = 2*l + 24, -3*i - 5*l - 37 = 0 for i.
-4
Let m(l) = l**3 - l**2 + l + 4. Let b be m(0). Solve -4*n + 2*s + b = -2*s, 4*s = 2*n - 6 for n.
-1
Suppose 0 = k - 0*k - 3*c - 12, -5*k + 24 = -3*c. Solve 0*d + 1 = -k*d - h, 2*d = -h + 1 for d.
-2
Suppose t - 17 = -0*t. Suppose r = 4*c + t, c + 4 = 2*r + 3*c. Solve -y - g = -0*y + 9, g = -r for y.
-4
Let i be (0 + 0)/(-8 - -6). Let x be 6 - i - (9 - 7). Solve -3*l = 4*u - 8, x*u + 0 - 8 = -l for l.
0
Let t(z) = -z**3 + 11*z**2 - z + 16. Let n be t(11). Solve 20 = 3*l + n*d, 0 = -3*l + d - 2 - 2 for l.
0
Let b be -3 + 4 - (-2 + -2). Suppose 0 = 4*y + 3*h - 2, -h - 2*h + 4 = b*y. Let r be -3*((-14)/3 - -2). Solve 0 = -y*v - 8, -2 = -k - v - r for k.
-2
Let r be ((-4)/(-10))/((14/(-20))/(-7)). Solve -4*l = r*q + 4, 5*q + 4*l + 3 = -0 for q.
1
Let s(d) = d**2 + d - 1. Let u(g) = 7*g + 6. Let q(o) = -s(o) - u(o). Let a be q(-6). Solve -3*z - 2*f = -4*f - a, 0 = z - f - 2 for z.
3
Suppose 5*r + 11 = 5*b + 4*r, -4 = 4*r. Solve -b*z + 6 = 2*n, z + 12 = 2*n + 5*z for n.
0
Suppose 2*t + 2 = 8. Let n(w) = 4*w - 9. Let b be n(7). Suppose 23 = 3*h - 3*r - b, 3*h + 2*r - 37 = 0. Solve -2*p - t = 7, -h = 2*l + p for l.
-4
Let w(y) = 5*y**2 - 2*y + 1. Let n be w(1). Solve 3*q - 4*m - 15 = -7*m, -5*q - 11 = -n*m for q.
1
Let r(z) be the first derivative of -2*z**2 - z - 3. Let i be r(-1). Suppose 3*w = -2*w + 110. Solve i*h = n + 19, -w = 3*n - 3*h + h for n.
-4
Suppose m - 5*m + 16 = 0. Suppose -m*l + 15 = l. Let i be 14/2 - (1 - 0). Solve -l*g = -j - j - 8, -2*g + i = -j for g.
4
Let p = 13 - 15. Let y be 2*-8*1/p. Solve -17 = v - 0*v + 4*q, q + y = v for v.
3
Let l be (-2)/(-7) - (-4)/(-14). Let u = -69 + 72. Solve -o + 18 = -5*w + u, l = -o for w.
-3
Suppose -11*g + 12 = -5*g. Solve -3*h - 4*m - 1 = 1, -m = g*h + 3 for h.
-2
Suppose -6 - 10 = -4*x. Solve 4*u + n - 8 = 0, 3*u - 11 = -x*n + 8 for u.
1
Let f = -11 - -31. Suppose 4*v = v + 5*q - 10, f = 3*v + q. Let i be 12/(16/4) + -3. Solve -3*k - 5*o - 15 = i, -7*o - 15 = v*k - 2*o for k.
0
Let t be 1/((-88)/29 + 3). Let d = -17 - t. Solve 0 = -5*p, 7*z - 3*z + p - d = 0 for z.
3
Suppose -9 - 11 = -5*p. Suppose 4*z = p, 0 = q - 2*z - 1 - 7. Solve -3*l = -0 - 15, 0 = -5*c + l + q for c.
3
Let l = 2 - -4. Let z be (l/3 - -3)*2. Solve -2 + z = 3*o - b, -4*o - 3*b - 11 = 0 for o.
1
Let q(o) = -2*o - 36. Let a be q(-20). Let j = 14 - 20. Let z be (-2)/(j/(-10) + -1). Solve -c - c = a*u + 8, -z*u = c + 4 for u.
0
Let p = -3 - -7. Solve 3*b - 3*q = -3 - 12, 3*b - p*q = -18 for b.
-2
Let j = 15 + -26. Let p(q) = -q**3 - 10*q**2 + 12*q + 14. Let y be p(j). Solve 3*g = -y*t, 2*g + 4*t = 3*t - 3 for g.
-3
Let q be (-32)/(-6) + 7/(21/(-4)). Solve x = -4*s - 18, -q*x + 3*s + 0*s + 23 = 0 for x.
2
Let x(z) = -z**3 + 4*z**2 - z. Let n be x(5). Let i be 0/(-1) - -10 - -2. Let p be (i/10)/((-9)/n). Solve b - 5*b - 4*h = -20, 0 = -2*b - p*h + 16 for b.
2
Suppose 4 + 11 = 5*j. Suppose -53 = -j*c - 4*l, -3*l + 70 = 4*c + 2*l. Suppose 0*z = -5*z + c. Solve z*t + 4*m = 4*t - 8, -4*m = 12 for t.
-4
Suppose 3*v = -r - 0*v + 22, -5*v = -2*r + 88. Solve 3*k - r = 5*d, 2*k + 0*k - 21 = 3*d for d.
-5
Suppose h = -3*h + 332. Suppose 5*o - 106 = -4*a, 3*a + 2*a - h = -4*o. Solve 0 = -x + 3*x + 5*w - o, -3*x + 15 = 3*w for x.
1
Suppose -6*i + 25 = -i. Let p(n) = n - 8. Let t be p(4). Let m be t*12/16*-1. Solve i*y = -2*r + 3, -m*r = -3*y - 13 - 2 for y.
-1
Suppose 22 = 3*w + 6*n - 2*n, -3*n = -w - 10. Solve -4*g = -5*p - 21, w*g + 2*g = 4*p + 20 for p.
-1
Suppose 0 = -r + 5*b + 6, -r + b + 3 = -b. Let z(l) = -5*l - r + l + 3*l. Let a be z(-4). Solve q - a = -2*t - 3*t, -3*t + 13 = -5*q for q.
-2
Suppose 4*n + 11 = -1. Let d(u) = -u**2 - 3*u + 4. Let f be d(n). Solve -f*x - 3*m - 26 = 0, -30 = x + 3*x + 5*m for x.
-5
Let p(k) = -5*k + 1. Let z be p(2). Let c be (-1)/((-2)/(1 - z)). Suppose 5 - 2 = o. Solve 11 = 4*f - 5*t, o*t + 2 = c for f.
4
Let r(m) = -m**3 - 9*m**2 - 6. Let v be r(-9). Let g = v + 9. Solve g*w - 5*k = 0, -3*w - w - 35 = 5*k for w.
-5
Let n(b) = 3*b. Let q be (1 + (-147)/6)*-2. Suppose -4*x - 7 = -q. Let z be n(x). Solve 5*r - z = -5*h, 7 - 1 = -h + 5*r for h.
4
Let r be (-2)/(-3) + 4/(-6). Solve -3*z = -2*l - 14, 2*z + 5*l + 12 + 4 = r for z.
2
Suppose l + 4 = -5*o, -2*o - 5 = l - 1. Suppose 4*b - 52 = -4*t, 0 = t + 2*t - b - 59. Suppose t = 3*q - 9. Solve -6 = 3*p - k + q, o = k - 3 for p.
-4
Let c = 84 + -84. Solve 0 = 2*l - l + 1, 2*o - 3*l - 3 = c for o.
0
Let j = 6 + 0. Let l(o) = 2*o**2 - 2*o - 1. Let d be l(-1). Solve 6*q - 2*q + 17 = b, -3*b + d*q + j = 0 for b.
-3
Let v(j) = -j**2 - 5*j + 4. Let a = -16 - -11. Let w be v(a). Suppose 3*r = 4*s - 8 - 0, w*s = 4*r + 4. Solve 0 = -s*y - 3*n - 30, 6 = 3*y - 3*n - 0 for y.
-3
Let v = 34 - 29. Solve 5*b - b + 7 = -v*g, -5*g + 11 = -2*b for b.
-3
Suppose n = 4*n. Solve -5*m + 8 = -4*j, 6 = 5*m - 3*j - n for m.
0
Suppose -6*j = -8 - 82. Solve 18 = -3*d + 2*y, -2*d - d - j = -y for d.
-4
Let s = 1 + 2. Suppose 0 = -3*v + s*j - 30, -4*v = 3*j + 5 - 0. Let w = v + 5. Solve 4*i + 2 = 2*p - w*i, -3*i = 0 for p.
1
Let i be ((-2)/1)/((-7)/7). Solve 0 = -i*v - 5*o + 35, v + 0*o = -3*o + 20 for v.
5
Let c be 2 + -4 + (1 - -1). Let a be 3/(6/4)*2. Let t = a + c. Solve w + o = -0 - t, 4*o = 4 for w.
-5
Let i = 9 - 13. Let p be 26/6 + 2/(-6). Let n = i + p. Solve n = -5*m + 15, m = 2*w + 2*m - 1 for w.
-1
Let c = -11 - -8. Let x = 0 - c. Suppose x*f - 94 = -1. Solve -6*j - 3*s = -2*j + f, 3*s + 23 = -2*j for j.
-4
Let h = 22 - 10. Solve 3*g + 2 = -q + 8, -3*g - 3*q + h = 0 for g.
1
Suppose -5 = d - 7. Solve -l + d = s + 3, -25 = l - 5*s for l.
-5
Suppose p + 2*a = 2, 3*p = -2*p + 3*a - 16. Let s(r) = r**2 - 2*r - 2. Let w be s(p). Suppose -v = -w + 1. Solve -v*b + 3*k + 21 = 0, 3*k = -b - b for b.
3
Let i(n) = -n + 5. Let z be i(7). Let g = 1 - z. Solve -y + c = -4*y + 9, 9 = g*y + 5*c for y.
3
Let n(v) 