 Let a be b(5). Suppose -31 = -a*x - d + 2*d, -2*x = -4*d + 2. Suppose 4*q - x - 3 = 0. Solve q = 4*z - z for z.
1
Let x be (-2)/(-7)*7/1. Suppose x*n - 26 = 2*c, -2*n + 7*n = -3*c + 89. Solve 5*j + 1 = n for j.
3
Let c(w) = w**2 - w. Let m be c(3). Let f be 2*(m/(-4) - -2). Solve -2*j - 1 - f = 0 for j.
-1
Let g = 16 + -14. Suppose 0 = -n - 2*t + 9, n = -g*n + t + 13. Solve u + 4*u = n for u.
1
Let v = 2 - 0. Suppose -2 + 6 = v*z. Suppose t = 3*t - 30. Solve 0 = -s - z*s - t for s.
-5
Let j(f) be the second derivative of f**5/20 + f**4/3 + f**3/6 - 2*f**2 + f. Let d be j(-4). Let v(r) = r**2 + 9*r + 12. Let o be v(d). Solve w + o = 3*w for w.
2
Suppose m = 0, -q + 6 = 2*q - 2*m. Solve -h + q - 3 = 0 for h.
-1
Let r = 11 - 10. Solve 1 = z - r for z.
2
Let c(w) = w**3 + 23*w**2 + 23*w + 22. Let m be c(-22). Solve m = -5*p - 5 for p.
-1
Let t(v) = -5*v**3 - 2*v**2 + 1. Let m be t(-1). Let b(x) = x + 15. Let u be b(0). Solve w = -m*w - u for w.
-3
Let t(i) = i**3 - 21*i**2 + 20*i + 4. Let o be t(20). Solve 0 = 3*f - o + 7 for f.
-1
Let s(n) = n - 2. Let g(u) = -4*u + 8. Let y(d) = 2*g(d) + 9*s(d). Let c be y(7). Solve -3*m - c + 17 = 0 for m.
4
Let v(x) = 4*x + 8. Suppose -2*u = -0*m + m - 13, 2*u = 2*m + 4. Let n be v(u). Solve n = 5*i + 8 for i.
4
Suppose 2*z + 0*z = -5*l - 18, z = -2*l - 7. Let b(i) = z - i**2 + 0 + 6 + 7*i. Let w be b(7). Solve 3*p - w*p = -4 for p.
1
Let d be ((-8)/(-6))/((-2)/(-3)). Suppose 5*r - 4*j - 9 - 9 = 0, 2 = d*r + j. Suppose 2*v + 0*v - 12 = -r*i, 2*v - 4 = 0. Solve -i = y - 0 for y.
-4
Let a be (-2 - -2 - 2) + 7. Suppose a*s + g - 7 = 0, 0 = -2*g - 2*g - 12. Solve 0*y = s*y for y.
0
Let d = -52 - -52. Solve -4*m + 3 + 1 = d for m.
1
Let i(f) = -2*f. Suppose -2*y - 3*h - 6 = -6*h, 3*h = 3*y + 6. Let u be i(y). Solve u*a - 4*a + 20 = 0 for a.
5
Let n be -1 - (8/3)/(8/(-12)). Solve 0 = n*q + 6 + 6 for q.
-4
Suppose 4*m = z - 0*m + 20, 2*z = 4*m - 20. Let x = -13 + 25. Suppose 0*y + 4*y - x = z. Solve 7 = y*o - 8 for o.
5
Suppose -2 - 34 = -12*m. Solve m*g - 11 = -2 for g.
3
Let d = -60 - -62. Solve 2*q = -d*q + 4 for q.
1
Let f(o) = 31*o + 2. Let s be f(2). Suppose 51 = 3*b - 3*v, 3*b - 3*v = -b + s. Solve -5*k + 2 + b = 0 for k.
3
Suppose 10 = 5*v - 2*c + 3*c, 5*c = 0. Let b = 4 + -1. Suppose -h = b*h - 16. Solve 0 = v*s - h*s for s.
0
Let q be 3/(-18)*-3 - 3/6. Solve -7*w + 4*w + 3 = q for w.
1
Suppose -11 + 5 = -2*o. Let z(q) = 5*q**2 - 1 + 4*q**o + 3 + 2 - 3*q**3. Let f be z(-5). Solve -f*i = -3*i for i.
0
Suppose 3*f - 3*a = 5 + 1, 2*a = -f + 8. Solve m = -f*m + 5 for m.
1
Let r(m) = m + 15. Let b be r(-9). Solve -3*t + 3 = -b for t.
3
Let y = -9 + 11. Suppose 0 = -c - 3*c, -y*t - 4*c + 50 = 0. Solve -8*n = -3*n - t for n.
5
Let z be -1 + 4/((-12)/(-15)). Suppose 8 = -2*a + z*a. Suppose -h + a = 3. Solve -2*j = -j + h for j.
-1
Suppose 71 = 4*k + 71. Solve -2 = -2*u - k for u.
1
Let w = 0 + 5. Solve -2*v - w = -v for v.
-5
Let l = 114 - 111. Suppose 0*r + 24 = 4*r. Solve l*o = r - 0 for o.
2
Let s(u) = u**2 + 16*u + 2. Let l be s(-16). Solve -l*h + 1 = -1 for h.
1
Let f be (3/1 - 3)*2/4. Solve f = -2*a + a + 3 for a.
3
Suppose 4*h + 5*k - 45 = 0, -3*h = -3*k - k + 5. Solve 14 = h*a - 1 for a.
3
Let a be -7*((-12)/(-14))/(-6)*3. Solve -a*k = -2*k + 5 for k.
-5
Let w = -34 + 43. Solve 2*h + w = -h for h.
-3
Let u be -3 + (1 - (2 + 1 - 7)). Solve 0 = 4*f - u*f - 2 for f.
1
Let j(u) = 2*u**2 + 4*u + 3. Let s be j(-3). Let i be 16/s + 4/18. Let f(x) = -x**3 + 7*x**2 - 6*x + 7. Let c be f(6). Solve -c = -3*n + i for n.
3
Suppose -2*x - 2*x + 16 = 2*c, 0 = 5*x - 2*c - 2. Solve 0 = -0*q - q + x for q.
2
Let f = 62 - 55. Solve -5*l = -17 + f for l.
2
Let x be (-6 - -11) + (-3 - 0). Solve h = -x - 1 for h.
-3
Let f = -6 - -8. Suppose 4*m + f*q - 26 = 4*q, -5 = q. Solve 0 = 2*p + 6 - m for p.
-1
Suppose -3*x + 0*x = 15. Let t = x + 9. Solve 7*r = t*r - 9 for r.
-3
Suppose 3*c - 15 = 3*j, -3*j + 4*j = -c + 1. Let b(v) = 2*v - 6. Let y be b(5). Let s = j + y. Solve -s*t = -7 - 3 for t.
5
Let c = -7 - -11. Solve c*k = -0*k for k.
0
Let d = 6 - 5. Solve -k + d + 4 = 0 for k.
5
Let z(x) = x**3 - 2*x**2 - x + 4. Let t be z(2). Solve 0*f - 4 = -t*f for f.
2
Let n be 0*((-12)/18)/((-4)/3). Solve n = 4*b + 12 - 4 for b.
-2
Let m(v) = -v - 2. Let w be m(-6). Solve 3*r - 7*r + w = 0 for r.
1
Let t = 0 - 0. Let h(v) = v**2 + 5*v + 5. Let m be h(-4). Let u = 3 + m. Solve k - u - 1 = t for k.
5
Let i be 3*(-2 + (-24)/(-9)) + -2. Solve i = -g - 1 for g.
-1
Let m be ((-1 - -3) + 0)/1. Solve 2*g - 4 = m for g.
3
Suppose -4*q + 5 = -q + 2*x, -3*x = -3*q. Solve -3 - q = -f for f.
4
Let x(q) = -q**2 - 12*q + 17. Let i be x(-13). Suppose -5*b = -3*b. Solve i = -b*y - 4*y for y.
-1
Let b be (-84)/(-16) + 1/(-4). Suppose 0 = -4*h - b*j + 4, h + 3*h = -2*j + 16. Suppose -h = l - 0*l + 3*u, -2 = -3*l + u. Solve v = 2 - l for v.
2
Let q = 6 + -11. Let p = q - -5. Solve 0*k - 2*k + 6 = p for k.
3
Let a be ((-5)/(50/(-16)))/(1/5). Solve -a + 2 = 2*x for x.
-3
Let s be 1/2 - (-34)/(-4). Let f(p) = 3*p**2 - 10*p - 12. Let q(a) = -2*a**2 + 10*a + 12. Let j(i) = -3*f(i) - 4*q(i). Let n be j(s). Solve -n*v + 4 = -4 for v.
2
Suppose 14 = 3*k - 19. Solve -3*v + 4 = -k for v.
5
Let u = 6 - 11. Let s be 12/15*u/(-2). Solve s = -5*h - 3 for h.
-1
Let d(o) = 2*o**3 - 5*o**2 - 2*o - 5. Let j(c) = -c**3 - c**2 - 1. Let h(r) = d(r) - 6*j(r). Let z be h(1). Solve z = u + 3*u for u.
2
Let x = 108 + -108. Solve x*f = 3*f for f.
0
Suppose -2 = -2*k + 4*k. Let s(z) = 5*z - 1. Let g(t) = -11*t + 3. Let p(d) = -2*g(d) - 5*s(d). Let o be p(k). Solve o*n = 3*n + 1 for n.
-1
Suppose -o = 2*o - 6. Suppose -24*r + 23*r + 12 = 0. Suppose -4*a - 5 = -5*a, g - 2*a + 5 = 0. Solve o*t + r = g*t for t.
4
Let i(o) = -o**3 + 4*o**2 - 5. Let y(c) = c**3 + c + 1. Let z = 5 - 6. Let g(n) = z*i(n) - 2*y(n). Let r be g(-3). Solve u - 4 + 5 = r for u.
-1
Suppose 4*c = -c + 25. Suppose c*a - 20 = 5*g, -5*a = g - 4*g - 10. Let z = 5 + g. Solve 5*k + z = 5 for k.
1
Suppose z = -z + 4. Let b(s) = -s + 2 - 1 - s**3 + s + 2*s**2 + 3*s. Let o be b(3). Solve z*i + o + 5 = 0 for i.
-3
Suppose -k - k + 4 = 0. Suppose -z + 2*j + j - 3 = 0, 4*j - 34 = -k*z. Solve 2*d = z - 1 for d.
4
Let u = 7 - 6. Let p be -5 + 3 + 6/u. Solve 5*i + 5 = p*i for i.
-5
Let l(k) = -3*k**2 + 4*k - 1. Let d be l(1). Solve 3*o = -d + 9 for o.
3
Let p(w) = -w + 9. Let v be p(9). Solve 15 = 3*f - v for f.
5
Let h be -1 + 7 + (3 - 2). Let v be ((-1)/(-3))/(h/21). Solve y + 1 = -v for y.
-2
Suppose -2*v = -3 - 5. Let z be (-1)/2*0/15. Solve v*j = -z*j - 4 for j.
-1
Let z = 28 + -20. Suppose s = -3*x + 191, 3*s = 7*s - z. Suppose 4*y - 37 - x = -5*p, y = 3*p - 43. Solve 0*k + 4*k = p for k.
4
Let w = 30 - 20. Let g = w + -4. Solve -5*k = -3*k + g for k.
-3
Suppose -24 = 9*q - 12*q. Solve 4*x = 2*x + q for x.
4
Suppose 3*r - 2 - 1 = 0. Suppose 5 + r = 2*q. Suppose 5*l - 1 = -3*y - 2, 2*y + q*l = 0. Solve -t + y = -2 for t.
5
Suppose -1 = x + 5. Let m = x - -4. Let u = m - -3. Solve -5*y - u = -4*y for y.
-1
Let k be (-3 - 10/(-4))*-2. Let w(h) = 7*h**3 + h**2 - 1. Let o be w(k). Suppose o*s - 4*s = 99. Solve -5*a + s = 8 for a.
5
Suppose 0 = 4*s - w - 14, 0*w - 26 = -4*s - 5*w. Solve 6 = -s*d + d for d.
-2
Let n(b) = b**2 - 1. Let k be n(5). Suppose -14 = -4*f + 2*y, 5*y = 4*f - k - 5. Let z(p) = p**2 - 7*p + 9. Let q be z(6). Solve -2*i - f = -q*i for i.
1
Suppose -12 = -5*g + 3*n, 3*g - n - 1 = 3. Solve 3*j = -g*j + 6 for j.
2
Let f(h) = -229*h**2 + h. Let a be f(1). Let l be (-2)/(-13) - a/39. Solve 0 = -l*x + 2*x - 16 for x.
-4
Suppose -5*i - 3 = -18. Solve b + i = -1 for b.
-4
Suppose 6*z - 34 = 38. Solve -5*m - z = 13 for m.
-5
Suppose 3*d = 2*d - y + 10, 3*y + 2 = d. Suppose 3*h = 10 + d. Solve -5*f = -1 + h for f.
-1
Let y = 1 - -7. Solve 0 = y*i - 13*i for i.
0
Let a be 3 + 2/(3 - 1). Let m be ((-3)/(-1))/3 - 3. Let v be (-1261)/(-143) - m/11. Solve -a*y + 3 = -v for y.
3
Let r(n) = 5*n + 3. Let b be r(3). Let o(u) = -u + 9. Suppose 0 = -4*j - 5*x + 5, -5*x - 7 = j - x. Let h be o(j). Solve -h*v - b = -2 for v.
-4
Let r = -20 + 22. Solve -16 = r*b - 6 for b.
-5
Let m = 1 + 2. Suppose 3*o - 3*c = -o + 83, -m*o - c = -46. Suppose -7 = 3*r + 4*w, 0 = -4*r + 5*w + o + 15. Solve 0 = q + r*q for q.
0
Let s be 121/(-22) + 