o - 11 - 6 = 2*h. Let p be 0 + (-1)/(2/h). Let z = p + 5. Solve 2*x - 1 = z*x for x.
-1
Suppose -2*c = 4*b + 16, -2*c + c = 5*b + 17. Let f be 2/(0 + 2/b). Let m = -1 - f. Solve v + 1 = m*v for v.
1
Suppose 0*g - 6 = -2*g. Let a be -11 - 0 - (-6)/g. Let n = a + 14. Solve -n*x = -5 - 5 for x.
2
Let i = -116 + 118. Solve 2*k = -i*k + 16 for k.
4
Let s(t) = -t**3 - 5*t**2 - 2*t - 5. Let f be s(-5). Suppose f*k = 30 + 60. Suppose -3*x + 5*n = -25 - 8, 5*x = -4*n + k. Solve 2*j = x*j + 8 for j.
-2
Let r be 50/2 + 2 + -2. Suppose z + 3*t - r = -4*z, 0 = -4*z + t + 20. Solve -4 = -z*k + 1 for k.
1
Let o = -11 + 6. Let s(n) = 3*n**2 + 2*n - 4. Let g(a) = -7*a**2 - 3*a + 9. Let r(f) = o*s(f) - 2*g(f). Let w be r(-4). Solve -i = w*i for i.
0
Let s(q) = 8 - q - 8 + 7. Let r be s(7). Suppose 3 = -r*t + t. Solve 0 = t*a + 2*a for a.
0
Let f = 281 + -168. Let d be f/6 - 4/(-24). Solve -5*l + d = -6 for l.
5
Let p(h) = -h**3 - 4*h**2 + 4*h - 5. Let u be p(-5). Let f = -5 - -7. Let v be (1 - 1)/(-3 + f). Solve -3*q + u*q = v for q.
0
Let p = -34 + 37. Solve -6 = p*i - 3 for i.
-1
Let f = 15 - 15. Solve 5*n - n + 20 = f for n.
-5
Let u(a) be the third derivative of a**5/12 + a**4/24 + 5*a**2. Let z be u(1). Solve -4*k = z + 2 for k.
-2
Suppose 1 = 7*n - 41. Solve -3*v - n = 9 for v.
-5
Let g be 0/(2 + -3 - 0). Solve g*j - 2*j = 0 for j.
0
Let p = 3 + 2. Suppose 0 = 3*u - 0*g + 3*g - 3, 0 = -3*u - p*g - 1. Solve 5*c - 2*c = -u for c.
-1
Let v be (12/(-10))/((-4)/10). Suppose -3*b + 20 = -4*b + 5*w, 12 = v*b + 3*w. Solve b = 2*x - 1 - 1 for x.
1
Let i = 4 - 2. Suppose -i*r = 2*r. Let s(c) = c**3 - 10*c**2 - 9*c - 20. Let a be s(11). Solve o = -r*o - a for o.
-2
Let r = 5 + -1. Suppose -3*i = 2*v + i - 16, 0 = 5*v - r*i + 2. Let b be -5*2/10*-3. Solve b*c = v*c - 2 for c.
-2
Suppose -g - n = -2*n - 20, 0 = -g - 5*n + 50. Let h = 13 + -11. Suppose 3*m = 4*m - 4*l - 10, h*m - l - 6 = 0. Solve 3*y + m*y = -g for y.
-5
Suppose 22 = 5*v + s, -4*v + 3*s + 0*s = -10. Suppose 0 = 7*a - 3*a - v. Solve a = r - 2 for r.
3
Let g(q) = -q**2 + 7*q - 2. Let b be 8/(-16) + (-223)/2. Let t be b/(-18) - (-2)/(-9). Let n be g(t). Solve -n*l + l = 3 for l.
-1
Let v(c) = -c**3 + c + 1. Let f(g) = -g**3 + 5*g**2 - g + 5. Let k be f(5). Let d be v(k). Let u be 4 + (d - 1)/1. Solve -3*r + r = u for r.
-2
Let c be (-7)/(-1)*10/10. Solve 5*l + c = -3 for l.
-2
Let x(y) = -3*y. Let q be x(-1). Let d be (-27)/q*2/(-6). Let g(m) = 3*m - 3. Let w be g(d). Solve 25 = k - w*k for k.
-5
Let d(u) = -u**2 - u. Let n be d(0). Suppose 2*v + 6 = n, 4*q - 3*v - v = 8. Let f be -1 + q - (-2 - 0). Solve -5 + f = -c for c.
5
Suppose -4*j = -i - 2*i - 33, 5*i + 5*j = -55. Let c(o) = -o - 12. Let t be c(i). Let n = -1 - t. Solve 5*s = -n*s + 25 for s.
5
Let n be 2/(2/3 - 0). Let i = 2 + n. Solve -6 = -i*t + 3*t for t.
3
Let f(v) = v + 8. Let h be f(-5). Solve 2*b - b - h = 0 for b.
3
Suppose 5*w - 9 = -3*n + 32, -5*n + 3 = -w. Solve -7 - w = 7*f for f.
-2
Suppose -3*i - 20 = -3*u + 19, 2*i = -2. Suppose -4*g + 21 = 3*c, -3*g + u = g. Solve -6 = -c*r - 3 for r.
1
Suppose 3*n + 45 = 5*b, -2*b = -5*b - 2*n + 8. Solve 2*d - b*d = 0 for d.
0
Let o(d) = d**2 - 3*d + 1. Let n be o(4). Suppose -n*w - 6 = -4*h, 3*h - 20 = -3*w - w. Suppose 5*j - 10 = 5. Solve -2*p = -j*p - w for p.
-2
Let u(h) = -h**2 + 8*h - 4. Let k be u(3). Let t be 0*(2 + -2 - -1). Let y be 4 + -4 + 2 + t. Solve 3*r = -k + y for r.
-3
Let x(w) = -2*w**2 + 1. Let i be x(1). Let n be -2 - (-2 + i - 1). Suppose -3*c = n*p - 21, 4*c + 5*p = -0*p + 35. Solve -6 = -c*r + 3*r for r.
3
Let b = -2 + 3. Suppose b = -5*r - 14. Let m be r/6 + 7/2. Solve 4*l + 1 = m*l for l.
-1
Let q(v) = -v - 1. Let h be q(-5). Suppose h*t - 15 = -3*l, -4*t = 5*l - 19 - 6. Suppose 4*c - 3*x = 7, 3*c - 19 = 2*c - 5*x. Solve 0 = -2*z - t*z + c for z.
2
Suppose 3*r - 6 - 3 = 0. Solve 6 = o + r for o.
3
Let j be ((-3)/6)/((-3)/36). Let c be j/2 + 5 + -6. Solve c*m + 3*m = 0 for m.
0
Suppose 0 = -0*r - 4*r + 12. Let g = 14 - 29. Let c be (-5)/g*(0 - 0). Solve 0 = -c*d + d + r for d.
-3
Let d(h) = -h + 3. Let b be d(-1). Solve 4 = 5*n - b*n for n.
4
Let m = 11 - 13. Let k be m/2 + (-8)/(-2). Solve -k*d = -d for d.
0
Suppose 0 = 6*g - 4*g. Solve g*v = -v - 1 for v.
-1
Suppose 8 = -5*c - 2. Let m be (-5)/(-2)*(0 - c). Let a be 1/(-1) - (0 - 10). Solve -m*s = a + 11 for s.
-4
Let g = 16 - 7. Solve 0 = 3*b - g + 24 for b.
-5
Suppose -11 = 4*c + 45. Let m = 20 + c. Solve m*i + 25 = i for i.
-5
Suppose 2*w + 11 = 3*o, 29 = 5*o + w + w. Solve 4 = -4*g + o*g for g.
4
Let x(w) = 2*w - 1. Let i be x(3). Suppose 35 = 5*q - 5*d - 10, 0 = i*q + 4*d. Solve -q*v = v - 10 for v.
2
Let c(y) = -5*y**2. Let n be c(1). Let f be ((-3)/n)/((-2)/(-20)). Solve -f*r + r = 0 for r.
0
Let g(y) = y**3 + 8*y**2 + 7*y + 4. Let f be g(-7). Solve f*n = 1 - 5 for n.
-1
Let b be ((0/(-2))/(-2))/1. Let v = -37 + 21. Let z = v - -16. Solve -5*c + 10 + b = z for c.
2
Suppose -4*n - n = 5. Suppose -2 - 2 = -2*z. Let m = n + z. Solve k = -0*k - m for k.
-1
Let v = -1 - -1. Let y = -24 - -34. Solve v = -4*q + y + 2 for q.
3
Let y(g) = g**2 + 3*g + 4. Let h = 12 + -15. Let o be y(h). Solve -8 = -o*r - 0 for r.
2
Let m = -257 + 261. Let o be -1 + -1*(-2 - -1). Solve -f = -o*f + m for f.
-4
Suppose 0 = -2*m + 12 - 4. Suppose -3*d + 12 = 3*o - 162, -5*o - 88 = -2*d. Suppose -2*x + d = x. Solve -x = m*c - 6 for c.
-3
Suppose 2*v = -3*f + 5*v + 30, -4*f + 50 = v. Suppose n + 10 = b + 2, -2*b + 3*n + 20 = 0. Solve -b*t + 0*t + f = 0 for t.
3
Suppose 26 = 2*v + 4*m, -5*v + 39 = 5*m - 6. Solve 2*h - v*h - 9 = 0 for h.
-3
Let n(h) = -h**2 + 6*h + 4. Let m be n(7). Let s be (m + 6)*15/9. Solve s*d = -0*d for d.
0
Suppose -6*i + 14 = 5*s - 5*i, -s + 2 = i. Suppose 4*q + 4 = 3*k, 0*k - s*q + 22 = 4*k. Solve -k*z = 2 + 10 for z.
-3
Let p = -2 + 6. Let n be -1 + 0 + p/4. Solve n = -4*w - 12 - 4 for w.
-4
Let r(z) = -2*z**3 - 2*z**2 + z + 1. Let t be r(-2). Suppose 0 + 12 = 4*y. Let h = t - y. Solve -k + h = 3*k for k.
1
Let s(b) = -b**2 + 11*b - 6. Let f be s(10). Suppose 0 = -0*c + f*c - 60. Solve -2*q - q = c for q.
-5
Let a be (12/(-9))/2*-30. Suppose a = -4*i, -3*f + 0*i - 11 = -2*i. Let w(u) = u + 7. Let c be w(f). Solve m = -c*m - 3 for m.
-3
Suppose 2*a + 2*a = 40. Suppose t = -4*t + a. Solve -t = p - 1 for p.
-1
Suppose 0 = 3*s - 15. Solve s*x = 3*x - 2 for x.
-1
Let a = -108 + 129. Solve -5 = 4*u - a for u.
4
Suppose 86 + 274 = 5*a. Let n = -42 + a. Suppose -i = -5*j - 12, -2*j = -i - 3*i + n. Solve 3 = 2*y + i for y.
-2
Suppose 8 = 2*q + 2*v, -7 = 3*v + 2. Let r = 3 + q. Solve 0 = 5*s - r - 15 for s.
5
Let v be (52/(-6))/(4/(-6)). Suppose -v = -3*y + 2. Solve 0*o + 5 = -y*o for o.
-1
Let n(d) = d**2 + 8*d - 2. Let g be n(-8). Let c be g/(-8) + 90/24. Solve -c*t - 25 = t for t.
-5
Suppose 3*q = -3*w + 2*q - 1, 0 = -5*q - 5. Let f(r) = 3*r - 7. Let n(m) = 6*m - 14. Let a(k) = 9*f(k) - 4*n(k). Let j be a(3). Solve -i = -w*i - j for i.
2
Let k be 76/13 - (-10)/65. Solve -k = 4*c - 2 for c.
-1
Suppose 0 = -2*b - 3*j + 30, 0*b + j = -3*b + 59. Suppose 0 = 2*p + z, -2*z = 3*p - 3 + 4. Solve -5*l + p = b for l.
-4
Let y = -9 + 12. Let h(f) = -f**2 + 4*f. Let m be h(y). Solve -1 = m*r + 2 for r.
-1
Let h = 1 + 1. Let s(q) = -3*q + 13. Let t be s(4). Solve 3*w + h = -t for w.
-1
Suppose 4*y = -3*h - 28, 3*y + 2*h = -31 + 9. Let d = 12 + y. Solve 3 = d*c - 3 for c.
3
Suppose 4*z - 25 = -z. Suppose 2*q + 5 = z*l, q = -0*l + l + 5. Solve 2*o = q - 2 for o.
4
Let x be (-2)/((24/(-9))/4). Let d = 1 + -1. Suppose t - x = -d. Solve -y - t*y = 0 for y.
0
Let g = -6 - -5. Let o be g*(-2)/2*2. Solve 4*r - 2 = o for r.
1
Let l be (-1 - 3)*9/2. Suppose 0 = -3*u + 1 - 25. Let g be 1/(-4) + l/u. Solve -i = 5 - g for i.
-3
Suppose 2*r - 67 = -7. Suppose 6*h + r = h. Let v(x) = x + 6. Let q be v(h). Solve 0 = f - q*f for f.
0
Let w = -8 + 5. Let u be (w - (-6 + 1)) + 1. Solve -u = -z + 1 for z.
4
Suppose 16*p - 10*p - 24 = 0. Solve 0 = -d - p*d + 25 for d.
5
Let d be (2/4)/((-2)/(-72)). Let y(v) = 3*v**3 - 2*v**2 + 1. Let p = 0 - -1. Let m be y(p). Solve 4*k + d = -m for k.
-5
Let h(w) = w**2 + 4*w + 5. Let z be h(-5). Suppose z = -0*x + 2*x. Suppose -3*u + 7 = x*d - 6, -3*d + 2*u = -4. Solve 0*a = a + d for a.
-2
Let a(g) = g**3 + g**2 - 9 + 