e x*d - 12 = -2*d for d.
3
Let s(f) = -f**2 + 17*f - 7. Let m be s(16). Solve 2*l = 5*l - m for l.
3
Suppose 0 = -4*x + 8, -2*p + 4*x - 1 - 7 = 0. Let o(l) = -l - 5. Let r be o(-6). Solve p = 3*h - r + 10 for h.
-3
Let y be 18/7 - 36/(-84). Solve y*t + 3 = -0*t for t.
-1
Suppose -m + 8 = 4. Let g = 1 + -1. Suppose g*t = -m*t. Solve t = -5*v + 20 for v.
4
Let k = -19 - -45. Let l = -24 + k. Solve -l*b = 1 - 7 for b.
3
Let h(b) = -b**3 + 3*b - 3. Suppose -2*r + 2*w + 5 = -5*r, 5 = -r + w. Let y be h(r). Solve 0*n + 3*n = y for n.
5
Let y(g) be the third derivative of g**4/12 - g**3/2 + g**2. Let r be y(8). Suppose -5*k = -2*a + 3 - 8, k - r = -2*a. Solve -n + 1 + k = 0 for n.
4
Suppose 13*a - 12*a = 4. Solve -3*k = 5 + a for k.
-3
Let d(b) = -b + 8. Suppose -c = -3*c + 12. Let m be d(c). Let v be m/(-7) + 120/28. Solve 0 = v*s - 3*s - 4 for s.
4
Suppose y + 26 = 6*r - 3*r, 4*r - 5*y - 53 = 0. Solve 0 = r*x - 3*x - 8 for x.
2
Suppose -3*s + 7*s - 20 = 0. Let x = 1 + 1. Solve 13 = x*c + s for c.
4
Suppose s + 3 + 12 = 0. Let a = s - -17. Solve 0 = -a*x - 10 - 0 for x.
-5
Let y = -23 + 23. Suppose -2*t + 2*k = 1 - 13, 4*t + 4*k - 64 = y. Solve 3*j = -1 - t for j.
-4
Suppose 4*u = 5*t + 3 - 20, -2 = 4*u - 2*t. Suppose -q - c - 1 = 2*q, 5*q - 2 = 2*c. Solve -h - 1 + u = q for h.
1
Suppose -3*q - 4*c = -4*q + 27, 4*c + 87 = 5*q. Solve -i = 2*i + q for i.
-5
Suppose 3*y = a - 7, 2*y + 0*y = -3*a + 21. Let k = 15 - 13. Solve -u + k = a for u.
-5
Let h(w) = -w + 5. Let c be (7/(-14))/(2/(-28)). Let x be h(c). Let p be x - -4*6/4. Solve -l - 3*l + p = 0 for l.
1
Let n be (-12)/(-15) + (-3)/(-15). Suppose 0 = i - n - 1. Solve q = 3*q + i for q.
-1
Suppose 0*p = -p - 4*q, -4*q = -2*p. Solve -4*z + p*z = 0 for z.
0
Let j = 5 + -1. Suppose 2*a + 0*a = j. Let f = -1 - -1. Solve f = -a*d + 3*d - 5 for d.
5
Let b(m) = -m + 9. Let a be b(6). Suppose 5*p - 4*l = -0*p, -3*p + a*l = 0. Solve -z = -p*z - 4 for z.
4
Let o(r) = 2*r**2 + 3*r - 2. Let b be o(2). Let x = b + -12. Solve -t - 2 = -x for t.
-2
Let r(q) = q + 6. Let j be r(-3). Let p(c) = -c - 18. Let w(h) = h + 19. Let n(f) = -5*p(f) - 4*w(f). Let k be n(-14). Solve k = j*b - 0*b - 9 for b.
3
Suppose -18 = -2*j + 2*h, 0 = -4*j - 2*h + h + 51. Let s be (24/j)/(2/3). Solve -s*f + 6*f + 3 = 0 for f.
-1
Let l be 28/(-10) - (-1)/(-5). Let a = 0 - l. Solve -a*z = -4*z + 2 for z.
2
Let z = -25 - -28. Solve -z*i + 4 = -i for i.
2
Suppose 0 = j + 2*s, 2*s + 3*s = -2*j. Solve 5*q + j*q - 25 = 0 for q.
5
Let d(o) = -o**3 - 7*o**2 + 6*o - 8. Suppose m = 5*m + 32. Let a be d(m). Suppose -2*c + a = 2*c. Solve -10 = -0*r + c*r for r.
-5
Let a = 8 + -8. Suppose 5*w - 130 - 5 = a. Solve -5*v + w = 7 for v.
4
Let s be (-11)/(-1) + -3 - 3. Suppose 4*i - 79 = s*l, -26 = -2*i + 4*l + 18. Solve -i = -3*g - g for g.
4
Suppose -65 = -6*m - 5. Solve 2*i = 7*i + m for i.
-2
Suppose t + 23 = -5*l, 7 = t - 0*t - l. Solve t*h = -0*h for h.
0
Suppose 4*i = 2*i - 2, -4*i + 20 = 4*v. Suppose -p = -v*p. Solve p = -d - 4 + 1 for d.
-3
Let m = 3 - 3. Suppose m*j - 2 = -j. Solve -j*v + 3*v = -3 for v.
-3
Suppose 13*a - 8*a + 2*a = 0. Solve a = 7*l - 2*l for l.
0
Let x(o) = o**3 - 2*o**2 - 6*o + 1. Let t be x(4). Let q = t - 5. Solve 3*y = 4*y + q for y.
-4
Let p(x) = -x**2 + 7*x - 7. Let g be p(5). Let z be 6/6*(0 + 11). Solve z = -g*a - 4 for a.
-5
Let s be 3/9 - (-8)/3. Suppose -5 = -m + s. Let y be 22/8 - (-2)/m. Solve y*j = 2*j - 1 for j.
-1
Suppose 2*f - 7 = -4*a + 9, -5*f - a = -13. Solve -7*w = -f*w - 15 for w.
3
Let q = -51 - -56. Solve q + 7 = 4*g for g.
3
Suppose 4*q - 6 = 2. Suppose 0 = 5*o - 0*o + 30. Let x be 0 - o/3 - q. Solve x = 2*j + 3*j for j.
0
Let z(w) = -2*w - 11. Let y be z(-7). Solve -y*s + 9 - 21 = 0 for s.
-4
Let w be 0/(-8)*(-1)/2. Suppose -5*g = -4*c - w*g + 13, -4*g = 5*c - 6. Let l = 4 - c. Solve z = -l*z - 12 for z.
-4
Let d = -2 + 4. Let t(a) = d + 3 - 4 - 19*a. Let x be t(-1). Solve m - 6*m = x for m.
-4
Let r(f) = f**2 + 4*f + 9. Let n be r(-7). Suppose -30 = -5*h + 5*a, -a = -6*h + h + n. Let q be (-7)/2*-2 - 2. Solve -u - q = -h*u for u.
1
Let i be 12*1*(-1)/(-3). Suppose -2*c = -5*c. Suppose -4*r + c*o = 3*o, -o = 0. Solve f - i - 1 = r for f.
5
Let d = -89 - -105. Solve d = -12*u + 8*u for u.
-4
Let y = -1 - -5. Let w be (0/1)/(y/2). Solve w*k - 3*k = -3 for k.
1
Let c(d) = 3*d - 53. Let v be c(19). Solve -3 = -v*f + 3*f for f.
3
Let c be -2*(-3)/8*4. Suppose c = k + 1. Solve -x - 15 = k*x for x.
-5
Let x = 8 - 0. Suppose -2*m + 4 = -4. Suppose 2*v - x*l + m*l = 0, -3*l = -v. Solve 2 = -j - v*j for j.
-2
Let m(y) = y**3 + 13*y**2 + 10*y - 11. Let x be m(-12). Let g = x - 12. Solve -j + g = 5 for j.
-4
Suppose 2*d + 2*j = 4, -4*d = j - 0 - 5. Let w = d - 1. Suppose w = -5*p + p + 8. Solve x - p + 4 = 0 for x.
-2
Let j(y) = -2*y. Let m be j(-6). Suppose -m = x - 22. Solve -d = 4*d - x for d.
2
Let i(h) = -h**3 - 4*h**2 - 7*h - 12. Let q be i(-4). Solve 8 = q*u - 12*u for u.
2
Let s(v) = -6*v + 9. Let a(n) = n - 2. Let f(l) = -11*a(l) - 2*s(l). Let m be f(0). Suppose -m*z + 2 = -3*z. Solve -z*d = -0*d - 6 for d.
3
Suppose 3*v + 0*q + 3 = -2*q, 5*q + 13 = -2*v. Suppose -2*d = -v - 7. Solve -5 = -d*n - 21 for n.
-4
Let k be -6*(2 + 12/(-9)). Let o be 1 + -3 - k/(-2). Let a be 30/(-25)*10/o. Solve a*i + 0 = -3 for i.
-1
Let k(u) = -7*u - 31. Let g be k(-5). Let o be (-25)/(-3) + 2/3. Solve -g*y + o*y = -10 for y.
-2
Let o = 46 + -46. Solve 4*w - 15 - 1 = o for w.
4
Let y(d) = -5 + 2*d + 1 - d. Let b be y(4). Let a = 31 - 23. Solve b = 2*j - a - 0 for j.
4
Let h(f) = 2*f**2 - f. Let j be h(2). Let m be (-43)/(-3) + 4/j. Suppose -m = -5*u + 10. Solve u*z - 2*z = 3 for z.
1
Suppose -15 = f + 5*j, f - 5*j = 5*f. Solve -f*w + 4*w = 5 for w.
-5
Suppose 0 = -4*b - 3*k - k - 8, 0 = b + 3*k + 8. Let i = -27 - -31. Solve 5*r = i*r - b for r.
-1
Suppose 0 = 4*d - 4*f - 16, 8 = d + 3*d - 2*f. Solve d*n + 4*n = -20 for n.
-5
Suppose 5*d + 3*a = -0*a + 34, 0 = 3*d + 3*a - 24. Suppose 5*v + 5*x - 10 = 0, -3*v + 0 = d*x - 10. Let k be -1 + (0 - (-1 - 0)). Solve k = -v*u + u for u.
0
Let b(m) = m - 1. Let j be b(3). Solve -j*a + 1 + 3 = 0 for a.
2
Suppose 6*p + 12 = 4*b + 3*p, -20 = 5*b + 5*p. Suppose 4*u + b*u - 8 = 0. Suppose u = -2*g + 8. Solve -11 - 1 = g*i for i.
-4
Suppose -2*t + 3*t = -3. Suppose -g + 0 = 3. Let i = g - t. Solve i*z - 3*z - 12 = 0 for z.
-4
Let m(b) = b**2 + 5*b + 4. Let a(k) = k + 10. Let w be a(-15). Let c be m(w). Solve n + 5 = -c*n for n.
-1
Let n = -6 + 6. Let v = 2 + n. Let p = 6 + v. Solve -5*u + 3 = p for u.
-1
Suppose 0 = -3*f + 2*f + 3. Suppose f*q - q = 32. Solve q = 2*c + 2*c for c.
4
Suppose 4*c = 9 - 1. Solve -h = -c*h for h.
0
Suppose -2*z = -4 - 0. Suppose a - 2 - z = 0. Solve a*o = 1 - 9 for o.
-2
Let r(f) = 7*f + 23. Let y be r(-3). Suppose -j + 12 = 2*j. Solve -y*d + 12 = j for d.
4
Let d be 43/9 - 32/(-144). Suppose i - 4*i + 27 = 0. Solve i = 2*g - d*g for g.
-3
Let s = 6 + 22. Suppose -3*d = -2*c - 2, 5*d = -2*c + 1 - 3. Let o be d/(0 + (-2)/(-1)). Solve -5*w + s - 3 = o for w.
5
Let w be (-4 + 5)/((-1)/3). Let l = w - -8. Solve -l*h + 4*h = 0 for h.
0
Let b(k) = 2*k - 8. Let n be b(4). Solve n*w = -w for w.
0
Suppose 2*g = -2*t - 2*t + 6, -4*g = -2*t + 8. Solve t*y + 6 = 2 for y.
-2
Let y be (8/5)/(2/10). Let f = 5 + -3. Let g(s) = s**3 - s**2 + 2*s - 3. Let n be g(f). Solve -d - y = -n*d for d.
2
Let t = 8 + -11. Let u be (1 - -1) + 0 - t. Solve -u - 5 = 5*y for y.
-2
Let y(q) = -q + 10. Let s be y(8). Let f be ((-8)/(s/1))/1. Let u be (9/6)/((-1)/f). Solve -u*g + 5 = -g for g.
1
Let h(l) = l. Let y be h(2). Suppose 0 = y*i - i. Suppose 3*m + 3 - 9 = i. Solve -m*k - 6 = 2 for k.
-4
Let i be 2/(-3) + 39/(-9). Let w = 5 + i. Solve 3*m + 2*m + 20 = w for m.
-4
Let z(n) = -n**2 + 17*n + 4. Let h be z(17). Solve 2*v + 4 = h*v for v.
2
Let k be 330/4 - (-9)/6. Let z = k - 59. Suppose -3*f + z = 2*f. Solve -f = -4*i + 7 for i.
3
Suppose b + 0*b - 5 = 0. Suppose b*v - 26 = -1. Solve 0 = -v*i - 34 + 9 for i.
-5
Let a = 14 + -29. Let j be 1/(3 + 42/a). Solve j*f = 4 + 1 for f.
1
Let q = 36 - 22. Let n be (6/7)/(2/q). Suppose 2*h + 0*h - 8 = -g, -2*g = -3*h - 2. Solve -n = -5*p + g for p.
2
Let z be -2 - 1 - (-2 - -4). Let w = 5 + z. Solve w*k + 5 = -5*k for k.
-1
Suppose 3*d + 5*y = 33, 