
4
Suppose 0 = 80*f - 79*f + 135. Let g be ((-3)/9)/(-3*(-3)/f). Solve 3*x = -g*h - 5 + 29, -3*x = -5*h + 6 for h.
3
Suppose -5*g = 3 - 23. Let w be (-1 - -43)/(6/g). Let k = -28 + w. Solve k = 2*f - 4*a - 18, 3*f + 7 + 6 = -2*a for f.
-1
Suppose -694*z + 705*z - 165 = 0. Solve n = 5*c - z, -3*n - 22 - 1 = -4*c for n.
-5
Let n = -30 + 32. Suppose 0 = -b - w - 0*w + 8, -n*b = 5*w - 31. Solve 0*s = -s + b, -4*s + 8 = r for r.
-4
Suppose -x = 11*x - 288. Solve q + x - 1 = 4*b, 3*b = -5*q for b.
5
Let y be (-2 - 0) + (0 - -5). Suppose 3 = -x + 2*x. Let a be x*24/(y + 0). Solve 14 = 4*m + 2*z, -4*z = -5*m + a + 13 for m.
5
Let c(k) = -5*k - 4. Let r be -2*(-4 + 36/8). Let y be (7 + -13)*r/(-2). Let d be c(y). Solve 3*b - d = -5*f + 4*f, -b - 3 = 2*f for b.
5
Let o be 1*3*(-4)/(-6). Suppose -7*s + 15 = -o*s. Suppose -s*g + 20 = g. Solve g*r = 0, -4*n - r = -2*r + 8 for n.
-2
Let s = 4 - 4. Let d = 6 - s. Solve m = -n - 3 + d, -m = 3*n - 11 for n.
4
Suppose 10*o - 19*o = 37*o. Solve o = -17*f + 20*f - 5*z + 2, -5*f + z + 4 = 0 for f.
1
Suppose 0 = -95*o + 138*o. Solve -5*r + 0*r - 25 = -3*i, 5*i = o for r.
-5
Let p(a) = a**3 - 5*a**2 + 2*a + 6. Let s be p(5). Suppose 0 = l - 3*v + 12 + s, 5*l + 3*v + 86 = 0. Let q = l + 22. Solve -10 = -5*w, -q*o = o + 2*w for o.
-1
Let k(a) = a + 7. Suppose -3*z + 12 = -2*z + 4*r, 3*z + 5*r - 57 = 0. Let x = 19 - z. Let v be k(x). Solve -c - 1 = -h, 4*c + 0 - v = h for c.
1
Suppose -275*c + 16 = -267*c. Solve 0 = -3*q + c*b + 25, -5*q + q + 3*b = -35 for q.
5
Let n(p) = -2*p**2 - 32*p - 22. Let d be n(-15). Let a be 14/d - (-2)/8. Solve h + o = 4*h + 13, a*h = -o - 7 for h.
-4
Let m(s) = 69*s - 62. Let b be m(1). Solve -2*l - 11 = -3*o, 2*o + b = l + 3*o for l.
2
Let g be (-4)/(-10) - 18/(-5). Suppose -a - 1 = 4*d, 21*a = 17*a - 5*d + 7. Solve -a*m + 11 = -k, -6*m + 2*m = -g*k - 12 for k.
1
Let d be ((-2)/(-1))/1*57. Suppose -5*q - 15 = 0, 0*h + q = 3*h - d. Solve 0*w + 3*w = 12, h = -5*b + 3*w for b.
-5
Suppose -15*b + 34*b = 38. Solve 2*v - 3 = d, b*d - 18 = -2*v - 2*v for d.
3
Let k = -85 + 50. Let f = k - -39. Solve 4*s + f = 0, -3*w + 0 - 2 = -4*s for w.
-2
Suppose 4*g - 3 = 1. Let t be g/2 - (-3)/(-6). Let w(n) = n + 21. Let c be w(-17). Solve 5*o + 15 = -z, c*o = 5*z - t*o - 41 for z.
5
Let u be (-3)/((-22)/(-4) - 7). Solve -5*g = q + u*q - 12, 4*g - 3*q = -12 for g.
0
Suppose 3*x = -3*j + 54 - 33, 3*x = 12. Solve -4*c - c = 5, j*p + 3*c - 3 = 0 for p.
2
Suppose 8*l - 90 + 42 = 0. Solve 3*o = -x + 8 + 3, 2*x = o - l for x.
-1
Let f be 4/8*-2 + 3. Suppose -f*o = -5*o + 51. Suppose 0*c + 19 = 3*w + 2*c, 0 = -3*w - c + o. Solve 5*u = 2*h - 4, -3*u = w*h - 4*u - 10 for h.
2
Let u be (3/6)/((-7)/(-728)). Let l = u + -47. Suppose 2*c - 3*c = -6. Solve l*p + c = 2*k - 11, -5*p = 2*k + 33 for k.
-4
Suppose -2*w + 7*w - 30 = 2*z, -4*w = -3*z - 31. Suppose -4*t + 3 = -13, 3*y + 5*t - 26 = 0. Solve 5*q - 7 = f, 0*q + w = -f + y*q for f.
-2
Suppose -4*l + 5*i + 79 = 0, -6 = -5*l - 2*i + 101. Let r = l + -34. Let y = 16 + r. Solve -y*c + 4*c - 4*j + 1 = 0, 3*c - 5*j = 4 for c.
3
Suppose 6 = -0*m - m. Let x be 10 - ((-4)/4 + 1). Let f = m + x. Solve 18 = -3*s - 3*l, -f*l = -s - 2*l for s.
-4
Suppose u + 155 = 4*u + 5*y, -y + 229 = 5*u. Suppose -4*r - r + u = 0. Suppose -6*m - 15 = -r*m. Solve -3*c = 2*z - 8, -3*z + 4*c - m + 0 = 0 for z.
1
Let f(i) = -41*i + 37. Let h be f(0). Solve -s + h = 34, -5*s + 16 = -w for w.
-1
Let u = 15 - 10. Suppose -45*m - 72*m - 48*m = -29*m. Solve q = u*w, w - 4*q + 2*q = m for w.
0
Let j be 27/2 + (-9)/6. Suppose -4*x = -0*x - j. Suppose -1 = 4*z + d, 0 = -x*z + 5*d + 42 - 14. Solve 0 = -2*k + 4*v + v - z, -k - 3 = -5*v for k.
2
Suppose 0 = 60*w - 62*w, -2 = -r - 4*w. Let v be -3*2/3*-2. Solve 1 = -3*q + 2*t, r*t = 2*q + v*t + 14 for q.
-3
Let d = -541 - -541. Solve -12 = -j - d*j - 3*k, -16 = -3*j - 5*k for j.
-3
Suppose 19*r - 53 = 4. Solve 0 = -r*o - q + 5, -2*o - o + q = -13 for o.
3
Suppose 3*d - x + 3 + 56 = 0, -25 = -5*x. Let j = 20 + d. Solve -j*y - 4 = -2, -4*o + 7 = -3*y for o.
1
Let g(d) = -11 + 9*d + 5*d**2 + 3*d**2 - 2*d - 7*d**2. Let t be g(-9). Suppose -t = -2*x + x. Solve 0 = 2*p - 5*y - 35, 5*p + 3*y - 3 = x for p.
5
Suppose 3*d = 7*d - 20. Suppose -26*b = -23*b + 3*g, -5*g - 8 = 3*b. Solve -2*a - 4*n = -0 + 4, -b*n = -d*a + 32 for a.
4
Let f = 64 + -61. Solve 5*a = -2*h - h + 12, -f*a + h + 10 = 0 for a.
3
Let k be (8 - -49)*7/21. Solve s + 2*s + k = -2*y, 0 = 3*s + 5*y + 25 for s.
-5
Let j(v) = -v**3 + 10*v**2 - v + 32. Let z be j(10). Solve -3*t + 5*l + z = 0, 2*l - 6 = -3*t - 19 for t.
-1
Let l be (-32)/(-15) - ((-154)/105)/(-11). Solve 4 + 1 = 2*u + 5*n, -l*u - 1 = 3*n for u.
-5
Let y(a) = 0*a + 0*a + 2*a - 17 - 4*a. Let t be y(-13). Solve -4*v = 2*x + 14, 0*v = -3*v - t for x.
-1
Let p be (-30)/80*(-9 - -1). Suppose 0 = 5*w - p*q + q - 7, -3*q + 6 = -2*w. Suppose 0 = w*m - 5*m. Solve -2*r - 3*l - 3 = -m, 5*r - 4*l - 27 = 0 for r.
3
Let k be (-94)/(-4) + (-14)/(-28). Let m(t) = 4*t + 1. Let u be m(3). Let r = k - u. Solve -3*z + 7 = 2*i, -4*i + 3*z - r = 4*z for i.
-4
Let p = -1164 - -1167. Solve -4*h = -p*c + 5 + 1, h + 11 = -4*c for h.
-3
Suppose -3*z - 2 = 1, -4*w + 41 = 3*z. Let m be 2*2 - 22/w. Let d be m - 4/(-8)*6. Solve -1 = -2*p - d*q, p + 7*q = 2*q - 2 for p.
3
Suppose 0 = -f + 147 - 147. Solve -2*n + 6 = -n - a, f = 5*n - 2*a - 15 for n.
1
Let z(f) = -4*f - 7. Let c be z(-3). Solve 3*v = -c*r + 9, -r = v + r - 3 for v.
3
Let d(o) = -o**3 - 7*o**2 - 9*o - 12. Let y be d(-6). Suppose -y = -3*u - a, -2*u + 2 + 2 = -2*a. Solve -4*h + 13 = -f - 3, -7 = -3*h + u*f for h.
5
Let u be 4 + -3 + 8 + 1. Let m be 9/((-45)/u) - -6. Solve -2*t + m = -l, 7*t - 4*t + 12 = -3*l for l.
-4
Let m = 18 - 73. Let s = m - -60. Solve -2 = 4*k + g + 5, 5 = -s*k - 5*g for k.
-2
Suppose -64*i + 59*i + 35 = 0. Solve 2*d = -3*j - 13, -2*d + 25 = -i*d for j.
-1
Suppose 24 = 104*w - 96*w. Solve -5*i - 5*y + 20 = 0, 5*i + 2*y - w = 8 for i.
1
Let a be (8/10)/(-6*(-5)/75). Let n be 1 - -2 - (3 - a). Solve -n*c = -6, -3*c + 5*c - 4 = -2*b for b.
-1
Let t be (4 - 2) + 24 + 6. Suppose c - t = -3*c. Suppose -9*d + c*d = 0. Solve s + 8 = k + 3*k, d = -3*k - 2*s + 17 for k.
3
Let f = -3 - -5. Suppose 2*j = 2*l + 3*l - 50, 0 = -l + 2. Let w be (j/8)/(2/(-4)). Solve w*g = t + 3, -t - g = -5*g + f for t.
2
Let z = 22 + -7. Solve 0 = -3*n + z, -2*n = -5*d - n - 25 for d.
-4
Let a = 550 - 537. Suppose 2*p - 3*p + 4 = 0. Solve -3*g - a = -p*w, 3*g + g = -12 for w.
1
Suppose -r - 2*b = 3*r - 22, 24 = 3*r + 4*b. Let t be 5/(-4 + ((-20)/r)/(-1)). Solve 3*i + 0*d + t*d = 0, -3*i + 2*d = -21 for i.
5
Let v = 581 - 569. Solve -3*o + t + v = 0, 6 = 4*o - o + t for o.
3
Let c be 6/21 + 204/(-28). Let h be 2 + 1 + 7 + -20. Let j = c - h. Solve -d = -j*f - 10, f + d = 6*d - 22 for f.
-2
Let c(a) = 2 + a + 2*a**2 - 3*a**2 - 6*a. Suppose 16*g = 8*g - 40. Let t be c(g). Solve s - n + t - 4 = 0, 0 = s + 3*n + 18 for s.
-3
Let b = -602 + 604. Solve 0 = 3*p - b*s - 5, 3*p + 3*s - 2 = 2*s for p.
1
Let p = -178 - -205. Let c = 11 + -3. Solve -2*d - c = -0*d + l, 5*d = l - p for d.
-5
Let r = 208 - 122. Let a = r - 78. Let b be 2 + (1*-4)/2. Solve -4*p + a = b, -z = 4*z + p - 7 for z.
1
Suppose -2*n + 20 = l - 3*n, -4*n = 4*l - 96. Suppose 6*c - 40 = 2*c. Suppose -c*h = -9*h. Solve -3*p = -h*p + 5*a + l, 4 = -2*a for p.
-4
Let m(k) = k + 2 - 2*k + 11 + 2. Let s be m(14). Solve -2*f = 3*f + v + 13, f = v + s for f.
-2
Let y(k) = k**3 - 6*k**2 + 4*k - 9. Let h be y(6). Suppose 10*j = h*j. Suppose -o + 8 = -j. Solve -2*w - 3*d + 2 + o = 0, 2*d - 10 = -2*w for w.
5
Let f = -26 - -14. Let p = 12 + f. Solve 4*a - 18 = g, 4*a - 3*a - 5*g - 14 = p for a.
4
Let c = 15 + -9. Suppose 4*j - 5*d = 32, -2*d - 20 = -2*j - 2*j. Solve j*s = -3*o + c, o - s = s - 13 for o.
-3
Let a = -200 + 202. Solve 3*q + 14 = a*s, -5*s + 0*q + 3*q = -26 for s.
4
Let i = 279 - 276. Solve -3*r = -7 - 8, i*n - 2*r + 10 = 0 for n.
0
Let d = 218 - 215. Solve 3*v = 9*r - 11*r - 13, -d*r + 9 = -5*v for v.
-3
Suppose 5*f = -o + 5*o - 46, 0 = -2*f + o - 16. Suppose 16 = d - 0*v - 4*v, v = -5*d - 25. Let h = d - f. Solve -6*m + 3*m + 2 = h*j, -j + 14 = -5*m for j.
4
Let p be 2 + (0 - (-1 + 3)). Suppose -y + 15 = 2*y, -f + y = p. Solve -4*s + z + 17 = 0, f*s 