 Solve 0 = 5*j - u*j for j.
0
Let r(a) = -16*a + 95. Let p be r(4). Solve -28*l + 12 = -p*l for l.
-4
Let i = 1764 + -1748. Solve -3 = -i*u - 19 for u.
-1
Suppose 2*d = -3*q + 7, -4*q + 12 = 4*d - 0*q. Suppose d*w + 3*w - 15 = 0. Suppose 0 = 5*u + a - 102, 0*a + w*a = 6. Solve -3*x = 2*x + u for x.
-4
Let b = 4 - 2. Suppose 19 = 5*t + 3*z, -4*t + 28 = b*z - 6*z. Suppose 12 - 2 = 2*f, -50 = -5*s + 5*f. Solve t*d + s = -0*d for d.
-3
Suppose 2*a - 3*a - 10 = 0. Let r = -9 - a. Let y(j) = -j - 1. Let o be y(-4). Solve r = o*n - 2*n for n.
1
Let u = -42 - -39. Let o be 6*((-10)/4)/(u - -2). Solve 1 = 4*g - o for g.
4
Let y = -847 + 865. Solve 4*x = 13*x + y for x.
-2
Let f = 360 - 355. Solve -f*g - 8 = -g for g.
-2
Let o(l) = -13*l**3 - l**2 + 3*l - 2. Let a be o(1). Let q = a - -25. Suppose 0 = -2*p + 4*d + 12, 2*p = -0*p - 4*d - q. Solve 0 = 5*u - p - 5 for u.
1
Let u be -4*(-2)/8 - (4 - 31). Solve 0 = 3*n - 34 + u for n.
2
Let x be (-10)/6 - 4/12. Let q(l) = -l**3 + l**2 + 6*l + 3. Let i be q(x). Let d be ((-4)/i)/((-7)/21). Solve 0*k = d*k - 4 for k.
1
Let r = -32 + 51. Let k = 29 - r. Suppose 3*g - k = g. Solve 0 = -g*o - 4 - 1 for o.
-1
Suppose 0 = -10*f + 6*f + 28. Let s be (-72)/30 + (-2)/(-5). Let a = f + s. Solve 15 + 5 = a*x for x.
4
Let c = -3 + 4. Let a(w) be the third derivative of w**6/120 - w**5/60 - 5*w**4/24 + w**3/3 + 5*w**2. Let l be a(3). Solve -4 - c = -l*t for t.
1
Let b(g) = 13*g**2 - 104*g + 8. Let m be b(8). Solve -3*u - 25 = -m*u for u.
5
Let l(i) = -i + 8. Let a be l(6). Let c be 2/(-6)*a*-12. Suppose -d + c = 3*d. Solve -7*p = -d*p + 10 for p.
-2
Let k be (-10)/(-6)*(4 + -1). Let d(w) = w**2 + 148 - 298 - 4*w + 154. Let z be d(k). Solve 0 = -i - 2*i - z for i.
-3
Suppose -92 = -10*d - 372. Let l = 30 + d. Solve -l - 3 = 5*k for k.
-1
Let i = -59 + 62. Let s(w) = -2*w - 3. Let p be s(-3). Let h(g) = -g**3 - g**2 + 2*g + 2. Let a be h(-2). Solve p*q = a*q + i for q.
3
Let d(v) = -9*v**3 - 15*v**2 + 33*v + 9. Let s(k) = -5*k**3 - 7*k**2 + 17*k + 4. Let f(x) = -6*d(x) + 11*s(x). Let m be f(12). Solve m*c = c for c.
0
Let w be 44/(-264) + -19*(-2)/12. Solve -w*g = -0*g - 12 for g.
4
Suppose -52*r = 4*r - 7056. Solve 101 = -5*m + r for m.
5
Let l be (-191)/(-4) - (-4)/16. Suppose -47*q + l*q - 3 = 0. Solve -3*d + 2*d + q = 0 for d.
3
Suppose 292 = 50*m - 108. Suppose -9 = -5*v + 2*v. Solve 5*g + m = v for g.
-1
Suppose -6*r - 44 + 74 = 0. Solve r*m - 5 - 5 = 0 for m.
2
Suppose 1 = -4*h - d + 3, 4 = -h + 2*d. Let a(t) = t**2 + 25. Let i be a(h). Let f = i - 23. Solve -k - f*k = -9 for k.
3
Let h = -6 - -8. Let u = h + 1. Suppose -u*o = o. Solve 4*n - 1 + 5 = o for n.
-1
Suppose -3*r + 16 = -r. Let m(g) = g - 3. Let i be m(r). Suppose -i*z + 18 = -7. Solve -5 - 15 = z*k for k.
-4
Let m = -86 - -150. Suppose -2*t = -0*t + m. Let d = t + 62. Solve 4*i - 10 + d = 0 for i.
-5
Let g(x) be the first derivative of x**4/24 - 5*x**3/6 - 2*x**2 + 9. Let v(i) be the second derivative of g(i). Let r be v(5). Solve r = 2*z - 6*z for z.
0
Let l be ((-15)/(-6))/((-25)/(-60)). Solve 0 = c + c - l for c.
3
Suppose -11*l = -29*l + 450. Solve 0 = -9*y + 4*y - l for y.
-5
Let l(b) be the first derivative of -b**4/4 + 3*b**3 + b**2/2 - 5*b - 391. Let h be (-1 + 10)*(0 - -1). Let d be l(h). Solve d*m - 6 = 2 for m.
2
Let k = -120 - -124. Solve -k*x + 4 = -0 for x.
1
Suppose -4*o - 4 = -2*z, 2*o = -4*z + 73 - 25. Solve -z*i = -27 + 67 for i.
-4
Let s = 18 + -15. Suppose 0*r - s*r = -12. Suppose -r*n = 4*g - 8, -2*n + 5*n = 5*g - 2. Solve -6 = -l - n for l.
5
Suppose 0 = 2*i - 0 - 4. Suppose 12 = i*w + 6. Solve 0 = -2*o + 3*o - w for o.
3
Suppose 3*k = -3*n + 21, -3*n + 27 = 5*k + 2. Suppose -2*t + 3*y + 3 = 0, n*t + 2*y = -2*y - 4. Suppose t = -11*z + 6*z. Solve -w - w = z for w.
0
Let x = -2250 + 2271. Solve 27 + 36 = x*r for r.
3
Let b be (-1)/6 + 451/6. Let f = b + -41. Let y = f + -21. Solve -2*z - y = -5 for z.
-4
Let a = 1 + -2. Let q(b) be the third derivative of -b**6/8 + b**5/60 + b**4/24 + 7*b**2. Let u be q(a). Solve -m = 2*m - u for m.
5
Let k(o) = o**2 - o - 11. Let j be k(6). Let m = 26 - j. Solve m*g = 5*g for g.
0
Let z be (4/(-2))/((10/15)/(-2)). Let d be (z/10)/(16/(-20) + 1). Let s(j) = j**3 - 5*j**2 - 3*j - 2. Let b be s(6). Solve d*o = -b + 4 for o.
-4
Suppose 3*c + 3*m = 81, -3*m + 58 = 2*c - 0*c. Let a = c + -21. Let b(j) = j - 18. Let o be b(20). Solve -a*t + 2 = -o for t.
2
Let z(i) = -9*i + 2*i + 4*i + 0*i - 32. Let a be z(-12). Solve -4*d = -0*d - a for d.
1
Let m be 13/26 + 2/(-4). Solve -6*t + t = m for t.
0
Let h = 184 - 164. Solve 6*l = 11*l - h for l.
4
Suppose 4*f + 308 - 328 = 0. Solve 10*a - 25 = f*a for a.
5
Let s = 202 + -198. Solve -s*w + 21 = 9 for w.
3
Let c be -10 + 22 - (1 + -1). Let l be (1 + (-2 - -5))/2. Solve -l = 5*d - c for d.
2
Let s(q) = -2*q**2 - 35*q - 6. Let n be s(-17). Suppose -101 = -n*j - 35. Solve 5*w = j*w + 5 for w.
-5
Let j(u) be the third derivative of -4*u**2 + 1/30*u**5 + 7/6*u**3 + 0 + 0*u + 3/8*u**4. Let l be j(-4). Solve l + 0 = a for a.
3
Suppose o = -5*s + 10 + 9, 2*s = 8. Let x(d) = -d - 3. Let r be x(o). Let v be (-8 - r)*(-1)/3. Solve -v*g + 5*g = 15 for g.
5
Suppose -5*u = 25, -2*f + 6*f - 2*u - 18 = 0. Suppose -4 = 2*k - 4*p, -f*k = -2*p + 7*p - 23. Solve -k*q + 0 = 16 for q.
-4
Let c(r) = r**2 - 7*r - 10. Let z be c(8). Let x(o) = -3*o - 1. Let u be x(z). Suppose 0 = u*v - v. Solve v = h + 1 + 2 for h.
-3
Let z(g) = -5*g - 1. Let a(b) = 14*b + 3. Let u(o) = -6*a(o) - 17*z(o). Let s be u(4). Let h be (2 - -6) + (-1)/(4/12). Solve -s*p = -8*p - h for p.
-1
Let g = 2191 + -2186. Solve 4*d - 9 = -g*d for d.
1
Let y be ((-2)/(-3))/((-8)/(-24)). Suppose 5*a + y*p - 10 = 0, -3*p + 3 + 5 = 4*a. Solve x + a*x = -15 for x.
-5
Let d = 2 + -1. Suppose -5 = -3*x + d. Suppose -5*b + x*j = 7*j - 55, 0 = b - 5*j - 41. Solve -7*m + b = -3*m for m.
4
Let s = -44 - -46. Suppose -s*q - 4*q = 0. Solve -4*o + 6 - 18 = q for o.
-3
Suppose 2*w - 8*w = -18. Suppose 28 = w*m + 4. Solve -3*u - 7 = m for u.
-5
Let y(m) = -m**3 - 15*m**2 + 52*m - 36. Let k be y(-18). Solve -2*r - 3 - 3 = k for r.
-3
Suppose 5*z + 65 = 5*x - 0*z, -2*z = 8. Suppose -5*p + x*p = 0. Solve f + f = p for f.
0
Suppose -21*x - 19*x = 0. Let v = -3 - -6. Solve -v*d + 3 - 15 = x for d.
-4
Suppose 28*n - 23*n = -2*f + 33, -n = 3. Solve y + 7*y + f = 0 for y.
-3
Suppose -9*c - 196 = -16*c. Suppose -c*h = -23*h - 20. Solve h*s - 1 + 9 = 0 for s.
-2
Suppose 0 = 3*a - 3*c + 11 - 14, a = 4*c - 2. Suppose 3*j = 2*z - 0*z + 19, -a*j - z + 15 = 0. Solve -j = -2*t + 3 for t.
5
Let r be 12/8*(-1 + 5). Let z(k) be the second derivative of k**4/12 - 5*k**3/6 - 2*k**2 - 7*k. Let t be z(r). Solve -t = -3*l + 13 for l.
5
Let u(q) = -q**3 + 45. Let b be u(0). Let x = b + -25. Solve -5*c - 5 = -x for c.
3
Let d be 27/18*-4*8/(-6). Solve -40 = -d*j - 2*j for j.
4
Let a(g) = g - 1. Let z(v) = -2*v + 3. Let j(h) = h - 7. Let t be j(5). Let y(c) = t*z(c) - 6*a(c). Let d be y(-2). Solve -2*f + d = -6 for f.
5
Suppose -z + 10 = 8. Suppose 2*r - 12 = 2*m, 4*r - 34 = z*m - 10. Solve -4*y + 2 = -r for y.
2
Let a = -829 + 837. Solve 27 + 5 = -a*h for h.
-4
Let y = 286 + -283. Solve -y*q = -11 + 20 for q.
-3
Let c(m) = -m**3 + 5*m**2 - 4*m + 11. Let l be c(4). Solve -l*g = -2*g - 45 for g.
5
Let t(k) = -14*k**3 + 35*k**2 - 50*k - 14. Let q(l) = -5*l**3 + 12*l**2 - 17*l - 5. Let p(c) = 11*q(c) - 4*t(c). Let a be p(6). Solve 0 = -r - a + 3 for r.
-4
Let g(k) = -3*k - 8. Let m be g(-4). Solve -33*p = -32*p + m for p.
-4
Let g(w) = w**2 + 7*w + 10. Suppose 5*b = 9*b + 20. Let j be g(b). Solve -6*y + 3*y = j for y.
0
Let w be 3*2 + (-11 + 12)*-6. Solve w = 6*q - 29 - 1 for q.
5
Suppose -2*g + i + 67 = -31, 0 = -5*g + 5*i + 255. Let x = -22 + g. Solve d + 4*d = -x for d.
-5
Let s(z) = -3*z**3 + z**2 - 1. Let x be s(-1). Suppose -3*b + x = 0, 0*b - 4*b + 22 = 3*k. Suppose 2*w - k = -w. Solve 5*d - w = -7 for d.
-1
Let c = 208 - 200. Solve 0 = -2*o - c + 4 for o.
-2
Let g be 2*5/((-10)/(-11)). Let v = 21 - g. Solve o - v = -o for o.
5
Suppose 45*v = 44*v. Solve -4*o + 6 + 10 = v for o.
4
Suppose 4*x - 1 = 3. Suppose -x = 9*w - 1. Solve r + r = w for r.
0
Let s = -13 - -33. Suppose -3 - 23 = -4*f + 2*v, -4*v + 18 = 2*f. Solve 3*w = f*w + s for w.
-5
Let u(i) = i*