5
Let p(g) = -g**3 + 3*g + 1. Let c be p(-2). Solve 20 = c*o + 8 for o.
4
Suppose -3*v - 5*s + 18 = -3*s, 1 = 4*v - 5*s. Let c(w) = w**3 - 9*w**2 - 11*w + 10. Let b be c(10). Suppose -3 + b = -i. Solve 0 = v*f + 13 + i for f.
-4
Let o = 4 + 0. Suppose -5*k + 29 = -3*c, 0*c = -2*k - c + 5. Suppose k*p = 2*j - 24, -5*p + 55 = 4*j + 20. Solve a = -o*a - j for a.
-2
Let w(u) = -u + 5. Let b = -21 - -25. Let x be w(b). Solve 0 = 2*p - x - 5 for p.
3
Let p(h) be the first derivative of 40*h - 1/2*h**2 + 1/4*h**4 + 1 + 0*h**3. Let b be p(0). Solve 0 = 5*m - b + 15 for m.
5
Suppose 3*w = 3, 0 = -3*z + 2*z + w + 3. Let b be z/10*3*10. Solve -b = 3*g + g for g.
-3
Suppose -5*d + 7 = 2*i - 8, 2*d - 2*i = 6. Suppose 5*g = -5*m - 5, -d*g - 5 + 4 = 5*m. Solve -a - m = 2 for a.
-3
Let j(h) = -h**3 - 6*h**2 + 6*h - 7. Let s be j(-7). Solve 2*w + w = s for w.
0
Suppose -4*j = -5*t + 11, j + 2*t = -t + 10. Let w be 3/6*2*1. Let i = j + w. Solve -i*x + 0*x = 10 for x.
-5
Let f = -5 - -10. Solve -4 + 24 = f*t for t.
4
Suppose 2*f + 4*x = -11 + 41, f + 5*x = 24. Suppose 2*k - 3*o - 32 = -2*k, 0 = -k + o + f. Solve 0 = -k*b - 0*b for b.
0
Suppose 4*a - 10 = 2*a. Suppose -2*u + 50 = 5*n, -5*n + 0*n + a*u = -15. Solve -g + n - 3 = 0 for g.
5
Suppose 3*c - 14 = f, 4*f - 6 = -14. Suppose 0 = -5*w - 3*y + 22, -w + 0 = -y + 2. Let l be 0/2 + 2 + w. Solve -6*n + l*n = c for n.
-2
Let b = 3 - 3. Suppose b = 2*v - 4*v. Suppose 2*k + 6 = v, -2*g + 2*k = -4*g + 24. Solve 4*l + l = -g for l.
-3
Let t(f) = -4*f**2 + 8*f - 11. Let v(m) = 17*m**2 - 31*m + 45. Let z(a) = -9*t(a) - 2*v(a). Let d be z(6). Solve 0 = 5*j + 4 + d for j.
-5
Suppose 3*y - 10 = y. Solve 0 + y = o for o.
5
Let m be (-12)/(-8)*(-10)/(-3). Suppose 0*i = m*i. Solve i = -z + 2*z for z.
0
Suppose 0 = -0*r - 2*r + 14. Suppose -21 = -r*f + 4*f. Suppose -m + 6*m = 0. Solve 3*x - f*x + 8 = m for x.
2
Suppose 4*k - r - r - 10 = 0, r + 17 = 5*k. Solve 2*s + k = 10 for s.
3
Let h(l) = l**3 - 7*l**2 + 4. Let z be h(7). Solve -4*d + z = -12 for d.
4
Let p(x) = 2*x - 2. Let n be p(0). Let t(g) = g - 5. Let o be t(0). Let k be (2 - (-2 - o))*n. Solve -5 - 1 = k*c for c.
-3
Let f = 8 + -35. Let m = f + 30. Let b = -1 - -8. Solve 2*q - b = m for q.
5
Let j = -5 + 6. Solve -5 = -o - j for o.
4
Let j(f) = f**3 + f**2 + f. Let p(a) = -2 - 1 + a**2 + a + 1. Let l be p(-2). Let z be j(l). Solve 4*s - 9 + 1 = z for s.
2
Let f = 9 + -11. Let i be (-4)/12 - f/6. Suppose 0*p + 4*r = p + 3, 0 = -5*r + 5. Solve 0 = m - i*m - p for m.
1
Let c be (6/15)/((-5)/(-75)). Solve -2*j = -c + 4 for j.
1
Let g(l) = -2*l**2 + 9*l - 1. Let s be g(4). Solve -10 = -k + s*k for k.
-5
Let y = -8 - -23. Solve 0*h + 3*h - y = 0 for h.
5
Let s = 6 + -4. Suppose s = -2*z - 2. Let o(m) = m**2 + m + 1. Let f be o(z). Solve 0*r - 6 = f*r for r.
-2
Suppose -2*v - 2*v = -24. Solve -3*u = -v*u for u.
0
Let i be 27/4 - 3 - (-6)/24. Solve -i*d + 1 = -15 for d.
4
Let x(a) = -3*a + 1. Let y be x(1). Let k be (-4 + y/2)/(-1). Let g be 52/k - (-10)/(-25). Solve -4*o - 26 = -g for o.
-4
Let t = 3 - 9. Let i be 4 - (-7)/((-21)/t). Solve -i = -4*q + 2*q for q.
3
Suppose -6*t + 15 = -t. Solve -4 = i - t*i for i.
2
Let v(x) = x**3 + x + 20. Let z be v(0). Let r = z - 16. Solve r*h + h = 10 for h.
2
Suppose 0 = 2*v + v. Solve 4*d = -v*d for d.
0
Let v(k) = -k**3 + 6*k**2 - 3*k - 6. Let o be v(5). Suppose 0 = -5*q - g + 4 + 6, 0 = -3*q + o*g + 29. Let l = 11 - 9. Solve l*d - q = d for d.
3
Let i(t) = t + 7. Let d be i(-5). Let j be ((-6)/1 - -6)/(-1). Solve d*y + y = j for y.
0
Let c be (5 - 6)*(0 - -1). Let u be 7/7 - (c - 13). Suppose -3*m - 2*m = -u. Solve m*b + 4 = b for b.
-2
Suppose -5*m - 2*a = -70, 0 + 54 = 4*m + 2*a. Let c be 68/m + 2/(-8). Solve 3*n - c*n = 0 for n.
0
Let v(o) = 12*o - 3. Let s(l) = 2*l + 0*l + 1 - 6*l. Let a(m) = -17*s(m) - 6*v(m). Let i be a(-2). Solve -2*t - t = -i for t.
3
Suppose 3*s = 3*o - 24, 4*o + 4*s + 8 = -0*o. Let w be 6 + -2*o/3. Suppose 3*q = w*q. Solve q*n - 2*n = 10 for n.
-5
Let r(v) = v**3 + 4*v**2 - v - 4. Let m be r(-4). Solve w + w + 2 = m for w.
-1
Let i be 2/(-4*(-1)/10). Suppose x = -2*x - 5*z + 13, -i*x + z + 3 = 0. Solve w + x = -3 for w.
-4
Let m = 1 + -2. Let k be 1 - (1/(-1))/m. Suppose 0 = -2*v - 10, 5*v + 6 = -5*c - 4. Solve k*p - c*p = 12 for p.
-4
Suppose l - 8 + 2 = -5*b, -4*b + 4*l = 0. Solve 3*w = -8 - b for w.
-3
Let y(v) = v - 23. Let m be y(14). Suppose 5*k + 25 = -30. Let z = m - k. Solve -z - 8 = -5*n for n.
2
Suppose -2*v = -30 - 0. Solve 11*t - 8*t - v = 0 for t.
5
Suppose 0*f + 3*f - 17 = -4*k, 8 = -2*k + 4*f. Solve o + 2 = k*o for o.
2
Let r be 0 + (-6)/(-3 - 0). Suppose 5*g - 10 - 5 = 3*z, 9 = 3*g - 4*z. Solve -g*a = -r*a for a.
0
Let h be (-3 - -2)*(-5)/1. Suppose -3*k + 8 = -2*a - 21, -4*k - 4*a = -32. Solve -k + h = q for q.
-4
Let r be 11/3 + (-2)/(-6). Suppose -v - 24 = -r*v. Solve z + 3*z = -v for z.
-2
Suppose -3*v + 4 = 2*b - 10, 0 = -5*b - 2*v + 24. Let q be -1*(3 + -9 + 1). Suppose 3*o + 9 = -q*f, -o + 6*o + 2*f - b = 0. Solve -4*y + 2 = -o for y.
1
Suppose -3*s + 25 = 2*s. Solve s*n = -15 - 0 for n.
-3
Let m be (4/(-3))/4*-9. Suppose 0*u - 2*h = -5*u + 30, -3*h = m*u + 3. Solve t + u = 2*t for t.
4
Let f be ((2 + -2)/(-3))/(-1). Let i = 0 - f. Solve i*u = u for u.
0
Suppose -5*g - 35 = -5*m + 5, -4*m - 16 = 0. Let x be (-1 - 0)/(2/g). Solve x*d - 20 = d for d.
4
Let u = -2 - -4. Let x be 1/(-1) - (-1 + 0). Let z = -3 - -4. Solve x = -u*c - z + 3 for c.
1
Let n(u) = -u. Let f be n(-2). Let a be 4/((-2)/1)*1. Let x = a - -2. Solve f*b + b + 12 = x for b.
-4
Suppose 2*i - i - 4*s - 14 = 0, -3*i - 3*s + 12 = 0. Let b be (-2 + 2)/3 + 0. Let m be 13 + 1 + b/(-3). Solve 4*j + i + m = 0 for j.
-5
Let h be (-16)/8 - (-4 - 0). Solve h*f = -f for f.
0
Suppose 4*f - 85 = 11. Solve 4*z + 8 = f for z.
4
Let w(r) = -r**2 - 6*r + 13. Let u be w(-6). Solve 5*l - 3 = -u for l.
-2
Let n = 48 + -45. Let b = 9 - -3. Solve 3*z = b - n for z.
3
Suppose 0*d - d + 15 = -5*u, -5*u - 45 = -3*d. Suppose 0*g = 3*g - d. Solve 0 = -i - 0*i + g for i.
5
Let g(j) = -j**3 + j**2 + 4. Let u be g(0). Solve -m = -u*m - 12 for m.
-4
Let h be 4/(-3) + 290/15. Let k = h - 15. Solve v + k + 1 = 0 for v.
-4
Suppose 6 = 4*g - 6. Solve j + g + 0 = 0 for j.
-3
Let p(l) = -l**3 - 5*l**2 - 2*l - 6. Let a be p(-5). Solve a*n - 12 = -0*n for n.
3
Suppose -5*n + 16 = t, 0*t = -2*t + 4*n - 10. Let d = 4 - t. Suppose 2 - 20 = -d*y. Solve -2*z + y + 4 = 0 for z.
5
Let j(t) = -t. Let l be j(-4). Let h be (-6)/3 + 2 + l. Suppose -5*c + h = -5*p + 14, -3*c + p + 2 = 0. Solve 1 = -w + c*w for w.
1
Let u = 2 - 4. Let d be u*(9/(-3) - -2). Suppose d = -5*z + 12. Solve j + j = z for j.
1
Suppose 4*m + 3*w - 29 = 0, w = 2*w + 5. Let c = m - 6. Solve -6*y + 11*y = c for y.
1
Let u(a) = -a**3 + 2*a**2 + 5*a - 6. Let r be u(3). Solve -z - 3*z + 4 = r for z.
1
Let y(z) = 2*z - 11. Let g be y(8). Solve -g*v = -2*v + 9 for v.
-3
Suppose -b - 20 = -3*p - 3, -10 = -p - 4*b. Let q(h) = -h - 6. Suppose w - a + 6 = 3, -5*w + a = 27. Let k be q(w). Solve -2*c = -k*c + p for c.
-3
Suppose -2*w + 2*m = 0, -4*w - 2*m = -29 + 11. Suppose w*h - 5 = 1. Solve 0 = -k + h*k - 3 for k.
3
Let z = -11 + 17. Let i = 9 - z. Solve -2*s = s + i for s.
-1
Suppose -3*t + 21 = -2*r, -17 = r - 0*r + 5*t. Let p = r + 17. Solve 0 = p*g - 0*g - 10 for g.
2
Suppose 5*a + 1 = 6*a. Solve t = -0 + a for t.
1
Let d(v) = v**3 - 5*v**2 + 4*v - 1. Let k be d(4). Let n be k - 1*(-6)/2. Solve -6*a = -n*a for a.
0
Let a(g) = -g**3 - 9*g**2 - g - 9. Let l be a(-9). Solve y + 2*y = l for y.
0
Let b(s) = s**3 + s + 29. Let i be b(0). Let w = i - 21. Suppose 0 = 3*o - w*o. Solve o = -0*c - 5*c + 10 for c.
2
Let u = 2 + 10. Solve -u = -4*n - 0 for n.
3
Let z be (-16)/(-9) + (-6)/(-27). Suppose -5*u + 113 = g - 10, 0 = 2*u - 4*g - 36. Suppose -5*s - 21 = -2*x, x - 5*s = -z*x + u. Solve q = -0 + x for q.
3
Let z = -2 - -4. Let k(j) = j**3 + 3*j**2 + 1. Suppose 6 = -3*m - 3. Let c be k(m). Solve c + z = -3*l for l.
-1
Let x = -9 - -37. Let t be (x/8 - 3)*4. Solve 4 + 0 = t*i for i.
2
Let f = 11 - 8. Let u = 4 - f. Let x be (-3 - -3)*(u - 0). Solve -b - 4 = -x*b for b.
-4
Suppose 0 = 4*j - 0 - 8. Let s(p) = 6*p - 3*p - j*p - 4. Let n be s(6). Solve -n*i = i + 3 for i.
-1
Let j = -79 + 81. Solve -j*u 