
1
Let v = -70 - -105. Suppose 4*n - v = -n. Solve 4*o - n = 1 for o.
2
Suppose -109*u - 30 = -115*u. Solve 0 = 5*m - 4*m - u for m.
5
Let y = 0 + 8. Suppose -2*w - 14 = -5*h, 4*w + y = -2*h + 4. Solve -2 - 4 = -h*s for s.
3
Let l = -1 - -1. Let a be (2/4)/((-5)/(-50)). Solve -a*r - 17 - 8 = l for r.
-5
Let v be 4 - (0 + 1 + -1). Let k(l) be the first derivative of l**2/2 - 2*l - 4. Let t be k(v). Solve t = -3*g + 5 for g.
1
Let b(f) = f**2 + 50. Let a be b(0). Let i = a + -36. Let r be i/4*(-2 - -4). Solve -r = 2*c - 15 for c.
4
Let r be ((-14 - 0) + 4)/((-4)/6). Solve -2*d + r = -7*d for d.
-3
Suppose 3*v + 0*v = 2*o - 7, -3*v = o - 17. Let b = 8 - o. Solve b = 4*q + q + 20 for q.
-4
Suppose -3*r = b, 2*b - 4 = -3*r - 1. Let o(v) = -2*v**3 - 1. Let u be o(r). Solve -3 = -f + u for f.
4
Let w(s) = -5*s**2 + 1. Let q be w(-1). Let z(g) = -g**3 - 4*g**2 - 2*g - 3. Let d be z(q). Suppose d = x + 2. Solve -x*i - i = -20 for i.
5
Suppose -69 = -5*x + 81. Let w = 15 - x. Let r be 117/15 - 3/w. Solve -2*a + 2 = -r for a.
5
Let a(z) = -z**3 + 7*z**2 - 5*z - 4. Let u be a(6). Suppose -4*f + 1 = 2*r - 5, 0 = -2*r + 6. Solve -p - u = -f for p.
-2
Let o = 5 + -1. Suppose 0 = -y - 2*y + k + 82, o*k - 8 = 0. Let t be (-205)/(-7) - 8/y. Solve -t = -4*g - 9 for g.
5
Let f = 30 + -24. Solve 0*t - 2*t = -f for t.
3
Let p(w) = -w**2 + 6*w - 1. Let b(d) = d**3 - 8*d**2 + d - 3. Let a be b(8). Let f be p(a). Let n = 7 - 4. Solve 0 = -f*h + n - 11 for h.
-2
Suppose -3*c - c = -16. Suppose -3*k + 2*z = -2*k + 9, 6 = 3*z. Let o = -3 - k. Solve o*v + 0 - c = 0 for v.
2
Suppose 36 = 3*x - 3*a, -4*x + 5*a - 7 = -57. Solve -4*u + 9*u - x = 0 for u.
2
Let c(z) = z**2 + 2*z + 3 - 1 + 0. Let b be c(-3). Solve -2*h + 3 = -b for h.
4
Suppose 0 = 4*h - f - 3*f + 40, 4*h = -4*f - 40. Let q = h + 21. Let n(a) = -a**2 + 12*a - 11. Let j be n(q). Solve -3*y + j*y - 6 = 0 for y.
-2
Let w = 6 - 5. Suppose -6 = 4*m - 7*m. Solve m + w = s for s.
3
Suppose 4*x + 5*g = -0 + 25, -5*x = -4*g + 20. Let i be (0 - x)/(1 - -1). Let p = i - -1. Solve u = 2 + p for u.
3
Let k(c) = c**3 + 2 - 14 - 5*c**2 + 2*c - 5*c**2. Let x be k(10). Solve -4*v = -2*v + x for v.
-4
Let m be 12/42 + (-12)/(-7). Let c = m + -4. Let g be (1 + c)*(-2 + 0). Solve 0 = 5*i - 3 - g for i.
1
Let a = 1 - -1. Suppose a*n = 3*n - 4. Solve 0 = -n*d + 5*d for d.
0
Suppose 2*b = -6*b + 3*b. Solve 2*s = -b*s for s.
0
Suppose 6 = -2*i, -2*i - 33 = -3*j + 3*i. Let y = j + 18. Suppose 0 = -0*z + 4*z - 4*x - 36, -x = 3*z - 7. Solve -z + y = -5*n for n.
-4
Let l be (0 - -2) + -1 - -7. Let n = -4 + l. Suppose 0*k = n*k - 20. Solve k*p + 27 = 2 for p.
-5
Suppose 0 = l - 5*l. Solve l = i - 2*i + 4 for i.
4
Suppose 6 + 2 = 4*v. Solve -v*f - 2 = -f for f.
-2
Let r be (-1 + 1)/(0 + 1). Let h(a) = -a**2 + 12*a - 27. Let x be h(7). Solve -5*n + x + 2 = r for n.
2
Let u be 16/(-20)*-2*5. Suppose 4*c = 6*n - 2*n + u, 0 = -5*c - 5*n + 10. Solve 0 = -3*z - c*z for z.
0
Suppose 2*d = 7*d. Suppose 2*s - 12 = -2*s. Solve s*q - q - 2 = d for q.
1
Suppose 0 = -3*w + 11 + 25. Solve 2*s = -s - w for s.
-4
Let h = 6 - 4. Solve h = -3*k + 8 for k.
2
Let t = -7 + 7. Let n = 0 - t. Solve n*s = -s - 1 for s.
-1
Let f be (-16 - 7)*(-2)/(-1). Let v = -24 - f. Suppose y - 9 = -0*s - 3*s, -4*y = -2*s - v. Solve 0 = y*l - l - 5 for l.
1
Let d(g) = -2*g - 13. Let j = -24 + 16. Let x be d(j). Solve x*f = -3 - 6 for f.
-3
Suppose 6 = -3*i - 5*q - 1, 5 = -q. Suppose 3*t + 3*t - 12 = 0. Suppose -u - x = -i, u - x - 2 = -t*u. Solve -2*r + 2 = -u for r.
2
Suppose 28 = 2*h - 4*v, -v + 5 = 3*h - 9. Let k = -3 - -7. Solve k*i = i + h for i.
2
Let i be 76/(-19) + 19/1. Solve i = 9*w - 4*w for w.
3
Let a(u) = -u**2 + 7*u + 2. Let b be a(7). Suppose -4*s - 5*q + 41 = 0, 2*s + 6*q - 28 = b*q. Solve 1 = -s*c - 11 for c.
-3
Let j(p) = p**2 - 12*p + 2. Let y be j(12). Suppose 4*h = -h - 3*d + 4, -y*h - 2*d = 0. Solve h*z + 1 = -7 for z.
-4
Let w = -11 - -16. Solve -w*n + 20 = -n for n.
5
Suppose 0 = -8*i + 4*i + 36. Solve 2*y + y = i for y.
3
Suppose -4*p + 8 = 2*j, -3*j + 4 = 2*p - 4*j. Solve -3*d + p = -7 for d.
3
Let c be -3 + 11 + 4/2. Let n(z) = -z + 10. Let g be n(c). Solve -4 = j - g*j for j.
-4
Let m(f) = f**3 + 5*f**2 + 4*f - 1. Let s be m(-3). Let q = -48 - -68. Suppose 0*r - 4*r = -q. Solve 4*v - r = s*v for v.
-5
Let i(c) = c**2 + 5*c - 8. Let z be i(-6). Let w be ((-7)/z)/(3/6). Suppose -2*u = -w*u + 30. Solve -u*v = -v for v.
0
Suppose l + 13 - 52 = 0. Let g = l - 15. Suppose 3*j = -b + 10, 3*b + g = 2*j + 8*b. Solve 0*k + k = j for k.
2
Let k(h) = h**3 + 6*h**2 - 8*h - 5. Let f be k(-7). Let a = -3 - -9. Let s = a - 4. Solve f*i + 4 = -s for i.
-3
Suppose -19*p = -7*p - 72. Solve -4 = 5*w + p for w.
-2
Let m be ((-23)/(-23))/((-1)/(-3)). Solve 0 = n + m*n - 4 for n.
1
Suppose 0 = -4*c - 0*c. Suppose 0 = 3*n - c*n. Solve n*i = -i for i.
0
Let k be 3 + 1 + 0 + 0. Suppose -3*a = -5*a + k. Solve -a*j + 1 = -j for j.
1
Let d(q) = q + 6. Let f be d(-8). Let m be f/12 - (-244)/24. Solve -o - m = -3*o for o.
5
Let j(x) = -x**3 + 4*x**2 - 2*x - 4. Let d be j(4). Let i be ((-4)/(-6))/((-4)/d). Suppose i*t = 3 + 1. Solve -c - t = c for c.
-1
Suppose -q - 3*p = 4*q - 26, -q + 13 = -2*p. Solve 2*w - q = -17 for w.
-5
Suppose 3*q - 5*h + 0 + 2 = 0, 4*h = -5*q + 46. Let a(v) = -v**2 + 7*v - 2. Let t be a(q). Suppose z + 0*z - 5 = 0. Solve -29 = -z*l - t for l.
5
Let p = 90 - 88. Solve 4 - p = -f for f.
-2
Let p = -80 + 80. Solve p = 8*c - 3*c for c.
0
Let k(x) = 5*x - 18. Let g be k(8). Suppose 5*v - g = -q, 5*q - 3*v - 12 - 14 = 0. Solve -3*u = -q*u - 4 for u.
-1
Let u(x) = -2*x**3 + 2*x**2 + 3*x + 2. Let i be u(-2). Solve -y = 4*y + i for y.
-4
Suppose -3*b = 4 + 11, 2*y - 16 = 2*b. Solve -y*w - 9 = -6*w for w.
3
Let c = 16 + -32. Let j = c - -16. Solve j = -t - 1 for t.
-1
Let o be 2 + (-87)/9 - (-2)/(-6). Suppose 2*i - 32 = -2*i. Let u = i + o. Solve u - 5 = p for p.
-5
Let b(w) = w**2 + 8*w + 9. Let p be b(-7). Suppose -3*r - p = -14. Solve 4*c + 0 = r for c.
1
Let s(p) = -3*p - 6. Let r be s(-5). Solve -2*h - h = r for h.
-3
Let n(f) be the second derivative of f**4/4 + f**3/3 - f**2/2 - f. Let y = 0 + 1. Let q be n(y). Solve q*b + 3 + 1 = 0 for b.
-1
Suppose -3*p - 52 = 11. Let j = p - -23. Solve -3 - j = t for t.
-5
Let p = 20 - 18. Solve -p*m = -m for m.
0
Let j = 0 + 2. Suppose -j*k = -6*k. Suppose -2*y = l - 10, 2*l = l + 5*y + 45. Solve 5*i = -k*i + l for i.
4
Let l be (-6 - -7)/(2/8). Solve 0*y = -l*y - 20 for y.
-5
Suppose 5*j + 25 = 0, u = 5*u - 2*j - 18. Solve -u + 5 = -b for b.
-3
Let j = 3 + -1. Let v be 0 + ((-12)/(-1))/j. Let c be v/1*(-2)/(-4). Solve 9 = -c*l - 6 for l.
-5
Let u = 13 + -7. Let k = u + -3. Solve k*t = 5*t for t.
0
Let d be (-3)/6*-2*4. Suppose 0 = -d*y - 2*a + 14, -3*y - 8 = -7*y + 4*a. Solve y*r = -2*r for r.
0
Let r(j) = j + 17. Let f(k) = -2*k - 2. Let q be f(-2). Suppose -5*s - 4*b - 35 = -q*s, 4*b = 4. Let c be r(s). Solve -c*n + 9 = 1 for n.
2
Suppose -2*i = -6*i - 12, 0 = 5*d - 2*i - 21. Let q(a) = a + 2. Let j be q(1). Suppose -d*p + 17 = 2*p + 4*v, -j*p - 4*v = -15. Solve -u = -p - 2 for u.
3
Let x be (-13)/52 + (-2)/(-8). Solve 0 = 2*r + 4 - x for r.
-2
Suppose -7 - 5 = -4*f. Suppose -4*v = -2*v - 4*g + 10, -f*v - g + 13 = 0. Suppose -5*x = v*s - 2*s - 13, -s = 3*x - 9. Solve -h = x*h - 6 for h.
2
Suppose 0 = -2*x - 5 + 19. Let g = -6 - -9. Suppose -x = -g*t + 5. Solve o + t*o + 20 = 0 for o.
-4
Let l(c) = -c**2 + 2. Let m be l(0). Suppose -5*g + m*g - 3 = 0, -3*g = -3*q + 27. Solve 0*b - q = 4*b for b.
-2
Let z be 0 + -3 + (1 - -2). Let g = 12 + -2. Solve 5*l = -z*l + g for l.
2
Let a be 0 + -4 - (2 + -6). Solve a = 6*l - 3*l - 9 for l.
3
Suppose -7*b = -3*b - 56. Solve 6 = 5*r - b for r.
4
Let q(p) be the third derivative of p**6/120 - p**5/5 + p**3/2 - 4*p**2. Let o be q(12). Solve -u + o = -0 for u.
3
Let w = -7 + 2. Suppose 4*c - d + 5*d - 52 = 0, -2*c + 18 = -2*d. Let t = w + c. Solve -5*q + 8*q = t for q.
2
Let t(h) = -h**2 + 5*h + 16. Let o be t(7). Let j(k) = k**3 + 4*k**2 - 3*k - 5. Let p be j(-4). Solve -o*y - 20 = -p*y for y.
4
Let k = -73 - -75. Solve y + 1 = k for y.
1
Let w be 0 + (-4)/(1/(-1)). Let r = 23 + -23. Let d = r + 2. Solve 0 = w*x + 22 - d for x.
-5
Let z be -2 - (-2 - -1)*1. Let s = 6 + z. Suppose