2*x, 0*x = 5*p + 2*x - f for p.
2
Let z = -8 - -10. Suppose -w + 0*l - 1 = 3*l, z*w + l = 3. Solve 0 = -w*k - 3*k - 4*j + 17, 3*k + 3*j = 12 for k.
1
Let q be (60/(-48))/((-2)/8). Let p = -17 + 22. Solve 5*w + 0 + 5 = 0, -p*h + q*w = 20 for h.
-5
Let j = 497 - 493. Solve 4*z + j*a = 0, 5*z + 0*z + 45 = 4*a for z.
-5
Let n be 93*1*7/(-21). Suppose 19 = 3*w - 131. Let y = n + w. Solve 0 = -4*r + 3*u - 7*u + 4, -4*r = -u - y for r.
4
Suppose -6*n = 3*q - 24, 2*q = 4*n - 2*q - 28. Solve 0 = 4*l + 5*x - 4*x + 11, -n*l - 2*x - 13 = 0 for l.
-3
Let v = -915 - -919. Solve 0 = v*a + t - 2, t - 6*t - 12 = -2*a for a.
1
Let v(o) = -3*o + 22. Let w be v(6). Suppose -w*j - 8 = -8*j. Solve -2*i - h + 3 = 2, 2*i = -j*h - 4 for i.
3
Let q = 1356 + -1355. Suppose -h = 2*h - 2*w - 4, -h - 2*w + 12 = 0. Let z = h - q. Solve 4*y - y + 3 = k, -1 = y - z*k for y.
-1
Let r = 0 - 4. Let b be -1 + 3 + r + 2. Suppose 5*i + 3*p = 0, -2*i - 3*p + 2*p = b. Solve 3*j - 4*t - 18 = i, j + 4*t + 10 = -0*t for j.
2
Let u(l) = l**2 + 5*l + 3. Let x be u(-9). Let w = x - 65. Let m = -22 - w. Solve -y + 0*y = 4*i - 10, -3*y = -5*i + m for i.
2
Let t(z) = -z**3 - 8*z**2 - 25 + 9 + z - z**2 - 3*z. Let b be t(-9). Solve r = -3*p + 7, 3*r - b*p = -4*p + 14 for r.
4
Suppose -12*u + 5*u - 196 = 0. Let x be (16/u)/((-2)/7). Solve -x*o - 5*b = 3*o - 10, 2*o - 11 = 5*b for o.
3
Let d be (1 - -3) + 2 + 0. Let u be (-56 + 10)*(d/3)/(-4). Solve 11*x + 15 = 6*x, 2*c + 5*x = -u for c.
-4
Suppose 47*v - 86 = 55. Solve -5*a - 10 + v = c, 2*c - 6 = 0 for a.
-2
Let s(r) = -r**3 - 5*r**2 + 7*r + 15. Let h(c) = -c**2 - 4*c - 6. Let z be h(-4). Let i be s(z). Solve 0*o + o + 7 = -2*u, -4*u - o = i for u.
-1
Let n be 0 + 0 + 5 + -1. Suppose n*i - 8*i = 3*h + 11, 25 = 5*h - 2*i. Let u be (10/35)/((2 - -1)/105). Solve 0 = -h*c + v - u, -c - 4*v = c + 16 for c.
-4
Suppose -7*n + 3 = -6*n. Let c be -1*(-6 + 3 - 0). Solve c*y - 2 = -l, -n*l + 8 + 2 = 5*y for y.
-1
Let w(u) be the first derivative of -u**3/3 - 13*u**2/2 - 12*u - 1. Let o be (-1 + 0)/(17/204). Let h be w(o). Solve -3*k + 8 = -y, h*y + 3*k - 12 = 3*y for y.
-2
Suppose p - f - 9 = -0*p, -29 = -p + 5*f. Suppose 4*d = 4*k, 5*k - 4*d + 15 = 6*k. Solve z + k*r + 5 = 0, -p*z + r - 7 = -0*r for z.
-2
Let n be 2/(-8) + 197/4. Let x = 53 - n. Solve 3*t + 16 = -x*g + t, 0 = g - 5*t + 15 for g.
-5
Let h be (-111)/(-39) - (-82)/533. Solve h*f = 5*u - 4, 0*f - 2*f = -u - 2 for f.
2
Let b(c) = -c**2 - 19*c - 25. Let t be b(-19). Let l = 44 + t. Solve 4*g + l = -7*u + 2*u, -3*g + u = 0 for g.
-1
Suppose 3*q + w - 60 = 2*w, -4*w - 60 = -3*q. Let g(r) = 2*r**2 - 38*r - 37. Let u be g(q). Solve -4*k + u = 2*b - 1, 2*b + 5*k - 5 = 0 for b.
0
Suppose -66 = 5*a + 54. Let p = a - -43. Solve c - 5*n = -20, 2*c + p = -3*c - 2*n for c.
-5
Let g be ((-1)/(-1) - 2 - 3) + 11. Solve -5*p + s = 7, s = -p + 4*s - g for p.
-1
Suppose 5*j = -3*a + 30 + 7, 2*j - 22 = -3*a. Solve 2 = -3*l + 3*p - 1, -l - j = -2*p for l.
3
Let o(i) = -i**3 - 15*i**2 - 26*i + 3. Let v be o(-13). Suppose m - 14 = 1. Suppose m = p + v. Solve f = -3*n + 3*f - p, 0 = -2*f for n.
-4
Let b be (0/(9 + 0))/2. Solve -u + h + 7 = 0, b = -2*h - 9 - 1 for u.
2
Let w = -25 - -27. Suppose -7 = -5*h - w. Solve -m = p + 3*p - h, 5*m + 5*p = 20 for m.
5
Suppose -2*z = -5 + 5. Suppose z = -3*x + 30 - 3. Solve -g = 2*g - x, 3*c + 12 = 2*g for c.
-2
Let x = 26 + -24. Suppose -4*u - 2*t + 14 = 0, 3*t - 8 = -u - x*t. Solve 3*n + 6 = -3*y, 5*y - 2*n + 8 = u*y for y.
-3
Suppose 2*m + 5*c + 9 = 17, 0 = -2*c - 4. Solve l = -5*u - 4, 0*l - 5*l + 4*u + m = 0 for l.
1
Let k = -127 + 132. Solve -15 = k*c, 0*j - 4*c - 10 = 2*j for j.
1
Let b = 55 - 40. Suppose 0 = 3*h - 3*l + b, 4*h = 8*h + l - 5. Solve 3*v + 5*c = -h*v - 32, 4*c = 5*v + 4 for v.
-4
Let n be 6/5 - 24/(-30). Solve 5*j = -g + 23, -g - n*j = -8 - 0 for g.
-2
Let f = 314 - 313. Solve 11 = -4*p + p - 2*a, f = -p + 2*a for p.
-3
Let g(d) = 0*d**3 + 39*d**2 + 77 - 30 - d**3 - 16*d**2 - 24*d. Let t be g(22). Solve 6 = 2*n + 2*m, -3*n + n - t*m = -5 for n.
4
Suppose -m = 2*z + 17, m + 4*z + 20 = z. Let r = -17 + 11. Let y = r - m. Solve -y*b + 2*c = -0*c, -2*b + 5*c = 0 for b.
0
Suppose -13*z - 24 = -18*z - 2*m, -5*z = -4*m - 42. Solve -3*a = -3*y + 12 + z, 2*y + 3 = -a for y.
1
Let c = 1070 - 1068. Let m(r) = -r + 19. Let j be m(0). Solve 0 = -4*n + h + c - j, h = -4*n - 23 for n.
-5
Suppose -3*j - 9 = -30. Let v = -3089 + 3092. Solve -2*z + p - 2 = 6, j = -v*z - p for z.
-3
Let q be (3/2)/(((-52)/24)/(-13)). Suppose 0*z = 3*z - q. Solve 0 = k + 8 - z, 3*n = 3*k + 12 for n.
-1
Let u be 1/5 + 39/5. Let d = u - 3. Let v = 7 + d. Solve f = 6*x - 2*x - v, -x + 2*f - 4 = 0 for x.
4
Suppose 1 = -i + 4. Let w = -1 + i. Suppose r - 6 = -w*r. Solve b + k = -3 - 3, -r*k - 8 = b for b.
-4
Let i = 39 + -27. Let f(s) = s**2 + 6*s + 12. Let h = 60 - 64. Let o be f(h). Solve y = 2*j + i, y = -o*j - y - 16 for j.
-5
Let t(k) = -k - 6. Let o be t(2). Let r(n) = -n**3 - 8*n**2 + 5. Let a be r(o). Solve 19 = a*w - 3*l, -l = -0*l + 3 for w.
2
Let m = 24 - 22. Let t(s) = -2*s**3 + 4*s**2 - 2*s + 6. Let c be t(m). Solve -l - 4*d + 20 = 0, -d - 12 = -c*l - 2*d for l.
4
Suppose 57*b - 48*b - 36 = 0. Let g be (-26)/(-6) + 6/(-18). Solve b*l + 16 = -g*j, 0*j = 5*l - 2*j + 20 for l.
-4
Let g = -335 + 337. Solve g*h = -h + 4*x + 2, 0 = -2*x + 2 for h.
2
Let o(z) = -z - 1. Let k(v) = -4*v + 3. Let f(n) = k(n) - 5*o(n). Let a be f(-5). Solve a*b - 10 = 5*y, -2*b = -2*y + 6*y + 8 for y.
-2
Let n = 1 + 25. Let w = n + -20. Solve -w*u + 10 = -h - u, -2*h + 2*u = 12 for h.
-5
Let u = -261 - -265. Solve -d - 5 = -4*p + 5, -p - u*d - 6 = 0 for p.
2
Let d = 649 + -646. Solve d*r + 4*l = 4*r - 12, 0 = -r - 2*l - 6 for r.
0
Suppose 4*l - 18 = 10. Suppose -3 = -5*n + l. Solve 5*j = 3*s, -s = n*j + 3*j for j.
0
Let u = -15 + 28. Let q = u + -8. Solve -n = q*k + 5 + 7, -5*k + n = 18 for k.
-3
Suppose -4*n = b - 29, 3*n = n + 3*b - 3. Let a(l) = 2*l - 5 + l - n*l - 4. Let c be a(-6). Solve s = -3*f - s - 13, -f - c = 3*s for f.
-3
Let c be (-118)/(-177) - (2/(-3))/(-1). Let r(u) = u**2 + 4*u + 29. Let t be r(c). Solve t = 4*f + 5*o, f - 3 = -5*o + 23 for f.
1
Let d(h) be the third derivative of h**6/120 + h**5/5 - h**4/2 + 8*h**3/3 - h**2 - 9*h. Let b be d(-13). Solve -17 = p - 2*k - b*k, -2*k = -5*p - 16 for p.
-2
Let u(v) = v**2 + 13*v - 12. Let d be u(-14). Suppose -2*x + 18 = d*x - 2*p, 4*x = -4*p. Solve -l = -z - 3*z + 19, 0 = 5*l - x*z + 10 for l.
1
Suppose 41*p = 27*p + 84. Solve -3*b = -p, 4*c - b = 1 + 5 for c.
2
Suppose -3*c - 6*c = -2*c. Solve 2*d + d = 5*b + 1, 4*b + 4*d + 20 = c for b.
-2
Let w = -40 - -56. Let g be 402/(-14) - w/56. Let j = 36 + g. Solve 4*n = 4*b + 28, -3*n + j - 2 = 5*b for n.
5
Let r be (-8)/36*-42*9/6. Solve -2*p + r = 4*n, 5*p - 19 = -5*n + 2*p for n.
2
Let h = 18 - 18. Let p(r) = -2*r - 12. Let u be p(-8). Suppose -u*c = c. Solve q = 5*t, -2*q + c*q = h for t.
0
Let g = -175 + 185. Suppose -10 = 4*l - 9*l. Let h be l + 3/(-1) - -7. Solve 0 = -i + 5*b - 30, h*b - g = -i + 3*b for i.
-5
Let c = 9 - -14. Let p = c + -33. Let w = p + 11. Solve 3*n - b = -0*b - 9, n - b + w = 0 for n.
-4
Suppose 0 = 2*m + 47 - 169. Let s(g) = g - m + 61. Let o be s(5). Solve -4*d - 15 = 4*y - 5*d, -y + o*d = -1 for y.
-4
Let w(x) = -91*x**2 - 6*x - 5. Let h be w(-1). Let a = -88 - h. Solve 0 = a*c - 5*k - 1, c + 2*k - 7 = -2*k for c.
3
Let l = 19 - 11. Let b(h) = -h**3 + 8*h**2 + 6*h - 45. Let q be b(l). Solve 0 = -5*m + q*c + 3 - 0, -4*c = 5*m - 31 for m.
3
Suppose 0*y + 16 = 4*y. Suppose -2*g = -0*g + y. Let x be 2/(g/(-4 - 0)). Solve q + 0 = l + 3, 0 = -x*q - 4 for l.
-4
Suppose -10 + 30 = 2*u. Suppose -5*w + u*w = 15. Solve 0 = -4*p + 8, -i - w*p - 3 = -6 for i.
-3
Suppose -2*m = -13 + 3. Suppose 5*o - 4*f - 22 = 0, o + 2*o - 21 = m*f. Let h(k) = -k**2 - 5*k + 8. Let a be h(-6). Solve o - 13 = d + a*l, -2*l = -d + 1 for d.
-5
Suppose 9 - 19 = 5*t, -4*a + 70 = -3*t. Solve 2*x = -x + y + a, -4*x = -3*y - 23 for x.
5
Suppose -4*q = -6 - 10. Suppose 4*y + q*m - 4 = 0, 3*y - 4*m = -3*m + 7. Solve 0 = y*h + h - v, h + 4*v = 0 for h.
0
Suppose 12*h = 6 + 42. Solve 5*w = -2*b - 14, -4*w - b - h*b - 1 = 0 for w.
-4
Let f(w) = w**3 + 5*w**2 + 2*w - 5. Let b be f(-5). Let a be ((-20)/(-12))/(-5)*