-3*y + a = 4*a, -4*y - v*a - 4 = 0 for y.
-2
Suppose 0 = t - 5*g - 15, t + 5 - 2 = -g. Let f = 5 + t. Solve 4*a - 4*r - 16 = 0, 4*r + 15 = f*a - 1 for a.
0
Let t be (-4)/(-1) - (0 + 2). Solve 5*l + 20 = 5*o, t*l + 3*o = -0*l + 17 for l.
1
Let n(x) = 2*x**2 - 2*x - 1. Let i be n(-1). Solve -q + i*u = q - 7, 2*q - u = 5 for q.
2
Suppose l - 3 = 0, -3*n - 3 = 2*l - 18. Suppose t - 10 = -4*t, 2*t + 11 = n*h. Solve 2*a = -f - 2*a + 17, 0 = h*f + 2*a - 13 for f.
1
Let y be 2 - (-14)/(-4)*-2. Let m(q) = -q + 10. Suppose 24 = 3*o + o. Let l be m(o). Solve 6*j - 3*j + y = -3*x, l*j - 5*x = -3 for j.
-2
Suppose 3*a - 15 = -9. Solve 8 = -a*d - n, 5*d - n = 3*d for d.
-2
Suppose g + 3*g - 96 = 0. Let h = g + -21. Solve t + h*m - m - 10 = 0, -t - 5 = -3*m for t.
4
Suppose 2*t + 40 = 7*t. Let l = -5 + 7. Solve -l*v + o + 3*o + t = 0, -2*o + 2 = 2*v for v.
2
Let n(l) = l**3 + 6*l**2 + 3. Let b be n(-6). Let t = 3 + -1. Suppose -t*k + k = 0. Solve 5*m + k*g + 2*g - 18 = 0, -4*m + b*g - 4 = 0 for m.
2
Suppose 0 = 5*h - 2*z - 9, -3*h + 6*h - 5*z = -6. Solve h*i + 27 = 3*u, 2*i - 1 = -11 for u.
4
Suppose 0 = -0*h - 6*h - 18. Let c be 3/(-9) - 7/h. Solve 3*p = 0, c*f - 5*p - 25 = 7*f for f.
-5
Let o(z) = -29*z + 62*z - 34*z + 2. Let r be o(-1). Solve 2*q - 3*t - 12 = 2*t, 4*t + 4 = r*q for q.
-4
Let c(p) = -p**2 + 15*p - 24. Let g be c(11). Solve l = 2*d - d, -3*d - l - g = 0 for d.
-5
Let k be (-2)/10 + (-4)/(-20). Suppose k = i + 2 - 4. Solve 4*s + a = -a + i, 5*s = 3*a + 19 for s.
2
Suppose 13 = 5*c + 5*u - 7, 2 = 5*c - 4*u. Solve c*x - 29 = -5*o, -2*x + 0*o = -o + 1 for x.
2
Let j = -5 - -8. Suppose z - 8 = -j*z. Suppose -g + z = -0. Solve 2*t - 35 = -5*x, -4*x + g*x + 10 = 0 for t.
5
Suppose 144 - 124 = 5*d. Solve -4*n - 4*q + 3*q = 5, 0 = d*n - 4*q + 20 for n.
-2
Suppose 4*r - 32 = -4*o, 5*r - 28 = 3*o - 5*o. Suppose -2*i = -u - 50, -r*u + 98 = 5*i - 27. Solve -2*t + 4 = -5*g, 5*g + 2*t = -i + 9 for g.
-2
Suppose u + 3*u = 52. Suppose -4*v = -4*z, -5*v - z + 17 = -u. Suppose -f + 2*f - 2 = 0. Solve -3*d - 4*l = 6, f*d + v*l = -2*d - 7 for d.
2
Let o(k) = k**2 - k - 4. Let f be o(-3). Solve 2*p = r - 6 - f, -r + p + 9 = 0 for r.
4
Suppose 0*j + 5*h - 3 = j, 0 = -3*h + 3. Solve -4*g + j*t = -10, -t - 3 = 3*g + t for g.
1
Let k(t) = t**2 + 2*t - 4. Let d(u) = u**2 + 3*u - 8. Let o be d(-4). Let y be k(o). Solve 12 = -4*r + 2*v, 4 = 2*r - y*v - 2 for r.
-5
Let v = 0 + -4. Let c(w) = -w**3 - 3*w**2 + 5*w + 6. Let a be c(v). Suppose -5*m = -3*m - a, -2*x = 3*m - 13. Solve -5*k + x = -3*n - 2, 2*n - 4*k = -6 for n.
1
Let d(w) = 4*w**2. Suppose -4*x + 5 = x. Let c be d(x). Suppose 2*j + 0*j - 4 = 0. Solve -3*f + c = f + 4*h, 0 = -j*f + 5*h + 2 for f.
1
Let c be (-1)/(-2) + 21/6. Let x = 7 - c. Suppose x*v = 5*v. Solve 3*g - 6 = -v*g - h, -h = 5*g - 8 for g.
1
Let z(r) = -3*r + 1. Let s be z(-1). Suppose 4 = 4*h - s. Solve h*p + 4 = 3*b, -4 = -b - 0*b for p.
4
Suppose 4*d - 9 = 2*n + 5, -25 = -5*d - 5*n. Let m = d + 0. Solve 3*y - 12 = 5*c, 2*y + 0 = 2*c + m for y.
-1
Suppose a = -2*g - 4, 0*g + 12 = 3*a - 2*g. Let v(j) = -j**2 - 6*j - 4. Let k be v(-4). Solve a*f = -k*z + 9 - 3, 0 = 2*f + 5*z - 10 for f.
-5
Let b(k) = -k - 6. Suppose -3*t + 7 = 2*u, -3*t = 5*u - 7*t - 6. Let s be -7 + 0 - u/2. Let d be b(s). Solve 5*c + 8 = x, -c - d = -0 for x.
-2
Let a = -1 - 6. Let g be (4/a)/(2/(-7)). Solve -6 = 4*t - g*l, 2*t + l - 3 = 5*t for t.
0
Let t be (-102)/27 + (-4)/18. Let m(v) = v**2 + 5*v + 5. Let r be m(t). Let b be 34 - (5 - 3/r). Solve -4*u = 3*j - b, -3*j = -3*u - 0*u + 3 for u.
5
Suppose w - 3 = -0*w. Let c(m) = 5*m + 1. Let b be c(1). Suppose 0 = -3*o + 5*o - b. Solve k + k = -o*u + 23, w*u - 3 = 3*k for u.
5
Let y(c) = -c**3 + 12*c**2 - 10*c - 8. Let q be y(11). Solve -23 = 5*f + 4*g, -q*f - 4*g - 6 = 11 for f.
-3
Suppose 12 = -3*b - 0*b, -3*a = -b + 23. Let w(j) = -j - 9. Let q be w(a). Solve p + 3 = -4*m, 0 = p - q*m - m - 7 for p.
5
Let w(s) = 4*s**3 - s**2. Let a be w(2). Suppose -3*q = -3*m + q + a, 5*m = 5*q + 40. Solve 5*o = -2*r - m, -2*r - 2*r + 3*o - 8 = 0 for r.
-2
Suppose -6 = -5*t + 4. Let p be 114/7 - t/7. Suppose 2*q - 2 = 10. Solve 4*l = -i + p, l = q - 3 for i.
4
Let p(r) = 3*r + 43. Let n be p(-14). Solve d - n = -h - h, 5*h + d = -2 for h.
-1
Suppose -3*o + 7*o - 72 = 0. Suppose -3*y + o = -15. Suppose 2*v = 0, -y = -4*m + 5*v + 9. Solve -2*f - 11 = -m*q, 0 = f + q - 2*q + 1 for f.
2
Let w(s) = -s + 13. Let y be w(7). Let x = 11 - y. Solve -3*u + u + 3*r = 10, u - x*r = -12 for u.
-2
Let w(i) = 3*i - 11. Let r be w(15). Solve 4*f - 4*u - r = -2, 20 = f - 5*u for f.
5
Suppose -10 = -6*c + 2. Solve j - c = 5*d - 17, -d - 2*j = -14 for d.
4
Suppose 2*g = 14 - 0. Let p = 0 + -2. Let h be g*4 + p + 0. Solve 2*z = 2*k + 4, -2*k - 3*z - h = 3*k for k.
-4
Suppose 11 = -4*h + 31. Solve 4*d - 30 = 5*m, -2*d + 5 = d + h*m for d.
5
Let r(z) = -z + 5. Let m be r(5). Suppose m = 2*g - 0 - 4. Let y be 22*(g + (-3)/2). Solve -2*q = -0*o + 4*o - 18, -5*q = -4*o + y for q.
1
Suppose 5*d = -4 + 54. Solve 2*z + d = 4*k, 2*z + 2 = 3*k - 4 for k.
4
Let m(y) = y**2 + 3*y + 4. Let t(r) = r**3 - 16*r**2 + 15*r - 5. Let b be t(15). Let v be m(b). Solve 2*q - 3 = -4*j - 23, j + 5*q + v = 0 for j.
-4
Let v be (6/(-4))/((-15)/(-40))*-1. Solve 0 = 5*f + t + 2*t - 27, v*t = f + 13 for f.
3
Let z(k) = k**3 + 8*k**2 + 8*k + 9. Let p be z(-7). Suppose 0*o - 6 = -p*d - 4*o, 9 = 3*d + 3*o. Solve d*l - 1 + 5 = -5*x, 4*x = -2*l - 2 for l.
-3
Suppose -5*j = -4*j - 3. Suppose 15 = -0*h + j*h. Solve h*v = -t - 3 - 1, -4*v - 4*t = 0 for v.
-1
Let u be (0/8)/(2*1). Let n(j) = -3*j - 3. Let a be n(-2). Let w = a - u. Solve -w*f + 15 = 0, 0*f + 10 = 3*b + 5*f for b.
-5
Suppose 0 = 4*p - 7*p + 15. Suppose -2*x - 3*b + 20 = -b, 4*x - 3*b = p. Solve -2*d + x*o - 8 = 17, 5*d = 4*o - 37 for d.
-5
Let l = 2 - -2. Solve 0 = -0*t - l*t + 3*o - 17, -1 = o for t.
-5
Suppose 3*k - 4 = 53. Let c = k + -3. Suppose 2*l - 6 = -5*z, -3*z = -3*l + 6*l. Solve -7 = -5*d + z*f, 41 = 3*d + 4*f + c for d.
3
Suppose 0*w - 4*w + 5*g = 21, -3*g = -w - 14. Let v be w - -2 - (1 + -2). Let j = -43 - -75. Solve 4*y + v*n = -4, -4*n - j = -4*y + n for y.
3
Let c(q) = 2*q**2 - 6*q. Let l be c(4). Let m(z) = 3*z + 1. Let j be m(-2). Let s = -3 - j. Solve 2*t - l = -s*n, t - 2*n = -7*n + 16 for t.
1
Suppose 2*p + 2*p - 9 = -t, -6 = 2*t - 4*p. Solve -c - 5*b = -24, -b + 3 + t = 0 for c.
4
Suppose -3*h - 2 + 9 = -5*m, 5*h - 16 = 4*m. Solve -5*w = 3*u - 31, 4*u + 6 + m = 3*w for u.
2
Suppose -3*f - 21 = -g, 5*g + 3*f + 2*f = 5. Let o be (14/g)/(2/6). Suppose 5*v - 3 - o = 0. Solve v*r = -2*m + 6, 2*r - 5*m - 25 = -3*r for r.
4
Suppose 11*s + 1 - 23 = 0. Solve t + 7 = 5*b, 4*t - s*t = b + 4 for b.
2
Suppose 0 = -m + 16 - 14. Solve -2*t + 14 = 2*k, 2*k + m = 4*t - 14 for k.
2
Let r(o) = 14*o**2 - 1. Let l be r(1). Suppose 5*g + u - 3*u - l = 0, 5*u = -2*g + 11. Solve -4*f + 3 = g*s, -4*s + 1 + 3 = 4*f for f.
0
Let o = -19 - -71. Suppose -292 + o = -5*k. Suppose -3*d + k = d. Solve -5*l + 3 = -3*b + 13, 3*b - d = 3*l for b.
5
Let n = -16 - -21. Suppose -3*q - 3*i + 3 = -0, -n*q + 8 = 4*i. Solve 0*g - g = q*x - 8, 4*x - 24 = -5*g for x.
1
Let d(g) = -4*g - 3. Let h(b) = -4*b - 3. Let v(o) = -6*d(o) + 7*h(o). Let m be v(-4). Suppose -n = -0*n - m. Solve -2*k - 4 = -a, 3*k + a + n - 2 = 0 for k.
-3
Suppose 0 = -38*r + 36*r + 4. Solve -6 = 3*n - 4*n + 5*j, -r*n + 3*j + 5 = 0 for n.
1
Let s(g) = -g - 1. Suppose -4*u - 8 = 0, 3*r - 3*u + u = 4. Let h = r - 5. Let m be s(h). Solve -k - 4 = -m*c, k + 4*k + 5*c = 30 for k.
4
Suppose 2*a - 5 = 21. Let i = a - 10. Solve -b - 1 = -r, 2*b - i*r + 0 = -5 for b.
2
Let p be -2*(-5)/(30/(-9)). Let v be p/(-2)*10/3. Solve 2*t - 5*x = 7*t - v, 3*t - 11 = -x for t.
5
Suppose j + j = 6. Suppose -j*q = q - 8. Suppose 155 = q*a + 3*a. Solve 5*g + a = 5*k - 14, -4*g - 26 = -2*k for g.
-4
Suppose 0*f - 55 = -11*f. Solve -2*j - 3*x - f = 0, 5*j + 0*x = x + 13 for j.
2
Suppose 0 = 3*g - 6 - 0, 4*u - 22 = -5*g. Solve 21 - 2 = 5*o + 2*i, 0 = -u*o + i + 7 for o.
3
Suppose 0 = n - 3 + 2. Let u(i) = 2*i**2 + 1. Let p be u(n). Suppose -p*r + 2*z + 27 = -3*z, 4*r - 31 = 5*z. Solve 4*w = t - 10, w + t = -r*w - 17 for w.
-3
Let m(r) = 15*r - 5. Let g be m(7). Suppose -4*x + g = -0*x. Solve 5*b + 5*s + x