 + 9*g + 7. Let a(t) = t + 1. Let r(i) = -4*a(i) + o(i). Let h be r(3). Let l(z) = z**2 - 10*z + 11. Let j be l(h). Solve -j*u = -3*u + 5 for u.
5
Let y = 0 + 15. Suppose -y = -5*n + 35. Let b = 13 - n. Solve -3*g + b = -12 for g.
5
Let m(b) = b**3 - 24*b**2 + 2*b - 43. Let h be m(24). Solve -h - 3 = 2*o for o.
-4
Suppose 3*z = 9 + 9. Suppose 3*a - 7*a + 8 = 0. Solve a*u = z*u - 12 for u.
3
Suppose 3*w = 2*w + 5. Let l(u) = -u**3 - 10*u**2 - 18*u + 39. Let c be l(-6). Solve -c*s = -7 - w for s.
4
Suppose -3*z - z = -16. Suppose 0 = -5*i - 4*g + 3 + z, -2*g = 5*i - 11. Suppose -58*v + 79*v = 42. Solve v*k = 1 + i for k.
2
Suppose -2*u + 8 = -4. Let j = u + 1. Suppose -4*x = -j*x + 6. Solve x*g - 2 = 2 for g.
2
Suppose -4*z = -4*u - 12, -2 = 2*z + u - 5. Solve -3*p - z = -17 for p.
5
Let w(v) = -17*v + 97. Let g be w(5). Solve -9*h = -g*h + 6 for h.
2
Suppose 0*n + 5 = 2*x - n, -x + 3 = -n. Suppose -x*v + 0*u = -2*u - 14, -2 = -2*v + 5*u. Solve 2*c - 3 = -v for c.
-4
Suppose 5*w - l = 17, 10*w + l - 19 = 6*w. Suppose 0 = w*a + 5*h - 21 - 4, 0 = 4*h - 4. Solve -1 = a*x + 4 for x.
-1
Let y(i) = 36*i - 422. Let n be y(16). Solve -152*k + 2 = -n*k for k.
-1
Let r(x) = -x + 17. Let h be r(17). Suppose 2*l - 5 + 1 = h. Solve -m = l - 1 for m.
-1
Let d be (2*1)/(1/2). Suppose 9*l + 13 = -4*l. Let j be (-2 + l/2)*72/(-30). Solve j = -c + d for c.
-2
Let y(i) = i**2 + 2*i - 42. Let o be y(-8). Suppose 3*g + o = -3*b, -g = 3*g + 5*b + 13. Solve g*f = -f for f.
0
Let q = 20 + -11. Suppose -q = -5*w - 2*y + 4, -3*w + 5*y = -14. Let h be -3 + 9 + (8 - 7). Solve -h*t + w*t = -20 for t.
5
Suppose 0*d = -5*n + 2*d + 13, 0 = 5*n - 3*d - 17. Let v be 0/(n/(3/6)). Suppose -2*x - u = -8, 3*x - 2*u = 5 - v. Solve 0 = -0*t + x*t - 12 for t.
4
Let w(y) = -y + 18. Let f be w(15). Solve -f*v = -v for v.
0
Let k(p) = 11*p + 51. Let y(a) = 16*a + 77. Let j(b) = -7*k(b) + 5*y(b). Let h be j(-8). Solve -z = -h*z + 3 for z.
1
Let f be (-238)/170 - (-14)/10. Let p(i) = i**2 - 5*i + 6. Let z be p(4). Solve 2*n + z*n + 20 = f for n.
-5
Let a(b) = 4*b**2 + 2*b - 1. Let c be a(1). Suppose -h + c*h = 128. Suppose -3*w + 4 + h = 0. Solve 2*j - w + 2 = 0 for j.
5
Let k(c) = c**2 - c. Let s be k(-2). Suppose -1 = s*b - 13. Solve 0 = 2*p - 4*p - b for p.
-1
Let w = 8 + -19. Let f = -31 - -15. Let r = w - f. Solve 0 = -j + r*j for j.
0
Let r be (-6)/(-14) + (-625)/(-175). Suppose -r*z - 47 = -5*m, -1 = 3*m - 5*z - 37. Solve 0 = -2*v + m*v + 25 for v.
-5
Let i(p) = p**2 - 12*p + 40. Let u be i(8). Solve -4 = 4*m - u for m.
1
Let u = -72 + 76. Suppose -6*o = 7*o - 3*o. Solve o = u*f - f + 3 for f.
-1
Suppose -3*r = 18 - 9. Let z = 5 + r. Solve -z*y - 3 = 3 for y.
-3
Let q be (-12 + 15)/(0 - -1). Let j(z) = 10*z + 2*z + 0*z**2 + 7 - z**2 - q. Let i be j(12). Solve i = -4*p + 3*p for p.
-4
Suppose 0*l - 45*l = -450. Solve l*z - 3 + 23 = 0 for z.
-2
Let i be (-3 - 13)*(1 - 14). Suppose i = 6*q - 2*q. Let r = q - 37. Solve -g - 2*g + r = 0 for g.
5
Let p = -16 - -19. Suppose 0 = p*s - 6*s + s. Solve 2*y + 7 - 3 = s for y.
-2
Suppose 0 = -5*h + 5*u - 39 + 94, -3*h - u + 21 = 0. Let t be (-1 - 4/h)*-2. Solve t*v + 6 = 3 for v.
-1
Let s = 374 - 370. Solve s*l - 2 = 2*l for l.
1
Suppose 3*s - 41 = -w, 3*s + 4*w + 0*w = 47. Solve -s*y + 69 = 4 for y.
5
Suppose g + 188 = -5*o + 179, 3*g = o + 21. Solve -g*i = -11 + 11 for i.
0
Let l be ((-3)/2)/(3/(-4)). Let n(g) be the first derivative of -g**2/2 + 9*g - 34. Let j be n(9). Solve 2*z = -j*z - l for z.
-1
Let q(j) be the third derivative of -j**5/60 + j**4/6 + j**3/6 + 3*j**2. Let k be q(3). Let c be (-56)/70 + 4/5. Solve k = s - c*s for s.
4
Let z be -105*((-216)/(-42))/(-6). Solve z = b + 88 for b.
2
Let i = -130 - -158. Solve 0 = 3*w + 13 - i for w.
5
Let s = 158 - 154. Solve -9 + s = h for h.
-5
Suppose 2*a = -5*x + 24, -a - 2*x + 18 = 2*x. Suppose -2*o + 33 = 5*p, -2*p - a*o = 3 - 21. Solve p = 2*w - 1 for w.
3
Let q = -1134 - -1168. Solve 31*w - q*w - 15 = 0 for w.
-5
Suppose -2*h + 4*q + 44 = -h, 0 = -4*h - 2*q + 122. Let z = h - 28. Solve -z*i = i - 5 for i.
1
Let c(x) be the second derivative of x**5/20 + 4*x**4/3 - 19*x**3/6 - 17*x**2 + x. Let a be c(-17). Suppose -t + 3*t = 0. Solve 5*k + t*k - 15 = a for k.
3
Let m be 51*7/(-42)*-2. Solve -6*o - 11 = -m*o for o.
1
Suppose -q = 4*t + 337, -t + 4*q + 3 - 100 = 0. Let w = -77 - t. Solve -w*n = -3*n - 10 for n.
2
Let a(o) = -3*o**3 + o + 3. Let d be a(3). Let h = 78 + d. Solve -7 - h = -5*c for c.
2
Let k = -48 + 122. Let u = k - 54. Solve u = 4*a + a for a.
4
Let a be 3/(-9) - 336/(-36). Solve -h - 2*h = -a for h.
3
Suppose 0 = 4*l - 3*j - 35, -42*j = l - 40*j - 6. Solve -3*t + l*t = 7*t for t.
0
Let k(d) = 3*d**2 - 1. Let u be k(-1). Suppose u = 24*j - 23*j. Suppose 13 = j*w + 7. Solve 0*z + w*z = -9 for z.
-3
Let o = 444 - 444. Solve 6 = -3*h - o*h for h.
-2
Let h be 2/4 - (-390)/52. Suppose 33*s - 31*s - 8 = 0. Solve s*y - h = -0 for y.
2
Let b be 9/5*125/75. Solve -5*f = -2*f + b for f.
-1
Let c(w) be the first derivative of 3*w**2/2 + 2*w + 5. Let g be c(1). Let b = -7 + 7. Solve 0*l - g*l - 10 = b for l.
-2
Let p = -1 - -1. Let s = -4 - -7. Suppose n - 2*a - 6 = -n, 0 = -2*n - 2*a + 18. Solve p = s*k - k + n for k.
-3
Let k = 33 + -27. Suppose 4*b - 8 = -y, -2*b - 8 = 5*y - k*b. Solve y = -m + 4 - 0 for m.
4
Let h = 0 + 0. Suppose 0 = -3*f - 18, -115*x = -112*x - 8*f - 57. Solve h*l - x*l = 0 for l.
0
Let n = 148 + -142. Solve 3 = -3*a - n for a.
-3
Let h = 5 - 1. Suppose q = -3*u + h*q + 24, 2*u + 3*q + 9 = 0. Let n = 91 - 85. Solve -u*c = -0*c + n for c.
-2
Suppose 31*b - 131 = -5*f + 34*b, 4*f + 5*b - 127 = 0. Solve 0 = -10*o + 17*o + f for o.
-4
Let n(d) = -d - 1. Let y be n(-1). Suppose 4*v - 7*v = 4*t - 2, t = -v. Solve t*a = -y*a - 4 for a.
-2
Suppose -2*v - 90 = -5*x, -2*v + 0 + 6 = x. Suppose -x*h = -20*h. Solve 2*o - 6*o + 20 = h for o.
5
Suppose 6*z - 216 = 2*z. Suppose c = -5*k - z, -7*c = 2*k - 3*c + 18. Let r = -11 - k. Solve -10 = 2*g - r for g.
-5
Let p be (-14)/(-49) - (-5)/7. Let g = 499 + -496. Solve p - g = -f for f.
2
Let u(p) = 2*p - 720. Let b be u(0). Let j be b/(-70) + (-2)/7. Solve 2*h + 3*h = j for h.
2
Let h(c) = c**2 + 5*c - 25. Let z be h(4). Solve -2 = -z*n - 13 for n.
-1
Let w(z) = -z - 15. Let j(y) = y + 16. Let v be (-51)/12 - (-2)/8. Let f(m) = v*j(m) - 5*w(m). Let g be f(-9). Solve -n = g*n + 12 for n.
-4
Suppose 448 = -29*p + 33*p. Solve 0 = -3*x - 97 + p for x.
5
Suppose -5*p = -4*s - 30, 0 = -9*p + 12*p + 3*s + 9. Solve 6*i + 8 = p*i for i.
-2
Let b be (0 - 2) + (-16)/(-4). Let a be b/5 + 4/(-10). Suppose -4*x + 2*x + 4*k = -44, a = -4*x - 3*k + 77. Solve 4*c = 8*c - x for c.
5
Suppose 0 = -y - 1 + 3. Let m be y/(-7) - (-184)/7. Suppose 2*v = 5*w - 1 + m, 3*v = 2*w + 10. Solve 0 = 3*b - v*b + 15 for b.
-5
Let b(p) = -p**2 + p - 38. Suppose -6 = 2*u - 2*r, -3*u + r = -0*r + 3. Let w be b(u). Let o be w/(-14) + (-2)/(-7). Solve -o = -v - 2 for v.
1
Let k(o) = -o**3 - 12*o**2 - 31*o + 29. Let f be k(-7). Solve 8 = -9*n - f for n.
-1
Suppose k + 4*y = 24, -3*k - 2*y = -23 + 1. Solve -14 = k*h - 26 for h.
3
Let i(v) = -v**3 + 17*v**2 + 17*v - 10. Let g be i(18). Let p = -26 - g. Solve p*a + 2*a + 20 = 0 for a.
-5
Let l be (2/(-3))/(24/(-72)). Solve l*i - 8 = -2*i for i.
2
Let w(n) = -15*n + 126. Let q be w(8). Let o = 3 - 0. Solve q = -o*g - 9 for g.
-5
Let m = 49 + -106. Let i = m + 57. Solve i*t = 3*t - 15 for t.
5
Suppose c + 18 = 2*o + 7, -16 = -4*o + 4*c. Solve 2 = -p + o for p.
5
Suppose u = 2*i - 5, -2*u + 3*u - 16 = -5*i. Suppose p - 5*k - 24 = 0, p = 2*k + k + 16. Solve -p*d + u = -3*d for d.
1
Suppose -f = -10 + 10. Let z(w) = -3*w**2 + 14*w - 28. Let y(a) = -a**2 + 5*a - 9. Let h(q) = -7*y(q) + 2*z(q). Let j be h(6). Solve f = b + 2 - j for b.
-1
Suppose -14 = -4*y + 2. Suppose -69*g + 1322 = -127. Solve 5 - g = -y*t for t.
4
Let r = 44 + 4. Suppose i - r = -42. Solve -3 = -g - i for g.
-3
Let w(c) = -c**2 + 3*c + 12. Let i be w(5). Suppose -u - 5*x + 22 = -0*u, i*u - 8 = -x. Solve u*d + 2*d = 0 for d.
0
Let i = -50 + 100. Let m = i + -47. Solve -5*s + 2 = -m*s for s.
1
Suppose 407 = 4*z - 4*s + 99, 394 = 5*z + 4*s. Solve 83*n = z*n - 15 for n.
-3
Let y(h) = -h**2 - 12*h - 7. Let i be y(-6). Let k = i - 15. Suppose -32 = 6*n - k*n. So