+ 10, -5*t + q = -o for t.
3
Suppose -2*n - 22 = -26. Let a be n/(-2 - (2 - 5)). Solve -4*s - 7 = 3*o, -2*s = -o - a*o - 19 for o.
-5
Let c be 18/(-12)*(-2)/3. Let d(u) = -u**3 + 3*u + 2. Let n be d(-2). Let w = n + -1. Solve r = -o, -w - c = r for o.
4
Let m be (-2)/4*0/1. Suppose -8 = -17*w + 15*w. Suppose 5*r = -w*q + 3*r + 30, 0 = 4*q - 4*r. Solve 2*d + q*t = -4, 2*d + 4*t + 7 - 5 = m for d.
3
Suppose 4*f - 5 = -z, 5*f - 25 = 5*z - 0. Let k = z - -5. Let m be (-1)/k - (-19)/2. Solve -5 = s, -b - 4*s + m*s = -22 for b.
-3
Let x be 2*((-15)/(165/(-22)) - (-1 + 1)). Let k be (-7)/(-1*(-1)/(-3)). Solve -d + x*b + 21 = 0, 3*b - k = -5*d + 2*b for d.
5
Let t = 1110 - 1095. Solve 3*r = 3*d - r - t, 0 = d - 5*r - 5 for d.
5
Suppose -4*k = 0, -2*k = 4*u - 5*k - 100. Let r = 30 - u. Let s be 1*185/r - 2. Solve 0*q - 2*q + 4*f = -28, 5*q = 3*f + s for q.
4
Suppose 13*f - 65 = -0*f. Suppose -2*u - t = 4, 0 = f*u + 5*t - 2*t + 12. Solve 4*b - 4*x + 4 + u = 0, b = -2*x - 13 for b.
-5
Suppose -8*z - 52 = -4*z. Let s = z - -37. Let a = 26 - s. Solve 3*p + p + 4*g + 32 = 0, -g + 1 = -a*p for p.
-3
Let s(p) = p**3 + 4*p**2 - 5*p + 2. Let c be s(-5). Suppose -2*b - 4 = -2*h + c*b, -4*h = b + 1. Solve -3 = 5*t + 2*r - h*r, 3*t - 5*r = 23 for t.
1
Let a(g) = 7*g**2 - g. Let w be a(1). Suppose -3*x - w = -9*x. Solve 4*u - 22 = 3*k, -k - 2*u + 5 = -x for k.
-2
Suppose 2*m - 6*m = 0. Suppose y + 11 = -2*y - 4*v, -4*y - 4*v - 8 = m. Solve -5*h + 25 = 5*j, -5*h - 11 = -y*j - j for h.
1
Suppose 25 = -970*k + 975*k. Let y(m) = 2*m**2 + m - 1. Suppose 0 = 5*f - 2*f - 3. Let p be y(f). Solve -2*w + 4*w - 5*c - 4 = 0, -p*w - k*c = -4 for w.
2
Let h = 2 + 8. Suppose -23*s + 216 - 147 = 0. Solve -d = -v + 2*d - 5, s*d = -4*v + h for v.
1
Let k = 331 + -326. Let f(u) = u + 3. Let r be f(0). Let q be r/(-1) + (-54)/(-6). Solve 2*l - k*s + 9 + q = 0, -5*s + 15 = 0 for l.
0
Suppose -9*c - 16 = -13*c. Suppose 2*r + c = 2*l, -3*r + 2*l = -0*l + 2. Let k be (-8)/(-3) - (-2)/(-3). Solve 0 = -k*w + 5*f - 4, -r*f - 1 = 5*w - 20 for w.
3
Suppose 4*n + 4*g + 38 = -g, 2*n - 5*g + 4 = 0. Let v = n - -7. Let h(z) = -z**2 - z + 2. Let y be h(0). Solve 4*m - 2*m + 2*s = v, -5*s = y*m for m.
0
Suppose 0*d - 102 = -3*d. Let s = d + -26. Solve 4*i + 0*o = o - 12, 0 = -3*i + 5*o + s for i.
-4
Let m be 5 + (-40)/15 + 3/(-9). Solve -5*l + 31 = 4*k, m*l + 5*k - 23 = l for l.
3
Suppose 0 = -2*a + 4*a - 8. Suppose -i - 3*i + 3 = 3*q, 0 = -5*i + a*q + 27. Suppose -3*l + 3 = -i. Solve -v = -n - 1, n - 18 = -l*v - n for v.
5
Let u = 1282 - 1262. Solve -w - u = -4*c, 5*w + 0*c - 2*c + 28 = 0 for w.
-4
Suppose 2*r - 8 + 2 = 0. Suppose 77 - 29 = 3*v. Suppose -r*l - l = -4*x + v, 0 = -4*l + 4. Solve -m - 2*m - x*s = 17, -5*m + 4*s = 16 for m.
-4
Suppose 8*p - 983 = -967. Solve -2*n = 5*q - 24, 8*n - 16 = -p*q + 4*n for q.
4
Let q(u) = -4 + 7*u + 4 - 5*u. Let k be q(1). Suppose -5*r + 4 = z, 0 = 5*r + k*z - 4*z + 8. Solve r = 5*y + 3*x + 20 + 20, -3*y + x - 10 = 0 for y.
-5
Let z = 753 + -747. Solve 3*c - 4*i - 1 + 0 = 0, -2*c = 4*i + z for c.
-1
Let f(y) = -143 + y + 64 + 59. Let m be f(22). Solve 7 = 3*n - 4*i, -3*n = -m*n - i - 2 for n.
1
Let b = 69 + -27. Suppose 6 = 3*a - b. Solve -y - 18 = 4*p, -2*p - a = -3*y - 0*p for y.
2
Let o = 8 - 6. Suppose o*i = 3*j - i - 3, 3*j = 2*i + 5. Suppose j*r + r = 0. Solve -4 = -4*h - y - r*y, -12 = 4*h - 3*y for h.
0
Let f be (-4)/6 - (-98)/21. Suppose -f*y + 9*y + b - 25 = 0, 20 = 4*y + 3*b. Solve -3*c + 10 = y*z, 10 = c + 3*z + 2*z for c.
0
Let n = -1137 - -1143. Solve 2*j - 6*j + 4 = -4*c, 0 = -2*j - n for c.
-4
Suppose -4*b - b = 175. Let f = -35 - b. Solve 4*j - 3*j - 4*k + 17 = f, 5*j + 5*k + 10 = 0 for j.
-5
Let w = 137 + -131. Suppose -w*c = -14*c + 32. Solve c*l - 3 = t, -2*t - 2*t + 4*l = 12 for t.
-3
Let x = -252 + 257. Solve 3*s - 2*p + x = 0, -s - s = 3*p - 14 for s.
1
Let j = 2 - 2. Let r(i) = -i**2 - 6*i + 4. Let z be r(-7). Let a be (-7 + 9)/((-2)/z). Solve -2*x - 3*y + 8 = j, -a*y + y = 0 for x.
4
Let t = -572 + 578. Solve -2*o - 2*i = -2, -t*i + 4*i - 4 = 5*o for o.
-2
Let l(i) = 5*i + 5. Let d be l(-1). Let w(f) = -f**2 - 11*f + 14. Let q be w(-12). Solve q*p - 4*x + 21 = -3*p, d = 4*p - x + 19 for p.
-5
Suppose -3*z + 2*d - 6 + 46 = 0, -3*z + 30 = 3*d. Suppose 5*j + 21 = z*j. Solve -3*n = -4*t - j + 10, 4 = n + 5*t for n.
-1
Let n be -3 + -8*(-27)/72. Solve -3*y - u + 2 = n, y - 1 = -u - 3 for y.
2
Let w(p) = p**2 + 22*p + 25. Let g be w(-21). Solve -g*j + 24 = 4*c, -c = c + 4*j - 20 for c.
2
Suppose -5*i + 2*f = -434, -3*f - 6 = -0. Let a = i - 80. Let h(s) = s**3 - 3*s**2 + 2*s - 3. Let z be h(3). Solve w = -z*k + 2 + 4, k + a = -3*w for k.
3
Suppose 0 = -5*h - 4104 + 784. Let y be h/(-24) + (-2)/(-6). Solve 5*z + 5*n + 0 = -10, 5*z - n + y = 0 for z.
-5
Suppose -7*f - 36 = -10*f. Let j be 3/f + 27/(-12). Let c be 17 - 1*(j - -4). Solve 0 = 5*u - 3*i - 9, -2*u = -0*u + 5*i + c for u.
0
Suppose -5*u = 4*b - 25, 0 = 5*b - 10*b - 5*u + 25. Suppose -i = -b*i. Solve -5*v + 2*a = -20, -4*v + i*a - 2*a + 16 = 0 for v.
4
Suppose -z - 3*z + 12 = 0. Let v(q) = -4*q**3 - 5*q + z*q**3 + 5 + q - 6*q**2. Let d be v(-5). Solve -4*a + 10 = 2*k, d = 2*k - 5 - 1 for a.
1
Suppose -18*b + 34 = -b. Solve -5*q + 11 = 2*p, 5*q = -p - b*p + 14 for q.
1
Suppose -4*s + i = -0*s - 9, -5*i - 26 = -s. Let k = s - 1. Suppose -5*l + 160 = 5*y, -4*y + 2 - 6 = 0. Solve -4*r + 5*g = -l, -5*r - 3*g + 8*g + 35 = k for r.
2
Suppose -219 = -10*y - 9. Solve -4*h + 0*s - 5*s = 27, -5*h - 2*s - y = 0 for h.
-3
Suppose 3*f + 3*f - 24 = 0. Suppose -3*u + 72 = f*y, u = -6 + 2. Let g = y + -11. Solve -5*i + v + 13 = 4, -2*v = -2*i + g for i.
1
Let n be 5 + (2 - (5 + -2)). Let t = -3 - -7. Suppose -t*c + n + 4 = 0. Solve 4*l + 4*x - 26 = -l, -5*l + 3*x - c = 0 for l.
2
Suppose -3*f - 621 = -30*f. Solve -5*t - 3*r = f, 4*t = -16*r + 20*r - 12 for t.
-4
Let f be 0 - 0/(-2) - -5. Suppose -f*t + 9 = -11. Solve 3*o + 3 = -5*g, -2*o = g + 3*g + t for g.
-3
Let m = -3 - -2. Let n = -4 - m. Let j be 27 - -1*12/n. Solve 2*o - 14 = -4*w, 4*w = -4*o + w + j for o.
5
Let q be ((-126)/35)/((-1)/(-5)). Let c be (-86)/q - 16/(-72). Suppose 20 = -t + 6*t. Solve -2 = 2*y, -y - t*y - 5 = -c*j for j.
0
Let g(f) = -f**3 + 51*f**2 - 52*f + 104. Let s be g(50). Solve 5 = 5*y + 2*n - 0*n, -y = n - s for y.
-1
Let g = 384 + -374. Solve -3*h + 2*h = -2*r + 7, 0 = 2*h + 2*r - g for h.
1
Let f(g) = g**2 - 3*g + 1. Let v be f(4). Suppose -3*n + 12*n = -198. Let c = 24 + n. Solve -v*h + 13 = -c*q, -h = -3*h + 2*q + 10 for h.
1
Let p(j) = -2*j - 38. Let o(w) = 22*w**3 + w**2 - w - 1. Let z be o(-1). Let q be p(z). Solve -q*h - 5*n = -5*h - 3, -h - 3 = n for h.
-3
Let y(i) = -6*i - 2. Let h be y(1). Let b(w) = w**3 + 7*w**2 - 9*w - 6. Let c be b(h). Let a be 3 + -2 - (c + -4). Solve -6*m + f = -4*m, -7 = a*m - 5*f for m.
1
Let h = -4 - -5. Let f be -3*(1 - 0) + 3. Let j be -2 - f - -5 - h. Solve r = -2*g - 0 + 5, 2*g - 6 = -j*r for g.
2
Suppose 5*i + 2*s = 10, i + 3*s - 34 = -19. Solve -2*r = 3*z - 0*z + 1, -5*r - z - 22 = i for r.
-5
Suppose -3*a + 0 = 3. Let g be (a - (2 - 11)) + -3. Suppose 2*h = g + 3. Solve -4*s + 3*p - h = 0, s + 3*p = -2*s - 3 for s.
-1
Let i(y) be the first derivative of 3*y**2/2 - 7*y - 19. Let g be i(3). Solve -4*f - 20 = 0, -2*v - g*f - 6 - 4 = 0 for v.
0
Let t = -2 - 1. Let f be t - (0 + -8) - 2. Solve 0 = -5*a + v - 21, -2*a + 3*v + 5 = f for a.
-5
Let n(v) = v**2 + 14*v - 23. Let j be n(-16). Suppose 0 = 2*q + s - 6*s, 3*s + j = 3*q. Solve 4*l - 3*y = l, 3*l - 2 = q*y for l.
-1
Let b = -197 - -200. Solve a - b*m = 9 - 29, -m = -4*a - 25 for a.
-5
Let t = -17 - -20. Suppose -t = -f + 11. Let w(c) = 3*c + 1. Let b be w(2). Solve k + 4 - f = 3*u, k = 2*u + b for k.
1
Let j = -87 + 90. Solve 11 = 4*c + h, -2*c + 1 - 8 = j*h for c.
4
Suppose 0 = -11*n + 1124 - 1091. Solve -3 = -3*v + n*m, -1 + 3 = 5*v - 2*m for v.
0
Suppose 4*m + 48 = -2*t + 52, -3*t - 5*m = -6. Solve q = -3*c - 6, -c - t*q - 5 = -2*c for c.
-1
Let n(i) = i**2 - 2*i - 31. Let b be n(-5). Solve -2*u = 4*m + 3*u - 29, -b*u = -5*m - 15 for m.
1
Let c(r) = 2*r - 5*r - 2 - 2*r + 4*r. Let l be c(-5). Let x = 306 + -275. Solve 0 = -5*j + 3*g + x, j = l*g + 2*g + 15 for j.
5
Suppose 0 = 5*q - 4*d - 76, -5*q - 2*d = -17 - 65. Sup