for n.
4
Suppose 2*x - 3 = 5. Suppose -x*q - 7 = h, -4*h - q + 2 = -0*q. Solve -5*y + 4*v + 4 = -h, v = 5 for y.
5
Let l(v) = 2*v - 21. Let y be l(13). Solve -m - 4 - 11 = 3*a, 0 = -4*m + a + y for m.
0
Let y = -93 - -101. Solve 4*v = -4*t + 32, -2*v + 0*v + y = 0 for t.
4
Let b(d) = -d + 4. Let t(w) = -w**2 - 7*w - 4. Let a be t(-6). Let o be b(a). Solve -o*p = -5*j - 10 + 4, j = 0 for p.
3
Let a(k) = k**3 - 3*k**2 - 2*k + 5. Let b(t) = 3*t - 2. Let p be b(2). Let x be a(p). Solve -3*r = 2*n - x, 0*r - 2*r - 4 = -5*n for n.
2
Suppose 5*b = p + 188, 3*p + 0 - 139 = -4*b. Solve 0 = 2*w + 2*z - 18, 3*w = -2*w - 3*z + b for w.
5
Suppose -4*q - 11*a + 6*a + 3 = 0, -q = 4*a + 2. Solve 5*j = -q*h + 10 + 12, 5*h - 9 = -j for j.
4
Let p = 8 + -6. Suppose -p*d = -3*d + 20. Solve -5*o + 3*u + d = 0, u = 4*o - 2*u - 16 for o.
4
Let v = -4 - -5. Solve -j = 2*p + v, 5*j = -5*p - 13 + 3 for p.
1
Suppose -7 = o + 3*d, 3*o - 2*o = -4*d - 6. Suppose 5*g + 5 = 0, 13 = -3*b + 6*g - g. Let i = b - o. Solve 3*z + 5*x = 4*z - 6, -3*z = -4*x + i for z.
-4
Let w be 0 + -1 + 0 + 2. Let h be 2/(-1 + 2/w). Solve 0*c + c = -3*u + 6, 0 = -h*u - 5*c + 17 for u.
1
Let k = -16 - -22. Let p = -4 + k. Solve -25 = -p*f + 7*f - o, -25 = 5*f + 5*o for f.
-5
Suppose -3*z - 4*m + 19 = 0, -z + 3*m - 7*m + 9 = 0. Solve 3*j - 4*o + 28 = 0, 4*o + 1 = -z*j - 3 for j.
-4
Let p be (1/(-4))/(5/(-40)). Suppose -33 = -4*u + 5*o, -2*u + p = 2*o + 8. Solve -5*d = -u*j - 10, 2*d - 5*j = 5*d - 37 for d.
4
Suppose 2 = -3*o - 3*w + 5, o - 5*w - 13 = 0. Solve 3*a - o - 14 = -5*l, -4*a - 8 = -l for a.
-1
Let c be ((-24)/10)/(138/(-120) + 1). Solve -4*j = -2*d + c - 0, -d + 3*j + 13 = 0 for d.
-2
Suppose 4*n + 4*j - 2*j = 8, -2*n - 8 = -5*j. Let l be 0/((n - 0)*-3). Solve 0 = 3*h - 2*v - 9, l = -v - 3*v for h.
3
Suppose -5*u = 3*o + 90, 2*u - 40 = 4*u + 2*o. Let j = -8 - u. Suppose 23 = 4*a - 1. Solve 0 = -3*f + j*f - 5*k + a, -f = 5*k - 11 for f.
1
Let i(k) = k - 6. Suppose -42 = -4*m + 3*a, -3*m + 30 = 3*a + 9. Let v be i(m). Solve -6 = -4*y + w - 2*w, y - v*w = 8 for y.
2
Let s be (3 - 32)*(-3 - -2). Solve 20 = -4*n, d - s = 4*n - 10 for d.
-1
Suppose 2*y + 2*y = 20. Solve y*b + 4*t = -t - 25, -3*b - 17 = 4*t for b.
-3
Let g = 8 + -8. Solve g = -4*q - 2*n + 2, -q = -2*q - 2*n + 8 for q.
-2
Suppose -z = 4*r - 15, 6 - 3 = 2*z - r. Solve 10 = 5*y - 2*t, 4*y - 11 = 5*t - z for y.
2
Let z(t) = 2*t + 1. Let u be z(1). Suppose 3*j - u*x - 45 = 0, -j + 36 = j - 4*x. Let r = 8 - 2. Solve -p = 2*b - j, -5*b + 17 = 2*p - r*p for b.
5
Let p(k) = k**3 - k**2 + k + 28. Let i be p(0). Let s = i + -8. Solve -5*t = -f - s, 0*t - t + 4 = 3*f for t.
4
Suppose 2*t = -2*t - 2*a + 10, 0 = 3*t - a + 5. Let j = 2 - -6. Suppose -3*b = 3*v - 21, -3*b + v = -j*b + 27. Solve -3*r + b*h = t, 9 + 7 = 2*r + 2*h for r.
5
Suppose -10 = -4*f - 0*k - k, -f - k = -4. Suppose -p = -4*o + 10, 3*o = -f*p - 2*p + 17. Solve 2*y - 4*h = 10, o*y - 4*h + 3*h = 0 for y.
-1
Let v(b) = -2*b - 5. Let o(i) = 2*i. Let m be o(-3). Let h be v(m). Let f = h + -7. Solve -4*c + f*c - 12 = -4*q, 23 = 5*q - c for q.
5
Let d(i) = -i + 10. Let w = 21 + -16. Let v be d(w). Solve 0 = v*t + 25, -4*t = a - t + 19 for a.
-4
Let u = 94 - 92. Solve -c = -u*c + 3*y + 17, 0 = c - y - 9 for c.
5
Let k be (-3)/2*8/(-6). Suppose k*x - 12 = -4*t, 0*t + x + 18 = 4*t. Solve 3*a - 3*i + 8 - 29 = 0, -t*a + 14 = 3*i for a.
5
Suppose 10*g - 92 = -13*g. Solve -3*p = -q + 9, -2*p - 2*p - 12 = -g*q for q.
0
Suppose -22 = -l - 4*m, -4*l - m + 9 = -2*l. Solve 0 = 2*x - 4*x - 4*c, 0 = l*x - 5*c + 18 for x.
-4
Suppose 2*g = -2*m + 14, 4*m = 4*g - 0*m + 12. Suppose 5*l = g*l. Solve -5*w + 1 = -2*r, -2*w + l*r = -2*r + 2 for w.
1
Let m be (3 - 5) + (-1)/1. Let v be -6*-1*m/(-9). Suppose 4*b + 3*x + 2*x = 64, v*x + 16 = b. Solve 5*k - 39 + b = -3*c, k - 4 = 0 for c.
1
Suppose 4*p = -4*f + 24, 0 = -7*f + 2*f + 4*p - 6. Solve 4*k = f*r + 4, 0 = -2*r - 2*r - 5*k - 8 for r.
-2
Let c(l) = l**3 - 3*l**2 + 4*l - 2. Let t be c(2). Suppose w + 19 = 2*n + 6*w, -4*n + 20 = 4*w. Solve 0*g = g + n*u - t, 3*u - 3 = -g for g.
0
Let o = 5 + -2. Solve o*b = -5*y + 32, 0 = -b - 3*b + 4*y for b.
4
Let k(t) = -t + 1. Let z be k(1). Solve 3*x - 3*h = -z*x - 12, 2*h + 2 = -3*x for x.
-2
Let d(q) = -3 - 5*q - 24*q**2 + 7 + 23*q**2. Let p be d(-4). Solve 0 = 5*r - 3*w + 12, -r - 3*w + w = -p for r.
0
Suppose -2*a + 7*a + 3*j + 6 = 0, 0 = j + 2. Solve a = n - 2*m + 11, -3*n - m + 0 = 12 for n.
-5
Suppose k + g + 2 = 0, -6 = -4*k + 2*g + g. Solve 3*j - 5*v = 10, -5*v - 10 = -k*v for j.
0
Let w(m) = 6*m**2 - m. Let z be (0/(-1))/(-1) + 1. Let c be w(z). Let t = 13 - c. Solve 3*k - 2 + 8 = 0, k + t = 2*j for j.
3
Let v(w) be the first derivative of w**3/3 - w**2/2 - 2*w + 4. Let k be v(-4). Solve -4*b + 5*n = -21, 2 = -4*b + 4*n + k for b.
-1
Let h(j) = 5*j - 4. Let b(z) = z - 1. Let m(d) = 9*b(d) - 2*h(d). Let s be m(-3). Suppose -t = -s*t. Solve -y = -3*x + 7, -y + x - 3 = -t for y.
-1
Suppose 19 = 5*p - 6. Suppose -4*i + 3*h = 4*h - 18, -p*i + 28 = 4*h. Suppose 4*a + 30 = 19*a. Solve -2*m + n - 13 = m, -14 = i*m + a*n for m.
-4
Suppose 3*o - o = 20. Suppose -3*v = -17 + 11. Solve -o = q + 5*b, v*b = q + b + 4 for q.
-5
Suppose -6 = -4*j + j. Solve -5*l = -2*a + 15, -5*a = -j*a - 15 for l.
-1
Suppose -3*t = -2 - 4. Let n be (-1)/(-2)*28/t. Suppose 7 = 3*s - 5*u, u = -4*s - 3*u + 20. Solve s = 5*o + 3*m, -n = 2*m - 3 for o.
2
Let n = 27 + -25. Solve -l - 2*l = -v + 1, 5*l = n*v - 2 for l.
0
Let p(q) = -q**3 - 9*q**2 - 3. Let v be p(-9). Let d = -2 - v. Let i be 5*(-1 - -2)*d. Solve -3*y + i = -6*s + 4*s, 2*s - 10 = -2*y for y.
3
Let x = 39 - 27. Solve 0 = -l + v - 7, 0 = -2*l - 2*l - 4*v + x for l.
-2
Let y(j) = -j - 7. Let h(d) = -d - 2. Let l be h(7). Let r be y(l). Solve -r*m = 3*o - 1, -m + 3 = -2*m + 2*o for m.
-1
Let h(q) = q**2 + 11*q + 11. Let y be h(-9). Let n = -5 - y. Solve b = -4*a + 15, 0 = -n*b + b - 5 for a.
5
Let w(m) be the first derivative of -m**4/4 - m**3 - m**2/2 + 2. Let q be w(-3). Solve -3*p - 38 + 10 = 5*h, 3*h - q*p + 12 = 0 for h.
-5
Let c be 1*1/2*6. Solve 3*l + 3*k + 8 = k, 0 = l - c*k - 12 for l.
0
Suppose 3*y = -2*b + 4*y + 7, -5*y = 2*b - 1. Suppose b*p - 1 = 4*x, p - 5*x - 5 = -23. Solve a + 2*s = 0, p*a - 4*a = 2*s + 16 for a.
4
Let b(a) = a**2 - 3*a. Let s(t) = t - 3. Let x be s(7). Let z be b(x). Solve 0*j + 3*p = -j - 12, z*j + 2*p + 18 = 0 for j.
-3
Suppose 4*c - 8*c = -20. Solve c*l + f + 10 = -4*f, -3*f - 6 = 2*l for l.
0
Suppose 0*s - s = 0. Solve g - 5*b + 2*b = s, 2*g = -3*b for g.
0
Let r = 92 - 92. Solve 4*s - 23 = -w, r = -w + 5*s - 10 - 12 for w.
3
Suppose m = 6*m. Solve 5*f - 3*n + 28 = -m*n, 24 = -4*f + 4*n for f.
-5
Suppose -5*v - 40 = -4*g, 2*v + 2*v = -5*g + 9. Suppose -g*k + 7 = a, 0*k - a - 5 = -k. Let x = 2 - k. Solve -3*y + x*h = 2*h, y - 1 = -h for y.
-2
Let d(a) = -a + 4. Let c be d(4). Solve 0 = 2*v - 3*i, c*v = v - 5*i for v.
0
Suppose 0 = 3*s - 3 + 12, -4*b = 2*s - 6. Let z be 3*-1*b/(-3). Solve -32 = -5*g - 3*c, 2*g - z*c = -4 - 0 for g.
4
Suppose 3*x = -5*u + 20, -x = 4*u + x - 16. Let t be (-56)/(-42)*(1 - -2). Solve -1 = v - u*s + 4, -s + 20 = -t*v for v.
-5
Let t be (-1 - -2)*11/1. Solve -3*o - 2*m - 4 = -o, -5*m - t = 4*o for o.
1
Suppose 0 = c - 0*c. Suppose -3*m - 2*m + 120 = c. Solve -4*p + m = -4*t, 14 = t + p + 3*p for t.
-2
Let w = -6 - -9. Suppose 5*b = h - 35, 25 = -2*b - w*b. Solve 11 = 5*y - 4*v, 5*y - 2*v = y + h for y.
3
Suppose p + 2*p - 30 = 0. Let k be p/(-1 + 2 - -1). Suppose -3*n + 8 = -2*j, 6*n - 3*j = n + 14. Solve -5*m + 2*q = -23 + k, -2*q - 16 = -n*m for m.
2
Suppose 4*i = -0*i + 60. Solve -o - 4*q + 18 = 0, 4*q - i = q for o.
-2
Let x = -32 + 38. Solve 2*j - 2*g = 4, -x*g + 2*g - 22 = 3*j for j.
-2
Suppose 3*t - 12 = t. Suppose 0 = 6*d - 8 + 2. Solve 2*q - 4*k = 3*q + t, -q + 3*k = -d for q.
-2
Let d = 40 + -38. Solve 0 = -3*p + 3*u - 9, -d*u + 10 = 2 for p.
1
Let t(u) be the second derivative of -u**3/6 + 11*u**2/2 - u. Let j be t(6). Solve -s = -2*a + 2, 4*s = j*a + 5*s + 2 for a.
0
Suppose b - 3*r = 19, 0 = 2*r + 2*r - 12. Let j = 2 + 1. Solve -s + 13 = -j*w, -w + 4*s = -5*w - b for w.
-5
Let s(o) = -o**3 - 6*o**2 + o + 6. Let j be s(-6). Solve -3*v + 6*v - 4*f + 1 = j, 0 = -5*v + 5*f + 5 for v.
5
Let s(b) = b**3 