ve 0 = x*t + f*t for t.
0
Let a(v) = v**3 + 8*v**2 + v + 11. Let g be a(-8). Suppose -g*m + m = -6. Suppose 3*w - m*x = 15, 1 = x + 6. Solve -2*y + 6*y + 4 = w for y.
-1
Let f be (-2)/17 + (-31)/((-5270)/20). Solve f = -13*x + x - 36 for x.
-3
Let k(j) = j - 4. Let i be k(6). Suppose -2*d = i - 6. Suppose -l + 17 = r + d*l, -l = 4*r - 13. Solve 0 = -b + r + 2 for b.
4
Suppose -y + 6*y = 25. Suppose y*k = 3*v + 12, 0 = 2*k + 2*v - 3 - 5. Suppose -4*w + 32 = -x - k*x, -x - 20 = -5*w. Solve -t - 5 = -w for t.
-2
Let w = 226 + -223. Solve -13 = w*z - 4 for z.
-3
Let r(x) = x - 3. Let z be r(6). Suppose -9 - z = -4*w. Let q be (2/(-6))/(2/(-6)). Solve -w - q = n for n.
-4
Let w be (-1 - -13)*(-24)/(-72). Solve 4*b = -w*b - 24 for b.
-3
Let w be 2/1 + 6 + -22. Let u be (12/(-10))/(w/105). Solve -4*l + u = -l for l.
3
Let b(u) = -u**3 - u**2 + 8*u + 8. Let f be b(-3). Solve -18*m - f = -20*m for m.
1
Let p be (-7 + 8)/(2/104*4). Suppose 5*i - 2*f = -57, -2*i + 53 = -7*i - 2*f. Let a = p + i. Solve -4 - 4 = -a*s for s.
4
Let w(x) = 75*x**2 + 5*x - 6. Let n be w(1). Let f = 88 - n. Solve 0 = -2*v + f - 4 for v.
5
Let j = 88 - 82. Let x be 0/2*(-2)/j. Solve 8 + x = 2*g for g.
4
Suppose 0 = -3*z - l + 11, 0 = 4*z + 3*l + 2*l. Suppose 5*k + 3*w = 164 + 17, -177 = -z*k - w. Let a = -10 + k. Solve -2*s + 7*s = -a for s.
-5
Let s be (-5)/15 + 7/3. Suppose s*u - 5 = -1. Let f = -98 + 100. Solve 0 = -u*l - f*l for l.
0
Let v(k) = -4*k - 14. Let h be v(-4). Suppose h*x = -2*x + 16. Solve 0 = x*u - u - 6 for u.
2
Suppose 0*r + r + r = 0. Let q be (5/15 + r)/((-2)/(-30)). Solve u = q*u - 20 for u.
5
Suppose -d - 9 - 5 = -a, 0 = -3*a + 2*d + 45. Let l = -3 - -8. Solve a = -3*u + l for u.
-4
Suppose -10*c - 65 = -15*c. Solve c = -4*m + 1 for m.
-3
Suppose 0 = 3*r - 29 - 1. Let b(v) = -v + 11. Let u be b(r). Solve 2*q = -u + 9 for q.
4
Let s = -125 - -132. Let l(p) = -p**3 - 6*p**2 - 8*p - 7. Let y be l(-5). Suppose 0 = -5*k + y + s. Solve -k*i - 6 = -i for i.
-3
Suppose -5*p - 19 = -2*a, 5*a - 57 + 27 = -5*p. Solve -4*j + a*j + 12 = 0 for j.
-4
Suppose -k + 2 = -3*k. Let q be (-6)/(-2) - (2 - k). Suppose 3*t = -3*g - q*g + 6, 5*t - g = 10. Solve t*u = -u - 15 for u.
-5
Let j = -7 - -11. Suppose -j*z = -3*z. Suppose 5*r + a + 5 = z, 10 = 4*r + 2*a - 4*a. Solve r = b - 2*b - 4 for b.
-4
Suppose 0 = -4*v + 6 + 22. Suppose -v*g + 40 = -2. Solve 26 = 4*i + g for i.
5
Let j be (0/(-11))/(-6 - 1*-2). Let w be 2*(-2 - (-1 + 1)). Let v = j - w. Solve -v*c = c - 15 for c.
3
Let p(j) = -3*j + 2. Suppose 4*f - 3*b = -6*b + 4, f = 4*b - 18. Let i be p(f). Suppose -46 = -5*w - k, -w + 4*k = -i + 3. Solve 1 = 5*q - w for q.
2
Let r = 120 - 118. Suppose -4*b - r*f + 10 = 0, 2*f = -2*b - 0*b. Solve b*g + 25 = -0 for g.
-5
Let b be (10/15)/(8/(-12)). Let l be (17/85)/(b/(-15)). Suppose -21 = -l*q + 24. Solve 0*v = -5*v - q for v.
-3
Let j = -281 + 406. Let m = j + -125. Solve 2*i - i + 5 = m for i.
-5
Let n(m) = m + 18. Let a be n(-13). Suppose 10 + 30 = a*k. Let b = 4 + k. Solve 6*o - b = 3*o for o.
4
Suppose 0*x + h - 139 = -3*x, 2*x + 3*h = 95. Let w = -42 + x. Solve -w*l + 20 = -0 for l.
5
Let i(p) be the first derivative of -p**3/3 + 10*p**2 + 3*p - 23. Let h be i(20). Solve 1 - 10 = h*a for a.
-3
Let a(s) = -2*s + 7. Let p be a(4). Let g = -4 + p. Let i be (-328)/(-40) - (-1)/g. Solve i = -4*u - 4 for u.
-3
Suppose -118*z = -125*z + 7. Solve 5*t = z + 14 for t.
3
Suppose -57*y - 3*p = -52*y + 4, 4*y + 3*p = -5. Let k = 5 + 1. Solve -k = -a - y for a.
5
Suppose 6*y - 35 - 97 = 0. Suppose -16*w + y = -5*w. Solve -o - w = -2*o for o.
2
Let y(u) = -u**2 + 43*u + 296. Let i be y(-6). Solve 0 = i*a + 3*a + 20 for a.
-4
Let q be (-3)/(6/(-2)) + 1. Suppose 3*k = -q + 8. Solve -k*r = r for r.
0
Suppose 6 = -5*u + 21. Suppose 49*d = 52*d + 9. Let m be 5/2 - (0 + d/(-6)). Solve -k + m - u = 0 for k.
-1
Suppose 2 = j - 2. Suppose 18 = 5*s + 4*o, -5*s + 21 = -o + 13. Solve -8 = -s*x + j*x for x.
-4
Let q be 4/(-28) - 3/(-21). Solve 3*g + 13 - 7 = q for g.
-2
Let k(v) = v**3 + 24*v**2 + 2*v + 52. Let w be k(-24). Solve 0 = -7*l + 4 - w for l.
0
Suppose 7*i - 58 + 9 = 0. Solve -b + 8 = i for b.
1
Let x = -595 + 608. Solve -x*d = -18*d + 10 for d.
2
Suppose 2*c + 0*k - 2*k = -8, -16 = -4*c - 4*k. Suppose -75 = -5*a - c*a. Solve 0 = -4*b + b + a for b.
5
Let j = 9 + -3. Solve -i + j = -3*i for i.
-3
Let w(f) = 6*f + 10. Let q(y) = -7*y - 11. Let v(k) = 2*q(k) + 3*w(k). Let d be v(-2). Solve -4*t + 6*t - 10 = d for t.
5
Suppose -4*j = -9*j - 30. Let b be (14/(-3))/(4/j). Suppose 2*u = -5*d + 16, -2*d = 2*u - b*u + 11. Solve 4*i - 1 = u for i.
1
Suppose 48 = 8*i - 6*i. Solve -20 = 4*t - i for t.
1
Suppose -2*w - 5*y = -0*w, -2*w + 5*y = 0. Solve w = -3*q + 12 for q.
4
Let p be 9/(135/(-5)) + (-64)/(-3). Solve 3*f + 15 = p for f.
2
Let r(l) = 2*l**2 + 13*l - 5. Let z be 1/(2*4/(-56)). Let k be r(z). Solve k*n = -3*n for n.
0
Suppose 2*u = 4*s + 12, -3*u + 8 = -4*s + 8*s. Solve 3*o = 4*o - u for o.
4
Let h(m) = -38*m**2. Let b be h(2). Let c be (8/16)/(2/b). Let x = -37 - c. Solve t = -x - 1 for t.
-2
Suppose -v + 2 = -18. Solve -16*w - 16 = -v*w for w.
4
Let q = -392 - -392. Let z(l) = 8*l**2 + 1. Let y be z(1). Solve 9*j - 6*j + y = q for j.
-3
Let x be 14/(-3)*(3 + (-117)/21). Suppose -25*w = -x*w - 11*w. Solve -o + 3*o = w for o.
0
Let f be ((-8)/(32/(-36)))/(-1 - 0). Let m be 0*(f/6 - -2). Solve m = 5*n - 2*n - 12 for n.
4
Suppose -h - 6*i + 7*i + 6 = 0, 5*i - 42 = -4*h. Solve h*f = 1 - 9 for f.
-1
Suppose 4*n = 3*g + 208, -170 = -2*n + g - 64. Let k = -79 + n. Let x = k - -29. Solve 4 = -x*l + 9 for l.
1
Suppose -q = -4*q - 5*l + 2, 0 = -3*q + 5*l + 52. Solve 13*n = q*n for n.
0
Let i(y) = y - 1. Let g(t) = 7*t - 4. Let c(a) = -2*g(a) + 18*i(a). Let n be c(3). Solve -n*j = -12 + 4 for j.
4
Let h be (-18)/30 + (-114)/10. Let g = -10 - h. Suppose -4*z = -0*z - 5*b - 38, -g*b + 31 = 5*z. Solve 2*x + 10 = z*x for x.
2
Let y(s) = 11*s - 193. Let h be y(18). Solve 0 = -3*k - h*k - 16 for k.
-2
Let r(i) be the first derivative of -i**4/4 - i**3/3 - 11. Suppose 5*w + 0 = -10. Let x be r(w). Solve -x*k + 3*k = 0 for k.
0
Let j be (54/(-36))/(6/28). Let y = -25 + 15. Let r = j - y. Solve 0 = 4*x + 5 + r for x.
-2
Let w be ((-3)/6)/(3/(-6)). Let u = 91 + -88. Solve 0 = z + w + u for z.
-4
Let i be 3 + 0 + 1*2. Let h = 12 - -6. Suppose w - h = 4*b - 0*b, -w + 14 = -3*b. Solve -i*a + 3*a = w for a.
-1
Let q(j) = j**3 + 3*j**2 - 6*j - 3. Let c be q(-4). Suppose -c*h + 28 = 8. Suppose -p + 5*p - 68 = -4*y, -h*p + 42 = 2*y. Solve y + 7 = -5*t for t.
-4
Let m = -220 - -225. Solve 9*n = m*n - 16 for n.
-4
Let z = 16 + -8. Suppose -d = -5*m + 11, 5*m = 7*d - 11*d + 31. Solve -d*r + z = -2*r for r.
4
Let n = -77 - -72. Let m(d) = d + 8. Let q be m(n). Solve a - q = 2*a for a.
-3
Suppose -8*t + 24 + 0 = 0. Suppose t*o + 3*k = 9, 5*o + 4*k - 5 = 11. Solve q - o*q = 0 for q.
0
Suppose -36 = -14*w + 6. Solve 0 - w = b for b.
-3
Let k(b) = -b**3 + 9*b**2 - 18*b + 4. Let z be k(6). Let v be (-10)/(-3 + 3/(-1) + z). Solve -11 + 1 = -v*f for f.
2
Let n = 3 - 8. Let d = n + 9. Solve d*s - s - 12 = 0 for s.
4
Suppose 4*l - 436 = -5*j, -4*l - 65 - 87 = -2*j. Let u = j - 77. Solve u*s = 2*s + 10 for s.
2
Let t = -1236 - -1254. Solve -3*c + 15 = t for c.
-1
Suppose 2*l - 6*l = 0. Let y = 4 - 0. Suppose l = y*q - 3*o - 14, 1 = 3*q - 3*o - 8. Solve 19 + 1 = -q*m for m.
-4
Let y be (-336)/(-84) - 2/(-1). Solve -3 + y = -3*b for b.
-1
Let s be -1*(2 + 2) - (-92 - -2). Let q = s - 80. Solve j - q = -3 for j.
3
Let y be 1/2*0/1. Let o be (2/4)/((-50)/100). Let j = y - o. Solve 5 + j = 3*l for l.
2
Let d be 2 - ((-45)/(-81) + 24/54). Solve 11*f = 23 - d for f.
2
Let o(w) = w**3 + 3*w**2 - 4*w + 3. Let c be o(-4). Let y be 0/(c + -2) - -2. Solve -3*s + 4*s = -y for s.
-2
Let f(v) = -2*v. Let t be f(-4). Suppose 0*d = -4*z - 2*d + 12, -z - 5*d - 6 = 0. Let n be (8/(-6))/(z/(-6)). Solve 5*g + t + n = 0 for g.
-2
Let t be (0 + (-1)/5)*(-10)/2. Solve 0 = -4*g + t + 3 for g.
1
Suppose 0 = -2*l + 4*g + 106, 2*l - 4*l + g = -103. Solve l = -6*k + 27 for k.
-4
Suppose -39 = -6*n + 99. Suppose -q = -2*q - 5*r - n, 3*q - 4*r = 26. Solve -q*v = 1 + 1 for v.
-1
Let s(v) = -v**3 - 5*v**2 + 7*v + 6. Let r be s(-6). Let i = 72 + -68. Solve p