l for v.
-4
Let l = 197 + -197. Solve 5*a + p = -4, l*p - 5*p = -5 for a.
-1
Suppose 26 = -4*r + 5*r. Suppose 4*u - 6 - r = 0. Suppose 5*k - 3*n - n = 25, -k + 4*n = -5. Solve 2*s - u = -s + q, -k*s = -5*q - 10 for s.
3
Suppose -4*w - 5*w + 27 = 0. Suppose 28 = 3*a - 2*t, -2*a - 2*a - 5*t - 1 = 0. Let g = a - -14. Solve 3*c + u = -w*u + 20, 2*u - g = -4*c for c.
4
Let n(p) = -58*p + 754. Let x be n(13). Solve x = 3*v + 3*c + 6, -12 = 2*c - 2 for v.
3
Let g be (0 - -1 - -5)/(53 - 51). Solve u = s + 3, 5 - g = -s for u.
1
Suppose -4*j = j - o, 0 = j - 5*o + 24. Let a be 3/(-6)*(-3 - j). Suppose -5*t = -16 + 6. Solve -t*f = -f + h - 6, -h + 7 = a*f for f.
1
Suppose -132 - 313 = -5*u - 3*w, 4*u - 356 = -2*w. Let m = u - 87. Solve 3*p + m*c = 3, 5 = 5*p - 5*c - 25 for p.
3
Let h be 10/(-2 + 5/(90/33)). Let k = h + 62. Solve -4*d - 20 = 4*q, d + k*q + 4 = -5 for d.
-1
Let t(i) = -i**2 - 2*i + 11. Let b be t(-4). Suppose 3*h = 5*s - 37, b*s - 2*h + 12 = 7*s. Solve 4*o + 10 = -p, 3*o + s*p = 6*o + 19 for o.
-3
Let a = -924 + 930. Solve -2*o = 2*r - 4, -r + a = -4*r for o.
4
Suppose 4*a = 5*g - 26, 6*g - 2*g - 4*a - 20 = 0. Solve -2*f + 0 = 4*r - g, -f + 3 = 3*r for f.
3
Suppose 0 = 6*r - 4*r - 4*y - 22, -3*y = -2*r + 19. Solve -2*a = a - r*c, -3*c = -3*a + 6 for a.
5
Let f be 1/(-1*(7 + (-132)/18)). Solve 7 = -x + 10, f*z + x = 6 for z.
1
Let w = -1 - 13. Let l = w - -17. Solve 3*h - 4 = -3*i - 2*h, 2*i - l*h = -10 for i.
-2
Suppose 4*u + 20 = -0, -3*u = 2*s - 1. Solve h + s = -2*d, -5*d - 14 = 5*h + 11 for h.
-2
Let m(r) = 2*r**3 - 43*r**2 + 24*r - 51. Let b be m(21). Suppose -5*u + b*u - 21 = 0. Solve 5*z + 7 = -4*p, -z + 5*z = -u*p - 5 for p.
-3
Suppose -2 = -z - 2*v, 4*v = -2*z - 3*z + 22. Solve -3*q - 14 = u, -z*q = -q - 2*u + 16 for q.
-4
Let h(q) = 11 - 3*q - q + q + 2*q. Let u be h(9). Let d(x) = 7*x + 150. Let c be d(-21). Solve -5*z - 7 = -4*m + 2, 0 = m - u*z - c for m.
1
Let w = 16 + -16. Suppose 4*o - 16 = -w. Let h be (9/(-6))/(3/(-4)). Solve -h*q + 3*r + 0 + 5 = 0, -20 = o*r for q.
-5
Let h = 19 - 14. Suppose 0 = -2*p + h*p. Solve 0 = -3*s + 5*s - b - 11, p = -5*s + 5*b + 40 for s.
3
Let g(f) = f**2 + 14*f - 172. Let y be g(8). Solve -s + 16 = s - 4*k, 8 = y*s - 2*k for s.
0
Let h(p) = p**2 + 4*p. Suppose -f - 21 = 4*l, l + 5*f + 21 = 2*l. Let y be h(l). Solve y = -5*v - 4*x + 31, x - 32 = -4*v - 4*x for v.
3
Suppose 3*k = 5*z - 17, z + 2*z = -4*k - 13. Suppose -2*w - z = -3. Solve 4*g - 5*l = 10, -g = 2*l - 5*l + w for g.
5
Let x(f) = 2*f**2 + 20*f - 19. Let o be x(-11). Suppose 0 = -5*q + 18 - o. Solve q*t = l - 2 + 5, t - 4*l - 12 = 0 for t.
0
Suppose 11*v + 152 = 49*v. Solve 7*d + 5*o = 6*d + 9, -v*d = o + 2 for d.
-1
Let y(x) = -x**2 - 15*x - 23. Let q be y(-13). Solve 4*d + 4*w = 4, 11 = -q*d - 3*w + 7*w for d.
-1
Suppose 5*h - 260 = h. Suppose -3*a = 2*a - h. Let b = a + -11. Solve -2*q + 3*q = 2*l, -3*l = -2*q + b for l.
2
Let g(a) = a**2 - 14*a + 54. Let z be g(6). Solve -3*q + 10 = -8*q - 2*u, 3*q + z = -3*u for q.
-2
Let f be -1*(0 + 1*-4). Suppose 2*d - 27 + 1 = 2*r, -f*d - 5*r = -97. Let b be 3*6/(-27)*-6. Solve -3*o = 2*j + j + 18, b*o = -2*j - d for o.
-3
Let m be 5/3 + 2/(-3). Let g be m*(-1 - (-3 + 1)). Solve -b - 2 = -4*p, -2*b - g = -p + 3 for b.
-2
Suppose -6*l = -11*l + 20. Suppose 72 = 2*r - 3*a, 79 = 4*r - l*a - 57. Solve -4*n + 4*y + 0*y = 0, -5*y = n + r for n.
-5
Let u be 2/(-12) + 323/102. Let m be (36/(-15))/(u/(-10)). Let f be 40/15*12/m. Solve 2 = -3*x - f*w, 0*x = 5*x + 5*w for x.
2
Let r(k) = -k**3 + k**2 + 12*k + 4. Let h be r(-3). Solve 0*g + g = 3, 5*d + 37 = h*g for d.
-5
Let v be 4/(-1) + -2*9/(-2). Solve 0 = -3*a + 2*a - 3*s + 5, -25 = -v*a + 4*s for a.
5
Let l(p) = -p**3 + 18*p**2 + 20*p - 16. Let f be l(19). Solve -4*h + 18 = -z, f*z - 3*h = 8*z - 2 for z.
-2
Let f be 682/6 - 3/(-9). Let y = -110 + f. Solve 22 - 4 = -y*t + 2*k, 8 = -t - 3*k for t.
-5
Suppose 3*j + 7*j - 40 = 0. Suppose 2*q = j + 12. Solve 14 = 4*m + 3*a, 4*m + 2*a = q*m - 24 for m.
5
Let h = 7 - 1. Let a = -24 - -24. Solve 0 = -t - 5*s + 3*s - 6, a = 4*t - s + h for t.
-2
Suppose -103 = -30*w - 13. Solve -3*v + w - 18 = -5*b, 3*v - 12 = -4*b for v.
0
Let l = 80 + -77. Suppose b = l*z + 28, -7*b + 2*b + 72 = 2*z. Solve 2*p = -3*u - 2*u + 2, 5*p + b = -2*u for u.
2
Suppose -5*j - 5 = 4*y - 2, 4*y = 4*j + 24. Solve -y*f + 10 = -3*a + 4*a, 3*a = 2*f - 14 for a.
-2
Suppose -5*h - 12 = -4*h. Let z = -7 - h. Solve 3*p = 3*y + 3 + 3, 0 = z*p - 15 for y.
1
Let l(s) = s**2 + 2*s + 45. Let i be l(0). Let a be (-9)/(i/10) - -10. Let h be 20/(-7)*(a - 15). Solve -5*r = -4*v + 16, 2*r - 5*v = r - h for r.
0
Suppose 7 = p - 0. Let u = p - 3. Let x = 9 + 3. Solve 17 = -5*j + 4*q, 3*q - x = u*j - q for j.
-5
Let t be 15 - 1/(-6)*-6. Solve -2*f - o - t = -5*f, 4 = -f - 4*o for f.
4
Let c(d) = -d**3 - 2*d**2 + 6*d + 6. Let b be c(-4). Let i be 72/9 + -10 - -6. Suppose 5*v = -0*v + 100. Solve -4*t + 5*h = v, -2*h - b = i*t + 6 for t.
-5
Let d = -49 - -62. Suppose 54 = -4*l + d*l. Solve 2*m + 2*n - 6 = 0, 5*m - 2*n = -0*m - l for m.
0
Let t(i) = i**3 + 8*i**2 - 7*i + 19. Let m(w) = -2*w**2 - w + 6. Let n be m(-3). Let k be t(n). Solve 0 = -3*c + 2*q - k + 4, q + 6 = -3*c for c.
-1
Let j(s) = s + 9. Let x be j(-9). Let h(g) = g**2 + 6*g + 3. Let c be h(-3). Let o be c/(-15) - (-10)/(-25). Solve -z + x*z + 3 = o, -r + z = 4 for r.
-1
Let u = -58 + 84. Let s = -23 - -5. Let l = u + s. Solve -3*b - 16 = -4*o, 0*o - 4*b - l = -2*o for o.
4
Suppose 505*g - 517*g + 48 = 0. Solve 5*f - 5*k = -6 - g, -2*k = -8 for f.
2
Suppose -192*k = -153*k. Solve -18 = 5*q - 4*o - 3, k = -3*q + 5*o - 9 for q.
-3
Suppose 0 = -2*q + b + 3 + 1, 0 = 3*q + 3*b - 15. Solve 0 = q*s + o + 14 - 3, 2*s - 5*o = -30 for s.
-5
Suppose -x + 0*l + 3*l + 14 = 0, 4*x - 4*l - 32 = 0. Solve 1 = -5*g - 0*g + 2*c, x*g - c = -3 for g.
-1
Let a be 12/((32/76)/4). Let k = a - 67. Suppose 0 = -2*x + 3*s + k, 51 = 3*x - s + 3*s. Solve r + 14 = -5*o, -4*r - 4*o + x = -9*o for r.
1
Let d be ((-3)/(-3))/1 - 1. Suppose -m + 3*m - 6 = d. Suppose p = -0*p + 5. Solve p*y = -m*c - 19, 0*y = y - 5*c + 15 for y.
-5
Let w(m) = -2*m**3 + 11*m**2 + 9*m - 2. Let o be w(6). Solve -4*s = 2*u - 0*s + o, -u - 23 = 5*s for u.
2
Let w be 45/3*(-66)/(-110). Solve -5*v - 27 = -v - 5*h, 3*h = w for v.
-3
Suppose 3*v = -v. Suppose 5*n - 2 = 3*x + 4, n - 4*x - 8 = 0. Solve 5*h - 28 = -2*t, t + n*t - 2*h + 4 = v for t.
4
Let j = -9508 - -9510. Suppose 0 = x - 4*b + 14, -2*x - 4*b + 5 + 15 = 0. Solve j*a + 0 = -5*v + 31, -x*a = -6 for v.
5
Suppose 3*d + 39 = 3*u, -4*u - d + 46 = -2*d. Solve 0 = 5*i - 2*j - 5, 2*i + 0*i + j - u = 0 for i.
3
Let n(u) = 5*u**2 - 20*u + 2. Let b be n(4). Solve -b*r - 8 = v, -3*r + 4*v - 9*v - 26 = 0 for r.
-2
Let c(x) = 8*x**3 - x**2 + 2*x - 1. Let r be c(1). Let w be 2/16 + (-1)/r. Solve w = -q - 2*z + 3, q + z - 6 = -4 for q.
1
Let p(s) = 3*s - 10. Let u be p(4). Suppose 0 = -2*i - u*c + 6*c - 8, -5*i - c = -24. Solve 5*m + 32 = i*g, 2*g + 9 = -3*m + 3 for g.
3
Let d(z) = 9*z**2 - z - 2. Let t(u) = -11*u + 43. Let o be t(4). Let y be d(o). Suppose -2*w + 5 = -27. Solve y*l = -4*r + 4*l + w, -19 = -r - 4*l for r.
-1
Suppose -h + 4 + 3 = 0. Let o be (-1 + h)*(2 + -3). Let q be 2/o + (-13)/(-3). Solve q*i = 0, -i = -3*v - 0*i - 6 for v.
-2
Let n = 376 - 373. Solve 4*t - 2*w = -16, -2*t - n*w - 2*w + 4 = 0 for t.
-3
Suppose -3*x = -4*t - 9, -2*t - 1 = -2*x + 5. Suppose x*y - 2*y = -y. Solve j + 3 - 5 = y, -5*v - 2*j + 9 = 0 for v.
1
Let o = -3 + 7. Suppose r = -q + 34, -3*r + 4*q = -61 - 6. Suppose -o*a + r = -15. Solve a = 3*u - 2*k, 7 = 3*u - 0*u + 2*k for u.
3
Let j = 13 + -13. Let a be -18 + 5 - j/1. Let c be (-193)/a - (-4)/26. Solve b - c = 3*r, -2*b + 4*b - 5 = r for r.
-5
Suppose -6*f - 26 + 68 = 0. Suppose -15 = -5*m - 5*l, -2*m - 4*l + 3 + f = 0. Solve 2*a + 3 = n, a + m = -a - n for a.
-1
Suppose 0 = -3*z + z + 66. Let n = z - 13. Suppose -8 = -2*g + n. Solve -5*t + 1 - g = 4*o, -2*t = 4*o - 2 for t.
-5
Let b be 2 + -6 - (-3 - 1). Suppose 5*n - 13 + 8 = b. Solve 0 = -2*s + 5*t + 5, -5*s - 3*t + n = 4 for s.
0
Suppose -3*h + 29 - 5 = 0. Solve 3*m = -o - 3, m + 3*m + h = 0 for o.
3
Let c be -2 - (1 - 5) - 98. Let w = c + 100. Solve d = -5*l - 19, -w*l - 4 = -0*l - 2*d for l.
-3
Let q 