- 5 = 4*v, q*v - 16 = 5*g - 5 for v.
-2
Let i(m) = m - 14. Let q be i(20). Solve 0*k = 3*k - f - q, k - 4*f = 2 for k.
2
Let u be ((-56)/(-4))/((-4)/(-70)). Suppose 0*d + 196 = 4*y - 4*d, -u = -5*y - d. Let h = y + -32. Solve 2*s = -8*l + 3*l - h, -3*s + 4*l = -9 for s.
-1
Let y be (-1)/1 - (3 - 8). Let q(x) = x - 3. Let c be q(y). Let h be 9*3/(c - -2). Solve -t = n + 1, 1 = 3*t - 4*n + h*n for t.
-3
Let u(i) = i - 5. Let g be u(5). Let p = 2 - -3. Suppose 3*a = -a + t + 19, 0 = -4*a + p*t + 31. Solve -14 = -2*m + a*x, -3*x - 6 = -3*m - g*x for m.
-3
Suppose 4*o + 4 = 3*z - z, o + 7 = 2*z. Solve -3*f + 14 = -4*p, 14 = z*f - 5*p + 2*p for f.
2
Let z = 17 + -22. Let l be (-2 + 2 - z) + -3. Solve 2*h = i + 5, 8 = -l*i - 3*h - 2 for i.
-5
Let j = 12 + -2. Suppose -2*f - 2*i - 2*i - 20 = 0, 3*f - 2*i - j = 0. Solve f*b = 5*b + n - 4, 3*b + 1 = -4*n for b.
1
Let y(t) = -3*t + 12. Let w be y(4). Solve 0 = 4*b + 2*j + 6, w = -4*j + 20 for b.
-4
Let r be (-3)/4 - (-385)/28. Solve -4*o + 4*m - 32 = 0, 5*o + 22 = 4*m - r for o.
-3
Suppose -13 = -3*r + 2. Suppose -20 = -2*h - 4*s, 3*h + 5*s = -0*s + 34. Solve p + 7 = -r*j, -4*p + 2*j + h = -j for p.
3
Let k(x) = -2*x + 18. Suppose -8 = y - 2*y. Let s be k(y). Solve -2*j - 4*v = -j - 3, s*v = 2*j + 14 for j.
-5
Let p be (-13 - -17)/(1/1). Solve 2*r - 5*j = -r + p, 2*r = 3*j + 3 for r.
3
Let p be -1*(4/(-1) + 2). Solve -u = -p*t - t - 8, -8 = 5*t - 3*u for t.
-4
Suppose -55 = 4*h + z, -2*h + z - 33 = -4*z. Let d = 218 + h. Let s be d/54 - 2/(-9). Solve 4*t = -8, 0 = 5*m + 4*t + 9 + s for m.
-1
Let z = -68 + 75. Solve 3*v + 10 = 4*t - 8*t, -4*v - z = -t for v.
-2
Let l(i) = i**3 + 22*i**2 + 19*i - 36. Let p be l(-21). Let z = 3 + -2. Let f = 3 - z. Solve 2*t + 6 = -v, f*v - p*v + t = -12 for v.
2
Let l = 47 - 19. Solve -4*y = 2*h + 2*h + l, 2*y - 4 = 4*h for y.
-4
Let t be ((-3)/1 - 0)/(-3). Let o = t + 4. Solve -6 = -5*g + 2*g, f + o*g = 12 for f.
2
Suppose -5 - 1 = -2*t. Suppose 3*j = -t*o, -15 = 4*j - 5*o - 60. Solve 5*c - j*d = -0*c - 40, 4 = -2*c - d for c.
-4
Let c be (0 - (-9 + 1)) + -4. Solve -7*s + 3*s + c*w = 12, 0 = 2*s - 5*w for s.
-5
Let s = 2 - -2. Suppose 0*b = 4*u + s*b, -b = 5*u. Solve 3*v - 3*f + 6 = u, -3*v - 2 + 1 = 2*f for v.
-1
Let h = -33 - -37. Suppose 6 = -0*t + 2*t. Solve t*p = r - 4, -5*r - p - h + 24 = 0 for r.
4
Let n(d) = 3*d - 6. Let x be n(2). Solve 5*a - 2*a - 4*g + 4 = x, 1 = -5*a + g for a.
0
Suppose -r + 5 = -3*g - 0, 0 = -2*r - g - 4. Let u = r + 5. Solve 4*s + 10 = 2*j, s + 3*j - 19 = -u for s.
0
Let b(z) = z**2 + 4*z + 3. Let g be b(-5). Let h be 36/15 - 4/10. Solve 4*t = -4*k + g, -k + h*t + 4 = -7 for k.
5
Let v be 0/(-5) + 3 - 2/1. Solve 3*k - 2 = -5*z, 3*k + v = 4*z - 6*z for z.
1
Let c = 16 + -14. Solve -l - 3*o - 12 = c*o, -8 = 3*l + o for l.
-2
Let t = -20 - -11. Let o = 14 + t. Solve -w - 4*n = 3*w - 28, 0 = o*w + 4*n - 32 for w.
4
Let k(d) = d**3 - 5*d**2 - 16*d + 14. Let w be k(7). Solve 2*v + 2 = -0*f - 4*f, w = 3*v - 3*f - 15 for v.
3
Let v be (((-330)/(-9))/11)/(1/3). Solve -5*b + 4*o - v = -o, 0 = b - 5*o + 6 for b.
-1
Let i be ((-4)/(-3))/((-12)/(-18)). Solve 0*g = 4*z - 3*g - 5, -i*z - 15 = -5*g for z.
5
Suppose 3*m - 2 = 2*r, -3*r + 3*m + 8 = r. Solve -3*n + 9 = -r*g + 2*g, 4*g + 3*n = -5 for g.
-2
Suppose 0 = -4*h + 5*y + 38 + 18, 0 = -3*h + y + 31. Let f(k) = -k**3 + 10*k**2 - 10*k + 10. Let m be f(h). Solve 2*c - m = -t - 3, -3*c = -3*t + 12 for c.
-2
Let b(v) = -v + 2*v - 2 + 0. Let a be b(6). Let s = 98 + -93. Solve -s*x + 2*x = 4*j + 13, -a*j - 16 = 4*x for x.
-3
Suppose 4*s - 3 = s, 79 = 4*y - s. Solve -2*z - 3*z + y = -5*v, 5*z + 4*v = 11 for z.
3
Suppose 0 = -2*r + z + 7, -z - 2*z - 3 = 3*r. Suppose 5*d - f = 26 + 46, 4*f + 36 = r*d. Solve -3*h + d - 2 = 0, -2*v + 2 = h for v.
-1
Let a be ((-3)/2)/((-21)/70). Suppose -a*p + 0*p = -120. Solve -l + 6*l - w + p = 0, -2*w = 4*l + 8 for l.
-4
Let j be 0*(15/10 + 3/(-6)). Solve 2*r - 3*x + 5 = j, r + 2*x - 20 = -x for r.
5
Suppose a = -10*a + 11. Solve -3 = 2*n + t, -a = -n + 2*n + t for n.
-2
Suppose -3*o - 4 = -1, -2*k + o = -5. Solve 3*f = 3*n - 24, 12 = f + k*n + 2*n for f.
-4
Let h(f) = f**2 + f + 4. Let d be h(0). Suppose 20 = 4*y + d. Solve c + 2 = -3*o, -y*o - 9 + 1 = 0 for c.
4
Let n be (-4 - -4) + (3 - -3). Solve 2*o - o + 6 = 3*i, -2*o = 3*i - n for i.
2
Let c(l) = l**2 - 6*l - 10. Let p be c(6). Let m be ((-5)/p)/((-3)/(-12)). Solve -3*f + 0*i - 4*i = 35, -m*i = 2*f + 20 for f.
-5
Let m(a) = 4*a - 36. Let y be m(15). Solve -2*r = 2*r + 4*z + y, 3*z = -15 for r.
-1
Suppose -2 = -f + 4. Solve -2*l = 3*o + 3, -3*o - f = -l + 2*l for l.
3
Let y(r) = -2*r + 2. Let a be y(1). Solve 0 = -3*p, a*p = 5*m + 2*p - 10 for m.
2
Let x be 1*(-1)/((-1)/5). Let y = 8 - x. Suppose -3*b = -3*s - 3, -2*b - s - 3*s + 20 = 0. Solve 4 = b*j - 2*m, -6 = 3*j - j - y*m for j.
3
Suppose 3*p + 1 - 7 = 0. Solve 2*w - 11 = 4*q + 1, w + p*q + 6 = 0 for w.
0
Let o be 1/(-4) - (-1)/4. Let w be (0/1)/(-1 + o). Suppose w*c = 2*c - 4. Solve -g + 3*z = -c, z + 1 = -0 for g.
-1
Let l be 4*(1 + 0)*-1. Let k be l - (-7 + 3 - 0). Solve -2*c - 4 = k, 2*c - 1 + 8 = 3*t for t.
1
Suppose -3*k = -3*u + 3, -2*u + 1 = -5*k + 2. Let j be 1/5 - (-6)/(-30). Let b be 5 + -2 + j/(-1). Solve p - b*t = 15, -15 = p + 4*t - u for p.
3
Suppose q + 18 + 3 = 0. Let i be 2/(-7) - 90/q. Let d = 62 + -59. Solve d*t = -i*v - 7, 5*t - 3*v - 2*v = 0 for t.
-1
Let v be (0/(-3))/1 - -12. Suppose -3 - v = -3*a. Suppose -27 - 18 = -a*g. Solve -3*n - s - 16 = 0, -3*n - 8 = 2*s + g for n.
-5
Suppose p - 9*s + 5*s - 11 = 0, 0 = -4*p - 3*s + 6. Solve 4 = -q - 3*r, 0 = -3*q + p*r + 12 - 0 for q.
2
Suppose 5*a = a. Suppose -4*z + z + 135 = a. Suppose o + z = 4*o. Solve -u = -3*c + 2*u + o, -5*c = -u - 9 for c.
1
Let b be 2*-1*(15 - 6 - 10). Solve 10 = -3*j - b, 2*h - 3*j = 18 for h.
3
Let i be 1*8*(2 + (-21)/14). Solve -u - i*s = 7, 5*u + s - 3 = -0*u for u.
1
Let n be (-8 - -4) + 4 - -3. Solve 3*j - 27 = 4*r, r - n*j + 19 = 1 for r.
-3
Suppose -o + 5*c - 18 = 0, -2*o + 3*c - 13 + 5 = 0. Solve 4*u - o*u + 5 = -3*d, -3*u = -3*d for d.
-1
Suppose 4*m = -5*q - 13, q = -2*m - 0*q + 1. Suppose -3*h + 6 = 3*j, m*h + 4 = 5*j - 6. Let i = -5 + 9. Solve 0 = 5*t - h*s - s + 9, -3*s + 8 = i*t for t.
-1
Let s be 5/(25/10 + 0). Solve -2 = 2*h - v, 2*h + h - 4 = -s*v for h.
0
Suppose -15 - 9 = -3*d. Suppose 5*k - 3*h - 5 = -8*h, -4*k = -4*h - 44. Let x be 12/8*d/k. Solve m = -q - 8 - 0, 5*q - x*m + 5 = 0 for q.
-3
Suppose -2*i + 4 = -4. Suppose 0 = -g + 6*g - 3*p - 7, -i*g - 4*p + 12 = 0. Solve -r - 4*b - 23 = 0, -g*b = b + 15 for r.
-3
Let y = -4 + -6. Let v be (-4)/y - (-64)/(-10). Let g be (-10)/3*v/4. Solve 2*o = -4*p + 4, -o - g*p + 5 = -6*o for o.
0
Let r(k) = -k**2 - 5*k - 4. Let x be r(-7). Let s = 26 + x. Solve 2*z = 4*p + s, 7 + 1 = -4*z for p.
-3
Let w(p) = -p**2 + 3. Let j be w(0). Let a = 24 - 9. Solve 4*d - 6 = -2, -3*l - j*d = -a for l.
4
Let g = -18 + 47. Solve 3*f - 14 = -2*f - 2*o, -5*f + 3*o + g = 0 for f.
4
Let w(k) = -2*k**2 + 6*k. Let t be w(4). Let x be (-2)/t - (-9)/(-36). Solve -u = -0*u - 3, -5*f + u - 28 = x for f.
-5
Let q = 25 + -8. Solve -5*p = -l + q + 5, 0 = -4*p - 5*l - 35 for p.
-5
Let k(w) = -w**3 + 5*w**2 + 7*w - 3. Let y be k(6). Solve -4*u - y*v - 15 = -4, -6 = -2*v for u.
-5
Suppose -2*j + 2 = 5*k, -j = 6*k - 2*k - 4. Solve -17 = g - 4*s, 8 + 10 = -k*g + 4*s for g.
-1
Suppose -3*t + 51 = 2*s, 2*t - 2*s + 2 = 26. Solve 3*z = t, 0*u = -3*u + 2*z - 4 for u.
2
Let x be 0 - 0/(3 + -2). Solve k + 8 = 4*p - 5*p, -5*p - 20 = x for k.
-4
Let j = -30 - -31. Solve 3*x + 0*p - 7 = p, -x - j = -2*p for x.
3
Let f(j) = -j + 1. Let y be f(4). Let n = -3 - y. Solve -2*c - s = n, 4*c = 3*c - 4*s + 7 for c.
-1
Let y(v) = -v**2 + 7*v - 12. Let p be y(5). Let s be (-10)/(-45) - p/(-9). Solve 4*w - 5*m = s, 5 = -5*w + m + 4*m for w.
-5
Suppose -4*t + 12 = 2*o - 6*t, 1 = -4*o - t. Let z be 8 + 9/(-3)*o. Solve 3*d - 18 = z*u - d, -3*u = 3*d for u.
-2
Let x = 6 - 1. Solve -2*r + 12 = v, -23 = -5*r - x*v + 12 for r.
5
Let w(l) = l - 8. Let s be w(11). Suppose 5*u - 4*f - 61 = 0, s*u + 2 = -f + 25. Suppose 4*m - 3 - u = 0. Solve -2*a = -4*a - m*h - 22, 0 = 4*h + 16 for a.
-5
Suppose -v = -3*a - 1, -22 = 5*v + 4*a + 11. Let x be -1 - -3 - (-3 - v). Suppose x*