 l.
4
Let s(y) = y**2 + 12*y + 6. Let t be s(-13). Suppose -48 = -t*o + 15*o. Solve -3*r = r + o for r.
-3
Let m be (-695)/90*8 - 4/18. Let s = -37 - m. Solve -5 = -5*l - s for l.
-4
Let z = -106 + 112. Solve 3*w = 6 + z for w.
4
Let b(p) = p**3. Let r be b(2). Let v = -6 + r. Let n be 1/(v - 21/12). Solve n*z - 4 = -0 for z.
1
Suppose -q - 9 + 28 = -f, 6 = -3*f. Let p = 19 - q. Solve p*a + 2*a = 0 for a.
0
Let d be (7 + -3 - 1) + (4 - 3). Suppose -d*a = -2 - 10. Solve -a*z = z for z.
0
Let u(n) = n**3 - 7*n**2 + 2*n - 65. Let j be u(8). Solve 9*o + 12 + j = 0 for o.
-3
Suppose 3*n - 22 = 4*r, 5*n - 2*r + 4*r - 54 = 0. Let x(y) be the first derivative of y**3/3 - 5*y**2 + 6*y + 3. Let w be x(n). Solve 0 = w*z - 2*z + 16 for z.
-4
Let t = 71 - 67. Let p be (19 - -3) + t/(-2). Solve 0*u = 5*u - p for u.
4
Suppose -39 = -4*u + 3*x - 2, -2*x + 15 = 3*u. Let w(y) = y**2 - 4*y - 5. Let s be w(u). Solve s + 9 = 5*j for j.
5
Suppose -v + 170 = 33*v. Solve -t = -v*t - 0*t for t.
0
Let y be (0 - (2 - -3)) + -1. Let v(n) = -3*n + 2. Let x be v(y). Let w(m) = -m**2 - 6*m - 1. Let q be w(-3). Solve -q*p = -4*p - x for p.
5
Suppose 0 = 5*h, 4 - 29 = -5*v + 5*h. Solve 65*r + v = 60*r for r.
-1
Let p(o) = o**2 + 8*o + 4. Let b be p(-8). Let m = -2 - b. Let n = m - -10. Solve w + w = n for w.
2
Let b = -66 - -69. Suppose t - b - 12 = 0. Solve -s = 4*s + t for s.
-3
Let j = 414 + -378. Solve 0 = 12*z + 24 + j for z.
-5
Let d = 19 + -9. Suppose 5 = i - d. Let k be (-18)/i*40/(-12). Solve 0 = 2*l - l + k for l.
-4
Suppose -192*p + 178*p = -126. Solve -o = p*o + 40 for o.
-4
Let f(k) be the second derivative of k**4/12 - k**3 - 7*k**2/2 - 32*k. Let o be f(7). Solve -2*i + o = 4 for i.
-2
Let k = 52 + -48. Suppose 0 = -2*q - 0*q - 4, -5*w = -k*q - 68. Solve -w = 4*z + 8 for z.
-5
Suppose -3*d = 5*f - 37, f + 4*d = -d + 25. Solve -q + 4 = f for q.
-1
Let o = 8 + 6. Let y = -13 + o. Let x(f) = f**3 + 6*f**2 + 5*f - 8. Let t be x(-4). Solve -y - 3 = t*h for h.
-1
Suppose 5*o - 16 = l, -2*l + 7*l = 5*o. Suppose -o*x + 3 = -9. Let m = x - 0. Solve -m*z + 11 + 1 = 0 for z.
4
Let c = -35 + 35. Suppose 3*d + 2*z - 19 = 0, 9 = 2*z - 1. Let a be -2 - (0 + (1 - d)). Solve a = -c*w - w for w.
0
Let x = 332 - 332. Solve x*v = -v - 5 for v.
-5
Let h be 2*1*25/(-10). Let d = 15 + h. Solve -4*l + d = -2*l for l.
5
Suppose -27 = -33*q + 24*q. Solve 0*g - q*g = 12 for g.
-4
Let j = 453 - 449. Solve j*g = 38 - 18 for g.
5
Let z = 94 - 94. Suppose z = 3*j - 11 + 2. Solve -r = -1 - j for r.
4
Suppose 4*i + 3*p = -0 - 8, 4*i + 16 = -5*p. Let v be i/(-3) + (-170)/(-15). Solve 0 = 5*c + v - 1 for c.
-2
Let i(u) = 7*u + 38. Let n be i(-4). Solve -3*r - n = 2 for r.
-4
Let v = -13 + 17. Suppose r = 5*f + 12, 2*r - 3*f = 2 + 8. Solve 0*u - r*u = v for u.
-2
Suppose -5*u + 4*y = -0*y - 4, -u - 4 = 4*y. Suppose -6*a + 4*a + 4 = u. Let v be (a/(-3))/((-4)/36). Solve -4*q - v = -2 for q.
-1
Suppose 230 = -9*f + 509. Solve 0 = 13*a - f + 5 for a.
2
Suppose 23 = 7*x + 2. Solve j = -x*j for j.
0
Let z be 2*2*(-7 + 8). Solve -21*n = -22*n + z for n.
4
Let p = -25 + 28. Suppose p*i - 35 = -5. Let o = i - 9. Solve -k = -2 + o for k.
1
Let z be (-108)/(-45)*9*5. Suppose 4*a = -2*k + 48, 0 = -5*k + a + a + z. Let n = -19 + k. Solve n*s - 5 = -2 for s.
1
Let g(h) = -h**3 - 8*h**2 + 21*h + 8. Let t be g(-10). Let u be t/(-3) + 30/9. Solve -u = 2*o + 2*o for o.
-1
Let p(l) = -8*l**3 - l**2 + 2*l - 2. Let i be p(1). Let n be 114/21 + i/21 - 2. Solve n*c + 4 = 4*c for c.
4
Suppose -3*a - 2*t = -13, 0 = 2*a - 144*t + 141*t - 13. Solve -a*z = -10*z for z.
0
Let c be (-2 - 26/(-6)) + 70/42. Solve 12 = -p + c*p for p.
4
Suppose 2*u - 14 = 18. Suppose -h + u = 4*b, -3*h + 2*h + b = 4. Suppose h = -4*x - x + 15. Solve x - 11 = -4*n for n.
2
Let j = -24 - -32. Suppose 8 = -4*n + j*n. Solve v - 5 + n = 0 for v.
3
Let v be (-24)/((105/(-14))/5). Solve 3*y + y = v for y.
4
Let i be -18 - -13 - (-1 + 1). Let u be 2/2*(10 - i). Solve 0*z = 3*z + u for z.
-5
Let i be ((-288)/(-180))/(2/5). Solve 0*j - i*j = -20 for j.
5
Let x(h) = -h - 3. Let i be x(-5). Let y be (6/(4 - 1))/i. Solve y = -2*m - 5 for m.
-3
Let c(m) = -m**3 + 11*m**2 + m - 8. Let z = 17 + -13. Suppose -11 = 4*j - z*y - 75, 3*y = -j - 4. Let d be c(j). Solve 5*f - d*f = -10 for f.
-5
Suppose 2*n - 5*n - 23 = -2*o, 2*n = -2. Solve 0 = 7*a - o*a - 6 for a.
-2
Suppose -3*u = -5*u. Suppose n = -5*j + 6*j + 1, 3*n + 3*j - 15 = 0. Solve u = z - 4 + n for z.
1
Suppose v - l = 0, v - 2*l + 5*l - 8 = 0. Let j = -159 - -165. Solve v = -2*z - j for z.
-4
Let y = 27 + -25. Suppose y*r + r = 0. Solve -d + r*d + 4 = 0 for d.
4
Let v be 7 + 21/(35/5). Solve 0 = v*z - 6*z + 4 for z.
-1
Let z(t) = t**2 + 5*t - 13. Let g be z(-8). Suppose 0 = -3*c + g - 2. Solve c = u + 5 for u.
-2
Let s be -2*(-88)/14 + -1 - 3116/5453. Let t = -6 + 15. Solve -s*b + t = -8*b for b.
3
Let x(y) = -9*y + 38 + 6*y + 12*y. Let q be x(-4). Solve -9*p + 8*p = -q for p.
2
Let k = -28 + 33. Let w(n) = n**2 - 6*n + 6. Let l be w(k). Solve g = -4 + l for g.
-3
Suppose 50*m = 3*m + 1269. Solve -m + 9 = 18*v for v.
-1
Let u = -88 - -92. Let c = 11 - 10. Let w be (-2)/(c/2 + -1). Solve 2*m = u + w for m.
4
Let j = -145 - -149. Let f(l) = -l**3 + 2*l. Let x be f(-2). Solve -6*t = -x*t + j for t.
-2
Let z(v) = -2*v**3 + 6*v**2 + 5*v - 12. Let r be z(3). Solve 0 = -r*b + 14 - 11 for b.
1
Let x be 57/15 - (1 - 7/35). Solve -p + 2*p = -x for p.
-3
Suppose -n + 16 = 4*t, 3*t + n + 0 = 11. Suppose -f = f - 5*i, 0 = -t*f + 4*i + 17. Suppose -3*b + l + 1 = -4*b, -15 = -f*b - l. Solve -2 = b*o + 10 for o.
-3
Let o = 0 - -2. Let r = -26 - -27. Solve -o*y + 1 = -r for y.
1
Suppose -28*a + 25*a = -9. Suppose -2*m + 6 = -3*g - 13, 3 = a*m + 4*g. Suppose 0 = m*v - 21 + 11. Solve v*i = -0*i + 10 for i.
5
Let z(a) = -19*a - 185. Let h be z(-10). Solve -23 = h*y - 3 for y.
-4
Let w(l) = -l**2 - 15*l - 54. Let m be w(-6). Solve -7*s - 3 - 4 = m for s.
-1
Let a = 25 + -45. Let f = a + 25. Solve 1 = 4*j + f for j.
-1
Suppose 3*m + 0*b + 3 = -5*b, 25 = 4*m - 3*b. Suppose 0 = -0*a - 3*a. Suppose a = 2*w - 5*w. Solve w = m*z + 5 + 7 for z.
-3
Suppose 5*w + m - 17 = 0, 2*w = -w + 2*m + 18. Let t be 4/((-38)/10 - -4). Solve -w*o = -8*o + t for o.
5
Let h be (-3)/2*6*-1. Solve 0 = -v + 4*v - h for v.
3
Let w be (-4)/(-6) + (-7)/((-147)/(-14)). Let a = -8 + 8. Solve w = 3*q - a*q + 9 for q.
-3
Let i(y) = -12*y**3 + 2*y**2 - 2. Let q be i(-1). Solve -q*l + 1 = 1 for l.
0
Let i = 87 + -84. Suppose -3*w - 3*m + 21 = 0, -i*m = w + w - 16. Let b = 6 + -4. Solve w*y + 3 + b = 0 for y.
-1
Suppose 3*z + 5 = 5*g, 2*z = -3*z + 3*g + 13. Solve z*j - 9*j + 8 = 0 for j.
2
Let s = -41 - -33. Let f be (-4)/(-26) + s/52. Let p be 2 - 1*(1 + -1). Solve f = n - p for n.
2
Suppose 0*y + 3*y + 2*u = -110, 64 = -2*y + u. Let g = 38 + y. Solve -4 = g*p + 8 for p.
-3
Let g be ((-2)/3)/((-8)/84). Suppose -n + g = -3. Solve -3*f - n = -f for f.
-5
Suppose 5 = 3*s - 4. Let q be -8 - s - (-3 + 0). Let x(a) = a**2 + 8*a + 2. Let u be x(q). Solve -3*d = u*d for d.
0
Suppose 25 = l + 4*i, 2*l + 5*i - 45 = -2*l. Solve 6 = l*u - 4 for u.
2
Let m(v) = 5*v**2 + v + 3. Let j(w) = 9*w**2 + 2*w + 6. Let r(z) = 4*j(z) - 7*m(z). Suppose -2*d - 112 = -108. Let c be r(d). Solve -c*h + 15 = -2*h for h.
5
Suppose 13*w = 7*w - 546. Let h = 95 + w. Solve 7 = -h*a - 9 for a.
-4
Let i(d) = d**2 + 7*d + 2. Let s be i(-7). Suppose -u - 6 = -3*x - 4*u, u - s = -3*x. Let z be 5 - (-2)/6*x. Solve q = -2 + z for q.
3
Suppose 6*b = -8 + 2. Let t be (-3)/(30/(-28)) - b/5. Solve y - 10 = t*y for y.
-5
Suppose -2*f = -10*f - 2*f. Suppose 3*k - 4*g - 1 = 4, 0 = -2*k + 5*g - 6. Solve -3*v - 1 + k = f for v.
2
Let i(v) = 2*v + 39. Let z be i(-17). Suppose -z*x + 3*b = -27, -3*b - 5 = x - b. Solve -8 - 7 = x*w for w.
-5
Suppose -20*b = -23*b - 30. Let q be (-1)/((30/6)/b). Solve q*h = -2*h + 8 for h.
2
Suppose -5*o + 25 = 0, -5*o = 4*d - 2*o - 55. Solve -35 = -d*n + 17*n for n.
-5
Let m = -339 - -341. Solve m = -a - 0 for a.
-2
Let f(n) = 2*n**2 - 13*n - 89. Let d be f(11). Solve -d*o + 0 - 20 = 0 for o.
-2
Suppose 4*c + 51 - 51 = 0. Solve c = 3*l - 9 + 15 for l.
-2
Let u(g) = -g**3 - 7*g**2 + 9*g + 11. Let t be u(-8). Let f = 64 - 61. Solve -t*m - f + 12 = 0 for m.
3
Suppose 14 = 4*m +