 0 = w*n for n.
-1
Let z(j) = -j - 5. Let w be z(-10). Suppose 0 = 5*r - 3*l - 6, 4*l - w = r + 4. Solve -o - 1 = -r for o.
2
Let v be (1 - (0 - -2))/(-1). Let h be 3 - (-4)/((-2)/v). Solve u = 2 - h for u.
1
Suppose -6 = 5*y + 4. Let w be ((-3)/(-2)*y)/(-1). Solve w - 6 = p for p.
-3
Let h be (-3)/12*-4*0. Solve -2*l + h*l = 4 for l.
-2
Let n(x) = -4*x - x - 2 + 7*x. Let f be n(5). Solve f = 3*a - 7 for a.
5
Let s(n) = n**2 + 12*n + 15. Let a be s(-11). Solve -4*b + 3*b = -a for b.
4
Let f be 0 - (0 + 0 + -3). Solve 0*y = f*y for y.
0
Let a(m) = 0 + 3 - 5*m + 2*m**2 + 8*m. Let s be a(-2). Solve -s*w = 6 - 26 for w.
4
Let t(v) = 7*v + 5 - v**2 + 9 + 8*v - 4*v. Let y be t(12). Solve 0 = -y*m + 3*m for m.
0
Suppose 5 - 8 = -3*x. Solve 4 = -u - x for u.
-5
Suppose 0 = 3*u + 2 + 25. Let v = u - -15. Let t be (-5)/(15/v) + 2. Solve 6*o - 2*o = t for o.
0
Let p be (-9)/(-5) - (-11)/55. Let a(y) = -y**3 - 5*y**2 + 6*y + 4. Let q = 8 + -14. Let m be a(q). Solve p*l = m*l - 10 for l.
5
Suppose 5*c + 22 = 37. Solve -c*y - 18 = -6 for y.
-4
Suppose 3*o - 5*u = 30, 0 = -3*o + o + u + 20. Let m be (-4)/18 - (-274)/18. Solve m = -5*n - o for n.
-5
Let a(y) = -3*y**2 - 4*y + 4. Let x(l) = -l**2 - 2*l + 2. Let k(t) = -2*a(t) + 5*x(t). Let u be k(2). Suppose -u = -c + 2. Solve -c*d - 18 = -2 for d.
-4
Let v be ((-1)/(-1))/(1/2). Let f be (-3)/1*6/(-9) - 4. Let c be (4/2 + f)/v. Solve c*o + 4 = 2*o for o.
2
Suppose -3*b = b. Solve -4*g - 20 = -b*g for g.
-5
Let z = -7 - -10. Solve z*i - 2 = 4*i for i.
-2
Suppose 5*r + 0*l = -4*l + 20, l = 4*r - 16. Solve 0 = 5*c + 29 - r for c.
-5
Let v be 4/(-10) + 126/15. Let b = -76 + 76. Let p = -2 - -6. Solve -v = p*q - b*q for q.
-2
Let y be 6/(6 + -4) - 3. Solve 0 = 5*s - y*s for s.
0
Suppose -4*b + 5*l = -25, -4*l - 4 = b - 5. Suppose 5*k - 20 = k, -b*y - 5*k = -40. Solve y*a = -a - 8 for a.
-2
Let z(y) = -y**2 + 7*y - 5. Let w be z(5). Suppose 5*s - 25 = w*c, -s + 5*s - 20 = c. Solve s*x = -0*x - 5 for x.
-1
Suppose -5*d - 25 = -5*z, 5*d + 0*d = -25. Solve 3*o - o - 10 = z for o.
5
Let z(u) be the second derivative of u**5/15 - u**3/6 - u**2 + u. Let h(a) be the first derivative of z(a). Let v be h(1). Solve 2*n - v = n for n.
3
Let n(l) = -2*l + 1. Let j be n(-1). Solve 13 - 1 = j*a for a.
4
Let c be 1/(3/6) + 2. Suppose 0 = n - 11 - 1. Suppose -4*u = n, -3*z + 4*z + 5*u = 0. Solve -z = b - c*b for b.
5
Let g(b) = -b**3 - 5*b**2 - 4*b - 2. Let t be g(-3). Let r be 92/(-16) - (-2)/t. Let p be (r/4)/(9/(-12)). Solve -4*a = p + 2 for a.
-1
Let s(p) = p. Let o be (-1 - (-1 - 2))/1. Let t be s(o). Solve 3 = -u - t*u for u.
-1
Suppose -6*o = -3*o - 48. Suppose -3*n + o = n. Suppose 0 = l + n*l - 2*a - 38, 0 = 4*l + a - 33. Solve l*k = 3*k - 10 for k.
-2
Let c be 1/(22/20 + -1). Suppose 4*r - 15 = r. Suppose 0 = -r*g + 4 + 6. Solve 7*f - c = g*f for f.
2
Let d be (-1800)/(-700) - (-8)/(-14). Let t be 0/(-2) + -1 + 3. Solve t*l = -d*l - 16 for l.
-4
Let j(q) = -q**3 + 6*q**2 + 3*q + 7. Let v be j(6). Suppose -2*k = 3*k - v. Suppose 4*t - 3*t = -k*a - 1, -2 = 2*t. Solve a = 2*u - 7*u for u.
0
Suppose -5*y - 21 - 9 = 0. Let d = y - -11. Suppose 3*i + 5*w + 11 = 7*i, 0 = -d*i + w + 40. Solve 4*r = r + i for r.
3
Let l = -9 - 0. Let j be (-3)/(-1) + (-7 - l). Solve -h + 4 = -j*h for h.
-1
Suppose -12 = -3*g + 48. Suppose 0 = -2*k + 4*i - g, -3*i + 4 = -5. Let t = 7 + k. Solve -t = 5*u + 2 for u.
-1
Let x(y) = 4*y + 1. Let m be x(1). Solve 3*g + m - 14 = 0 for g.
3
Let i = -4 - -7. Suppose 3*b - 17*b + 56 = 0. Solve 7*x - i*x = -b for x.
-1
Let p = -189 - -189. Solve p = 2*a - 8 + 2 for a.
3
Let i = -13 + 17. Solve 5 = -3*h - i for h.
-3
Let j be (-9)/12 + 45/(-4). Let s = j + 12. Solve s*c - 3*c = 0 for c.
0
Suppose 3*h = -w + 3*w + 9, -h - 5*w = -3. Suppose -x + h*o - 6*o = -5, 2*x - 9 = -5*o. Solve 0 = x*c + 2*c + 16 for c.
-4
Let r be (-1)/2 + 86/(-4). Let i = 32 + r. Solve 0 = -0*x - 2*x - i for x.
-5
Suppose -5*v = 5*o - 250, 5*o + 2*v + 2*v - 254 = 0. Suppose 2*d + o = 5*d. Suppose c - d = -2*c. Solve 3*g - 6 = c for g.
4
Suppose 3*g - 21 - 51 = 0. Solve 4*p - g + 8 = 0 for p.
4
Let l = 0 - 2. Let g = 2 + l. Solve -8 = -4*a - g*a for a.
2
Suppose -3*b + 31 = -0*u + 2*u, -7 = -2*u + 5*b. Solve 3*t + 4 = -u for t.
-5
Let m = -1 - -4. Let w be 0 + 4 + 3 + -1. Suppose 2*a - 4*q - 10 = 0, -5*q + q = -8. Solve m*c - w*c = -a for c.
3
Let f(o) = 2*o**2 - o + 1. Let h be f(1). Solve -h*q = -3*q for q.
0
Suppose 2*b + 4 + 11 = 3*q, -3*q = 4*b + 3. Let j = 40 + -21. Suppose j - q = 4*p. Solve -4*h = -p - 4 for h.
2
Suppose 18 = 4*m + 2. Solve -m*z + z + 15 = 0 for z.
5
Let t = 7 + -4. Suppose t*p - 16 = -p. Solve 0 = p*x - 4 - 0 for x.
1
Let r(y) = -y**3 + 5*y**2 - 3*y + 4. Let d be r(2). Solve -14 + d = 4*u for u.
-1
Let s = 23 + -18. Suppose -2*p + 4*z + 14 = 7*z, 2*p + 2 = s*z. Solve 5*k - p = 3*k for k.
2
Let j be (-7)/(-4) - (-4)/16. Suppose -5*q + 3*k = -38, 3*q + k + j*k - 42 = 0. Solve q = -5*b - 10 for b.
-4
Let m(q) = -q**2 + 12*q - 7. Let u be m(11). Let c be 6 - (3 - u/2). Solve 2 - c = l for l.
-3
Let x(d) = d**3 + 8*d**2 - d - 5. Let f be x(-8). Solve -f*w = -0*w for w.
0
Suppose -2*k - 36 = -6*k. Let s be (7/(-21))/((-1)/k). Suppose 2*h + s*h - 23 = c, 2*h = 10. Solve -4*w = -c*w + 8 for w.
-4
Suppose 8*r = 13*r. Solve r = -0*p - 5*p - 5 for p.
-1
Let g(q) = q**2 - 5*q - 3. Let p be g(7). Suppose 2*s - 1 - p = 0. Let l be (s/4)/((-6)/(-8)). Solve -u = -l*u - 5 for u.
-5
Let v be ((-4)/(-5))/((-4)/(-10)). Suppose 0 = -v*i - 3*i. Suppose o = 2*g - 16, -2*g + 3 - 11 = 5*o. Solve i*h + 3*h = -g for h.
-2
Suppose 0 = 2*b + y - 5 - 5, 35 = 5*b + 5*y. Suppose 2*r + 5 = b*r. Solve r = -2*x - 3 for x.
-4
Let n be 8/(-2) - -18*6/12. Solve 10 = -0*b + n*b for b.
2
Let b be (-8)/(128/(-60))*4. Solve -v - b = 2*v for v.
-5
Let k(l) = 4*l - 3 - l**2 + 4 - 5*l - 11*l. Let o be k(-12). Solve -5*x - o = 9 for x.
-2
Let n be 9/(-12) + (-55)/(-20). Solve -v - n*v + 9 = 0 for v.
3
Let z(t) = -5*t. Let n(a) = -11*a. Let u(c) = -4*n(c) + 9*z(c). Suppose -3*l - 20 - 1 = 0. Let j be u(l). Solve j*k + 16 = 3*k for k.
-4
Suppose -4*r - t + 213 = 0, r + 0*t + 5*t = 39. Let g = r + -16. Suppose 0 = 3*c + 5 - g. Solve 1 - c = -2*i for i.
5
Let z(s) = -s**3 + 3*s**2 + 6*s - 4. Let j = 3 - -1. Let u be z(j). Solve 0*b + u = 2*b for b.
2
Suppose -j - 4*j + 35 = 0. Solve -9 = 4*l + j for l.
-4
Suppose 34*f - 37*f = -6. Solve f*b + 0*b - 2 = 0 for b.
1
Suppose o - 4*o - 3*h - 3 = 0, -h = 3. Suppose -2*t + 11 = w, -5*w - 12 = -3*t - o*w. Let s = -3 + t. Solve -s*z = 2*z + 12 for z.
-3
Let b(x) = x**3 - 3*x**2 + 2*x - 2. Let z be b(2). Let r be 8 - (z + 0 + 2). Suppose i - 5*i = -r. Solve 12 = -5*m + i for m.
-2
Let f(n) = n**3 - 7*n**2 + 13*n - 4. Let l be f(4). Solve -16 = 4*m - l for m.
-4
Let x(b) = 0*b**3 - 2*b + 5 + 6*b**2 + b**3 - 3*b**2. Let u be x(-4). Let r be u/(-2 - 2 - -1). Solve g - r = -2 for g.
-1
Let f = -1 + 4. Suppose 2*p + 3 = -f. Let c be 2 + p + (0 - -11). Solve -2*w + 0 = c for w.
-5
Suppose -4 = 2*n - 18. Suppose w + 5*j - 5 = 2, -3*j - n = -5*w. Let i = w + 1. Solve -i*m + 7*m = -16 for m.
-4
Suppose 4*v - 1 = 2*u + 3, -2*u + 4 = 0. Solve 0*j + v*j - 4 = 0 for j.
2
Suppose 0*f - 2*f + 18 = 4*x, 5*f - x = -10. Let u be (f + (-3)/(-5))*-5. Solve -2*v = -0*v - u for v.
1
Suppose 0*f - 5*f = 0. Let p be 4*(-1 + f/3). Let v be ((-1)/2)/(2/p). Solve 0*m = m + v for m.
-1
Let r(v) = -3*v**2 + 9*v + 4. Let p be r(3). Solve 4*i = -8 - p for i.
-3
Let n(r) be the second derivative of -r**3/2 - 3*r**2 + 3*r. Let p be n(-5). Let w be (6/p)/(6/225). Solve -7*q + 2*q + w = 0 for q.
5
Let y(z) = -z - 6. Let w be y(-9). Let v = w + -3. Suppose q - 1 = 0, -5*g + 5*q = -v*q - 5. Solve 0 = g*s + 6 - 4 for s.
-1
Let m(h) = h**3 - 3*h**2 - 5*h + 5. Let j(u) = -2*u. Let f be j(-2). Let q be m(f). Let g = -7 - -10. Solve -4 + q = g*a for a.
-1
Let b(t) = t**2 - 17*t + 17. Let r be b(16). Solve 0*p - r = -p for p.
1
Let v be (-3)/21 - (-66)/21. Let m be 18/v + (-4 - -2). Solve 3*y = -m - 8 for y.
-4
Let g(d) = d - 2. Let n be g(5). Suppose -4*a + 15 = -n*t - 23, -t + 6 = a. Solve -a = 5*b - 3*b for b.
-4
Let t = -22 - -22. Solve t = 2*v + 2 + 6 for v.
-4
Let o = -6 - -14. Solve 4*g = o*g - 4 for g.
1
Suppose 8 = 5*m - m. Solve -4*r = -m*r for r.
0
