 - 4. Let s be z(-3). Suppose 12 - 2 = 4*h - s*l, 4*h - 3 = -5*l. Solve 3 = -h*d - 1 for d.
-2
Suppose 0 = 3*r + m + 2*m - 3, 0 = r - 5*m - 7. Solve -r*h = -6*h - 4 for h.
-1
Suppose 8*x - 15 = 5*x. Let r(q) = q - 1. Let k be r(x). Solve -2*v - 4 = k for v.
-4
Suppose 0 = 11*m - 28 - 93. Solve -8*n = -m*n for n.
0
Suppose -12 = 2*a - 28. Solve 2*d + a = -2 for d.
-5
Let c be (-6)/21 - 4/(-14). Suppose -4*o - 2*i + 26 = 0, -11 + 40 = o - 4*i. Suppose c = 5*r - q - 50, -4*r - q + o = -31. Solve t + 5 - r = 0 for t.
5
Suppose -4 = -0*c - c - 2*h, 0 = -4*c + 5*h - 23. Let n be (1 - 13)*c/6. Solve i - 6 + n = 0 for i.
2
Let k be (6 - 3) + (-8)/2. Let n be 4 - (k - (-1 - -2)). Solve n = -c + 4*c for c.
2
Suppose -x = 4*x - 10. Let u(d) = 0*d + d**3 + d - 5*d + 3. Let q be u(x). Solve -k = -2*k - q for k.
-3
Let h(p) = 2*p**3 + 9*p**2 - 6*p + 5. Let m be h(-5). Solve n + 4*n + m = 0 for n.
-2
Let a = 0 + -9. Let k = a - -10. Solve 1 + k = -2*m for m.
-1
Suppose 4*r - q - 79 = 0, r = 3*r + 3*q - 43. Suppose -3*f + 4*f = 5*l - 3, -7 = -5*l - f. Let o be (-6)/(l*-2) - 1. Solve -o*v - r = 3*v for v.
-4
Let p be -30*(2 - -1)/6. Let s = 31 + p. Solve -4*y - s = -0*y for y.
-4
Let f(s) = 4*s - 10. Let o be f(3). Solve -k + 3 = o for k.
1
Let q be ((-24)/(-5))/((-1)/(-5)). Suppose -5*p + 4 = 3*c - 4, -3*c = -3*p - q. Solve -s + 3 = c for s.
-3
Let n = -8 - -13. Let d = 0 + 3. Let r(p) = p**2 - 2*p - 3. Let u be r(d). Solve -2*a + n*a + 3 = u for a.
-1
Let h(j) = -j**2 + 5*j + 6. Let k be h(5). Let r be 0 - (2 - k/3). Solve r = -0*x + x for x.
0
Let g(v) = -4*v - 2. Suppose -d = 3*d + 20. Let w be g(d). Suppose -w = -2*t - t. Solve -t*a + 3*a = 12 for a.
-4
Let g = 29 - 24. Solve 12 = -g*c - 3 for c.
-3
Suppose -w + 4 + 2 = 0. Suppose 3*f - 5*c = 31, 0 = 4*f - 4*c - 16 - 12. Let a(q) = -q + 13. Let j be a(9). Solve j*p + w = f*p for p.
-3
Let j be (-10)/(-2) + (-10 - -10). Solve -13 = j*p - 3 for p.
-2
Suppose -5*f - 13 = 17. Let d be 4/6 + (-8)/f. Let a be (3/(-1) - -1)/(-1). Solve 2*x = a + d for x.
2
Suppose 32 = 5*g + 7. Suppose 5 = 2*t - g. Suppose t*z + 0*b - 90 = 2*b, 5*b = 25. Solve 0 = 6*p - 2*p - z for p.
5
Suppose 8*t - 6 = 5*t. Solve b - t = -0 for b.
2
Suppose -3*u - 8 + 4 = -4*w, 5*u - 5*w + 15 = 0. Let s be (12/(-5))/(2/10). Let g = u - s. Solve 2*o - g = -2*o for o.
1
Let u(b) = -b**3 + b**2 + b + 9. Let k(w) = w**2 + 4*w. Let h be k(-4). Let c be u(h). Let v be (-1)/((10/4)/(-5)). Solve -v*z + c = z for z.
3
Let o be (-2 - -2)*(-1 + 2). Let i = -6 - o. Let l = i - -11. Solve 9 = l*u - 1 for u.
2
Let o be (18/15)/((-3)/(-15)). Suppose -14 - o = -5*y. Solve -5*f = -y + 24 for f.
-4
Let y(z) = -2*z**3 - 2*z**2 - 2*z - 1. Suppose -k - 2 + 1 = 0. Let j be y(k). Solve v = 4 + j for v.
5
Let g be (0/(3*-1))/(-5 - -6). Solve -9*s + 4*s - 10 = g for s.
-2
Let t(w) = -w + 2. Let p be t(-3). Suppose 15 = 2*a - 3. Suppose 1 = -2*i + a. Solve -p = -i*q + 3 for q.
2
Let h(a) = a**3 + 7*a**2 - a - 5. Let m be h(-7). Solve m*c - 8 = -2*c for c.
2
Let m(f) = 2*f**2 - 12*f + 12. Let v be m(5). Solve -6 = v*o - 10 for o.
2
Let s = 2 - 2. Let p be 36/27*(s - 6). Let q = 10 + p. Solve -7 = -3*y + q for y.
3
Suppose 0*d = -5*d - 10. Let w(a) = 2*a**2 + 2*a + 2. Let u be w(d). Let l be (-3)/18 + 21/18. Solve -s + l = u for s.
-5
Suppose -2*r + 0*r = -10. Suppose f = -5*z, 4*z + f = 3*f. Solve h + 0 - r = z for h.
5
Let w(g) = -6*g**3 - 4*g**2 - 4*g + 6. Let u(f) = 5*f**3 + 4*f**2 + 3*f - 5. Let t(h) = 5*u(h) + 4*w(h). Let p be t(-2). Solve -p = 4*c - 1 for c.
-2
Let i be 0 + -1 - -4 - -1. Suppose 0*o - 4*o - 4 = 0. Let y = i + o. Solve -y*v = -2*v + 3 for v.
-3
Let w = -4 - -6. Let z be (w/1 + -1)*8. Let s(k) = -k**3 + 8*k**2 + 2*k - 9. Let n be s(z). Solve -3 + n = -j for j.
-4
Let y(b) = b**3 + 3*b**2 - 4. Suppose 10 = -3*f - 5, -4*g + f = 7. Let l be y(g). Let w be 3*1 - l/4. Solve w + 21 = 5*s for s.
5
Let a be (-2)/(-2)*1*5. Suppose 0 = -a*b + b. Solve b = 5*z + 11 - 1 for z.
-2
Suppose 12*c - 52 = 20. Solve -c = -5*s - 1 for s.
1
Suppose 4*m - 40 = -4*f, f - 4*m - 1 = 4. Let u be 9*((-24)/f + 3). Solve k + u = 8 for k.
5
Let o be (-2 - 1)*-1 - -1. Solve -o*s = -s - 6 for s.
2
Let b(c) = c**2 - 8*c + 9. Let a be b(7). Suppose 2*f - 4 = -a*f. Solve -5*p - f = 9 for p.
-2
Suppose 2*o = 3*g, -o - 3*g = -4*o. Let f be 0/1 + 1 - o. Solve 0 = -3*r - 7 + f for r.
-2
Suppose 3*d - w + 3 = 2*w, 15 = 3*d + 3*w. Solve -d = a - 1 for a.
-1
Let n(w) = -5*w - 39. Let f be n(-8). Solve -2*m = -3*m + f for m.
1
Let o be 2/(1*1/4). Solve 3*b - 4 = o for b.
4
Suppose -3 = 3*q - 6. Solve -2*y + 9 = q for y.
4
Suppose -5*z - 4 = -5*a - 29, -4*z = -a - 17. Suppose -i + 3*l + l + z = 0, -3*l - 3 = 4*i. Suppose t + t = i. Solve 3*q + 1 - 4 = t for q.
1
Suppose 5*p - 3 - 7 = 0. Solve 0*v = p*v + 8 for v.
-4
Suppose 0 = -4*o + 7*a - 6*a + 3, 3*o = -2*a + 16. Let s = 3 + 0. Solve s*l = 1 + o for l.
1
Let d(q) = 3*q - 13. Let r be d(10). Suppose 5*c - r = -7. Solve 2*j + 6 = -c for j.
-4
Suppose 3*y + 9 = 6*y. Suppose -2*a = 3*b - 65, -y*b - a + 20 = -50. Solve -2*g = 3*g + b for g.
-5
Suppose -3 = 2*x - 1, 0 = -d + x + 7. Suppose 3 = 3*c - d. Solve -c*f + 15 = 2*f for f.
3
Let s(a) = -3*a - 28. Let d be s(-10). Solve -14 = -4*q + d for q.
4
Let o = 0 + 4. Let f(d) = d**3 + 3*d**2 - 3*d + 1. Let z be f(2). Solve -t - z = o*t for t.
-3
Let h = -2 - 10. Let s be 0*(h/8 + 1). Solve s = 4*f - f + 15 for f.
-5
Suppose -13*x + 4*x = -3*x. Solve 4*m - 3*m + 5 = x for m.
-5
Suppose -25 = -9*s + 4*s. Solve -s*b = -8*b + 12 for b.
4
Let k(v) = v + 12. Let s = 16 + -24. Let a be k(s). Solve 13 - 1 = a*y for y.
3
Let c = 7 + -4. Suppose 29 = c*n + 2. Let q be (-4)/(-2) + 1 + n. Solve 2*r + 4 - q = 0 for r.
4
Let r = 6 + 3. Suppose -2*c - c = 3*h - 51, -2*c + 8 = 0. Let g = h - r. Solve 2 - g = -l for l.
2
Let s be (0 - 6)*2/(-3). Solve -s*p - 13 = 3 for p.
-4
Let h be 20/6*(-27)/(-18). Suppose 4*x = h*x - 3. Suppose 4*g = 10 - 2. Solve -x*r - g*r = -5 for r.
1
Let u = -25 + 27. Solve 0 = 3*x - x - u for x.
1
Let u = 7 - 3. Let k be -2*(-9)/(-12)*2. Let x be 1 - (9/k + 1). Solve x*l + u = 2*l for l.
-4
Suppose 7*y - 11*y + 20 = 0. Suppose -f + 4*i - 4 = 0, -2 = y*f + 5*i - 7. Solve -x - x + 2 = f for x.
1
Suppose 44 = -2*r + 46. Let f(b) = -b + 11. Let k be f(6). Suppose 1 = 4*z - 83. Solve z - r = k*t for t.
4
Let t be 16/4 + -2 - 2. Solve -w - w = t for w.
0
Let i = -3 - -7. Suppose -w = -b + i, 0*b + w + 20 = 5*b. Solve b*k + 5 = 1 for k.
-1
Let j = 54 + -54. Solve j*a = -2*a for a.
0
Let r be -1 + 3 + (1 - 1). Let f be (-1)/(r/4) - -8. Let t = f - -2. Solve -2*v - 2 = -t for v.
3
Let u(r) = r**3 - 13*r**2 + 20. Let i be u(13). Solve i = -5*f + 10 for f.
-2
Let c(u) = u**3 - 3*u**2 + 2*u - 4. Let r be c(3). Solve r*i = 7*i - 20 for i.
4
Suppose 2*a - 33 = -5*m, 4*a + 0*a + 4*m - 36 = 0. Solve 2*x = a*x + 4 for x.
-2
Let y = -7 + 9. Let h = y - 2. Solve 0 = -l - h*l + 1 for l.
1
Suppose -4*k + k + 12 = 0. Solve -t = -k*t for t.
0
Suppose o + 2 = x + 3, -5 = x - 2*o. Suppose -9 + 18 = x*f. Solve 7*r - 4 = f*r for r.
1
Suppose 5*m + r + 7 + 28 = 0, 5*m - 3*r + 35 = 0. Let k = m + 10. Solve -f + k = 1 for f.
2
Suppose -53 = 6*v - 71. Let s(c) = c + 2. Let q be s(0). Solve 0 = -q*r + v + 5 for r.
4
Let v be 18*1*3/3. Let o be (-24)/v*3/(-2). Solve 11 = o*f + 3 for f.
4
Let g(t) = -21*t**3 + 2*t + 1. Let o be g(-1). Suppose 3*v + 4*z = o, 0 = v - 0*v - 2*z. Solve 0 = 5*q - v*q + 5 for q.
-5
Suppose -15*l + 72 = -6*l. Solve 2*p = 2 - l for p.
-3
Let o(q) = -q**3 + 4*q**2 + q - 2. Let t(p) = -2*p - 2. Let a be t(-3). Let k be o(a). Solve 0 = -k*l - 2 + 4 for l.
1
Let i = -13 + 17. Solve d + 6 - i = 0 for d.
-2
Let f(r) = -r - 4. Let t be f(-4). Suppose 0 = -4*z + 4*a - 12, z + 2*a - 14 = -2. Let n be 2*(z - -1 - 2). Solve -6 = -t*v - n*v for v.
3
Let r be (0 - -1)*(-2)/(-2). Let m = r - -7. Let q be (m/(-10))/(4/(-10)). Solve 0 = -2*z + q for z.
1
Suppose 4*r = p + 4, 6*p - p = 3*r + 14. Solve -5*o + 13 = -r for o.
3
Suppose 8*t - 8 - 8 = 0. Solve 5*k = t*k + 15 for k.
5
Let v(n) = -n**2 + 7*n. Let w be v(7). Suppose w*l = -l. Suppose k + 4*m = 1 + 3, -m + 1 = l. Solve k = 4*s - 12 - 4 for s.
4
Let v(a) = -a - 2. Let k be v(-2). Let j be 3 + (k - 1) - 2. Suppose j = 2*z + 3*z. Solve z*f = -2*f for f