 f for c.
3
Let a be 0 + 5/(10/72). Let r = a - 31. Suppose r*j - 7*j = -10. Solve -j*x + 0*x = 0 for x.
0
Let k be 1/(-2 + ((-255)/(-24))/5). Suppose h + 4 - k = 0. Solve 3*v - h*v = 4 for v.
-4
Let t(q) = -q**3 - 31*q**2 - 59*q - 25. Let i be t(-29). Solve -w + 0 = -i for w.
4
Let j be (12/10)/(1/5). Let k(u) = 9*u**2 + 19*u - 42. Let q(d) = -5*d**2 - 9*d + 22. Let i(h) = 4*k(h) + 7*q(h). Let f be i(-14). Solve -5*a - 9 - j = f for a.
-3
Suppose 0 = 2*z + g - 2*g - 11, -2*g - 7 = z. Solve z = -5*n + 18 for n.
3
Let w(v) = -v**2 + v + 3. Suppose -2*f - a = -3*f + 2, a - 6 = -3*f. Let y be w(f). Solve 2*r + y = -7 for r.
-4
Let k(q) = -3*q - 63. Let i be k(-21). Suppose -2*n + 28 = 2*l, i = -5*n + 6*n - 4*l - 39. Solve -3*h + 7 - n = 0 for h.
-4
Let g be ((-12)/14)/((-3)/21). Let f be (-4)/(-3)*g/4. Suppose -5 = -2*w - l + 24, 2*l = w - 2. Solve f*s = -s + w for s.
4
Suppose -1233*j - 6 = -1234*j. Solve 9*o + 33 = j for o.
-3
Suppose 5*m + t + 1059 - 1097 = 0, 2*m - 5 = 3*t. Let w = 6 + -4. Solve m*u = w*u + 15 for u.
3
Let i(h) = -h + 6. Let r be i(20). Let x = r - -21. Solve x*l = 3*l + 4 for l.
1
Let f(w) = -w**3 - 7*w**2 - 5*w - 6. Let g be f(-6). Let k = 15 + g. Suppose 6*a = k*a + 9. Solve a*h = h for h.
0
Suppose 7*v = -2*r + 2*v - 21, 5*v + 29 = 2*r. Let d(b) = -b**2 + 2*b. Let k be d(r). Suppose 11*n - 23 = -l + 16*n, -4 = n. Solve k = -l*w + 5*w + 8 for w.
-4
Suppose 0 = 3*r - 3*v - 15, -5*v - 24 = 1. Solve r*p - 27 = 9*p for p.
-3
Suppose 0 = 5*p - 7 - 8. Let x(t) = -t**2 - 13*t + 17. Let y be x(-14). Suppose y*o - p*m = o + 5, 0 = -5*o + m + 6. Solve 2*j + o = j for j.
-1
Let i(w) = w**3 - 9*w**2 + 15*w - 7. Let c be i(7). Solve c = -y + 6*y for y.
0
Let w = 98 + -84. Suppose -h - 4 = -w. Solve -h = 4*m + 10 for m.
-5
Let o = 597 + -594. Solve 0 = -4*r - o*r - 35 for r.
-5
Suppose 2*i = -5*x + 45, -5*i + 0*x + 105 = 5*x. Suppose i = -6*f + 10*f. Solve -f = 5*t + 20 for t.
-5
Let v = 54 - 77. Suppose k - s + 24 = 0, -4*k + 32 = -5*k + 3*s. Let q = k - v. Solve -9 = q*x - 3 for x.
-2
Let r(p) = -p**2 + p + 18. Let a be r(0). Let n be (2/(-3))/((-2)/a). Let d be (51/n)/((-1)/(-2)). Solve 7 = -5*u + d for u.
2
Let r(c) = c + 18. Let s be r(-12). Suppose -2*i + 4*i = -2. Let u = s + i. Solve 0*o + 20 = -u*o for o.
-4
Let s(f) = f**3 + 6*f**2 + 6*f + 3. Let y be s(-5). Let j be y + (2 - (-3 - -3)). Let c be j/((-3)/((-9)/(-3))). Solve 3*q - q = c for q.
0
Suppose 0*g = -g + 8. Let p = g - 9. Let c be 0*(p + 2)/(-3). Solve -4*h + 11 + 5 = c for h.
4
Suppose 3*z - 12 = 0, 6*z = 5*r + 3*z + 12. Solve 0 = -r*f - 3*f - 12 for f.
-4
Suppose 0 = -18*k + 21*k - 225. Solve 78*n - 3 = k*n for n.
1
Suppose 2*j - 2 - 16 = 0. Let t be 1/(-5) + (-18)/(-90). Solve t = 2*l + l - j for l.
3
Suppose 3*y - 5*l - 34 = 0, 5*l = -6*y + 11*y - 50. Solve y - 18 = 5*m for m.
-2
Suppose -3*j + 32 - 2 = 0. Let h = j + -6. Suppose -5 = 5*r - 3*v - 17, -2*r - 3*v = 12. Solve -3*d - 1 + h = r for d.
1
Let k be ((-632)/18)/(-4) + (-32)/(-144). Solve -k + 11 = -x for x.
-2
Let t(k) = k + 2. Let y be (1/7)/((-3)/(-21)). Let a be t(y). Suppose a*i = 2*q + 3*q + 9, -15 = -5*i. Solve q = 2*l + 3*l for l.
0
Let r(q) = q**3 - q + 3. Let p be r(-3). Suppose -26 = -a - 5*k, 0 = -2*k - 3*k. Let o = a + p. Solve o = 5*u + 25 for u.
-4
Suppose -2 + 17 = p. Let y be p/15 + 2/1. Let t = 3 - -2. Solve y*m - 4 = t for m.
3
Suppose 0 = 2*a - 0*a - 8, 4*b = 4*a + 28. Solve 9*p + 2*p + b = 0 for p.
-1
Suppose -9*c + 4*c + 60 = 0. Let x(z) = z - 9. Let m be x(c). Let o be (m + -3 + 0)*1. Solve -2*p - 2*p + 20 = o for p.
5
Suppose x + 5 = 2*d, -3*d + 24*x - 22*x = -7. Solve d*m + 20 = 32 for m.
4
Let z(l) = -3*l**2 + l + 1. Let x be z(-1). Let u be 2*(1 - x/6). Let c(j) = 4*j - 15. Let k be c(4). Solve -k + u = p for p.
2
Let t be 6/(-4)*(2 - (-30)/(-9)). Let j be 0 - (-3)/((-3)/(-2)). Suppose 0 = -y + z + 7, -j*z = -z + 2. Solve -7*u + y = -t*u for u.
1
Let w(y) = -y**2 - 6*y + 3. Let a be w(-6). Solve 0 = -0*m - a*m + 9 for m.
3
Let h = 9 - 6. Let a be (6 + -1)/(h/21). Suppose 0 = -v - 4*d + a - 12, -3*v = -5*d - 35. Solve 1 + v = -4*f for f.
-4
Let z(m) = m**2 - 7*m + 12. Let p be z(5). Suppose -p*x = -4*x + 10. Solve -2*s = 3*s + x for s.
-1
Let f = 39 + -35. Suppose 12 = u + z, -3*z - 3 = f*u - 48. Solve 2*l + l = -u for l.
-3
Let i(q) = -q + 7. Let k be i(4). Suppose -5*g - 198 = -4*j, 1 = -j - 2. Let m = -40 - g. Solve -k*y + 5 = -m*y for y.
5
Suppose 0 = 26*z - 217 + 61. Solve -9 - z = -3*l for l.
5
Let f = 2338 + -2332. Solve 40 - 22 = -f*l for l.
-3
Suppose 4*r = -3*v + 25 + 103, 3*r - 166 = -4*v. Solve -24*o = -16*o + v for o.
-5
Let r(k) = -2*k**3 - 11*k**2 - 1. Let j be r(-6). Solve -8*t - j = -3 for t.
-4
Let q = -2 - -23. Suppose 0 = -w + 14 - q. Let f = 11 + w. Solve -j - f = -0*j for j.
-4
Let i(x) = x**3 + 6*x**2 - 7*x. Let o be i(-7). Let h be 3 - (8 - 7 - -2). Solve o*z - 2*z + 10 = h for z.
5
Suppose 3*p - 4*t = -0*t + 32, 5*t = -2*p - 17. Let w = -2 - -14. Suppose -w*i + 16*i = 0. Solve 2*v - p = -i for v.
2
Suppose 2*k + 5*g - 15 = 0, -5 = -k - 2*g + 1. Suppose -z = -k*z. Suppose z = 3*n + 1 - 7. Solve o = n - 1 for o.
1
Suppose -1 = -t, 3*h = -0*h - 5*t + 113. Suppose h = y + 11*y. Solve -4*v + y*v - 5 = 0 for v.
-5
Let l = -266 - -388. Let w = -122 + l. Solve 4*u + u - 5 = w for u.
1
Suppose 3*v = -4*p + 58, 5*v - 3*v - p - 24 = 0. Solve 16*l + 46 = v for l.
-2
Let c = -63 - -80. Let u = 21 - c. Solve -u*h - 10 = -9*h for h.
2
Suppose 0 = -3*o - 5*y - 11 - 9, 0 = -4*o + 2*y + 8. Solve o = -2*d + 3*d for d.
0
Let t(i) = 11*i - 79. Let j be t(8). Solve -j = -13*s + 16*s for s.
-3
Suppose 0 = -3*z + 3*o + 3, -z - 3*o - 2 = -7. Solve 3 = z*j - 3*j for j.
-3
Suppose -4*a + 45 = 2*c + 3*c, a - 2*c + 5 = 0. Suppose -a*y = y - 36. Solve -3*p = -y*p for p.
0
Let a = -10 - -12. Let c = a + 2. Suppose 0 = c*s - 7 - 5. Solve 3*d = -0*d + s for d.
1
Suppose 383*o - 363*o = 100. Solve 2*b + 11 = o for b.
-3
Suppose -34*u - 16 + 118 = 0. Solve 50 = 13*x - u*x for x.
5
Suppose 60 = -2*i + 68. Solve -i*m - 5 = -1 for m.
-1
Let o(n) = n**3 - 2*n**2 - 13*n - 10. Suppose 0 = -2*g + 10*g - 40. Let j be o(g). Solve 2*s = -j*s + 4 for s.
2
Let p be 408/28 - 100/(-70). Solve -p*u - 4*u = 80 for u.
-4
Let r(g) = g + 14. Let u be r(-8). Suppose 0 = -4*m + u + 2. Solve 3*l = m*l for l.
0
Let o(a) = a**2 + 12*a + 14. Suppose 3*s - s + 17 = -v, s = 4*v - 22. Let c be o(s). Let z be c/27 - 141/(-27). Solve t + 2 - z = 0 for t.
3
Let i(b) = 3*b**3 - b**2 - 3*b - 1. Let k be i(2). Solve 4*h - 9 = k*h for h.
-1
Let f be 5 + (0 - -2) - (4 - 1). Let j be 3/(f - (7 + -4)). Solve 0 = -j*h - 4 - 8 for h.
-4
Let d = 505 - 490. Solve -d + 21 = 3*c for c.
2
Let x be (-6)/(1/3 - 1). Let h = -4 + x. Suppose h*c - 8 - 7 = 0. Solve -r + c = 6 for r.
-3
Let i(h) = -h**2 - 16*h - 1. Let l be i(-15). Let z(o) = -o**2 + 4*o - 5. Let y be z(3). Let u = l + y. Solve 0 = -2*p - 2*p + u for p.
3
Let z(r) = r**2 + 11*r + 2. Let f be z(-6). Suppose 7*p = -11 - 143. Let k = p - f. Solve 3*g - k = -0*g for g.
2
Let g = -81 + 82. Let s(m) = -m**2 + 6*m - 5. Let u be s(4). Suppose 2*x = g + u. Solve -5*f = -x*f - 9 for f.
3
Let i(w) = -w**3 + 4*w**2 - 3*w - 3. Let f = -12 + 15. Let a be i(f). Let b be -1 + a + (-8)/(-2). Solve -3*n - 1 - 14 = b for n.
-5
Suppose 0 = -10*u + 22*u - 48. Solve u*p + p - 10 = 0 for p.
2
Suppose -9*l = -2*l - 462. Suppose f + 5*f = l. Solve -4*t + 9 = -f for t.
5
Suppose 18 = -426*z + 432*z. Solve 7 = 4*k + z*k for k.
1
Let l = 38 + -34. Suppose -b - 2*b = -18. Suppose 0*t = t - b. Solve -t - 2 = -l*k for k.
2
Suppose -4*r + 24 = -2*p - 2*p, 4*r = -5*p + 6. Let v be (-8)/6 - 178/6. Let b = v - -33. Solve -r = d - b for d.
-2
Suppose 0 = -4*k + 3*n + 88, 0 = 7*k - 2*k + n - 110. Solve 23*j = k*j + 3 for j.
3
Suppose -2*j + 24 = 24. Suppose -3*x = -j*x - 6. Solve 0 = -x*v - 7 + 9 for v.
1
Suppose 6*z - 2*z - 8 = 0. Suppose -z*i - 2*o = 3*o - 15, 5*o - 15 = 0. Let s be (2 - 2)/(-3 + i). Solve -4 = 4*g - s for g.
-1
Let f = 161 - 161. Solve -5*k + 4*k - 1 = f for k.
-1
Let w(a) = 9*a - 1. Let v be w(-1). Let t = 12 + v. Suppose 0 = 4*f - t*n - 12, 4*n + 4 = 12. Solve -f*r - 25 = r for r.
-5
Suppose 5*c + k + 1 = 0, -2*c + 7 - 3 = -4*k. Let b be -4*(27/6)/(-9). Suppose -2*f = 2*n - 4, b*n + 3*