for w.
-2
Suppose -3*u - 12 = -4*u. Let m be ((-6)/u)/(2/8). Let p be ((-6)/5)/(m/5). Solve 2*i - 5 = p for i.
4
Let d = -4 - -19. Suppose 2 = -f - 3*r - 4, d = -5*r. Solve 3*u + 9 = f for u.
-2
Suppose -2*l + 0*l = 2, -l + 2 = 3*j. Solve 3*u - 8 - j = 0 for u.
3
Let f = -22 - -24. Solve 0*i + 2 = -f*i for i.
-1
Let j be -5*(0 + 12/(-15)). Let z = -50 + 70. Solve m = -j*m - z for m.
-4
Suppose n - 11 = -3*a + 2*n, -3*a - 2*n + 23 = 0. Solve -a*o + 19 = -1 for o.
4
Suppose -3*q + a = -5 - 9, 0 = 5*q - 5*a - 10. Let x = -8 + 11. Suppose v - q = -x. Solve 0*i = -v*i for i.
0
Let s(r) = r + 19. Let j be s(-17). Solve -2*t + 16 = j*t for t.
4
Let u(l) = -l - 1. Suppose -8 = -0*k - 4*k - 2*v, 4*k - 8 = 5*v. Let z be (-8)/4 + (-4)/k. Let m be u(z). Solve -11 = -m*s - 2 for s.
3
Suppose -c = s, -12*c + 11*c - 4 = 0. Solve 18 = s*m - 2 for m.
5
Suppose -3 = s - 2*y - 11, -3*s + 3*y + 12 = 0. Suppose -2*m - 4*v + 36 = s, -3*m + 2*m + v = -3. Let q be 4/10 - 8/(-5). Solve q*o + m = -0 for o.
-4
Let o(b) = b**2 - 10*b - 3. Let g be o(10). Let z be (-6)/(36/10)*g. Solve z*k - 10 = 15 for k.
5
Suppose 19 = 5*u - 1. Let b = -19 + 19. Solve b = -0*t + u*t + 8 for t.
-2
Let y(r) = -r**3 + 4*r**2 - 4*r. Let t be y(2). Solve t = -3*b - 1 + 13 for b.
4
Let m be (-2)/6 - 160/24. Let g = -7 - m. Solve 0*q - q = g for q.
0
Let m(s) = s**2 + 3*s - 5. Suppose 2*u + 5 = -5. Let p be m(u). Solve 0 = -4*f - 1 + p for f.
1
Suppose 2*y = 5*n - 12, -3*y - 3 = -0*y. Let t(o) = -o**3 + 2*o**2. Let x be t(n). Solve x = -5*b - 10 - 0 for b.
-2
Let z(l) = -4*l + 1. Let n be z(-1). Suppose 2*t + 5*d - 11 = 0, 5*t - 2 = n*d + 8. Solve -t = 2*g + 7 for g.
-5
Suppose 10 = o - 16. Suppose -4*h = 3*r - o + 6, h - 3*r - 5 = 0. Suppose 5*q + 3*b - 102 = -b, -h*b + 15 = 0. Solve 6 = 4*k + q for k.
-3
Suppose 0 = -5*i + 6*i - 1. Suppose -2*y - 5*m = i, 2*m + 0*m = -2. Solve 2*u - y = -0 for u.
1
Let z(r) = -r**2 - 12*r - 5. Let f be z(-5). Suppose 0 = -2*h - 5*b + 35 - 6, 5*h = -4*b + f. Solve -h*u = -4*u - 6 for u.
-3
Suppose 2*m = k + 133, -2*m + 128 = -0*m - 2*k. Let v be m/18 + (-3)/(-18). Solve 0 = -2*l - v + 2 for l.
-1
Let v = 28 + -24. Solve v*a - 5 = -1 for a.
1
Let l(t) = 4*t**2 + 4*t + 1. Let b(j) = -21*j**2 - 21*j - 6. Let c(d) = 2*b(d) + 11*l(d). Let y be c(1). Solve 2*a - y*a = -3 for a.
3
Let i = -17 - -23. Solve a + a - i = 0 for a.
3
Suppose 0 = 3*i - 2*s - 14, -2*i + 5 = -5*s - 8. Solve -i*w + 10 = w for w.
2
Let x(v) = -2*v + 6. Let r(h) = h - 7. Let g(n) = -4*r(n) - 3*x(n). Let w be g(7). Let z = w + -9. Solve z = q + 4*q for q.
3
Suppose 2*g = 1 + 11. Let q be 10/g - (-2)/(-3). Let r = q + 3. Solve 3*z + r = 13 for z.
3
Suppose 4*x = -4*g - 49 + 17, 4*g + x + 17 = 0. Let d = 4 + g. Let q be (3/d - 3) + 20. Solve 6*l - 2*l - q = 0 for l.
5
Suppose 3*n - 5 + 2 = 0. Let m(p) = -p**3 + 2*p**2 - 1. Let g be m(n). Suppose -5*l + g + 15 = 0. Solve -14 = l*v - 2 for v.
-4
Let o = -10 + 18. Suppose o = -5*t + 23. Suppose 30 = 5*r - 2*r - t*g, -5*g = -4*r + 36. Solve -r = 4*d + 6 for d.
-5
Let q(p) = 2 - 3*p - 1 + 2*p. Let g be q(-1). Suppose 0 = -3*s + 9. Solve g*f - s = -7 for f.
-2
Let u(d) = d. Let n be u(3). Solve -2*t - n*t + 5 = 0 for t.
1
Suppose 18*p = 7*p + 13*p. Solve p = -2*w + 4*w - 4 for w.
2
Let m = -161 + 163. Solve -l - m*l = -9 for l.
3
Suppose -13*o + 16 = -9*o. Solve -o*d = -0*d for d.
0
Let m be 2 + 1 - (0 - 1). Suppose 11 = m*y - 1. Suppose -2*g = q - 1, 5 = 3*q + 2*q + 3*g. Solve q - y = t for t.
-2
Let s(t) = -t**3 + 7*t**2 - 5*t. Let h be s(6). Let l be h/(-24) - 9/(-4). Solve 8 = 4*f - l*f for f.
4
Let d be -6*8/6 + -3. Let u = 18 + d. Suppose 2*i - 3*c = -0*i + 17, 0 = i - c - u. Solve i*b + 6 = -14 for b.
-5
Let l = -103 + 105. Solve -5*x = -l*x for x.
0
Let i = -4 + 6. Solve 0 = -i*x + x for x.
0
Let o be 3 - 0/(3/(-1)). Suppose 0*x = -o*x - 3. Let r be 6 + x*(1 - 2). Solve 2 = -5*c + r for c.
1
Suppose -3*p = 5 + 16. Let c = 8 + p. Solve -q + c = 3 for q.
-2
Let g be (6/(-9) + 2)*3. Suppose 0 = g*v - v + 3*u - 3, 4*u = -16. Suppose 3*n + v = 8*n. Solve -5*q + 11 = n for q.
2
Let j(l) = -l**3 + l**2 + 3. Let m be j(0). Solve 0 = m*y - 17 + 5 for y.
4
Suppose 38 + 22 = 5*k. Solve 0 = -7*p + 4*p - k for p.
-4
Let g be ((-4)/10)/((-2)/50). Suppose 5*p - 3*o - 108 = 0, 5*p = -g*o + 5*o + 140. Solve 0 = -5*u - 1 - p for u.
-5
Let h(k) be the second derivative of -7*k**5/20 - k**2/2 + 4*k. Let p be h(-1). Solve q + p = -2*q for q.
-2
Suppose s = 4*s - 6. Let o(a) = -a**3 + 7*a**2 - 6*a - 4. Let h be o(6). Let u be h/(-8) + (-45)/(-6). Solve -s*r = -u - 2 for r.
5
Let n(j) = j + 9. Let y be n(-5). Let c be ((-3)/y)/(3/(-12)). Suppose -c*b + 21 = 3. Solve -5*r = -b*r for r.
0
Let s = 3 - 0. Solve -s*h + 2 + 13 = 0 for h.
5
Let z = 11 - 7. Suppose -m + z = 2*w, -m = -6*m - 2*w + 12. Let h be 2/2 - (11 + -10). Solve -3*g - m - 1 = h for g.
-1
Suppose 3*q - 4*f = -2*f + 53, 4*q - 2*f = 72. Suppose 4*g + 2*c = 8, -5*g = -0*g - 2*c - q. Solve j + 1 - g = 0 for j.
2
Suppose 0 = 2*r - 6, 23 + 12 = 4*l + r. Solve -y = y - l for y.
4
Suppose 0 = -k + 2*k, -4*k - 9 = 3*x. Let h(n) = -n**3 - 4*n**2 - 3*n + 4. Let t be h(x). Suppose -2*v + t = -0*v. Solve -v - 3 = u for u.
-5
Suppose 0 = -5*c - 15, -r - 4*c + 2 = 14. Let n(x) = x - x**2 + 0*x**2 + 3 - x**3 + r. Let w be n(0). Solve 3*y - w = 6*y for y.
-1
Let z = -15 - -19. Suppose 6 = z*r + 2*w, 4*w - w = -r + 4. Solve 0*j = -j - r for j.
-1
Let z be 5/(-2)*(-7 + -1). Suppose n = -3*y + 4*n + 18, -n = -3*y + z. Let a = 2 - 2. Solve a = -4*j - 9 - y for j.
-4
Suppose 4*t + s - 23 = 0, 5*t + 5*s = 12 + 13. Solve -g = 2*g - t for g.
2
Suppose -4*c = -c - 9. Let a be (-36)/(-10)*100/15. Let k be ((-2)/3)/((-4)/a). Solve -c*o + 5 = -k for o.
3
Let g be ((-23)/46)/((-1)/24). Solve 3*b - g = -b for b.
3
Let f(j) = -j**2 + 8*j. Let u be f(8). Solve 4*m + u*m = -20 for m.
-5
Suppose -x + 0*x + 3 = 0. Suppose 2*g - 12 = -2*v + x*g, 2*g = -v + 1. Solve v*n + 12 = -13 for n.
-5
Let w be -10 - 2/(-2) - -1. Let l be ((-3)/(-1))/((-6)/w). Solve 0*j - l*j = 4 for j.
-1
Let x be 2/5 - (-608)/80. Solve 0 = -4*t - 12 - x for t.
-5
Let q(a) = -a**3 + 11*a**2 - 10*a + 7. Let h(m) = -m**3 - 6*m**2 - 4*m - 7. Let w be h(-6). Suppose -3*p + 13 = -w. Let n be q(p). Solve s = n - 2 for s.
5
Suppose -x = -4*x + 9. Let l = -16 + 16. Solve -x*z + 3 = -l for z.
1
Suppose 85 = 5*o + 6*t - 3*t, 2*t = -2*o + 30. Solve -3*v = 2*v + o for v.
-4
Let t be (1 - 11) + -1 - -1. Let b be ((-12)/5)/(4/t). Solve 3*x = x - b for x.
-3
Let l(a) = -a**2 + 6*a - 2. Let u be l(5). Suppose -2*p = u*c + 23, -4*c + 5*c + 2*p + 13 = 0. Let z(f) = -f - 5. Let t be z(c). Solve t = b + 3 - 7 for b.
4
Let m = 48 - 38. Solve m = -f + 6*f for f.
2
Suppose 5*w = 2*b + 1 + 3, -6 = -2*w + 3*b. Solve j + w + 3 = 0 for j.
-3
Let m be ((-40)/8)/((-2)/4). Suppose m = b + 8. Solve 0 = b*t + 1 + 9 for t.
-5
Let q = -56 - -71. Solve 0*f + q = 5*f for f.
3
Let a(n) = -n**3 - 5*n**2 - 2*n + 4. Let z be a(-3). Let p be (-30)/z - 18/24. Solve 0 = p*k - 0*k + 3 for k.
-1
Suppose 0 = 2*w - 6 - 4. Let c(b) = 4*b**2 - 2*b - 2. Let q be c(-1). Suppose -3*m = -7*m. Solve q*k - w*k - 3 = m for k.
-3
Suppose 0 = -0*f - f + 3*v + 15, 2*f + 3*v + 6 = 0. Solve 11 + 1 = f*n for n.
4
Suppose -3*l = -14 + 2. Suppose -20 = -2*b + l*b. Let n be (-104)/b - (-2)/(-5). Solve 3*p + n = p for p.
-5
Let o(i) = -i**2 + 10*i - 5. Let p be o(9). Solve 0*d + 20 = -p*d for d.
-5
Let q be ((-1)/(-5))/((-6)/10)*-6. Solve q*k - 3 = -k for k.
1
Let m(a) be the second derivative of -a**4/12 - 7*a**3/6 + a. Let c be m(-6). Solve 0 = 2*v - c*v for v.
0
Suppose 2*g - 1 = -13. Let c(z) = z**3 - 5*z**2 - 9*z + 9. Let k be c(6). Let i = g - k. Solve -i = v - 7 for v.
4
Let h(w) = -w**2 + 4*w + 7. Let z be h(5). Let x = -6 + 6. Suppose -z*f - g + 39 = x, 3*f - g - 61 = -0*f. Solve 0*u + 4*u - f = 0 for u.
5
Suppose 0*x + 22 = 2*x + 5*a, 90 = 5*x - 5*a. Solve -x = 4*d - 0*d for d.
-4
Suppose -9 = b + 4*n + 1, -n + 3 = 3*b. Suppose 0*k = k. Let c = b + k. Solve 2*t = 4*t + c for t.
-1
Let n(y) = -y**3 + 6*y**2 + y + 4. Let f be ((-24)/28 + 0)*-7. Let d be n(f). Solve d = -3*a - 5 for a.
-5
Let q(j) be the third derivative of -j**4/12 - 2*j**3/3 + 2*j**2. Let w be q(-5). Solve w*u = u - 10 for u.
-2
Let y(n) = -n**3 - 7*n**2