2*a - 25. Suppose a = 5*m - 2 - 3. Suppose -2*x - 8 = -d, 4*x + 8 = -3*d + 2*x. Solve d = 4*k - 3 - m for k.
1
Suppose -128*x - 45 = -137*x. Solve -4*c = c - x for c.
1
Let z = 4 - 0. Suppose 0 = 4*f - 1 + 21, 4*x - z*f = 60. Solve -i + x = 4*i for i.
2
Let t(d) = -2*d**2 - 25*d - 45. Let p be t(-10). Suppose -p*q = 15, c + 0*c + 3 = -2*q. Solve -c*b = -6*b for b.
0
Suppose -11*u = 5*u - 64. Solve 4*b = -u*b + 4*b for b.
0
Suppose 2*v - v = 5*t + 142, 2*v = -4*t - 122. Suppose 21 = -p + 2*l, 5*l + 0*l = -4*p - 32. Let u = p - t. Solve -u = -5*n + n for n.
4
Let m(h) = -h**2 + 6*h - 2. Let c = -8 + 10. Let t(w) = -4*w**2 + 18*w - 5. Let k(o) = c*t(o) - 7*m(o). Let s be k(-5). Solve s*l + 20 = 4*l for l.
-4
Let g = 18 + -28. Let o(f) = -f + 2. Let k be o(g). Suppose -4*x = -k - 36. Solve 0 = -4*d - x - 0 for d.
-3
Let j = -2186 - -2396. Solve 0 = -4*k - 230 + j for k.
-5
Let d = 83 - 87. Let l be 1 - (7 + -3)/d. Solve l*r - 4*r = 2 for r.
-1
Let i be ((-11)/33 - (-1)/3)/(-3). Let z = -13 + 18. Solve i*w - z = -w for w.
5
Let b be (-1)/(-10) - (-35)/(2800/9192). Solve -6*g - b = -109 for g.
-1
Let a = -10 + 14. Let p be 4/22 - a/22. Suppose 0 = 5*z - 2*c - 30, -14 = -z + 2*c - p*c. Solve 0*j + 2*j = z for j.
2
Let c(s) = 3*s - 14. Let k be c(6). Let j be -2*((-980)/360 + k/18). Solve 0 = p - j for p.
5
Suppose 2*p = 4*q - 2*q - 48, 0 = 5*p. Let t be 6/q*-4 + (-6)/(-1). Solve 0 = -t*b - 4 - 6 for b.
-2
Let q be 24/9 + (-6)/(-18). Let t be (-2)/(-5) - 36/15. Let d(i) = -2*i**3 - 4*i**2 - 2*i + 1. Let x be d(t). Solve -q*a - 7 = x for a.
-4
Let o = -19 + 66. Suppose 3*q - 48 = -a, o + 17 = 4*q + a. Solve 3*b = -q + 1 for b.
-5
Let h be 7 + (0 - 1) + (-56)/28. Suppose 16 = -h*a + 8*a. Solve 2*z - a = -6 for z.
-1
Let w be (-8)/(4/8*1). Let i = w + 13. Let s be (-2)/((9/i)/6). Solve s*q - 6*q + 4 = 0 for q.
2
Suppose -7*s + 9 = 23. Let a be s/9 - (-232)/72. Solve 0 = a*o - 1 + 13 for o.
-4
Let i be -1*3/1 + (-29 - -32). Let x = -4 + 3. Let m be ((-9)/(-15))/(x/(-5)). Solve 3*z = -m - i for z.
-1
Suppose 2*k - 5 = -9. Let x be (-2)/k - (1 - 3). Suppose 2*d - 1 = x. Solve -m - 2 - d = 0 for m.
-4
Suppose -3*a = 5*j + 20, 2*j + 3*a + 13 = 4*j. Let z = 10 + -4. Let d = z + j. Solve 1 = 3*m - d for m.
2
Let w = -52 - -82. Let z be (1/(-2) + 1)*0. Suppose 2*l = -z*l + w. Solve -4*u - l = -u for u.
-5
Suppose 0 = 4*j - 0*b - b - 11, -14 = -5*j + b. Suppose j*s = -2*h + 40, s - 3*h - 25 = -6*h. Solve 3*v + s = 1 for v.
-3
Let j(z) = z**3 + 7*z**2 + 7*z + 10. Let f be j(-7). Let l = f + 39. Solve 5*o + 3 + 2 = l for o.
-1
Let k = 112 - 109. Suppose 2*z + 4 = -k*p, 7*z - 3*z = -p + 12. Solve d + 0 = -z for d.
-4
Suppose -5*w - 2 = -l, 4*l - 9 = 3*w - 1. Let o be 1 - (-2 + -5 + 2). Suppose -2*u - 20 = -o*u. Solve -3*j - l*j = -u for j.
1
Let t = 178 + -154. Solve -6*h + 0*h = t for h.
-4
Let k be ((-2)/5)/((-10)/50). Let v be 1/((-3)/72*-3). Suppose 4*x + 60 = v*x. Solve -k*f = f + x for f.
-5
Suppose -w + n + 10 = 0, -8*w - 2*n = -7*w - 1. Solve -w*a - 32 = -4 for a.
-4
Let n = 423 + -407. Let f = -7 + 10. Suppose -f*l = -l - n. Solve 5*w - l = -28 for w.
-4
Let d = 268 - 266. Let n(r) = r**2 + r - 1. Let a be n(-3). Suppose -31 = -d*j - a*k, -3 = 4*j - 4*k + 5. Solve -v + 2 = j for v.
-1
Suppose 0 = 2*n + 4*o + 74, o = -0 + 4. Let a = -35 - n. Solve 4*t = -t - a for t.
-2
Suppose -4*v + 14*v + 120 = 0. Let o(f) be the first derivative of -f**4/4 - 4*f**3 + f**2/2 + 17*f + 2. Let q be o(v). Solve -q*s = -2*s - 15 for s.
5
Suppose -2*n - 2*v + 29 = -15, -5*v + 26 = n. Solve 0 = -19*i + n*i - 4 for i.
2
Let s(o) = o**3 - 9*o**2 - 4*o + 5. Let y be s(9). Let j = -28 - y. Solve j = t + 6 for t.
-3
Let s(o) = 2*o**2 + 0 + 8*o + 0*o + 4 - o. Let g be s(-4). Suppose -5*q = -g - 7. Solve q*p + 0 = -3 for p.
-1
Suppose 4*o - 11 = 5. Suppose 2*b - o + 0 = 0. Solve 3*f = -b*f - 5 for f.
-1
Let n(u) = u + 9. Suppose -9*g = -4*g + 125. Let l = g + 18. Let c be n(l). Solve -c*y = 3*y + 20 for y.
-4
Suppose 0*r - 3*r = -2*f - 7, 2*f - 1 = -5*r. Suppose 0 = 3*o - 7*o. Suppose 5*v + 10 - 50 = o. Solve r = 3*k - v for k.
3
Suppose -4*r - 4*m - 12 = 0, 0*r - r + 4*m + 2 = 0. Let f be 2 - (r + 4 - -4). Let x be (-5)/5 - f*1. Solve -d = -1 + x for d.
-2
Suppose 63 = 22*l - 15*l. Solve -12 = l*c - 57 for c.
5
Let u = -2 - -6. Suppose -n = 2*v - 3, -n + 2 - u = -3*v. Suppose -o = -v - 14. Solve l + 4*l = o for l.
3
Let v(a) = -a + 13. Let c be v(6). Let b = 1 + -4. Let y = b + c. Solve y*f = 2*f - 10 for f.
-5
Let k(b) = b**3 + 15*b**2 - 18*b - 30. Let g be k(-16). Suppose 3*h + 4*d = 4*h - 3, -g*h + 2*d = -18. Solve 1 = -3*p - h for p.
-4
Suppose h = -4*h, -3*c = 4*h - 9. Suppose 0 = 5*u - c - 12. Suppose 2*v + 7 = 3*n - 18, -4*n - 2*v = -24. Solve 5*o - u = n for o.
2
Suppose -21 = -5*r + 3*s - 4*s, 4*r + 2*s = 18. Suppose -r = 6*a - 16. Let b be 3*(4/6 + 1). Solve 3 = a*h + b for h.
-1
Let a(h) = 1 - 29 + 293*h - 285*h. Let o be a(4). Solve o*l + 17 + 3 = 0 for l.
-5
Suppose 0 = 2*d - 4*d + 4. Suppose -2*g + 7*g = 4*g. Let a be g/4 + 0 + 0/5. Solve r = -a*r + d for r.
2
Let h(i) = -3*i + 5. Suppose 3*n = 1 + 2. Let g be h(n). Let p = -1 + 1. Solve q + g*q + 9 = p for q.
-3
Let x(p) = -6*p + 4. Let r be x(0). Suppose 0*z + r*z + 5*o = -17, z = 4*o + 22. Solve -z*u + u = 0 for u.
0
Suppose -4*u + 100 = -5*r, -r = -5*r - u - 80. Suppose -5*x - 47 = -5*c + 63, -28 = x + 2*c. Let s = r - x. Solve s*d + 22 = 2 for d.
-5
Let v = -7 + 10. Let h(q) = -12*q + 17*q**2 - q**3 - v - 5 - 3*q**2. Let x be h(13). Solve x*r + 5 = -15 for r.
-4
Let g be (-64)/288*(1 - 10). Solve g*o = 3*o - 1 for o.
1
Let p be 2/(-1) - 546/(-14). Let s = p + -37. Solve -5*h = -25 - s for h.
5
Let w be 3/12 + (-3000)/(-160). Solve 0 = 2*s + w*s + 105 for s.
-5
Suppose -52 = -7*i + 3*i. Suppose -i = -5*u - f, 3*f = -3*u + u. Let v = 1 + 0. Solve v = -2*m - u for m.
-2
Let q(n) = n**3 + 2*n**2 - 2*n - 2. Suppose 0 = -t + 4, -5*j - 4*t + 32 = 6. Let y be q(j). Solve r = 3*r - y for r.
5
Let h = 188 - 185. Solve -3*j + 0 = -h for j.
1
Let b be (-4 + (-112)/(-20))/(2/35). Solve 4*g + b = -3*g for g.
-4
Let a be (3/4)/(2/8). Suppose -4*q - k - a = -9, -q = 5*k + 8. Let y be 26 - (-176)/(-11) - 7. Solve y = -q*v + v for v.
-3
Let p = 198 - 198. Solve 2*w + 8 - 16 = p for w.
4
Let c(f) = -68*f - 404. Let u be c(-6). Solve -z - u*z = -0*z for z.
0
Let y be 2 - -2 - (4 - 2). Suppose -4*c - 2*w + 84 = 0, -5*c = -4*w - 128 + 49. Let x = c + -15. Solve 4*i - y*i - x = 0 for i.
2
Let x be ((-3 - -6) + 2)*(-2 - -3). Let f be (1 - 1*-6) + (2 - x). Solve 20 - f = 4*v for v.
4
Suppose 0 = w - 7 - 8. Suppose 0 = 2*d + 2*f - 16, -3*d + f - 3 = -w. Solve 5*z + 0 - d = 0 for z.
1
Let a(x) be the second derivative of x**3/6 - 3*x**2/2 - 10*x. Let k = 9 - 6. Let w be a(k). Solve -2*m - 2 + 0 = w for m.
-1
Let c be ((-5)/3)/(6 + (-95)/15). Suppose c = -i + 6*i - 5*u, -5 = -4*i + 5*u. Solve 3*v + 12 = -i*v for v.
-4
Suppose 0 = -2*d, o = -o + 4*d. Suppose 0 = -2*n - o + 8. Solve -n*m - 8 = -0*m for m.
-2
Let q = -918 - -928. Solve 0 = -q*m + 14*m for m.
0
Suppose 0 = 5*m - 19*m + 112. Solve 0 = 2*a - m + 4 for a.
2
Suppose 42*d + 2*y + 18 = 44*d, -5*d - y = -15. Solve 2*l - d*l + 10 = 0 for l.
5
Let m = -216 + 218. Solve -5*r = m - 7 for r.
1
Suppose 15 = 5*w - 2*w. Suppose 4*r + 5*t - 2*t - 28 = 0, r + w*t = -10. Suppose 3*i = -s + r + 18, -s = -4*i. Solve 4*y + s = 36 for y.
5
Let o be 17 - 11 - (3 - 2). Let p(g) = 2*g - 5. Let m(q) = 6*q - 14. Let c(x) = o*m(x) - 16*p(x). Let a be c(5). Solve -10 = 2*y - a*y for y.
-5
Let n(v) = -47*v - 180. Let t be n(-4). Suppose 3*j = -3*i + 6, -4*j + 3*j = -3*i - 6. Solve -w - t = -j for w.
-5
Suppose 91 + 5 = 6*d. Solve 6*f = -d - 14 for f.
-5
Let h = 27 - -13. Suppose s + 4*s = h. Suppose -14*b + 6 + 22 = 0. Solve 2*g = s - b for g.
3
Let v be -4 - (13 - 25) - 6/1. Solve 6 = v*h - 2 for h.
4
Let j be 0*(-4)/(-4)*-1. Suppose j = -2*l - 0*f + 2*f, -2*l - 5*f = 0. Let d(g) = -g**2 + 8*g + 2. Let a be d(8). Solve -x - a*x = l for x.
0
Let k(n) be the first derivative of -11*n**2/2 - 2*n - 6. Let p be k(-2). Solve -4*g + p = g for g.
4
Let j(w) = w**2 + 3*w - 3. Let i be j(1). Let r be (-119)/(-17) + -1*i. Solve r*s = s + 10 for s.
2
Let k be 5 - (1/2*0)/(-1). Let f = k + -1. Solve -2*z + 0 = f for 