 w = 0 for l.
-1
Let j be (18 + -18)/(2/2). Solve 39*v - 37*v = j for v.
0
Let z(b) = b**3 - 10*b**2 + 7*b + 6. Let a be z(9). Let p be (a/(-15))/((-5)/(-25)). Solve -2*t - p = -t for t.
-4
Let a be ((0 + -55)*13/(-13))/1. Solve -18*s - a = -1 for s.
-3
Suppose -3*x - 2*x + 4*g = -21, -5*x = -2*g - 23. Suppose -56 + 21 = -x*p - 5*j, -4*p + 4*j = -68. Let n = -7 + 11. Solve 0 = -n*z + p - 0 for z.
3
Suppose -5*f = -3*v + 20 + 8, -5*v = 3*f + 10. Let x = 7 - 4. Let k = x - v. Solve -a = 6 - k for a.
-4
Let t = 15 + -29. Let o = 32 - 18. Let x = t + o. Solve x = 2*y - 4*y - 8 for y.
-4
Suppose 10 = 5*m - 15. Suppose 2*q = -5*b - m, -2*q - 3*b - 1 - 2 = 0. Solve q*o - 2*o = 0 for o.
0
Let i(k) = -9*k + 3. Let r be i(8). Let f = r - -97. Let z = 36 - f. Solve m + 3*m = -z for m.
-2
Let i be (-1 + -35)/(-2) + -3. Suppose 3*k - 5*k = -5*u - 9, -5*u + 3*k = 11. Let f be (2 + u)/(3/i). Solve -f*z = -z for z.
0
Let g be (-1 - -3)*1*30/20. Solve -6 = -3*r + g for r.
3
Suppose 0 = -5*g - 0*g + 20. Suppose g*b = 2*t + 16, 5*b - 16 = 4*t + 4. Solve 5*n - 16 = b for n.
4
Let q(u) be the second derivative of 0 + 9*u - 3/2*u**3 + 11/2*u**2 + 1/12*u**4. Let t be q(8). Solve 0 = -b + t - 1 for b.
2
Let s be (-3)/1 - (-228)/76. Solve 12*b + 20 + 16 = s for b.
-3
Suppose 0 = -q - 7*q + 64. Let w be 4/q*8 - 1. Solve 0 = -w*h + 5*h + 6 for h.
-3
Suppose 5*g - 4*l - 45 = 0, 7 = -2*g + 2*l + 27. Suppose 2 = -g*v + 2*c - 0*c, 2*c = 2. Let y(z) = z**3 + z**2 + 2. Let b be y(v). Solve b*r + 6 = -r for r.
-2
Suppose -3*m - m = -240. Let a be 2/3*m/8. Suppose 3*i = -2*q - q, q - 3*i - 4 = 0. Solve -f = -q + a for f.
-4
Suppose -19 = -14*x + 23. Suppose -2*a + 22 + 2 = -4*p, -5*a + 3*p = -53. Solve -x*u + 2 = -a for u.
4
Let x(y) = -y**2 - 5*y - 4. Let r be x(-4). Let w be r*(6/4 - 1). Let c be ((-28)/(-7))/(w + 2). Solve 1 + 1 = -c*f for f.
-1
Let p(x) = x**2 + 4*x - 4. Let r be p(-6). Suppose r = u + 5. Solve 0 = u*k - 2*k + 4 for k.
-4
Suppose -4*r - 5 = -3*w, 0 = -w + 2*r - 98 + 99. Solve 0 = 2*j + w - 5 for j.
1
Let c(s) = s**2 - 10*s + 48. Let g be c(6). Suppose 8*q - g + 0 = 0. Solve -q*d - 12 - 3 = 0 for d.
-5
Let t = -99 + 141. Let l = -39 + t. Solve -2*f - 20 = l*f for f.
-4
Let p = -718 - -723. Solve p*j - j = -16 for j.
-4
Let o be ((3/(-2))/(-3))/((-2)/(-48)). Suppose o = -4*g, 3*g = 3*x + 5*g - 63. Solve 4*k = -x + 3 for k.
-5
Let z be (-2)/5*(2 + -12). Suppose 5*q = -5*t + 35, z*t + 18 - 43 = -3*q. Suppose -3*m + 4*l + 41 = 13, 0 = -m + 5*l + 24. Solve t*u + 0 = m for u.
1
Suppose -u - 5 = 4*u. Let h = u - -3. Let d be (0 - -3) + 5 + -6. Solve -d*j - h = 8 for j.
-5
Suppose 4*c + 0 = 2*j - 2, c + 18 = -2*j. Let g = 7 + j. Suppose g = 5*a - 3*a. Solve a = 4*q - 1 - 3 for q.
1
Suppose 4*s = 18*p - 16*p - 34, -5*p - 2*s = -37. Solve 4*n - p*n = -10 for n.
2
Suppose 18*r - 13*r = 0. Let l be r - (2 - (-5 + 8)). Solve -9 + l = -4*m for m.
2
Let w(a) = 21*a - 383. Let s be w(19). Solve -3*l = -7*l + s for l.
4
Let m(h) be the third derivative of h**6/120 - h**5/30 + h**4/8 - h**3/2 + h**2. Let t be m(2). Suppose 192 = -4*f + 196. Solve -5 - f = -t*j for j.
2
Suppose 3*v = 8*v - 10. Suppose 9*m = -21*m + 270. Solve v*g = 5*g - m for g.
3
Let a(b) = b**2 + 3*b + 3. Let k be a(0). Solve 0 = -k*n - 13 + 1 for n.
-4
Let p = 85 + -25. Let h be (((-8)/(-6))/4)/(5/p). Solve h*g - 2 = -6 for g.
-1
Let x be 2 + 3 + -5*6/10. Solve 0*m = x*m for m.
0
Let l be (12/(-16))/((-3)/(-2))*-16. Solve -l = h + h for h.
-4
Let t be 8/6*(-297)/18. Let o = t - -42. Solve 7*u - o = 2*u for u.
4
Suppose -4*x = 5*p - 66, 2*p - 40 = 4*x - 9*x. Solve -13*v - p = -8*v for v.
-2
Suppose -29 = 4*s - 29. Solve -m + 2*m + 5 = s for m.
-5
Let y(j) = j**3 + 8*j**2 + 12*j + 10. Let r be y(-4). Suppose 0 = 3*z - 3 - 30. Solve z = -3*h + r for h.
5
Let m(o) = -o**2 - 2*o. Let a be m(-1). Let v be 6*a - (-5 + 8). Suppose c - 5*c = v*f - 30, 3*c = 4*f - 15. Solve j = -j + f for j.
3
Suppose 0 = 5*t, 0*l - 2*t = -3*l + 4*l. Solve l = -5*j + 2 + 18 for j.
4
Let r = -9 + 19. Let n be -1 + 39/12 - 2/8. Let c be n*(-3)/(-3) - (-9)/3. Solve 0 = c*y + r + 15 for y.
-5
Let b(d) = 4*d - 2. Let r be b(-3). Let j(c) = -c + 1. Let o be j(2). Let k be 3 + o - r/2. Solve -4*u + u = k for u.
-3
Let q(g) = 3*g + 27. Let w(d) = -2*d - 26. Let o(y) = -3*q(y) - 4*w(y). Let j be o(8). Suppose 0 = -n - 2 + 7. Solve -n*k = j - 0 for k.
-3
Suppose 6 = -5*w + 26. Let a = 2 - w. Let j be (-1)/a + (-10)/(-4). Solve -j*f = -f + 10 for f.
-5
Let h(o) = -o**2 + 9*o - 9. Let w be h(8). Let m be 37 + w/(2/6). Solve -5*j - m = -9 for j.
-5
Let y(z) be the third derivative of z**5/60 - z**4/4 + 3*z**3/2 - z**2. Suppose 13*b - 26 = 52. Let n be y(b). Solve -n = -4*m + 3 for m.
3
Let b be 5 - 51/9 - (-16)/6. Let s = -1 - -2. Suppose b*f + s = 13. Solve f - 3 = -r for r.
-3
Let p(z) = -z**2 + 7*z - 2. Let q be p(6). Let y(o) = -o**2 + 5*o - 4. Let r be y(q). Solve -w + r = 4 for w.
-4
Suppose -789 = -28*l + 387. Solve -o - l = -41 for o.
-1
Let r = 28 + -13. Let w = r + -11. Suppose 0 = -w*k + 9*k. Solve k = -h - 3*h - 20 for h.
-5
Let p(q) = -q**3 - q**2 + 5. Suppose -4*z = -z. Let r be p(z). Let l be 1*2*(-45)/(-30). Solve -1 = l*g + r for g.
-2
Suppose -5*o + 4*o = 2. Let q(u) = u + 4. Let y be q(o). Solve 5 = -y*j + 13 for j.
4
Suppose -45*a + 33*a + 492 = 0. Solve 44*x = a*x - 3 for x.
-1
Let n(w) = 23*w + 143. Let v be n(-6). Solve v*b = -36 + 36 for b.
0
Suppose -9 = -r - 3*b, -4*r + 4*b + 4 = -0. Solve 2*s = 7 - r for s.
2
Suppose -81 - 111 = -16*f. Solve 0*s = 3*s + f for s.
-4
Let p be 3/((-12)/(-19)) + 1/4. Let l(u) be the first derivative of -u**4/4 + 2*u**3/3 - u**2/2 + 2*u - 1. Let c be l(2). Solve -p*x + 0*x + 25 = c for x.
5
Let u = 6 + -4. Suppose v - u*v = 5*v. Solve -4*j + v*j - 8 = 0 for j.
-2
Let r be (-10 + 11)/(4*(-4)/(-64)). Suppose 25 - 1 = 4*p. Solve -r*f + f + p = 0 for f.
2
Let m(w) = 3*w**2 + 3*w + 4. Let k be m(7). Let y be k/22 - 4/(-22). Solve 0 = -6*r + 4*r - y for r.
-4
Suppose -52 = 34*q - 36*q. Solve 2*z - q + 34 = 0 for z.
-4
Let l be (2/4)/((-4)/(-24)). Suppose -5*h - 16 = -3*v, 0 = 7*v - 8*v - h. Solve -5*q + v*q = -l for q.
1
Let m = 146 + -77. Suppose -m*j = -70*j + 2. Let d = -20 + 33. Solve -j*s = -d + 5 for s.
4
Suppose 3*w + 12 = 3*q, -7*q + 16 = -5*w - 3*q. Suppose w = 3*m - 2*m + 2. Let t be (-1)/(-1) - (-5 - m). Solve 0 = -l - t - 0 for l.
-4
Let g(y) = -11 + 13 + 21*y - 5. Let f be g(1). Suppose 2 = -2*u + f. Solve -3*t + t = -u for t.
4
Suppose 2 = -5*s - 188. Let k = s + 43. Solve 0*m + 5 = k*m for m.
1
Let z(c) = c**2 + 49*c - 268. Let u be z(6). Solve 4*r - 82 = -u for r.
5
Suppose 12 + 1 = n. Suppose -n*z - 6 = -14*z. Solve 2*t - 2 = z for t.
4
Suppose 3*p = 3*k - 71 - 7, -k + 36 = 4*p. Suppose -k = 2*i - 9*i. Suppose 2*v + 0*w = -w - 1, -5*v + w + 1 = 0. Solve -i*q = -v*q + 16 for q.
-4
Suppose z = -3 + 4. Suppose -4 + 13 = 5*h - 4*q, 0 = q + z. Suppose 8*i - h = 31. Solve -t - i = t for t.
-2
Let o = -7443 + 7443. Let h = -7 + 10. Solve 2*v + h*v = o for v.
0
Let o = -946 - -952. Solve o*u = 3 + 15 for u.
3
Let m be ((-22)/(-6))/((-11)/(-33)). Let q = m + -7. Suppose -y - 3*w + 22 = 3*y, 26 = q*y + 5*w. Solve -y*f + f + 9 = 0 for f.
3
Let n(t) = 3*t**3 + 20*t**2 - 10*t - 17. Let i be n(-7). Suppose 9*s = 5*s. Solve i*c + 2 + 6 = s for c.
-2
Suppose -261 = -7*i + 243. Suppose 104 = 4*k + i. Solve -k = -3*b + 4 for b.
4
Let r = -194 - -194. Solve r = -g - g - 2 for g.
-1
Let q = -2 - -2. Let l be 2/(-4)*(q + -2). Suppose 48*n - 76 = 68. Solve l + 2 = -n*k for k.
-1
Suppose -k = -5*i - 17, 9*k - 4*k - 4*i = 22. Solve -13 - k = -3*n for n.
5
Suppose 5*y - 5 = -4*m, -3*m + m = y - 1. Let g be -6 + -81 - (1 + -5). Let n = -62 - g. Solve n = 4*q + y for q.
5
Let f = 627 - 429. Solve -202*l = -f*l - 12 for l.
3
Let x(b) = 10*b**2 - b - 1. Let j be x(-1). Let f be 5*4/10 + 2. Suppose -4*n = -7*n - 4*p - 12, -2*p = -f*n + 6. Solve n = -3*k - 2*k + j for k.
2
Suppose r - 1 = g, g - 11 = -5*r + 4*g. Suppose -2*b + 5*h + 43 = -0*b, 28 = b + r*h. Let v be b/30 - (-1)/5. Solve 0*p = -p + v for p.
1
Suppose -1 = 2*u + 5, 2*p + 1 = -3*u. Suppose -5*b - 3*k = -0*k + 3, -1 = p*b + k. Solve 3*m + 9 + 0 = b for m.
-3
Suppose 0*a + 2*a = -4*j - 8, 2*a = 0. Let l be j/3 + 24/9. Let p be 4 + (12/9)/((-8)