
Let t = -155 + 157. Solve 2*m + t + 4 = 0 for m.
-3
Let l(t) = -t**2 - 7*t. Let z be l(-4). Let r be 15/z*4*1. Solve 2*s + r = 7*s for s.
1
Let d be (-1)/3 - 19/(-3). Solve -4*w + 4 = -d*w for w.
-2
Let k(a) = -4 + 0*a + a + 3*a + 4*a. Let b be k(2). Solve 4*o + b + 0 = 0 for o.
-3
Suppose -5*v + v = -20. Suppose -5*y = -5*k + 25, 2*y + 36 = v*k - 4. Solve r = 6*r - k for r.
2
Suppose u - 4 - 2 = 0. Suppose 0 = f + 5*s - 18, 12 + 3 = 5*s. Suppose 0 = 2*b + f - 7, -b + u = 2*y. Solve 0 = -0*t - y*t for t.
0
Let r = 2 + -2. Suppose 5*j - 13 = 4*m, 0 = -r*m - 2*m - j - 3. Let z = m - -4. Solve 6 - z = -4*g for g.
-1
Let g(w) = -5*w - 11. Let q be g(-3). Solve -2*i + q = -4*i for i.
-2
Let j(y) = y**3 - 7*y**2 - 8*y + 9. Let i be j(8). Solve i*k = 4*k for k.
0
Suppose 0*r - r + 6 = -f, -4*r + 5*f = -28. Solve r*u - 3 = -7 for u.
-2
Suppose 4*q = -0*q + 20. Suppose 3*b + b + u = -13, 2*b - 3*u = 11. Let n be -2 - (-19)/(b + 3). Solve -q*a + 8 = -n for a.
5
Let d = 54 - 96. Let o be 4/14 + 12/d. Solve -4*g + 3*g - 2 = o for g.
-2
Suppose -19*i + 17*i + 2*l = -12, -21 = -3*i + 4*l. Suppose -35 = -3*o + 10. Solve 0*g + o = i*g for g.
5
Suppose -10*b = -6*b - 8. Let q(g) = -g**3 - 5*g**2 - g - 3. Let v be q(-5). Suppose 0*k = v*k - b. Solve -s - 1 = k for s.
-2
Let w(f) = 2*f**3 - 14*f**2 + f + 8. Let i be w(7). Solve 4*c + 3 - i = 0 for c.
3
Suppose 3*b + v - 1 - 19 = 0, 5*b = 5*v. Solve 4 = -7*p + b*p for p.
-2
Let n = 6 + -3. Solve n*h = 1 - 4 for h.
-1
Let c be 3 - (-2 + 4 - 1). Let s = c - 0. Solve v = 2*v - s for v.
2
Let i(s) = -s**2 - 6*s + 3. Let x be i(-5). Suppose q + 5*k - 6 = k, 3*q = k + 5. Suppose -2 = q*d - x. Solve 2*j = -d - 1 for j.
-2
Let t = 27 - 25. Solve 2 = p - t for p.
4
Let x be (-320)/(-30)*(-6)/(-4). Let i be (5/2)/(2/4). Solve -i*m + m + x = 0 for m.
4
Suppose 2*y - y - 1 = 0. Let l = 3 - y. Suppose -l*z = z. Solve f + 2 + 0 = z for f.
-2
Let o(j) = j + 17. Let d be o(-17). Solve d = 3*n - 0*n - 12 for n.
4
Suppose 2*g - 5*o + 7 - 51 = 0, 3*o - 24 = -3*g. Suppose -3*i - 2 = -4*n + 2*n, 4*i = 5*n - g. Solve 5*p - n*p - 2 = 0 for p.
2
Suppose 5*s = -2*c + 14, 0 = 5*s - 7*c + 8*c - 12. Solve -u - 3 = s for u.
-5
Let d be (-2)/4*0/1. Suppose d*j + 26 = 4*q - j, -3*j = 3*q - 12. Solve -20 = c - q*c for c.
4
Suppose 4*j = 5*u - 10, -2*u + 5*j = -7*u + 10. Solve -t + 0 - u = 0 for t.
-2
Let v be 12/(-54) + (-22)/(-18). Suppose -v = a - 5. Solve 2 = -a*m - 2 for m.
-1
Let a(m) = -m - 2. Let j be a(-5). Suppose j*f = -11 - 4. Let u = f + 9. Solve -1 + u = s for s.
3
Let y(k) be the first derivative of -k**3/3 - 3*k**2/2 - 2*k - 3. Let q be y(-2). Suppose g - v - 4 - 1 = q, 11 = 3*g + v. Solve -m + 12 = -g*m for m.
-4
Suppose 6 = t - 3*t. Let b = t - -6. Solve -b*l = -l + 8 for l.
-4
Suppose 4*g - 5 - 11 = 0. Let w(t) = t + 4*t**3 + 2 + 0*t**3 - g*t**2 - t**3. Let y be w(2). Solve 2*h = -h + y for h.
4
Suppose 0*l = x + 3*l - 22, -2*x - 2*l + 24 = 0. Let b = 1 + x. Let k(h) = h**3 - 8*h**2 + 2*h - 12. Let t be k(b). Solve 0 = t*w + w for w.
0
Suppose 7 = f + 6. Solve f + 1 = -q for q.
-2
Let z(t) = t**3 + 11*t**2 - t - 9. Let k be z(-11). Solve k*l + 4 - 10 = 0 for l.
3
Let d = -3 - -5. Suppose i + 4 = d*i. Suppose i*u - 80 = -2*p, 3*p - 40 = -0*u - 2*u. Solve -6*r + r = -u for r.
4
Let w(o) = o. Let z be w(-5). Let t(f) be the third derivative of f**5/60 - 5*f**3/6 + 3*f**2. Let n be t(z). Solve 0*d - 4*d = -n for d.
5
Let b = -95 + 97. Solve 1 = -3*s - b for s.
-1
Suppose -2*q = 3*q. Solve q*b - 4*b - 8 = 0 for b.
-2
Let p(u) = u**2 + 5*u + 5. Let g(r) = -r**2 - 5*r - 5. Let d(z) = 4*g(z) + 5*p(z). Let l be d(-4). Solve -f + 4 = l for f.
3
Let q be (-1)/(-1)*1*3. Let u = q - 1. Solve -s = u*s for s.
0
Let h = 44 + -74. Let x be (-28)/(-13) - h/(-195). Solve x*j = -3*j + 25 for j.
5
Let d be (-68)/(-7) + 14/49. Suppose 0*k - d = -2*k. Suppose 0 = -j - 0*j + 1. Solve k = -4*q + j for q.
-1
Let m(b) = -b**2 + 12*b - 9. Let h be m(11). Suppose h*r - 3*r = 0. Solve r = a - 0*a for a.
0
Let g(l) = -l**3 + 5*l**2 + 2*l - 6. Let p be g(5). Suppose 20 = 4*z, -42 = -5*t - 2*z + 13. Solve -p*r - t = -r for r.
-3
Let c be ((-2)/(-6))/(2/6). Let x be -1 + (1 - -1) - c. Let i(r) = 2*r**2 + r - 2. Let v be i(-2). Solve x = 2*h + 2 - v for h.
1
Let g(t) = -t**3 - t**2 - t + 9. Let i be g(0). Let n be (-4 + i)/((-2)/(-2)). Suppose 5*z = -3*u + 31, u + n*z = -0*u + 27. Solve -4*v - 4 = -u*v for v.
-2
Let r(n) = -4 + 9*n + 4*n**2 - 3*n**2 - 2*n**2. Let p be r(8). Let c = 2 + p. Solve 2*s - c = -0 for s.
3
Suppose 5*h + 10 = 0, -3*h = -5*u - 2*h + 62. Suppose 2*l + 0 = u. Solve 0 = -5*m - l - 14 for m.
-4
Let y = -1 - 0. Let c(n) = -n. Let p be c(-2). Let g = p + y. Solve -w = -2*w - g for w.
-1
Suppose 5*t - 5 = 4*o, -3*o + o - 5*t + 5 = 0. Let n = -2 - -4. Suppose -n = -d - o*d. Solve -2 = 2*i + d for i.
-2
Let l be ((-8)/10)/(2/(-10)). Suppose 3*t + 6*t = 108. Suppose r = l*r - t. Solve r*f + 8 = -8 for f.
-4
Let r = 12 + -5. Let h be (-8)/20 - r/(-5). Solve -c - 3 - h = 0 for c.
-4
Suppose 0*y = 4*y - 16. Solve y = 3*o + 13 for o.
-3
Let m = -3 + 6. Let d be 8/m - 14/21. Solve 2 = -d*k - 0*k for k.
-1
Suppose 5 + 3 = 4*f. Solve -f*l = 2 - 0 for l.
-1
Let x(q) = 3*q**2. Let c be x(-1). Suppose i = 4*i + 2*r - 13, -23 = -c*i - 4*r. Let f be (-1)/(-2 + (-10)/(-6)). Solve -i = -n - f for n.
-2
Suppose 3*s = -2*p + 4*s + 6, 5*p + 4*s = 28. Suppose 5*y + p*j - 27 = 3*j, -y + 4*j = 3. Suppose 3*r + 0*r - y*l = 6, 0 = 5*l. Solve 3*z = r*z - 2 for z.
-2
Suppose d - 5 = 0, 3*s - 4*d = d + 32. Suppose 2*u + 3*l = -10, 4*l + s = 5*u - 2. Solve z + 0 = u for z.
1
Suppose 5*l - 77 = -22. Solve 0 = -4*o + 1 + l for o.
3
Suppose -v - 3 - 4 = 0. Let u(o) = o + 7. Let h be u(v). Solve b + h*b = 2 for b.
2
Let m = -117 - -117. Solve 0 = -m*d + d for d.
0
Let b = 1 - -6. Let j be b/5 + (-2)/5. Solve 2*t - 3 = -j for t.
1
Let x(z) = z**2 + 9*z. Let f be x(-9). Let w = 1 + f. Solve -2*q = w + 5 for q.
-3
Let b = 10 - 5. Let q(f) = 7 - 3*f - f + 3*f**2 + 0*f**3 - 4 + f**3. Let n be q(-4). Solve n*s = -2*s - b for s.
-1
Suppose 0 = -4*t + 20, -3*w = -8*w - 4*t + 20. Solve 3*g - g + 2 = w for g.
-1
Let g(l) = -l**3 - l**2 + 2*l + 2. Let f be g(-2). Solve f*o = -0*o - 8 for o.
-4
Suppose 0 = -14*i + 68 + 44. Suppose -3*x + 2*n = -4*x, -3*x + 2*n + 16 = 0. Solve 0 = 8*g - x*g + i for g.
-2
Let o(y) = -y - 1. Let i be o(-3). Suppose -u - i*u = -15. Solve u*g + 9 + 6 = 0 for g.
-3
Suppose -5*l - h - 3 + 1 = 0, 0 = 5*l - h - 2. Solve -3 = n - l for n.
-3
Let f be 3 + 1 + (-4 - -1 - -2). Let s = 20 - 2. Let h = s - -2. Solve h = z + f*z for z.
5
Let g = 16 + 4. Solve 3*w = -w - g for w.
-5
Suppose w + 3*k - 34 + 7 = 0, 69 = 4*w - k. Let z be (-2)/(-6)*w/2. Suppose 4*n = z*n. Solve -3*i + n*i = 9 for i.
-3
Let t = -2 + 1. Let a(q) = -2*q**2 + 2*q. Let u(m) = -m**2 - m + 1. Let c(k) = t*u(k) + a(k). Let n be c(2). Solve 2*d = 9 + n for d.
5
Let o = 2 - 2. Let j = -4 + 8. Solve j*z + z + 25 = o for z.
-5
Suppose 3*i = 4*w + i - 44, -10 = -5*i. Solve 8*t + w = 11*t for t.
4
Let j be (-4 - -3)/((-1)/19). Let d = j - -6. Solve 0*m + 5*m = d for m.
5
Let t(s) = -6*s - 1. Let n be t(8). Let l = 165 + n. Suppose 4*r - l = -0*r. Solve 4 - r = -5*z for z.
5
Let m(z) = -z + 1. Let t be m(0). Suppose -3*y + t = u - 12, 0 = -3*u - y - 1. Let a be 1/2 - 7/u. Solve a*w - w = -3 for w.
-1
Let f(n) = n**2 + 13*n + 16. Let t be f(-12). Suppose r - 4*l - 3 = 0, -t*r - 4*l = -7 - 5. Solve r*y - 9 = -0*y for y.
3
Suppose -4*w - 5 = 5*r, 4*w + r - 8 = 7. Suppose -t + 22 = 5*j, 0 = -t - 3*t - 3*j + 20. Let d = 1 - -2. Solve -w*s = -d - t for s.
1
Let m(r) = -3*r - 1. Let y be (8/24)/((-2)/6). Let i be m(y). Solve p + 2 = -i for p.
-4
Let p(n) = 2*n - 8 - 1 - 2. Let u = 13 - 5. Let q be p(u). Solve -q = r - 1 for r.
-4
Let j be -3 + 160/15 + 1/3. Solve -2*k = -2 - j for k.
5
Suppose 16 = 3*x - l + 2*l, 0 = x - l - 12. Suppose 60 = -2*n + x*n. Suppose -5*c + n = -t, 0 = -4*c + 3*t + 2*t - 3. Solve c*k - k + 10 = 0 for k.
-5
Let c(q) be the first derivative of q**3/3 - 3*q**2 + 5*q - 4. Let x be (0 - -2)*5/2. Let n be c(x). Solve 5*i + 4 - 14 = n for i.
2
Suppose 2*s + 0*s = 8. Suppose -14 - 10 = s*b. Let g be (3/(-9))/(1/b). Solve -g*h + 3*h + 5 = 0 for h.
-5
Suppose 5*x = 2*r + 13, 37 = 2*r + 6*x