7*c, -4*c - 17 = -5*b for c.
-3
Suppose 4*x - 5*x - 13 = -5*v, 0 = -3*v - 4*x - 6. Solve 3*o = -o + 8, -v*l = 4*o - 4 for l.
-2
Let f = 24 - 8. Let n = -9 + f. Suppose -n*a + 110 = -2*a. Solve -5*u - a + 6 = -3*h, 0 = 5*h + 2*u - 6 for h.
2
Suppose -6*o + 2*o - 3*r + 65 = 0, 4*r - 82 = -5*o. Solve 0 = 2*s + 4*l + 16, 3*s + l + o = -0*l for s.
-4
Let l(d) = d**2 + d + 5. Let t be l(0). Solve 0*k + 3*a + 18 = -3*k, -26 = 3*k + t*a for k.
-2
Let q(d) = -d**2 - 7*d + 3. Let o be q(-4). Let g be 10/o - (-4)/3. Suppose -g*s + a = -5, 5*a = -2*s - 31 + 6. Solve 0 + 4 = -4*h, -4*p - h - 9 = s for p.
-2
Let o = -59 + 35. Suppose -4*r - 163 = -5*y, -2*y = -5*r - 32 - 23. Let x = y + o. Solve 5*s + 13 = -v, 3*v - s + 2*s = -x for v.
-3
Let b be -1*(-3)/(-6)*-2. Solve -f + 4 = 2*a + b, f - 3 = -5*a for f.
3
Suppose 0*d = 2*d - 26. Solve 5 + 1 = -n - 3*s, d = -3*n - 4*s for n.
-3
Let f be -2 + (-50)/(-1 - 4). Solve -i + f = o, -3*i + 5*o - 6 - 10 = 0 for i.
3
Suppose -355 = -10*d - 75. Solve -4*o + 4*y - d = 0, 0*o - y = 4*o + 3 for o.
-2
Suppose 0 = 3*a - 2*a. Let q be (-6)/(-2)*(-4)/(-6). Let n = 4 + 1. Solve -2*g + q*w = n*w + 3, -g + 3*w + 12 = a for g.
3
Let t = -63 - -68. Solve 2*c - 19 = t*p, c - 5*p + 1 = 18 for c.
2
Let r(k) = 2*k**3 + 3*k**2 - k - 2. Let j be r(2). Suppose 6*u - 24 = 2*u. Suppose 4*o - 10 = u. Solve p = -2*z + 4 - 1, o*p = 4*z + j for p.
5
Let j be (2 - 0) + (-5 - -5). Suppose -3*n + 2*n = -j. Solve z = -n*t + 6*z - 4, 0 = -4*z for t.
-2
Let a(w) = w - 6. Let f be a(10). Suppose -u - 2*r = 0, u - 24 = -f*u + 2*r. Solve 17 = u*i + 5*j, -4 = -2*i + 4*j - 2 for i.
3
Suppose 2*p = 8*p - 24. Solve 0 = 5*l - 4*q + 12, -l - p*q + 12 = l for l.
0
Suppose 0 = -0*o + o - 2*q, q = o - 3. Suppose 4*h = o*h - 10. Solve 3*y + 8 = -5*i, h*y + 5*i + 11 - 1 = 0 for y.
-1
Let h(a) = a**3 + 17*a**2 - a - 15. Let p be h(-17). Solve 2*w - 1 = -r, 6 = w - p*r - 7 for w.
3
Suppose -27*y = -21*y - 30. Solve -4*r - q = y, 3*r - 3*q + 18 = q for r.
-2
Suppose -8 = -3*t - j, -6*j + 8 = -t - j. Solve -z + t*g = 4*z, -5*g = 25 for z.
-2
Suppose 4*w - 2*j + 6*j = 92, 47 = 4*w - 5*j. Solve m = -4*g - 3, -5*m + 3 = w for g.
0
Let g be ((-5)/(-3))/(55/198). Solve 2*a + 4 = 3*b, -5*a - 4 - g = 0 for b.
0
Let k be (1/4)/(((-3)/(-3))/8). Suppose -4*c = -19 + 7. Solve -c*t - l = -5*l + 4, -4 = k*t - 3*l for t.
4
Let u = 74 + -52. Let o be u/8 + (-15)/20. Solve 4*h = -5*j + 16, -3*j - 12 = -3*h + o*j for h.
4
Let s be 0 - 4/(-6) - (-8)/6. Solve 0*x + 6 = -x + c, -s = -2*c for x.
-5
Let b be (2 - 6)/(10/(-25)). Solve -4*s - 5 = -3*n, -3*s + 2*s + b = 3*n for s.
1
Suppose 0 = -f - 0 + 2. Let k be (6/5)/(-1 + (-8)/(-5)). Solve 2*t - 1 = -2*n + 5, -k*n = -f*t + 2 for n.
1
Suppose 0 = 3*v - 32 + 8. Solve 0 = -2*p + 3*q + 4, -2*q - v = -2*p + 3*q for p.
-1
Let c(q) = -q + 1. Let k be c(1). Let s = 3 + k. Let p = -2 - -2. Solve -5*t + p = -r + 2, -4*r + 8 = s*t for t.
0
Let n be 4 - (2 + (-2 - -1)). Let a = n + 0. Let h = 5 - a. Solve -2*c = h*x - x - 6, x - 18 = -5*c for c.
4
Let j be (24/(-9))/((-2)/(-6)). Let a = j - -11. Let h = a + -3. Solve 3*c - 10 = 2*q - q, -2*q - 4*c = h for q.
-4
Let v(d) = -2*d + 2. Let b be v(-2). Solve b = j - w, -j = j + 3*w + 3 for j.
3
Suppose h = 5 - 1. Solve h*n + 8*o = 3*o, -5*n = 2*o - 17 for n.
5
Suppose m - 3*l + 16 = 35, -3*m + 4*l = -32. Solve 1 = h - 0, -m*h = 5*k + 11 for k.
-3
Suppose 5*a + 28 - 73 = 0. Suppose 5*l - 6 - a = 0. Solve -v - 11 = -3*k - 2*k, 3*k = l*v - 3 for k.
3
Let r(d) = -d + 13. Let w be r(10). Solve 3*q = w*v - 12, -3 = q + 1 for v.
0
Let n be 0 - (0 - 0) - -2. Let g(j) = -j + 2. Let s be g(n). Let q be 0 - 1/3*s. Solve -2*d - 2*t = q, 5*d + 3*t - 2 = 4 for d.
3
Let u(p) = -p**2 + 2*p. Suppose 0 = 2*z - 2*y - 8, -2*z + 0*y = -3*y - 10. Let n be u(z). Solve n*i - 4*i = -x + 15, 0 = 3*x + 5*i + 40 for x.
-5
Suppose -4*s + 17 = -5*s + 5*j, 0 = -2*s - 3*j + 31. Solve 2*c = 5*r + s, 3*r + 0*c + 2*c - 8 = 0 for r.
0
Let s = 13 + -10. Let r be (2/s)/((-3)/(-18)). Solve p + 4*a = 4, r*p + 5*a = 12 + 4 for p.
4
Let h = 5 - 8. Let b be (-1 + 0)*15/h. Suppose -b*o = -d - 1 - 5, -2*o + 4*d - 12 = 0. Solve 2 = -5*x - z, 5*x - o*z = z - 14 for x.
-1
Let w(x) = 6 - 4*x + 4*x + x + 9. Let n be w(-10). Suppose -n*g + 5*a - 15 = -0*g, -g + 2*a - 6 = 0. Solve -v - 10 = 3*p - 1, -2*v + 2*p + 14 = g for v.
3
Let r = 0 - 0. Let j be 8/6*(-12)/(-4). Suppose -13 - 3 = -j*w. Solve -2*n + 4*g + w = r, g + 2*g - 2 = 4*n for n.
-2
Suppose 3*n + 11 = -u - 4, 0 = -5*u - 4*n - 64. Let y be (-52)/u + 1/(-3). Solve 10 = y*q - 0*q + 2*z, 0 = -4*z + 12 for q.
1
Let x(l) = -l**3 + 8*l**2 - l - 2. Let o be x(3). Solve 5*h - o = 5*g, -4*g + 3*h - 18 = 11 for g.
-5
Suppose 0*x = 2*x - g, -5*x = -2*g. Let w be 1*x/(12/3). Solve b = -w*b - p - 2, -5*p = b - 10 for b.
-5
Let h(s) = s**3 + 7*s**2 - 3*s + 7. Let f be h(-7). Solve 5*x + 4*m + 0*m + f = 0, 0 = 4*x - 4*m + 8 for x.
-4
Suppose -5*u = -2*u + t - 2, -2*u = t - 1. Let x be (u + -1)/(0 + 2). Solve x = -3*a - 3*o - 24, -2*a + 5*a + 2*o + 20 = 0 for a.
-4
Suppose -4*j = -151 - 9. Suppose -3*u = u - j. Suppose -f + 3*f - u = 0. Solve -h + 3*a - 10 = 1, -13 = -h - f*a for h.
-2
Let s = 10 + -7. Let u be ((-4)/(-3) + -2)*s. Let y be (-47)/(-9) - u/(-9). Solve 3*k - 3*m + 13 = y*k, 5*m - 24 = -k for k.
-1
Suppose -3*p + 3 = -0. Let z be p/3*(-4 + 10). Suppose 0 = -x + z + 2. Solve -4*w = x*v, 2*v - w = 5*v for v.
0
Let i = 12 + -8. Suppose 5*l - i*l - 5 = 0. Solve -l*z + 22 = -n - n, -5*z + 3*n + 23 = 0 for z.
4
Let o be ((-9)/12)/(3/(-12)). Suppose -3*a = a. Let c = -1 + 5. Solve w = h + 3*w + o, a = -4*w + c for h.
-5
Let w = 386 + -384. Let o = 3 + -2. Solve 5*r - b = -w, -b = 5*r - 1 - o for r.
0
Let t be 2 - 20/(-3 - -2). Suppose -8 - t = -2*h. Solve 4*w + h = -k, -2*w + 6 = k - 5*w for k.
-3
Suppose 7*q + 7 = 21. Solve q*x + 2*x - 16 = 0, -5*x + 10 = 5*a for a.
-2
Let z(h) = -h**2 + 7*h - 7. Let v be z(6). Let n be ((1 + 2)/3)/v. Let c = n + 5. Solve -5*f = p + 5, -5*p + 3 = -c*f - 1 for f.
-1
Let a be (-4)/3*(-9)/6. Suppose 5*v = a*f + 10, -3*v = -0*f + 4*f - 32. Suppose 18 = -0*y + 3*y. Solve 5*o + u = -18, y*u - 2*u = v*o for o.
-3
Suppose 2*i + 13 = -3. Let t be i/(-32) - 11/(-4). Let r(p) = 17*p**2. Let y be r(1). Solve -x = 2*x - 3*b - 15, 0 = 4*x - t*b - y for x.
2
Suppose 0 = w + 4*w - 5. Let g be (-14 + 14)/(0 - w). Solve g = -r - p + 2, -r + p - 14 = 2*r for r.
-3
Let s(d) = d**3 - 2*d**2 - 7*d. Let f be s(4). Suppose 0*r = 2*r + 54. Let z be (4/(-6))/(6/r). Solve f*o = -p + 11, 5*p + z = o - 5 for o.
3
Let f(o) = -o**2 + 2*o + 40. Let i be f(0). Solve 3 + 1 = q + 3*w, -5*q - i = -5*w for q.
-5
Let o be (-9)/(7 - 4) + 28. Solve 11 = -4*k - 3*u, 0*u + 5*u + o = 0 for k.
1
Suppose 11*h - 9*h = -32*h. Let j = 1 - 0. Suppose 0*y + 9 = 3*y. Solve 0*w - w - 3*u - j = h, -3 = -y*u for w.
-4
Let u = 39 - 39. Solve 5*r - 2*o + 20 - 2 = u, -5*r = 3*o - 2 for r.
-2
Suppose -7 = -p + 1. Suppose -s - s = -14. Let v be ((-2)/(-4))/1*6. Solve v*d = 5*y - p, 4*y + s*d = 2*d - 1 for y.
1
Suppose 2*q - 5*q = -0*q. Solve q = -5*o - b - 11, -o + 3 = -5*b - 0 for o.
-2
Suppose 1 = -n + 8. Suppose 17 = 5*h + n*m - 3*m, 0 = 2*h - 3*m - 16. Suppose h*i - 5 = 4*w, -5*w - 3*i = -0*i - 40. Solve -f = -1, w*f - 6 = 2*z + 5 for z.
-3
Suppose -6*i + 96 = -2*i. Solve -6*c = -3*c + 3*u - i, -c + 2*u - 7 = 0 for c.
3
Suppose -5*j + 3*z - 14 = 0, j + 2*j + 6 = z. Let r = 0 - j. Solve 0 = 2*i + s - 1, -3*s - r = 2*i - 0*i for i.
1
Let n be 6*2*4/24. Solve v = 4*q - 20, v + 3*q - n*q - 5 = 0 for v.
0
Suppose 4*j - 7 = 3*j. Let s = 11 - 8. Solve 3*p - 2*x = -5, -s*p + j*p - 24 = -5*x for p.
1
Let y(n) = 2*n + n**2 - 4 + 0*n**2 - 6*n. Let s be y(6). Solve 0 = 2*u + 10, a - 2*u + 3*u = -s for a.
-3
Suppose 5*k = 3*k. Solve 6 = -o - o - 2*w, k = -3*o + 3*w - 15 for o.
-4
Let y = -14 - -25. Let f be 2/(-4) + (-7)/(-2). Let v = -41 + 43. Solve 4 = v*u + a - f, 0 = -2*u + 5*a - y for u.
2
Let w(a) = -a**3 + 6*a - 4 + a - 2*a + 2*a**2. Let o be w(3). Let c(y) = -y + 11. Let x be c(11). Solve 3*g + 2 = o*p, -2*p - g + x*g = -2 for p.
1
Suppose -3*o - 2*o - d + 3 = 0, -o - 12 = -4*d. Suppose o = -2*r - r + 3. Let v be 3 - (-20 + 1/r). Solve 5*w = -4*t + 3*t + 6, -3*w + v = -4*t for w.
2
Let c(b) = -b**3 - 11*b**2 + 12*b + 8.