 - m, -4*f - x = f - 5*m for f.
-3
Suppose 10*l + 135 = 37*l. Solve 4*n + l*o + 8 = 15, 3*n + 18 = 4*o for n.
-2
Suppose -5*o + 28 = -47. Suppose o = 24*a - 19*a. Solve -2*z - 3*p = -a*z - 6, -z + 2 = 5*p for z.
-3
Let o = 1180 - 1178. Suppose f - 7 = -2. Solve -5*u + 3*v - o*v - 20 = 0, 0 = f*u + 5*v + 20 for u.
-4
Suppose 2*o + o = 3*j - 6, -2 = -2*j + 4*o. Solve 2*u + 28 = -5*h - u, -u - 16 = j*h for h.
-5
Suppose -2*y = -5*w - 23 - 1, 3*y - w = 23. Solve -o - 4 = r - y, -o + 9 = 3*r for r.
3
Let l(z) be the third derivative of z**5/20 - z**4/12 - z**3/6 + 5*z**2. Let q be l(2). Suppose -2*d - 10 = -q*d. Solve -o - m = -3*o + 4, -d*m = 4 for o.
1
Suppose 0 = -15*h + 16*h + 59. Let c = -53 - h. Solve -3*a - 11 = 5*u, 5*u + c*a + 13 = 2*a for u.
-1
Suppose 21*f + 20 = 26*f. Solve -f*j = 4*a, -6*a = -2*a + 2*j - 4 for a.
2
Let k(v) = 4*v**2 + 1. Let q be k(-5). Let a = q - 98. Solve 0 = -5*l + 2*b - 1, 5 = -a*l - 5*b - 8 for l.
-1
Suppose -v - 11 = -4*h + 2*v, 0 = h + v - 1. Let p = 36 + -21. Suppose 5*w - p = h*w. Solve 0 = w*j - 3*n - 1, -5*n + 9 + 10 = 2*j for j.
2
Suppose 0 = 5*a - 5*z, -9*z = 2*a - 4*z - 35. Solve -5*g = 3*t - 26, -g - g - a*t = -18 for g.
4
Let h = 34 + -29. Solve r - 4*u + 1 = 2, -h*r + 23 = -2*u for r.
5
Let f(x) = 4*x**2 + x. Let l be f(-1). Let h be l/(12/34)*-2. Let u be (-1)/4 - h/4. Solve -4*v = 4*p - 16, 5*p - 10 = -2*v + u for v.
2
Let v(z) be the first derivative of z**3/3 + 6*z**2 + 27*z - 11. Let d be v(-9). Solve -c - 9 = -0*c + 3*o, 2*o + 6 = d for c.
0
Let i(c) = c**2 - 10*c - 2*c**2 + 2 + 13 - 24. Let n be i(-8). Suppose -n*j - 7 = -8*j. Solve -5*x - 2*s = -j*s + 5, -3*x - 2 = -2*s for x.
0
Let s(y) = y**3 - 16*y**2 - 4*y + 64. Let r be s(16). Suppose 0*v = v - 3, r = 5*w - 3*v - 11. Solve -4*j = w*z, -5 + 1 = -3*z - 5*j for z.
-2
Suppose -5*q = -3*f + 5, 2 + 1 = -f - 3*q. Suppose f = 5*c - 4 - 1, 0 = u - 4*c. Solve -2*t + 4 = -u*v, -3*t - 13 = -1 for v.
-3
Let j(f) = 4*f + 1. Let n be j(1). Let v = 8 - n. Suppose 4*d + v*b = 23, 3*b + 2*b - 15 = 5*d. Solve -d*c + c + 11 = 2*t, 0 = 4*c - 20 for t.
3
Let h be ((-66)/4)/(3/(-4)). Suppose 5*l - h = -0*l + i, -i + 13 = 2*l. Solve o - 10 = -3*m, 2*m - 7*m - 4*o = -l for m.
5
Let m = 105 - 148. Let u = m - -46. Solve b - 10 = -u*r - 2*r, 18 = 3*r + 3*b for r.
1
Let l(s) = -s + 22. Let u be l(8). Suppose 2*o - o + 4*a = u, 0 = 4*a - 4. Suppose -o + 2 = -4*i. Solve -i = -4*k - w, 5*w - 6 - 4 = -3*k for k.
0
Let c = 190 + -188. Solve 1 - 5 = c*r - 3*k, -4*r - 2 = -3*k for r.
1
Suppose 16*t = 15*t + 11. Solve 3*u - 4*s = -0*s - 11, 5*u + t = 3*s for u.
-1
Suppose -r - t + 19 = -3*t, 4 = -4*t. Let x = -13 + r. Let h(k) = -k**2 + 5*k - 2. Let d be h(x). Solve 2*v = 2*p - 6, 0 = 4*p - d*v - 0 - 4 for p.
-1
Let s(i) = 4*i**2 - 5*i. Let g be s(-6). Let o = g + -56. Suppose 4*x + 42 - o = 0. Solve -2*r - 6 = 2*z, 2*r = -3*r - 3*z - x for r.
-5
Suppose -3*s - 7 + 1 = 5*w, -4*w - 5*s = -3. Let g be (-12)/(-5) + w - (-83)/5. Solve 0 = 2*p - 3*b - g, 8*p = 3*p + 4*b + 33 for p.
5
Let b be -3 + (-2)/(-1) + 3. Let p(f) = -2*f**2 - 1 - 8*f + 3*f**b + 10. Let r be p(7). Solve 3*z + n - 12 = -2*n, -r*z = n - 7 for z.
3
Suppose 2*t = 6*t - 12. Suppose -t*k = -2*k. Suppose -m = 2*g - 30, 5*g + 0*m + 3*m - 75 = k. Solve 3*f = -c - g, -f = -0*f + c + 5 for f.
-5
Suppose -41*z - 11 = -i - 43*z, -i - 3*z = -16. Solve 0 = m + 3*w - 11, 0 = 3*w - 10 + i for m.
2
Suppose 33*f + 5*x = 37*f + 7, -3*f = -2*x. Solve -3*h - y = -0*h - 14, -f*h + 12 = -2*y for h.
5
Let a be ((-84)/(-9))/((-2)/(-6)). Suppose -a = -4*z + 5*n - 8, 2*z - n = 4. Suppose 20 = 4*j - 0*j. Solve 0 = -3*q + 4*m - 5, m = -3*q - z*m + j for q.
1
Let h(z) = z + 0*z - 3 - 3 - 2*z. Let x be h(-9). Let u be (x/6)/((-1)/(-4)). Solve 0 = u*i + 4*r + 2, 4*r = i - 6 - 11 for i.
5
Let l = -40 + 13. Let w = 29 + l. Suppose 4*v = 5*z + 40, z - 4 = -4*v - 3*z. Solve 4*o = w*a - 5 - 1, -4*a + 3 = -v*o for o.
-3
Suppose -9*q + 13*q - 7 = -h, q - 2*h = 13. Solve 2 = 4*a + q*v - 7, 15 = 4*a + 5*v for a.
0
Suppose 5*i = -3*l + 30, 4*l = 5*i + 5 - 0. Let x be 3 - (2 + (-12)/i). Let p be 8/((-120)/9) + 84/15. Solve -4*u + p + 2 = -5*z, 0 = -3*z + 2*u - x for z.
-3
Let y be 1/(2*2/8). Let u be 4 - (0 + (y - 1)). Let h = -197 - -199. Solve u*d + 3*g = 0, 2*g + g = -h*d + 1 for d.
-1
Let p(g) = -38*g - 20. Let z be p(-1). Solve -2*x + z = 2*j - 4*j, 4*j = x - 21 for x.
5
Let u = 89 - 81. Let l be (0 - -6) + (7 - u). Solve 0*c - 2*c = -l*x - 29, 5*c + 3*x = -5 for c.
2
Let o(k) be the second derivative of k**4/12 + k**3/3 + 10*k**2 + 18*k. Let z be o(0). Solve -7 = -4*g + 5*s + 13, 2*g = -5*s - z for g.
0
Let m = -3785 - -3790. Let h(c) = c**3 - 4*c**2 + 2*c - 5. Let b be h(4). Solve -m*w - 2*j + 27 = 0, 5*w + 13 = -b*j + 41 for w.
5
Let r = -2 - 2. Let j be (r/4 + 1)*1. Let l be j + 32*(-2)/(-4). Solve -2 = -i + 4*k + 2, 4*i - 2*k - l = 0 for i.
4
Let x = -346 - -367. Let f(y) = -y**3 - 6*y**2 - 6*y - 6. Let o be f(-5). Let j be (2 - -3)/(o/(-7)). Solve 4*v = -3*h - j, 0 = 3*v - 6 + x for h.
-5
Let n = 13 + -8. Suppose -n*f - 5*j = 0, -4*f + 5*j = f - 20. Solve -f*g = 3*m + 9, 5*g + 0 - 12 = 4*m for m.
-3
Let j be (-4)/(-10)*-1*(16 + -1). Let a be ((0 - 1)/(-1))/((-2)/j). Solve a*t = -2*n - 12, 5*t + 14 = -5*n - 6 for n.
0
Let q(t) = -14*t - 4. Let l be (32/(-8) + 7)*4/(-6). Let c be q(l). Suppose 4*k + 2 = 5*k. Solve k*g + 2*g = 4*a + c, 2*g - 14 = 3*a for a.
-2
Let v(m) = 2*m**3 + 6*m - 12. Let x be v(2). Solve -3*r + 4 = -3*j + 2*r, x = -5*j - r for j.
-3
Let a = -309 + 313. Solve 4*l + 20 = y, -2*l = -l + a for y.
4
Suppose -4*l - 4*p + 12 = 0, 3*l - 3 = p + 6. Let j(t) = 2*t - 1. Let i be j(3). Solve q + 0*s - i*s + 6 = 0, 0 = l*q + s - 14 for q.
4
Suppose 30 = -2*l + 34. Solve k + x + l = 0, -k = -2*k - 5*x - 22 for k.
3
Let z(j) = j**3 - j**2 - 4*j - 4. Let v be z(4). Let n be (5/(-4))/((-4)/48). Suppose -d + v = n. Solve o - 2*a = a - d, 0 = -a + 4 for o.
-1
Suppose -3*c + c - 2*c = 0. Suppose 5*m = -3*g + 37, c = -2*m - 0*m - 2. Solve 4*w - 15 = -3*i - 0*w, -5*i = 3*w - g for i.
1
Let t be 2/5 + (-9)/(-180)*92. Solve -2*i - 5*g - 1 = 0, 2 = -t*i + 3*g - 16 for i.
-3
Suppose -9*a = 41 - 194. Solve -5*w - 22 = -4*s, -s + 6*s - w - a = 0 for s.
3
Suppose -17*h + 42 = -3*h. Solve 5*n = -h*a - 1, 2*a + n + 2 = -3*n for a.
3
Suppose -x + 7 = 3*n - 2*x, -3*n + 37 = 5*x. Solve 6 = y + 2*b, 3*b - n*b - 2 = 3*y for y.
-2
Suppose 10*u - 16 = 6*u. Solve -2 = -5*r + 2*l + 6, 3 = u*r - 5*l for r.
2
Let a = -917 - -924. Solve -r - l = 0, -a*r - 12 = -8*r - 4*l for r.
-4
Let v = -48 + 58. Let s be (-1)/(-3)*(-2 - -8). Solve 0 = 3*j + 3*r + s + 13, 2*j = -4*r - v for j.
-5
Let z(f) = f**3 + 5*f**2 + 2*f - 6. Let b be z(-2). Solve 3*u - 1 = -c, -5*u = -2*c - b*c + 4 for c.
1
Let j(p) = p - 199 + 199. Let q(v) = -10*v. Let t(f) = 22*j(f) + 2*q(f). Let a be t(0). Solve 5*i = 2*n + 2*n - 20, -i - n - 4 = a for i.
-4
Suppose -u - 5 = 0, 5*v + u - 155 = -u. Let f = -25 + v. Solve -3*y + f = 5*q, -2*q = 2 - 4 for y.
1
Let z(i) = -i**2 - 15*i + 21. Let r be z(-16). Suppose 0 = -8*l + r*l + 60. Solve l = 4*s + 2*v - 6*v, s + 2*v + 1 = 0 for s.
3
Let f(a) = 7*a - 53. Let r be f(8). Solve -3*c - 9 = r*z, 3 + 18 = 5*c - 4*z for c.
1
Suppose 272*m = 291*m. Solve m = 7*a - 3*a, -4*i = -5*a - 8 for i.
2
Suppose 3 = 6*f - 5*f. Suppose -f*a - 1 = -4*a. Solve -v = -3*j - 1, -2*j - 2*v + a - 7 = 0 for j.
-1
Suppose 18 = 6*k - 0*k. Solve k*i + 2*n = -14, -5*i + 3 = -n + 9 for i.
-2
Let l(v) = v**2 + v. Let j be l(1). Suppose 3*o + j = 17. Let b(c) = -c**2 + 5*c + 2. Let s be b(o). Solve 9 = r - 5*p + 33, -2*r + s*p - 16 = 0 for r.
-4
Suppose -3*h + 9*c = 4*c - 40, 15 = h - 2*c. Solve h*u - 2*u = -4*x + 9, 6 = -3*u + x for u.
-1
Suppose 0 = 2*x + 5*i - 51, -4*x + 55 = 5*i - 32. Let s be 2/(12/x + 2/(-12)). Solve -m - 2*d + 5 = 1, 0 = s*m + 3*d - 16 for m.
4
Suppose -2*m = -w - 3 - 13, 8 = m + 3*w. Let s = m + -4. Suppose -4*g + 2*r = -10, 4*r - 32 = 349*g - 354*g. Solve 0 = -s*h - 4, 0*h - g*h = -5*p + 19 for p.
3
Suppose -4*b = 2*c - 10, b - 6*b = -2*c - 17. Solve 5*x - 4*x - 4 = a, 4 = -a + b*x for a.
-4
Let b(v) = v - 6. Let p be b(6). Suppose p = -8*j + 5*j + 36. Let n = j - -11. Solve 4*g + 6 = c - 9, 3*c + n = -5*g for c.
-1
Let y = -296 - -299. Let j(c) = c + 2