w. Let c be z(7). Let o be 20/12 + (-1)/c. Solve a = -o + 1 for a.
-1
Suppose 0 = 4*a - 86 + 26. Let w be (-2)/(-10) - 3/a. Suppose 2*k - 5 = 3. Solve w - k = 2*n for n.
-2
Let h = -45 + 45. Solve -2*v + 6*v - 4 = h for v.
1
Let r be 1/((-3 - -2)/(-2)). Solve -r*x - 4 = -x for x.
-4
Let a(t) = t**2 + 4*t - 19. Let s be a(-7). Solve -s = -5*p - 17 for p.
-3
Let i be 4/14 - 26/(-7). Suppose -s - 6 = -i*s. Suppose 0 = s*f - 0*f - 4. Solve j = -f*j for j.
0
Let l(k) = -k - 3*k - 2*k - 7 + k**2. Let m be l(-3). Solve -y + m = -5*y for y.
-5
Suppose s = 3*s - 3*j - 13, j = -3. Solve -2 = 4*z - s*z for z.
-1
Let b = 30 + -13. Let k = b - 14. Solve -k = -q - 6 for q.
-3
Suppose -i = -4*i - 6. Let b(f) = f**2 + f + 2. Let s be b(i). Suppose 0 = t + g + 1, 3*t - s*t = 5*g + 17. Solve t*q - q = 2 for q.
1
Let z = 35 - 34. Let k(p) = 3*p + 1. Let i be k(2). Solve -2*v = z + i for v.
-4
Suppose -n = 5*i - 19, 5*i - 5*n = 2 + 23. Suppose 0 = -3*v - 1 + 7. Let r be (12/9)/(1/3). Solve -v*a = i + r for a.
-4
Suppose 1 = -v + 3. Solve v*c - 4*c = 0 for c.
0
Let c(o) = -o**3 - 11*o**2 - o - 8. Let p be c(-11). Suppose 4*a = 2*a + 2. Solve -n + a = p for n.
-2
Let w(u) = -3 - u + 4 + 0. Let g be w(-5). Solve h = -h - g for h.
-3
Let t be 7/(-28) + 2/8. Suppose -3*f = j + 8 - 3, t = -3*f - 6. Suppose s + 5*p = 28, 5*s + 6 - j = 4*p. Solve 12 = 3*o - s for o.
5
Suppose 5*o - o - 8 = 0. Solve -4*b + 10 = -o*b for b.
5
Let k(s) = -s**2 + 9*s - 2. Let m be k(7). Suppose -5 = -4*a + 5*a. Let r = 8 + a. Solve r*v - 3 = m for v.
5
Let k(h) = -h**2 + 11*h - 13. Let p be k(9). Solve -f = -0*f + p for f.
-5
Suppose 5*h - 5*y = 25, 4*h + 4*y + 20 = 8. Let d be 19*(1 + 0)*h. Solve -1 - d = -4*r for r.
5
Let g = 16 + -13. Solve -3*t - g + 18 = 0 for t.
5
Suppose -5*h + 4*h = -9. Suppose -5*w = -h*w + 8. Solve 7*v - 5 = w*v for v.
1
Let x be ((-24)/10)/((-12)/30). Solve m = x*m for m.
0
Let k(p) = p**2 + 14. Suppose 0 = 5*n + 3*l, n - 3*l = 3*n. Let c be k(n). Solve 0 = 4*v + 6 + c for v.
-5
Let s(h) = -h**2 + 8*h + 4. Let y be s(5). Let b = -10 + y. Solve 7*j + b = 4*j for j.
-3
Suppose -205 + 79 = -14*r. Solve -r = -2*b - 5 for b.
2
Suppose -15 = -3*o - 0*o. Suppose o*l - 7 = -g + 18, -55 = -3*g - 5*l. Suppose 0 = 2*n - 2*f - 7 + 1, 0 = 5*n - 2*f - g. Solve 13 + n = -4*s for s.
-4
Let x be ((-3)/(18/(-4)))/(3/9). Solve 3*d = 2*d + x for d.
2
Let w = -97 - -152. Suppose -d - w = -3*n, n - d = 15 - 0. Suppose -4*s + 1 = -11. Solve 2*z + s*z = n for z.
4
Suppose 0*w + 3*w = 6. Suppose 2*l + 0*d - 8 = -2*d, -w*d + 14 = 3*l. Suppose 2*f - l = -5*i + 9, -2*i + 6 = 2*f. Solve r - 8 = i*r for r.
-4
Suppose -2*b + 11 = p - 9, -3*b - 5*p + 30 = 0. Solve -b + 4 = 2*n for n.
-3
Suppose 0 = -0*f - 5*f + 645. Suppose 5*s - f - 506 = 0. Suppose 4*h = s - 27. Solve -2*z = -7*z - h for z.
-5
Let m = -7 + 11. Let w = m - 4. Let i be -1*(w + -2 - 2). Solve 0*v = i*v for v.
0
Let q(u) = -u**3 + 6*u**2 - 5*u + 2. Let z be q(5). Solve 2*m - z = m for m.
2
Suppose -10 = -3*z - 5*o + 3, -3*o = 2*z - 7. Let h = z - -6. Solve 0 = -0*w - w + h for w.
2
Let d = 77 - 73. Let k(i) = i**3 - 7*i**2 + 5*i - 1. Let s be k(4). Let w = -17 - s. Solve w = d*u - u for u.
4
Let h(v) = -v**3 - 5*v**2 + 5*v - 4. Let k be h(-6). Solve 4*c + 6 + k = 0 for c.
-2
Let j = 2 + 3. Suppose 2 = p + 2*q, 5*p - j*q = -2*q + 75. Solve 4*u - u = p for u.
4
Let b be 2/8 + (-66)/(-24). Solve 2*a = a - b for a.
-3
Let c be 0 + -1 + 9 + 2. Suppose 3*v - 4*s - 1 = -0*s, -2*s + c = 2*v. Suppose -v*r = 4*g - 35, g - 12 - 13 = -4*r. Solve r*u = u for u.
0
Let y = 6 + -3. Suppose 0 = y*m - 2*m - 4. Solve -q = -m*q - 3 for q.
-1
Suppose 0 = 3*x + 2*x. Suppose -8 = -2*n - 4*o + 6*o, -5*n + 34 = 2*o. Let y = n + x. Solve -u = -y*u for u.
0
Suppose 8 = 2*g + 2*g. Let r(k) = -g*k + k + 4*k. Let d be r(5). Solve 2*b + d = 5*b for b.
5
Let y be 2/(-8)*10*-2. Let w(d) = d**2 - 3*d - 1. Let o be w(y). Solve -4*i - 5 = -o*i for i.
1
Let i be 0 + (-4)/16 - (-27)/12. Solve -i*q = -0*q for q.
0
Suppose 2*l - 6 = -2. Suppose 4*s = -4*m + 4, -3 - 8 = -3*m - s. Let u = 7 - m. Solve 4*p - l*p = -u for p.
-1
Let d(t) = t. Let h be d(3). Suppose 2*n + 10 = a, a = -h*a + 2*n + 22. Suppose -a*x + 2*x = 0. Solve -2*u - 2 = -x*u for u.
-1
Let r = -42 + 44. Solve 2*m + r*m = 0 for m.
0
Suppose 16 = 2*u - 0*u. Suppose 32*q - 27*q = 15. Solve -q + u = -t for t.
-5
Suppose -7*n = -2*n - 15. Let j = -1 + n. Solve 0*f + 4 = -j*f for f.
-2
Let x be 59 - 51 - (1 + -1 - -3). Let f = 1 + -1. Solve -x*i = -f - 15 for i.
3
Suppose -5*m + 50 = -5*y, -8 = -4*m - 3*y + 18. Let a be (4/m)/((-1)/(-20)). Solve b + a = -4*b for b.
-2
Suppose -4*g = -3*d - 20, -2*d + 16 = 4*g - 4*d. Let h = -1 - -1. Let z = h + 3. Solve -5 = g*m + z for m.
-4
Suppose 0 = 5*h - 0*h. Solve -2*g + h*g = 4 for g.
-2
Let p = 56 + -55. Suppose u = -0*u. Solve -v = -u*v + p for v.
-1
Let j(o) = 6 - o - 2 - o**3 - 1. Let i be j(0). Let w be 14*(0 + 4/8). Solve -2*s - i = w for s.
-5
Let y(m) = -6*m**3 - m**2 + 1. Let a be y(-1). Solve -a = 5*r + 19 for r.
-5
Suppose 6 + 2 = -2*s. Let h = s - -4. Solve h = 3*d - d for d.
0
Let g(n) be the first derivative of -n**4/4 + n**2 - n - 1. Let i be g(2). Let k be (-8)/i + 6/(-10). Solve -4*c - 11 = k for c.
-3
Let g = 69 + -29. Suppose -2*b = -4*b + g. Solve -3*l = l + b for l.
-5
Let r(y) = -y**2 + 6*y + 1. Let k be r(6). Let g be (-2)/(4/(-6)*3). Suppose -2*t + g = -k. Solve v = 2 + t for v.
3
Suppose 0 = -2*w + 3*w - 3. Solve 0 = -w*a - 5 + 11 for a.
2
Let j = -7 + 11. Suppose -2*z - 12 = z, -j*z - 26 = -a. Solve 5*w + 5 + a = 0 for w.
-3
Let c be (-2)/(-7) + (-12)/(-7). Let k be (-1)/c*(0 + -2). Solve -o = 3 + k for o.
-4
Let h be ((-34)/1*1)/(-2). Let p = -17 + h. Solve -8 + p = 2*u for u.
-4
Suppose -5*d - 40 = 5*b, 2*d - 3*b + 53 = -2*d. Let w = 15 + d. Suppose -3*n + 5 = -z, -2*n - w*z = 3 - 11. Solve 0 = n*i - i + 3 for i.
-3
Let v(u) = -7*u**2 - 4*u**2 + u**3 + 2 + 2*u**2 + 8*u. Let d be v(8). Solve y + 1 = d for y.
1
Let t = 5 + -4. Let z be t/(-3*3/(-27)). Suppose 3*i + 15 = 4*f, -z*f + 4*i = -14 - 6. Solve f*s - 4 = -s for s.
4
Let t = 2 - -1. Solve 8*i = t*i - 20 for i.
-4
Let c be (3 - 1) + (-2)/(-1). Let y be (c/4)/(3/9). Solve 2 = -5*o - y for o.
-1
Let l = -4 + 4. Suppose l = 4*f - 17 - 51. Solve 0 = -4*z + f + 3 for z.
5
Suppose 0 = -0*n - n + 5. Suppose -n*k + 12 = 2. Solve 3*h - 1 = k for h.
1
Let z = 8 + 2. Let n(o) = 2*o - 13. Let d be n(9). Suppose -d*j = -2*q + 10, 2*q + 2*j = 4*q - z. Solve 3*y - q = 2*y for y.
5
Suppose 5*f + 5*l - 185 = 0, -83 = 5*f - 4*l - 259. Suppose -q = 2*q + f. Let v be (-3)/2*80/q. Solve r = -r + v for r.
5
Suppose -5 = -3*f + 16. Let n be (-79)/(-8) - f/(-56). Solve 5*t = 3*t + n for t.
5
Let n(o) = o**2. Let a be n(3). Let m = 12 - a. Solve -m*h - 12 + 0 = 0 for h.
-4
Suppose 0*v = 2*v - 4. Let u = -2 - -4. Solve v*d = -u*d for d.
0
Let t = -11 - -17. Let h = 10 - 6. Suppose h*r - r - t = 0. Solve 5*c = r*c + 3 for c.
1
Let y = 18 - 16. Solve y*n - 12 = 6*n for n.
-3
Let w(d) = -15*d - 2. Let r be w(1). Let p = -15 - r. Solve -p*k = k + 6 for k.
-2
Suppose 2*o + 11 - 17 = 0. Solve -o = w - 4 for w.
1
Let s(f) = -5*f + 3. Let o be s(0). Solve 0 = 5*h - 2 - o for h.
1
Suppose 12 + 3 = 5*g. Let d(w) = w + 8. Let v be d(-8). Let m be -2 + v + 2 + 0. Solve g*r + r + 12 = m for r.
-3
Let k(b) = -7*b - 41. Let s be k(-6). Solve -2*o - s = 3 for o.
-2
Let u = -102 - -150. Suppose -u = -3*t - t. Solve -3*i = t - 0 for i.
-4
Suppose -5*k - 84 = -99. Let f be 2/(-8) + (-3)/(-12). Solve -k*s + f - 12 = 0 for s.
-4
Suppose -5*u - 70 = -80. Solve -6 = -s - u*s for s.
2
Let l be (-9)/72 + (-130)/(-16). Solve -j - l = -3*j for j.
4
Let p(y) = y**2 - 8*y - 6. Let g be p(9). Solve -c + 8 = -g*c for c.
-4
Suppose 5*a = 3*a + 14. Let i(f) = f**3 - 10*f**2 + 19*f - 8. Let l be i(8). Solve 3*c - a = -l for c.
-3
Let d(w) = -w**2 + 7*w + 8. Let k be d(8). Solve -5*x + 2*x + 12 = k for x.
4
Let p = 19 + -17. Suppose -s - 9 = -2*x, 2*s - 6 = -x + 1. Solve -s = -d - p for d.
-1
Let l(d) = d. Let k(f) = 3*f + 8. Let i(r) = k(r) - 2*l(r). Let h be i(-6). Solve m + m - h = 0 for m.
1
Suppose -2*u = 5*n - 13, 0*n - 3*n = -5*u - 14. Let d be (3 + -4)*(u + -1). Solve 6*b - 20 = d*b for b.
5
Suppose 0 = c + 5*g - 50, -g - 118 = -c - 2*c