l - 2, p*l = g + 2 for l.
1
Suppose -2*o = -o - 5*k - 19, 5*k = -15. Solve 4*c = 3*j + 22, 5*c = 4*c + o for j.
-2
Let a be 4/3*(-12)/(-4). Solve 5*y - 2*q = 2*q - 2, -q - a = y for y.
-2
Suppose d = -0*h + 2*h - 4, 8 = 4*h + 5*d. Solve -2*w = -3*y + 4, w = 3*y - 1 + h for w.
-5
Let w be (-2)/7 - (-33)/(-7). Let h be 9/15 + (-27)/w. Let q = h - 3. Solve -3*c = 5*a - 1, -5*a = -2*c + q + 6 for a.
-1
Let w be 5 + (4/(-2))/2. Let o be 6/4*12/9. Solve -o*m + 1 = -w*p + 15, 0 = 5*m - p + 17 for m.
-3
Suppose -7 - 3 = -v. Suppose -5*o + 0 = -v. Solve -4*g = -o*j + 2 - 0, 5*g - 4 = -4*j for j.
1
Let c(v) = 5*v - 1. Let w be c(1). Suppose -4*r + 0 = -4*i + 12, 2*i - 2 = w*r. Solve 4*s = 3*s - 4*n - 14, i*s = n + 14 for s.
2
Let n = -14 + 29. Suppose z + 2*z = n. Let m = 10 + -6. Solve z*k = 3*p + 3*k - 4, m*p - 10 = -2*k for p.
2
Suppose 3*o + 2*v = 24, 0*o = 4*o - 2*v - 46. Solve s = -2*r - 1 + o, 5*r - 2*s - 27 = 0 for r.
5
Suppose 0 = -4*i - 33 + 121. Solve -4*m - 2*o = -i, 2*m - 5*o = m for m.
5
Suppose 2 = 4*p - 6. Let m = 1 - 1. Suppose m = 3*b + 7 - 4, 5*a + 5*b = 10. Solve -p*g - a = 3*i - 2*i, -5*i + 24 = -3*g for i.
3
Let a be (-2)/(-3) + (-472)/(-12). Suppose 2*k = -3*k + a. Let t = k - 0. Solve v = h + 5, -17 = -4*h - 5*v + t for h.
0
Let j be (0 + -1)*-3 - -5. Solve -j*f + 4*f - 4*d + 32 = 0, 3*d = 15 for f.
3
Suppose 22 = 3*b + 7. Suppose 0 = -61*f + 71*f - 20. Solve -f*j - m + b = 0, -j + 6*j - m = 30 for j.
5
Let g be (-68)/(-5) + (-24)/(-60). Solve -5*y - 7 = s, 0*s - 2*s + g = -4*y for s.
3
Suppose 0 = f - 2 - 0. Let c(z) = 3*z - 1. Let h be c(f). Solve h*j = -25, -j + 45 = -4*l - 6*j for l.
-5
Let t(b) = b**3 - 4*b**2 + 3*b + 2. Let a be t(3). Let x be (-2)/(a + 15/(-9)). Let y = 10 + x. Solve -19 = -y*i - s - 2, 4 = -i - 3*s for i.
5
Let g be ((-18)/(-15))/((-4)/40*-4). Solve -2*l = g*n - 15 + 1, 5*n + 4*l - 26 = 0 for n.
2
Let j = 2 + 4. Suppose -v - v = -j. Suppose 4*u = v*u + 3. Solve 0 = 2*d - 8, -u*d = -4*l + d - 4 for l.
3
Let s(q) = 2*q + 19. Let w be s(-8). Solve 0 = -r - 5*b + 23, 3*r - 1 - w = -2*b for r.
-2
Let x = -11 + 16. Suppose 5 = x*u - 105. Suppose 0 = -2*b + 4*y - 6, u = 2*b - 0*y + 3*y. Solve -f - 5 = -b*n, -2*f + n + 2 = -6 for f.
5
Let t = -4 - -9. Let j be (-2)/5 + 12/5. Solve -2*d - 2*o = -6*o + 12, -t*d + j*o = -2 for d.
2
Let n(w) = -w**2 + 2*w + 6. Let d be n(0). Solve -d = -2*r + 4*y, -2 + 0 = -2*y for r.
5
Suppose 0 = 4*j + 3*a + 53, -a + 2 = 5. Let n = 13 + j. Let b = -4 - -8. Solve -b*w = -2*x - 6, x = -n*w + w - 3 for x.
-3
Let u = -10 + 10. Let y = 3 - u. Solve 3*g + 7 = i + 4*i, -17 = 5*g - y*i for g.
-4
Let v be (9 + -4)/(1/1). Solve -5 = v*j - 3*a, 2*j + 3*a + 23 = -0*a for j.
-4
Let j = -8 - -10. Solve t + 0*c = -2*c + 14, -4*t + j*c = -6 for t.
4
Let g(t) = t**3 - 3*t**2 - 2*t - 4. Let p be g(4). Let x(f) = -2*f - 9. Let q = -13 - -4. Let n be x(q). Solve -j + 15 = -0*j - p*w, -2*j = 5*w + n for j.
3
Suppose -4*q = -5*q + 3*j + 6, 10 = 5*q + 5*j. Solve 2*b + 5*w = q*w + 8, 0 = w + 1 for b.
5
Suppose -7*d + 8*d - 17 = 0. Let i be ((-2)/(-4))/(2/36). Let o = 13 - i. Solve 5*c + 23 = o*b, b - d = 3*c - 6 for c.
-3
Suppose -2*g = -10 - 12. Solve -2*x + 3*x + 4*q + g = 0, 3*q + 12 = -2*x for x.
-3
Suppose 3*d - 4*a + 3 = 0, -2*a - 3 + 9 = 0. Solve d*c = 2*o - 3 + 14, 1 = c for o.
-4
Let b(a) = -a**2 - 5*a - 3. Suppose k + 13 = -4*o, -3*o + k - 5*k - 13 = 0. Let j be b(o). Let l = j - 3. Solve -5*x - 20 = 5*z, l*x = 4*z - 3*x - 12 for z.
0
Let g(n) = -n + 1. Suppose -3*f + 12 = -0*f, -4*o + 2*f = 20. Let k be g(o). Suppose -3*i + 78 = -6. Solve c - i = -5*s, -k = -0*c - 3*c + s for c.
3
Let y be -2 + 2 + 7 + -1. Suppose 2*q = -r + 2*r, 0 = -r - q + y. Solve 4*o - 4*t = -0*o + 24, -r*o - t + 14 = 0 for o.
4
Suppose -5*m + 148 - 13 = 0. Solve -2*q - 5*p + m = 0, 8 = 3*q + 2*p - p for q.
1
Suppose l + h - 5 = -2*h, 3*h = -4*l + 11. Let r(k) = k**2 - 2*k + 2. Let c be r(l). Solve -2*b - c*b - 4*z = 8, b = -2*z - 5 for b.
1
Let t be 26/8 - 1/4. Solve -1 = -2*m - 7, -t*m = z + 4 for z.
5
Suppose -5*a = -6*a + 4*a. Solve a = l + 1, -4*c + 2*l + 0*l + 22 = 0 for c.
5
Let m be 2/(-2)*(0 + -3). Solve -4*i + 0 = 4*l - 4, 15 = m*l - i for l.
4
Let f(d) = 2*d + 2. Let y be f(1). Suppose -y*h - 2*h = -30. Solve 2*m + m + h*c + 31 = 0, -4*c - 10 = -5*m for m.
-2
Let l = -51 + 51. Solve -4 = -2*a, 4*s + 0*s + 2*a - 24 = l for s.
5
Suppose 2*o - 5 = 25. Solve 2*h + w + 15 = -3*h, -3*w = o for h.
-2
Let z = -52 + 57. Solve -2 + 27 = -z*l + 4*s, 3*s - 5 = l for l.
-5
Let y be 2/(-11) + ((-48)/44)/(-6). Solve 2*u - 5*k = -5, y = u - 4*k - 2 + 6 for u.
0
Suppose 7 = 5*z + 2. Solve z = k - 5*a - 19, 3*k + 40 = -5*a for k.
-5
Suppose 0*w = -w. Let n be (w + -1)/1 - -13. Suppose -23 + 8 = -5*r. Solve -m + 0*h - 8 = 2*h, n = r*m - 3*h for m.
0
Let q be (4/(-2))/(30/(-75)). Solve -4*r - 17 = q*v, 3*r - 4*v - v - 31 = 0 for r.
2
Let i = 15 - 10. Suppose 2*w - w + z = 3, 3*z - 9 = i*w. Solve w = 5*n - 25, -22 = -2*t - 5*n - 5 for t.
-4
Suppose 0 = 8*f + 25 - 25. Solve 3*i - 2*z - 12 = f, -2*i + 4 = -i - 2*z for i.
4
Let u(i) = -2 - 3*i**2 + 3 + 23*i**2 - 3*i + 2*i. Let t be u(1). Solve 12 = 4*r - 0*r + 5*l, 5*l - t = 0 for r.
-2
Suppose i = 5, w + 4*i = 2*i + 13. Solve 4*c - 18 = o, w*o + 2*o = 5*c - 15 for c.
5
Let z(q) = -q**2 - 7*q - 5. Let s be z(-5). Let r = 0 + s. Solve -2*b = -5*c - 18 - 17, 5*b = -4*c + r for b.
5
Suppose -2*g + 0*g + 4 = 0. Let t be (-3 + -9)/(1 - g). Solve -4*u + 4 + t = 0, 2*u = -2*i - 2 for i.
-5
Let n = 147 + -143. Solve -40 = n*h - 9*h + 3*a, h = 4*a + 25 for h.
5
Let q be (-2 + 0)/(-1) - 0. Suppose 3*t + 5*u + 11 + 5 = 0, -4*t + 2 = q*u. Suppose -s = j, 0 = t*j - 6*s + s. Solve -x = -5*f + 11, 0 = -4*x - 2*f - j*f for x.
-1
Suppose -5*k - 35 = -3*c, -3*c + 2*k - 4*k = -7. Solve -2*z = -4*t - 6*z + 4, -c*t + 5*z + 15 = 0 for t.
2
Let h be ((-10)/25)/(1 - (-12)/(-10)). Solve 2*m + h*i = -0*m - 14, -1 = -2*m + i for m.
-2
Suppose -3*m + 5*u = -6*m - 20, 16 = -3*m - 4*u. Let h be (-3)/(m + 1 + -2). Let g = h - -2. Solve -5*s - 5*q + 5 = -0*s, -4*q + 2 = g*s for s.
-2
Let l be 6/21 - (-26)/7. Suppose -2*y - 2 = -8. Let z be y/12 - (-7)/4. Solve -i = z*o - 13, l*i = 2*o + 3*o - 13 for o.
5
Let x = -15 + 22. Suppose 0 = 5*l - 8 + 3. Solve 2*c = c - k + l, -5*k = -c + x for c.
2
Suppose 0*b - 5*p + 35 = 3*b, -b + 3*p = -21. Let q(j) = -j + 2*j - 3*j. Let m be q(-2). Solve -2*l - 3*a + b = 0, 4*a - 27 = -m*l - a for l.
3
Let u(m) = m**3 + 5*m**2 + 3*m - 2. Let n be -4 + -1 + 2 + -1. Let v be u(n). Solve -27 = -3*y - 5*i, -4*y - v*i + 18 + 4 = 0 for y.
4
Suppose -5*k - 6 - 3 = -p, 4*p - 4*k - 4 = 0. Let c be 2/p - (-3 - -1). Solve c*z - 3*z + 3*x - 18 = 0, -z + 2*x = 7 for z.
-5
Suppose 8 + 1 = g. Let b = g - 4. Let h be (-279)/(-21) - 2/7. Solve -4*k = -5*a + 15, a = -b*k - 39 + h for k.
-5
Suppose c + 1 + 6 = 2*q, -4*q - 2*c = -10. Suppose 2*g - 35 = -q*z, -8*z + 10 = g - 4*z. Solve b = -3*b + 2*n - g, -22 = 5*b + 3*n for b.
-5
Suppose 0*t = -2*t. Suppose 8 = -4*a + x + 26, 3*a + x - 10 = t. Suppose 2*n + 3 = 3*n + c, 9 = -5*n + 3*c. Solve -2*l - k + 3*k - 6 = n, a*k = 5*l + 12 for l.
0
Suppose -4*h - 13 = 7. Let l = h + 10. Suppose -u = -0*u - 2. Solve -u*y = 3*z, -l*y - 5*z = -3*z for y.
0
Suppose -5*t + 31 = 4*u, -1 + 0 = -3*t + 2*u. Solve -q - 4*q = 2*r - 25, 0 = -t*r + 15 for q.
3
Let z = 7 + -5. Let k(g) = -5*g - 17. Let p be k(-6). Solve w - 4*t = -p, 4*t + 0*t = -2*w - z for w.
-5
Let q(f) = f**2 - 3*f - 8. Let h be q(5). Solve 4*l - l + 24 = 4*a, -2*a - h*l - 2 = 0 for a.
3
Suppose -4*s - 2 = 110. Let l = -7 - s. Let i = 3 + 1. Solve -2*c + 0*c - 26 = -4*w, -c - l = -i*w for w.
4
Suppose c + 7*c = 64. Solve 0 = -3*w + 2*s - c + 1, -10 = 2*w - 4*s for w.
-1
Let d = -2 + 2. Suppose 10 = -d*x + 2*x. Solve x*l - 4*g = -0*g + 30, -3*l - 14 = 4*g for l.
2
Let s = 63 + -41. Suppose -s + 4 = -3*o. Solve -2*c + 20 = 4*m, -m - 5*c = -o*m + 10 for m.
4
Suppose 2*f - 76 = -2*n, -77 = -5*f + 5*n + 83. Solve f = -4*i + 3*y, 10 = -i + 4*i + 5*y for i.
-5
Let x = 15 + -15. Solve -3*v - s + 17 = x, 2*s = -5*v - 3*s + 45 for v.
4
Let b(o) = -14*o**3 + 1. Let j be b(-1). Solve 3*x = -5*h + j, 0 = -x + 3*x - 2*h + 6 for x.
0
Let i(c) = c**3 - 6*c**2 + 8*c + 4. Let k be i(4). Solve -3*u = k*a + 20, -2*a - 2 = -