 -t for x.
3
Let t(p) = p**3 + p**2 + p + 3. Let a be t(0). Suppose -5*r + 47 = -n, -a*n - 22 = -2*r - n. Solve -3 = -3*z + r for z.
4
Let a be (-6)/(-33) + 238/22. Solve -a - 4 = 3*n for n.
-5
Let n = 114 + -112. Solve -n*m + 12 = 2*m for m.
3
Suppose 37 + 25 = 3*p - 4*k, 3*p + 2*k = 50. Solve 5*l + p = -7 for l.
-5
Suppose -x + 17 = 5*z + 2, 5*z + 4*x - 15 = 0. Solve -2*i = -z*i + 3 for i.
3
Let g be (-1 - -2)*(2 + 1). Suppose -g*k + 7 = a, 3 = -0*a + 3*a. Solve -7 + 3 = -k*u for u.
2
Let x be ((-3)/(-5))/((-3)/(-15)). Let f(z) = z**3 + 9*z**2 + 13*z - 5. Let c be f(-7). Let a(v) = -v**2 - 5*v + 6. Let o be a(-6). Solve -t + c + x = o for t.
5
Let g = 8 + -15. Let t(r) = r**2 + 2*r - 6. Let b be t(g). Suppose 5*l = b - 9. Solve 3*x = l*x for x.
0
Let g be (-6)/(-2) - 0 - 3. Suppose -3*m + 9 = -g. Suppose 5*a - 1 - 34 = -5*h, -m*h + 13 = a. Solve -q = -4*q + h for q.
1
Let x = -8 + 12. Solve x = 5*i - 1 for i.
1
Suppose 0*d + 2*d = 0. Suppose d = 2*j + 3*j - 20. Suppose z - 1 = -4*m + 1, 4*m = -j*z + 8. Solve m*w = 5*w for w.
0
Let l(k) = k**2 - 2*k - 1. Let o be l(3). Solve -6*u = -o*u - 12 for u.
3
Suppose -3*f + 84 = -0*f. Let l = -20 + f. Suppose 5*k - l = 22. Solve k*t - 20 = t for t.
4
Let q be 0/(7/(21/(-6))). Solve -k - 1 = -q*k for k.
-1
Let h(v) = -v**2 + 5*v + 2. Let s be h(5). Let k be 0*s*1/(-2). Solve -a + 3 = -k*a for a.
3
Let w(y) = y - 3. Let f be w(8). Let b(r) = -r + 3. Let z be b(3). Suppose 4*m - 12 = -z*m. Solve -7 = -f*x + m for x.
2
Suppose -l + 4 = 0, -g + 3*l - 33 = -4*g. Solve -12 = -3*n + g*n for n.
-3
Let b be (-8)/(-10)*(-3)/((-18)/195). Solve -q = b - 25 for q.
-1
Let h(r) = r + 8. Suppose 39 = -6*p + p - 2*n, -p + 3 = -5*n. Let a be h(p). Solve -z - 2 = -a for z.
-1
Suppose l - 7 = 1. Suppose -u - u + l = 0. Solve 4 + 12 = -u*r for r.
-4
Let f = 10 - 7. Let u be (7 - 8)*(1 - (2 + 0)). Solve 0 = 2*s - f*s + u for s.
1
Let d = -10 - -20. Let u = -8 + d. Suppose k - u = 2. Solve 2*a = 6 + k for a.
5
Let u(p) = -p**3 + p**2 + p + 2. Let x be u(2). Suppose 4*w - 2*m + 0*m - 80 = x, 5*w - 86 = -m. Solve -5*f = -7 - w for f.
5
Let v(r) = 10 + 10*r + 3*r**2 - 2*r - 2*r**2. Let m be v(-7). Let b = m + 1. Solve -4*j + b = -8 for j.
3
Let w be -1 - -1 - 27/(-9). Solve -w = -f - 0 for f.
3
Suppose m + 4*m = 0. Let t(q) = q**2 + 13*q + 16. Let p be t(-12). Let i = m + p. Solve 2*g = g - i for g.
-4
Suppose -4*z - 55 = 3*d + z, -2*z + 2 = 0. Suppose 5*u + 225 = -3*t, -2*t + 6*t - 135 = 3*u. Let k be (-108)/u*d/(-6). Solve 4*w = 2*w - k for w.
-4
Let l be -1 - ((-2)/1 - 5). Let j = l - 3. Let y be (-4)/(-8) - 3/(-2). Solve m - j = y*m for m.
-3
Suppose -5*r - 4*p - 4 = -3*r, 3*p = -3*r. Suppose 0 = x + 4 - 19. Suppose -3*l = -d - 11, 5*d - 10 - x = -l. Solve r*b = 4*b + d for b.
-2
Suppose -4*d - 4 = -2*d. Let f be ((-8)/(-4))/((-1)/d). Solve -f*l = -l - 12 for l.
4
Let h be 0/(-5 - 0)*2/(-4). Solve -3*x - 6 = -h for x.
-2
Suppose -3*b = b - 4. Let l(z) = 6*z - 4*z + 0*z + z**2 - 1. Let r be l(b). Solve -r*m - 2 = 6 for m.
-4
Let m(c) = c**2 - 4*c - 1 + 5 - 2*c - c. Let p be m(7). Solve p = -5*k + 9 for k.
1
Let n(q) = 3*q + 38. Let x(f) = -2*f - 25. Let g(s) = 5*n(s) + 8*x(s). Let d be g(-6). Let w = 0 - d. Solve -w*h + 0 = 4 for h.
-1
Let y(a) = a**3 - 4*a**2 - 3*a - 7. Let q be y(5). Solve 5*x = q*x - 10 for x.
-5
Let x be 1/(4*(-2)/(-16)). Solve x = 2*q - 4 for q.
3
Let j(l) = -1. Let d(m) = m - 6. Let x(g) = d(g) - 4*j(g). Let y be x(4). Suppose 5*r - y = 28. Solve 0 = 4*o - r*o - 6 for o.
-3
Let o(f) = 9*f + 4*f**3 - 7*f**2 + 2*f**3 + 11 - 7*f**3. Let a be o(-8). Let u be (6/a - 0) + 0. Solve -7*s - 15 = -u*s for s.
-3
Suppose -2*i = 4*o - 4, -32 = -4*o + 5*i - 0*i. Solve o*a = -3 - 6 for a.
-3
Suppose 3*n + 0*o = 5*o + 657, -3*o = -2*n + 438. Suppose i - 22 = -c, -4*c + 82 = -5*i + n. Solve -w - 4*w = -i for w.
5
Let j(a) = 17*a**2 - 2*a - 1. Suppose 2*z + 3 = 1. Let s be j(z). Suppose s = -0*o + 3*o. Solve -o*p + p - 5 = 0 for p.
-1
Let m(g) = 2*g**2 - 2*g - 4. Let y be m(3). Solve y*o + 25 = 3*o for o.
-5
Let f(s) = s**3 - s**2 - 9*s - 3. Let l be f(4). Solve -h - l = -4 for h.
-5
Let w(q) = q**2 - 6*q - 4. Let s be w(7). Suppose -7*i = -6*i - s. Solve k + 2 = i for k.
1
Let m(i) = -i + 9. Let r be m(4). Suppose -2*c + q = -10 - 3, r*q = 3*c - 30. Solve c*o + 3 + 2 = 0 for o.
-1
Let b = 10 - 2. Let l = b + -7. Solve 0 = -x + l + 2 for x.
3
Let p be 45 + -3 + 1 + 4. Let v = -28 + p. Solve 5*o = v + 1 for o.
4
Let l(i) = 7*i + i + 5 + 2*i**2 - 3*i**2 + i. Let a be l(9). Solve 7 + 3 = -a*u for u.
-2
Let s(p) = 10*p - 10. Let a be s(8). Suppose 5*q - a = -0*q. Solve -5*o - 1 - q = 0 for o.
-3
Let f = 78 + -86. Let x be (1/(-2))/(2/(-40)). Let z = x + f. Solve m = -0*m - z for m.
-2
Suppose 3*b + 6 = -3*u, 6 = -2*b - 3*b - 3*u. Suppose 4*r + r - 60 = b. Suppose 2*f = -2*c + 8, 0 = 3*c - 5*f + 2*f + r. Solve 0*o + 4*o = c for o.
0
Let s be 1 + -6 + 10 + (-3)/1. Solve -3 = -s*b - 1 for b.
1
Suppose -h = h - b - 3, -3 = -4*h + 5*b. Solve 0 = -y - h*y + 15 for y.
5
Let p = -5 + 11. Suppose 3*x - p*x + 6 = 0. Solve 0 = x*q - 0 - 2 for q.
1
Let f(q) = -q**2 - 7. Let n be f(0). Let u = -4 - n. Suppose -5*p + u*p + 4 = 0. Solve -p*i + 2 = -6 for i.
4
Suppose -10 = -5*n, 5*n + 45 = 3*l + 2*l. Solve -3*u = l - 8 for u.
-1
Let t be (-13)/39*(-6 + 0). Let j be (3/(-2))/(3/(-8)). Suppose 2*v - j*v + 2 = -4*q, 5 = -4*q + 5*v. Solve k + q = -t for k.
-2
Suppose 3*k = -33 + 9. Let p(q) = 14*q**2 - 2*q - 1. Let t be p(-1). Let w = k + t. Solve 0 = 4*g + w + 9 for g.
-4
Suppose -h + 0*g + 5*g = -28, 5*g = -4*h - 13. Solve h*o = -o + 8 for o.
2
Let r be (-6 - (3 + -6)) + 6. Solve -r = 2*p + 7 for p.
-5
Suppose -54*b - 10 = -55*b. Solve 4*k - b = 6 for k.
4
Let w = 77 - 73. Solve 12 = w*r - 8 for r.
5
Let y = 10 - 5. Let m = y + -3. Let f(n) = -n**2 + 2*n. Let d be f(m). Solve -3 + d = -3*w for w.
1
Let u be (-1)/(-3) - 17/(-3). Suppose -14 = 2*y - u. Let v = 5 + y. Solve -v + 0 = -f for f.
1
Suppose -3*k - 2*k + 30 = 0. Suppose -2*s + k = -2*v - 2, 5*s = -5*v + 30. Solve 3*r + s = -2*r for r.
-1
Let a be ((1 + -3)*-4)/2. Suppose -3*d + 37 = -9*h + a*h, d + 2*h = -6. Solve 2*c - d = 4 for c.
4
Let t = -13 - -32. Let h = t + -18. Solve -4*v - 5 + h = 0 for v.
-1
Let o be ((-2)/(-3))/((-1)/(-6)). Let n(b) = -b**3 + 12*b**2 - b + 13. Let s be n(12). Suppose -o*t = 5*f - s, -f - f - 14 = -2*t. Solve t*l + 0*l = 20 for l.
5
Let u = -24 - -24. Solve -2*a - 3*a = u for a.
0
Suppose -2*c = -4*p - 2, -5*c - 2 = -2*p - 7. Suppose -l = -p*l. Let y(k) = -3*k. Let v be y(-1). Solve l = 6*m - v*m for m.
0
Let m be 5*2/10 + -1. Solve -3*r - 7 - 2 = m for r.
-3
Let p be ((-4)/12 + 0)*-6. Suppose k + 3*n = 3*k, -8 = -4*n. Solve -k*a = p*a for a.
0
Suppose -x + 9 = -0*x - 4*m, 4*x - 16 = -4*m. Solve -3*g + x = 2*g for g.
1
Suppose 4*w - 27 = -107. Let c = -5 - w. Suppose -c = -5*l, -2*t + 1 = -5*l + 8. Solve 8*y = t*y - 16 for y.
-4
Let i = 7 - -8. Let a be i/2*36/30. Suppose -3*w + a = h, -16 + 7 = -3*w. Solve h*m = 2*m for m.
0
Let r(g) = 35*g - 2. Let y be r(1). Suppose 0 = -t + 5*f + 25, -2*f = 5*t - 4*f - y. Solve t*h = -11 + 36 for h.
5
Suppose 5*f + 34 = -4*n + 1, -5*f - 35 = 5*n. Let q = -2 - n. Let g(v) = -v + 1. Let j be g(q). Solve -u = -3 - j for u.
4
Suppose -3*b + 5 = 5*p - 8*b, -b - 13 = -5*p. Let u be ((-12)/(-2) + p)/1. Let z be ((-30)/(-9) + -3)*u. Solve 0 = -z*w - w for w.
0
Suppose -3*r + t - 6 = -1, 3*t = -5*r + 15. Suppose 0*l - 5 = 5*l. Let w be l*(0 - -1)*r. Solve w = 4*o + 10 - 2 for o.
-2
Let l = 12 + -8. Solve -l*x = 4 + 12 for x.
-4
Suppose -20*j = -19*j. Suppose -5*x + 6 = c, 5*x - 6*c - 3 = -4*c. Solve -h = -j*h + x for h.
-1
Let l(j) = -j + 6. Let a be l(0). Solve -8 + a = 2*y for y.
-1
Let t = 136 - 131. Solve -t*b + 4 = -b for b.
1
Suppose 14*f - 7*f - 14 = 0. Solve -f*a = -a for a.
0
Suppose -l = -5*l + 48. Solve -l = 4*p - p for p.
-4
Let r be (-2*16/(-12) + -3)*0. Solve r*u + 5*u = 0 for u.
0
Let k be -10 + 1 + (-36)/9. Let x = k + 15. Solve -b = 6 - x for b.
-4
Let s be (6/4)/(21/70). Solve 2*y + 1 = s for y.
2
Let t = 33 - 22. Let i = t - 6. Solve -f - i = -6*f for f.
1
Let w(j) = -j**2 - 15*j - 13. Let g be w(-14). Suppose d = 2*t - 9, 0 = 3*t - 4*d - 6 - 10. Solve -5*x = g + t for x.
-1
Let l = 17 - 24. Let u be (9