- a = -24, -y + 5*a = -0 + 15. Suppose -5*d = -1 - 9. Solve d*b - 11 = -y for b.
3
Let q = -7 - -10. Solve h = q*h - 4 for h.
2
Suppose 27 = -7*y + 4*y. Let n = y - -18. Solve 0 = 4*c - n*c for c.
0
Let s = 25 + -11. Suppose -3*o = -5*k + s, 3*o + 0*k + k = 10. Solve o*u + u = -12 for u.
-4
Let z be (-2)/3 + (-5)/15. Let f be 2/3*3/2. Let o = f - z. Solve -o*p + 1 = -9 for p.
5
Suppose 8 = -4*u + c - 6*c, 5*c = 0. Let a be (-3)/((-1)/u - 2). Let w be (-2 - -1)/(1/(-9)). Solve a*v - 1 - w = 0 for v.
5
Let p = 11 - 3. Solve 0 = c + c + p for c.
-4
Let g(o) = o**3 + 15*o**2 - o - 15. Let t be g(-15). Solve z + 7 - 8 = t for z.
1
Let m = 5 - 3. Suppose -m*k = -4*f + 10 + 2, -f + 3 = 3*k. Let r(d) = d**3 - 3*d**2 - 5*d + 5. Let a be r(4). Solve -f*z - 4 = -a for z.
-1
Let r be (7/(-2) + 3)*-10. Let b(v) be the second derivative of v**3/3 - 5*v**2/2 - v. Let n be b(6). Solve -r*x = -n + 22 for x.
-3
Let t(i) = -i**2 + 4*i - 1. Let b be t(3). Suppose 3*q - 6*v = -b*v + 3, -2*v = 0. Solve -4*y + 3*y - q = 0 for y.
-1
Suppose 0*y + 3*y - 6 = 0. Let i(h) = -2*h**2 - 3*h**3 + 4*h**3 - 4 - 3*h**3 + 3*h**3. Let q be i(3). Solve y = -q*l + 3*l for l.
-1
Let t be 6/(-4)*28/(-6). Let i = t - 4. Suppose 2*r = i*r. Solve 15 = -3*s - r for s.
-5
Suppose -4*a = 16, 5*f - 5*a - 22 = -2*a. Suppose 0*t + 1 = 4*t + 3*c, f*c = 3*t - 5. Solve 4 = m + t for m.
3
Let v = 3 - 3. Suppose v = -2*p - 5 - 15. Let r = p - -16. Solve 2*b + 0*b = -r for b.
-3
Suppose c + 2*c - 12 = -3*l, -2 = 2*c. Solve l*v = -0*v for v.
0
Suppose 4*f = -k - 0*k + 147, f + 2*k - 42 = 0. Let g be (4/(-6))/((-8)/f). Solve -6*y = -g*y + 3 for y.
-1
Let u(a) = -a**3 + 4*a**2 - 3*a + 1. Let j be u(2). Solve 4 + 2 = -j*c for c.
-2
Let f(b) = b + 2. Let k be f(3). Let o be 28/6 + (56/42)/1. Solve -4 = k*n + o for n.
-2
Suppose 0*r - 5*q + 23 = r, -2*r - 4*q + 22 = 0. Suppose 2 - r = -a. Solve a = h + 6 for h.
-5
Let g(o) = o**2 + 13*o + 3. Let i be g(-12). Let r be i/(-2) - 2/4. Solve -10 = r*b - 26 for b.
4
Let j = 0 + 2. Let m be (-4)/4*(-10)/j. Solve m*q - 14 = 6 for q.
4
Suppose 0 = -4*l - 0*l - 52. Let v = l - -13. Let u = -6 + 8. Solve v = -3*f + u - 17 for f.
-5
Let d = 29 + -19. Solve o - d = 3*o for o.
-5
Let c = -62 + 68. Solve 3*i = 6*i - c for i.
2
Suppose 3*q + 4 = 7. Solve 3*k - q = 5 for k.
2
Suppose 5*s - 1 - 9 = 0. Let v be ((-42)/5)/(1/(-5)). Let w = -26 + v. Solve -2*k = s*k + w for k.
-4
Let w(c) = 2*c - 7. Let z be w(4). Solve -21 = -4*g - z for g.
5
Suppose 2*p = -p. Suppose -3*z + 0*z + 75 = p. Solve z + 0 = -5*d for d.
-5
Let k(n) = -n**2 - 4*n - 2. Let m be k(-3). Let h(w) = 1 - w + 6 + m. Let q be h(0). Solve -q = -3*s + 7 for s.
5
Let p(c) = c + 18. Let r be p(-14). Suppose r*x + 3*d + 2 = 5*d, 25 = 5*d. Solve x*f - 3 + 9 = 0 for f.
-3
Suppose x + 4*y = 29, 0*x + 2*x = 5*y - 7. Let w be -3*(-24)/x - -2. Solve v = -v + w for v.
5
Let y = 0 - 2. Let d(l) = -7*l + 1. Let f be d(y). Solve x = -4*x - f for x.
-3
Suppose -r - 7 = -3*l - 4, l + 4 = 2*r. Suppose 5*m = -3*j + 28 + 8, 4*j + 5*m - 43 = 0. Solve j*d - 25 = l*d for d.
5
Let j(p) = -2*p**2 + 6*p + 7. Let d be j(5). Suppose -2*c = q - 25, 5*q - 13 - 97 = -5*c. Let f = d + q. Solve -f*r = -r + 20 for r.
-4
Suppose 3 = 3*r - 0. Let y be -8*((-21)/6)/r. Let s be (y/21)/((-1)/(-3)). Solve 0*x - s*x = 0 for x.
0
Suppose 0 = 2*y - 12 + 4. Solve 3*w = y + 2 for w.
2
Suppose -5*c = 9 - 29. Suppose 5*v + c*l - 43 = 0, 0 = -v - l - l + 11. Solve 2*x - 1 + v = 0 for x.
-3
Let n(t) = -t - 13. Let u be n(-12). Let w be u + (4 - (-3 - -4)). Solve 8 + w = 2*b for b.
5
Suppose -n + 6 = n + 5*x, -2 = 2*n + x. Let u be 0/((-1)/(n - -3)). Suppose 4 = d + 3*d, -4*v = -5*d + 5. Solve u*c + 2*c = v for c.
0
Suppose 2*u = 10, 0*d + 3*u - 9 = 2*d. Solve -d = 4*a - 7*a for a.
1
Suppose -238 + 70 = -24*q. Let v(i) = i**2 + i. Let a be v(-2). Solve q = a*k - 3 for k.
5
Suppose 0 = -4*x + 3*j + 3 - 9, -3*j + 6 = -5*x. Let g = 4 + 2. Solve x = -g*c + c for c.
0
Let i be (-1 - (2 + -3))/1. Suppose i = -w + 1. Solve w = 3*j - 2*j for j.
1
Let p be 5 - (3 - (-1 - -2)). Let g = p - 3. Solve g = -5*r - 0*r - 20 for r.
-4
Let k = 1 + -2. Let i(o) be the third derivative of o**5/12 - o**4/24 - o**3/6 - 3*o**2. Let r be i(k). Solve -2*y + r*y + 12 = 0 for y.
-4
Let r be 468/32 + 6/16. Solve 0 = -2*f - f + r for f.
5
Let g(o) = o**3. Let h = 5 + -4. Let i be g(h). Let z = 0 + 2. Solve -q - i = z for q.
-3
Suppose -3 = -q + 4. Solve -5*t - q - 8 = 0 for t.
-3
Let o(s) = s + 16. Let v be o(-13). Solve -v*k - 2 = -5*k for k.
1
Let i(o) = o + 26. Let q be i(-14). Solve 0 = 2*r - 5*r - q for r.
-4
Let d be 3*(-3)/(27/(-6)). Solve 0 = -4*j - d - 2 for j.
-1
Let a be (4/(-10))/(5/(-25)). Suppose 2*p + 14 = 2*j, 10 = -j - a*p + 2. Solve 2 + 4 = j*c for c.
3
Let b(q) = q**3 - 3*q**2 - 4*q + 2. Let c be b(4). Let r = 4 + c. Suppose -v + r = 3. Solve -4*u - 4 = -v*u for u.
-4
Let k be (1/(-3))/((-9)/54). Solve -o = -k*o - 1 for o.
-1
Let l(w) = w - 3. Let x be l(7). Suppose -4*y - 7 - 10 = 5*i, 0 = y + 4*i + 18. Suppose -y*b - 9 = j - 3, x*j = 2*b + 16. Solve -j*g = 3*g + 10 for g.
-2
Let l = 15 + -13. Suppose -2*f = -0*f - 6. Solve f*v = -l - 13 for v.
-5
Let x = 9 + -5. Suppose -x*z - 4 = -5*z. Suppose -4*g + 2*b = -b - 5, -2*b = -2. Solve 0*q = -g*q - z for q.
-2
Let v(n) = -n**2 - n + 2. Let r be v(-2). Solve r = 4*q + q + 5 for q.
-1
Suppose g - 22 = -3*g - 2*m, 0 = 3*g + 5*m - 34. Suppose -4*t + t + 30 = g*v, v = t. Solve 3*y - v + 14 = 0 for y.
-3
Suppose -8 - 12 = -5*p. Solve 3*f + p = f for f.
-2
Suppose q + 1 = 4, -5*q = -5*b. Let v(o) = -o**2 + 5*o - 4. Let d be v(b). Solve 16 = -d*k - 2*k for k.
-4
Let v be (0 - -1)/(2 - 3). Let x be 11 - (0 - (2 + v)). Solve 3*p + x = 3 for p.
-3
Suppose -3*l - 6 = -4*f + f, f - 20 = -5*l. Suppose l*y + t - 6 + 1 = 0, 3*t + 3 = 0. Solve -b - y = -0 for b.
-2
Suppose 0 = 4*p - 0 - 12. Solve 0 = -p*d - 2*d + 15 for d.
3
Let d(f) = -f + 1. Let p(z) = -z. Let c be p(-5). Suppose -5*r = -10*r + c. Let a be d(r). Solve -h + 5 = -a*h for h.
5
Suppose -2*h + 6 = -3*h + 3*z, -h = 5*z - 10. Let d = 2 - h. Solve -4*j + d = 14 for j.
-3
Let p(k) = -k**3 + 2*k**2 + 3*k + 2. Let c be p(3). Solve 0 = 2*h - 0*h - c for h.
1
Suppose i = 5*i. Suppose -r + 3*r = i. Solve r = -5*t + 15 + 5 for t.
4
Suppose -5*i + 4*q + 18 = q, 0 = 3*i - 3*q - 6. Solve -2*y = -4*y - i for y.
-3
Let h = 21 - 23. Let j = 3 - h. Solve -j*s = -3*s + 8 for s.
-4
Let h = -24 - 324. Let f be 2/12 + h/(-72). Solve 0 = 4*c - f - 11 for c.
4
Let f(g) = 6*g**2 - 3*g - 1. Let d = -1 - 1. Let t be f(d). Suppose 0 = -3*v - i + t, 4*v = i - 4*i + 37. Solve 0 = -4*j + 26 - v for j.
4
Suppose -k = -3*l + 4 - 21, -18 = -4*k + 2*l. Let z = 3 - k. Suppose -z = -n, -2*n + 1 = 4*j - n. Solve -9 = 3*w - j*w for w.
-3
Suppose d - 5*d - 3*z + 12 = 0, -d - 4*z + 16 = 0. Solve 2*f = -d*f + 10 for f.
5
Let v be (-2)/4*(-5 + 5). Solve 0 = -a - v + 2 for a.
2
Let g(b) = -b**2 + 11*b - 15. Let x be g(9). Solve -x*r + 9 = 3 for r.
2
Let w(i) = i + 4. Let r be w(-2). Solve 7 + r = -3*k for k.
-3
Let f(c) = -c**3 + 11*c**2 - 10*c + 2. Let g be f(10). Solve 0 = g*s - s - 4 for s.
4
Suppose -3*y + 6 = c, 5*y = 2*y - 3*c. Solve 4*o + 5 + y = 0 for o.
-2
Suppose -2 = -s + 3*x, 2*s + 3*x = 2*x + 4. Let z(f) = 5 - s*f - 2*f + f - f**2. Let o be z(-4). Solve 0 = -2*y + o + 1 for y.
1
Suppose 5*o - 11 = -2*l + 129, 4*o - 3*l = 135. Suppose -5*j + 40 = -o. Solve j = 5*a - 11 for a.
5
Let x be (6 + (1 - 4))*1. Let n(m) = -m**3 + m**2 + m - 2. Let o be n(0). Let b(t) = -t**3 - 3*t**2 - 2*t. Let v be b(o). Solve v = 2*d + x*d + 10 for d.
-2
Let o be (0 - (-4)/(-12))*-9. Solve -i - 1 = o for i.
-4
Let w be 2*((-6)/4 - (-30)/12). Solve 4 = q + w for q.
2
Suppose 0 = 2*n - n + 4. Let h be ((-14)/(-21))/(n/(-6)). Solve -11 = -3*k + h for k.
4
Let c be (0 + 4)*22/4. Let v = c - 11. Let q(a) = -a**3 - 6*a**2 + 8*a + 7. Let b be q(-7). Solve b = 6*r - v*r + 5 for r.
1
Suppose 0*b = 5*b - 30. Suppose -12 = -3*j + 2*t, -23 + 7 = -5*j + 2*t. Solve 4*u - j = b*u for u.
-1
Suppose 39 = 5*i - 2*i. Suppose 42 = 4*j + 5*r, i - 3 = j + r. Let s be (8/(-6))/((-2)/6). Solve 0*g = s*g - j for g.
2
Suppose -8*s + 3*s = 2*y - 33, -y = 2*s - 14. Solve y = -4*a - 0 for a.
-1
Let d = -205 + 100. Let c be (-329)/d + 2/(-15). So