*o - a + j, -7*o = -4*o + 3*a + 18 for o.
-5
Let x be (-6 + 2)*1*-1. Suppose 3*o = x*o - 3. Solve 0*u - 3*g = -o*u - 21, 0 = -5*u - 4*g + 1 for u.
-3
Suppose 4*h - 7 = 1. Suppose 7*x - h*x = 25. Solve -4*g + 0 = -x*i + 33, g = -2 for i.
5
Let k(p) = 3*p**2 + 6 + 4*p - 6 + 4. Let n be k(4). Let c = n + -43. Solve 4*a + 3*v = -c, 0*a + 4*v = -2*a - 20 for a.
-4
Suppose 4*k = 66 + 6. Let i be 1/((-4 + 5)*(-1)/13). Let o = i + k. Solve o = q + x, -2*q + 3 = -q - x for q.
4
Let g be 6/(-10) + (-63)/(-5). Let d be (g/(-15))/((-1)/5). Let j be (d/3)/((-10)/(-15)). Solve 2*b - n - 9 = 0, -j*n = 2*b + n + 3 for b.
3
Suppose 0 = 3*f - y + 19 + 2, 0 = 4*f + y + 35. Let w = f + 15. Let i(u) = 2*u - 7. Let x be i(w). Solve 6 = 3*s, 0*a + 3*a + 2*s = x for a.
1
Let o(x) = x**3 - x**2 - x. Let h be o(0). Suppose -6*i + 5*i + 5 = h. Solve -4*u - 20 = -2*q - 3*q, 0 = i*u for q.
4
Let k(y) = -y - 1. Let d(u) = -2*u - 2. Let s(t) = 2*d(t) - 3*k(t). Let c be s(-3). Let r be c/4*(0 - 0). Solve 1 = 5*f + 4*g, -5 = -5*f - 5*g - r for f.
-3
Suppose 0*l - l = 0. Suppose -2*d + 0*d = l. Solve -2*s - o + 11 = d, 0 = 5*s + o + o - 26 for s.
4
Suppose 3*f = -19 + 1. Let r = 6 + f. Suppose -c + r = -2. Solve -u + 7*q - 4*q = c, -4*u - 22 = 2*q for u.
-5
Let g = 107 + -66. Suppose -3*h = h - 12. Suppose r - 4 = y, 2*y - 4 = h*y. Solve k = -r*k - 5, -5*k - g = 4*u for u.
-4
Let p = -17 + 17. Solve p = -2*r + 4, 2*r - r = 4*t - 10 for t.
3
Let q(s) = -3*s**2 - 10*s + 1. Let u be q(-3). Solve 2 = -j - 5*d, 2*j - 5*d + d = -u for j.
-2
Let p = -30 + 50. Suppose 2*l = h + 8, -2*h - h - p = -5*l. Suppose -3*g - 6 = -2*s - 2*g, 4*s - g = 12. Solve -4*i + 4 = -2*u - 3*u, s*u + 12 = h for i.
-4
Let f(q) = -q**2 + q + 2. Let h be f(-3). Let r be (5*4/10*-2)/2. Let y be (-34)/(-5) + r/h. Solve 4*b = -i - 3, -4*i + 4*b - y = 5 for i.
-3
Let l(x) = x**2 - 7*x + 2. Let k be l(7). Suppose -k*z + 1 = w, 4*z + 2 = 3*w - 1. Solve 3 = 5*f - 3*a - w, -3*a + 16 = 5*f for f.
2
Let l(r) = r - 6. Let n be l(8). Solve 5*d - 2*b = b + 11, -n*d + 5*b - 7 = 0 for d.
4
Let i = 150 - 145. Solve -m + 4 = -2*o, i*m - 10 = o + 1 for o.
-1
Suppose 2*s - 224 = 3*y - 0*y, y + 2 = 0. Suppose -5*i - 34 = -s. Solve -5*w + h - 6*h + i = 0, 4*w = 4*h - 20 for w.
-1
Let n(m) = 3*m + 5. Let q be n(5). Suppose -4*j + 9*s = 4*s - q, -15 = -3*j - 4*s. Solve -j*k + 14 = 2*t - 3, 4*t + 41 = 5*k for t.
-4
Let j = -6 + 8. Let z(u) = -u + u + j + u**2. Let h be z(4). Solve -6*v - h = -v + f, -v = 2*f for v.
-4
Let r = 1 + 1. Suppose 0 = -r*u - 0*u. Solve -3*l - 3*m + 12 = u, 2*l - 4*m + 2 = -m for l.
2
Let c be (28/(-8) + 4)*8. Solve x = -2*g - 7, x + c*g = g - 12 for x.
3
Suppose -2*f = -f - q - 4, 4*f = 2*q + 16. Solve -2 = 4*c + 5*s + 8, -f*c + s = 22 for c.
-5
Suppose 0 = -2*t + 5 + 1. Solve -t = -s - d, -19 - 6 = -5*s + 5*d for s.
4
Let q(o) be the second derivative of o**4/6 - 2*o**3/3 - 3*o**2/2 - 2*o. Let i be q(4). Suppose -p + 2 = -i. Solve -3*u + 4 - 19 = 5*n, -5*n - p = -4*u for u.
0
Suppose 0 = 3*u - 5*u + 8. Suppose 0 = l - u*l + 6, -p - 8 = -5*l. Suppose -p*m = 3*m. Solve m*w - 3*w - 17 = -4*g, 0 = w + 5*g - 7 for w.
-3
Let j = -70 + 71. Let o(w) = -w**2 - 8*w - 9. Let q be o(-6). Let m(l) = l + 2. Let a be m(q). Solve -6 = -4*k - 3*u, -4*k + k - j = a*u for k.
3
Let c be (4/6)/((-6)/9). Let f(j) = 180*j**2. Let a be f(c). Suppose -2*g + a = 3*g. Solve -2*t = 2*n - 10, g = 5*n - 3*t + 11 for n.
5
Let c be (10/(-2))/(2/(-10)). Suppose -5*l + 5*g = -c, 5*l = -5*g + 53 + 22. Solve l = -4*x + 2*z, -3*x + 1 - 6 = z for x.
-2
Let h(f) = f**3 - 7*f**2 + 6*f + 4. Let v be h(6). Let c be (v/2)/(-2)*-2. Solve -5*o = -4*g - 2, -4*o - c = -3*g - 2*g for o.
2
Let b = 3 - 6. Let r = b - -4. Suppose -2 - r = -m. Solve -2*u - m*v + 22 = 0, -5*u + 5*v + 2 + 3 = 0 for u.
5
Let l be (-40)/(-6) + (-5)/(-15). Solve 4*w - 13 = 2*a + l, w = a + 7 for a.
-4
Let u(d) = -d**2 + 4*d - 1. Let l be u(6). Let k = l + 23. Solve -w = n + 1 + 4, 2*w - 3*n + k = 0 for w.
-5
Let p(s) = -s + 14. Let k be p(6). Solve -2*d + d = -2*r + 13, k = -d + r for d.
-3
Suppose j - 3*y = -12, -3 - 5 = -3*j - 2*y. Suppose j = -5*i + i + 12. Solve 2*s + i = z, 3*s + 3 = -5*z - 8 for z.
-1
Let r = 13 + -7. Solve 0 = 2*j - t + 11 - 3, -5*j - 4*t + r = 0 for j.
-2
Suppose 5*l - l + 12 = 0. Let s(p) = p**3 + 2*p**2 - 4*p - 1. Let q be s(l). Solve -12 = r + 5*t, q*r = r - 4*t - 10 for r.
-2
Let p = 13 - 8. Suppose -q + 10 = -5*l, -2*l - 92 = -p*q + 2*l. Suppose 2*y = -3*y + q. Solve 0 = 2*m + m + 3, -y*m = t + 2 for t.
2
Let i(c) = -c - 6. Let j be i(-7). Let r = j + 1. Solve -2*n = 3*y + 20, -3*y + 2*n + 4 = -r*n for y.
-4
Let d(k) = -2*k**2 - 4*k + 3. Suppose 3*t - 7 = -1. Let z be d(t). Let m = -8 - z. Solve 2*n - 4*h - 8 = 6*n, -35 = 4*n - m*h for n.
-5
Suppose 3*q - 332 + 326 = 0. Let p = -1 + 3. Solve -p*h = -q*u + u + 7, -2*u - 6 = h for h.
-4
Let t be (-2)/(3/((-9)/6)). Solve 0 = i - o + t, i - 2*o = -6 for i.
4
Let i be (-2)/9 + (-20)/(-9). Suppose -i*d + 0 + 4 = 0. Solve l - 3*a - 12 = -l, 0 = a + d for l.
3
Let j(a) = 0 - 4*a - 5 - 2 + 3*a. Let g be j(-9). Solve -5*s + 3*c = 22, -5*s = 5*c - g*c + 28 for s.
-5
Let g be (-2)/5 + (-102)/(-30). Suppose f = g*f. Suppose -3 = 4*c - 19. Solve f = 5*q + 2*k - 0*k - 11, c*q - 2*k - 16 = 0 for q.
3
Let x be (2/4)/(7/70). Solve -c = 3*s + 11, 8 - 3 = x*c for s.
-4
Let s(l) = 4*l**3 + l - 1. Let i be s(1). Suppose i = j + 1. Solve 0 = -2*o + 4*m + 18, -j*o - 5*m - 23 = 5 for o.
-1
Let c be (-17)/(-7) - (-30)/(-770)*11. Suppose w - 5*q - 18 = 0, 2*q - 6 = 4*q. Let d be (w - 2) + -1 - -5. Solve 22 = d*y + i - 5, c*y = -i + 12 for y.
5
Let c(y) = -2*y + 4. Let h be c(2). Let u be h/(-3) - (-1 + -3). Solve 5*o + 35 = -u*t, 11 = -4*t + o + 2*o for t.
-5
Let d(v) = -v**3 - 3*v**2 + 2. Let q be d(-3). Suppose -1 = q*i - 5*s + 4*s, -3*i + 3 = 3*s. Solve a + 3 = 0, 17 = -i*c - 4*c - 3*a for c.
-2
Let o = 18 - 15. Solve 5*t - j - 22 - o = 0, -2*t + 2*j + 10 = 0 for t.
5
Let g be (20/(-6))/((-6)/9). Suppose 3*k + l - g = 0, -2*k + 3*k + 1 = -3*l. Suppose k*c = -c + 42. Solve 5*d - 2*z - 22 = 0, -d - 2*d + 2*z + c = 0 for d.
4
Suppose 14*b + 27 - 111 = 0. Let x be (-15)/(-9) - 1/(-3). Solve 21 = 3*r + 5*i, 0 + b = x*i for r.
2
Suppose 2*a - 2 = 2. Let d(h) = h**3 - h**2 - 2*h + 2. Let w be d(a). Suppose 3*r - 15 = -2*r. Solve r*k - 29 = z + 4*z, 22 = -4*z + w*k for z.
-4
Suppose 4*k - 87 = 17. Let u = 8 + -4. Solve -6*h + h - 4*b + k = 0, 3*b - 4 = u*h for h.
2
Suppose -8*m + 10 = -3*m. Solve 0 = m*g - 5*r - 30, 0*r = -3*g - r + 11 for g.
5
Suppose 5*n = -3*a + 24, 2*a + 3*n + 8 = 24. Let m = 8 + -5. Suppose -17*z + 16*z + 16 = 0. Solve -4*r - 2*c - z = 0, -a + 22 = m*r - 5*c for r.
-2
Suppose -i + 2*b + 18 = i, 3 = i - 3*b. Solve -3*t + 0*x - i = 3*x, -29 = 5*t - 4*x for t.
-5
Suppose -3*a = -3*o - 18, -2*a - 3*o - 5 + 2 = 0. Solve a*p - 2*k - 7 = 0, 2*p = 6*p + 5*k - 40 for p.
5
Let o = 20 - 18. Solve 2*i = -3*x - o, -x = -3*x + 4*i + 4 for x.
0
Let i be ((-54)/21 + 2)/((-4)/14). Solve i*f + 0*r - 3*r = -14, 10 = 5*r for f.
-4
Suppose -4*i + 1 = -11. Suppose 2 = -0*n + 5*n + 3*x, -4*x + 1 = 5*n. Let r be -2 - -3 - n*-5. Solve l + r = 2*h - 3*l, h - i = -l for h.
3
Let a(i) = i**3 - 13*i**2 - 13*i - 11. Let j be a(14). Solve 5*v = v + j*m - 1, 0 = 4*m + 4 for v.
-1
Let p = -81 - -85. Solve -m = 3*n + p, -4*m - 23 + 7 = -4*n for m.
-4
Let g(i) = i - 5. Let t be g(11). Let u = 9 - t. Solve 6 = -3*w - 3*z, 0*w - 2*w - u*z - 9 = 0 for w.
3
Let g be 7/(28/24)*1. Suppose -41 = -4*v + 15. Solve -2*d - 5 = -t, 4*t + d - v - g = 0 for t.
5
Suppose 20*o - 19*o = 0. Suppose o = -0*i - 4*i + 12. Solve -i*d - 9 = 3*c - 0*c, -4*d = -4*c + 28 for d.
-5
Let h = -3 + 4. Let j = 4 + h. Suppose 3*m = -i + 2, -2*m - 3 + 13 = j*i. Solve 0 = 5*c - 3*o + 7, m = -c - 2*o - 0 + 9 for c.
1
Let s(n) = 3*n + 33. Let x be s(-11). Solve -4*w + x*w = -4*z - 8, 2*z = -4*w + 2 for w.
1
Suppose -t + 5 = 4*t. Let r be (2/t)/((-8)/(-12)). Solve d + 28 = 5*h, -r*d - 4*h = -2*h - 1 for d.
-3
Suppose -f + 4*o - 23 = -2*f, 5*f - 149 = -3*o. Solve -5*c - 1 = p - f, -p + 3*c - 10 = 0 for p.
5
Let n(w) = -w**3 + w**2 + 3*w + 2. Let d be n(3). Let v be 35/(-5)*30/d. Let l = v - 12. Solve -s = 2*p + 2 + 5, 3*p - s = -l for p.
-5
Suppose -3*c = -7 + 22. Let i(d) =