1
Let r(v) = 2*v - 4. Let d be r(3). Solve 2*g = 2*u - 6, 4*u - 3*g - 9 = d for u.
2
Let c = -5 + 8. Suppose h = 3*q + 9, -c*h - 11 = -4*q - 28. Solve -h*m + 1 = 2*p, 10 - 1 = -4*p + 5*m for p.
-1
Suppose y + 1 = -2. Let z be -21*1 - 6*7/(-14). Let u = y - z. Solve 0 = m + 3*c + c - u, -3*m - 23 = -5*c for m.
-1
Let j be (-7)/(-14) + 14/(-4). Let f(w) = -w**2 - 4*w. Let u be f(j). Solve 4*r + 4*y = -20, -10 = -3*r - u*y + 5*y for r.
0
Let f = 12 - 10. Suppose 6 = 4*x - 2. Solve -3*j - x*j - 3*v = -3, 4*v = f*j - 22 for j.
3
Suppose -2*t + 4 = 4*n, 0*t + 8 = 2*n - 2*t. Let s be (1/n)/(1/4). Solve 4*g + 2*w = -s*w - 20, -g - 3*w - 7 = 0 for g.
-4
Suppose -2*t + 28 = 3*n - 2*n, 5*n = 10. Suppose 6 = -12*p + t*p. Solve -3*g + p = 5*w, -3*w + 4*w = 0 for g.
2
Let k be (-8 - -7)*14/(-2). Suppose -2*o + 3 = -k. Solve -i = q - 7, -11 = 2*q - o*i + 3 for q.
3
Suppose 0 = -2*j + 41 + 25. Solve 4*o + 4*r = -0*r + 28, 4*o - j = -5*r for o.
2
Let b(f) = -2*f - 2. Let r be b(-2). Suppose r + 1 = w. Suppose -z = u - 1, -2*u = w*z - 0*z - 2. Solve a = -z*h - 4*h + 6, -5*a = 4*h - 14 for h.
1
Let k(q) be the third derivative of -11*q**4/24 + q**3/6 + 5*q**2. Let g be k(-1). Solve 4*h + 2*p + g = -0, 3*p - 12 = 0 for h.
-5
Let o = -11 - -11. Solve w + o*x = -4*x + 1, -2*x = 4*w + 10 for w.
-3
Let v = -65 + 74. Let n = 0 + 0. Suppose n*j + 24 = 4*j. Solve -3*h = 0, 3*d - j*h - v = -2*h for d.
3
Let d be ((-4)/(-14))/(3/21). Solve -4*x = 3*h - 6, 3*x - d*h + 4 = -0*x for x.
0
Let y = 7 + -6. Let v be (-2 - -1)*(y + -1). Suppose -f = -v*f - 2. Solve 0 = -3*l + f*l - 4*o - 7, -2*l = -2*o - 16 for l.
5
Suppose -2*t - 3*t = 10. Let c = 1 - t. Suppose -2*x + 20 = 5*u - 7*x, 4*u - c*x = 15. Solve -3*h - j + 7 = -2*h, -2*h - u*j = -18 for h.
3
Let z(g) be the second derivative of -g**5/20 - g**4/12 + g**3/3 + 3*g**2/2 + 3*g. Let u be z(-2). Solve -4*h - 30 = -2*c, -2*c + 30 = u*c - h for c.
5
Suppose -5*m + 14 = 4. Suppose 2*x + 6*f - 20 = f, 3*x - 55 = 5*f. Let i(p) = p**2 - 2*p - 6. Let l be i(5). Solve 5*v + 0 - x = -m*b, -l = b - 3*v for b.
0
Let h = 82 + -77. Solve 4*m = -5*l - 4, -3*m + 2 = 4*l + h for m.
-1
Let i = -30 + 35. Solve 4*s = -i*d - 7, 0 = -0*d + 2*d + 3*s for d.
-3
Let h = 62 + -57. Solve h*n + v = -v + 15, 0 = -4*v for n.
3
Suppose x - 5*v = 2*x - 20, v = -3*x + 18. Solve 5*s + 5*h + 10 = 0, -x*s - 2*h - 2 = 14 for s.
-4
Let t be -22*((-3)/1 - -1). Let s = t - 25. Let v = 11 + -7. Solve 2*a - 4*a - 4 = -2*x, v*a + 5*x = s for a.
1
Let j = 9 + -5. Let m = j + -4. Let q be -2*(-4 + m/3). Solve -3*l + 15 = 5*g - q*l, -4*l - 14 = -2*g for g.
-1
Let l(v) = v**2 - 16*v - 46. Let y be l(19). Solve -2*g - y = -5*o - 1, -3*o + 6 = 2*g for g.
0
Let b be ((-4)/(-10))/(2/20). Solve -5*m = -4*p + 22 - 3, b*m + 14 = 2*p for p.
1
Let j = -89 + 92. Solve -h + m + 7 = 0, m - j - 2 = -3*h for h.
3
Suppose 3*b = -0*b + 24. Solve 4*o - w = b*o - 21, -o - 5*w = -29 for o.
4
Suppose 0*q + 3*q - 9 = 0. Let g(j) = -j**3 + 8*j**2 + j - 5. Let d be g(8). Solve z = -5*s - 8, d = -2*z - q for s.
-1
Suppose d = -m - 4*m + 15, 10 = 2*d. Solve -m*l = 4*i + 2, i + 6 = 2*l + 3*l for l.
1
Let f be (5/(-2) + 3)*34. Let q = -12 + f. Suppose 5*a = -0*v - 3*v + 39, 0 = -a + v + 11. Solve -z - m = -q*m + a, z + 2*m = 3 for z.
-1
Let f be (-1 - (-3)/(-3))*-2. Let u be 8/6*(f + -1). Let o = u + -2. Solve 0*r - l - 1 = -o*r, 0 = -r - 2*l - 7 for r.
-1
Let a = 69 + -64. Solve 4*u + 31 = a*k, 5*u = -k - 4*k - 5 for k.
3
Let a(z) = 4*z**2 + 5*z - 1. Let y be a(-2). Solve 5*s + 7 = y*j - 23, -3*s = 9 for j.
3
Let f(s) = -s**3 + 5*s**2 - 3*s - 2. Let b be f(4). Suppose 5*z - z = -3*k + 9, b*k = -z + 1. Solve z*q + 2*q + 27 = -4*n, -2*q - 3*n = 15 for q.
-3
Suppose l = 3*m - 5, -l - 3*l + 10 = 3*m. Solve 4*x - 12 = 4*k, 0 = m*k + 3*k + 25 for x.
-2
Suppose 3*g - 3 = 2*t - 0*g, -2*t - 3*g + 3 = 0. Solve t = -x + 4*x - 12, i - 2*x = -7 for i.
1
Suppose -73 = -5*f + g, f - 4*g - 10 = 16. Let t = 19 - f. Solve -1 = 4*k + 3, 3*k = -t*b - 8 for b.
-1
Let b = 151 + -149. Solve -g = 4*w - 19, -2*w + 0*w + 8 = b*g for g.
-1
Suppose -2*q - 60 = -4*r + r, 0 = -5*q - 15. Solve -5*s + r = 3*t - 22, t = s for t.
5
Let b be (-4)/(-6) - (-4)/(-6). Let k(r) = -r - 30. Let c be k(-35). Solve 4*n - 5 = 5*a, 3*n + 4*a - c*a - 1 = b for n.
0
Let y = 1 - -1. Suppose -5*z + 8 = -y. Suppose 0 = -n - 2*n - 5*r - 2, -4*n - r + 20 = 0. Solve n*a - 2*a + 2*l - 22 = 0, -5*l = z*a - 15 for a.
5
Suppose 5*f - 225 = -w, 0*f + 2*w = -2*f + 98. Let k = -23 + f. Let o be (-7)/(k/(-18))*1. Solve 18 = -3*z + 3*m, -5*m - o = 4*z - 0*z for z.
-4
Let y be 12/(-4) - (-1 + 0). Let m = 0 - y. Solve -4*b + 3*i + 4 = -i, -m*b - i = 1 for b.
0
Suppose 2*f = -2*g + 12, -1 = 5*f - 6. Let k be (-14)/(-4) + 2/4. Solve -5*u - 5*h - 15 = 0, -k + 15 = -4*u - g*h for u.
-4
Suppose 2*t - 5*t + 12 = -2*r, 3*t - 5*r - 21 = 0. Suppose 0 = 5*n - o - 17, 9 + 1 = 4*n - t*o. Solve 5*f + 0*f - n*p = 12, 0 = f + 2*p + 6 for f.
0
Let b(i) be the second derivative of i**4/6 + 3*i. Let g be b(1). Let h be (g/(-3))/((-14)/63). Solve -h*t = 3*d + 24, -3*t - 2*t + d = 16 for t.
-4
Let t = 32 - 30. Let s(y) = -y**3 - 7*y**2 - 5*y + 7. Let l be s(-6). Solve m - d - 16 = -t*m, -d = l for m.
5
Let s = 16 + -16. Let f = s + 5. Solve 4*k + 2*c + 4 - 14 = 0, f*k + 4*c = 14 for k.
2
Let m be (17/(-2))/((-15)/30). Solve -x = 2*i - 12, 2*i - m = -i - x for i.
5
Let t = 13 - 8. Suppose -4*w + 2*r + 120 = 0, 5*w + t*r = -0*r + 120. Solve -5*y - 5*p - 15 = 0, 4*y - 7*p = -3*p + w for y.
2
Suppose -2*p = 2*k - 114, 2*k + 3*k = 2*p + 306. Suppose 0 = o + 3*o - k. Solve 0 = -3*u - 3*i + o, -u + 4*i = 21 - 1 for u.
0
Let s(d) = 4*d**3 + d**2 - 3*d + 1. Let f be s(1). Let p(m) = 3*m - 2. Let b be p(2). Suppose 24 = b*n + 8. Solve n*y - 2*w = -6, -f*y - 1 = -3*w + 2 for y.
-2
Let n = -13 + 22. Let f be (-5)/15 + 75/n. Solve 17 = 5*i + 4*d, 2 = -2*d + f for i.
1
Let o(p) = -p**3 + p - 2. Let a be o(-2). Suppose -3*k - 2*m + 9 = -8, -a*k + 2*m + 18 = 0. Solve 5 = 5*d, -2*b - 2 = k*d - 3*d for b.
-2
Let l be ((-16)/(-2) + -1)*2. Let v = l - -2. Solve o - 4*t - 21 = -0*t, -4*t = v for o.
5
Let v = -62 + 77. Solve -2*w - 2*r = -7*w - v, -3*w + 10 = -5*r for w.
-5
Let h(o) = 4*o**2 - 2*o - 1. Let p be h(2). Let z = -5 + p. Let l(b) = -b + 10. Let n be l(z). Solve 0 = -n*g - m - 4 + 11, 0 = 2*m + 10 for g.
3
Let t = -22 + -5. Let v be ((-45)/t)/(2/6). Solve h = -v*j + 25, -4*j = 2*h - 2*j - 10 for h.
0
Suppose -43 = 5*a + 7. Let i be (-5)/a*(2 - -28). Solve 4*h + 0 - 3 = u, -3*h = -5*u - i for h.
0
Let q be 3/6 - 14/(-4). Solve 0 = -2*s + i + q*i - 2, 5*i = 5*s - 10 for s.
4
Suppose -2*f - 2*y = -4, 0*f + 5*y = -4*f + 6. Solve -5*i - 9 = 4*r + 2, 7 = -i + f*r for i.
-3
Let f(v) = v**2 - 4*v - 9. Let y be f(6). Let r(i) = i**2 - 4*i + 2. Let k be r(4). Solve 4 = h + y*o, -12 = h - 4*h + k*o for h.
4
Let h = -13 - -17. Solve 0 = 5*r - 2*o - 18, -2*o = h*r - 0*o for r.
2
Let w be (-21 + 18)*16/(-6). Solve 0 = -4*g + 2*u - 12, -g - 3*u + w = -2*g for g.
-2
Suppose -25 = -5*g - z, 3*g + 5*z - z - 32 = 0. Suppose g*b = -b. Solve -3*w - w = -s + 12, -5*s = b for w.
-3
Suppose -5*b - r = -100 - 4, -2*r = 4*b - 82. Suppose -3*y = 3 - b. Solve 2*h = -2*k, -2*h - 32 = -y*h + 4*k for h.
4
Suppose 4*u = 10 - 2. Solve a - 4*o = -5, -3*a + 0*o - u*o - 15 = 0 for a.
-5
Suppose -2*n + 2*q = -2*q - 16, q + 4 = -n. Let t be (-6 + n)/((-3)/12). Solve 0 = 4*o + o - d + 18, 4*o = -4*d - t for o.
-4
Let z = -8 - -12. Solve n + n + 4*v = -2, -20 = -4*n + z*v for n.
3
Let x be 73/5 + (-2)/(-5). Let b be 3 + (1 - (1 + 1)). Suppose -x = -b*a - a. Solve -a*y + n + 7 = 0, -n = -5*y + n + 4 for y.
2
Suppose -4*n - v = -n - 4, -3*v + 4 = 5*n. Let d(o) = -o**3 - 8*o**2 - 7*o. Let t be d(-7). Let g = 0 - t. Solve -2*x - 5*r = 8, g = 4*x - 3*x + n*r + 4 for x.
-4
Let m = 17 + -16. Suppose 4 + m = u. Solve -4*i - r = -4*r - 20, -u*i + 25 = -5*r for i.
5
Let w = 3 - 1. Solve -w*b + 3*j = -3, 4*j - 5*j = -5*b + 14 for b.
3
Suppose -m + 2*x = 6, 3*m + x + 4 = -0*x. Let p be ((-11)/m)/((-2)/(-4)). Suppose -3*i = 4*s + p, s = 5*s + 20. Solve 2 = -2*j + h - 0*h, -4 = i*j - 2*h for j.
0
Let o be (-6)/2*8/(-6). Suppose 2 = o*q - 2*q. Solve -3*y - 2 = -5*t, 3*y = t + 3*t - q for t.
1
Suppose y - 3 + 1 = 0, 3*h + 3*y - 18 = 0. Sol