 -v, v = -4*x - 0*x - k for x.
-4
Suppose -4*y - 32*c + 27*c + 46 = 0, y - 4 = -5*c. Suppose 3*r + y = b, -4*b + 2*r - 12 + 38 = 0. Solve 2*s = b*j + 13, -2*s - j + 4*j = -11 for s.
4
Let o be 50 - 2*(0 - 2). Let p be (264/o - 5) + 452/18. Let d(i) = i + 11. Let z be d(0). Solve -j - z = 5*w, -5*w - 10 = -5*j + p for w.
-3
Let h(d) = 4*d + 2. Let x be h(2). Let p = -50692 + 50702. Solve -3*q + s = -p, 2*s + s = -q - x for q.
2
Let d = 49 - 42. Suppose -4*y - 5*l + 12 = 0, -3*y + d = -3*l - 2. Suppose z + y = 3*b - 1, 5*z = -3*b - 20. Solve -q = 3*x - 6, -2*x - 3*x - q + 10 = b for x.
2
Let t be (-12)/(((-2)/(-4))/((-9)/12)). Solve -3 = -15*g + t*g, -5*f = -5*g for f.
-1
Let n be (-46)/345 - (-62)/15 - -33. Suppose -5*u - 14*y + 38 = -16*y, -n = -5*u + 3*y. Solve 0 = -2*f + u, 2*k - 2*f + 8 = -6 for k.
-3
Let o be -127 + 125 + -6*(-10)/15. Solve -5*q - m = 4*m + 35, -3*q + o*m = -4 for q.
-2
Let c be ((-161)/(-420) - 2/15)/(95/1140). Solve -w - 2*x = 4, -w - c*x + 7 = -6*w for w.
-2
Let r(b) be the first derivative of b**3/3 - 6*b**2 - 3*b + 76. Let n be r(13). Solve -3*z + 2*c + 7 = -3, n = -2*z - 2*c for z.
0
Let b be (-8 - 5)*(-4)/(468/45). Solve -b*t - f = -6*f + 35, -3*t - 7 = 4*f for t.
-5
Let h(v) = -v**3 + 10*v**2 - v + 121. Let t be h(11). Let z be (2 - 5)*(2 - (t + 20)). Solve -z = -5*j - 4*r + 5, -r + 14 = 5*j for j.
2
Suppose 0 = d - 2*d + 2. Let c = 1017 - 1015. Suppose -5*q - 19 = -3*u, c*u - 18 = -0*q - d*q. Solve 2*f + f = 5*v + u, 5*f + 16 = v for f.
-4
Let t(w) = -4*w - 112. Let p(g) = 1. Let o(k) = 5*p(k) + t(k). Let b be o(-27). Solve -s + 0*u + b = -u, 0 = 3*s - 2*u for s.
-2
Suppose -2*o = -0*o - 2. Let z(w) = w**2 + w. Let d be z(-4). Let i be -14 + d - (0 + o - 3). Solve -4*g - 2*m + 0 + 8 = i, -5*m = 10 for g.
3
Suppose -3*c + 33 = 369. Let f be (c/32)/(2/(-20)). Solve 0 = -3*j - s - 7, 6 = -4*j + 5*s - f for j.
-4
Let x = 5427 - 5420. Solve 5*d + 3*m = -6, 1 - x = -d + 3*m for d.
0
Let t(j) = j**3 - 7*j**2 - 10*j + 21. Let n be t(8). Solve -7*u - 16 = n*q - 8*u, -5*q - u = 14 for q.
-3
Let p(c) = c**2 - 38*c + 167. Let r be p(33). Suppose 0 = -x + 4*u + 19, r*x + 2*u = -x + 1. Solve -x*h + 5*t = -19 + 4, 0 = 4*h + 4*t - 20 for h.
5
Let i be (-3 + (11 - 7))/(2/(50 - 6)). Solve -4*k + 4*z - 9 = -33, -3*z = -5*k + i for k.
2
Suppose 3*p + 9 = 0, -14 = h - p - 20. Solve h*x + d = 4, -5*x + d = 66 - 78 for x.
2
Let k(o) = 8*o**2 + 35*o + 1. Let c be k(-5). Suppose 3*v + c = 41. Solve -v = d - 3*y, -4*d - 3*y - 23 = -3 for d.
-5
Let l(n) = 5*n + 47. Let s be l(-9). Suppose -4*b + 2 = 2*w - 8, -3*b = -s*w - 11. Solve -5*o + 8*o + 5*g - 27 = 0, 4*o - 7 = b*g for o.
4
Let v = 3 - -9. Suppose 0 = -v*u + 24 - 0. Solve 3*w + 2*d = 2, 4*w - 4 = -3*d - u for w.
2
Let v be ((-2)/(-4))/((-4)/128*-4). Suppose -l = v*p + 303, 6*p - 4*p + 2*l = -156. Let h = p + 95. Solve -4*b = -2*r + h, 5*b + 3*r - 2 = -5 for b.
-3
Let m(g) = -190*g - 756. Let a be m(-4). Solve -30 = 3*r - p + a*p, -2*r - 3*p - 25 = 0 for r.
-5
Let c be (-1050)/(-1155) - 23/(-11). Solve -4*q - 29*x + 32*x = -19, 0 = -c*q + 4*x + 23 for q.
1
Let s = -54 + 245. Let x = s + -186. Solve -4 = -z - x, 5*z = u - 4 for u.
-1
Let b = 1 - -3. Let l(p) = 32*p**3 - 3*p + 3. Let c be l(1). Suppose -8*x + c = 4*o - 4*x, -2*o + 19 = 5*x. Solve b + 11 = -f + 5*m, -4*m = 3*f + o for f.
-5
Let d(i) = -i**3 + 10*i**2 - 2*i + 31. Let h be d(7). Let v = -140 + h. Solve 0 = -w - 5*j + 12, 4*w - 4*j = -0*j - v for w.
-3
Suppose -3*h - 2*k + 21 = 2*h, 19 = 3*h - 2*k. Let i be 1 + -2 - (-5 - 14). Solve -h*f = 2*v + i, v - 11 = 5*f + 10 for f.
-4
Let u(o) = -8*o + 164. Suppose 165*n - 200 = 155*n. Let x be u(n). Solve 6*y + f - 19 = y, -3*y - x*f + 8 = 0 for y.
4
Let v(s) = 5*s - 11. Let n be v(4). Let l = -1238 + 1243. Solve 2*y - n = i, -4 - 27 = -3*y + l*i for y.
2
Let t(o) = -o**3 + 5*o**2 - o - 9. Let n be t(4). Let a(z) = -1 - 13*z - z + 4*z + 9*z. Let f be a(-5). Solve 0*l + j = -4*l + n, f = 3*l - j for l.
1
Suppose 90*v = 103*v - 104. Solve -2*b = 5*i - v, -52*i + 9 = b - 47*i for b.
-1
Suppose 6*u + 20 = 10*u. Let l be ((-1)/(-3))/(u/60). Let c(w) = w**2 - 3*w + 2. Let m be c(l). Solve 5 = r - 4*h - 9, -r - h - m = 0 for r.
-2
Let t(a) = -a**3 + 21*a**2 + 2*a - 45. Let y be t(21). Let v(l) = -l**3 - 2*l**2 + 4*l + 6. Let s be v(y). Solve -2*c - 5*u + 5 = s*c, -c = 2*u - 1 for c.
1
Let y(s) = s**3 + 13*s**2 + 27*s - 32. Let v be y(-10). Let x be (-23370)/(-969) - v/(-17). Solve 2*r - 3 - 7 = -2*a, 4*a = -5*r + x for r.
4
Suppose 0 = 4*x - 34*x + 24 + 36. Solve d - h + x = 0, 70*h = -3*d + 66*h + 29 for d.
3
Suppose 4251*z - 4269*z + 54 = 0. Solve -z*g - 1 = m - 4, g - 4*m + 12 = 0 for g.
0
Let p = 12 + -9. Let a be 20/((-986)/(-255) + 4/30). Solve -5*o = -o - n - 9, a*n = -p*o + 24 for o.
3
Let r(s) = -20*s + 204. Let j be r(10). Solve -12 = -j*p, -8*f - 15 = -5*f - 5*p for f.
0
Let k be 1170/(-36)*24/(-60). Solve h - 6 - k = 5*u, -u - 3 = -h for h.
-1
Let v be (26/39)/(-10*1/(-90)). Solve 3*a - 2*r + v = 0, 2*a - 5*r = -40 + 47 for a.
-4
Let l be 78/195*(21 + -1). Solve -3*o + f + l = -6*o, -5*o = 3*f + 16 for o.
-2
Suppose 14440 = -12*v + 14500. Solve -8*c = -4*n - 8, -6*c + 4*n + v = -c for c.
1
Let w(f) = 10*f**2 - 72*f + 16. Let t be w(7). Solve a - 21 = -7*g + 12*g, -18 = t*g + 2*a for g.
-5
Let k(z) = z + 16. Let h be k(-11). Suppose -49*p = -25*p - 96. Let q(g) = 6*g - 1. Let r be q(1). Solve 0 = 5*y - h, -p*y + 32 = r*n + 3 for n.
5
Suppose 92*v + 71*v - 129 = 197. Solve -15*u = -12*u + b - 7, -v*u - 4*b = -18 for u.
1
Let q be (-72)/(-39) - 42/(-273). Solve -6*x + 10*x - q*j = 20, 2*x - 4*j = 16 for x.
4
Suppose 10*b - 13 - 27 = 0. Let n = 154 - 149. Solve -b*m - 9 = -n*t + 27, 0 = 2*t - 4*m - 24 for t.
4
Let p be (-21)/(-4) + 9/(-144)*4. Suppose 7*a = 3*a + 20, 0 = 2*z - 2*a. Solve -p*n + 0*n = 5*v, 3*n - z = -4*v for n.
-5
Suppose 0*z - z - 5 = -p, 4*z = -p + 25. Let a(n) = 3 + 2*n + 3 + p - n. Let q be a(-7). Solve u + 5*s + 3 = 4*s, -2*u - 4*s - q = 0 for u.
-2
Let k = -106 + 56. Let j be (-1 - (-18)/5) + k/(-125). Solve 0 = -j*l - 3*f - 21, 0 = 5*f + 20 - 5 for l.
-4
Let v be (1 - (-14 + 14))*(-2 - -1)*-5. Solve -v*r - 5*b - 25 + 5 = 0, 25 = -5*b for r.
1
Suppose 4*b = -3*f + 714, 0 = 2*b + 3*f - 141 - 213. Let h be (b/32 + -6)*(-10 + 2). Solve -2*q + 5*z - 19 = -h*q, -4*q = z for q.
-1
Let x(k) = -2 - 6*k**2 + 4*k**2 + 6*k**2 + k**2. Let s be x(2). Let v be -2*(-2)/s + 20/(-90). Solve 2*j - 8 = -v*j - 2*b, -4*j - b + 10 = 0 for j.
2
Suppose 14*b - 19*b = -10. Suppose 3*w - 11 - 3 = j, b*w - 5 = 5*j. Suppose -3*r = 5*m, w*m = 6*m + 3. Solve 3*c = -r*f - 5, c - 27 = -2*c + 3*f for c.
5
Let f = -299 - -259. Let w be -8*(-21)/30 - (-24)/f. Solve -w*d + 20 = v, 0*v + v = 2*d - 15 for d.
5
Let y(a) = -5*a - 74. Let t be y(-18). Suppose -t*p - 7 + 23 = 0. Solve 2*s + 0*n + 4 = 4*n, 5*s - n = -p for s.
0
Let p(t) = -23*t - 11. Let v = 45 - 50. Let a be p(v). Suppose -2*s + a - 14 = 0. Solve 0 = -4*y + 5*d - s, 3*y - 7*y = 5*d - 5 for y.
-5
Let u(p) = -p**2 - 4*p + 30. Let c be u(-7). Suppose 3*d + c*d = -36. Let w = 6 + d. Solve m + w = 4*z - 2, -2*m = -6 for z.
2
Suppose 0 = 4*n - 5*n. Let r = -71 + 82. Suppose -2 = 3*k - r. Solve -f + 2*v + 9 = n, -k*f + 0*f + 24 = -5*v for f.
3
Let n = 8 - 4. Suppose 0 = 3*g - 18*g - 195. Let t = g - -16. Solve -t*l = -4*b - 32, -4*l + 6 = n*b - 2*b for b.
-5
Let m(i) = -i**3 - 11*i**2 - i. Let s be m(-11). Let u(v) = -3*v - s + 2*v - 2*v. Let q be u(-5). Solve 4*b + q*c = -12, 5*c = 5*b + 26 - 1 for b.
-4
Let v = -1524 - -1527. Solve -v*m - 2*f - 2 = -m, -f - 1 = 4*m for m.
0
Let b(l) = 4*l**3 + l**2 - 356*l + 355. Let y be b(1). Solve -4*f - 8 = y*x, -12*f + 12 = -17*f - 3*x for f.
-3
Let g be -9 + (-380)/266*(-84)/10. Solve g*s - 16*i + 6 = -13*i, -i = -4*s - 11 for s.
-3
Let h be (-50)/(-75)*(-60)/2. Let g be (4*25/h)/(-1). Solve -5*q = -3*p - 1, -p = -g*p - q - 9 for p.
-2
Suppose 520 = -15*i + 20*i. Let g = -61 + i. Let r = -34 + g. Solve 3*j + 5*l = -0*l + 13, -j - r = -l for j.
-4
Suppose -4*q = -4, -5*q - 2 - 9 = n. Let v be n/(-72)*(-18)/(-2). Suppose 0 = -2*x - 2*x + 8, v = 4*a - 3*x. Solve 0*b - 10 = 2*b - a*r, -2*b - 5*r = -25 for b.
0
Suppose 3*b = -4*z + 2*z - 2, -2*b - 23 = -3*z. Suppose 2*u + 66 = 2*n, 0 = 5*n - z*u + 2