 = g for w.
0
Let x(d) = 9*d**3 - d + 1. Let r be x(1). Let v be 1/(r/6 - 1). Let a be 5 + -2 - v/2. Solve -a*p - 2 - 4 = 0 for p.
-3
Suppose u - 1 + 3 = 0. Let p be ((u - -2) + 0)/(-1). Suppose -3*w + 5*c + 9 = -0*w, p = -2*c. Solve 2*x = -x + w for x.
1
Let d = 9 + -10. Let j be -15*1*d/3. Let t be 1/2 + 2/(-4). Solve -v + j = -t*v for v.
5
Let z be 104/(-39)*(-6)/8. Solve z*j = -2*j + 12 for j.
3
Let b(i) = -i - 13. Let o be b(-12). Let k = 0 + -3. Let s = o - k. Solve s*y = -6 + 4 for y.
-1
Suppose 13 = 5*x - 2*l, 4*x - 3*l = -0*l + 16. Let a = x - -1. Suppose -4*i + 10 = -a*i. Solve i*y - y = -4 for y.
-1
Let h be 96/20 - 3/(-15). Solve 11 = 4*o - h for o.
4
Suppose 31 = -4*b - 13. Let h(u) = u**3 + 10*u**2 - 12*u + 14. Let p be h(b). Solve -3*q = 2*q - p for q.
5
Let g be (1/2)/(5/10) - -2. Solve 3*t + g = 6*t for t.
1
Suppose 3*j = -2*j + 100. Suppose 0*g - 5 = -2*g + v, -j = 4*v. Solve -3*s = -g*s for s.
0
Let f be (-56)/(-3) + 16/12. Solve 3*w = -w + f for w.
5
Suppose 0*o = 4*o - 4*n + 32, 0 = o + 3*n. Let f = 10 + o. Let h be (1 + -1)/(f - 2). Solve -y + h + 5 = 0 for y.
5
Let m be 1*(-1 - -1)/(-2). Solve m = -3*w + 7*w + 8 for w.
-2
Suppose -7*c + 119 - 14 = 0. Solve c = -5*q - 0*q for q.
-3
Let p(b) = -b**3 - b + 8. Let g be p(0). Suppose w = 5*w - g. Solve w + 2 = -h for h.
-4
Let y be 6 - (-12)/4*-1. Solve 4*j - y = j for j.
1
Let n(o) = 10*o**3. Let i be n(1). Let f be ((-12)/i)/(12/(-280)). Solve -f = 3*z - 13 for z.
-5
Suppose 0 = 2*a - 0*a - 4. Solve -a*l = -6*l for l.
0
Let i(c) = -2*c**2 + 4*c - 6. Let b(n) = -2*n**2 + 4*n - 7. Let r(j) = 4*b(j) - 5*i(j). Let t be r(2). Suppose -t*x - 3*x = -35. Solve -3*w + 2 = -x for w.
3
Suppose -2*p + y + 19 = 0, 2*p + y = 12 + 1. Solve -4*l - p + 0 = 0 for l.
-2
Let z(u) = -2*u**2 - 2*u - 1. Let v be z(-1). Let q be 0*v/9*-3. Let p = 0 + q. Solve -4*a + 9 + 3 = p for a.
3
Let c be (-6)/9 - 100/(-6) - 0. Solve 0 = 5*u - u + c for u.
-4
Let k(u) = -u**3 + 8*u**2 - 13*u. Let n be k(5). Solve 0 = -2*x - 2 + n for x.
4
Let m(a) = -4*a**2 - 6*a + 2. Let o(j) = -5*j**2 - 7*j + 2. Let v(l) = 6*m(l) - 5*o(l). Let f be v(2). Solve 0 = f*c + c + 5 for c.
-1
Let p be 225/63 + (-4)/7. Solve -12 + 3 = -p*i for i.
3
Let p be (8/(-24))/((-1)/6). Solve -2*d + d + p = 0 for d.
2
Suppose 2*a = b + 4, 0 = 3*a - 2*b - 2 - 3. Suppose -4*f = -3*j + 9, 11 - 2 = -3*f + a*j. Solve c = -f*c + 4 for c.
4
Let q = 41 - 88. Let d = q - -72. Solve 0 = -8*n + 3*n + d for n.
5
Let r be (3/(-6))/((-2)/12). Solve -9 = r*m - 3 for m.
-2
Let c(p) = p**3 + 6*p**2 - 7*p. Let o be c(-7). Suppose j - a = 10, 2*a + 7 + 3 = 0. Suppose -33 + 8 = -j*b. Solve o = 5*w + b for w.
-1
Let k(v) = -v**3 + 8*v**2 - 4*v - 13. Let x be k(7). Solve 2*w = -0*w - x for w.
-4
Let j be ((1 - 1)/(-1))/2. Let g(i) = 5*i - 2. Let d be g(-1). Let z(o) = o + 7. Let k be z(d). Solve 4*t + k*t + 20 = j for t.
-5
Suppose 0*g - 13 = -q - 3*g, -5*q - g = -23. Solve 11 = -q*y - 9 for y.
-5
Let x = -17 + 20. Suppose 0 = 4*l + 5*j - 1 - 12, -9 = -3*l - 3*j. Let r = 0 + 4. Solve -r*i + x*i = l for i.
-2
Let k(x) = 24*x**3 + 0*x**2 + 2 + 3*x**2 - 23*x**3 - 15*x**2. Let h be k(12). Solve -8 = -5*j + h for j.
2
Suppose -48 = -2*g - 2*g. Suppose 13 = d - g. Suppose d = 4*n + n. Solve -1 = n*m + 4 for m.
-1
Let s = -6 + 9. Let i = s - 1. Let l(m) = -m**2 + 2*m - 1. Let w be l(1). Solve o - i = -w for o.
2
Let t = -35 + 37. Solve -2*z = t*z - 4 for z.
1
Let k(j) = -j**2 - 4*j - 1. Let b be k(-3). Suppose -2*c = b*c - 16. Let v be (-2)/c - (-10)/4. Solve s - v = -1 for s.
1
Let i be (-1 - -1)*(-2)/(-4). Solve 2*j + 0 - 8 = i for j.
4
Let g(r) = -6*r**2 - 2*r - 1. Let w be g(-1). Let a(c) = -c**3 - 6*c**2 - 5*c. Let y be a(w). Let f = y - -5. Solve -3*k + 2 - f = 0 for k.
-1
Let q be (1 - -1)/(-2) + 3. Let d be ((-2)/(2/1))/(2 - 3). Solve 0 = -q*y - 1 - d for y.
-1
Let w = -138 - -142. Let n = 22 - 11. Suppose 5*z - 15 - 10 = c, -z + 5 = 3*c. Solve -z*q + w = -n for q.
3
Let g be 1/((3/3)/7). Let r = 1 + -1. Suppose r = -4*q - 3 + 15. Solve -w + g = q for w.
4
Suppose 0 = q - 4*m + 16, 0 = -5*q - 0*m - 3*m + 12. Let b(y) = -y**3 - 3*y**2 - y + 4. Let j be b(-3). Let a = j - 6. Solve 2*z - a - 3 = q for z.
2
Let a = -20 - -29. Let q = a - 2. Let o be 1*(2 + 0/2). Solve -d = -q + o for d.
5
Let d = 4 + 1. Let v = d + -1. Solve -20 = -v*q - 0*q for q.
5
Let p be 46/4 + 4/8. Let c be 9/p*16/2. Solve -3*r + 0*r - c = 0 for r.
-2
Suppose 8*f = 7*f + 12. Solve -x = f - 10 for x.
-2
Let d be 1/(2/(7 + 1)). Suppose 2*h = -175 + 217. Solve d*y = h - 1 for y.
5
Suppose -4*v + v = -12. Solve 0 = v*d + 7 - 27 for d.
5
Let x = 6 - 4. Suppose 1 = x*m - m. Let b be 18 - 3 - (-1)/m. Solve -c + b = -5*c for c.
-4
Let r = -31 + 31. Solve r = 4*l + l for l.
0
Suppose 0*o + 2*o - 44 = -4*h, -o - 13 = -5*h. Solve 6*l - o = 2*l for l.
3
Let f(l) be the first derivative of l**5/60 + l**4/3 - 3*l**3/2 + l**2 - 1. Let y(h) be the second derivative of f(h). Let o be y(-9). Solve o*w - w = -5 for w.
5
Let d be 3 - (2 - 2) - 0. Solve d*t - 7 - 2 = 0 for t.
3
Let k = 12 - 4. Solve 7 = 3*v - k for v.
5
Suppose 40 = 3*q - 0*j + 4*j, -5*j + 41 = 3*q. Suppose -2*a = -6*a + q. Let p = 0 - 0. Solve a*g - 2 - 1 = p for g.
1
Suppose 0 = 3*n + n. Let k(b) = -b**3 + 10*b**2 + 2*b - 4. Let c be k(10). Suppose 0 = 4*g - c, 7*g - 28 = -4*m + 3*g. Solve n = 3*y - m + 6 for y.
-1
Let p(k) = -2*k - 8. Let q be p(-9). Let o = -13 - -19. Solve 0 = o*b - b - q for b.
2
Let r = -5 - -8. Let u(f) = f**3 - 3*f**2 + 4*f - 4. Let m be u(r). Suppose -5*c - 15 = 0, 0*q + c = 3*q - 21. Solve q*p = 2*p + m for p.
2
Suppose -15 = -4*g - g. Let i = 11 + -6. Solve -i + g = m for m.
-2
Suppose 2*u = -3*c - 0 + 11, 3*u - 13 = -c. Solve u*z - 1 = -13 for z.
-3
Suppose -3*y - 4 = -4*y. Let c = y - 0. Let k be ((-1)/2)/(1/(-2)). Solve -c*x = -k - 19 for x.
5
Suppose -2*b - 3*s - 9 = -4, 3*s + 15 = 0. Solve r - b = 6*r for r.
-1
Let y be (-2)/7 + (-37)/(-7). Suppose -y*f - 13 = -2*g, 0 = 4*g + 4*f - 3*f - 15. Solve -g*x = 7 + 13 for x.
-5
Let u(s) = 3*s**2 + 2*s + 2. Let f be u(-2). Suppose 3*p = 3*y, y - 4*y = -5*p + f. Solve -y*w = 22 + 3 for w.
-5
Let p be 2*(7/2 - -4). Solve x = -4*x - p for x.
-3
Let t(u) = 1 + 4*u**3 - 5*u**3 + 4 + 6*u**2. Let z be t(6). Suppose -z*v = -20 - 10. Solve -5*x = -v*x - 3 for x.
-3
Let l be ((-8)/10)/((-2)/5). Let u be (-10)/35 - l/(-7). Let r be 3*(6 - (2 + u)). Solve 6*n - 3*n = r for n.
4
Let z = 0 - -2. Let k(j) be the second derivative of -j**4/12 + 2*j**3/3 - j**2 - 3*j. Let c be k(z). Solve -c*s + 2 = -s for s.
2
Let p(h) = h**2 + h - 4. Let x be p(-3). Suppose 2*n - 16 = -x*n. Suppose 0 = n*b - 0*b. Solve -4*z + 8 + 0 = b for z.
2
Let t(z) = -z**3 - 6*z**2 + 7*z. Let a be t(-7). Solve a*y + 20 = -5*y for y.
-4
Let f = 0 + 0. Suppose 0*w + 5*w - 55 = 0. Let a = -9 + w. Solve a*p = -f*p for p.
0
Let g(l) = l**2 + l + 1. Let u be g(-3). Let v be u + -5 + 1/1. Solve v + 2 = 5*h for h.
1
Let g(o) = o**3 + 5*o**2 - 3*o + 24. Let r be g(-6). Let s = 13 + -7. Let m = -2 + s. Solve m*i + 10 = -r for i.
-4
Suppose 4*h + 15 = -h, 2*c = 3*h + 13. Let i(g) = g**3 + g**2 + 6. Let r be i(0). Suppose -r = 2*t - 3*t. Solve t = c*w - 0*w for w.
3
Let z(w) = 2*w - 12. Let o be z(6). Suppose 0 = 5*v - 11 - 9. Solve -4*g = -o*g - v for g.
1
Let g = 12 + -10. Let x be (2/(-6))/(g/(-12)). Solve -1 = w - x*w for w.
1
Suppose 2*a + 4*o - 18 = a, -2*o + 18 = 5*a. Suppose -s - a*t = -4, 0*s = -4*s + 4*t + 16. Solve s = -0*i - 2*i for i.
-2
Suppose 2*b = 2*f + 16, 5*f + 24 = b - 0*b. Suppose 2*l - 6 = b. Suppose n + 0*n = l. Solve 0*h = -5*h - n for h.
-1
Let b(z) = -2*z**2 + 8. Let g be b(-2). Solve g*t = -4*t + 4 for t.
1
Let b(n) = n - 7. Let c be b(7). Suppose g = -c*g + 12. Solve -2*t + 5*t + g = 0 for t.
-4
Let q = 9 + -7. Solve -q*p + 1 = -p for p.
1
Let i(v) = -3*v - 15. Let d be i(-6). Solve o - d = 1 for o.
4
Let k be (-6)/(3 - 0) - -2. Suppose -h - 2*h = k. Let o be (-4)/14 + (-46)/(-14). Solve -o*m + 8*m + 20 = h for m.
-4
Let d(v) = -2*v - 10. Let z be d(-6). Solve 0 = -0*j - z*j + 8 for j.
4
Let z be (-1 + 5)*(-2)/(-1). Let r = 8 + -5. Solve -z*h = -r*h for h.
0
Let d = 8 - 0. Solve -4*o + d = -8 for o.
4
Suppose 0 = -0*c - c + 5. Solve -2*w = -w + c for w.
-5
Let t(j) = j + 4. Let g be t(3). Solve