for z.
2
Suppose 5*m + q - 105 = -32, -2*m - 3*q + 24 = 0. Solve 2 - 17 = -m*z for z.
1
Let c be 3/9*7/(28/132). Let b(j) = -5*j**2 - 60*j - 32. Let t(a) = -2*a**2 - 20*a - 11. Let i(m) = c*t(m) - 4*b(m). Let x be i(10). Solve x*o + 20 = 3*o for o.
-5
Suppose k + 4*k - 3*r = 25, 0 = -2*k + 4*r + 10. Suppose -k*i = -i. Solve i = -0*p + 4*p for p.
0
Let t(l) = -l**3 - l**2 - 2*l - 6. Let f = -71 - -68. Let i be t(f). Solve 3*o - 9*o + i = 0 for o.
3
Suppose -3*x - 2*x + 15 = 0. Let k be (-165)/(-20) + (-2)/8. Let d be k*(153/(-18))/(-17). Solve d*a = x*a for a.
0
Let g = 3180 + -3162. Solve -14*p + g*p = 4 for p.
1
Let z be (-4 - (-1 + -3)) + 6*40/12. Solve z*l + 33 = -47 for l.
-4
Let n = 98 + -69. Let b = n - 31. Let r be (0 + 6/(-3) - b)/(-2). Solve r = -c + 3*c + 6 for c.
-3
Let u = -2627 - -2686. Solve a - 59 = -u for a.
0
Let x(c) be the third derivative of c**6/120 - c**5/30 + 3*c**4/8 - 13*c**3/6 + c**2 - 55*c. Let h be x(2). Suppose 0 = w - 2 - 1. Solve w*o + 1 + h = 0 for o.
-2
Let c be 15/2*5*(-6)/(-25). Suppose -c*v = -24*v. Solve v = -4*y + 8 + 8 for y.
4
Let g(u) = 35*u**2 + 15*u + 14. Let l be g(-1). Suppose 22 = -4*s + l. Solve -8*h + 5*h + s = 0 for h.
1
Suppose -t + 3 = d, -11*t + 4 = -7*t. Let o be (1/(-3))/(12/(-972)). Solve -o*z + 29*z = d for z.
1
Suppose 94 + 38 = 2*q + 2*v, -4*q = -3*v - 236. Let c = q + -67. Let j be 0 + 0/(-3 - c). Solve y = 1 - j for y.
1
Let t(c) = -c. Let p be t(-6). Let r = 54 - 54. Suppose -44 = -2*s - 5*b, b = 6*s - s - 29. Solve r = 4*x - s*x + p for x.
2
Let j = 9946 + -9816. Solve -2*k - j = 24*k for k.
-5
Let k be (-2)/8 - 17/(-4). Suppose 0 = 3*i - 3, 9*i - 8*i = c + 7. Let g be 170/1020 + (-11)/c. Solve g*l - k = -2*l for l.
1
Let z be (-5070)/(-115) + 6/(-69). Solve -11*f + 0*f = -z for f.
4
Let l = 4225 - 4214. Solve -35*w + l = -59 for w.
2
Let a(f) = -6*f + 112. Let r(n) = -3*n**3 - 16*n**2 - 6*n + 12. Let s be r(-5). Let h be a(s). Solve h = 2*i + 6 for i.
2
Suppose -g + p - 11 = -5*g, 4*g = -5*p + 23. Suppose 0 = -2*q - g*q + 20. Suppose -2*w + 30 = q*s, -w - 3*w + s = -16. Solve 2*l + 3*l - w = 0 for l.
1
Let d(g) = -g**2 + 21*g + 86. Let c be d(14). Suppose -189*o + 25 = -c*o. Suppose -4*k + 3*h = -32, 2*k - 64 = -2*k - 5*h. Solve -k = o*z + 9 for z.
-4
Let w(k) = 13*k**2 + 15 - 25*k**2 - k + 29*k + 14*k**2 + 11. Let p be w(-13). Solve p = 12*y - 14*y - 10 for y.
-5
Let i be (-20)/(-15)*558/(-4). Let z = 186 + i. Solve 0 = -9*m - z*m + 27 for m.
3
Let u be -14*(2 - 105/10). Solve 0 = -u*v + 124*v + 25 for v.
-5
Let l = -3225 + 3249. Solve 1512*r = 1508*r - l for r.
-6
Let f = 284 - 284. Suppose f = -3*u - 2*u + o + 14, -14 = u + 4*o. Solve t + u = 3 for t.
1
Let t(d) be the first derivative of -4*d**2 - 350*d - 31. Let p be t(-45). Solve 2*b = 7*b + p for b.
-2
Let g(a) = -2*a**2 - 12*a + 5. Let u(c) = 4*c**2 + 25*c - 11. Let b(f) = 9*g(f) + 4*u(f). Let w be b(-3). Solve 0 = w*y - 12*y - 5 for y.
-1
Let c be (2320/(-12))/(-10) + 2/3. Suppose -c*u + 12 = -18*u. Solve 12 = 3*v - u*v for v.
-4
Let t(m) = 148*m**3 - 4*m**2 + 3*m + 1. Let g be t(1). Let z = -81 + g. Solve -68*y = -z*y - 3 for y.
3
Suppose 3*z + 3 = 2*z. Let y(k) = 3*k**2 - 4. Let q(h) = 16*h**2 - h - 32. Let c(j) = q(j) - 5*y(j). Let f be c(z). Solve f*t + 3 = -t for t.
-3
Let q(d) = -d + 1. Let i be q(-1). Suppose 18*u = 23*u. Let b be (-2)/(-9) - (2 + 97/(-9)). Solve -t - i*t - b = u for t.
-3
Let n be (1/1 + 1/2)/(38/1596). Solve 24*r + 81 + n = 0 for r.
-6
Let n(t) = t**3 + 2*t**2 - 4*t - 1. Let v be n(-3). Suppose -1064*y + 1066*y + 10 = 0. Let k be 57/95 + (-17)/y + -2. Solve -k*o + v = -3*o for o.
-2
Suppose 3*z + 7 = -2*o + 21, 4*o = 3*z + 10. Let f be 1 + (0 - -1) + o. Solve 8 = 2*v + f for v.
1
Let w be 1*(-2 - -1)*(-1 - 198). Let r = w + -198. Solve -4*f + 3 + r = 0 for f.
1
Let a = -10729 - -11091. Solve -a*u = -360*u for u.
0
Let p(q) = -q**3 - 3*q**2 - q + 2. Let h be p(-3). Suppose 255*s + 168 = 261*s. Suppose -3*t = 9, 0 = b + 32*t - s*t + 2. Solve h + b = 3*l for l.
5
Let b(z) = z**3 - 4*z**2 - 24*z + 24. Let t be b(9). Suppose 42 = -199*s + t*s. Solve -2*f - f - s*f = 0 for f.
0
Suppose -2*j + 3*s = -490, 15*j + 6*s + 1228 = 20*j. Solve 5*w - 223 = -j for w.
-5
Let w = -4681 - -4698. Solve -71 + w = 9*q for q.
-6
Let d(h) = -h**2 - 18*h - 75. Let p be d(-7). Suppose l - p*a - 7 = 0, l - 6*l + 14 = -3*a. Solve -l = -2*g - 5 for g.
-2
Let n = -25 + 88. Let a be (4/(-9))/((-14)/n). Solve -4*y - a = -6*y for y.
1
Let u(r) = -r**2 - 5*r - 3. Let t(q) = -4*q - 9. Let f be t(-3). Suppose -8*v + 6*v + 2*j = 0, f*v = 2*j - 3. Let w be u(v). Solve w*b = b + 2 for b.
1
Suppose 0 = 26390*r - 26407*r + 1632. Solve 0 = -r*q + 51*q + 135 for q.
3
Suppose -23*x - 5*x - 36*x = -1216. Solve 0 = 20*t - x*t for t.
0
Suppose -20*w = -39*w + 7*w. Solve w = -15*s + 12*s - 6 for s.
-2
Suppose -17*q = -18*q + 89. Solve -q*z + 100*z = 11 for z.
1
Let f(z) = -z**3 - 11*z**2 - 16*z + 14. Let r be f(-9). Let d be (r - -3)*1*(0 + -1). Suppose 2*y + d = w, -4*y = 5*w - 0*w - 19. Solve -w*k = -k for k.
0
Let s(d) = d**3 - 10*d**2 - d + 7. Let k be s(10). Let n(g) = -2*g - 1. Let y be n(k). Let u = -339 - -340. Solve 0 = -2*v - u + y for v.
2
Let c(b) = -b. Let j be c(-6). Suppose -13*z + 4*l + 30 = -11*z, -24 = -2*z + 2*l. Suppose 6*t - z = 3. Solve t*y - j = -2 for y.
2
Suppose -3*i + 2 = -27*o + 28*o, 0 = 2*i - 3*o - 16. Suppose i*r = -3*r + 3*w + 30, -w = -4*r + 17. Solve r*h = 4*h + 5 for h.
-5
Let j(a) = -188*a - 5251. Let y be j(-28). Solve -y*m + 172 = 94 for m.
6
Let o be -19 + -127 + -6 + 3. Let d = o + 155. Solve 4*x + 2 = d for x.
1
Let y(l) = -2*l**2 + 19*l + 6. Let m be y(9). Suppose -2*k + m = 9. Solve -k*f + 0*f - 6 = 0 for f.
-2
Suppose 2*k + 8 = 6*k. Suppose -5*a + k*j - 53 = 0, -5*a - 33 = j + 8. Let y be (-6)/a*3 - (-8 + 8). Solve -y*d = -4*d + 8 for d.
4
Suppose -4*r - u - 125 = 0, 2*u - 130 = 4*r + 4*u. Let x be ((-57)/(-9) + -5)*225/(-10). Let j = r - x. Solve 2*v + 3 + 3 = j for v.
-3
Let u be 218/327 + 1/((-6)/(-8)). Let x be 1330/133 + (3 - 2/u). Solve -16 = -16*h + x*h for h.
4
Suppose 2*b + 4*l - 8*l = 50, -4*l - 87 = -3*b. Solve 0 = b*n - 31 + 105 for n.
-2
Let q be (-280)/160 - 77/(-44). Solve q = 43*v + 6*v + 343 for v.
-7
Let n be (((-11)/(-4))/(-11))/(12/(-192)). Let l be (-7 - -5)*(1 - -1). Let z be 5 - (n/(-5))/(l/10). Solve 0 = -z*t + t - 6 for t.
-3
Let l(o) = o**3 - 15*o**2 - 27*o + 20. Let q(z) = -z**3 + 16*z**2 + 27*z - 21. Let a(d) = 5*l(d) + 4*q(d). Let s be a(13). Solve -s*g - 4*g = -28 for g.
4
Let j be (-12 - -11 - -7*1) + 36. Solve -36 = 3*q - j for q.
2
Let i(r) = -37*r - 2265. Let b be i(-67). Solve -52*x - 55*x - b = 0 for x.
-2
Suppose 0 = 3*w - 2*q - 17, 69*w + 4*q = 70*w + 11. Solve 9*z - 11*z = -w*z for z.
0
Suppose -18*l = -15*l - 6. Let o be l/16 - (-897)/312. Solve 0 = -3*j - 9 - o for j.
-4
Let c(g) = -g + 4. Let h be c(0). Suppose -8*j + 4 = -h. Suppose -9 = -4*z - j. Solve 2*m + z*m = 12 for m.
3
Let v(m) = 22*m - 5. Let q be v(4). Suppose -5*w + 12 + q = -5*b, 5*b = -w + 25. Solve 9*n - w = 5*n for n.
5
Let o(n) = n - 4. Suppose 2*i = -1 + 9. Let w be o(i). Solve 4*q - 4 = -w*q for q.
1
Let u = -2665 - -2695. Solve 9*d + u = -6*d for d.
-2
Let u(v) = -11*v - 77. Let t be u(-27). Suppose t = -m + 223. Let a(y) = y**3 - 2*y**2 - 2. Let f be a(3). Solve -2*g = -m - f for g.
5
Let l be ((-56)/98)/((-6)/63). Suppose -17*b + 28 = -l. Suppose -64 = -3*k - 2*f - 8, -4*k - f = -78. Solve -b*q = 2*q - k for q.
5
Let i(u) = -u - 28. Let o(s) = 3*s + 56. Let d(q) = -7*i(q) - 4*o(q). Let l be d(-6). Suppose -4*c - 36 = -8*c. Solve t = -l*t - c for t.
-3
Let l = 224 - 189. Suppose -l = -5*x - p, -4*x + 2*x = -p - 21. Solve x*t + 2 = 9*t for t.
2
Suppose 26 = 2*j + 4*x, -2*j + 4*j - 4*x = 18. Suppose 0 = 9*o + 25 + j. Let u be (2 + o - -4)*4. Solve -5*z + z = u for z.
-2
Suppose -15*g = -5*g - 30. Suppose 0 = h - 2*h - 5*v + 15, g*h = 3*v - 9. Solve 5*a + 9 + 6 = h for a.
-3
Let l be (-25 + (5 - 7))*-2. Let w be ((-52)/(-117))/(3/l). Solve -w*o = 24 + 16 for o.
-5
Suppose 212 = -a + 2*x, -5*a - 4*x + 112 - 1158 = 0. Let m be 0 + (8/(-5))/(28/a). Solve 4*u + 24 - m = 0 for u.
-3
Let h = 37 - 25. Suppose -5*m = -4*k + 62, -30*k + 26*k = -2*m - 32. Solve -h = -6*d + k*d for d.
4
Let l = -67