z - 1 for z.
1
Suppose -232*h + 4727 = 161*h + 11. Solve 23*r - h*r = -22 for r.
-2
Suppose 0 = 120*s - 126*s + 18. Suppose -34 = -2*d + 4*p - 8*p, s*p + 24 = 3*d. Solve d = -5*u + 11 for u.
0
Suppose 0*a + 39 = 3*a - 4*n, 2*a = -3*n + 26. Let z = a - 10. Suppose 4*o = 2*o + h + z, 4*h = -4. Solve -o + 10 = 3*p for p.
3
Let w be (1 - (-4)/(-8))*24. Suppose 8*p + 16 = w*p. Suppose 18 = 3*l - 0*s + 4*s, p*s = 3*l + 6. Solve -l*q - q = -9 for q.
3
Let m(o) be the third derivative of 17*o**4/24 + 31*o**3/2 + 27*o**2. Let x be m(-5). Solve -x = a - 3*a for a.
4
Suppose 0*w = -w - 2*n + 19, 3*w - 4*n = 17. Suppose -i + 35 - w = 0. Let o be (-824)/(-168) + 4/42. Solve -o*q - 9 = -i for q.
3
Suppose 196*z - 213*z + 986 = 0. Solve -z*w = -50*w for w.
0
Let m(q) = -5*q - 11. Let d be m(-2). Let g be 13 + -9 - 23/d. Let y = g + -19. Solve t - y = -t for t.
4
Let g(i) = -1171*i + 160450. Let r be g(137). Let o(l) = -11*l + 1. Let m be o(-1). Solve 0 = -r*q + 26*q + m for q.
-4
Let o be 74/(-12) - -1*2/12. Let v(l) = l**3 + 6*l**2 + 4. Let k be v(o). Let n = 9 - 6. Solve -k - 5 = n*w for w.
-3
Let m(x) = -x**2 - 4*x + 6. Let o be (0 + -5)*(6 + -7). Suppose -2*p + 12 = -o*p. Let w be m(p). Solve i + w = 4*i for i.
2
Suppose 0 = 3*t - 53 + 8. Solve 18*p = t*p + 12 for p.
4
Suppose -4*i + n = -5 - 3, -5*i = -4*n - 21. Let q(y) = y**3 + y**2 - 2. Let s be q(i). Suppose s = -14*g + 17*g - 12. Solve -17 + 1 = g*l for l.
-4
Suppose -3 = -3*p + 3. Suppose -z + 0*z + p = 0. Suppose 3*j = -2*i - 4, 4*j + 12 = -5*i + 2. Solve -z*t + 6 = -j*t for t.
3
Suppose -w + q = -102, 2*w + 5*q - 174 - 23 = 0. Solve w*j = 116*j - 15 for j.
1
Suppose l = 9 - 4. Suppose 2*i = -2*y, 0*y - l*y - 2 = 3*i. Let g be (2 - 2)*(-1)/(y/(-1)). Solve g*z + z - 1 = 0 for z.
1
Let k = 274 + -203. Let b = 75 - k. Solve -6*g + b*g = 0 for g.
0
Let q(j) = 4*j**3 + 2*j**2 - 2*j + 1. Let g be q(1). Suppose 0 = -2*u - 2*y + 29 + 133, -5*y - 385 = -g*u. Let h = 82 - u. Solve m + 0*m = h for m.
3
Let v be (-5)/(0 - -5) + 2. Let g(d) = -2 - 1332*d + 2*d**3 + 1335*d + 0*d**3 + 0*d**3. Let b be g(v). Solve b*k - 4 = k for k.
2
Let y be (16 - 18)/((-1)/(-9)). Suppose 6*n - 60 = 3*n. Let o = y + n. Solve -o*q = 6 + 2 for q.
-4
Suppose -2*y + 7 = -3*y + 5*k, -4*y = -2*k - 44. Suppose s = -4*z + 12, -y*s = -8*s - 4*z + 36. Let i = s + 4. Solve -a - 2 = -i for a.
-2
Let m be (-2789)/(-14) - 3/14. Solve -m = 7*t - 171 for t.
-4
Let m be 194 - 188 - (-1 - 129). Solve -166 = 5*h - m for h.
-6
Suppose 3*d = -2*m + 7*m - 763, 20 = 4*m. Let k = d + 249. Solve 0 = -7*z + k*z - 8 for z.
-2
Let r(k) be the first derivative of 3*k**2/2 + 4*k - 2. Let j be r(-5). Let z = j + 11. Solve 0 = -v - z*v - 4 for v.
-4
Suppose -5*q + 2*q + 1187 = -2*i, 5*q = 3*i + 1977. Let s = -378 + q. Solve -3*o = -8*o + s for o.
3
Let i(d) = -3*d**3 + 11*d**2 - 29*d + 69. Let a be i(3). Solve 25*g - 16*g = a for g.
0
Suppose 2*v + 3*z + 6 = 0, 2*v - 6*z + 4*z - 14 = 0. Solve v*j = -342 + 330 for j.
-4
Let n(j) = -5*j**2 + 82*j + 75. Let s be n(17). Solve -s = 129*p - 121*p for p.
-3
Suppose 995 = 5*x - 2*k, k + 6 - 198 = -x. Let o = x - 185. Solve 13*h = o*h - 3 for h.
-3
Let g(i) = -8*i**2 + 247*i + 31. Let c be g(31). Solve c = -3*w + 26*w + 23 for w.
-1
Let i(y) = 20*y - 24. Let u be i(4). Let q = 58 - u. Suppose -q*a = 5*r - 34, 0 = -2*a + 5*a - 2*r - 32. Solve 0*t + 4*t = a for t.
3
Let w(b) = -b**3 - 9*b**2 - 11*b + 4. Let z be w(-7). Let r = z - -45. Solve 16 - r = -3*d for d.
4
Let j(h) = -29 - h**2 + 3*h - 26 - 18 + 15*h. Let s be j(7). Solve 9*d - s*d = 0 for d.
0
Let m = -23 + 25. Suppose -2*q = m*q - 16. Suppose 2 = 8*l - 126. Solve -5*v + l = -q for v.
4
Let v = -148 - -146. Let j be 1*((-6)/(-4))/(v/(-4)). Solve -6 = -3*h - j*h for h.
1
Suppose 0 = -g - 110. Let r = -158 - g. Let i be 2/(-3) - r/18. Solve 1 = i*v + 5 for v.
-2
Let i be -2*((-5)/2 + 1). Let h be ((-60)/(3/(-1)))/2. Suppose 384 - 474 = -h*p. Solve -p = i*m - 3 for m.
-2
Let k = 28 - -2. Let g = -25 + k. Suppose 4*t = -3*t + g*t. Solve t*l = -4*l for l.
0
Let x be 3 - 1 - (1 + 1). Suppose x*p + 6*p - 42 = 0. Suppose 5*f = a + 33, -2*a - 31 = -3*f - p. Solve g + f - 2 = 0 for g.
-4
Let c be -270 - (5 + 4 + -4). Let k = c - -280. Solve -k*n = -6 - 19 for n.
5
Let l = -7525 + 7525. Solve l = 6*a + 29*a + 140 for a.
-4
Let l(s) = 4*s**3 - 43*s**2 - 11*s + 2. Let p be l(11). Solve -22 = -p*b - 16 for b.
3
Suppose -3*p + 49 = -10*p. Let j be 1 + p/(7/118). Let i = j - -120. Solve -7 + i = -2*m for m.
2
Let h be 10848/(-8)*19/(-57). Solve -15*g + 572 = h for g.
8
Let m(q) = -8*q - 173. Let t be m(-22). Suppose -4*f = -5*j - 37, j - 16 = -2*f + t*j. Suppose -4*c = -9*c. Solve c + 3 = f*l for l.
1
Let k = 27206 + -27066. Solve k*i - 280 = 210*i for i.
-4
Let d = 9 - 7. Let o be (-200)/(-20)*(-1)/((-10)/88). Suppose -5*k + k = -4*i - o, 0 = -d*k - 2*i + 36. Solve j + k = -4*j for j.
-4
Let t = 111 - 71. Suppose 0 = 11*u - 3*u - t. Suppose -u*j - 4*j = 0. Solve -f + j*f = 2 for f.
-2
Suppose -12 = 3*c + j, -2*j = j. Let u be (1*12)/((-6)/c). Suppose 3*p = y + u + 8, -2*y - 28 = -5*p. Solve -3*f - f = p for f.
-1
Let s(t) be the second derivative of t**5/20 + 5*t**4/12 - 7*t**3/6 - t**2 - 19*t. Let i be s(-5). Let o = 43 - i. Solve -d - o = d for d.
-5
Let u be -4*21/(-2)*111/518. Solve -45 = -u*n - 0*n for n.
5
Suppose -5*n + 2*n = -30. Suppose 3*o = -28 + 46. Solve -o*b = -n*b for b.
0
Let f(s) = -s**3 + 17*s**2 - 70*s. Let v be f(8). Solve -85*r + v = -81*r for r.
4
Let w(k) = -9*k - 43. Let p = 268 + -275. Let g be w(p). Solve 0 = 3*t - 7*t - g for t.
-5
Suppose 5*g + 5 = 125. Suppose 127 - 7 = g*y. Solve 24 = -y*t + 11*t for t.
4
Suppose 4*u = u + b + 5, -u + 3*b = 9. Suppose 0 = 3*v - u*x + 54, v + 2*x + 69 = -4*v. Let p be 3/(-5) - 99/v. Solve 20 = t - p*t for t.
-4
Let f = 6722 - 6717. Solve -21*g + 16 = -f*g for g.
1
Let w be (0 - 8) + 36*(-4)/(-8). Solve -w*u - 5 - 55 = 0 for u.
-6
Suppose 97*n - 63*n - 1836 = 0. Solve n = -15*f + 69 for f.
1
Suppose 251*q - 252*q + 29 = 0. Let u(y) = -6*y + 15. Let m be u(-3). Solve -m*r = -q*r + 4 for r.
-1
Let f(h) = 4*h + h**2 - 4*h**2 + 5*h**2 + 230 - 3*h**2 - 84. Let b be f(-10). Solve b = 4*r + 14 for r.
-2
Let m = 1524 - 1519. Let g(x) = 3*x**2 - x. Let u be g(1). Solve -3 - m = u*h for h.
-4
Let f(a) = -17*a**2 + 5*a - 8. Let r be f(4). Let q = -257 - r. Solve -4*i + q = -7*i for i.
-1
Suppose 328*x = 324*x + 124. Solve -x*v - 174 - 12 = 0 for v.
-6
Let n = 2633 - 2628. Solve 1158 = n*o + 1123 for o.
7
Let x(u) = u**2 + 54*u - 50. Let s be x(-55). Suppose 2*z + 4*i - 36 = -0*i, 0 = -4*z + 2*i + 22. Let y = -110 + 110. Solve -s*p - z - 7 = y for p.
-3
Let u(h) = 7*h**3 + 7*h + 8. Let o be u(0). Solve -37*w = -39*w - o for w.
-4
Let k = 81 - 32. Suppose -12 = k*s - 51*s. Solve 0 = -5*y + 3*y + s for y.
3
Let m be (-130 - -17)*(-3 + -1)/4. Solve 0 = 3*f + 113 - m for f.
0
Let j = 2048 + -2046. Let u = 5 - 1. Solve 0 = j*m + u for m.
-2
Let h be (-2)/5 + (-294)/(-35) - 4. Suppose -h*f + 4*l = -84, 5*l - l = 3*f - 59. Solve -f + 9 = -4*p for p.
4
Let i be ((-174)/5)/(72/360)*(-4)/6. Solve i = 66*j - 214 for j.
5
Let s(a) = 1. Let d(p) = p**2 + 23*p + 105. Let n(x) = d(x) + 3*s(x). Let z be n(-17). Solve -2*y + z*y = -20 for y.
-5
Let t be -844*(0 + (-21)/28). Let c = t + -621. Solve -c*v + 9*v = -6 for v.
2
Suppose -5*j - 5*g = -6*j + 142, j = g + 158. Suppose -j*i + 160*i = -10. Solve -i - 3 = -4*x for x.
2
Suppose 457 + 8 = 93*z. Let j(u) = -u**2 - 12*u - 14. Let m be j(-10). Solve -z*t - 2 = -m*t for t.
2
Let p(x) = 6*x - 90. Let b be p(24). Suppose 4*n + 2*f - 68 = 0, 22*n - 26*n + 5*f + b = 0. Solve -2*c - n = 2*c for c.
-4
Suppose i - 163 = 3*p, 0 = i - 2*i - p + 151. Suppose 0 = -i*s + 149*s + 15. Let k = 2 + 0. Solve -s*u = -k*u for u.
0
Let p be (-10)/(-5 - -15)*181*1. Let b = p + 186. Solve 6*m + b + 7 = 0 for m.
-2
Suppose d + 2*p = -121, -14*d + 4*p + 464 = -18*d. Let a = d + 114. Solve 3*n + 6 - a = 0 for n.
-1
Let r(j) be the first derivative of 7*j**3/3 + 13*j**2 - 3*j - 186. Let f be r(-4). Solve f*t + 28 - 48 = 0 for t.
4
Let c(o) = o**2 + 41*o + 182. Let y be c(-36). Solve -y*z = 44 - 48 for z.
2
Let l = 8468 + -8396. Solve 0 = -40*z + 52*z + l for z.
-6
Suppose 3*n - z = -229, -3*z = 2*n - 0*n + 171. Let