3*u - 4*o + 8 = 0, -3*u - o + a = 4*o for u.
0
Let v = 664 + -659. Solve -u - 3*u + v*p = 1, -7 = -4*u - 3*p for u.
1
Let j(v) = v - 7. Let n be j(11). Suppose -3*q = n*l - 24 - 1, -5*q - 5*l = -35. Solve 15 = -4*w - q*p, -3*w - 3 - 2 = p for w.
0
Let h be -2 - (-1 - (-4 - -7)). Suppose -10 = h*l - 0*l, 0 = -5*v - 4*l - 5. Solve -4*q - q - 3*p = 16, 4*p = -v*q - 3 for q.
-5
Suppose -z = -6*z + 20. Suppose -z*c = -2*c. Suppose c = 3*h + 6 - 24. Solve 0 = -5*y - 4*i + h, 2*i + 7 = -5*y + 15 for y.
2
Let c be (-15)/(3/(-2)*1). Let k = 13 - c. Solve 2*y + k*s + 1 = 2, -15 = -5*s for y.
-4
Let o be (-2)/(-5)*(-4950)/(-180). Let l be 17/5 + (-18)/(-30). Solve 3*i + o = -2*j, l*i + 7 = -j - 11 for i.
-5
Let j = -30 + 50. Let b be (4/5)/(4/j). Let y(l) = l**3 - 3*l**2 - 29*l + 23. Let h be y(7). Solve -4*c + 2*c = -2*a + 2, -a = -b*c - h for a.
-4
Suppose 12*i + 2737 - 3001 = 0. Solve -5*b + 4*j - 10 = i, 0 = -3*j + 9 for b.
-4
Let y = 0 - 0. Let z be (-6)/((-5)/(-5) - 3). Suppose -q + 0*q + z*n = -21, -5*q + n = -35. Solve y = -5*o + x + 6, -o + 3*x - 4*x = -q for o.
2
Let y be -2 + -4 - (-16 - 4). Solve -1 = i + 5*q, 4*i + 3*q = q + y for i.
4
Let z = -54 + 62. Suppose 5*w - 17 = z. Solve 10 = -2*q, -s = 6*q - 4*q + w for s.
5
Suppose 25 = 2*d - 5*h, -3*d + d - h + 7 = 0. Solve -3*t + 3 - d = 4*l, 5*t - 5*l - 20 = 0 for t.
2
Let u(m) = -19*m + 14. Let x be u(-4). Let a = x + -81. Solve -4*j - 7 = -4*o + a, 0 = 3*j + 4*o + 5 for j.
-3
Let c = 375 - 375. Solve c = 4*h + 3*v, -2*v - 3 = 3*h + v for h.
3
Let z = -341 - -353. Solve 4*y = 3*x + 17, x - 3*y = -2*x - z for x.
1
Let i be 30/18*1*(-24)/(-10). Solve 2*m - 20 = -i*q + m, -2*m + 28 = 5*q for q.
4
Suppose -1 - 9 = -q. Let s be 8/q - 276/(-30). Let z = s - 8. Solve -t = l + 3 - 2, 0 = t + z*l for t.
-2
Suppose -5*f + 34 = 3*s, -5*s + 2*s = 2*f - 19. Solve -20 = 4*o - 3*p, 0 = -16*o + 15*o + 2*p - f for o.
-5
Let l be 129/172*(-40)/(-6). Solve 2*y + l*o + 13 = 0, -3*y - 2*y + 5*o = 15 for y.
-4
Let q = -1332 + 1341. Suppose 4*k + 2*s = 14 + 2, 20 = 2*k + 4*s. Solve -2*j + j = k*w - q, -3*w - j + 13 = 0 for w.
4
Suppose 27 = 5*x + 207. Let y = 39 + x. Solve 0*z - 3*t = z + 7, 0 = -3*z + y*t - 9 for z.
-4
Let p(k) = -2*k**3 - k**2 + 5*k - 1. Let b be p(2). Let x(z) = -z**3 - 12*z**2 - 10*z + 14. Let o be x(b). Solve n - q = q - 3, -4*n = o*q + 12 for n.
-3
Suppose -6*k + 33 - 3 = 0. Solve -2*x + 8 = -2*f + 2*x, k*x - 10 = 3*f for f.
0
Let j = -280 - -285. Solve -4*p - p = -5*o + j, 0 = -p + 2*o - 3 for p.
1
Let p(d) = d - 4. Let n be p(4). Suppose 14*q = -q. Let w = -8 + 13. Solve 4*f + 2 = w*b - q, n = -f + b - 1 for f.
-3
Let g be ((-2)/5)/((-8)/40). Solve -g*f + b = f + 8, 4*f + 6 = -b for f.
-2
Let w(n) = -n**2 - 3*n + 11. Let x be w(-4). Solve x = 5*p + 2, -2*p - 3 = q for q.
-5
Let u = 34 - 31. Suppose -3*i - f = u*f + 52, 3*f + 34 = -2*i. Let a = -17 - i. Solve -4*n = 5*p + 20, -5*p - 20 = -a*n - 0*n for n.
0
Let x be 2*(3 + 6/(-4)). Let s be ((-4)/(-20))/(x/15). Solve 4*b + s = 2*b + 3*j, -4 = -4*j for b.
1
Let f be (-1898)/(-130) + (-4)/(-10). Solve 3*l + f + 6 = 3*g, 3*l + 2*g = -6 for l.
-4
Let m be (56/7 + 11)/1. Solve 5*v = -3*s - 34, 8*v + 3*s + m = 6*v for v.
-5
Let w = -146 + 148. Solve f + w*z = 3*z - 7, 0 = -3*f - 5*z + 3 for f.
-4
Suppose -4*j = -5*x - 7, -3*j + 93*x = 92*x - 19. Solve -t + 0*t + k = -j, -20 = -5*t + k for t.
3
Suppose d = -0*d + 4. Let o be (43/129)/((-2)/(-18)). Solve -o*p + 12 = 5*h - 1, -h = 2*p - d for p.
1
Let s(y) = -y**2 - 11*y + 63. Let u be s(-15). Solve 6*d = 2*d + u*r - 4, -3*r = -3*d for d.
-4
Let u = -326 + 328. Solve -5*t = r - 2, 0*r = -u*r + 5*t + 4 for r.
2
Let j = -21 + 24. Suppose -5*w - 2*p = -95, -2*w + 23 = -5*p - 44. Suppose w = 3*z - 3. Solve -s + z = -3*q, q + q = 3*s - j for s.
-1
Suppose -5*u = 2*a - 3*a - 22, 5*u = -2*a + 16. Solve -y = 2*y + 3*d + 6, -y - 14 = u*d for y.
2
Let h be (-7)/(-5) + 1 - 4/10. Suppose 4*m + 12 = -h*d, 3*m = 3*d + 5*m + 6. Solve d = -3*z - 12, 0 = -p - 3*z - 2 - 7 for p.
3
Suppose 0 = -11*q + 16*q. Solve q = 3*x + 3*w, -4*x = -3*x + 5*w for x.
0
Suppose -5*z - 17 = -0*z - 3*n, z - 3*n = -13. Let q(u) = 15*u - 1. Let i be q(z). Let m = 56 + i. Solve 4*f = 3*g - m + 15, g + 5 = -2*f for g.
3
Suppose -4*v + 6*v = 10. Solve 4 = -4*k, v*t + 0 + 5 = -5*k for t.
0
Suppose 577*v + 4*n = 578*v + 3, 5*v = -2*n + 29. Solve -4*y - 9 = v*u, 2*u + 7 = -2*y + 3 for u.
-1
Suppose -1053 + 1008 = -5*f. Let u = -12 + 24. Suppose -r + f = -4*r, -j + u = -4*r. Solve -a + 18 = -j*a - 5*y, -5*a + 2 = -3*y for a.
-2
Let y be 5 + (-13)/(91/35). Solve -2*g - 2*m + 4 = y, 3 + 9 = -4*m for g.
5
Suppose 3*g - 1 - 8 = 0. Solve 3 = -g*q + 2*w, 2*w - 6 - 2 = -2*q for q.
1
Suppose -6*c + 16 = -8. Solve 5*r + f = 12, 0 = -9*r + 4*r + 3*f + c for r.
2
Let d be (-5)/((-60)/18)*8/(-3). Let y(x) = -2*x**2 - 11*x - 8. Let v be y(d). Solve 8*q + 20 = v*q + p, -5*p = -3*q - 15 for q.
-5
Suppose -8 = l + 4*p, -85*l - p = -82*l - 9. Solve -l*i + 5 = -f, -4*i - 4 + 0 = -4*f for f.
3
Let f be (26/4 - 0)/(58/348). Let h = f - 33. Let a(r) = -3*r**3 - r - 1. Let k be a(-1). Solve h*u + k*w = 4*u - 11, 5*w + 9 = -u for u.
-4
Suppose 0 = 3*l + 5*h - 49, -4*h = 4*l + h - 57. Let s be 3 + (-26)/l - (-17)/4. Suppose 16 = -n + 5*n. Solve 14 = -2*q - n*k, 22 = -s*k + 2 for q.
3
Suppose 2 = 6*r + 8. Let u(o) = -4*o**3 + 2*o**2 - 2. Let x be u(r). Solve -y - 21 = 5*n, 0*y + 2*n + 26 = x*y for y.
4
Suppose -j = 5*j - 4*j. Suppose w + j*w - 4 = 0. Solve 0 = -4*n + w*b + 4, 2*n + 39 - 11 = -4*b for n.
-4
Let w(j) = -j**2 - 7*j + 29. Let m be w(-10). Let r be (m - 21/(-24))/(5/(-40)). Solve 4*h - 3*v = -5 + r, -3*v = 0 for h.
-1
Suppose -9107 = -2*h - 3*h + 4*t, h - 1816 = -t. Let r be h/(-51) - (-2)/(-6). Let q = r - -38. Solve 5*x - q = 3*x - c, -3*x + 2*c + 17 = 0 for x.
3
Suppose 65 = 4*p + 5. Suppose 15*v - 18*v + p = 0. Solve -3*t = v*g - 11, -3*g + 13 = -2*t - 5 for t.
-3
Let u(n) = -23*n - 19. Let i be u(-1). Solve m - 19 = 2*q + 2*q, i*q + 5*m + 25 = 0 for q.
-5
Let y(p) = 0*p**2 + 5*p**2 + 0 - 4*p - 8 - 4*p**2. Let b be y(6). Solve 6*x = 2*x + 2*z - 4, 4*x + b = -4*z for x.
-1
Let y(a) = -a + 14. Let d be y(9). Let x = 11 - 9. Suppose p - 9 = -4*s, 2*s = x*p - 0 + 12. Solve -4*g + 6 = s*z - 0*g, 3*g = -2*z + d for z.
-2
Let q be -5 + 17 - (-3 - 1). Solve p - q = 4*j, 2*j - p = -j - 13 for j.
-3
Let t = -31 + 31. Suppose 4 = 2*g + 5*o - 1, 5*g + 5*o - 20 = t. Solve -2*v + 10 = -j, v = -0*v + g*j + 23 for v.
3
Let w(d) = -d**3 - 7*d**2 + 5*d - 24. Let b be w(-8). Solve b = 2*y + 3*t + 2*t + 15, -2*t = 3*y - 5 for y.
5
Suppose h = -5*x + 26, -4*x - 3*h - 12 + 35 = 0. Solve 5*j - v = 4*v, 2*v + x = j for j.
-5
Let w be 1/(-2) - 1/(-2). Suppose 0 = -4*v + 5*u + 7, 2*v + 0*v + 5*u - 11 = 0. Solve w = 3*b + v*i - 3, 0*i - 2*i + 17 = 5*b for b.
5
Let s = 11 + -9. Suppose 7*b - 25 = 2*b - 3*c, 10 = -s*c. Let i = b - 3. Solve 0 = -5*u + n - i, 0 = 4*u - 2*u + 5*n - 25 for u.
0
Let b(r) = r**2 + 9*r - 14. Let q be b(-10). Let x(k) = -3*k - 4. Let g be x(q). Solve y + v = -2, 0*y = y + 3*v + g for y.
1
Let w = -474 + 476. Solve 20 = -4*p + 2*a, -w*a + 16 = 12 for p.
-4
Let s(w) = -w**2 - w + 5. Let z be s(0). Suppose -3*x + z = -1. Suppose 7*t = 5*t - 4*i + 20, -4*t + 64 = -4*i. Solve 4*c - t = p - x, -p - 14 = -5*c for c.
2
Suppose 3 = -3*f + 15. Suppose i + 2 = -s, f*i + s + s = -8. Let k be (-3)/i*(-8)/(-6). Solve 5*u = -2*w + 18, 22 = 5*w + 2*u - k for w.
4
Let s = 1 - -3. Let z = 7 - s. Suppose 3*r + 0*c = 3*c + 21, -2*c = 4*r - 4. Solve r*a - 7*a + 3*t - 17 = 0, -13 = 2*a + z*t for a.
-5
Let c(n) = 5*n**3 - n. Let d be c(1). Let g(r) = 5*r. Let t be g(2). Let l(j) = -j + 15. Let p be l(t). Solve -d*v - a + 5 = 0, 0 = -v + 2*v + p*a - 6 for v.
1
Suppose -3*a + 1 + 8 = 0. Suppose 0 = -7*t + 9*t - y - 14, 0 = -2*t - 8*y - 40. Solve -l = -a*g - 13, -3*g = t*l + 2*g + 16 for l.
1
Suppose -129 = -41*k - 6. Solve -2*y + 2 = -k*i + 25, -12 = -4*i - 2*y for i.
5
Let a(g) = -4*g**2 - 66*g - 32. Let n be a(-16). Solve -v + 2 + 0 = 0, d + 5*v - 12 = n for d.
2
Let j = 23 - 29. Let u(a) = -2*a**3 - 11*a**2 + 7*a + 7. Let x be u(j). Solve -2*v = -2*s - s - x, 3*s + 5 = v for s.
-3
Let l be 2*915/(-35) + (-4)/(-14). Let a = 87 + l. Solve -a = 5*p + 5*y, 0 = -5*p + p + 3*y - 