-2
Let h(f) = 7*f - 3. Let p be h(3). Let s = p + -14. Solve 0 = s*t + m, 2*m + 2*m = 0 for t.
0
Suppose r - 4*u - 8 = 9, -5*u = -5*r + 10. Let a(g) = -3*g - 4. Let j be a(r). Solve j*s - 10 = d, -4*s - 7 = 4*d + 9 for d.
-5
Suppose 0 = 5*k - 109 - 16. Suppose -5*w = -k - 5. Suppose 0 = 4*h - y - 19, 6*y - y = -h - 11. Solve -w*c + c - h = 4*j, -4*c + 1 = -j for c.
0
Suppose 5*w + 4 = 24. Solve -w*s + 5*n = -0*s - 24, -14 = -2*s + 3*n for s.
1
Let y = -7 - 3. Let v be 3/(-15) + (-32)/y. Solve 5*c = -j + 13 - 4, v*c = 6 for j.
-1
Let m(q) = -q + 9. Let p be m(5). Suppose 4*k = 6*k - 5*h - 4, 8 = 4*k - p*h. Solve -5*t = 3*c + 25, -18 - 1 = k*t + 3*c for t.
-2
Suppose -5*s + 2*s + 2*j + 8 = 0, 0 = -2*s - 5*j - 1. Solve -6*n + s*v - 9 = -n, -n - 9 = -4*v for n.
-1
Suppose -3*n + 21 = 3*m, 2*n - 11 = -m + 1. Solve g - 6*g - n*h - 5 = 0, 5*g + 4*h + 5 = 0 for g.
-1
Suppose 0 = 5*w - y - 29, 3*y + 6 = -w - 1. Suppose j + 3*j + w*c = 1, -3*c + 11 = 5*j. Solve -2*k + 4 = 2*d, 0 = -j*k - 4*d + 2*d + 14 for k.
5
Let t(s) = -s + 1. Let d be t(3). Let f be (-3)/d*(-30)/(-9). Solve 2*g = -3*o + 2*o - 12, -f*g = -o + 16 for o.
-4
Suppose -5*a = 2*g - 43, -2*a + 19 = g - 2*g. Let s be (-2)/a + (-40)/(-18). Suppose -2*p + s + 2 = 0. Solve -4*h + 2 = r - 2*h, -2*h - p = 0 for r.
4
Let r = 88 + -48. Suppose h - r = -3*h. Solve 0*a - d = -2*a - h, -d = a - 1 for a.
-3
Suppose 0 = -3*d + 3*a + 15, 0*a - 4*a = 2*d + 20. Solve n = d, 4*n + 4 + 4 = -2*u for u.
-4
Let b be (3 + -4)*(-8 - -1). Suppose -b*f + 6*f = -7. Suppose 3*k = -3*o - o + 4, 4*k - 42 = 2*o. Solve a - 2*z = -9, -k - f = 3*a - 3*z for a.
-1
Let y(x) = x**3 - 9*x**2 + 8*x - 6. Let i be y(8). Let r = i + 6. Suppose r = 4*d + g - 7, -3*g + 0 - 9 = -3*d. Solve 20 = b + 3*b - d*z, -4*z = 3*b - 4 for b.
4
Let u = -36 - -15. Let v = 13 + u. Let i be 1/(3 - v/(-3)). Solve h - 9 = -i*m, 4*m + 0*m + 3*h = 12 for m.
3
Let i be 5 + (-5 + 1)/4. Solve y - 3*t = 5*y + i, 3*y - t = 10 for y.
2
Let n(a) = -2*a**2 + 2*a + 4. Let l be n(2). Solve -y + 3*d + 2 = l, 2 = -y + d - 0*d for y.
-4
Let i = 3 + -1. Suppose -5*k - 2*z - i*z = -45, 5*k = -2*z + 35. Solve -2*g - 5*f = 12, -3*f + 3 = g - k*f for g.
-1
Let s be (-3)/(-1) + 1 + -1. Solve -x - 3 - s = 4*o, -3 = o + x for o.
-1
Let v = -15 + 12. Let o be (2 + v)/1 - -18. Solve -2*k - y + o = 2*k, -3*k = -2*y - 21 for k.
5
Suppose -3*x = -u + 2*u + 7, -14 = -u + 4*x. Solve -u*j + 18 = 2*c - 6*c, -2*c = 4 for j.
5
Let p(g) = g**2 - 5*g + 2. Let r be p(5). Let i = r + -2. Solve h = -3, i = -4*f - 2*h + 5 - 19 for f.
-2
Let x(g) be the third derivative of -g**6/20 - g**5/60 + 7*g**2. Let y be x(-1). Solve -17 = -y*k - s, 0 = 2*k + 4*s + 2 + 2 for k.
4
Suppose -2*y + 1 = -13. Let h be 1/((5 - 2)/15). Suppose h*i = i + 16. Solve -k + y = -3*a, a + 5*k + 5 = -i*a for a.
-2
Suppose 0 = -10*b + 5*b. Suppose q - z - 3*z + 2 = b, -3*z - 7 = -5*q. Suppose -12 = -6*f + q*f. Solve -4*a + 5*p - 3 = -17, 5*a + f*p = -1 for a.
1
Suppose 5 + 53 = 2*d. Solve 4*j = -k - 4*k - 40, 5*j = -k - d for k.
-4
Let r(n) = -23*n + 2. Let s be 1*(5 + -3)*-3. Let a be r(s). Suppose 2*x + 3*x + 3*l = a, 2*x + 4*l = 70. Solve 0 = 5*b + z - x, -3*b + 5*z - 3 = 2*z for b.
4
Let m be 4/(-15 - -3) - (-2)/6. Solve -5 = 5*i, w = -m*w - 3*i - 7 for w.
-4
Suppose f - 4*f - 8 = -4*n, -6 = -4*f - 3*n. Let k(w) = -11 + 2*w + 12 - 4*w**2 + 9*w**2. Let l be k(-1). Solve f*y = -2*y - 4*t + 14, 0 = -l*y + t + 10 for y.
3
Suppose l - 5 = 0, -h = 4*l - 37 + 10. Suppose 4 = -c + h. Solve 3 = -c*k - k + r, 0 = 4*r - 12 for k.
0
Let j(n) = n**2 - 3*n - 3. Let p be j(6). Let f = p - 13. Solve -5*m - l + 4 = 0, 4*m + f*l = -2*l for m.
1
Suppose 0 = 2*c - 8, 0 = -2*u + 2*c - c - 122. Let j = u - -88. Solve -5*m = -3*w - j, 4*w + m - 3*m = -20 for w.
-3
Let p(z) = -z - 8. Let b be p(-11). Solve -3*o - 18 = -3*w, -b*w + w - 2*o = 8 for w.
1
Suppose -50 + 18 = -4*q. Solve -5*u + 10 = -5*v, 3*v = v - q for u.
-2
Suppose 0 = 2*w + w - 15, -3*w - 25 = -5*s. Let h be ((-12)/8)/((-3)/s). Suppose 3*a - h = 8. Solve -3*v = -3*k + 6, 0 = -a*v - 5*k - 11 + 3 for v.
-2
Let a be (-4)/10 - 204/(-10). Suppose 0*n + 5*n - a = 0. Solve -z - n*r + 7 = -14, 5*r = 25 for z.
1
Let c be 1/2 + 15/6. Suppose 5*v = 3*d - d + 44, c*d + 38 = 4*v. Suppose -36*u + 36 = -27*u. Solve -5*b = 4*g + v, u*g - 6 + 2 = -2*b for b.
-4
Let u be (1 - 3) + (-2 - -4). Suppose -3*k = 5*m - u*m - 19, -5*m - k + 13 = 0. Solve p - 16 = 2*c + 3*p, 0 = -m*c + 5*p + 12 for c.
-4
Suppose 0 = 5*m + 10 + 15. Let t be 5/m*(7 + 0). Let j = -4 - t. Solve 2*v - 26 = 5*i, 0*v + j*v - 9 = 0 for i.
-4
Let c(p) = 2*p + 4*p - 5*p. Let y be c(2). Solve -5*i - 13 - 7 = 0, -k = -y*i - 9 for k.
1
Suppose 6*t - 24 = 2*t. Suppose 0 = d - t*d + 20. Solve 5 = 4*i - d*x - 3, -4*i + x + 14 = 0 for i.
4
Suppose 0 = -6*o + 3*o - 9, -4*u + 2*o = -22. Solve 3*t = -3*p + 6, -u*p + t = -4*t + 37 for p.
-3
Let f(z) be the second derivative of z**4/6 + z**3/3 - 3*z**2/2 - 2*z. Let p be f(-4). Solve i = -5*l - 15, -4 = -i + 5*l + p for i.
5
Let y(m) be the third derivative of 0*m + 1/12*m**4 - 3/2*m**3 + 2*m**2 + 0. Let l be y(6). Solve -2*g + 13 = -3*w - 1, l*w + 5*g = -7 for w.
-4
Suppose -6*t + t = -5. Suppose -15 = -4*m + t. Suppose -g = m*g - 25. Solve -2*c - a - 4 = -2, 0 = g*c + 4*a + 2 for c.
-2
Suppose -3*y - 3 = -2*h, -2*h + 2*y + 1 = -3. Solve 0 = -t - b - 7, -b + h + 2 = -5*t for t.
-2
Suppose 0 = c + 3*t - t + 5, 10 = -5*c - 5*t. Solve -y - c - 1 = 0, -2*y - 9 = -l for l.
5
Suppose l - 2*l - 43 = 5*n, n = -5*l + 1. Let g = n - -5. Let h(d) = 2*d**2 + 5*d - 1. Let w be h(g). Solve -9 = -m + 4*b - 2, m + 2*b + w = 0 for m.
-5
Let l(h) = -h**3 - 3*h**2 + 5*h + 7. Let z be l(-4). Solve -4*k = -k + z*i, k = i - 8 for k.
-4
Let r(o) = o**3 + 3*o**2 - 6*o - 5. Let g be r(-4). Let i be g + (1 - (-2 + 1)). Solve -i*y - 5*l = 30, 6*l = 2*l - 8 for y.
-4
Let j be 2*-29*2/(-4). Solve 5*h = u - 20, -4*u + j = -5*h + 2*h for h.
-3
Let i(z) = -z**2 + 4*z + 3. Let q be i(4). Solve -5 = -5*a, h + 4 = -q*h + 4*a for h.
0
Let s(m) = -2*m + 12. Let u be s(11). Let w be 8/(-20)*(0 + u). Solve -5*b + b = -w*t + 16, -8 = -2*t for b.
0
Let f(m) = -m**3 - 6*m**2 + 6*m - 1. Let p be f(-7). Let d = -3 + 6. Let c be 21 - -2*(-1 + 2). Solve -d*b + p*b + c = -4*n, -2*b - 3*n - 17 = 0 for b.
-1
Let i(t) = t**2. Let h be i(-2). Suppose -j = h*j - 10. Let a = 2 + j. Solve -4*w + 4*f + 4 = 0, -f = -4*w - 0 + a for w.
1
Let j(l) = -l**2 + 3*l + 2. Let f be j(0). Solve -4*t = -12, -5*h - f*t = -t + 2 for h.
-1
Let z be (-21)/(2/(-2)) + -2. Let q be (3/((-9)/4))/(276/(-621)). Solve -3*p - 2*k + z = 0, 16 = 5*p - q*k - 3 for p.
5
Let j(b) = 4*b - 1. Let i be j(1). Solve -5*g + 5 = -9*c + 4*c, i = -5*c + 3*g for c.
0
Suppose -h - h = -8. Solve -s + 4*i - 8 = -h*s, -3*s = 5*i - 13 for s.
-4
Suppose 12 = u + b - 6*b, 5*u = 4*b + 18. Solve 5*x = -i + 7 + 3, 9 = -x + u*i for x.
1
Let t be (4/2 - -1) + 9. Let f = t + -7. Solve -x = -b + 3 - 0, -b = f*x - 3 for x.
0
Suppose 2 = 5*b - 2*f + 10, 0 = -5*b + 3*f - 12. Suppose 0 = -0*n - n + 5. Solve n*k = b, 4*o + 8 = 5*k - k for o.
-2
Let x be (2/(-6))/(1/(-12)). Suppose -4*v = 10 - 154. Let s(i) = -i**3 + 4*i**2 + 4. Let m be s(4). Solve 4*d + x*u = -v, -m*d - 2*u - 30 = d for d.
-4
Let s(l) = l + 4 - 3*l - 2 + l. Let t be (6/(-8))/(2/8). Let c be s(t). Solve -2*i = -3*i, i = c*p for p.
0
Suppose u + 5*g - 9 = 0, -u + 0*u + 5*g = -49. Let h = u - 13. Solve -f + 4 = -q + 2, 0 = -3*f - 2*q + h for f.
4
Suppose 3*l - 28 = -22. Solve 2*v - l*k = -18, -v + 3*v + 3*k - 2 = 0 for v.
-5
Suppose 5*o + 8 = 9*o. Solve 3*u + 12 = 3*z - 0*u, -4*z + 16 = o*u for z.
4
Let d = 0 - 2. Let r(y) = 2*y**2 + 3*y + 1. Let p be r(d). Suppose 0 = p*v - 4 - 2. Solve 4*m - v*l = -l + 22, 2*m - 2*l = 14 for m.
5
Suppose 2*q + 1 = 3*d - 15, d = 2*q + 8. Solve -4 + 13 = 2*u - 5*r, 0 = -d*r - 4 for u.
2
Suppose -2*g + 24 = g. Suppose g = 4*h - 0, h - 5 = -3*p. Solve -5*s + n = -n + 12, s + p = -n for s.
-2
Let h(z) = -9*z**3 + z**2 + z - 1. Let y be h(1). Let j = 15 + y. Solve 2*f = 3*x - j, -2*x + 0*x = -3*f - 13 for x.
-1
Let t(f) = f**3 + 11*f**2 - 4*f - 29. Let n be t(-11). Let y = -6 + 57. Let s = 76 - y. Solve 3*l + n = w, 5*w - w = -5*l - s for l.
-5
Let p(o) = -2*o - 12. Let u(h) = -h - 9. Let r be u(0).