1. Let p be (12 - 17)/(-2 + 2/2). Let z = p - 1. Let n be k(z). Solve b + 4*v - 7 = -2*b, 4*b - 1 = n*v for b.
1
Suppose 25 = 2*b - 5*z, -19 - 17 = -4*b - 4*z. Let p(i) = -8*i + 25. Let u be p(3). Suppose -v = u - 4. Solve -4*q = -5*q - 5*a + b, -v*a - 6 = 3*q for q.
-5
Suppose 9*s - 14*s = -11*s + 90. Solve 3*v - 25 = 2*c - 7*c, -3*c + v = -s for c.
5
Let x = 159 - 158. Let k be (-136)/(-16) - x/(-2). Solve -r - a = 0, -r - 3*a = a - k for r.
-3
Let z(x) = 3*x - 30. Let t be z(10). Suppose -62*s + 12 = -66*s. Let u be s - (3 + -25)*1. Solve -2*o = -5*f + u - 2, 3*o + 3 = t for f.
3
Let n(o) = -2*o**3 - 66*o**2 - 185*o - 134. Let a be n(-30). Solve a*j = 18*j - 5*x - 32, -5*j + x = -11 for j.
1
Let m(x) = -73*x - 1293. Let h be m(-18). Solve 3*u - 6*u = -2*s + 16, h = 5*s + 2*u for s.
5
Let x be (-671)/(-77) + 2/7. Suppose 3 = 4*n - 33. Suppose x*m - 6*m = n. Solve -2*d + 3*s + 8 = 0, -m*d - 14 = -6*d + 5*s for d.
-2
Suppose 3 = -34*b + 31*b + 5*q, -3*q - 11 = -5*b. Solve -5*m - b*t = 16, -3*m - 7*t = -2*t + 7 for m.
-4
Let s be ((-32)/24)/(2 - (-14)/(-6)). Suppose 0 = -4*n - 2*z + 6, 3*n = 5*n - s*z - 8. Suppose 0 = h - 6 + n. Solve -2*q - 2*k = -2, -2*q + 3*q - h*k = 6 for q.
2
Let s = 30 + -28. Suppose 2*u - 5 = u - s*t, -5*t + 13 = 3*u. Let c be (-702)/(-130) - -5*2/(-25). Solve 3*p = z - 7 + u, -c*p = 3*z + 24 for p.
-3
Let i(l) be the third derivative of -l**5/60 + 3*l**4/8 - l**2. Suppose 50*j - 242 = 8. Let f be i(j). Solve -2*z + 4 = 0, u + 3*u - 2*z + f = 0 for u.
-4
Suppose -87*n + 1664 + 1440 = 320. Solve 0 = t - 5*r - 36 + 47, 4*r = -5*t + n for t.
4
Let g(b) = b**3 - 7*b**2. Let h be (-3)/15 + ((-24)/(-20) - 1). Let a be g(h). Solve f = 2*d - 2, -2*d - 14 = -a*f - 5*f for f.
4
Let a = 408 + -404. Suppose 0 = 3*q + a*d - 8, 2*d - 6 = 3*q - 2. Solve 5*k = 4*j + 12, -2*j + 6 - 2 = q for k.
4
Suppose -95*q + 39*q + 79 = -145. Suppose 0 = 2*f - 3*h + 2, -6*h + 14 = 4*f - 3*h. Solve u + 11 = -q*m, -7 + 17 = -4*m - f*u for m.
-3
Let f(v) = -11 + 2*v**3 - 3*v**3 + 4 + 6*v - 6*v**2. Let u be f(-7). Let n(k) = -17*k + 448. Let z be n(26). Solve 5*c = -5*a, 4*a - c - c + z = u for a.
-1
Let m = 3662 + -3659. Solve 62*b - 1 = -m*p + 58*b, -2*p + b = 3 for p.
-1
Let i be -2 + (-204)/(-28) + (-3)/(420/40). Let r(k) = k + 5. Let v be r(0). Solve -5 = -5*h - i*q, -q + 0 + v = -3*h for h.
-1
Let m(r) = -2*r**2 + 61*r - 432. Let j be m(13). Solve 6*c + 17 = 7*c - 5*i, -c - j = 5*i for c.
-3
Let y = 3580 - 3572. Solve 2*a - y = u, -3*a + 26 = u + 9 for a.
5
Suppose -5*s + 49 + 71 = -5*m, 0 = 5*s + m - 120. Solve -s = -2*v + 4*d, 0 = 5*v - d + 4*d - 8 for v.
4
Let v = 21753 - 21748. Solve y = -v*h - 20, 0 = -9*h + 6*h - y - 12 for h.
-4
Suppose -15*v - 2*r = -18*v + 7, 5*v + 4*r - 41 = 0. Solve 5*w - v = -4*p, -3 = p + 11*w - 14*w for p.
0
Suppose -4*v = -n, -5*n + 39 = -2*n + v. Let s be 1/((-3)/n*-1). Let z(b) = b**2 - 6*b + 4. Let m be z(6). Solve 4*k + w = 2 - 1, m*w - s = -2*k for k.
0
Let h(o) = 1. Let l(w) = -w - 5. Let r(a) = 5*h(a) + l(a). Let i be r(-3). Let n = -882 - -882. Solve -12 = j - 3*j + m, i*j - 3*m - 24 = n for j.
4
Let y be 1*3/(6/10). Suppose 0*x = y*x. Let s be 13/(-5) - (-11748)/1780. Solve -t = -x*d - 2*d + 1, -5*d = s*t + 17 for d.
-1
Let n = -31 - -56. Suppose -4*l + n - 9 = 0. Suppose v = -u + 5, l*v - 47 = 4*u + 5. Solve 4*b - b - 9 = 5*y, 3*b = -y + v for b.
3
Suppose 467 = -3*r + 4*s, -3*r - 54 - 415 = -2*s. Let l = -153 - r. Solve 0 = -v - n - 2, -v - l*n - 8 = 9 for v.
3
Let d(v) = v**3 + 16*v**2 + 16*v + 19. Let x be d(-15). Solve -10*f - 11 = -9*f + x*h, 4*h - 4 = -4*f for f.
5
Let u(t) = t**3 - 4*t**2 + 2*t - 3. Let z be u(4). Suppose z*a - 25 + 15 = 0. Suppose -6*m + a = -5*m. Solve m*q + 5*s + 6 = 0, -4 = -4*q + s + 6 for q.
2
Suppose 0 = 3*o + 6, 4*o = 4*h - 2247 - 1689. Suppose -p - h = -986. Suppose 4*c - 4*n = -20, -5*c + 10 = 2*n - 0*n. Solve y = -l + 1 - 3, c = -p*y + 4 for l.
-3
Suppose 602*y = 5*t + 601*y - 4, 0 = -3*y + 18. Solve -6*n + 7*n + u - 4 = 0, 6 = t*n + u for n.
2
Suppose 0 = 3174*x - 3172*x - 6. Solve 6 = -x*i + 4*q, -5*i = -3*q + q - 4 for i.
2
Let u = -2491 + 2443. Let t be (-16 + (-1 - -2))*3. Let r = t - u. Solve -3*f - 12 = r, -j = 5*f + 26 for j.
-1
Let w = -29 + 24. Let f be -1 - w - -3 - (1 + -1). Solve 2 = -2*n - 0*n, -n + f = -4*s for s.
-2
Let u be (5 - (-2 + 6) - 1) + 4. Suppose 2*v + u*l = -6, -v - 3*v + l = -15. Solve 0*k + 21 = -v*k - 3*h, 2*h = 5*k + 7 for k.
-3
Let r(n) = -4*n + 16. Let d be r(3). Solve 0 = 3*q + 5*i + 4, d*q - 4*i = -9*i - 7 for q.
-3
Suppose 9*f - 4*f = 35. Let u(n) = n**2 - 303*n + 302. Let k be u(1). Solve -3*b + 2 - 11 = k, 4*b + f = 5*d for d.
-1
Let u = -6408 + 6412. Solve -u*d = -82*r + 83*r + 21, -r = d + 9 for d.
-4
Suppose -2626 = 21*w - 2857. Solve 2*o - h - 7 = 0, 5*h - w = -3*o - 33 for o.
1
Let r be (-6)/(-22) + (-126)/462. Solve -20 = 2*n + 5*z, -3*n + r = -z + 13 for n.
-5
Let k(l) = -26*l - 109. Let s be k(-9). Let y = s - 122. Let b(g) = -g + 1. Let n be b(-4). Solve 4*m = m + y*h, -2*m = n*h + 14 for m.
-2
Suppose 63*s - 59*s = 88. Suppose -5*t - s*t = 0. Solve -f + 1 = t, 5*a - 4*f + 15 = f for a.
-2
Let b = 13979 + -13974. Suppose -3*x + 4 = 1. Solve -5*s + 1 = -4*i, 0*i = -b*i + 4*s + x for i.
1
Let l = 11 + -7. Let z(h) = 4*h**2 + 166*h - 234. Let r be z(-43). Suppose 2*o - 4*g = r, 2*o + 2*o = -l*g + 12. Solve q + 7 = 2*b, 2*b - b - o = q for q.
-5
Suppose 166*v - 161*v = c + 80, v - c - 16 = 0. Solve 15*w - 12*w = -5*d + v, -6*w = -5*d + 43 for d.
5
Let t(s) = 20*s - 168. Let m be t(9). Suppose -m*d - 64 = -28*d. Solve y + d*g = 3*g - 3, -5*g = -y - 3 for y.
-3
Let i(r) be the third derivative of -r**5/60 + 9*r**4/8 + r**3/2 - 26*r**2. Let a be i(27). Solve -5*x - a*v = -0*v - 27, -3*x = v - 13 for x.
3
Let a(n) = 6*n - 129. Let h be a(15). Let g = h + 39. Solve 2*q = -4*y, 8 = -g*q + 5*q + 2*y for q.
2
Suppose 18*w - 114 = 46 + 56. Suppose -3*m = -m - 16. Solve -l + 3*t + m = 0, t = 2*l - 4*t - w for l.
-4
Suppose -252 = -r + 5*r. Let b be (r/(-6))/((-1)/2). Let z be (468/b)/(-6) - 4/(-14). Solve a - z*f = f - 15, -5*a = 5*f - 15 for a.
0
Let x be -2 + (8/2 - -3). Suppose -x*j + 1 = -14. Solve -5*m = 4*i - 15, 5*m = j*i + 10 - 30 for m.
-1
Suppose -9*s = 8*s. Solve 0 = -h + 11*b - 8*b - 15, s = 2*h + 4*b - 10 for h.
-3
Let x(y) = 3*y**3 + 19*y**2 + 7*y + 22. Let u be x(-6). Solve j + 4*m + 6 + u = 0, -3*m - 13 = -j for j.
-2
Let c be 4/(-16) - (690/(-8))/5. Let p = 17 - c. Let h(n) = n - 1. Let j be h(3). Solve w - 10 - 10 = 4*k, p = j*w - 4*k - 24 for w.
4
Let h be (-441)/(-3) - (7 - 31). Solve 2*b - h = -u - 172, -3*u + 9 = 0 for b.
-2
Suppose -51089*h = -51116*h + 270. Solve -4*i + 15 = -5*n, -8 = -4*i + 2*n + h for i.
5
Let w(y) = 4*y - 3. Let v be w(6). Let i be (5 - -2)*468/546. Suppose i*d = -v + 51. Solve 18 = 4*k - 5*x, -5 = -d*k - x + 3 for k.
2
Suppose 106 + 84 = 15*j - 65. Solve -2*v = 2*a + 14, 3*a + 47*v + j = 45*v for a.
-3
Suppose 2*y + 74 - 100 = -0*y. Solve -5 + 0 = j - n, -2*j + 3*n = y for j.
-2
Let y be (-5)/((-12 - -19)/(-7)). Solve 28 = -y*f + 3*l, 0 = 6*f - 4*f - 4*l + 14 for f.
-5
Let g(r) = 11*r**2 + 430*r + 1279. Let z be g(-3). Solve -p + 84*a - z*a = 3, -5*a = 2*p for p.
5
Let s(f) = -9*f + 2*f**2 - f**2 + 9*f - 4. Let c be s(-5). Let h = c + -15. Solve j - 13 = -3*n + h, 3*j - 7 = n for n.
5
Let x be (0/(22/(-11)))/14. Solve x = 3*l + 3*b - 21, -2*b - 4 + 13 = l for l.
5
Let n be ((-38)/8)/(-3*(-2)/(-24)). Suppose 8*f + n - 59 = 0. Suppose 3*c + 7 = 5*j - 6, -f*j + 33 = 2*c. Solve -c*u - 3*l + 4 = -l, 4*l = -4*u - 4 for u.
3
Let l be ((13 + -13)/13)/((-3)/(-1)). Solve l = 4*h + 16, f + 3*h = h - 7 for f.
1
Suppose -26*s = -877 + 643. Solve 5*v = 2*t - 15, 7*t = s*t + 4*v - 6 for t.
5
Suppose 0 = 3*o - 6, z + 17*o - 9*o - 20 = 0. Solve -z*v + 4*w = -8, 2*v + 18 = 4*v + 5*w for v.
4
Suppose -198 = 14*p - 121 - 133. Solve -7 = 4*z - 5*l, 9 = -2*z + l - p*l for z.
-3
Let u(s) = -2 - 1 + 4 - s**2 - 2*s + 3*s. Let y be u(0). Let g be y - -10*1/2. Solve -2*n + 6*n = -5*k - g, -2*n = -k - 4 for n.
1
Suppose -6*r + 5*r - 303 = 0. Let z = -303 - r. Solve h = -3*u + 11, -4*h + 2*u + z*u - 26 = 0 for h.
-4
Let t be 2/(-6) - (-19)/3. Suppose x - 44 = -33, -3*a - a - 2*x + 34 = 0. Solve -t = 3*b + 3*s, -a*b + 5