 8*l for l.
-1
Let k = -9 + 12. Let b be (1 - 8) + (7 - 6). Let p be k + -2*(-3)/b. Solve -p = c + 2 for c.
-4
Let g = -9 + 19. Let k be (-120)/(-45)*(1 - 4). Let a = k - -12. Solve -y + g = a*y for y.
2
Let r(o) = -4*o**2 - 127*o + 51. Let u be r(-32). Solve -u*l = -13*l - 30 for l.
5
Let o be (-752)/(-18) + 2/9. Suppose -7*y + 4*y + o = 0. Let i = 15 - y. Solve 0 = 2*k - i - 3 for k.
2
Let f be (-2)/(-9) - (-423)/(-81). Let k be 7 + -4 + f - -4. Solve 0 = -3*b + b - k for b.
-1
Suppose 2*w = 5*w - 6. Suppose 4*p + 24 = 8*p. Let k be 7/w + p/(-4). Solve 0*r - k*r = 8 for r.
-4
Suppose -3*v - 10 = 5*q, -4*v + v + 40 = -5*q. Solve 4*f - 1 = -v for f.
-1
Let j(f) = -4*f + 16. Let o be j(1). Solve 0 = -15*h + o*h - 3 for h.
-1
Suppose -3*b + 15 = 45. Let y be (5/4)/(b/(-40)). Solve -36 = y*z - 11 for z.
-5
Let y(u) = -u**2 + 13*u - 1. Let v be y(14). Let x(s) = -s**2 - 15*s. Let f be x(v). Solve f = -2*z - 2*z - 4 for z.
-1
Suppose -5*a = h + 3, 3*h - 2*h + 4*a + 2 = 0. Solve 2*c - c = -h for c.
-2
Let p = 17 - 9. Suppose 2*b = -4*h - p, -5*h = -b - 2*h + 6. Solve -t = -b*t for t.
0
Suppose 4*a - 111 = 97. Let p = -37 + a. Solve 0*t - p = -3*t for t.
5
Let k = -2 - 0. Suppose -5 - 22 = 9*o. Let s be 0 - ((k - o) + -1). Solve s = -2*c - c for c.
0
Suppose 2*w = 67 - 61. Suppose w*m - 49 = -4*m. Solve 4*q = m*q for q.
0
Let v = -2472 - -2485. Solve -v*m - 14 = -53 for m.
3
Suppose 0 = -4*p + 4*a + 168, -4*p - 13*a = -18*a - 171. Solve 8*z + 63 = p for z.
-3
Suppose 0 = 48*r - 55*r. Solve -5*b + 19 - 24 = r for b.
-1
Let i be (1/2)/(1/12). Suppose -4*j + 5 + 3 = 0. Suppose j + i = 4*s. Solve 0*p = -2*p + s for p.
1
Let p(t) = -t**2 - 6*t - 4. Let f be p(-2). Solve 0 = v - f*v for v.
0
Let x = 239 + -229. Solve x*p - 11*p = -5 for p.
5
Let j be (-12)/9*(-90)/5. Suppose -4*z + 2*k + 2*k = 0, 4*k = -4*z + j. Let h be (z - 4 - -2)*0. Solve 2*i - 8 + 0 = h for i.
4
Let n be 143/12 - (-16)/192. Solve 1 - 37 = -n*s for s.
3
Let q(z) = 2*z**2 - 3. Let f be q(3). Let o(j) = -j**3 - 5*j**2 - 4*j + 4. Let u be o(-4). Let w = 1921 + -1921. Solve p + u*p + f = w for p.
-3
Suppose 6*q = 15*q - 36. Solve -q*k + 16 - 4 = 0 for k.
3
Suppose 0 = -2*r - 5*f - 15, 3 = -3*r - f - 0*f. Suppose -7 = -n - r*a - a, -12 = -4*a. Solve -n*c = 11 + 5 for c.
-4
Let r(w) = -w**2 + 8*w - 3. Let z be r(7). Suppose p = 2*u - 3 - z, u = -p + 8. Let t(k) = k + 9. Let a be t(-4). Solve -a*l = -4*l + p for l.
-3
Let v(r) = -r**3 - 4*r**2 + 10*r + 34. Let f be v(-5). Solve 0 = 3*p - f + 21 for p.
-4
Let w(l) = -2*l**3 + 68*l**2 - 66*l + 11. Let k be w(33). Solve 1 + k = -3*n for n.
-4
Suppose -23 = 18*l - 113. Solve l*d + 26 = 1 for d.
-5
Suppose 73*i = 74*i - 4. Suppose -15 = -i*q - q. Solve -t = 1 - q for t.
2
Suppose 2*o = 4*f - 826, 3*f + 5*o - 3*o = 637. Solve -4*y - f = -225 for y.
4
Let g = 55 + -7. Suppose -p = 3*a - 6*p + g, 4*a + 4*p + 96 = 0. Let i = 23 + a. Solve -8 + i = -3*f for f.
2
Let v(a) = 21*a - 2 + 3 - 22*a + 2. Let j be v(-9). Solve -j = -5*s - 2 for s.
2
Let k(s) = s**3 + 9*s**2 + 12*s + 35. Let z be k(-8). Solve z*i = 8*i - 5 for i.
1
Let c(q) = 9 - 4*q - q**2 - 3*q + 0*q. Let h be c(-7). Let w be h/(-15) - 16/(-10). Solve y = 2 + w for y.
3
Let y = 2 - 0. Suppose -11 = -3*a - y*k + 3*k, -5*a + 5*k = -15. Suppose -23*x - 35 + 104 = 0. Solve -a*b + x*b = 5 for b.
-5
Let i(m) = -m**3 + 4*m**2 - 8*m + 18. Let x be i(3). Solve -1 - x = -b for b.
4
Suppose 4*t + 4*d + 48 = 0, 4*t + 4 = 4*d - 12. Let f be t/2 - -7*1. Let o(z) = -z**2 + 8*z - 5. Let g be o(7). Solve -f*r + 2*r = g for r.
-2
Let t be (-1)/3 - 57/(-9). Suppose 13 - 7 = 2*k. Solve 6 = k*p - t for p.
4
Let a(r) = -r**3 - 12*r**2 - 24*r + 66. Let b be a(-9). Solve b*i - 45*i = 12 for i.
-2
Let q(t) = t**3 - 6*t**2 + 5*t - 22. Let j be q(6). Solve -j*l = 21 + 11 for l.
-4
Let q(k) = 5*k + 3. Let v be q(-6). Let j(p) = -p**2 - 29*p + 315. Let x be j(9). Let l = x - v. Solve -z + 1 + 0 = l for z.
1
Let y(a) = a**3 + 13*a**2 + 10*a - 24. Let k be y(-12). Solve -10*s + 14*s = k for s.
0
Let q be -1*(-17 - (-10 - -1)). Solve q = 2*w + 14 for w.
-3
Let l(x) = 2*x**3 - 24*x**2 + 22*x + 12. Let z be l(11). Solve z = -7*s + 5 for s.
-1
Let t(s) = s**2 - 28*s - 26. Let f be t(29). Solve f = 2*c + 7 for c.
-2
Let d be (-9)/3 - 30/(-10). Solve -6*i + 16 + 2 = d for i.
3
Suppose 8*j = 4*j - 4. Let w(b) = b**2 - 4*b - 4. Let d be w(j). Solve -d = -2*s - 3 for s.
-1
Let n = 583 + -569. Solve n*f - 10*f = 8 for f.
2
Let c(w) = -w**3 - 7*w**2 + 6*w - 6. Let m be c(-8). Suppose -3*d + m = -d. Let p(t) = -t**2 + 5*t + 3. Let g be p(d). Solve 1 - 7 = g*s for s.
-2
Suppose -2*r = -3*r - 26*r. Solve j + r*j = -2*j for j.
0
Let p be 28/10 - (-26)/130. Solve 20*u = 19*u + p for u.
3
Let a(u) = u**3 - 9*u**2 + 12*u + 3. Let j be a(8). Suppose 11*r = 9 + j. Solve 5*n + r = -21 for n.
-5
Suppose 3 = 5*b + 18. Let u be 3 + (3/b - -2). Let f be (-6)/2 - (-3)/((-9)/(-15)). Solve -f*k + 6 = -u*k for k.
-3
Suppose 37 = -r + 3*i, r - 6*r - 225 = -5*i. Let v = -28 - r. Solve -4*g = v - 5 for g.
-4
Let a = 561 - 561. Solve -4*o - 3 - 17 = a for o.
-5
Let o = -18 + 22. Let c be o - ((-6)/(-3) - 0). Suppose -2 = -2*m + m, c*s + m - 12 = 0. Solve i = 8 - s for i.
3
Suppose -3*z = -14*b + 11*b - 15, -5*z + 4*b = -22. Let h(r) = 7*r**3 + r - 1. Let l be h(1). Solve z*i = l*i for i.
0
Let c be (0 - (1 - 0)) + 7. Suppose -4 - 8 = -4*n. Suppose n*h + 1 = 7. Solve p + h*p + c = 0 for p.
-2
Suppose 21 = -7*n + 35. Solve n*o = -3*o - 20 for o.
-4
Suppose -5*b - 13 = 2*n, 4*n - 5*b + 10*b = -1. Solve 0*t = -3*t + n for t.
2
Suppose -m - 7 = 5*v, -2*v = 7*m - 2*m - 57. Solve 3 = -4*o - m for o.
-4
Suppose 0 = 9*m + 591 + 588. Let g = -126 - m. Solve 1 + g = -2*s for s.
-3
Let t = -75 + 81. Suppose -t*m - 2*a = -2*m, 4*m - 2*a - 8 = 0. Solve 2 = -k + m for k.
-1
Suppose 4 = -2*j + 8. Suppose -3*c = j*p - 2, 0 = -p + 1. Solve 0 = -3*w - c*w for w.
0
Let c(a) = a**2 + 5*a + 3. Let l = 10 - 16. Let r be c(l). Suppose 35*q + 1 - 1 = 0. Solve -o + 4*o + r = q for o.
-3
Let r be 6/5 - (-16)/20. Suppose -2*b = -4*d + d + 101, -r*d + 70 = -4*b. Solve 0 = -5*o + 8 - d for o.
-5
Suppose c = -40 - 0. Let a = 52 + c. Solve -v = 2*v + a for v.
-4
Let d = 755 - 755. Let a(u) be the second derivative of -u**5/20 + u**4/12 + u**3/6 + 3*u**2 + 2*u. Let w be a(0). Solve -2*y + w = -d*y for y.
3
Let n be -9 - -6 - (-24)/2. Solve -n = -2*u + 5*u for u.
-3
Suppose -3*x - q + 20 - 4 = 0, x - 12 = -2*q. Let h = x - -9. Let d = 15 - h. Solve -d*s = -s for s.
0
Suppose 2*d + 2*b - 13 = -1, 3*d = -4*b + 21. Let u = d - -6. Solve 4*t = -u + 25 for t.
4
Suppose 2*v - 32 = 4*v - 4*z, -4*z - 4 = 0. Let w = -16 - v. Solve 1 = -f + w for f.
1
Let b(a) = a**3 - 8*a**2 - 21*a + 14. Let d be b(10). Let l(r) = 2*r + 7. Let c be l(-11). Let k be 10/c*6/(-2). Solve -d*x + k = -2*x for x.
1
Suppose -3*o + 72 = 3*w, -2*o - 2*w + 98 = 2*o. Let v(y) = 3*y**3 + 10*y**2 + y - 3. Let m be v(-3). Solve o = 2*b + m*b for b.
5
Let d(b) = 4*b - 11. Let o(t) = -6*t + 17. Let k(m) = -7*d(m) - 5*o(m). Let q be k(6). Solve -i = q*i + 20 for i.
-4
Suppose 9*r = 25 + 704. Let l = 84 - r. Solve -l*y + 8 = -7*y for y.
-2
Suppose -2*t + 20 = -t. Suppose 12 = -o + t. Let j(d) = -d + 2. Let c be j(-5). Solve -3*h + o = -c*h for h.
-2
Suppose 3*s + 17 - 38 = 2*v, -5*s - 5*v + 35 = 0. Suppose -2*b + 17 - s = 0. Solve -5*r - b = -0*r for r.
-1
Suppose 4*r - k - 212 = 0, -67*k + 265 = 5*r - 68*k. Solve r = -6*y + 35 for y.
-3
Let p be (24/36)/(2/84). Suppose 5*w - 4*o - p = -0*o, -4*w + 4*o = -24. Solve -w*k - k = 15 for k.
-3
Suppose -26 = -24*x + 430. Solve -8*s = -x + 11 for s.
1
Suppose 2*g = g + 6. Solve 0 = g*t - 8 + 32 for t.
-4
Let c be 76/18 + (-2)/9. Suppose -10 = 5*q - 5*i, -2*i - 2*i = -q - 14. Suppose 0 = -2*t - q*t + 52. Solve c*p + t = -3 for p.
-4
Let o be (-2 - 0)/(2/12). Let i(d) = -2*d + d + 1 - 11 + 1. Let x be i(o). Solve -x = -4*j + 5 for j.
2
Let h be (-56)/(-8) - (-1)/(-1). Suppose h*t - 15 = -3. Let g be 18/(-15)*(t - 7). Solve -6 - g = -4*w for w.
3
Let g = 243 + -243. Solve g = -2*p + 11 - 5 for p.
3
Suppose -547*i + 556*i = 0. Solve 3*g + i = 15 for g.
5
Suppose -3*s + 189 = o + 2*o, -234 = -3*s + 6*o. Solve s*j - 9 = 71*j for j.
-3
Let x be ((-26)/(-78))/(2/66). Solve -x*a - 25 = -3 for 