-3). Solve v*h = h + 2 for h.
2
Let u be (-8)/36 + 249/27. Solve b + u = 4*b for b.
3
Suppose -29 = -3*w + 13. Suppose -5*u + w = -16. Solve 0 = u*m - 2*m + 8 for m.
-2
Suppose -2*n - 4*o + 24 = 0, 3*n - 4*n - 3*o + 16 = 0. Suppose -2*b = -6*b - 5*v + 13, -5*v + 25 = 0. Let a be 0 + (3 - 1) - b. Solve a*s + 1 = -n for s.
-1
Suppose 3*p - 6 - 9 = 0. Suppose t - 3*j - 32 + p = 0, -65 = -5*t + j. Solve -t = -5*k - 2 for k.
2
Let j = 64 + -64. Solve 0 = 3*k - j*k - 12 for k.
4
Suppose i = 10 - 10. Suppose 4*v - 3*w - 57 = -8, -v = w - 7. Solve 5*z + v = -i*z for z.
-2
Let v be 12 + -1 + 2 + -1. Suppose 6*j - v = -3*r + 2*j, 18 = 3*r + 2*j. Solve -3*x + r*x = 0 for x.
0
Suppose -16 = -t - t. Suppose 0 = -4*q - 21 + 1. Let w = t + q. Solve 0*a = -a - w for a.
-3
Let p be (3/(-9)*0)/(-2). Solve -c + 0*c = p for c.
0
Let s(q) = -5*q**2 + 12 + q**3 - 2*q**2 - 9. Let r be s(7). Let i(t) = -t + 2. Let u be i(-3). Solve u*w - 17 - r = 0 for w.
4
Suppose 2*b - 2*t - 18 = 0, 2*t - 4 - 5 = -b. Suppose -28 = -4*u - 108. Let z be u/(-3) + (-6)/9. Solve -5*p - z = b for p.
-3
Let y(v) = v - 5. Let q(c) = 7*c**3 + 2*c - 1. Let m be q(1). Let k be y(m). Suppose -k*w = -w - 2. Solve w - 3 = -x for x.
2
Let u = -5 + 7. Suppose 6*k = k. Let n = k + u. Solve 0 = n*r - r - 3 for r.
3
Let d = -21 + 25. Solve -d + 0 = 2*v for v.
-2
Suppose -4*a + 34 = 6*t - 5*t, 0 = 4*a - 5*t - 46. Solve -a - 3 = -3*l for l.
4
Let p(d) = 23*d - 2. Let m be p(1). Suppose 2*v - m = -3*c, v - 4 = -c + 4. Solve -v = 5*o + 2 for o.
-1
Let t(m) = -m**2 - 11*m - 1. Suppose -g - 4*q + 3 = 0, 7*g - 3*q = 2*g - 54. Let h be t(g). Solve -4*y + h = 5 for y.
3
Suppose -12 = -10*q + 8*q. Solve 2*h + 8 = q*h for h.
2
Let y = 1 - -3. Suppose -p + y - 2 = 0. Solve -p*c = -3*c for c.
0
Let v(s) = s**3 - 5*s**2 + 2*s + 2. Let l be v(2). Let a = l + 4. Let i be (-1)/a*1*4. Solve -3*f + 4 = -i*f for f.
4
Suppose -2*u = 2*n - 6, 0*n = -3*n - u + 3. Solve h - 2 = -n*h for h.
2
Let h = -11 - -2. Let s = 12 + h. Suppose -s*m - 4*c = 2 - 37, 4*m + c = 51. Solve 5*j - 12 = m for j.
5
Let h(s) = -6*s - 2*s**2 - 4 - 3*s**2 + 4*s**2 + 3*s**2. Let q be h(5). Solve 5*f - f + q = 0 for f.
-4
Suppose 0 = 16*v - 21*v. Let k = 1 - -1. Solve v*y = -k*y for y.
0
Suppose -2*z = -7 + 1. Suppose 0*o = -z*o + 30. Solve -o = -5*t - 5 for t.
1
Suppose 0 = -0*a - 4*a. Let s be (-1)/((-1)/6 - a). Let o(k) = k**3 - 7*k**2 + 5*k + 6. Let q be o(s). Solve q = -5*u + u - 20 for u.
-5
Let z(y) = y**3 - 7*y**2 - y + 8. Let m be z(7). Solve 0 = -a + m for a.
1
Let l(m) = -m + 14. Let h be l(10). Solve 10 = -h*q - q for q.
-2
Suppose 0 = -3*q + 10 + 8. Suppose 5*a = 0, q*y + a = 2*y + 12. Solve -4*m + y = -1 for m.
1
Suppose j + 5*j = 60. Solve -4*o - o = j for o.
-2
Let y(q) = q**3 - 9*q**2 - 10*q. Let u be y(10). Let w = u + 2. Solve 5 = w*a - 3*a for a.
-5
Suppose 4*g - 8 = 4*q, 4 = g + 2*q - 5*q. Suppose f - 1 = 2. Let l be ((-5)/(-2))/(f/6). Solve 2*p - g = -l for p.
-2
Suppose -k - 69 = 2*y - 5*y, 2*y + 4*k - 60 = 0. Suppose -3*w + y = -2*w - 3*u, -5*u = w. Solve -c = -4*c + w for c.
5
Let m = 7 - 2. Solve -c + m*c = 4 for c.
1
Let n = -4 - -7. Suppose 2*m + 2*m - 10 = 2*r, -2*r - 4*m + 6 = 0. Let t = n - r. Solve 1 = -3*k + t for k.
1
Suppose 3*i = -2*w + 3 + 1, 4*i = -5*w + 3. Suppose 8 = t + 4*q - 3, -i*t - 2*q = -10. Solve 0 = -t*a + a - 2 for a.
-1
Let p be (4 - 2)/((-8)/(-20)). Solve 0*m + p = m for m.
5
Let k(s) = 32*s + 3. Let f(v) = 11*v + 1. Let z(t) = 11*f(t) - 4*k(t). Let q be z(-1). Let w(c) = -c**2 + 6*c + 4. Let b be w(6). Solve 5*i + q = -b for i.
-2
Let d(a) = -a**2 + 7*a - 2. Let l be d(6). Let w be (-4)/6 + 99/27. Solve -w*i + 5*i = l for i.
2
Let q = -4 - -2. Let c = 4 + q. Suppose -a + 25 = 3*h, 5*h - 27 = -c*a + a. Solve 6 = -4*k + a for k.
4
Let b = -3 + 12. Suppose 3*g + 0 = b. Solve g*m + 3 = 6 for m.
1
Suppose 4*y - 2*y + 50 = 4*u, 5*y + 65 = 5*u. Let q = u + 2. Let x be 2/9 - q/(-18). Solve -i - x = -2*i for i.
1
Suppose 0*i - 60 = -5*i. Solve 0 = -4*t - i for t.
-3
Let a = -14 - -22. Let n be (-1)/8 - a/(-64). Solve -2*z - z = n for z.
0
Let w = 3 - 9. Let c be (4 - 2) + (-5 - 0). Let k be (c/9)/(1/w). Solve 0 + k = -l for l.
-2
Suppose -9*d + 12 = -6*d. Let g(n) = n**2 + 7*n + 3. Let r be g(-7). Solve -z = -r*z - d for z.
-2
Let l = -2 + 4. Let b be -4 - -2*-21*(-2)/12. Solve z = l*z + b for z.
-3
Let o(a) = a**3 + 2*a**2 + 3*a + 2. Let q be o(-1). Solve q = -3*w + 2 + 1 for w.
1
Suppose -2*p = -m + 4*m + 10, 14 = 2*p - 3*m. Solve 4*v = 5*v - p for v.
1
Suppose -4*z = 4*m + 8, -m - 22 = 5*z - 4. Solve 0 = -5*c + 3 + m for c.
1
Let a be 68/20 + (4 - (-44)/(-10)). Solve 1 - 16 = -a*r for r.
5
Let o = 16 + -13. Solve -9 = o*k - 0 for k.
-3
Suppose 0 = 4*k + 2 + 34. Let d = k + 10. Solve -j = -3 - d for j.
4
Suppose 0 = q - y - 55, -2*q + 0*q - 5*y = -75. Let m = q - 27. Solve 4*p - m = -7 for p.
4
Suppose -5*a = -168 + 33. Solve -5*t + a = 2 for t.
5
Let c = -16 - -20. Suppose -5*u - 10 = -c*w + 15, u + 5 = 0. Solve w = -t + 3*t for t.
0
Suppose 0*n + 59 = 5*f + 2*n, -5*f + 4*n + 47 = 0. Suppose 2*c - 2*t = c - f, -6 = -2*t. Let d = -5 - c. Solve -o + 0*o = d for o.
0
Let k = 3 - -61. Suppose 4*t + 4*j = 48, 0 = -0*t + 5*t + 3*j - k. Let u = t - 0. Solve -u = -5*f + 6 for f.
4
Let u(w) = 4*w**2 - 2*w + 1. Let t be u(1). Suppose -4*z - r = -z + 2, 5*z - 10 = r. Let b be -4*(2/z - 3). Solve t*q = q - b for q.
-2
Let s be (-4)/((-12)/(-9)) + -1. Let g be 5*s/((-80)/12). Solve 3*q = -g - 0 for q.
-1
Let x(q) = 5*q**2 + 1. Let b be x(-1). Solve 3*f - 9 = b*f for f.
-3
Suppose 3*p - p = 10. Let m = -2 + p. Let u(b) = -b**3 + 6*b**2 + 4*b - 4. Let w be u(6). Solve w = -m*i + 8 for i.
-4
Suppose -4*g - 8 = -3*n, 3*n + 6 = n - 3*g. Let d be -2 - (3 + (-3 - -1)). Let q be (0/3 - d)*1. Solve q*j + 12 = -n*j for j.
-4
Let r be 5/((-1)/(8 - 0)). Let c = -20 - r. Solve -3*d + c = 5 for d.
5
Let i(w) = w**2 - 3*w - 4. Let l be i(4). Let y = l + 5. Solve y*a = a for a.
0
Let n(c) = -c + 12. Let w be n(10). Solve w*x - 1 = x for x.
1
Suppose -2*k - 2 = 0, 0 = 4*j + 5*k - 3. Solve z = j*z + 5 for z.
-5
Suppose -3*c + 15 = -0*c. Suppose s = c*v - 18, 3*v + 6*s - 2*s = 20. Solve 0 = v*k + k - 20 for k.
4
Let k(q) = q**3 + 8*q**2 + 7*q + 1. Let f be k(-7). Let h = 567 + -277. Let r be 4/(-14) - h/(-35). Solve 3*a = -f - r for a.
-3
Suppose -4*j = -7*j + 12. Let m be (0 + j)/(1/3). Solve 0 = 5*c - c - m for c.
3
Let f = 29 + -26. Suppose b = -4*b + 10. Suppose n = 5*n. Solve a + f + b = n for a.
-5
Suppose 2*k - o = 2*o + 44, 5*o + 86 = 4*k. Suppose -3*d = 3*i - 6, k = 2*d - i - 2*i. Solve 0 = 3*b - 2*b + d for b.
-5
Let v(s) = -1 - 2*s - s - 2. Let r be v(-2). Solve -2 = -r*x + 10 for x.
4
Let w(x) = -15*x**2 + x + 1. Let s be w(-1). Let o = s + 10. Let a be (-39)/(-15) - (-3)/o. Solve 3*j - a = j for j.
1
Let g be (18/(-27))/(2/30). Let l be ((-4)/(-10))/((-1)/g). Solve -3*i + l*i = 3 for i.
3
Let n(d) = d**3 + 5*d**2 - 7 + 5*d**2 - 5*d**2 - 8*d. Let i be n(-6). Suppose 10 = 5*j, 5*v - i*j + 0 - 5 = 0. Solve -v*p + 4 = p for p.
1
Let t(n) = n**3 - 2*n**2 + 2*n - 1. Let o be t(1). Solve o = -d + 2*d for d.
0
Let s(i) = i + 2. Suppose 0*b + 2*b - 8 = 0. Suppose b*p - f - 7 = 0, -2 = -2*f + 8. Let l be s(p). Solve -c = 4*c - l for c.
1
Let i be ((-2)/6)/(2/(-30)). Suppose -2*p - p = -2*w - 10, -3*p + 7 = -5*w. Suppose -p*g + i*g + 5*a = -17, -5*a - 25 = 0. Solve -5*c + 3*c = -g for c.
4
Let w(d) = d**3 - 4*d**2 - 3*d - 7. Let s be w(5). Solve s = 5*q + 8 for q.
-1
Suppose 0*u + 3 = -u. Let w be 50/(-8) - u/12. Let s be (-10)/(w/9*3). Solve s*c = 12 - 2 for c.
2
Let d be (-6)/((-1)/(-1) + -2). Let c be d - (-2 + -1 + 1). Solve -5*o - c - 7 = 0 for o.
-3
Let q be ((-108)/(-90))/((-6)/20). Suppose -3*d = -3*k + 15, k + 4*k = 4*d + 20. Let m be k*((-6)/q - 1). Solve -2*l = -m*l for l.
0
Suppose -4*s = 5*p + 18, 5*s - 2 = 2*p + 4*s. Let l be 696/44 + p/(-11). Solve -2*u = 2*u + l for u.
-4
Let h be -5*(2 - 1)*1. Let g = -3 - h. Solve 0 = 6*n - g*n + 16 for n.
-4
Let t = -2 + 2. Solve 2*a - a = t for a.
0
Let q = 10 + -7. Suppose 3*d + d = 0. Solve 3*a + q - 6 = d for a.
1
Let u = 9 + -7. Suppose -u*j - j + 3 = 0. Solve j = -2*q + q for q.
-1
Let l = -10 - -22. Solve -3*m + 0*m = l for m.
-4
Suppose 25 = -5*m, -1 = a + 2*m - m. Sup