 10*t. Let k = 67 - 63. Solve 0 = -t*y + k*y for y.
0
Let h = 161 + -157. Solve h*g - 13 = -5 for g.
2
Suppose -18*z + 37 = -53. Solve -7 + 17 = -z*g for g.
-2
Suppose 40 = g + 3*g. Let o = g + 7. Suppose 2*m - 11 = o. Solve -m = -3*x + 1 for x.
5
Suppose -2*k + 7*k = 100. Suppose v + 4*x = -13, 5*v - 3*x = -6*x + k. Solve 6 = -p + v for p.
1
Let t = 0 - -1. Suppose 0 = 4*z - p - 11 - 9, -2*p + 14 = z. Suppose 3*n = -3*k - 3, z = 5*k + 3*n + t. Solve -k*o - 16 = -0*o for o.
-4
Let i be (1 + 2)/(3/2). Suppose 3*l = -i*m + 10, 3*m + 2 = 2*l + 4. Suppose m + 14 = 4*v. Solve v = 4*w - 0 for w.
1
Suppose -n + 4*p = p - 109, -3*n + 4*p = -312. Suppose -a = 4*a - n. Let g(b) = b**3 + 7*b**2 + 5*b - 4. Let t be g(-6). Solve a = t*y + 2*y for y.
5
Let c be (0 - -16)*4/(16/(-9)). Let q = c + 36. Solve -4*g + 9*g - 20 = q for g.
4
Suppose -2*w - 5*x - 25 = 0, w - 3*x = -4*w + 15. Solve 5*c = -w*c for c.
0
Let z = 214 + -213. Solve z = 2*h + 9 for h.
-4
Suppose 7 = -f - 0*f. Let w = f - -9. Let k = 506 - 503. Solve k*q = w*q + 2 for q.
2
Suppose -5 = r, -21*r = -4*g - 23*r - 10. Solve g = -8*y - 6 - 10 for y.
-2
Let l be (-28)/6*(-120)/140. Solve 4*a = 5*a - l for a.
4
Suppose -45 = -2*j + 5*b, 4*j - 129 = -0*j - 3*b. Suppose -5*k - j = -10*k. Solve 3 = -3*y - k for y.
-3
Let m(c) be the second derivative of -5/12*c**4 - 7/2*c**2 + 2/3*c**3 - 4*c - 1/20*c**5 + 0. Let l be m(-6). Solve l*n + 5 + 0 = 0 for n.
-1
Let x = -66 + 74. Suppose 0*f = -3*f + 2*l + x, 0 = -4*f + 5*l + 20. Solve f = 5*p - p for p.
0
Let i(s) = -s**3 + 3*s**2 + 3*s + 6. Let k be i(4). Let q(a) = -2*a - 14. Let p be q(-7). Solve p = -j - k for j.
-2
Let p = -11 - -13. Let h be p/7 + 36/21. Let m be (-3 + 1 + -2)*-2. Solve -h*y - 2*y = -m for y.
2
Let r = 161 - 154. Solve r*g + 10*g = 7*g for g.
0
Let h be 0 + -2 + 1 - -3. Suppose 2 = h*j + 4*o + 22, 4*o = j - 20. Solve j*k = k for k.
0
Let t = -3 - -15. Solve -20 = t*f - 8*f for f.
-5
Suppose -41*h + 75 = -38*h. Solve 5*p + h - 15 = 0 for p.
-2
Suppose 32*b = -17*b. Solve b = -22*u + 29*u + 35 for u.
-5
Let k be 5*((-12)/5 - -3). Suppose 4*t + k = 19. Suppose 2*z - 4*z = 2*a + t, 3*a - 5*z - 10 = 0. Solve a = 5*d + 3 + 2 for d.
-1
Let d(b) = b**2. Let m(x) = 3*x**2 - 5*x + 6. Let z(u) = -2*d(u) + m(u). Let g be z(3). Suppose 2*t = n + 2*n - 19, 5*t + 25 = 0. Solve g = l + n for l.
-3
Let w be ((-2)/(-6))/((-2)/(-12)). Suppose 4*a - 2*n = 8 - 6, 5*a + 3*n - 30 = 0. Solve -w*i = -a*i + 2 for i.
2
Suppose -4*i + 32 = 4*z, 8*i + z - 12 = 6*i. Let q(p) = -p**2 + 6*p + 5. Let a be q(6). Suppose 0 = a*u, -1 + 19 = 2*l - i*u. Solve l = -4*n - 7 for n.
-4
Suppose 2*l + j - 2 = 0, -5 + 13 = 3*l - j. Suppose h = 10 - l. Solve 13*v - 10 = h*v for v.
2
Let x(k) = -6*k - 69. Let w be x(-12). Solve 0*p = w*p - 9 for p.
3
Let q = -4 - -21. Let i = 13 - q. Let m = i - -6. Solve m = v - 1 for v.
3
Let f(p) = -p - 5. Let j be f(-5). Suppose j = -2*v - o - 16, 4*v + 4 = -3*o - 32. Let d be (-21)/(-14)*(-16)/v. Solve 2*h = d + 4 for h.
4
Let c be (-3 + 38)/(-7) + 31. Solve -2*i - c = -16 for i.
-5
Let j = 18 + -18. Let s(w) = w**2 - 15*w + 60. Let t be s(7). Solve j = 3*y - t*y - 4 for y.
-4
Let h = 131 + -135. Let b be -21 + 19 + (2 - h). Solve -6*l + b = -2*l for l.
1
Let c = -72 + 72. Let n be 13 - 13 - (-3 + c)*2. Solve 0 = 4*x - n + 10 for x.
-1
Suppose t - 9 = -2*t. Let o(v) = -v + 3. Let j be o(t). Suppose 2*b + 4 - 8 = j. Solve 0 = -5*m - 27 + b for m.
-5
Let t = 4 - 1. Let p be (t/2 + -2)*0. Suppose 0*s = s - 4*n + 12, p = -n + 3. Solve s = 5*b - 3*b + 6 for b.
-3
Let a(p) = 38*p**2 + 1. Let s be a(1). Suppose 36*x = s*x - 78. Solve 4*z + 10 - x = 0 for z.
4
Let r be 4/((-18)/75*-10 + -2). Solve r = 17*u - 22*u for u.
-2
Suppose -12 = -v - 0*w - 3*w, 0 = 4*w - 20. Let q = v + 3. Let k(s) = 2*s - 2. Let f be k(4). Solve -f = -q*t + 3*t for t.
-2
Let v = 289 + -284. Solve 9 + 1 = -v*u for u.
-2
Suppose i = -0*i + 3*g + 20, 40 = 2*i + 5*g. Let w be (-12)/(-15)*(4 - -1). Let f be (-2 + 3 + 0)*0. Solve w*u - i = -f for u.
5
Let v(b) = -5*b - 21. Let y(c) = -c**2 - 18*c + 13. Let n be y(-19). Let g be v(n). Solve g = 5*o - 1 for o.
2
Suppose 0*i + 4*i + 5*m + 32 = 0, 0 = 5*i + 4*m + 31. Let n be i/(-12) - 105/(-12). Solve 2*v + 1 = -n for v.
-5
Let j(o) = -o**3 - 4*o**2 + 4*o + 3. Let b be j(-5). Let k(t) = t**3 - 8*t**2 + 13. Let m be k(b). Solve -3*u - m = -4 for u.
-3
Let x(h) = -14*h - 6. Let n be x(-1). Solve 2*j - n = 6*j for j.
-2
Suppose 3*o - 4*f - 5 = -2*f, 15 = 3*f. Solve -15 = -0*k + o*k for k.
-3
Suppose -22*v - 18 = -25*v. Let l(g) = -g**2 - 6*g**2 + 41 - 50 + 8*g + g**3. Let p be l(6). Solve 3*f + p = v*f for f.
1
Let j(a) = -a**2 + 12*a - 6. Let k be j(8). Let p = k - 26. Suppose -2*z + p*z = 0. Solve z = l - 0*l - 5 for l.
5
Let y(m) = -m - 9. Let n be y(-9). Let b(u) = -u**3 - u + 2. Let s be b(n). Solve -4*c = -s*c for c.
0
Let q(d) = d**2 - 4*d - 20. Let b be q(8). Suppose -5*h + 3*n = b - 62, 0 = -n. Solve h = -8*m + 3*m for m.
-2
Suppose -4*l + 1 + 3 = -2*n, 3*n + 3*l = 3. Suppose -4*b + 3*b + 14 = -3*r, n = -3*b - 5*r. Solve b*y = 3 - 28 for y.
-5
Suppose y + 10 = r, -r = 2*r + 6. Let k(w) = -w**2 - 11*w - 13. Let u be k(y). Let l = -13 - u. Solve 2*m = -2*m - l for m.
-3
Suppose 2*v - 12 = -6. Let s = -13 + 5. Let q = s + 8. Solve v*r - 5*r - 2 = q for r.
-1
Let a = -20 - -14. Let t(b) = b**2 + 4*b - 10. Let k be t(a). Solve -k*r = -6*r for r.
0
Suppose 6*g - 2*g = 152. Let z = g + -27. Solve -5*s = -1 + z for s.
-2
Let i be 2/2 + -1 - -7. Let u(l) = 5*l**2 + 2*l + 1. Let j be u(-1). Solve i*n = j*n - 6 for n.
-2
Let q = 22 + -18. Suppose -3*f + 30 = -2*s + 5*s, -q*s + 10 = -2*f. Solve 4*n = -n + f for n.
1
Let r be 2/7 + 5 + 259/(-49). Suppose 0 = 2*n + j - 0 - 2, -2*j = r. Solve 6*b + n = 5*b for b.
-1
Let c = -66 + 70. Solve 0 = -n - c*n for n.
0
Let b = 1123 - 1112. Solve -b + 6 = t for t.
-5
Suppose -s - t = 2, 0*s - s + 3*t + 14 = 0. Suppose -6*p + 4*p + 6 = 0. Suppose -h - 3*y = -15, h - 4*y = p*h - 24. Solve 4 = -s*l - h for l.
-5
Suppose -21*n + 19 = -17*n + 5*f, 0 = -2*n + 3*f + 37. Solve 14*v - n*v = 0 for v.
0
Suppose -3*r + 9 = -6. Let d = -5 + 5. Solve d = r*h + 32 - 12 for h.
-4
Suppose -3*m - 11 - 4 = -5*s, -20 = 4*m. Suppose -16*d + 48 = -s*d. Solve -d*k - 13 = -1 for k.
-4
Suppose 33*l = 37*l - 4. Let m = 0 - 2. Let c = l - m. Solve -c*k + 8 = k for k.
2
Let n be 39/12 + (-3)/(-4). Let z be (n/(-6))/(5/(-15)). Solve z*i - 4*i = 0 for i.
0
Suppose -18 = -89*z + 872. Solve 4 - z = 3*r for r.
-2
Let k(f) = f - 12. Let b be k(0). Let y = b - -15. Solve y = -0*n + n for n.
3
Let v be (1 - 7)*(-1)/(-2). Let c be ((-6)/(-15))/(v/(-15)). Suppose c*q = 5*h - 3, -5*h = -0*q + 4*q - 69. Solve 5*m + 4 = -q for m.
-3
Suppose -3*z - 2*g = -2*z + 9, 2*g - 27 = 3*z. Let m = 13 + z. Solve 0*r + m = -2*r for r.
-2
Let y(p) = 2*p**3 + 5*p**2 - 5*p - 8. Let m(b) = b**3 - b**2 + b + 1. Let g(h) = -m(h) + y(h). Let c be g(-7). Let n = c + 21. Solve n*z = -1 + 16 for z.
3
Let m be (18/(-15))/((-10)/25). Solve -m*z - 1 = 2 for z.
-1
Suppose 2*c - 21 = -5*z, z - 4*c - 18 = -z. Suppose q - 3*u = 25, 0 = q + z*u + 6 + 9. Solve 0 = -0*d - 2*d - q for d.
-5
Let h be (-1)/(-1)*(10 + -11). Let c be (1 - 1 - h) + -14. Let n = 17 + c. Solve -p - n*p = 20 for p.
-4
Let v(m) = m**2 - 10*m + 17. Let q be v(7). Let g be (-33)/(-12) + (-1)/q. Let x(n) = -n**3 + 5*n**2 + n + 1. Let t be x(5). Solve -5*j + t = -g*j for j.
3
Suppose 51 - 7 = 4*r. Solve -v + r = 14 for v.
-3
Let z be (-53)/265 - (-2)/10. Let t = 2 - -3. Solve z*r = -t*r for r.
0
Let g = -12 - -12. Let n be 0 + (4 - (2 - g)). Suppose 4*m + 5*y = n*m + 25, 2*m + y - 13 = 0. Solve x + 0*x + m = 0 for x.
-5
Let q = -26 + 20. Let v(h) = h**2 - 11*h + 4. Let c be v(9). Let f = q - c. Solve 0*a + f = -4*a for a.
-2
Suppose -n + 6 + 15 = 0. Suppose 2*w - 17 = n. Suppose 5*f - w = -4. Solve -3*x = 6 - f for x.
-1
Suppose 10*b - 8*b - v - 9 = 0, b + 3 = -v. Solve -4 + 0 = b*h for h.
-2
Suppose -2 = -n + 3*x - 6*x, 3*n - x = 16. Suppose -b + n = -0*b. Suppose -2*g + 9 = -3*w, 0*g - 26 = -b*g + 4*w. Solve -18 + g = 3*s for s.
-4
Let f be ((-1)/(-5))/(7/35). Let u be (6 + -6)/(2/f). Solve 0 = 3*s - u*s + 6 for s.
-2
Let u(d) be the first derivative of -4*d - 1/2*d**2 + 4. Let f be u(-7). Solve 