a - t*a, -2*a = -3*m + 9 for m.
5
Let d(u) = -u + 1. Let m be d(-9). Suppose 4*t + m*z = 5*z + 71, -2*t + 73 = -5*z. Solve -3*o + 3*p = -t, -2*o + 15 - 3 = -p for o.
4
Let r = 41 - 38. Solve r = -2*z + 5*c - 2, -3*c = -z - 3 for z.
0
Suppose -3*c + 12 = 3*k, 3*k = -2*c - k. Suppose -c = -5*m + 7. Let t be (m/4)/((-3)/(-12)). Solve 3*j - t*q + 21 = 6*j, -2*j = -q - 8 for j.
5
Let g be -2 - ((-1 - 2) + -4). Solve -3*r + 0*r - x - 1 = 0, -g*x = -3*r - 13 for r.
-1
Suppose 5 = 3*m - 67. Suppose 2*w - 2*g = 24, -m = -2*w - 2*g - 3*g. Solve -4*y + 0 = 4*p - w, -5*p + 15 = -y for p.
3
Suppose -4*g + 4*j - 16 = 0, -5*g - j + 0 = 8. Let n be (g/2)/2*-10. Suppose -l + 3 + 0 = 0, 5*i + 5 = n*l. Solve i*a + 22 = 3*d, 0 = -a + d + 2*d - 17 for a.
-5
Suppose z - 2 = 2*f + 2, 4 = -4*f. Suppose -z*h - 10 = -7*h. Let m = -3 + 6. Solve -t = -d - h, -2*d - 2*d = -m*t + 9 for t.
-1
Suppose -c = -12 - 6. Let s = c + -14. Solve -4*z = -4*y + 11 + 1, 0 = -s*y for z.
-3
Suppose 0*y - 3*y = -12. Suppose 0 = 3*g - y - 5. Suppose 3*c + 0 - 3 = -q, 0 = -3*q - 5*c + 5. Solve g*p - 17 = 2*r, -2*r - 2*r + 4*p - 28 = q for r.
-4
Let w be 4/(-6)*(31 - 34). Solve -3*v + 5*c = 1, w*v - 2 = 3*c - c for v.
3
Suppose 5*p = p + 12. Suppose -3*m + p = -9. Solve m*c = -h + 11, 0 = 2*h + 3*h + 3*c - 4 for h.
-1
Suppose -3*g + 5*g = 5*j + 3, 0 = 2*g - j - 7. Suppose 2*l + 10 = g*l. Suppose 20 = -5*r + 10*r. Solve 5*y + r*s + 45 = 0, 4*y - l*s + 0 = 5 for y.
-5
Let l = -186 - 8. Let d = l - -48. Let o be 1/(-3) - d/6. Solve 0 = -2*v + 8 + 2, -b + o = 5*v for b.
-1
Let g(w) = -2*w**2 + 14*w + 4. Let j be g(7). Solve -4*s - j = 0, 2*s = -3*p - 2*s - 16 for p.
-4
Let w be (-3*1)/(4/28). Let t = 38 + w. Suppose l - t = -5*f + 2, 0 = 3*f - 3*l + 3. Solve -5*s = 2*b - 17, 1 = f*b + s - 5 for b.
1
Let p = 171 - 167. Solve -3*r - p*o = 0, r = 4*r - o for r.
0
Let r = 21 + -16. Solve 5*m - 3*b = -b - 15, 0 = r*m - 5*b + 30 for m.
-1
Let r be 1/(0 - 1) + 5. Suppose r = 2*b + 2*b - 2*d, -3*b + 4*d - 7 = 0. Solve 0*z - 2*z = b*m, -3*z = 2*m + 5 for m.
2
Let y be (-238)/(-51) + (-2)/(-6). Solve -y*j = -0*j + 10, 0 = 2*r - 3*j + 2 for r.
-4
Let v(q) = -7*q + 11. Let s be v(1). Solve -3*x = -3*l - 21, 4*x + 1 = -s*l - x for l.
-4
Let w = 5 - 4. Let g be (w + -2)*-1 - -13. Suppose -5*u - 4 + g = 0. Solve 2*s = -5*h - 20, 0 = u*h + 4*s + 5 + 3 for h.
-4
Let f be (-18)/(-4)*4/(-3). Let t be 12/10*(-15)/f. Solve 0 = -3*c - t*y + 12, -c + 4*c - 12 = -4*y for c.
4
Suppose -5*n = -5*t + 65, -2*t + 3*n + 18 + 12 = 0. Suppose 0*f - 3*f = 4*l - 32, -f + t = 3*l. Solve 0*m + 4*j = -4*m - f, -3*m - 4*j - 7 = 0 for m.
-5
Let w(o) = -o**2 + 3*o + 2. Let c(k) = 4*k**2 + k. Let n be c(-1). Let x be w(n). Suppose 4 = -v + 8. Solve -x*r - 4*j = -8, 0*j - 3 = -v*r + 5*j for r.
2
Let s = -124 - -126. Solve 5*g - 4*q - 10 = 0, -s*q = 2*q for g.
2
Let m be ((-4)/(-3))/(1/3). Suppose 0 = g + 2*a - 3, -5*g - 2*a + 15 = -5*a. Suppose g*o - m = o. Solve -9 = -o*i - 2*d + d, 2*i = d + 11 for i.
5
Let b = 84 - 71. Let v be (4 - -1)*(1 - 0). Solve -v*f - 32 = 3*s, -4*s - f - b = 7 for s.
-4
Suppose -b - 8 = -p, -4*p - 5*b = -0*b - 5. Solve 29 = p*j - 4*l, -5*j + l - 15 = -41 for j.
5
Let f(b) = -b**2 + 22*b + 5. Let d be f(22). Solve -14 = 2*o + d*z - 3, -o + 5*z + 17 = 0 for o.
2
Let f = -18 - -22. Solve -2*d + f*w + 6 = 0, -5*d + 3*w + 27 = 5*w for d.
5
Let l(m) = m**3 + 6*m**2 + 5*m + 1. Let p be l(-5). Let r be (1 + p)/(10/20). Solve 2*v + 18 = -6*s + r*s, 2*s + 22 = -3*v for v.
-4
Let c(z) = -7*z - 2. Let r be c(-1). Solve i = 4*x - 2 - 20, 5*x = r*i + 35 for i.
-2
Let m(c) = -c**2 - 3*c + 4. Let g be m(-4). Let j(s) = s**2. Let h be j(g). Solve 0 = -h*k + 2*k - 2*q, -5*q + 1 = -4*k for k.
1
Suppose 0*j + j = 0. Suppose -1 - 2 = -k. Let f = j + k. Solve p + 0*p + 2 = -5*s, f*p = -4*s - 6 for p.
-2
Suppose 0 = -3*w + 2*j - 0*j + 14, 4*w = -2*j. Suppose 0 = -i + t + w, -6 = -3*i - 0*t - 2*t. Solve 3*b - 24 = -3*x, -3*x = -4*b + i*b - 4 for b.
4
Let t(v) = -v**3 + 0*v**3 + 2*v**3 + 3. Let w be t(0). Suppose -w*b = -18 - 12. Solve -b = -4*a + 2*u + 8, 0 = a - u - 5 for a.
4
Suppose -15 = -x - 2*x. Solve 3*w + 12 = -3*k, x*w + 30 = -0*w + 5*k for w.
-5
Let f = 58 + -106. Let i = f - -80. Suppose i = u + u. Solve 2*y = -c - 4, 5*y + u = -4*c + 3*c for c.
4
Suppose 4*g - 56 = 4*w, -2*w - 4*g - g + 7 = 0. Let u(m) = -m**2 - 10*m - 4. Let o be u(w). Solve o*k - 3*x = -4, 4*k - 19 = -x - 4*x for k.
1
Suppose w - 3*c + 2 = -1, -5*c + 16 = 2*w. Solve 0 = -k + w*s + 3, 2*s = 2*k - 0*s - 6 for k.
3
Let b be (-4)/(-5)*(-3 + 33/6). Solve 4*k = b*m + 5*k + 6, -3*k - 7 = -5*m for m.
-1
Suppose -3*v - 18 = -v. Let x = -7 - v. Solve 3*r + 9 = -0*b + 4*b, -x*b + 5 = -r for b.
3
Let n(k) = 3*k + 2. Let g be n(1). Suppose 0 = -3*f - 3*d + 36, -g*f + 10*f = -3*d + 52. Solve 3*j + 2*y = 7*j + 12, 0 = -j - 2*y - f for j.
-4
Let r = 34 + -23. Let x(n) = -n**3 + 11*n**2 + 2*n - 16. Let k be x(r). Solve 3*i - k*i = -9, 4*i - 16 = -u for u.
4
Let x be 3/(2/8*6). Let k(c) = c**3 - 4*c**2 + 4*c - 1. Let o be k(3). Solve -j = x*z + 8, 4*j - o*z + 5 = 23 for j.
2
Let k(q) = q**2 + 9*q - 7. Let u be k(-10). Solve 2*s = -4*g - 26, u*s - 1 = -2*g - 20 for s.
-3
Let i = -5 - -7. Let a(l) = 2*l**2 + 2*l. Let f be a(i). Solve -16 = -h + 3*v, f = -4*v - 4 for h.
4
Let j(k) = -17*k**3 - 2*k**2 + 1. Let n be j(-1). Suppose 21*v = 81 + 3. Solve -4*b = -i - b - 7, 0 = -v*b + n for i.
5
Let p = -1 - 1. Let l = p + 5. Suppose -2*v - 1 = -n - l, -3*v = -2*n - 1. Solve v*t = -2*i + 11, i + 0 + 1 = 5*t for i.
4
Let w = 3 - -4. Suppose w*b - 15 = 2*b. Solve -m + 1 - b = -2*r, 5*m + 10 = 4*r for m.
-2
Let g(v) = 4*v - 36. Let l be g(11). Solve 0 = -2*t - l, -3*z + 5*t = z - 32 for z.
3
Let i be -10*(2 + 11/(-5)). Solve 3*c + i*h - 17 = 0, -h = -4*c - 4*h + 24 for c.
3
Let t(w) = 3 + 0*w**2 + 2*w**2 - 3*w - 2*w. Let b be t(3). Suppose 0*d - b = 3*g - 5*d, -4*d + 6 = -2*g. Solve -g*x - 2*i = 1, -4*x + 4*i - 7 = -x for x.
-1
Let j = -44 - -64. Solve 2*g = 2*p - 20, -j = -0*p - 4*p for g.
-5
Let m be 14 + 1/(4/12). Let h = m - 13. Solve 30 = 5*k - 5*u, 6*u = -h*k + 2*u for k.
3
Let y = 26 - 16. Suppose 4 = -3*h + y. Solve 2*d + 3*l + 0 = 2, -4 = -4*d + h*l for d.
1
Suppose 4*g - 20 = 0, 5*g - 45 = -2*z - 12. Suppose -z*m = -3*m - 4. Solve -2*k + 16 = -m*s, 0 = -3*k + 2*s + 3*s + 20 for k.
0
Let o = -12 + 15. Solve 0 = -5*r - 0*y - o*y + 4, -4*r + 5*y = 19 for r.
-1
Let q be 4/(-18) - (-75)/(-27). Suppose 55 = 5*z - d + 5*d, 4*d = 2*z + 6. Let a = q + z. Solve 4*v = -2*w - 1 - 15, -a*w = v + 11 for w.
-2
Let b(q) = 2*q**2 - 2*q - 2. Let s be b(-2). Let u = s + -1. Solve -2*j - 5 = o - j, 3*j = 3*o + u for o.
-4
Let s be 1*5 + -1 + -1. Suppose -35 - 40 = -25*z. Solve -s*n - z = 3*i, -5*n - i = -3*i - 9 for n.
1
Let q be (-2)/(-1 + 21/15). Let d be q/(5/3)*-1. Suppose 0 = -d*z - 5 + 20. Solve 7*b = 2*b + z*n + 5, -3*b + 23 = 2*n for b.
5
Suppose 2*j - 12 = -2. Let t be -17*((-6)/(-2))/(-3). Solve 7*z = j*r + 4*z - t, -r + 7 = 3*z for r.
4
Suppose -h - 5*p - 11 = 0, h + 3*p = 2*h - 13. Suppose h*b + 21 - 57 = 0. Let v be 15*(115/25 - 4). Solve -n = 3*y - v, -6 = -4*n - 5*y + b for n.
0
Suppose 0 = 2*c - 3*j - 13 - 3, 0 = -5*c + j + 27. Solve 0 = 5*h - c*f - 10, -2*h - 2*f - 19 = -3 for h.
-3
Let z(j) = -6*j - 12. Let d be z(-6). Let o = d - 20. Let r be 0 + -1 + 1 + 2. Solve r*l + 2 + 2 = -o*m, 2*l - 5*m + 4 = 0 for l.
-2
Suppose 5*z - 40 = -5*o, -7*o + 16 = -3*o. Solve 4*g = -x + 20, -7 - 25 = -z*g - 4*x for g.
4
Suppose 0 = 3*z + 5*r - 8*r - 18, -5*z - 2 = 3*r. Let w be z/8 + (-1)/4. Let t be ((-26)/8)/((-1)/4). Solve 2*q + 5*b = -w*b - 13, 3*b = 4*q + t for q.
-4
Let c be (14 + -8)*2/3. Solve 0 = 4*q + q + c*p, -5*q = -5*p for q.
0
Suppose 35 - 3 = p - a, 2*a = -4*p + 110. Suppose 2*c + 0*c = 6. Let k be 3 + c + (1 - 4). Solve 5 = -5*l + 5*v, k*l + 4*v = -v + p for l.
3
Suppose -4 = -4*f + 3*f. Solve -c + 2*c = -f*t - 18, -2*t = 8 for c.
-2
Let q = 29 - 27. Solve 4*r + q*a - 2 = 10, 2*a = -3*r + 8 for r.
4
Let h = 1 + -1. Suppose j + m = -h*j - 2, 0 = -5*j - 3*m - 2. Solve 4*b - 28 = j*b + 4*o, 4*b - 31 = 3*o for b.
4
Suppose -2*v + 4 = -0*v. Suppose u - 12 = -v*u. Let m = 5 + -3. Solve u*g = 3*a - 5, a - g - m = -0*a for a.
3
Let b(h) = -h**2 - 8*h - 4. Let c be b(-7). Suppo