x + f - 19 = 3*f for x.
5
Suppose 5*i - 1 + 36 = 0. Let v be (1/3)/((-8)/(-168)). Let k = v + i. Solve 3*u = -3*c + 20 - 2, k = -4*c - 3*u + 20 for c.
2
Let a be (-11)/(-3) - 2/12*-2. Solve -p = 3*m + 2*m + 20, -3*p = m + a for p.
0
Let i = -571 - -576. Solve -3*o - 2*y = -i*o, -5*o - 3*y = 0 for o.
0
Let m be 6/4 + 33/6 + 3. Solve -4*d = -3*i - 11, 0 = 4*i - 6*i + 4*d - m for i.
-1
Suppose -4*s + 9*s = 75. Suppose -y - s = -4*y. Suppose y*k - 20 = 3*w + 2*w, 3*k - 7 = -2*w. Solve 1 = 2*h + 3*j - 0, 5*h - 7 = -k*j for h.
2
Let x be (-1 - (-21)/14)*52. Solve -t - 2*t - 18 = -3*m, 5*m - x = 3*t for m.
4
Let w be (-1)/(((-14)/(-525))/(2/(-3))). Solve 2*p + w = 3*p + 5*q, 0 = 2*p - 5*q + 10 for p.
5
Suppose -4*s = -u + 8, -9*s = -4*s + 5. Solve 5*m + u*y + 20 = 0, 2*m + 10 - 2 = -3*y for m.
-4
Let y be (-15)/100*-5*8. Solve r + y*k + 4 = k, 1 = 3*r + 2*k for r.
1
Suppose u + 3 = -2*u. Let i be (-216)/28 - 4/14. Let v be u/(-4) + 2/i. Solve 0*j - 2*j + 2 = 0, v = -2*w + j - 11 for w.
-5
Suppose -8 = -4*t + 2*k, -t = -k + 24 - 26. Solve -2 = i - 2*j - 6, 0 = -t*i - 3*j - 6 for i.
0
Let z(l) = -l - 10. Suppose 52 = -4*g + 5*n - 4*n, 0 = -2*g + 5*n - 44. Let x be z(g). Solve 4*r = -2*i - 4, -x*i + 4*i = 0 for r.
-1
Let q(v) be the second derivative of v**5/10 + 17*v**4/6 - v**3/6 + 3*v**2 - 39*v. Let s be q(-17). Solve 4*b - 19 = -d, 4*b - s = 4*d - d for b.
5
Suppose 0 = 132*b - 115*b - 34. Solve 2*x + p + p = 8, -b*p + 4 = -2*x for x.
1
Let z = 135 + -63. Let h = z + -12. Suppose -5*p = 4*m - 54, p + p - h = -4*m. Solve i + 0*i - m = -5*q, 4*q - 12 = 0 for i.
1
Let o(b) = -17*b. Let a be o(0). Solve -2*s = -a*m + m + 5, 0 = -2*s + 2*m - 14 for s.
-4
Suppose 0 = l - 20 - 22. Let y = l + -40. Solve 5*n + 25 = 5*u, 2*u - y*n + 4*n + 10 = 0 for u.
0
Let p be 3/(((-18)/(-28))/(54/63)). Solve 6 = -p*x - 2*b - 4, 5*x = 3*b - 29 for x.
-4
Let r(b) = -4 + 12*b + 4*b**2 - 5*b**2 - 7 + 4. Let x be r(9). Solve 0*z + 4*z - 5*c - 16 = 0, 0 = 4*z + 4*c + x for z.
-1
Suppose 11*s + 173 = 393. Solve -5*g = -5*l - s, 0 = 4*l - 9*l + g - 16 for l.
-3
Let j(p) = 38*p**3 - p**2 + p. Let x be j(1). Suppose -2*z - z = 3*r - 18, -4*r + 3*z + x = 0. Solve -a + 0*d - 5*d + r = 0, 3*d - 16 = 5*a for a.
-2
Let j = -302 - -322. Solve 6*r - r + j = -5*k, 4*r = -12 for k.
-1
Suppose -3*u + 4*i + 22 = -10, 3*i = -15. Suppose -5*v + u*a + 29 = -0*a, 5*v - 61 = -4*a. Solve -5*r = 2*j + 17, -3*j + v = -3*r - 18 for j.
4
Suppose -24*g + 67 = -125. Solve 0 = 5*w - c - 3*c - 16, 3*w + 2*c + g = 0 for w.
0
Let y be 22*(3/(-15))/((-8)/20). Let f = y + -6. Solve -2 = -j + f*m - 0, -6 = -3*j - 3*m for j.
2
Suppose 0 = -5*f - 78 - 42. Let g be (((-15)/(-6))/(-5))/(3/f). Solve 3*r + g*u - 11 = 0, 0 = -7*r + 2*r - 3*u for r.
-3
Let r = -31 + 55. Suppose -19*f = -11*f - r. Solve -3*i + 10 = 5*g - 0*g, 35 = f*g - 4*i for g.
5
Let b(c) = c**3 - 3*c**2 - 2*c - 5. Let a be 2*(4/4)/1. Let x be (-3)/(-9)*24/a. Let t be b(x). Solve 3*j + t*f + 12 = 0, j - 2*f + 27 = -4*j for j.
-5
Suppose -22*c - 106 = -75*c. Solve -2*h + 3 = 2*l + 7, -c*h = -3*l + 9 for h.
-3
Let z be ((-24)/48)/(3/(-72)). Solve 4*k - z = -4*w, -4*w - 9 = -5 for k.
4
Suppose 5*y = 2*g + 10, 3*g + 6 = 4*y + g. Suppose -3*b = -y*j - 5*b + 10, 5*b - 3 = j. Solve -5*m - 2*c - 14 = 0, 2*m - j*c = -2*m - 22 for m.
-4
Suppose 2*a = -2*a - 2*y + 80, -5*y = 4*a - 74. Let r(u) = u**2 - 11*u - 8. Let b be r(12). Solve 2*c = -5*f - a, f + 2*c - 3 = b*f for f.
-3
Let x be (-5 - 136/(-32))*-8. Solve -i = -4*k - 4*i + 2, -k + 2*i + x = 0 for k.
2
Let v = -86 - -87. Solve f = 4*f, 5*f = k - v for k.
1
Suppose 3*s - 4*m = -12, -5*m = s + s - 15. Suppose s = 7*c - 5*c - 18. Suppose 0 = -4*t + c + 3. Solve -g - t*f = -4, -g + f + 0 - 4 = 0 for g.
-2
Let o(x) be the first derivative of -2*x**3/3 + 35*x**2/2 - 15*x + 11. Let c be o(17). Solve 14 = p - 3*h, -c*h = -0*p + 2*p - 4 for p.
5
Let u(d) = -4*d + 98. Let k be u(24). Solve -k*i + 8 = -m + 1, 3*i = m + 8 for i.
1
Suppose -5*s + 3*w = 0, 7*s - 3*w = 4*s. Let y be (-5)/(-3)*55/((-1650)/(-72)). Solve s*d - 4*v + 4 = 2*d, d = 4*v - y for d.
0
Suppose -3*b + 42 = -3*d, 4*d = 9 - 17. Solve 2*c = 5*c - 3*y - b, 0 = 4*c - 2*y - 12 for c.
2
Let z = 5 + -2. Let i be ((-4)/9)/(-10*(-10)/(-900)). Solve -4*v - 8 = i*h, h = -2*v - z*v + 10 for h.
-5
Let x be 2/(-7) + 10/35. Suppose x*a + 2*a = 10. Solve -3*r - 17 = a*l, -l + 2*r = 5*r + 1 for l.
-4
Let l be (1 + -9)*(-1)/2. Solve f - 33 = 5*x - 9, -20 = -l*f + x for f.
4
Suppose -45 + 44 = m. Let u(d) be the first derivative of 11*d**3/3 - d**2/2 - d - 1. Let x be u(m). Solve 0 = h + v - 5, 2*h - 5*v + x = -0*h for h.
2
Suppose -8*l + 28 = -5*l + 4*y, -5*y = l - 24. Solve -40 = l*z + 5*r, -3*z - 4 = 4*r + 27 for z.
-5
Suppose -b - 4 + 8 = 0. Suppose b*p - 10 = -p. Suppose -3*s = -p*s - 3. Solve -4*u + 8 = 3*q, 0 = -s*u - u + 4*q + 8 for u.
2
Suppose -164*j - 30 = -167*j. Solve -y - 3*y = g - 25, 0 = 2*g - j for y.
5
Suppose 3*d - 5*i - 20 = -10*i, 4*d = -3*i + 23. Solve d*t + 32 = 3*x, 2*x + x - t = 16 for x.
4
Suppose 39 = -v + 4*v. Let p = v + -10. Suppose -19 = -q + d + 3*d, 12 = -p*d. Solve -4*x - q*b + 8 = 0, 4*x + 2*b + 1 - 9 = 0 for x.
2
Let c be 135/90*4/3. Solve -c = 2*g + h + 2, 0 = -4*g + 2*h for g.
-1
Suppose -110 = -2*t + 3*p, 29*t - p - 262 = 24*t. Let l(c) = 2*c**2 + 6*c. Let a be l(-5). Suppose -t - a = -3*k. Solve -5 + 14 = -3*r, 3*y + 4*r = -k for y.
-4
Let n(i) be the first derivative of -i**2 - 6*i - 12. Let q be n(-5). Solve 2*j = 2*k - 2, k + 1 = 2*j - q*k for j.
-2
Let j(a) = a**3 + 23*a**2 - a - 16. Let i be j(-23). Suppose 5*n - 37 = -3*d, -5*d - i*n = -5*n - 49. Solve -3*w - 3 = 7*o - 4*o, 2*w - 5*o + d = 0 for w.
-2
Suppose 5*c + 0*a - 4*a = 36, -12 = -5*c - 2*a. Solve -3*v - c*h + 16 = -v, 3*h = 12 for v.
0
Suppose 11*s = 4*o + 12*s - 5, 4*s = 4. Solve 5*q = -5*z - 25, -3*q + 9 = -2*z - o for q.
0
Let o(p) = -26*p + p**2 - 11*p**2 - 57 + 2*p**2 + 7*p**2. Let c be o(-23). Solve -c = -5*r + 3*l - 2, 0 = r + l - 2 for r.
2
Suppose -r = -6 + 2. Let p(j) = -4 - 4*j**2 - 3*j**3 - 5*j + 2*j**3 + 0*j**3. Let n be p(-3). Solve 4 = -n*v, 0*k = -r*k + 5*v - 10 for k.
-5
Let a(p) = -p + 6. Let d be a(3). Suppose -4 = 5*g + 4*l - 29, -2*g + 10 = -5*l. Solve d*t + 0*s + 11 = g*s, -5*t + 7 = -2*s for t.
3
Suppose 49 - 13 = 9*y. Solve z = -9*m + 10*m + 3, y*z + 2*m = 24 for z.
5
Let a(c) = c - 2. Let d be a(6). Let x(u) = u + 13. Suppose 0 = 13*q - 18*q - 40. Let p be x(q). Solve 0 = 2*g + 2*h - 20, -d = -p*g + 4*h + 1 for g.
5
Let r be ((-23)/(-69))/((-2)/(-18)). Solve r*k - z = -7, 2*k - 2*z + 2 = -8 for k.
-1
Suppose 42 = -7*q - 0*q. Let d be (3 + -1)*(-9)/q. Let c = 5 - d. Solve 2*j + 6*l = l - 1, -2*j = 2*l - c for j.
2
Suppose -2*c + 10 = 0, 13*u + c = 16*u + 5. Suppose -52*i + 57*i = u. Solve 0 = 4*y + 3*v - 11, 4*y + v + v - 14 = i for y.
5
Let s = 1073 - 1071. Solve 5*m + 0 - 10 = -5*t, -12 = 2*m - s*t for m.
-2
Suppose -46*b + 39*b + 14 = 0. Solve -2*a = 4*f + 16, -f - 4*f - b*a - 21 = 0 for f.
-5
Let x = 4 + -6. Let u be 5*(2 - (3 + x)). Suppose -4*o = u*r + 7, 3*r + 15 = 2*o + o. Solve 4*m + 5*j = -9 - 2, -1 = 5*m + o*j for m.
1
Let h be (-4)/(16/12) + -6. Let u be 1 + h + (-2 - -5). Let o(c) = -c**3 - 4*c**2 + 5*c + 6. Let q be o(u). Solve 5*b + q = 3*b, -l + b + 3 = 0 for l.
0
Let p = 38 + -36. Suppose 0 = -5*r - 3*r + p*r. Solve r = -t - t, 3*c - 3 = -t for c.
1
Let t = -47 + 89. Let b = t - 42. Solve -5*k + v + 3*v - 32 = 0, b = -4*v + 12 for k.
-4
Let z be 1*(4 - 1 - 0). Suppose 0 = 2*x - 5 - 1. Suppose x*m - 9 + 3 = 0. Solve -r + 2 = -u, u + m*r + z = -4*u for u.
-1
Let q = 1004 - 1001. Solve -a = -4*l + 2*l, -q*a = 4*l + 20 for l.
-2
Let t = -80 + 92. Suppose -4*s = 4*b + t, 0*b + s - 3 = -4*b. Solve 3*n = -5*v + 20, -2*v - 15 = -7*v - b*n for v.
1
Suppose 16*c - 9*c = 14. Solve 3*i - c*i = y - 3, -2*i = -y + 4 for y.
2
Let s = -66 - -68. Suppose -2*b + 15 - 1 = s*v, -3*b + 3 = -3*v. Solve 3*w = w + v*r, -3*r = -w - 3 for w.
3
Suppose -2*n = 4, 3*n - 48 = -j - 2*j. Solve 16 = 2*t + 3*b, 2*b + 3*b - j = t for t.
2
Suppose 18 = 5*z - 8*z. Let c be 8 - (5 + 3 + z). Suppose 3 = 3*k - c. Solve 0 = 3*r + a + 7, -k*r + 19 = -8*r + 2*a for r.
-3
Let b(o) = -10*o - 1. Let g be b(-1). Let i(t) = t**3 - 4*t**2 + 2*t - 6. Let u be i(4). S