*f = -5*x + 25 - 7 for f.
4
Suppose 2*x - 3*o = 287, 5*o = -x - 2*x + 402. Suppose 5*t + 3*u - 342 = 0, -t - u - x = -3*t. Let q = 97 - t. Solve 4*n + 3*i + q = 0, -2*i = -n + 7 - 3 for n.
-4
Let k = 313 + -308. Solve -h - 2*t = 8, k*t + 5 = -5*h - 10 for h.
2
Let f be 152/78 + 140/2730. Solve -11 = -f*m - 3*d, 2*d + 2 = 3*m + 18 for m.
-2
Let a(g) = -g. Let d(r) = 8*r - 10. Let y(k) = 6*a(k) + d(k). Let f be y(5). Suppose -4*w + 11 + 1 = f. Solve -m + 12 = w*m, 2*m - 4 = -2*j for j.
-1
Let j be 416/91 + (-12)/21. Solve -a + 4*x = 13, 4*x - 4 = j*a + 12 for a.
-1
Let i(n) = -n**3 + 13*n**2 + 13*n + 18. Let j be (-576)/(-40) - 2/5. Let p be i(j). Solve 4*l - p = 2*l - 5*v, 3*l = -v - 7 for l.
-3
Let k be 0*4/(-8) - -4. Let g be 42*(-4)/(-32)*k. Suppose 6*o - g - 3 = 0. Solve 4*x + 28 = 5*y + 11, -7 = o*x + 5*y for x.
-3
Let m(y) = -y**2 + 12*y - 12. Let a be m(10). Suppose -a = -f - f. Suppose -s = -f*u + 9, -u + 4*s + 3 = 4*u. Solve -5*w - 35 = -3*z, -w - 5*z = u*w - 9 for w.
-4
Let o(c) = -11*c**3 - c**2 - 2*c - 2. Let u be o(-1). Suppose -22 = -4*a + u. Solve -g = 3*v - 12, 4*g - a = -g - 2*v for g.
0
Let n = 9 + -6. Let c be (-8)/(-12)*(-9)/n. Let g be 0/(4 + 2/c). Solve g = 3*v - 3*t, 5*t - 2*t = -3 for v.
-1
Suppose 4*p - 4*k + 10 = 6*p, 4*k - 8 = 0. Let b(g) = -g. Let c be b(-4). Solve -3*d = 2*l + p, -3*l - l - c*d = -4 for l.
4
Suppose -21 = -5*k + 34. Suppose -k*p + 52 - 8 = 0. Solve -2*g + 8 = 3*g + 3*h, p*g - 4*h = 0 for g.
1
Let w be 16/8 + 34 - 6. Let s(r) = r - 1. Let o be s(5). Let v be 1 - (3 + -2)*-4. Solve -o*p = v*i + w, i + 11 = -2*p - 1 for p.
-5
Let o(m) = -36*m**2 + m + 1. Let a be o(-1). Let i = -32 - a. Solve -i*v = -0 - 8, 0 = 4*k + 4*v - 28 for k.
5
Let t be (39 - 40)/((-2)/58). Solve -t = -3*z + 5*g, 3*z - 8 = 4*g + 17 for z.
3
Let k = -212 + 216. Solve -b + 3 = 5*u + b, 0 = -k*b + 16 for u.
-1
Suppose -2*b = -0*b. Suppose 2*k = -b*k - 66. Let a = k + 51. Solve 3*m + a = 3*h, -h + 0*h - 4 = m for h.
1
Suppose -62*l + 67*l = 80. Solve b = 5*b + 5*g - 37, -5*g + l = -3*b for b.
3
Let t(l) = -l**2 - 7*l. Let v be t(-3). Let x be 50 - (v/1)/3. Suppose 3*z = -5*u + x, 6*u - 24 = 2*u + 4*z. Solve 2*g - 5*w = -u, g + 0*w - 3 = -w for g.
1
Suppose 91 = -3*y - 4*j, -38 = -y + 3*y - 3*j. Let x = -2 - y. Solve 3*d + x = 5*c + 7, 2 = 2*d + 3*c for d.
-2
Let g be ((-9)/(-63)*0)/2. Solve 2*k - 7*k + 4*r = 2, g = -5*k - r - 12 for k.
-2
Let r = 27 + -41. Let g = 23 + r. Solve y + g = -0*y + d, 2*d - 8 = 0 for y.
-5
Let p be (-1460)/(-50) - (-8)/10. Suppose -5*o = -p + 15. Solve 0 = -5*v - 5*y, 8 = -0*v + o*v - y for v.
2
Suppose -3*g + 1 = -4*t, -3*t + 4*g - 5 = 1. Let n be ((-2)/1 + 2)/(-2). Let s = 2 + n. Solve s*p = m - 0*m + 8, -4*m + 18 = t*p for m.
2
Let l(o) = o + 13. Let y be l(-10). Suppose y*w - 3 = 15. Solve -w*v = -v - 15, -2*v + 14 = 4*u for u.
2
Suppose 4*h + 16 = 48. Suppose 5*j - 10 = 75. Suppose 0 = g - 3*i - 17, -7 = g - 4*g - 2*i. Solve -g = -f + o, 5*f + h + j = -5*o for f.
0
Let d = 66 + -66. Suppose d = 16*v - 20*v. Solve -j + 5*h + 0 + 3 = v, j - 3 = -3*h for j.
3
Let x = -24 - -54. Let y be (-1)/((-5)/x)*(-2)/(-6). Solve a - 9 = -n + y*a, -n - 5*a - 15 = 0 for n.
5
Suppose 2*f + 3*p = -2*p + 8, -3*p + 3 = f. Let a be (17/5 + -3)*5. Let u be a/(-4) + (-21)/(-6). Solve -5*o + 10 = -d - 2, f = u*o for d.
3
Let i be (20/25)/(1/15). Suppose 3*a = i - 0. Solve -5*o = -a*r + 12, 6*r + 6 = 3*r for o.
-4
Let v be -1*(-5 + (-7)/((-28)/12)). Solve -b = -v*y - 11, 2*y + 0 = -3*b + 1 for y.
-4
Suppose -4*z = -9*d + 4*d, 0 = -5*z + 3*d. Suppose z = 6*x - 9*x + 9. Solve -x*i + 1 = -f + 11, 3*i + 2*f = -25 for i.
-5
Suppose -4*y + 46*i - 41*i + 1 = 0, -7 = -4*y + 3*i. Solve -4*j - 41 = y*g - 9*j, -21 = -g - 5*j for g.
-4
Let d = -1387 - -1387. Solve d*w = w - j - 7, -4*w - 2 = 2*j for w.
2
Let d(y) = 2*y**2 + 4*y + 3. Let t = 2 - 4. Let m be d(t). Let h be m/6*10*1. Solve -14 = 2*n - 2*s, 2*n + 10 = h*s - 19 for n.
-2
Suppose 0 = -3*z - z + 8. Let h(i) = -i**3 + 2*i**2 + 2*i - 2. Let q be h(z). Let o be q/9 - 6/27. Solve o = -4*x + 5*w + 35, 7*x - 3*x - w - 23 = 0 for x.
5
Suppose 132*b = 126*b + 18. Suppose -2*n + 7*v - 2*v - 17 = 0, -5*n + 40 = 4*v. Let d = n - 1. Solve -b*p + 5*g + 16 + 11 = 0, d*p = 3*g + 21 for p.
4
Suppose 0 = 11*q - 13*q + 16. Suppose 2*y = 6 + 4. Let s = q - y. Solve 13 = -h + 5*z - 0*z, s*z = -5*h + 19 for h.
2
Let o be -1*3 + (13 - 5). Suppose 79 = o*s - 31. Solve -2*t + 7 = -4*h + 3*t, -5*h + s = 4*t for h.
2
Suppose v + 6 = -2*q + 18, -5*v = 2*q - 60. Let z(b) = b**2 - 15*b + 4. Let d be z(15). Solve m - 10 = 6*m, -4*m = -d*a + v for a.
1
Suppose 36 = 25*p + 11*p. Solve 2*w + 2 - p = 3*j, -2*j - 3*w - 8 = 0 for j.
-1
Let k(v) = -v**2 + 21*v - 20. Let j be k(20). Solve -2*a + 3*t - 1 = j, 0*a + 4*t - 4 = 2*a for a.
4
Let l = 886 + -882. Solve 40 = 5*z - 5*f, 3*f - 13 = l*z - 41 for z.
4
Let l(q) = 8*q + 186. Let c be l(-23). Solve -c*t = x - 11, -8 = -2*x + 6*x - 5*t for x.
3
Let w be (-6 - -17 - 14)/((-6)/10). Solve -2*o = -3*o, 5*r + w = 3*o for r.
-1
Suppose -12*u = 6 - 54. Solve 0 = r + 3*d + 11, -2*d + 2 = u*r + 16 for r.
-2
Let v be 16/6 - (-3)/9. Let h(m) = -21*m - 1. Let y be h(-2). Let q = y - 36. Solve 0 = -q*j + 3*f - 37, -10 = -v*j + j - 5*f for j.
-5
Let l(a) be the third derivative of a**4/6 + 6*a**3 - 6*a**2. Let s be l(0). Solve o + r + 7 = -2*o, -4*o + 4*r = s for o.
-4
Let l be 2 - (4 - (0 - 0)). Let n be 3 + 0 + 6/l. Solve 0 = k - 5*m - 23, 0*k + k + 4*m + 13 = n for k.
3
Suppose 0 = -4*y - 4*c + 28, 2*y = -4*c + 12 + 10. Suppose 0 = -m - 4, 0 = 5*w - y*m - 9 - 13. Solve 4*b = 4*o - 4, w*b + 0*b = -5*o + 26 for b.
3
Let u be (-1)/(-1) - 0/(-31) - -2. Solve -u*y + 4 + 2 = 0, 0 = p + 3*y - 6 for p.
0
Suppose -5*v + 3*o = 17, -v + 4*v = 2*o - 11. Let d = v - -3. Let x = -119 - -119. Solve -2*r + 3*s - 4 = 0, x = 2*r - 6*r + d*s for r.
1
Suppose 5*y - 126 = -0*y - 2*t, 5*t = -y + 16. Solve -5*a = -0*a - b - y, 3*b + 28 = 5*a for a.
5
Suppose 24 = 3*f - 0*f. Suppose 0 = 3*i + 16*z - 12*z + 4, -3*z - 24 = -3*i. Solve -i*w + 0*m = -4*m + f, -m = -2*w for w.
2
Let g = -107 + 107. Suppose g - 2 = -l, -3*l - 30 = -3*z. Solve 3*p - z - 5 = -4*r, p = 3 for r.
2
Suppose 0*l - 1 = -l. Suppose 3*g - m + 3*m = 11, -l = g + 3*m. Solve 3*b - 3*j = 6, b - g*j + 2 + 8 = 0 for b.
5
Let s be (-92)/(-10) + (-4)/(-5). Suppose 2*w - 14 = -s. Solve 0 = 4*b + 16, -2*n - w*b = -n + 3 for n.
5
Suppose 69 = -2*d + 181. Let a = d - 51. Solve 0 = 4*j + k - a*k + 4, 4*j + 4*k = 36 for j.
4
Let a(i) = i**2 + 19*i + 20. Let k be a(-18). Suppose -3*f = -2*f + k*r + 4, -3*f + r = -16. Solve 3*v = -3*n - 9, -n = -2*n - f*v - 12 for n.
0
Let l be 0*(5/(-2))/5. Let d(n) = n**3 - 7*n**2 + 5*n + 5. Let f be d(6). Let i be 3*f*(0 - 1). Solve j + j + 2 = 3*r, -3*j - 4*r - i = l for j.
-1
Suppose -10*i = -9*i - 9. Suppose 0 = -7*r + i*r - 20. Suppose -3*j + r = 5*x, 0 = -3*x + 4*x + j. Solve 0 = x*b + 2*d - 12, 3*d = 5*b - 0*d - 32 for b.
4
Let m(q) = q**3 + 7*q**2 + 8*q + 19. Let t be m(-6). Solve 4*u + 5*h = 15, 0 = -0*u - u + 2*h + t for u.
5
Suppose 0 = v + t + 2, 4*v + 2*t + 2 - 4 = 0. Solve -5*m = v*q + 13, 2*m = 6*q - 3*q - 1 for q.
-1
Let j be 4/(-3)*(-144)/64. Suppose -8*i + 120 = -j*i. Solve 3*t + i = 3*c - 0, 0 = 2*t + 3*c - 9 for t.
-3
Suppose 0 = -5*t + 15, -9 + 4 = -4*k + 5*t. Solve r - 25 = k*c, 5*c - 2*c + r = -15 for c.
-5
Let m = -6 - -11. Suppose -4*a = -3*c - 276, -4*a + 177 + 75 = 3*c. Let r = a - 62. Solve r*b - 20 = 4*z, -4*b + m*z + 23 = 1 for b.
3
Let p = -591 + 595. Solve 5*z = -2*y - 5, -3*z - 9 = p*y + 8 for y.
-5
Let c = 60 - 32. Suppose -27*b - 5 = -c*b. Solve p + 2*p - 2*s - 2 = 0, -6 = 2*p - b*s for p.
2
Let x(u) = -18*u + 54. Let l be x(3). Solve 21 = 2*a - 5*g, -2*a + a + 5*g + 23 = l for a.
-2
Let u = -192 + 197. Let l = -4 + 6. Suppose 0 = l*a + 2*h - 6*h - 12, u*h = -5*a + 15. Solve v - a = -9, -6 = 4*y + 2*v for y.
1
Suppose -s + 2*g + 3 = -2, -3*s + 30 = -3*g. Let c be (5/s)/((-2)/(-12)). Solve -p + 2*m = 8, -c = -p - 0*p - 3*m for p.
-4
Let p(l) = -l**2 + l + 10. Let k(x) = -x**3 + 6*x**2 - 5*x. Let u be k(5). Let b be p(u). Solve -3*o + 1 = j - 1, 0 = 3*o - j - b for o.
2
Suppose -4*b = -24 + 8. Suppose 2*t - b = 16. Let j(i) = -i**2 + 4*i + 7. Let z be j(5). Solve -2*r + t =