-5
Let w be ((-72)/(-21))/(4/14). Let r = w + -11. Solve -3*n = 5 + r for n.
-2
Let l be 1*10/2*1. Suppose 5*r = l*z - 15, 6*z - 27 = z + r. Solve -4*m - z = -2*m for m.
-3
Let l = -8 + 11. Let c = 13 + -5. Solve i = -l*i - c for i.
-2
Let l be 13 + 12/(-1 - -5). Let u = 19 - l. Solve -u*j + 8 + 4 = 0 for j.
4
Let d be 8/((6/(-3))/(-1)). Suppose 6*h = 2*h. Solve h = -o - 1 - d for o.
-5
Let k = 21 - 21. Suppose a + 2*w - 25 = k, 0 = 5*a + w - 53 - 36. Solve 5*f = -a - 8 for f.
-5
Suppose 10 = 2*z + 2. Solve 0 = 5*p - 24 + z for p.
4
Let k(j) = j**2 + 7*j - 1. Suppose f = -4*b - 16, -5*f + b - 30 = -4*b. Let n be k(f). Solve 3*c - 1 = -n for c.
-2
Let h be (-6)/(-12)*(1 - 1). Solve h = -4*m + m for m.
0
Suppose -5*i + 12 = -2*i. Let t = 13 - i. Solve 0 = -0*q + 3*q + t for q.
-3
Suppose 0 = -2*s - 0 + 4. Solve 2*m = -0 + s for m.
1
Let a(n) = n**3 - 6*n**2 - 3*n - 17. Let y be a(7). Solve y = 2*m + 1 for m.
5
Suppose -3*s = -14*s + s. Solve s = -0*m - 5*m for m.
0
Let l = -16 - -38. Suppose 0 = 4*m + 12, 13 = 5*o - 4*m - 59. Let t be (o/(-8))/(2/(-4)). Solve -5*j = -t - l for j.
5
Let i be 2 + -5 + 3 + -1. Let p be i - 4/((-4)/3). Solve -3*y - p + 5 = 0 for y.
1
Let z = 0 - 0. Suppose -3*y - 2*y = -25. Suppose -4*a + y + 11 = 0. Solve -2*r + a*r = z for r.
0
Let a be (-1 - -4) + (-5 - -2). Suppose f + 2*f - 6 = a. Solve -4*g + f = -10 for g.
3
Suppose -5*t - 2*p = -52, -4*t + 11 = 2*p - 31. Solve 8*m = t*m for m.
0
Suppose -3*m + 3*i - 24 = 0, 5*m + 10 + 14 = -3*i. Let z be 3*(-1)/m*4. Solve -z*a = -0*a - 2 for a.
1
Let o = 2 - 0. Let i be 3*-1 + (-5 - (0 + -10)). Let m = o - i. Solve 2*f + f = m for f.
0
Suppose -5*r - t + 0*t = -20, -3*t + 20 = 5*r. Suppose 0 = -z + 8 - 7. Solve r*x - 7 = z for x.
2
Let s be -1*(-8*1)/2. Suppose 3*t - 4*y - 10 = 0, -5*t - y + 75 = s*y. Solve 2*k + t - 2 = 0 for k.
-4
Let a(t) be the first derivative of t**4/4 - 5*t**3/3 + 5*t**2/2 - 2*t - 1. Let j be a(4). Solve -z + 6 = j for z.
4
Let h be (-1205)/(-30) - (-1)/(-6). Suppose -4*y + h = -2*n, -y + 5*n = -6 - 22. Solve 0 = -4*j + 2*j - y for j.
-4
Let u(f) = -f**3 + 12*f**2 - 2*f + 30. Let g be u(12). Solve -d + g = -3*d for d.
-3
Suppose 2*o = -5*b + 4, -5*b + 3*b + 16 = -4*o. Solve -1 = -b*n + 3 for n.
2
Suppose 5*l + 0 = v - 15, -2*l = -2*v + 6. Solve v = 5*n - 3 - 12 for n.
3
Let b(z) = -z - 6. Let g(c) = -2*c + 12. Suppose -17 = -2*t + 3. Let v be g(t). Let d be b(v). Solve d*u + 4 = u for u.
-4
Suppose -3*a = -12 - 3. Let n = -10 + 18. Suppose -k + 0*k + t + n = 0, k - 5*t - 28 = 0. Solve d - a = -k for d.
2
Let z be -1 - 2 - (4 + -13). Suppose b = -2*b + 12. Solve -b*o - z = -o for o.
-2
Let r be -2 - (0/3 + -4). Solve -6 = r*m + m for m.
-2
Let n(z) = z. Let g be n(0). Solve g = w - 2*w + 5 for w.
5
Let n(t) = t - 2. Let v be n(6). Let q be (-2)/3 - 156/(-18). Let j be (-2)/q - v/(-16). Solve -w - w = j for w.
0
Let u(y) be the first derivative of -4 - 4*y + 4*y**2 - 8/3*y**3 + 1/4*y**4. Let g be u(7). Solve 8*q = g*q + 5 for q.
1
Suppose -4 = -2*u + 4. Solve 0*q - u*q = -12 for q.
3
Suppose -x + 15 = 13. Solve -2*m - x = 2 for m.
-2
Let f(d) = d - 2. Let z be f(5). Suppose 0 = 3*t + 3*s - 4*s, 4*s + 13 = -t. Let j(v) = -9*v**3 - 1. Let c be j(t). Solve z*i - 4 = c for i.
4
Let r be (-3)/(-1)*(-5)/(-5). Suppose -9 = -2*n + 3*c, -3*n + r*c = -0*n - 12. Solve 0 = -n*w + 4 - 16 for w.
-4
Let r = -3 + 3. Suppose r*p + p = 5. Suppose 0*o + p*o - 2*l = 0, -l = -o - 3. Solve -x - 1 = -o*x for x.
1
Let k(x) = -8*x. Let g be k(1). Let b = g - -11. Suppose 5*q - 7 - b = 0. Solve 0 = l - q*l for l.
0
Let g(f) = -f**2 + 15*f - 10. Let u(p) = p**3 + 11*p**2 - 13*p + 2. Let z be u(-12). Let n be g(z). Solve j - n = -2 for j.
2
Suppose 4*k + 10 = -4*s + 9*s, 6 = -4*k + 3*s. Solve r + 2 + 1 = k for r.
-3
Let u = 0 + 0. Suppose 2*n - m - 14 = 0, 7*m + 5 = -3*n + 2*m. Suppose 14 = x + n. Solve u = 2*y + y + x for y.
-3
Let x(t) = t**3 + 2*t**2 - 4*t - 2. Let l be x(-3). Let j = 0 - -2. Let g(s) = s**3 + s**2 - s + 1. Let q be g(0). Solve -j*b - l = q for b.
-1
Let k be 98/5 + (-4)/(-10). Suppose -2*n = 3*n - k. Suppose 3*x - 4*l - 68 = 0, 0*l - l = n*x - 78. Solve -2*u + x = 2*u for u.
5
Let g(p) = 0*p**2 + p**2 + 0 - 3*p - 1. Let o be g(3). Let a be -1 + (-10)/(-1 + o). Solve -a*s = -s - 15 for s.
5
Suppose -202 + 32 = 5*n. Let v be (-3)/(n/28 + 1). Solve 3*l = 1 + v for l.
5
Let f(i) = -i**2 - 6*i + 9. Let v be f(-7). Let c = v + 4. Solve 2 = -c*x + 5*x for x.
-2
Let l = 26 - 17. Suppose -5*w - 20 = -w, 4*w = 4*t - 28. Solve l = t*v - 1 for v.
5
Suppose 0 = -4*d + 5*u + 31, d + u = -3*d + 13. Let a = d + -4. Solve 2*w - 10 + 2 = a for w.
4
Let u be (3/((-12)/8))/(-1). Solve u*y - 2 - 6 = 0 for y.
4
Let b = -45 - -50. Solve -b*o = -16 - 9 for o.
5
Suppose -t - 5*g + 1 = 5, -4*t - 2*g + 2 = 0. Solve c - 3 = -t for c.
2
Suppose c - 2*a = 2*c - 9, 4*c = 5*a + 36. Solve 0 = 4*j - j - c for j.
3
Let m(y) = -2*y**3 + 1. Let k be m(-1). Solve -4 = k*z - 2*z for z.
-4
Suppose 14 - 48 = -5*z + 4*y, -z + 30 = 5*y. Let w be z/15 + (-59)/3. Let t = w + 30. Solve -t - 1 = 4*l for l.
-3
Let d = 74 + -49. Let z = 7 + -12. Let i = -3 - z. Solve 3*p - d = -i*p for p.
5
Suppose -4 = 2*l + 2*l. Let o = 6 + l. Suppose 11 + 9 = 4*h. Solve 0 = h*g + o + 5 for g.
-2
Let h be (1/(-2))/((-3)/(-12)). Let z = 12 + h. Let d = 6 + -6. Solve 2*w = -d*w - z for w.
-5
Let h = 27 - 23. Solve 0*s = -h*s for s.
0
Suppose 0 = 2*h + 6 - 10. Solve 2*f = h - 0 for f.
1
Suppose y - 3 = -0. Solve 7*g - 20 = y*g for g.
5
Suppose 0 = 3*b - 5*b. Solve b*h = -2*h + 4 for h.
2
Let d be -3 + ((-4)/4 - -18). Solve -4*s - 2 = -d for s.
3
Let u(p) = 3*p - 3. Let c be u(2). Let w(q) = q**2 - 3*q. Let o be w(c). Let z be 3 - (-16)/(-40)*5. Solve z + o = b for b.
1
Let w = 18 - 13. Suppose -w*s + 9 = -j - 1, -12 = -4*s. Solve 6 + 9 = -j*m for m.
-3
Let g = 81 - 39. Suppose -d + g = 32. Solve -3*p - 2 = d for p.
-4
Suppose 0 = -4*a - 9 - 83. Let m = a - -23. Solve 3*g + 0*g - 6 = m for g.
2
Let k(h) = -h**3 - 3*h**2 + 4*h. Let c be k(-4). Suppose 5*b - 3*b = 4. Let x be 4*1/b - c. Solve -x*g = 3*g + 5 for g.
-1
Let t = -15 + 19. Let x(g) = g + 5. Let u be x(t). Solve 0*a + 3*a = -u for a.
-3
Suppose -4*d = j + 14, 2*d - 5*j = 4*d - 2. Let f be (0/1 + d)/(-1). Let o be (2/f)/((-4)/(-8)). Solve -2*x - o = -5 for x.
2
Let k be 0 - (-2 - (-1 - -1)). Suppose 0 = -3*y + 22 - 7. Solve 0 = k*o - o + y for o.
-5
Let u(o) = -o**2 + 12*o + 13. Let i be u(13). Let s be 1 + (i - -5 - 3). Solve 0 = -v - s*v - 16 for v.
-4
Suppose -2*t + 2*y + 32 = 0, 0 = -2*t - 2*t + 5*y + 68. Let p be 12/((3 - 0)/t). Suppose 4*u - 20 = p. Solve 4*l - u + 5 = 0 for l.
3
Let l(g) = -3*g + 63. Let i be l(19). Solve -3*h + i = -6 for h.
4
Suppose -2*o = -8, -2*d - 2*o = -0*o - 18. Suppose 0 = 5*w - 4 + 24. Let q = 0 - w. Solve q*k - d = -k for k.
1
Let k = -19 - -21. Solve 3*t = -k*t for t.
0
Let w(s) = -s**2 + 2*s + 3. Let r be w(3). Solve -2*g + 7*g = r for g.
0
Let v = 71 + -51. Let z = 12 - 7. Suppose 1 = -4*g + 3*g - 5*o, -z*g = 2*o - 18. Solve 0 = g*n - 8 + v for n.
-3
Let u = 4 + -14. Let r be (6/u)/((-3)/30). Let d = -4 + r. Solve -w = 3 + d for w.
-5
Suppose 0*a = a - 8. Suppose -a*h = -4*h. Suppose -3*t = 5 - 29. Solve o - 5*o + t = h for o.
2
Suppose -2*u + 31 = 5*t, -t - u + 3 = -2. Suppose 0 = 2*m - t*m + 5*k, -8 = 3*m - 5*k. Solve 9*x + 15 = m*x for x.
-3
Let c(o) = o**3 + 8*o**2 + 5*o + 3. Let y be c(-7). Let r = y - 14. Solve -b + r*b = 2 for b.
1
Let v(y) = -3*y - 2*y - y - y**2 + y + 8. Let x be v(-6). Solve x*w = -1 - 1 for w.
-1
Let z = 17 - 11. Suppose 0 = 3*p - 6 - z. Solve 0 = f - p + 2 for f.
2
Let k(q) = -5*q - 25. Let r be k(-5). Solve -6*v + 3*v + 9 = r for v.
3
Let n be (-12)/(-18) - 12/(-9). Suppose -i + n*i = 14. Let p = -20 - -31. Solve 5*w - p = i for w.
5
Let m = -14 - -24. Suppose -3*g + 5*g - m = 0. Let s(j) = j - 20. Let n be s(20). Solve -g*t - 10 - 10 = n for t.
-4
Suppose -35 = w - 50. Solve 6*x - w = x for x.
3
Let y(w) = w. Suppose f + 8 = 4*q, -3*f - 2*q + 9 = -3*q. Let j be y(f). Suppose -3*d + 5 = 3*b - 1, 3*d + j*b - 6 = 0. Solve d*x = x for x.
0
Suppose -f = -2*t + 9, -4*t - 4*f - 3 = f. Solve 0 = 2*p - p + t for p.
-3
Let v = 7 + -3. Solve q - 8 = -v for q.
4
Let f(r) = -r**3 - r**2 + 2*r + 2. Let t be f(