l*i = -6*i + 10 for i.
-2
Let t = 918 - 912. Solve 0 = t*h - 13*h - 21 for h.
-3
Suppose -a - 2 = 4*r, a - 5*a + 4*r + 52 = 0. Suppose -1 + 6 = 4*d + 5*s, -s - 23 = -4*d. Solve a*t + 5 = d*t for t.
-1
Let l be 5 - (102/(-18) - -6)*9. Suppose 5*j + 10 = 5*g - 10, -3*g = -4*j - 13. Solve l*s = s - g for s.
-3
Let m be 0*(12 - 13)*(0 + 1). Solve m = -9*b - 10 - 17 for b.
-3
Let i = -351 - -354. Solve 2*g - i + 5 = 0 for g.
-1
Suppose -3*t + 2*t + 2 = 0. Suppose 37*h = 34*h. Solve h = t*u + 13 - 5 for u.
-4
Let j(i) = 0*i - 4*i**2 + i**3 - 8*i + 2 + i. Let r be j(5). Let h be ((-6)/r)/(4/32). Solve 4*n = 2 + h for n.
2
Suppose 21 = -2*h + 115. Suppose -h = -7*q + 23. Suppose -15 = -5*g - c, 3*g - 4*c = q + 22. Solve -g*p = 6 + 14 for p.
-5
Suppose 0 = 3*o - 4*o + 29. Suppose 6*a + o = 3*p + 2*a, -5*a = 5*p + 10. Solve -2*f - p = -5*f for f.
1
Let s = 10 - 4. Suppose s + 30 = 6*b. Solve -b*v + 12 = -2*v for v.
3
Let j = -815 - -832. Solve 21*m = j*m - 20 for m.
-5
Let y(c) = c + 14. Let k be y(-9). Suppose -2*g + 12 = f - k*f, -5*g + f = -3. Solve 2 + g = -h for h.
-2
Suppose 140 = -p - p. Let w = 81 + p. Let d(a) = a**2 + a + 3. Let r be d(-3). Solve -4*l + r + w = 0 for l.
5
Let v be ((-20)/(-8))/(((-6)/4)/(-3)). Let h be (4/(-6) - (-63)/(-27)) + v. Solve 2*w = -h*w - 12 for w.
-3
Let r = 330 + -327. Solve -5*q - r = -18 for q.
3
Suppose r + 3*v - 3 = 0, 3*r = -2*v + 4*v + 9. Suppose -493 = -38*j - 151. Solve -j = 2*f - r for f.
-3
Let v be ((-22)/(-12))/((-30)/(-180)). Solve 6*q - 10 = v*q for q.
-2
Suppose 17*q = 19*q. Suppose q = 4*l - 0 - 16. Solve -3*y + 5 = -l for y.
3
Suppose -4 = -12*w + 104. Solve -w = -z + 4*z for z.
-3
Suppose 2 + 12 = -7*r. Let x(n) = n**2 - 6*n - 4. Let q be x(6). Let v = r - q. Solve -v = 3*y - y for y.
-1
Let g = 76 - 53. Let t = 24 - g. Solve 2*i + 3 = -t for i.
-2
Let t be (8/(-11))/(-4) + 978/66. Solve 2*b - 7*b = -t for b.
3
Let j = 7 - 4. Let r(i) = -3 - 8 - i + 2 + j. Let t be r(-6). Solve t = -2*k + 4 - 12 for k.
-4
Suppose 0 = 179*l - 174*l - 10. Solve -4*y + l*y - 6 = 0 for y.
-3
Suppose 5*g - 33 = -2*n, 2 - 5 = 3*n. Solve g*u - u = -0*u for u.
0
Suppose 45*t = 26 + 64. Solve -t*q = -5 + 3 for q.
1
Suppose -4*m + 12 + 0 = 0. Suppose -l = -m*l + 4. Suppose a + l*q = 30, -3*a - 5*q + 22 = -68. Solve 0 = 4*i - a + 10 for i.
5
Let r be -2 + 44/12*3. Let w be 27/36*(-1 + 5). Suppose 0 = 3*d - 3*c, -d - w*d = -3*c - 3. Solve -d*i - 6 - r = 0 for i.
-5
Let q = -21 + 31. Suppose -5*b = -4*t + q + 38, -4*t + 32 = -b. Solve 3*o - t*o = 0 for o.
0
Let u = -18 - -20. Suppose y - 65 = -5*o, 56 = 3*o + 2*y + u*y. Let d(p) = -p**3 + 3*p**2 + 4*p + 3. Let c be d(4). Solve 5*r + c = -o for r.
-3
Let h(b) = -b**3 - 25*b**2 - 5*b - 116. Let t be h(-25). Solve 13 = f + t for f.
4
Let h be 5 + (-5)/(-10)*4/2. Solve -4*v + h*v - 8 = 0 for v.
4
Let s = -1 - 11. Let g be (-6)/s - (-1)/(-2). Suppose g = -10*i + 4*i. Solve i - 5 = -5*k for k.
1
Let n = 13 - 8. Let g be (-2352)/36*2*(-6)/8. Suppose -j + 59 = 3*m, 4*m + 18 - g = -2*j. Solve -6 = n*w + m for w.
-5
Suppose 0 = 3*r - 72 + 54. Solve -r*n = -10*n for n.
0
Suppose m + 3 = 3*d, -3*d = 5*m + 24 - 9. Let q = d + 3. Solve 5*r - 4*r - q = 0 for r.
3
Suppose -12*p = -14*p + 6. Suppose 0 = 3*t - p*r - 15, 0*t - 3*t = r - 7. Solve -12 = -t*u - u for u.
3
Let n(x) = 2*x + 6. Let g(j) = j**3 - 5*j**2 + 2*j + 8. Let m be g(4). Let a be n(m). Solve -c = -a*c + 5 for c.
1
Let z = 305 - 252. Solve -10*o + 13 - z = 0 for o.
-4
Suppose 188 + 140 = 4*w. Let s = w - 82. Solve 3*o - 13 + 1 = s for o.
4
Suppose 0 = -2*f - 0*f - 2. Suppose 0 = 2*x - 4, 2*y = -5*x + 6. Let w = f - y. Solve 0 = -c + 2 - w for c.
1
Suppose 100 = 1855*y - 1845*y. Solve 14*q = 9*q + y for q.
2
Let r(n) = -n**3 + 30*n**2 - 29*n + 7. Let w be r(29). Let u(i) = -3*i - 4. Let y be u(-2). Solve -w*s = -6*s + y for s.
-2
Suppose -52 = 4*s - 2*s. Let h = s - -41. Solve -h + 3 = 3*u for u.
-4
Let l(t) = 16*t**3 + 3*t**2 + 3*t + 6. Let g be l(-2). Let x = g - -122. Solve -2*h + 8 = -x*h for h.
-2
Let c = 4 + 7. Suppose 10 = 5*d + 3*b - 41, -4*b = d. Suppose -2*s = 3*v - d, -11 - c = -4*s - 5*v. Solve 0*q - 6 = -s*q for q.
2
Suppose 59 = 12*l + 11. Let h be -7 - -6 - 3/((-6)/l). Solve -h - 3 = -2*v for v.
2
Let n = 311 + -307. Solve 6*q - n = 10*q for q.
-1
Let o = -63 - -68. Suppose -o*r + 3*u + u + 32 = 0, -5*r = 5*u - 5. Solve 0*c - r*c = -4 for c.
1
Suppose 4*w - 3*c - 12 = 39, -17 = -3*w - 2*c. Suppose 5*j - 16 = w. Suppose j*g = g + 8. Solve 0*o - g = -o for o.
2
Let v(d) = 2*d**2 + 2*d. Let w be v(3). Suppose -5*j - 16 = 3*r + 80, -4 = 2*r. Let u = j + w. Solve u = o + o for o.
3
Let q(k) = 5*k**2 - 11*k + 9. Let x(s) = -9*s**2 + 21*s - 17. Let v(n) = -11*q(n) - 6*x(n). Let r be v(-5). Solve -5*b + 4*b = -r for b.
3
Suppose -10*l - 9 = -13*l. Solve -2*u - l = u for u.
-1
Suppose a + 11 = 13. Suppose -a = -2*p - 6, 3*k = 4*p + 23. Solve v - 4 = k*v for v.
-1
Suppose -16*l + 52*l - 576 = 0. Solve o - 5*o = l for o.
-4
Suppose 14*a + 445 - 991 = 0. Solve 13*o - a = -26 for o.
1
Let o(u) = 12*u + 75. Let m be o(-5). Solve 7*q + 20 + m = 0 for q.
-5
Suppose -b = -3*y + 39, 21 = -y + 2*y - 3*b. Let t = y + -6. Suppose j + t = 2*j. Solve j*a - a + 5 = 0 for a.
-1
Suppose 29 = -f + 2. Let c = f + 33. Solve 3*h - h = c for h.
3
Let p(l) = l**3 + 6*l**2 + 5*l + 3. Let m be p(-4). Let v be -16 + m + 3 + 0. Suppose -2*g - 7 = 3*g + 3*w, -5*w = 2*g + 18. Solve 3*c = v + g for c.
1
Let d(i) = i**2 - 2*i + 2. Let k be d(2). Let g(p) = 17*p + 157. Let s be g(-9). Solve k*b + 12 = s for b.
-4
Let b(m) = m**2 + 9*m. Let u be b(-9). Suppose h + 16 = -4*z - 3*h, -z + 3*h = u. Let q = 9 + z. Solve 0 = -4*n + q*n for n.
0
Let t = -1058 + 1145. Solve -12 = t*l - 90*l for l.
4
Suppose -8*i = 3 - 27. Solve w = i*w + 6 for w.
-3
Suppose 0 = 47*u - 49*u + 40. Solve -8*w + 4 = -u for w.
3
Suppose -7*m + 151 - 116 = 0. Solve m*w - 2 - 23 = 0 for w.
5
Suppose 0 = 5*x - 5*i, -3*x - x = i. Suppose 4 = 4*v, 4*g - 3*v + 75 = -x*g. Let l be g*3/(-9)*1. Solve -l = m - 3 for m.
-3
Let y(f) = 41*f - 729. Let w be y(23). Solve 0 = -w*q + 212*q - 10 for q.
-5
Let p = 223 - 146. Solve -5*d - p = -57 for d.
-4
Let y(g) = -2*g - 6. Let n be y(-4). Suppose 8 = i - m, 3*m = n*i - 16 - 4. Solve i*b = 3 + 17 for b.
5
Let a = 292 - 287. Solve 553 = a*w + 563 for w.
-2
Let k(s) = -7 + 1 - 2*s - 7. Let i(z) = -z + 1. Let m(b) = 4*i(b) - k(b). Let f be m(7). Solve 0 = -f*p + 7*p - 4 for p.
1
Let z be ((-12)/(-12) - 13)*(-2)/12. Solve z*r + 5 = -3*r for r.
-1
Suppose -8*x + 10*x = 6. Suppose -4*w + 2 = t - 14, t + 12 = x*w. Solve 0 = -2*i - t - 2 for i.
-1
Let d = 112 - 72. Let b be -16*(-6)/4*d/30. Solve -b = 5*w - 7 for w.
-5
Let o be 0 - (-5 - (2 - 4)). Suppose -4 = -2*w - 2. Suppose 0 = -o*p + w + 5. Solve -p*a + 6*a - 12 = 0 for a.
3
Let d(s) = s**2 - 3*s + 6. Let b be d(2). Solve -b*y - 2 = -6*y for y.
1
Let f(b) = b + 6. Let h be f(-6). Suppose -2*x + 5*x = h. Suppose x = u - 2*r, 5*r - 15 = -8*u + 3*u. Solve -v = u*v for v.
0
Suppose 0 = -2*r + 2*j + 34, 0 = -3*r - 4*j + 24 - 1. Let d be (2 + -1)*1 + r + -14. Solve h = -d*h + 2 for h.
2
Let c(a) be the first derivative of -7*a**2 + 3 + 3*a**3 - 1/4*a**4 - 4*a. Let t be c(6). Solve -3*d + t = -7*d for d.
-5
Let i = -42 + 23. Let v = i - -21. Solve v = 5*a - 3 for a.
1
Let i(f) = -2*f - 43. Let o be i(15). Let y = 79 + o. Solve -5 = -y*d + d for d.
1
Let z(h) = h**3 + 12*h**2 + 26*h - 7. Let f be z(-9). Let g = -7 - -9. Solve g*k = 4 + f for k.
3
Let v(p) = p**2 + 33*p + 266. Let d be v(-14). Solve d*g = -g for g.
0
Let y be (-835)/(-35) - (-2)/14. Let g = y - 10. Suppose g*t = 9*t. Solve 4 = -t*s - s for s.
-4
Suppose 14*p - 20*p = 29*p. Solve p = 56*v - 57*v - 3 for v.
-3
Suppose -3*z = -5*b - 316, -145 - 357 = -5*z - 4*b. Suppose z = 12*j - 18. Solve j + 2 = -3*s for s.
-4
Suppose 0 = 4*p - 5*b - 28, 2*b = -p - p - 4. Suppose 5 = u - h, 5 = p*u + 4*h - 11. Solve -u = -5*y + 4 for y.
2
Let n(i) = i**3 + 5*i**2 + 5*i + 3. Let w be n(-3). Let h be w/21 - (-80)/14. Suppose -2*x + h*x = 0. Solve x = -0*g + 5*g + 25 for g.
-5
Let i(k) = k**2 + 2*k - 33. Let p be 5/(-6)*(-2 - (-2 - -6)). Let m be i(p). Solve 2 = m*a + 6 for a.
-2
Let z(s) = 2*s**2 + 3*s + 4. Let b be 3 - ((0 - -4) + 1). Let k be z(b). Solve 7*n 