 3 for u.
3
Suppose 10 = 4*s - 30. Suppose 2*x + 4*a + 10 = 0, 4*x = a - 3*a + s. Suppose 0 = -5*m + x + 5. Solve 12 = m*c + c for c.
4
Suppose 4*p = -20 - 24. Let k = 0 - p. Let d = 15 - k. Solve i + 6 = d for i.
-2
Suppose n + 0 + 1 = -m, -m + n + 1 = 0. Suppose w = -m*w. Solve 0*u - 5*u - 10 = w for u.
-2
Suppose -r = 4*s - 16, -3*r - s + 19 = -51. Suppose 2*v = -2*v + r. Solve 0 = -p + 3*p + v for p.
-3
Let i(u) be the third derivative of u**4/24 - 5*u**3/2 - 4*u**2. Let r be i(17). Solve 2*h = -2 - r for h.
-2
Let k = 0 + 20. Let s be (10/(-30))/(2/(-18)). Solve -f - k = s*f for f.
-5
Suppose 0 = -3*x - 6. Let a = x - -4. Solve -7*k = -a*k + 25 for k.
-5
Suppose 5*n = 3*n. Suppose -3 = 2*y - y. Let v = y + 5. Solve n = q - 7 + v for q.
5
Suppose 5*f + 3*w - 25 = 6*f, f + 4 = -4*w. Let l = f - -23. Solve -2*a + 10 = -l*a for a.
-2
Let p(c) = c**3 - 5*c**2 + 4*c + 2. Let q be p(5). Let b = -14 + 21. Suppose q = 5*f + b. Solve h + 4 = f*h for h.
2
Let x = -4 - -4. Solve -9*p + 4*p - 5 = x for p.
-1
Let u(f) = -f + 9. Let x be u(5). Let q = 6 + 2. Let m be (1 - 5)*6/(-12)*1. Solve -m*d = -x*d + q for d.
4
Let d(l) = -l - 4. Let t be d(-2). Let f be 3*1 + t + 4. Solve -15 - f = -4*c for c.
5
Suppose 2*l + 11 = -4*z + 1, -2*l + z + 10 = 0. Suppose 7*x = l*x + 4. Solve 5*p + 9 + x = 0 for p.
-2
Suppose -3*c = c - 48. Solve 3*y - 6*y - c = 0 for y.
-4
Let z(t) = t**3 + 9*t**2 + 3. Let y be 78/(-9) + 3/(-9). Let w be z(y). Solve 0 = w*i + i - 16 for i.
4
Suppose 3*n - 15 = 3*h - 150, 5*h - 2*n - 240 = 0. Let d be 10/45 - h/(-18). Solve -d*v - 1 = 2 for v.
-1
Let b(i) = 3*i - 1. Let v be b(1). Suppose v*s = -5*p + 14, -2*p + 5*s + 35 = 3*p. Solve 6*k - 2*k = -p for k.
-1
Let m be (3 - 5)/((-2)/1). Let v be 5/2*(-3 + m). Let c be 6/(-5)*v/2. Solve -12 = c*f - 0*f for f.
-4
Let s(q) = -q**3 + 7*q**2 + 6*q + 11. Let v be s(8). Let w be (-2)/5 - 17/v. Suppose -w*l - 2*n - 2 = 0, -5*l + 3*l - n = 0. Solve 0 = a + l*a - 15 for a.
5
Suppose 6*t = t. Suppose t = h + 4*m + 5 - 3, -24 = -5*h - 3*m. Solve h*b = 3*b for b.
0
Let i be (-1)/4 + 6/24. Let l = i - -2. Suppose u - 4*w + 16 = 3*u, l*u = 3*w - 12. Solve 2*k + 13 - 3 = u for k.
-5
Suppose 0 = 2*d + 3*d - 3*w - 15, 5*d + 5*w + 25 = 0. Solve d*r = 2*r - 2 for r.
1
Let n be ((-10)/(-30))/((-2)/(-96)). Solve 0 = 5*s + 6 - n for s.
2
Let n(x) = x**3 - 7*x**2 + 8*x - 10. Let z be n(6). Let f(q) = 9*q**3 - q. Let o be f(1). Solve o + z = -2*w for w.
-5
Let d(o) = 2*o**3 + o - 1. Let s be d(1). Suppose -s*a = -0*a - 4. Solve a*l + l = -9 for l.
-3
Let d(x) be the second derivative of -x**3/3 - 9*x**2/2 - x. Let g be d(-6). Solve -g*y + 0 = -15 for y.
5
Let q = -12 - -16. Suppose 15 = -q*k + 39. Solve 2*g = -k - 4 for g.
-5
Let n(t) = -t**3 - 21*t**2 + 46*t + 3. Let x be n(-23). Solve k - 2*k = x for k.
-3
Let z be 6/(-7)*(-28)/6. Let k(d) = -d + 14. Let s be k(6). Solve -s = -p - z for p.
4
Let a(v) = -v**3 - 6*v**2 + 5. Let m be a(-6). Suppose -m*j = 13 + 12. Let x be (-102)/j - 8/20. Solve 5*q = q + x for q.
5
Let n = 11 + -11. Suppose n*k - 2*k = -8. Let y(l) = -3*l - 3. Let g be y(-5). Solve g = k*d + 4 for d.
2
Suppose -69 + 65 = -2*s. Solve -s*q + 13 - 7 = 0 for q.
3
Suppose -3*d + 10 = r + 4*r, 2*r - 25 = 3*d. Solve r*k + 12 = 2 for k.
-2
Suppose 24 = 11*h - 3*h. Solve 0*p + h = p for p.
3
Suppose 0 = 4*s + 2*d - 8, 2*d + 18 - 5 = 3*s. Solve -3*g - 6 = s for g.
-3
Suppose 2*h + 2 = 3*l, 5*h - 14 = -3*l + 2. Suppose 0 = -l*p + 7*p - 25. Suppose 4*v - n - 24 = 0, 0 = -2*n - n. Solve a - p = v*a for a.
-1
Let k(l) = -l - 3. Let h be k(-4). Solve 1 = r - h for r.
2
Suppose 100*h - 97*h = 0. Solve h = -3*f - 15 for f.
-5
Let a be (2 - (1 - -3))/(-2). Solve 3*y = 4 - a for y.
1
Let d(z) = -z - 3*z + 2*z + 3. Let g be (1 + -3)/(12/18). Let b be d(g). Solve 0 = -2*p - b - 1 for p.
-5
Let m = 129 - 123. Solve t = m*t for t.
0
Suppose c - 4 = -1. Let p = 1 - c. Let o be 4 - (-1 - p*1). Solve 5 = -o*y + 2*y for y.
-5
Let l(m) = -1 - 2*m - 2*m + m + 4*m. Let j be l(4). Solve j*y + 2 = y for y.
-1
Let z(t) = 2*t + 5*t**2 - 8 - t**3 + 0 + 1. Let c be z(5). Solve 2 + 4 = -c*n for n.
-2
Suppose 2*x + 2 = -2. Let d = x + 2. Solve r + d*r = 0 for r.
0
Let h(g) = -g**2 - 6*g. Let x be 2/(2/(-5) - 0). Let p be h(x). Suppose 2*l - 30 = -n - 4*n, p*n = l + 45. Solve n + 12 = 5*s for s.
4
Suppose 3*j + 3*r = 30, 2*j - 7 - 23 = -4*r. Solve j - 2 = n for n.
3
Let k = -100 - -104. Solve -5*v - k = -9 for v.
1
Let t be 2/12 - (-424)/48. Suppose -3*j + t = -3*p, 3 + 12 = 5*j + 2*p. Solve 0 = -j*v - 4 + 1 for v.
-1
Suppose -38 = -2*w - 4*t, 0 = -2*w + 2*t + 8. Suppose r + w = 4*r. Solve 2*k - r = 7 for k.
5
Suppose -5*b + 1 + 19 = 0. Let i = 0 + b. Suppose -i*j + j + 15 = 0. Solve 25 = -j*x + 5 for x.
-4
Suppose -h - 2 = 4*q + 3, -15 = -5*q + 3*h. Let x be q/(-2)*(-5 + 4). Solve -4*f = -x*f + 8 for f.
-2
Let x be (100/(-75))/(1/(-3)). Suppose -3*s = 5*h - s + 2, -3*h - 4 = 4*s. Solve h*w - x = 4*w for w.
-1
Suppose -5*k + 21 = 2*j, -2*k + 3*k - 3*j = 11. Suppose k*a = 0, 3*a - 12 = y - 4*y. Suppose 3*f - 5 = y. Solve f*g - 2*g - 5 = 0 for g.
5
Suppose -3*c + 116 = -4*n, 2*c + 46 = 3*c - 5*n. Suppose -c = -2*i - 4*t, -3*i + 4*t + 1 = -3. Let f = 11 - i. Solve -3*a = -0 + f for a.
-1
Suppose 2*r - 3*r + 16 = 0. Suppose -4*t + 25 = -27. Suppose t + 2 = 3*g. Solve 0 = -l + g*l + r for l.
-4
Let u(j) = j**3 - 4*j**2 + 3*j + 2. Let x be u(3). Solve 0 = 3*b - x - 4 for b.
2
Let d(j) be the first derivative of -j**3/3 - 4*j**2 - 10*j + 2. Let u be d(-6). Solve -u*x = x + 15 for x.
-5
Let h be 4/(-18) + 460/45. Suppose n - 3 = 0, -5*n = 3*u - 5 - h. Solve u = -5*s - 28 + 3 for s.
-5
Suppose 7 = -3*k + 4*r, -r - 23 = -5*k - 3*r. Solve -k*z - z = 0 for z.
0
Suppose -4*x + 7 + 5 = 0. Solve -x + 1 = c for c.
-2
Let c = -18 - -21. Solve -2 = -c*z + 7 for z.
3
Let r = -8 - -14. Let x = 6 - r. Solve -10 = 5*m - x*m for m.
-2
Let u(y) = y**3 - 10*y**2 + y - 10. Let w be u(10). Solve w = g - 0*g for g.
0
Let r be ((-18)/4)/((-5)/10). Solve -6*b = -3*b + r for b.
-3
Let t(a) = -a**2 + 8*a + 3. Let d be 3 + 2*(-1 - -3). Let y be t(d). Solve 0 = 6*r - r + y for r.
-2
Let u = 142 - -9. Let h = -91 + u. Suppose 0*q = -3*q + h. Solve q = g + 4*g for g.
4
Suppose q + 5 = 5*a, 2*a - 5 + 3 = 2*q. Suppose -5*n + 3*j = 6, n - 5*j = a - 11. Solve s + 4*s + 15 = n for s.
-3
Let f(t) = -3*t**2 - 2*t + 2. Let r be 2*(-2)/2*1. Let o be f(r). Let i = 8 + o. Solve i*p = -0*p for p.
0
Let h(t) = 3*t - 3 + t + 10 - 5*t. Suppose 0 = -3*m - 8 + 23. Let k be h(m). Solve -k*p = -6*p + 8 for p.
2
Suppose 0 = 5*k - c - 3*c - 75, 5*c + 14 = -k. Let l(n) = n**3 + 7*n**2 + 6*n - 6. Let r be l(-5). Solve r = 5*i - k for i.
5
Suppose 0 = -2*g - 8 - 4. Let y = 11 + g. Solve -1 - 24 = -y*n for n.
5
Suppose 2*n - n = 0, -n = 2*m + 6. Let j be (0 + 2/(-2))*m. Let c = -29 - -49. Solve -c = 8*r - j*r for r.
-4
Let n = 3 - -5. Suppose -4*g + x = -36, -2*g = -g - 3*x - 20. Solve -4*i - g = -n*i for i.
2
Suppose 4*a = -4*j + 16, -2*a + 3*j = -12 + 4. Let o be (2/a)/(3/(-36)). Let n(r) = -r**2 - 8*r - 1. Let v be n(o). Solve 5*w - 9 = v for w.
4
Suppose 2*q + 24 = 10*q. Solve q*g - 2 = 2*g for g.
2
Let r be (1/(-3) + 0)*-9. Suppose -3*w - n = -r, -3*w - 4*n = -0*n - 12. Suppose c + 5*j - 25 = -c, 4*c - 10 = -2*j. Solve 3*k - 6 + w = c for k.
2
Let y(k) = -18*k + 21. Let w be y(1). Let n be (1/(-3))/((-2)/18). Suppose -n*b = -b. Solve b = 6*v - w*v - 12 for v.
4
Let t = -24 + 28. Let o be (-1 + 3/6)*-4. Solve -2*a + t = o for a.
1
Let d(q) = -27*q - 104. Let n be d(-4). Suppose 0 = 2*u + 4*b - 8, -2*u + 4*u = -5*b + 9. Solve u - n = -l for l.
2
Let o(k) = k**3 - 6*k**2 + 5*k - 1. Let x be o(5). Let p be (6/x)/((-9)/12). Suppose -3*s + 5 = 2*j, 3*s + p = -5*j - 2. Solve s*g - 3*g - 8 = 0 for g.
4
Let p(r) = -r**2 + 2*r - 2. Let h be p(2). Let o = 5 + h. Solve -o*s - 20 = s for s.
-5
Suppose -2*p = 5*d - 107 + 39, -3*d + 56 = 5*p. Let x be (4 - 3) + (-1 - -5). Let r = x + -3. Solve r*v - d = -4 for v.
4
Suppose 9 = 2*m + 3. Suppose -4*g + 5 + m = 0. Solve g*n = -2*n + 20 for n.
5
Let z = 28 - 17. Suppose -2*f + 4*g - z - 7 = 0, -2*f - 4*g = -22. Solve s + 5 - f = 0 for s.
-4
Let x(b) = b**3 - 5*b**2 + 5*b + 1. Let g(i) = i**3 - i**2 - i + 4. Let n be g(0). Let r be x(n). Let l be 6/(-15