-9*w for d.
1
Suppose 0*w - 3*w - 2*j = -5, 2*w = 4*j - 2. Suppose i = 3 - w. Let h be 4 + (i - 3) - 0. Solve 0 = 3*g - 4*v - 4, 4*g + 3 = -h*v - 0 for g.
0
Let t = 4606 + -4601. Solve 2 = t*i + 4*r, 5*i = 4*r - 7 - 15 for i.
-2
Let g(v) = -2*v**2 - 7*v - 15. Let h be g(-3). Let m(s) = 2*s**2 + 8*s + 12*s + 3*s - 10. Let a be m(h). Solve -2*i = c - a, -2*i - 4*c = -6*c + 10 for i.
-1
Let m(u) = -9*u - 61. Let c be m(-7). Suppose -c*z - 2*d + 23 = d, 5*z = d + 15. Let a = 2 + 2. Solve z*o - n + a = 0, 0*n - 4 = n for o.
-2
Suppose 13*g - 30 = -2*g. Let m(f) = f**2 - 3*f + 2. Let k be m(2). Solve k = 4*p + a + 5, 0*p + g = 2*p - 4*a for p.
-1
Let m(t) = -1492*t - 2966. Let a be m(-2). Solve 5*y - 18 = 10*y + 2*i, -y + a = -5*i for y.
-2
Suppose -3*a = -2*x + 27, 0*x - 5*x = -a - 35. Suppose -x = 5*c - 106. Solve -2*l - 4*v = -c, 0 = -3*l - 4*v + 24 for l.
4
Let z(m) = -2 - 2*m + 0*m - 17 + 3*m. Let n be z(27). Suppose 0 = -5*v + 13 - n. Solve -v = -l + 2*i - 2, -l + i = 0 for l.
1
Let f = -14 - -12. Let o be 6/f + 9/(27/12). Solve 4*j + 17 - o = 0, -13 = -3*t + 4*j for t.
-1
Suppose -25*v = -574 - 176. Solve 2*k = -5*q + 5, 5*q - 19*k + 14*k + v = 0 for q.
-1
Suppose 4*u = -3*p + p + 1150, 1454 = 5*u - 3*p. Let h = u - 286. Solve 4*a = -4*m, -4*m - h*a = -2*m + 4 for m.
4
Suppose 21*c - 27 = 13 + 65. Solve y - 1 = 0, 5*p - y + c*y + 11 = 0 for p.
-3
Let v = 188 - 186. Suppose 5*q + 15 = 0, -11 + 0 = -d - v*q. Solve 3*r + 1 = y - 6, -5*r - d = -3*y for r.
-1
Let v(z) = -6*z + 2. Let h be v(-3). Let l be 15543/1188 - 1/12. Suppose -h*y + 21 = -l*y. Solve 3*t - 7 = 4*n, -y*t + n = -2*t - 3 for t.
5
Suppose 0 = -2*c + 5*c - 15, 4*d - c - 119 = 0. Let v(b) = b**3 - 33*b**2 + 60*b + 67. Let g be v(d). Solve -5*a + g*u + 4 = -16, 2*a - 5*u = 5 for a.
5
Let w(o) = 11*o**2 - 7*o - 7. Let t be w(-1). Suppose -4*v - 28 = -t*v. Solve 4*r - 8 = v*m, r + 5 - 2 = -4*m for m.
-1
Suppose -29 = 4*a + 55. Let p = a - -27. Let q be p/15 - 1/((-15)/9). Solve 18 = 3*b + 3*j, -2*b = -2*j + q - 9 for b.
5
Let r(p) = p. Let a(y) = 4*y - 4. Let w(k) = a(k) - 5*r(k). Let s be w(-7). Suppose s*g - 13 = -7. Solve 2 = -5*l + q, -q + 0*q + g = l for l.
0
Let v be 33/(-5) - (-10)/(-25). Let p = -5 - v. Suppose -4*k = -i - 58, -5*i = 3*k - 31 - 24. Solve p*u + 2*g = -g - 17, 0 = 5*g + k for u.
-4
Suppose 0*r = r - 14. Let t = 18604 - 18602. Solve -4*o - t*x = r, 6 = -4*o - x - 7 for o.
-3
Let t(l) = 205 - 207 - 1882*l + 1869*l. Let i be (-2)/1*(-1)/(-2). Let h be t(i). Solve h = g - 2*v, 3*g + 4 = 2*g - v for g.
1
Suppose -3*x + p + 9 = 0, -51*p + 48*p - 9 = 0. Solve h + x*h - 5*j - 20 = 0, 3*h + j = -4 for h.
0
Let w be 51025/(-260) - (1/(-4))/1. Let u = w + 285. Suppose -4*x - 77 = -u. Solve 3*n = n - x*k - 6, k = n - 7 for n.
3
Let v(h) = -2*h + 18. Let b be v(6). Let p be ((8/b)/(-4))/((-1)/27). Suppose 6*u - p*u = 0. Solve 15 = 3*s + 3*y, -4*s + u*s + 4*y = 12 for s.
1
Let i = 3 + -9. Let f be 5*(2/(-4) - 121/(-110)). Let n be (f*10/i)/(-1). Solve -5*a = 3*s, s = -n - 0 for a.
3
Let t be 2*(3 + 9/(-9)). Suppose 0 = -m + 4, -2*i = -5*m + t*m - 6. Solve -14 = b + 5*g + 1, i*b - 17 = -2*g for b.
5
Let x = -4 + 8. Suppose 3*v - 21 = -4*v. Suppose -4*j - 5*n + 4 = -4, -5*n = -2*j + 4. Solve 4*i = v*s + 1, -x = -s - j*i - i for s.
1
Suppose -2*b - 1433 = -3*m, -5*m + 3*b + 2178 + 209 = 0. Let q = -471 + m. Solve j = 3*w + q*j, 5*j = -w - 12 for w.
3
Suppose -7198*i + 144 = -7189*i. Solve -9*p + 4*y = -13*p + i, -3*y + 6 = 0 for p.
2
Let x be (-1 - 0)/((-8)/40). Solve 5*z + 4*p + 15 = 0, 0 = -5*z + 5*p - x - 10 for z.
-3
Let j(i) = -30*i - 68. Let x be j(-2). Let y(u) = u + 13. Let m be y(x). Solve 14 = 5*s - 3*k + 4*k, s = -m*k + 22 for s.
2
Let o be 2/(-5) + (-108)/(-20). Suppose o*x - 5 - 5 = 0. Suppose 0 = -3*l + 7*c - 52, 130 = 3*l + 5*c + 62. Solve a - 4 = -l*z + x*z, -3 = -3*z for a.
0
Suppose 89*d - 20 = 109 + 49. Solve 8 = -d*j, -4*j + 1 = 3*r + 14 for r.
1
Let q(z) = -15*z - 12*z + 25*z - 61 - 10*z. Let j be q(-7). Solve 9 - j = 5*v + m, -2*v = -m for v.
-2
Let o be 0 - 7/(21/(-774)). Let x = 183 - o. Let i = -71 - x. Solve 4*h - i - 3 = 5*t, 0 = 5*h + 5*t + 25 for h.
-2
Let k = 3745 + -2634. Let u = 1127 - k. Let l be ((-6)/(-4))/3*10. Solve 5*i = t - u, l = -4*t - 3*i - 0 for t.
1
Suppose 3*s = 2*y - 23, -3*s + 5*s + 26 = 4*y. Suppose 0*g = 9*g - 211 + 193. Solve 4*n + 13 - 4 = k, 0 = g*k + 3*n + y for k.
1
Suppose -78 = -11*v - 45. Solve -3*j - 15 = 0, v*b + 4*j - 7*j = 24 for b.
3
Let o(q) = 3*q**2 + 36*q - 184. Let w be o(4). Solve -25*y - 13 = -a - 28*y, 4*a = -y + w for a.
1
Let l = -7 + 16. Let t = l + 0. Suppose t*x - 11 = -2. Solve -4*w + 5*p + 0 = -x, -2*p = 2 for w.
-1
Let b be (-12)/(1 + 1) + (-6770)/(-677). Let o(z) = -9 + 6*z + 8*z - z**2 - 1. Let u be o(12). Solve 0 = -b*g + v + 14, 0 = -4*g + 3*v - 4 + u for g.
4
Suppose 80*c = 82*c + 152. Let x = 60 + c. Let t = x - -32. Solve 4*j - 2*p - 16 = 3*p, t = 4*j - 3*p for j.
4
Let y(j) = -607*j + 8501. Let a be y(14). Solve 0 = -f + 5*d - 17, 180 = -2*f + a*d + 167 for f.
-2
Suppose -x - 6 = -40. Let c = 39 - x. Solve -14 = c*f + 2*v, -17 = 5*f - v + 2*v for f.
-4
Let k(r) = -5*r - 43. Let o be k(-12). Suppose -16*w + 15 + o = 0. Solve c = -3*u + 4*c - 9, 5*c + 6 = -w*u for u.
-3
Let t be ((-15)/(-3) - 13)*(-105)/168. Solve -j = -t*i - 20, -j - 4 = -0*j + i for j.
0
Suppose 9*t + 6 = 10*t. Suppose y - t = 3*y, i + 2*y - 3 = 0. Suppose -2*b = -3*z - 14, 3*b + z = i + 12. Solve 5*s - 4 = 2*r + 7, 4*r + 5*s + b = 0 for r.
-3
Let r(s) = s**3 + 55*s**2 - 7*s - 376. Let a be r(-55). Solve 3*y = -5*d, -a*d - 4*y = -4*d for d.
0
Let p = -13949 - -13952. Solve -f + 13 = -p*y, 2*f + 23 = -5*y + 16 for y.
-3
Let i = -41496 + 41499. Solve -2*b = 3*z - 1, -i*z + 4 = 17*b - 18*b for b.
-1
Suppose -3*w + 27 = -4*m, -1 = 3*w + 4*m - 4. Suppose -2*x = 4*c, -2*c + w - 9 = -x. Solve 0 = -4*n + 4*y + 12, 0 = 3*n + 5*y + x + 5 for n.
1
Let v(s) = s**2 + 2*s - 6. Let b be v(-4). Suppose -b*c - u + 48 = 0, -7*c - 4*u = -2*c - 126. Solve p + 5*i = c, -2*p + 4*p = 2*i - 4 for p.
2
Suppose q - 4*c + 6 = 0, 45 - 29 = 5*q + 3*c. Let v be q - -1 - (20 - 15) - -13. Solve -3*b = -2*m + v, 0 = 4*b + 29 - 9 for m.
-2
Let w = 43 - 68. Let k be 2 + (2/5 - (-10)/w). Let i be (k*-1)/((-3 + 1)/2). Solve -10 = 2*l - f, 2*l - 1 = i*f - 15 for l.
-3
Let x be (-730)/(-13) - 38/247. Let b = x - 54. Solve 5*o = -b*c + 14, -3*c = -2*c - 5*o + 23 for c.
-3
Let i be 12/78 + 63/13. Suppose -i*n = -10*p + 13*p + 9, -11 = -4*p + n. Solve 3*y + 21 = -5*d, p*d + 3*d = -5*y - 25 for y.
-2
Suppose 6*z = 3*q + 4*z - 26, 0 = -4*q + 2*z + 36. Let o = q - 10. Suppose 3 = 4*r - w, o = -r + 3*w - 14 + 1. Solve -4*i + 1 = -4*n + 9, -r*i - 5*n = -3 for i.
-1
Let m = 1225 - 1220. Solve 5*h + 29 = u + 36, -4*h + m*u = -14 for h.
1
Let g = 28006 - 27997. Solve -3*w + 4*q = 1, 12*w - 13*w - 3*q - g = 0 for w.
-3
Let p = 455 + -307. Let t = p + -146. Solve -4*s + t*u = 8, -u + 3 = -1 for s.
0
Let k be (-30480)/180*(2 + 1). Let m = -485 - k. Solve -3*g - q - 14 = 0, -4*q = -3 + m for g.
-3
Let y be -6 - -671 - ((-24)/6 + -1). Let v = y + -667. Solve -4*n - v*i + 1 = 0, -3*n = -6*n - 4*i - 1 for n.
1
Suppose -8*f + 24 = -0. Let a(m) = m**3 - m**2 - 10. Let g be a(f). Solve -i - 5*o = -2, o - 3 + g = -2*i for i.
-3
Suppose 3*v - 51 = -4*z, -3*v + 0*v + 5*z = -105. Solve 0 = -x - 5*i + 3 - v, -4*i = 4*x + 8 for x.
3
Suppose -95 = -47*y + 65 + 216. Solve r + 3*t + 16 = 0, t - y - 8 = 5*r for r.
-4
Let u(c) = -2*c**2 + 24*c - 16. Let y be u(11). Suppose 0 = 4*o + y + 2, -5*g + 2*o = -94. Suppose 5*l = 43 - g. Solve -5 - 3 = 3*r - 5*d, -r = l*d - 24 for r.
4
Let l(x) = 3*x**3 + 61*x**2 + 76*x + 6. Let q be l(-19). Solve -4*s + q*c + 30 = c, 4*s = c + 22 for s.
5
Let d be (-53)/(-11) + -7 + (-474)/(-66). Solve a - 5*o - 28 = 0, -o + 4*o = -d*a for a.
3
Suppose 103*v = 98*v + 120. Suppose 0 = -9141*o + 9153*o - 60. Solve -o*f - 7 = 2*j - v, 0 = 5*j + 3*f + 5 for j.
-4
Suppose -2*g - 111 = -115. Solve g*o + 12 = -2*p, -9*o + 5*p = -6*o + 2 for o.
-4
Let u = 171 + -76. Let a = 106 - u. Solve -19 = -2*j + 5*q, -j + q = -2*q - a for j.
2
Suppose 22 = 4*w + 7*w. Suppose 4*n + 32 = w*h, -2*n = h - 4*h + 28. Solve 50 = 5*p - 5*i, -5*i + 1 = 4*p + h for p.
5
Suppose 4*n - 16 = -4*c, -6