 -20 for v.
0
Let l be (30 + -58 - -27) + 7/1. Suppose -4*c + 12 = -0*c. Solve -f - 11 = -2*f + 3*g, l = -c*g for f.
5
Let k = -55 + 57. Suppose o + 2*o - k*x + 1 = 0, -10 = -2*x. Suppose 2*p = o + 1. Solve 5*r - 2*a = 2*a - 36, 2*r = -p*a for r.
-4
Let d = 46 + -44. Suppose 3*j - 3*j = 4*j. Suppose j = 2*n - 8, 4*u - 6*n + 4*n = 0. Solve -w - m + 1 = 4, 0 = -d*w + u*m - 2 for w.
-2
Let x be (-1)/(-1)*(-13 - 0). Let q(l) be the first derivative of -l**3/3 - 13*l**2/2 + 6*l + 2226. Let o be q(x). Solve -3*v = -v + 4*z, -v = 5*z - o for v.
-4
Let c = -6018 - -6022. Solve 2*o + c*s = -12, -o + 5*s - s = 0 for o.
-4
Suppose 1 = 3*v + 13, 2*k = v + 32. Suppose 164 = -k*q + 24. Let l = q + 15. Solve -4*r + 3 = 3*j + 5, 7 = -l*j - 3*r for j.
-2
Suppose -5*i - 32*i - 4218 = 0. Let n = i - -117. Solve -3*l = z - 5 + n, -4*l + 2*z = 14 for l.
-1
Let i be (364 - 298)*6/9. Solve 41*g - i*g = 2*m + 7, -2*g - 3*m = 3 for g.
-3
Suppose 8*b - 590 = -5*t + 3*b, 5*t = -4*b + 594. Suppose 6 = -t*d + 125*d. Suppose 2*v = -0*v + 4. Solve -3*r - 15 = -5*g + 13, d*g - 8 = -v*r for r.
-1
Let n be (-64)/(-288) + (-122)/(-18). Suppose -n*x = x - 16. Solve 0*c = -x*w + 5*c + 33, -3*c = 15 for w.
4
Let b(f) = -22*f + 48. Let c be b(2). Solve 0 = -c*z - 2*p - 26, z + 2*z + 2*p + 21 = 0 for z.
-5
Let l = -3288 - -3301. Solve 0 = u - 3*j - l, -44*u = -40*u - 5*j - 17 for u.
-2
Let i = -2948 + 2953. Solve -3*z = -c + 7 + 5, 0 = i*c + 5*z for c.
3
Let p(y) = 26*y + 4. Let b be p(0). Suppose 0 = -x + b, -d - 4*x = 3*d - 28. Solve -2*h + 4*o = -0*h + 14, d*o = h + 12 for h.
3
Suppose 39*c = -20*c + 649. Solve 0 = -3*f - 2*x + c, -11*f + 14*f = -5*x + 23 for f.
1
Let z be (-24)/(-93)*(-4774)/(-308). Solve -5*a + 0*b = z*b - 6, -3*b - 11 = -4*a for a.
2
Let d = -8 + 20. Let z = 227 + -220. Suppose -z*i = -i - d. Solve 0 = 5*g + 4*k, g + 10 = i*k - 4 for g.
-4
Let i(g) = 134*g + 395. Let y(u) = -67*u - 198. Let q(j) = 3*i(j) + 7*y(j). Let r be q(-3). Solve b + 4*b + 2*k + 5 = r, k - 8 = b for b.
-3
Let z be (22/2 + -11)/3. Solve 4*u = -z*u + 4*r - 4, 0 = 5*u + r - 1 for u.
0
Let o be (-1 + -13 - 0)/(-2). Let l(h) = 7*h**2 - 19*h - 600. Let f be l(-8). Solve f = 5*k - n + 24, 2*k - o*k = 2*n + 12 for k.
-4
Let r = 267 + -265. Solve 13*u = y + 15*u + 3, r*y - 5*u = 3 for y.
-1
Let t = 4611 - 4598. Solve 0 = 4*w + w - 4*a - t, -4*w + 2*a = -8 for w.
1
Let m(d) = -3*d**2 - 76*d + 141. Let v be m(-27). Solve -2*h + v = 3*n, -n - 7 = -5*n - 3*h for n.
4
Let t(j) = j**3 - 24*j**2 + 128*j + 68. Let m be t(9). Solve 0*k = 5*v + m*k + 40, -2*v - 4*k = 24 for v.
-4
Let m(b) = -24*b + 74. Let w be m(3). Solve -o - w*k + 4 = 0, -3*o + 12 = -2*k - 0*k for o.
4
Let j = -22239 + 22242. Suppose -5 = 5*s - 20. Solve 6*r = 4*r + s*k - 11, -r - 13 = -j*k for r.
2
Let z be (0 - 0) + 21/4 - (-192)/(-768). Solve -o + z*o = -3*m - 14, 2*m + 3*o = -11 for m.
2
Suppose i - 3*q + 1 = -3, -5*q + 124 = 13*i. Solve -6*v = -2*v + 4*p, -5*v = p + i for v.
-2
Let f(p) = 959*p + 966. Let q be f(-1). Solve -3*i = -4*w + q, 0 = -i - 5*w + 2 - 17 for i.
-5
Let h be 2 + 1 - (4 + -4). Suppose -4*m + m = h. Let f be (3/(-7) - m)/(2/7). Solve 2*l + 8 = -v - 3*v, -f*l - 7 = 3*v for l.
-2
Suppose -2*i - 3*i = -5*k - 20, -4*k - 4 = -i. Suppose 5*b = 13 + 17. Let u be 147/9 - 2/b. Solve -2*m - 12 = -0*h - 3*h, -5*m = -i*h + u for m.
0
Let a(m) = 5*m - 2*m**3 - 2*m - 45*m**2 + m + 11 + 41*m**2. Let b be a(-2). Solve -11 = -b*x - 2*u + 2, -3*x + 3*u - 12 = 0 for x.
1
Let q(z) = -11*z + 14. Let j(s) = 9*s - 14. Let h(m) = -6*j(m) - 5*q(m). Let o be h(-14). Solve -4*u - 4*v = 12, -4*u + o*v - 16 = 5*v for u.
1
Suppose g = -x + 2 + 1, 2*x + g - 6 = 0. Suppose 0 = -5*q + 17 + 3, -x*q = -5*t - 12. Solve -5*b - 22 = -t*y - 3*y, -4*y - b - 9 = 0 for y.
-1
Let s = 236 - 248. Let j be 8/s - (53/(-3) - 1). Solve 3*h - 3*p = j, -h = h + p for h.
2
Let t be 1 + 0 + (0 - -4). Suppose 0*m = 2*m - 2*j + 142, -2*j = t*m + 334. Let u = 71 + m. Solve 2*c = 2*s + 16, -4*c - 2*s - 1 = -u for c.
3
Let w be (-5 - 7/((-49)/42))*20. Suppose 2*z - 3*l = 10, 4*z + w = 9*z - 5*l. Let v(i) = -3*i. Let h be v(-1). Solve -5*n + 11 = -n + h*r, -z*n - 4*r = 2 for n.
5
Let y be 8/6 - (-16)/(-12). Suppose -2*d + 10 = -4*t + 2*t, y = -3*t - 9. Solve 0 = 2*p + 2*g - 4, -2*p = g - 5 + d for p.
1
Suppose 0 = 3*v - 15, 0*v = -4*x - v - 123. Let z = x + 50. Suppose 0 = g - 4*b + 7, 0 = -3*g - 2*b + b + z. Solve -4*t - 23 = -y, g*y + 3*t - 10 = 2*t for y.
3
Let s = -5256 + 5256. Solve -2*p - 4*c - 25 = -p, s = 3*p - 5*c - 10 for p.
-5
Let y = 3574 + -3572. Solve -10 = -5*f - 2*n, 3*f + 4*n - y*n - 2 = 0 for f.
4
Let l(t) = 3*t - 27. Let c be l(10). Suppose -r + 8 = -c. Suppose -4*f - r + 27 = 0. Solve -2*z - 3 = f*d - 1, -8 = -z + d for z.
5
Suppose -41*i = -192*i + 427 + 177. Solve g - 1 = -3, i*g = -5*l + 7 for l.
3
Let i = 513 - 505. Suppose 43 = 4*l + p, 0 = -3*l + 2*l - 4*p - i. Solve -2*z = z - l, 4*z - 21 = -h for h.
5
Let d(u) = u**2 - 4*u. Let r be d(4). Suppose 43 = -m + 39. Let y be (300/(-175))/(m/14). Solve 0 = 5*w - 4*z + y, r = 4*z - 1 + 5 for w.
-2
Let i(t) = -t**2 + 2*t + 4. Let v be i(3). Suppose -2*u = 3*s - 1, 8 = -43*s + 35*s. Solve -5*n - 3*y - v = -10, -u*y = -6 for n.
0
Let n be 16 - (-16 - 256)/(-17). Solve 4*a = a - 5*t + 13, t - 5 = n for a.
-4
Let n = 209 - 207. Suppose 4*x + x = 25. Solve 7 = -2*u - x*q, -n*u + 5*q + 3 = -0 for u.
-1
Suppose 2*k = z - 9, -2*k + 0*z + 4*z - 18 = 0. Let t be k/(0 - 0 - 1). Solve -2*f - 3*w = -6*f - 7, -3*w + t = 0 for f.
-1
Let t = -242 + 249. Let x(l) = -l**3 + 6*l**2 + 8*l + 6. Let a be x(t). Solve -2*r - a = -5*b, -2*r - 2*b - 10 = r for r.
-4
Suppose -23*j + 56*j = 29*j. Solve 5*x - y - 26 + 30 = j, 4*x + 9 = -5*y for x.
-1
Let j be (-30)/(-25)*135/6. Suppose -j*t + 105 = 8*t. Solve 2*i - 16 = 5*b - t*b, 5*i + 2*b - 12 = 0 for i.
4
Suppose -32*o = -4*o - 252. Suppose -2*d + 7 = j, 3*d - o = -3*j + 9. Solve -h = j*z - 20, -5*h + 5*z + 16 = 2*z for h.
5
Let z be 8 + ((-4)/4 - 2). Suppose 1 = -z*k + 16. Let s be (18/63)/((-1)/(-7)). Solve -q = -3*f + 3, 4*f - s*q = -k*q + 11 for f.
2
Let g be (-2576)/(-224) + (-2)/(-4)*-3. Suppose 0 = -2*f + f. Solve f*p + 8 = 5*n - p, 5*p = g for n.
2
Let y(k) = 7*k + 10*k + 13*k + 46 - 31*k. Let a be y(6). Solve 3*h - 4*u - 11 = 0, 0 = -10*h + 5*h - 5*u - a for h.
-3
Suppose -680*a = -659*a - 462. Solve 59*m - 5*z = 60*m + 9, -5*m = 2*z + a for m.
-4
Suppose -q + 28 = -4*q + 17*q. Solve 0 = -3*l - q*t + 19, 8*l + 2*t = 4*l + 22 for l.
3
Let l = 38 + -27. Suppose 4*b + 0*b - 36 = 0. Suppose -b + 81 = 3*p. Solve 6*h - h = -r - p, 2*h = r - l for h.
-5
Let y = -308 - -310. Let a(p) = -66*p - 6. Let n be a(1). Let d = -72 - n. Solve -3*m - k + 6*k = 20, d = 2*k - y for m.
-5
Suppose -2*l - 2*l = -108. Suppose 0 = 2*t + 7*t - l. Suppose -5*j + b = -75, -2*b = t*j - 56 + 11. Solve 0 = 4*p - 8*v + 3*v - j, 4*v + 12 = p for p.
0
Let k be 3 - (4 - (7 - 1)). Let i(y) = 32*y + 8. Let p be i(3). Suppose x - p = -7*x. Solve 2*s - 2*h = -x + 1, 0 = s + k*h for s.
-5
Suppose 12*i = -7409 + 1973. Let o = -434 - i. Solve s + 7 = -3*m - 7, 3*m + o = -2*s for m.
-3
Let q = 132 - 128. Suppose 0 = 7*d - 9*d + q. Solve -5*p + 4 - d = -2*x, -6 = x - 5*p for x.
4
Suppose 0 = -24*z - 18*z - 924. Let u(q) = -q**3 - 21*q**2 + 20*q - 38. Let j be u(z). Let k be 2/(1 + 0) + 0. Solve k*t - 3*s = 9, 2*t + j = -3*s - 3 for t.
0
Suppose -537 = -111*j + 114*j. Let l = j - -182. Solve -l*n = -5*b - 35, 2*n - 1 = -b + n for b.
-4
Suppose 0*i = -4*i + x + 61, -2*i + x = -33. Suppose 4*m + 68 = 5*d + 36, 4*m = d. Solve 5*j = -2*g + 2 - 31, 0 = -m*j - 2*g - i for j.
-5
Suppose 16*z - 40 = 8*z. Suppose 5*s - b = 10, 9*b = -3*s + 5*b + 6. Suppose 4*d - 3*o + 7 = 0, 3*d = -2*d + s*o. Solve -4*w + 5 = z*r - 5*w, 10 = d*w for r.
2
Let q(v) = 29*v + 56. Let k(a) = 14*a + 29. Let i(s) = 5*k(s) - 3*q(s). Let j be i(-7). Let g = -93 + j. Solve -2*w - 4*x + 12 = 0, 0*w = -w - g*x + 7 for w.
4
Let t(s) = 112*s**2 + 4*s + 2. Let y be t(-1). Let m = y - 71. Suppose -4*r = -m - 89. Solve -14 = 4*x - k - 2, 0 = 4*x + 4*k + r for x.
-4
Let q be 16/104 + 3036/39. Suppose -m = q - 82. Solve -y = -3*n + 19, m*y - 2*n - 3*n = -41 for y.
-4
Let x = -11313 + 11316. Solve 8*w - 2 = 6*w - 2*q, x*w + 2*q - 3 = 0 for w.
1
Let t(d