 = -a + 2*d - 1 for a.
-1
Let f = -49 + 52. Suppose -3*n + 45 = 2*n - 5*k, f*n + 4*k = 27. Suppose w - 4*w = -n. Solve 5*y + 0*x = -x + 23, -5*y = -w*x - 31 for y.
5
Let g = -14193 + 14226. Solve g*d = -4*x + 34*d + 4, x = 2*d - 6 for x.
2
Let m be 3 + 3 + -3 + -5 + -36. Let k = m - -40. Suppose -6 = -k*c - 2. Solve u = -4*d - 3 - 15, c*u = d for d.
-4
Suppose 0 = 2*i + i - 12. Let o = 34 + -32. Let r be o + (5 - 4) + (-1 - 2). Solve r = 4*a - 4*n - 28, i*n - 2*n = a - 11 for a.
3
Let l be (-1)/(-5) + 122/(-10). Let h be (l/10)/((-15)/50). Suppose 6*g - h*g - 20 = -4*t, g - t = 4. Solve -14 = 4*p + 4*i + g, 10 = 5*p - 2*i for p.
0
Let n = 10 + -10. Suppose -j = 2*h - 4*h + 1, n = h - 3*j + 7. Suppose -3 = -h*t + 3*g, t - g = -0 + 2. Solve w + 4 = 9, -w = b - t for b.
-2
Suppose 0 = 66*z - 1737 + 417. Solve z = -4*q, 0 = 2*c + 222*q - 220*q + 10 for c.
0
Let k = 850 - 843. Suppose -k*r - 19*r + 260 = 0. Suppose -y - h = -4, 5*y = 4*y - 5*h + 12. Solve 3*n - r = -y*m, -2*n + 5*m = 3*n for n.
2
Let w(k) = -118*k + 3203. Let l be w(27). Solve -p = -3*t + 14, 0 = -2*p + 7 - l for t.
3
Let p(t) = -21*t + 170. Let a be p(8). Suppose -14*h + 48 = -a*h. Solve 0*o = 2*o + 4*v + 20, h*o + 12 = -v for o.
-2
Let j(f) = 11*f**2 + 57*f + 79. Let k be j(-3). Solve d + k = 302*v - 304*v, -5 = 4*v + 5*d for v.
-5
Suppose 0 = j + 8*j - 9. Let d(f) = 4*f**2 - 2*f + 1. Let t be d(j). Solve -t*k - 10 = 2*h, -k - h - 12 = 4*k for k.
-2
Let u be (1 - 2 - 2)/(9/(-12)). Suppose -u*p = -19 - 25. Suppose 0 = 2*o + 1 - p. Solve 12 = -0*s + 4*s, 0 = o*q + 5*s for q.
-3
Suppose 5*b + x - 4 = -2*x, 0 = 3*x + 21. Solve 0*f + b*s - 21 = 4*f, 13 = -3*f + s for f.
-4
Suppose -32 = -43*g - 20*g + 55*g. Solve -4*t - 54*l + 53*l - g = 0, 16 = -t - 4*l for t.
0
Let c(d) be the third derivative of -d**6/120 - d**5/12 + 11*d**4/12 - 2*d**3 - 5*d**2 + 4. Let m be c(-8). Solve m*f = -a - 9, f + 3*a + 22 = 6 for f.
-1
Suppose v = -f + 8, v = -5*f + 601 - 581. Solve 1 = -n + y - 0*y, 0 = -f*n + y + 1 for n.
1
Let t = 31 + -22. Suppose 0 = 7*s + t - 44. Solve 3*q + 15 = -2*h, -2*h + 0*h - s*q = 21 for h.
-3
Let r(y) = y**2 - 12*y + 3. Let p be r(-15). Suppose -p*h = -416*h + 64. Let t be 2/8 - (-19)/4. Solve 21 = -t*u + 3*k - h, 5*u - 5*k + 35 = 0 for u.
-4
Suppose 8*y = -10*y + 90. Suppose -12*s = 14*s - 25*s. Let b = 1 - 1. Solve 5*h - o - 5 + s = b, -5 = -y*h - 4*o for h.
1
Let h = 256 + -246. Let w be ((-3)/(-2))/(21/28). Let i = h - w. Solve -3*u - 4*c - 17 = -i*u, -2*c = 2*u + 4 for u.
1
Let w(g) = -11*g**2 + 184*g + 54. Let n be w(17). Solve 8 = 4*b - i, -b = n*b - 2*i - 4 for b.
3
Let h be ((-16)/(-12))/((-6)/(-9)). Suppose h*t - 2*c - 34 = 0, 0 = t + c - 1 - 8. Suppose 0 = -11*m + t*m. Solve 5*o + 5*i - 25 = m, 2*o = o + i - 1 for o.
2
Let j be 10/45 + (-102)/(-27). Suppose -g = -4*w + 179, 3*w + j*g = 4*w - 26. Let v = w + -44. Solve -v*x = -5*a + a + 10, x - a = 0 for x.
5
Suppose 0 = -4*r - 474 + 562. Suppose -17*h - 15 = -r*h. Solve 0 = h*c - 4*b + 4, 5*c + 8 = 4*b - 4 for c.
-4
Let a be (-4)/(-6)*-3 + 5. Suppose q - 53 = -31*u + 40, 0 = -4*q. Solve a*h + 4*r = -2*h + 17, -h = -u*r - 11 for h.
5
Let a be -18*(140/(-15))/7. Suppose -32 = -h - a. Solve -2*p + 4*z = 16, h = 2*z + 2*z for p.
-4
Let a(m) = -12*m + 7*m - m**2 - 42 - 13*m. Suppose 187*t + 1095 = -1710. Let q be a(t). Solve 30 = -5*b - 5*u, q = -4*b + 3*u - 0 for b.
-3
Suppose -8*y = 2*y - 47*y. Solve a = -4*r + 6, 5*r + 10*a - 5*a = y for r.
2
Let h be (22/(-99))/((-2)/261). Solve -7*t + 3*t = 5*k - h, k + t - 6 = 0 for k.
5
Let d be (-66)/242 + (-9)/(-33). Solve -4*q + 4*u - 16 = d, -5*q = -0*q + u - 10 for q.
1
Let x = 938 + -683. Solve -20 = -2*n + 4*u, -2*n + 5*u = -x + 230 for n.
0
Let s = 297 + -181. Suppose -5*d = -2*m - 0*d + 86, d + s = 3*m. Let v = 54 - m. Solve g - 8 = -0*f + 2*f, -4*f - v = -5*g for f.
-4
Suppose 9762 = 8*q + 9690. Solve -4*c = -5*m - 13, m + 5 = q*c - 7*c for c.
2
Let o(u) = -u**2 - 11*u - 15. Let v be o(-9). Suppose 90 = n + 4*n. Suppose -84 + 100 = 4*l. Solve l*s = -v*f - 4, 5*f + n = f + s for f.
-4
Let g = -2612 + 2612. Solve 5*w + 40 = 5*a + 10*w, g = 5*a - 2*w - 5 for a.
3
Let h(m) = -m**3 + 58*m**2 + 176*m + 438. Let n be h(61). Solve p = 5*k - 30, 2*p + 4*k = n - 1 for p.
-5
Suppose -3*j = -3*y - 14 + 2, 0 = 4*y - 2*j + 12. Let d be 1/y - 3/(-12)*2. Suppose d = -k + 6*k. Solve 5*b = -g - k*g - 7, b + g + 3 = 0 for b.
-1
Let p be (-30)/4*(5 + 474/(-90)). Solve 2*i - 13 = -3*h, -p*h - 2*i + 17 = i for h.
1
Suppose -4*c - c = 0, g + 18 = 4*c. Let q be (10/(-3) - 0)/((-12)/g). Let j = -2 - q. Solve -2*p + 3 - 2 = -j*s, -5*s - 19 = p for s.
-3
Suppose -20*b + 16*b + 85 = 1. Solve 0 = -4*l - 3*n + b, 2*l - n - 3 = -0*n for l.
3
Let x(u) = u + 33. Let n be x(-19). Solve 0 = -5*s - d + 4*d + n, -6 = 2*d for s.
1
Let f = -26201 - -26218. Solve -15 = -5*z, -8*d + 3*d - f = -4*z for d.
-1
Let v be 144/27*3/4. Let i(r) = r + 3. Let k be i(-3). Let w be 3 - ((-6)/5)/((-3)/(-15)). Solve k*g - g = -a, w = -v*g - 5*a for g.
-1
Suppose 3074 = -10*c + 8624. Let t = -548 + c. Solve z + 3 = g, -5*g + 0*g + 3*z + t = 0 for g.
-1
Let v(t) = -5*t + 158. Let f be v(28). Solve 4*l + 4*q + 20 = 0, -5*q = -f*l + 13*l + 15 for l.
-1
Let v(o) = o**2 + 9*o - 40. Let h be v(-12). Let j = 0 - h. Solve -j*r + b - 19 = 0, -r + 2*b - 19 = -3*b for r.
-4
Suppose 0 = 12*t - 50 + 2. Suppose 0 = f - 3*f - 4*r + 16, -3*f - t*r + 18 = 0. Let l be ((-6)/(-4))/(9/12). Solve 0 = -f*m + 6, -2*k - l*m + 14 = -4*k for k.
-4
Suppose 12*u - 16 = 8*u, -5*i + 5*u + 65 = 0. Solve -4*j - g = -15, -26*j = -23*j - 5*g - i for j.
4
Let s(k) = -23*k - 8. Let m be s(2). Let d = m + 58. Let z be 23 + -5 + d + -3. Solve 0 = -5*r - 2*t + z, t - 5*t - 2 = 2*r for r.
5
Let y be ((-10)/18)/((-54)/486). Solve 0 = -5*b - 4*t + 19, -b = -2*t + 4 - y for b.
3
Let n = -1148 + 1094. Let j(g) = g**3 + g**2 + 3*g + 4. Let k be j(-4). Let u = n - k. Solve -10 - 1 = -3*b - s, -u*b + 3*s = 11 for b.
2
Suppose 35*k = 37*k. Suppose k*w + 20 = 10*w. Solve 2*i + w*x + 4 = -0*i, 0 = 4*x - 12 for i.
-5
Let v = 14708 + -14706. Solve 2*c - 5*g + 1 = 0, -c + v*g + 0*g - 1 = 0 for c.
-3
Suppose -50*j - 68 = -54*j. Solve -j = 2*k - 18*v + 21*v, 0 = -v - 3 for k.
-4
Let a(w) = 3*w**2 + 240*w + 18. Let h be a(-80). Solve -3 = -z - 3*t, 5*t + h - 28 = 0 for z.
-3
Let b = -228 + 264. Let w be (-3)/6 + b/8 + 0. Let d = 1 + 0. Solve -w*a - 5 = -i, -a + d = 4*i - 2 for i.
1
Suppose 9 = 3*h - 3. Let s(f) = -f**2 + 4*f - 5. Let p be s(h). Let n be p/(5/(-3)) + -1. Solve -2*r + 2 = -2*w, -4*w - n*r + r + 16 = 0 for w.
3
Suppose 0 = -5*v - 4*r + 66, 2*r = 4*v - v - 66. Solve f + 17 = -0*s - 3*s, -2*s = 2*f + v for s.
-4
Let y = 3426 + -3416. Solve m - y = 3*v, m - 3 + 1 = v for v.
-4
Let w be (-3)/(-24)*(0 + (48 - -8)). Solve 2*h - 5*i - 21 = 0, 5*i + 2 + w = -2*h for h.
3
Let k(b) = 53*b + 16. Let v be k(5). Suppose 0 = -11*i + v - 6. Suppose -11*z = -8 - i. Solve 12 = -4*n - 2*j, -5*n = -z*j + 8 + 29 for n.
-5
Let g be (17 - -9) + 10 + 4 + 1. Suppose g*b - 68 = 37*b. Solve 2*q = -5*j - 0*q + 15, -2*j - 3*q = -b for j.
1
Suppose 0 = -l + 2*l - 6*l. Suppose -4*k + 8 = -l*k - 2*c, -4*c + 32 = 4*k. Suppose 0 = -0*n + k*n + 3*n. Solve n = 3*s - g + 10, -s = 3*g - 11 + 1 for s.
-2
Let l = 5538 + -5536. Solve 5*i + 2 = -l*o - 0, -i + 4*o = 18 for i.
-2
Let y be ((-12)/10)/(6/(-40)). Let r(l) be the first derivative of -l**2 + 19*l + 3243. Let g be r(y). Solve g*p = -5*f + 9 + 17, -4*f - p = -18 for f.
4
Suppose 83*x - 948 = 4*x. Solve 5*a - 4 = -4*n, a + x = 4*a for n.
-4
Suppose u - 21 = -2*g + 1, 0 = -4*u. Let j = g + -7. Suppose 0 = j*l - 2*h - 86, -3*h = -4*l - 6*h + 81. Solve d - 15 = -3*o, -3*d + l = 5*o - 8 for o.
4
Let l(z) = 48*z + 821. Let b be l(-17). Solve 2 = -2*p - 4*j, -b*p - j + 2 = -20 for p.
5
Suppose -13*g = -20*g + 9*g - 14. Solve 2*m - 59 + 25 = -5*j, j = -5*m - g for m.
-3
Let z = -2874 + 2876. Solve z*k = -2*i - 6, 4*k = -k for i.
-3
Suppose -6*f + 269*q - 267*q = -56, f - 3*q - 28 = 0. Solve 0 = s, -5*i + f*i + 4*s = -2 for i.
-1
Let l(d) = 51*d + 922. Let q be l(-18). Solve 0 = 12*a - 10*a + 4, 4*t + 2*a = -q for t.
0
Let x(u) = 34 - u + 3*u + u - 4*u. Let m be x(28). Solve 5*l = -4*s - m, 5*s + 18 = -0*s - l for s.
-4
Let p = -5471 + 5474. Solve s +