k*f = 4*a + 3, -4*a + 5 = -f - 7*a for f.
1
Suppose -2*g + 5 = -5*f, 4*g + 2*f + 33 = 55. Solve 4*v = 2*c + 3*v - g, 3*v - 12 = -3*c for c.
3
Suppose -4*j + 8 = -3*j. Suppose 5*a = a + j. Let p(s) = 5*s**3 - 3*s**2 - s + 3. Let i be p(1). Solve -2*w + i = a*l, 0 = 3*w + w + 2*l - 8 for w.
2
Suppose 0*t - t - 4 = -d, 0 = -4*t - 5*d + 20. Suppose 6*k - 15 - 27 = t. Solve 14 = 2*s + 2*r, -4*s + 2*r + k = -r for s.
4
Suppose 4*t = 3*m + 3, -2*m = 2*t + t - 15. Let p be (-1 - 2)/(1/3). Let j be (1/(-1))/(m/p). Solve -3*n = w - 8, w - n + 7 = -j*w for w.
-1
Let t be 3*(4/(-12) - 2). Let y = t - -11. Suppose f = -2*f + 9. Solve -2*i = i - y*s - 4, -3*s = -3*i + f for i.
0
Let z = 56 + -31. Solve 5*r = 3*x - z, -2*r = -0 + 4 for x.
5
Let p(t) = -t**2 + 8*t + 55. Let z be p(12). Solve -5*n - 2*o = -z*o - 45, 0 = n + 5*o + 15 for n.
5
Let l be ((-2)/(-8))/((145/(-60))/(-29)). Solve 5*j - 37 = l*k, -2*k - j = -0*k + 3 for k.
-4
Suppose -7*a + 6*a + 35 = 0. Solve -5*c + o = -2*o + 40, 4*o = 3*c + a for c.
-5
Suppose o - 6 = 2*o - d, 0 = -2*o - d. Let q(i) = -3*i - 2. Let n be q(o). Solve -2*j - n*h - 16 = 0, 7*h + 4 = 4*j + 3*h for j.
-2
Let r = -2228 - -2230. Solve 5*z - 2 = -b - b, -r*b = 2*z - 2 for z.
0
Let h(g) = 31*g - 401. Let y be h(13). Solve -5*o + 0*o = -y*i - 5, -1 = -o + i for o.
1
Suppose -7 = -2*u + 1. Suppose k + 1 - u = s, 2 = -2*k - 2*s. Let v = 3 + k. Solve 3*a + x - 16 = -3*x, -4*x = -v for a.
4
Let m be (-3)/((18/(-3))/12). Solve 2*n = 4*d - 0 - m, -3*d = -3*n + 3 for d.
4
Let n be -2 - (-5 + (-1 - 0)). Let u = 1124 - 1122. Solve -p + 9 = n*d, -p - 3 = -4*d + u*d for d.
2
Suppose 2*m - 5*m + 6 = 0. Suppose 0 = c + 3*c - t + 26, m = -t. Let d = c + 9. Solve d*y + 12 = 3*q, 5*q + y - 20 = 4*y for q.
4
Let u = -2 - -6. Let x be (u/10)/(2/10). Let c = -62 - -66. Solve -2*k = -x*d - 10, -c*d - 4 = -0*d for k.
4
Let k(j) = -j**3 + 5*j**2 + 2. Let o be k(5). Suppose 6*n - o*n = 16. Suppose 6*u + 24 = 8*u. Solve a + 2*x + 2*x = u, -2*a + 2*x + n = 0 for a.
4
Suppose -140 = -5*l - 2*l. Suppose 0*o + 12 = 2*o + h, 3*h = -4*o + l. Solve 5*a + d = 6*d, 4*d = -4*a + o for a.
1
Let q be 1/1 - 17/(119/(-21)). Solve 0 = -5*i - q*a - 4, -21 - 3 = 3*i - 3*a for i.
-4
Suppose 4*z - 9*z = -4*o + 104, -3*o - 5*z + 43 = 0. Solve -x + 2*s = -4*x - o, -5*x = 5*s + 40 for x.
-5
Suppose -7*u + 34 = -22. Let x = -6 + u. Solve -6 = -x*n + 2*g + g, -4*n + 4*g + 4 = 0 for n.
-3
Let z(c) = c + 8. Let i be z(-6). Suppose 2*k + g = -75 + 84, -3*k - 4*g = -26. Solve -k*l - 2 = -0, 3*l = -i*j - 3 for j.
0
Let i(h) be the third derivative of h**4/24 + 7*h**3/2 + 8*h**2. Let n be i(-6). Let y be 2 + -2 - 0 - -2. Solve f - y*c = -5*c + 3, c + n = 5*f for f.
3
Let x be (1/(0 - -4))/((-5)/(-40)). Suppose -u + 2 = 0, -x*l - 2*u + 6 = u. Solve 8*r - 3*r - 5*w - 10 = 0, l = -5*r + w - 10 for r.
-3
Let g = -58 + 60. Let b = -21 - -35. Solve 0 = -7*s + g*s - k + b, -4*s + 16 = -4*k for s.
3
Let v(z) = -12*z**2 - 8*z**2 - 12*z**2 + 34*z**2 + 1. Let j be v(-1). Solve 2*w + 4*p = -1 + 13, j*w = 2*p - 14 for w.
-2
Let h(x) = x**2 + 5*x + 8. Let b be h(-2). Solve 4*a + 0*a = -2*r, -b*a = 5*r for a.
0
Let p(j) be the third derivative of j**4/24 + 4*j**3/3 - j**2. Let n be p(-5). Let r(k) = 4*k. Let f be r(1). Solve a = f*a, 3 = -n*m - a for m.
-1
Let d = -30 + 40. Suppose h = 15 - d. Solve 0 = -2*s - g - 1, 3*s - 4*g = -h*g - 3 for s.
-2
Let g be 28/(-21) - (48/9)/(-4). Solve r - 10 = 2*k, 2*r + k = -g*r for r.
2
Let p be 2*((-55)/(-2) - -3). Suppose -12*v - 13 = -p. Solve -c = -3*m + m + 8, -2*m - v*c - 2 = 0 for m.
3
Let i be (-72)/16*(-4)/3. Solve 0*f + b + i = f, 0 = 5*f - 2*b - 27 for f.
5
Let a = -27 + 30. Let c be a + (-1)/(-3 - -4). Let f(b) = -b**2 + 6*b - 4. Let v be f(4). Solve c*x - v*m + 6 = 0, -4*x - 15 = 5*m + 10 for x.
-5
Let m = -919 + 929. Solve -4*c + m = -5*x, 19 = 3*c + 3*x - 2 for c.
5
Let z be ((-9)/5)/(27/(-45)). Solve 3*p = -z*j + 2*j - 11, 5*j = 5*p + 25 for p.
-4
Let l(z) = 2*z**2 + 3*z - 2. Let u be l(-3). Suppose 16 = u*g - 82. Solve -17 = 4*y + i, -2*i - g - 5 = 5*y for y.
-5
Let o = -131 - -140. Let r be (1/o*-3)/((-2)/96). Solve -11 = -2*q + i + 1, -q - r = 5*i for q.
4
Let o(m) = -12 - 20*m + 265*m**2 + 266*m**2 - 533*m**2. Let s be o(-9). Solve -6*y = -i - y + 9, 2*y + s = i for i.
4
Let s(f) = f - 6. Let r be s(11). Let h(z) = z**3 + 3*z**2 - 6*z - 8. Let d be h(-4). Solve 0*y - 2*n = -r*y - 17, -n - 4 = d for y.
-5
Suppose 0 = -263*z + 259*z + 16. Let y(v) = -v - 3. Let s be y(-7). Let o = z - s. Solve o*u = h + u - 3, 4*h - u - 7 = 0 for h.
2
Let r = 0 - 0. Suppose -5*c = -0*m - m - 1, -c = -5*m + 19. Suppose m*q + r = 16. Solve h + o = q - 0, 4*h + o - 19 = 0 for h.
5
Let m = 62 + -57. Suppose 31 = 5*z + 2*i, 2*z - 15 - 10 = -m*i. Solve 5*y + 3*d + z = 0, 0 = 3*y - 3*d + 6 - 3 for y.
-1
Let w(u) = -u - 5. Suppose 0 = -m - 13. Let l be w(m). Solve 4*d = -2*v + l, 5*d - 2*d = -3*v + 6 for d.
2
Suppose r - 4*r - 11 = -2*m, -m = r - 3. Let s(k) = -8*k - 2. Let o be s(r). Suppose 29 = o*f - 43. Solve -4*t - 2*c + c = f, c = -t for t.
-4
Let x be 2/(5/(105/14)). Solve 0 = -2*z + 6, x*z + 8 = -5*g - z for g.
-4
Let n be (1*(0 + (-38)/(-2)))/1. Let a(d) = -d + 1. Let x be a(-1). Suppose -3*m = 3*y - 6, m = 2*y - 12 + x. Solve u + 6 = -u, -y*s - u = n for s.
-4
Let d(w) = -w**3 + 5*w**2 + 6*w + 1. Let t be d(6). Suppose 0 = 2*f - 4*f + 10. Suppose 0 = 4*m + t - f. Solve m = h, 7*j + 2*h + 18 = 2*j for j.
-4
Let m = 693 - 691. Solve 3*u - 17 = m*a - 3, 5*a - 3 = -2*u for a.
-1
Suppose 52*w = 69*w - 34. Solve -2*v + w = -s, -s = -3*v - 2 + 6 for s.
2
Suppose 122 = 9*n + 59. Solve q + n = -3*w - 0*w, 4*w = q for q.
-4
Let u be -2*10/2*68/10. Let f = u - -68. Solve 4*z + s + 10 = f, 2*z - 2*s + 6 = -3*z for z.
-2
Suppose 4*g - 3*j = -j + 12, 3*j = 4*g - 12. Solve g*t + 18 = -t - 2*a, 3*t + 21 = -4*a for t.
-3
Let z be (0/(10/2))/3. Suppose -24*f + 20*f = z. Solve 4*c = 3*j + j - 8, -3*j - c + 6 = f for j.
2
Let d be ((-2)/3)/(28/42). Let u(l) = -18*l**3 + 2*l**2 - 1. Let y be u(d). Solve -2*s - 3*w = 3*s - y, 2*s = 5*w - 11 for s.
2
Let s = 4 - -9. Let q be (5 + 0)/5 - -7. Suppose g - q = -4. Solve -x - 3*x - 20 = -g*a, 3*a + s = -4*x for a.
1
Let l = -535 - -544. Solve -2*n - 2 = 4*f, 6 = n + l for f.
1
Let n(m) = 6*m**2 - 51*m - 6. Let p(d) = -11*d**2 + 102*d + 13. Let b(h) = -7*n(h) - 4*p(h). Let y be b(26). Solve -2*k = 3*j + 8, 0*j = -4*j - y for k.
2
Let v(z) = -4*z + 11. Let d be v(3). Let a be 4*2/(-8) - (-2 + d). Solve -20 = -4*t + 5*c, 0 = 2*t - 7*t + a*c + 8 for t.
0
Let p = 10 - 14. Suppose 19 = s + 4*s - 2*m, -s = -2*m - 7. Let a be (s*p)/(5 - 7). Solve -u + a*u = -g + 13, -5*g + 2*u + 11 = 0 for g.
3
Let r(p) = -4*p - 2. Let y be r(-2). Suppose 5 = -y*n + n. Let c be (-13)/26*(n - -1). Solve -4*g + i + 2 = c, 0 = g + g - 5*i - 10 for g.
0
Let h(v) = -2*v + 20. Let t be h(0). Suppose k + 4*k = -t. Let p be 0/(k - (-2 - 0)). Solve -5*y = -5*z - 10, -2*y - 5*z - 31 = -p*y for y.
-3
Let v be (7 - (-5)/(-5))/2. Solve 19 = -2*k + 3*q, 0 = v*k + 6*q - 2*q + 3 for k.
-5
Suppose -9*v + 28 = -2*v. Solve 5*u - 2*p = 2*u + 1, -2*u - 10 = -v*p for u.
3
Let y be 4/(-38) - (-1032)/57. Solve -2*w + 4*n - 14 = -2, 5*w = 4*n - y for w.
-2
Let p(l) be the third derivative of l**5/60 + l**4/4 + 3*l**3/2 + 8*l**2. Let j be p(-5). Solve -j*w + 16 = 2*c - 6, -5*c - 3*w + 20 = 0 for c.
1
Let v = -10 - -22. Let t(i) = -i + 14. Let m be t(v). Let z(u) = u + 2. Let l be z(m). Solve n + 2*k = 6*k - 20, 0 = 5*n - l*k + 20 for n.
0
Suppose 5*i = 3*m - 15, 4*m - m - 15 = -3*i. Suppose x - 6 - 6 = m*r, -5*x + 104 = -3*r. Solve 0 = 4*t + 3*y - x, 4*t - y - 8 = 6 for t.
4
Let q be (207/(-27) - -7)*(-9)/2. Solve -6 = -x - 3, -q*m - 4*x = 3 for m.
-5
Suppose 2*l + t = -7, t + 12 = -l - 2*l. Let d(y) = -y**2 - 4*y + 13. Let i be d(l). Solve 4*m - 5*c = 16, 3*m - 1 - i = 3*c for m.
-1
Let y be 12/4 + -1*(0 + -1). Suppose t + y = 16. Let u = -3 - -6. Solve 5*i = -4*n - u, -3*n + 7*n - t = 0 for i.
-3
Let o(y) be the third derivative of -y**4/24 + 13*y**3/3 + 5*y**2. Let b be o(4). Solve 4*r - 4 = 0, -2*r + b = -3*j + 8*j for j.
4
Let y be (-8 + 0)*12*5/(-80). Solve -3*l - 4 = k - 0*l, 3*l = -3*k + y for k.
5
Suppose 0 = 4*u - 2*u. Let a be 5*(-1 + 10/2). Suppose 0 = 4*n + c - 4, 