. Solve 0 = -d*s + 5 for s.
1
Suppose 4*g + 5*h - 22 = 3, 2*g - 5*h = -25. Solve g*r = -10*r + 50 for r.
5
Suppose 2*g - 20 = 5*c, -4*g + 2*c + 6 = -2. Suppose -3*m + 7 + 20 = g. Let l(h) = -2*h + 1. Let k be l(-2). Solve u - m = -k for u.
4
Suppose -5*z = 4*p + 48, 2*z = 4*z - 2*p + 12. Let q be z*(-3)/18 - (-28)/6. Solve 2*d = -d + q for d.
2
Let t = 12 + 11. Let i = 526 + -508. Let o = t - i. Solve o*n - 10 = 10 for n.
4
Suppose -p = -4*s - 12 - 7, -5*p - 15 = 2*s. Let n be 1/1*(s - 1). Let w = 10 + n. Solve -12 = q - w*q for q.
4
Suppose -2*v - 12 = -4*h, 0 = h - v - 1. Suppose -h*b = 5*b - 50. Solve 0 = 2*d + b - 13 for d.
4
Suppose 5*o = m - 9, 10*o - 5*o = -5. Suppose -m*z - h + 30 = -7*z, 0 = -5*h + 15. Let w = z + 14. Solve w*f = -0*f - 10 for f.
-2
Let i(w) = -w**3 - 15*w**2 + 35*w + 21. Let c be 1*1*(-34)/2. Let q be i(c). Solve 10 = q*p + 30 for p.
-5
Let f be 1*2*(387/18 - 1). Let k = -33 + f. Solve k = -t + 3*t for t.
4
Let u(j) = -j**3 + 49*j**2 - 4*j + 259. Let y be u(49). Solve -y*r = -66*r - 9 for r.
-3
Suppose 12*c = 39*c + 40*c. Solve c = 11*q + 2*q - 26 for q.
2
Let s be 4/((-4)/(8/(-1))). Let w(g) = g**2 - 5*g + 11. Let o be w(s). Let b = o - 29. Solve b = -3*r - 9 for r.
-5
Suppose 20 = 5*m + i, 2*m - 4*i = -9*i + 31. Suppose l + m = 0, 5*l - 5 + 10 = -5*v. Solve v = 2*c - 4 for c.
3
Suppose -414 - 978 = -16*n. Solve -12 = -91*y + n*y for y.
3
Let v(z) = -2*z**2 - 23*z + 17. Let n be v(-12). Let t(s) = s - 2. Let b be t(2). Solve n = a - b for a.
5
Let g = 121 + -118. Solve 0 = -g*a + 4*a for a.
0
Suppose 0 = 5*r - 1 + 6. Let j = 0 + r. Let b be (j/2)/(-1)*0. Solve b*o = -5*o + 15 for o.
3
Let j be ((-15)/(-20))/((-3)/(-2))*4. Solve d - j*d = 0 for d.
0
Let g(q) = q**3 + 12*q**2 - 30*q - 9. Let k be g(-14). Solve -k*i + 4 = -15*i for i.
1
Let j(g) = 79*g - 75. Let c be j(1). Suppose -5*a = -a - 16. Solve a = -c*x - 16 for x.
-5
Let f(x) = x**3 + x**2. Let y be f(0). Let q(p) = 905*p - 12668. Let u be q(14). Solve y = -2*v + v + u for v.
2
Let v(d) = -5*d + d - 5 + 7*d - d. Let i be v(4). Solve -4 = -i*j - 16 for j.
-4
Suppose -z = -4*m + 4, 2*z + 26*m - 17 = 29*m. Solve -z*c + 26*c = 40 for c.
4
Suppose -3*p - 1 = 3*z - p, 5*p + 8 = -2*z. Let y be (z - 1)*(-1)/2. Solve j - 2*j + 5 = y for j.
5
Let k(p) = 7*p + 2. Let i(g) = -g. Let u(y) = -40*i(y) - 5*k(y). Let w be u(6). Suppose d + 4*q = 6*q + 8, -4*d - 5*q = w. Solve -c = -d + 1 for c.
-1
Let s be (2/4)/(2/(-4)). Let f be (-5 - s)/((-7)/28). Suppose 5*z - 16 = z. Solve 0 = -4*j + z - f for j.
-3
Let p(r) = -25*r - 72. Let a be p(-3). Solve a = 5*h + 13 for h.
-2
Suppose -2*q - 20 = 2*q. Suppose 5*b = -3*o + 40, 0 = -2*b + 3*o + o - 10. Let z be -3 + b/(q/(-9)). Solve 0*w + z = -2*w for w.
-3
Let w(z) = z**2 - 20*z + 20. Let c be w(21). Solve -4*p - c + 53 = 0 for p.
3
Let o = 5 + 2. Let p(h) = -4*h + 4 - 6 - h**3 + 6*h**2 + 1. Let a be p(5). Solve a*i + o = 19 for i.
3
Let r = -5 + 11. Suppose -w = 5*m - 20, w + 48 = r*w - m. Solve -5*c + w = -5 for c.
3
Suppose -5*m + 40 = 5*q, 5*q - m = -0*m + 16. Suppose -q*h + 8 = -0*h. Let p = -46 + 55. Solve h*b - p = -b for b.
3
Let l be (7/(-21))/(3/(-45)). Suppose -4*x = -l*x + 3. Solve -x*w = -7 + 1 for w.
2
Let r = 2 - 15. Let m = -11 - r. Solve -h = m*h for h.
0
Suppose -5 = -u, -3*u + 33 = 5*s - 2. Let c = -59 - -59. Solve -r - s + 2 = c for r.
-2
Let k = 26 - 24. Let c be k*-4 + 4 - 4. Let b be 8 - 7 - c/2. Solve -b = 5*l + 5 for l.
-2
Let t(m) = 7 - 3*m**2 - 15 + 14*m + 15. Let y be t(5). Solve 3 = -y*v + 5*v for v.
1
Let v(j) = -j**2 + 13*j + 16. Suppose 4*c = -2*z + 12, 3*z + 4*c - 46 = 5*c. Let i be v(z). Solve -5*y = i - 12 for y.
2
Suppose -4*k - 3*a = 17 - 46, 0 = -5*k - 2*a + 38. Let t = -227 + 227. Suppose o - o + 2*o = t. Solve 0 = -4*j - o*j - k for j.
-2
Let b be (78/182)/(9/84). Solve l - b = 3*l for l.
-2
Suppose -3*z - 5*g = -23, 0 = 3*g - 6*g - 6. Suppose -2*a + i + z = 0, -5*a + i + 35 = -3*i. Solve s + a - 2 = 0 for s.
-1
Let o = 1 - 0. Solve -o - 1 = -2*c for c.
1
Let h be (-8)/(((-2)/4)/1). Let q(r) = -22*r + 267. Let u be q(12). Solve -n = u*n - h for n.
4
Suppose -4*f = -3*y - 20, 0 = -y + 4*y + 3*f - 15. Suppose -4*h - 60 - 16 = 0. Let j = -15 - h. Solve j*p - 2*p + 4 = y for p.
-2
Suppose -23*s = -0*s - 184. Solve 0 = 6*w - s*w for w.
0
Suppose 143 = 6*j + 11. Let u = -20 + j. Solve -u*m + 0 = 8 for m.
-4
Let l = -9 - -89. Let z = -74 + l. Solve 0 = z*p - p - 10 for p.
2
Let o(a) = 2*a. Let p be o(0). Suppose -4*b + p*b = -16. Let y be (-3 - -7)/b*0. Solve y = n + 7 - 4 for n.
-3
Suppose -243*y + 227*y = 0. Solve y = -6*u + 3*u for u.
0
Suppose 3*d = 4*d - 26. Let m = d - 20. Solve 0 = 3*j - m*j - 6 for j.
-2
Let p be ((-210)/147)/((-3)/(-84)*-10). Solve p*i - 9 = 7*i for i.
-3
Let r(c) = -2*c - 10. Let t be r(-6). Solve t = x - 2 for x.
4
Suppose 2*f - f - 3 = 0. Suppose 5*g - f*g - 3*m = 14, m + 2 = 0. Solve -5*t + g = -1 for t.
1
Suppose -5*z - 7 = 3*i - 36, 5*i = -z + 19. Let c = 7 + -5. Solve j - c*j = i for j.
-3
Let u = -153 - -156. Suppose 0 = 3*z - 32 + 11. Solve l - u = -z for l.
-4
Let o = -78 + 97. Suppose -o*p + 17*p = -10. Solve 10*f - 25 = p*f for f.
5
Let j = -1052 - -1054. Let h = -6 - -8. Solve 0 + h = -j*z for z.
-1
Let l be ((-30)/(-12))/(2/4). Suppose 5*m + 11*x - 7*x - 32 = 0, -5*x + 27 = 3*m. Solve l*u = -m - 1 for u.
-1
Suppose 4*d - 3*k = d - 15, 5*k = 2*d + 25. Solve d = -2*j + 2 + 4 for j.
3
Let v be (0 - -1)*2 + 0. Suppose v = -2*n + 4*n. Solve -d = -0*d - n for d.
1
Let s(v) = v**3 + 4*v**2 + 4*v + 3. Let h be s(-3). Let m be 5 - (3 - (3 - 3)). Suppose -m*u - 29 - 40 = -3*i, 3*u = 0. Solve -5*b - i - 2 = h for b.
-5
Let h = 30 + -10. Suppose 4*v + 4*z - 103 = -23, 3*v - h = 5*z. Let x(p) = p - 13. Let o be x(v). Solve -3 - o = u for u.
-5
Let i = 6 - 6. Suppose -o + 4*g - 10 = 0, -2*g - 2 = -4*o - i*o. Let j be (40/o)/(-5) - -4. Solve j = -f - 0*f + 3 for f.
3
Let a = 7 - 5. Suppose 0 = t - 0*t + a*q - 18, -2*t = 3*q - 33. Suppose 4*w - i = t, -4*w - i + 0*i + 12 = 0. Solve -z - 4 = -w*z for z.
2
Let p(r) = -18*r**2 - r - 1. Let m be p(-1). Let l = -2 - m. Solve 2*u + 2*u = l for u.
4
Let x = -10 - -12. Let r be 5*((x - 1) + 0). Suppose 0*u = -r*u. Solve u*t = -5*t for t.
0
Let q(w) = w**3 + 7*w**2 - w + 1. Let s = 22 - 29. Let y be q(s). Solve 0 = 4*p - y for p.
2
Suppose -5*o - i + 37 = -0*o, -2*o = 2*i - 18. Let c = -1 + o. Solve -5*s + c = -4 for s.
2
Let s(q) = q**2 - 5*q + 4. Let j be s(4). Let w be (1*-2 - -3)*3. Suppose -4*t - 8 = 2*c - 20, c + 2 = 2*t. Solve t*l - 3*l + w = j for l.
3
Let m = 23 + -19. Suppose -d = -6*d + 95. Suppose -n + m = 3*i, -5*i + 3*n + d = -11. Solve -4*l - 4 = -i*l for l.
-4
Suppose 5*k - 80 = -4*g, 2*k + k = 2*g + 48. Solve 63 + 1 = k*m for m.
4
Let r = -9 - -35. Suppose 0 = -3*b - 5*w + r, -4*b + w = -0*b - 73. Solve -4*s = 3 + b for s.
-5
Suppose -157 = 3*a + 20. Let n = a + 72. Solve 2*l + 3 - n = 0 for l.
5
Let c(f) = f**3 + 7*f**2 - 16*f + 1. Let d be c(-9). Let l = -15 - d. Solve 0 = 2*h + 8 - l for h.
-3
Suppose -2*q + 2*o - 6 = -q, -2*q + 33 = 5*o. Suppose f + 3*h - 3 = q*f, -4*f - 5*h = -5. Solve 2*y - y = f for y.
0
Suppose 5 = -8*k - 43. Let r be (-9)/(-2)*(2/k + 1). Solve r*l - 2 = 4*l for l.
-2
Let n = 20 + -7. Let u be (-18)/4*(-20)/30. Let s be u - 0/(-5 - -4). Solve -s*o - 1 = -n for o.
4
Suppose -4*g = 2*c + 20, -11 = 3*g + 4. Suppose c = -4*q + 2*q. Solve -3*n - 4 - 11 = q for n.
-5
Suppose 0 = 25*n - 730 + 180. Solve -12 = -2*h - n for h.
-5
Let b = -80 - -85. Let a(p) = -p**2 + 13*p - 33. Let h be a(9). Solve h*q = 7 + b for q.
4
Let q = 81 - 3. Let s = q + -75. Solve p = s*p + 10 for p.
-5
Let o = 9 - 6. Suppose -5*x = o*s - 8*s - 10, 1 = s. Solve 0 = -5*j - x - 22 for j.
-5
Let s = 29 + -23. Suppose -3*b + s = -b. Solve -2 - b = 5*k for k.
-1
Let v(n) = n**2 + 5*n - 12. Let s be v(2). Solve 12 = 7*w - s for w.
2
Suppose 3*u - v = v + 22, 5*u + 3*v - 5 = 0. Suppose -u*j + 24 - 4 = 0. Suppose 5*b - 3 = 4*n, -2*n - 10 + 1 = -j*b. Solve -8 = -n*a + 7 for a.
5
Suppose 14 + 6 = 5*m. Suppose 81 + 79 = m*q. Suppose 0*b - 5*b = -q. Solve 0 = 4*d + b - 24 for d.
4
Let x be (4 + 12/4)*2. Let i = -12 + x. Solve 0 = 3*t - i*t for t.
0
Let r be 4 - (2 - (-3 + 12)). Suppose -4*a = -4*t + 12, -a + 4*a + t - r = 0. Solve 2*