(-3)/8). Solve -2*k + i = -5*l + 1, 4*k = 12 for l.
1
Let i(f) = -11*f - 12. Let z(k) = 32*k + 36. Let j(b) = -11*i(b) - 4*z(b). Let a be j(-2). Solve 2*d - 1 = -x, 4*x - a - 2 = 3*d for x.
1
Suppose 192 = -3*v + 201. Suppose -1031*t = -1034*t + v. Solve 5 = 2*o + 2*h + t, 4 = 5*o + 3*h for o.
-1
Let g(t) be the first derivative of 3*t**4/4 + 10*t**3/3 + t**2/2 - 2*t - 62. Let v be g(-3). Solve 3*m - 2*m - 5*b = -9, v*b = 4 for m.
-4
Let x(m) = -m - 1. Let u be (-3)/5 + 66/(-15). Let z be x(u). Suppose c + 4 = 2*p + 3*c, -p - z*c + 8 = 0. Solve -3*f + p*v - 12 = -4*v, -f = 4*v + 4 for f.
-4
Let g(c) = -2*c**3 + 2*c**2 + 19*c + 3. Let k be g(5). Let t be (-12)/k - (-6)/(-51). Solve 4*j = -2*x - t - 10, 3*x + 6 = -3*j for x.
1
Let n(z) = 9*z**2 - 5*z. Let b be n(1). Let y(j) = 19*j**2 - 73*j - 7. Let a be y(b). Solve -2 = 4*p + 3*h, -a*p = -5*h + h - 13 for p.
1
Let q = -630 + 633. Solve q*f = -24*r + 21*r - 9, -2*r - 8 = 0 for f.
1
Suppose -3*z - z = 20, 3*p = -5*z - 25. Let c(s) = -4*s - 26. Let v be c(-8). Suppose v*w - 49 + 1 = 0. Solve p = u + u - n + 5, 4*n + w = u for u.
-4
Suppose -11 - 5 = -p - 3*t, 4*p = 2*t + 22. Let s be 3 + (p - 5) + -3. Let z be 2*(-4)/36 - (-236)/9. Solve -4*g + 0*x + z = s*x, -3*g + 3*x + 6 = 0 for g.
5
Let a(h) = -7*h**2 + 125*h + 30. Let i be a(18). Solve -i*k + 15*k - 3*l = 21, 5*k = 4*l + 30 for k.
2
Let s(v) = 2*v**2 + 2*v - 1. Let o be s(-3). Let d = -8079 + 8083. Solve -3*u + 3*m = o + 4, -d*m = -2*u - 16 for u.
-2
Let p(x) = -3*x + 24. Let s = 14 + -6. Let h be p(s). Suppose h = 4*k - m - 2, m + 3 = 5*k + 1. Solve k = 3*c - 4*q + 10, -8 = c + c - 4*q for c.
-2
Let k(i) = -91*i - 9. Let n be k(2). Let v = -189 - n. Solve 0*f - f - 2*m = 12, 6 = v*f - 2*m for f.
-2
Let k = -5154 + 5157. Solve 3*j = 5*h - 5, -k*h = -20*j + 21*j - 17 for h.
4
Suppose -2*h - 15 = 3*s, 4 + 5 = -3*s. Let b be (h + (-25)/(-10))*(-1 - 5). Solve 0 = 2*f - 2, -b = -2*d - 2*f + 1 for d.
1
Suppose 2*v - 10 = -2*h, -4*v + 18 = -h + 3*h. Let g = -1928 + 1945. Suppose g - 1 = v*u. Solve 3*a - u*q = -13, -2*a + a + q = 4 for a.
-3
Let x(n) = n**2 + 7*n + 7. Let p be x(-8). Let s = 2 + p. Let w = -1963 - -1968. Solve -d = 4*f + s, w = -f + d - 2*d for f.
-4
Let t(y) be the second derivative of y**3/6 - 3*y**2/2 + 8*y + 2. Let j be t(6). Solve -3*f - 3*m - 6 = 0, 2*f = j*f + 3*m for f.
-3
Let z = 2888 + -2885. Solve 35 = -2*t - z*t + 5*w, -4 = 2*t + 3*w for t.
-5
Suppose -v - 14 = -2*s + 21, 2*v - 15 = -s. Suppose 2*g + 30 = s*g. Solve 0 = 4*r - 4*t - 32, -3*r + t - g*t + 8 = 0 for r.
4
Let m = 3625 - 3615. Solve -7*r = -m*r + 5*z + 29, -r - 17 = 5*z for r.
3
Let c(t) = 86*t**3 + t**2 - t + 1. Let m be c(1). Let n = m + -72. Let h = 25 - n. Solve -2*d + x = h, 2*d - 2 = -4*x - x for d.
-4
Let y be (-38)/(-34) + (-14)/119. Let d = 8 + -14. Let c be 1/((y/(-4))/(3/d)). Solve -16 = 5*b - c*a, 4*a - a + 6 = 0 for b.
-4
Let b be ((5 - 1) + 6)*(-1 - 24). Let q = b + 255. Solve -5*r - 2*m = 8, 0 = q*r - 3*m - 0*m + 13 for r.
-2
Suppose -256 = 5*p + 27*p. Let x be 1*(-10)/(-6)*(p + 11). Solve 5*i - h - 1 = 7, -x*h - 20 = -5*i for i.
1
Suppose 0*t + 9 = t. Let l be 1/(1 + (-6)/t). Let r be -4 - (-20 - (-5 + -7)). Solve -r*k + l*d - 19 = 0, 2*k + 11 + 2 = 5*d for k.
-4
Let g(o) = -o**2 + 16*o - 11. Let i = -22 - -37. Let z be g(i). Solve 3*j - 5 = 4*m, -3*j = -5 - z for m.
1
Let q = -19 - -21. Let l be q - (-1 - (-1 + -48)). Let y = -43 - l. Solve c - 5 = -y*b - 1, -2 = -5*b + 3*c for b.
1
Let g(c) be the third derivative of -c**6/30 + 13*c**5/60 + c**4/12 - 2*c**3/3 - 7*c**2 + 11. Let j be g(3). Solve -3*u = -6, 2*o + j = 4*u + 3 for o.
0
Suppose 30 = -196*v + 198*v - 5*u, 37 = 5*v - 3*u. Solve -v*k + 6 = -3*q, q = -6*k + 7*k for k.
3
Suppose 0 = -33*x + 6*x. Let o(a) = -a**2 + 4*a + 10. Let k be o(5). Solve 0 = 5*t + 3*d - d + 18, -k*t + 5*d - 25 = x for t.
-4
Suppose 4*z + 13 = -3*w + 33, 0 = -z + 3*w + 20. Solve -8 = -p + 2*p - 3*g, g - z = -5*p for p.
1
Suppose 10*o = -2*o + 24. Suppose 2*m = 5*j, o*j = -3*m - m + 24. Let y = -12 + 30. Solve -2*r - m*g = -2, -5*r + 2*g - y = 3*g for r.
-4
Let n = 4276 + -4274. Solve l - 2*y - 5 = 0, -n*y + 11 = 3*l - 7*y for l.
-3
Suppose -57 = 3*l - 0*l. Let j(i) = -7*i**2 - 135*i - 33. Let v be j(l). Solve 0*w + 35 = v*o - 5*w, -o = -4*w - 19 for o.
3
Let j(m) = -m**3 - 14*m**2 + 55*m + 69. Let t be j(-17). Let p be 0*2/((-8)/4). Let h be 0/(-2)*2/(-4). Solve p = w + i - 2*i + t, h = 3*i - 6 for w.
1
Let f(r) = 7*r**2 - 71*r + 32. Let d(j) = -2*j**2 + 24*j - 11. Let m(z) = 8*d(z) + 3*f(z). Let g be m(4). Solve -4*n = -5*c - 0*c + 24, g*c = 3*n + 19 for n.
-1
Suppose -3*f + 5 - 19 = 5*y, 0 = -2*f + 3*y + 16. Solve -3*w - 3*h - 3 = 0, -f*h + 5 = -w - 8 for w.
-5
Let j be (-8)/(-6)*(-51)/(-34). Let v be (-35)/(j + -7) + -5. Solve -2*y = 4*h + 22, 2*h - 4*y = -v*y - 2 for h.
-4
Let o = -159 + 166. Suppose 5*b = -4*h - 0*h - o, -4*h = -b - 11. Solve 5*i - i = -5*v - 9, -h*v = 4*i - 6 for i.
4
Let k be 21/5 - (-13)/(-65). Let x = -13 + -11. Let g = x - -38. Solve 9*a - 25 = k*a - 4*u, g = 4*a + 2*u for a.
1
Let v be 69*20/45*9/6. Let h = v - 36. Suppose 0 = -p - 4*s + h, s - 2*s = 3*p - 8. Solve -14 = -p*o + 2*n, 40 = 5*o - 3*n + 9 for o.
5
Let y = 26 + -16. Let v be ((217/2)/31)/((-4)/(-40)). Solve -3*d - 2*d = -2*k - y, 5*d = -3*k + v for k.
5
Let r be ((-252)/112)/((-3)/4). Solve -5*s - 25 = 5*g - 2*s, -r*g - s = 11 for g.
-2
Suppose -27*j + 29*j + 198 = 0. Let i = j - -146. Let y = 51 - i. Solve y*x - 4*h = -4, -3*h = 3*x + h - 32 for x.
4
Let r be -14*20/(-350)*10. Solve -x + 7 = t + 6, -r = 4*x for t.
3
Let k be -4 - (-24)/(-9)*-6. Suppose -2*s - k = -5*s. Suppose 3*d - 29 = 4*b, -5*d - s*b - b = 10. Solve v + d = q, -3*v + v - 11 = 3*q for v.
-4
Let t(w) = 13*w + 25. Let m be t(5). Let i be (0 - (-2)/3)/(12/m). Solve -i*l + 4*f - 2*f = 5, 0 = 5*l - 5*f + 20 for l.
1
Let r(x) = 5*x - 25. Let c be r(7). Suppose 3*s - 12 = g + c, 4*s = -2*g - 4. Let j = -9 - g. Solve 5*w = 4*o - 1 - 3, -o - 2*w + j = 0 for o.
1
Suppose -83 = -5*x - p + 6, 72 = 4*x + p. Suppose x*s - 5*s = -480. Let u = s - -45. Solve u*j - v = -5, -2*j = -v + 6*v - 25 for j.
0
Let l = -786 - -327. Let z be (-4)/(-3)*l/(-204). Solve 0 = -3*y + 4*v - 15, -1 = y + z*y + v for y.
-1
Suppose g - 4 = -1. Suppose -4*b - 7*d = -57, -55*b + 60*b - 3*d = -11. Let h be ((-15)/2)/(-3)*2. Solve -g*v - b*v + h*y = 5, -v + 3 = -2*y for v.
-5
Suppose -4*z - 21 = 27. Let a be 8/z*6 + 20. Suppose 4*w = -2*d - 2*d + a, 4*w + 2*d = 12. Solve 20 = 4*u, 5*n - w*u = 2*u - 15 for n.
1
Let c(r) = 19*r - 152. Let k be c(23). Let m = 287 - k. Solve -5*w + 12 = -v, 0*v - 4*w = m*v - 18 for v.
3
Suppose 37*v + 5*v = 37*v + 15. Solve -p - 2 = -8*s + 7*s, v*s = p - 4 for p.
-5
Let i = 80 - 59. Suppose i - 1 = 5*y. Let c be y/(-3)*(-6)/4. Solve b = z + 4, 5*b = -z - c - 8 for b.
-1
Suppose -6*p = -7*p - 3, -5*p - 21 = -3*d. Suppose w + f = d, -w + 3*f = f - 2. Solve -2 - 2 = 2*m, 3*m = w*a for a.
-3
Let c be -2 + (4 - 5) - -7. Suppose -l - 1 = k - 6, -c*l + 14 = -2*k. Let t be 9/(1/k) + 0. Solve -3*q - 2*f - 26 = 2*f, -f = 2*q + t for q.
-2
Let c(y) = y**3 + 7*y**2 + 5*y + 12. Let x be c(-7). Let s = -22 - x. Suppose q + 17 = 5*f, -16*f = -3*q - 15*f + 5. Solve g - s = 0, q*b - 3 = -g - 2*g for b.
0
Let c(v) = 17*v - 47. Let h be c(3). Suppose w + h*r = -16, -8*w = -3*w + 4*r. Solve w*u - 8 = -4*l, 3*l = 4*l - 1 for u.
1
Let j(l) = 2*l**2 + 26*l + 47. Let h = 198 - 209. Let u be j(h). Solve -2*v = -5*w + 15, -4*w + u*w = -4*v + 15 for w.
5
Suppose 21*b - 50*b + 116 = 0. Suppose 0 = -b*q - 288 + 296. Solve 2*c - 6 = -3*s + 3*c, -4 = -2*s + q*c for s.
2
Let f = 770 - 766. Let y be (4/2)/(1/16). Solve 5*a - y = 4*w, -2*a = f*w + w + 7 for w.
-3
Suppose 2425 - 1461 = 241*i. Solve -2*t - 5 = -y, 43 = -i*t + 5*y + 24 for t.
-1
Let g be (-10)/(-6)*3 - 3. Suppose 45*b = 54*b - 1305. Let f = b - 140. Solve -7 = -f*x + g*m - 0*m, 2*x - 3*m = 5 for x.
1
Suppose -a = -2*a + 5. Let l be 72 + 44 - (-1 - (4 - 1)). Suppose -6*f = 18*f - l. Solve a*t - f*p + 10 = 0, p + p - 4 = 0 for t.
0
Suppose -31*b + 34*b - 201 = -3*g, 0 = -4*b + 8. Solve -4*v - 8 = -2*o, -3*v = -70*o + g*o + 13 for o.
2
Let u = -1946 + 2319. Solve -378*x + 3*f = -u*x - 3, -5*f = -3*x - 11 for x.
3
Let y be (-3 - (-45