d*v - 5 = 2*v, 3*b + 7 = 5*v for b.
-4
Let q(x) = -x**3 + 4*x**2 - 4. Let j be q(3). Solve -5*c - 5*t = 10, 7*c + 10 = 5*c - j*t for c.
0
Let n(g) = g**2 + 2*g - 4. Let c be n(-4). Suppose y - 3*y = -c. Let m(w) = -w**2 - 6*w + 4. Let t be m(-6). Solve d - 1 = 3*k - y*k, -t*d = -12 for k.
2
Let h = -53 + 55. Solve -2*v = -0*v - 4*j - 12, h*v + 2*j = -6 for v.
0
Let s = -51 - -29. Let g = -19 - s. Solve o - 27 + g = 5*w, 5*w - 2*o = -28 for w.
-4
Suppose -6*w = -5*w. Suppose w*t = q - 4*t - 24, 0 = 2*t + 10. Solve q = 2*v, -2*v = -2*c - 2*c for c.
1
Suppose 5*r + 3*b = -b + 2, -5*r + 4*b + 18 = 0. Solve -4*w + p + 7 = -r, -w + 5*p = 12 for w.
3
Let z be (-7)/(-28) + 3/4. Let p = z - -1. Solve -3*c - 5*j - 23 = 0, -3*j = p*c - 0*c + 14 for c.
-1
Suppose -5*a + 8 + 6 = 2*y, 0 = -3*a - 2*y + 6. Solve -3*p = -0*p - 3, 13 = a*r + p for r.
3
Let a(v) = -2*v + 1. Let m be a(3). Let u(o) = -o**2 - 7*o - 7. Let i be u(m). Solve -z - 13 = -i*g, 0 = 5*z - 4*z - 4*g + 18 for z.
2
Let b be (180/21)/5 - 6/(-21). Solve 2*h + b*c = -16, 2*h + 5*c + 19 = 4*h for h.
-3
Let y be (-14)/(-8) - (-7)/28. Solve -4*m - 6 = -2*c, 3*m = -y*c + 4*m for c.
-1
Suppose 3*w = 10 - 4. Solve w*f = -h - f + 2, -2*h + f = -4 for h.
2
Let a(d) = -d - 4. Let f be (1 - 10/3)*3. Let j be a(f). Solve -7 = -p - 4*p - j*u, 14 = 5*p - 4*u for p.
2
Let g = 87 - 47. Suppose -2*o = -g + 14. Solve 4*s + 28 = 2*z - 6*z, 4*z = s - o for s.
-3
Suppose -3*d = 10 - 13. Let l be (14/8 - d)*4. Solve -5*s + 21 = -3*k, s = 5*k + l*s + 4 for k.
-2
Suppose -2 = -d - 4*z + 6, -3*z = -6. Solve 2*u = 2*c - 2, -2*u - 2 = -3*c - d*u for c.
0
Let d be -2*2*4/8. Let s be ((-7)/5 - -1)*5. Let c = s - d. Solve -2*v + 7 = b, -2*v + c*v + 8 = 0 for b.
-1
Let z(p) = p + 4. Let t be z(0). Solve -m = -o + 7, 0 = -4*m - 3*o - t + 11 for m.
-2
Let h be -3 + (-2 - -6) + 2. Solve -10 = 4*s + s, 5 = -h*d + 2*s for d.
-3
Let c = 6 - 16. Let a = c + 35. Solve 2*p - 2*j = j + 21, a = -5*j for p.
3
Let y be 1*6/4*2. Suppose -y*q + q + 4 = d, d = -5*q + 4. Suppose 3*t - 3*x + 5 = t, -3*x + 7 = -t. Solve t*z = q, -f + 3*z - 3 = 2*f for f.
-1
Let y = 109 - 209. Let n(b) = b**3 + 4*b**2 + b. Let a be n(-4). Let p be y/(-45) + a/18. Solve 5*r + 22 = u, -2*r - 2*u - p*u = 0 for r.
-4
Let j be 1/3*(-2 + (44 - 3)). Solve 3*d + j = 4*d - 3*g, d - 8 = 2*g for d.
-2
Suppose 5*k = 3*k. Suppose 0 = 2*w - 7*w + 45. Solve 4*f = 2*c + 3 + w, 2*c - 3*f + 8 = k for c.
2
Suppose 3*u = -5*k - 37, -4*k + 2*u = 4*u + 28. Let r = k - -8. Solve -36 = -x - r*x - 4*b, -2*x - b = -14 for x.
5
Suppose -2*h - 2 = 0, h - 2 = -c - 2*c. Let b be c/(-2)*(-88)/2. Solve -j = -5*w - b, -j - 26 = 5*w + 2 for j.
-3
Suppose -5*v = -13 - 7. Solve -3*o + 17 = v*j, -2*j + 9 + 0 = o for o.
-1
Let s = 51 - 49. Solve -4*m - 1 = s*a + 9, 3*m + 2*a + 9 = 0 for m.
-1
Suppose 4*b = 3*z - 1, -7 - 1 = -4*b. Let a be (-3)/(-9)*z + 3. Solve -a*g + m = 2*m + 15, 0 = 5*g - 2*m + 9 for g.
-3
Let p(l) = 6*l - 6 - 2*l**3 + l**3 + 3 + 5*l**2. Let z be p(6). Let c = -3 - z. Solve -4*y + 7 = 3*m, c*m - m + 5 = 2*y for y.
4
Let s(c) = 2*c + 1. Let b be s(1). Suppose 10 + 610 = -o. Let j be (-2)/(-9) + o/(-45). Solve 2*x + 0*m + 3*m = j, -b*x - 2*m + 16 = 0 for x.
4
Let m(t) = t + 3. Let b be m(7). Let k = 12 + -7. Suppose 1 + k = 2*p. Solve 4*l = -p*w + 9, 4*l + w + w = b for l.
3
Let p(l) = l**3 - 8*l**2 + 2*l - 12. Let d be p(8). Solve -2*r - 2*q = -14, d*q = -0*r + r + 3 for r.
5
Suppose -5*b + 18 + 7 = 0. Solve b = -y, 0 = -8*d + 3*d + y for d.
-1
Suppose 4*t - 11 = -5*d, t = -0*t + 4*d + 8. Solve j + 6 = 2*j - g, -t*j = 4*g - 8 for j.
4
Suppose 33*z = 28*z + 20. Solve -z*l - l - 11 = c, -4*c - 3*l = -7 for c.
4
Let f = -17 + 28. Let w = 14 - f. Solve -2*v = -5*k - 11, -v - 2*k = 11 - w for v.
-2
Suppose 3*u - 76 + 1 = 0. Suppose -u = -0*k - 5*k. Solve 0*i - 3*h = 2*i - 8, 0 = -5*i + k*h - 5 for i.
1
Let s(u) = 2*u**3 - 2*u**2 - 2*u + 1. Let l be s(2). Solve 54 = -3*y + l*c + 17, 0 = -5*y + 3*c - 35 for y.
-4
Suppose 5*u = 5*k + 35, 4*u + 0*k = -5*k + 10. Suppose g - 2 = -2*f - 8, -3*g + u*f = -37. Solve 2*s = -5*o + 20, g*s - o - 3*o = -16 for s.
0
Let t be (7 + 1)*(-3)/2. Let h = 3 + -5. Let n be t/10*10/h. Solve 4*z - n = 6, z = 4*s - 5 for s.
2
Let v(j) = -j**2 + 12*j - 19. Let h be v(6). Solve x + r + 0 = 3, -5*r + h = 4*x for x.
-2
Let i(o) = o**2 - 3*o + 2. Let w be i(3). Suppose -2*k + 2 = w*g, k + 0 = -3*g + 3. Let d = 13 + -8. Solve -d*z + 22 = 2*n, -2 = -z + 3*n - g for z.
4
Let c be (-2 - 1)/(-3) - -7. Suppose -c + 88 = -5*u. Let f be (22/(-8))/(2/u). Solve 7 - f = 5*o + 4*j, -o + 3*j + 16 = 0 for o.
1
Suppose -3*j = -17 - 19. Let x be 3 - (0 + -3 - -2). Suppose -c + 6*s = s - j, -4*c = x*s. Solve -5*a + 4*n = 7 + 18, -a + c*n - 5 = 0 for a.
-5
Let m be (0 - 3/3) + 5. Suppose -m*p - f + 3*f = -16, f = -4. Solve -y = -4*y - 3*w + 15, -5*y = -p*w - 18 for y.
4
Let a = -13 - -21. Let t be -1*-2*52/a. Solve u = -5*y - 0 + t, 0 = 2*u + 3*y - 5 for u.
-2
Suppose -4 = -g - 0*g. Let l be -2 + 2 - 3/(-3). Let n = l + 17. Solve n = -4*q - t, q = -q + g*t for q.
-4
Let q be ((-33)/1)/(3/3). Let y be (-2)/11 - 138/q. Solve -2*d = -4*a - 16, -2*d + 3*d + y*a = -4 for d.
4
Let t be (-3)/((-3)/(-6)*-2). Suppose f + t = -0. Let b = 1 - f. Solve 5*v - 21 = -b*a, -2*v + 18 = 7*a - 3*a for v.
1
Let j be (-6)/(4/(-2 + 0)). Let d(f) = f**3 + 7*f**2 + 2*f + 7. Let c be d(-6). Solve -4*b - c = 3*r, -j*r - 3 = -2*b + 4 for b.
-4
Let g(b) = b - 1. Let m be g(3). Suppose 1 - 13 = m*s. Let y be 1/s*2*-6. Solve 3*z + 2*k = -25, z - y*z = k + 10 for z.
-5
Suppose -3*d = -5*n - 10, d - n - 16 = -d. Let f be (104/(-20))/(1/(-5)). Solve -3*r + 0*q - f = -5*q, -3*r = 4*q - d for r.
-2
Let f be -3*(8/(-3) + 1). Let s(l) = 4*l**2 - 3*l**2 + 3*l + 0*l + 1. Let x be s(-4). Solve x*a - 10 = -5*w, 3*w - 6 = -f*a + 10 for w.
-3
Suppose 0 + 16 = -j + 4*k, -5*j + 8 = 2*k. Solve -b - 1 = j, -5*s - 3*b - 2*b = -20 for s.
5
Suppose 4*c = 44 - 0. Let x(t) = t - 8. Let w be x(c). Let h(n) = n**2 - 6*n + 7. Let d be h(6). Solve w*a = -2*g - 1 - 12, -2*g = -3*a + d for a.
-1
Let m be ((-2)/(-3))/((-2)/(-24)). Let n(f) = f**2 - 6*f - 11. Let i be n(m). Solve -i*y - 9 = 4*t, -t + 3*t - 5*y - 3 = 0 for t.
-1
Let w = -8 + 11. Let y(x) = -x + 6. Let k be y(5). Let r be (4/(-8))/(2/(-88)). Solve 0 - k = p - 4*u, -r = 5*p - w*u for p.
-5
Suppose 2*o - 44 = 3*w, 0 = 3*o - 4*o - 2*w + 8. Suppose -3*p = s - 12, 0*p = 4*p - o. Solve 2*t + 5*u = 27, -5*t - 5*u + 11 + 19 = s for t.
1
Let b be (-2)/(-5)*10/2. Let x be ((-16)/(-10) + -2)*-5. Solve 0 = 3*s - 5*q + 10, 15 = x*s + 3*q - b*q for s.
5
Suppose -8 - 22 = -5*j. Suppose 4*b + 8 = j*b. Suppose -2*l - b = 4*d, -4*l + 4*d + 14 = -2. Solve -3*w - 16 = -l*m, 3 - 2 = m + 2*w for m.
5
Suppose 0 = 5*k - 27 + 7. Suppose 47*x - 44*x = 3. Suppose -k*g = -23 - x. Solve 0 = 4*n + 4*s - 4 + 12, -2*s = 3*n + g for n.
-2
Let i = 13 + -8. Solve o - 5*c - 22 = 0, -5*c = i*o - 3*c + 25 for o.
-3
Suppose 0 = 2*f + c - 17, 4*c = -0*f + 3*f - 20. Let j = f - 6. Solve 2*v = -4*h - 2 - 6, -j = 4*h - v for h.
-1
Let y = 11 + -7. Suppose 28 = -3*j - 3*x - 17, -j - 40 = -y*x. Let a be (-96)/j - (-1)/5. Solve -3*r = 7*v - 3*v - 22, -5*r = -a*v + 10 for v.
4
Let i(b) = -2*b**2 - b**2 + b**2 + 4*b**2. Let s be i(-1). Solve 3*o + 17 = -s*d, 4*d - 2*d = -2*o - 12 for d.
-1
Let o(q) = -q**3 - 5*q**2 + 8*q + 9. Let u be o(-6). Let d be (9/6)/u*0. Solve 3*s + 5*l = 18 - 1, d = -3*l + 3 for s.
4
Let j be 0/4 - -2 - -18. Let g = j + -15. Solve 5*o = 4*b + 2, -3*b + o + 14 = g*o for b.
2
Suppose 0 = t + x - 7, -2*t - x = t - 11. Solve 2*g + 3*g = t*m + 8, -2*m - g + 4 = 0 for m.
1
Let b = 4 - 11. Let n = 11 - 2. Let u = n + b. Solve x = -2*x - 3*f, 0 = u*f for x.
0
Let v = 108 - 88. Solve 6*f = f - 5*l - v, -3*f + 4 = -5*l for f.
-2
Let f(n) = 3*n - 2. Let u be f(2). Let x be (-2)/u*20/(-2). Let w be 6/((-3)/2*-1). Solve 20 = -w*y, -x*d - 20 + 0 = -y for d.
-5
Let c(t) = -3*t**2 - 7*t - 10. Let s be c(-4). Let a = s - -35. Solve l - a = 0, 0 = 3*b + 6*l - 3*l - 15 for b.
0
Suppose -9 - 6 = -p. Suppose 5*i = -p, -l + i + 1 = -4. Let t = 4 - l. Solve 0 = -0*z - t*z + 4, -5*z + 10 = 5*j for j.
0
Let v(k) = 3*k - 1. Let n be v(1). Suppose 2*p = -4, n*m + 2*p + p = 20. Solve a = 4*a - f + m, -2*f = 5*a + 29 for 