Let w be f(3). Solve -9 = -3*n, o = -w*o - 5*n + 17 for o.
2
Let t be (35/21)/(3/9). Suppose 107 = t*p - h, 17 + 14 = p + 3*h. Suppose 6 + p = 2*j. Solve 4*y = 2*y - 2*q - j, 5*q + 27 = -3*y for y.
-4
Suppose -7*k = -6*k + 25. Suppose 15 = 4*c - 25. Let r be ((-6)/c)/(5/k). Solve -2*z + 4*f = -10, -3*z - r*f + 0 = 3 for z.
1
Let q be ((-24)/16)/(2/(-12)) + -4. Solve 0 = -m + q*j - 11 - 14, -8 = 4*m + 3*j for m.
-5
Suppose 48 = 5*j + j. Solve -n + 6 = q + 10, -q - j = 5*n for q.
-3
Let x be 2 - (64/28 - (-4)/(-14)). Let n be (2/(-5))/((-2)/10). Solve 3*c - 13 = -n*f - 3, c = x for f.
5
Suppose -4*h + 0 = -s - 12, -3*s + 28 = 4*h. Suppose 0 = -2*r - 2*w + 2, 3*r - 4*w + 8 - 18 = 0. Solve 3*x = v + 13 - r, -h*x + v = -14 for x.
3
Let n(j) = 0 + j**2 - 7*j - 5 + 5*j + 1. Let l be n(4). Suppose 0 = -4*o + 8, -3*o + 4 + 2 = -l*b. Solve -2*w = -b*c - c + 5, 4*c - 2*w - 20 = 0 for c.
5
Let i = 1 + 4. Suppose -i*t = -t. Let h be -2 + 4 + (1 - t). Solve -o = h*g, -3*o - 2*o = -g for o.
0
Suppose -1 = -b + 3. Let l be (-2)/(-4)*7*10. Let g be (4/(-14))/((-5)/l). Solve -g*f = 8*k - b*k - 10, 2*k = 10 for f.
-5
Let i = 116 - 144. Let h = 31 + i. Solve 0*q - 13 = -3*q + 5*z, h*z + 19 = -q for q.
-4
Suppose 4*r = 10*i - 6*i + 136, 4*i = -5*r + 134. Let t be (-13)/((-104)/r) - (-6)/(-8). Solve 0 = -n + 4*p - 3, 3*n + t*p - 2 = 4 for n.
1
Let l(n) = -5*n**2 + 16*n - 13. Let a(o) = -2*o**2 + 5*o - 4. Let d(x) = 11*a(x) - 4*l(x). Let r be d(-5). Solve -r*b + 2*k + 6 = -k, 4*k - 4 = 0 for b.
3
Let u be 2/(-4) + 5/30*57. Suppose -14*x + 15 = -u*x. Solve 2*l = 2*c - x*l - 17, 0 = 5*c + 3*l + 35 for c.
-4
Let p = 121 - 106. Solve -5*m = 3*i - p, 2*m + 3*i = -1 + 7 for m.
3
Let r(o) = 13*o - 8. Let q be r(2). Suppose d + 2*d - 6 = 3*a, 3*d - q = -3*a. Solve 4*f = 4*s, -a*f + 36 = 5*s + 2*f for s.
4
Let q(d) = 16*d - 98. Let n be q(8). Solve 2*k + n = -3*k + 5*p, -3*k = -2*p + 15 for k.
-3
Let v(f) = -f + 3. Let l be v(0). Let q(i) = -i**3 - 4*i**2 + 3*i - 7. Let w be q(-5). Solve g + 3*g = w*r + 4, 5*r - l*g = -14 for r.
-4
Let d be 26/8*1 + 1/(-4). Solve -2*m - 4 = 2*j, -4*m + 19 = -d*j - 2*j for m.
1
Suppose 6*n = 25 + 41. Let x(u) = -u**2 + 10*u + 21. Let k be x(n). Let r = -13 - -18. Solve -5*g = -k*g + 2*o + 9, -r*g + 4*o + 3 = 0 for g.
3
Suppose 0 = 4*l - 6*l + 24. Suppose -l = 18*i - 22*i. Solve -h + 0*h - i = -k, -2*k + 5*h + 6 = 0 for k.
3
Suppose 5*a = 5*k - 35, 3*a - 2*a + 15 = 5*k. Solve 5*o + 13 = -2*m, -m - 3*m = 2*o + k for m.
1
Let x = 93 - 91. Solve 3*n + 5 = 8*n, -3*u + 5 = x*n for u.
1
Suppose 4*i + 2*g = -g + 31, i - 4*g = 3. Let z = 809 - 806. Solve z*p = 5*l - 40, i = -4*p - 13 for l.
5
Suppose f + y = -0*f - 1, -2*f + 14 = -2*y. Let g = -60 + 98. Suppose 3*a + 4*m = 28, 4*a + 5*m - g = -0*a. Solve 24 = 4*p + 4*v, p + a = -2*p + f*v for p.
1
Let c(r) = 10*r**2 - r - 2. Let w = -5 - -3. Let x be c(w). Suppose -5*b = -b - x. Solve y - 4*l = 12 + b, -5*l = -3*y + 31 for y.
2
Suppose 16*h = 5*h + 209. Suppose -2*o + 7 = 5*z - 0, 5*z = o + h. Solve f + 10 = 6*f, -f = t + z for t.
-5
Let f(c) = -c - 6 + 0*c + 4 + 0*c. Let g be f(-2). Solve -3*t + g*t - 16 = 2*i, 3*i = -6 for t.
-4
Let v be (2 - 20)*(-40)/120. Solve b + 2 = -4*d - b, 2*b = 4*d + v for d.
-1
Let k be (25/((-1575)/(-108)))/(2/14). Let z(o) = o + 3. Let i be z(3). Let s = k + i. Solve v - 5*w + 2 = 4*v, -w - s = -4*v for v.
4
Let w be ((-4)/(-8)*-2)/((-12)/60). Solve 0 = 4*s - 3 - 1, 4*t + 25 = w*s for t.
-5
Suppose -14*o = 6*o - 100. Solve -o*h = u + 2*u + 5, 0 = 3*u + h + 1 for u.
0
Let n be (45/(-20))/((-12)/16). Solve 4*v = 5*p - 0*p - 5, -n*v - 5*p = -5 for v.
0
Suppose 34*j - 139 = 31. Let f = 1 + -1. Solve 0 = 4*l - 3*v + v - 6, f = -j*l + v for l.
-1
Let m = -3 + 11. Suppose 2 = -5*a - 2*t, 114*a - 117*a - t = 1. Solve -r = -v + m + 1, a = r - 3*v + 17 for r.
-5
Let t = -7 + 10. Suppose -i - 12 = -2*y - t*i, -2*y + 20 = 4*i. Solve 14 = 6*d - y*d - 3*m, 4 = -3*d - 5*m for d.
2
Let p = -6 - 23. Let m = -25 - p. Solve m*r - 2*j + 2 = -8, 4*j = 4 for r.
-2
Let s be -1*6*-2*3. Suppose o + 3*o + s = -5*g, 0 = -5*g - 20. Let t(r) = -r - 4. Let c be t(o). Solve -z - 3*d + 13 = c, 4 = 4*d - 12 for z.
1
Let o(j) = 17*j + 1 + 4 + 0 - 3*j - j**2. Let y be o(14). Suppose y*d + 0*d = 10. Solve -2*u = 5*t - 16, -5*u - t + d*t + 13 = 0 for u.
3
Suppose 0 = -11*q + 13 + 20. Solve -3*f - 2*s = q*s + 31, 5*f = -3*s - 25 for f.
-2
Suppose 14*q + 85 = 31*q. Solve i - 1 = -5*y, -q = -5*i - 0*i - 3*y for i.
1
Suppose 16*z + 12 = 20*z. Solve 0 = 3*n - 4*a + 13, n + 4*a = -z*n - 8 for n.
-3
Let v = -48 + 48. Let d be v/1*(-11)/(-22). Solve d = 4*c + 16, -3*g + 0*g - 2*c - 23 = 0 for g.
-5
Suppose 3*o + 2*p + 38 = -45, 4*o = p - 107. Let u = -24 - o. Let d(l) = -l**2 + 6*l - 1. Let c be d(u). Solve 5*q - 2*x + 25 = 0, 4*x + c = -q + 25 for q.
-3
Let t be 30 + (105/7)/3. Solve -6*d - 2*i - 22 = -2*d, t = -5*d - 4*i for d.
-3
Let g(u) = u**3 + 4*u**2 + u - 3. Let y be g(1). Solve w + 2 = 0, -y*w = 5*j - 0*w - 9 for j.
3
Suppose 2*q - 4*q = -10. Suppose -q*g + 44 + 36 = 0. Let d = g - 12. Solve d*c = -4*a + 24, -c + 12 = 5*a - a for c.
4
Suppose -2*l = 3*k - 15, -18*l + 25 = -16*l + 5*k. Solve -z - 2*z + d - 18 = l, 0 = -d + 3 for z.
-5
Suppose -16 = -3*j - j. Suppose -4*d = 16, -m - 2*d = -3*m + 8. Suppose 6*h - 19 + 7 = m. Solve j*s - h*l = -16, -2*s - 3*l + 0*l = 8 for s.
-4
Let x(h) = -h**3 + 13*h**2 - h + 16. Let u be x(13). Solve 5*k = 6*j - u*j + 5, 5*j = -4*k + 4 for k.
1
Suppose 9*l = 11*l - 42. Suppose -30 = -l*t + 19*t. Solve -3*q = v + 2 + t, 5*v - 3*q - 5 = 0 for v.
-2
Suppose v = -3*v - 5*y - 14, 0 = 5*y + 10. Let u be 15 + -2 + v + 3. Solve 0 = 5*h - 3*b - 37, -5*b + u = -h + 40 for h.
5
Let i(r) = -r**3 - r**2 + 2. Suppose -3*p - 21 + 57 = 0. Let s = p + -12. Let b be i(s). Solve 0 = -4*z + 3*z + b*m + 1, 2*z + 3*m + 19 = 0 for z.
-5
Let f be -2*2/(24/(-30)). Solve 0 = 2*l - 3*k + 5*k - 8, f*l - 21 = -4*k for l.
5
Suppose 2*d + 0*d + 2*h = 0, -24 = -4*d + 4*h. Suppose d*u = u + 20. Solve 2*c = u, -5*c = 5*o - 2*c - 20 for o.
1
Suppose -20*j + 17*j = -5*t - 11, -3*j = -t - 7. Solve 0 = -2*y + j, 2*y + 0*y = 3*p + 8 for p.
-2
Suppose 99*c + 4*i - 6 = 102*c, 4*c + 5*i - 23 = 0. Solve t - 2 = c*n - 4, 1 = -2*t + 3*n for t.
4
Suppose -z - 3 = 3. Let n(a) = a**2 + 8*a + 9. Let v be n(z). Let k be (-4 - -1)*(v + 2). Solve -4*o + k*b = 3, b + 21 = -2*o - 4*b for o.
-3
Let x(f) = 19*f - 37. Let n be x(3). Solve 3*j + 2*l + 25 = 0, 2*l + n = -2*j - 0*l for j.
-5
Let s = 16 - -8. Let g(j) = j**2 - 4*j - 4. Let z be g(5). Let d be 24/3*z/2. Solve 0 = -d*r + 5*m - m + s, -2*r + 11 = -m for r.
5
Suppose -6*h = -h + 4*y - 11, -11 = -4*h - y. Let b be 208/(-20) + 2/5. Let j = -7 - b. Solve -h*z + 5*z = j*o + 1, -5*z + 2*o = 3 for z.
-1
Let f(o) = o**3 + 13*o**2 + 2. Let k be f(-13). Let l be 3/k + 130/20. Solve -s - a = l, 4*s - 3*a = a - 8 for s.
-5
Let g = 17 + -15. Suppose -4*a + 3*q = -g*q - 31, 0 = 2*a - 5*q - 13. Solve -16 = 2*f + 3*x, 1 = -3*f - x - a for f.
-2
Let g = -8 + 11. Suppose -g*r + 51 = 3*k, 4*r - k - 33 = 2*k. Solve -2*o + 3*b = r, -3*o + 6*b - 16 = 2*b for o.
0
Suppose -7*o = -o - 66. Let u(z) = 10 - 2*z + o + 8. Let r be u(13). Solve 8 = 2*q, -2*q = 4*l + r*q - 28 for l.
2
Let l(w) be the second derivative of w**5/20 + 2*w**4 + 25*w**3/6 + 51*w**2/2 + 15*w. Let u be l(-23). Solve -2*c + 10 = u*a, -3*a = -2*c - 2*c - 32 for a.
4
Let u be ((-60)/25)/((-6)/(-20)). Let p = -13 - u. Let r be ((-6)/p)/((-21)/(-70)). Solve -r*s = -3*h + 3, 3*h = 2*s - 3*s + 18 for h.
5
Let r be 12/(-39)*(-832)/128. Solve -3*w = -k, 4*w + 10 = 8*w + r*k for w.
1
Suppose 5*q - 7 = -4*c, -c = q + 4*c + 7. Suppose 0 = -5*o - 4*t - 1, -2*o + q*t + 10 = 2*t. Solve -2*r + o*w + 10 = 0, 0 - 6 = r + 4*w for r.
2
Let p(i) be the first derivative of i**3 - i + 23. Let z be p(1). Solve 0 = 3*q + l + z, 0*q = -2*q + l - 8 for q.
-2
Let n(g) be the third derivative of -g**5/60 + g**4/2 + 23*g**3/6 + 5*g**2. Let m be n(13). Solve m*y - 21 = 4*d + 5*y, -5*y = -d - 9 for d.
-4
Let v(b) = b**3 + 5*b**2 - 2*b - 8. Let h be v(-5). Suppose -h*x = -4*q - 32, 0 = -2*q - 0*q - 10. Solve -5*a - 3*d + x + 23 = 0, -22 = -4*a - 2*d for a.
4
Let u(y) = -10*y**3 - 2*y**2 + 1. Let m be u(-1). Let c = m - 6. Suppose -11 = -6*s + 1. Solve 