 + 2. Let t be h(3). Suppose 2*z = 3*x, 0 = -t*z - x + 34. Solve -5*k = -2*k + z for k.
-2
Let l = -10 + 16. Let j(h) = 8*h. Let n be j(0). Solve n = l*x - x for x.
0
Let f = -51 - -86. Let r = f + -30. Solve -14 - 6 = -r*h for h.
4
Let i(l) = -l**3 - l**2 + 4*l - 1. Let k be i(-3). Let p(j) = j**3 - 5*j**2 - j + 11. Let s be p(k). Suppose 2*y - 2 - s = 0. Solve -y*m - 19 = -7 for m.
-3
Suppose 4*b + 1 = 3*s + 12, 4*b - 9 = s. Let p(a) = a + 8. Let o be p(-8). Solve o*g - b = 2*g for g.
-1
Let d = -213 + 214. Solve -y + d = 4 for y.
-3
Let f be -6*(-3)/9*1. Suppose -2*d - 4*p + 24 = 0, f*d + 0*p - 2*p = 6. Solve -d = -2*t + 4 for t.
5
Let c(j) = -5*j - 71. Let o be c(-18). Solve o = -14*g - 51 for g.
-5
Suppose 0 = -5*j - 4*f - 15, j - 4*f + 3 = -2*f. Let d be (-5 - j - 0) + 2. Suppose -2*i + 4*i = d. Solve 2*n + i = 8 for n.
4
Let r(d) = -5 + 0 - d**2 + 4 - 4*d. Let k be r(-3). Solve j - k = 2 for j.
4
Let h = 9 + -13. Let n = 1 - h. Suppose n*p = 3*p. Solve 5 = l - p*l for l.
5
Let y = -1 + 2. Let p be y/2 + 1014/52. Solve 2*r = -2*r + p for r.
5
Let h be 66/14 - 5 - (-256)/14. Suppose -8*q + 4*q = -12. Solve q - h = 5*b for b.
-3
Suppose -5*n + 2*s + 38 = -0*n, s + 28 = 4*n. Suppose 4*m = 2*m + 4. Let o(d) = 32*d - 1566. Let i be o(49). Solve -m*c - i = -n for c.
2
Let s = -89 + 45. Let z = -28 - s. Suppose 6*o = 2*o + z. Solve -6*h + o*h = -6 for h.
3
Suppose 42 = -3*m + s, 0 = 3*m + 5*s + 16 + 26. Let d(g) = -2*g - 25. Let c be d(m). Solve 0 = -c*l - 9 - 0 for l.
-3
Let s be (18/(-15))/((-12)/30). Suppose 5*p + 5*d = 5, -2*p + s*d + 1 = 4. Suppose p*n - 3*n = 0. Solve 0 = 5*x - n*x for x.
0
Suppose -16*g - 9*g + 75 = 0. Solve -2*p = -p - g*p for p.
0
Let w be (-1)/((-9)/6) - 116/(-87). Solve w*b = -0*b - b for b.
0
Let i(y) = y**3 - 51*y**2 - 56*y + 218. Let v be i(52). Solve 6 = -z + v for z.
4
Let p = -523 + 580. Solve -t + p = 53 for t.
4
Let u = -1511 - -1526. Solve -9*g = 2*g - u*g for g.
0
Suppose -4*h + 11 = 3. Let y be (-1 + 4 + 1)/h. Suppose 3*v + y*v = 75. Solve v = -7*n + 4*n for n.
-5
Suppose 3*j = -n + 52, n - 4*n + 176 = 5*j. Let q = 72 - n. Solve -q*k = -2*k for k.
0
Suppose 2*f + 2 = 4*f + l, 0 = 5*f - 4*l - 18. Suppose 41*s - 37*s = -4. Let x(h) = -6*h - 2. Let i be x(s). Solve i = f*p - 0*p for p.
2
Suppose 0*u = -66*u + 3564. Solve u = -4*p + 46 for p.
-2
Suppose -2*a + 2*i = -12, -4 = 5*a - 2*i - 22. Solve -a*z - 5 = -3 for z.
-1
Suppose -29*z + 5*a = -28*z - 41, 0 = -z + a + 25. Solve 10*k - z*k = -55 for k.
5
Let z be 6 + (-3)/((-6)/2). Let d = 853 - 851. Solve -5 = -z*o + d*o for o.
1
Let j(q) be the first derivative of q**3/3 - 19*q**2/2 + 3*q - 2. Let w be j(19). Solve -2*v = v - w for v.
1
Let y(a) = a**3 + 3*a**2 - 3*a + 5. Let j be y(-4). Let s = j - -3. Suppose n + 3 - s = 0. Solve -2*o + o - n = 0 for o.
-1
Suppose 2*d + 5*y - 11 = 0, 6*d - 2*y = 2*d + 34. Let f = d - 4. Suppose f*b - 2*b - 4 = 0. Solve 0 = -b*z + 3*z - 2 for z.
2
Suppose -w = 4*b - 4*w - 19, 14 = 4*b + 2*w. Suppose 2*n + a = -n + 12, -3*n + 6 = -a. Suppose -9 = -4*v + n*x, 0 = 5*x - 5 + 20. Solve -d - b*d + 10 = v for d.
2
Let x be 15/50*-4*30/(-9). Let y be 4/(-10) - (-267)/5. Suppose 0 = x*i + 13 - y. Solve 0 = -c + 3*c + i for c.
-5
Let o = -207 + 227. Solve -74*r - o = -78*r for r.
5
Let m(i) = -i**2 + 9*i + 6. Let g(c) = 3*c**2 - 19*c - 11. Let r(v) = 2*g(v) + 5*m(v). Let d be r(-6). Solve 2*j = -d*j - 16 for j.
-4
Let w(m) be the first derivative of m**3/3 + 5*m**2 + 5*m - 5. Let t be 4/(-12) - 58/6. Let j be w(t). Solve s - 1 + j = 0 for s.
-4
Let y be (2/6 - 0)/((-7)/(-42)). Let u be y + -4 - 2*1*-1. Solve u*f + 5*f + 10 = 0 for f.
-2
Let k = -1 - -3. Let f(d) = 3*d**2 - 8*d**2 + 0*d**k + d**3 - 3*d**2 + 9. Let t be f(8). Solve t*r - 4*r + 5 = 0 for r.
-1
Let k(o) = -6*o**2 + 11*o + 11. Let j(g) = 5*g**2 - 10*g - 10. Let r(s) = 3*j(s) + 2*k(s). Let d be r(-2). Solve -2*u = -7*u - d for u.
-4
Let g = -7 - -4. Let a be 6/(g*(-4)/8). Let v = 7 - a. Solve v*o + 6 = -0*o for o.
-2
Let r = 88 + -169. Let z = 87 + r. Solve 4*k - 6 - z = 0 for k.
3
Let y = 419 - 438. Let z(v) = -v**2 + v + 24. Let b be z(0). Let p = b + y. Solve i = -0*i + p for i.
5
Let w be (-24)/18*4*-12. Let y = w - 37. Let a = y + -25. Solve a*x + x + 6 = 0 for x.
-2
Let i be (1 - -1)*10/4. Suppose o + 4*f - 8 = 0, 0*o + 17 = 3*o + i*f. Suppose -6 - 2 = -o*a. Solve z = -z - a for z.
-1
Suppose 3*w = -3*f + 21 + 15, 3*f - 2*w = 51. Solve 0 = -5*g - 35 + f for g.
-4
Let o(f) = 5*f + 6. Let x be o(-6). Suppose 276 = 3*c + 204. Let u = x + c. Solve u*d = 5*d - 10 for d.
2
Suppose 0 = -2*v + 16 - 8. Solve -16 + v = 6*f for f.
-2
Suppose 0 = -0*k + k + 4*q - 63, -k + 61 = 3*q. Solve -11*m = -0*m - k for m.
5
Let y = -749 - -760. Solve y = 4*m - 5 for m.
4
Let c be (15/25)/(1/(-5)). Let q be -2*(c + 2)*1. Let w = -2 + 2. Solve q*z + 10 = -w for z.
-5
Suppose -4*t + 6 = 2*l, 84*l = 79*l - 3*t + 8. Solve 3*c - 2*c + l = 0 for c.
-1
Let c(k) = -k**2 - 7*k + 2. Let z be c(-7). Suppose -3*f = 2*f - 4*y, z*f = -4*y. Suppose n = -3*d - 4*n + 7, 2*d - 3*n - 11 = f. Solve -d*j + 5*j = 0 for j.
0
Let v = 1240 + -1204. Solve -7*k = 2*k - v for k.
4
Let x = 10 + -10. Suppose x*h = -h. Let z be (-8)/(-32)*(h - -4). Solve -3*s + 4 = z for s.
1
Suppose -5*n = 2*y - n - 42, 0 = 2*y + n - 36. Let x = -7 + y. Let a = 0 - 0. Solve 4*t + x + 2 = a for t.
-3
Suppose -5*t - 3 + 8 = 0. Let l be (-37 - -23)*((-2)/(-7))/(-1). Solve -z + t = l for z.
-3
Let t(r) = 2*r**2 - 7*r + 5. Let w = -53 + 56. Let q be t(w). Solve -s = q*s + 15 for s.
-5
Let y = 19 - 13. Let f = 8 - y. Solve 0 = 2*a + f*a for a.
0
Suppose v - 4*g = -6*g - 2, 5 = g. Let z be (-39)/18 - 2/v. Let d be 5 - (z/(-1) + 1). Solve d*l = -l - 12 for l.
-4
Let b = -16 - -28. Suppose 0 = 5*q - 23 - b. Let u = q + -7. Solve u = j - 1 + 2 for j.
-1
Suppose -7*c - 33 = -47. Solve 12 - 2 = c*l for l.
5
Let s = -115 + 120. Solve 0 = -2*u - s*u for u.
0
Let f = -237 - -237. Solve -a + f*a = -5*a for a.
0
Let a be 1/(-5) - 14/5. Let k be 4/(2 + a) + 7. Solve 0 = k*i - 9 for i.
3
Suppose -6*x - 2 = -8*x. Let d be (-134)/(-10) - 4/10. Suppose -y = -2*r + d, -1 - x = 2*y. Solve 2*n - 2 + r = 0 for n.
-2
Let s be (0 - -16)/2 - 4. Let j be (-18)/(s - 7) - 0. Let u be 5/((-10)/j) - -3. Solve u = -4*i - i + 10 for i.
2
Let k(l) = -2*l - 15. Let t be k(-9). Solve -t*g + 12 = 9 for g.
1
Let o = -67 + 71. Suppose o = 4*i - 24. Solve -4*m + 3 - i = 0 for m.
-1
Let l(g) = -4*g - 4. Let u be l(-2). Solve 4*s + 20 = u for s.
-4
Let y = -116 - -121. Suppose 25 = 3*f - 2*i, y*i = 5*f - 15 - 20. Solve -6*r - 15 = -f*r for r.
3
Let a(h) = h**2 + 4*h - 7. Let o be a(-6). Suppose -o*t + 10 = -15. Suppose -g + x - 4*x = -t, -7 = -g - x. Solve -g = 5*v - v for v.
-2
Let t = 98 - 75. Suppose -2*f + 36 = 3*s, -s = -4*f - t + 67. Let b(c) = -c + 4. Let q be b(4). Solve -4*n - f = -q*n for n.
-3
Let q be (-1 + -1*23)*9/(-4). Suppose 4*u = q - 38. Solve -u*s + 12 = -8*s for s.
-3
Suppose 5*f - 210 = 3*o, 4*o + 4*f + f = -245. Let l = -65 - o. Solve 8 = -2*h - l*h for h.
-4
Let h(g) = 37*g**3 + g + 1. Let x be h(-1). Let w = 52 + x. Solve 5*b - 2*b - w = 0 for b.
5
Let x = 19 + -9. Suppose -5*v = -4*k + 85, -k - 3*v + 2*v + x = 0. Solve -2*r = 3*r + k for r.
-3
Let t = 1 + 6. Suppose -4*o + 9 + t = 0. Solve -2*z = 6 + o for z.
-5
Suppose -3*a - 2*a + 18 = -4*x, -5*a - 5*x = 0. Let b be 3 + a/(-2) - -4. Suppose 4*w - 5*w + b = 2*d, 0 = 4*w - d - 6. Solve -f = -w + 3 for f.
-1
Let b = -170 - -176. Solve -2*h - b = 2 for h.
-4
Suppose 0 = -4*j - 4*o + 60, 2*o - 15 = -3*j + 27. Let i(k) = -k**2 - 9*k - 6. Let l be i(-8). Suppose l*t = -3*t. Solve 3*v - j = -t for v.
4
Suppose 27 = -5*s - 2*f, -3*s - 2*f - 12 = 1. Let w = 8 + s. Suppose -v + w = -1. Solve i = 3 + v for i.
5
Let y(u) = 2*u**2 + u + 2. Let t(w) = -w - 1. Let z(d) = 3*t(d) + y(d). Suppose -k + 18 = 19. Let i be z(k). Solve -i*a = a + 16 for a.
-4
Suppose -2*w - 58 = -31*w. Let a(b) = b**2 + b + 16. Let i be a(0). Let v be (2/(-4))/((-2)/i). Solve -6 - w = -v*h for h.
2
Suppose 0*h - 5*h - 5*p = -25, 3*p + 17 = 5*h. Suppose -873*o + 868*o = 0. Let i = 4 + 3. Solve o = -h*f + i*f for f.
0
Let d(n) = -12*n + 14. Let b be d(3). Let z = b + 28. Solve z + 19 = 5*q for q.
5
Let v = 29 + -24. Suppose 0 = d - v*d - 40. L