= 0 for f.
-1
Suppose 0 = -q + 10 - 8. Suppose 0 = q*p - 4*p + 6. Solve x = p*x + 8 for x.
-4
Suppose 0 = 2*i - 4*i + 4. Let v = i + 1. Suppose -u = -0*a - a, 0 = -v*a - u + 8. Solve -a*p = -p for p.
0
Let w = -35 - -59. Solve 3*t = -9 + w for t.
5
Suppose -3*k + 5*l - 10 = 0, 4*k + 0*k + 4*l - 40 = 0. Suppose -3*j = -k*c, 0 = j - 3*j. Solve -2*h - 13 + 3 = c for h.
-5
Let a be (0 + 1)/(3 + -2). Let m = 6 - a. Suppose -2 = z - 5, k = m*z - 13. Solve 0 = 3*y - k*y for y.
0
Let k be -1 - (0 + -1)*1. Suppose -z = -k - 2. Solve 0 = 3*d + 4 + z for d.
-2
Let k(f) = -f**3 - 7*f**2 + 8*f + 6. Let n be k(-8). Solve -2*z + 4 + n = 0 for z.
5
Let s be 1/(-1)*(1 + -14). Suppose 4*l - s = -m, -m = -2*l - 0 - 1. Solve -h - l = 1 for h.
-3
Let v = 11 - 8. Let g = 3 - v. Solve g - 3 = m for m.
-3
Let q(u) = -u - 4. Let x be q(-12). Solve 4*j = -0 - x for j.
-2
Let v(u) = -u**3 - 5*u**2 - 4*u. Let g be v(-4). Suppose g = -0*b + b. Let f be 0 - 1 - b - -1. Solve f*c - 5*c + 10 = 0 for c.
2
Suppose 99 - 179 = -4*i. Solve 3*y + y + i = 0 for y.
-5
Suppose g + 1 = 9. Let l be (-2)/(6/9) - -5. Solve -l*o = -g - 0 for o.
4
Suppose 9*v - 4*v = 10. Let k be ((-8)/(-6))/(4/6). Let g be (8 - 2 - k) + -1. Solve -v*p - 3 = -g*p for p.
3
Suppose -5*l + 26 = -3*m, 3*m = 4*l - m - 24. Solve 2*k - 4 = l*k for k.
-2
Suppose -31 = -3*u - 4*h, -h = -1 - 3. Let d = 5 - u. Suppose d*r - r + 17 = 5*q, 2*r - 4*q + 8 = 0. Solve 0 = 4*b - r - 2 for b.
1
Let i(y) = y**2 - 10*y + 5. Let m be i(9). Let w = m - -6. Solve 3*v - 5*v = -w for v.
1
Suppose -o + 7*o = 24. Solve -o*f + 1 = 5 for f.
-1
Let a be 2*(-1 + (-13)/(-2)). Suppose 9 = -60*x + 61*x. Solve x = -5*f - a for f.
-4
Let b(f) = f**3 + 6*f**2 - f - 2. Let k(n) = -20*n**2 - n - 1. Let c be k(-1). Let q = c + 14. Let u be b(q). Solve u*i - 4 = -12 for i.
-2
Let s be (-6)/5*(-10)/3. Let n be 1/(s/(-3))*-4. Solve n = 4*g - 1 for g.
1
Suppose 2*q = 4*q, -3*o + 5*q - 3 = 0. Let a = 10 + o. Solve 11 = 5*t - a for t.
4
Let i(y) = -y + 12. Let l be i(0). Let t be ((-8)/l)/((-2)/(-12)). Let b be (-2)/t - (-5)/(-10). Solve b = 4*m + 19 - 3 for m.
-4
Let c be 1 + 4 + 12 + -1. Solve 3*v - c = -v for v.
4
Suppose 0 = 3*d - 2*x + 6*x - 27, d + x = 8. Solve -3 = 2*q + d for q.
-4
Let u be 6/(-15) + (-24)/(-10). Solve -7*k + u*k - 10 = 0 for k.
-2
Suppose 0 = 2*x + x - 9. Suppose x*g = -34 + 1. Let a(l) = -l - 10. Let n be a(g). Solve 4*r - 3 = n for r.
1
Suppose 3 + 6 = 3*b. Suppose -o - 4 = 2*q, -b*o + 4 = 3*q + 1. Solve 4 + o = 2*x for x.
5
Let n(h) = -4 + 36*h**3 - h**2 + 2 - 34*h**3. Let d be n(2). Solve 4*a + d = 2*a for a.
-5
Suppose 2*g + 0*g = 0. Solve g = -4*c - 1 - 15 for c.
-4
Let v(i) = 6*i + 1. Let y be v(2). Suppose -2*w - k + y + 19 = 0, -4*w - k = -62. Suppose h + 1 - 4 = 0. Solve h*t = w - 3 for t.
4
Let i = 7 - 9. Let a = i + 2. Suppose -3*n + 3 = -4*p, -3*n + a*n - p + 18 = 0. Solve 2*u + n - 1 = 0 for u.
-2
Suppose -j = -5*j + 12. Solve -2*y = -j*y for y.
0
Suppose g + 2*o + 5 - 3 = 0, 3*o + 6 = 0. Solve -5*h + 13 = -g for h.
3
Let z(x) = -x**3 + 7*x**2 - 4*x - 8. Suppose -3*f + 6 = -2*f. Let g be z(f). Solve -g*m = -m + 6 for m.
-2
Suppose 0 = 5*c + n - 64, -4*c - 15 = -4*n - 47. Let w be (-1)/(9/c - 1). Let d = 13 - 13. Solve d*q = -q + w for q.
4
Let w = -61 + 67. Solve -c = w - 1 for c.
-5
Suppose 0 = 4*z + 2 - 6. Let g be z - (-3 - (-2 + 0)). Let p be (-2)/((-1*(-3)/(-6))/1). Solve 0 = -p*c + g + 2 for c.
1
Suppose 9*j - 5*z = 5*j + 4, -2*j + 4*z = -2. Solve j = -5*f + 21 for f.
4
Suppose 3*d - 17 = -2. Solve 0 = -0*a + a - d for a.
5
Suppose -3*i - i = 0. Let z = 11 + -4. Let d = -7 + z. Solve a + d*a + 3 = i for a.
-3
Let c be 4/(-8) + (-5)/(-2). Suppose -2*t = 3*w - w, -5*t = 4*w. Let g = t + 0. Solve -3*u + 8 - c = g for u.
2
Suppose -3*c - 5*u = -0*c + 28, -2*u = -2*c + 8. Let i be c + 0 - (-4 - -1). Solve -i*b - 5 = -3*b for b.
5
Let z be (1/3 + 0)*(-3 + 6). Solve -z = 4*i + 3 for i.
-1
Let i = -3 + -2. Let y = i + 5. Solve 4*r - 10 + 2 = y for r.
2
Let n be (-1)/(-3 - -2)*3. Suppose 0 = -4*g + 11 - n. Let a(s) = -s**2 + 6*s - 5. Let w be a(4). Solve g + 10 = w*d for d.
4
Suppose 0 = 2*l - 1 - 3. Solve 4*m - 3*m = -l for m.
-2
Suppose -4 = 5*n - 3*j + 1, -2 = 2*n + 2*j. Let d = 6 + n. Solve 3*z + 2*z = d for z.
1
Let k = 19 - 16. Solve -k*g = -10 - 5 for g.
5
Suppose 2*n + 25 = 2*y - 27, -5*n - 82 = -3*y. Suppose -5*c - 2*w = -y, 5*c - 18 + 4 = 3*w. Let u = 6 - c. Solve u = g + 5 for g.
-3
Suppose -3*z - 12 = -0*z. Let k = 4 + z. Solve 0 = 4*p + 8 - k for p.
-2
Let d(u) = 3*u - 12. Let b be d(5). Solve -z + b = 2*z for z.
1
Let v = 33 + -31. Suppose 0*g + 2*g = 8. Solve d - v = -g for d.
-2
Suppose -4 - 13 = -y + 4*q, 0 = 3*y + q - 12. Let b be (-22)/(-4)*((-30)/(-6) + -3). Solve 2*w + y = b for w.
3
Let y(d) = d**2 - 5*d + 4. Let q be y(6). Let o be q + -2 + (1 - -1). Let v be (-4)/o + (-27)/(-5). Solve -v*l = -4 - 6 for l.
2
Suppose -2*r + 7*r + 75 = 0. Let p = -10 - r. Suppose -t = 3*u - 16, 0 = -3*u + u - p*t + 2. Solve -4*h + 2*h = -u for h.
3
Suppose c - 6 = -4. Solve -c*u - 3 + 9 = 0 for u.
3
Let x = 21 + -21. Solve x = -n + 2*n for n.
0
Let q be 3/((2/(-3))/(-2)). Solve q*b = 4*b for b.
0
Suppose 0 = 3*x - 2*g + 5 - 4, 16 = -3*x + 5*g. Suppose 4*r + 6 = -2*o + 18, 1 = o - 3*r. Suppose -3*p = -o*p. Solve -x*z + z - 2 = p for z.
-1
Let k = -3 + 7. Let d be 5/(-5)*(2 + -2). Suppose -2*j + 6 + 10 = d. Solve k*y = -0 + j for y.
2
Suppose 0 = -2*f - f + 15. Suppose -60 = -5*u - 0*s + f*s, s - 28 = -3*u. Solve -b - 4*b = -u for b.
2
Suppose -q + 4*x - 12 = 0, -q = 3*q + 3*x + 10. Let m be 0/1*2/q. Solve v + 0 + 5 = m for v.
-5
Let h(u) = u. Let y be h(-7). Let a = y + 9. Solve 2*x - a = -12 for x.
-5
Suppose 3*y = 2*m - 2*y, 0 = -4*m - y. Let p(r) = -r**3 - 9*r**2 - 12*r + 16. Let a be p(-7). Let h = 5 - 0. Solve -a*c + c + h = m for c.
5
Suppose -p + 4*w = 20, -w + 10 = 2*p + w. Suppose 0*y + 2*y - 20 = 0. Let f be y*(-5)/(50/(-4)). Solve f*g + g = p for g.
0
Suppose 0 = -2*t + 6 - 2. Solve 0 = -t*y + 4 for y.
2
Suppose 4*u - 7 = 2*k + 19, -4*u + 41 = -5*k. Let j = -2 - k. Suppose -4*t + 10 = t. Solve 5 = j*g + t for g.
1
Suppose -14*p + 6*p + 40 = 0. Solve 3*u = 8 - p for u.
1
Suppose q + 3 = 7. Solve -3*g = -2*g + q for g.
-4
Let g be (-1)/((3/(-12))/(9/12)). Solve -g - 13 = 4*k for k.
-4
Suppose x = -11*f + 8*f + 38, -f - x = -16. Solve f*o - 10*o = 1 for o.
1
Suppose g - 9 + 4 = 0. Suppose 3*f + 10 = -5*t + 4*t, g*f = -20. Solve 4*y - t*y - 8 = 0 for y.
4
Suppose -4*z = -14 - 46. Let g = 22 - z. Solve 3 = -2*w - g for w.
-5
Let r be (-30)/(-9) - (-1)/(-3). Suppose -5*k = -2*k. Let v = 1 + k. Solve 0 = 4*x + v + r for x.
-1
Suppose 3*n + 6 = -i, 0*i - 3*n = -i - 6. Let k = 39 - i. Let h be (-18)/k - 4/(-10). Solve -2*o - o = h for o.
0
Let t = -14 + 25. Suppose -5*w = 3*h - t, 5*w + 9 - 35 = 2*h. Solve 5*l = -21 - w for l.
-5
Let m(q) = 5*q + 8. Let r(y) = 9*y + 15. Let h(x) = 5*m(x) - 3*r(x). Let i = -21 - -17. Let a be h(i). Solve 0 = -a*t + 2*t - 3 for t.
-3
Let u = -5 - -9. Let c = u - 4. Suppose c = 2*y - 0 - 20. Solve q + y = -q for q.
-5
Let j(s) = s - 3. Let b be j(8). Suppose 3*y + b*g + 6 = -y, 2*y - 4 = g. Solve y - 11 = 2*f for f.
-5
Let m be 3/(4/(96/9)). Let i(o) = -o**2 + 6*o. Let g be i(5). Solve -n - m = -g*n for n.
2
Suppose -8*m - 63 = -87. Let g = 5 - 3. Let u = 7 - g. Solve -2*k = -m + u for k.
-1
Let p = -48 - -60. Solve d = -2*d + p for d.
4
Let t be 0/(-1) + 20 + -1. Solve -5*k + 6 = -t for k.
5
Let x be (-2 - (1 + -2))*3. Let f = -1 - x. Suppose -o = -v - 2*o, f = 3*v + 2*o. Solve -v*h + 15 = h for h.
5
Let u be 0*2*3/(-12). Suppose 0 = -u*m + 3*m + 18. Let l(n) = -n**2 - 6*n + 3. Let v be l(m). Solve -c = -0*c + v for c.
-3
Let i(o) = o - 4. Suppose -2 = p, 2*p + 16 = 5*x - 3*x. Let s be i(x). Suppose -1 - 1 = 4*f - s*n, 4*f = n + 1. Solve 3 = -r + f for r.
-2
Let l be 3/((-12)/(-28)) + -3. Solve l*j - j = 6 for j.
2
Suppose s + 9 = -g - 2*s, -2*g = -2*s + 34. Let a be (-9)/g + 28/20. Suppose 3*j + 2*k = 10, j + 0*k = 3*k - 4. Solve j*b - 2 - a = 0 for b.
2
Suppose -4*o - 4*y = -o - 20, 3*o - 25 = y. Solve q + o = -3*q for q.
-2
Let k = -18 + 22. Suppose -c = k*c. Solve c = n + 4 + 1 for n.
-5
Let m be (1/(-2))/((-1)/4). Let x be (1 + m)/((-1)/(-1)). Suppose 2*l - 6 = 3*a - 3,