e -v = q + 1 for v.
-5
Let k be 16/4 + 1 + -3. Let t be (0*3/6)/k. Solve -o + t*o = 5 for o.
-5
Let c(z) = z**2 + 6*z - 7. Suppose 0 = -2*w - 12 - 2. Let p be c(w). Let a be (-28)/(-6) - 4/(-12). Solve -b + p = a for b.
-5
Let q = 0 - -1. Let c = -20 + 0. Let y be 7/4 - 5/c. Solve 3*p - y = q for p.
1
Let c(m) = -m**3 - 5*m**2 + 6*m - 2. Let i be c(-6). Let q be (42/(-9))/(i/6). Solve 4*o - 2 = -q for o.
-3
Let t be (10/(-25))/((-1)/10). Suppose 9 + 11 = t*i. Suppose i*w + 45 = 2*z, -5*w + 3 = -8*w. Solve -z + 5 = -5*p for p.
3
Let g(o) = 5*o - 5*o**2 - 2 - 4*o**3 - o - 4 + 3*o**3. Let u be g(-6). Solve u*q = 2*q for q.
0
Let j(g) be the first derivative of -g**4/4 - 10*g**3/3 + g - 1. Let f be j(-10). Solve x = -0*x - f for x.
-1
Suppose 4*x = -12, -x = -5*p + 2*x + 19. Let l be (p - 1)*(-1 - -1). Let w be (1 - 3)*(l - 1). Solve -r + 3 = -w for r.
5
Let o be 2 + (-2)/(-2)*-2. Suppose -5*t + 10*t = o. Solve t = -6*c + 3*c for c.
0
Let d(k) = 0*k - 2*k - k**3 + 1 - 3 + 0*k**2 - 4*k**2. Let i be 10/3*12/(-10). Let z be d(i). Solve z*x - 3*x = 0 for x.
0
Let n be 1/1 - (1 - -2). Let p = 3 + n. Solve 2*z = p + 1 for z.
1
Let f = -49 + 105. Let x be 160/f*7/2. Solve d = -d + x for d.
5
Suppose -44 = -3*s - 44. Solve 3*z + s*z = 9 for z.
3
Let g = -2 - -2. Suppose s + g*s = 2. Solve -i - 4 = -s*i for i.
4
Suppose 1 = 3*j - 5. Let y(p) = 5*p - p**3 + 6*p**2 + 2 - p**j + 2*p**3. Let b be y(-3). Solve -2 = -b*d + 13 for d.
3
Let g = -1 - -6. Solve v + 16 = g*v for v.
4
Suppose -3*q + 9 = -3. Suppose 3*z + q = -2. Let x(n) = n + 4. Let j be x(z). Solve -c = 3 - j for c.
-1
Let k(y) = y**3 + 9*y**2 + 9*y + 12. Let z be k(-8). Let q(g) = g - 3. Let f be q(7). Solve 2*x = f*x - z for x.
2
Let p be (-4)/(-12)*12*1. Let q be 3 - (0 - p - -2). Let f = q - 4. Solve 0 = -5*i - f + 11 for i.
2
Let t be -6*1/(-33) - 128/(-22). Solve 5 = h + t for h.
-1
Suppose 0 = 6*n - 17*n. Solve n*g - 4*g = -12 for g.
3
Let n(m) be the first derivative of m**4/4 + 13*m**3/3 + 6*m**2 - 3. Let i be n(-12). Solve -h + 4 - 3 = i for h.
1
Suppose -5*j = 5*d, j - 5 + 1 = -2*d. Solve -m = d*m + 10 for m.
-2
Let w(q) = q**3 - 4*q - 3. Let r(a) = 19*a + 0*a**2 - 2*a + 13 - 5*a**3 - a**2. Let z(m) = 2*r(m) + 9*w(m). Let t be z(-2). Solve 8 = -t*j + 20 for j.
4
Suppose 2*p = 1 + 13. Solve -5*x = -13 - p for x.
4
Let j = 6 - -5. Let m = 16 - j. Solve -f - 3 = -m for f.
2
Let i be ((-32)/40)/(2/(-5)). Solve -i*s = 3*s for s.
0
Let b be 45/10*(-2)/3. Let a be 1 + b/(-6)*2. Solve 1 = -s + a for s.
1
Let f = 123 - 119. Solve -f*i + 2*i + 4 = 0 for i.
2
Let s(a) = 2*a**2 + a - 2. Let u be s(-2). Suppose 0*j - 62 = -4*f + j, -u*j + 37 = 3*f. Suppose p = 4*p - f. Solve 0 = -o + p*o + 4 for o.
-1
Let s = 5 + -3. Suppose 4*u = 2*t + s, 0*u + t = -2*u - 5. Let v = -1 - u. Solve -4*c + 5*c - 1 = v for c.
1
Let j(l) = 30*l. Let d(q) = -9*q. Let k(f) = -f. Let t(u) = -5*d(u) + 35*k(u). Let w(z) = -3*j(z) + 10*t(z). Let r be w(1). Solve h - 3*h = -r for h.
5
Let h(d) be the first derivative of d**2 - 5*d + 4. Let i be h(4). Suppose -2*g - 2*g = -8. Solve f = -i - g for f.
-5
Let d be -1*2*20/(-10). Suppose d*z - 9 = -i, -2*z + z = 5*i - 26. Let t(l) = -l**2 - 7*l. Let f be t(-6). Solve f = -i*x - 19 for x.
-5
Let h be 2420/150 - 2/15. Let d be (h/(-4) - -4)/1. Solve d = -k - k + 10 for k.
5
Let g = -2 + 4. Suppose -g*n = -n. Solve 0 = 5*v - n*v - 10 for v.
2
Suppose -4*n = 3*z - 9 - 8, -2*z = 5*n - 16. Solve 2*s - n + 0 = 0 for s.
1
Let r be (4 + 4)*(-1 + 3/2). Solve 5*g = r*g - 1 for g.
-1
Let c(b) = -2*b + 12. Let s be c(4). Solve -3*i = -s*i + 2 for i.
2
Let j = 5 - 1. Solve -4*v - 16 = -j for v.
-3
Suppose -7*p + 2*p = 0. Let z(a) = -a**2 + 6*a + 8. Let x be z(7). Let q = x - p. Solve c + q = 2 for c.
1
Let n(z) be the first derivative of z**5/20 - z**4/3 + 3*z**2/2 - 2*z - 3. Let d(o) be the first derivative of n(o). Let p be d(5). Solve 8 - p = 4*y for y.
-5
Let z(l) = l + 12. Suppose 8 = -4*c - 28. Let t be z(c). Solve k = -t*k for k.
0
Suppose -3*z = -0*z - 9. Suppose 0 = -z*l - 2*l. Suppose -2*g + 3 + 3 = l. Solve -3*d + g = -6 for d.
3
Suppose -20*l = -24*l + 8. Solve -l*t - 2*t - 16 = 0 for t.
-4
Suppose 6*s + 1 - 13 = 0. Solve -3*j = s*j - 5 for j.
1
Let u = -14 + -5. Let z = 1 - u. Solve 3*h + h + z = 0 for h.
-5
Let k(r) = -r**2 + r + 75. Let u be k(9). Let t = -1 + 3. Suppose t = -3*j + 8. Solve -20 = j*f + u*f for f.
-4
Let l(y) = 2*y**3 - 5*y**2 + 2*y + 1. Let v be l(3). Suppose -3*p = -4*w - v, 3 = 5*w + 8. Solve 0 = 4*b - 3*b - p for b.
4
Let m(j) = 2*j - 8. Suppose t = -2*g - 10, -g - g = 3*t + 10. Let k = 8 - t. Let p be m(k). Solve 3*r = r + p for r.
4
Let i be 0 - (4 + -2 + -5). Solve -i*m + 1 + 2 = 0 for m.
1
Let y(c) = c + 11. Let l be y(9). Suppose 2*z - 20 = 3*u, z - l = 3*u + u. Suppose -t + 25 = z*t. Solve -t = -4*r - 1 for r.
1
Suppose 4*p - 48 = 2*q + 18, q + 1 = 0. Solve 5*g - 4 = p for g.
4
Let l(b) = -b**2 + 3*b - 3. Let m be l(3). Let h be 3 + m - (1 - 11). Solve -4*p + 2*p = h for p.
-5
Suppose -2*h = -3*h. Let s be 1/(2/8 + h). Solve 9*g - 5 = s*g for g.
1
Let p = 10 + -6. Let j be -1 + (2 - 4/p). Solve 5*q - 4*q + 4 = j for q.
-4
Let r(f) = f**3 - 3*f**2 - 10*f + 7. Let y be r(5). Solve 2 - y = 5*k for k.
-1
Let f(y) = -y**2 - 5*y - 3. Let a be (-1)/2 + 7/(-2). Let i be f(a). Solve i - 6 = -5*r for r.
1
Suppose 4*i - 6 - 2 = 0. Suppose 8 = i*n - 4*f, -3*f + 1 = -4*n + 7. Solve n = 5*o + 2 + 8 for o.
-2
Let y(j) = -j**3 - 7*j**2 + 7*j - 5. Let r be y(-8). Let o be 21/4 + r/(-12). Solve 0 = -o*a - 9 - 6 for a.
-3
Let n be 4/18 - 4/18. Solve n = 5*p - 5 for p.
1
Let v = -9 - -9. Solve 5*t + 9 + 1 = v for t.
-2
Suppose m + 6 = v - m, -2*v + 2*m + 16 = 0. Let n = 10 - v. Solve l + 2 - 1 = n for l.
-1
Suppose 3*k - 70 = -5*d, -2*d + 0*d + 37 = 3*k. Let j(y) = -2*y**2 + 11*y + 10. Let p be j(6). Solve 3*t = -d - p for t.
-5
Suppose 0 = -5*f - 2*c + 20, -4*c + c = 0. Solve f*k + 2 - 22 = 0 for k.
5
Let u = 23 + -21. Solve u*k + 0 = -2 for k.
-1
Let n(q) be the second derivative of q**3/6 + 3*q. Let c be n(0). Solve c = -2*o - 6 for o.
-3
Suppose 0 = h - d - 1, 0*h + 2*d - 33 = -5*h. Let t(i) = 2*i + 2. Let u be t(h). Suppose -5 = 3*r - 5. Solve r*n = 3*n + u for n.
-4
Let p = 54 - 30. Let l = p + -14. Solve -2*v = -0*v + l for v.
-5
Let r be 2/(-6) - 10/(-3). Let a(z) = -2*z + 6. Let b be a(r). Solve -3 = -b*k - k for k.
3
Let h be 4 + -4 - (2 - (4 + -2)). Solve 5*y + 1 + 24 = h for y.
-5
Let v(u) = 4*u**2 - 5*u - 1. Let z be v(3). Solve -x + 6*x + z = 0 for x.
-4
Let r be -4 - -22*2/4. Solve -15 = -r*z + 4*z for z.
5
Let i = 15 - 11. Solve 5*g - 3*g = -i for g.
-2
Let a = 2 + -3. Let y = a + 7. Let c be (y + -7)*(0 - 2). Solve -s = c*s + 3 for s.
-1
Suppose w = -2*w + 5*w. Let d = -11 - -21. Solve w = 3*m + 2*m - d for m.
2
Let u be 10/4 + 3*2/(-4). Solve 0*g = -g - u for g.
-1
Let l(w) = w**2 + 5*w - 3. Let q be l(-6). Let t(j) = -j + 3. Let o be t(-7). Suppose 6*f = f + o. Solve f*k = -k - q for k.
-1
Let j be (3 + 26/(-6))*3/(-2). Solve 5 = -7*s + j*s for s.
-1
Suppose -s - 10 = -3*h, -h = -4*h - 4*s + 35. Let i = h + 12. Solve -5*g - 2 = -i for g.
3
Let p(v) = v**3 + 3*v**2 - 5*v - 1. Let s be p(-4). Let h be (3 + -1)/(4/6). Let r be (4 + (-12)/3)/2. Solve h*w + r*w = -s for w.
-1
Let d(q) = q**3 + 5*q**2 - 6*q + 4. Let v be d(-6). Suppose -2*g + 1 + 3 = 2*k, -v*g - 5*k = -8. Solve g*h = -h + 15 for h.
5
Suppose 12 + 0 = 4*s - 5*y, -2*y + 3 = s. Let o be 3/5 - s/5. Solve f - 5 + 3 = o for f.
2
Let v(j) = -j + 4. Let m be v(-4). Suppose -m = -4*c + 4. Let l = -34 - -54. Solve l = y + c*y for y.
5
Let t(o) = -o**2 + 6*o - 5. Let f be t(4). Suppose -f*u - 3 = -0*u, 2*y + 4*u = 0. Solve y*x - 4*x = -6 for x.
3
Suppose 4*c - 23 = -4*f - 3, 3*c + 17 = 5*f. Solve x + 9 = f*x for x.
3
Let k(s) = s + 11. Let g be k(-6). Solve 0 = g*h - 6 + 1 for h.
1
Let q(u) = u**2 - 3*u. Let c be q(3). Let l = -10 - -12. Suppose 4*w - 2*o + 7*o - 20 = 0, 0 = -4*w - l*o + 8. Solve -4*z + c*z = w for z.
0
Let n be (5 - 4)/(1/3). Let x(b) = -3*b + 2. Let s be x(n). Let t(z) = -z**2 - 9*z - 8. Let i be t(s). Solve -4*v + 2 = -i for v.
2
Suppose 0 = -4*w - w + 20. Let n(j) = 1 - w*j**2 - j**2 + 1 + 4*j**2 + 2*j. Let b be n(2). Solve 0 = -b*x - 2 - 0 for x.
-1
Suppose -3*a - 8 = -7*a. Solve 5