for v.
0
Suppose -4*j = -5*b - 19, 6 = -6*b + 5*b + 3*j. Let l(p) = -p**2 - 6*p. Let a be l(b). Let m = -4 + a. Solve -m*r - 14 = 11 for r.
-5
Let g = -5 - -9. Suppose 2*r = -d + 3 - 1, g*d + 2 = 2*r. Let p = 1 - r. Solve -3*v - 7 + 19 = p for v.
4
Let x = -35 + 45. Solve -5*p = -x*p - 20 for p.
-4
Let r(o) = -o + 5. Let p be r(5). Let j be -1 + 1 + 2 - 0. Suppose p*y = y - j. Solve 0 = w + 3 + y for w.
-5
Suppose -n = -2*n + 3. Suppose 0 = -p - n*p + 36. Suppose 5*i + 5*w - 20 = 0, -2*w + 4 = 3*i - 5*i. Solve p = -2*j + i for j.
-4
Suppose -3*y = -2*j - 107, 0 = -2*y - j - j + 58. Suppose y = 4*t - n, 6*t = t - n + 30. Suppose -3*f - 24 = -t*f. Solve p - 3*p = -f for p.
3
Let w = -19 + 22. Suppose 4*s - w*s = 12. Solve -s = -0*g + 4*g for g.
-3
Let v be 56/4 - (-2 - -4). Solve 0 = -4*l + v for l.
3
Let q = -15 - -19. Solve 0 = y + q*y + 5 for y.
-1
Let n = -1 + 4. Suppose -5*r - n = o, 2*o + 2*r - 46 = 5*r. Suppose 5*g - 3 = o. Solve -h + g = h for h.
2
Suppose 2*j - 2 = 0, -4 = 3*u + 2*u - 4*j. Suppose -5*y + 1 + 24 = u. Solve -y = 5*z + 5 for z.
-2
Let r be -1 - (1 - 1 - 7). Let x be (-1 - -12) + -7 + 2. Solve 4*b = -r - x for b.
-3
Let v be 1/(-4) + 693/84. Let d(z) = z**3 - 5*z**2 - z + 6. Let p be d(5). Suppose -p - v = -3*l. Solve l*h - 7*h - 4 = 0 for h.
-1
Suppose -s - 5 = -2*s + h, s - 1 = 3*h. Suppose 5*l = 8 + s. Suppose 5*d = 4*y + 29, 6*d - 5*y = d + 25. Solve 6*t = l*t - d for t.
-3
Let a be ((-3)/4)/(4/(-16)). Solve -8*q - 5 = -a*q for q.
-1
Let z = -17 - -7. Let o be (z/25)/((-2)/(-20)). Let p = 7 + o. Solve -l = -4*l - p for l.
-1
Let y = 6 - 2. Suppose 21 = 3*d + 3*w, -y*d - 3*w - 2*w + 25 = 0. Solve p = -p + d for p.
5
Suppose -4*r = 5*p + 20, r + r + 3*p + 12 = 0. Suppose 31 = -q + 3*q - 5*v, r = -q - 2*v - 7. Solve q*c + 10 = 5*c for c.
5
Let h = 22 + -18. Solve -h*r + 8 = -2*r for r.
4
Let m(y) = -2*y**2 + 2. Let x be m(2). Let u be (x/(0 - 1))/2. Suppose u = -t + 23. Solve t = -f + 5*f for f.
5
Let j = 1 - -1. Suppose -25 = 5*h + 5*i, 0 = 2*h - j*i - 9 - 1. Solve 3*p = -h*p for p.
0
Let f = -1 + 1. Suppose -4*u = 2*t, -t + 13*u - 12*u + 3 = 0. Solve t*m - 7*m + 20 = f for m.
4
Let b be (9/14 - 2/14)*4. Solve -5*a + 3 + b = 0 for a.
1
Suppose 6*p - 4*f - 8 = 4*p, -12 = -4*f. Solve -p = -3*g + g for g.
5
Let m be 1/(-2) + (-54)/(-12). Suppose m + 0 = 2*d. Solve 0*t - 2*t + d = 0 for t.
1
Let u be ((-6)/9)/(4/(-6)). Suppose 3*t + 12 = -0. Let w = t - -6. Solve u = -o + w for o.
1
Let c be -1 - 1 - (-12)/3. Suppose 0 = -8*s + 3*s + 60. Let p be 4/(-6) - (-8)/s. Solve p = 2*x + c*x - 12 for x.
3
Let w(j) = 5*j**2 - j + 1. Let t be w(1). Solve -6*r + r = t for r.
-1
Suppose -3*x = -3*u, -5*x = -0*u - u + 20. Let f = x - -10. Let q = -1 + f. Solve o - 12 = q*o for o.
-4
Suppose 2*u + 1 = 5. Let z be (-5)/(-15) + (-69)/(-9) + 4. Suppose 5*v - z = -u. Solve -c + v = -0*c for c.
2
Let l(m) = -m**3 + 4*m**2 - 3*m + 4. Let z be l(3). Solve d = 2*d + z for d.
-4
Let t be ((-225)/6)/(-5)*2. Let z = -21 + t. Let f = -3 - z. Solve -f*a = -6*a + 15 for a.
5
Suppose 0 = 3*d - 2*k + 2, 6*d - 3*d - k - 2 = 0. Suppose -4*p + 4*l + 12 = 0, -d*p + 47 = 2*p + 3*l. Suppose -2 = 2*s - p. Solve -s*y = -2*y for y.
0
Let d be (2/6)/((-1)/(-15)). Suppose 19*j = -33 + 185. Solve g - j = -d for g.
3
Suppose 0 = 2*v + 2 - 10. Suppose b = s + v, s - 3*s = 3*b + 8. Let r = b + 1. Solve 0 = -f + r + 1 for f.
2
Let n(u) = 2*u**2 - 2*u - 2. Let f be n(2). Let g be (-84)/(-18) + f/6. Solve g + 1 = -3*l for l.
-2
Let g(d) be the second derivative of d**3/6 + 5*d**2 + 3*d. Suppose u = 2*a - a - 6, 0 = -5*u - 5*a - 50. Let z be g(u). Solve -i - 3 = z*i for i.
-1
Let m be ((-60)/(-50))/(6/20). Solve m*r = 2*r for r.
0
Let m be (2/5)/(3/15). Suppose -m = n - 4. Solve n*p = -2 - 2 for p.
-2
Let b(w) = -w**3 + 3*w**2 + 5*w - 4. Let z be b(4). Solve v = -z - 3 for v.
-3
Suppose 5 = 4*t - 3, -l - 4*t + 11 = 0. Suppose l*g = 4*a - 1 - 10, g + 12 = 3*a. Solve -g = -3*p - 0 for p.
1
Let f = 18 + -13. Solve -6 = 3*q - f*q for q.
3
Let w(z) = z**2 - 4*z. Let q be w(4). Solve -p - 2 + 3 = q for p.
1
Let i be 20/3*9/12. Suppose 2*p = -3*p. Solve -i*u + p = -5 for u.
1
Suppose 0 = -4*u - 0 + 12. Suppose 2*v = 3*n + 10 + 3, 0 = -2*v + 10. Let o be 2*n/(-3 - -2). Solve -o = -u*s - 5 for s.
-1
Let j = -2 + 4. Let b = j + 1. Solve -z - b = 2 for z.
-5
Suppose 3*u - 17 = u + 3*q, -5*q - 15 = 0. Solve -u*t = -0*t for t.
0
Let l = -13 + 13. Let n be 0/1*(1 - l). Solve n = -2*y - 3*y + 20 for y.
4
Let j be ((-4)/22 - (-560)/176)/1. Solve 23 = 5*h + j for h.
4
Suppose 3*m = -2*m + 15. Suppose -2*n - o + 9 = 0, -m*n + 2*n + o = 3. Let c = -13 + 16. Solve -n*w - 5 - c = 0 for w.
-4
Suppose -2*i - 20 = 2*i - 4*z, i + z = 5. Solve i = -6*b + 2*b + 12 for b.
3
Let c be 2/3 + 58/(-6). Let n = 12 + c. Solve p + n = -0*p for p.
-3
Let g = 19 + -9. Suppose g = -3*h + 5*h. Solve 0*m = -m + h for m.
5
Let y be (8 - 8) + 5*1. Suppose 10*q = y*q. Solve j = 1 - q for j.
1
Let q(p) = p**2 + 4*p - 10. Let u be q(-7). Let o = u - 11. Solve o = 3*m - 6*m for m.
0
Let j = -11 + 51. Suppose 3*w = -5*n + j, -2*n - n - 5*w = -40. Suppose 0 = -0*c - n*c. Solve l + 3*l - 16 = c for l.
4
Let d = 49 + -47. Solve -3*v + d = 5 for v.
-1
Suppose -20*t - 10*t = -420. Suppose -5*m = -15, -4*s + s + 2*m = -12. Solve 4*x + s = -t for x.
-5
Let o = -70 - -74. Solve -o*t - t = -15 for t.
3
Suppose -2*m - 12 = -6*m. Solve 0 = 4*o - 3*o + m for o.
-3
Let c = -11 + 17. Let o(l) = -2 + 10 - 4*l + 3*l. Let h be o(c). Solve h*a = 7*a + 25 for a.
-5
Suppose -w = -4*w - 15, 0 = 4*b + w + 53. Let k = -6 - b. Solve -4*h + 2*h = k for h.
-3
Suppose -3*i + 12 = -0*i. Solve i*s - 3 = 5 for s.
2
Let f be 2/(-3)*(-8 - 1). Suppose -f = -0*g + g. Let q(b) = b**2 + 5*b - 1. Let m be q(g). Solve -m*i + 4 = -16 for i.
4
Let r = -12 + 5. Let x = r + 1. Let v be -3*(-1 + x/9). Solve 4*y = v*y for y.
0
Let f(x) = -x**2 - 7*x + 23. Let p be f(-9). Solve -n = -2*n + p for n.
5
Let m(y) = -y**2 + 6*y - 5. Let l be m(5). Solve -s + l*s = -1 for s.
1
Suppose 5*i - 3*w = -3 - 2, 2*i + 2*w = -2. Let r be (-3)/i + (1 - -1). Suppose 4*n - r = 27. Solve 8*f - n = 4*f for f.
2
Let i be 1/5 - (-42)/15. Suppose -2*a = 3*a - 2*t - 29, -i*a + 5*t = -25. Solve 0 = a*q - 0*q + 10 for q.
-2
Let l = 8 + -5. Suppose -5*q + 5*c = -3*q + 4, 0 = l*q - 3*c - 12. Solve 0 = -2*n - 0*n - q for n.
-4
Let p = -24 - -38. Let y(i) = -i**3 + 17*i**2 - 29*i - 13. Let c be y(15). Solve -c + p = -4*g for g.
-3
Let i = -7 + 11. Suppose 7*x = -5 + 12. Solve 5*t + i = -x for t.
-1
Let v(o) = o**2 - 7*o + 5. Let u be v(4). Let r(g) = g**2 + 5*g - 10. Let i be r(u). Let k = 12 + -10. Solve -i = -k*n + 2 for n.
3
Suppose 4 = -2*x + 3*m, 4*x - m = -4*m + 28. Suppose -6 = 3*w + x*k, -5*w + 16 = -0*k - 2*k. Let l = w + 5. Solve -5*d + l*d = 6 for d.
3
Suppose -9*v = -4*v. Solve v = -0*o + o - 2 for o.
2
Suppose 5*q - 2*g - g = 21, 4*q - 4*g - 20 = 0. Suppose -3*n = -n. Let k = q - n. Solve 1 = k*s + 7 for s.
-2
Let w(b) = -2*b**3 - 3*b**2 + 1. Let k be w(-2). Solve 5 = -2*i - k for i.
-5
Let c = -55 - -37. Let m be 4/c - (-2)/9. Solve 2*h = -m*h for h.
0
Suppose -5*o + 60 = -o. Suppose o = -b - 4*p, -7*b + 2*b - 5*p = 0. Let j = 7 - b. Solve j*m = 4*m + 8 for m.
-4
Suppose 3 = -a + 7. Suppose i - 4*s = 12 + 4, -79 = -a*i + s. Suppose y - 4*b + i = -y, 3*y + 15 = 3*b. Solve 4*l + y + 4 = 0 for l.
-1
Suppose -4*t = 16, -4*d + 2 + 6 = -5*t. Let p be ((-72)/3)/d + 0. Solve 0 = -2*z - 2*z - p for z.
-2
Suppose 12 = -3*q, -5*p + 3*q - 8 = -30. Let y(b) = 2*b - 1. Let g be y(p). Suppose 2*d - 4 = 2*m, 4*m - 32 = -d - g*d. Solve -5*n = 5 + d for n.
-2
Let l be (-30)/(4 + 1) - -12. Solve 10 = l*d - d for d.
2
Suppose 0 = d - 5*g, -3*d - g = 4*g. Solve -s - 1 + d = 0 for s.
-1
Let s(b) = b**3 + 6*b**2 - 13*b - 37. Let w be s(-7). Solve 6*u = w*u + 2 for u.
2
Let i = 20 - 11. Solve 0*w = 3*w - i for w.
3
Let k = 4 + 1. Let o be 3 + (-3 - (-2 + 2)). Suppose o*t + t = k. Solve -t*y + 0*y = -5 for y.
1
Suppose -q + 18 = -5*k, 3*q + 2*k = 2*q - 3. Suppose -25 = -4*n - 5*t + 52, 4*t = -3*n + 58. Let p = 25 - n. Solve 16 = -q*a + p*a for a.
4
Let m be -2 - (-1 + -2)/3. Let n = m + 23. Suppose -2*i = 2*v - n, 0*v - 3*v + i + 37 = 0. Solve -4*s + v + 4 = 0 for s.
4
Let f be 11 + -4 + (0 - 1). Let 