 x, 0*t + t - v*x - 15 = 0 for t.
5
Let q be (-2)/(-7) - (-66)/14. Suppose -4*m = -0*m. Solve -5*g + 20 = m, q*w + 2*g + 2*g = 36 for w.
4
Suppose 0*m + 15 = 3*m. Solve m*t - 29 = 2*j, 2*t - 3*t = 4*j + 3 for j.
-2
Let h = -21 - -24. Suppose -r - 2 = -v, h*v = 4*r + v. Solve -2 = 4*k - 5*u, -4*k + r*u = -2*u for k.
2
Let f(u) = -2*u - 4. Let s be f(-4). Solve 3*y = -t - 3*t - 24, -s*y - 22 = 2*t for y.
-4
Let o = 122 + -32. Suppose -5*s = -10*s + o. Solve 5*i + 2*m + s = 0, -4*i = -2*i + 4*m + 4 for i.
-4
Suppose 0 = 5*w - 1 - 9. Suppose -2*h = w*h - 8. Solve n - 4*s + h = 0, 4 - 12 = 4*n + 5*s for n.
-2
Let u be -3 - (-1 + -8 + -4). Suppose -13 = -5*k + 17. Suppose -p = -3*p + k. Solve -3*t + 4*h = p*h - u, 30 = 4*t + 2*h for t.
5
Suppose 17 = 3*z + 2*h - 4*h, 0 = -5*h - 20. Let c be 1 + 5/(10/4). Solve 2*f + c*a = 0, -z = 4*a + 5 for f.
3
Suppose 28 = 4*p + f, -3*p + 0*f + f = -21. Solve -4 = -3*z + 2*z + g, -p = 2*z + 3*g for z.
1
Let y(t) = 3*t**3 + t + 2. Let u be 20/15 - 2/(-3). Let c be y(u). Solve -9*n + 4*n - 13 = 4*l, -l = -5*n - c for n.
-5
Let l be 2*2 - (-9)/9. Solve -c = -l*a - 13, 16 = -2*c - 0*c - 4*a for c.
-2
Let u(w) = -w + 3. Let y be u(0). Suppose -5*j - 15 = 0, 4*s - y*j = -0*s + 25. Solve 4*h - 4 = s*a, -3*h = a - 6 - 5 for a.
2
Let p be -2*1/2*-3. Let w be (-1)/(-3)*9 - 6. Let c(a) = a + 5. Let u be c(w). Solve -10 = -u*z, -z - p = 3*h - 11 for h.
1
Let j = 49 + -17. Solve 5*b - j = -4*v, 0*v - 20 = -2*b - 4*v for b.
4
Let w(y) = y**2 + 8*y + 12. Let s be w(-2). Let v = 18 + 3. Solve s = 5*o + 3*i - v, -2*i = -2*o + i for o.
3
Let s = 0 - 0. Suppose -3*i - i + 20 = s. Suppose -i*y - 3*u + 0*u = -29, 3*u = 9. Solve -24 = -z + 5*k, -y*z - 4*k + k = 19 for z.
-1
Let w be 1/(-6) + 52/24. Suppose 8*u - 3*u + 32 = w*j, u - 3*j - 4 = 0. Let h = u + 12. Solve 4*c - v = -9, -h*c + 5*v - 12 = v for c.
-2
Let x(j) = 2*j**2 + 2*j + 3. Let t be x(-2). Let l(y) = -y**3 + 6*y**2 + 7*y. Let m be l(t). Let f = 13 - 9. Solve 2*w - 2*n - 3 + 9 = m, f*w = 2*n - 12 for w.
-3
Suppose 4*l = -5*i + 20 + 7, 12 = 2*i + 2*l. Let v = -3 + 6. Solve 8*p + 10 = i*p, v*t - p - 17 = 0 for t.
5
Let g be (-15)/45 + 49/3. Solve -3*v - 9 = 5*h - 23, 2*h - g = 4*v for h.
4
Suppose 0 = t - 37 + 12. Suppose 0*v + 5*i = -5*v + t, -2*v + 10 = -i. Solve 2*j = -v*x + 14, 0 = -j + 2 for x.
2
Suppose -5*b + 6 = -4. Suppose b*j - 3*j = 0. Suppose -2*p - 2*w = -10, -8*p + 3*p + 2*w + 25 = j. Solve -5*m = -3*y + 11, -3*m - 23 = p*y - m for y.
-3
Suppose 2*i - 10 = -2. Solve -5*x - 7 = 2*o, x = o + 4*x + i for o.
-1
Suppose 4*j = -2*j + 24. Suppose -j*k = -0 - 16. Solve -k*i = -2*z + 10, z - 5*z - 35 = 3*i for i.
-5
Let r(f) = f**2 + f - 3. Let l be r(-3). Solve v + c = -l*v - 16, 2*c - 3 = -v for v.
-5
Let r(d) = -d**2 - d + 3. Let w be r(0). Let i be -1 + -3 + w - -6. Solve -5*m = 5*a - 20, 2*m - 12 = -i*a + m for a.
2
Suppose -9 = -3*z, 3*d - 5*z = -0*d - 3. Let t = 10 - 4. Let l = t - d. Solve l*w - 2*f = -0*w + 12, 0 = 2*w + f for w.
2
Suppose 0 = -z - z - 12. Let v(l) = -l**2 - 7*l - 3. Let h be v(z). Suppose 12 = 7*j - h*j. Solve 5*f + 31 = 2*n, -j - 3 = -2*n for f.
-5
Let x(l) = l**3 - l**2 - 2*l + 1. Let a be x(2). Let g be 1/(-3*1/(-6)). Solve -3*p + 21 = -g*z, -4*p + a + 4 = 5*z for z.
-3
Let c = -18 - -20. Solve 0 = 5*d - c*w + 24, -d + 3*w = -2*w + 14 for d.
-4
Let x(u) = -u - 6. Let r be x(-5). Let h = 0 - r. Let g = h - 1. Solve 2*t - t = -4*c + 5, -c - 3*t - 7 = g for c.
2
Let j = -71 + 77. Solve -2*g + 3*g + 3 = 0, 4*h - 2*g = j for h.
0
Let h be 126/(-2)*(-5)/3. Suppose h = 3*c - 0*c. Solve c = -3*o - 4*k, 0 = 2*o - 0*o - 5*k - 15 for o.
-5
Let v be 2 + (2 - 2) + 3. Solve 0 = -5*k + 10, -5*k - 6 - 4 = -v*l for l.
4
Let d be (-3)/3 - -9 - 4. Solve 4*f + g = 2 + 12, -d*g - 4 = -4*f for f.
3
Let f be 3*3*12/27. Solve -f*m - 15 = -n, 5*n - 3*m = 2*m + 15 for n.
-1
Suppose 3*j = -p - 3*p - 16, 2*j + 12 = -2*p. Let m = -6 - j. Suppose m*y = 5*y - 18. Solve -4*s + 2 = -2*x, -y*x + 3*x + 19 = 5*s for x.
3
Let n = 73 - 49. Suppose 0*z + 4 = z. Suppose 6*i = z*i. Solve j - 5*x = -n, i*j + 21 = j + 4*x for j.
1
Let v = 32 - 29. Solve -q - 2*b + 2 = q, -v*q + b = 13 for q.
-3
Let f = -112 + 115. Solve -p = -r, -4*r - 6 = -5*r + f*p for r.
-3
Suppose -4*z = -51 - 5. Solve -g - 11 = 4*a, 2*g - 3*a - z = a for g.
1
Let w = -30 + 34. Solve 4*p = -w*v, -2*p + 0*p = -10 for v.
-5
Let c be 13/91 - (-13)/7. Solve -f - 3 = 3*j - c, 1 = -5*j - f for j.
0
Suppose 0 = 3*h + 6 - 117. Suppose -4*x - 4*v = -x - 51, 0 = 4*x - 5*v - h. Solve 4*n - 2 = -f + x, -2*n + 21 = 5*f for n.
3
Let x be (-1 - (6 - -1)) + 0. Let l = 12 + x. Solve -11 = -3*w + 2*u, -l*u - u = w + 2 for w.
3
Let c = 19 - 10. Suppose -n = -2*m + 1 + 1, -5*m + 3*n + 3 = 0. Let w be (17/m)/(2/6). Solve 4*j - 4*b + 3*b + w = 0, -3*b = c for j.
-5
Let k = 21 + -11. Solve -5*d - 8 = -2*o + 6, -2*o - k = d for d.
-4
Let t = 0 - -2. Suppose 2*k - 3*x + 8*x - 1 = 0, 0 = -5*k + 3*x + 49. Suppose k = 2*o + 2. Solve -o*z - 2*h = -2, h - 3*h = t*z for z.
2
Suppose -64 - 56 = -6*s. Solve -3*l = 2*c + 4, -2*c + s = -3*l - 0*c for l.
-4
Let i = 7 - -13. Suppose -o - o = -i. Solve 3*x + 3*m = 8*x - 6, -o = -x + 5*m for x.
0
Let t be 22/4 - (-9)/(-6). Solve -t*y - 32 = 4*i, i - 2*i - 12 = 2*y for i.
-4
Suppose -5*w + 145 = 5*n, w + 3*n + 14 - 43 = 0. Solve r = 4*f + 2*r + 13, -w = 5*f - 3*r for f.
-4
Let a be (-7)/((-21)/12)*-2. Let p(k) = -3*k - 9. Let t be p(a). Solve -c + 45 = 4*i + 4*c, -2*i = c - t for i.
5
Let p(f) = -f**2 - 16*f - 15. Let i be p(-15). Solve i = -v + 4, -2*g + v - 6 - 2 = 0 for g.
-2
Suppose -5*g - 21 = -4*p, 3*p - p + 4*g = 4. Solve 3 = r - 0*v + 2*v, -p*r - v - 9 = 0 for r.
-3
Let q = 10 + -5. Suppose -12 = -q*l + 2*z, 2*l + 2*z - 1 = 1. Solve -l*o = -4*p + 14, 0*p + 3 = -5*o + 2*p for o.
1
Let s = -6 - -6. Suppose -f - 3 = -3*p - 0*f, s = 4*p - f - 5. Solve -2*h - 3*g = -14, h - g + 6 = p*h for h.
4
Suppose 4*j - 17 = 3. Let q = 9 - j. Let k(w) = -2*w**3 - 3*w - 3. Let l be k(-2). Solve -f = -4*o - l, 0*f - 9 = o + q*f for o.
-5
Suppose -12 = -4*t - 0. Suppose -13 = -2*j + t. Let x be (-2)/8 - (-74)/j. Solve 2*b - 12 = l, l + x = -5*b + 32 for b.
5
Suppose -p = -2 + 3, 4*p = -q - 6. Let c be q/(-5) + (-40)/(-25). Solve -3*n = -4*d - 1, -d - c*d - 2 = -n for d.
-1
Let r be (1/3)/((-3)/9). Let w be 2 + r*(0 - -2). Let m = w + 3. Solve 0 = m*z + 12, -3*t + 2*z = 2*t - 33 for t.
5
Let h be 2/(-4) + 11/2. Let t(k) = -k**2 - 12*k + 64. Let f be t(-16). Let g = 65 - 45. Solve 4*v = -4*l - f*l - 24, g = -h*l - 3*v for l.
-1
Let p be -6*(-4)/6 + -2 - -1. Solve 2*v - 6 = 5*n, v = 2*n - 6*n + p for v.
3
Suppose -8*t = -4*t - 16. Solve 0*j - 2*j = 2*n - 6, t*n = -3*j + 12 for n.
3
Let b = -3 - -6. Suppose -5 - 1 = b*v. Let o be (v/4)/((-1)/6). Solve 4*g + g - 2*c = 7, 5*c - 11 = o*g for g.
3
Let k = -26 - -31. Solve 2*b - w = -4*w + 19, -5*w - k = -4*b for b.
5
Suppose r = 2*r - 2. Suppose r*x - 5 = x. Solve c + 0 = -2*z - 6, 0 = -x*c + z + 3 for c.
0
Let z = 19 - 17. Solve z*w + 3*h - 9 = -w, -2*h + 2 = 0 for w.
2
Suppose 5*a = -i + 99, -1 + 3 = -2*i. Suppose -x = 4*x - a. Solve -5*v - 4*t = 32, 0 = 3*v + x*t + t + 27 for v.
-4
Suppose -4*x = -0*x - k - 11, -3*k = -3. Solve 3*u = -x*w - 3, 0*u - u + 5 = -w for u.
2
Suppose -3*c = c + 32. Let i(f) = f**3 + 9*f**2 + 6*f - 11. Let x be i(c). Solve -x*u + 7*h - 4*h - 6 = 0, -2*u + 2*h = 0 for u.
-3
Suppose 3*f + 2*f = 10. Let o(m) = -m**3 + 18*m**2 + 2. Let r be o(18). Solve 7*g - r*g + 12 = -f*q, 4*g - 2*q = -6 for g.
-2
Suppose -1 - 7 = -2*z. Solve z*c - 3*v + 6*v = -17, -12 = 4*v for c.
-2
Let b be 1 + 2*-1*-1. Let w be (-3)/3*1*-11. Let r = 23 - w. Solve 0 = 4*i - 2*x - r, -b*x + 8*x + 15 = 5*i for i.
3
Let c be (0/3*1)/2. Solve -5*p = -25, 2*p + c*p - 4 = -2*a for a.
-3
Let k(w) = w + 7. Let h be k(-4). Solve h*q - 5*d + 15 = 0, -3*d = d for q.
-5
Suppose 0 = -5*f - 25, 5*f + 0 = -3*g - 10. Solve -4*q + 2 = -2*v, -5*q - 1 = -4*v - g for v.
-1
Let m = 28 - 25. Solve -4*y + 8*y + 2*k = -14, -3*y - 4*k = m for y.
-5
Let i(c) = -c**3 - 5*c**2 + 6*c + 2. Let j(p) = p - 6. Let x be j(0). Let r be i(x). Let h be (3/r)/((-9)/(-12)). Solve -4 = -0*d + h*d, 4*k - 14 = -d for k.
4
Suppose 2*y - 4*y = 12. Let a = y - -4. Let h be (-6)/(-4) + a/(-4). Solve -2*p + 6 = 0,