= -d*o + 11 for x.
-4
Suppose -2*f = -3*q - 16, -7*f + 2*f = q - 23. Solve 3 = -2*v - f*l, 2*v + 2*l - 1 = -v for v.
1
Suppose 4*w + 4 + 4 = 0. Let z be 20/(-8)*(-4 - w). Solve 0 = -z*k + 2*i - 21, -4*k + 3 = -3*k - 4*i for k.
-5
Suppose 4*w - i - 77 = 0, 0 = 4*i + 2 + 2. Solve -5*f + b = -w, -2*f - f + 5*b + 7 = 0 for f.
4
Let d be 2/8 + 11/4. Suppose 0 = -3*j + j. Suppose 2*t + y - 9 = j, 3*y = -2*t + 8*y + 3. Solve 16 = -3*h + 3*r + t, d*h = -2*r + 13 for h.
1
Let a = 0 + 25. Suppose -133 = -88*l + 219. Let o be ((-1)/2)/((-1)/10). Solve -o*h = -i + a, h + 19 = l*i - 5 for i.
5
Suppose -5*d - 2*i = 2*i - 162, -147 = -5*d + i. Let o = -28 + d. Solve -f + 2*t + 4 = -o*f, 10 = -5*t for f.
0
Let o = -79 - -68. Let g = 24 + o. Solve 2*s - 3*d = 2*d - g, 0 = s - d + 2 for s.
1
Suppose 0 = -11*z + 6*z + 50. Solve -y = 5*c + 21, -2*c = -0*c + 2*y + z for c.
-4
Let y(w) = 41*w - 523. Let i be y(13). Solve -2*z + 0*z = o - 4, 3*o - i = -4*z for o.
2
Let a = -32 - -37. Solve -5*o = a*u - 0 + 30, 5*o - 5*u + 20 = 0 for o.
-5
Suppose -2*b + 4 - 6 = -4*o, 0 = -4*o. Let g be (-4 - -6)*(3 - (b - -3)). Solve 2*t = 2*r + 9 + 3, 0 = -g*t - 3*r + 2 for t.
4
Suppose -o + 45 = 5*c, -6*o + 20 = 4*c - 2*o. Suppose 0 = -q + 4*p + 12 + c, -4*q - 2 = 2*p. Solve -4*k = -2*u - 2, 0 = -u + 6*u - q*k - 19 for u.
5
Let n(s) = 8*s**3 - s. Let i be n(2). Suppose 0 = -2*g + t - 64, 2*g - t - t = -i. Let k = g - -35. Solve z - 6*z = m - 24, -5*z = k*m - 23 for m.
-1
Suppose 0*s = -2*s. Suppose 2*v + 3*m - 22 = s, 11 = 5*m - 9. Suppose -40 = -5*x + v*a, 5*x + 0 = 3*a + 40. Solve -5*h = 3*n - x - 22, -22 = -4*h - 2*n for h.
3
Let t = 124 + -126. Let x(c) = 5*c - 4. Let o(r) = -r + 1. Let y(d) = 6*o(d) + x(d). Let q be y(t). Solve q*g - m = -g + 11, 5*g = 4*m - 1 for g.
3
Suppose 15 + 15 = 6*f. Suppose -3*v + f*v - 5*x = -25, 0 = -5*v + x - 5. Solve v = -g + 3*k + 4, -g + 34 = -6*g - 3*k for g.
-5
Let k(f) = f**2 + 10*f - 2. Let o be k(-11). Suppose -o*z = -8*z - 5. Solve 3*t = 2*s - s - 9, z*t = 5*s - 15 for t.
-3
Let l be (12/4)/((-6)/(-10)) - 2. Let c be ((-6)/(-12))/(1/28) - l. Solve 2*v - m + 2 = -v, -4*v = -3*m + c for v.
1
Let o(b) = -b**3 - 1. Let l(t) = -t**2 + 16*t - 16. Let h be l(15). Let g be o(h). Solve -3*y + n + 3*n - 8 = 0, 3*y - n + 11 = g for y.
-4
Let l(f) = 13*f + 2. Let u be l(-1). Let n = u - -26. Solve 5*v = -3*m - 14 + 5, 5*m + n = 5*v for m.
-3
Let b(k) = -16*k - 96. Let n be b(-7). Solve -3*g + n = 2*j, -4*g + 4*j = j + 7 for g.
2
Suppose -21*q + 25*q = 64. Suppose 5*y - q = -2*w, -3*w + 26 - 2 = 5*y. Solve -d - 16 = -5*i, -2*i + 3*d + 1 = -w for i.
3
Let f be (0 + 0)/(-1) - -5. Suppose -14*d = -13*d - 10. Suppose -d*h - 44 = -104. Solve f*a = 3*t - h*t + 40, t = -3*a + 20 for a.
5
Suppose -i + 4 = -7. Let q be ((-10)/(-3))/(18/27). Suppose -5*v = q*c - 15, -7*v + 15 = -2*v - 4*c. Solve v*f - i = 8*f - m, 3 = -2*f - m for f.
-2
Suppose 4*g = -4*p - p - 1, 5*g + 3*p = 2. Let j be (50/(-30))/((2/(-6))/g). Solve 0 = -2*i + b + 5 - 2, 3*i = -j*b - 2 for i.
1
Let s be (-327)/(-18) - 6/36. Suppose -3*i - 6 = -s. Solve 5*w + 31 = -7*g + i*g, -3*g - 26 = 4*w for g.
-2
Suppose 15 + 6 = 3*v. Solve 0 = -4*j - 5*o + 2 - v, -o = -4*j + 25 for j.
5
Suppose 6*c - 2*c - 68 = 0. Suppose 6*q - 2*q - 120 = 3*r, -2*q - 5*r = -60. Suppose -v + 7*v - q = 0. Solve c - 4 = -v*j - 4*f, 3*f = j - 5 for j.
-1
Suppose q - 4 = 44. Suppose 2*n = 6*n - q. Let f be (-4)/(-2 - 6)*n. Solve 0 = 3*c - 15, -11 = 3*z - f*z - c for z.
2
Suppose 14 = 4*h - 2*i, -h + 3*i + 2 = 6. Suppose -5 - h = -5*w. Let s be -3*w/3 - -4. Solve -3*l - 15 = a + s*a, -2*a = -4*l + 4 for a.
-4
Suppose -5 - 4 = -4*u + 3*d, 0 = 5*u - 5*d - 5. Solve -i = 2, u*i = v + 2*i - 10 for v.
2
Let u(x) = -x**3 + 6*x**2 + 2*x - 2. Let b be u(7). Let y = b + 42. Solve -3*r - a - 2 = -2*a, -y = 5*a for r.
-1
Suppose -5*i + 0*i = -5*f - 605, -3*i = 2*f - 383. Let s = i - 121. Solve -s*j - 3*u + 4 = 0, -4*j - 2*u = 1 - 9 for j.
4
Let h = 0 - -2. Suppose -3*w - w + 36 = 0. Suppose -11 + w = -k. Solve a + 3*q = -h - 4, -k*a - q = 7 for a.
-3
Let p(d) = 15*d**2 + 1. Let g be p(1). Solve 0 = y - 3*z + 1, g = 5*y + 4*z - 17 for y.
5
Let p = 2 + 2. Suppose 0 = -6*q + 2*q + 8. Let x(o) = o**3 + o**2 - 2*o - 3. Let m be x(q). Solve -r = -c - 9, -2*c = -m*c + p*r - 31 for c.
-5
Let o(a) = -a - 24. Let b be o(-28). Solve 0 = -3*n + 2*k + 15, -11 = -b*n + 2*k + 7 for n.
3
Let o = 19 + -21. Let i be -2*(-1)/o - -4. Let k be 6*(30/9 - i). Solve 3*y - 9 = -3*c, 0 = -2*c + 4*y - k*y - 2 for c.
1
Let q be ((-12)/(-15))/(3 - (-52)/(-20)). Suppose -q*u = -17*u. Solve -2*m - 14 = -3*a, a + 0*m - 5*m - 9 = u for a.
4
Let k be (-44)/(-14) + 29/(-203). Solve -k*h + 4*m - 12 = 0, 0 = 3*h - 2*m + 13 - 7 for h.
0
Let s be (24/15)/(3/15). Suppose -4 = -4*h + s. Solve -3*d - 21 = h*a - a, 0 = 3*a - 3*d - 6 for a.
-3
Let m(f) be the second derivative of f**3/3 - 9*f**2/2 - 3*f. Suppose 0 = -3*n + 11 + 7. Let l be m(n). Solve l*x - 2*q = 3*q - 8, 0 = x + 4*q - 3 for x.
-1
Suppose 0 = -3*a - 5*d + 24, 23*a = 28*a + 4*d - 27. Solve b + 1 = t + 7, -a*b = -5*t - 20 for b.
5
Suppose 1107 = 57*z + 138. Solve -w - i = -1, z - 4 = -5*w + 4*i for w.
-1
Suppose -2*d - 2*a = -10, -4*a - 15 = a. Solve 2*q + d = 5*p, 0 = -4*q - 4*p - 19 + 3 for q.
-4
Let n(k) = -26*k - 16. Let x be n(-11). Let t be ((-10)/6)/(15/x). Let r be (-4)/(-5)*t/(-12). Solve 3*g - 2 = -r*c, -g + 0 + 2 = c for g.
-2
Let x(r) = -r**2 - 13*r + 21. Let j be x(-14). Suppose -j*q + 2 + 26 = 0. Let v = -2 + 4. Solve -w + v*u - 5*u = 0, 0 = -2*w - 2*u + q for w.
3
Let u(l) = l**3 + 18*l**2 + 40*l - 63. Let d be u(-15). Solve 0 = 5*n - 10, 0 = z + 5*n - d for z.
2
Let q = 1 - 1. Suppose -5*f + 9 + 16 = q. Solve -o - 7 = 3*d - 6*d, 2*o + 13 = f*d for o.
-4
Let n = 7 - -10. Suppose 0 = -31*c + 33*c - 2. Let x = 12 - 7. Solve 9*p = -3*w + 4*p - n, w - c = x*p for w.
-4
Suppose 100 = -11*j + 15*j. Suppose 0 = 15*c - 10*c - j. Solve -3*p - 21 = -4*p + 5*f, -5*p - c*f = 15 for p.
1
Let k(l) = l**3 - 11*l**2 + 16*l + 22. Let m be k(9). Solve -i - 10 = -2*i + 5*j, j + 2 = m*i for i.
0
Suppose 4*c - 4 = 0, 4*b - 3*c - 17 = -8*c. Solve -m - b = -4*o, 2*m + 1 = -5 for o.
0
Let a = -1 + 4. Let b = 159 + -68. Let w be 52/b + 4/(-7). Solve w = -3*r - 2*s - 3, -4*r + a*s = r + 5 for r.
-1
Suppose 0*z - 50 = -2*z. Let v = z + -35. Let k(g) = -g**2 - 12*g - 11. Let a be k(v). Solve a = b + 2*o - 4*o, 5*o + 23 = 2*b for b.
-1
Let d(y) = -2*y**3 + 5*y**2 - 1. Let s be d(2). Solve g = -3*r + 2*g + s, 3 = g for r.
2
Suppose -9*v = 4*v - 39. Solve 0 = v*h + 3 - 15, -4*g + 5*h - 28 = 0 for g.
-2
Let h = 36 + -25. Suppose 7*j - h - 3 = 0. Let x = -4 + 6. Solve j*u + 4*g = 20, 0 = -x*u + 2*g - 8 - 2 for u.
0
Let x be -1 - -103 - -5 - 5. Let y = 104 - x. Solve 0 = -5*r - 20, 19 = -3*z + y*z - 5*r for z.
1
Let a be (-4)/(-14) + (-33)/(-7). Suppose 5*b + a*w - 14 = 1, 4*b - 44 = 4*w. Solve 18 = -2*l + 4*v, -2*l + 4*v - 11 = -b*l for l.
-1
Let u = -11 - -14. Solve u*h + 2 = k, 0*k - h = 3*k + 4 for k.
-1
Let k be (-1)/(-4) + 45/12. Let y = 1 + 6. Let f(d) = d**2 - 6*d - 3. Let j be f(y). Solve -s = -5*q - 9, -j*s = -k*q - 7*s - 11 for q.
-2
Let o be ((-3)/(-6))/((-2)/(-28)). Let g = o + -5. Let z = -2 + g. Solve -5*b + 5*t - 25 = -z*t, -5*t = 0 for b.
-5
Let m = -16 - -37. Suppose -4*i = 3*p - 8, -2*p - 3*p + m = -i. Let y be (i + 0)/((-2)/4). Solve -y*n = 2*h - 10, 0*h - 2*h = 4*n - 14 for n.
2
Let f(x) = -x + 9. Let y be f(7). Suppose -25*z - 224 = -27*z. Let u be -2 - z/(-60) - (-214)/30. Solve 0 = -y*g + 5*r, 5*g - r + u = 30 for g.
5
Suppose -2*s + 5*s - 12 = -4*d, -4*s - 5*d + 16 = 0. Suppose 3*x - s = 2. Solve -x*y - 6 = -2*m, m - 15 = -4*m for y.
0
Suppose 0 = 4*g + 31 + 9. Let a = 8 - g. Suppose -3*i + a + 15 = 0. Solve -b - 3*j + i + 2 = 0, -12 = 4*b - 4*j for b.
1
Let z(c) = -2*c + 7. Let d be z(3). Suppose -3*s = 2*q + d + 3, 5*s = q - 24. Let b be 2*s/16*0. Solve -k + t + 8 = b, -5*k = -t - 24 - 4 for k.
5
Let s(d) = d**2 + 9*d + 10. Let r be s(-8). Suppose -5*a + 2*f + 58 = 0, -r = -4*a - 3*f + 49. Solve -3*c + q = c - 18, 4*q = -5*c + a for c.
4
Let l be -9*(-4)/((-4)/1). Let j = l + 9. Solve 0 = 5*i - 2*z + 13 - 31, z + 4 = j for i.
2
Let j be 3/(-12*12/(-96)). Solve 4 = -11*x + 9*x + j*s, -5*s = -15 for x.
1
