7, 3*w = -5*k + 14 for w.
-2
Let m be (-4)/10 - (2184/(-130))/7. Solve 3*r + m*n = -2*r + 6, 0 = -5*r + 2*n - 6 for r.
0
Suppose i - 2*i = -33. Let g = 37 - i. Suppose 0 = -3*v + g*f + 8, -5*v - 1 + 18 = -3*f. Solve -5*c = v*n - 36, n - 3*c + 8 = -0*c for n.
4
Let m be 2/((-56)/8 - (-1 - 7)). Solve -4*o = -12, -o - 5 = -2*k - m*o for k.
1
Suppose 3*j = j + 10. Let t(h) = -31 - 2*h + 3*h + 2*h + h. Let u be t(9). Solve -20 = u*s + 4*y, -3*s + y = 7 + j for s.
-4
Suppose 7348 = 31*z + 6976. Solve -3*s = -u - 1, -60*s + z = -56*s + 4*u for s.
1
Let q = 35 - 128. Let r = 119 + q. Suppose -7*v = -2*v - 15, t + 4 = 3*v. Solve -3*f - 26 = 5*o, -5*o - t*f = -o + r for o.
-4
Let r(d) = 2*d**2 + d + 1. Let s be r(3). Suppose -5*p + s + 3 = 0. Solve -4*y + 3*c - p*c = 0, 3 = -3*y - 3*c for y.
1
Let f(k) be the third derivative of -k**4/3 + 3*k**2. Let y be f(-1). Let h be 6*16/(-84)*35/(-10). Solve 2*w - y = -4*u, -3*w + 3*u + 8 = -h for w.
4
Suppose r + 4 = 3*g, -2*g + 4*r + 20 = 4. Suppose s - 2 - 1 = g. Solve -z = 5*t - 7, -s*t - 3*z - 1 = -10 for t.
1
Let p = 18399 + -18395. Solve 4*o + 16 = -3*s, -123*o = p*s - 125*o + 14 for s.
-4
Let n be -2 - (24/(-6) - -2). Suppose -q - o - 2 = 2*q, n = 2*q - o - 7. Let v be (-30)/(-60)*q*(-2 + 6). Solve v = c, -4*x + 0*x - 3*c - 10 = 0 for x.
-4
Let j(z) = -z**2 + 10*z + 185. Let b be j(-9). Solve 5*n + b = -k, -6*k + 7*k - 7 = 2*n for n.
-3
Suppose -3*p + 5*z + 29 = 0, 8*p - 11 = 3*p - z. Let x(a) = a**2 + 55*a + 57. Let q be x(-54). Solve 0 = 2*f + p*b + 21, -2*f - 20 = q*f + b for f.
-3
Let n(r) = 46*r**2 - 17*r - 7. Let j be n(-3). Let l = j - 443. Solve -5*u = -2*u - v - 5, 5*u = 5*v + l for u.
1
Suppose -40*c - 20 + 43 + 177 = 0. Solve 0 = z + c*h + 3, 0 = 10*z - 7*z + 4*h - 2 for z.
2
Suppose -2*v + 3*l - 13 = 8, 0 = -3*v - l - 4. Let z be (-19)/(-57) + (-26)/v + -6. Solve 13 = -3*m - 5*o + z, 3*m + 3*o + 6 = 0 for m.
0
Let u(i) = -i**3 - 4*i**2 - 8*i - 61. Suppose -5*b + 4*g = -b + 36, 0 = 5*b - 3*g + 37. Let r be u(b). Solve -4 = r*o - 3*v - 12, -4*o + 4*v = -12 for o.
-1
Let i(b) = b**3 + 8*b**2 + 5*b - 11. Let k be (-1)/(4/28*1). Let r be i(k). Let u be r + -5 + (-3 - -10). Solve 0*z - 4*c = -2*z - 14, 5*c = u for z.
-5
Let d(r) = r**3 + 6*r**2 - 3*r + 31. Let k be d(-7). Let q be k/((-45)/(-12))*5. Solve 3*l = -q*y + 3, -2*y + 3 = 2*l + 1 for y.
0
Let y be 10/6 + -1 + 2752/2064. Solve -12 = -s + y*a, -a + 12 - 9 = 4*s for s.
2
Let w(g) = 9*g - 5. Let i be w(1). Let t be 1*(2 + -1 + i). Solve 0 = 4*v - t*b - 12 + 43, -5*b = -3*v - 27 for v.
-4
Suppose 11*f = -21*f - 9*f + 902. Solve -l - 1 = 3*o, -2*o + 23*l = 18*l - f for o.
1
Suppose 9*r = -3420 + 3447. Solve -10 = 3*u - 1, u = r*t for t.
-1
Let i(x) = -x**2 - 15*x + 1. Let l be i(-15). Suppose 2*w - 3 - 22 = -5*o, -3*o - l = -2*w. Solve -3*q + 3*y + o = 0, 0 = -y - y + 4 for q.
3
Let y = 580 - 515. Let p = y - 45. Solve 3*o + x = -4*x - p, 5*o = 4*x - 21 for o.
-5
Let b be -31 - (-4350)/140 - (-110)/28. Solve -11 - 5 = -b*l, 0 = j + 4*l - 14 for j.
-2
Let a(x) = -7*x**2 - 23*x - 4. Let h be a(-3). Suppose -25 = 3*g + 2*g. Let c = g - -10. Solve 3*i - h = 5*w, c*i - 3*w + 7 = -5*w for i.
-1
Suppose -2*i + 4*u = -28, 422*i - 421*i - 35 = 5*u. Solve -4*z - 24 = 4*c, 4*c + 5*z - 3*z + 18 = i for c.
-3
Let c = 44 - 54. Let t be 6/2*5/c*-2. Suppose 0 = -t*h + 4*h + 8*h. Solve -5*n + 3 = -2*p, -5*n + h*n = 3*p - 8 for n.
1
Let y(t) = 10*t + 238. Let l be y(-22). Solve 1 = d - 2*d - f, 3*d = 2*f - l for d.
-4
Let m(l) = l**2 - 11*l + 34. Let r be m(4). Let o be 1 + r + (-26)/13. Solve -o*u = -2*y - 25, -3*y - 5 = 3*u + 1 for u.
3
Suppose -7*n + 94 = -9*n. Let q = 44 + n. Let i(p) = -2*p**2 - 7*p - 2. Let s be i(q). Solve 2*k - 2 = 3*j - s, -5*j - 5*k = -15 for j.
1
Suppose -s - 2*l + 1508 = 2*s, 0 = l - 4. Let r = 504 - s. Solve -r*x + 18 = -3*z, -2*x + 6 = -2*z - 4 for z.
-2
Suppose -145*o - 28*o + 3633 = 0. Solve -5*d - o = y, -5*y + 15 = -25*d + 26*d for d.
-5
Let z be 4/22 + 1722/451. Solve -14*u + 9*u + 10 = 3*s, -s + z*u - 25 = 0 for s.
-5
Suppose -2*k + 15 + 42 = p, -72 = -p + 3*k. Let c be 53*(0 + 1)/(-1). Let s = c + p. Solve 0 = -5*q + 5*o - s, 0 = -2*q + o + 2*o - 4 for q.
-2
Suppose -5*g = 2*z + 297, 2*g = g - z - 57. Let j = g + 63. Suppose -3*k + 75 = -3*b, -2*k - 2*k - j*b = -88. Solve -y + 22 = -4*f, -5*f = 4*y - 3*y + k for y.
2
Let k be ((-87)/(-2))/((-29)/58). Let n = 91 + k. Solve -5*t - 5 = 4*h + 3, n*h = t - 8 for t.
0
Let k(o) = 78*o**2 + o. Let y be k(1). Let t = 156 - y. Suppose -3*i = -t + 32. Solve 4*q - q - 8 = -2*d, 5*d = -5*q + i for q.
2
Suppose 11 = -5*r + 26. Let x = -3 + r. Suppose -o - 9 = -3*j, -6 = -2*j - x*o - o. Solve -13 = t + 3*c, 5*t - c - 2 + j = 0 for t.
-1
Suppose -42*r = -29*r - 130. Let k be r/(-3)*(-51)/34. Solve -g + k*g = -c - 13, -2*g + 4*c = 20 for g.
-4
Let d = -229 - -241. Suppose l - 19 = 7. Let z = l - d. Solve -5*t + z = -s + 1, 16 = 2*t - 4*s for t.
2
Let a be (-8)/(-5)*(-35)/(-28). Solve -2*w - 5*l = -4*l - 10, -2*w - a*l = -12 for w.
4
Let x = 5 + -1. Suppose 4*p + j - 13 = 0, -2*j + 9 = 5*p - 11. Suppose g - 13 = -p*v, 3*v = x*g + 1 - 9. Solve -v*i - i = -5*c, -14 = 3*c + 4*i for c.
-2
Suppose -o + 0*w - 5*w + 5 = 0, 0 = -4*o - 2*w + 38. Suppose -73 + 193 = o*q. Solve -16 = 4*y - 4*d, 2*y + q = -y - 5*d for y.
-4
Let f be (-2)/2*(-3 - -1). Let b be (5/(-2))/(f/(-4)). Let w = 86387 + -86387. Solve b*d - 5*k = -2*k + 4, -4*d - 4*k - 16 = w for d.
-1
Suppose 12*n + 249 + 327 = 0. Let b be 0*(-32)/n*(-1)/(-2). Solve -k + b*f + f + 6 = 0, -5*k = f for k.
1
Suppose -6*t + 20 + 4 = 2*t. Solve g + 22 = -a + 15, 0 = g - a + t for g.
-5
Let c = 6659 - 6656. Solve -5*o + 7*v - 6 = 5*v, 0 = o + v - c for o.
0
Let j = -3399 + 3431. Solve -3*r - 6*q + q - j = 0, -4*r - 3*q = 28 for r.
-4
Let y be (72/42)/(-6) - (-1180)/14. Let s be (y/14)/(-2*(-1)/1). Solve 6*g + 27 = 3*g + 4*c, 5*c = s*g + 30 for g.
-5
Suppose -30*g = -3435 + 3375. Solve -5*s = -6*s - g*z - 15, 3*z + 10 = s for s.
-5
Let z be 1/2 - (-39)/26. Suppose -5*m + 12 = -z*m. Let q be (-48)/80 + (-72)/(-20). Solve -m*d - q*y - 20 = 0, -d + 4 = -y + 2 for d.
-2
Suppose -9 = -3*b, 0 = 7*x - 16*b + 11*b - 6. Solve x*s + 3*j = -6, j = 3*s - 8*s - 10 for s.
-2
Let i be (-22 - 34/(-2)) + 5*2. Solve 0 = -p + 6*c - 4*c, i = 5*c for p.
2
Let p(v) = -2*v - 17. Let d be p(-11). Let b = 28 - 36. Let f = b - -13. Solve f*g - 20 = 0, -x + 36 - 15 = d*g for x.
1
Suppose 2*w = 4*w - 10. Let t(g) = 4*g + 46. Let u be t(-11). Let o be 1*(-2 + u)/(12 - 15). Solve -2*l = k - o - w, -5*l = -2*k + 1 for l.
1
Suppose -2*o = -5*x + 34, -2*x - 2*o = -5*x + 22. Let n be (0 + x/(-4))*-18. Solve 0 = -3*y + 3*j - n, 0*y = -2*y - 3*j + 2 for y.
-5
Let l be -3 - (-4 - ((-343)/(-35) + 5/25)). Solve 5*k = 3*i + 14 + l, 5*i - 5 = -k for i.
0
Let g be -3*(2/(-11) + 5/(-33)). Let b be (1 - g) + (-9)/(27/(-24)). Solve 3*s = 3*l + 21, 0 = l + 4*s + b - 26 for l.
-2
Suppose -433 + 3345 = 52*c. Suppose -585 = -c*t + 535. Let a = 3 - 3. Solve -24 = -x + 5*l, -2*l - 2*l - t = a for x.
-1
Let a = -15 + 31. Let x(f) = f**2 - 7*f - 5. Let u be x(8). Suppose -5*d + 6 = -3*c, -2 = -5*c + u*d + 4. Solve -35 = -4*i + 5*b, 6*b = -5*i + c*b + a for i.
5
Let d = -75 - -72. Let m be ((-20)/(d - -7))/(-1). Solve -m*t = 2*v - 35, 15 = v + 4*t - 2*t for v.
5
Let p = -324 + 331. Let i be (-2 + 2)/((-18)/(p - 1)). Solve -m + i*m - f = 0, 0 = 2*f - 10 for m.
-5
Suppose -4*g - 9*g + 39 = -26. Solve -g*z + 2*s + 2 + 17 = 0, 7 = -z - 5*s for z.
3
Let q = 376 + -372. Suppose q*x = -20*x + 144. Solve 3*c - x = -2*g + 11, 5*g - 20 = -3*c for g.
1
Let f(k) = -170*k - 1358. Let j be f(-8). Solve -14*a = -10*a - 3*h + 10, -j*a - 5*h - 18 = 0 for a.
-4
Suppose 29 = 17*c - 5. Suppose 4*h - c = 3*h, 4*r - h - 18 = 0. Solve r*v + 5 = 5*j, 3*j + 5 = -3*v - 16 for j.
-3
Suppose 0 = -3*h + 17 - 83. Let w be (3/2)/(h/(-44)). Suppose 7*q = 2*i + 6*q - 17, -4*q + 12 = 2*i. Solve -5 = -5*t - l - 2*l, -w*t - 4*l = i for t.
4
Suppose -40 = -7*d - 3*d. Suppose -d*s = 16*s. Solve s = k - u - 4, 0 = -k - 2*u + 4*u + 5 for k.
3
Let s = 945 - 953. Let h be s/5*30/(-12). Solve -2*m - 20 = h*c - 5*m, -22 = c - 5*m for c.
-2
Let f = -49 + 104. Let h = f - 53. Solve 0*g = g - h*x - 6, -5*x = 4*g + 28 for g.
-2
Suppose 4*y = 2*m - 0*y