*((-7)/2 - -4). Solve -x*q + 12 = q for q.
4
Suppose 2*v - 29 = -4*g + 7*v, g = -v - 4. Solve 4 - g = -3*z for z.
-1
Suppose -r + 8 = r. Suppose 0*d - r*d = -8. Solve -d*h - 9 = -5*h for h.
3
Let p(d) = -d**2 + 12*d - 14. Let x be p(10). Solve -2*k + 16 = -x*k for k.
-4
Let l(g) = -g**2 - 6*g. Let z be l(-5). Suppose 5*p = 5*d - 15, 2*p + 3 = -z*d + p. Solve y + 0 - 2 = d for y.
2
Let c(b) = 2*b**2 - 5*b + 2. Let k be c(3). Let v(t) = t**2 - 15*t + 16. Let l be v(14). Suppose l*h - 48 = -h. Solve -h = -r + k*r for r.
-4
Let j = 3 + -1. Suppose -8 = -r - j. Solve -2 = -4*g - r for g.
-1
Suppose -6*c = -c - 5*n - 20, c = -5*n - 14. Let d = c - 4. Let l = 6 + d. Solve l*g + 2 = -1 for g.
-1
Let f = 2 + -2. Solve f*o + 2 = -o for o.
-2
Suppose -8*c - 10 = -13*c. Solve -a + 0 - c = 0 for a.
-2
Suppose -41 - 4 = 5*u. Let a = -5 - u. Suppose -5*q + 2*g + 2 = a, -2*g + 2 = -4*q. Solve 5 + q = -r for r.
-5
Let t = -176 + 185. Solve -o = -t + 8 for o.
1
Let w(s) = s**2 - 8*s - 16. Let l be w(10). Solve -a + l = -1 for a.
5
Let t be ((-50)/6)/(1/(-6)). Let f be (-1 + -2)/((-30)/t). Solve -3 - 7 = f*c for c.
-2
Suppose -p - 3*p - 12 = 5*z, -z + 12 = -4*p. Solve -2*j + 8 = -z*j for j.
4
Let u(s) = s**2 - s - 1. Let a(z) = -3*z**2 + z + 2. Let w(l) = 2*a(l) + 5*u(l). Let g be w(-2). Solve g = v - 0 for v.
1
Suppose 0 = -2*j + j. Let c = -3 + 6. Suppose c*y + 0*y = j. Solve y = v - 0 - 4 for v.
4
Let b be 3 + (0/(-1) - (0 - 3)). Solve -o = 2*o + b for o.
-2
Let i be (-80)/48*3/1. Let t(q) = q**2 - 3*q - 1. Let z be t(5). Let o = i + z. Solve 6 - 26 = o*u for u.
-5
Let y(n) = n**3 + 3*n**2 - 4*n + 1. Let d be y(-4). Suppose -34 = -3*c - d. Solve -1 = -5*q - c for q.
-2
Let p be (2 - (-3)/3) + -3. Solve 2*u = -p*u for u.
0
Suppose -5*d - 105 = 5*s - 0*s, 0 = -2*d - 5*s - 30. Let v = 26 + d. Solve -2*f = 5 - v for f.
-2
Let l = -16 + 20. Solve 5*c - l = 16 for c.
4
Suppose -3*u - 2*t = -0*t - 22, 5*t = -2*u + 33. Let b = -39 - -81. Let i = -27 + b. Solve 0 = u*k + k - i for k.
3
Suppose 4*r - 12 = 20. Suppose 2*f = -c - r, -6*c + 2*c - 3*f = 12. Solve -j = -c*j for j.
0
Let m = -9 + 5. Let p = 9 + -5. Let z = p + m. Solve z = -3*i - 2*i - 5 for i.
-1
Suppose 387 = 12*p - 3*p. Solve -18 = 5*d - p for d.
5
Let w(h) = -h**3 + 6*h**2 + h + 14. Let q be w(6). Solve 2*j + q = -3*j for j.
-4
Suppose 0 = 5*i - 2*r - 30 + 10, 11 = -2*i - 3*r. Solve 0*x - 6 = -i*x for x.
3
Let o be 0 + -1 + 1*46. Suppose -5*v + 0*v + o = 0. Suppose -j - 13 = -3*t - 5, -3*t - 5*j + 14 = 0. Solve v = 3*w - t for w.
4
Let l(c) = -c**2 + 7*c + 4. Suppose 0*o = 2*f - 3*o + 1, 0 = -2*o + 10. Let b be l(f). Solve -b*k = k - 5 for k.
1
Suppose 0*g = 8*g + 56. Let b = 12 + -3. Let i = b + g. Solve l = i + 3 for l.
5
Suppose 3*i = i - 4. Let b be (4 + i)*6/4. Solve -5 = -4*v + b for v.
2
Let d be (-19)/2*2/(-1). Solve 6 = -5*i - d for i.
-5
Suppose 4*f = 29 - 1. Let v = 11 + -10. Solve -f = -4*k + v for k.
2
Let r = 7 - 23. Let c = r + 22. Suppose c*j - 32 = 2*j. Solve j = 2*f + 2 for f.
3
Suppose x + 2 + 1 = p, p + 5 = 5*x. Let z(j) = -j**2 + 2*j. Let t be z(2). Solve t = r + p - 0 for r.
-5
Suppose -15*m - 13 + 88 = 0. Solve -m*z - 9 = 6 for z.
-3
Let j be (-2 + 6)/(-4 - -5). Suppose -j*y + 5 = 3*f, -3*f + 0*y + 2*y + 11 = 0. Solve 7 = -h + f for h.
-4
Let m = -7 - -10. Suppose 56 = 6*u + 14. Solve 5 = m*r - u for r.
4
Let w = 2 + -1. Let c = w - -1. Let j be (-6)/4*(0 - c). Solve -2 = j*l - 2*l for l.
-2
Let d(k) = k**2 + 7*k + 12. Suppose 2*s = -3*s + 5*i - 35, 0 = -s + 3*i - 5. Let f be d(s). Solve 4 = 4*u + f for u.
-4
Suppose -12 = 8*q - 11*q. Solve q*g - 5 = 7 for g.
3
Let d be 180/70 - ((-11)/(-7) - 1). Solve -2*h - 12 = d*h for h.
-3
Suppose 0*k - 2*k - 26 = 0. Let x = k - -23. Suppose -24 = -4*g - 2*v, 0*g - 3*g - 5*v = -25. Solve -g*b - x = 10 for b.
-4
Suppose 5*d + 8 = 4*z, -2*d - 1 = -9. Solve -5*r - 8 - z = 0 for r.
-3
Let a = -5 - -8. Let y = 11 - 5. Suppose 11 = -b - 4*m, -3*m + 3 = 2*b + 5. Solve -a*t = -b*t - y for t.
-3
Let m be 4/20 + (-2)/10. Suppose m = -4*p + 3*p + 14. Solve 2*f = -p + 4 for f.
-5
Let d(f) = -8*f**2 - f - 2. Let y(x) = 7*x**2 + 2. Let b(r) = 5*d(r) + 6*y(r). Let o be b(3). Solve -4 = -o*n + 3*n for n.
2
Let r be -3 - (1 - -1)/(-1). Let u be 0/5 - (-3 - r). Solve -4 - 6 = u*t for t.
-5
Suppose 0 = i - 2*q + 4, -3*i - 5*q - 13 + 34 = 0. Let t be (12/(-1 - i))/(-2). Suppose t*k = 2, -3*k + 0*k = 4*n - 103. Solve -4*g - n = g for g.
-5
Suppose -2 = 5*t + 8. Let b be (2 - 8)/t + -1. Solve -4*j + 8 = -b*j for j.
4
Suppose -3*n - 4*i = 13 - 1, 15 = -5*i. Suppose -6*q + 2*q + 16 = n. Solve 2*v + q = v for v.
-4
Suppose z - 47 = 4*l + l, 0 = l + z + 13. Let q = -4 - l. Let p be (-3)/(-2)*16/q. Solve 5*y + 1 = -p for y.
-1
Let a(u) = -u**2 + 7*u + 10. Let n be a(8). Let l(r) = -6*r + 2 + 0*r**n - r**2 + 7. Let i be l(-7). Solve -i*m + 6 = m for m.
2
Let j(g) = -8*g + 3. Let i(s) = 23*s - 8. Let a(r) = 3*i(r) + 8*j(r). Let f be a(1). Suppose -2*p - f*o + 30 = 3*p, 0 = 2*p - o. Solve -y + 6 = p*y for y.
2
Let f = -52 + 52. Solve -y = -f*y for y.
0
Let w = -1 + -5. Let o(f) = -f**2 - 4*f - 3. Let m be o(-3). Let l be (w - -4)*(-1 + m). Solve -l = 4*t - 2*t for t.
-1
Let p(b) = b**3 + 6*b**2 + 4*b - 1. Let l be p(-4). Let z be 6/(-10) - (-69)/l. Suppose -z*x = 4*k, 5*k + 32 = -x + 4*x. Solve -x*n + 10 = 2 for n.
2
Suppose s + 1 - 4 = 0. Suppose -4*k = -s*k. Solve x + 5 = -k for x.
-5
Suppose -4*k = -2*k - 12. Solve 5*x + k = -19 for x.
-5
Let t = 70 + -65. Solve t = c + 2 for c.
3
Let u be -3 + (-8)/(-12)*9. Suppose -5*o - 5*y + u*y = -10, 5*o = -4*y. Solve 2*k - o + 2 = 0 for k.
1
Let j(q) = q**2 - 13*q + 27. Let d be j(11). Solve 4 = -3*l - d for l.
-3
Let j(a) = -9*a - 12. Let u be j(-9). Let f be u/15 - (-4)/10. Solve 2*b - f = 1 for b.
3
Let y be 0 - 1/(3 + -2). Let m(z) = -5*z + z + 0*z. Let g be m(y). Solve f + g = -f for f.
-2
Suppose -u + 28 = -0*u - 5*j, 5*j + 16 = -3*u. Suppose 0*f - f = -u. Let l(d) = d**3 - 9*d**2 + 10*d - 11. Let w be l(8). Solve -f*k - 1 = w for k.
-2
Let r(j) = -j**2 - 7*j + 18. Let n be r(-9). Let t = -3 - -6. Solve n = t*y + 2*y + 5 for y.
-1
Let m(f) = 13*f - 31. Let r be m(3). Suppose 0 = 5*i - 0*i. Solve r = 4*v - i*v for v.
2
Let o = -49 - -59. Solve -2 = 3*u + o for u.
-4
Let h(x) = -x**3 - 20*x**2 - 18*x + 25. Let m be h(-19). Solve 0 = -2*q - q + m for q.
2
Let n = 3 + 1. Suppose 2*c = -s + 13, -3*c - 5*s = -s - 27. Suppose c*m - 7*m = -6. Solve m*k = 5 + n for k.
3
Suppose 2*w - 2*l = 3*l + 24, -12 = -w - 5*l. Solve 9*n - 3*n + w = 0 for n.
-2
Let m(n) = -2*n + 7. Let i(c) = c - 3. Let z(v) = -5*i(v) - 2*m(v). Let g be z(-2). Suppose 16 = 2*k - 0*k. Solve k*t = g*t + 25 for t.
5
Let h be -1 + 1 - 1 - 0. Let d be h/(-3) + (-33)/(-9). Let a be 1 + 2/d*2. Solve -a*k + 3*k - 2 = 0 for k.
2
Let l = -96 + 113. Solve 3 + l = -5*y for y.
-4
Let p be 20/(-8)*(-1 - 5). Suppose -11 - 10 = 4*q + g, 20 = -4*g. Let u = p + q. Solve 0 = 3*y - 2 + u for y.
-3
Let j = -4 + 7. Solve -3*f = -0 + j for f.
-1
Let l be 10*(-1 - -2) + -1. Let n = -16 + 26. Solve l*z = 4*z + n for z.
2
Let c be 2/((-20)/(-18)) - (-7)/35. Solve 3*h = 5*h - c for h.
1
Suppose -2*x = -0*x + 38. Let p = x - -27. Let r be (-3)/(-12) + 38/p. Solve r*w - 12 = w for w.
3
Let h(i) = -i**2 - 9*i - 17. Let k be h(-5). Solve 0 = -k*v + v + 2 for v.
1
Let s be 12/(-15) + (-118)/(-10). Suppose -1 = -4*g + s. Solve 0*h = -h + g for h.
3
Let k be 1*(-2)/(-4)*0. Suppose 0*s - 4*s = k. Suppose s = g - 3*g + 8. Solve -4 = g*f - 8 for f.
1
Let w = 87 + -77. Solve n = -4*n - w for n.
-2
Suppose n = 2*n. Solve -y + 3*y = n for y.
0
Let j(c) = c**2 + 4. Let m be j(-4). Suppose 2*d + 4 = 0, -5*v + d - 98 = -0*v. Let z = -13 - v. Solve -z*a + 3*a = -m for a.
5
Let t be ((-2)/(-4))/((-3)/(-24)). Solve t*g + 18 - 6 = 0 for g.
-3
Suppose 13*m - 39 = -0*m. Solve -h - m*h = 16 for h.
-4
Suppose -31*x + 28*x = -60. Suppose s + 1 - 6 = 0. Solve s*r = r + x for r.
5
Let s(l) = l**3 + 12*l**2 - 12*l + 18. Let t be s(-13). Solve -t*x + 0*x = -15 for x.
3
Let m be 96/60 + 4/10. Solve 7 = -m*h - 3 for h.
-5
Let r = 9 + -5. Solve -2*o + 0 + r = 0 for o.
2
Let w = 22 + -19. Solve w = 4*u - u for u.
1
Let q(d) = d**3 + 8*d**2 + 8*d - 1. Let b be q(-7). Let x(s) = -s**2 - 9*s - 8. Let c be x(b). Solve c