ose g + r = 4*u, 13 = 5*g - 12. Solve -d = d + u for d.
-2
Let j(z) = 2*z - 22. Let h be j(11). Solve -2*l - 4 + 0 = h for l.
-2
Let h = 8 - 5. Let v = -6 + 5. Let a = h + v. Solve 1 - a = -l for l.
1
Suppose -5*d + 24 = -j, 4 = 4*d - 4. Let s be (-7)/j + (-42)/(-4). Solve 2*z - 1 = -s for z.
-5
Let u(z) = -z**2 + 7*z + 3. Let l be (-13)/(-2) + 4/8. Let i be u(l). Let d = 0 + i. Solve -d*s - s = -4 for s.
1
Let q be (-3)/(-3 - (-3 - -1)). Solve 0*d - q = 3*d for d.
-1
Let n = -9 - -13. Solve 1 + n = -l for l.
-5
Let n = 6 - 4. Suppose 0 = -f - 1 + 6. Let c(l) = -l**2 + 5*l. Let m be c(f). Solve -n*r = -m*r - 10 for r.
5
Let p = -7 - -18. Let f(l) = -l + 1. Let m be f(1). Suppose 3*k = -4*j - 9, 4*k - k + 3*j = -6. Solve -5*s - k + p = m for s.
2
Let l(u) = -u**3 + u**2 - u + 4. Let c be l(0). Suppose v - 3*j = -5*j - 5, -j - 7 = -c*v. Solve 2 - v = -w for w.
-1
Let k be 2 + -5 - (0 + -6). Suppose 22 - 4 = k*t. Solve n - t = -1 for n.
5
Suppose 0 = 2*t - 4, -t + 0*t = -2*s + 6. Let r be 4/(-16)*-4 + s. Solve -25 = -5*n - r for n.
4
Let d = 3 + -1. Suppose 3*x = -x + 20. Let i(u) = -u + 7. Let b be i(-11). Solve -b = -x*k + d for k.
4
Let i be (-3 - (0 - 1)) + 6. Suppose i*p = 5*p - 2. Let y = 6 - p. Solve y*z - z = 0 for z.
0
Let i be ((-3 - -4)*0)/1. Suppose 0 = -4*d - i + 16. Solve -d*s + 3*s + 4 = 0 for s.
4
Suppose 2*o + 2*b - 5 = 7*b, 2*o - 3*b = 3. Solve o = -5*h + 17 - 7 for h.
2
Let r(x) = x**3 - 4*x**2 + 4*x + 1. Let a be r(3). Solve -6*n = -a*n - 8 for n.
4
Let p(y) be the first derivative of 3/2*y**2 - 2*y + 1/2*y**4 - 4/3*y**3 - 2. Let r be p(2). Solve r*q - q = -3 for q.
-1
Let c(u) = u + 1. Let t(a) = 4*a + 6. Let j(s) = -3*c(s) + t(s). Let o be j(0). Suppose 0 = -o*i + 3*m + 27, -4*m - 11 = -5*i + 33. Solve z = -z + i for z.
4
Suppose 4*w - 5*i = -2*i + 15, i + 5 = 0. Solve 6 = -w*c + 3*c for c.
2
Suppose -2*t - 11 = 4*j + 87, -5*j + t - 119 = 0. Let i be j/(-14) - 4/(-14). Suppose 5*d - 36 = 2*u, -4*d + 28 = -0*u - 2*u. Solve -3*b = d - i for b.
-2
Suppose 0 = -g - 4*g - 15. Let o = g + 5. Suppose z - h - o*h = 14, -18 = -3*z + 3*h. Solve -6*r = -z*r + 20 for r.
-5
Let q(x) = 10 - 14 + x + 2*x - 4*x. Let n be q(-7). Solve -n*h + 3 = -0*h for h.
1
Let d(p) = p**2 - 4*p + 9. Let l be d(3). Solve -l*h + 4*h + 2 = 0 for h.
1
Let o = -73 - -73. Solve 10 + o = -5*n for n.
-2
Let n(w) = w**3 - 4*w**2 + 4. Let b be n(4). Let k be (-6)/3 + b*2. Suppose -2*u - 16 = -k*u. Solve 2*i - u = 4 for i.
4
Let l = -1 - -14. Suppose 0 = 5*h - l - 12. Suppose -2*w - h*i = 3*w - 85, 0 = -w + 4*i + 32. Solve -2*v + w = 2*v for v.
5
Let q(n) = 2*n - 8. Let k be q(9). Solve -f = 4*f - k for f.
2
Suppose -2*m + 38 = 5*t, 0*m - 5*m - 4 = -4*t. Suppose -t*b - 4*d = -2*b - 24, -d = -2. Solve -4*o = -5*o - b for o.
-4
Let b(l) = l**2 - 10*l + 4. Let z be b(10). Solve p = -z*p + 20 for p.
4
Let a(m) = -m - 9. Suppose 0 = 4*o + 12 + 40. Let w be a(o). Solve -7*r - 6 = -w*r for r.
-2
Let n be (-34)/(-8) - (-6)/8. Suppose 0 = -8*v + 3*v + 4*j + 32, 0 = -n*v - 2*j + 14. Solve 0 = -v*x + 18 + 2 for x.
5
Suppose 0 = o - 3*n + 10 + 2, -3*o = 4*n - 16. Solve o*g = 3*g for g.
0
Let x be (-1 - -3)/(2/(-3)). Let s = x + -1. Let b = s - -6. Solve -b*c - 6 = c for c.
-2
Let x = 117 - 117. Solve x = 5*p - p - 12 for p.
3
Let v(c) = 2*c**2 + 2*c + 1. Let r be v(-1). Let i(y) = -y + 3. Let k be i(4). Let u = -1 - k. Solve n + r - 3 = u for n.
2
Suppose -17 + 2 = -2*u + 3*z, -15 = -3*u - 3*z. Suppose 4*r - 3 = 3*r. Suppose r*m - 2 = 10. Solve -22 + u = m*k for k.
-4
Let h = 47 - 44. Solve 4*s = h*s for s.
0
Let v = 1 - 1. Suppose v*o + o = j, 2*j + o - 12 = 0. Solve -5*g + j + 1 = 0 for g.
1
Let d(l) = l**2 - 4*l + 2. Let x be d(4). Solve 2 = -2*a - x for a.
-2
Suppose 3*k + 9 = 2*v, -2*v - 4*k + 1 = k. Let r = -3 + 5. Solve v*c = r*c for c.
0
Let p be (-1)/((-10)/(-6) + -2). Suppose p*m - 17 = -4*z, z - 4 = -m + 1. Suppose 0 = m*l - 2*f - 20, 12 = 2*l - 3*f + 2*f. Solve -j = -l*j for j.
0
Suppose -3*k - 3 + 47 = 4*j, 0 = -j - 5*k + 28. Let v = -4 + j. Let l = 0 + 10. Solve -p - v*p = l for p.
-2
Suppose -4*h - 9 = -3*y - h, -2*h - 9 = -3*y. Let n = -33 + 20. Let f = 21 + n. Solve y*w = -w + f for w.
2
Suppose -3*i = 3*j - j + 4, i = j + 7. Suppose k - i*k = -3. Solve k*q + 5 = -10 for q.
-5
Let y(k) = k - 2. Suppose -21 = -t - 4*i, -4*t + 3*i = 12 - 1. Let f be (t/(-2) - 0)*-12. Let r be y(f). Solve -r*b - 7 = 5 for b.
-3
Let h(x) = -x**2 - 7*x - 5. Let j be h(-6). Solve l - 2*l = j for l.
-1
Let v(f) = -3*f**2 - 13*f + 2. Let u be v(-4). Solve u*t = 10*t - 16 for t.
4
Suppose -v = -3*v. Suppose 2*y = -10, v = l + 6*y - y + 23. Let d be -1 + 3 - (-7 + -3). Solve -l*r - r = d for r.
-4
Let j(a) = -a**3 + 13*a**2 + 14*a + 3. Let o be j(14). Solve -o*f + 2*f = -3 for f.
3
Let s = 11 + -7. Suppose -h + s = h. Solve 0 = r + 7 - h for r.
-5
Suppose a + 3*j + 6 = -3*a, 0 = j + 2. Solve 6 = -a*g - 3*g for g.
-2
Let r(p) = 3*p**2 + 4*p - 5. Let l be r(2). Solve -2*c + l = c for c.
5
Let v = 0 + -5. Let n(k) = -k - 3. Let t be n(v). Suppose -2 = -y + 4. Solve -t*p + y = -0*p for p.
3
Suppose 3*f = -h, 2*f = -0*f. Solve b = -h*b - 3 for b.
-3
Suppose 0*w - 4*a + 40 = 4*w, 0 = 5*w - 3*a - 50. Solve 2 = 2*s + w for s.
-4
Suppose 0 = 2*n + 6*n - 32. Solve 5*l - n*l = -5 for l.
-5
Suppose -14 = -4*b + 2*a, -4*b = 2*a - a - 17. Suppose -4*c - 8 + 20 = 0. Let y = 3 - c. Solve y*v + b*v = 20 for v.
5
Let u(n) = 2*n**2 + 3*n + 5. Let c be u(-3). Let l be ((-2)/(-6))/((-1)/(-9)). Solve -1 - c = -l*b for b.
5
Suppose 32 = 4*k + 5*x, 3*k - x = k + 2. Let u be k/5 - (-72)/30. Solve 0 = -u*s - 4 - 2 for s.
-2
Suppose 3*t - t - 6 = 0. Suppose 0 = -2*j + t*j. Let i(f) = -f + 2. Let x be i(j). Solve -3*k = x*k + 20 for k.
-4
Suppose 4 = -2*u - 0*u. Let j = 11 + u. Suppose 0*s + 3*s = 18. Solve -j - s = 3*l for l.
-5
Let z(y) = y + 2. Suppose -3*x = -2*d - 22, 0 = -4*d + x - 24. Let s be z(d). Let o(m) = -3*m - 4. Let b be o(s). Solve -h + b = -0*h for h.
5
Suppose 2*t = -5*o - 6, t + t + 6 = -4*o. Let n be (-2)/t + (-8)/(-6). Suppose 3*h - 2 = -2*c + 17, n*c + 4*h = 24. Solve -c*w = -6*w for w.
0
Suppose 14 = j + 12. Solve -j*l + 3 + 7 = 0 for l.
5
Let w(u) = -3*u - 3. Let l be w(-1). Solve l = -g + 4 - 1 for g.
3
Suppose -2*i - 2*z - 9 = -5*i, -z = -5*i + 22. Suppose i*v = 3*v + 10. Solve j + v = -0*j for j.
-5
Let z(r) = r**3 + 4*r**2 + 5*r + 3. Suppose -4*i - 2*g - 12 = 2*g, 5*g = 0. Let c be z(i). Let a be 6/c*1/(-2). Solve -3*d - 5 = a for d.
-2
Let d be 16/(-6)*(-9)/4. Let j be d*12/(-27)*3. Let g(p) = -p**3 - 8*p**2 + p + 8. Let c be g(j). Solve 3*q - 2*q - 2 = c for q.
2
Let k(c) = 6*c**2 - 14*c + 10. Let z(a) = 7*a**2 - 15*a + 10. Let g(n) = 6*k(n) - 5*z(n). Let x be g(8). Solve 0 = -2*r - x - 0 for r.
-1
Let n(c) = 3*c - 5. Let o(f) = -7*f + 11. Let w(m) = -13*n(m) - 6*o(m). Let g be w(2). Solve -g*v - 4 + 19 = 0 for v.
3
Let k be 3*(-3)/(3 + -6). Solve k*p + 4 = p for p.
-2
Let j be 31/2*4 - 2. Suppose -3*x + j = x. Solve -3 + x = -4*a for a.
-3
Let k(l) = l**3 + 10*l**2 - 12*l - 11. Let u be k(-11). Solve r + 4*r + 15 = u for r.
-3
Let v(g) = g - 2. Suppose -2*j = -5*m + 2 - 7, -3*m + 3 = 0. Let t be v(j). Solve -1 - t = 4*r for r.
-1
Suppose 5*x - 9 - 6 = 0. Let k(r) = 4*r + 1. Let f be k(x). Suppose -5 = 2*d - f. Solve 3*v = -d + 1 for v.
-1
Let n(j) = j**2 + 8*j - 44. Let x be n(-12). Solve -o = -x*o for o.
0
Let k = -1 - 0. Let j(y) be the first derivative of -3*y**4/4 - y**3/3 - 1. Let n be j(k). Solve 2*c + n*c - 8 = 0 for c.
2
Let u = -126 + 132. Solve 5*h + u = 8*h for h.
2
Suppose 2*m - 2 - 12 = -3*o, -3*m = -4*o + 13. Let s be (-3 - (-10)/o)*-4. Suppose 0 = -0*a - s*a. Solve z + z = a for z.
0
Suppose 0 = 6*r - 30. Solve 0 = -0*t - 5*t - r for t.
-1
Suppose 1 + 5 = -3*b, 5*b + 16 = 2*j. Solve 6 + j = 3*k for k.
3
Let h be 4 - (1 + -4 + 7). Solve h = -0*g - g + 4 for g.
4
Suppose 4*b = -b - 5*w - 10, 5*w = -10. Let r be (2/4)/((-1)/(-4)). Solve -r*d - 8 = -b*d for d.
-4
Let t be (-18)/30 + 13/5. Suppose 2*r - 20 = -2*j, r = t*j - 0 - 5. Solve -4*a - j = 3 for a.
-2
Let u(x) = -x**2 + 5*x - 1. Let z(g) = g - 1. Let k be z(3). Let f be u(k). Solve -f*p = 4 + 11 for p.
-3
Suppose 0 = -3*p - 12, 28 = 3*o - 2*p - 2*p. Suppose 0 = o*l - 8*l + 12. Solve 2*r = -l - 7 for r.
-5
Let t 