28 + 118/8. Suppose 2*p = -r + 35. Solve p*s - 5*s - 25 = 0 for s.
5
Let c be 2/3 + 22/3. Let n be (-8)/6*(-12)/c. Suppose 4*x + 2*i - 18 = 0, -3*i + 21 = n*x + 2*x. Solve -q + x*q = 6 for q.
3
Let k(b) = -b + 14. Suppose -43 = 4*x - 9*x + 4*z, 0 = 5*z - 15. Let q be k(x). Solve q*g - 12 = -g for g.
3
Suppose 0 = -5*b - 3*g + 8, -4*g = 2*b + g - 7. Let s be ((-12)/9)/(b/(-3)). Solve s*t + 21 = 1 for t.
-5
Suppose 3*t + 2*i - 7*i + 1 = 0, -3*i = -4*t + 17. Solve -2*j + 6*j = t for j.
2
Let r be 1*10 + -2*1. Suppose -2*u + 4*j + 8 = 0, -2*u + 3*j = 1 - 7. Suppose -4*d - v + 11 = u, -2*d - 5*v = 28 - 11. Solve 4 = d*b - r for b.
3
Let y(q) = -q**2 - 2*q + 3. Let o be y(-3). Suppose 2*u - 5*b + 1 + 5 = o, -4*u + 40 = 3*b. Solve 2*i = u*i + 5 for i.
-1
Let y(u) = 3*u**2 - 2*u + 1. Let g(n) = -n - 2. Let c be g(-3). Let v be y(c). Let k(j) = -j**3 + 5*j**2 + 3*j - 5. Let t be k(5). Solve t = 4*m + v for m.
2
Suppose 2*r - r - 8 = 0. Suppose 0 = -r*a + 2*a. Solve 0 = -a*x + 3*x - 9 for x.
3
Let z = -10 - -10. Let d be (-1)/5 - 52/(-10). Solve d*q + 10 + z = 0 for q.
-2
Let l = 24 + -22. Solve l*f = 2 + 4 for f.
3
Suppose 8 = 2*r + 2*r. Suppose 0 = 4*l - r*k + 3*k - 17, 2*k + 5 = 5*l. Suppose 3*q = l*g - 15, 4*g - 32 + 12 = 3*q. Solve q*s - 4*s = -20 for s.
5
Let t(g) = -g**2 + 8*g - 4. Let z be t(7). Solve 5*i - 8 + z = 0 for i.
1
Let r be (1 + (-8)/6)*-6. Let i be (1 - 0)/(r/8). Solve w + 3*w = i for w.
1
Suppose -m - z + 151 = 4*m, 5*z + 25 = m. Suppose -5*v + 2*v + m = 0. Solve 4*i + v = -i for i.
-2
Let w be (1/(-3))/((-7)/378). Solve 5*o = -w + 3 for o.
-3
Suppose -42 = n - 4*n. Let a = -11 - -28. Suppose a = 5*t - 8. Solve -4 = t*j - n for j.
2
Let s = -32 - -35. Solve 0*w + 6 = -s*w for w.
-2
Let r(f) = -f**2 + 4*f + 16. Let t be r(6). Solve t*i - 6 = 2 for i.
2
Let r(d) = 4 - 7 - 7*d - 3*d + d - 9*d**2 - d**3. Let k be r(-8). Solve -k*m + m + 12 = 0 for m.
3
Let m(v) = v**3 + 6*v**2 + 2*v - 4. Let a be m(-4). Suppose -2*p = 3*p + 20. Let j = p + 7. Solve j*n = -n - a for n.
-5
Let l(q) = 4*q - 6*q + 12 + 3*q. Let b be l(-6). Suppose -3*c = -0*c - b. Solve o = -0*o + c for o.
2
Let r be (56/49)/(1*3/21). Solve 3*k = -4 - r for k.
-4
Let r = 3 + -1. Solve r*h + 2 = -0 for h.
-1
Suppose 2*o + o + 3*o = 0. Solve i - 4*i + 12 = o for i.
4
Let p(r) = -r**2 + r + 1. Let u be p(3). Let b = 14 + u. Solve 5*n + b = 2*n for n.
-3
Let s = -5 + 25. Suppose -5*i + 5*g - s = 0, -i = -g - 4*g + 8. Let n = 5 + i. Solve -n - 4 = -3*x for x.
2
Suppose 4*t = 32 + 8. Suppose -5*n + 4*s = -12, 0*n + n - 2*s - 6 = 0. Suppose 3*p - 5*p = n. Solve -2*j + p*j = -t for j.
5
Let x(m) be the first derivative of -m**2/2 - 2. Let n be x(6). Let c be 2/(1/((-3)/n)). Solve -y + 0*y - c = 0 for y.
-1
Let h(c) = -3*c + 22. Let l be h(7). Solve l = -k - 2 for k.
-3
Let i = 6 - -6. Solve -2*n + i = 2*n for n.
3
Let n(o) = o**2 - 60. Let q be n(8). Solve -q = l - 0*l for l.
-4
Let d = 8 - 4. Suppose 15 = c - d. Suppose -q - 5*w = -c, -2*w - 44 = -4*q - 12. Solve -5*k = q - 4 for k.
-1
Let w = -6 - -3. Let k be w + (-1 - -2) + 2. Solve 1 = -c - k for c.
-1
Suppose -3*b = 6 - 0. Let i be -3 + 10*b/(-4). Solve 0 = -3*f - 5 + i for f.
-1
Let x = -9 + 16. Let u = -5 + x. Solve n + u = -n for n.
-1
Suppose 4*q - a - 8 = a, -10 = -5*q + 2*a. Suppose 2*v + o + 2 - 21 = 0, 0 = -v - 2*o + 8. Let b = 15 + v. Solve q*c = -3*c + b for c.
5
Let g(z) = z**2 - z + 1. Let f be g(2). Let h be -3*(-3)/f + -3. Solve h = -5*l + l - 8 for l.
-2
Let t = -9 + 7. Let f be 40/4*t/(-4). Solve 0*g = -f*g + 20 for g.
4
Let l be (-8 - -2)*(-2 - (-12)/8). Solve 0 = -l*q + 3 for q.
1
Let y be 4 - 13*(0 - (4 - 3)). Solve -2*k = -y + 7 for k.
5
Let i = 12 - 8. Suppose 0 = -0*x + x - 5. Let p(f) = -f**3 + 4*f**2 + 8*f - 3. Let z be p(x). Solve h = i*h + z for h.
-4
Let d be (-2)/(32/18 - 2). Suppose -m + 0*m + g = -d, 5*m + 4*g = 0. Solve -m*j - 10 = j for j.
-2
Let l be (14/4)/1*2. Suppose 3*q = 2*g - l - 4, 5*g + 2*q = 18. Solve i + g = -0*i for i.
-4
Let h = -2 - -4. Let g be 2/(4/h)*0. Solve g = 4*r - r for r.
0
Let u be (-3)/(22/(-10) + 2). Suppose o + 3*y = -1, -u = -5*o - 6*y + y. Solve 0 = -4*m + 1 - o for m.
-1
Let s be -1*4/18 + 376/72. Solve -h - s = -2*h for h.
5
Let m(w) = w**2 - 3*w + 4. Let n be m(3). Solve 0 = -n*x - x + 10 for x.
2
Let j(v) = -5*v**2 - 6*v - 15. Let z(l) = 6*l**2 + 5*l + 16. Let h(k) = 7*j(k) + 6*z(k). Let o be h(13). Solve -o + 1 = -w for w.
3
Suppose 0 = 3*t - 2*t + 12. Let q = t + 17. Solve -q*f - 17 = -2 for f.
-3
Let x(n) = 10*n - 24. Let w be x(4). Suppose 3*p - 5 = -4*m, -2*p = 3*m + p. Solve 0 = m*k - k - w for k.
4
Let h = 3 - -1. Let c = h - -2. Suppose 15 = -y + c*y. Solve y*l = 2*l + 4 for l.
4
Let k(q) = q + 5. Let f be k(-4). Let z be -2 - (f/(-1) - 2). Solve -g - 6 = -z for g.
-5
Suppose 3*d - 12 = 5*p, 0 = -0*p + 2*p - 3*d + 12. Let s be (-2)/(-1)*(1 + 2). Let i be 1 + (-2 - (-2 + 0)). Solve -c - i + s = p for c.
5
Suppose 0 = -0*r - r - f + 4, -4*r + 4*f + 8 = 0. Suppose 0 = 4*u + r*k - 27, -6*u + 2*u + k + 7 = 0. Suppose 0 = -q + 1 + 2. Solve -18 = -q*a - u for a.
5
Suppose 5*b - g - 11 = 0, 6 = -2*b - 2*g + 5*g. Suppose -4*k + 24 = -q, 0*k = b*k + q - 18. Let p(j) = -3*j**3. Let m be p(-1). Solve m*u = -0*u + k for u.
2
Suppose 11*v = 7*v + 60. Suppose 0*d - 2 = -d. Let g be 4 - (-1)/((-1)/d). Solve -g*p - p = -v for p.
5
Let n = 66 - 35. Suppose -z - 3*z + n = -5*u, -5*z = -2*u - 26. Solve 0*k = k + z for k.
-4
Let h(g) = -6*g + 35. Let p be h(5). Solve 5*b - p = -0*b for b.
1
Suppose 0 = -5*c + 40 + 5. Suppose 3*j - 7 = 14. Solve c = -4*u - j for u.
-4
Let w be (3 + -1)/(2/(-5)). Let l = 0 - w. Solve -1 = -2*j + l for j.
3
Suppose 0 = 3*s + 15, -s - 6 - 15 = -c. Solve -4*n = -0*n + c for n.
-4
Suppose -4*n + 5*p + 0*p = -52, 5*n - 56 = 4*p. Suppose 0 = -n*q + 5*q. Solve 1 = -f - q for f.
-1
Let d be ((-18)/7)/(-3)*7. Solve 0 = -h - 3 + d for h.
3
Let q(o) = -o**3 - 7*o**2 + 7*o - 7. Let l be q(-8). Suppose -h + 4 - l = 0. Suppose 4*r - 7 = h*k, k - 2*r = -2*k + 1. Solve 2*p + 1 + k = 0 for p.
-2
Suppose -6 - 48 = -6*q. Solve -q*n + 5*n = 0 for n.
0
Suppose 0 = 13*q - 15*q + 10. Solve 0 = -q*u + 6 - 1 for u.
1
Let a be (2*(-9)/(-6))/(9/30). Solve 5*v = -0*v + a for v.
2
Let j = -3 - -2. Let l(f) = 4*f**2 - f - 1. Let h be l(j). Let c be h*1/1 + -1. Solve -c*i + 12 = -7*i for i.
-3
Let c(q) = -q**3 + 6*q**2 + 9*q + 1. Suppose h - 21 = -2*h. Let n be c(h). Solve 0*u = 5*u - n for u.
3
Let x be (3 - -3) + -1 + -2. Let y(h) = -h**2 - 5*h - 4. Let k be y(-3). Suppose -5*c = 4*i + 6, -i = c + k - 0. Solve -x = -c*n - 9 for n.
-3
Let d be (0 + 4/(-6))/((-48)/216). Solve d*o = -o - 4 for o.
-1
Suppose 3*q - 2*g - 35 = 0, 5*q - 4*g + 9*g - 25 = 0. Let t = q - 6. Solve -t*r + 0 = 6 for r.
-2
Let q(f) = f + 10. Let k be q(-7). Solve 2*h + k = 9 for h.
3
Suppose 0 = -2*k + 19 + 7. Suppose 3*n + 4 = k. Suppose -n*l + 2*l - 2*z = 5, -l + 7 = -2*z. Solve -l = -t + 1 for t.
2
Let g = -38 + 42. Solve g*l + 20 = -l for l.
-4
Let w be -1*12*3/6. Let v be -3*1/(w/20). Let c = v - 6. Solve 0 = 3*g + c - 16 for g.
4
Suppose -4*d - 5*t = -1 + 3, -2*t = 4. Solve -d*s - 15 = 3*s for s.
-3
Let t = 10 + -8. Suppose 0 = t*r + r. Solve -3 + r = -b for b.
3
Suppose -3 = -4*u + 3*u. Let q = 6 - u. Solve q*b + 25 = -2*b for b.
-5
Suppose 0 = -5*w - 1 + 16. Let z be w - (1 + 1 + -4). Solve 7 = -3*y - z for y.
-4
Suppose -2 = n - 2*n. Let x be 1 - (4 - 2)/n. Let r be (-7)/(-1) + 4/(-2). Solve -k + x*k = r for k.
-5
Suppose 2*i - 10 = -2*p + 2, 14 = 5*p + i. Solve -4*g = -p + 6 for g.
-1
Let v(y) = y**2 - 11*y + 10. Let k be v(10). Let q = k + 3. Suppose -8 + q = -5*x. Solve -b = -x + 3 for b.
-2
Suppose 0 = -0*q - 2*q + 36. Let y be q/8 + 1/(-4). Suppose 5*j = y*j + 12. Solve 1 = -5*c + j*c for c.
-1
Let j be (4/(-12))/((-1)/(-33)). Let u = 15 + j. Suppose 3*w = u*w + q - 2, 5*q + 8 = 4*w. Solve 0*n = w*n for n.
0
Suppose -w = 3*w - 28. Let u be ((-2)/w)/(1/(-7)). Solve -u*n = n - 9 for n.
3
Let u be (-1)/4 - 9/12. Let r be (10/(-25))/(u/15). Let h = r - 3. Solve -9 + h = -3*o for o.
2
Suppose -2*l + i + 6 = 0, -7*l - 2*i + 33 = -2*l. Solve 0 = -n + l*n + 4 for n.
-1
Suppose 0 = -3*b + 5*b - 32. Suppose -l = 2*j + 7, -4*l + 2*j + 6 = -b. Solve 7 = -z + l for z.
-4
Suppose -76 + 28 = -4*g. 