 + q*w + 6 = 0 for w.
2
Let x be 0 - ((-8 - -4) + -2). Suppose -5*y - 3 = -x*y. Solve -5*v = -y*v - 4 for v.
2
Let d(f) be the first derivative of f**3/3 - 9*f**2 + 15*f - 15. Let i be d(18). Solve 7*s - i = 2*s for s.
3
Let u be ((-4)/(-4))/((-1)/(-2)). Suppose 5*s + 5 = 0, 0*v + u*v + s = 7. Solve -6 = -2*a + v*a for a.
-3
Suppose 3*n - 12 = -n. Solve 12 = n*y + 15 for y.
-1
Suppose 5*d - 24 = -f, 2*f - 6*f + 2*d = -8. Let j be f/(-2)*3/2. Let s be (4 + (-42)/9)*j. Solve p = 2*p + s for p.
-2
Let r(k) = -k**3 - 3*k**2 + 5*k + 7. Let b be r(-4). Suppose -3*q + 17 = -w - b*w, -3*q + 5 = 2*w. Solve 2*s + q*s = -25 for s.
-5
Suppose 0 = 4*i + 2*s - 70, 77 - 14 = 3*i + 5*s. Solve x + i = -3*x for x.
-4
Let l(x) = -5*x**3 - x**2 + 2*x + 4. Let v be l(-1). Solve -v*y + 3 = -7*y for y.
-3
Let x(q) = -q**3 - q**2 + 5. Let t be x(0). Let k = 5 - t. Suppose -v + 2*b = -k*b - 10, 5*b = -15. Solve y - v = 1 for y.
5
Let g(m) = 2*m**2 - 12*m - 18. Let s be g(9). Suppose 0 = -3*y - 4*j + 32, -s = -2*y - 3*y + 2*j. Solve 2*l = -0*l + y for l.
4
Let p(k) = -2*k + 4. Let b be p(-22). Suppose 7*d = 10*d - b. Solve 0 = -12*o + d*o for o.
0
Suppose 0 = -2*z - 5 - 5, 0 = t + 4*z + 63. Let h = t - -43. Solve h = -3*q + 3 for q.
1
Let o = 30 + -33. Let w be ((-14)/35)/(o/30). Solve -12 = p - w*p for p.
4
Let i = -1502 + 1587. Solve 6*z + i = 23*z for z.
5
Let h = -140 - -147. Let w(o) = o + 9. Let j be w(-4). Solve 0 = -j*t - 18 - h for t.
-5
Let w(y) = -y - 3. Let x be w(-3). Suppose 0 = z - 2*z + 23. Let q = z + -15. Solve x = -2*d - 0*d + q for d.
4
Suppose b + 18 = 30. Solve -5*w + 2*w = -b for w.
4
Let g(h) = -h - 16. Let z be g(-31). Solve -5*v + 25 - z = 0 for v.
2
Suppose 8*f = 23 - 7. Suppose 5*u = -4*j - 5, 0 = -5*j + 4*u + 5 - 1. Solve p + f*p + 3 = j for p.
-1
Let o(i) = i**2 + 18*i + 57. Let j be o(-15). Solve 53 - 5 = -j*x for x.
-4
Suppose -4*g = -2*v - 854, -20*g + 3*v = -23*g + 636. Solve 25*i + g = 88 for i.
-5
Let h be (2/4*0 - -2) + -2. Suppose h*g = -3*f + 4*g, -4*f + 4*g = 0. Solve -t + 0*t + 4 = f for t.
4
Let s be -3*(-5)/(-75)*5. Let f be (s*0/(-1))/(-2 + 1). Solve f = -3*o - 0*o for o.
0
Let t be 38/1 - (4 - 2/2). Suppose -4*m = 3*j - t, 7*j - 2*m = 3*j + 54. Solve -j + 1 = 3*x for x.
-4
Suppose 6*a = 59 + 43. Suppose 3*t + 8 = -3*y - y, 2*t + 5*y + a = 0. Suppose c = -2*s - 6, 2*c - t*c + 2*s = -12. Solve -u = c + 1 for u.
-3
Let h be ((-2)/3)/(2/120*-2). Solve 53*b - 57*b = h for b.
-5
Suppose 29*j - 196 = 7. Solve -j + 27 = 5*k for k.
4
Let p(w) = -w + 3. Let z(m) = 2*m + 15. Let t be z(-6). Let n be p(t). Suppose 5 = 3*c - 4. Solve n = -c*s + s for s.
0
Let l(d) = -19*d - 16. Let b be l(-1). Solve 4*c + 19 - b = 0 for c.
-4
Let a(w) = w**3 + 17*w**2 + w + 19. Let x be a(-17). Suppose x*z - 13 + 9 = 0. Solve z + 0 = c for c.
2
Let u(z) = 2*z + 37. Suppose 0 = 2*k - 3*w + 35, -2*k + 2*w - 34 = -0*w. Let y be u(k). Solve y*g - 9 - 1 = 0 for g.
2
Let a = -2 + 0. Let r(z) = -z**3 - z**2 + z - 2. Let g be r(a). Suppose g = -5*k + 5*l + 40, 6*k + l - 12 = 2*k. Solve 2*o = k*o - 10 for o.
5
Let y be 1/2 + (-6)/(-4). Suppose 3*n - 12 = 0, n - y*n + 2 = -h. Suppose -2*d + 2*c = -0*d - h, -2*d = c + 1. Solve d = -5*z - 4 - 1 for z.
-1
Suppose 30 + 26 = 7*n. Solve f - 3*f = n for f.
-4
Let d(o) = -o**2 + o. Let r be d(0). Suppose -2*b = -4, r = -t + 4*b + 3 - 8. Solve 0 = p - t - 1 for p.
4
Let j(i) = i**3 - 7*i**2 + 5. Let a be j(7). Suppose -a*x + 2*g + 71 = 0, -g + 3*g = 3*x - 41. Solve -m = -4*m + x for m.
5
Let y(d) = -d**3 + 13*d**2 - 11*d - 12. Let f be y(12). Solve f = t - 2 - 0 for t.
2
Suppose 0 = c + 4*a - 70, c - 4*a = -c + 80. Suppose 3*f + 3*o = 8*f - c, 30 = 5*f + o. Solve -1 = -2*b - f for b.
-3
Let d be -5 - (-2 - (12 - 30/6)). Solve -27*r + d = -26*r for r.
4
Let m(g) = 2*g + 12. Let x be m(-12). Let l be x/(4 - 1) - -9. Solve 2*s + 1 = -l for s.
-3
Let p = 704 + -703. Solve -6*b = -p - 5 for b.
1
Let k = 6 - 3. Let d(j) = j - 7. Let p be d(9). Suppose -6*b + 2*b + 5*a - 2 = 0, p*b + 4*a = 12. Solve b*o = k*o for o.
0
Let p = -399 - -408. Solve p = 2*q + 1 for q.
4
Let w = -35 + 39. Solve w = 2*u + 14 for u.
-5
Let y = -290 + 293. Solve 2*i + 13 = y for i.
-5
Suppose 63*k - 9 = 60*k. Solve 0 = r - 5 + k for r.
2
Let s(x) = -x**3 - 6*x**2 - x - 6. Let g be s(-6). Suppose 3*h + h - 16 = g. Solve 0 = -2*p - 2 - h for p.
-3
Suppose -9*y = -25 - 110. Solve 17*u = y*u for u.
0
Suppose 5*c = 3*c + 40. Suppose -26 - 1 = -3*t + 3*f, 17 = t - 3*f. Suppose -h - t*i = -0*h + 11, i = -3. Solve -h*z - z = -c for z.
4
Suppose 0*n - 10 = -2*n. Let r = -608 - -611. Solve n*h - 6 = r*h for h.
3
Suppose 3*c = -2*y + 9, 5*c = 177*y - 175*y - 17. Solve f = -y*f - 3*f for f.
0
Let a = -84 + 96. Suppose 2*s - 4*s - 6 = -4*u, 5*s - u = a. Solve z = 2*z + s for z.
-3
Suppose 0 = -2*q + 8, 4*q - 2 = n + 6. Solve -c = 3*c - n for c.
2
Let j be (-4)/((-84)/36 - -2). Solve 9 = j*r - 27 for r.
3
Let y be (13/39)/(2/30). Solve -10*q + y*q + 15 = 0 for q.
3
Suppose -3*w = 3*a, 6*w + 20 = 8*w - 3*a. Solve y - 20 = -w*y for y.
4
Let l(h) = h**2 + 11*h**2 - 5*h**2 + 11*h**2. Let p be l(-1). Suppose c - p = -0*c + 2*v, 4*c = 4*v + 60. Solve 2*u - 4 = -c for u.
-4
Let i = 189 + -188. Solve 0 = 6*z + 31 - i for z.
-5
Let k be (-2 + 1 - -2)/((-9)/(-36)). Solve 28 = k*x + 12 for x.
4
Let s(r) = -5*r + 1. Let a(o) = 6*o. Let i(b) = 4*a(b) + 5*s(b). Let w be i(-10). Solve 10 + w = -5*g for g.
-5
Let s be (8/(-3))/((-8)/12). Suppose 2*z - s*o + 2 = 0, 5*o - 21 + 5 = -2*z. Let t(j) = j**3 - 4*j**2 - 12*j + 1. Let b be t(6). Solve b = -2*c + z for c.
1
Let g = -16 - -19. Let m be ((-1)/(-2))/(g/18). Solve 0 = 2*i - 5 + m for i.
1
Let l(f) = -f**2 - 7*f + 6. Let u be l(-4). Let w = -15 + u. Solve 28 = -5*x + w for x.
-5
Suppose p - 8 = -p. Suppose p*q - 22 = -3*u + u, 5*u = -2*q + 23. Solve 0 = -u*b + 5 - 2 for b.
1
Let m(y) = -y**2 - 12*y - 20. Let a = -15 - -6. Let q be m(a). Let t(r) = -r**3 + 7*r**2 - r + 7. Let o be t(q). Solve 2 = -2*g - o for g.
-1
Let x(z) = -13*z. Let s be x(2). Let p be (3 - (-2 - -2))*s/(-39). Solve p*c + 6 = 2 for c.
-2
Let w = 23 - 21. Suppose 0 = -w*y + 8 - 4. Solve y*z + 2*z - 8 = 0 for z.
2
Let j = -9 - -13. Suppose -f = -2*v - 8, -j*v = -2*f - 8*v. Let t = 101 + -100. Solve -m + t + f = 0 for m.
5
Let w(q) = q**3 + 11*q**2 - 12*q + 3. Let a be w(-12). Let t be (-3)/4 - a/(-4). Solve 3 = -n - t for n.
-3
Let r be (-4)/((-80)/12) + 63/45. Solve -15 + 9 = -r*p for p.
3
Suppose 5*t = 2*w + 29, 67*w + 1 = t + 69*w. Solve -4*u + 3*u - t = 0 for u.
-5
Let b = -45 - -46. Let a be 9 + b - (-3 - (-7 + 1)). Solve a*z = 5*z for z.
0
Let h be (-5)/(-4)*(-1424)/(-89). Solve 4 = h*u + 84 for u.
-4
Suppose -5*r = 4*m + 10, -5*r = -6*r + 3*m + 17. Solve -r*w = -w for w.
0
Suppose 0 = 4*r - u - 133, 2*r + u + 2*u = 63. Suppose -4*b + 32 = p, -5*p + 1 = -4*b + r. Solve -b*a = -7*a + 5 for a.
-5
Let m(v) = -2*v**2 + 2*v + 14. Let r be m(3). Solve 6 = 2*y - r for y.
4
Let p(u) = u + 1. Let h(o) = -9*o - 3. Let k(q) = -5*q**3. Let a be k(1). Let z(b) = a*p(b) - h(b). Let y be z(1). Solve y*t = t for t.
0
Suppose -2*i - 8 = 0, -3*a + 0 + 16 = -i. Solve 5*z - 9*z + a = 0 for z.
1
Let m be ((-6)/8)/(12/(-48)). Suppose 3*k = m*r + 66, -3*k - 108 = 5*r + 26. Let x = 25 + r. Solve x = -2*g + 5*g - 12 for g.
4
Suppose 42*p - 134 = -25*p. Solve 3*r = p*r + 1 for r.
1
Let o = -11 + 59. Suppose 11*j - 7*j = -o. Let x be (-5)/((-15)/j) - -9. Solve 2 = -x*f + 12 for f.
2
Suppose 2*f + 8 = q, 4*q - 3*f = 2*q + 13. Solve -4*o + 10 = -q*o for o.
5
Let k(s) = -s**2 + 8*s - 13. Let i be k(4). Suppose -36 = -i*g - 18. Solve 3*u - 3 - g = 0 for u.
3
Let n(k) = k**3 - 3*k + 1. Let c be n(2). Let a be -4*(1/(-2) - 0) + 6. Let u = a - 1. Solve -u = -2*w + c for w.
5
Let s(r) = r**2 - 10*r + 13. Let c be s(9). Let k = c - 2. Let f = -1 + 2. Solve 0 = k*a - 3 + f for a.
1
Suppose 5*o - 2*v + 24 = 2*v, -o + 5*v = -12. Let t be 2 + 2 + 7 + o. Solve -t*q + 0 = 3 for q.
-1
Let r = 13 - 4. Let v(z) = -2*z + 18. Let i be v(r). Suppose i = o + 4*o. Solve o = x - 2*x for x.
0
Let n = -276 + 279. Solve 24 = n*r + 9 for r.
5
Let g(p) = -p**3 - 8*p**2 + 2. Suppose -6*f - 150 = -102. Let y be g(f). Suppose -h + 9 = i, i - 2*h - 12 = 6. Solve -i = -m - y*m for m.
4
Let t be (6/(-24))/((2/8)/1).