 = -b, 2*d - 5*b = 3 for d.
4
Let n(a) = -11 - 5*a + 11. Let d be n(-1). Suppose -c = 5*s - 15, -5*s - d*c + 10 = -25. Solve -3*z - 20 = -f, -3*f = -s*z + 3*z - 10 for f.
5
Let l be ((-10)/4)/((-2)/4). Solve 4*s + 4 = g + 2*s, -l*g + s = 7 for g.
-2
Suppose -4*a + 12 = -0*a. Solve -40 = 5*l - a*w, -2*l + 4*w - 5 = 25 for l.
-5
Let c = 6 + 35. Solve 4*q = 5*b + c + 4, 5*q = 3*b + 40 for b.
-5
Suppose -54*p + 58*p = 0. Solve 5*j + 5*i + 5 = -p*i, i = -4 for j.
3
Let z = 7 + -3. Suppose 94 = z*s - 2*n, -4*s = -n - 60 - 31. Solve 2*d = -5*u - 33, -d - s = 2*u + 2*d for u.
-5
Suppose -4*f = -f. Solve -2*a + 30 = 4*o, 3*o - 11 - 4 = f for a.
5
Suppose -5 = k - 6*k. Suppose -k = 2*x - 9. Solve v - 2 = 0, -x*s - s = -5*v for s.
2
Let i(w) = w. Let z(u) = -3*u - 1. Let c(g) = i(g) + z(g). Let l be c(-2). Solve 5*x - 3 - 9 = -2*j, 0 = 4*j + l*x - 10 for j.
1
Let z be 2/(-4)*-17*2. Suppose 4*a - 3 = 3*a. Suppose a*g - 5 = 1. Solve 5*o + z = t, -3*o = g*t - o + 2 for t.
2
Let i(p) = -p**3 + 6*p**2 - 5*p + 2. Suppose 0 = 4*d - 20 - 0. Let x be i(d). Solve -4*y + 12 = -4*j, 0 = 2*y + 6 - x for j.
-5
Let v be ((-15)/6)/(-5)*4. Suppose 0 = 2*i + v, -4*t + 0*t = 2*i - 26. Let d be 4*(-3)/((-6)/t). Solve 3*k = 5*b + 13, -3*k - d + 2 = 0 for b.
-5
Suppose 2*v + 15 = n, -2*n = -4*n - v + 5. Suppose 4*s + 3*m = -12, 9*m = 4*m. Let q = n - s. Solve -3*k - q = 4*h, -k + 0*k - 9 = -5*h for k.
-4
Let t(l) = l**2 + 9*l + 6. Let w be t(-8). Let n be (w/(-6))/(7/42). Solve 0 = -2*j + 3*z + 18 - 1, n*z = -j - 9 for j.
1
Let x(f) = f**2 + 4*f - 3. Let n be x(-5). Suppose -y - 3*b - 3 = -n*y, 0 = 3*b. Let o = -9 - -13. Solve 4 = -k + 2*k + y*c, -2*k = -o*c + 22 for k.
-5
Suppose 3*r = -r. Suppose -2*j = -4*s - 0*j + 10, 5*s + 4*j - 32 = r. Solve 5*h - s = 6, -4*i + 2*h = -8 for i.
3
Let d be (-2 + 0 + 3)*7. Let g = 76 - 71. Solve 4*t + 5*m + 3 = -d, 0 = t + g*m + 10 for t.
0
Let a = -26 + 29. Let q be 2/(4*2/12). Let g be 12/10*5/2. Solve p + 2*u = q, -u + g = -a*p - 16 for p.
-5
Let z(l) = -l**3 - l**2 + 4*l. Let g = 4 - 7. Let n be z(g). Solve 0*b + n = -b + v, -5*v = -25 for b.
-1
Let m be 5 - 10/(-15)*(-3)/2. Solve -4*f - m*r - 3 - 1 = 0, -5*f - r - 17 = 0 for f.
-4
Let o = -15 - -20. Solve -25 = -5*w + 4*w - o*p, -25 = w - 5*p for w.
0
Suppose 3*k + 6 = -5*r + 35, 0 = -2*k - 4*r + 22. Suppose 2*u + 10 - 24 = -2*g, -9 = -3*u + g. Solve -5*s - 2*f = 18, k*s - u*f + 14 = -2 for s.
-4
Let a = 104 + -97. Solve 5*i = -3*n - a, 0 = -5*n + i + 2*i - 23 for n.
-4
Let l = -3 + 5. Solve 0 = -2*g + l*x + 4, 2*x + 20 - 1 = -3*g for g.
-3
Let p = -8 + 9. Solve 5*k - p = 3*n, 6*k = 2*n + 4*k + 2 for n.
-2
Suppose 16*s - 8 = 8. Solve -5*w + 4 = 4*d + s, d - w + 6 = 0 for d.
-3
Let x = -5 - -5. Suppose x*k + 75 = k. Suppose 4*t - k = 3*q, -4*q - 4 = t + 1. Solve 3*y = j - t, -3*y - 2*j = -y + 2 for y.
-4
Let t(m) = m - 1. Let f be t(4). Suppose h = -3*v - 4 + 16, -f*v - 2*h + 12 = 0. Solve 0 = p + 5*l + 14, -v*p + 3*l + 5 = -8 for p.
1
Suppose n - 35 = -4*n. Suppose -n = -3*k - 1. Solve -k*d + s - 2 = -9, d + 1 = 2*s for d.
5
Let m be (-4)/((-3 - -3) + -1). Suppose -h + m*h = 9. Solve 3*z - 11 = -5*g, 3*z - 7 = h*g - 4*g for g.
1
Suppose -4*f - f - 45 = 0. Let q = 12 + f. Suppose t = -2*t + 9. Solve -t*h + 13 = n, 3*n = -5*h + q*h + 18 for h.
3
Let o(u) = u**2 - u. Let z be o(1). Suppose z*b = -b - 38. Let j be b/(-10) + 2/10. Solve 4*y = 3*x - 9 + 1, 6 = j*x - 3*y for x.
0
Let s = -20 + 80. Suppose -2*l - 5*r = -30, 4*l = 4*r - 3*r + s. Solve p + 2 = 4*v - l, 5*p = 3*v for p.
3
Let a(z) = -z**3 + 4*z**2 - 3*z + 4. Let q be a(3). Suppose 0 = q*f - 37 - 43. Solve r = 4*t - 3 + f, -2*r + t - 1 = 0 for r.
-3
Let i = 3 - 1. Suppose 0 = i*b - 2, -5*b + 6*b = f + 1. Solve -3*z + 23 = 2*j - f*z, 2*z + 6 = 4*j for j.
4
Suppose 0 = -3*j - 9, 4*j - 73 = -5*q - 5. Let h = 7 + -3. Suppose -h*x = -0*x - 12. Solve 0*f = x*f - c + q, 4*c - 16 = 0 for f.
-4
Let f = -35 + 54. Solve 0 = -4*w, -5*t - w + 1 + f = 0 for t.
4
Suppose 3*i + 65 = -4*l, -80 = 4*l - l - 4*i. Let s be (12/10)/((-8)/l). Suppose s*b - 12 = -b. Solve -3*o = 5*k + 29, -b*k + 11 - 35 = 4*o for o.
-3
Suppose 3*n = -3*n + 24. Solve -4*f - f = -3*g - 9, n*g = -5*f - 12 for g.
-3
Let b = 21 - 11. Solve -5*n - b = 0, 2*s + 2 = 4*n - 0*n for s.
-5
Suppose -6*h + 3*h = -9. Let i = 1 + h. Solve 5*c - 2*t - 1 - 1 = 0, -i*c - t - 1 = 0 for c.
0
Let t(n) = n**2 - 3*n. Let h = -5 - -9. Let y be t(h). Suppose 33 = 25*k - 42. Solve -k*o + y*c = -25, -o + 6*o = 4*c + 31 for o.
3
Suppose 0 = -r - 0*r, -1 = f - 3*r. Let l be (0/(0 + -2))/f. Let d be (-6)/(-21) - 178/(-14). Solve -2*p - 3*j = -3*p - d, l = -3*p + 2*j - 11 for p.
-1
Let g be 1/(-4) - 13/(-4). Solve -b + 20 = 4*x, 0 = -3*x - 0*b - g*b + 15 for x.
5
Let x(q) = q - 6. Let h be x(9). Solve -4*l + 2*p - 5 = h, -5*p - 20 = 0 for l.
-4
Let s be (-129)/(-27) + 10/45. Solve -s*w - 5*z = 0, -w = -3*w + 2*z for w.
0
Let l be 19/3 + 14/21. Solve -5*s - 5 = 0, -6*s - l = j - 2*s for j.
-3
Let c(w) = -w**3 + 4*w**2 + 2. Let y be 4/6*(-6)/(-1). Let d be c(y). Solve 0*l - 4*m + 12 = 3*l, -2*l = -d*m + 6 for l.
0
Let y be 48/26 - (-32)/208. Solve y*x + 20 = -4*p, 0 = x - 2*x - 2 for p.
-4
Suppose -2*l = -4*l + 16. Suppose 4*d + 4 = v, -d + 2*d + 2*v - l = 0. Suppose d*j = 4*j. Solve 3*w = x - 6, j*x - 5*x = 3*w + 6 for x.
0
Suppose 2*s = -0*s - 3*q - 15, 20 = -5*s - 4*q. Suppose s = -0*u - 3*u + 6. Solve 4*y = -u*w + 16, -4*w = 4*y - 22 + 6 for w.
0
Let r be (-45)/(-12) + 1/4. Solve 10 = -w + 4*w + r*i, -6 = -2*w - 2*i for w.
2
Suppose 0 + 3 = g. Let j(m) = -m**2 - m. Suppose 0 = 2*i - 3*w - 10, -i + 15 = -3*w - w. Let s be j(i). Solve 29 = 4*k + 5*x, s = -2*k - g*x + 6*x - 13 for k.
1
Suppose 2*m = 7*m + 45. Let w = m - -14. Solve -d + 3*x - 1 + 5 = 0, x + 28 = -w*d for d.
-5
Let v be -6*(28/8 + -4). Solve -v*a + 17 = 5*m, -m - 2*m - 17 = -5*a for a.
4
Let j = 329 - 228. Suppose 0 = -3*x + j + 4. Solve -2*k + 5*p - x = 0, k - 3*k = 3*p - 5 for k.
-5
Let u be 0*(-1 + 3)/4. Suppose 6 = -u*k + 2*k. Solve 0 = -m - m + 2*t - 4, -k*m = 2*t + 6 for m.
-2
Suppose -5*d = -4*d. Let c be 68/(-6) + (-2)/3. Let x be (2/(-3))/(8/c). Solve 2*l + b = 0, d*l - b = 3*l + x for l.
-1
Let c = 8 + -14. Let p = c - -11. Suppose -23 = -2*y - 2*w - 9, -p*w + 5 = -y. Solve t = -0*b - b - 5, -y*t - b = 9 for t.
-1
Let b(w) = w**3. Let v be b(0). Suppose -a + 2 = -v*a. Solve -j - 4 = -5*g, -j + 1 = -2*g + a*j for g.
1
Let f(u) = -2*u + 41. Let j be f(20). Solve -5*x + n - 9 = 0, -4*x = 5*n - j + 14 for x.
-2
Let u be 4/(-6)*30/(-4). Suppose -3*w - u*i = 17, -3*i = 2*w - 3*w + 13. Solve 15 = 5*k + 4*a + a, -3*k + w = -a for k.
1
Let i = 6 - -4. Let j be 16/i - 6/(-15). Solve -2*g - 8 = -4*a - 0*g, g + j = a for a.
2
Let z = 9 + -4. Solve 25 = -z*m, 0 = -5*t - 2*m - 13 - 7 for t.
-2
Suppose 3*r = 7*r - 5*i + 9, 2*r = 2*i - 2. Let u be 81/21 + 4/28. Solve -17 = -s - r*h, u*s + s - h = 1 for s.
1
Let o(w) = w**2 + 9*w - 8. Let k be o(-10). Suppose l + 17 = 3*s - l, 0 = k*s + 2*l + 2. Solve s*n + 17 = 2*x, -5*x = -2*n - 3*n - 35 for x.
4
Suppose 4*u + 5 = -u. Let f = u - -3. Suppose -o = -f*r + 10, -3*r + 6 + 2 = -5*o. Solve 2*w = -w - 3*c + r, -2*c = -w - 1 for w.
1
Let u be 3*(0 - -3 - 0). Let c(f) = -3*f - 4 + u + 2*f. Let s be c(4). Solve -n = -4*d - 2*n - 10, -s = d + n for d.
-3
Suppose 3*l = 7*l. Suppose 2*j + n - 20 = -n, l = 5*n - 10. Let b(d) = 2*d**2 + 4*d - 1. Let z be b(-3). Solve j = 4*w, z*w = 3*u + w + 5 for u.
1
Suppose 0 = 3*d - 1 - 8. Suppose 3*k = 4*k + d. Let w be (k - -1)/(2/(-4)). Solve -a = 2*q - 3, -3*a + w*q - 36 = a for a.
-5
Let a(i) = 3*i - 4. Let b be a(3). Suppose 3*g + 3 = 5*y + b, -14 = y - 4*g. Let w be (-1 - 4)/(y/(-2)). Solve s - 15 = -w*h, -h + 4*s + 14 + 10 = 0 for h.
4
Suppose -23 = -5*f + 2. Solve w = -2*t - 13, -5*w + f*t = -0*w + 5 for w.
-5
Suppose -5*t - 77 = -3*j + 51, -4*j + 3*t = -156. Let g be 34/9 + 8/j. Solve -g*u + 2*i - 18 = 4*i, -i + 21 = -4*u for u.
-5
Let o(j) be the first derivative of 11*j**4/4 - j**2 + j - 1. Let p be o(1). Suppose w + p = 3*w. Solve -g - y + 6*y - 12 = 0, w*g = -5*y + 30 for g.
3
Suppose -20 = -2*l - 3*l. Suppose 5*y = -4*t + 31, 0 = y + 4 - 3. Let g be ((-4)/(-6))/((-4)/(-30)). Solve 0 = 4*h + l*w - 25 + t, w + 8 = g*h for h.
2
Let k be (-3)/2*12/(-9).