 -r*t - 2*k, 15 = -5*t - 5*k for t.
0
Suppose -29 = -5*s - 9. Let c = 178 - 180. Let k be 1 + c + s + -1. Solve -5*u = 6*z - z - 10, 0 = k*z - 2*u - 16 for z.
5
Let h(n) = -42*n - n**2 + 17 + 2 + 33*n - 6. Let t be h(-10). Solve -2*b + 4*b + t = 3*l, 2*l = -b - 5 for b.
-3
Let v(j) = 4*j + 29. Let c be v(-6). Solve 21 = -4*q + c*f, -5*q + 3*f - 14 = 9 for q.
-4
Let y(d) = -d + 20. Let s be y(14). Suppose 0*k - 7*k + s*k = 0. Solve k = -5*x + 2*m + 7, 3*x + 4 = 3*m + 1 for x.
3
Suppose 0 = -a + 3*w + 3 - 4, 4*a + 4*w = 28. Suppose -3*u = -2*u + a*c - 5, -56 = -4*u - 2*c. Solve -5*b - 4*x - 9 = 0, -b + u = -0*x + 5*x for b.
-5
Suppose -997 = 6*c - 1009. Solve -6 + 5 = -h - 2*a, 6 = 2*h + c*a for h.
5
Let i be -2 - (-6)/3 - -24. Let x = 2362 + -2345. Solve -q + 0*p + x = 3*p, 2*q + 4*p = i for q.
2
Let y be 20 + (2 - 5)*(-6)/(-6). Let d = 3 - -2. Solve 3*h + 5*g = y, -h - 1 = -d*g - 0 for h.
4
Let s(d) = d**3 - 11*d + 4. Let u be s(-3). Solve 29 = -5*n - 2*m, 2*m + 9 = -3*n - u for n.
-5
Let b = -74 - -78. Suppose -9*h = -b*h. Solve 5*m = -h*m + 4*u - 28, 4*m = -5*u - 6 for m.
-4
Let h(q) = -q - 4. Let l be h(-7). Suppose l*w - y - 3 = 2, 2*w = -y - 5. Let v = 378 - 372. Solve 5*t + 2*n - v*n - 2 = w, -n + 10 = 4*t for t.
2
Let l = -103 - -115. Let t(x) = -3*x**2 - 21*x + 9*x + 6 + 4*x**2. Let y be t(l). Solve -3*g - y = 3*b + 12, 2*g - 2*b - 8 = 0 for g.
-1
Let i be (35/5 - 2) + -3. Suppose -k - 5 = -i*k. Solve 0 = -6*m + 2*m + q - 8, 10 = -k*m + q for m.
-2
Let c = 43 + -35. Let o = -20 - -25. Suppose 0 = 5*k + 3*q - 0 - 1, -4*k + 14 = -2*q. Solve -o*i = h - 4, -k*h + c = -i + 6*i for h.
4
Let p be ((-14)/(-6) - 2)*3. Let m(u) = -u**3 + 5*u**2 + 5*u - 3. Let s be m(6). Let h be p - s - 2 - 3. Solve 0 = 5*y + h*g - 0*g + 5, 0 = -4*y - g - 16 for y.
-5
Let d(n) = -8*n + 220. Let b be d(27). Solve 0 = b*z - 4*j - 8, 0 = 5*z - j + 3*j + 11 for z.
-1
Let n(z) = -z**3 + 4*z**2 - z - 4. Let d be n(3). Let p = -444 - -444. Solve 2*s - d = -g, -g + p + 2 = 5*s for s.
0
Let f(b) = b**2 + 41*b + 166. Let v be f(-37). Solve -2*c - 6*s + 4*s + v = 0, 0 = 4*c - 3*s - 1 for c.
4
Suppose 22*i + 20 = 26*i - 4*s, 0 = -4*i + 3*s + 22. Solve -4*y = 3*j + i, -y + 3*y = -5*j + 7 for j.
3
Let r = -420 - -425. Solve r*a = 2*a + 5*t + 2, 2*a - 4*t = 0 for a.
4
Let c be (-8)/(376/(-40) - -9). Solve 2*j + 5*h = -3*j, 5*j - 5*h + c = 0 for j.
-2
Let g be -1 - 5/(-1) - 12/(-12). Solve -l + g = 0, x - 2 = 2*l - 15 for x.
-3
Let x be 12/((-254)/50 - -5). Let b = x - -155. Solve -3*k + b*l - 20 = 0, 5*k + 2*l + 18 = k for k.
-5
Let t be ((-6)/16)/((-26)/208). Solve 0*l - 3*i + 2 = -l, -3*i = t for l.
-5
Suppose x - 9 = -4*a + 7, 0 = -3*a + 9. Solve c + x*h + 10 = h, 5*c + 6 = -4*h for c.
2
Let u = -179 + 184. Solve 5*p = -5*z - 4 + 9, 2*z - 30 = u*p for z.
5
Let s be -3 + (1 - (-18)/9). Solve z = s, -r + 0*z - 3*z = 3 for r.
-3
Suppose 4*h - 2*h - 5*g - 60 = 0, -5*h + 150 = -g. Let v = 14 - 11. Let t = 47 - 44. Solve -5*j + h = k, -t*j = -2*j + v*k - 20 for j.
5
Let r(u) = u**2 + 7*u - 4. Let z be r(-8). Suppose 0 = 5*k + 4*s - 11, 2*k = z*s + 5 + 5. Let j = 125 + -111. Solve -k*d + 2*q - q = -j, -d = -5*q - 14 for d.
4
Let w(m) = m**3 - 3*m**2 + 3. Let i be w(3). Let s(u) = u**3 + 26*u**2 - 30*u - 60. Let h be s(-27). Solve -h = q + 2*q - i*f, -3*q = -2*f + 18 for q.
-4
Suppose 14*z = 11*z. Suppose -x + 5 = 0, z*q - q + x - 5 = 0. Solve q = i - 5*u + 2 + 20, 0 = -5*i - 4*u + 35 for i.
3
Suppose 97 = 3*s + 73. Solve 4*d + 2*i + s = 0, 5*d + 3 = -i - 1 for d.
0
Let g be 4*8/(-160) + 2/10. Solve 0 = -k - 4*k + 10, d + 5*k - 13 = g for d.
3
Let o = -91 + 94. Solve 11 = 2*a + o*x - 1, 0 = 2*a - 2*x + 8 for a.
0
Suppose 6 = -42*i + 45*i. Suppose 20 = 5*b - 5*w, 0*w + i*w = b - 5. Solve x + b = -g, 4*x + 0*g + 3*g = -12 for x.
-3
Suppose -6*t = -3*t. Let l = -197 + 602. Let k be (6/(-9))/((-10)/l). Solve d = -h + 1, t*h - 3*d = -3*h + k for h.
5
Suppose -27 + 29 = -4*h - 5*w, -3*w = 6. Solve -4*x = -4*c + 16, 0 = 6*x - h*x - 3*c + 16 for x.
-4
Suppose 10*c - 11*c = -4. Let w be 4/56*c*7. Solve t + 1 = 5*b, t = -b + w*t - 3 for b.
1
Let i(o) = o**3 + 14*o**2 - 72*o + 4. Let d be i(-18). Solve -3*z = z - 2*m + 12, d*m = -4*z - 36 for z.
-5
Let s(t) = t**3 - 9*t**2 + 10*t - 10. Let o be s(8). Let n(a) = -a + 9. Let r be n(o). Solve y + r = -4*f + 7, 0 = -f for y.
4
Suppose 4*b - 4*s - 60 = 0, -2*b = 2*s - 3*s - 33. Solve -40 = -3*d - 5*a, -b*d + 5 = -13*d - 4*a for d.
5
Let i(x) be the first derivative of -x**2/2 + 2*x + 14. Let m be i(-2). Solve 0 = -q - 4*q + 4*z - 20, -m*q = z - 5 for q.
0
Let z(h) = -2*h + 10. Let g be z(5). Let r(m) = g - 2 - m**3 + 8*m**2 + 5 - 6*m. Let y be r(7). Solve -5*k + 5 = -3*w + 4*w, -y = -2*w + 4*k for w.
5
Let t(s) = -8*s + 124. Let y be t(15). Solve 0 = 4*w, -3*f = -f - y*w + 4 for f.
-2
Suppose 13*u - 238 = -199. Solve -u*j = 2*n - 2*j - 5, n + 3*j = -5 for n.
4
Let m(h) = h**3 - 4*h**2 - 4*h - 3. Let u be m(4). Let g be (4/(-6))/(5/(-180)). Let v = u + g. Solve -4*b - f = -0*b + 1, -24 = b + v*f for b.
1
Let q = 843 - 839. Solve -q*c - 26 = 5*o, 4*c - 1 + 23 = -3*o for c.
-4
Suppose -2*h - 30 = -2*b + 2*h, 4*b = 2*h + 42. Solve -u = -y + 3*u + b, -10 = -y + 5*u for y.
5
Let l(j) = -j**3 - 17*j**2 - 18*j - 29. Let z be l(-16). Solve -2*r - 4 - 5 = -3*d, -z*d + 3*r = -6 for d.
5
Let h = 50 - 45. Suppose 4*s = -h + 57. Solve -5*d + 3*i = s, -4*i - 1 = -7*d + 4*d for d.
-5
Suppose -10 = -9*t + 4*t. Suppose -7*f + 8*f = t. Solve -6 = -2*y, 5*y - 9 = f*k + 2 for k.
2
Suppose 2*b + 17 = -5*f, 2*b = 2*f - 12 - 12. Let u = b - -20. Suppose -8*i = -5*i - u. Solve -3*r + 1 = 3*g + r, 4*g = -r - i for g.
-1
Let z(n) = n**2 - 3*n - 7. Let p be z(6). Let y = p + 6. Solve g = 5*t + y, -2*t = -4*t + 2*g - 10 for t.
-3
Let o be 80/24*(3 + 0 + 3). Solve -4*f - w = -8, -4*f + o = -4*w - 8 for f.
3
Let p = -4 + 6. Let t be 4/(-14) - (-32)/14. Let q(w) = -w**3 + 4*w. Let s be q(t). Solve -5*m = -l - 10, s*l - 5*m = p*l + 5 for l.
-5
Suppose 45 = -0*p - 5*p. Let i = 15 + p. Suppose a = 3*a - i. Solve a*w - 5 = -2*m + 4, 5*w = 2*m + 31 for m.
-3
Suppose 16 = 5*t - u, -3*t - 4*u = 2*t - 11. Suppose 2 = -5*o + 17. Solve -2*w - o*i - i + 20 = 0, -2*w = t*i - 15 for w.
0
Let p(j) = -j**2 + 21*j - 51. Let z be p(18). Solve -4*u + 5*g + 6 - 14 = 0, -z*u = -4*g + 6 for u.
-2
Suppose -14*x = 4*p - 10*x + 20, 3*p + 5*x + 25 = 0. Solve p = u + 3*u - 16, 5*r = 3*u - 7 for r.
1
Suppose -5*q + 0*q = -2*r + 31, 3*r = -q + 4. Solve -n + 4 = -h - 4*n, -n - r = 0 for h.
5
Let z = 483 - 478. Solve -z*h - 20 = -2*g, 6*h - 3*g = 2*h - 23 for h.
-2
Let r = 34 - 34. Suppose 20 = x - r*x + 3*i, -x - i = -12. Solve 0 = -6*k + k + 4*b - 19, -2*k - x = -2*b for k.
-3
Let x be -10*(6/4 + -2). Let s = 92 - 77. Suppose -x*f + s = j, -2*f - j + 9 = -0*j. Solve 3*q + 1 = 4*h + 9, 0 = f*q + 2*h + 4 for q.
0
Let x = -933 - -935. Solve g - x = 2*g + h, 4*g + 2*h = 0 for g.
2
Let s(r) be the third derivative of -7*r**4/24 - 28*r**3/3 - 29*r**2. Let c be s(-8). Solve c = 2*k - 2, z + 2*k + 4 = -2*z for z.
-2
Let p = 21 + -20. Let v be ((-10)/45)/(p/(-9)). Solve 2*o = v*q - 2, 15 = -q + 4*q + o for q.
4
Let o = 5 + -3. Suppose 0 = 3*t + 2*q - 49, t - 5*q = 2*t - 38. Let a = -9 + t. Solve l = -a*l - 2*j - 31, -o*l - 5*j - 25 = 0 for l.
-5
Suppose 4*p + 11 = 3*j, 2*j + 2*p = 4*p + 8. Solve -4*s + 4*q = 3*q - 17, j*s = 3*q + 30 for s.
3
Let r(b) = b - 8. Let o = -37 - -7. Let h = o - -46. Let s be r(h). Solve 4*j = -s, 2*f = -0*f + j - 8 for f.
-5
Suppose 5*l + 9 = 2*x - 24, -4*x - 9 = 5*l. Solve 5*u = x*i - 26, 3*i - 2*i - 4*u = 12 for i.
4
Let a be (0 + 5)/(7/28). Suppose 2*l + 4 = -j, -l + 8*j = 3*j - a. Solve o + 3*f - 1 = l, -o - 7 = -3*o - f for o.
4
Suppose 0*h = -h + 3. Suppose 2 + 7 = h*k. Let c = 1048 - 1047. Solve -s = k, -5*q - c = s + s for q.
1
Suppose 6 = -b + 8. Suppose b = i - 2*t, 5*t = 3*i - 8 + 3. Suppose 0*r + q - 7 = -r, i = 3*q - 12. Solve -2*p - 4*c + 8 = 2*p, 3*p - r = -4*c for p.
5
Let y(f) be the third derivative of -f**4/6 + f**3 - 3*f**2. Let b be y(4). Let c be 20/(-6)*15/b. Solve -a + 4*t = 11, -c*a + 0*a = -t - 21 for a.
5
Let x(r) = 73 - 4*r - 130 + 71. Let y be x(2). Solve 3*v = i + 8*v + y, 4*i = 4*v for i.
-1
Let n = -2 + 28. Let w = n - 24. Solve 8 = 2*x + 2*x + 3*d, -