a - t, 0*j = -5*j + a - 12 for j.
-3
Suppose -j + 2 = 2*h, -6*j - 14 = 2*h - j. Solve 0 = u + h, u = -2*w + 5 for w.
4
Let d(g) be the second derivative of 7*g**3/6 - g**2 + 7*g. Let v be d(1). Solve 5*f - 34 = 2*f + v*w, 4*w = 4*f - 32 for f.
3
Let n be (1 + -2)*(-144)/8. Let m be n/8*(1 + 3). Suppose -5*v = 15, -p - v - m = 3*v. Solve -p*l - 3*i + 2 = -i, -5 = -5*l - 3*i for l.
4
Suppose 3*g = -3*g + 18. Let w(j) = j**2 + 1. Let x be w(g). Solve -2*l = -3*z - x - 0, 4*z = -5*l - 21 for l.
-1
Let y(g) = g**3 + 7*g**2 + g + 7. Let m be y(-7). Let x(j) = 2*j - 9. Let s be x(10). Let w = 5 + s. Solve 4*n + b = w, 8 = 2*n - 5*b - m for n.
4
Let c(k) = k**2 + 30*k - 62. Let d be c(-32). Solve 0*t + 2 = 4*h + t, d*h + 5*t = 10 for h.
0
Suppose 21*l - 1332 = -15*l. Solve 5*w - 5 = -5*p - 0*p, 5*p - 3*w = l for p.
5
Let g be 27/6*((-6)/2 + 1). Let j = g + 14. Solve -m + 4*z = -2, 3*z + 2 = -j*m - 11 for m.
-2
Suppose -3 + 15 = 3*l. Suppose -2*v = -l*v + 32. Suppose v = 3*j + j. Solve -j*c + 3*c + 1 = 0, 1 = i + c for i.
0
Suppose 5*p = 9 - 64. Let r(u) = u + 13. Let h be r(p). Suppose 5*s - 26 = -4*m, -3 = -h*m + 5. Solve j = -2*k - 12, s*j + 16 = -4*k + 4*j for k.
-5
Let y = 2 + 1. Let b(f) = -2*f**3 - 39*f**2 - 19*f + 9. Let l be b(-19). Let u(c) = 2*c**2 - c - 1. Let r be u(1). Solve -3 = -t + 2*j - 0, y*j + l = r for t.
-3
Let x be (-1 + 1)/(1 - 0). Let o(p) = 2*p**2 - 2*p. Let b be o(2). Solve -s + x*s = -2*i - 1, 5*s - b*i = 11 for s.
3
Let x be (4/9)/2*6*3. Solve -4*f + c = 3*c - x, -3*f = -5*c - 29 for f.
3
Let c(z) = -z**3 + 8*z**2 + 8*z + 11. Let y be c(9). Suppose 0 = 3*f - y*f - 5*i + 20, f + 4*i - 16 = 0. Solve 4*b - 20 = f, -3*d - 21 = -3*b - 0*b for d.
-2
Let r be ((-16)/12)/(1/6). Let u be (-9 - -10) + (-1 + 2 - r). Solve 0 = -c - 0 - 4, 0 = j - 3*c - u for j.
-2
Suppose -4*p - 265 = 343. Let o = p + 157. Solve -t + 3*l + o = -l, -5*l = -4*t - 2 for t.
-3
Let z(l) = -10*l + 34. Let c be 9/(-2)*(2 - (-8)/(-3)). Let y be z(c). Solve 0 = 2*n + y*k + 30, -k - 5 = n + 5 for n.
-5
Let c be (-14)/42 - (-20)/6. Suppose -i + c*i - 8 = 0. Solve 4*j - 5*z = 6*j - 5, i*z - 4 = 0 for j.
0
Let x = 412 + -411. Solve -4 = -3*l + 3*g - 1, -g - x = -2*l for l.
0
Let r be -1*(-3)/(-1 + 0). Let b(z) = -z**2 - 5*z - 6. Let g be b(r). Let x be (g/2)/(-13 + 17). Solve -p = j + j + 4, -j + 5*p + 9 = x for j.
-1
Let c(k) = 5*k + 19. Let h(v) = -15*v - 58. Let q(o) = -7*c(o) - 2*h(o). Let j be q(-5). Solve 4*n + 5*s + 6 = 8*n, 0 = n + 2*s - j for n.
4
Let n be (-82)/(-8) - (-3)/(-12). Suppose l + 4 = 0, f + 5*l + 4 + 84 = 0. Let u = 70 + f. Solve 14 = z - 2*k, 3*k + n - 3 = -u*z for z.
4
Let h be ((60/10)/6)/(1/2). Solve -c + 5*r - 50 = 4*c, -5 = 3*c + h*r for c.
-5
Let b be (31/(-124))/(1/(-20)). Solve 3*t - i = -5, -b*t - 24 - 3 = 3*i for t.
-3
Let h = -332 - -334. Solve 10 = 3*c - u, 0*c + h*c = u + 6 for c.
4
Let u = 36 + -31. Let z(i) be the second derivative of i**4/6 - i**3/3 - 2*i**2 + 3*i. Let r be z(3). Solve -4*j - 2*s = r, 0*s - 3*s = u*j + 9 for j.
-3
Let h be 0 - 0 - (-4 - -2)*-32. Let m = 69 + h. Solve -2*c - 3*u = -5, -c - 3*c = m*u - 5 for c.
-5
Suppose 3*d - d = 2*s, -5*d = -2*s - 6. Let x be (3 - 4)*8/(-2). Suppose 0 = -21*b + 95 - 53. Solve b*i - s = x*p, -7*i = -2*i + 15 for p.
-2
Let n(g) = -g**2 - 4*g. Let b(f) = -f**2 + 2*f + 3. Let c be b(3). Suppose -m - 3 = -c. Let o be n(m). Solve -o*p = -4*j, -j - 3*j - 8 = -5*p for j.
3
Suppose -5*q = -5*i + 50, -2*q = -18*i + 13*i + 50. Solve 4*b + i = -5*h - 7, -3*h = -b + 17 for b.
2
Suppose -3*j = 3, -j - 460 = -0*b - 3*b. Let y = b + -148. Let h be ((-2)/4)/((-1)/6). Solve y*n = 2*v - 12, -4*n - 6 + 2 = -h*v for n.
-4
Let a be 12/(-30) + 3 + (-13)/5. Suppose -3 = -4*v + o, 2*o = -a*v - 4*v + 6. Solve 13 = 3*z + 2*x, 3*x - v - 17 = -4*z for z.
3
Let k(d) = -d. Let s be k(-2). Let w(x) = -x**2 + 8*x - 7. Let o be w(6). Solve -5*u = -p - 21, -s*p - p - 13 = -o*u for u.
5
Let u be 3*(1 + -2) - -7. Solve -2*m + 7*w + 16 = 4*w, 0 = 4*m + w - u for m.
2
Let g = 36 + -31. Suppose 0 = -g*d + 4*d + 4. Solve -5*c = d*z + 15, 4*c = 5*z - 0*z + 29 for z.
-5
Suppose -b - k = 3*b - 20, b - 5*k + 16 = 0. Solve d - 3*d = 3*r + 4, -b*r + 5*d = -10 for r.
0
Let k = 7 - 3. Let v = 15 - 11. Suppose -v*y - 16 = 5*a, -2*a + 4*y = -2 - 14. Solve -o = -k*n - 0*o - 17, 4*n + 3*o - 3 = a for n.
-3
Let z be 3 + 6/(-2) - -8. Solve -3*u + z = -0*u + g, -2*g = u - 11 for u.
1
Let b = 317 + -314. Let i(p) = -p**2 - 5*p + 5. Let u be i(-5). Solve u*t + 0*t = -4*r - 36, -b*r - t - 16 = 0 for r.
-4
Let a(r) be the second derivative of 1/2*r**2 + 0 - 2/3*r**3 + 6*r. Let h be a(-2). Solve 3*g - 28 = -5*s - h, 0 = -2*s + 10 for g.
-2
Let g be ((-11)/6)/11 - 13/(-6). Solve 12 = 3*j + 5*a, -2*j + 4*a + 16 = g*j for j.
4
Let i(f) = 5*f + 43. Let x be i(-11). Let r(y) = y**3 + 12*y**2 - y - 7. Let j be r(x). Solve 0 = 3*p + 2*a + a, -j*p = -2*a + 35 for p.
-5
Let m be 33/(-6)*24/(-33). Solve -4*j - 1 = -l, j = -m*l + 15 + 6 for l.
5
Let d be 9 - (-147)/((-56)/(-8)). Solve -5*v - 2*g - d = 0, -v - g + 21 = -6*g for v.
-4
Let s be 416/624 - 1/(-3). Solve 0 = 5*y + 3*g + s, -5*y - g = g + 4 for y.
-2
Let y = -125 - -224. Suppose -2*n = n + 3*k - y, 3*k - 35 = -n. Solve -5*w = -4*z + n, 5*w + 5 = -7*z + 2*z for w.
-4
Let a = 0 - 0. Let q(w) = -5*w - 41. Let m(f) = 3*f + 27. Let n(u) = 8*m(u) + 5*q(u). Let z be n(6). Solve a = 5*x + 3*j + 3 + 1, 0 = x - z*j - 16 for x.
1
Let j(v) = 3*v - 1. Let n(u) = -16*u + 6. Let y(z) = -11*j(z) - 2*n(z). Let m be y(-1). Solve f + 10 = -m*f + 4*k, 0 = 3*f + 3*k - 15 for f.
2
Let h = -155 - -160. Solve -2*v = -5*n - 1 + 6, -h*v + n = -22 for v.
5
Let d = 133 + -120. Solve 2*h - 4 = -4*p, -2 + d = -3*p - 5*h for p.
3
Suppose 13*n = -15 + 80. Let t be (1 + 0)*(1 + 0). Let w = t + n. Solve -2*k + 8 = -w*v + 2*v, -5*k - v = 2 for k.
0
Suppose 0*t = 8*t - 104. Suppose -16*g = -t*g - 9. Solve -5*x - 11 = 4*k, -g*x + 4*k - 2*k + 11 = 0 for x.
1
Let r be (-62)/(-310) - (-1)/(-5). Solve -2*a - 10 = -a + 4*c, r = -2*a - 4*c - 12 for a.
-2
Let h be 4/10 + (-46)/(-10). Let x = 8 - h. Suppose -18*a + 7*a + 143 = 0. Solve -2*y + 3*y + 2*p - a = 0, 0 = x*y + p - 14 for y.
3
Suppose 1228*b - 1220*b = 0. Solve -p - 2*p - 11 = -h, 4*p + 4*h + 20 = b for p.
-4
Let n be 4/26 + 735/39. Let a(o) = -o**2 + 3. Let t be 1 - (-4 - 0 - -5). Let g be a(t). Solve -4*v - 3*i = 23, -g*v + 2*i + 3*i = -n for v.
-2
Suppose -3*u + 5 = -4. Let m = 0 + 3. Let v be 0/(-11 + -6 + 25). Solve v = 2*j + 8, 4*j + 16 - m = u*t for t.
-1
Let a be -1 - -1 - (-7 + 2). Let q(n) = -21 + 12 + n + n. Let x be q(a). Solve -2*v + x = z, -5*v - 2 = -3*z + 1 for v.
0
Let p be ((-5)/(-2))/((-9)/(-7 + -11)). Solve -6 = -p*k + 3*k + 4*i, i = -3 for k.
-3
Suppose -w = w + 18. Let p be 3 - (3 - w/(-3)). Solve -p*o = -r - 0*r + 11, -4*o - 8 = 0 for r.
5
Let r be (16 - -2)*(1 + 0). Suppose p = -4, -2*l + 6*l - 2*p = 96. Suppose -7 = 5*s - x - l, 0 = 2*s + 3*x - 6. Solve 2 = -5*d - r, -s*z + 2*d = -17 for z.
3
Suppose 6*z - 76 - 38 = 0. Let v(g) = g**2 + 3*g - 3. Let m be v(-6). Let n = z - m. Solve n*u - a = a + 18, -u - 2*a + 2 = 0 for u.
4
Suppose 0 = -3*r + 56*i - 54*i + 33, i = -5*r + 68. Solve -a = 3*s - 9, r - 1 = 2*a + 3*s for a.
3
Let k be 18/(-12)*(-8)/2. Suppose -3*f - y + 3 = 0, -2*y + 0*y - k = 0. Solve -4*s = r + 4*r + 1, 3*s + f = -5*r for s.
1
Let a = 6 - 6. Suppose 4*g - 5*g + 4 = a. Suppose 0 = -2*w - g + 12. Solve 4 + 3 = 3*m - 2*p, -w*m = 2*p + 14 for m.
-1
Suppose -6*i = -i. Suppose 0*f - 4*f = i. Let n be ((-18)/(-21))/(246/1148). Solve 5*m - 4 = -29, k - n*m - 17 = f for k.
-3
Let k(n) = 11*n - 157. Let b be k(15). Let g be ((-2)/(-4) + 1)*2. Solve m - 3*y + 21 = -8*y, g*m + b = -4*y for m.
4
Let v = -37 - -29. Let d = -6 - v. Suppose 60 = 2*i + 2*i. Solve -d*r + 4 = 0, 6*r + i = 5*k + r for k.
5
Let f be (-5)/2*(-2 + 0). Solve -2*c - f*y = -3, c - 2*y = 2*c - 1 for c.
-1
Let d(l) = -l**3 + 2*l**2 + 16*l - 28. Let y be d(4). Solve i = -y, 4*v - 3*v + 3 = -i for v.
1
Suppose -30 = -6*v + 4*v - 4*m, 2*v - 2*m = 0. Solve -3*x + v = x - 5*y, -2*x = 5*y + 35 for x.
-5
Let r = -22 - -30. Let f = 9 + -5. Let v(d) = 3*d**3 - 2*d**2 - 3*d + 3. Let t be v(2). Solve -f*j - t = -n, -n - r = 2*j - 3*n for j.
-3
Let s = 8 + -13. Suppose 0 = -4*y + 7*