m + w = -2*t for t.
-3
Let o = -3 - -3. Suppose o = -6*u + u + 25. Let k = 5 - u. Solve 0 = -k*j + j + 5 for j.
-5
Let b = 10 - 5. Solve b = -5*o - 0 for o.
-1
Let f be 3 - (2 + 0)/(-2). Let i be (40/(-12))/((24/(-9))/4). Solve 0 = f*h - 7 - i for h.
3
Let n(c) = c**3 - 6*c**2 - 2*c + 14. Let g be n(6). Solve -g*t + 4*t = 0 for t.
0
Suppose 15 = 5*m, 7*m = 4*y + 3*m + 4. Suppose a + y*c = 6, 0 = 3*a - 5*c + 1 + 3. Suppose -r - 7 = -2*r. Solve 1 + r = -a*t for t.
-4
Let f = 7 + -7. Solve -4 = -f*y - y for y.
4
Suppose 3*r = 3*x - 24, -3*r - 2 = -2*x + 18. Let n(a) = -5*a**3 - a + 4*a - a**2 - x*a. Let u be n(-1). Solve 4 = -u*j - 1 for j.
-1
Let f = -2 + 2. Let k(z) = z**3 - z**2 - z + 2. Let h be k(2). Suppose 9*y - h*y = 0. Solve 3*r + y*r + 12 = f for r.
-4
Let l = 5 - 1. Suppose -c + 5 + l = 0. Let z be -33*((-3)/c)/1. Solve 1 = -5*i + z for i.
2
Let p be (-15)/(-10)*(1 - -1). Suppose -4*t = p*f - 13, 3*f + 15 = 2*t + t. Suppose 4*n - t*i = 13 + 11, 0 = -3*n + 5*i + 20. Solve n*k + 20 = k for k.
-5
Let k(j) be the first derivative of 9*j + 2 - 1/3*j**3 + 3*j**2. Let s be k(7). Solve 3 = g + s for g.
1
Suppose 2*t + 2 - 6 = 0. Suppose 0 = -t*b + 4. Suppose b*g - 1 - 3 = 0. Solve g*s - s = 0 for s.
0
Suppose -3*c + 5*p = c - 85, -5*c + 95 = 5*p. Let r be (-96)/(-18) + 1/(-3). Suppose -5 = r*o - c. Solve 5*d + 2 = o*d for d.
-1
Let p be (-50)/(-14) - (-40)/(-70). Solve -p*m - 7 + 1 = 0 for m.
-2
Let p be 5*(13/5 - 2). Let v(n) = 2*n - 1. Suppose 3 = -2*j + 5*c, 3*c - 3 + 0 = 0. Let t be v(j). Solve -7 = -p*r - t for r.
2
Suppose -g - 6*d + 2*d + 5 = 0, -20 = -4*g - 5*d. Solve 3*y + g = 20 for y.
5
Suppose 4 - 1 = p + 3*n, -5*n + 12 = 4*p. Solve -a + p*a = -10 for a.
-5
Suppose z = -2*p + 11, -3*p + 0*z = -3*z - 3. Let m(h) = 9*h**2 - 2. Let u be m(-2). Let w = -18 + u. Solve p*t - 8*t = -w for t.
4
Let c(d) = -d**2 - 4*d + 6. Let z be c(-5). Let g be (-2)/(z + -2 + 0). Let p be (36/(-45))/(-3*4/90). Solve 0 = -g*s + 4*s + p for s.
-3
Let g = 5 + -4. Solve i - g = -6 for i.
-5
Let b be (-445)/(-35) - (-2)/7. Let i = b + -8. Solve 0 = 4*n + i - 1 for n.
-1
Suppose -2*j = 2*j - 3*z - 8, 2*j - 4*z = -6. Solve -j*a + 4 - 24 = 0 for a.
-4
Let x(o) = -o + 8. Let v be x(10). Let z be (-12)/(-8) + v/(-4). Let r(h) = h. Let q be r(z). Solve 3*y + q*y = 20 for y.
4
Let n(h) = h**2 + h + 6. Let j be n(0). Solve -3*v + j = -5*v for v.
-3
Let v(a) = 4*a + 25. Let c be v(-6). Solve -c = -3*b + 4*b for b.
-1
Let u(n) = n**3 + 5*n**2 - 8*n - 9. Let y be u(-6). Solve 0 = -i - y*i + 16 for i.
4
Let b be -9 + 7 - 18/(-3). Solve -c - b*c = 10 for c.
-2
Let c be 9 - 4/(8/4). Let z be (9/3 - 2)*c. Solve 0 = 2*t - z*t for t.
0
Let u = -10 + 10. Let o = -7 + u. Let j be (o + 6)/(2/(-6)). Solve 0 = 3*m - 6 - j for m.
3
Suppose -c - 3*w = -11, 2*c + 4*w - 20 = -w. Solve 4*n - c*n = -1 for n.
1
Suppose -11*b + 12 = -5*b. Solve 4 = -b*u - 2*u for u.
-1
Suppose 0 = 8*n - 2*n + 3*n. Solve 2*v - 1 - 7 = n for v.
4
Suppose 3*n - 4*i - 1 = 0, 13 = n - 0*n + 5*i. Suppose -n*s + 8 = s. Suppose 5*o - 28 = -4*v, 5*v + 4*o - s = 24. Solve 2*a - v = -12 for a.
-5
Suppose 12*c = 33 + 3. Solve -p = c - 1 for p.
-2
Let f(l) = -l**2 - 8*l + 24. Let z be f(-10). Let a be 1/z + (-33)/(-12). Solve -4*v + a = -v for v.
1
Let m(l) = -l**3 + 4*l**2 - 3*l + 2. Let u be m(3). Let f = -19 + 20. Let k be f - 0*(u + -1). Solve -k = -4*b + 3*b for b.
1
Let f be (2*(1 + -3))/(-2). Let s(z) = -2*z**2. Let h be s(-1). Let t be ((-30)/f)/(-3) + h. Solve t*j = j + 2 for j.
1
Let v = 48 - 45. Solve 0 = -v*t + 4*t + 2 for t.
-2
Let k(c) = 2*c**2 - c + 4. Let u(m) be the second derivative of m**4/3 - m**3/6 - 3*m. Let a be u(1). Let v be k(a). Solve 1 = 4*j - v for j.
5
Let h(q) = -q**3 - 5*q**2 - 5*q + 2. Let u be h(-4). Let t = u - 4. Solve c + 3 + t = 0 for c.
-5
Let l = -12 - -32. Solve 0*g + 4*g = -l for g.
-5
Let j = -9 - -17. Suppose j = 4*c - 12. Let a = 8 - c. Solve 20 = h + a*h for h.
5
Suppose -f + 4*i = -i + 6, -4*f = 2*i + 24. Let c = 8 + f. Solve 0 = c*d - 3 - 1 for d.
2
Let p(w) = -w + 10. Let r be p(-5). Suppose -o = -6*o + r. Solve o*y + 0*y = -6 for y.
-2
Suppose -4*i + 3 = -5. Suppose i*w - 12 = -w. Suppose 0 = 4*b - 3*b - w. Solve h = -b*h + 20 for h.
4
Let x(k) be the first derivative of k**4/4 - 8*k**3/3 + 2*k - 1. Let d be x(8). Let g be (d/(-5))/(2/(-30)). Solve 0 = -3*s + 3 - g for s.
-1
Let z(o) = o**3 + 2*o**2 - o + 1. Let h be z(-2). Suppose 4*x + h*v + 0*v = 13, -2*v = -3*x + 14. Solve -t = t - x for t.
2
Let r(i) = -3*i + 2. Let l be r(-2). Suppose -16 = -4*y - 4*h, -l = -0*y + y - 3*h. Solve 0 = 2*t + y + 5 for t.
-3
Let x be 0/(1*2/1). Let f(s) = s + 4. Let q be f(-7). Let a be 2 + q + (5 - 4). Solve x*u + 3*u = a for u.
0
Let j(q) = -q + 7. Let s be j(-5). Suppose -p + s = p. Solve -p = -3*k + 6*k for k.
-2
Let j be (1 - 0)*(7 + 1). Suppose -r - 1 = -5, 0 = -3*w + r + 5. Suppose -j*b + w*b = -5*y - 20, -b = 4*y + 1. Solve -b*c - 8 = -7*c for c.
2
Suppose 5*q = 3*q - i + 62, -5*q + 141 = -i. Suppose 2*g + 5 = -r, -r = -0*r - 3*g - 15. Suppose 3*o = -h + 18, -2*o - 2*o + q = r*h. Solve s - h = 4*s for s.
-1
Let i = -40 - -40. Solve a - 3 = -i*a for a.
3
Let m = -166 - -169. Solve m*q - 8*q = -25 for q.
5
Let x = -1 - -2. Let v be (-4)/12*-6*x. Solve -w + v*w = -1 for w.
-1
Let c(g) = -2*g. Let a be c(-2). Solve -d + a + 0 = 0 for d.
4
Let d = -42 - -45. Suppose -4*v = -3*r - 20, 2*r = 2*v - 6 - 4. Solve v*q - d*q = 10 for q.
5
Let a(h) = h**3 + 8*h**2 + 7*h + 3. Let l be a(-7). Suppose 0 = -s + 2*d + 10, -d - 3 + 4 = s. Solve -2*x = -l*x - s for x.
-4
Suppose -3*a - 2*l + 18 = -5*a, 0 = 5*a + l + 45. Let x = -1 - a. Solve 7*z = 3*z - x for z.
-2
Suppose 5*c = -l + 7, 0 = -l + 4*c + c + 17. Suppose -l = -h - 3*w, h + 3*w = 6*h + 12. Solve -10 = -h*j + 2*j for j.
-5
Let n(u) = u + 19. Let l be n(-15). Solve l*o - 9 = 3 for o.
3
Let b(m) = -m**2 - 9*m + 2. Let l be b(-7). Solve k + l = -3*k for k.
-4
Let a be (7/(-3))/(1/(-3)). Suppose 2*u + 2*u - 4 = 0. Solve 2*h + a = u for h.
-3
Let k(z) be the second derivative of z**4/12 - 2*z**3/3 + 4*z**2 + 5*z. Let c be k(6). Solve l + 3*l = -c for l.
-5
Suppose -f = -0*f + 5*v - 28, 4*v - 8 = f. Let w(q) = -q**3 + 9*q**2 - 10*q + 16. Let s be w(8). Solve 2*i - f + 2 = s for i.
3
Let j = 1 - 0. Suppose k + 5 = a, -2*k - 11 = -4*a + 9. Solve k = 2*x - j - 7 for x.
4
Let r = 21 - 14. Suppose 3*o + 24 = r*o. Solve -3*w + o + 0 = 0 for w.
2
Let o be 10/(-25) + 24/10. Solve 4*v = 3*v - o for v.
-2
Let s = 20 + -18. Solve s*h = 4*h for h.
0
Suppose 4*x - 26 = s, 4*x + 8 = -5*s - 2. Let t = s - -8. Solve n - 9 = -t*n for n.
3
Suppose -2*a = -0 - 4. Solve -u + 2*u = -a for u.
-2
Let o(v) = -v**3 - 4*v**2 + 3*v - 4. Let a be o(-5). Suppose 2*w - a = -0*w. Solve w*h + 12 = 3 for h.
-3
Let z(x) = x**3 - 14*x**2 - 15*x + 2. Let t be z(15). Solve t = -s - 3 for s.
-5
Suppose 0 = -2*p - 3*y, -p = 2*p - 2*y. Solve 4*u + 9 + 3 = p for u.
-3
Suppose -18 = 5*m - 2*m. Let o = m - -7. Let q = 1 - o. Solve q*z + 4*z = -8 for z.
-2
Let g = -48 + 52. Solve -g*s - 6 = -s for s.
-2
Let h(p) = -p - 5. Let t be h(-8). Solve q = -t*q - 8 for q.
-2
Let a(t) = -t**2 - 12*t + 2. Let d be a(-12). Let v = 2 + d. Suppose -5*p = -l - 23, -2*p = -v*l - 3*p + 13. Solve -12 = l*x - 5*x for x.
4
Suppose 0 = -5*m + 2*z + 48, -5*m = -m + z - 41. Solve -7*p = -2*p + m for p.
-2
Let y be (-5)/(5/2) + -10. Let o = -9 - y. Solve o*h + 0 = 6 for h.
2
Let i(t) = 2*t**2 - 5*t - 4. Let u(y) = 2*y**3 - 3*y**2. Let w be u(2). Let d be i(w). Solve -3*c - d = c for c.
-2
Suppose 34 = 4*d - 10. Let o = -7 + d. Solve -o*u + 20 = -9*u for u.
-4
Let b be (-10)/25 + (-22)/(-5). Suppose b = s - 0*s. Let d = -1 + 1. Solve -s*r - 9 - 7 = d for r.
-4
Suppose m = 3*v + 4 + 4, m - 2*v - 6 = 0. Solve 0 = -m*n - 3*n + 25 for n.
5
Let j = 10 - 8. Let u be (j - (-48)/(-28))*7. Solve -3 - 1 = -u*k for k.
2
Suppose 4*f = 2*c - 14, 3*c - f + 4 = 4*c. Suppose -4*v - 5*l = -c - 5, -2*v + 4*l - 8 = 0. Suppose 5*y = -1 + 6, -10 = -u - y. Solve -2*q - q - u = v for q.
-3
Let r(l) = 2*l - 5. Let d = -1 + 3. Let t(h) = h**3 - 2*h**2 + 2*h. Let j be t(d). Let a be r(j). Solve -5 + a = -z for z.
2
Let g = -140 + 151. Solve 5*i - 9 = g for i.
4
Let b(l) = -2*l - 15. Let n be b(-8). Solve -n + 5 = v for v.
4
Let 