*u + 13 for u.
-4
Let u = -2 - -15. Let b(y) = y**3 - 14*y**2 + 15*y - 24. Let q be b(u). Solve q*s - 5 = 1 for s.
3
Let x be (-8)/(-12) + (-231)/9. Let w = x + 27. Solve -w*u - 3 = u for u.
-1
Let b(v) = 3*v**2 - 5*v + 3. Let d be b(3). Let i be (d/12)/(1/4). Suppose -3*o = -0*o - n - 71, 4*o + n = 97. Solve -4 = i*r - o for r.
4
Suppose 0 = -48*a + 46*a - 4*d + 20, a + d - 8 = 0. Solve 0 = -4*s + 2*s - a for s.
-3
Suppose -2*a - 8 = -5*o + 12, o - 3*a - 4 = 0. Suppose o*p + 160 = 12*p. Solve -p = -4*c - c for c.
4
Let a = -33 - -36. Suppose -a*j + 5 = -2*j. Solve 2*n - 1 = -j for n.
-2
Suppose 3*m - 117 = -5*v, 2*v + 0*m + 2*m - 50 = 0. Suppose j = -2*o + v, 4*o + 74 = 4*j - 2*j. Solve -9 = 5*q - j for q.
4
Let m be (-96)/(-12)*(-1)/(-2). Suppose m = 2*f - 4. Suppose -f*g + 4*n + 1 = 13, -g = -5*n + 23. Solve g*j = -1 - 5 for j.
-3
Suppose -4*f + 600 = -4*y, 3*f + 2*f + 4*y = 741. Solve -f + 164 = -3*k for k.
-5
Let l(i) = -i**2 - 11*i + 16. Let j = 5 + -17. Let w be l(j). Let s(m) = m**2 - 2*m - 8. Let v be s(w). Solve v = d - 5*d for d.
0
Suppose 8*g - 3*w = 4*g + 31, 5*w = -25. Suppose g*s - 31 = 3*p, s + 5*p + 14 = -7. Suppose 6 = -b + s*b. Solve -b*n = 3*n for n.
0
Suppose 4*b - 44 = -4*i, -i = -5*b + 2*i + 47. Solve 16 = -3*d + b for d.
-2
Let g(i) = i**2 - 12*i + 16. Let s = 16 - 8. Let n be g(s). Let b = 26 + n. Solve -d - d = b for d.
-5
Let m(n) = -n + 12. Let o be m(-7). Suppose 18*a = o*a - 3. Solve 0*u - a = -3*u for u.
1
Let n be (16/14)/(3 - (-19)/(-7)). Solve n*q = 6*q - 6 for q.
3
Let h be -1 - (3 - 3) - (2 - 3). Let w be (((4 - h) + -4)/(-3))/(-1). Solve w*p = 3*p for p.
0
Suppose 6 = o - 0. Suppose -2*l + o*l - 28 = 0. Suppose -4*u = -67 + l. Solve 0 = 4*z + z - u for z.
3
Suppose 147 = -15*n + 297. Solve 0 = -n*z - 36 + 6 for z.
-3
Suppose 216 = 2*j - 3*y, 5*j = -2*y + 3*y + 514. Let h = -102 + j. Solve h*x + 3*x = -3 for x.
-1
Let m = 29 + -27. Suppose -m*f - 7 + 7 = 0. Solve f*c = -c for c.
0
Let a = 296 - 291. Solve -a*n - 4 - 11 = 0 for n.
-3
Let g = -46 - -49. Suppose 0 = g*n + 11 - 14. Solve n = -2*v + 5 for v.
2
Let s = 20 - 17. Let h = s - -9. Suppose -4*y + 4 = -h. Solve y*b = 3*b + 3 for b.
3
Suppose 2*b + 3*b - 20 = 0. Suppose 0 = -d - b*y + 3*y - 3, 0 = d + 4*y + 18. Let m(z) = 2*z. Let w be m(d). Solve -f + 3*f = w for f.
2
Suppose 136 = 4*j + 120. Solve -2 = j*c - 3*c for c.
-2
Let v = -5 + 7. Let p be -4 + -6 + 4 + 11. Suppose p*m = -5 + 15. Solve m*l + v = 3*l for l.
2
Let t(a) = -a**3 + 11*a**2 - 10*a. Let p be 117/12 + (-4)/(-16). Let z be t(p). Solve 4*y - 12 + 4 = z for y.
2
Suppose -4*w = 5*i + 25, i - 6*i - 25 = -w. Suppose w = -6*a + 3*a. Solve 3*u - 8*u = a for u.
0
Let r = -249 + 252. Solve 2*j = -r*j for j.
0
Suppose 0 = -2*y - 3*y - 3*j + 34, 4*y - 2*j = 14. Let k(w) = w - 2. Let v be k(y). Solve 0 = -v*a - 1 + 4 for a.
1
Suppose c = -o - 0*o + 5, o + 25 = 5*c. Suppose -a + 0*a + 6 = o. Solve 3*s = 6 + a for s.
4
Let n be -3 + -3 + 4 + -2. Let z be (-4)/6*(-7 - n). Suppose 4*a = -6*l + 5*l + 30, -z*a + 16 = l. Solve -2*d = -a + 15 for d.
-4
Let l be (-1 + -5)*(4 + (-52)/8). Let w be 3/(3*5/l). Solve -w*f - 12 = -7*f for f.
3
Let u = -35 + 47. Let m be u/3 + -7 + 13. Solve z - m = -z for z.
5
Let b(y) = 3*y**2 - 46*y - 11. Let v be b(16). Suppose 0 = 19*a - v*a + 6. Solve -2 = -a*x + 10 for x.
4
Suppose 0 = -21*l + 23*l - 12*l. Solve 4*f + 8 = -l*f for f.
-2
Suppose 4*d + 12 = -2*t - 8, d = -4. Let w be ((-3)/2)/(7/t + 3). Solve c - 8 = w*c for c.
-4
Suppose b + 42 = 4*i, 3*i - i + 4*b = 30. Suppose 4*x - 2 = -2*r + 2*x, r = -4*x - i. Solve 3*a - 6 = r*a for a.
-3
Suppose 0 = -4*a + 2*a. Let v(t) = t**2 - 6*t - 10. Let h be v(7). Let l be (-1 - 1) + (-12)/h. Solve -2 = -a*y + l*y for y.
-1
Suppose 4*y + 2*z - 26 = 0, 4*z + 4 = 3*y - 32. Suppose y*r = 4*r. Suppose -4*d = -5*c - 110, r*c = -3*c - 6. Solve 0*h = 5*h + d for h.
-5
Let q(t) = -t**2 + 5*t - 2. Let d be q(4). Suppose -f - d + 4 = 0. Let j be (1 - f)*1 + 4. Solve -5*b - 7 - j = 0 for b.
-2
Let v(g) = -g**3 - g**2 - 1. Let c be v(-4). Suppose 0 = -m - 4*y + 6*y + 11, -2*y = -5*m + c. Solve -3*w + 3 = m for w.
-2
Let z(i) = i**2 - 22*i + 16. Let y be z(19). Let t = y + 43. Solve t = b + 1 for b.
1
Suppose -16*x + 18*x - 2*h - 48 = 0, 2*x = -4*h + 24. Solve x*m - 42 = -m for m.
2
Let a be ((-35)/20 + 2)*8. Suppose 2 = 3*v - a*o - 5, 2*v = -2*o + 18. Suppose -31 = -v*s - j, -6*j + j + 17 = 2*s. Solve l + s = -l for l.
-3
Let w be (1 + 1)*26/4. Suppose -269*g + 277*g - 24 = 0. Solve -1 + w = -g*z for z.
-4
Let s = 92 + -92. Suppose s = -2*x + 7*x - 20. Solve -q + x*q + 15 = 0 for q.
-5
Suppose 3*o = o + 34. Suppose -3*y - o + 44 = 0. Let f(h) = -h**2 + 8*h + 12. Let j be f(y). Solve -z = -j + 2 for z.
1
Let z(i) = 4*i**3 - 2*i**2 - 8*i + 9. Let r be z(3). Let s = r - 71. Solve -v + s = 1 for v.
3
Let w(f) = -3*f**2 - f + 5 + 6*f**2 + 10*f. Let o be w(-3). Solve -2*y - o = -y for y.
-5
Let n be (-640)/(-240) - 1*1/(-3). Solve -19 = 4*d - n for d.
-4
Let q = 1483 - 1474. Solve 10*h - q - 21 = 0 for h.
3
Let x be 2/1 - -2 - 0. Suppose x*y + 6 = 18. Solve 0 = -y*k - k + 4 for k.
1
Suppose 2*f - 6*f = 4*q - 20, 20 = 4*f + 2*q. Solve j - f*j = -7*j for j.
0
Suppose -6*i + 5*i = 2. Let p be (7 + -7)/(0 - i). Solve -g = -p*g for g.
0
Suppose 0*y - 18*y = 0. Solve -3*o - 6 + 0 = y for o.
-2
Let i be (-26 - -1)/(1/3). Let n = i + 75. Solve -2*z + 12 - 4 = n for z.
4
Suppose 6 = -4*v - 0*v + 2*n, -2*v + 4*n = 12. Solve v*i - 3*i + 15 = 0 for i.
5
Suppose 35 = 4*f + 3*j, 8*j = f + 4*j - 23. Solve f = 3*q - 1 for q.
4
Let x be (20/8 + 23/(-2))/(-3). Suppose -3*d + 18 = 3*j, 2*d = -3*j + 4*d + 33. Solve -x*z + j = -0*z for z.
3
Let f be (-5)/10 + (-80)/(-32). Solve 2*b + f + 8 = 0 for b.
-5
Let y(q) = -q**3 + q. Let k be y(2). Let x(f) = 44*f - 3 - 27*f - 18*f. Let r be x(k). Solve -r*d + 5 = -4 for d.
3
Suppose 2*v = 3 + 5. Suppose 2*u = v*c - 12, 0 = u + 5*c - 0*c - 22. Solve -3 - u = 5*i for i.
-1
Let r be (-8)/(-6)*3/2. Let o = -95 - -94. Let p be (r + -2 + 0)*o. Solve p = -2*s + 4 for s.
2
Suppose -3*t + 5*t = 4. Suppose 5*a + 29 = 2*b, -2*b - 3*b - 4*a + 56 = 0. Let x = 15 - b. Solve -t*f = x*f - 15 for f.
3
Let u = -528 - -560. Solve u = -d + 28 for d.
-4
Let u be (-1 + 1/(-4))/((-55)/440). Solve 30 = -4*z + u for z.
-5
Let k be (2 - 3)/(1/(-4)). Let r be (-2)/(-8) - (-11)/k. Suppose -2 - 19 = -3*d - 3*w, -4*d = -w - 48. Solve r*o = 4 + d for o.
5
Suppose 0 = -2*k + 2*v + 6, -2*v = -7*k + 2*k + 6. Suppose -3*r - 7*r = k. Solve r = -2*z + 3 + 3 for z.
3
Let o(m) = m**3 + 10*m + 0*m**3 - 10*m**2 - 1 + 0. Let d be o(9). Suppose 4 = 2*g - d. Solve y + 25 = g*y for y.
5
Let d(s) = 6*s**3 - 55*s**2 + 6*s + 38. Let l be d(9). Solve 3*g + 26 - l = 0 for g.
-5
Let z = 73 + -68. Suppose z = a, k - a - 4*a + 23 = 0. Let r be (2 - 3) + (-1 - -4). Solve -r*m - k - 4 = 0 for m.
-3
Let x = 227 + -219. Solve x = -5*i + 3 for i.
-1
Suppose p = l - 5 + 13, -p + 5*l = 12. Solve 7 + p = 5*o for o.
4
Suppose 5*l - 3*y = 100, 12*l = 8*l + y + 80. Solve l = 11*w - 16*w for w.
-4
Let f(l) be the third derivative of l**6/120 - l**5/10 + 7*l**4/24 - l**3 - 29*l**2. Let r be f(5). Solve -r*v + 1 = 17 for v.
-4
Let i(k) = -k + 3. Let g be 6 - ((-4)/(-1) - 1). Let u be i(g). Solve 4 = -u*h - h for h.
-4
Let f = -29 - -8. Let t be 7/(f/(-12)) + -4. Suppose -4*g = -8, -4*g + 5 + 5 = d. Solve t = -d*o - 0 + 2 for o.
1
Let i be 81/6 - (-4)/8. Suppose -4 - i = -3*j. Let x = -6 - -8. Solve -x*z - z + j = 0 for z.
2
Let a = 593 - 587. Solve 0 = -4*m - 6 - a for m.
-3
Let d = -182 + 186. Suppose i + 30 = 3*y, 3*y + 0*i + 4*i - 30 = 0. Solve 30 - y = d*h for h.
5
Let m(b) = b**2 + b - 3. Let x = -11 + 8. Let o be m(x). Let r be (2/(-1))/(-5 + 4). Solve 0 = -o*n - r*n for n.
0
Let l be 6/10*5 - -1. Suppose 0*i - 61 = -3*i + 2*v, -4*i + l*v + 88 = 0. Solve 4*s + i = 5 for s.
-3
Let h = 2995 + -2989. Solve -h*s = 9*s - 60 for s.
4
Let b(i) = 3*i**2 - 11*i + 14. Let l be b(0). Solve -l*y + 56 = -14 for y.
5
Let i(m) = -2*m**2 + 119*m - 171. Let x be i(58). Solve 6*n - x*n = 0 for n.
0
Suppose 4*j + 2*k - 366 = 0, 39 = 2*j - 4*k - 119. Solve 4*t - 89 + j = 0 for t.
0
Suppose -2 = 4*v + 2*f, 2*v = 6*v + 3*f + 7. Suppose 0 = -v*s - s. Let d(g) = g**3 - g**2 + 3. Let z be d(s). Solve n = z