e 13*j + f = 15*j for j.
3
Let o = 799 - 799. Solve o = -6*x - 2 - 10 for x.
-2
Let x = -1077 - -1306. Solve 5*k + x - 219 = 0 for k.
-2
Let p be (58/8 + -6)*16/2. Suppose 8*c - 22 = p. Solve -2*g - c + 2 = 0 for g.
-1
Suppose 12 = 2*o - 4*x, -5 = 3*x + 1. Suppose 3*g + 2 = o*g. Let w be g/((-2)/3) + -3. Solve 3*y - 12 + 0 = w for y.
4
Let b = 6 - -3. Let q = b - 6. Let n be (24/6 + -4)*1. Solve -q*d - 17 + 2 = n for d.
-5
Suppose -3*b + 3 + 6 = 0. Suppose b*l - 1 = 5. Suppose v = 1, -1 = -g - 2*v + 6*v. Solve -g*q + l = -23 for q.
5
Let f(x) = -2*x**3 + 44*x**2 + x - 2. Let c be f(22). Solve 15*z - 11*z - c = 0 for z.
5
Let y(x) = 5*x + 2. Let v be y(4). Let u be (-4)/v - ((-65)/55 - 1). Suppose 0 = 2*j - 3 + 1. Solve n - u = j for n.
3
Suppose -16 = -2*l + l. Let m be l + (-20)/5 - -1. Solve -m = -5*w - 3 for w.
2
Let v = 17 - 32. Let a = 44 - 34. Let u be 16/3 - a/v. Solve 2*y = u*y for y.
0
Suppose -86 + 54 = -4*d. Solve -v - d = v for v.
-4
Suppose -98 = -4*f - 2*r, 3*f - 93 = 5*r - 26. Let k = 49 - f. Suppose t = 1, 2*o + o = -5*t + 5. Solve -5*l + k = -o*l for l.
5
Let h = 213 - 211. Solve h + 14 = 4*b for b.
4
Suppose 4*r + 17 = 3*x - 2*x, 2*r = -8. Let n = -3 - -7. Let v = -1 + n. Solve 0 = v*f - x - 2 for f.
1
Let c = -526 - -554. Solve 0 = 2*b + 32 - c for b.
-2
Let p(d) = -d - 12. Let c be p(-15). Suppose -1 = -4*h + 7. Suppose -45 = -5*y + c*k - k, -5*y - h*k + 45 = 0. Solve y = 4*g - 3 for g.
3
Let o = 5 - -2. Let v be -3 - -2 - -6 - (1 + 0). Solve -v*f = o + 5 for f.
-3
Let g(z) = 4*z**3 - 3*z**3 + 10*z**2 + 14*z**2 + 13 - 16*z**2 - 8*z. Let y be g(-9). Solve -y*p + 2*p = -2 for p.
1
Let r be 0/(-3 + (-12)/(-3)). Suppose r = 4*g - 21 + 1. Let x be 18/24 + g/4. Solve l = x*l for l.
0
Suppose -3*x + 2*q = -2*x - 24, -2*x - q + 48 = 0. Solve -x = 9*m - 6 for m.
-2
Suppose 2*n - 12 = -4. Let s(p) = -p**2 - 42*p + 43. Let k be s(-43). Solve -j - j - n = k for j.
-2
Let g be (21/(-14))/(15/(-40)). Suppose -k - 1 = -5*u, k - 3*u - 4 = -3. Solve g + 8 = k*q for q.
3
Let j(q) = -q**3 + 6*q**2 + 3*q - 7. Let c be j(6). Solve 3*b = -2 + c for b.
3
Suppose 0 = -5*u - 3*h + 3, -h + 0*h = 3*u - 5. Suppose -2*v + 4 + 7 = u*f, f - v = 2. Solve f = -a + 2*a for a.
3
Let x be (-45)/(-9) + 1 - 6. Solve x = 5*d - 3*d + 6 for d.
-3
Let w(i) = i + 8. Let t be w(-6). Let m(k) = 0*k**3 + 22*k - 26*k - 7 - 5*k**t + k**3. Let r be m(6). Solve r*u = u - 16 for u.
-4
Let t(i) = i**3 + 4*i**2 + 3*i + 6. Let m be t(-4). Let z be -1*m*1/(-2). Let r be z + 2*10/4. Solve 0*p + r*p - 8 = 0 for p.
4
Suppose -5*p - 1 - 4 = -5*c, 5*c - 23 = -4*p. Let x(u) = -5*u + 4. Let s be x(0). Let j = s - p. Solve 0 = j*g - 0*g for g.
0
Let g be 4/12 - 56/(-12). Suppose -1 - g = -3*b. Solve -2 = 4*o + b for o.
-1
Let b = -82 - -103. Solve -4 = -b*s + 19*s for s.
2
Let z = -8 - -11. Let r = -803 + 807. Solve -s - z = -r*s for s.
1
Let m = 12 + -12. Let h be 16/(-6)*12/(-16). Solve h*q = -m*q for q.
0
Suppose -4*h - 1 = -1. Let x(p) = p**2 + 4. Let d be x(h). Solve 0 = -d*u - 9 - 11 for u.
-5
Let z be 2/(-5)*(-4 - 1). Solve z - 42 = -8*p for p.
5
Let m be ((-77)/11 - -8)/(3/12). Let u be ((-1 + 0)/1)/(-1). Let z = u - 1. Solve -s + z*s = m for s.
-4
Let t = 38 + -36. Suppose -114 = t*k + k. Let d = -34 - k. Solve d = -2*p - 4 for p.
-4
Suppose -3*f + 8 = 2, 3*f - 2 = 2*k. Solve 11*w - 65 = -k*w for w.
5
Suppose -n - 13 = -2*u, -3*n - 11 = -2. Solve g + u = -4*g for g.
-1
Let c be 52/(-9) - (-28)/(-126). Let t be c/4*44/(-6). Let q = 27 - t. Solve -5*o - q = -o for o.
-4
Let p(g) = 2*g**3 + 19*g**2 - 70*g - 708. Let l be p(-9). Suppose -3*a + 9 - 3 = 0. Solve -a = -f - l for f.
-1
Let v = -199 + 108. Let r = v + 96. Solve r*m + 0*m - 15 = 0 for m.
3
Let v = -20 + 18. Let z be v - (3 - (6 + 1)) - -2. Solve -3*n = -n - z for n.
2
Let g = -115 - -117. Suppose -1 = 3*x - 10. Solve -4 = g*z - x*z for z.
4
Let n = 380 - 378. Solve -n*z + 0*z = -2 for z.
1
Let u(q) = -q**3 + 6*q**2 + 14*q - 20. Let h be u(8). Let t = 38 + h. Solve -3*c = -c - t for c.
1
Suppose 0 = 3*v - 3, -3*v = 5*z - 0*v + 157. Let k = 34 + z. Solve -w = k*w - 15 for w.
5
Let h be 1*(27/18)/(2/(-8)). Let c(b) = 2*b + 14. Let m be c(h). Solve 4*w - 2 - m = 0 for w.
1
Suppose -4*g = 7*g - 44. Let y = -19 + 33. Let o = -8 + y. Solve g = 2*j - o for j.
5
Let z = 24 - 20. Suppose 7 = -z*g + 23. Solve -16 + g = -4*c for c.
3
Suppose 6*f + 24 = 8*f. Solve 6*n + f = 3*n for n.
-4
Suppose d = -3*g + 17, -10 = 5*d - 5*g + g. Let n = -2 + d. Solve -8 = -2*p - n*p for p.
4
Let g = 8 + 16. Let b = g - 12. Suppose -14 = -h - b. Solve -10 = h*d - 0*d for d.
-5
Let m = 0 - -2. Suppose 0 = 5*r - 5*v - 25, -v + 0*v - 2 = m*r. Let j be r - (2 + (0 - 1)). Solve j*c + 2*c = 6 for c.
3
Suppose 0 = -3*h + 36. Solve -h + 3 = 3*y for y.
-3
Let n(a) = -14*a - 4. Let z be n(3). Let w = -45 - z. Solve -5*s + 6*s = w for s.
1
Suppose 78*m - 348 = 20*m. Solve -5 = l - m for l.
1
Let v(z) = -z**3 + 14*z**2 + 4*z - 47. Let i be v(14). Solve i = -4*b + 5 for b.
-1
Let k(w) = -2 - 2*w + 6 + 3*w + 3. Let r be k(-5). Solve -3*i = r*i - 5 for i.
1
Let q = -105 + 109. Suppose -2*z - 5 = 5*y, q*z + 4*y = 5*z - 17. Solve 4*h - z*h - 1 = 0 for h.
-1
Suppose -27*r + 25*r - a = -19, -r + 12 = a. Solve 8 = -5*y - r for y.
-3
Suppose 0 = 562*m - 559*m - 9. Solve m*p = p - 4 for p.
-2
Let x(b) = -b**2 - 16*b + 11. Let z be x(-17). Let p = z + 6. Solve d - 4 = -p*d for d.
4
Let r = -3 - -4. Suppose g = t + 19, 4*g = 3*t + 2*t + 77. Let h = g + -15. Solve r = h*f - 2 for f.
1
Let v(g) = -6*g + 2. Let m(b) = b. Let w(p) = -14*m(p) - 2*v(p). Let l be w(-3). Solve -l*u + 7*u = 0 for u.
0
Let s(u) = 2*u + 8. Let y be s(10). Suppose 7*z - 3*z - y = 0. Let n = -9 + 22. Solve 0 = 5*j + z + n for j.
-4
Let r(m) = -3*m + 3. Let x = 26 + -26. Let k be r(x). Solve 2*a = a + k for a.
3
Suppose 0 = -3*u + n + 9, -5*n = -u - 9 - 2. Suppose -o + u*o + 66 = 0. Let s be (-2)/3 - o/6. Solve 0 = 3*q - 0*q - s for q.
1
Suppose 2*v + k - 73 = 0, -21 = 4*v - k - 158. Solve -v = t - 30 for t.
-5
Let r be 2/((2/((-8)/(-1)))/1). Suppose -r*v - 8 = -9*v. Solve -2*x = 2 - v for x.
3
Let y(j) = j**3 - 17*j - 10*j - 23 + 13*j - 15*j**2. Let d be y(16). Solve -d = -4*h - 1 for h.
2
Suppose 0 = 5*n - 3*n. Let i = 135 + -115. Let j be (i/(-8))/(-5)*n. Solve -w - 5 + 0 = j for w.
-5
Let w(z) be the first derivative of z**4/8 - 3*z**3 + 4*z**2 - 7. Let b(q) be the second derivative of w(q). Let g be b(7). Solve -i + 2 = -g for i.
5
Suppose -2 = l - 3. Let a(w) = -w - 1. Let m be a(-5). Suppose 2*q + 16 = 2*g, 0*q + m*q + 20 = 0. Solve -4*b - g = l for b.
-1
Suppose -193 + 60 = -v. Let u = v - 93. Suppose -4*m = -2*m - u. Solve -3*i - 8 = -m for i.
4
Let g(r) = -r**2 - 15*r - 9. Let f be g(-14). Solve 2*x = f*x for x.
0
Suppose 0*w = -3*w + 72. Solve -11*v = -3*v - w for v.
3
Let i(f) be the third derivative of -f**6/120 + 7*f**5/60 + f**4/12 - 5*f**3/3 + 8*f**2. Let j be i(7). Solve 0 = -4*d - 0 - j for d.
-1
Suppose 0 = -21*i + 18*i - 18. Let u = i - -6. Solve u = 5*q - 2*q for q.
0
Let s = -35 + 47. Let p = s + -9. Solve 6*m = p*m - 3 for m.
-1
Suppose 42*h - 41*h = -146. Let j = -140 - h. Solve -j = 3*n - n for n.
-3
Let k(l) = -l + 14. Let f be k(14). Suppose f = 8*g - 6*g + 18. Let n = g + 9. Solve 2*s = -n*s + 2 for s.
1
Let c(y) be the second derivative of 1/2*y**4 + 1/20*y**5 + 0 + 17/2*y**2 - 3*y - 5/6*y**3. Let d be c(-7). Solve 0*x - d*x = -3 for x.
1
Let t be (4/(-5))/((-20)/50). Solve -2*q + 4 = -t for q.
3
Let k = -11 - -11. Suppose -4*a + a = k. Let d(g) = -g**3 - g**2 + 20. Let b be d(a). Solve 6*h = h - b for h.
-4
Let j = 0 + 0. Suppose 15*b + 6 = 18*b - 0. Solve 2*k + j*k = b for k.
1
Let b be (-8)/2 + (-32)/(-9 + 5). Solve -b*q = 6*q + 50 for q.
-5
Suppose 3*a = 4*a - 6. Solve -18*y + a = -15*y for y.
2
Suppose 40 = 4*v + v. Suppose 8 + 57 = 13*p. Solve -v = h - p*h for h.
2
Let b(g) = -6*g - 13. Let a be b(-5). Suppose -4*l - 52 = -4*o, 5*l + a = 2*o - 24. Solve -4*w = -8*w - o for w.
-2
Let i be 2/(22/(-6) - -4). Solve 24 - 36 = i*p for p.
-2
Let q be ((-1)/(-2))/((-2)/(-12)). Suppose x + 4*m = -8, 0 = -2*x + q*m - 4*m - 2. Solve x*f + 3*f = 0 for f.
0
Suppose -71*m = -67*m. Solve m*b - 3 = b for b.
-3
Let z be (0 + 6 + -6)/(-1). Solve z = -3*q - 6 - 0 for q.
-2
Let r(x)