 Solve y = 4*r - 2*r - 6 for r.
3
Let x be 1/(-3 + 52/16). Let l be 54/x*24/18. Suppose -3*a + 3*n = -l, -a - 3*a + 5*n = -25. Solve 10 - 35 = -a*o for o.
5
Let s = 836 + -831. Solve -3*w - s = -20 for w.
5
Let a(h) be the second derivative of h**4/12 - h**3/2 + 3*h**2 - 2*h. Let g be a(4). Let p be -4 - (-8 + 4 - 5). Solve 0 = p*x + g - 0 for x.
-2
Suppose -4*h = -141 + 93. Suppose 4*a = -h*a + 320. Solve 0 = -8*n + 4*n + a for n.
5
Suppose 85 = -2*n - 123. Let u = 107 + n. Solve 0 = -u*f - 3 - 3 for f.
-2
Let p = -426 - -432. Solve 0 = -p*b - b - 21 for b.
-3
Let y(x) = x**3 - 3*x**2 + x + 3. Suppose 0 = -5*c - 4*c. Suppose c = 4*p + z - 9, -z + 3 = -3*p + 4*p. Let m be y(p). Solve 4*o = 9 - m for o.
2
Let a(y) = -43*y - 77. Let p be a(-2). Solve 18 + 0 = p*c for c.
2
Let b(t) = t**3 - 2*t**2 - 3*t + 3. Let m be b(3). Let a(d) = -10*d - m*d**3 + 1 + 2*d**3 - 13*d**2 + 2*d**2. Let s be a(-10). Solve s = -3*v + 13 for v.
4
Let j = 2 + -4. Let y be (182/4)/(-7)*j. Suppose -4*u = -4*d + 32, -4*d + 0*d = 5*u + y. Solve -d*r = -r - 8 for r.
4
Let l be 14 + -19 + -7 + 45. Solve -7*u = -12 + l for u.
-3
Suppose -2*z + 2 + 2 = 0. Suppose 5 = -4*u + 5*l, -33*u + l - 1 = -38*u. Solve 0 = 2*g - u + z for g.
-1
Let p be -3*(6/(-4) + (-1)/(-2)). Let r be (5 + 7)*p/9. Suppose -2*l = -8 + 2. Solve -l*d = -r*d for d.
0
Let g(y) = 38*y - 181. Let d be g(5). Solve 0 = d*q - 17 + 53 for q.
-4
Let r(l) = -l**2 - 4*l + 26. Let s be r(-7). Let h be 23*(-2 - (-1 - 2)). Suppose s*y - 17 - h = 0. Solve 0 = -3*k + 5*k - y for k.
4
Let d(l) = l**3 - 18*l**2 + 31*l + 26. Let v be d(16). Solve 5*m + 5 = v for m.
1
Let h be 5 + -2*(-10)/(-5) + 2. Solve -2 = -h*c + 4*c for c.
-2
Suppose 0 = -26*z + 292 - 266. Let j(d) = -d + 3. Let m be j(0). Solve p - m = -z for p.
2
Let p(k) = 5*k - 56. Let v be p(12). Solve -2*g + 6 - v = 0 for g.
1
Let s = -940 + 1041. Solve 15 = 98*t - s*t for t.
-5
Let h = -5 + 9. Suppose 2*b - 3*t + 3 = 5*b, -5*t + 9 = 4*b. Let i(l) = -l**2 - 6*l - 3. Let x be i(b). Solve -h*f - x = f for f.
-1
Let s(y) = y - 4. Let l be s(6). Let q be (0/l)/(1 - 6/3). Solve 3*m - 6 = -q*m for m.
2
Let m(i) = 14*i - 14. Let v be m(-3). Let l be (266/v)/(2/(-8)). Solve -1 - l = 5*u for u.
-4
Let o be 2 + (-4 + 12 - (-4)/4). Solve -13*r + 4 = -o*r for r.
2
Suppose 4*a - 4*b = -40, 2*a + 2 = -a - 4*b. Let y = -51 + a. Let t be ((-190)/y)/(2/3). Solve -t*z = -2*z - 15 for z.
5
Let v(c) = -3*c**2 - 21*c + 5. Let d be v(-7). Suppose 2*n = 3*n - 5. Let y(g) = g**2 - 5*g. Let r be y(5). Solve -n*o = -d - r for o.
1
Suppose q + 47 = 50. Suppose -5*n = 5, q*t - 67 = -5*n + 3*n. Solve t - 7 = 4*c for c.
4
Suppose 6*r - 32*r = 0. Solve r = 2*z + 3*z - 20 for z.
4
Let p be (-674)/(-26) - (-183)/2379. Solve 0 = 11*t + p + 29 for t.
-5
Let j be -1*(-28)/49*7. Solve -j*a - a + 15 = 0 for a.
3
Let h = -209 + 211. Solve -x + h + 0 = 0 for x.
2
Let h(w) = 38*w - 637. Let i be h(17). Solve i*g + 22 = 4 for g.
-2
Let b(o) = -2*o**2 + 5*o - 2. Let a be b(3). Let g(x) = -2*x - 7. Let c(w) = -1. Let t(s) = a*c(s) + g(s). Let v be t(-2). Solve v*j = j - 5 for j.
-5
Let t(m) = m**2 - 37. Let s be t(-7). Solve s = -4*o - 0 for o.
-3
Let y be 9/(-6)*-6 - 9. Solve 13*f - 19*f - 6 = y for f.
-1
Let q = 97 + -93. Suppose -2*i + 2 = 2*k - i, -18 = -q*k + 5*i. Solve -k*p + p = -3 for p.
3
Let w(m) be the first derivative of -m**2/2 + 10*m + 1. Let i = -22 - -28. Let y be w(i). Solve y*j = j + 12 for j.
4
Let g(p) = -3*p**2 - 2*p + 1. Suppose 0 = -6*t + 4*t - 4. Let b be g(t). Let d = b - -12. Solve d = 5*v - 0 for v.
1
Suppose 6*w - 2*w = 20. Let s(k) = k**3 - 3*k**2 + 21*k - 24. Let a be s(3). Solve w*n - 14 = -a for n.
-5
Let k(f) = -f**3 + f + 4. Let l be k(0). Suppose l*b = -4 + 20. Suppose -3*t - 3*d = -15, -d = t + t - 6. Solve t = b*z - 15 for z.
4
Suppose 8*s = 3*s + 10. Let q = -6 - -25. Suppose 7 = -s*b + q. Solve -2*k + b = -0 for k.
3
Suppose 5*m = -2*d + 62, -m - 3*m = -d + 18. Suppose 0 = -g - w + 6, -7*w + d = 4*g - 2*w. Solve -g*r = r for r.
0
Let c(k) = 3*k - 12. Let z be c(8). Let b = z - 8. Solve v = 3*v + b for v.
-2
Suppose -106 = l - 108. Suppose -s = -3*n + 4*s + 28, 0 = n + 5*s + 4. Let g = n + 1. Solve -l + g = -5*w for w.
-1
Suppose 3*w - 5*w + 6 = 0. Suppose -w*v + 9 = -0*v. Suppose v*j - 10 = -3*a + 2, -a - 4*j + 10 = 0. Solve l - 1 = a for l.
3
Suppose -9 + 1 = -d - 3*j, 4*j = 8. Let q(k) = k**3 - 76*k**2 - 156*k + 5. Let a be q(78). Solve -3*y + d*y = -a for y.
5
Suppose 47 = 6*h - h - 4*w, h = w + 9. Solve 13 = -h*b - 42 for b.
-5
Let i(u) = -2*u + 1. Let f be i(-7). Suppose 6*y - y = f. Let w be (y/4 + -1)*-12. Solve 9 + 6 = -w*v for v.
-5
Suppose p - 4*w = 15, 10*w - 48 = -2*p + 9*w. Suppose 0 = x - p + 22. Solve -r - x = -4 for r.
3
Let w(q) = -4*q - 11. Let d be w(-4). Suppose -d = 3*u - 14. Solve u*m = -2*m for m.
0
Suppose 2*u = -u + 3*g, 0 = -4*u - g + 10. Suppose -23*b = 38*b - 122. Solve b = -x + u*x for x.
2
Suppose -h + 3*a - 3 + 5 = 0, -5*a + 62 = 3*h. Solve 15*p = h*p + 2 for p.
2
Let p = 2 + -2. Let y be 3686/171 - 22 - 22/(-9). Solve p + y = -d for d.
-2
Let z be (-1)/(0 - -1) - -38. Suppose s = 5*m - 55, -5*m + 30 + 35 = s. Let v(p) = -p**3 - 4*p**2 - 3*p - 7. Let r be v(-4). Solve z - m = r*l for l.
5
Let f(q) = -7 + 3*q + 2 - 4 - q - 22*q**2 + 2*q**3. Let o be f(11). Solve -o = 5*v - 3 for v.
-2
Let a be (-5 - -4)/((-15)/675). Solve -10*s = -s - a for s.
5
Let i be 2 - 0 - 20/4. Let b = i - -17. Suppose 3*q - 4*p - b = 0, -3*q + 0*q - p + 4 = 0. Solve -3 = -q*u + 3 for u.
3
Let u = 25 - 35. Let c(w) = -2*w - 2. Let l be c(-6). Let n = l + u. Solve n = -i - 0*i + 2 for i.
2
Suppose -13*g = -0*g - 52. Solve 53*m - 52*m + g = 0 for m.
-4
Suppose 79 = -3*y - 164. Let n = y + 84. Solve n*g = 2 - 11 for g.
-3
Let y be 6/8 - 195/(-60). Suppose 0 = -y*h - 3*k + 27, -10*k + 11*k + 10 = 5*h. Let i(u) = u + 4. Let j be i(-2). Solve j = v - h for v.
5
Suppose 160 = -5*b - 4*k, 4*b + 141 - 13 = 2*k. Let s = b + 37. Solve -3*n - s - 1 = 0 for n.
-2
Suppose 0 = 43*v - 37*v - 66. Suppose -5*a - 8 = -33. Solve -a*y + 9 = -v for y.
4
Suppose -4 = -5*p + 21. Suppose -3*w - 5*g = -g - 15, p*g = 0. Let o(z) = z**2 - 5*z + 6. Let y be o(4). Solve w*d + y = 4*d for d.
-2
Let w(p) = p**2 - 17*p + 20. Let l be w(14). Let y = -17 - l. Solve 0 = y*v + 22 + 3 for v.
-5
Suppose -10 = -4*z - 10. Let x be (-23)/(-6) + z - 7/(-42). Let t be 2 - -4*(-1)/2. Solve t*u = x*u for u.
0
Suppose -8 = 3*l - 17. Suppose -o = -l*o + 8. Solve -m = o*m for m.
0
Let k = 159 - 157. Let f = -1 - -5. Solve n = -k + f for n.
2
Let n be 14/(-77) + 2/11. Suppose -5*s + 2*b = -0*s - 43, -5*s + 3*b + 47 = n. Suppose -s*z + 34 - 13 = 0. Solve -z*x = -2 - 4 for x.
2
Let w be ((-114)/95)/((-1)/(-5)). Let z(f) = 2*f**2 + 4*f - 11. Let q be z(w). Let u = q - 37. Solve u*g + 9 = -3*g for g.
-3
Let v(a) = a**3 + 7*a**2 + 4*a + 6. Let u be v(-6). Suppose w = -3*m + 18, 3*m + 0*m - 2*w - u = 0. Let j = -29 - -48. Solve -m - j = 5*y for y.
-5
Let u = 1645 - 1640. Solve -8*z + 2*z = u*z for z.
0
Let j = -16 + 16. Let a = -193 - -198. Solve j*q - a = -q for q.
5
Suppose 0 = 5*t - 26 - 14. Let c = -1 + t. Solve w - c = -2 for w.
5
Let s(c) = 2*c**2 - 7*c - 13. Let h be s(6). Solve -h = -8*b + 23 for b.
5
Suppose -74*d = -77*d. Let m be 1 - -1 - d/(-2). Solve -o - o - m = 0 for o.
-1
Let m = 232 - 230. Solve -24 = -m*s + 14*s for s.
-2
Let v(b) = -6*b + 1. Let r be v(-4). Let k = 3010 + -3006. Solve r = -9*u + k*u for u.
-5
Let d be (-481)/(-52) - 54/24. Solve -d*c - 7 = 14 for c.
-3
Suppose -9 - 4 = -2*b + 5*y, -2 = 2*y. Let k be 0*(b + 18/(-4)). Let n be 2 + k + (-2 - -3). Solve n*a = -5 - 1 for a.
-2
Let u = 13 - 7. Suppose i - 14 = -u. Let x be -6 + i + (3 - 2). Solve -8*a + x*a + 15 = 0 for a.
3
Suppose g = 23 + 15. Suppose 36*i + 16 = g*i. Solve 5*w + i = w for w.
-2
Suppose 0*z - 14*z = -280. Suppose l - 4*m = -3*l - z, 25 = -2*l + 5*m. Suppose 0 = -4*u + 2*w + 16, -4*u - 4*w - 3 = 5. Solve l*o = -o - u for o.
-2
Suppose -100 = 109*q - 113*q. Suppose q + 55 = 10*z. Solve o = -o - z for o.
-4
Suppose v = -44*r + 47*r + 23, 0 = -3*v - 4*r + 17. Solve -14*h + v*h = -15 for h.
5
Suppose 624 = -0*m - 6*m. Let d = m + 108. Solve 0 = -r + d*r + 15 for r.
-5
Suppose -5*t + 0*l = -5*l - 35, 11 = t + 3*l. Let w(n) 