-83 + 83. Solve 0*r - 2*r = p for r.
0
Let r be (-3)/6*2*-4 + -2. Solve r = -s + 7 for s.
5
Let l(z) = z**2 - 16*z + 6. Let k be l(16). Solve -k*d = -d + 25 for d.
-5
Let h = -2 - -7. Let d = h - 3. Suppose d + 1 = g. Solve -4 = g*l - l for l.
-2
Suppose -o - o = -3*r + 15, 15 = -4*o + 3*r. Let h(c) = -c**3 - 6*c**2 - 5*c + 4. Let l(y) = -y - 1. Let s be l(4). Let b be h(s). Solve b*n - 4 = -o for n.
1
Suppose a = -a. Let q be (a + 1 - 0) + 4. Suppose -101 = -q*b + 4*c, 4*c - 4 = 5*c. Solve 3*s - 5 = -b for s.
-4
Let n(d) = -d**3 + 2*d + 1. Let b be n(-1). Suppose 0 = 5*x + 4*l - 4, -x = -5*x - 4*l. Solve x*q - q - 15 = b for q.
5
Suppose 3*j + u = 3*u + 10, 10 = -2*j - 2*u. Solve -1 = -j*y + y for y.
-1
Suppose -2*p = -0*p - 6. Solve 0 = -l + p*l - 10 for l.
5
Let g(z) = -z - 6. Let v be g(-6). Solve -2*h + 6*h - 8 = v for h.
2
Suppose -9 = -g + 3*n, 0*g + 5*g - 29 = -n. Let p be g/27 - 70/(-9). Suppose -4*v + 13 = -4*l + 1, 4*l + p = 2*v. Solve -v*k = -k - 1 for k.
1
Let t(c) = 3*c + 3. Let q be t(-2). Let k be -7 + q + 2 + 1. Let g = k - -11. Solve -5*p - g = -p for p.
-1
Let d be 1 + (-20)/(-4)*1. Suppose -2*w - 60 = -d*w. Solve -3 = 4*a - w for a.
3
Let b(a) = a**2 + 4*a + 5. Let f be b(-4). Solve -f = -4*c - 25 for c.
-5
Suppose 2*u - 2 = -2*q - 10, -2*q = 4*u + 8. Solve -2*s - s = u for s.
0
Let h be (1/(-1)*-1)/1. Solve 5*j + h = -4 for j.
-1
Let l(a) = a**2 + a + 2. Let d be l(0). Solve h = d*h - 3 for h.
3
Suppose -16 = 3*q - 5*a, 4*q + a + 5 = -1. Let b be 1/((-1)/(2/q)). Let i be 1/b - (5 - 6). Solve 0 = i*y + 3*y for y.
0
Let q(h) = -3*h**3 + 2*h**2 - h - 2. Let c be q(-1). Solve -d - 20 = c*d for d.
-4
Let k(r) = 2*r - 3. Let s be k(3). Suppose 4*y = s + 9. Solve 2*v - y = -1 for v.
1
Suppose o + 4 + 1 = d, -4*o = -5*d + 22. Solve 0 = d*c + 1 + 1 for c.
-1
Let m(p) = 3*p + 69. Let s be m(-18). Solve c + s = 4*c for c.
5
Let j(k) = 4*k - 2. Let w be j(6). Solve -3 = -5*u + w for u.
5
Let f(z) = -z + 10. Let o be f(5). Solve o = w - 0*w for w.
5
Let u(v) = -v**2 - 6*v - 2. Let r be u(-6). Let o be (3/2 + r)*-6. Solve -o*w = 16 - 1 for w.
-5
Let s(o) = o**3 - o**2 + o - 9. Let r(i) = i**2. Let t(h) = 6*r(h) - s(h). Let k be t(7). Solve -3*j + k = -j for j.
1
Let r = -3 - -8. Suppose -r*v = -0*v - 10. Let g(k) = -k**3 - k**2. Let w be g(0). Solve w = -3*t - v + 5 for t.
1
Let k(r) be the first derivative of -r**3/3 + 4*r**2 + 5*r - 4. Let o be k(7). Solve -b = -4*b + o for b.
4
Let k(s) = s**3 + 5*s**2 + 5*s + 1. Let z be k(-3). Solve -z = 3*o + o for o.
-1
Let z(l) be the second derivative of l**4/12 + 2*l**3 - 13*l**2/2 + 5*l. Let c be z(-13). Solve -4*u - u = c for u.
0
Let z(j) = -2*j + 4. Let u be z(1). Solve -u*w + 9 = -1 for w.
5
Suppose -5*y = -3*y - 70. Suppose -p - y = 4*p. Let i(u) = -u - 4. Let g be i(p). Solve 2*o + 1 = g*o for o.
1
Suppose 36 = 3*k + 24. Solve 0 = k*u + 1 - 5 for u.
1
Suppose 5*w + 0*g = -g + 32, -w - 5 = 4*g. Suppose w*v = 3*v. Let n(d) = -d - 2. Let p be n(-4). Solve v*k = -p*k for k.
0
Let w(j) = -9*j**2 - 1. Let x be w(1). Let h = x - -17. Let i = h - 2. Solve 4*t + i = -3 for t.
-2
Suppose 3*d = 3*w - 15, 3*w + 3*d + 22 = 7. Suppose -z - 6 = -w*z + 5*n, 0 = -3*n - 6. Solve 4 = z*x - 16 for x.
5
Let s = -2 + 16. Solve -4*l + 2 + s = 0 for l.
4
Suppose -4*v + 4 = -4. Solve 0 = -j - v + 6 for j.
4
Let k be ((-1)/2 + 0)*0. Suppose 3*r + 0*r - 9 = k. Solve r*m - 8 = -m for m.
2
Suppose 0 = -x, 0*x + 42 = -3*m - 3*x. Let g be (24/m)/(1/(-7)). Suppose -7*t = -g*t + 30. Solve 3*h = -0*h + t for h.
2
Let k(d) = d - 1. Let q be k(4). Suppose q*y - t - 3 = 0, 0*y + 2*t = -5*y + 5. Solve -y = 4*b - 5 for b.
1
Let s(a) = -a**3 - 5*a**2 + 6*a + 3. Let i be s(-6). Suppose 0 = -2*z + f + 9, -z - i*f + 0 - 6 = 0. Let j = 5 - 5. Solve -k + z*k = j for k.
0
Suppose 5*d - 8 = 3*d. Let k(i) be the second derivative of -i**3/6 - 3*i**2/2 - 4*i. Let h be k(-4). Solve -d*j - 5 = -h for j.
-1
Suppose -2*p + 6 = p. Let h be (2 - p)*2/(-4). Let d be 2 + h + (31 - 2). Solve -5*t = d - 6 for t.
-5
Let a(q) = -q - 2. Let z be a(-5). Solve 0 = -z*r + 10 + 2 for r.
4
Suppose -5*z = -28 - 12. Solve 6*y = z*y + 6 for y.
-3
Let q(z) = z**2 - 13*z + 14. Let j be q(12). Solve -5*y = -6*y + j for y.
2
Let j(f) = 2*f**2 - 2*f + 1. Let a(g) = g - 2. Suppose 5*b - 3 = -3*q, -3*b + 25 = -4*q - 0*q. Let d be a(b). Let r be j(d). Solve -r - 2 = -o for o.
3
Let m(q) = 13*q - 1. Let f be m(2). Suppose -1 = 4*v - f. Solve -20 = v*u - u for u.
-4
Suppose 6*m = 14*m - 192. Solve 4*a + 4 = m for a.
5
Let g = -38 - -16. Let t be 4/(-22) + (-48)/g. Suppose 5*w = -2*c + 10, 2*c - c + 4 = t*w. Solve 0 = i - c*i + 1 for i.
-1
Let q be (0/(-1))/(9 + -11). Solve 0*x - 2*x - 10 = q for x.
-5
Suppose h = 3*h. Let r(o) = h*o + o - 1 - 3. Let x be r(4). Solve -4*t - 3 - 1 = x for t.
-1
Let d = 11 + -7. Suppose -10 = d*f - 26. Suppose 2*l - f*l = -a + 3, 2*l - 2*a + 6 = 0. Solve -w - w = l for w.
0
Let a(f) = f**3 - 8*f**2 + f - 6. Let n be a(8). Let s(z) = 5*z**2 - z**3 + 3*z**n - 1 + 11 + 0 - 8*z. Let u be s(7). Solve -x + 2*x = u for x.
3
Let t be (0/(-20))/(1 - 0). Solve 5 + t = b for b.
5
Let a(c) = -2*c + 7. Let p be a(-6). Suppose -141 - p = -5*h. Suppose -s = 3*s - h. Solve 0 = -2*w + 2 + s for w.
5
Suppose 0 = 5*a + 6 - 26. Suppose 20 = a*z + 80. Let f be (-2)/10 - 3/z. Solve f = -l - 4 for l.
-4
Let u = 30 - 17. Solve -5 = 2*m - u for m.
4
Let t = 6 - 10. Let b be (-34)/(-8) - t/(-16). Solve -15 = -g - b*g for g.
3
Suppose -4 + 0 = -t. Suppose -t*k = k - 15. Solve 0 = -4*f - 1 - k for f.
-1
Let r be 70/9 + (-2)/(-9). Solve 4*y + 0*y - r = 0 for y.
2
Let f(l) = -l - 3. Suppose -4*a = h - 11, -15 = 4*a - 7*a. Let x be f(h). Let o = x + 0. Solve 5 = o*c - c for c.
1
Suppose 0 = -3*v + 6*o - 2*o + 12, -2*o - 6 = 2*v. Suppose 5*c - 5*q = v, -4*c + q = 2*q. Solve c*n + 6 = -3*n for n.
-2
Let w be 42/30 - -3 - (-4)/(-10). Solve 1 = -w*c - 19 for c.
-5
Let g = -43 - -49. Solve 4*v + 14 - g = 0 for v.
-2
Let n be (-3)/24 - (-6 + 94/16). Suppose f = 4*q - 22, -3*q + 3*f + 11 = -2*q. Solve n*l - q*l = 0 for l.
0
Suppose -5*y = -2*p + 9 + 1, -5*y = 4*p + 10. Solve m + 1 - 4 = p for m.
3
Let q(v) = -v**2 - 10*v - 9. Let p be q(-9). Solve -j + p*j - 4 = 0 for j.
-4
Let x(q) = q**2 - 6 + 9*q + 5 - 5. Suppose 0 = -5*v - 6 - 44. Let a be x(v). Solve a*d = -d for d.
0
Let d(x) be the second derivative of 3*x + 0 + 1/6*x**3 + 1/2*x**2. Let t be d(9). Solve -4*o = o - t for o.
2
Let a(z) = 2*z**2 - 4*z. Let n be a(3). Let k be (-4)/n - 32/(-12). Solve k*s = -s + 6 for s.
2
Suppose 4 = -2*z - 2*z. Let i = -1 - z. Solve i*p + p = 1 for p.
1
Suppose 6*h = 4*h. Solve 5*o - 2*o = h for o.
0
Let c(v) = -v**2 + 4. Let m be c(0). Solve -m*t + 2 = -14 for t.
4
Suppose h + 5 = -2*w + w, -h = 5*w + 5. Let c(l) = -4 - 5 - l + w. Let j be c(-11). Solve 0*y = j*y + 2 for y.
-1
Let g(z) = -z**3. Let o be (-3 + 3)*(2 - 1). Let n be g(o). Solve r - 4*r = n for r.
0
Let m be (1 + 3)*(7/(-14) + 1). Solve -d - d + m = 0 for d.
1
Let c be 4*((-12)/(-3))/1. Let f = c - 11. Suppose -2*w - 2 + f = -y, -w = y - 6. Solve y*a = 4*a - 4 for a.
4
Let s(t) = 4*t - t + 1 - 2*t. Suppose j - 6 = -j. Let k be s(j). Solve 9*l = k*l + 10 for l.
2
Let j = 1 + 2. Suppose j*r - 4*r + 6 = 0. Let b be 1 - (-3)/(r/4). Solve -w = -b*w for w.
0
Let n be 1 + 3/((-6)/(-8)). Suppose -5 = -u + 2*v, 5*u - 9 = u - 3*v. Suppose 2*k = -u*k. Solve k*j + j = n for j.
5
Let u be 36/8 + 2/(-4). Suppose 4*f - 48 = 2*w, 2*w - 21 = -u*f + 11. Let k(m) = -4*m. Let y be k(-1). Solve -v = y*v - f for v.
2
Let r(a) = a**2 + 13*a + 3. Let f be r(-13). Suppose f*i + w - 18 = i, w + 12 = i. Solve -2 + i = 2*g for g.
4
Suppose 0 = 3*i - 3*c - 21, 4*c = -2*i + c - 11. Suppose -d - i*d = -3*b, d + b = 6. Solve 2*p - 3*p - d = 0 for p.
-3
Suppose -4 = 3*j - 13. Let s = 9 - 8. Suppose k + 3*p + 3 = 0, 5*k - 8 = -4*p - s. Solve 0 = -j*z - 0 + k for z.
1
Let u = 8 - 8. Let z = u + 2. Solve -p + z = -2*p for p.
-2
Let y = -23 - -25. Suppose -y*t + 3 - 1 = 0. Solve -q + t = -4 for q.
5
Let v(y) = -y**2 - y + 1. Let b(n) = -n**3 + 3*n**2 - 3. Let m be b(3). Let f be v(m). Let s = -2 - f. Solve 0 = -s*u + 7*u - 8 for u.
2
Suppose l + 3*l + 8 = -4*b, -3*b + l = -10. Let f = b - -4. Solve -f = -0*q - 2*q for q.
3
Let w = 23 - 15. Let s = 4 +