-x - b for x.
3
Let i be (11/1 + -5)/((-2)/(-6)). Suppose -3*h = -4*x - 9 - 5, -5*x + 4*h - i = 0. Let u be (x/(-4))/((-3)/(-6)). Solve u - 4 = 3*w for w.
-1
Suppose -8 = -2*r - 18. Let s = 7 + r. Solve -s = 2*j + 8 for j.
-5
Let x be 1*((-250)/(-5))/(2 + 0). Solve x*a = 3*a for a.
0
Let m = -115 - -122. Suppose 0 = 11*a - m - 26. Solve -1 - a = b for b.
-4
Let z be (-235)/(-120) - 19/(-456). Solve z*r + 2*r = -0*r for r.
0
Let s(y) = -396*y + 397*y - 2 - 12. Let j be s(19). Solve -j*a + a = -4 for a.
1
Suppose -22*x + 8*x = 0. Suppose x = -5*m + p + 28, -6*m + p + 23 = -2*m. Solve 0 = -2*h + m - 15 for h.
-5
Let o = -436 - -438. Let p be 1 + 5 + o*(-6 + 5). Solve 0 = -2*q + 6*q - p for q.
1
Let b(a) = 16*a**2 + 72*a - 57. Let v be b(-6). Solve v*p = -3*p for p.
0
Let l(w) = -w**3 + 9*w**2 + 5*w - 21. Let a be l(9). Suppose 5*b + a = 13*b. Suppose 2*p - 3*q - 8 = -0*p, 0 = b*q - 12. Solve 3*n = 1 - p for n.
-3
Suppose -2*x - 171 = -k - 0*k, -2*k + 341 = -3*x. Solve 0 = 85*v + 1 + k for v.
-2
Let a be 3/1 + (-2 - 1). Let d be (236/(-531))/((-2)/18). Solve -h = -a*h + d for h.
-4
Let u(z) = 14*z**2 - 8*z - 9. Let p be u(-2). Solve -71*r = -p*r - 32 for r.
4
Suppose 1151 + 213 + 1366 = 390*v. Solve -v + 181 = -29*p for p.
-6
Let f = -26940 + 26942. Solve -f*k - 2685 = -2685 for k.
0
Suppose -30*w - 16 = -38*w. Suppose 6 = a - f, 0 = -2*a - 4*f + w*f. Solve a - 31 = -7*y for y.
4
Suppose -u + 0 = t - 44, -3*u + 132 = -4*t. Solve -88*n = -u*n - 220 for n.
5
Let o be 2/(-5) - (11/(-4))/(1025/5740). Let w(h) = -2*h - 1. Let q be w(-2). Solve q*f - o = -6 for f.
3
Suppose -101*o + 108*o - 6154 = -174*o. Solve -41 + o = -7*w for w.
1
Let n = -143 - -143. Suppose t = 3, 12 = 3*v - n*v + 4*t. Solve -o + 0*o + 1 = v for o.
1
Let v = 37 + -37. Let z = 6 + 23. Suppose v = i - 5*j - 1, -5*j = 4*i - 0*i - z. Solve a + i = -a for a.
-3
Let i be 2 + (28/6*(-5358)/(-329) - -3). Solve 0 = 22*m + 29 + i for m.
-5
Let n(x) = -21*x**2 - x**3 + 13*x**2 + 1 - 36 - 3*x**2 + 23*x. Let b be n(-13). Solve 0 = b*r - 3*r + 5 for r.
-5
Let g = 320 - 163. Let d = g - 154. Solve -d*h + 5*h = 6 for h.
3
Suppose -4*i + 5*z - 27 = 0, 46*i + z = 41*i - 12. Let j be i*(-10)/(-45) - (-24)/9. Solve 13*q = 11*q - j for q.
-1
Let z(b) = b**3 - b**2 - 10*b + 11. Let w(y) = 4*y - 5. Let s be w(0). Let u be z(s). Let g = u - -93. Solve 11 + 5 = g*n for n.
4
Let f be (-71)/3 - (-4 - 30/(-9)). Let k = f + 33. Suppose 3*t + 4*u - 7 + 1 = 0, -5*u + k = 5*t. Solve -1 = m - t for m.
1
Suppose l = 0, v - 406 = l + 3*l. Suppose k = -5*t + 753, 3*k = 4*t - v - 185. Let b = -150 + t. Solve -u + 4 - 6 = b for u.
-2
Let j = -214 - -820. Suppose -j = -3*u - 588. Let b be (-90)/(-8) + 15/20. Solve -3*i + u*i - b = 0 for i.
4
Suppose b - 63 = -2*b. Suppose 115*f - 113*f - 20 = -g, -16 = -2*f. Solve b*s - 17*s - g = 0 for s.
1
Let b = -53 - -54. Let o be 20 - b/2*6. Solve -9 = 2*i - o for i.
4
Suppose -149*h = -2036 - 944. Solve h*a = 14*a - 6 for a.
-1
Suppose 6*n - 162 + 18 = 0. Suppose -5*u = -4*l - n - 26, 0 = -3*u + l + 23. Solve -p - 2*p = u for p.
-2
Let o = -76 + 109. Let z = 37 - o. Suppose -34 = -3*r + 5*y, 3*r + 2*y + 1 = -0. Solve -r*t - z = 2 for t.
-2
Suppose 4*v = 3*g + 2, g + 4*v + 6 - 16 = 0. Let l be g/7 - 95/(-35). Let o be (-1)/2*(-2 - 8/4). Solve n + o*n = l for n.
1
Suppose -111*i + 3808 = -94*i. Let u = i - 213. Solve 0 = 4*p - 5 - u for p.
4
Let b = -62 + 102. Suppose -b*h - 6 = -42*h. Solve -11 = -h*n - 8 for n.
1
Suppose -82 = 3*l - 118. Suppose l = 20*h - 108. Solve 0*z = 2*z + h for z.
-3
Let v be 3 + (-4)/6*-3. Let y be (-3)/(2/((-5)/((-15)/(-6)))). Suppose -j + 45 = 5*o, -y*o + 27 = -0*o - v*j. Solve b = -2*b + o for b.
3
Suppose 6*s - 5*s - 1 = 0. Let w be (12/(-16) + s)*(-12)/(-3). Suppose -4*l - 5*y + 14 = 0, 3*l = y + w - 0. Solve l = -p - 1 for p.
-2
Let y(g) = -1237*g + 1306. Let c be y(1). Solve -25*p - 6 = c for p.
-3
Let h = 172 - 160. Suppose a + 3*g = -6, -2*g - h = -2*a - 0. Solve -a*x - 12 = 3*x for x.
-2
Suppose -422*x - 616 = -466*x. Solve -x*d = -d - 52 for d.
4
Let k = 25 - 113. Let o be k/(-6)*(-33)/(-22). Let u be 44/o + 1*3. Solve 4*x = 7 + u for x.
3
Let u be 16/(1280/1850) - 1*2/16. Solve 149 = 18*f + u for f.
7
Let q = -17 - -2. Let c = -14 - q. Suppose -4*l + c - 1 = 0. Solve 2*f - 6*f - 12 = l for f.
-3
Let z(j) be the third derivative of -j**4/12 - 3*j**3 - 11*j**2. Let k be z(-12). Suppose -8 = -k*i + 2*i. Solve 0*l = -i*l + 8 for l.
4
Let y(c) = 3*c - c**2 - 13 + 3*c + 2 + 3. Let z be y(6). Let o(v) = -2*v - 11. Let t be o(z). Solve h = t*h - 8 for h.
2
Suppose 3*o = 5*p + 225, -5*o - 37*p = -40*p - 423. Solve 14*u = 4*u - o for u.
-9
Let w = 7 + -4. Let p = 26683 - 26679. Solve -w*r = -5*r - p for r.
-2
Suppose -3194*y + 3822 = -3187*y. Solve -61*d + y = 17*d for d.
7
Let u(d) = -8*d**3 + d**2 - d - 2. Let o be u(2). Let n be (-16)/o + 1/(-4). Suppose -2*s + 5 = -3. Solve n = -b + s for b.
4
Let y(f) = -3*f + 17. Let c be y(5). Suppose -c*o - 300 = -8*o. Let w be 4/(-10) + 20/o. Solve 0 = -p - w*p for p.
0
Let k = 669 + -664. Solve 0 = -k*f + 2*f - 21 for f.
-7
Let w be ((-24)/(-5) - 4)/(1/30). Suppose -w*r + 12 = -21*r. Solve r*g - 6 = 2*g for g.
3
Let d = 1257 - 1254. Solve 3*s - s = d*s for s.
0
Let d(a) = a**3 - 7*a**2 - 18*a + 1. Let f be d(9). Let x be (-2)/(-2)*(f - -4). Solve x*j - 6*j = 0 for j.
0
Let r(b) = 21*b - 645. Let l be r(33). Solve -l + 6 = 6*x for x.
-7
Let g(z) = 4*z**2 - z - 1. Let t be g(-1). Let w be 3 - (8/12)/(8/36). Suppose w = q - 39 + 24. Solve 7*f - t*f - q = 0 for f.
5
Let p(z) = -33*z**3 - z**2 - 7*z - 8. Let n be p(-1). Suppose 52 = n*r - 134. Solve 6 = -r*d + 8*d for d.
3
Let k be (-42 - (-332)/8)*((-1 - -2) + -7). Suppose 5*u - 2*u = -12. Let j = 7 + u. Solve k*s = -12 + j for s.
-3
Let c(j) = -325*j + 1955. Let w be c(6). Suppose 0 = -4*f - z + 15, -z = f - 4*z + 6. Solve 2 = w*q - f*q for q.
1
Let g(u) = -2*u**3 + 6*u**2 - u - 10. Let b(i) = -3*i**3 + 11*i**2 - 3*i - 20. Let d(h) = 3*b(h) - 5*g(h). Let t be d(-2). Solve x + t + 2 = 0 for x.
-4
Let y(d) = -92*d - 251. Let t be y(-3). Solve t = -9*x + 79 for x.
6
Suppose -2*c - 141 = -g, -5*c + 345 = 11*g - 9*g. Solve -21*l - g = -50 for l.
-5
Let t be 2/(-8)*(-45816)/(-230)*(-7 + 2). Solve -33*r + 51 = t for r.
-6
Let w be -13 + 20 + 0 + -4. Suppose t - w = -0. Suppose 0 = t*f + g - 14, -6*f - 5*g = -f - 40. Solve -f*n - 25 = 2*n for n.
-5
Let z(n) = -3*n + 1. Let l be z(-1). Let c be (-5 - -1) + (29 - 27) - -22. Suppose 4*m + 24 = -4*t + c, 2*m = -5*t - 2. Solve t*k - l*k = 0 for k.
0
Let g = 280 + -274. Suppose 0 = -3*o + 4*m - 14, 5*o = -2*m + 14 + g. Solve -o*d + 2 = -4 for d.
3
Let k be (-1 - 0)/((-2)/(-2))*0. Suppose k = s + 11 - 19. Solve s*h + 5*h = 52 for h.
4
Suppose 6*k - 30 = -0. Suppose -4*s + p = -0*s - 9, -k*s = -2*p - 12. Suppose s = -i + 4*t, -2*i - 1 = -5*t - 0. Solve -i*a + 1 = 9 for a.
-4
Let w = -3234 - -3235. Solve k = -w - 2 for k.
-3
Let w(t) = 13*t - 57. Let k be w(9). Let d = 60 - k. Suppose -2*a + 6 + 14 = d. Solve z + 4*z = -a for z.
-2
Let a be (-2 - 30/(-6))*(1 - 12). Let r be (-6)/2 + a/((-1)/1). Let u be (-32 + r)/((0 - 2)/2). Solve -2 + 0 = u*f for f.
-1
Let r be 1 + (-4 - 39*(-3)/9). Solve -r*l + 552 = 522 for l.
3
Let f be (-418)/(-99) - (-4)/(-18). Let v be 5*176/120 + 2/(-6). Solve v*n - 15 = f*n for n.
5
Suppose 3*v - 252 = 4*s, -4*s = 8*v - 3*v + 252. Let c = -60 - s. Solve 8 = -5*g + c for g.
-1
Suppose -2*a = -5*k + 4, 10 + 4 = 4*k + 2*a. Suppose 5*z - 6 = -x, 0*x - 2*x + 2*z = -12. Let o be -10 + -11 + 37 + -16. Solve k*l + l + x = o for l.
-2
Suppose -3*a - 2*c = -197, 0 = -15*c + 12*c + 3. Solve -79 = a*i + 116 for i.
-3
Let h(n) = n**3 + 2*n**2 - 2*n - 8. Let v be h(-2). Let m(w) = -w**3 - 4*w**2 - 6*w - 24. Let u be m(v). Solve -a - a = u for a.
0
Suppose 0 = -21*d - 13*d + 14*d + 380. Solve 160 = d*o + 65 for o.
5
Let q = 67 - 16. Suppose -3*t - 1 = -2*t, -4*d - t = 193. Let a = d + q. Solve -9 = -a*v + 3 for v.
4
Let p be (1 - (-1 + 1)) + -5. Suppose 4*m - 3*q = 5*m - 21, 4*m = -5*q + 49. Let u = m + p. Solve 0 = -2*y - u - 0 for y.
-1
Suppose 2*y - 3*t + 5 = y, -3*y - 4*t + 11 = 0. Let p be (50/20)/(y/2). Let a = 225 - 202. Solve p*b = 3 - a for b.
-4
Let h = -10723 - -10836. Solve -192 = h*s - 49*s for s.
-