3*x - 3*q for x.
0
Let l be 1308/84 + (-6)/(-14). Solve 6 = 2*k - 2*r, 6*k - 3*k - l = -4*r for k.
4
Suppose q = -0*q + 5. Let i(v) = -v**3 + 2*v + 1. Let y be i(2). Let t be y/(1*(-3)/2). Solve 0 = t*a + q*s - 28, -7*s + 4 = -4*a - 2*s for a.
4
Let s = -5 + 5. Let k be (1 - (2 - s))*-2. Solve -3 = f + 4*b - k, f = -b - 1 for f.
-1
Let h be (-2)/10 - (-147)/35. Let u = -2 + h. Suppose -4*f + 0*f + 23 = -b, 16 = 3*f - u*b. Solve 0 = -2*m + 2*j, -m + j = -f*m - 24 for m.
-4
Let g = 3 - 3. Suppose 3*d + 2*d = -5*w + 15, g = 3*w + 3. Solve q + d = 0, 0*i = 3*i - 5*q - 23 for i.
1
Suppose 2*w - 6*w - 2*r = -24, 14 = 4*w - 3*r. Solve -3*a - 2*a + 5*n = -25, w*a - n - 9 = 0 for a.
1
Let a(y) = y**3 - 13*y**2 + 14*y - 19. Let u be a(12). Let l(f) = 2*f**3 - f**2 + 5*f**3 - f**3. Let g be l(1). Solve 0 = -4*p, 3*o + g + 1 = u*p for o.
-2
Let c = 40 - 30. Let n = -2 + 7. Let t(w) = 2*w - 5. Let h be t(n). Solve -5*g + c = h*y, -y + 6*y - 17 = 2*g for g.
-1
Suppose -4*i + 10 + 5 = -5*f, -4*f + 19 = 3*i. Solve i*v + 0*v = a - 7, -5*v - 10 = 0 for a.
-3
Let x(n) = n**2 - 8*n - 4. Suppose 0*w + 2*w = -14. Let u = w + 16. Let q be x(u). Solve 0 = -l + 5*l + s - 20, -25 = -q*l - 2*s for l.
5
Let f = 7 - 1. Suppose -2*j + f = j. Solve 2*z - 8 = 2*o, -5*o = -3*z + j*z + 12 for o.
-2
Suppose 5*f = -1 + 16. Let y(d) = -3*d + 0*d + 4 + 2*d. Let n be y(f). Solve r - i + n = 0, 0*r - 4*r - 2*i + 20 = 0 for r.
3
Let j = -49 - -53. Solve 20 = -2*r + j*a, -2*a - 11 = 2*r - 3*a for r.
-4
Let u be 6/(2 + -1) - -4. Let f = u + -5. Solve -5*z = -3*s + 4 - 21, 20 = f*z for s.
1
Let o be ((-10)/(-4))/((-2)/(-4)). Let r = 1 - -6. Suppose -4*j = -r*j + 6. Solve g = 5*q + 17, o*q - q + 5*g + j = 0 for q.
-3
Let x = 1 + 3. Suppose -g = -d - x, -13 = -2*d - d - 2*g. Let v be 3 + -1 + 1 + d. Solve -l + 5*n - 12 = 0, -v*n + 5*n - 6 = 2*l for l.
-2
Suppose -s = 3*s - 2*m + 4, -2*s = 4*m - 8. Suppose 5*c - 15 = s, -4*p + 17 = p + 4*c. Solve j - p = 0, -5*v + 5*j = -3 - 2 for v.
2
Let i be 3 - 3 - (-1 - -1). Suppose i - 10 = -2*a. Let k = a + -1. Solve -3*g = -k*n + 7, -4*g + n = -9*g + 19 for g.
3
Suppose -38*i + 43*i = 15. Solve z = 2*s + 5, -s + 2*z + i = 4 for s.
-3
Let p(c) = 3*c**2 - 3*c + 6. Let q be p(4). Suppose 3*r = -j + q, 2*r + 3*j + 70 = 7*r. Solve 0 = 5*i + 4*n, -r = i + 4*n - 6*n for i.
-4
Let o(k) = 16*k**3 + k**2 - 3*k + 3. Let z be o(1). Solve z = 5*c + 4*i, c = -5*i + 19 - 3 for c.
1
Suppose 0*k + 38 = -k. Let m = 60 + k. Solve 5*v - m = -4*f, -f - 5 = -v - 2*f for v.
2
Suppose 2*q = 24 + 8. Let f(k) = -3*k - 1. Let d be f(-4). Let r = q - d. Solve -3*m + 0*c + 24 = r*c, -4*c + 3 = -3*m for m.
3
Suppose -2*g + 2 = 0, j - 3 = 3*j - 5*g. Let s = 10 - j. Suppose -1 = 4*n - s. Solve 0 = -n*a + 3*c - 0 - 5, -a = 4*c - 3 for a.
-1
Suppose -5*f = -10*f + 95. Let a = 22 - f. Solve 4*i - 15 = 5*t, -i + a = 4*i - t for i.
0
Suppose 0 = 5*f + 4*r - 48 + 8, 4*f = -2*r + 38. Let g be ((-15)/(-6))/(15/f). Solve 4*w = 4*j + g + 6, -3*w = -j - 10 for w.
4
Let r(g) = 2*g - 1. Let u be r(2). Let b = -76 - -81. Solve 5*h = d + 5, h - b = d - u*h for d.
-5
Let u = 7 + -3. Solve -2*s + 2*x + u = -12, 5*x + 22 = -s for s.
3
Let n(i) = 6*i - 3. Let o be n(3). Suppose -5*h + o = -0*h. Let k be ((-6)/(-2))/(h/2). Solve -4*d + 0*u + u = 21, k*d = u - 13 for d.
-4
Let x be ((-6)/10)/(1/(-5)). Suppose 4*h + 0*u - x*u - 12 = 0, 5*h + u + 4 = 0. Solve h = 2*t - t - r, 5*t - 2*r = 9 for t.
3
Let t be -1 - 3/(6/(-40)). Suppose -g - 15 = -4*g, -2*g = 3*b - t. Solve -x - 15 = -b*y - 0*y, 23 = -5*x + 2*y for x.
-3
Let j(k) = 5*k**2 + k. Let w be j(-1). Solve 6 - w = q + 2*b, 3*q + 5*b = 5 for q.
0
Let y(j) = 2*j**2 - 2*j + 2. Let g be y(2). Let h be (4/(-8))/((-1)/g). Solve -4*s = -h*f - 3*s - 11, s + 5 = -f for f.
-4
Suppose -z + 4 - 2 = 0. Suppose 2*o + z*o - 120 = 0. Solve 2*d + 4*a - o + 8 = 0, -4*d = -4*a - 8 for d.
5
Let g(b) = b**2 + b - 2. Let q = -5 + 1. Let y be g(q). Suppose x - 3*x + y = 0. Solve -4*s = -4*z - 16, -2*z - 5 - 10 = x*s for z.
-5
Let q(x) = 4*x. Let k be q(1). Solve 5*n - 26 = 2*l, 3*l + 17 - k = n for n.
4
Let b = 2 + 1. Let z = 17 - b. Solve -y + 5*y + z = 2*d, 4*y + 18 = -2*d for d.
-1
Let x(g) = -g + 7. Let u be x(5). Let k(b) = -b**2 + b + 0*b**u + 0*b + 3. Let h be k(0). Solve 4*o - h*n = 2*n - 13, n - 5 = 2*o for o.
-2
Suppose -4*d = 4*c + 4, 0 = 3*c - d - 13. Solve -r + 4*r - c*b - 3 = 0, 3*b = r - 9 for r.
-3
Let g(z) = z**3 + 12*z**2 + 28*z + 11. Let k be g(-9). Solve 9 = 4*r - k*j + 1, r + 5*j = -9 for r.
1
Let q be -60*4/16*2. Let u be q/(-18) + (-3)/(-9). Solve f - 2*l - u = -4*f, -f = -l - 1 for f.
0
Suppose -3*s - 12 = -6*s. Suppose u = -r + 6, -24 = s*r - 8*r - u. Suppose r = 5*m - 9. Solve -22 = -2*i - i - 4*c, -m*i + 10 = c for i.
2
Suppose 0 = -3*j, -2*i + 2*j - 3*j = -8. Suppose i = t + 1. Solve r + q - 7 = -r, 2*q = t*r for r.
2
Suppose -5*b = -q - 34, -5*q - 22 = -b - q. Suppose -5*u + b = -9. Solve 5*z + 25 = -3*n, -2*z = u*z - 4*n + 25 for z.
-5
Let x be (-2)/(-7) + 78/21. Suppose -2*s + x = -16. Solve -2 = -0*q + 4*q + 5*v, -3*v - s = -2*q for q.
2
Suppose -k + 210 = 4*k. Let i be k/8 + 2/(-8). Suppose -11 = -2*v + i. Solve 4 = a - 2*a - h, -v = 3*a + 2*h for a.
0
Suppose -6*p = -3*p - 3*k, -k = -4*p + 12. Solve r + 3*i + 3 + 2 = 0, -r - 5 = -p*i for r.
-5
Suppose 0*u = u. Suppose 16 = -4*s - 2*h, -s = -0*s - 4*h - 14. Let n = u - s. Solve -n*x - 2 = 5*r, -3*x + 3 = 3*r + 6 for r.
0
Let f be (-1)/(-2*(-2)/(-12)). Let s = -321 + 323. Solve -q + f = -2*c, -3*c - s*q = -2 + 10 for c.
-2
Let g = -18 + 3. Let t = g - -15. Solve t = -2*y - 2*h + 4, 2*y - 3*y + 2*h + 2 = 0 for y.
2
Let w be (-8)/6*36/(-8). Solve -2*a - w = s + 2, -5*s - 2*a - 8 = 0 for s.
0
Suppose 4*u - 2*c - 11 = 3*c, -5*c = -3*u + 7. Solve x - 3*t + u = 0, 4*x + t - 26 = -t for x.
5
Let s(f) = -f**3 + 5*f**2 + 3*f - 3. Let w be s(5). Suppose 0 = -3*n - 15 - w. Let o = 27 + n. Solve 4*d = 3*j - o, 2*d - 2*j + 4 + 6 = 0 for d.
-3
Suppose 4*n - 4*t = 80, -5*n = -6*n + 2*t + 25. Suppose 3*i - 24 = -2*l + 5*l, 5*i + 4*l = 49. Let m = n - i. Solve u - 5*z - 11 = 0, 0*u - 4*z = 2*u + m for u.
1
Suppose 2*v + 2*d + 1 - 3 = 0, 3*d = -4*v + 3. Let s = 3 - v. Solve -18 = -3*k - s, 35 = 5*g + 3*k for g.
4
Suppose 0 = -6*v + 4*v. Let b = 26 + -15. Let y = -5 + b. Solve 3*u = y, 3*c + v*u - 3 = 3*u for c.
3
Let o(z) = -z - 3. Let c be o(9). Let g be c/20 + (-46)/(-10). Solve -a = b, -g = a + 2*b - 5 for a.
-1
Let s(j) = -2*j**2 - 3*j + 8. Let y(f) = -f**2 - f + 4. Let k(c) = 3*s(c) - 5*y(c). Let q be k(-3). Solve -4*g + 4 + 13 = 3*b, 0 = -3*b - 2*g + q for b.
-1
Suppose u + 2*u = 6. Solve u*i - c = 3, 2*c - 13 = -5*i - c for i.
2
Let x = -36 - -51. Suppose 4*f - 11 = -t + 6, 0 = 5*t + x. Solve 3 = u + 2*z, -3*z - f = 5*u - 20 for u.
3
Let m = -6 - -12. Let j = m - 6. Suppose -3*a = -j*a. Solve a = -n + 4, 3*q - 3*n = -17 - 10 for q.
-5
Let o be ((-3)/18*-2)/(1/(-21)). Suppose 0 = -6*b + 2*b - 12. Let l be (o - (b - -1))*-1. Solve -3*t = -t - 3*s - 8, -4*t = l*s + 6 for t.
1
Suppose 41 = 5*d - d - 5*y, 5*y = -5*d + 40. Let r = d + -7. Solve -r*s - s = 3*f - 3, -2*f + 2*s = -18 for f.
5
Suppose -4*s = -5*y - 13, -3*s - 6*y = -2*y - 2. Solve 4*z - i = 3, -6*z + 2*z - s*i = 6 for z.
0
Let v be 24/(4/1) - 1. Solve 3*p - 6*p + 2*c = -21, -v*p = 3*c - 16 for p.
5
Let m(l) = 3*l**2 + l + l - 2*l**2 - 1. Let q be m(-3). Solve -q*h - u = -2, 0*h - 2*u = 2*h for h.
2
Suppose 4*t - 18 = t. Let c be 21/(-14)*(-8)/t. Solve 0 = v - 3*v - c*z - 6, 0 = 2*v + 3*z + 8 for v.
-1
Suppose -o + w + 2 = 0, -2*o + 10 = w - 3. Suppose -15 = o*c - 5, -4*g = -3*c - 22. Solve -h + p + 2 = 0, -2 = -2*h + h - g*p for h.
2
Let m(i) = -i**3 - 5*i**2 + 4. Let y(c) = c**3 - 6*c**2 - 2*c + 7. Let p be y(6). Let u be m(p). Solve -v = 5, 0*v - 15 = -u*d - v for d.
5
Let f(h) = -h - 3. Let r be f(-6). Let o be (-1)/(-2) + 66/4. Solve 0 = 5*n - r*j - o - 3, -3*n + 4*j = -12 for n.
4
Let o(f) = -f**2 - 8*f - 8. Let a be o(-6). Solve a*b = -y - 5, y + 7*b + 7 = 2*b for y.
3
Let h = 14 - 12. Suppose 5 = -m - 4*q - 3, 2*q = -h*m + 2. Solve -20 = -5*g - k - 1, -14 = -m*g - 2*k for g.
4
Suppose -3*q + 7 - 1 = 5*a, -3 = a + 2*q. Solve 10 = -5*n + 5*b, n = -a*b - 0*b + 18 for n.
3
Let q = -13 - -18. Solve -a - 4*p + 15 = 0, 6*a - 2*a = q*p - 