0*j - 4 for y.
-2
Let m = -39 + 41. Solve 5*s - 21 = s + z, z - 3 = -m*s for s.
4
Let n(d) = -d**3 + d + 6. Let g be n(0). Suppose 0 = g*q - 3*q. Solve q = -t + 4*y - 5, -1 = -6*t + 4*t - 3*y for t.
-1
Suppose 8 = 2*h, 3*h = -d + 8 + 6. Solve b + 2*q + 2 = -5, 4*b = -d*q - 22 for b.
-5
Let l(q) = q**2 + q - 7. Let u be l(-4). Solve u*r - t + 30 = -4*t, r - t = 2 for r.
-3
Let t = 13 + -11. Solve n + 2*g + t*g = 0, 2*n + 3 = -5*g for n.
-4
Let l be (-2)/((-4)/(-1))*0. Suppose -5*f = 4*o - 12, l*f - 5*f + 5*o + 30 = 0. Solve f*g - 6 = 5*h - 1, -5*g + 22 = -h for g.
5
Let n = 6 - -5. Let i be 152/11 - (-2)/n. Suppose 4*z = 3*c - i, -5*z - 2 = 2*c - 2*z. Solve -3*t - 3 = 0, c*f = f + 2*t for f.
-2
Let q = 22 + -8. Solve -2*v - q = -2*x, -5 = x + v + v for x.
3
Suppose -t + 0*t + 16 = 5*d, 4 = d + t. Solve -d*l + 2 - 5 = -3*j, l - 9 = -4*j for l.
1
Suppose -j + 0*j = 0. Suppose j = -0*f - 3*f. Solve -3*p + 15 = -8*p + 5*u, f = -5*u for p.
-3
Let s(z) = -z + 8. Let o be s(3). Solve 0 = 5*l - o*d + 5, d + 4 = -3*l - 3 for l.
-2
Suppose -30 = -11*a + 5*a. Let w = 8 - 5. Suppose i + w = -3*z, 3*i - 3*z + z - 13 = 0. Solve c - 10 = -v + i*c, 10 = -5*v - a*c for v.
2
Suppose 0 = 7*u - 30 - 33. Solve -2*d - h + 0*h = -u, 2*d - h + 1 = 0 for d.
2
Let n be 8/10 - 66/(-30). Solve -m + 2*s = m - 4, -5*m - n*s + 2 = 0 for m.
1
Let y = -4 + 4. Solve 5*u + 10 = 0, y*i = i - 2*u for i.
-4
Let t be -6 + (-25)/(-4) + (-3)/(-4). Solve -5*x = -15, -8 = q - 3*x - t for q.
2
Let t(h) = 11*h**2. Let l be t(2). Let a be (126/(-2) + -2)/(-1). Suppose a = 3*x + 5*k, k = 4*x + 2*k - 115. Solve -3*z = -5*q - x, -2*q = -5*z + l - 13 for q.
-3
Let c be 1/(1 - 0) - 5. Let o(v) = -v**2 + v + 2. Let k be o(3). Let j = c - k. Solve j = -4*s - 16, -s - 5 = 2*h + 9 for h.
-5
Let m be 2/(-16)*-2 + (-240)/(-64). Suppose -6*k + 3*k - 36 = 0. Let z = k - -23. Solve 3*s + 2 = s - m*q, -s + 2*q + z = 0 for s.
5
Suppose 5*k + 4 - 29 = 0. Suppose -3*a - 5 = -2, 0 = -3*x + k*a + 20. Let o be (-1 + 3 + -1)*3. Solve -6 = -3*h + o*l, l + x = 6*l for h.
3
Let h(g) = g**2 - g. Let a be h(-1). Let k = 4 - a. Solve z = -0*z + 5*v + 4, k*z = 2*v for z.
-1
Let t = 4 - 2. Suppose 7 = 2*w - 5*i + 6*i, 5*w - 3*i = 23. Solve -c + w*c + 16 = o, -t*c - 6 = 4*o for o.
1
Suppose 0 = -9*i + 3*i + 102. Let b(m) = 3*m - 3. Let h be b(6). Suppose 2*g - 7*g = -h. Solve 5*j + z + i = 0, 0 = g*j + 2*j - 2*z + 11 for j.
-3
Suppose -5*t + 35 = 5*k, 4*k - 7*k = -15. Solve 2*v + t*d = -2*v - 24, -5*d = -v + 16 for v.
-4
Suppose 3*y - 2 = -8, b - 4 = 2*y. Let o be (b - (-1 - -2)) + 1. Let i = o - -6. Solve 2*p = l - 11, -l - 4*p - 7 = i for l.
3
Let c = 43 + -41. Solve 4*f + 18 = -c*o - 0*o, -5*f = o + 15 for o.
-5
Let p = 23 - 8. Solve 0 = 4*u - 6*u - 5*h + 25, 3*u + 3*h = p for u.
0
Let h(n) = -n**2 - 12*n - 23. Let u be h(-9). Solve 2*z - 3*z = 4*o + 7, -u*z - 5*o - 17 = 0 for z.
-3
Let l(t) = -t**2 - 27*t + 31. Let w be l(-28). Solve 3*b + b = -5*v - 18, -w*b = -4*v - 2 for v.
-2
Suppose 23 - 13 = 5*x. Solve b + x*c = -0*b - 5, 5*b - 20 = 5*c for b.
1
Suppose 4*s = -22 + 42. Solve l = -s*p - l - 12, 0 = p + l for p.
-4
Suppose 0 = 3*h - 6 + 15. Let c be -3 - (0 + h + 0). Solve -3*a - 4*y = -c*y - 9, -3*y + 5 = 4*a for a.
-1
Let u(n) = -4*n. Let g be u(-1). Suppose 0 = -4*l + 8 + g. Solve 0*t = t - 2*b + 10, -6 = -l*t - 3*b for t.
-2
Suppose 0 = 5*w - 5*l - 5, -l - 3 = -8*w + 6*w. Solve 0 = 2*h - 4, 0 = 3*f + f - w*h - 8 for f.
3
Let i = -32 - -22. Let t be 45/27*(-36)/i. Solve 0 = -2*o + 2*j - 2, 0 = t*o - 2*o - 3*j + 4 for o.
-1
Let o be ((-7)/21)/(2/(-30)). Solve 3*i - s - 1 = -3, 4*i - o*s + 10 = 0 for i.
0
Let m be (0 - -1)*(-1 + 4). Solve m*b - v + 1 = 2, -b = -v - 1 for b.
0
Let a be 1/(-1) - (-2)/2. Let f = -2 - a. Let q = f + 12. Solve 4*b + q + 6 = 2*o, 4*o - 3*b = 22 for o.
4
Let i(q) = q + 1. Let h(j) = -2*j. Let p(g) = -2*h(g) - 3*i(g). Let o be p(3). Solve o*s = -2*s - 4*r - 10, -2*s + r + 5 = 0 for s.
1
Let h = 13 - 13. Solve 3*j - 2*d + 0*d + 2 = h, 2*d = 2*j + 4 for j.
2
Let n = -72 + 162. Suppose 5*f + 8 = -17, 5*a - n = -3*f. Let x be 0*(20/(-12) - -2). Solve q + x*o = 5*o + a, -3*q = -4*o - 8 for q.
-4
Suppose -3*f + 22 = 5*k, 3*k = -f - 4 + 18. Solve 0 = 3*l - 2*a - 2, 5 = k*l + 3*a - 8*a for l.
0
Suppose -7*n + 54 + 44 = 0. Solve -n = -4*u - d, 3*d = 4*u - d - 24 for u.
4
Let t be (-80)/14 - 16/56. Let a = -3 - t. Let k = -9 + 16. Solve k*b - a*b = 0, 20 = 4*l + b for l.
5
Let y = 151 + -146. Solve y*n + t = 2, 2*t - 1 = 5*n + 3 for n.
0
Let a(r) = 9*r - 13. Let u(t) = -2 - 5*t - 1 - 3 + 10*t. Let i(x) = -4*a(x) + 7*u(x). Let q be i(8). Solve -q*w + 5*w = -n - 10, -4*w + 5*n - 7 = 0 for w.
-3
Let w = -26 + 36. Let a = 37 - 61. Let d be a/18*(-6)/4. Solve -6*h + 2*n = -h - 13, -4*h + d*n + w = 0 for h.
3
Let o be (-1)/(((-11)/12)/11). Solve 0 = 5*x + 4*m - 25, -3*x = 2*m - 1 - o for x.
1
Let l = 6 - 1. Solve 5*j = -3*d + 7, -j = 2*d - l - 2 for d.
4
Let g = 43 + -39. Solve -2*t = 4*s + 22, -3*t = -t - g*s - 18 for t.
-1
Suppose 0 = 42*s - 40*s. Solve 5*v - 2*g - 4 = s, 3*g - 2 = 4*g for v.
0
Let f be (-44)/(-4) - 2*(-4)/(-8). Solve q + 4 + 4 = 4*b, 5*b - f = -3*q for q.
0
Suppose -2*u + 35 = 3*u. Solve w = 4*a - 1, w + u = 2 for a.
-1
Let j = -17 - -20. Solve 2*r - 4 = 4*b, -j*b + 0*r - 13 = -4*r for b.
1
Suppose f = 3*f - 10. Let r = -64 + 93. Suppose 4*o = 12, -6*o + 3*o = 5*d - r. Solve g - 4*y = 2*g + 9, f*g = d*y + 27 for g.
3
Let q = -1 - -3. Solve 5 = q*t + 5*l, 3*t - 5 = 5*t - 5*l for t.
0
Suppose 2*p - 10 + 0 = 0. Let n = 34 - 21. Suppose 2*a + 5*s = 4, s - n = -4*a - 5. Solve 4*o + 4 = 5*x - x, -p = -3*x + a*o for x.
3
Let y(n) = n**3 - 5*n**2 - 4*n - 3. Let d be y(6). Solve 0*r = 4*z + r + 15, -z - d = 2*r for z.
-3
Let j be (68/(-2))/(-3 - -1). Solve 2*y + 5*t = 3*y - j, 9 = -3*t for y.
2
Let c be 12/(-21) - 117/(-21). Solve c*d + 12 = -2*l, -4*d = 2*l - 1 + 11 for d.
-2
Suppose -s - 14 = 3*i, -2*s + 6*i + 17 = 3*i. Solve -3*m - s = 2*b - 0*b, 0 = -5*b - 5*m + 5 for b.
4
Let b(k) = k + 12. Let w be b(-8). Solve -w*l + 3*m + 17 = 0, l - 2*m + 5*m + 7 = 0 for l.
2
Suppose -2*f + 17 = 5*s + 56, 2*s + 10 = 2*f. Let j = -5 - s. Solve j*z + 12 = 5*r, -4*z + 2 = 3*r - 0 for z.
-1
Suppose -4*r + 12 + 20 = 0. Solve c = -5*o - r, 0*c = 5*c + o + 16 for c.
-3
Let s = 18 + -18. Solve u + 4*h + s*h = -24, -h = -2*u - 3 for u.
-4
Let x(s) = -3*s - 12. Let a be x(-6). Let v be 1*3*1 - 1. Let k = a - v. Solve -3*m = 2*l - 2*m - 8, -4*m + k = l for l.
4
Let f(r) = -2*r**3 + 19*r**2 - 7*r - 13. Let c be f(9). Solve -c*b + 19 = -2*o, -4*o + 2*b + 37 = 7*b for o.
3
Suppose -x - 3*n = 2*x - 6, -8 = x + 3*n. Solve -5*m - 3*y + x = 0, -2*y + 15 = m + 2*y for m.
-1
Suppose 26*g - 20*g = 18. Solve 2*z - 1 = -3*r, -1 = z + g*r - 2*r for z.
-4
Let y = 0 + 2. Solve 0 = -b + y, 3*i - i = -4*b for i.
-4
Suppose 0 = 5*a - a + 5*s - 116, 20 = 5*s. Suppose -5*w = -w + a. Let c(u) = -4*u - 5. Let m be c(w). Solve 4*y + m = -3*j, -j + 4*y + 12 = -3 for j.
-1
Let k = -82 + 82. Solve -4 = 2*x + s + 5, -5*x + 2*s - 18 = k for x.
-4
Suppose -2*s - 4 + 6 = 2*h, 3*s - 2*h + 2 = 0. Solve 0 = 5*d - s*d + i - 4, -4*i = -16 for d.
0
Suppose 22 = 4*x + 6. Solve x*s + 5*j = s - 2, -5*s - j = -4 for s.
1
Suppose -65 = -24*f + 55. Solve 5*a - 15 = 0, -f*a = -h - h - 19 for h.
-2
Suppose -j = j - 16. Suppose 2 = -3*y + j. Suppose -t + y*t = -3*q + 15, 0 = -q - 4*t - 6. Solve 20 = -0*h + 5*h - 5*m, -q = 2*m for h.
1
Let v(t) = t - 2. Let a be v(3). Solve -18 + a = -4*o - 5*z, -5*o + 2*z + 13 = 0 for o.
3
Let u(k) = k**3 - 5*k**2 + k - 5. Let l be u(5). Suppose -4*t = 5*m - 34 + 5, l = m + 5*t - 10. Solve m*o - 3 = 2*q - 32, -o - 5 = 0 for q.
2
Let i(d) = 2*d**2 - 41*d - 13. Let x be i(21). Solve 0 = 2*o + l + x, -6 = -5*o - l + 5*l for o.
-2
Let v(n) = n + 9. Let q be v(-7). Solve 5*f + 4*s + 16 = 0, -q*s = f - 3*s - 4 for f.
0
Let u(r) = -r - 2. Let z be u(-5). Suppose -21 = -2*w + z*c + 46, 0 = -c + 5. Let k = -26 + w. Solve 0 = 2*g - 4*h + 2*h - 4, -5*h + k = 0 for g.
5
Let y(u) be the first derivative of -u**2/2 - 9*u + 1. Let m be y(-13). Solve -3*g - 10 = 5*t + 2*g, -m*t - 2*g = 6 for t.
-1
Let o be (14/(-8))/(4/(-32)). Suppose -t - 29 = -4*l, -2*l = -7*l - 4*t + 10. Let z be (-3)/l*-14 - 1. Solve 3*j - 3*d - z = 0, j + 0 -