5*v + j. Let a be (-46)/(-6) + (-10)/15. Solve -v*w - 11 = f, w - 2*w - a = -3*f for f.
1
Let h = 10 + -7. Let r(x) = -x + 21. Let q = 12 - 1. Let w be r(q). Solve h*d + 3*z = 18, d = 4*d - 4*z + w for d.
2
Let p = -1217 - -1220. Solve 7 = -t + 2*z + 13, -2*z = -p*t + 14 for t.
4
Suppose 4*z + 5*x + 16 = 21, 2*x = 3*z + 2. Solve -2*a - 4*k = -k - 5, z = 3*a - 3*k + 15 for a.
-2
Suppose 0 = 2*i + 3*i - 45. Suppose 3 = -3*t + 9. Solve -s + 11 = 5*j, t*s - i = s - 4*j for s.
1
Let d = 6 + -6. Let x(w) = -7*w - 1. Let n(z) = 4*z + 1. Let c(b) = 5*n(b) + 3*x(b). Let m be c(-3). Solve -3*p = -4*o + 16, -22 = m*p - 2*o - d*o for p.
-4
Suppose 27 - 29 + 58 = 14*h. Suppose 5*d - 1 = 19. Suppose -4*q = -7*q + 111. Solve 0 = -3*o - 5*v - q, 0*o + d*o - 4 = h*v for o.
-4
Let m be (-16)/(-72) - 2/9. Suppose i + 4 - 10 = m. Suppose g - 2*r + 0 = 2, -3*g = -3*r - i. Solve -c = -0*c + 2*o, 0 = -g*c + 5*o + 18 for c.
4
Suppose 0 = 3*w + 3*w. Solve y + w*t = t + 7, -4*t = 12 for y.
4
Let o = -36 - -31. Let x be ((-110)/25)/(2/o). Solve 2*m = 5*t - 0*m + x, -3*t + m - 7 = 0 for t.
-3
Let h be 15 - 10/((-60)/18). Solve 2*o - h = 4*q, 3*q - 4*o = -o - 12 for q.
-5
Let i = -3 - -6. Let r = -723 - -726. Suppose -5*z + x = 3 - 25, i*z = -r*x + 24. Solve -4*h - 19 = j, -z*j - h + 0*h = 0 for j.
1
Let r = 10 - 6. Let k be 489/15 - (-87)/(-145). Solve -2*f - 4*b = -8, r*f + k - 8 = 2*b for f.
-4
Let w(y) = y**3 - 10*y**2 + 17*y - 13. Let l be w(6). Let g = -50 - l. Solve 5*f = -g*c - 15, -3*f - 4 - 1 = -c for c.
-1
Let p = -2 + 0. Let d(o) = 5*o - o + 4 + 0*o - 3*o. Let k be d(p). Solve 1 = v + 5*s, -1 = s - k for v.
-4
Suppose -105 = -3*f - 5*h, 3*f - 2*f = -4*h + 28. Suppose -2*c = 3*c + f. Let y be c/(-10)*(-5)/(-2). Solve -i - 15 = y*k - 4*i, 0 = -5*k + 5*i - 30 for k.
-3
Let c be 1/3 - (-66)/(-9). Let a(v) = v + 10. Let l be a(c). Suppose 4*d - 20 = 9*d, 0 = l*r - d - 16. Solve -14 + 5 = -5*t + 3*z, 2*z = r for t.
3
Let d(k) = k**2 - 9*k + 2. Let l(y) = y**2 + 3*y - 3. Let t be l(-5). Let m be d(t). Let v be (6/m)/((-1)/6). Solve -2*o - v*h = -8*h, 0 = -3*h + 6 for o.
5
Suppose 2*s - 2*p - 10 = 0, -4 - 1 = -s + 4*p. Suppose 2*a - 14 = -3*h, 2*a + 8 = -2*h + s*a. Let w = -27 - -27. Solve 15 = 5*o, w = -h*v + 3*o - 0 - 19 for v.
-5
Let g = 73 + -68. Suppose -3 = -g*c + 2. Solve -u - c + 5 = -a, 0 = -2*a - 4*u + 4 for a.
-2
Suppose 0*u - 5 = -u. Suppose u = -6*b + 77. Solve -g + 1 = 2*m - 1, 0 = -3*g + b for m.
-1
Let o = -11 + 16. Suppose o*v + 3*c = 25, 2*v - v + 4*c - 5 = 0. Suppose -2*z = -4*y + 7 + 5, 3*y - 4*z - 4 = 0. Solve -y*g - v*t = -t, 2*t + 16 = 2*g for g.
4
Suppose n - 5*n = 0. Let l(x) = -31*x**2 + 2*x + 3. Let w be l(-1). Let b = -30 - w. Solve 4*a = -3*q, n*a - a = b for q.
0
Let d be (-6 + -1)*8/(-28). Solve -2*t - t = 5*r + 25, 3*t + 19 = -d*r for t.
-5
Let l = 124 - 123. Solve -2*k + 3 - l = -f, -f + 4*k = 8 for f.
4
Suppose -3*h = -4 + 4. Solve -23 = 5*u + 3*a - 2, 5*u - 3*a + 9 = h for u.
-3
Suppose -31*c + 155 = -0*c. Solve -3*v + n = -4, 3*n - 2 = -c*v + 7*n for v.
2
Suppose -s + 9 = 2*s. Let f = -1 - -6. Suppose -4*r + 7 = -t, 2*r = 4*r - f*t + 1. Solve s*q + 6 = -3*a, q - r*a = 5*q for q.
2
Let q be 0/(-8 - (5 - 12)). Solve 3*p = q, 1 = 4*s + 3*p - 11 for s.
3
Let w be -1*47/(-15) - (-16)/(-120). Solve -b + w*h + 2 + 8 = 0, 4*b + 40 = -4*h for b.
-5
Suppose 4*s + m = 9*s - 20, -m = -2*s + 11. Solve -6 = -2*n, -q - s*n + 0*n = -8 for q.
-1
Suppose -3*j = 5*t + 47, -j + 5*j + t = -40. Suppose 8 = k - 3*l, -2*l + 8 = -k + 2*k. Let i be k/(-6)*j/2. Solve -s - 2 = 5*p + 1, i = -2*s + 3*p for s.
-3
Let s(q) = q**3 - 4*q**2 + 4*q + 1. Let v be s(4). Let t = v - 15. Suppose t*a - 6*a = 0. Solve a = 2*k + 2*w - 14, -6*k - w + 27 = -k for k.
5
Let h be -7*(54/(-14) + 3). Suppose 3*o = -3*y + h, 2*y = -0*y - 3*o + 6. Suppose -5*s = -y*s - 25. Solve -4*z = -5*z - s*d + 6, -5*z = -2*d + 24 for z.
-4
Let i(s) = -10*s. Let r be i(-3). Let m = r + -26. Let j = 14 - 7. Solve -2*h + 30 = -j*h + 5*d, 3*h = m*d - 20 for h.
-4
Let u(l) = l**2 + 8*l - 63. Let p be u(5). Solve -4*y + q - 16 = 3*q, 8 = -p*y + 4*q for y.
-4
Let q = 75 - 73. Solve -q*k + 4*x = -4*k + 18, -5*x + 35 = 5*k for k.
5
Suppose -3*b + 6*b = 6. Suppose b*c = 3*h - 2, c = -c - 4*h + 26. Suppose -2*p + 0*s = 5*s - 28, c*p + 2*s = 28. Solve 5*d + 4 = p*g, 3 - 4 = -g - d for g.
1
Let n(v) = -v**3 + 12*v**2 - 28*v - 3. Let d be n(4). Solve -3*c - 6 = -3*x, -x - 2 = 2*c - d for x.
5
Let t = 1 + 0. Let d = 54 - 51. Suppose 3*i - 15 = 3*m, -4 = -4*i + d*m + 16. Solve -y - 2*o + i = 0, -3*y - 2 - t = -3*o for y.
1
Suppose 4*g + 4*q - 32 - 12 = 0, -2*q + 9 = g. Suppose -2*z - z = -2*m + g, 2*m + 2*z + 2 = 0. Solve 2*y + v = -1, 11 = -4*y + 5*v + m for y.
-1
Let g = 145 - 142. Let a(w) = w**3 - 2*w**2 - 6*w + 9. Let i be a(g). Solve -4*q - 4*l - 20 = i, -3*q = 2*q + 3*l + 19 for q.
-2
Suppose 4*j - 6 = 6. Suppose -3*n = -u - 13, j*u - 3 = 3*n - 12. Solve o + 4*q + 0 = n, 4*o - 5*q - 20 = 0 for o.
5
Let l be (-63)/210 - 3/(-10). Solve 0*i + 5*i + 16 = p, -5*p + i + 8 = l for p.
1
Let v be -6*(3/10 - 12/15). Let t = -87 - -124. Suppose 0 = v*c - 97 + t. Solve 3*l = 4*u - c + 49, -3*u = 15 for l.
3
Let b = -12 - -57. Suppose -3*l + 9 = 2*l - y, -2*l - 1 = -5*y. Suppose -8 = -l*d - 2. Solve -5*x - 5*a = -b, -4*a + 15 = -2*x + d for x.
4
Let a be 3 + (-6 - -5) - -22. Solve 4*w + 5 - 2 = 3*b, -a = 4*b + 4*w for b.
-3
Suppose -u + 2*i + 18 = -0*i, 0 = -2*u + 2*i + 28. Suppose -u*c - 5 = -11*c. Let d be 4/18 + (-4)/18. Solve -4*p + 7 = -3*p + c*f, d = p - 5*f + 3 for p.
2
Let n(x) = -x**3 + 5*x**2 + 16*x + 4. Let b be n(7). Suppose -4*q + b = 10. Solve 4*z = -5*m + 21, q*m - 5*z - 25 = -2*m for m.
5
Let n(x) = x + 8. Let t be n(-5). Let f be 4 - (2 + -5) - t. Solve -2*h = -f*a + 9 - 1, -h - a = 4 for h.
-4
Suppose j - 5*f + 22 = 0, 0 = 5*j - 37*f + 39*f - 25. Suppose -3 = -2*w + 1. Solve 2*i + 5 = w*y - 5, j*i - 5*y = -17 for i.
-4
Let f(q) = q**2 + 4*q + 5. Suppose d + 14 = k, -k = k + 6. Let l = d + 13. Let b be f(l). Solve 3*g = -2*w - b, 16 + 4 = -g + 3*w for g.
-5
Suppose -4*r = -6*r + 36. Let x(s) = s**2 - 9*s - 10. Let c be x(8). Let o = c + r. Solve -a - 5 = -o*a - 2*l, -2*l = 2*a + 4 for a.
-3
Suppose 4*m = 3 + 13. Suppose -14 = -4*b + 14. Suppose -j - 4 + b = 0. Solve -m*k = -j*o + 9, 2*o + 3 = 3*o + k for o.
3
Suppose -5*g + 2*f + 2*f = -3, 0 = 4*g - 2*f - 6. Suppose -6 = -2*v - g*n, -5*n - 7 = 3*v - 17. Solve 4*b + l = -6, 3*b + v - 3 = 3*l for b.
-1
Let h(r) = -2*r + 22. Let p = 7 - 2. Let y be h(p). Solve 2*x - 2*d = -y, -d - 18 = x + 4*x for x.
-4
Let c be 18/4 - 3/6. Suppose -2*i = q - 3 + 4, -q = i - 1. Let k be 656/36 + i/9. Solve l + 0*l = 3*d + k, -c*l - d = -7 for l.
3
Let m(t) = -t**2 - 15*t - 34. Let v be m(-12). Solve i = -v*i - 2*r - 2, r = -2*i - 2 for i.
-2
Suppose -2*b + 20 = 2*n, b + 4*n + 0*n - 13 = 0. Suppose 3*v - 6*v = b, -2*s = v - 39. Solve 2*j + 3 = k - 6, -5*k + s = 2*j for k.
5
Let i(l) = -l**2 + 10*l + 29. Let u be i(12). Solve 14 = -v - 3*v + o, -u*v + 3*o = 21 for v.
-3
Let o = 25 - 19. Suppose o*b - 16 = -4. Solve -3*x + 2*m = x - 30, -4*m - 30 = -b*x for x.
5
Let a(b) = 14*b + 73. Let p be a(-5). Solve -4*o = -4*y + 20, p*o - 6*y + y = -23 for o.
-1
Let a(s) = 15*s - 42. Let n be a(3). Solve -3*y - 12 = -6*l + 3*l, -5*l = -n*y - 22 for l.
5
Let f be 0 + (-61)/(-9) + (-2)/(-9). Solve 3*w - 19 = -2*n, -w + 4*n + f = 5*n for w.
5
Let i(a) = a**2 - 8*a + 10. Let n(x) = 3*x - 10. Let m be n(8). Suppose 0*t = -2*t + m. Let h be i(t). Solve u = -3*r, -2*u - r - 2*r = -h for u.
3
Let a = 19 + -17. Let c(f) = 8*f - 47. Let u be c(6). Solve 5*r - 3*x + a = x, r - x + u = 0 for r.
2
Suppose 2*j + 36 = -j. Let h(v) = -v**3 - 13*v**2 - 13*v - 7. Let n be h(j). Suppose n*y - y = 16. Solve -3*u + 2*c = 20, -u + 0*u - y*c = -12 for u.
-4
Let q = 3 + 7. Let c = -7 + q. Suppose -2*j + 0*d = 3*d - 22, 4*j - 8 = c*d. Solve j*b = 4*t - 13, -b - 5*t + t = 17 for b.
-5
Let f(i) = i**2 - 15*i + 16. Let o be f(14). Suppose 2*b = k + 8, o*b - 3*b + 2*k = -10. Solve 5*y + 5*n - 20 = 0, b*n - 10 = -2*y - y for y.
2
Let f = -771 + 778. Solve 6*l - l + f = 2*p, -l - 2*p = 11 for l.
-3
Suppose 26*a = 3*a + 46. Solve 3*w + 16 = k - a*k, -5*w - 27 = 2*k for k.
-1
Let v(o) = 6*o**2 - 36*o + 3. Let 