for v.
-2
Suppose 31*w + 0 - 26 = 36. Solve 4*k - w*s + 18 = 0, 4*s - 14 = k - 6 for k.
-4
Suppose -13*p + 40 + 12 = 0. Solve 3 = -s, 3*y + p*s + 5 = -7 for y.
0
Suppose 0 = -3*s - 3*t + 18, -33*s - 5*t + 24 = -31*s. Solve 2*p + 5*z = 26 - 9, -3*p = s*z - 9 for p.
1
Let m(l) = 2*l**2 + 34*l + 122. Let z be m(-12). Solve 5*n + 0 + 2 = -z*y, 0 = 2*y - 2*n + 2 for y.
-1
Let a be ((-4)/((-4)/3))/1. Suppose 4*v = -4*k + 232, -3*v + 13*k - 11*k + 199 = 0. Suppose -4*f = a*f - v. Solve -8*n = -3*n + m + 18, -f = 4*n - m for n.
-3
Suppose -40*n = -39*n. Let m be ((-1)/2 - n)*(5 + -9). Solve -2*c + m*b - 5 = -b, 3*b = 5*c + 17 for c.
-4
Let k(r) = -2*r**3 + 28*r**2 + 36*r - 499. Let y be k(14). Solve 140 - 124 = -3*o + b, y*b = -o for o.
-5
Suppose -19*r + 17*r = -5*y + 12, -7*y + 5*r + 19 = 0. Solve -3*d = y*g - 0*g + 12, -2*d + 12 = -2*g for g.
-6
Let b = 5978 + -5973. Solve -12 = 11*q - 13*q - 3*n, b*n = 20 for q.
0
Let m(q) be the second derivative of -q**5/20 + q**3/2 - q**2 + 37*q. Let c be m(1). Solve -2*p + 4*r - 11 + 3 = c, -3*r = -12 for p.
4
Suppose 9*x = -3 - 15. Let p = x + 4. Suppose 5 = a - 4*h, -3*a + 5*h + 13 = -p. Solve 4*r - 4*g = -36, 9 = 4*r - 0*r + a*g for r.
-4
Let y(q) = 11*q - 250. Let h be y(25). Suppose -3*t + 140 = h*t. Solve -t*o = 25, 0 = -4*b - 2*o + 5 + 5 for b.
5
Suppose -101*j = -38 - 568. Solve 2*y - j = 0, 5*n - y - 96 + 79 = 0 for n.
4
Let g = 257 + -249. Suppose 2*k = -0*d + 4*d - g, -3*k + 12 = 0. Solve z + d*f = -13, 3*f + 12 - 2 = -z for z.
-1
Let x(z) = -2*z**2 + 28*z + 32. Let f be -30*3/12*-2. Let c be x(f). Solve -c*b = -2*t + 5*t + 1, 0 = -t - 4*b - 17 for t.
3
Suppose -165*y + 250 + 1730 = 0. Suppose 0 = -2*t + 6*t - 4*d - 28, 4*d = 2*t - 22. Solve y - 5 = -4*r - t*j, 5*j + 25 = 0 for r.
2
Suppose -76 = 27*t - 859. Let x(i) = i**3 - 6*i**2 + 2*i + 7. Let r be x(6). Solve -2*p + r = -6*p + y, -5*p = -3*y + t for p.
-4
Let j be (10 + 2)*1 - (664 - 660). Solve 0 = 5*r + 5*p, -7*p - 4 = -2*r - j*p for r.
4
Suppose -8*a + 38 = -74. Suppose -a = 96*x - 103*x. Solve 3*n + 4*f = 0, 2*n - 4*f + 28 = -x*n for n.
-4
Let x(z) = -57*z**2 - 4*z + 11. Let s be x(2). Let g = s + 229. Solve m = -4*f + 3, 0*f + g*f - 6 = -2*m for m.
3
Suppose -104 = -29208*x + 29200*x. Solve -4*k - 2*p - 18 = 0, -x*p + 15 = -5*k - 8*p for k.
-4
Let h(n) = n**3 + 9*n**2 + 2. Let o be h(-9). Suppose -8 - o = -5*k. Suppose 0 = 6*u + k*u - 32. Solve -t = -u*q + 23, -t + 22 = q + 4*q for q.
5
Suppose 73*v = 204*v - 98*v - 924. Solve f = 3*a - 2, -24*f + v*f - 12 = 2*a for a.
2
Let c be (2 - 1)*(-48)/(-12). Let s(j) = j**2 + 30*j - 21*j + 13 - 18*j. Let y be s(8). Solve c*d = 3*m - m, d - y = -2*m for m.
2
Let o = 6091 - 6086. Solve 8 = -3*p - 2*c, o*p + 4*c - 147 = -163 for p.
0
Let x be 6 - 13 - (-23 + -1). Suppose 7*r = -x*r + 72. Solve -4*w = 3*p - 24, 0*w = -r*p + 4*w for p.
4
Suppose 3*h - 3 = -2*t + 3, 0 = 2*h + 4*t + 4. Suppose -m + h*o = 8*o - 10, 0 = -m - 3*o + 8. Solve 0 = 2*s - v + 3, 2*v + 2*v = m*s + 18 for s.
1
Suppose -p + t + 114 = 0, 4*p - t = 437 + 31. Let x = -105 + p. Solve 3*i + i + x = -l, -4*l + 8 = -4*i for l.
-1
Let a = 4355 - 4354. Solve -8 = -3*g - l, -4*l - 3 = a for g.
3
Let x = -3126 - -3139. Solve 0 = -r + 3, -5*r + 7 = -5*a - x for a.
-1
Let u(x) = -2*x**2 + 21*x - 2. Let g be u(9). Suppose 58*p = 63*p - g. Solve -p*s - 2*q - 15 = 0, 5*s - q - 2 = -17 for s.
-3
Let c = -10419 - -10423. Solve -2*r + c = 0, -29*q - 16 = -25*q + 2*r for q.
-5
Suppose -5 = 5*b, 3*x - 3*b + 0*b - 81 = 0. Let n be (-2)/18*(-30 + 13 + 17). Solve n = 3*v - 5*z + 26, 5*v - z + x = 3*z for v.
-2
Let i = -133 - -136. Suppose 2*m - 12 = -0*m + 4*r, -2*m = 5*r + 6. Solve -4*z - 8 = -m*d, 0*z + 3*z + i*d = 3 for z.
-1
Let u(x) be the second derivative of -2*x**3/3 - 6*x**2 - 13*x. Let v be u(-3). Suppose p = -v + 4. Solve -4*c = 5*r - 30 + 6, 0 = r - p*c for r.
4
Let m = -6853 + 6853. Solve -2*c - 5*w - 16 = m, 3*c - 4*w = w + 1 for c.
-3
Let l(f) = f**2 - f - 1. Let m be l(3). Suppose -2*k + 4*k = 5*z - 14, 0 = -m*z + k + 17. Let x = -4493 - -4508. Solve x = -z*t + 2*s - 9, 2*t + 2 = -4*s for t.
-5
Let r(b) be the second derivative of b**4/12 + 4*b**2 + 26*b. Let y be r(3). Solve -4*u - 18 = 3*x - u, 0 = 3*x + 2*u + y for x.
-5
Let r(g) = g**3 + 29*g**2 + 56*g + 58. Suppose -105 = -9*x - 348. Let q be r(x). Solve -10 = 4*n - 5*l + 6, -q*l - 16 = 4*n for n.
-4
Suppose 0 = -45*j + 11*j - 68. Let z be (-40)/(-16)*(-16)/(-10) + j. Solve 0 = f + 4*m + 5, f + 1 + 0 = -z*m for f.
3
Let l(d) = 19*d - 283. Let n be l(15). Solve 17*r + n*p = 16*r + 4, -2*p - 8 = 4*r for r.
-4
Let b = -13 + 18. Suppose b*u + 0*j - 40 = -j, -5*u - 3*j + 40 = 0. Solve -25 = -2*l + 5*y, l - 5*y = 12 + u for l.
5
Suppose 7970 = 8*q + 2266. Let i = -710 + q. Solve 0 = 2*p - n + 1, 25 = -2*p - i*p - 5*n for p.
-2
Let i be -4*(-5 + (-18)/(-24)). Suppose 98 + i = 23*q. Solve 5*z + 3 = -2*h + 7, -q*z + 19 = -3*h for h.
-3
Suppose -27*s = 96 - 15. Let m(q) = -6*q - 16. Let n be m(s). Solve -3*d - 22 = n*y + d, -5*d = 5*y + 30 for y.
-1
Let r = 2449 - 2444. Solve 2*u = -g - g + 6, 0 = r*u - g + 9 for u.
-1
Suppose 43*l = 44*l + g, -4*g = 3*l + 1. Solve -2*n + 4*f = 8 - 14, 3*n + 2*f - l = 0 for n.
1
Suppose -5*a + 2 = 7. Let c(f) = -19*f + 2. Let q be c(a). Suppose -3*z + q = 4*z. Solve z*x = 4*v + 15, 2*x + 2 = -3*v - 5 for v.
-3
Let a be (-8 - -1)*-4*(2 + 19/38). Solve a - 73 = 3*o, -5*q + 8 = 2*o for q.
2
Let m be (4 - (-11)/(-2))*138/(-9). Suppose 0 = n + 20 - m. Solve 4*c = 4*f - 6 + 2, -c + n*f - 3 = 0 for c.
0
Let y be ((-45)/(-6) + -7)*0. Suppose -5*l + 18 = -u, u = -3*l - u + 16. Suppose -5*w + 133 = -2*b, -b = -y*b + l. Solve -4 = 4*o, -6*q + 5*o + w = -q for q.
4
Let s(p) = p**2 + p + 2. Let g be s(-2). Let d = -754946 - -754949. Solve -g*o + 4 = 0, d*o = -q + 5*q + 3 for q.
0
Suppose -2*g + 1884 = -4*i + 2*g, i = 4*g - 468. Let t = i + 481. Solve -2*o - 3*o = -4*z - t, 0 = 5*z + 5*o for z.
-1
Suppose 0 = 164*w - 115*w. Solve -4*u + 4*y - 16 = -20, -y + 1 = w for u.
2
Suppose -230*c = -182*c - 707 - 589. Solve -36*n + 31*n + c = 4*u, n + 3*u - 12 = 0 for n.
3
Suppose -13 = -5*t + 42. Let n(r) = -t*r - 10 + 2*r + 4*r. Let s be n(-3). Solve 0 = 3*v - s*l - 12, 2*v - 2*l - 7 = l for v.
-1
Let x(l) = 13*l. Let s be x(1). Let v = s - 9. Suppose 4*t - v*q = 0, q - 5 = -2*t + 2*q. Solve 2*f + 24 = -4*j, j + 4 = t*f + 20 for j.
-4
Suppose -115*j = -201*j + 2924. Suppose -18 = -5*z - 5*l - 178, 28 = -z + 3*l. Let m = z + j. Solve -3 = m*n + 5*x, -n - 2*x - 1 = 3*x for n.
-1
Suppose w - 2*y - 26 = 0, 4*w - 20 - 48 = -4*y. Solve -j = 5*l + w, -j + 10 = -12*l + 7*l for j.
-5
Let g = -3691 - -3720. Solve -3*v = 3*p - 9, -2*v + g*p + 9 = 32*p for v.
0
Let z = 55 - 55. Suppose 3*v + 4*p - 44 + 15 = z, -3*p = -5*v. Solve -5*q - 19 = v*h, 2*q = 4*h + 6*q + 12 for h.
2
Suppose 0 = 14*v - 22328 + 22272. Solve m - 3*i = v, -4*i - 7*i = m - 4 for m.
4
Let b = -105735 - -105737. Let l be 1/((1/16)/1). Let o = 4 + 22. Solve 5*x - m + o = 0, 3*x - 3 + l = -b*m for x.
-5
Suppose -5*y + 472 = 3*y. Let l = y - 35. Let k = l + -22. Solve -k*g = 5*r + 13, 0*g - g + 4*r = -13 for g.
1
Suppose -5*f + 19 = 3*q - 28, 0 = -f + 3*q + 13. Solve n - 7 = -2*h, 0 = -n + 4*h + f - 15 for n.
3
Let p(t) = 4*t - 58. Let s be p(20). Suppose 3*w + 10 = s. Solve w*q + 0*a = -4*a + 24, -a = 3*q - 10 for q.
2
Let m = 2927 - 2900. Solve 6*u + 5*f = 3*u + 16, 4*u - 3*f + m = 0 for u.
-3
Let r = -3140 + 3149. Solve -2*s - u + r = 0, -6 = -u - 7 for s.
5
Suppose 6*l + f - 9 = 0, -367 = -l - 5*f - 409. Solve -15*w + 13*w - l*q - 7 = 0, -q = -3*w - 16 for w.
-5
Suppose 8*z = -18*z + 1404. Suppose -5 = -m, -2*m + 70 = -2*u - 40. Let g = z + u. Solve -30 = -3*p + 5*i, -6 = -p + g*i + 11 for p.
5
Let p(n) = n**2 - 9*n + 20. Let w be p(10). Suppose 3*c - w = 3*y, -3*c - c - 5*y + 4 = 0. Let t be (0 + -4)/1 + c. Solve 3*j = -3*g + 7 + t, 2*g - 8 = 0 for j.
-1
Let r be 2/((0 - -1)/((-1197)/(-38))). Let l = r + -58. Solve -l*z + 5*m + 10 = 0, 2*m = m for z.
2
Let a(j) = 15*j - 26. Let b be a(1). Let i(z) = 4*z + 46. Let d be i(b). Solve -2*q + 2 = -u + 1, -d = 5*q + 2*u for q.
0
Suppose -5*a + 135 = 5*l, -3*a + 13*l = 9*l - 67. Suppose 13 = -3*c + a. Solve -3*g - 4*u + 1 + 0 = 0, g + c = 3*u for g.
-1
Suppose 0 = -16*h - 4*h 