 v - x - 1 = 0, 5*x - 13 = -v - 3*v. Suppose 5 = -v*l - 17. Let b be z(l). Solve y - b = -0*y for y.
5
Suppose -y = -663 + 656. Solve 0 = 12*n - 19 + y for n.
1
Let d be (-3 + 6/(-2))/2. Let y be 1 - (-2 + d + 3). Suppose -45 = 3*w - 6*w - y*j, -5*j = -2*w + 65. Solve -3*q = q + w for q.
-5
Suppose 2*b - 10 - 6 = 0. Let u(x) = x**2 - 6*x - 12. Let k be u(b). Suppose 2*p = 2*c + 2, -k*p - 3*c + 7 = -2*p. Solve 5*s = p*s + 9 for s.
3
Suppose -4*n = 5*p - 60, 2*p - 9*n = -10*n + 24. Solve 29*g + p = 33*g for g.
3
Let d be (-80)/4*12/(-15). Let z be 348/(-32) - (-1)/(-8). Let u(w) = -w**2 - 11*w + 5. Let i be u(z). Solve -i*n - d = 9 for n.
-5
Suppose 0 = -3*r + 56 - 44. Solve r + 1 = -m for m.
-5
Suppose 2*q - 12 = -0*q. Let g be (-4)/q*(-156)/4. Suppose -4*h + 6 = -g. Solve m = h - 3 for m.
5
Suppose 0 = -4*s - 16, r + 0*r = 4*s + 16. Solve -i + 2 = -r*i for i.
2
Let r be 0/(4/((-4)/3)). Suppose r = -0*d - d + 30. Suppose -a + d = a. Solve -2*n = n + a for n.
-5
Suppose -12*b = 4*b - 4*b. Suppose -3*x + 7 = -5. Solve -x + b = 2*p for p.
-2
Let q(r) = -r + 1. Let h(b) = -5*b + 24. Let k(j) = -h(j) + q(j). Let t be k(7). Solve 1 - t = -s for s.
4
Suppose 68 = -4*p - 104. Let w = 43 + p. Solve -c + 0*c - 1 = w for c.
-1
Let c(i) = i**3 + 4*i**2 - 4*i - 5. Let h be c(-4). Suppose -31 - h = -6*a. Solve 15 = a*v - 2*v for v.
3
Let t(w) = -w**2 - 10*w + 26. Let y be t(-13). Let r be (-1)/(-3) + y/39. Solve -4*g + 1 - 9 = r for g.
-2
Let o = 57 + -33. Suppose -4*k + 3*q + o = 0, q + 12 = 2*k - 0*k. Solve 0 = -2*p + k*p for p.
0
Suppose -5*o = -1 - 9. Let q = 571 - 565. Solve -q*d = -o*d for d.
0
Let y be (-116)/(-16) + 9/12 + -8. Solve y = -15*s + 13*s - 10 for s.
-5
Let j = 4 - 2. Suppose 5*p - 31 = p - 5*z, 3*p - 18 = -j*z. Let k be -2 - p/((-16)/28). Solve 0 = -k*a + 3*a for a.
0
Let j be (-3 + 16)/(1/3). Let c = -36 + j. Solve c*y - 3 + 0 = 0 for y.
1
Suppose k = -0*k. Suppose k = -j + s - 2*s, -3*j = -5*s - 32. Let u(v) = v**2 - 7*v - 13. Let c be u(9). Solve j*b = c*b + 3 for b.
-3
Suppose 28 = 5*x + 28. Let o be (1 - 3)/(6/9). Let w = x - o. Solve 0 = -2*f + w*f for f.
0
Suppose 2*p + 37 = 5*h, -3*p = 3*h - 0*p - 18. Let f be (h - 2)/(-2 - -3). Suppose -f*t + 3*x = -1 - 1, 4 = t + 3*x. Solve 3*n - t = 2 for n.
1
Let g = 28 + -33. Let p be (-19)/95 - 1/g. Solve p = 4*f - f for f.
0
Let z(u) = u + 24. Let k be z(-18). Suppose r + 5*h + 15 = -0*r, 2*h = 2*r - k. Solve r = q + 3*q + 4 for q.
-1
Let v be 18/4*(-2 - 10). Let m = v - -75. Let t = m + -17. Solve l = -t*l for l.
0
Let l be 6/33 + 4375/77 + -14. Solve n = -41 + l for n.
2
Let h = -2482 + 2488. Suppose 2*m = 5*m - 9. Solve 0 = m*r - h for r.
2
Suppose -4*q + 11 - 3 = -4*y, 4 = y. Let g = -10 + 12. Suppose 0 = -11*p + 2*p. Solve p*v = -g*v - q for v.
-3
Suppose -171 = -15*t + 9. Solve -t = -5*q + 3 for q.
3
Let c = -10 - 6. Let w = 19 + c. Let x be 90/w*(-6)/(-18). Solve -h - h = -x for h.
5
Let j(z) = z**3 - 3*z**2 - z + 5. Let v be j(3). Let x be (360/(-16))/(-5) - 1/v. Solve x = 5*h - 1 for h.
1
Let l be (2 + -2)/((-1)/1). Suppose 7 + 1 = -4*s. Let z = 5 + s. Solve l = -z*m + 8*m - 20 for m.
4
Let l = 15 - 38. Let c = -21 - l. Solve c*x + 5 + 1 = 0 for x.
-3
Let k = 39 + -22. Let z = k - 6. Let a(g) = 3*g**3 + g**2 + g + 1. Let c be a(2). Solve 4*p - z = -c for p.
-5
Let x = 1702 + -1256. Solve -455 = 3*y - x for y.
-3
Suppose -8*n = -6*n + 8. Let w be (6/n + 1)*-6. Solve -t = w*t for t.
0
Suppose 0 = -2*s + 5*b + 19, 4*s - 33 = -3*b + 8*b. Suppose -v = 2 - s. Let p(t) = -t**3 - 6*t**2 - 5*t + 2. Let a be p(-5). Solve v*c = -8 - a for c.
-2
Let c(u) = 5*u**2 + 7*u + 0*u**2 + 6 + u**2 - 5*u**2. Let d be c(-6). Let w(p) = p**2 - 2*p - 3. Let o be w(4). Solve -v + o - 1 = d for v.
4
Let m(f) = -2*f**3 - 5*f**2 - 3*f - 3. Let r be m(-3). Solve r*y = 12*y for y.
0
Let w(z) = -z**3 - 2*z**2 + 3*z + 3. Let c be w(-3). Suppose y - 6 = -c. Solve -y*r - r = 16 for r.
-4
Suppose 286 = 5*f + 4*g, -2*f + g + 50 = -54. Let t = 57 - f. Solve t*u - 12 = 3 for u.
5
Suppose 3*a + 133 = 40. Let m = -27 - a. Solve m*o - 4 = -0*o for o.
1
Let l(i) = -i**3 + 10*i**2 - 3*i + 2. Let u be l(9). Suppose -q - q = u. Let c be (-133)/q + 1/4. Solve 0 = -c*g + g for g.
0
Let a(b) be the second derivative of b**4/12 - 5*b**3/6 - 61*b**2/2 + 5*b. Let m be a(11). Let o be (-2)/6 + 39/9. Solve m = -o*q + 1 for q.
-1
Let t = -168 + 176. Solve -4*s - 20 = -t*s for s.
5
Let v be 29/(-58) + (-14)/(-4). Solve v*q + 15 = 6 for q.
-3
Suppose 48 = 3*n + 12. Let g(k) = -k + 1. Let m be g(1). Solve m*i = -3*i - n for i.
-4
Let m(h) = h**2 + 4. Let r be m(9). Let p = -19 + 27. Suppose 13*t - r = p*t. Solve -5*n = 2 - t for n.
3
Suppose 137 = 36*k + 29. Solve 7*q - 10 = -k*q for q.
1
Let l be -28*(-5 - (-93)/21). Solve 8*d + 16 + l = 0 for d.
-4
Suppose 7*f + 17 = 3*f - 5*m, 31 = 3*f - 5*m. Suppose 0 = 15*n - 9*n - 168. Let s = -28 + n. Solve -f = v - s for v.
-2
Let n = 30 - 33. Let z be 2/(53/18 + n). Let s be (z/45)/(4/(-50)). Solve y - s = -y for y.
5
Suppose -5*k = -5*c - 80, k - 1 - 11 = 2*c. Let n be ((-48)/k)/(-6)*5. Solve r - n*r + 5 = 0 for r.
5
Let u = 5 - 3. Let p(m) = -m**3 + 11*m**2 + 5. Let n be p(11). Solve -q + n = -u*q for q.
-5
Suppose 59*u = 45*u + 42. Solve c - 4*c - u = 0 for c.
-1
Suppose 0 = 5*d - 4*d - 2*m + 5, -15 = -3*m. Let j be (-3 + 3)*1/2. Suppose j = -7*k + 3*k. Solve d*y + 5 = -k*y for y.
-1
Let d be (13/((-728)/(-96)))/(2/49). Solve 44*m - d*m + 4 = 0 for m.
-2
Suppose 55*d - 59*d = -3*k - 202, k - 106 = -2*d. Solve -51*g + d*g = 2 for g.
2
Let j(y) be the first derivative of y**4/4 + 5*y**3/3 + 3*y**2/2 - 4. Let c be j(-4). Suppose -2*v + 0*v = -c. Solve -2*x + x + v = 0 for x.
2
Let p(b) = 2*b**2 - 11*b + 5. Let d be p(5). Suppose 0 = -3*r - 7 - 2. Let g be (0 + d)*1 - r. Solve -5*y = -g*y for y.
0
Suppose -2*d + 3*w = -12, 3*d - 3*w - 10 = 8. Let a = 137 - 134. Solve -t + a*t = d for t.
3
Suppose 0*k + k = -14. Let h = k - -23. Let z = h + -8. Solve 0 = 5*f - z - 9 for f.
2
Let p = 27 + -33. Let i = p - -8. Solve -i*l + 0 + 6 = 0 for l.
3
Let t = 384 - 375. Solve 4*d = 21 - t for d.
3
Let k = 230 + -224. Solve 0*v = 6*v - k for v.
1
Let l(b) = b**2 - 11*b + 6. Let g be l(9). Let y = 16 + g. Solve 2*m - y = -0 for m.
2
Let x = -1 - -3. Suppose -3 = -4*w - j, -2*w - 1 = -x*j + 3*j. Let l be w/(-5) - 8/(-20). Solve -u = 1 - l for u.
-1
Let o(q) = -q**3 - 6*q**2 - 2*q + 19. Let m be o(-5). Suppose 3*s = 5*s - m. Solve -7*i + s*i + 5 = 0 for i.
1
Let w = -4 - -6. Let c be 4 - ((-30)/(-6) - 1). Solve m - w*m = c for m.
0
Suppose -4*m - 133 = -5. Let f = 37 + m. Suppose 0 = 2*y - 1 - f. Solve -y + 0 = -b for b.
3
Let w(i) = 22*i - 48. Let r be w(3). Solve 7*u = -2*u - r for u.
-2
Let o(l) = -l**2 - 23*l - 36. Let t be o(-21). Solve -15*q + t = -18*q for q.
-2
Suppose -k + 79 = 78. Let d be (k/(-2) - 1)*30/(-9). Suppose -4*z - 4*s + 56 = 0, -33 = -3*z + 5*s + 1. Solve d*l + z = 3 for l.
-2
Let q(p) = 4009*p - 2 - 2 - 4010*p. Suppose 4*f = 20, -7*g + 5*f - 55 = -2*g. Let o be q(g). Solve t = -1 - o for t.
-3
Let q(d) = -10 + 4*d + 7 + 2*d**2 - 2. Let n(p) = p**3 + 3*p**2 - 1. Let k be n(-2). Let f be q(k). Solve -6*j + f = -j for j.
5
Suppose -26*m = -23*m - 18. Solve -8*l + 14 = m for l.
1
Suppose -3*k + 5*g - 3*g - 73 = 0, 5*g = -20. Let c = -24 - k. Suppose 0*h - c*h = d + 15, d - 25 = 5*h. Solve d*p = -3*p for p.
0
Let m(h) = 1. Let k(g) = g**2 - 3*g + 3. Let x(o) = k(o) - 5*m(o). Let u be x(4). Solve 3 = u*z - z for z.
3
Let c = 0 - -6. Suppose -4*u + 3*w = w - 54, -c = 2*w. Solve -a - u = -5*a for a.
3
Suppose -7*m = -4*m + 90. Let j = 33 + m. Solve -2*b = -j*b + 4 for b.
4
Suppose c = 14 + 2. Suppose 0 = -4*i + 8*i - c. Let n(u) = -u**3 + 3*u**2 + 4*u + 3. Let t be n(i). Solve -4*p = -t*p for p.
0
Let b(d) = -6*d - 16. Let g be b(-5). Solve 0 = 10*j - g*j + 28*j for j.
0
Let h(k) = -18*k + 167. Let b be h(9). Suppose y + 5*u = -0*u - 4, 1 = -y - 2*u. Suppose 0 = 4*d - 21 + y, -b*d + 25 = z. Solve z = 4*l - 1 - 3 for l.
1
Let y = 3 + 0. Suppose p + 4 = y*q - 1, 19 = p + 5*q. Suppose -3*x + 21 = -r - 8*x, -5*x = p*r + 9. Solve -2*i = -r*i for i.
0
Let t be 9 - 5 - 1/(2/8). Solve t = -o + 5*o for o.
0
Let s(x) = -12*x - 128. Let d be s(-11). Solve -2 = 2*t - d for t.
1
Let x = -34 + 34. Suppose 6*