3 + 0 = 4*f, -2*b - 18 = -4*f for b.
-3
Let o(f) = -9*f + 7. Let n be o(3). Let j = n - -20. Solve j = 4*t + 2*r - 6*r - 16, -3*t + 12 = -r for t.
4
Let t = 23 + -32. Let w = -5 - t. Solve -i - 12 = 2*x + 2*i, -2*x = w*i + 16 for x.
0
Let x(j) = -7*j - 10. Let w be x(-4). Let c be (-22)/(-5) + (-2)/5. Suppose 0 = -c*z - 1 + 13. Solve -3*f - 3 = -3*n, z*n + 5*f = f - w for n.
-2
Let c(y) = -y**3 - 6*y**2 - 5*y + 3. Let i be c(-5). Solve 15 = i*q, -4*z - q - q + 2 = 0 for z.
-2
Let d = 37 + -34. Solve -3*g = t - 3, -2*g - t - d*t + 2 = 0 for g.
1
Let n(z) = -z**2 - 4*z + 6. Let t be n(-6). Let h = 19 + t. Suppose 3*q - 2*q = 4. Solve 0 = -g + q*b - 0*b, 2*g = -5*b + h for g.
4
Let t be (-15)/6*(2 - 4). Suppose y - 186 = -2*y. Suppose 0 = t*s - y - 13. Solve -4*o - 5*p - s = -51, -4*p + 24 = 2*o for o.
4
Suppose 2*m + 2*k + 0 = 10, -15 = -3*m + 5*k. Solve -n + m*o - 8 = 0, -3*n = -2*n - o for n.
2
Let a = 29 + -19. Let b be a/(-50) - (-2)/10. Let i = b - -4. Solve 2*h - w = 13, 0*w = i*h - 3*w - 29 for h.
5
Let m be (-24)/(-2) - 9/(27/(-6)). Solve -2*s = 3*r + m, 3*s + 3*r + 9 = -9 for s.
-4
Let f(k) = k**2 + 9*k - 11. Let u be f(-10). Let c be (u - (-8 - -3)) + -2. Solve -c*j = -5*j + r + 3, -3*j = -5*r - 3 for j.
1
Let v = 24 + -22. Solve 3*n - 17 = 5*n - 5*d, v*d = -2*n + 18 for n.
4
Let f = 33 + -30. Solve f*v - 2*l + 12 = 0, 8 = -4*v + 2*v - l for v.
-4
Let h = -6 - -6. Solve 4*p - 4*r = h, 0 = -5*p - 6*r + 3*r - 24 for p.
-3
Let f(l) = -l**3 - 17*l**2 + 37*l - 14. Let u be f(-19). Solve 6*s - 5*y = s - u, -2*y + 10 = 0 for s.
4
Let m = -3 - -6. Suppose 3*h = 2*h + m. Suppose -5 = -5*o + 2*w + 25, h*o = 3*w + 27. Solve -7 = -5*d - 2*x - 25, 4*d - 3*x - o = 0 for d.
-2
Suppose -2*c + 8 = 2*b, c - 2*b + 12 = 5*c. Let d = 75 + -71. Solve n - 1 = c*j, 0 = -5*j + d*n + n - 10 for j.
1
Let k(y) = -y + 10. Let d be k(0). Let w be (3/(-2))/((-3)/d). Solve w*b = -0*n - 5*n - 10, 0 = 2*b - 5*n - 24 for b.
2
Let n = -1 - -6. Let z be (4/8)/((-1)/(-4)). Solve z*v + 2*w = n*v - 23, -w = 4 for v.
5
Let t = 26 - 22. Solve 0 = -0*u + t*u + 5*f - 29, u + f = 6 for u.
1
Suppose -24 = -x - 10. Solve -o - 4 = -3*o + t, 5*t = 4*o - x for o.
1
Let o be (-4 - (-26)/4)*2. Solve -k = -2*g + o, g + g = 4*k + 14 for g.
1
Let w = -1 - 5. Let r be (6/(-3))/(w/(-3)). Let v be 6/(-5)*10/r. Solve -m = -4*t + v + 2, 9 = 5*t + 3*m for t.
3
Suppose 4*f = -3*t + 54, 2*t + 2*f - 82 = -2*t. Suppose 2 + t = 3*c. Let o = c - 5. Solve -5*z + 4*g - 4 = 0, g - 24 = 4*z + o*g for z.
-4
Suppose 7 = 3*z - q, 4 + 7 = 5*z - 2*q. Solve 5 = 4*b + b, -5*b + z = 2*i for i.
-1
Suppose -18*f + 4*f - 2*f = 0. Solve -3*t - 10 = -2*h - f, 5*h - t - 25 = 0 for h.
5
Suppose 0*r - 4*r = -12. Let n = -9 - -14. Solve -3*a - 1 = h - n, h = r*a - 14 for a.
3
Suppose f - 3*o - 8 = -2*o, -2*o + 14 = 4*f. Solve -k + 5*x = 4*k + 30, k - f*x = -14 for k.
-4
Suppose 6 + 3 = 3*q. Solve -q*l + 5*u = 10, -l + 3*u = -2*u for l.
-5
Let o be (-1)/2*-8 + 15. Let r = o - 5. Solve 2*h = -4*m - r, 4*m - 5*h + 21 = -0*m for m.
-4
Let k be (1 - 0) + (-14)/(-2). Suppose 9 = -5*l + k*l. Solve m - 4 = -8*w + l*w, 0 = -4*m - 2*w + 16 for m.
4
Let h(r) = r**3 + 3*r**2 - 4*r + 3. Let m be h(-4). Let p be 0/(-4)*(-2)/4. Solve -m*f = 4*v - 8, -3*v + 6 = -p*v - 3*f for v.
2
Suppose -18 = -3*z - 3. Solve 2*u = 6*u + a - 13, -5 = -z*u - 5*a for u.
4
Let s(b) = 7*b**2. Let v be s(1). Suppose 0 = -3*l + 4*t - 14, 3*l + 4 = -0*t + 2*t. Solve -5*p + 3*a = -16, p - l*a + v = 2*a for p.
5
Suppose 0 = -4*m + 12 + 8. Suppose -l - 4*l = 4*a - 12, 2*l + 15 = m*a. Solve a*w + 5*y - y = 20, -4*w - 10 = -2*y for w.
0
Suppose 0 = -4*o + 23 - 3. Let r = -1 + o. Solve r*z + 17 = -3*w, -5*z + 4*w + 0*w = -2 for z.
-2
Let l(q) = -q + 1. Let x be l(3). Let k = x - -4. Suppose 5*y - 49 + 4 = 4*p, k*y = -3*p - 5. Solve -25 = 5*m + h, -2*m - 5 = -y*h + 5 for m.
-5
Suppose -5*d - 72 = -3*l, -d + 0*d = 2*l - 48. Solve 3*o = 3*b - 0*b - l, 2*b = -2*o - 4 for b.
3
Let b(i) = i**2 - 4*i - 12. Suppose -3*m + 10 = -11. Let p be b(m). Solve 4*y - p = -3*j - 0, 12 = -5*y + 4*j for y.
0
Let z(h) = 8*h**2 - h - 2. Let b be z(-1). Suppose 3*q - 5*q + 8 = 0. Let a = 18 + -13. Solve -b*m + 4*m - 27 = -q*x, -a*x + 15 = 0 for m.
-5
Let q = 6 + -5. Let n be 96/4 + -2 + q. Let f(v) = -v + 3. Let o be f(3). Solve 5*s + n = -0*p + 3*p, -s - 4*p = o for s.
-4
Let a(n) = -2*n**2 - n + 1. Let q be a(1). Let u(h) = -h**3 - h**2 + 2*h. Let c be u(q). Suppose 10*k - 5*k = c. Solve k = b - 2, 4*m - b + 7 = -3 for m.
-2
Let f be -1*4/8*0. Let m be (2/4)/((-3)/(-30)). Solve -m*z + 2 = t - 1, 5*z + 4*t + 3 = f for z.
1
Suppose -3*k = -7*k + 32. Solve -5*z = -3*d - 1, k*d + 2*z = 4*d + 16 for d.
3
Let l = 33 - 32. Solve r = -s - 3 - l, 24 = -s - 5*r for s.
1
Suppose 25 = -4*c + 9*c. Solve 20 = 4*r + 2*i, -3*r + 2*r + 5 = c*i for r.
5
Suppose -3*p = -2*p + 3. Let r be -21*1/(2 + p). Solve 3*q - 7 = -h, 2*q = 5*h + 3*q - r for h.
4
Let b(n) = -5 + 2 + 3 - 1 - 11*n. Let p be b(-1). Solve 3*v - 2*v + 6 = -r, -p = 3*r + v for r.
-2
Let u(q) = -q**2 + 45. Let r be u(0). Suppose 2*b = -b + r. Solve 5*j - b = -5*i, 4*j = i + 1 + 1 for j.
1
Let f(u) = u**3 - 3*u**2 - 15*u + 6. Let o be f(6). Solve 2*m = -6, 6 - o = 2*z + 4*m for z.
-3
Let o be 2/(-7) - 16/(-7). Solve l + 2 = 4*v - o, 3*l + 5 = 5*v for v.
1
Let z(k) = -k**2 - 13*k + 2. Let i be z(-13). Solve 2*q = -2*w + i, w - 25 = 2*q + 3*q for q.
-4
Let q be (-6)/(-1 - -3) + -1. Let b be (-2 - -3)*(q + 6). Let p(a) = a**2 - 2*a - 6. Let j be p(5). Solve b = v - y + 5, j = -2*v + 5*y for v.
-2
Let a(q) = q**2 + 2*q - 19. Let g be a(-6). Solve -5*l - r + g + 2 = 0, -4*l = -r - 2 for l.
1
Suppose 2*c = -2*g + 8, c = g - 5 - 3. Suppose -g*q + 5*q = -22. Solve 2*r + 5*y + 6 = -2*r, 4*r = 3*y - q for r.
-4
Let v be (1/(-2) - 0)*14. Let n = 29 - 32. Let c be (n - v) + -1 + 0. Solve -2*p + i - 5 = 0, c*p - p - 7 = -3*i for p.
-1
Suppose q - 16*g - 13 = -13*g, 0 = q + 3*g + 5. Let d(a) = -2*a**3 - 2*a**2 + a - 2. Let c be d(-3). Solve 2*f + 14 = -5*k, -q*k + 4*f = -f + c for k.
-4
Let x = 21 - 16. Solve x*b - 5 = -5*w - 0, -3*b - 18 = -4*w for w.
3
Let j = -11 - -16. Let x be (-2 - -4)*(2 + 12). Solve -4*p - 20 = v, -v - j*p = v + x for v.
-4
Let u be (-1 + 4)*2/6. Let x be u/(0 - (-1)/5). Solve 3*c + 5*l + 29 = 0, -6*c + x*l + 5 = -c for c.
-3
Suppose -3*b = -4*v - 5*b + 42, 2*v - 33 = -5*b. Solve 4*q + p + 6 = 15, -2*q - 5*p - v = 0 for q.
3
Let k be (-12)/8 - (-25)/2. Suppose k = -5*s - 29. Let r = 10 + s. Solve -4*h + r*y + y = -15, 4*h - 10 = -2*y for h.
3
Suppose -4*j = 4*o - 13 + 37, -3*o - 26 = -5*j. Let z = 11 + o. Solve -q + 6*q - 2*c = -15, -15 = 5*q - z*c for q.
-3
Suppose 2*q - 6 = 34. Let n be ((-3)/6)/((-2)/q). Let d = n + -3. Solve -j + 8 = 3*k - k, 0 = d*j - 4*k for j.
4
Let i(f) = 10*f + 6. Let w be i(-4). Let a = w - -49. Let j = 5 + -3. Solve 0 = -5*b, j*g + 3*g - 2*b = a for g.
3
Let j(i) = -i**2 + 7*i - 7. Let z be j(5). Solve 0 = l + w, -2*l + z*w = 6*w for l.
0
Let b = 21 - 9. Let m = b + -7. Suppose 70 = m*u - 4*r, 3*u - 7*u + r = -45. Solve 10 = 2*o, 2*o = -5*t - u + 45 for t.
5
Suppose 7 + 9 = 2*w. Suppose -318 = -5*i - w. Let o = i - 42. Solve -5*d - 2*r = 25, -4*d + 0*r = 4*r + o for d.
-5
Let x = 13 + 6. Suppose -2*t + x + 1 = 0. Solve -4*m + 17 = -k, -k + 0*k - 5*m = -t for k.
-5
Suppose 0 = 3*a - 3, a + 10 = s + 5*a. Suppose -2*r + s = -6. Solve -5*y + 5 = -5*u, 2*y = 2*u + 2*u - r for y.
5
Let u = 15 + -10. Suppose -u*m + 13*m - 40 = 0. Solve 3*w - m*t + 14 = 0, 3*t = -2*w + 6*t - 8 for w.
2
Let q = -43 - -45. Solve q*m + 12 = 4*w, -2*m + 3*w - 9 = 2*m for m.
0
Suppose -5 = 2*v - 3*v. Suppose -2*b = -s + 6*s - v, 4*b + 17 = -s. Solve s*j = -z - 0*z - 11, -5*j - 5*z = 5 for j.
-5
Let v(s) = 4*s**3 - 2*s + 1. Let i(m) = m**3 + 5*m**2 - 5*m + 7. Let x be i(-6). Let j be v(x). Solve -5*r = -h - 13, 2 = j*r - 3*h - 1 for r.
3
Let s = -2 - -6. Solve -i + 4*m = 4*i + 10, s*i + 2*m = 18 for i.
2
Let g(b) = b**2 - 4*b - 2. Let j be g(5). Solve -j + 15 = -3*y + 3*w, -1 = 4*y - w for y.
1
Let s = 3 + -6. Let k = -1 - s. Solve 3*v + 0*v = -2*f + 13, v + k*f - 3 = 0 for v.
5
Let f = 7 + -2. Solve 0 = -4*v - 5*b - 4 + 31, 0 = -f*v + 5*b for v.
3
Suppose 0 = 3*w - 11 - 4. Solve -3*b - 15 = -w*a, 0 = b - 6*a + 3*a + 5 for b.
-5
