+ -5 - (2 - 0). Let w be 0/i*(0 + -1). Solve w*g = 4*g + 4 for g.
-1
Let w = -34 + 39. Solve -4*x - w = -3*x for x.
-5
Let c = 1004 - 989. Solve -29*t = -c*t - 14 for t.
1
Let d(u) = u**2 - 2*u - 3. Let w be d(3). Let i = 4 - 4. Suppose i = -4*h - h + 10. Solve r + h = -w*r for r.
-2
Let c = 134 + -119. Solve c = p + 4*p for p.
3
Let l(c) = -2*c**3 - 5*c**2 - 4*c - 3. Let n be l(-3). Suppose -8*p + 22 - 6 = 0. Solve n + p = 5*j for j.
4
Suppose 22 = 4*h + 6. Suppose g - 6 = 3*g. Let k be -4 + 7 + g/1. Solve -d + 2*d - h = k for d.
4
Suppose -h + 4*i = -2*h + 113, -3*h = 2*i - 339. Suppose 15 = 4*w - h. Suppose -4*l = 4*t - w, -l + 4*t = -0*t + 17. Solve y - l*y = 6 for y.
-3
Suppose -3*j - 13 = -58. Suppose -j = -4*n - 3. Let i(s) = s - 1. Let h be i(n). Solve -h - 4 = 2*y for y.
-3
Let g(a) = -17*a + 141. Let z be g(8). Solve -2*p - z = -7*p for p.
1
Let c(x) = x - 5. Suppose 2*i - 26 = -5*j - 9, 5*i = 3*j - 4. Let p be c(j). Let k be (p/4)/(8/(-64)). Solve 2 = k*h - 2 for h.
1
Let s(l) = l**2 - 8*l + 18. Let h be s(3). Solve z = -0*z - h for z.
-3
Let b(l) = -l - 1. Let z(q) = q**3 - 3*q**2 - 3*q - 5. Let k be z(4). Let t be b(k). Let w = -32 + 35. Solve 0*y - w*y = t for y.
0
Suppose 65 = 5*j - b, -4*j = -b - b - 58. Let v = j - 10. Suppose -v*k - 2*n - 2 = -14, 5*k - 36 = -3*n. Solve 2*r - k = -r for r.
3
Let c(m) = 2*m**3 - 8*m**2 + 5*m - 5. Let q be c(4). Suppose 5*v + 9 = 3*z + 30, 4*v - q = 3*z. Solve v*h = 3*h + 9 for h.
3
Let p be (-1144)/(-40) + (2 - 24/15). Suppose 0 = 35*g - p*g - 24. Solve 0 = g*f - 3*f for f.
0
Suppose -4*p = 0, -3*u - 2*p = -0*u. Suppose 2*s + 6 = 3*q + q, u = 5*q + 4*s - 14. Solve 2*r - q = 4 for r.
3
Let l be 16/24*(-174)/2. Let x be l/(-4) - 5/(-10). Let s = x + -12. Solve -14 = -s*m + 1 for m.
5
Suppose 3*q = 4*x - 14, 0 = -x + 6*x + 5*q. Let u be x/(-18)*2 + (-959)/(-63). Solve -4*n - n + u = 0 for n.
3
Let y(t) be the second derivative of 1/2*t**2 + 2/3*t**3 - 1/20*t**5 + 4*t + 1/4*t**4 + 0. Let k be y(4). Solve k + 4 = -b for b.
-5
Let k = 148 + -79. Let o = k + -66. Solve o = -5*x - 7 for x.
-2
Let i(a) = -16*a - 1. Let b(p) = 2*p**2 - 2*p - 5. Let k be b(3). Let y(v) = -v**3 + 6*v**2 + 7*v - 1. Let r be y(k). Let z be i(r). Solve o - 4*o = -z for o.
5
Let x be 10/(-55) + ((-158)/(-22) - 2). Solve -12 = -x*i + 3 for i.
3
Let s be -3 - -4 - (-1 + 42). Let p = s - -43. Suppose f - 8 = 3*d - f, -2*f + 8 = -5*d. Solve d*q - p = q for q.
-3
Suppose 6*q - 8 = 10. Suppose 5*t + 29 = 3*k, -5*k - t + 42 = -q*t. Solve -4*x = -k*x + 12 for x.
3
Let i(x) = -x**2 + 46*x + 13. Let l be i(46). Solve 7 = -4*f - l for f.
-5
Suppose 25 = -3*z + 52. Solve -7*i + z*i = -10 for i.
-5
Let k be 6/360*8 + 168/90. Solve 5*y = -17 + k for y.
-3
Let p be (-4 + 7 + 1)/(6/63). Suppose 10*x + 4*x = p. Solve x*l + 19 = 4 for l.
-5
Suppose 5*a - 3*a - 4*p - 24 = 0, -a = -4*p - 4. Let o be 96/(-7) + -2 + 36/21. Let x = a + o. Solve x*g - g = 0 for g.
0
Suppose 0 = -4*w - w + 20. Suppose -5*f + w*o = -24, 2*o + 0*o = 5*f - 22. Suppose f*i - 95 = -35. Solve -5*n + 10 = -i for n.
5
Suppose 11*s = -159 - 710. Let a = s + 82. Solve -7*k = -4*k + a for k.
-1
Let d(v) = v**2 - 4*v + 12. Let s be d(6). Let w = 29 - s. Solve w*j - 5 = -0*j for j.
1
Let n be -6 + (6 - -2) + (0 - -1). Solve 0 = 6*i - n*i + 6 for i.
-2
Let m be 1/((-2)/4 - -1). Suppose 0*p - 6 = -3*p. Suppose -p*a = -7*a. Solve a = 4*n - 6*n + m for n.
1
Suppose 0*b - b = 0, 2*o + 4*b + 194 = 0. Let r = o + 98. Solve -2*k = r - 9 for k.
4
Suppose -3*k = -4*k + 4. Let x(g) = 3*g**3 - 13*g**2 - 33*g + 2. Let c(y) = y**3 + y**2 - 1. Let p(a) = -2*c(a) + x(a). Let l be p(17). Solve l - 1 = k*n for n.
5
Let u(l) = -l**3 + 9*l**2 + 11*l + 9. Suppose 2*t + 16 = 18. Let w be (t/3)/((-2)/(-60)). Let y be u(w). Solve 0 = 3*m + 7 - y for m.
4
Suppose -t - 4*a + 21 = 0, 7*t = 2*t + 3*a + 13. Let p be (-3 + 2)/(-1)*t. Let r = -5 - -12. Solve r + 13 = -p*m for m.
-4
Let p(l) = -l + 7. Suppose b = 2, -3*b - 17 = -5*z + b. Let w = -1 + z. Let f be p(w). Solve -f*x + 8*x - 20 = 0 for x.
4
Let g = -311 + 317. Solve -4*l + 10 - g = 0 for l.
1
Let i = 187 + -185. Solve -i*k + 4*k = -2 for k.
-1
Suppose -s + 10 + 9 = 5*i, -24 = -5*i + 4*s. Suppose -3 = 3*h, 4*h = -i*y + 6*y - 14. Solve y*l - 13 = 12 for l.
5
Let a(j) = j + 5. Let f be a(-7). Let v(l) = -7*l**3 + 2*l**2 + 4*l + 3. Let o be v(f). Suppose 3*i + i = -w + o, 3*i - 42 = -3*w. Solve -7*k - i = -2*k for k.
-3
Let g(p) = p**3 - 2 - 4*p**2 + 4*p**2 - 3*p + p**2. Let i be g(-2). Suppose -3*b = -b - 16. Solve -4*q = -i*q + b for q.
-2
Let d = -1188 + 1231. Solve 4*z + 23 = d for z.
5
Suppose -3*y - 2*y = -d + 52, -2*y - 3*d - 14 = 0. Let p be 46/10 + (-4)/y. Suppose 2*j - 19 = p*g, -5 = -3*j + 3*g + 10. Solve 0 = -a + 4 - j for a.
2
Let a = -336 + 221. Let g = a + 115. Solve g = m - 6 + 1 for m.
5
Suppose 2*x = 5*x + 4*n + 4, 0 = -2*x + 2*n - 12. Let o(v) = -4 - 6 + 1 - v + v**2 + 4. Let g be o(x). Solve -2*k - g = k for k.
-5
Suppose -762 + 917 = 5*d. Solve 4*x = -d + 43 for x.
3
Let g(n) = -n - 3. Suppose 4*i - 26 + 10 = 0. Suppose i*y = y - 15. Let l be g(y). Solve -5*w = -l*w + 9 for w.
-3
Let v be 30/(-18)*(-1)/2*6. Suppose 3*n - 2 - 1 = 0. Suppose 2*k - n = v. Solve 0 = 2*r - k*r for r.
0
Suppose 25*c - 17*c = 48. Solve c*h - 8 = 4*h for h.
4
Let h(y) = y + 8. Let j be h(-6). Let c(x) = 10*x - 68. Let k be c(7). Suppose -2 = -k*b + j. Solve 4*r - b*r = 10 for r.
5
Let t(q) = -q**2 - 7*q - 6. Let u be t(-4). Suppose 0*i - 3*i + u = 0. Solve i*y = -3*y for y.
0
Let k be 84/9*(3 + 156/8). Solve 206*j - k*j = -12 for j.
3
Let n be (-9)/6 + (-3)/(12/(-58)). Solve 2*r - n = -17 for r.
-2
Suppose 2*o + 225 = 3*k - o, 2*o = -k + 81. Let g be 4/(-14) + 946/k. Solve 2*q = -q + g for q.
4
Suppose 0 = m + 3*m - 28. Suppose -w = -2*a + 11, 0 = 3*a + 5*w + m + 9. Solve 0 = -a*k - 7 - 8 for k.
-5
Let d(t) = -6*t + 5. Let n be d(4). Let k = n - -21. Let p be (-64)/(-12) + k/3. Solve x - p = -x for x.
3
Let r(x) = x**3 - 17*x**2 - 1. Let i be r(17). Let w = i + 3. Solve 3*k + w = -13 for k.
-5
Let c = -34 - -39. Suppose 13 = 6*m - c. Solve 0 = m*v - 4*v - 3 for v.
-3
Let u = -99 + 105. Suppose -u = 149*x - 152*x. Solve -x*c = -c + 2 for c.
-2
Suppose j - 4 = -2*t, -2*t + 5 - 1 = 2*j. Suppose 0 = 4*l + t*a - 40, 4*l - a - 15 = 25. Let k(z) = z**2 - 2*z - 2. Let u be k(-2). Solve l = -u*x + x for x.
-2
Suppose 3*o = 4*y + 17, -2*o + 3*o + 7 = -5*y. Let m(k) = -k**3 - 10*k**2 - 7*k + 3. Let t be m(-9). Let w be (0 + 1)/((-3)/t). Solve -o*f + w*f = 0 for f.
0
Let w = 871 + -859. Solve 6*r - w*r = 24 for r.
-4
Let i be ((-14)/(-63) + 8/(-9))*-33. Suppose i*s = 17*s. Solve b + 2 = -s*b for b.
-2
Let k(q) = 3*q - q - 3 + q**2 + q. Let h be k(-6). Let m(c) = c**3 + 24*c**2 + 19*c - 92. Let f be m(-23). Solve f*u = 3*u + h for u.
-5
Let o be (27/(-36))/(6/(-16)). Solve 0 = -o*h - 8 - 2 for h.
-5
Let j(i) = -12*i + 4. Let h be j(-4). Let q = h - 42. Solve -4*t = -q + 2 for t.
2
Let u = -130 + 137. Let v be ((-1)/2)/((-3)/(-6)). Let q be (6/(-4))/(v/2). Solve -8 = -q*l + u for l.
5
Suppose -2*m = -m - 4, 0 = a + 3*m - 28. Solve -a*i - 15 = -13*i for i.
-5
Let p be (-2)/3*171/(-6). Let l = -18 + p. Suppose 2*s - 10 = -0*s - 2*u, 5*s + u - 25 = 0. Solve -4*k + l = s for k.
-1
Let s = 95 - 90. Suppose -y - 27 = -4*y - 3*d, -41 = -4*y - 5*d. Solve -s = -y*o + 7 for o.
3
Suppose 12 = -o - 4*z, -22 = -3*o + 5*z - 7. Solve o*w - 12 = -6*w for w.
2
Suppose 0*o + o + 4 = -3*n, -2*n = 2. Let c be o - (6/(-3) - 1). Suppose 17 = h + 3*b, 0 = 2*h + 3*b + c*b - 30. Solve h*d - 8 = d for d.
2
Let p(x) = -x**2 + 9*x + 24. Let v be p(10). Suppose 2*w - v = -5*w. Solve w + 1 = h for h.
3
Let r be (-149)/(-4) + 27/36. Let c = -33 + r. Solve l + c - 6 = 0 for l.
1
Let d be (-28)/24*3*-20. Let h be 5/20 - d/(-8). Solve h - 1 = 2*q for q.
4
Suppose -4*y + 115 = 103. Solve -5 = -y*u + 1 for u.
2
Let q be (-2 - -1)/(5/10). Let o(b) = -b + 2. Let i be o(q). Suppose 5*j + t = 19, j - 6 = -i*t + 13. Solve 0*p = -j*p for p.
0
Let w be (-38)/8*16/4. Let t = 21 + w. Suppose 0 = 5*x + i - t*i - 27, -5*x = -2*i - 29. Solve -5*l = x - 0 for l.
-1
Let i be 52/(-91)*(-98)/4. Let q = -12 + i. Solve 0 = c - 0*c + q for c.
-2
Suppose -72*a + 73*a - 4 = 0. Solve o = -o + a for o.
2
Let y be (1*-6)/((-