= m + 3 for r.
2
Suppose -3*d + 4*d + 5*c = -87, 3*d + 3*c + 285 = 0. Let g = 145 + d. Suppose 2*h + 3*h = -4*f + g, -2 = -2*f + 3*h. Solve -1 = -2*w - f for w.
-3
Suppose d - 1 = -h, -h - 3*h + 10 = 2*d. Let g(t) = 19*t + 61. Let q be g(d). Solve -q*r + 11 + 5 = 0 for r.
4
Let l = 277 + -231. Suppose -44 = -18*c + l. Solve 0 = 9*n - c*n for n.
0
Let a be 3 + 0/(16/4). Let g(z) = z**2 + 39*z + 255. Let w be g(-31). Solve -w*u + a*u + 8 = 0 for u.
2
Let a(z) = -3*z. Let p be a(-1). Suppose 5*o - 25 = -f, 3*f - 5 = -2*o + o. Solve -p - o = -2*r for r.
4
Suppose 80*l - 13089 + 4849 = 0. Let s(o) = o**3 - 3*o**2 - 6. Let q be s(6). Solve 0 = l*n - q*n - 2 for n.
2
Let g = -10244 + 10247. Solve -201*f = -198*f + g for f.
-1
Suppose l - 3*l = -144. Let v = 94 + -166. Let j = l + v. Solve c - 3 + j = 0 for c.
3
Suppose 4*i - 32 = 4*r, -62*i + 59*i + r = -20. Solve 0 = i*b - 22*b for b.
0
Let p(c) = 63*c**3 + 21*c**2 - 20*c - 2. Let b be p(1). Solve 67*n - 36*n - b = 0 for n.
2
Let m = -191 + 186. Let t be (9/m)/(33/110*-1). Solve 12 + 18 = -t*a for a.
-5
Let f(n) = -n**3 + n**2 + 10*n + 1. Let j be f(0). Let s be (j + -3 + -6)*1/(-2). Solve 5*u - s*u = 0 for u.
0
Suppose -5*a = -13*c + 8*c - 130, 58 = 2*a - c. Solve a*v - 38 = 90 for v.
4
Let d(y) = -y - 23. Let v be d(-23). Solve v = -i + 15 - 14 for i.
1
Let q(g) = -24*g**2 + 27*g - 27. Let z be q(1). Let i be 8/(-1)*(-1 + 4). Let c = i - z. Solve c*s - s = -5 for s.
5
Suppose -135 = 14*d - 2249. Solve -31*n + 35 = -d for n.
6
Suppose 58*x - 55*x - 15 = -2*w, 2*w - x - 19 = 0. Solve 30 = w*h + 75 for h.
-5
Let x be 2805/6 + ((-100)/(-350))/(8/14). Solve x*s = 458*s - 40 for s.
-4
Suppose 8003 - 1481 + 3578 = 202*z. Solve 9*q - 19*q = z for q.
-5
Let z = -130 - -132. Suppose z*p - 17*d + 4 = -21*d, -d = -2*p + 6. Solve -3*q = p*q - 10 for q.
2
Let w(q) = -2*q**2 - 226*q - 387. Let h be w(-111). Solve h*u = 234 - 690 for u.
-8
Suppose -6*k + 3715 = -3*k - 5*q, -3*k + 3721 = q. Suppose -1247*v + 112 = -k*v. Solve 4*p + v = 8*p for p.
4
Let h = -5157 - -5178. Solve 2 + h = -23*q for q.
-1
Let h = -2385 - -2388. Solve h - 31 = -28*n for n.
1
Let d(q) = -q**2 - 44*q - 384. Let t be d(-32). Solve t = 271*w - 275*w - 4 for w.
-1
Let v(r) = 4*r**2 + 51*r + 224. Let y be v(-4). Solve 0 = 5*g - 49 + y for g.
-7
Let r(x) = -589 - 457 + 49*x + 1315. Let y be r(-5). Solve 5*q = -q - y for q.
-4
Let x be (28/(-5))/(-9 + (-276)/(-30)). Let d = 30 + x. Solve -d*o = 4*o for o.
0
Let l(h) = -87*h - 149. Let s be l(5). Let v = s + 584. Solve 0*k + 4*k + 16 = v for k.
-4
Let i(p) = -85*p**2 + 6*p + 12 + 84*p**2 + 0. Let x be i(6). Solve -3*a - 27 = -x for a.
-5
Let f(j) = 62*j**2 - 18*j + 5. Let h be f(2). Let q = h - 212. Solve -10 = 7*l - q*l for l.
-5
Let z be (-8)/40*0*1/(-3). Solve 15*r - 10*r + 20 = z for r.
-4
Let x(n) = -n**3 - 7*n**2 + 7*n - 6. Let v(i) = -4*i - 48. Let h be v(-10). Let k be x(h). Solve 0 = k*g + 10 - 4 for g.
-3
Let m(p) = -82*p - 903. Let u be m(-12). Solve 2*o = 91 - u for o.
5
Suppose 15*b - 10*b + 2630 = 0. Let x = b - -538. Solve 20 = -2*t + x*t for t.
2
Let z be 4*2/(-4) + (6 - 0). Suppose -2*u = -z*b, 2*u + 1 - 7 = -2*b. Suppose -3*a + u = -7. Solve 8 = o + a*o for o.
2
Let s(k) = -k + 5. Let f be s(-5). Suppose 7*u - f*u + 36 = 0. Solve -u*y = -10*y for y.
0
Let a(m) = -55*m - 933. Let o be a(-17). Solve o*v - 23 = -23 for v.
0
Let l(a) = -a**2 - 2*a - 15. Let q be l(-7). Let j = 68 + q. Solve 4*f = -2*f + j for f.
3
Let o(w) = -w**2 + 96*w + 20206. Let t be o(-102). Suppose 0*b - 2 = -b. Solve 32 = -b*a + t*a for a.
4
Let y be 4*(-32)/(-96)*(40 - 1). Solve -52 = -5*q - y for q.
0
Let s = -8853 + 8881. Solve -161 + 49 = s*c for c.
-4
Suppose -y + 2*f = y - 12, -3*f - 10 = -2*y. Let t = y + -8. Solve t*a - 2*a - 10 = 0 for a.
-5
Suppose -10*f - 32*f + 420 = -7*f. Let y(c) = -c**3 + 7*c**2 - c + 10. Let h be y(7). Suppose -j - j - 4 = 0, 2*z = -j + 10. Solve z*l = h*l + f for l.
4
Suppose 2*d = 313 - 93. Let h = 109 - d. Let p = h - -3. Solve n - 12 = -p*n for n.
4
Let o = -142 - -143. Let s be (-3)/((-6)/8) - 4. Let w be (1/2 + s)/(o/2). Solve q - 1 = w for q.
2
Suppose -5*a + 132 + 99 = -3*u, 2*u = 7*a - 330. Solve -10*g + a - 58 = 0 for g.
-1
Let g(d) = d**2 - 3*d - 17. Let k be g(-13). Let j = k - 183. Solve 7*l - 5 = j*l for l.
-5
Let g = 2 + -219. Let m = g - -219. Solve 0 = m*x + 1 + 5 for x.
-3
Let u(l) = 4*l**2 - 17*l - 5. Let d be u(11). Suppose 6*j + 166 = d. Solve 7*m = -j - 7 for m.
-4
Let q be (16/(-8) - 14) + 33. Solve -59*k + q*k = -84 for k.
2
Suppose 5*x + 32 - 12 = 0, -4*x + 24 = -5*k. Let j(s) = s**3 + 9*s**2 + 7*s - 6. Let h be j(k). Solve -p + h = -0*p for p.
2
Suppose -4 = -2*a + 4*p, -4*a - 2*p + p + 8 = 0. Let l(b) = -27*b + 125. Let i be l(19). Let j = i + 392. Solve 0 + j = a*s for s.
2
Suppose -5405 + 88 = -79*g + 1240. Solve -48*h + g - 35 = 0 for h.
1
Let j = 441 + -386. Suppose -60*l = -j*l - 25. Solve -6*y = l + 1 for y.
-1
Let f be 16 - (11/(-3) - 158/(-237)). Solve 10*w - f - 11 = 0 for w.
3
Let u(q) = -25*q + 133. Let m be u(5). Let c(r) = 2*r**2 - 15*r - 2. Let f be c(m). Solve 17 - 5 = f*h for h.
2
Suppose 0*h - 5*h = -l + 1, 0 = -4*h + 3*l - 3. Suppose h = -j - 6 + 6. Let i(o) = -4*o + 4. Let g be i(j). Solve r + r - g = 0 for r.
2
Let k(p) be the second derivative of -p**4/12 + 13*p**3/6 - 9*p**2/2 - 3*p - 18. Let v be k(12). Solve -3*z + v = -0 for z.
1
Let o be ((-68)/(-476))/((-8)/14)*0. Solve -8*y + 23*y = o for y.
0
Suppose -325*x + 310*x + 3060 = 0. Solve -30*f - 144 + x = 0 for f.
2
Let s(v) = 4*v + 332. Let f be s(-83). Solve -8*k + 0*k - 24 = f for k.
-3
Suppose 0 = -2*r - 2*q + 14, 3*r = 5*r + 5*q - 29. Suppose -3*m - 3*f = -9, 2*m - 2*f + 7*f = 15. Suppose -n + m = -r. Solve -7*o = -n*o - 20 for o.
4
Let x(z) = -z**2 + 12*z + 15. Suppose -4 = 2*a + 5*p + 6, -2*a - 2 = p. Suppose -7*j + 87 + 4 = a. Let q be x(j). Solve 0*k - q*k - 4 = 0 for k.
-2
Let v be 32/14 + (-46)/161. Suppose -3*l - v*a + 10 = -3*a, -l + 5*a - 6 = 0. Solve l = -4*b - 12 for b.
-4
Let s = -22 - -17. Let c(v) = 4*v + 26. Let a be c(s). Let o = 12 + -9. Solve a*l = o*l - 12 for l.
-4
Let s(j) = 5*j**2 - 4*j - 1. Let v be s(2). Suppose -v*r = -18*r + 49. Solve 0 = -r*z - 0*z - 35 for z.
-5
Suppose x - r - 1 = -x, -4*x - 7 = r. Let q be (((-36)/20)/x)/((-6)/(-20)). Suppose -q*l - 4 = -16. Solve -2*y + 4 = l*y for y.
1
Suppose -5*k - 17*n - 1549 = -18*n, 5*k + 3*n = -1553. Let w = 340 + k. Solve w*z - 8 = 26*z for z.
2
Let g be (18/12)/((-33)/(-484)). Let z be ((-70)/g - -3) + 24/11. Solve -4*q - z = -18 for q.
4
Suppose -15*g + 12*g = z + 496, 0 = 5*g - 2*z + 845. Let n = 183 + g. Solve -4 = 5*k + n for k.
-4
Suppose -m - 7 = -12. Suppose 3*y + m*q = 6 + 14, 4*y - 5*q + 20 = 0. Solve y = 3*s + 1 + 5 for s.
-2
Let i be ((-19845630)/(-108))/109 + 5/(-6). Solve -i*f = -1688*f - 24 for f.
-8
Let n = -3733 + 3733. Solve n = -20*h + 31*h + 22 for h.
-2
Suppose 14320*n + 132 = 14323*n. Solve -46*f + n*f = 18 for f.
-9
Let r(p) = -98*p**2 - 2*p + 3. Let o be r(1). Let f = o - 13. Let l be -4*(f/40)/((-1)/(-1)). Solve -4*q = -l - 1 for q.
3
Let g = 7913 - 7907. Solve 26 = -8*l - g for l.
-4
Let y(r) = -5*r**2 - 2*r + 19. Let v be y(5). Let t = -115 - v. Let q be 2 + (-5)/((-5)/t). Solve q = -4*s + s for s.
-1
Let y be (-103)/4*-4 + (-3 - 0). Suppose 3*l = y - 76. Let u(g) = -g**2 + 2*g + 4. Let w be u(2). Solve -w*p + 2*p - l = 0 for p.
-4
Suppose 0 = 2*z - 4, -4*u = 4*z - 3*z - 706. Let t = 246 - u. Let x be 4 - 138/36 - t/(-12). Solve 4*p = p - x for p.
-2
Suppose -21 = -2*p + u, -2*p + 2*u + 0*u + 18 = 0. Suppose p = x + x. Suppose -4*v + 7*v + y = x, 0 = 5*v - 4*y - 10. Solve -3*o + 7 + v = 0 for o.
3
Suppose 34*d + 29*d + 1 - 253 = 0. Solve d*i - 33*i - 116 = 0 for i.
-4
Let m(i) = i**3 - 35*i**2 + 192*i + 284. Let x be m(29). Solve -11*p + 773 = x for p.
-3
Let d be (-1)/(-6) + 1479/306. Let r(f) be the third derivative of f**5/60 - f**4/12 - 2*f**3 - 3*f**2. Let t be r(d). Solve t = p - 0 for p.
3
Suppose 161 = -q - 147. Let c = q + 320. Solve -17*t - c = -13*t for t.
-3
Let b be -218*(-12)/(-3 - -15). Solve -26*k - b = -166 for k.
-2
Let p = 71 - 71. Let s be 6/9*6 - 1. Solve p*o = -o - s for o.
-3
Let d be (-15)/((-150)/235)*2. Solve 0 = d*l + l - 192 for l.
4
Suppo