
Let q(h) = -8*h**3 + 7*h**3 - h + h**2 + 12*h**3. Let d be q(1). Suppose -14 = -4*t - 2*b, 7*b - 2*b = -2*t + d. Solve -3 + 6 = -t*y for y.
-1
Suppose -k + 0 = -4. Solve 0 = k*t - 5*t - 3 for t.
-3
Let o(i) = i**3 + 3*i**2 - 3*i - 3. Let j = 2 - 5. Let l be o(j). Let a be 2/l - 118/(-6). Solve -5*g + g = -a for g.
5
Let p(r) = -r**3 + r + 2. Let l be p(-2). Solve -l = 4*t + 8 for t.
-4
Let p = -15 - -17. Solve u + 1 - p = 0 for u.
1
Suppose i - 6 - 8 = 0. Suppose 1 = -o - 4*j - 3, o - 5*j - i = 0. Solve o*c - 16 = -0*c for c.
4
Suppose 2*v = -5*m - 0*v + 20, -5*m - 5*v + 5 = 0. Solve -2*d + 2 + m = 0 for d.
4
Let x(a) = -3 - 2*a**2 + a**3 - 2*a**3 - a**2 + 1 - 4*a. Let g be x(-2). Let q be (1 + 3 + -2)*g. Solve 2 + 10 = -q*z for z.
-3
Suppose 5*d = -b + 23, -5*d + 0*b = -3*b - 11. Let v = d + -1. Solve 3 = 3*q - v for q.
2
Suppose 7*z = 2*z + 2*f - 164, -93 = 3*z - 3*f. Let l = -22 - z. Solve -4*q = -8*q + l for q.
3
Let l = 145 + -141. Solve 0 = l*u + 8 - 4 for u.
-1
Let t(w) = w**2 - 4. Let h be t(3). Solve -4 = -h*m - 29 for m.
-5
Let p(s) = 4*s**2 - s - 2. Let r be p(3). Suppose -11 = 4*g - r. Solve i + g = 7 for i.
2
Let b(u) = -2*u**2 + 2*u**3 - 6*u**2 - 3*u**3 - 6 - u + 0*u**2. Let x be b(-8). Solve a - 5 = x*a for a.
-5
Let p = -7 + 7. Suppose p*g - g + d + 11 = 0, 0 = 4*g - d - 35. Solve g - 3 = v for v.
5
Let o(x) = x**3 - 7*x**2 - x + 8. Let m be o(7). Let a be (m - 0)/((-2)/(-6)). Solve -1 = 4*q + a for q.
-1
Suppose -4*o - 3 = -15. Solve -o = m - 7 for m.
4
Let p be 4 + (2 - -2)*-1. Solve p = 3*y - 0 - 9 for y.
3
Let h(a) = a**3 - 2*a**2 - 3*a + 2. Let k be h(2). Let r = -4 - k. Solve r*s + s = -1 for s.
-1
Suppose -5*v + 4*t = -66, -54 = -3*v + 4*t - 8. Let h be 1*(0 + 1)*(13 - 13). Solve 2*i + h*i = -v for i.
-5
Suppose -4*r - 10*r + 5*r = 0. Suppose 3*p - 2 - 10 = 0. Let m = 8 - p. Solve r = -u - 0*u + m for u.
4
Suppose 0 = 2*w + 4*x - 16, 3*w = -0*w - 5*x + 24. Let s(u) be the first derivative of -u**3/3 + 9*u**2/2 - u + 5. Let j be s(w). Solve -j = -3*i - 4 for i.
1
Let i = -39 + 32. Suppose -19 + 84 = -5*g. Let c = i - g. Solve 5*p - c = 2*p for p.
2
Suppose -2*s - 4*b + 24 = 0, 19 - 1 = 4*s + 2*b. Let v(k) = -k - 5. Let n be v(-9). Suppose -s*w = -0 - n. Solve -w*l - 2 = -0*l for l.
-1
Suppose -2*h + 2*v = 14, 5*h - 3*h = 5*v + 1. Let s be 3 + (-4)/h*0. Solve -m = -s + 2 for m.
1
Suppose -2*t - 3330 = -5*t. Suppose k = -4*k - t. Let x be k/(-24) - 1/4. Solve 0 = 2*u + u + x for u.
-3
Let r = 4 - 4. Solve -3 = -3*o - r for o.
1
Let s = 57 - 48. Suppose 0 = n + 4*n - 20. Solve -w = -n*w + s for w.
3
Let p(i) = i - 6. Let y be p(9). Let l be y - 0 - (2 - 1). Solve u = -l*u for u.
0
Let g(o) = o**2 - 18*o + 48. Let q be g(15). Let p be (-9 + 1)*(-3)/6. Solve -a + p = -q*a for a.
-2
Let s = 1 + -1. Let v(b) = b**3 + 5*b**2 + 3. Let j be v(-3). Suppose 0 = 5*x + 3*n - j, -4*n = -x + n - 7. Solve -5*r - 17 - x = s for r.
-4
Suppose -12*g + 7*g + 60 = 0. Solve 4*i + g = -0 for i.
-3
Let m(k) be the third derivative of 1/120*k**6 + 1/3*k**3 + 1/12*k**5 - 7/24*k**4 + 0 + 0*k + 2*k**2. Let n be m(-6). Solve d + d = n for d.
4
Let h(q) = q**2 - 2*q - 10. Let z be h(-3). Solve -z*s + 22 = -3 for s.
5
Suppose 14 + 16 = 5*q. Solve 5*r - 9 = q for r.
3
Let z be ((-12)/10)/(3/15). Let l be 51/9 - (-4)/z. Let q(n) = -n**2 + 5*n + 5. Let g be q(l). Solve 3*i = 4*i + g for i.
-5
Let l = -9 + 11. Solve -r + l = -1 for r.
3
Let p = 1 - -1. Let l be (p + -1)*(9 + -1). Let r(s) = s - 8. Let z be r(l). Solve -3*b + z*b = -15 for b.
5
Let y(z) = -z**2 - 12*z - 5. Let w be y(-7). Suppose -4*b - b + 18 = 3*m, -5*m + 3*b + w = 0. Suppose 0 = -3*n + 30 - m. Solve n - 2 = -2*d for d.
-3
Let a(b) = 4*b**2 + 0*b + b**3 + b + 1 - 3. Let o = 6 - 8. Let r be a(o). Solve r*n + 0*n = 12 for n.
3
Suppose 2*w - 10 - 8 = 0. Let k = -54 - -79. Solve 4*o + k = w for o.
-4
Suppose -13 = -2*l - 5. Suppose -4*a = 5*s - 30, s - a - 5 = -l*s. Solve -2*f - s = -3*f for f.
2
Let t(h) be the first derivative of 0*h**2 - 1/2*h**4 + 2/3*h**3 + h - 3. Let y be t(-2). Solve a - 6*a + y = 0 for a.
5
Suppose 2*o = 5*o. Let d = -1 + 3. Solve 0 = s - o - d for s.
2
Suppose 0 = 2*p + 4, 0*p = -3*h + 3*p + 15. Let f(a) = -a**2 + 7*a - 3. Let v be f(h). Solve 3*m = -0 - v for m.
-3
Let w = -4 + 8. Suppose 3*y = -3*c + 36, -2*y = 2*c + 2*y - 22. Suppose -2*v - c = -63. Solve -w*u + v = u for u.
5
Let s(p) = -p**2 + 15*p + 1. Let t be s(14). Solve 0 = -3*i + t for i.
5
Suppose 4*a - 40 = -2*x - 0*a, 3*x = 5*a + 5. Solve -x = -7*o + 2*o for o.
2
Suppose 3*m - 1 = 4*n + 15, -2*n + 4*m - 18 = 0. Let v = 5 + n. Suppose -c - h + 19 = -2*h, -h - 88 = -4*c. Solve -c = -v*y - 3 for y.
5
Suppose 0*d - 3*d + 3 = 0. Solve 7 + d = -2*q for q.
-4
Suppose 0 = -3*z + 5 - 2. Solve z = 4*m - 7 for m.
2
Let s(w) be the first derivative of w**4/4 + w**3 - 5*w**2/2 + 2*w - 3. Let z be s(-4). Solve 5*d + 1 = z for d.
1
Suppose -3*u = -3*f - 48, -4*f - 61 - 18 = -5*u. Solve 0 = -5*s + 10 + u for s.
5
Let w be (-1)/((1 + 3)/(-20)). Suppose w*n = 3*c - 42, -2*c + c = -n - 12. Solve z + c = 4*z for z.
3
Let w = -20 + 34. Let a = -10 + w. Solve 0 = a*g - 8 + 28 for g.
-5
Let i be (-1)/3 + (-110)/(-33). Solve r = i*r for r.
0
Let n(y) = -5*y - 24. Let h be n(-5). Solve 0 = u - 2 + h for u.
1
Let q be (-1)/(-2)*(2 + -2). Suppose 6*o - 10*o + 8 = q. Solve -f - o*f = -9 for f.
3
Let l = -4 + 4. Solve -2 = 2*q - l for q.
-1
Let z be (76/(-57))/(4/(-9)). Solve z = 4*n - n for n.
1
Let o(x) = -14*x**3 + 26*x**2 - 18*x + 1. Let k(g) = -5*g**3 + 9*g**2 - 6*g. Let v(n) = 11*k(n) - 4*o(n). Let y be v(4). Solve 0 = -3*l + y*l for l.
0
Suppose a - 27 = 5*d, 3*a - 12 = 2*d + 4. Solve -a*m = -5*m + 6 for m.
2
Let i be 4/((-1 - 1) + 3). Solve -2*s = -4*s + i for s.
2
Suppose h = 3*a - 14, 4*a - 2*h - 24 = -a. Solve -3*d - a + 16 = 0 for d.
4
Suppose 20 - 68 = -3*r. Solve -3*x + r = x for x.
4
Suppose 2*q = 26 - 0. Let d = 13 - q. Suppose 2*j - c = 3, 2 = 4*j - 3*c + 1. Solve d = -5*l - 11 - j for l.
-3
Let q be (-5 + 6 - 7) + 12. Suppose 5*k + 6 = 21. Solve -k*y - q = -y for y.
-3
Let o(j) = j**3 + 6*j**2 + 6*j + 3. Let q be o(-5). Let w be -6*1/q + -3. Solve 0 = -3*n - w*n - 3 for n.
-1
Let w(o) = 5*o**3 - 2*o**2 + 3. Let c be w(-3). Let v be 2/(-3)*c/20. Solve -v*f = 1 + 4 for f.
-1
Let o be 0/(-1) + (-8)/(-2). Suppose -y + o - 2 = 0. Suppose -18 = -5*u + y. Solve 0*x + u*x = 0 for x.
0
Let x(r) = -2*r + 4. Let k be x(4). Let o(t) = -2*t - 5. Let u be o(k). Suppose 4*p = -g + 6*g + 10, 4*g + 8 = 5*p. Solve p = 3*i + u for i.
-1
Suppose 18 = r - 4*o, -2*r - 4*o + 2*o + 6 = 0. Solve 0 = 3*v - r*v for v.
0
Let k(n) = n**2 + 3*n - 7. Let s be k(-5). Let q be 0 + (-20)/(-6) - (-1)/(-3). Solve q*f = 6*f + s for f.
-1
Let x = -5 - -26. Let o = 25 - x. Solve 25 = o*v - 9*v for v.
-5
Suppose 4*j - 5*m = -4*m + 11, -22 = -5*j + 4*m. Solve c + 6 - j = 0 for c.
-4
Let s(p) = -2*p - 6. Let f be s(-4). Solve f = -u + 3 for u.
1
Let t(w) = 3*w + 19. Let a be t(-8). Let n(z) = -z**3 + 6*z**2 + 8. Let y be n(6). Let j = y + a. Solve -2*h - 4 = -j*h for h.
4
Let b be 6*(-1 - (-4)/3). Solve 0 = b*u - 4*u - 6 for u.
-3
Let h be (-1)/2*(-6)/1. Let r be (2/h)/(6/9). Solve -14 - r = -5*y for y.
3
Suppose -3*d + 5*r - r = -50, -4*d + 55 = -3*r. Solve 3*q = d + 2 for q.
4
Let z(f) = -3*f**3 - 4*f**2 - 2*f + 3. Let y(s) = -4*s**3 - 3*s**2 - s + 2. Let m(l) = -2*y(l) + 3*z(l). Let i be m(-5). Solve i = a - 5*a for a.
0
Suppose 0*b - 2*b = -3*l + 19, 3*l - 9 = 0. Let j be b*(-2 + (-6)/(-5)). Solve 0 = 3*x + j + 5 for x.
-3
Let l = -47 - -47. Solve 0 = -l*j - 7*j - 7 for j.
-1
Let y(a) = -2*a - 4. Let z be y(-8). Solve 3*l - 6*l = -z for l.
4
Let q be 1/((-21)/(-9) + -2). Let r(u) = -4*u - 2. Let t be r(-2). Solve -t*k = -3*k + q for k.
-1
Suppose r = 7*u - 2*u - 16, 2*r + 4 = 3*u. Solve u*q = -q for q.
0
Let n(u) = u**2 - 3*u - 4. Let d be (2 - 6/(-2))*1. Let y be n(d). Suppose -o = -y*o + 15. Solve -o*k - 2*k = 20 for k.
-4
Let k be 138/42 - 2/7. Solve 0 = s - k for s.
3
Let b be (-13)/52 + (-18)/(-8). Solve -j + b = -3*j for j.
-1
Let f(h) be the second derivative of -h**3/3 + 3*h**2 - h. Let q be f(-5). Solve 3*d - q = -d for d.
4
Suppose b = 6*b - 200. Suppose -3*m + 7*m - b = 0. Solve -g + m = g for g.
5
Let i(u) = -5*u**2 + u**3 + 0*u - 4*u