e 0 = -4*u - 2 + x for u.
2
Let m = -2 + 10. Let z = -9 - -21. Suppose 4*r = m + z. Solve -r*l - 15 = -40 for l.
5
Let z be 2/7 - 100/7. Let l be (-2)/7 - 340/z. Suppose x - 4*x = -l. Solve y + y = x for y.
4
Suppose 0 = g + c - 6, -15 = 2*c + c. Suppose -2*r - g = -3*r. Suppose r = 5*a + 1. Solve -12 = a*l + l for l.
-4
Suppose p - s - 4 = 0, 0*p + 4*s + 20 = 5*p. Let i(n) = 13*n**2 + n. Let y = 1 - 2. Let b be i(y). Solve b = -4*x - p for x.
-4
Suppose -r - 3*h = -19, 2*h + 0*h = 10. Suppose -r*o + 22 + 2 = 0. Solve -o*l + 2*l - 4 = 0 for l.
-1
Let p(f) = 2*f - 2. Let v be p(3). Suppose 2*b + 5*t - t = -16, v*t = 4*b + 8. Let k = b + 4. Solve -o + 0 + 3 = k for o.
3
Suppose 3*t - 2*t + 1 = 0. Suppose 0 = -j + o - 5, 0 = 4*j + 4*o - 15 - 5. Let x = j - t. Solve 15 = 4*n - x for n.
4
Suppose 36 = 4*a + 7*k - 3*k, 5*a + 3*k - 35 = 0. Solve 0 = -a*n - 8 - 0 for n.
-2
Let g(w) = -3*w + 6 + 2*w + 2. Let s be g(6). Suppose 0*d + 3 = d. Solve d*l = 2*l - s for l.
-2
Suppose -3 = -2*s - s. Solve -s = 4*a + 7 for a.
-2
Let a be ((-2)/(-8))/(7/364). Let u be 3*(0 - (-32)/6). Suppose 4*z = u - 0. Solve 3*h - a = -z for h.
3
Suppose -j + 10 = -3*j, -4*l + 8 = 4*j. Let r be (3/(-5))/(2/(-10)). Suppose r + l = 5*p. Solve -10 = p*k + 3*k for k.
-2
Let z = 2 - 1. Let o be 0/2 + (z - -2). Solve 0*n + o = -n for n.
-3
Suppose -2*b + 2 = -2. Solve 3*h - b - 1 = 0 for h.
1
Let f = -4 - -3. Let w be (26/8)/(f/(-4)). Suppose w = -4*v + 61. Solve -4*z + 0 - v = 0 for z.
-3
Let r(b) be the third derivative of -b**4/24 - b**3 - 3*b**2. Let i be r(-6). Suppose 4*x + 3*u + i*u = 24, 4*x + 4*u - 28 = 0. Solve -x*z + 2*z = 0 for z.
0
Suppose 4*i = 44 - 8. Suppose -2*f + 5*f + i = 0. Let h be 10 - f/(9/6). Solve 0 = -b + 5*b - h for b.
3
Let i(w) be the third derivative of -w**6/120 + w**5/15 + w**4/12 - w**3/3 + 7*w**2. Let b be i(4). Solve -b*t = -t for t.
0
Suppose 3*v - 18 = -4*p, -16 = 3*p - 7*p - 2*v. Let y = p + 0. Suppose -4*i = -5*i + 1. Solve -y*d = -4*d - i for d.
-1
Let q(j) = 7*j - 1. Let g be q(1). Solve -a = -3 + g for a.
-3
Let h(a) = a**3 + 9*a**2 + 3*a + 8. Let k be h(-10). Let n be (-2)/6 + k/(-6). Solve 3*u = n - 5 for u.
5
Suppose 0 = -6*v + 3*v + 21. Solve 0 = 4*r + 23 - v for r.
-4
Let t = -9 + 12. Suppose t*m - 5*m = -20. Solve h = 3*h + m for h.
-5
Let r = 8 + -1. Let t = 7 - r. Solve t = 2*u - 0 + 10 for u.
-5
Let r = -2 - -5. Solve r = -4*l + l for l.
-1
Let d = 75 + -75. Solve 3*i + 4 + 11 = d for i.
-5
Let c be (60/(-35))/((-2)/14). Suppose c = 5*i + 2. Solve -u = i*u for u.
0
Suppose w + 2 = 2*w. Let h(u) = -2*u**3 + 2*u**2 - 1. Let b be h(-1). Solve d - w + b = 0 for d.
-1
Let w be (-2)/1 + (-5 - 0). Let x = -5 - w. Solve -4 = -x*s - 2*s for s.
1
Suppose -3*p - 75 = 2*p. Let l be 0/1*(-5)/p. Solve -3*t = -l*t for t.
0
Suppose 21*r = 18*r + 9. Solve r*m = m for m.
0
Let h be (1 - -2)*(-20)/(-12). Suppose 80 = 9*x - h*x. Solve -7*m = -2*m + x for m.
-4
Suppose 5*u + 4*q - 45 = 0, -u - u = 5*q - 35. Solve -u*f = -0*f - 15 for f.
3
Suppose 4*a - 8 = -c, c - 3*a + 3 - 4 = 0. Let y be 21/c + (-5)/20. Suppose 0*d = 4*d - 12. Solve -2*r = d*r + y for r.
-1
Suppose -b - 6*n + n - 25 = 0, 4*b = 4*n + 20. Let g = -238 + 247. Solve 3*o = -b + g for o.
3
Let b be (12/4)/(-3) + 6. Solve 3*g = -1 - b for g.
-2
Let s(o) = o**3 + 3*o**2 + 2. Let g be s(-3). Solve -15 = g*r - 7*r for r.
3
Suppose -15 - 3 = -2*l - 3*j, -4*j + 16 = 0. Solve 0 = 2*m + l + 5 for m.
-4
Let w(h) = h**3 - h**2. Let a be w(1). Solve a = f - 1 - 4 for f.
5
Suppose -7 = -h - 2. Suppose -h*y + y + 4*l + 24 = 0, 24 = 4*y + 5*l. Let w be 4/(-6)*1*-6. Solve 2*n = y + w for n.
5
Suppose 5*l = 4*l + 2. Let n = l + 0. Let h(k) = -k + 8. Let z be h(4). Solve -2 + z = n*a for a.
1
Suppose 2*o + 6 = 3*z - 7, -o - 17 = -5*z. Solve 7*j = z*j for j.
0
Let z = -60 + 66. Let a = -5 - -8. Solve -a = -t - z for t.
-3
Let h be 6/(-14) + (-413)/(-49). Solve -4 - h = 3*t for t.
-4
Let s be 6/10 - 6/10. Let t = 6 - s. Solve 3*c + 3 = -t for c.
-3
Let w(h) = -h**2 - 6*h - 3 + 0*h**2 + 0*h + 1. Let g be w(-5). Solve 2*j + g = 5 for j.
1
Suppose 4*a - 14 = 34. Suppose -22 = -5*g - 3*q, 6*g + q - a = 2*g. Solve l + g = -0 for l.
-2
Let g = -90 - -106. Solve 3*w - g = -4 for w.
4
Suppose 9*z - 36 = 5*z. Solve 4 = -d + z for d.
5
Let y = 3 + -2. Solve 0 = -5*h + y + 4 for h.
1
Let a be 0/(1 - 2/1). Let h = -10 - -7. Let b(w) = w**2 + 3*w. Let f be b(h). Solve f = -a*i - 2*i for i.
0
Let x(l) = l**3 + 7*l**2 + 6*l + 4. Let k be x(-6). Suppose 2*i = 4*r - 10, -2*r - 8*i = -k*i. Solve -7 = 3*n + r for n.
-3
Let s be (1/(5/2))/(4/60). Solve -r = -s*r + 10 for r.
2
Suppose 5*a = -4 + 24. Suppose -4 = -a*k + 76. Solve -k = -2*r - 2*r for r.
5
Suppose -11*r + 12 = -6*r + 3*y, 5*y = -3*r + 4. Solve -3*p + r = -0 for p.
1
Suppose 2*g + b = 8, 5*b = 2*g + 2*b. Suppose 0 = -g*n + 3, -9 = -r - 3*r - n. Solve r + 2 = -4*q for q.
-1
Suppose 9*l = 8*l - 3*d, 22 = 3*l - 2*d. Solve l - 5 = -j for j.
-1
Let j be -1 + 1 - (0 - 3). Suppose 0 = -4*n - 0*t - 5*t + 45, -5*t = j*n - 40. Let v = n - 3. Solve -v*y = -6*y + 16 for y.
4
Suppose -w = 3*w - 12. Suppose -3*l = -w - 0. Let r = l - -6. Solve 25 = 2*d - r*d for d.
-5
Let r be (-1)/4 - (-17)/4. Let l be 23/4 + 1/4. Solve -r*n - l = -n for n.
-2
Suppose 2*y - 29 = 4*t - 5, 20 = -4*t. Let q be 2 + (0/y)/(-1). Solve -2*s + q = -s for s.
2
Suppose 0*g + 6 = 2*w - g, 0 = 5*g. Let o be (1/w + 0)*51. Solve o - 5 = 3*k for k.
4
Let j be (-1 - 2)*16/(-3). Let a = -25 + j. Let k be (-45)/(-6)*(-12)/a. Solve k = -0*g - 2*g for g.
-5
Let z be ((-16)/6)/((-1)/3). Suppose 3*k - k = z. Suppose 0 = -k*g + 3*g + 4. Solve f = -1 + g for f.
3
Let m(q) = -4*q**3 - q**2 + q + 1. Let u be m(-1). Solve 0 = y + u*y for y.
0
Let a = -45 - -61. Solve 0 = s + 3*s - a for s.
4
Let b = -56 + 78. Let a = b - 20. Solve a + 1 = -t for t.
-3
Suppose -2 + 4 = 4*m - 2*b, 4*b = 3*m - 4. Let l be 1 + 1 + (0 - 2). Solve l*s + 2*s - 10 = m for s.
5
Let f(s) = 3*s - 6. Let t be f(3). Solve -o + t = -1 for o.
4
Suppose -3*d = m - 7, 5*m + 4*d - 24 = -0*d. Suppose -4*q + m = k - 0, 3*k + 5*q - 5 = 0. Solve 2*p = -k*p - 6 for p.
-3
Let d = 12 - -1. Suppose d*m = 12*m + 5. Let r(p) = p**2 - 6*p + 5. Let y be r(5). Solve m*k = -y*k for k.
0
Let v(t) = -t + 3. Let w be v(0). Let f be (1*-4 - w)/1. Let b = 15 + f. Solve 2 = 2*j + b for j.
-3
Suppose 3*k = 1 + 2. Let v = -1 - k. Let b = v - -3. Solve -3*x - 11 = b for x.
-4
Suppose f = 3*f - 40. Suppose 5*p - 2 + 12 = 2*k, 5*p + 25 = 5*k. Suppose -k*h = 5*m + 5, -3*h - 7 + 2 = 2*m. Solve f = -m*t + 6*t for t.
5
Suppose 0 = 2*l + l. Solve -2*t + l = 2 for t.
-1
Suppose 3*p + a + 1 = 3, -10 = -3*p - 5*a. Let d be 4 + 0 - (-1 - -3). Suppose 0 = -p*j - d*j + 16. Solve -j*i = -3*i + 15 for i.
-3
Let n = 18 - 12. Suppose 3*t = -t - 4, -9 = -4*f - 3*t. Suppose -2*h - i + 4 = 0, -f*h - 5*i = -i - 6. Solve -h = 2*x - n for x.
2
Let l be (-5)/2*(-8)/(-10). Let w = l + 6. Solve 20 - 4 = -w*n for n.
-4
Let q = -2 - -5. Let l(v) = v**2 + v - 2. Let y be l(2). Suppose 2*f = 4*f - y. Solve q*p - f*p - 2 = 0 for p.
2
Suppose 2*u = 5*y - 5, -20*u + 19*u = -y - 2. Solve u*s = -0 + 5 for s.
1
Let q(u) = -3*u - 8. Let p be 32/(-6) + 4/(-6). Let f be q(p). Let x = -46 - -46. Solve x = a + a - f for a.
5
Let y = -29 - -29. Solve y*k = k + 2 for k.
-2
Let s(r) = -r**3 + 7*r**2 - 2*r. Let a(u) = -2*u**3 + 8*u**2 - u. Let f(t) = 2*a(t) - 3*s(t). Let v be f(-6). Solve 0*h = -4*h + v for h.
3
Let q(y) = -y**3 - 7*y**2 + y + 7. Let o be q(-7). Let g be (2 - 2) + 3/3. Solve g + o = -w for w.
-1
Suppose -5*u + 4 = -11. Suppose 14 = q + 6. Suppose 0 = u*j - j - q. Solve 0*z - j = 2*z for z.
-2
Suppose -65 = n - 68. Solve n*z = 4*z for z.
0
Suppose -3*v = 6, 5*z = 2*v - 1 + 30. Solve 0*w + z = -w for w.
-5
Suppose -2*j + 9 = -5*j + 3*d, 18 = 2*j + 4*d. Solve -t + j = -2*t for t.
-1
Suppose -14*n = -11*n - 12. Solve -25 = -n*b - b for b.
5
Let b = 17 + -7. Solve -5*i + 0*i + b = 0 for i.
2
Let b(o) = o**2 + 9*o + 20. Let x be b(-3). Solve -x*c = 3*c + 20 for c.
-4
Let c = -222 - -242. Solve 0 = -g + 5*g + c for g.
-5
Let o be (1/(-1))/(-1) + -1. Suppose -m + 8 = -h, o = -3*m - 0*h - 2*h + 49. Suppose 5*n - m = 12. Solve n*u = -22 + 2 for u.
-4
Let w be 76/10 - 6/(-15). Let m = w - 8. Suppose 0 = -m*s - s