.
-5
Suppose -41 = -17*f - 7. Solve a - 2 = f for a.
4
Suppose 2*p = 4 + 4. Suppose p = 2*x - 4. Let n = x + 11. Solve t + n = -2*t for t.
-5
Suppose a + 2*a - 78 = 0. Suppose 2*g = 4*g - a. Let s be 8/(-3)*6/(-4). Solve -s*i + 7 = -g for i.
5
Let k be (-4)/(-8)*-4 + 3. Solve y - 2 + k = 0 for y.
1
Let p(y) = y - 3. Let l be p(5). Suppose -2*g + 8 = -l*j, 2*g - 5 - 3 = 4*j. Solve g*h + 13 = 1 for h.
-3
Let c(g) = g**3 - 5*g**2 - 2*g - 1. Let h be c(6). Let u = h + -8. Solve 4*p = 1 + u for p.
4
Let q be (-2)/(-3)*-3*-5. Suppose 2*m - q = -2. Solve 0 = m*t - t - 6 for t.
2
Let t = -1 - -5. Let g(d) = -d**2 + 6*d - 4. Let b be g(t). Suppose j - 5 = -3. Solve -2 = j*c - b for c.
1
Let n be -1*-2*(-2)/(-4). Let j be 3/6 + n/2. Let a = 1 + j. Solve 0 = -o + 5 - a for o.
3
Suppose 2*k + 4 = -2*k. Let v be (4 + 0)/(0 - k). Suppose 0*d = 2*d - 30. Solve -f - d = -v*f for f.
5
Suppose 3*z + 2 = 4*z. Suppose -4*h + 9 = -7*h, -z*a - 2*h + 4 = 0. Suppose 0*p + a = p. Solve -10 = p*q - 3*q for q.
-5
Let l(m) = -m**3 + 7*m**2 + 2*m - 5. Let p be l(7). Let s = p - 6. Solve 5*t + s + 2 = 0 for t.
-1
Let h(k) = k**3 + 4*k**2 - 2*k - 2. Suppose 2*p = -p. Let q(a) = -a**2 - a - 4. Let f be q(p). Let n be h(f). Solve -i = 2*i - n for i.
2
Let v = -89 + 91. Solve v*a - 4*a = -6 for a.
3
Suppose -4*w = -o + 107, 5*w = -o + 3*o - 133. Let r be (4/(-6))/(6/w). Solve -2*x + r*x + 4 = 0 for x.
-4
Let y(k) = 5*k - 45. Let d be y(10). Solve -d*c + 1 = 16 for c.
-3
Suppose -4 = 2*a + w - 26, 5*w = 2*a - 10. Solve -b = b - a for b.
5
Let j be (-6)/10 - (-28)/5. Suppose -p = -j + 3. Let c be (16/6)/((-6)/(-9)). Solve p*k = c*k - 8 for k.
4
Suppose -7 - 17 = -d. Let a be d/3*(5 + -4). Solve 3*z = a*z - 20 for z.
4
Suppose 0 = -9*u + 4*u + 10. Let a be u/6 - 2/6. Suppose a = -2*j + 5*j - 12. Solve -5 = n + j*n for n.
-1
Let p(c) = -c**2 + 7*c - 3. Let r = 4 + 3. Let u = -1 + r. Let h be p(u). Solve 18 - h = 5*k for k.
3
Let u = -23 - -25. Solve u*x + 4 = -0*x for x.
-2
Let r be (0/2)/(-3 - -2). Let p be 5 + (r - (1 - 1)). Let o be (p/3)/(3/9). Solve 0 = o*q - 17 - 3 for q.
4
Suppose -11 = 3*r + 5*y + 5, 2*r = 2*y + 16. Suppose 0 = 2*g - 3*g. Suppose -2*m + r*m = g. Solve -3*w + 12 = -m*w for w.
4
Let w = 26 - 26. Solve w = -0*t + t + 1 for t.
-1
Let v(l) = l**3 + 6*l**2 - 8*l - 1. Let p be v(-7). Let r(a) = a - 6. Let k be r(6). Suppose 2*g = -4*s + 1 + 1, -3*g - 9 = 2*s. Solve k = -n + s*n + p for n.
-3
Suppose 19*k - 16*k - 135 = 0. Let l be 4/18 + 80/k. Solve -t + l*t = -1 for t.
-1
Let q = 5 - -1. Let b be 50/3*q/4. Solve 2*f = -3*f + b for f.
5
Let t = -6 - -12. Let b = 8 - t. Solve -4*g - b = 6 for g.
-2
Suppose 5*k = 8 + 52. Solve -5*o - k + 2 = 0 for o.
-2
Let t(z) = 4*z**3 - 2*z**2 + z. Let n be t(1). Suppose 30 = 2*j + n*j. Let k be 0*(2 + (-14)/j). Solve 0*h + 3*h + 9 = k for h.
-3
Suppose y - 29 = -9. Suppose 2 + 1 = -i, 0 = 3*k + 4*i. Solve k*o - y = -o for o.
4
Let m be (14/(-8))/(3/(-24)). Suppose 3*p + 7 = a + m, -a = 2*p - 3. Solve -3*z + p = -1 for z.
1
Suppose 3*x = 5*x + 6. Let s = 1 - x. Solve -s*i + 4 = -2*i for i.
2
Let y = -4 + 8. Solve -k = y - 1 for k.
-3
Suppose 0 = 2*p + 2 + 4. Let v = 6 + p. Suppose 3*t + 3*n - 8 = 5*n, 3*n = -v. Solve t*k = 6*k + 8 for k.
-2
Let j = -10 + 16. Solve 0 = j*a - 3*a for a.
0
Let l be 1/(1*(-2)/(-22)). Let c = l + -8. Suppose 2*d = c + 3. Solve -4*z = -d*z + 5 for z.
-5
Let p(x) = -x**3 + x + 3. Let z be p(0). Solve -z = 3*a - 9 for a.
2
Suppose -3*v + 57 = -u, -3*v = u + 3*u - 42. Let b be (8/3)/(1/3). Let f be b/20 - v/(-5). Solve 0*q = 2*q - f for q.
2
Let x(j) = 3*j**2 - 6*j - 3. Let f be x(3). Let z(d) = -2 + 0 - d + 8. Let y be z(f). Solve y = -3*o + 11 - 2 for o.
3
Let s = -4 - -16. Solve -3*c + s = -0*c for c.
4
Suppose -4*g + 3*h = h + 10, -g + h = 0. Let l(x) = x**2 + 5*x + 4. Let c be l(g). Let i be ((-2)/(-3))/(4/90). Solve -3 = -c*y - i for y.
-3
Suppose -5*k + 22 = d, -4*k + 6 = -d - 8. Solve -4*l = -d*l - 8 for l.
4
Suppose -1 = -3*o + 2. Solve 0 = -s + o + 3 for s.
4
Let h(t) = t**2 + 4*t + 5. Let p be h(-2). Let u be 0/(p - 2)*-1. Solve -5*z - 20 = -u for z.
-4
Suppose -20 = 4*w + 5*k, w + 5 - 13 = 2*k. Solve 4*u + 5 + 7 = w for u.
-3
Let f(c) = -c**3 + c**2 + 2. Let t be f(0). Let k be 1*((-3)/(-3) + 4). Solve 0 = t*m - k*m for m.
0
Let o = -25 - -25. Solve o*u = 3*u - 12 for u.
4
Let f(g) = g**3 + 6*g**2 - 4*g - 3. Let m(b) = b**3. Let n(x) = f(x) - 2*m(x). Let r be n(5). Let q be (-12)/(-20)*1*10. Solve 0 = -q*z + r*z for z.
0
Let h(a) = -2*a**2 - 13*a + 10. Let z be h(-7). Solve 0 = -b + z*b - 8 for b.
4
Suppose 0 + 36 = 2*k. Suppose -d + 6 = 5*i, -4*d - 2*i + k = -6. Solve -d*o = -2*o for o.
0
Suppose 2*l + 2*z = -2*z + 28, l + 3*z = 19. Let s = 1 - -4. Solve -l*n + 11 = -s for n.
4
Suppose -2*o = a - 9, 5*a - 3*o = 4 + 2. Solve -a*x - 6 = -5*x for x.
3
Let d = 22 - 20. Solve -4 = d*r - 2 for r.
-1
Suppose 42*k - 40*k = 0. Solve 4*n + 20 = -k*n for n.
-5
Let r be 1 + -5 - -5*1. Solve -4 = -l - r for l.
3
Let w(p) = -p**3 - 3*p**2 + 8*p - 5. Let k be w(-5). Let g be (-1*1)/((-1)/9). Let t = g - k. Solve 2*q = q - t for q.
-4
Let z be (9/(-6))/((-9)/12). Suppose -u - 2 = -z*o, u + o - 1 = -u. Suppose -1 = -t, -b + 2*t + 2 - 4 = u. Solve -3*g + g - 4 = b for g.
-2
Suppose x - 2 = -0. Solve -x*j = j for j.
0
Suppose 3*y = 3*b - 2*y + 25, 5*b - 2*y = -10. Let s(i) = i**3 - 13*i**2 + 11*i + 14. Let n be s(12). Solve b = -0*l + n*l for l.
0
Suppose 0*a - 4*a + 2 = 2*r, 3*a - 3*r = 24. Let p be (4 - 10)/(-1 + 0). Suppose -j + p = j. Solve j = a*u + 9 for u.
-2
Let s be (-6 + 7)/(1/4) + -2. Solve 6 = s*d - 0 for d.
3
Suppose 0*f = 3*c + 5*f - 4, -3*c + 3*f + 12 = 0. Let r be c/(6/(-8))*-3. Solve -z + r = 3*z for z.
3
Let f be 6 + (-3)/(6/8). Solve 0 = -t - 2 - f for t.
-4
Let x be 1/1*7*1. Suppose -t - 17 = -4*d, 2*t + 14 = 3*d - 0*t. Let b = x - d. Solve b*q - 5*q - 10 = 0 for q.
-5
Let g be (-3)/2*(-6)/9. Suppose -3*a - 4 = -7. Solve g = o - a for o.
2
Suppose -3*k + 0 = -12. Let j(m) = m**2 + 7*m + 6. Let w be j(-5). Let n = w + 4. Solve n*r + r - k = 0 for r.
4
Suppose -3*x - 16 = g - 0*g, g = -5*x - 26. Let z be (-3 - x)*-1*-4. Solve z = -t - t for t.
-4
Suppose 7 = -z - 1. Let u = z - -5. Let k = u - -7. Solve -g = k*g + 5 for g.
-1
Suppose 5 - 20 = -5*z - 3*w, -3 = -3*z - 3*w. Let p be 1 + -1 - (-54)/z. Solve 5*d = p + 1 for d.
2
Let w(f) = f**3 + 5*f**2 + f + 7. Let v be w(-5). Solve -r = v*r for r.
0
Let t be (-1)/(-2)*6 + -3. Suppose -i + 5*i = t. Solve -4*x + 0 - 8 = i for x.
-2
Let z be 27/5 + (-4)/10. Let q = -16 + -10. Let h = q - -47. Solve -h = -z*a - 1 for a.
4
Let j be 10 + -3 + 1 + 0. Let g(n) = n**2 - 8*n + 8. Let k be g(j). Solve -f - k = 3*f for f.
-2
Let h(n) = -n - 5. Let o be h(-11). Solve 0 = o*p - 4*p for p.
0
Let h be (-992)/(-72) - (-2)/9. Let b be 2/(h/6 - 2). Solve 3*o = o + b for o.
3
Suppose -41*r = -44*r + 9. Solve 2*v = r*v for v.
0
Suppose 0 = 5*a + 13 - 73. Let k = -15 - -11. Let b = -2 - k. Solve -a = -b*r - 2 for r.
5
Let n(s) = -s**3 + 4*s**2 - 2*s - 1. Let t be n(3). Solve -9 + 3 = -t*x for x.
3
Let p = 6 - 13. Let y = p - -8. Solve y + 5 = -2*i for i.
-3
Let h = 1 - 1. Let q = 0 + h. Suppose q*t - 6 = -2*t. Solve 0 = -3*v - t - 0 for v.
-1
Let x(j) = -j**3 + 4*j**2 - 3*j + 1. Suppose 2*c = 7 - 1. Let v be x(c). Solve v = -4*m + 9 for m.
2
Let i = -121 - -124. Solve d - 4 = i*d for d.
-2
Let o(c) = -c + 10. Let v be o(8). Suppose -v*t = 2*t - 12. Solve -8 = -t*d + 7 for d.
5
Suppose -5*f + 27 = a, -3*a - 3*f = -0*f - 45. Solve 2 - a = 2*g for g.
-5
Suppose -10 = -u - 7. Solve 0*s + u*s = 9 for s.
3
Suppose -3*b + 2 = -10. Let c = -1 + b. Solve -2 - c = -5*y for y.
1
Suppose -2*r + 71 = 4*j - 5*r, -4*j + 5*r + 65 = 0. Let l be (-4)/(12/(-9)) + 0. Suppose 2*d - 5*u = -l - 3, -3*u = 3*d - 12. Solve -3*b = d*b - j for b.
4
Suppose 5*d + 30 = 2*d. Let l be 1/(3/d)*-3. Suppose -5*c - l = -135. Solve 2*j + c = 7*j for j.
5
Let z(x) = -x**3 + 17*x**2 + x - 14. Let o be z(17). Solve 0 = c + o*c - 4 for c.
1
Let q = -59 + 62. Solve q*i - i + 8 = 0 for i.
-4
Let p(c) = c. Let a be p(3). Suppose -l + a*h = -5*l + 5, 4*l + 5*h = 3. Solve -2*r - 4 = -l for r.
-1
Suppose 0 = -3*l + 4*a - 14 + 2, -a = -5*l - 3. Solve -2*v - 2*v = l for v.
0
Suppose 2*s + 10 = 5*z, -3*s + 2 + 