se -2*v + v + 4 = 0. Suppose 5*j = -5*t + 155, j - v*t + 88 = 4*j. Suppose -4*c = -3*u - u + j, c - 15 = -3*u. Solve u = -5*d + 16 for d.
2
Let b = 1 - -1. Let u be -1 - 2 - (1 - 7). Solve -u*s - 11 = -b for s.
-3
Let z(w) be the first derivative of -3*w**2 - 3*w - 1 - 1/3*w**3. Let g be z(-5). Solve 3*y - 13 - g = 0 for y.
5
Let z be (4 + -3)/(-1) + 11. Let b(r) = -r**2 - 2*r + 1. Let m be b(2). Let c = m + z. Solve -c = w - 5 for w.
2
Let v(r) = r**3 - 2*r**2 - 2*r. Let c be v(3). Suppose c*m - 12 = -m. Suppose 3*u = -s + 6, 0*s - 5*u + 10 = 2*s. Solve -m*g + s = -6 for g.
2
Suppose -2*f + 4*k = f + 2, -f + 2*k - 4 = 0. Solve -4*w = -2*w - f for w.
3
Suppose 5*i + 2*q = -16, -i + 3 = 2*i - 3*q. Let b be -8*i/(-8)*-2. Solve -v = b*v + 20 for v.
-4
Let q be ((-18)/(-3))/(3/2). Let b be 46/14 + q/(-14). Solve 0 = b*r - 2*r + 5 for r.
-5
Let v(g) = -g**2 + 4*g + 2. Let k be v(4). Solve -k*s - 5 = 3 for s.
-4
Suppose -3*k = k. Let m = 3 - k. Solve 3 + 6 = -m*v for v.
-3
Let b(x) = x**3 - 3*x**2 - 4*x + 6. Let l be b(4). Let y(q) = q - 1 - 2 - 3. Let d be y(l). Solve d = 4*n - 6 + 26 for n.
-5
Suppose -4*c - 8 = -4*f, f + 0*f - 5 = 0. Suppose s + c*s = 0. Solve s*b + 1 = -b for b.
-1
Let q(o) = o**3 + 10*o**2 + 10*o + 12. Let l be (-28)/3 + (-1)/(-3). Let r be q(l). Solve 3*u - 2*u = r for u.
3
Let i = 72 - 69. Solve 5*f - i*f = 2 for f.
1
Let l be 1/2 - (-7)/2. Solve -l*y - 1 = -3*y for y.
-1
Let p(d) = d + 2. Let g be p(-5). Let n = g - -6. Suppose -t = -4*t + n. Solve t = -z + 2 for z.
1
Let c = -79 - -82. Suppose h = -h + 26. Let l = h - 1. Solve -c*j - l = j for j.
-3
Suppose -3*q = 2*k - 9, -5*k + 10*k = 4*q + 11. Suppose k*y = y + 4. Let p = 4 - y. Solve -8 = -0*b + p*b for b.
-4
Let t be ((-6)/(-2))/(3/4). Suppose t*f + 2 = 22. Solve -3*k + f = -2*k for k.
5
Let m(l) = l**2 - 2*l. Let r(c) = c**2 - c. Suppose 3*g = -4*n - 8 - 11, -n = 4. Let u be r(g). Let b be m(u). Solve b = 3*s - 4*s + 4 for s.
4
Suppose -3*p + 3 + 12 = 0. Suppose -3*y + 82 + 17 = 0. Suppose -12 = -2*i + p*c + 13, -3*c = 2*i - y. Solve 4*d = d - i for d.
-5
Suppose 0 = -0*s + 3*s - 6. Suppose x = -4*x - s*y - 41, 0 = -2*y - 6. Let f = x - -11. Solve -4*j = f + 4 for j.
-2
Let w = 9 + -5. Suppose w*r + 3*z - 7 = 2*z, 2*r - 4*z - 8 = 0. Solve -n = -r*n - 3 for n.
-3
Suppose 0 = -5*w + 3*d + 12 - 0, 0 = -3*w + 5*d + 20. Suppose 13 = 2*y + 5*k, 4*k + k - 5 = w. Solve -m - 1 - y = 0 for m.
-5
Let l(k) = k**3 - k**2 + k + 5. Suppose 4*c - 5*c = 2*o + 2, -c = -3*o + 2. Let i be l(o). Solve -4*x = -i - 3 for x.
2
Let w be (-24)/2*(-2)/4. Solve -2*g = -4*g - w for g.
-3
Let c(m) = -4*m + 2. Let t be c(-2). Solve -x - t = -3*x for x.
5
Let z be (1 + -48)*1*-1. Let d = -33 + z. Let p = 11 + -5. Solve d = -4*h - p for h.
-5
Let r = 4 - 4. Suppose r = 9*n - 4*n - 15. Solve -6 = -5*d + n*d for d.
3
Suppose 55 = 3*l - 5*s, 2 = -3*l - 5*s + 37. Let g be (-3)/(-2)*10/l. Solve 0 = -2*q + g + 1 for q.
1
Let c(z) = -4*z. Let o be c(-1). Solve -3*t - t = o for t.
-1
Suppose -2*g - g - 2*g = 0. Let z(w) = w**3 + 6*w**2 - w - 5. Let x be z(-6). Solve -4*s + 3 + x = g for s.
1
Let v(j) = j**2 - 4. Let a be v(4). Let u be 2 - (1 + -17 - 2). Suppose r + 5*l = -u, -5*r + 0*l + 20 = l. Solve r*n = 2*n - a for n.
-4
Let q(w) = -w**3 + 28*w**2 - 2*w + 58. Let k be q(28). Solve -2*b - k*b = 4 for b.
-1
Let s be 4/(-18) - (-244)/(-36). Let t(u) = u**2 + 5*u - 7. Let q be t(s). Let k(v) = v**3 - 6*v**2 - 7*v + 4. Let z be k(q). Solve -3*j + 1 = z for j.
-1
Let n(p) = 4*p + 2. Let t be n(4). Let k be 50/t - 4/(-18). Solve -4 + 1 = k*a for a.
-1
Let c = 30 + -26. Suppose -g = -4*p - 11, -g + 3*g = -3*p - 22. Let a = p + 6. Solve -c - a = -2*d for d.
3
Suppose 0 = -5*a + 13 + 7. Let f(g) = 2*g**3 + g + 0*g + 1 - a*g. Let u be f(2). Solve -u = -2*t - 1 for t.
5
Suppose 2*r - 20 = 4*u, -3*u + 7*u - 4 = -4*r. Let b(m) = 12 - 5 + 7*m - 4*m**3 + 3*m**3 - 5*m**2. Let x be b(-6). Solve -r*k - x - 19 = 0 for k.
-5
Suppose -4*f + 6*f = 2*i, 3*f = -2*i + 20. Solve -i*n - n + 15 = 0 for n.
3
Suppose 0 = 4*q - 3*l + 29, 4*q - 3*l - 2*l = -27. Let s be (15/10)/(3/q). Let g = s + 10. Solve -z - z + g = 0 for z.
3
Suppose -3*q - 6 - 12 = 0. Let k(h) = -h - 6. Let x be k(q). Let j = x - -3. Solve c + 2 = j*c for c.
1
Suppose 3 + 3 = 3*h. Solve 3*o + h = -4 for o.
-2
Let g(q) = -6*q - 3. Let m be g(-2). Let p be ((-3)/5)/(m/(-45)). Solve 7 = p*n - 2 for n.
3
Let h(o) = o**2 - 10*o + 11. Let j be h(9). Suppose 0*a - 5*v + 88 = 3*a, -4*a = 2*v - 94. Suppose -2*p = -5*p + a. Solve -j*r + p*r = 0 for r.
0
Let m be (0/2 + 1)/1. Suppose m = -2*j + 7. Solve 0 = -j*c - 7 + 4 for c.
-1
Let y(q) = -q**2 + 9*q - 12. Let l be y(7). Solve l*f - 5 = -11 for f.
-3
Let m(q) = 2*q - 5. Let j be m(5). Let s = 9 - 6. Suppose -7*l = -s*l - 16, -i + 19 = 4*l. Solve 12 = -j*b - i for b.
-3
Let a(l) = l + 4. Let y be a(-4). Suppose -8*n + 9*n = 8. Suppose 3*m + n = 5*m. Solve y = -m*x - 3 + 11 for x.
2
Suppose -5*b - 1 = -2*u, 2*b = 2 - 0. Solve 0 = -f - 0 - u for f.
-3
Suppose 2*z - 3*z = -4*y - 2, 2*y + 8 = 4*z. Suppose 7 + 16 = k. Suppose 7*m = -3*a + 4*m + 33, -3*a + k = m. Solve -z = -2*i - a for i.
-2
Suppose n + 1 = 3. Suppose -n*j = -0*j. Solve 3*z = -9 - j for z.
-3
Let z(f) = -f**2 + 2*f + 2. Let m(k) = 5*k**2 - 9*k - 9. Let p(s) = 2*m(s) + 9*z(s). Let o be p(-2). Solve 6 = -5*j - o for j.
-2
Let f be 2/((0 + 4)/2). Let h = 36 + -9. Let c be h/18 + 11/2. Solve 2*y = -f + c for y.
3
Let l(t) = -t**3 - 2*t + 3. Let m be l(2). Let j(v) = v + 11. Let r(c) = -1. Let f(n) = j(n) + 2*r(n). Let o be f(m). Solve o*i + 2*i + 4 = 0 for i.
-2
Suppose 0 = 3*s + 3*c - 57, 4*s - 36 = 5*c - c. Let p be 4/s - 66/(-14). Let f = 309 + -306. Solve -f*w = -p*w - 8 for w.
-4
Suppose 0 = 5*x + 4*p - 6, 5*x - 4*p - 3 = 11. Suppose 3*g = -x + 14. Suppose -b - i + 5 = 0, 3*i + 0*i - 5 = -b. Solve g*c = 1 - b for c.
-1
Let g(f) = -f**2 + 5*f + 3. Let i be ((-20)/(-6))/(6/9). Let o be g(i). Solve o*d + 2*d = -25 for d.
-5
Let t = 79 + -76. Solve -i + t - 6 = 0 for i.
-3
Suppose 0 = -5*t - 1 - 44. Let m = 3 + t. Let i = 11 + m. Solve -i + 0 = -h for h.
5
Suppose -z + 11 = 4*u, -2*z - 3*u - 2*u = -13. Let f be (-26)/(-6) + z/3. Solve s + 0*s = f for s.
4
Let j = 14 - 14. Solve 2*l + l - 3 = j for l.
1
Let c(s) = -s + 1. Let q(h) = -h**3 + h**2 + 2*h - 1. Let t be q(2). Let p be c(t). Solve -p + 7 = z for z.
5
Let n(z) = -3*z + 4. Let w be n(6). Let q = -9 - w. Let j = -2 + q. Solve 4*r - 9 - j = 0 for r.
3
Suppose 3 = -4*m + 15, 3*v + m = 24. Solve 0 = -4*c - v - 5 for c.
-3
Let j(x) = -477 + 5*x**2 + x**3 - 2*x**3 + 475 + x. Suppose 2*v + 2*v = 20. Let z be j(v). Solve -z*c - 2 = 10 for c.
-4
Suppose 3*f + 0*k = -k + 3, f + 3*k = -7. Solve f*i = i for i.
0
Suppose -36 = -3*c - c. Solve 0 = 4*p - c*p for p.
0
Let m = 28 + -21. Solve -m*h = -3*h for h.
0
Let w = 7 + -5. Suppose -o = -2, -l - 3 = w*l - 3*o. Solve 4*k - 3*k = -l for k.
-1
Let i be ((-1)/2)/(3/(-96)). Let m = -8 + i. Let n = m + -2. Solve t = -t - n for t.
-3
Suppose 0 = b - 0*b. Suppose -2*l - 3*v - 3 = b, -l + 3*v + 18 = 2*l. Suppose 2*r = 3*r - l. Solve 3*d = -r - 3 for d.
-2
Suppose 0 = 6*v - 4*v. Solve v = c - 0*c + 3 for c.
-3
Let j = 5 - 2. Suppose -3*m = -5*r + 3, j*m - 5*m - 2 = -3*r. Let h = r - 0. Solve -4*f + 2*f = h for f.
0
Let f(z) = -z**2 + 6*z - 4. Let c be f(3). Suppose c*q = -3 + 13. Suppose 8 = r + 3*t, -r + q*t = 4 - 2. Solve -r*m = -6*m - 20 for m.
-5
Let s(l) = -3*l + 24. Let u be s(8). Solve -2*v - v = u for v.
0
Let k(b) = 2*b. Let p be k(2). Suppose -3*o + 9 = -0*o. Let i = o + -1. Solve -p*n + 5*n = i for n.
2
Suppose 0*f + 3*f - 15 = 0. Suppose 10*u - 15 = f*u. Solve u*g + 2*g = 0 for g.
0
Suppose 6 = -5*u + 4*u. Let y = 17 + u. Let w = -5 + y. Solve 2*v = w*v + 4 for v.
-1
Let p(d) be the first derivative of -d**3/3 + 3*d**2 - d - 1. Let s be p(5). Suppose c = -3*g + 10, 0*c = 2*c - g + 1. Solve -c = -3*a - s for a.
-1
Let l = 2 + -19. Let i(g) = g**2 + g - 9. Let d be i(0). Let n = d - l. Solve 0 + n = 4*t for t.
2
Suppose 0*o + 3*v = -5*o + 3, -v + 1 = 0. Let y be ((-1)/(-1) - o)*-2. Let l = -2 - y. Solve l = -u - 2*u for u.
0
Suppose 0 = 5*z - 2*y - 22 + 6, 5*z - 3*y - 19 = 0. Suppose z = -0*p + p. Solve p*j + 1 = -5 for j.
-3
Let a(s) = 3*s + 9. Let z be a(-8). Le