.
-1
Let i be 0/(-5*(-8)/20). Solve i = 2*x + 4 + 6 for x.
-5
Let f be 106/6 - (-4)/12. Suppose f = 5*r - 27. Solve r + 7 = 4*c for c.
4
Let v(f) = f**2 - 8*f - 6. Let y be v(9). Solve -3*x - y = 3 for x.
-2
Suppose -4*h - 2*d + 18 = -0*d, -20 = -5*h - 2*d. Let u(p) = p + 4. Let x be u(-2). Solve 0*z = -h*z + x for z.
1
Let y be 2/5 + 66/(-15). Let f be -6*y/6 - 1. Suppose -t = f*t - 4. Solve t = l + 2 for l.
-1
Suppose 6 = 2*v - 2. Suppose -v*l = 68 - 244. Let n = l - 24. Solve -6*t = -t - n for t.
4
Let a = -11 - -17. Solve -c + 3*c = a for c.
3
Let b be (-454)/18 - 12/(-54). Let a = b + 29. Solve a*h + 2 = -6 for h.
-2
Suppose -2 = 2*n - 10. Let v be (-30)/(-8) - (-1)/n. Solve v*d - d = 0 for d.
0
Let y be 2/((-5 - -2) + 1). Let g = y - -2. Solve g = j - 2 for j.
3
Let p(h) = h**3 - 2*h + 1. Let g be p(2). Solve 1 + 4 = -g*n for n.
-1
Let a be -2*(5/(-5) + 0/(-1)). Solve 2*r + a*r + 16 = 0 for r.
-4
Suppose z - 2 = -6. Let q = z - -10. Solve -k + q = -4*k for k.
-2
Let s(v) be the second derivative of -v**3/6 + v**2 + 3*v. Let k be s(-8). Solve 5*q = -0*q - k for q.
-2
Let s be (17 - 9) + (-3)/1. Solve 11 - 6 = -s*c for c.
-1
Let i = 16 + -11. Suppose 23 - 3 = i*o. Suppose -2*w + o*w = 2. Solve -n = w - 0 for n.
-1
Let x be (-3 - 22/(-6))*3. Solve -x - 18 = 5*j for j.
-4
Let n be 1/(1/(-14)*-2). Let i(g) = g**3 - g**2 + g + 1. Let o(w) = 4*w**3 - 9*w**2 - 3*w - 4. Let x(q) = 3*i(q) - o(q). Let p be x(n). Solve p*a + a = 1 for a.
1
Suppose 0 = 5*j - 0*j + 30. Let z be (j/(-10))/(2/10). Solve -z*q = -q for q.
0
Let l(q) = 3*q - 12. Let g be l(12). Suppose 2*k - g = -n, -4*n - 21 - 15 = -4*k. Let f be 2/k - 128/(-22). Solve -o + f = 2*o for o.
2
Let q = 15 + -7. Solve -2*t + 4 = q for t.
-2
Let f be 86/10 - (-6)/(-10). Solve -f = 3*z + z for z.
-2
Suppose l - 2*l = -n - 3, 3*l + 2*n = 9. Solve 2*o = -l*o + 5 for o.
1
Suppose 15 = 8*y - 3*y. Solve 1 + y = 2*f for f.
2
Let f(q) = -q + 1. Let l be f(-1). Let v be (5/(-4))/(l/8). Let b = -3 - v. Solve 0*h = b*h - 6 for h.
3
Let g(n) = -n**2 - 8*n + 1. Let z be (-7 + 5)*2*2. Let r be g(z). Let b = 2 + r. Solve -b*p - p = -4 for p.
1
Let z = 11 - 15. Let q be 0*(z/8 + 1). Solve q*r - 1 = -r for r.
1
Let b(o) be the second derivative of o**3/6 - o**2/2 - o. Let l be b(7). Let u be -3 + 0 + 18/l. Solve 1 + u = z for z.
1
Suppose 2*s = 2 + 8. Suppose s*f - 30 = -0. Let t(g) = 2*g + 8. Let a be t(f). Solve -x = -6*x - a for x.
-4
Let d(i) be the first derivative of 2*i - 3*i**2 - 1/3*i**3 - 3. Let v be d(-6). Solve t + v = 6 for t.
4
Suppose -3*n - 2*n = -15. Suppose n*d = 6*d. Solve c + d*c - 2 = 0 for c.
2
Suppose 2*o - 8 = c, 5*c - c = 2*o - 8. Suppose -3*g - 2*g = c. Solve g = h + 10 - 5 for h.
-5
Suppose -5 = -5*u, 4*a + u - 11 = -2*u. Suppose r + 0*r - 3*q = 0, 2*r + a*q = 0. Suppose 0 = -4*v + 17 - 1. Solve v*d = -r - 8 for d.
-2
Let i(w) = -w**3 + 4*w**2 + 5*w + 2. Let j be i(5). Solve -j = -q - q for q.
1
Let y be (-1)/((18/12)/(-3)). Solve y*a = a for a.
0
Let s be 2/(-8) - (-2)/8. Solve -6 = -s*w + 2*w for w.
-3
Let i(r) = -2*r**3 + 8*r**2 + 1 + 3 + 3*r**3. Let n be i(-8). Suppose n*y = 2*y. Solve y*t - 5*t = -10 for t.
2
Let z = 6 - 6. Suppose z = 4*u + 2*t - 14, 4 = u + 2*t + 5. Solve -5 = u*o + 20 for o.
-5
Let b(m) be the second derivative of -m**3/3 - m. Let k be b(-1). Solve -s = -2*s - k for s.
-2
Let r = 26 + -19. Solve 0 = -2*x + 1 + r for x.
4
Let l = 17 - 15. Suppose 7*b = l*b. Solve b = -2*f - 2*f for f.
0
Suppose 2*v + 38 = 4*v. Let b = 22 - v. Solve 0*x = b*x + 15 for x.
-5
Let c = 0 + -2. Let h be (c/5)/((-3)/15). Suppose h*g + g = -s + 5, 7 = 3*s + g. Solve -2 + 4 = -s*f for f.
-1
Let i = 3 - 2. Suppose -5 = -2*v + i. Let q be (v*1)/(4 - 3). Solve -q*m + 0 = -3 for m.
1
Let m = 3 + -12. Let z = m + 9. Let x = 0 + z. Solve n = -x + 3 for n.
3
Let w(a) = a - 3. Let s be w(3). Solve -4*z - 3 + 7 = s for z.
1
Let l = -3 + -2. Let m be (4 + 3 + l)*4. Suppose -8 - m = -2*t - 2*z, 4*t = -z + 23. Solve t = -p - 0*p for p.
-5
Suppose 4*y - y = 48. Suppose -s = s - y. Solve 0 = -2*t + s for t.
4
Let p(w) = -9*w. Let i be p(-1). Suppose u + 3*h = -2*h - 13, 0 = -3*h - i. Solve 3*x - 10 = -u*x for x.
2
Suppose 0 = -2*f + 4*m + 22, 3*f = -5*m + 28 + 16. Solve 2*k + 7 - f = 0 for k.
3
Let n = 19 + -15. Solve 2*r = 6*r - n for r.
1
Let g(y) = -y**3 - 4*y**2 + 3*y - 7. Let t(h) = h**3 + 3*h**2 - 4*h - 1. Let w be t(-3). Let b = w + -16. Let a be g(b). Solve -a*u - 2*u = 0 for u.
0
Suppose 5*v = -25, 3*v + 10 = 2*s - 7. Solve -z = 6 - s for z.
-5
Let h(s) = s**2 - 2*s - 2. Let l(n) = -3*n**2 + 5*n + 5. Let m(b) = -7*h(b) - 2*l(b). Let g be m(5). Let i = g + 2. Solve 3*k + 5 + i = 0 for k.
-2
Suppose 0 = 4*n - 20 + 4. Suppose 2*z + n*b = -2, 3*b + 4 = -2*z + z. Suppose g - 20 = -3*g. Solve 0 + z = -g*k for k.
-1
Let j = 18 - 15. Let i(b) = b - 1. Let g(s) = -2*s**2 + 5*s - 3. Let v(o) = -g(o) + i(o). Let m be v(j). Solve -3*k = -m*k - 10 for k.
-2
Suppose -3*f = 2*f. Solve 3 + f = 3*l for l.
1
Let s be -1 + (-2)/(8/(-4)). Solve s = 4*b - b for b.
0
Let v(q) = 3*q**3. Let s be v(1). Solve -8*m + s*m = -10 for m.
2
Let d = 1 + 5. Suppose 4*k = k - d. Let j be k*(-1)/(-1) + 2. Solve 5*s + 8 + 7 = j for s.
-3
Suppose -11 = -3*m - 5. Let s(a) = a**3 - 6*a**2 + 6*a - 5. Let z be s(5). Solve z = m*j - 3*j + 2 for j.
2
Let d(g) = 14 + g**2 + 2*g - 3*g + 0*g. Let y be d(0). Suppose l + 2*l - 18 = -3*f, -3*l = -f - y. Solve -l - 1 = 2*n for n.
-3
Let x(n) = -2*n + 56. Let v be x(26). Solve 4*o - 16 = v for o.
5
Let d(r) = -r**3 - 7*r**2 - r - 7. Let w be d(-7). Suppose 14 = 5*g - q, q = g - w*q - 6. Solve -1 = g*f + 5 for f.
-3
Let m = 6 + -4. Suppose -4*g - 11 = -h + g, -h + m*g = -8. Solve -z = z - h for z.
3
Let o = -17 - -20. Solve 2*s = 1 - o for s.
-1
Suppose -2*o = -o. Let k be 90/12 + 2/4. Let q = k - 5. Solve -6 = -q*u - o for u.
2
Let k = -1 - -3. Suppose 4 = -4*h + 16. Suppose 3*n - 6 = 3*g, 0*g - h = -3*g. Solve i - n*i = k for i.
-1
Let t = -1 + 3. Let u be 1/((-1)/t + 1). Solve 3 = u*b + b for b.
1
Let f(c) = -2*c. Let w be f(-1). Let z(m) = 2*m**2 + m + 1. Let l be z(-1). Let q = -6 + 10. Solve w*t + l = q*t for t.
1
Let y be 4 + (1 + 0 - 0). Solve 20 = n - y*n for n.
-5
Suppose -3*q + 8*q = 20. Solve j = q*j for j.
0
Let j = 17 - 9. Let c be (j/10)/(3/(-15)). Let p(k) = k**2 + 2*k - 5. Let b be p(c). Solve -b*g = -g - 2 for g.
1
Let z be 5 - (-1 - -3) - 3. Solve z*d - 3*d - 12 = 0 for d.
-4
Let g(p) = -p**3 - 4*p**2 - 2*p + 4. Let l be g(-4). Let o be l/10*10/4. Suppose -3*j + o = -6. Solve -6*z + j*z + 6 = 0 for z.
2
Suppose z - 1 = 20. Suppose z = -r - 5*q, -5*r - 2*q + 10 = -0. Solve r*u = -2 - 2 for u.
-1
Let i be 0*(-3 - (-28)/8). Solve i*d + 3 = -3*d for d.
-1
Let k be ((-5)/(-2))/((-5)/(-10)). Solve 3 = -2*z - k for z.
-4
Let o = 5 - 3. Suppose 0 = -r + 1 + o. Solve r*m + 2*m + 5 = 0 for m.
-1
Suppose -4*k = -3*k - 1. Let d(o) = o**3 - o. Let p be d(k). Let m be (1 + -1)/1 + p. Solve z - 5*z = m for z.
0
Suppose 0 = 4*u - 2*u - 8. Solve 2*p + 8 = u*p for p.
4
Let g(z) = -z**2 + 6*z - 6. Let o be g(4). Let t(k) = k**2. Let j be t(o). Suppose -3*r + j = 1. Solve 0 = 5*y - 4 - r for y.
1
Let m be 3/(3*(-3)/(-6)). Suppose -3*o = -9 + 3. Solve m*h + 12 = -o*h for h.
-3
Suppose 0 = -7*c + 5 + 9. Suppose -3*i + 3*m - 21 = 0, 2*i + 4*m - 3 = 13. Let g be i + 1 - (-3 - 1). Solve c*f - g*f = -4 for f.
4
Suppose 7 = -0*q - q. Let k = q + 17. Suppose -4*m = -10 - k. Solve 5*g = m - 20 for g.
-3
Let y = 9 + 1. Let t = y + -19. Let n be (-24)/t + (-2)/(-6). Solve 0 = -4*g - n + 11 for g.
2
Let o be 0/1 + 0/(-2). Let t be 16 - (4 + -2) - 2. Solve t = -3*h - o for h.
-4
Let a(q) = -11*q**2 + q. Let r be a(1). Let z be (-3)/15 - 42/r. Let x = -1 + z. Solve x*d - 7 = 5 for d.
4
Let t(o) = -o**2 + 6*o. Let k be t(5). Solve -k*v + 16 - 1 = 0 for v.
3
Suppose 5*n = 5*f - 6 + 36, -n - f = 2. Let k be (0 - -10 - 2)/n. Solve 0 = 6*c - k*c - 2 for c.
1
Suppose 3*r - 16 = -i + 5*i, 3*r + 3*i = 9. Let j be (15/(-2))/(3/(-8)). Suppose -m + j = 4*m. Solve r*p - m = -0*p for p.
1
Let g be (-234)/(-90) - 3/5. Solve 1 + g = f for f.
3
Let p(h) = -4*h**3 - 1. Let q be p(-1). Solve -q*l = -0*l for l.
0
Let i be 8/(-14)*(0 - 7). Solve i = c + c for c.
2
Suppose -3*a + 4*a - 4 = 0. Suppose 0 = 2*w - 5*k - 21, w 