 -d - 4*m + 25 = 2*d. Suppose -o + 0 = 4, -d*n + 20 = -5*o. Suppose -2*s + 4*z - 4 = 0, -2*s + 1 = 4*z - 3. Solve j + s*j = n for j.
0
Let g = -2 + 4. Let u be g/5 + (-48)/(-5). Solve -u = -2*h - 0*h for h.
5
Suppose -2*o = 2 - 6. Suppose -5*l + 8*l = 6. Suppose 0 = -o*f - 4*z + l, 3*f - 12 - 1 = 4*z. Solve 2*r - 5*r = f for r.
-1
Let d(y) = y + 3. Let a be d(0). Solve -z + a*z = 8 for z.
4
Let p(o) = o**2 + 12*o + 6. Let x be p(-12). Solve -4*f - x = -7*f for f.
2
Suppose -l = -4*q, 3*q + 6*l - 2*l = 0. Solve n = -q*n for n.
0
Suppose -16 = c - 5*c. Let q be 4/2 + -2 + c. Let u = -18 - -42. Solve q*n + 4 = u for n.
5
Let g(u) = 6*u**3 - u + 1. Let d be g(1). Let c be (27/d)/(-3)*-2. Suppose 3*k + 2*b + c*b - 34 = 0, 2*k + 2*b - 16 = 0. Solve -k*n + 15 = -8*n for n.
-3
Let f = 3 - 0. Let o(d) = d**2 - d + 1. Let g be o(-1). Solve 2*b - f = g for b.
3
Let n(o) = -5*o - 1. Let f(v) = -9*v - 2. Let j(l) = 4*f(l) - 7*n(l). Let w be j(-6). Let s be (3/(-2))/(5/(-10)). Solve 4*i + w + s = 0 for i.
-2
Let k(s) = -s**3 - 8*s**2 - 7*s - 4. Let w be k(-7). Let f(o) = -2*o - 5. Let v be f(w). Let l be 2 + (-2 - -7) + -2. Solve 17 = l*n - v for n.
4
Let y(b) = -b**3 + 7*b**2 - 4*b - 8. Let c be y(6). Suppose 9 = a - 0*a. Suppose 3*o + a = -2*n + 5*n, 3 = 5*n + o. Solve -n + 13 = c*g for g.
3
Let j be 6/(-18) + 8/(-3). Let g = 5 + j. Let u = 3 + g. Solve 2*l = u*l + 9 for l.
-3
Suppose -40 = -7*y - 5. Solve 0 = y*r - 10*r + 25 for r.
5
Let d(c) = -7*c - 1. Let y be d(1). Let s be 6/y + (-12)/(-16). Suppose -3*z - 4*f - 16 = s, 0*z + 3*f + 12 = -z. Solve 5*w + 6 - 1 = z for w.
-1
Let f(h) = h**3 - h + 1. Let k be f(0). Solve -j - k = 1 for j.
-2
Let a = -8 - 7. Let k = -11 - a. Solve -2*g + k = -0*g for g.
2
Let p(w) = w**2 - 5*w. Let t be p(6). Solve -t*h = -h + 5 for h.
-1
Let d = -7 + 11. Solve 12 = -f + d*f for f.
4
Let c(w) = w**2 + 2*w + 2. Let t be c(-1). Solve 3*b + 14 = -t for b.
-5
Let l(f) = f**3 - 7*f**2 - 5*f - 2. Let s be l(8). Let z be s/8 - (-2)/8. Solve -8*i - 10 = -z*i for i.
-2
Suppose 17 = -8*x + 57. Solve -g + 0*g = -x for g.
5
Suppose 4*h - 4 = 4. Solve -m = -h*m + 1 for m.
1
Suppose 5*o = -4*s + 66, -o = 2*o - 3*s - 18. Let l = 13 - o. Let d(f) = -f**2 - 5*f. Let w be d(-5). Solve l*c + c = w for c.
0
Let l(p) = p**3 + p**2 + 10. Let q be l(0). Solve q*x = 5*x - 10 for x.
-2
Suppose 0 = 3*f + 4*w - 22, -5*f + 2*w + 18 = 4*w. Suppose y - 2*j = -f*y - 1, 2*y + j - 11 = 0. Solve -d + 0 = y for d.
-3
Suppose -2 = 3*l - m, 2*l + m - 4 = 3. Suppose n = l + 2. Solve n*q - 3 = 12 for q.
5
Suppose -3*y + 7 = -2. Let f(n) = n**3 - n**2 + n - 1. Let q be f(3). Solve -y*v - v = q for v.
-5
Suppose -6 = -i + 4*h + 12, 3*h + 4 = -4*i. Suppose -4*n - 4*g + 11 = -9, 25 = 5*g. Solve -i*p - p + 9 = n for p.
3
Let q(k) = k**3 + 6*k**2 - 8*k. Let p be q(-7). Let u be 6 + -1 - 7/p. Solve u*z + 3 + 1 = 0 for z.
-1
Let z be 1/(-2) - (-4)/8. Suppose -3*h - 3*q = -2*h - 1, -3*h - q + 11 = z. Solve 0 = -3*a - a - h for a.
-1
Let a(y) = -10*y - 9. Let u(d) = 5*d + 5. Let i(l) = 3*a(l) + 7*u(l). Let c be i(8). Suppose -c = o - 5*o. Solve 5*x + 13 = -o for x.
-5
Let z = -3 + 5. Let j = 2 + 2. Solve 0 = -v - z + j for v.
2
Let y be 356/30 - (-6)/45. Solve 0*j = -3*j + y for j.
4
Let a(c) = -5*c + 3. Let f be a(1). Let z be -1 + 2 + (-9)/(-3). Let s = z + f. Solve s*j = j for j.
0
Let l(n) = 1 + n**3 + 4*n - 3*n - 6*n**2 - 4. Let i be l(6). Solve 15 - i = 4*b for b.
3
Let d be (2 + -2 - 1)/1. Let o be (d - 0)*(-1 - -1). Solve -4*q + q - 9 = o for q.
-3
Suppose 16 = 3*o - 4*c, -3*o + 8 = -4*c + 2*c. Let k be -3 + (-115)/(-15) - (-2)/(-3). Solve k*q + 7 + 13 = o for q.
-5
Suppose -26 = -5*m - k, -4*m + 6 = 4*k - 2. Suppose -2*h + 5*h = m. Solve -h*l = l - 12 for l.
4
Let c be (-4)/(5/(5/(-2))). Suppose -c*r + 0 + 14 = -4*q, -5*r = -3*q - 21. Solve t - r = -8 for t.
-5
Suppose -m = 4*m + 10. Suppose 0 = 2*k - 0 - 6. Let x = m + k. Solve d + 0*d = x for d.
1
Let s be 8 + 3/(2 + -3). Let d = s - 4. Solve d + 3 = 4*g for g.
1
Suppose -26 = -2*q - x, 3*q + 68 = 7*q - 2*x. Let g be 5 + -2 - (1 + -2). Solve -c + q = g*c for c.
3
Let s be (40/8)/((-1)/(-2)). Solve -u - u - s = 0 for u.
-5
Let u = 33 + -31. Solve y - 1 = -u for y.
-1
Suppose 0 = 5*m - 5, 0 = -3*l + l + 5*m - 5. Suppose -p + 2*p - 5 = l. Suppose -p*k + 47 - 17 = 0. Solve k*c + 16 = 2*c for c.
-4
Suppose -4*f - 3 + 63 = 0. Suppose 2*k + 3*k = f. Suppose -8*s + 92 = -4*s. Solve s = 5*q + k for q.
4
Suppose -3*l + 4*o - 30 = 0, 2*o + 6 = -2*l - 0*o. Let i be (4/(-8))/(1/l). Solve 3*z - i = 2*z for z.
3
Let v(x) = x**2 - x - 1. Let a(p) = -3*p**2 + p + 7. Let q(k) = a(k) + 4*v(k). Let h be q(3). Solve -t + 4 = h for t.
1
Suppose 2*o + 10 = 2. Let h be (o/(-10))/((-1)/(-10)). Suppose 4 = h*c - 2*c. Solve -4*v - 6 = -c*v for v.
-3
Suppose b - 5 = -2*d, -5*d + 20 = b + 3. Let w = 4 - d. Solve w*y + 2*y = 6 for y.
3
Let a = 3 - -1. Suppose -11 - 7 = -18*b. Solve 7 + b = -a*m for m.
-2
Let k = 12 + -12. Suppose 4*b - b = 0. Solve k = -b*x - 5*x for x.
0
Suppose p = 3*t + 5*p - 56, -4*p + 88 = 5*t. Let l = 18 - t. Solve -l*k = 2*k for k.
0
Let j(c) = -c**2 - 2*c + 5. Let u be j(-3). Solve 2*t - t = -u for t.
-2
Let f = 21 + -9. Let s = -7 + f. Solve -s*x = -0 + 5 for x.
-1
Let x be (5/(-2)*2)/(-1). Let r be 0/(-1) + -5 + x. Let q = r - 0. Solve q = -3*v + 5 - 2 for v.
1
Let m(g) = 8*g + 1. Let k be m(2). Solve -k = -4*h - 1 for h.
4
Let k be (-2 - (-2)/(-3))*-3. Solve -3*v - k = v for v.
-2
Let l be (-4 - -4)/(-1 - 1). Suppose j + 3*b = -l*b + 16, b - 4 = 0. Solve f = -j*f + 20 for f.
4
Let n(i) = i - 5. Let h(k) = k**3 - k + 1. Let t be h(2). Let l be n(t). Solve -2*d + 4 = l for d.
1
Let m be ((-9)/12)/(4/(-80)). Solve 4*o + o + m = 0 for o.
-3
Let a(b) = b**2 + 8. Let p be a(8). Suppose 0 = -3*i + p - 27. Suppose k = -2*k + i. Solve k*n + 6 + 14 = 0 for n.
-4
Let i(c) = 0*c + 2 - 1 + 0 - c. Let j be i(1). Solve j*h = -2*h for h.
0
Suppose 7*k + n = 6*k + 2, -2*k + 4*n + 4 = 0. Solve x = k - 7 for x.
-5
Let z be 1*(-6 - -5) - -2. Solve x - 2*x = -z for x.
1
Suppose 0*w + 2*w = 6. Suppose -w*a + a = 0. Solve a = -2*o + 7*o for o.
0
Suppose 4*a + 140 = 4*r, -12 + 134 = 4*r + 2*a. Suppose 3*t = r - 8. Solve -3*n = -n + t for n.
-4
Let x be 12/16 - (-10)/8. Solve -x*d = -d + 1 for d.
-1
Suppose -8 + 22 = 2*u. Solve u = -2*p + 1 for p.
-3
Let d be 0*((0 - -1) + 0). Suppose -2 = 4*v - 5*v. Solve d*r = r - v for r.
2
Let s = -17 - -17. Solve 2*u + u - 15 = s for u.
5
Let p(s) = -s**3 - 3*s**2 + 7*s + 5. Let b be p(-5). Suppose -g + 1 + b = -4*q, 2*g = -3*q - 2. Let w = -34 + 49. Solve 0 = g*m - 10 - w for m.
5
Suppose -k - 14 + 15 = 0. Solve 5*m - k = -16 for m.
-3
Let l(j) = j**3 - j**2 + j + 8. Let a be l(0). Let p(h) = -h + 11. Let t be p(a). Solve 0 = 2*y - t*y for y.
0
Let j be 4/2 + 0/1. Let x be -1 + 3 + -6 + 2. Let i = x + j. Solve -3*h - 3 - 12 = i for h.
-5
Let o = 5 + -1. Let l = o - 5. Let d be (-3)/((-4)/2 + l). Solve -d + 9 = 4*g for g.
2
Let g = -28 - -33. Solve 5*p - g = 15 for p.
4
Let c be 6/2 - (-3 - -1). Suppose -5 = -t, c = -4*j - 0*j + t. Suppose -21 = -4*w + 2*o - 1, j = o + 2. Solve w*q = 6*q - 2 for q.
1
Let g(z) = 8*z. Let y be g(2). Suppose 2*c - y = -0*c. Solve 0*o - c = 4*o for o.
-2
Let s = 15 + -5. Suppose 0 = -o + 5*r - 16, 0*o + o = -4*r + 20. Let i be (-12 - 3)*(-2 + 0). Solve o*j - s = -i for j.
-5
Suppose 0 = -3*x - 2*x + 660. Let y be (-4)/10 + x/30. Solve 5 = -y*g + 17 for g.
3
Let h(t) = -t**2 + 5*t - 3. Let a be h(2). Solve -a*m + 6*m = -15 for m.
-5
Suppose 24 = 4*d - 24. Suppose v = 3*v - 4. Suppose x = v*x - d. Solve -c + 4*c = -x for c.
-4
Suppose -19*j + 17*j + 12 = 0. Solve 3*w - j = -0*w for w.
2
Let s(d) = 4*d + 8 - 3 + 5*d**3 + 3*d - 4*d**3 + 7*d**2. Let y be s(-6). Let p = 1 - y. Solve 0 = -p*l - 3*l for l.
0
Let z(u) be the second derivative of u**5/20 - u**4/6 - 7*u**3/6 - u**2 - 6*u. Let d be z(4). Solve -h + 2 + d = 0 for h.
4
Suppose 13 = -2*g + 5*y, 3*y - 4*y = -4*g - 17. Let x be -2 + g - (-1 - -3). Let n = x + 15. Solve 16 = -n*t + 3*t for t.
-4
Let x be 20 + (-1 - -1) + 3 + -3. Solve 4*u - x = -4 for u.
4
Let b(t) = t**3 - 8*t**2 + 7*t - 4. Let w be b(7). Let g be 6 + w + 3 + 0. Solve 0 = g*i - 0*i - 5 for i.
1
Let y(b) = -b**3 + b**2 + 2*b - 1. Let u be y(-2). 