v + 1. Let y be p(-1). Suppose 0*z = -y*z. Suppose z = -5*d + r + 25, 4*d + d - 45 = -3*r. Solve 0 = d*m - m - 15 for m.
3
Let h(c) = c**2 - 1. Let u(k) = -11*k**2 + k + 3. Let d(t) = -3*h(t) - u(t). Let l be d(-1). Solve 0*z = 3*z - l for z.
3
Suppose 0 = k - 4, -g + 10 = 4*g + 5*k. Let y be -1*(g - 1 - -1). Solve -4*m + 2*m = y for m.
-1
Let m be 2/5*(5 - 0). Suppose 4*j + 4*n = 12, -m*j - 2*n + 3 = 3*n. Solve -j*w + 3 - 7 = 0 for w.
-1
Suppose 0 = 16*n - 18*n + 6. Solve -p + n*p + 10 = 0 for p.
-5
Let f = -7 - -7. Let t(i) = i**3 + 4*i**2 - 4*i + 7. Let z be t(-5). Solve z + f = -w for w.
-2
Suppose 2*v + 2 = 4*b, -6 = 2*b - 4*v + 2. Solve 0 = b*r + 3*r for r.
0
Let s = -23 - -28. Solve -10 = -w - s for w.
5
Let t(i) = -i**3 - 4*i. Let r be t(-4). Suppose -5*a + r = 4*c, 10*a - 5*a - 100 = -5*c. Solve 2*d = 6*d + c for d.
-5
Let j = 129 + -109. Solve j = 2*f + 2*f for f.
5
Let o(i) be the first derivative of i**4/4 - 2*i**3/3 + 2*i + 1. Let p be o(2). Let q(z) = z**3 - 2*z**2 + z + 1. Let k be q(p). Solve -l - k = 1 for l.
-4
Let a be (2/(-2) + -2)/1. Let j = 8 + a. Solve -3*w = 2*w + j for w.
-1
Suppose -2*o = -8 - 2. Suppose 4*y + 0*g = 4*g + 8, -4*g + 1 = -y. Solve y*u = 2*u - o for u.
-5
Suppose -2 = -2*i + i. Let k = 1 + i. Suppose -2*g = -5*c + k, c - 2 = -5*g + 4. Solve -2*z - 7 = c for z.
-4
Suppose -5*j = 25, -2*a + 136 = -5*j + 39. Suppose -a = -2*v + 2*u, -5*v + 31 = 2*u - 45. Solve -7*o - v = -3*o for o.
-4
Suppose 3*v - 7*v - 36 = 0. Let m = -1 - v. Let f be (-2 - 6)/(7/((-28)/8)). Solve 4 = -m*d + f*d for d.
-1
Suppose 0*b + 2*b = 6*b. Solve b = w - 2 - 0 for w.
2
Suppose 0 = 5*f + 3*c + 9, -3*f - c = -4 + 7. Solve f*a - 2*a = -4 for a.
2
Let l = -110 + 122. Suppose 0 = -p - 5*w - 12, 2*p - 2*w = 3*p + 3. Solve -l - p = 5*f for f.
-3
Let k be 1 + 4*6/24. Solve k*y - 6 = -y for y.
2
Let y be 3*(3/(-3))/(-3). Solve -o = y - 3 for o.
2
Let p(z) = 6*z - 9. Let x be p(6). Let d = x + -24. Solve -g + d = 2 for g.
1
Suppose 0 = -2*i - 0*i + i. Solve -12 = 3*p - i*p for p.
-4
Suppose 0 = 2*t + 1 - 3. Let v be 0*(0 + (-1)/t). Suppose 0*b - 2*b = v. Solve 2*m - 2 + 12 = b for m.
-5
Let p be ((-6)/3)/((-6)/15). Suppose 6 = p*m - 9. Solve -n - m + 2 = 0 for n.
-1
Let s = -8 - -9. Suppose -19 = -5*l + s. Solve l*a - 2 = 2*a for a.
1
Let u = 7 + -4. Let v(f) = f + 7. Let o be v(-5). Suppose -o*c - u*c = 0. Solve a + a = c for a.
0
Suppose -4*d - 2 = -z, -3*z + 0*z = -6. Let a be (-5)/(30/(-4))*3. Let p = a - d. Solve -4 = -3*k + p for k.
2
Let c(q) = q**2 - q - 2. Let g be c(3). Solve 0 = t - 5 + g for t.
1
Suppose -2 - 10 = -3*i. Suppose -q = -a + i*q + 13, -17 = -5*a + q. Let o(z) = -z**3 + 4*z**2 + 2. Let y be o(4). Solve a*x + y = -1 for x.
-1
Suppose -3*o + 13 + 29 = 0. Let x(n) = n**3 - 4*n**2 - 12*n + 6. Let b be x(6). Solve 0 = -5*f + o + b for f.
4
Let m be 9 + (0 - 1)/1. Suppose -4*j - 5*v - 235 = 0, -31 = -5*j + 4*v - 376. Let t be (-6)/5*j/26. Solve -5*d = -t*d - m for d.
4
Let i(w) = -w**3 + 2*w. Let p be i(-2). Solve p*d = 7*d for d.
0
Suppose -3*q = -4*q + 36. Suppose -m = 2*m - q. Let v = m + -8. Solve -2*d + 4 = -v for d.
4
Suppose 8 = -45*d + 49*d. Solve 16 = d*h + 2*h for h.
4
Let v = 31 + -21. Solve 0 = -3*g + g - v for g.
-5
Let h = 13 - 11. Solve d + 3 = h*d for d.
3
Let r be 9 + (-2 - 0/(-3)). Suppose -h = -3*n - 0*h + 6, 3*h + r = -2*n. Let a(v) = 5*v**2 - 2*v + 1. Let i be a(n). Solve 3*j - i*j = 1 for j.
-1
Let p be (-10)/(-25) + 17/(-5). Let y be -5 + -3*2/3. Let t = p - y. Solve t - 2 = -2*o for o.
-1
Suppose -x + 2 = -2*a, 0*a + 44 = 4*x + a. Suppose 2*c + 0 = x. Solve -2*i + c = -5 for i.
5
Let t = -109 + 75. Let n be 2/(-3 + t/(-11)). Let o = n - -11. Solve 13 = 5*w + o for w.
-4
Suppose 2*n - n - 4 = 0. Suppose 2*j = 2*b + 18, -51 = -4*j - n*b + 1. Let p = j + -11. Solve x + p*x = 4 for x.
4
Let r = -32 - -23. Let g be (r/(-5))/(3/15). Solve -g = 4*n - 29 for n.
5
Let i be (-21)/(-63) + (-22)/(-12)*2. Let v be (-191)/(-7) + (-4)/14. Solve 0 = -i*y - v + 7 for y.
-5
Let u = -15 - -11. Suppose -2*g + 36 = 5*x, 3 = 2*g - 3*x - 1. Let d = g + u. Solve k - d = 2*k for k.
-4
Let m(d) = 2*d**2 + 3*d - 4. Let f be m(-3). Solve -f = -5*t - 0 for t.
1
Let k = -19 - -56. Let b = k + -22. Solve 0*t - 3*t + b = 0 for t.
5
Let v(i) = 13*i - 12. Let s(n) = -3*n + 3. Let b(d) = -9*s(d) - 2*v(d). Suppose 1 = 4*q - 19. Let j be b(q). Solve j*x = -2 - 8 for x.
-5
Let m(o) = -4*o + 19. Let r be m(4). Solve 1 = -r*j + 10 for j.
3
Let g = 2 - -2. Suppose -2 = -g*d + 18. Let s be (-1)/d + (-33)/(-15). Solve s = -2*v + 4 for v.
1
Let p(n) = 2*n**2 + 6*n - 11. Let t be p(-6). Solve 3*x - t = -2*x for x.
5
Let h = 11 - 15. Let j(o) = -o**2 - 6*o - 3. Let b be j(h). Solve b*a - 5 - 10 = 0 for a.
3
Let p be (-4)/(-2) + 13 + 1. Solve -2*u = -p + 6 for u.
5
Let i(x) = x**3 + 9*x**2 + 9*x + 8. Let h be i(-8). Let u(k) = k**3 - k**2 + k + 4. Let z be u(0). Solve -z*p + 6*p = h for p.
0
Suppose -3*u + 4*h = -35, 3*u + 3*h = -0*h. Solve -4*w - u - 7 = 0 for w.
-3
Let v(l) = -l**3 + 14*l**2 - 24*l. Let k be v(12). Solve 8 = -k*r + 4*r for r.
2
Suppose q + 50 = -4*q. Let c = q - -10. Solve c = 5*r - 2*r for r.
0
Suppose -4*p = -7*d + 2*d + 37, -4*d + 3*p + 29 = 0. Suppose 4 = 2*b - 2*g, b + 3 + 1 = -d*g. Solve -t + 3 = b for t.
2
Suppose 4*l + 2 = -2*m + 2*l, -3*l - 15 = 0. Suppose m*s + s = 5. Solve -s = -0*x - x for x.
1
Let j be (-1 - 1)*(-1 - 0). Let k be 4/(-10) + j/5. Solve 4*y + 0*y - 16 = k for y.
4
Let y(l) = l + 5. Let c be y(-5). Suppose -5 = t + k, c*t + 5*k = -2*t - 25. Let p = 20 - 15. Solve t = 4*z - p*z + 5 for z.
5
Let t(z) = 13*z**2 + 37*z - 2. Let j(n) = -7*n**2 - 19*n + 1. Let w(m) = -11*j(m) - 6*t(m). Let r be w(-13). Solve 0 = 5*b - r + 26 for b.
-5
Suppose 16 = 4*r + 4. Let m(z) = z**2 - 3*z. Suppose 4*h = -3*i - h + 25, -4*i - 5*h = -30. Let c be m(i). Solve r*p = p - c for p.
-5
Let c be 5 - (-7)/(28/(-12)). Solve -2*g + 6 - c = 0 for g.
2
Let w be 1*-53 + (-2)/(-2). Let h = -37 - w. Let l(g) = -g**2 + 2*g + 2. Let a be l(2). Solve -a*j + h = 3*j for j.
3
Let j be 2 + (0 - -4 - 3). Solve -4*p + j*p = 0 for p.
0
Let y = 18 - 16. Solve 6*u - 16 = y*u for u.
4
Let n(o) = 2*o**2 - o - 2 - 6 + 6 - o**2. Let t be n(2). Let m = t - 0. Solve -2*l + m*l - 2 = 0 for l.
-1
Suppose 3 = 3*x - 3*w - 6, -2*x + 2 = -3*w. Let c be (-2)/(-8) - (-21)/12. Solve -x - 3 = c*d for d.
-5
Suppose 2*b = -3*g - 1, -3*b - 8 - 13 = -2*g. Solve -2 = -g*v + 2*v for v.
2
Let m = 0 + 4. Let b(u) = u**2 - 3*u + 5. Let z be b(m). Solve 3*v + 3 = -z for v.
-4
Suppose 21 + 0 = -3*n. Let o be (21/9)/n*-6. Solve o*g + 3*g - 5 = 0 for g.
1
Let d(p) = p**2 - 3*p - 10. Let y be d(6). Let h(o) = -o**2 + 7*o + 8. Let l be h(y). Solve l*r + r = -2 for r.
-2
Suppose -5*l + 28 = -2*o, 9 = -l + 3*o + 25. Let z be -5 - (l - (-2 - -5)). Let p(u) = -u - 2. Let y be p(z). Solve k = -y + 1 for k.
-3
Suppose -5*g - 26 = -1, 5*g = 4*r - 25. Solve r = -4*l - l - 15 for l.
-3
Let w(m) = -m**3 + 4*m**2 + 3*m - 4. Let y(x) = x - 1. Let c(d) = w(d) - 5*y(d). Let q be c(3). Solve -r = q*r for r.
0
Let i(q) = 6*q**3 + q**2 - q. Suppose -x = 3*x - 8. Suppose -x*c = 2*c - 4. Let j be i(c). Solve -l = -3*l + j for l.
3
Let l(k) = -28*k - 10. Let f(x) = -9*x - 3. Let q(i) = 7*f(i) - 2*l(i). Let o = -1 - 0. Let g be q(o). Solve -2*a + 0*a + g = 0 for a.
3
Suppose -4 = -p - 5. Let b be ((-18)/(3*p))/2. Suppose 6 = b*s - 0*s. Solve 0 = -s*r - 2*r + 20 for r.
5
Suppose s + 5 = -n - 2*n, -5 = -3*n + s. Suppose 0 = -4*z + 20, a - 2*z + 16 = -n*a. Let f = 10 + a. Solve 2*y - f = -2*y for y.
1
Let m be ((-4)/6)/((-1)/3). Suppose 2*l - 4*q + 0*q = -m, -l = -4*q + 7. Let i(g) = -g**2 + 7*g + 10. Let c be i(5). Solve 0 = -l*a + a - c for a.
-5
Let w(s) = s**2 - 4*s. Let t be w(2). Let q be t/12*(-2 + 2). Solve q = m - 4*m - 12 for m.
-4
Let n be 11 - 4/14*(11 - 18). Solve -4 = n*x - 9*x for x.
-1
Let b = 9 + -4. Let x = 5 - 8. Let u be 0 + x + (7 - 2). Solve -3 = u*y + b for y.
-4
Let w(y) = y**2. Let l be w(1). Suppose -3*r = -2 - l. Let c(z) = -3*z - 7. Let n be c(-6). Solve -r = 2*g - n for g.
5
Let k = -5 - 2. Let z = 10 + k. Solve 0 = m + z for m.
-3
Let k(g) = -g**3 - g. Let u be k(-1). Let m = u - -2. Solve 0 = 2*c - m for c.
2
Suppose 4*p = 18 - 2. Let k be p/5*40/16. Solve -8 = k*s