*r + s for r.
3
Let a = 58 + -35. Let t = 25 - a. Suppose 1 = -t*c + 9. Solve -v = -0*v + c for v.
-4
Suppose -a = 3*b + 325, 4*b - 10 = -b. Let j = a + 336. Solve -22 = -j*x - 7 for x.
3
Let u be 28/(-35)*5/(-2). Suppose 10*a + 65 = 105. Suppose 37 = a*d + d + 3*y, u*d = 5*y - 10. Solve -d*g + 1 = -14 for g.
3
Let j = 804 - 802. Let z be j/4*(-16)/(-3 - -2). Solve -2*o = -z - 2 for o.
5
Suppose -10*z - 12 = 228. Let j = z - -26. Suppose -2*y + j = -5*p, 0 = y - 6*p + 2*p - 1. Solve -y - 1 = -t for t.
2
Suppose x + 4*h + 3 = 0, 3*x + 2*h = -x + 58. Solve -10 - 58 = -x*t for t.
4
Let u(f) = 8*f**2 + f - 7*f**2 - 32 + 7*f - 4*f. Let m be u(-8). Solve m = -9*r + 5*r + 4 for r.
1
Let c = 32207 + -32202. Solve 46*f = -c*f - 459 for f.
-9
Suppose -9*f - 5*g - 140 = -12*f, -4*f + g = -181. Suppose -3*h = 4*m + 1, -5*h + 5*m = -3*h - 30. Suppose -h*b + 2*b = -f. Solve -i + b = 2*i for i.
5
Let n = -4378 + 4388. Solve 0 = -2*r - 0 - n for r.
-5
Let r(j) be the second derivative of 0 - 1/12*j**4 - 4/3*j**3 + 6*j**2 + 9*j. Let d be r(-9). Solve -4*a + 1 = -d for a.
1
Suppose -5*f + 5*y = y + 115, -3*f - 2*y - 91 = 0. Let n be (-195)/f - 12/54. Solve 11 + 24 = n*t for t.
5
Suppose 31*p - 47 = -2*z + 26*p, -2*z - 8*p = -62. Let b = 12 + -7. Solve -3*j = b - z for j.
2
Suppose -3*t + 20 = t. Suppose -3*c + v - 340 = 0, 0 = -3*c + c + 2*v - 224. Let o = 124 + c. Solve -5*b - t = o for b.
-3
Let h = -434 - -460. Suppose 4*x = -3*b + h, 0*b = -4*x - 4*b + 28. Solve -1 = x*i - 4*i for i.
-1
Suppose 3*o - 6 - 24 = 0. Suppose 3*r - 2*n - o - 16 = 0, -r - 3*n - 6 = 0. Suppose 10*d - r*d - 8 = 0. Solve 0 = 5*w - 3*w - d for w.
1
Suppose 0 = 2*w - z - 190, -5*w + 21*z + 475 = 24*z. Solve 9*n = w - 122 for n.
-3
Suppose 29 - 74 = -9*y. Suppose 2*a - 2*h - 40 = -0*h, 2*h + 65 = 3*a. Let t = -21 + a. Solve -y*z + z = -t for z.
1
Suppose 157 = 5*p - 4*x, 11*x + 35 = p + 9*x. Suppose -57 = -4*f - p. Solve f = 7*n - 14 for n.
3
Let o(v) = -v - 22. Let m be o(-24). Let p(b) = -49*b**2 + 5 - 4*b + 97*b**m - 47*b**2. Let g be p(3). Solve 2*u + g = -0 for u.
-1
Suppose 59*k - 116*k = -7524. Solve -k + 131 = -h for h.
1
Suppose 2*m + 10 = 0, 4*a + 2*m = 203 - 69. Let n be a/(-24)*8/(-6). Solve j - 6 = -n*j for j.
2
Let s = -586 - -588. Suppose t = s - 6, -3*x + 4*t = -139. Solve -45*r + x*r + 8 = 0 for r.
2
Let u be ((-1124)/(-6))/((-14)/21). Let b = -263 - u. Solve 3*n - 21 + b = 0 for n.
1
Let s(p) be the first derivative of p**2/2 + 6*p + 16. Let c be s(-2). Solve -23 = c*t - 7 for t.
-4
Suppose 5*c - 3916 = -2*l, 5*l = -0*l - 10. Suppose 0 = -34*m + 62*m - c. Solve 3*j = -4*j - m for j.
-4
Let x = -16322 + 16422. Solve -97*i + x*i + 12 = 0 for i.
-4
Let g(i) = i**3 - i**2 + 2*i - 8. Let s be (1 + 2/8)/((-3)/(-24)). Suppose 8 = 4*j - 5*m + 3*m, -4*m = -5*j + s. Let r be g(j). Solve r - 3 = -3*p for p.
1
Let f = -231 - -236. Suppose -f*c - 32 + 37 = 0. Solve -3*o - 13 = -c for o.
-4
Suppose 0 = -113*o + 137*o - 576. Solve 0 = -36*c + 42*c - o for c.
4
Let o(w) = w**3 + 6*w**2 - 4*w + 12. Let m(y) = -y**3 - 11*y**2 - 12*y - 24. Let u be m(-10). Let x be o(u). Solve 0 = -x*h + 62*h - 2 for h.
1
Let d = 174 + -174. Suppose 7*o - 3*o = d. Solve o = m + 1 + 1 for m.
-2
Let i = -1208 + 1212. Solve -i*m = -52*m + 336 for m.
7
Suppose 17*d + 57 = 77 + 133. Solve -d*z - 34 = -7 for z.
-3
Let u = -16 + 55. Let p = 265 + -210. Suppose p*n = 62*n - 35. Solve -n*v - 14 = -u for v.
5
Let a(y) = -9*y + 61. Let d be a(6). Suppose -3*g + 5*g = 2*i + 2, -7 = g - 5*i. Suppose -v = -3*m + g, -2 = -4*m + 5*v + 13. Solve m = -z - d + 9 for z.
2
Let b(h) = 54 + 335*h - 165*h - 161*h. Suppose 0 = 2*c + 5*f + 23 + 4, 4*c + 18 = 2*f. Let z be b(c). Solve z = -0*m - 2*m + 8 for m.
4
Suppose 0 = 4*b - b. Suppose 2*k = 2*t + 2*t + 6, -2*k + 6 = 4*t. Suppose b = -g - k*g. Solve -2*l = -4 - g for l.
2
Let x(j) = -j**2 + 33*j - 118. Let a be x(29). Let b be (a/(-9))/((-2)/(-54)). Solve 0*i + 30 = -b*i for i.
-5
Let s be (-36)/10*(-25)/10. Suppose 174*x = 169*x + 2*o + 32, 4*o + 10 = x. Solve x*w - 3*w + s*w = 0 for w.
0
Let x(r) = -4*r - 152. Let j be x(0). Let p = j - -155. Solve 2*a = 3*a + p for a.
-3
Let o(m) = m - 4. Let w be o(4). Suppose -120*r = -160*r + 120. Solve w = k + r + 1 for k.
-4
Suppose 0 = -m - 38 + 21. Let y(s) = -s**2 - 22*s + 23. Let k be y(m). Let g = k + -104. Solve 0 = 3*q - 4*q + g for q.
4
Let j be -16*((-2)/4 - (-4 - -4)). Let h(b) = -8*b + 69. Let v be h(j). Let y be v + (2 - 2)*(-4)/8. Solve y*x = 2*x for x.
0
Suppose -114*f + 11144 + 7780 = 0. Solve 9*d - f = -202 for d.
-4
Let d be 6 + 0 + (2 - (3 - -2)). Let f be (-1)/(d/(-2)*(-6)/(-72)). Solve -3*z = -z + f for z.
-4
Let b(k) = 98*k**2 + 374*k + 2. Let n be b(-4). Solve 1 + n = -25*d for d.
-3
Let j(z) = -2*z. Let h(r) = r**2 - 20*r + 9. Let o(b) = 2*h(b) - 14*j(b). Let k be o(3). Solve 4*x + 6 + 6 = k for x.
-3
Let v(j) = 48*j**2 - 47*j**2 + 1 - 3*j - j. Let f be v(5). Let d be (-1)/(-3) + (-2)/f + 1. Solve -2*z + d = -5 for z.
3
Let x = -61 + 65. Suppose 5*u - 32 = -3*a, -30 = -4*a - x*u + 2. Solve c - 12 = a*c for c.
-4
Let u(w) = 3*w**2 - 757*w - 1516. Let y be u(-2). Solve y = -1469*v + 1474*v for v.
2
Suppose 17*x - 91 = 10*x. Suppose 0 = a + 5*v - x, 1 = -3*a - 29*v + 34*v. Solve -5*d = -a*d + 8 for d.
-4
Let v = 30 - 36. Let r be 4/14 - v/(-21). Suppose r = -5*g + 71 + 29. Solve l + 3*l = g for l.
5
Let m be (-1)/14 - 158/(-2212). Solve m = 9*a + 7 + 29 for a.
-4
Let j = -1179 - -1205. Solve -3*f - 11 = -j for f.
5
Suppose -6*g - 61 = -1. Let o be g/3*-2 - 31/(-93). Solve -2*b + 25 = -o*b for b.
-5
Suppose 1201 = 100*i + 401. Solve 23*w + i = 15*w for w.
-1
Let z be ((-12)/(-10))/(-8 + (-205)/(-25)). Suppose -z*n + 16*n - 90 = 0. Solve 5*i = 2*i - n for i.
-3
Suppose 0 = 2*t - 5*q - 43, t - 7 = 5*q + 12. Solve t*d - 12 = -108 for d.
-4
Suppose -5*h + 143 = 2*k, -4*k = -2*h + 5*h - 265. Suppose 7*c = -9*c + k. Solve 2*a - c*a - 10 = 0 for a.
-5
Let t be (0 + (-42)/12)/((-7)/14). Suppose 0 = -5*r - 4*o + 28, 5*o + 7 - 29 = -3*r. Solve r*j - 23 + t = 0 for j.
4
Let c(g) = -67*g - 991. Let f be c(-15). Solve 14*h = 11*h + f*h for h.
0
Let u = 205 - 205. Let h(j) = 3*j**2 - 4*j - 4. Let x be h(-1). Solve x*w + u*w + 6 = 0 for w.
-2
Let t be -1*(-4 + (-7 - -6)) - 5. Let f = -13 - -1. Let i be t/(f/(-1 - -7)). Solve -m + 2 = -i for m.
2
Suppose 473 = 12*v + 258 - 397. Solve -40*j + 22 = -v*j for j.
-2
Let v(l) = -l**3 - 10*l**2 + 8*l - 27. Let x be v(-11). Let f be -2 + 1 - (x - 3). Let h be (-2 + 0)*10/f. Solve -h*y + 1 - 11 = 0 for y.
-2
Suppose 0 + 3 = 3*b + 3*u, 0 = -3*b + 4*u + 3. Let c(h) = -2*h**2 - 11*h - 3. Let w be c(-7). Let z = w + 27. Solve 2*r + b = -z for r.
-2
Let g = 8271 - 8199. Solve -g*l + 268 = -5*l for l.
4
Let p(t) = t - 92 - 4*t + 113 + t. Let f be p(8). Solve g = -8 + f for g.
-3
Suppose 18*w + 10*w - 46 = 5*w. Solve -16 = -w*a - 8 for a.
4
Suppose -24 = -45*g + 39*g. Solve -g*y - 7 = 9 for y.
-4
Let d be 16/(-44) + 10918/1166. Solve d*c - 4767 + 4740 = 0 for c.
3
Suppose 2*j + j = 2*v - 16, 3*j + 20 = 4*v. Let u be (-6)/(-3) - (v + -31). Let g = u + -26. Solve -g*a + 11 - 1 = 0 for a.
2
Let x(b) = 6*b - 2. Let o be x(5). Suppose -22 = m - o. Solve -4*k - m = -2*k for k.
-3
Suppose 5*w = 5*l + 5910, 2*w - 2086 - 268 = 4*l. Solve -4*h = 1187 - w for h.
0
Suppose -800 = 7*l - 17*l. Suppose -2*i = -4*u + 6*u - 30, -l = -3*u + 4*i. Let j be -2 + 10/2 - -1. Solve -j*z + 9*z = u for z.
4
Suppose -95*x + 35 = 5*c - 92*x, -4*c + 2*x = -6. Let m(u) = u + 2. Let j be -4*(1 + 3/(-6)). Let p be m(j). Solve p = -c*l + 2*l for l.
0
Suppose -4*l + 16 = -0*l. Let w(z) be the third derivative of z**4/24 + 41*z**3/6 - 7*z**2. Let y be w(-35). Solve -l*h + y = -6 for h.
3
Let n = -3 + 4. Suppose -2*c - t + 9 = 0, -3*t + 20 - 14 = -c. Suppose 3*k - 2*u - 12 = 0, c*u = 4*k - 16 - n. Solve -x + k*x = 2 for x.
2
Let m = -3 + 3. Suppose m = -u + 4*u - 108. Let p = -27 + u. Solve -4*y = -y - p for y.
3
Suppose -30*g + 294 = -24*g. Let t = 73 + -24. Let a = t - g. Solve -2*c + 5*c = a for c.
0
Let n(a) be the second derivative of -a**3 + 3*a**2/2 - 91*a. Let i be n(0). Solve i*g + g = g for g.
0
Suppose 4*m - 7 = 1, -5*q - 3*m + 6 = 0. Let h(p) = -80565*p - 80557. Let l be h(-1). Solve q + l = 8*a for a.
1
Suppose 19*