 + 1. Let o be w(-7). Suppose -5*u + o = -u. Let a be -2 + u + (-2 - -3). Solve 0 = -3*p - 8 - a for p.
-3
Suppose u - 3 + 1 = 0. Suppose 0 = -3*t + 6 - 0, -2*t = u*q - 44. Solve -q = 3*x + 2*x for x.
-4
Let k = -170 + 170. Solve k = -0*b - 3*b + 9 for b.
3
Let s(z) be the first derivative of -4*z + 2 + 1/4*z**4 + 5/3*z**3 + 0*z**2. Let q be s(-4). Solve 2*i + q = -2*i for i.
-3
Let g(s) = -s - 1. Let f(u) = -u**2 - 7*u - 8. Let b(d) = -f(d) + 6*g(d). Let k be b(-2). Solve 2 = -3*o - k for o.
-2
Suppose -4*p + 4 = -2*n, 4*p = n + 2 + 2. Solve n = -d - d + 10 for d.
5
Let v(l) = -5*l**3 - 2*l**2 - l. Let a = 0 + -1. Let j be v(a). Let u = 48 + -34. Solve 0 = -j*b - 2 + u for b.
3
Suppose 6 - 12 = -2*u. Solve u + 2 = 5*m for m.
1
Let a = 6 + -11. Let w(u) = -u - 6. Let g be w(a). Let t be ((1 - 1) + 0)/g. Solve -4*i + 16 + 4 = t for i.
5
Suppose -2*a - 10 = -5*r, -r - 3*a + 35 = 4*r. Solve -w = -r - 1 for w.
5
Let k(c) = c**2 - 3*c + 3. Suppose 3*v = -0*v + 9. Let y be k(v). Let o be (y/9)/(2/6). Solve -o - 15 = -4*l for l.
4
Let w(i) = 1. Let c(m) = -m + 2. Let k be -1*5/(2 + -1). Let l(j) = k*w(j) + c(j). Let g be l(-6). Solve -d = g*d + 4 for d.
-1
Suppose 3*c - 14 = -4*s + c, 0 = 3*c + 9. Let j(n) = n + 8. Let p be j(4). Solve -s*x - 3 = p for x.
-3
Suppose -6*b + 3*b = 87. Let x be (-3 - b)*(-2)/(-4). Solve -4*d + 5 = x for d.
-2
Let s(p) = -p**3 - 31*p**2 - 31*p - 30. Let t be s(-30). Suppose 4 = -3*g + 13. Solve -g*j - 2*j + 10 = t for j.
2
Let p be -5*(-1 + 2/5). Suppose -p*r = -3, 2*r = -4*f + 33 - 11. Suppose f*y + 2*x = 1 + 10, 5*x = -5*y + 5. Solve a = -y*a for a.
0
Let v be 11 + 1 + -2 + 1. Let y = -11 - -15. Let b = -1 + y. Solve -v + 2 = b*m for m.
-3
Suppose 2 + 0 = -j. Let x = 1 + j. Let n = x + 6. Solve n*k = 2*k - 12 for k.
-4
Suppose 6*u - 7 = 5. Solve 0 + 2 = -u*f for f.
-1
Suppose 60 = 8*b - 4*b. Suppose 0 = -2*v - 3*v + b. Solve -z = v*z - 4 for z.
1
Suppose -5*s - 5 = 4*v + 5, 6 = v - 3*s. Suppose 4*l + 12 = v, -2*j - 7*l = -2*l + 7. Solve -m + 5 = j for m.
1
Let i = -20 + 23. Solve 0 = -i*d + 3 - 0 for d.
1
Let c = 0 - -1. Let n(z) = -2*z**2. Let a be n(c). Let h be ((-4)/5)/(a/10). Solve 0*m + 4*m = h for m.
1
Let w(t) be the first derivative of -t**3/3 - 9*t**2/2 + 2*t + 2. Let j be w(-9). Solve -3*l + l = j for l.
-1
Let d be 6/(-4) - (-70)/4. Suppose -5*p + p = -d. Solve -t + 3 = p for t.
-1
Let g = -4 - -6. Let t = 0 - -3. Solve t + g = p for p.
5
Let j(i) = 6*i + 4. Let h be j(6). Let d = 10 - 5. Suppose 0*g - d*g + h = 0. Solve -g = t + t for t.
-4
Suppose -5*y - 2*x + 6*x + 13 = 0, 2*y = 3*x + 1. Let c(t) = -t**2 - 6*t + 2. Let r be c(-5). Suppose -3*o = -r*o + 8. Solve 3*s = -o*s + y for s.
1
Let r be 3/(2/(-66)*-9). Solve 36 - r = 5*n for n.
5
Let g(p) = 6*p**2 - 1. Let j be g(-1). Suppose -10 = 2*h - j*r, 2*h + 5*r = 2*r + 6. Suppose -3*f + 9 = -h*f. Solve n - 1 = f for n.
4
Let h = 112 + -102. Solve 3*w - h = -4 for w.
2
Let t = -1 + 7. Let i(l) = l**3 - 7*l**2 + 5*l + 7. Let j be i(t). Let m be 3/12 - (14/(-8))/(-7). Solve -2*f + j - 7 = m for f.
-3
Let b(x) = 9 + 3*x - x + 2 - x. Let u be 3*6/(-15)*5. Let l be b(u). Solve 0 = -l*k - 0*k - 15 for k.
-3
Suppose -3*z - 11 = -41. Solve -z = -6*x + 4*x for x.
5
Suppose 3*d - 2 = -5. Let i = 1 + d. Solve 3 = 3*b - i for b.
1
Let h(t) = -10*t + t**3 + 5*t**2 + 3*t + t**2. Let n be h(-7). Solve 6*s - 3*s + 15 = n for s.
-5
Suppose -g - 2*v = -0*g, 2*g - v = 10. Solve 5*c + 6 = -g for c.
-2
Let q be (-9)/6*(-8)/6. Solve q*x - 4 = -2 for x.
1
Let k = -5 - -8. Let x = 4 - k. Solve -4*n + 11 = -x for n.
3
Let l(u) = u**2 + 6*u - 22. Let n be l(-9). Solve 5*w + n - 30 = 0 for w.
5
Suppose -l + r + 0 = -4, -2*l = 3*r - 3. Solve -l*w = -5 + 17 for w.
-4
Suppose -5*j + 4 + 4 = 2*b, -5*b + 20 = j. Suppose -4*w + d + 1 = 4, j = 5*w - 3*d + 9. Suppose 0 = 2*s - 4*s, -f - s = w. Solve f*i = i - 2 for i.
2
Let d be (-10)/45 + (-2)/(-9). Solve -z + d*z - 2 = 0 for z.
-2
Suppose 3*m - m = 12. Suppose n = 4*l + 36, -l + 9 = -n - m*l. Solve 5*y + 1 = n for y.
3
Let t = 17 - 15. Solve -v + 2*v = -t for v.
-2
Let z = 6 - 2. Let u be (0 - 0)*(-1 + 2). Solve -z = -u*r + r for r.
-4
Let n be (-120)/18*(-9 - -6). Let i(x) = 3*x - 3*x**3 - 2*x - 2*x - 1. Let j be i(-1). Solve -j*a - a = -n for a.
5
Let c(s) = s**3 + s**2 - s + 4. Let g be c(0). Let f = 9 - 4. Suppose -f*l = -g - 6. Solve -l*q = -5*q - 15 for q.
-5
Suppose o + o + 26 = 0. Let y = -11 - o. Solve -y = -n - n for n.
1
Let q = -41 - -43. Solve 7*x - q*x - 20 = 0 for x.
4
Let m(o) = o - 4. Suppose 0 = 2*c - 14 - 2. Let v be m(c). Solve -v*u = -u - 6 for u.
2
Let x be ((-8)/(-5))/((-9)/45). Let k(u) = u**2 + 7*u - 7. Let b be k(x). Solve q + b - 4 = 0 for q.
3
Let a(g) = g - 10 - g + 4*g**3 - 5*g**3 + g + 10*g**2. Let n be a(10). Solve n*w = -w + 5 for w.
5
Suppose 3*j = j. Let t(x) = -5*x - 49. Let g be t(-11). Let d = 2 - -1. Solve j = -d*z + z + g for z.
3
Let p(d) = 15*d**2 - 2. Let a be p(2). Suppose -4*l - n = -a + 17, 4*l - 46 = -2*n. Suppose 0 = s - 0*s - l. Solve -3*m + s = -0*m for m.
3
Let l(i) = 2*i**2 + 23*i - 10. Let d be l(-12). Solve -y = d*y + 15 for y.
-5
Let g(u) = -u + 9. Let v be g(5). Suppose v*c - 30 = 2*c. Solve 2*w = -3*w + c for w.
3
Let v(d) = d + 12. Let n(j) = 2*j - 2. Let r be n(-3). Let t be v(r). Solve t*o + 8 = -12 for o.
-5
Let y(v) = v**3 + 9*v**2 + 7*v - 3. Let f be y(-8). Solve -b = -0*b + f for b.
-5
Suppose -5*z + 2*a + a - 51 = 0, -4*z - 4*a - 60 = 0. Let x be z/30 - (-2)/5. Let f = -13 - -21. Solve -4*p + x = f for p.
-2
Let t(l) = -l**3 + 4*l**2 - 2*l - 2. Let m = 2 - 0. Let q be t(m). Let v be 2 + 0 + 1*q. Solve -v*r + r - 15 = 0 for r.
-5
Suppose 0 = -5*p - 20, 0 - 10 = -2*w - 2*p. Suppose -5*a + w = -1. Suppose -3 + 7 = a*b. Solve 4*x = b + 2 for x.
1
Let s(u) = u**3 - 2. Let r be s(2). Let j = 6 + -3. Solve r + 9 = -j*q for q.
-5
Let a be (18/27)/(1/3). Solve 3*g = -17 + a for g.
-5
Suppose 6*m + 24 = 4*m. Let q = 12 + m. Solve j + q + 2 = 0 for j.
-2
Let f be ((-1)/3)/((-1)/(-3)). Let m = 2 - f. Solve 2*b = -b - m for b.
-1
Let f = 62 + -60. Solve -f*m = m for m.
0
Let p be 1 - (-4 - (-3 + -2)). Solve f + f + 10 = p for f.
-5
Suppose -5*g - 18 = -2*p, 42 = 2*p - 4*g + 5*g. Suppose 4*f + 4 = 0, -2*y - 5*f + 4 = -f. Solve -3*q - y = -p for q.
5
Let y be (-5 - -9) + -4 + 2. Suppose -4*n + 6*t = 2*t, -n + 3*t = y. Solve -2*p + 1 = -n for p.
1
Let g(j) = j**2 - 12*j + 11. Let d be g(8). Let i = 41 + d. Solve 3*k + i = 7*k for k.
5
Let c(i) = i**3 + 2*i**2 - 5*i - 3. Let y be c(-3). Solve y*z + 20 = -z for z.
-5
Let c(r) = r**3 + 6*r**2 + 5*r + 2. Let n be c(-5). Suppose -1 = n*z - 9. Solve z = -h + 2 for h.
-2
Let k(o) = -o**3 + 5*o - 3. Let c(z) = -z**3 - z**2 + 6*z - 4. Let s(f) = 2*c(f) - 3*k(f). Let m be s(3). Solve -v + 0 = -m for v.
1
Suppose -2*m + 22 = 4*n, -4*n = 3*m - 34 + 9. Solve n = 5*w - 6 for w.
2
Suppose -2*c - 5 = -b - 4*c, -4 = -4*c. Solve 5*i - b*i + 2 = 0 for i.
-1
Let n(c) = -c**3 + 5*c**2 + c. Let f be n(5). Let w(a) = 2*a - 5. Let s be w(f). Suppose k = -v - 2*k + 15, k - 25 = -2*v. Solve -y + v = -s*y for y.
-3
Let y be 2 - 1 - 12/1. Let k = y + 16. Let n = -5 - -9. Solve 0 = -l - n*l - k for l.
-1
Suppose 0 = -5*k + 86 - 26. Solve k = -b - 3*b for b.
-3
Let k(s) = -6 - s**3 - s**2 + 6 + 2*s**3. Let w be k(0). Solve w - 1 = -x for x.
1
Suppose 3*n = -3*h - 8 - 4, -2*n - h = 3. Suppose c - 3 - n = 0. Solve c*s - 12 = -0*s for s.
3
Suppose -i + 2*s = 7*s - 5, 3*i - 4*s = -4. Solve 3*w + i*w = 6 for w.
2
Let h = -1 + -3. Let a = -4 - h. Let o = 2 + a. Solve x = 3*x - o for x.
1
Let a(k) = -k**3 - 6*k**2 - k - 4. Let j be a(-6). Suppose 0 = 4*f + 3*v - 6, f + 0*f - 8 = -4*v. Let r be 0 + 1 - (f + -3). Solve -r*g - j = 18 for g.
-5
Let p be 2 + (-3 - (-2 - -1)). Let d(l) = -l**3 + 3*l**2 + 4*l. Let b be d(4). Solve p = -v - b*v for v.
0
Let o(y) = y**2 + 6*y + 3. Let x be o(-6). Solve -2*r = -x*r for r.
0
Let o = -15 - -19. Solve -x = 2 - o for x.
2
Suppose 14*s = 17*s. Suppose -c = -v + 1, 2*v + 2*c + 3*c - 9 = s. Solve -v*j + 3*j = 3 for j.
3
Let z(v) = 2*v + 0*v - 4*v. Let d be z(-1). Solve 3*w - 5 = d*w for w.
5
Let d = 7 - 11. Let r(q) = 2*q + 2*q**2 - 5 + 3 + q - q**2. Let c be r(d). Solve -t = c*t - 15 for t.
5
Suppose 2 = k - 0*k. Suppose 5*t = -3*c - k + 