- y**3/6 + y**2 + 3*y. Let q be b(0). Solve -2 = q*x + 2 for x.
-2
Suppose 0 = 12*k - 9*k - 12. Solve -l + k = 2 for l.
2
Suppose 2 = -3*a + 5. Let z be (0 + a)/(1 + 0). Solve 2 = 3*r - z for r.
1
Let v(a) = a - 8. Let i = -1 + 9. Let l be v(i). Solve l*k - 12 = -4*k for k.
3
Let d(i) = -i**3 + 2*i**2 - i + 2. Let x = 7 - 5. Let q be d(x). Solve y + y + 2 = q for y.
-1
Let a be ((-12)/(-4) - 3) + 3. Solve 6*l - 9 = a*l for l.
3
Let k be -2 + 2 + (0 - -1). Let a = k + 1. Let h be (1 + 5)*a/6. Solve 0 = -2*x + 3*x + h for x.
-2
Let d(l) = -l**3 + 10*l**2 + 23*l + 12. Let g be d(12). Solve -z - 1 - 3 = g for z.
-4
Suppose 2*z = 6*z - 4. Let d(m) = -4*m**2 + 5*m**2 + 3*m**2 + z. Let k be d(1). Solve -5*u = -0*u - k for u.
1
Let j be 1/(-1*3/(-75)). Let u = 2 - 4. Let i be -1 - 1 - -2 - u. Solve -i*f + 7*f = j for f.
5
Suppose -25 = -4*g - g. Let o = g + -3. Solve -o*v + 12 - 4 = 0 for v.
4
Let i be (-1)/1 - -3 - 0. Let r(x) = -5*x + 4. Let u(a) = -10*a + 9. Let j(o) = -7*r(o) + 3*u(o). Let s be j(1). Solve -10 = -s*n + i for n.
3
Let r = 0 + 6. Suppose k - 9 - 9 = 5*m, 2*k = -4*m - r. Solve 3 - 15 = k*t for t.
-4
Let d = 5 - 9. Let t(y) = -y**2 - 4*y + 3. Let v be t(d). Solve 2*l - v*l = -1 for l.
1
Let i(w) = w**3 + 5*w**2 + 4*w - 2. Let q be i(-2). Solve 3*x = q*x + 1 for x.
1
Let v be 1/(3/18 - 0). Suppose -2*w + 2 = -v. Solve 15 = w*d + d for d.
3
Let o be (0 + (3 - 2))*0/4. Solve 4*l + 12 = -o*l for l.
-3
Let t be (-2)/(-6)*(-9)/(-1). Suppose 0 = m - t - 0. Solve -b + m*b = 0 for b.
0
Let f be (8/24)/(-1 + (-10)/(-9)). Solve -q - 2*q - f = 0 for q.
-1
Let h = 9 + -13. Let k = h + 7. Let q be k/(-2)*4/(-3). Solve q*d + 5 = -1 for d.
-3
Let j(l) = l + 5. Let c be j(-4). Let d = c + 2. Solve d = -5*a - 12 for a.
-3
Suppose 2*u = -2*u. Solve 6*o - o + 25 = u for o.
-5
Suppose -f - 4*o = 14, f + f + 41 = 5*o. Let h be ((-4)/2)/(12/f). Solve b - 2 = -h for b.
-1
Suppose -l = 2*l - 57. Suppose 0 = -4*d + 1 + l. Suppose 0*j - 7 = -3*s - j, 0 = -2*s + d*j - 1. Solve 0*c - s = -c for c.
2
Suppose 0*l = -3*v + l + 8, 2*v + 4*l + 4 = 0. Solve -3*g + g = v for g.
-1
Suppose b + 6 = 15. Suppose -b = -5*y + 3*n - 4*n, 1 = -n. Suppose -y = -d + 2. Solve 1 = d*l - 3 for l.
1
Suppose j + 0 - 2 = 0. Suppose -6*c + 5*c + 8 = j*u, 22 = 4*c + 3*u. Suppose 3*m = 7*m. Solve 4*o - c = -m for o.
1
Suppose -5*g + 3 = -2, -11 = k - g. Let l = 57 - 45. Let c = k + l. Solve -n = 3 - c for n.
-1
Let w be 3 + -1 + (1 - 0). Solve -n + w*n = -6 for n.
-3
Let v(b) = 3*b + 1. Let h(t) = 8*t + 2. Let z(n) = 4*h(n) - 11*v(n). Let m be z(-2). Let o be (m/(3/(-18)))/2. Solve o*x = -x for x.
0
Let o be ((-330)/40)/(4/(16/(-3))). Solve -6*i = 13 + o for i.
-4
Let o be -1 + -1 + 3 + 0. Suppose v = 1 + o. Solve -1 + 7 = v*r for r.
3
Let v(t) = 3*t - 1. Let h be v(2). Suppose 20 = h*i, -3*r - 8 = -5*i - 0*i. Let p be 2*(2 + r/1). Solve p = g + 2*g for g.
4
Suppose -2 = -s + 3. Let c be s/(-2)*(-18)/15. Solve -z + c*z = 6 for z.
3
Suppose -3*g + 8*g + 18 = x, 0 = 2*x + 2*g. Let z be (-3)/(x/(3 - 6)). Solve -11 + 2 = -z*y for y.
3
Suppose 2*t + 12 = 5*t, 0 = 2*q - 5*t + 2. Solve 5*x = q*x - 8 for x.
2
Suppose -4*w + 11 = -1. Let g = 6 - w. Let r be 48/9 + 2/(-6). Solve g - r = -l for l.
2
Let t(l) = -l**2 - 6*l + 3. Suppose -w - w - 12 = 0. Let p be t(w). Solve -8 = p*h + h for h.
-2
Let l(w) = -w**3 + 3*w**2 - w + 3. Let y be l(3). Suppose 0 = -5*s + 5 - y. Let v be s/(-3*(-3)/45). Solve -v + 4 = -r for r.
1
Let l = 3 - -2. Solve -3*a = -8*a + l for a.
1
Suppose -66 = -2*j + 4*j. Let l be (-1)/(j/(-12) + -3). Solve 8 - l = n for n.
4
Let j(d) = d**2. Let u be j(1). Let b = 6 - u. Solve h + 4*h + b = 0 for h.
-1
Let h(o) = -o - 14. Let j be h(-5). Let m be (j/2)/((-33)/44). Solve -g - m = 2*g for g.
-2
Suppose -5*d = -0*d + 3*m - 6, -4*m = 4*d. Suppose 9 = g + d. Solve -h = -g*h for h.
0
Suppose -3*b - 12 = -4*c + 2*b, 0 = -4*c + 2*b + 24. Suppose 3*o - 8 = n, -2*o - 2*o + 2*n = -c. Suppose o*j = -0*j + 12. Solve -j*h + 4*h - 5 = 0 for h.
5
Let l(h) = -3*h - 3 - 4*h + 8*h. Let q be l(15). Solve -2*u = u - q for u.
4
Let n(s) = 3 + 5*s - 3*s + 2*s - 2*s**2. Let x(b) = b**2. Let c(m) = n(m) + 3*x(m). Let o be c(-4). Solve -2*g = -g - o for g.
3
Suppose 0 = 5*l + 15, -14 = -5*x - 5*l + 21. Solve 0 = 5*d + x + 5 for d.
-3
Let h(d) = -d**2 - 7*d + 6. Let k(a) = -a**3 + 6*a**2 + 5*a + 8. Let i be k(7). Let t be h(i). Suppose t = 3*u + u. Solve u*g = -g for g.
0
Let n(k) = -3*k - 17. Let l be n(-7). Suppose 3*v - 4*g = -2, 0 = v - 0*g - 3*g + l. Solve 3*t + 5 = v for t.
-1
Suppose w + 2 = 12. Suppose 2*a + 3*a = w. Suppose 4*x - 71 = 5*i - 20, 0 = -a*i - 6. Solve x*m - 25 = 4*m for m.
5
Let a be (6 - 8) + (3 - 1). Let u be 2 + -3 + (-8)/(-2). Suppose -5*l = 5*r, 0 = l - u*l. Solve -5*c + a*c - 20 = r for c.
-4
Let k = -28 - -30. Solve 0*x = k*x - 6 for x.
3
Suppose 0 = -2*t + 6*z - 2*z + 16, -z + 14 = 4*t. Let y = -5 + 7. Suppose y*s = 4*s. Solve s = q - t*q for q.
0
Let k = 55 - 50. Solve -8*o + 3*o - k = 0 for o.
-1
Let m = -1 - 8. Let d = -3 - m. Solve d = -r + 3*r for r.
3
Let h = 13 - -2. Suppose -3*b = -4*j + h, j + 13 = -3*b - 2. Let v be 1/(4/(-5) - -1). Solve n = -j*n - v for n.
-5
Suppose -6*q - 20 = -10*q. Solve 7 = -q*j + 22 for j.
3
Suppose -5*u = -0*u - 10. Let o be (u + 7)/3 + -1. Solve 4*k = o*k for k.
0
Suppose 5*t = 5 + 10. Let v be (-1)/(-2)*t*-2. Let o = -1 - v. Solve -o*y = -0 - 2 for y.
1
Let f = -10 - -16. Solve 4*u + 10 = -f for u.
-4
Let l be 2/(-10) + (-222)/(-10). Suppose n - 2*c = -3*c - 7, l = -n - 4*c. Let g be 0/(-1*(1 + n)). Solve o = -g*o + 4 for o.
4
Suppose 0*i - 3*i - 4 = m, 0 = -2*m - i + 7. Solve m = -f - 0*f for f.
-5
Let a = -103 - -105. Solve -f + 2*f + a = 0 for f.
-2
Suppose -6*s = -s - 35. Solve y + 2 - s = 0 for y.
5
Suppose 5*z = 5*h - 3*h - 30, z = 2*h - 14. Let l(s) = -s + 2. Let o be l(-3). Suppose o*w - h = -2*j + 2, 0 = 4*j + 3*w - 21. Solve 6 + j = -4*g for g.
-3
Let a be 5/(-25) - 12/(-10). Let h be a/(-3) - 144/(-27). Solve o = 2*o + h for o.
-5
Let y(u) = -u**3 + 3*u**2 - 2*u + 2. Let s be y(2). Suppose s*k - 4*c + 3*c = -3, 7 = -3*k - c. Let x be (k/(-2))/(2/4). Solve -3*p + 1 = -x*p for p.
1
Let w(x) = x**2 + 4*x + 3. Let g be w(-7). Suppose -2*o - 4*a = -g, 2*o + 3*o = 2*a + 48. Solve -5*t + o*t + 25 = 0 for t.
-5
Suppose -20 = -2*y - 2*y. Let o = y - 1. Suppose -i - 6 = -o*i. Solve -t = -0*t + i for t.
-2
Let y be (2/2 - 9)*2. Let p = y + 19. Solve 0 = -2*z - 1 + p for z.
1
Let j be 0/(-2 - (0 + 0)). Solve -4*u + j*u = -4 for u.
1
Let l = -27 - -54. Suppose 5*c - 20 = -5. Suppose 5*n = y + 10 + 19, l = 3*n - c*y. Solve -15 = -0*x - n*x for x.
3
Let r(t) = 3*t**2 - 2*t + 1. Let s be r(1). Suppose -4*l + 5*n = -13, -s*l = -2*n - 0*n - 6. Solve -l*p - 3*p = -5 for p.
1
Let n be 2 + -1 - (-3 - 2). Suppose 2*t + 2 - 6 = 0. Suppose 5*s + 0*s = 0. Solve s = -t*y + n for y.
3
Let g be ((0 - 1) + 0)*-3. Let f be ((-2)/g)/(4/(-30)). Suppose 0 = -3*p + f + 4. Solve p*m - 15 = -0*m for m.
5
Let k(d) be the third derivative of -d**6/120 - d**5/30 + d**4/4 + d**3/3 - d**2. Let w be k(-4). Solve -4*g = w - 26 for g.
4
Let x = -3 + 6. Let m = -14 + 14. Let p be 0/(m - (x + -1)). Solve p = -5*v - 21 + 6 for v.
-3
Let f = 32 + -32. Solve t + 3*t = f for t.
0
Suppose 0 = 6*n - 9*n + 48. Let j = n - 14. Solve 2*p + 8 = -j*p for p.
-2
Let h(i) = -8*i**2 + 0*i + 0*i. Let y be h(1). Let d be -1 - (-5)/((-10)/y). Solve -d - 7 = 5*g for g.
-2
Let c = 6 + -5. Let t = 4 - 1. Solve -t*k + 7 = c for k.
2
Let p be 1/(2/15) + (-17)/34. Solve -2*k - 1 = p for k.
-4
Suppose 3*o - 4*o = 10. Let s = 28 + o. Suppose 2*g - 4 = 2*p - s, 0 = -5*p - 3*g + 11. Solve p*t = t for t.
0
Suppose -3*u - 18 = -48. Solve 0 = 2*o - 7*o - u for o.
-2
Let t be (-4)/(-7) + 248/56. Solve t*q + 3 = 6*q for q.
3
Let w(m) = m**2 + 11*m + 3. Let h be w(-11). Solve h = 3*z - 6 for z.
3
Suppose -4*z + 38 = 5*c, -4*c + 46 = -6*z + 4*z. Suppose -5*p = c - 0. Let j be (-32)/(-18) + p/(-9). Solve -j*l = 2*l + 4 for l.
-1
Let y be 10/(-15) + 3/(9/32). Solve -2 = -4*a - y for a.
-2
Suppose -55*o = -57*o. Solve 0*f + f - 2 = o for f.
2
Let s(v) = 2*v**2 + 6*v - 33. Let i be s(-6). Solve -i*l = 8 + 7 for l.
-5
Let f be 56/9 + 10/(-45). Let b be f/(-9)*(-3)/2. Let w = b + -1. Solve -2*y - y + 3 = w f