 20 for f.
1
Suppose 0 = -q + 11. Solve -2*k = 5*y - q, 11 = -2*k - 2*k + y for k.
-2
Suppose c - h - 3 = 0, 0 = 60*c - 63*c - 5*h + 1. Solve -4*z - 3*m + 9 = 0, c*z + 0*z - 3*m = 9 for z.
3
Suppose 0*d - 5*d = 5. Let a(f) = -10*f - 5. Let t be a(d). Solve -5*i + 2*i = t*g + 5, -2*i + 22 = -3*g for g.
-4
Let d(o) = 2*o**3 - 9*o**2 - 4*o - 1. Let s be d(5). Let x be 32/6 - s/12. Solve x*z = -i + 4*i - 28, -5*i - 5*z - 20 = 0 for i.
1
Let u(y) = -15*y**2 + 8 - 10*y + 16 - 15*y**2 + 29*y**2. Let j be u(-12). Solve -5*o - 3*p + 8 = -j*p, -2*o = -p - 1 for o.
1
Let y(z) = 7*z**2 + 87*z + 286. Let g be y(-6). Let x be (1 - -2)/(6/4). Let u = -14 - -26. Solve 0 = 2*n - x*i + g, u = -2*n + 3*n + 4*i for n.
-4
Let c(t) = 5*t - 7. Let y be c(5). Suppose 16 = 22*w - y*w. Solve -2*x = h - 3, w*x + 45 = 5*h + 16 for h.
5
Let y be 5/(-5)*6*12/8. Let j(a) = -a**3 - 12*a**2 - 30*a - 11. Let b be j(y). Solve 4*q + b = 4*n, -q - 3 - 3 = -2*n for n.
2
Let a(l) = l**3 + 8*l**2 + 8*l + 12. Let p(v) = -1. Let h(i) = -a(i) - 5*p(i). Let w be h(-7). Solve 3*m = -6, 2*m + w = -2*j + 4 for j.
4
Let h(j) = -3*j**3 - 2*j**2 + 2*j + 3. Let f be h(-1). Solve -5*y = -f*l + 4 - 0, -5*l + 5*y = 5 for l.
-3
Suppose -f + 34 = 3*f - 2*s, f + 2*s = 6. Suppose 5*i - f = i. Let c be 3 - 0 - (-20)/i. Solve -5 + c = -2*l + 2*k, -l + 4*k - 7 = 0 for l.
-3
Suppose -5*h - 282 + 52 = -2*u, -4*u = 0. Suppose x = n + n + 48, 16 = -4*x. Let p = n - h. Solve 13 - 28 = -5*y + 3*s, -y - 4*s = p for y.
0
Let t = 7 + -11. Let x be 1/(1/(-20)*t). Solve 2*y - x*u = -3*y - 10, 0 = 2*y + 5*u - 17 for y.
1
Let b(h) = 17*h**2 - h - 2. Let u be b(-2). Suppose 32 + u = 4*f. Solve 5*r + f = 5*g, -4*g + 3*r + 5 = -10 for g.
0
Let x be 80*(2 + (-44)/16). Let p = x - -75. Solve -2*z + 5*c + p = -6*z, -5*z - 9 = 3*c for z.
0
Suppose 4*l - 8 = -4. Solve 0*o + l = 2*o + k, -5*o - 5*k + 15 = 0 for o.
-2
Suppose -5*k + 16 = 3*f - 38, -k - 62 = -5*f. Solve -6*x + 4*x + 10 = 4*r, -x - f = -4*r for x.
-1
Let t = 1333 + -1331. Solve n - t*f + 7 = 0, -f = 3*f - 12 for n.
-1
Let b be 144/74 + (-44)/(-814). Solve -2*n - 5*z + 10 = 0, z + b = 4 for n.
0
Let h(b) = 2*b**2 + 8*b - 148. Let w be h(7). Solve -3*d - 9 = -5*c, -4*c + 7*c = -2*d - w for c.
0
Let t be -11*((-1)/5 - (-19)/(-5)). Let a = 46 - t. Solve 4*r + 13 = -3*i - 2*i, 6 = -2*r - a*i for r.
-2
Let q be -18 + 27 - 1*7. Solve -3 = -j - 5*i + 2, q*i + 16 = -4*j for j.
-5
Let h(r) = r**3 - 17*r**2 + 15*r + 18. Let t be h(16). Suppose -t*l - 280 = -10*l. Solve 4*z = 4*n - 0 - 4, 3*z + 5*n = -l for z.
-5
Suppose -9*v + 160 = v. Let j be (0 - (-6)/4)/(v/96). Solve -2*h + 2 = 0, 0*m = -2*m - h - j for m.
-5
Suppose h - 5*h + 20 = 0. Suppose -40 + h = -5*b. Suppose -5*k + 13 + b = 0. Solve -2 = 3*l + 4*o - 5*o, 0 = 2*o - k for l.
0
Let x = -543 - -543. Solve -4*k + 3*j - 22 = x, 4*j + 0 - 8 = 0 for k.
-4
Let t be ((-18)/(-24))/(2/8). Solve -t*w + 2*w = -5*o - 10, 12 = o - 3*w for o.
-3
Suppose -44*o - 55 = -49*o. Solve 3 + o = 3*a - i, 0 = 2*i + 4 for a.
4
Let p(o) = -o**3 + o**2 + o - 9. Let u be (1 - 1)/(6/(-3)). Let m be p(u). Let n be ((-10)/8)/(m/108). Solve 3*v = k - n + 4, 5*v + 25 = 0 for k.
-4
Let m(v) = -v**3 + 6*v**2 + 1. Let z be m(6). Let x be 10/(-4)*(-24)/12. Solve -a - 9 = -2*w, -2*w - x*a - 20 = z for w.
2
Let p = 974 + -970. Solve 5*t - 8 = -p*w + 10, 2*w - 12 = -4*t for w.
2
Suppose 3*r = -3*i + i - 201, 0 = -3*i - 2*r - 309. Let j = i + 107. Solve 0 = y - 4*w + 1, 5*y - 2*w + 3 + j = 0 for y.
-1
Let s(f) = -14 - 3*f + 18 - 3. Suppose -9 = 4*l + 7. Let q be s(l). Solve -22 = -4*n - 2*m, q + 6 = -2*n + 5*m for n.
3
Let o(h) = h**2 - 19*h - 18. Let d be o(20). Solve -6*i + 4*i = -5*x - d, -2*x = i - 1 for x.
0
Suppose 5*p + 3*t = 10 + 19, 3*p = -5*t + 11. Let o be 6/p*(-1 - -8). Solve 0 = -n - 2*v - 14, 0 = 5*n + v + o + 19 for n.
-4
Let a be ((-12)/(-8))/(-3*(-1)/92). Let u = a + -42. Solve -3*m = -5*i + 14 - 3, m = -u*i + 2 for m.
-2
Suppose -3335*v + 3341*v = 6. Solve n = -2*x + v, -x - n = -3*x + 3 for x.
1
Let t be (12/(-20))/(1/(-5)). Suppose 25 = -t*l + 5*a, l - 20 = -2*l - 4*a. Solve l = -2*q - 3*g - 12, -7 - 3 = 5*g for q.
-3
Let j = 234 + -222. Solve 0 = 4*u + 5*q - 36, -q + j = u + q for u.
4
Let s(m) = m - 2. Let u = -22 - -27. Let p be s(u). Suppose 0 = -4*v - b + 6, 2*v + v = -p*b. Solve -2*g = z - 8, -16 + v = -4*z + g for z.
4
Suppose 5*b = -w + 80, 0 = -3*b - 0*b - 4*w + 31. Let h = 43 - 46. Let i be -1 - -4 - 6/h. Solve 2*j - b = i*q + 2, 2*j - 3*q = 13 for j.
2
Suppose -5 = 2*g + 5*y + 16, -3*y - 15 = 0. Let b be 0/(3*(-1)/(-3)). Solve u - g*a - 8 = b, -a - 4 = -u - 1 for u.
-2
Let u be 6/(-4)*(-10)/(-45)*-6. Let q be (u - -1) + (2 - 2). Solve a + a + o = 4, -q*a - 4*o = -1 for a.
3
Let q = 1 - -1. Let n = 5841 + -5838. Solve 2 = d - 2*m, -n + 7 = q*d + 3*m for d.
2
Let w(j) = -j**2 + 3*j + 4. Let k be w(4). Let r(s) be the first derivative of -2*s**2 + 8. Let p be r(-1). Solve -l - 10 = -5*d, k*d = -3*d + p*l - 11 for d.
3
Suppose 62*p = 84*p - 88. Solve 0 = p*o + z - 24, 3*z = -2 + 14 for o.
5
Let g(c) = c**3 + 6*c**2 + 6*c - 3. Let h be g(-4). Solve 7*d - 2*d - h = 0, 2*u = -d - 1 for u.
-1
Suppose -a + 3*f = 4*a - 15, -4*a + 12 = 4*f. Let o = 6 + -2. Let s = -46 + 51. Solve s*x - a*y = 2*y, o*y - 3 = 3*x for x.
3
Let y = 7 + -3. Suppose 4*o + 36 = 2*b, 5*b - 75 = 2*o + 3*o. Let z = 14 - b. Solve -5*p = 10, z*p + 14 = y*n + 5*p for n.
5
Let r(o) = 3*o - 5. Let c be r(3). Solve -2*l - 28 = c*p, -2*p + 6 = -l - 3*l for l.
-4
Suppose 3*q - 36 = -2*i - q, -4*i = 5*q - 69. Suppose 2*x + 2*d = -x + i, d + 3 = 4*x. Solve 0*o = 5*o - 15, 5*g + x*o = 31 for g.
5
Let k = -17 - -11. Let v be k/(-1*(4 - 2)). Let n be 2/(2 + v/(-2)). Solve 2*j = -0*c + 2*c, -n*j = 4*c - 8 for c.
1
Let h be ((-12)/4)/(10 + (-344)/32). Solve 7*n + h*s = 2*n - 10, -2*s = 0 for n.
-2
Suppose -2*a - 9*a + 44 = 0. Let t(o) = 3*o - 48. Let v be t(17). Solve q + a*n + v = 5*n, 2*n = 4*q + 10 for q.
-2
Let r be 243/12 - 2/8. Suppose -r = -4*h - 4*n, 0 = -n + 1. Solve 5*i - 3*i - u = 3, -4*i + 4*u = -h for i.
2
Let h = 440 - 440. Solve -2*n + 3*q = 0, n - 4*q = -5 - h for n.
3
Suppose -52 - 102 = -11*n. Solve -v - 5*m = 13, -v + 2*m + n = 3*v for v.
2
Let q = 19 + -33. Let b = 17 + q. Suppose 75 = 4*r - 7*i + 2*i, 3*r - 5*i - 60 = 0. Solve -3*f = -4*a - a + 5, r = b*f for a.
4
Let m = -72 + 87. Suppose -4 = -q + 6. Let k = m - q. Solve 3*n = y - 19, -2*n - n + k = 5*y for n.
-5
Suppose -82 = -4*p - 22. Suppose -3*h - 3 = -p. Solve 1 = -l, 0 = 7*j - h*j + 2*l + 14 for j.
-4
Let m be 8/76 - (-432)/228. Solve 4*u = -r + 23, -4*r + 25 - 3 = m*u for u.
5
Let h(y) = -2*y**3 + 10*y**2 - 16*y + 37. Let z be h(4). Solve -3*l - 5*q = 7, -z*q + 3*q - 10 = 3*l for l.
-4
Let c = 2 - -2. Let s = 55 - 51. Let z be ((-3)/(-2))/((-1)/(-2)). Solve 5*y = c*j + 9, -s*j - z = -y + 2 for j.
-1
Let k = 2105 - 2101. Solve 0*a - 2*a = -k*p - 18, 5 = -3*a - 2*p for a.
1
Let z(c) = -2*c**3 - 31*c**2 + 229. Let q be z(-15). Solve 6 = -q*l + 5*f, -5*l - 4*f - 30 = f for l.
-4
Suppose 5*c + 2*m = 5 + 9, -2 = -3*c + 2*m. Solve -3*f = 2*p - c, 35 = -5*p + 10 for f.
4
Let w be -53 - -53 - (3 - (-1 - -12)). Solve -5*x + 2*x - 2*i = -w, -x + 4 = 2*i for x.
2
Suppose 0 = 2*z + 3*a - 19, -60 = 10*z - 15*z - 5*a. Solve 3*q + z = -4*w, 0 = 5*q - 0*w + 5*w + 20 for q.
1
Suppose 3*q = 4*c + 22, -5*q - 5*c - 16 = -3*q. Solve -z - z - 4 = -4*x, 0 = q*x + 2*z - 14 for x.
3
Let l be (0 - 12/(-15)) + 52/(-65). Suppose l = -9*z + 8*z. Solve 2*i + 5*m - 18 = z, 3*i - m + 3 = 13 for i.
4
Let g be 5*1*(3 - 2). Suppose 17*k = 235 + 3. Let a(b) = -4*b**3 + 2*b**2 + b. Let v be a(-1). Solve 5*t + 3*y - v = 0, -t + 9 = g*y - k for t.
-2
Suppose 5 = 3*n - 2*n. Suppose 5*h = 30 - 10. Suppose h*k = 2 + 10, -k = -4*y + n. Solve 0*l = -5*l - y*t + 11, -3 = -t for l.
1
Suppose -9*t + 14*t = 15. Suppose 2*a - 1 = 2*n + 1, 0 = -3*a - t*n + 15. Let x = 16 - a. Solve -2*f = 4*j - 4*f + 28, -j = -2*f + x for j.
-5
Let o(u) = -9*u - 57. Let h be o(-7). Solve 3 = 3*f, h*f = 2*w + f + 15 for w.
-5
Suppose 2*n - 5 - 5 = 0. Solve n*u + 30 = -5*x, -x = -6*x - 2*u - 18 for x.
-2
Suppose 0 = 9*q + 3*q + 48. Let m = q + 17. Solve 0 = -o + 5*k + m, 6 = -4*k - 6 for o.
-2
Let f be 4/10 - (-4)/(-10). Let j = -15 - -18. Suppose y = -0*y + 