-4*a + 5*m, -6*a = -2*a + 5*m - 20. Solve a - t = -5*f for f.
4
Let p(o) = 8*o + 4. Let u be p(2). Suppose 21*x = u*x + 3. Solve w = x*w for w.
0
Let l(s) be the third derivative of s**4/12 - s**3 - 7*s**2. Let k be l(0). Let j be (-5)/15 - 56/k. Solve -j = 3*d + 6 for d.
-5
Let g(a) = a**2 - 2*a - 8. Let p be g(4). Suppose p = 9*i - i - 64. Solve 0 = -4*x + i for x.
2
Let i(j) = -19 - 15 - 3*j + 13. Let p be i(-11). Solve 5*l + p = l for l.
-3
Let b(s) = -3*s**3 - 10*s**2 + 2*s - 4. Let p(l) = 13*l**3 + 40*l**2 - 9*l + 16. Let j(t) = -9*b(t) - 2*p(t). Let m be j(-10). Solve -15 = -u - m*u for u.
3
Let o = -62 - -65. Solve o = 5*w - 12 for w.
3
Let o be ((-12)/30)/(3/(180/(-2))). Solve -b + 7*b = o for b.
2
Suppose 4*m + 809 = 825. Solve 1 + 15 = m*u for u.
4
Let s(y) be the first derivative of y**4/4 + 4*y**3/3 - 4*y**2 - 11*y + 1. Suppose -9*d + 24*d = -75. Let q be s(d). Solve 0 = -n + q*n + 3 for n.
-1
Let y be 4 - (58 - -2) - -1. Let s be (-2)/5 - 187/y. Suppose -4*x + b + 46 = -32, 0 = s*x + b - 62. Solve -6*l + x = -l for l.
4
Suppose 8*w = -3*w + 6*w. Let i be (0 - 0)*(w - -1)/1. Solve i*v = 2*v + 10 for v.
-5
Suppose -q - 6 = f - 19, f - 5 = 3*q. Suppose -39 = -10*b + f. Solve -b + 2 = -y for y.
3
Let k(f) = 0 + 2 + 2*f + 7*f**2 - 3*f**3 - 6 + 7*f**3. Let z(n) = -5*n**3 - 7*n**2 - n + 4. Let t(p) = 4*k(p) + 3*z(p). Let b be t(-6). Solve 6 = g + b for g.
4
Let x(j) = 2*j**2 - 2*j - 7. Let v be x(3). Suppose -v*d - 102 = 8. Let f = d + 23. Solve 2*c - c = f for c.
1
Let q = 1884 + -1864. Solve 33*r = 43*r + q for r.
-2
Let r(y) = -y**2 + 19. Let v be r(-6). Let f = 24 + v. Let c = f - 2. Solve -2*t = -c*t for t.
0
Let n(d) = 4*d**2 - 51*d + 35. Let l be n(13). Solve -7*p + l - 13 = 0 for p.
5
Let j(u) = -u**3 - 7*u**2 - 7*u. Let g be j(-6). Suppose -5*b = -g*b + 4. Solve -b*c - 2 = 2 for c.
-1
Suppose -3*m + 4*y + 42 = 0, 0 = 6*y - 7*y. Solve m*r - 52 = r for r.
4
Let a be (-3)/(-6)*(-306)/9. Let q(n) = -n**2 - 19*n - 30. Let v be q(a). Solve 0 = -0*g + v*g for g.
0
Suppose -k + 1 = m - 2*k, 0 = 4*k - 8. Solve -13 = -4*b + m for b.
4
Let o(p) = p**3 + 5*p**2 - 13*p + 13. Let j be o(-7). Solve 0 = j*w - 15 + 45 for w.
-5
Let b(z) = z - 6. Let p be b(13). Let n be -5*((-48)/(-20) + -3). Suppose 4*m = n*m - 2*g + 9, -5*g = 3*m - 24. Solve p*t - 4*t = -m for t.
-1
Let j = -1 + -3. Let f be 0/(-10)*2/j. Solve 2*a - 3*a + 4 = f for a.
4
Suppose 4*g - 2 = -22, 0 = -2*w + 3*g + 21. Suppose 7 = 4*a - w*v + 4*v, 4*a + 13 = -5*v. Solve -a*o - 8 = -o for o.
-4
Let n be (-1*28)/(-2) + 4. Suppose 0 = -v + 2, 0*g + 7 = -g + 5*v. Let p be (g + 20/(-8))*n. Solve 3*o = 6*o - p for o.
3
Let i(j) = j**2 - 2. Let k(n) = -3*n**2 - 19*n - 4. Let o be k(-6). Let z be i(o). Solve -3*y + 10 = z*y for y.
2
Suppose 0 = -k - n + 3, 0*n - 12 = -2*k - 4*n. Solve k = 10*u - 2*u for u.
0
Let q = 64 + -57. Solve -11*l + q*l - 8 = 0 for l.
-2
Suppose 5*d = 3*n - 8 + 63, 22 = 4*d + 2*n. Solve 5*y = -17 - d for y.
-5
Let p = -201 - -218. Solve -6*i - 5 = -p for i.
2
Let d be (-65)/(-9) + 2/(-9). Solve -5*n + 8 = -d for n.
3
Suppose 5*v + 45 = -3*f + 255, -4*v - 2*f + 170 = 0. Let g be (v/10)/(-1)*-2. Solve -2*r - 1 = g for r.
-5
Let z be 2*-1*6/(-4). Suppose 9 + 9 = -z*s. Let v be (-20)/s + (-4)/(-6). Solve 2 - 10 = -v*w for w.
2
Let j be (-4)/(7/(84/8)). Let h be (-20)/j*42/35. Suppose -5*u = x, 2*x - h*x = 2*u. Solve -4*s = -x*s for s.
0
Let c = -1484 - -1492. Solve c*z = 25 - 41 for z.
-2
Let y = 3 + 1. Suppose -5*v + y*v = -2. Suppose n + n - 4*c = -10, 2*n - c = 5. Solve 0 = -3*z + n - v for z.
1
Let w(i) = 169*i - 12*i**2 - 75*i - i**3 - 9 - 82*i. Let c be w(-13). Solve -3*z = z - c for z.
1
Suppose 11*d - 10*d - 2 = 0. Solve -7*s = -d*s - 10 for s.
2
Let l be 1/1*(3 - -1). Suppose 4*m + 5*f + 0*f + f - f = 0, 0 = -f. Solve m = l*z - 3*z + 2 for z.
-2
Suppose -4*u = 3*b - 17, -4*u + 17 = -5*b - 8. Suppose 0*c = -c - 4*y + 2, 5*y + 20 = -5*c. Let h = c + 6. Solve h = -5*l - u - 5 for l.
-2
Let y = -19 + -5. Let l(i) = -i**2 - 6*i - 7. Let a be l(-5). Let q be 8*3/y*a. Solve -2*g - q*g - 16 = 0 for g.
-4
Suppose 0 = k - 0 - 4. Suppose -4*q - 1 = p, k*p - 3*p = -5*q - 1. Solve 5*x + 5 - 10 = q for x.
1
Let l be (-3)/(-2)*28/(-9)*3. Let a = l - -16. Solve -3*f = a*f for f.
0
Let o be (64/(-80))/(2/(-5)). Let q = -233 + 240. Solve 0 = o*n - q*n for n.
0
Let z(y) = -y**2 + 2*y + 4. Let k(t) = -t**3 + 5*t**2 - 3*t - 2. Let n be k(4). Let i be z(n). Solve 20 = -i*h - 0*h for h.
-5
Suppose 0 = 3*x + 2*t - 7, -4*x = -4*t + 7 - 23. Solve x - 13 = -2*i for i.
5
Let n = 4 + -1. Let k be -2 + (1 - (4/(-2) + -3)). Suppose 6 = 5*q - 3*l, -4*q + 6*q = k*l + 8. Solve q = -m + n*m for m.
0
Let h be (-2 - (-66)/18) + (-1)/(-3). Let g be 1 + -3*7/(-3). Let d = g + -8. Solve 3*u + h*u - 10 = d for u.
2
Let q = -23 + 61. Let i = 41 - q. Solve -i*p + 6*p = -6 for p.
-2
Suppose 0 = k - 227 + 205. Solve 2 = -k*j + 21*j for j.
-2
Let o = -51 - -58. Solve -5*t = 8 + o for t.
-3
Let k be 45 + (0 - (-8)/(-8)). Solve -46 = -u - k for u.
2
Let g(b) = 38*b**2 + 13*b - 64. Let o be g(3). Solve o*p = 319*p - 2 for p.
1
Suppose -p - 2*v - 40 = 0, 3*v = -p - 0*p - 44. Let c = -20 - p. Solve 0 = -z + 4*z + c for z.
-4
Let q = 19 + -6. Let s = -10 + q. Solve -5 = -s*u + 1 for u.
2
Suppose 13 = 4*d + 5, q = -d + 2. Solve 5*g = -q*g + 15 for g.
3
Let a(y) = -y**2 + 8*y + 17. Let x be a(7). Let p = x - 9. Let t(q) = q - 1. Let i be t(4). Solve -i*m + 3 = p for m.
-4
Suppose 2*u + 52 = -56. Let i be 12/u + (-362)/(-9). Let m be (48/i)/((-2)/(-10)). Solve m = 4*a + 18 for a.
-3
Let s(m) = -m**2 - 5*m + 1. Let h be s(-4). Let c be (-82)/(-20) - (2985/(-150) - -20). Solve -3*d = -c - h for d.
3
Let i = -1562 + 1572. Solve -4*k + 6*k = i*k for k.
0
Suppose c - 18 + 15 = 0, 0 = 3*v + 3*c - 132. Solve -36*i + 15 = -v*i for i.
-3
Let x(q) = -q**2 + 8*q - 13. Let y be x(5). Suppose y*g - 3*g - 2*g = 0. Solve u - 2 = -g for u.
2
Let c(d) = -d**2 - 13*d + 9. Let p be c(-13). Solve p*a - 40 = a for a.
5
Let d(z) = -5*z**3 - 1. Let i = 12 + -13. Let c be d(i). Solve c*x + 3 = 3*x for x.
-3
Let q = 30 + -46. Let b = q - -19. Let s = 18 - b. Solve -4*x - s = x for x.
-3
Suppose 2*u + 0*u = -160. Let d be (u/(-30))/((-4)/(-6)). Let x(a) = -a + 1. Let c be x(-3). Solve d = c*s - 0 for s.
1
Let t = 340 - 335. Solve 16 = -t*r + 16 for r.
0
Let h be 2/6 + -4*1255/(-60). Let g = h - 84. Suppose -u - 13 + 5 = 4*l, 4*u = 4*l + 8. Solve g = 3*x + 3 - u for x.
-1
Let f = 8 - 1. Suppose -f*o = -13*o. Solve -4*p + p + 6 = o for p.
2
Suppose -14 = 5*f + 3*p - 108, -2*f + 49 = 5*p. Solve -f = -5*g - 7 for g.
2
Suppose -c - 5 = -9. Suppose -3*f - 15 = 3*y, -y + f = c*f + 3. Let t be (0 - -3)/y*-4. Solve -t = v + v for v.
-1
Let d be (3 - 7/2)*-28. Let c be (-16)/(-28)*d/4. Solve -4*w + c = -18 for w.
5
Let h(j) = -j**3 + 26*j**2 + 11. Let d be h(26). Solve 6 = -17*t + d*t for t.
-1
Let k be 2 + 3099/9 + 76/114. Solve 5*x - 367 = -k for x.
4
Suppose 0 = -r - l + 10, 4*r - 14 = 4*l + 26. Suppose r + 5 = 5*i. Solve -q = i*q for q.
0
Suppose 3*h + 6 = 9. Solve -h = p - 6 for p.
5
Let n be (-279)/62*(-4)/6. Solve -5*q + 23 - n = 0 for q.
4
Suppose -3*t + t = -4. Let k(o) = t + 0*o + o - 3. Let v be k(2). Solve -j + 6 = v for j.
5
Let v = 47 + -45. Solve -v*t + t + 4*t = 0 for t.
0
Suppose -4*x - 157 + 28 = -3*z, 3*x + 204 = 5*z. Solve z*s = 44*s for s.
0
Let j be (0/2)/1*1. Suppose -2*t + 0 = -8. Solve j = t*q - 3*q + 5 for q.
-5
Let s = -48 + 22. Let f = -14 - s. Solve -f - 3 = -3*r for r.
5
Let d = 11 - 6. Suppose 3*a + 2*p = -p, -4*a + p + 15 = 0. Suppose -8 = a*q + d*c, 2*q + 0*q - 28 = 5*c. Solve -n - q*n - 15 = 0 for n.
-3
Suppose 0 = 2*k + 5*d - 50, 0 = 4*k + d - 110 + 10. Suppose -4*f + 9*f - k = 0. Let x(m) = 2*m**2 + 3*m + 3. Let o be x(-2). Solve -o*z + f = 25 for z.
-4
Suppose -4*u = 2*n + 124, -n - u = -3*u + 58. Let o be (n/25)/(1 + 7/(-5)). Solve 5 = -r + o for r.
1
Let l = 388 + -383. Solve -u - 6 = -l for u.
-1
Suppose 5*v = 4*s + 52, s + 34 = 3*v - 0. Solve 0*k - 3*k = v for k.
-4
Suppose -13*l + 8*l - 17 = -2*w, -5*l + 38 = 3*w. Solve 14*c = -45 - w for c.
-4
Let n = 77 - 51. Suppose 2 = -4*u + n. Solve 0*j - 2*j = -u for j.
3
Let z be (-60)/(-33) - (-18)/99. Solve v + 2 = z*v for v.
2
Suppose -42 = 4*l - w - 65, -5*l 