8 + 68. Solve 1 = o - r for o.
1
Let z(j) = j + 1. Let q be z(7). Suppose 3*k = 5*k - q. Solve 0 = 2*y - 2 - k for y.
3
Let m = 24 + -14. Solve w = -w + m for w.
5
Let q be ((-5)/(-20))/((-2)/(-40)). Let t(n) = n**2 + 4*n + 3. Let i be t(-3). Let d be (i/(-2 - -5))/(-2). Solve p = -d*p + q for p.
5
Let g(a) = a**2 - 8*a + 9. Let w = 13 + -5. Suppose 0 = -i + 3*y - w, 2*i - 3*y = -3*i + 20. Let m be g(i). Solve 3*n = m*n + 1 for n.
1
Suppose -4*i + b = -4*b - 16, -i = 5*b - 4. Suppose 24 = i*u - 0*u. Solve 5*t - u = 19 for t.
5
Let l(g) = g**2 - g - 3. Let w = 5 + -2. Let x be l(w). Solve 2 = x*j - 1 for j.
1
Let f be ((-4)/18)/((-2)/18). Solve l = f*l + 3 for l.
-3
Let q(n) = -n**2 - 6*n - 3. Let z be q(-4). Solve z*i + 5 = -20 for i.
-5
Let p = 4 - 0. Solve p*r = -0*r for r.
0
Let s(b) = 11*b**2 - 7*b + 1. Let z(i) = -i**2 + i. Let w(q) = s(q) + 4*z(q). Let o be w(2). Let k = o + -7. Solve -2*v = 2*v + k for v.
-4
Let n = 10 - 2. Suppose -n*a = -4*a - 16. Solve a*d - 10 = 2 for d.
3
Let m(v) = v**2 - 8*v + 1. Let h be m(8). Solve 0 = -5*d - h - 9 for d.
-2
Let a = -7 + 11. Suppose 0*j + 4 = 2*j. Suppose -2*y - j = -12. Solve -a*k + 17 - y = 0 for k.
3
Let w = 139 - 131. Solve -3*d + w = -5*d for d.
-4
Suppose 5*a + 23 = 3*w + 2, 0 = 3*w - 3*a - 15. Let c(r) = -r**3 + 4*r**2 - 4*r + 3. Let l be c(w). Solve 0*g = -l*g - 12 for g.
-4
Let w(z) = z**3 - 8*z**2 - 10*z + 12. Let t be 1 + 44 + 2 + -2. Suppose -3*c + t = 2*c. Let b be w(c). Solve -2*u = -u - b for u.
3
Suppose 3*j = -0*w - 5*w - 19, -12 = 4*j + 4*w. Solve 3*u - 15 = -j*u for u.
3
Suppose -2*u = -4 - 0. Suppose 0 = -3*r - u*r + 15. Solve 1 = r*q + 16 for q.
-5
Let g(w) = -5*w**3 + 2*w + 1. Let q be g(-1). Solve 0 = -q*o - 2 + 6 for o.
1
Let l(i) = -i**2 + 4*i - 1. Let y be l(7). Let x be 14/(-77) + (-70)/y. Solve 3 = -x*b - 9 for b.
-4
Suppose 0 = 6*r - 8*r + 8. Suppose -3*j - 2*c + 12 = -68, 2*j - 40 = -r*c. Suppose x - 6*x = -j. Solve k = x*k - 25 for k.
5
Suppose 4*k - 15 - 5 = 0. Let t be (16/(-3))/((-2)/12). Suppose 3*h - 4*f - t = 0, 5*h + 4*f + 8 = 2*h. Solve -h*w = -3*w + k for w.
-5
Let l be (4/5)/(4/10 + 0). Solve -l*s = 2*s for s.
0
Let w be (26/(-13))/(-2 + 1). Solve 9 = w*d + 3 for d.
3
Suppose 0 = -5*d - 22 + 42. Solve 7*t - d*t - 6 = 0 for t.
2
Let d(z) be the third derivative of z**4/12 + 3*z**2. Let r be d(2). Solve a - r = 1 for a.
5
Suppose 2*b = -12 - 0. Let c = -4 - b. Let l be (-18)/(-10) + (-5)/(-25). Solve 0 = c*d - 0*d + l for d.
-1
Suppose 6*a - 85 = -19. Solve a = -4*t - 1 for t.
-3
Suppose 2*v - 3*v + 17 = 0. Let i be 11*4*(-1)/(-4). Let c = v - i. Solve f = c - 1 for f.
5
Let x(s) = -s + 6. Let j be x(5). Let a(t) = -9*t - 1. Let p be a(j). Let y = 16 + p. Solve 2*b + y - 2 = 0 for b.
-2
Suppose 0 = 4*s - 3 + 11, -4*v + 5*s = -22. Solve -v*p = 2*p - 20 for p.
4
Let q = 173 + -120. Suppose -4*u = -z + 6*z - 64, -4*z - 5*u + q = 0. Solve 3*w = -w + z for w.
3
Let q be (10/(-1))/2*-1. Suppose -5*x - 29 = i, -x = -0*i + 4*i + 21. Let m = q + i. Solve 0*a = a - m for a.
1
Suppose l + 3 = 3*u, 5*u - 13 = 4*l - 1. Suppose u = z - 0 + 5. Let y(b) = b + 5. Let c be y(z). Solve -p + 2*p = c for p.
0
Suppose -5*h = -4*i - 8, 11 = h + 5*i - 8. Suppose -h*a + a = 0. Solve a = -7*o + 2*o for o.
0
Let f(l) = -l**3 - 11*l**2 - 12*l - 12. Let z be f(-10). Suppose i - 5*h = 2, -4*i + 0*h + z = -5*h. Solve i*v = 5*v + 15 for v.
-5
Suppose -4*f = g - 31, 80 = 7*g - 3*g + 5*f. Solve g = -4*t + t for t.
-5
Suppose 5*d + 36 = 14*d. Solve 2*b - d = b for b.
4
Let n(s) = 11*s**2 + 2*s + 21. Let w(z) = -5*z**2 - z - 10. Let k(i) = 6*n(i) + 13*w(i). Let t be k(3). Let b = -9 - -29. Solve -t*h - 2*h = b for h.
-5
Let n(v) = -v**2 + 12*v - 12. Let p be n(10). Solve -5*d + 3 = p for d.
-1
Suppose 3*z = -4*y + 29, -1 = 3*y - 3*z - 7. Suppose 11 = 2*w + y. Solve 0 = -w*p - 2*p for p.
0
Suppose 2*j = -0*u - 4*u - 40, -2*j - 3*u = 37. Let i be (8/j)/(8/(-28)). Solve n - 3 = -i*n for n.
1
Suppose 5*t - 11 = 2*i, -2*t + 14 = 3*i + i. Let p(o) = 2*o - 1. Let m be p(t). Suppose -m*u + 2*v = -13, u - 2*v - 2 + 1 = 0. Solve -u = -4*y + 1 for y.
1
Suppose -o + 4*o = 4*t - 19, -4*o - 22 = -2*t. Let v(x) = -x - 1. Let g be v(o). Solve -12 = b - g*b for b.
4
Let d(l) = -l**3 + 6*l**2 - 6*l. Let z be 2*-3*6/(-9). Let o be d(z). Solve o = y + 3 for y.
5
Let i(d) = d + 7. Let b be i(-5). Suppose 4*m + 9*p - 30 = 4*p, -4*p = -b*m + 2. Suppose 3*v - 4 = m. Solve -2*c + v = -3*c for c.
-3
Let z = 7 + -4. Let w be (10/8)/(1/4). Suppose i = d - 2, d - 4 = w*i - d. Solve i*v - z = v for v.
-3
Let l be (72/(-10) + 2)/((-3)/15). Solve -4*v + 10 = l for v.
-4
Let i(j) = -j**3 + 4*j**2 + j. Let g be i(4). Let y(x) = -3*x - 3*x - 6*x - g + 5 + x**2. Let a be y(12). Solve -t + a = 3 for t.
-2
Suppose -2*o - 2 = -3*o. Suppose -2*q + 11 = 5*g, 2*g = -o*q + g + 15. Solve -q = 5*f + 2 for f.
-2
Suppose -5 = y - 7. Suppose n - y + 5 = 2*j, -4*j = 3*n - 11. Solve -9 = 5*z - j*z for z.
-3
Let p = 57 + -37. Suppose -4*s = s + p, -4*s = -4*o + 40. Solve 4*x - x + o = 0 for x.
-2
Suppose -2*a = -5 - 1, -2*r = -2*a. Suppose 0 = m - 5 - r. Solve -5*z + z + m = 0 for z.
2
Suppose -4*t = -5*d + 24, -2*t = -0*d - 5*d + 22. Let o be (10/6)/(t/(-3)). Let c = 5 - o. Solve c = -5*g + g - 12 for g.
-3
Let j(h) = h**3 + 11*h**2 - 12*h. Let g be j(-12). Let v be (-8)/(-4) - g - 2. Solve v*r + 5*r = 20 for r.
4
Let c(y) = -y**3 + 14*y**2 + 3*y - 10. Let j(m) = m**3 - 15*m**2 - 3*m + 10. Let f(w) = 5*c(w) + 4*j(w). Let h be f(10). Solve -4*t + 9*t - h = 0 for t.
4
Let n(u) = u**3 - 9*u**2 - 3. Let l be n(9). Let t = 0 - l. Solve 0 = t*f + 7 + 8 for f.
-5
Let a(r) = r**3 - 14*r**2 - 15*r + 3. Let z be a(15). Solve -z*s + 6 = -3 for s.
3
Suppose -2*s + 2*j + 6 = 0, 3*s = -s + j + 15. Solve i - 1 - s = 0 for i.
5
Let x = 30 + -30. Solve x = -2*n + 3 - 1 for n.
1
Let v be (-1)/(2/8)*-7. Suppose 4*i + 0*i - v = 0. Solve i*f = 2*f + 15 for f.
3
Let o(g) = g**3 + 6*g**2 - g + 6. Let u be 21 - (-1 + -1 - -2). Let i be 1*(-7)/(u/18). Let h be o(i). Solve -5*s + s = h for s.
-3
Let s = -9 + 7. Let d(x) = x**2 - x - 1. Let y be d(s). Solve -5*l = -0*l + y for l.
-1
Let i = 7 - 7. Suppose 3*z + 3*f - 45 = i, -67 = -5*z - f + 4*f. Let s be (z/6)/(2/6). Solve -27 = -5*b - s for b.
4
Suppose 4*w - c = -3*c, 0 = -4*w + 2*c. Solve 3*z + 0*z = w for z.
0
Suppose -2*r + 3 = -3*r. Let g = r + 3. Suppose g*a = -3*a. Solve -5*d + 0*d - 5 = a for d.
-1
Let r = 18 - 12. Suppose 0*d - r = -2*d. Solve 0 = 5*s + d + 2 for s.
-1
Let w(r) = -r - 6. Let t be w(-9). Suppose m - 24 = t*m + 4*u, -2*u - 42 = 4*m. Let o be 5/m*(0 - 0). Solve -s + 3*s = o for s.
0
Let c = 3 + -1. Solve -c*s = -8 + 2 for s.
3
Suppose j = -0*x - 4*x - 51, -4*j - 12 = 0. Let d = 12 + x. Solve 3*n + 2 + 4 = d for n.
-2
Let q(o) = -3*o**2 + 5*o - 2. Let v(n) = 7*n**2 - 11*n + 3. Let f(t) = -5*q(t) - 2*v(t). Let y be f(2). Suppose -p = -6*p + 5. Solve -y*g + 3 = p for g.
1
Let z be 13/(-15) + 2/(-15). Let d be (z - 0) + -2 + 3. Solve 5*c = -d*c for c.
0
Let u(j) be the first derivative of j**4/4 - 7*j**3/3 + j**2/2 - 4*j + 1. Let g be u(7). Let o be 32/(-40)*(-65)/2 + -3. Solve -5*a - o + g = 0 for a.
-4
Let w(f) = 14*f + 1. Let z be w(1). Suppose -3*v + 3 = l, -2*v - 5*l = v - 15. Suppose v = 4*o + o - 25. Solve 2*h = o*h - z for h.
5
Suppose 2*t = -3*r + 18, 0 = 3*t - 2*r - 14. Let a(j) = t - 4 - 6*j - 3 + 2. Let n be a(-1). Solve -4*i - n = -23 for i.
4
Let k(y) = -2*y + 4. Let j be k(2). Solve -3*i + j*i = 0 for i.
0
Suppose -3*o - 12 = -36. Suppose 3*t - o = 4*v, -17 = -3*v - 4*t + 2. Let g be v - (-2 - -2) - -3. Solve g*c + 0 - 16 = 0 for c.
4
Let u = 15 - 12. Let s be 1*u - (0 + 0). Solve -b + s = 6 for b.
-3
Let p be (0 - 3)*(-1)/3. Let x = 8 - 8. Suppose x = -2*t + 5 - p. Solve 0*c = -2*c + t for c.
1
Let p = -84 + 93. Solve p = -2*y + 5*y for y.
3
Let c(y) = y**2 + 5*y - 8. Let n be c(-6). Let z be n/(-9) - (-530)/45. Solve -z = -3*q - q for q.
3
Let b = 18 - 13. Suppose -c + 0 = j - 7, 3*c - 27 = -b*j. Suppose j*a - 4 - 23 = 0. Solve d + a = -2*d for d.
-3
Let n be 6*1/(-10) + 4/(-10). Let a(p) = p + 6. Let t be a(-4). Let z be (t + -4)*n - 0. Solve 0*b - z = -2*b for b.
1
Let k = -7 + 11. Solve -2*i + 8 = k for i.
2
Suppose -4*y = 2*x - 46, 8 - 63 = -5*y - 3*x. Suppose q = -4*m -