k, t - 12 = -2*k + l*t for k.
2
Let u = 482 + -489. Let q be 1*3 - u*(-13)/91. Solve q*x - 2*g + 6 = -2*x, -x - 4*g = -3 for x.
-1
Let d(v) = -v**3 - 50*v**2 - 404*v - 158. Let l be d(-40). Solve -2*g + 29 = 19, l*o = -5*g + 17 for o.
-4
Let z = -134 - -136. Let k(m) = -3*m - 7. Let b be k(-4). Solve -z = -u + b*r, 10 = 2*u - 6*u + 2*r for u.
-3
Let b be (-278)/6 + (-4)/6. Let z = b - -40. Let p be (-3)/(3/z) + 6/(-2). Solve o + 4 = p*k + 3, -3*k = -4*o - 4 for k.
0
Suppose -g + 5*z - 30 = 3*g, 4*g = 2*z - 36. Let m = 10 + g. Let f = -812 + 817. Solve 3*l - f*u - 25 = m, 4*l + 5*u + 20 = u for l.
0
Let c = -2 - -5. Let s = -36 - -37. Suppose 2*u - 29 - s = 0. Solve -3*h = 3*g + 9, c*h - 2*g + u = -2*h for h.
-3
Let c(h) = 2*h**2 - 117*h - 1211. Let v be c(-9). Solve 3*p = z + v, -2*z - 6*p = -11*p + 5 for z.
5
Let m = 52 + -50. Let n be 15/((-2)/(-2))*m/6. Let i(r) = 9*r - 25. Let h be i(n). Solve 4*t + d + h = 0, 3*t + 2*d + 10 = t for t.
-5
Suppose -121 + 119 = -p. Let w be p + -5 + (-2 + 3 - -9). Solve 0 = 5*k - q + 23, -2*k - 5*q = -0 - w for k.
-4
Suppose 35 + 13 = 15*m - 27. Solve -33 = m*g + 2*n, -4*n + 7 = -2*g + 13 for g.
-5
Let h(k) = -k**3 - 2*k**2 + k + 13. Let q be h(0). Suppose -8*b + q*b = 925. Suppose 4*n + 5 - b = 0. Solve 5*p - n = 5*i - 10, -i + 8 = 4*p for p.
3
Suppose -5*h = -8 + 48. Let z be (2/(-3))/(h/1224). Let w = z + -99. Solve 0 = -5*g - 25, -w*a + 7*a - 1 = -3*g for a.
4
Let i = -17 + 21. Let x be i/7 - 76/(-14). Suppose 5*p - 4*n - x - 2 = 0, p + 3*n + 6 = 0. Solve p = l + 2*l + 3*v + 15, v + 2 = 2*l for l.
-1
Let j(o) = 225*o + 678. Let p be j(-3). Solve p*y - 3*w = 0, 0 = -5*y - w + 34 - 10 for y.
4
Let g = 3435 + -3419. Solve 3*o + o = g, -2*o = 4*p for p.
-2
Suppose -3*p = -2*w - 4, 0 = -2*p - 115 + 123. Solve -3*f = -w*u + 1, u + u - f = -1 for u.
-2
Let o = 310 - 236. Suppose o - 410 = -21*p. Solve 4*l - 2*c = -22, 2*c = 4*l + 6*c + p for l.
-5
Let g(m) be the first derivative of m**4 - 2*m**3/3 + 2*m**2 - 3*m + 45. Let i be g(1). Solve -2*s + 2*h = 2*s - 16, -21 = -3*s - i*h for s.
5
Let j be (6/(-7))/(18/(-9072)) + -2. Let g = j - 428. Solve -t = -2*t - a - g, 0 = -5*t + 5*a - 20 for t.
-3
Let z = -26662 - -26664. Solve 5*i - 24 = o - 9, -2*o - z = -3*i for i.
4
Suppose 0 = 2*t - y - 11 - 8, t - 2*y - 2 = 0. Suppose -t = -6*o + 6. Suppose -o*z = d, d + z + 2 = -4*z. Solve 2 = x - d*x, 27 = -5*f - 2*x for f.
-5
Let t = -59 + 62. Suppose 116 = -t*y + 281. Suppose 4*o + 39 = y. Solve 3*p + 4 = -2*w, 2*p - 2*w + o*w = 0 for p.
-4
Let b(f) = -12*f + 66. Let r(i) = -4*i + 22. Let j(v) = -3*b(v) + 10*r(v). Let l be j(5). Let x = -6 - -9. Solve -t + 15 = -4*z, x*t = -2*t - l*z - 13 for t.
-1
Suppose 3*u + 79*f = 75*f + 2, 2*u - 7 = 3*f. Solve -q + 7 - 17 = u*l, -l + 10 = -2*q for l.
-2
Suppose 18*t + 11 - 19 = 2*s, -4 = 3*t + s. Solve -13*v + 10*v = -5*x + 20, t = 5*x + 5*v + 20 for x.
1
Let a be (-2 - -2) + (-6)/(-2). Suppose 5*t - 2 = a. Suppose -3 = -2*g + t. Solve -5*d + g*q + 19 = -12, -2*d - 2*q + 4 = 0 for d.
5
Suppose m = -8*i + 4*i - 811, -5*m = -3*i - 637. Let s = 206 + i. Solve 0 = s*h - 3*h + 5*d - 6, -h = -d + 2 for h.
-1
Suppose -2*w + 11 - 5 = 0. Let k(i) = 5*i + 1. Let r be k(w). Suppose 10*m - 6*m = r. Solve -4*j + 24 = -5*l, m*l = 4 - 20 for j.
1
Suppose 0 = -7*t - 14. Let z(f) = -6*f**3 - f + 2. Let d be z(t). Let w = d + -47. Solve -w*c = -5*x - 20, -2*c + 0*x = -x - 6 for c.
2
Let b(h) = -h**3 - 10*h**2 - 11*h - 110. Let t be b(-10). Solve v - 2*v = 3*l + 6, t = -3*v + 3*l + 18 for v.
3
Suppose -2*o + 3*b + 19 = 0, -25*o + 23*o = 3*b - 1. Solve -2*v - 2*i - o = 3, -2*v + 3*i = 13 for v.
-5
Suppose 2*q - 7 = 3*q - 3*h, -3*q + h = -19. Let t(w) = w**2 - 10*w + 9. Let y be t(q). Let f = -2 - y. Solve -o + 10 = 3*o + 3*p, -p = -f*o + 22 for o.
4
Let v = -60 + 49. Let i(u) = 4*u + 58. Let a be i(v). Suppose -4*n - a = -5*o + 9, -5*n - 22 = -4*o. Solve o*x + 6 = -4*p, -4*x - 10 = -3*p - 2 for x.
-2
Let k = 14959 - 14950. Suppose j = -1 + 3. Solve 0*x - k = -3*n - x, j*x + 18 = 3*n for n.
4
Suppose 0 = 4*z + 40. Let t be 1/((-3)/(-8)*z/30). Let g(l) = 2*l**2 + 16*l + 4. Let h be g(t). Solve 6 = -4*j - 2*y, -h*j - 13 = -0*j - 5*y for j.
-2
Suppose 5*s = 6*s - 3. Suppose -s*p = 9, p + 4 = c - 1. Let j be 8/10*(380/8)/19. Solve -3*g - j = c*k, -k - 2*g - 3 = -0*g for k.
5
Let a be -1 + 5 - (14 - 12). Let j = 159 - 155. Solve 0 = a*b - j*y + 4, 5*b - y - 12 = -2*y for b.
2
Let v(c) = 2*c**2 + 4*c + 6. Let l be v(-6). Suppose 6*o + 6 = l. Let k(f) = f**2 - 5*f + 7. Let t be k(4). Solve 0 = 2*h, -2*d + 0*h - o = t*h for d.
-4
Let g be (10 - (-5 + 7)) + -5. Solve -5*h = 4*p + 1 + 11, g*p - 6 = 0 for h.
-4
Let g = 40 - 36. Suppose 2*q = -g*v + 92, 4*v - 4*q = 137 - 33. Solve p - 4*y - v = 0, -5*y - 11 - 6 = 2*p for p.
4
Suppose -10 = 2*h, -6 = 5*o + 4*h + 4. Suppose -2*m - 3*b = 9 - 1, -2*m - 4 = o*b. Suppose 2*t - 8 = -m. Solve -5*i - 10 = -t*j - 33, -2*j + 14 = 4*i for j.
-1
Let v = -18796 + 18799. Solve -x + 2 = 3*j + 1, -4*j = v*x + 2 for x.
-2
Suppose 0 = -c - 2*g - 14 + 31, 3*g + 2 = 4*c. Solve 9 = c*x + 2*i, -x - 12 = -6*i + 11*i for x.
3
Suppose 26*p + 25*p + 36 = 53*p. Solve -3*u = -3*w, p*w - 23*w - 5*u = -20 for w.
2
Let f(s) = -s**3 + 9*s**2 + 161*s + 20. Let y be f(18). Solve 2*w - 18 = 4*i, -12 = w - y*w + 3*i for w.
3
Let j = 206 - 169. Suppose -y - 13 = -3*l + j, -4*l - y + 55 = 0. Solve 4*c + 3*v + 12 = -l, -4*c + 5*v + 13 = 0 for c.
-3
Let j = -597 + 602. Suppose i = 3*v, 0 = -j*v + 2*i + 2*i. Solve g + 4*k - 24 = v, -5*g + 4*k - 4 = -g for g.
4
Let o = 256 + -253. Let g be 0 - 0*3/12. Suppose 4*a - 5*a + 29 = 2*j, -j - 3*a + 12 = g. Solve r - 5*b = j, r + 0*b + 1 = -o*b for r.
5
Suppose 5*l + 3*z = 29, -z + 6 = z. Suppose -l*c + c + 57 = -3*u, -4*c = u - 96. Let t = c - 10. Solve -2*q = 3*i - t, 3*q + 3 = -0*q for i.
5
Suppose 45*v + 4037 - 1427 = 0. Let d be 2 + -3 - (0 + 60). Let c = v - d. Solve 2*y = c*f + 20, -2*f = 3*f - 3*y + 32 for f.
-4
Let p = -132 + 132. Suppose p = 4*n + 17*n - 63. Solve 4*c - 31 = n*j - 3, -c - 12 = 4*j for c.
4
Let m = 1483 + -866. Let r = m + -612. Solve 0 = -q - 2*g - 8, -3 - 2 = -r*q + 5*g for q.
-2
Let x be 6 + -5 + (0 - -2). Let h be 75/(-45) - (-5)/x. Solve d = -2*g + 4, 2*d = -2*g + 8 - h for d.
4
Let r be ((-8)/6)/((-2)/3). Suppose 0 = f + 3*d + 68, -3*f - 176 = -2*d - 3*d. Let m = 67 + f. Solve -5*y + 15 = m*n, 2*n - r*y = -3*n + 22 for n.
4
Let k = -11739 - -11754. Let t be (-2)/(-5) - 17/5. Let p be (k/(-7))/t*7*1. Solve 0*n - p*h + 2 = -2*n, 3*h = -2*n - 2 for n.
-1
Suppose -181*p = -195*p + 154. Solve -f - 3*b - p = 0, -2*f + 7*b - 3*b + 28 = 0 for f.
4
Let y be 357/4 - 12/48. Let b = y + -64. Let r = b + -13. Solve 21 = w - 3*w - 5*a, r = -4*a for w.
-3
Let w(i) be the third derivative of 7/6*i**3 - 31*i**2 + 1/30*i**5 + 0 + 0*i - 3/8*i**4. Let k be w(4). Solve 5*f + j + 17 = -j, -5*j = -k*f - 35 for f.
-5
Let n(b) = -9*b**3 - 26*b**2 - 3*b - 14. Let p be n(-3). Solve -o - 1 = -2*s, -p*s - 5*o - 16 = -o for s.
-1
Suppose -17 + 16 = -s. Let b be -5*((-6)/(-15) - s). Solve 0 = 5*m - 4*p + 5, 0 = 2*m - p + b + 2 for m.
-5
Let l be 5/4*(1 + 3). Suppose -o + l*d - 7 = 0, -4*o + 30 = 4*d - 14. Suppose s + o*s - 27 = 0. Solve -3*g - 9 = s*p, 2*p + 15 = -2*g - 3*g for g.
-3
Suppose 3*b - 1 = -4*h, 5*b - 8 - 11 = 2*h. Solve 21 - 5 = 4*o, b*o - 22 = 5*t for t.
-2
Let r = 59 + -57. Suppose -s + 3*m - r = m, 0 = -s + 5*m - 8. Solve -2*p + 6*p - 2*f = -4, 2*p + f - s = 0 for p.
0
Let n be ((-30)/(-35))/((-92)/(-322)). Solve 4*t = -8, -n*t - 2*t = -d + 13 for d.
3
Let j be 25 - (16 - (-31 + 24)). Solve -75*c + p + 7 = -73*c, -c + 11 = j*p for c.
5
Let j be 5/(-3)*(-180)/100 + 29. Suppose -j*m + 24 = -24*m. Solve -3*b = 2*k + 7, -m*k = -2*b - 2*b + 2 for b.
-1
Let z be ((-6)/(-3 - -2))/((-3)/(-10)). Let u be (8*(-3 - -1))/1. Let c = u + z. Solve 2*t = -2*k - 2*k + 16, -2 = 2*k - c*t for k.
3
Let v(x) = -2*x**3 - 18*x**2 + 16*x - 18. Let w be v(-10). Solve 2*g = 3*q - w, -10*g = -13*g - q - 11 for g.
-5
Let t be 60/12*(-6)/(-20)*2. Let m be 3/2 + 9/(-6) - t. Let o be 2/m*(-4 - (-2 + 1)). Solve -5*p - 2*f = -0 + 26, 0 = o*p - 5*f - 7 for p.
-4
Let a = 59 + -51. Suppose -a*i + i = -280. Suppose -5*m - i = -15*m. Solve -m = 4*s, -2*y + 0*y + 11 = -s for y.
5
