3
Let x(t) = t**2 - t + 2. Let o be x(1). Let w be 0/1 - (-3 - -3). Let h(d) = -d**3 + d**2. Let k be h(w). Solve o*y - y + 1 = k for y.
-1
Let t be (-6)/1*(-3)/9. Solve 2*w = w - t for w.
-2
Suppose -2*y + 4*d + 16 = 0, 10*d = 2*y + 5*d - 15. Solve -y = 6*k - 8*k for k.
5
Suppose -5*r = -2*r + 2*w - 9, 0 = r + 3*w - 3. Solve 0 = r*g + 2*g - 10 for g.
2
Suppose -2 - 2 = -4*w - 4*v, 2*w + 3 = -3*v. Suppose 2*r - w + 2 = 0. Solve -3*b - r = 4 for b.
-2
Let m = 4 - 2. Suppose 0 = -2*d + z + 12, m*z + 1 = -d - 3. Solve -d*a = 3 - 11 for a.
2
Let m(p) = p**2 - 5*p + 4. Let t be m(3). Let a = t - -6. Suppose -19 = i - a*w, 5*w = i + 2*i + 22. Solve -i - 1 = -2*f for f.
1
Suppose m = -5*y - 1, 4*m + 5*y - 8 = 33. Solve -5 + m = -3*k for k.
-3
Let b = -25 + 29. Let j(p) = -p**2 + 6*p - 5. Let u be j(b). Solve u = 2*y + 5 for y.
-1
Suppose 0*x + 3*x - 9 = 0. Solve 0*j = x*j - 3 for j.
1
Let u = 0 + 2. Solve -n = -u*n + 2 for n.
2
Suppose 5*m - 5*o = 10, -3*o = m - 5*m + 6. Suppose f - 2 = -l, m*l = 5*f + l - 2. Suppose -3*y = f, -4*z + 24 = -0*y - 2*y. Solve 0 = -5*s - 1 + z for s.
1
Suppose -4*v + 11 - 3 = 0. Let p = 12 + -4. Suppose -15 = -3*c + 3*h, 2*c + h + 5 = -c. Solve c*b - p = v*b for b.
-4
Suppose -q = 6*q - 7. Solve -2*r = -1 - q for r.
1
Let o = 22 - 21. Solve -2 = q + o for q.
-3
Let z be (-4)/(-16) - (-786)/(-8). Let q be (-28)/z - (-2)/(-7). Solve -2 = 2*m - q for m.
-1
Let a = 11 + -8. Suppose 6 = -3*h - 6*q + 3*q, 9 = -3*h - 4*q. Let v be h + 2/((-6)/a). Solve v = 2*k - 1 - 1 for k.
1
Let j be (-5)/4 + 2/8. Let n be (3/(-1))/j - -3. Solve 6*c + n = 3*c for c.
-2
Let b be -14*3/(9/(-21)). Let y be b/10 + (-8)/(-40). Suppose -30 + y = -4*j. Solve j*x - 16 = 4 for x.
4
Let d(g) = 40*g**3 - g**2 + 2*g - 2. Let i be d(1). Suppose -3*u - j - 4 = -23, -3*u = -3*j - i. Let n = -2 + 6. Solve 0*r + n*r = -u for r.
-2
Let p(f) = f + 1. Let q be p(3). Solve 11 + 5 = q*b for b.
4
Let k = -9 - -15. Let u be (2/k)/((-2)/(-24)). Solve -y = 6 - u for y.
-2
Let s be (-1)/(21/18)*-14. Solve -q = 2*q - s for q.
4
Let w = 4 - 1. Suppose -w*m + 0 - 3 = 0. Let k = 4 + m. Solve -k*i + 2*i = 1 for i.
-1
Let f(h) be the first derivative of -h**4/4 + 4*h**3/3 + 7*h**2/2 - 5*h + 8. Let p be f(5). Let l = -1 + 1. Solve p*v = -l*v - 5 for v.
-1
Let y be (12/8)/((-3)/(-8)). Suppose 0 = 3*z + 3*v - 54, y*z - 63 = -0*z - v. Solve 4*i = -i - z for i.
-3
Let t(k) = k - 3. Let s be t(-9). Let o(g) = g**3 + 12*g**2 - g - 9. Let z be o(s). Solve 5*d - z = 2 for d.
1
Suppose -5*j + 13 = -2. Suppose -6*q = -7*q - 9. Let b be ((-3 - q) + -2)/1. Solve j*v - b*v = 5 for v.
-5
Suppose 0 = 5*s - 0 - 15. Solve l + s = 2*l for l.
3
Let l = -92 + 96. Suppose 3*g = g - 10, 15 = -3*x - 3*g. Solve x*z - l = -z for z.
4
Let v = -4 + 6. Suppose 0 = -4*h + v*m + 12, -h + 2*m = -2*h + 13. Solve h*q + 0 = -5 for q.
-1
Suppose f + 3 = 0, -2*f + 3 = -o - 4*f. Let d = 3 - o. Suppose -2*l - l = d. Solve -4*a - 1 + 5 = l for a.
1
Suppose 0*r = 2*r. Suppose 0 = 3*b + 2*w - 8, 5*b = -r*b - w + 4. Solve b = -2*f + f for f.
0
Let z = 85 + -63. Suppose -4*a + 20 = 3*n - 7*n, -7 = -a + 3*n. Suppose u - 3 = -3*w, 7*u + a*w - 9 = 4*u. Solve 5*d - u - z = 0 for d.
5
Suppose 0*o + 6 = 2*o + 4*m, 4 = -4*m. Suppose -o*x = 3*r, 0*r + 4*x = 5*r. Solve r = -5*a + 7 + 3 for a.
2
Let r be ((-2)/3)/(2/3). Let u = r + 6. Solve 5 = u*g - 5 for g.
2
Let b = -7 + 3. Let n be (b - -2)/(2/(-1)). Solve -n = -0*q + q for q.
-1
Suppose -2*h - 2*t = -8, -t - 3 = -3*h + 5. Solve 0*u + h*u = 0 for u.
0
Let r be (-2)/3 + (-16)/(-6). Let n be 12 + -14 + 1*r. Solve n = -2*l - l - 3 for l.
-1
Let z(f) = -f**3 - 6*f**2 - 8*f - 3. Let l be z(-5). Let n be (-1 - (-5)/4)*l. Let r be (12/(-9))/(2/(-3)). Solve -r*v = n*v for v.
0
Let y be (-6 - -1)*(-16)/10. Let m be (-4)/10 + y/(-5). Let f be m*(-1 - 1/(-2)). Solve 2*c = c + f for c.
1
Suppose 3*h + 2*f = 3*f + 12, -4*h + 3*f + 11 = 0. Solve h*s = s - 16 for s.
-4
Suppose -7*d = -2*d + 115. Let u = -16 - d. Solve u*l = 4*l - 12 for l.
-4
Let t(o) = -o**2 - 5*o - 4. Let z be t(-4). Suppose 5*m = 2*r - 6*r + 27, -4*m - r + 15 = 0. Solve z = m*x - x for x.
0
Let v(q) = 4*q**3 - q**2 - 3*q**3 + 3*q**2 + 4 + 4*q**2. Let o be v(-6). Solve 0 = -0*i - o*i + 8 for i.
2
Let s = -4 - -4. Let l be (-23)/(-4) - 7/(-28). Solve s = -2*o - o + l for o.
2
Let v(m) = m**3 - 7*m**2 + 3*m + 18. Let j be v(6). Solve -3*r - 12 = -j*r for r.
-4
Suppose 3 = c + 2*v - 0, 19 = 3*c + v. Let s = -7 + c. Solve 0*q + q + 3 = s for q.
-3
Let r = 1 - 1. Suppose 0 = -4*g - 4*u + 64, r*g - 80 = -5*g - 2*u. Solve -q + g = 3*q for q.
4
Let w = -18 - -22. Solve -u = u - w for u.
2
Let b(i) = -i**3 + 3*i**2 - 4*i + 2. Let z be b(2). Let s = z + 2. Solve r - 5*r = s for r.
0
Suppose -5*s - 2 - 3 = 0. Let i be -27 - 0/(2 + s). Let u be (2 + i/6)*-8. Solve 0 = 5*h + u for h.
-4
Suppose -16 + 3 = p. Let w = 20 + p. Suppose -2*z + 8 = 0, w - 21 = -3*h - 2*z. Solve -12 = u + h*u for u.
-4
Suppose -w - 28 = -2*w + 5*x, 5*x + 31 = 2*w. Let q be (-3 - -1) + 10 + 0. Solve q*u + 15 = w*u for u.
-3
Suppose 2*l = -2*l + 16. Solve 4*r - l = 5*r for r.
-4
Let o be 0*(0 - -1)*1. Let q(g) = -g**2 - 8*g + 13. Let h(y) = -y**2 + 2*y + 6. Let w be h(5). Let p be q(w). Solve 12 + o = p*l for l.
3
Let h(l) = -6*l + 24. Let i be h(4). Solve i = 5*t - 10 + 15 for t.
-1
Suppose 4*z - 2*h - 24 = 0, 5 = 5*h + 15. Let i(t) = -t - 4 - 5*t + z*t. Let b be i(-7). Solve b*l - 1 = 8 for l.
3
Suppose -31 = -4*x - 15. Suppose 3*z + x*l - 12 = 8*l, 2*z - l = 8. Solve z = -0*f + 4*f for f.
1
Let i(o) = o**2 + 8. Let f(l) = 2*l**2 + l + 15. Let q(u) = 3*f(u) - 5*i(u). Let x be (5/2 + 0)*-2. Let a be q(x). Solve 0*p = 3*p - a for p.
5
Let z be (-6)/9 - 18/(-27). Solve -4*b - 8 - 4 = z for b.
-3
Let r(k) = k**3 + 10*k**2 + 9*k + 12. Let s be r(-9). Let y be ((-6)/(-14))/(13/91). Solve 5*a - s = y for a.
3
Let b(a) = a**2 + 3*a + 2. Let v be b(-2). Suppose v*j + 5*z = j - 17, -3*j - 4*z - 6 = 0. Solve 0 + 4 = -j*d for d.
-2
Let a(u) = u**2 + 5*u - 3. Let o be a(-6). Solve 0*l - o*l = 0 for l.
0
Let l(h) = 0 - 1 + h**2 - 6 + 3*h + 1. Let d(n) = -n**2 - 2*n + 5. Let v(g) = -6*d(g) - 5*l(g). Let o be v(3). Solve o = -8*z + 4*z - 12 for z.
-3
Let m be (-34)/(-10) + -3 + (-52)/(-20). Solve -2*n = m*n for n.
0
Let j(n) be the first derivative of n**4/4 + 5*n**3/3 + 3*n**2/2 + n + 2. Let v be j(-4). Solve -4*r + v*r + 1 = 0 for r.
-1
Let n(v) = v + 15. Let q be n(-7). Suppose -3*s = -4*y - q, -2*s + 3 = -2*y - 1. Solve s = -4*f - 6 + 2 for f.
-1
Let g(f) = -f**2 - 7*f + 8. Suppose -4*n = -20, -4 = -4*m + 5*n - 61. Let u be g(m). Suppose 2*q = -5*y + 3 + 20, -3*q + 3 = -3*y. Solve -y*b - b = u for b.
0
Let q(y) = 3*y + 1. Let v be q(2). Let z = -2 + v. Solve -z*l - 6 - 14 = 0 for l.
-4
Suppose -3*a - 9 = -396. Suppose 7*p - a = 6*p. Suppose -l + p = 4*l + 2*b, 3*b + 119 = 5*l. Solve 4*g + g - l = 0 for g.
5
Let m(g) = -g**3 - 11*g**2 + 27*g + 15. Let c be m(-13). Solve -6*w = -c*w for w.
0
Let u = -21 + 19. Let l be ((-1)/((-1)/u))/(-1). Solve 0 = l*x - 0 + 6 for x.
-3
Let x(v) = -v**3 + 20*v**2 - 21*v + 40. Let j be x(19). Solve -2*n + j = -0*n for n.
1
Suppose -4*x - 2*d - 3 = x, 0 = 5*x - 5*d - 25. Solve -x = -3*k - 4 for k.
-1
Suppose 4*m - 20 = -m, -3*m = -d - 2. Suppose -z = -d - 3. Solve 5*h - z = 12 for h.
5
Let g = -79 - -81. Solve -v + g*v = 1 for v.
1
Let z(n) = -2 + 8*n - 5*n - 4*n. Let i(l) = 6*l + 1. Let a be i(-1). Let g be z(a). Solve -b = -g*b + 6 for b.
3
Let q = 7 + -2. Suppose 0*r - 2*r - 34 = 0. Let g = r + 29. Solve -d + q*d = g for d.
3
Let w be 0*(0 + (-2 - -1)). Suppose 0 = -5*s - 2*p, 2*p - 7*p - 21 = 2*s. Let x be -1 - -7*(-1 + 2). Solve w = x*t - s*t for t.
0
Let u = -59 + 60. Solve u = 3*m + 7 for m.
-2
Let l = -2 + 3. Solve l = f - 2 for f.
3
Let h = 13 + -9. Let d be 1 + (-26)/(-1) - 2. Solve -p - h*p = d for p.
-5
Let c be (-3)/3*-3 - 3. Solve c*i = -3*i for i.
0
Suppose -4*y + 7 = -1. Suppose -5*m + 20 = 0, -y*b - 2*m + 18 = 2*m. Solve 5*w - 9 - b = 0 for w.
2
Suppose -3*g = -9 - 0. Suppose 0 = g*x - 0*x. Solve x = -a - 6 + 1 for a.
-5
Let i(c) = c + 5*c - c**2 + 3 - 5*c - c**3. Let d be i(0). Suppose 2*l + l = 0. Solve l = -o + d - 2 for o.
1
Suppose 0 = 67*f - 70*f + 6. Solve 0 = 3*a - f*a + 3 for a.
-3
Let x be -3 + 4 + 1 + 1. S