d*w for w.
0
Let c be (-15)/(-9) + (-6)/9. Solve t + 3 = c for t.
-2
Suppose 0 = -m - 3*k - 6, 3*m - m + 17 = -k. Let l(n) = n**3 + 8*n**2 - 9*n + 3. Let f be l(m). Solve -16 = -o - f*o for o.
4
Suppose 0 = i - 5*i + 2*l + 52, 4*i = -4*l + 64. Let a = i + -12. Solve -3*j = a*j - 20 for j.
4
Let d(f) = 3*f**2 - 2*f + 1. Let i be d(1). Suppose -3*q + 4*l - 17 = 0, -2 = 2*q + l + 2. Let j be 0 - (0 + i + q). Solve 3*t = 8 + j for t.
3
Let l(u) = u**3 - 2*u**2 + u. Let w be l(2). Suppose -8 = -6*b + w*b. Suppose -5*t + b*f + 26 = 0, -4*t - 4*f + 10 = -2*f. Solve 0 = -4*r - t - 0 for r.
-1
Suppose 3*y + 24 = 5*y. Let w = y - 7. Solve -w*z + 3 = -22 for z.
5
Let f be (-16)/(-104) - (0 - (-15)/13). Let m(n) = -1 + 2 + 0 + n. Let b be m(f). Solve -2*g - g = b for g.
0
Suppose 72*g + 40 = 77*g. Solve -4 = -4*o + g*o for o.
-1
Let b(d) = d**3 + 6*d**2 + d + 8. Let f be b(-6). Let n(p) = 2*p - 3*p**3 + 0*p**3 - f*p + p**2. Let j be n(-1). Solve -q - q = -j for q.
2
Let s be 4*(-2)/12*-3. Let a(h) = -h + 2. Let f be a(-4). Solve -s*l = -f*l for l.
0
Let l = -1 + 2. Suppose t - l = 2. Solve -t - 7 = -5*g for g.
2
Suppose -6*j = 12*j. Solve -2*k + k = j for k.
0
Let a(q) = -q**3 - 5*q**2 - 3*q + 8. Let b be a(-4). Suppose 7*x = b*x. Solve -3*f + x*f = 0 for f.
0
Let o(p) = -7*p - 6*p + 10 + 3*p + p**2 + 3*p. Let d be o(7). Solve 0 = 4*v - d - 6 for v.
4
Let p(v) = v**3 - 3*v**2 - 5*v - 1. Let m be p(4). Let o = -6 - m. Let z = o - -5. Solve -z*g = g + 25 for g.
-5
Suppose -15 = 3*m, m = -a - 4*m - 37. Let b = -1 - a. Solve -4*f + 9 + b = 0 for f.
5
Let j = 48 + -45. Solve j*f = 6*f - 9 for f.
3
Let m be 6/(-39) + 108/26. Suppose -4*z - 2*c = -8*z + 28, c = -m. Solve 2*a + 15 = z*a for a.
5
Let b(m) = m**3 - 3*m**2 + m - 1. Let g be (-2)/8 - (-26)/8. Let l be b(g). Suppose 2*w - l*z + 6 = 0, w + z = 5*z - 12. Solve w = 5*v + 7 - 2 for v.
-1
Suppose 2*j - 7*j - 33 = -4*v, 0 = 5*v + j - 5. Let x(m) = m**3 - 3*m**2 + 2*m + 2. Let b be x(2). Solve -b - v = -d for d.
4
Suppose 4*o = -3*p - p, -2*o + 5*p = 0. Solve o = -d + 1 for d.
1
Suppose 3*n - 6*m = -m - 11, -2*n + 2 = -m. Suppose 5*b + d = n*b - 1, 10 = -5*b - 4*d. Suppose 6*l + 12 - 30 = 0. Solve 4*c - l*c = -b for c.
-2
Let f(m) = m + 8. Let t be -10 - ((-1 - 2) + 1). Let n be f(t). Solve 3*d = -n*d + 9 for d.
3
Let l(g) = 4*g - 2. Let f be l(-2). Let r = f + 14. Let b(j) = j**3 - 2*j**2 - 2*j - 3. Let a be b(3). Solve 0 = -r*m - a*m for m.
0
Let p = 9 + -9. Solve 8 = -2*u - p*u for u.
-4
Let c(g) = 5*g**2 - 1. Let k be c(1). Suppose 0 = k*j - 0*j. Solve 5 = 5*i - j*i for i.
1
Let q be (96/(-40))/(6/(-15)). Solve 4*i - 6 = q for i.
3
Suppose 0 = -p - 5, -2*t = t - 2*p - 10. Solve 0 = -2*y - t*y - 10 for y.
-5
Let h = -3 + 6. Suppose -t + h = -0*t. Suppose 6*m - 4*m = 10. Solve -l - m + t = 0 for l.
-2
Let t(m) = m**2 + m - 2. Let a be t(1). Solve a = 4*u - u for u.
0
Let t be (50/15 - 3)*9. Solve 3*w - 6 = -t for w.
1
Let p(g) be the first derivative of -g**3/3 - 7*g**2/2 - 6*g + 4. Let y be p(-4). Solve 4*s - y*s - 8 = 0 for s.
-4
Let p = 21 + -18. Suppose 0 = d + p + 2, -t - 2*d - 6 = 0. Solve -t*b + 0*b = 0 for b.
0
Let y = -19 - -13. Let n = y - -6. Solve 5*x - 6 - 4 = n for x.
2
Let k(a) = a**3 + 8*a**2 - 11*a - 2. Let b be k(-9). Solve -z - b = 3*z for z.
-4
Suppose -3*w + 4*a = -5, 0*a = 4*w + 2*a + 8. Let i be (0 - -3) + 1/w. Solve -i*s + 2 + 4 = 0 for s.
3
Suppose -5 = -13*g + 60. Solve 0 = -g*h - 7 + 27 for h.
4
Suppose n - 3*n + 40 = 0. Solve 3*z = -5 + n for z.
5
Let h(v) = -2*v + 2. Let b be ((-6)/3)/(1/1). Let d be h(b). Let z = -4 + d. Solve 1 = -n + z*n for n.
1
Let w be (3 + -7 - -2) + 4. Let y(z) = -z**2 + 9*z - 9. Let n be y(7). Solve -1 = w*v + n for v.
-3
Suppose 17*i = 23*i - 54. Solve 5*h + 1 = -i for h.
-2
Suppose -2*w - 65 = d - 6*d, -4*d + 54 = -2*w. Let v(l) = -l**3 + 5*l**2 - 2*l - 3. Let o be v(4). Solve o*u + 1 = d for u.
2
Let x be (-75)/(-20) - 3/(-12). Solve 0 = -r + 3 - x for r.
-1
Let h(i) = -i + 1. Let j be h(1). Suppose -2*w + 3*q = q - 24, j = -w + 5*q + 20. Let u be 2/6 + w/6. Solve u*o - 3 = 7 for o.
5
Let l(h) = -h**2 + 23*h + 29. Let g be l(24). Solve 8 = g*s - s for s.
2
Let n = 0 + 0. Let z(y) = -y + 2. Let l be z(n). Let x(g) = -g - 15. Let t be x(-16). Solve t = -q - l for q.
-3
Let x(v) = -11*v - 10. Let p be x(-1). Solve -5 = i - p for i.
-4
Let y be (-158)/(-8) - 1/(-4). Suppose -49 = -17*p + 10*p. Solve -p*k + 2*k + y = 0 for k.
4
Suppose 0 = -16*w + 12*w + 8. Solve 4*d + w = -2 for d.
-1
Let h(j) = -j**2 - 9*j + 10. Let l be h(-10). Solve l = -2*q - q + 3 for q.
1
Suppose -3*o - 18 = -6*o. Suppose 47*q - 59*q + 24 = 0. Solve o = q*y - 4*y for y.
-3
Let o be (-4)/(-8)*(-16)/(-2). Solve i - o = -i for i.
2
Let u be (-4)/(-18) - (-64)/36. Let p be (3 - 1) + (-1 - -14). Solve -u*g + 7*g + p = 0 for g.
-3
Let q = -76 + 78. Solve -q*g + 25 = 3*g for g.
5
Let c(s) = -3*s**2 + 4*s**2 + 0*s**2 + 0*s**2 - s + 1. Let f be c(2). Solve -f*m + 8 = -4 for m.
4
Let b(y) = -7*y**2 + y. Let g be b(1). Let h(l) = -l**3 + 12*l**2 + 2*l - 18. Let r be h(12). Let m = g + r. Solve 5*k - k - 20 = m for k.
5
Let s(j) = -3*j - 1. Let b be s(-2). Suppose -3*f = -b*f + 10. Solve 0 = -4*h + f*h - 1 for h.
1
Let x(a) = 5*a**2 - 2*a - 3. Let m be x(3). Suppose 28 = 4*l - m. Let r be 1/(-4) - (-20)/l. Solve -2*v - r + 5 = 0 for v.
2
Suppose -4*f = -3*f - 2. Let j be f*(-9)/6 + 3. Solve j = -2*v - 0*v for v.
0
Let o be 21/(-49) + 115/7. Solve o = 7*r - 3*r for r.
4
Suppose 4 = 2*u - 6. Suppose -u*l = 5*j - 25 - 10, -2*j + 3*l - 1 = 0. Solve 0 = -a - a - j for a.
-2
Let r be 6/(-27) + (-40)/(-18). Suppose r*w = 8 + 4. Suppose 0*i = -2*i + w. Solve -4*n + i = -5 for n.
2
Suppose r + 4*r - 4*n - 18 = 0, 0 = 3*r - 3*n - 12. Solve r*u = -2*u for u.
0
Let n(t) be the first derivative of -t**2 - t + 4. Let g be n(-3). Solve g*o - 3 = 2 for o.
1
Suppose -j + 13 = -2*m, j - 2*m - 14 = m. Solve -j - 9 = -5*w for w.
4
Let l = -5 + 8. Suppose 0 = -t + 6*t + 10. Let u = l + t. Solve 4 = -5*i - u for i.
-1
Let t be ((-12)/(-3) - 1)*5. Suppose -5*u - 3*k = -3*u + t, 15 = -3*k. Solve 10 = 2*i - u for i.
5
Let u(c) = -c**3 - 6*c**2 + 5*c - 10. Let v be u(-7). Suppose 0 = 5*r - g - 38, -r + 0*g + 19 = -v*g. Solve -2*o + r*o - 10 = 0 for o.
2
Let r(k) = k**3 + 8*k**2 - 9*k + 4. Let j = 1 + 0. Let t(m) = -10*m**2 + m. Let u be t(j). Let f be r(u). Solve f + 8 = -4*y for y.
-3
Let a = 1 - -8. Suppose -3*y + 3 = -a. Suppose -21 = -y*m + m. Solve m = -5*t - 13 for t.
-4
Let o(j) = -j**2 + 10*j - 19. Let v be o(7). Solve -5*z = -v*z - 6 for z.
2
Suppose 6*b - 15 = -3. Solve 0 = -w + b + 3 for w.
5
Let t = 11 + -7. Let i(f) = -f. Let u be i(2). Let d = t + u. Solve 0 = 3*g - 8 + d for g.
2
Suppose n + 5*s = 2*n - 2, 2*n - 13 = s. Solve 2*x + 3 - n = 0 for x.
2
Let n be 1 - (8*-5)/2. Let c(x) = x + 31. Let f be c(0). Let y = f - n. Solve m + m = -y for m.
-5
Let r(l) = -l**3 + 1. Let q be r(1). Solve q = 3*h - 5*h for h.
0
Let l(s) = s**2 - s + 4. Let p be 2/4*(-2 + 2). Let d be l(p). Suppose 2*t + d*o - 30 = 0, 2*t - 15 + 0 = -o. Solve -7 - t = 4*n for n.
-3
Let x = -119 - -122. Let y = -8 - -16. Solve -y = l + x*l for l.
-2
Let u be -1 + -2 + 3 + 1. Let d = 2 - u. Solve 3*x + d - 7 = 0 for x.
2
Let d = -94 + 99. Solve 0*b + d = b for b.
5
Suppose j - 3*v + 12 = 0, -4 = -5*j + v + 6. Solve -j*q = -7*q - 20 for q.
-5
Let n(k) = -k**2 - 9*k + 5. Let m = 6 - 15. Let z be n(m). Solve -z*p - 6 = -1 for p.
-1
Let w be 0 + 1 + -1 + 2. Let m(i) = i**3 + 5*i**2 - 1. Let t be m(-4). Let g(h) = h + 3. Let j be g(4). Solve -w*r + j*r = t for r.
3
Let x be (1/(-4))/(9/(-144)). Solve x*l - l - 6 = 0 for l.
2
Let k = -4 - 1. Let v(x) = x**2 + 5*x - 6. Let s be v(k). Let g = s - -9. Solve g*q = -6 - 0 for q.
-2
Let k(c) = c**3 + 4*c**2 + 2*c + 1. Let w = 0 - 3. Let l be k(w). Solve -l*b - b = -10 for b.
2
Let d(b) be the second derivative of -b**5/20 + b**4/2 - 5*b**3/6 + b**2 - 9*b. Let i be d(5). Solve -i*j + 15 = 3*j for j.
3
Let i = -16 - -31. Suppose y = 6*y - i. Solve -d = y*d for d.
0
Suppose 4*o + 0*s = -5*s - 8, -o - 13 = 4*s. Solve m - 20 = -o*m for m.
5
Let l(b) = -b + 1. Let i(p) = -p**2 - 5*p + 6. Let w(s) = -i(s) + l(s). Let g be w(-5). Suppose g = 2*d - f - 9, -f = 5*d - 4*f - 25. Solve -5*h + d = -3 for h.
1