m + 1 for s.
1
Suppose 4*i - 14 = 10. Suppose c = 2*c - 5*p - 15, -4*p = 5*c - 46. Solve -r - b = -i*r - c, b = -r - 2 for r.
-2
Let t(w) = w**2 - 2*w - 3. Let u be t(-2). Solve 27 = -3*a + 7*a + 5*d, u*a - 27 = -4*d for a.
3
Let c(w) = -2*w + 1. Let r be (-6)/15*(-5)/1. Let s be c(r). Let v = 7 + s. Solve n + 8 = 2*d - 0*d, 0 = 4*d + n - v for d.
2
Let r(k) = k**3 - 7*k**2 + 7*k - 3. Let f be r(6). Suppose f - 51 = -3*v. Solve 5 = 2*x - 5*x - 4*j, 5*x - j = -v for x.
-3
Let z be 1/(-2) - 7/(-2). Let r = 0 + -1. Let x = 1 + r. Solve -z*f = 3, 3*k + 3*f - 4 + 1 = x for k.
2
Suppose 2*u - 5 = -3*u. Let z(o) = 4*o**2 - 2*o + 1. Let w be z(u). Solve w*n + 0*n = y + 2, n + 4*y + 8 = 0 for n.
0
Let q = 6 - 6. Suppose -4*m + 6 + 6 = q. Solve n - m*n = -y + 6, 5*y = 3*n + 2 for y.
-2
Let n = 5 + -2. Let s(m) = -m**2 + 5*m - 3. Let j be s(n). Solve -j*c + 4 = 1, -2*c = 4*v + 10 for v.
-3
Let d = -8 - -1. Let j(c) = c**3 + 6*c**2 - 6*c + 10. Let z be j(d). Suppose -2*w - w + 9 = 0, 0 = 4*k + z*w - 81. Solve 5*p = -k - 7, m + 4*p + 24 = 0 for m.
-4
Let q = -10 - -9. Let w = q + 3. Solve 5*l = -3*f + w*f + 12, 9 = 2*f + 5*l for f.
-3
Let d(k) = -2*k. Let z be d(-1). Suppose 5*n = -5*c + 40, 2*n + 2*c + 3*c - 28 = 0. Solve -z = 2*b + u, b - 3*u = -u + n for b.
0
Let o be (0 + 1)/(2/(-6)). Let x(w) = -w**3 - 3*w**2 + 3*w + 3. Let b be x(o). Let z be b/(-2) + 0/(-7). Solve 3*r + z = 9, 0 = s + 5*r - 10 for s.
0
Suppose -2*j = -6*s + 4*s + 2, 5*j = 4*s. Solve 0 = 2*l - 3*z + z, -2*z - 18 = j*l for l.
-3
Suppose -5 + 3 = -2*y. Let z be (-14)/(6/(-3) + y). Let j(r) = -3*r - 9. Let m be j(-6). Solve -5*n - 2*a + m = 3, 5*n - 2*a = z for n.
2
Let w = 21 - 21. Solve w = 3*g - x + 4, -3*x - 15 = -0 for g.
-3
Let h(f) = -2*f + 52. Let x be h(24). Solve d + 0*d + 2*y = x, 0 = -4*d + 3*y + 16 for d.
4
Suppose 4*l + 57 + 23 = -4*c, 8 = -2*c. Let z = 31 + l. Solve 2*v + 3*g = -7, 0 = -5*v - 0*g - g + z for v.
4
Suppose 5*k - 17 = 4*q, -q + 1 + 1 = 0. Solve j = -5*g + 14 + k, -17 = g - 5*j for g.
3
Let h(z) be the first derivative of -1/2*z**2 + 1 - 1/4*z**4 - 3*z**3 - 7*z. Let o be h(-9). Solve -o*q = 4*a + 6, 4*a = -q + 2*q - 9 for q.
1
Suppose 5*p + 2 = 22. Solve 0 = 2*i + 2*w - p, 2*i + 2*i - 2*w - 8 = 0 for i.
2
Suppose 18 = 5*a - 2. Suppose -5*d = 4*w + 40, a*w + 12 = 3*d - d. Let k = 7 + d. Solve -3*n = k*o + 18, 3*o + 2*o + 18 = -2*n for n.
-4
Let d(o) = o**2 + 4*o - 3. Let x be d(-4). Let n be 3/(x/(-2)) + 35. Suppose 0 = -2*b - 13 + n. Solve -b = 4*w - 3*h, -5 + 13 = 3*w + 2*h for w.
0
Suppose -2*c - c = -5*l + 26, -c + 3 = 0. Solve 5*q = -y - l, 5*y - 6*q + 3*q = 21 for y.
3
Let s = -65 + 92. Solve 5*r - 3*g + 7 = 0, -r - 4*g + s = 10 for r.
1
Let l(h) = 5*h**3 + 2*h**2 + h. Let m be l(-1). Let j = 7 + m. Suppose -j*f + 15 = 3. Solve 4*v = -b + f*b, 2*v = b for b.
0
Suppose 0 = -4*q + 3*j + 5, -4*q + 0*j + 10 = 2*j. Let x be q/5 - 215/(-25). Solve -2*s - 6 = 4*g - 0*s, x = -5*g - 3*s for g.
0
Let x be (5/2)/((-1)/(-2)). Solve -x*a = -3*t + 1 - 6, -2*a - 2*t = -18 for a.
4
Let v(f) = 3*f - 5. Let z be v(6). Let h = -11 + z. Solve -2*g = -h*u - 4, -g = -4*u + u for u.
1
Suppose 0 = -2*k - 5*z + 7 + 5, k - 6 = -z. Solve k*i - i = 2*n + 9, 0 = -n - 2*i for n.
-2
Let f be 2*(-2 + 3)/1. Solve 2*m = -2*u - 8, -3*u + 4*m + 7 = -f for u.
-1
Suppose 3*x + 10 = -2*x. Let q be ((-3)/x)/(12/40). Solve -l - 3 = -6*l + 3*h, 2*l + 14 = q*h for l.
3
Suppose w = 69 - 66. Solve -x + 6 = -n, w*x + 5*n - 4 = n for x.
4
Let q(h) = h + 22. Let g be q(-13). Solve 4*b + 23 = 3*f - 2*f, -g = -3*f for b.
-5
Suppose -3*w + 8*w = 15. Solve 0 = f - 2*i - 3, -i - w = -0 for f.
-3
Let v(z) = -2*z. Let f be v(-2). Let a be 1*f + 0/1. Suppose 2*x + 0 = a. Solve 3 = -o - 2*s, o + 11 = -x*o - 4*s for o.
-5
Suppose 0 = -3*j - 2*j. Solve -c - z - 5 = c, -c - 4*z + 1 = j for c.
-3
Suppose 0 = -4*x + p - 5, -10 = -2*x - 0*p - 2*p. Let f = -25 + 46. Let l = f + -7. Solve -2*y + 2*r + 10 = 0, -4*y + x + l = -r for y.
3
Suppose 2 + 6 = 2*u. Solve 0 = -w - u*b + 23, 5*w - b - 11 = -1 for w.
3
Suppose 0 = 5*z - 2*z. Suppose s + 2*a - 12 = z, 3*s = -3*a + 26 + 4. Let q = s + -6. Solve -11 + q = -3*r, 0 = 4*b + 3*r + 3 for b.
-3
Suppose -3*f = -5*f + 4. Suppose 5*t + 115 = f*z, -92 = 4*t - z + 5*z. Let q be (-3)/(-9) - t/3. Solve q = 2*m + 5*o - 11, 0 = 2*o - 10 for m.
-3
Suppose -l = -5*l + 2*m + 10, 5*l - 15 = 3*m. Let b = 2 - l. Suppose 0 = -3*g, -3 = 4*u - 4*g - 27. Solve -5*n = -5*y + 15, 4*n - u + 18 = -b*y for y.
0
Let l(p) = 2*p**2 - 5*p - 12. Let y be l(4). Solve g + y*u - 21 = 5*u, 4*u = 3*g - 19 for g.
1
Let m(o) = -o**3 - 7*o**2 - 5*o + 8. Suppose 2*y - k = -12, k - 2 = -y - 8. Let c be m(y). Solve -4*b - 10 = -c*i, 6*i - i - 4*b = 19 for i.
3
Let r = -5 + 5. Suppose r*o = 4*n + 2*o - 50, 2*n = 3*o + 21. Let d = 4 - 2. Solve p + 3*p - y = -n, d*y = 4*p + 16 for p.
-2
Let v be (-16)/12*(3 + (-9)/2). Solve -4*g = -v*x + 7*x - 9, -22 = -2*x + 3*g for x.
5
Let t(c) = c - 3*c**2 - 1 - 4*c**2 + 8*c**2. Let b be t(-3). Suppose -b*i + 132 + 23 = -3*v, 3*i = -3*v + 69. Solve i = 2*y - 2*r + 10, 0 = 3*y + 4*r + 1 for y.
5
Suppose -4*c + 0 + 12 = 3*p, c + 20 = 5*p. Suppose -p + 39 = 5*u. Solve -h + 2*h = j + u, 3*j = -4*h + 14 for j.
-2
Suppose -5*r = -k - 21, -2*k = -3*r - 0 + 14. Solve r*s = -5*x - 4, -5*x = 5*s - 2*s + 3 for s.
-1
Let w = -27 - -30. Solve 13 + 7 = -5*y, 0 = -w*k - 3*y + 3 for k.
5
Suppose 120 = 5*l - 45. Solve 0 = 5*j + v + l - 12, 4*j = -4*v - 20 for j.
-4
Suppose 4*j - 66 = -0*j + 2*p, -p - 17 = -j. Solve -3*r + j = -2*z + r, 0 = -5*z + 5*r - 20 for z.
0
Let m be -3 + 7 - (-5)/(-5). Solve -2*d + 5 = -5*a + m*d, 5*a - 3*d + 9 = 0 for a.
-3
Suppose 5*a + 11 = 3*m - 0*m, a = 2*m - 5. Let q = -1 - a. Suppose q = 7*v - 2*v. Solve -3*j = -5*r - 26, 3*r = -v*r + j - 14 for r.
-4
Let n be (-8)/(-6) - (-2)/(-6). Let z be (n - -2)*(-2 + 3). Solve z*w = -4*i + 5, i - 5*i + w = -9 for i.
2
Suppose 4*h = 3 + 93. Solve -r + 12 = -2*k, 0 = 3*r + 2*r - k - h for r.
4
Let g = 3 - 1. Suppose a = -g*a. Let z be -3 - a - -6 - 0. Solve -5*d + 3*c - 15 = -2*c, -14 = -2*d - z*c for d.
1
Let f(d) = -d - 5. Suppose -4*r + 4 - 12 = 0. Let p(h) = 4*h + 1. Let g be p(r). Let y be f(g). Solve y*i + 0*i + 2*c = 4, c = -5*i + 6 for i.
1
Let z be 2*3/6 + 2. Let s(t) = 5*t - 8. Let w be s(2). Solve 0 = -w*m + 5*k + 5, k + 4 = -5*m - z*k for m.
0
Suppose -36 = -2*c - 7*c. Solve h + 3*n = -2, 3*h - c*h - 4*n = 4 for h.
4
Suppose 3*m - 4*m + 9 = 2*l, -2*m - 2*l = -20. Suppose 2*n = 15 + m. Solve 3*z - 5*s = 26, -4*s - n = 3 for z.
2
Let z(p) = p**2 + p - 1. Let a be z(-1). Let n be -2 - ((-21)/(-3))/a. Solve -d = -4*b - 1, -3*d = -b + 2*d - n for b.
0
Let l be 4/(4 - (-3 + 18)/5). Suppose 0 = 4*t - 4 - 76. Solve -8*q - t = -4*q, -2 = l*z + 2*q for z.
2
Let i(l) = -l**2 - l + 52. Let f be i(0). Suppose -8*b = -4*b - f. Let z = -3 + 8. Solve 2*y + 2*t - 2 = 0, -2*y - z*t = y - b for y.
-4
Let u(n) = n**3 - 6*n**2 + n - 2. Let g be u(6). Solve 0 = v - 3*b - 12, -g*v - 2*b = -5 - 1 for v.
3
Let h(g) = 3*g - 6. Let m be h(6). Suppose 0 = -0*n + 3*n - m. Let y = -24 + 27. Solve -n*j + 18 = -5*r - 0*j, -3*r - y*j = 0 for r.
-2
Let h be -3 - -12*1/1. Solve 5*g - 4*u = -h, 2*g - 4*g = 5*u + 30 for g.
-5
Suppose 4*h = h + 5*f - 16, 0 = h + 5*f - 28. Solve 2*m = -v + 2*v, -m - 7 = h*v for v.
-2
Let m = 43 + -30. Let q(f) = f**3 - 5*f**2 + f - 2. Let d be q(5). Solve -z + m = -3*w, 0*w - w - d = 0 for z.
4
Suppose 0 = 4*b - 2*v - 6, -v - v - 6 = 0. Suppose b*i = -i + 4. Solve 24 = -i*k + 4*j, -4*k - 3*j - 8 = j for k.
-4
Let x = 178 + -175. Let h be (2 - 2) + (5 - 1). Solve h = q - p, 4 + 8 = x*q + 3*p for q.
4
Let r be -3 + 1 - -4 - -3. Suppose -3*k + 6 = -6. Solve 0 = a - k*h + 12, r*a + h + 9 = 4*h for a.
0
Let x = 34 + -23. Solve -5*f + r + x = -0*r, f - 2*r + 5 = 0 for f.
3
Suppose 0 = 5*n - 7*n. Suppose 3*h + 4 = -c, 0*h = 3*c - 4*h - 40. Solve n = -5*x - 4*s + c, 0 = -x + s + 4 - 6 for x.
0
Let n = 54 - 30. Solve -5*b - 3*a + n = 0, 2*b - a = 5*b - 12 for b.
3
Suppose 3*j - 27 = d + 2*d, -5 = 3*j + 5*d. Solve -k = 2*k - 12, j*w + 2*k - 18 = 0 for w.
2
Let p = 5 - 3. Solve 3*q + 3 = 3*o, 5*q - p*q = -o + 17 for q.
4
Suppose -16 = -3*v + 2*r, v - 3*r - 8 = 2. Solve -7*h + 2*h = -5*y + 40, -4*h - v*y = 0 for h.
-4
Let p =