 y for u.
-3
Let v be 7/4 - 1/(-4). Let h = 7 - 4. Suppose -h*i = v*i - 40. Solve 2*b - 4*b = i for b.
-4
Let s(t) be the first derivative of -t**2 - 12*t + 3. Let h be s(-10). Solve -h - 12 = 5*y for y.
-4
Let l be ((-4)/14)/(5/70*-1). Solve -3*y = -l*y - 5 for y.
-5
Let b(w) = 2*w - 6. Let r be b(5). Suppose -5 + 25 = r*h. Solve -h*o + o = -12 for o.
3
Let l(u) = 3*u**2 - 2*u + 1. Let r = -4 - -5. Let j be l(r). Solve -j*h + 0 = 2 for h.
-1
Suppose 3 + 5 = 2*q. Let y(h) = -h + 4. Let w be y(q). Solve w = -0*d + 3*d + 9 for d.
-3
Suppose 9*r = 8*r + 5. Solve -l + 0*l = -r for l.
5
Let h(s) = -s + 2. Let p be h(1). Let f be (p/5)/(1/5). Solve 3*a + f = -2 for a.
-1
Let o be 1 + 0 + -8 + 0. Let c = o + 6. Let q(z) = z**3 + z**2 - z - 1. Let a be q(c). Solve a = k + 4*k + 20 for k.
-4
Let z = 15 - 15. Solve z*y - 4 = -y for y.
4
Let w(i) = -i**3 - 2*i + 2. Let c be w(2). Let y = 12 + c. Solve 2*t + 16 = -y*t for t.
-4
Suppose -10 = v - 10. Solve 6*d - d + 15 = v for d.
-3
Suppose 4*q = -4*r + 20, 4*r + 5*q - 12 = 3*q. Let f(a) = 3*a - 1. Let x be f(1). Suppose x*g + 15 = 5*g. Solve 4 = g*t - r for t.
1
Let z(p) = 4 - 3 + 2*p + 0*p. Let k(y) = -y. Let s(c) = -5*k(c) - 2*z(c). Let t be s(2). Solve t - 10 = 5*v for v.
-2
Suppose -g + 5*g - 24 = 0. Solve g = 5*m - 3*m for m.
3
Suppose -2*d + d - 2*w = 2, -2*w + 10 = -5*d. Let a be d + 1 + 5 + 1. Let i = a - 5. Solve i - 5 = -u for u.
5
Suppose -2*k + 65 = 45. Solve -3*c + 1 = k for c.
-3
Let q(u) be the second derivative of -u**3/3 - 3*u**2/2 + 3*u. Let k be q(-3). Solve k*b - 1 = -4 for b.
-1
Let y = 32 - 22. Solve -9*l - y = -7*l for l.
-5
Suppose -3 = 2*z - 3*z. Solve z*s = 5*s for s.
0
Let j(h) = h**3 + 6*h**2. Let n be j(-6). Suppose -6*d + 3*d - 2*g = 0, n = -3*d + g. Solve d = q - 3 + 2 for q.
1
Suppose -19 = 5*w - 144. Solve i = -4*i + w for i.
5
Let c be -2 - (-2 + 20 + -2). Let m be (-14)/(-6) - (-6)/c. Solve -3*y + m = 5 for y.
-1
Let p = 190 - 190. Solve -3*q - 1 + 7 = p for q.
2
Let b(g) = -g + 7. Let c be b(5). Let s be (c/6)/(2/6). Solve -3*i - s = 2 for i.
-1
Suppose 3*d = d - 108. Let y be 2/(-8) + d/(-24). Solve -y*b = -7*b + 15 for b.
3
Let j(n) be the third derivative of -n**6/120 - 2*n**5/15 + 5*n**4/12 + 2*n**3 + 5*n**2. Let c be j(-9). Solve 5*o - 18 + c = 0 for o.
3
Let c = -10 - 1. Let r = c + 14. Solve j + 16 = -r*j for j.
-4
Suppose 0 = -5*j + 8*j - 21. Suppose -24 = 4*l - j*l. Solve -l = s - 5*s for s.
2
Suppose 0 = -x - 3*k + 9, 4*x = -0*k - 2*k + 36. Let b be -1*(0 - 9/3). Suppose 0*h + b*h = 33. Solve 0 = 4*d - x - h for d.
5
Let l be 47/9 - 2/9. Suppose -l*n + 4*n + 17 = 0. Solve 3*x - 5 = -n for x.
-4
Suppose 4*c - 6 = -q + 5*c, 0 = -4*c. Solve 5*k - q*k = 4 for k.
-4
Let o be (-4)/20 - 2/((-10)/21). Solve o*b - 9 = -1 for b.
2
Let m(r) = r**2 - r - 4. Let u be m(3). Let s be (u/((-1)/(-1)))/2. Suppose 2 = c - 0*c. Solve -9 = c*d + s for d.
-5
Let b be -4 + 3 + 4 + 2. Suppose -3*h = b*w - 2*h - 45, 0 = 4*w + 3*h - 47. Solve -3 = 5*v - w for v.
1
Let y be (1 - 13/(-3))*3. Suppose 5*j = 4*z - 22, -3*z - 4*j = -2*z - y. Solve -6*h - z = -2*h for h.
-2
Let a(h) = h**2 - 3*h + 2. Let u be a(3). Suppose -w - v - 33 = 2*w, 4*w - 3*v + 57 = 0. Let t be (-7)/(14/w) - 0. Solve -2 = u*q - t for q.
2
Let u be (-20)/(-6)*(1 - -11). Suppose 5*l = -15 + u. Solve 7 = l*z - 13 for z.
4
Let r(g) = -g**2 - 7*g - 10. Let l be r(-5). Solve n = -l*n + 4 for n.
4
Let j be (-27)/(-9)*2/3 - 0. Solve -j*b - b = -12 for b.
4
Let l(v) = v**2 - 4. Let o be l(-3). Suppose -5*j + 0*c + 35 = o*c, -4*j + 3*c = -7. Suppose -j*q + 3*q + 4 = 0. Solve q*d - 9 = d for d.
3
Let a = -11 - -16. Suppose -a*g + i + 13 = -g, -5*g + 30 = -4*i. Solve 0 = -x - g - 2 for x.
-4
Let w be 3/6 - (-2)/(-4). Let a = w + 2. Solve 0 = s - 3*s - a for s.
-1
Let d = 186 - 184. Solve 0 = d*x + 3*x + 5 for x.
-1
Suppose i + 7 = 4*v, i - 5*v = -3*i - 6. Let j = i + -8. Let a be (-2)/((21/18)/j). Solve a = 4*g - 0 for g.
3
Let o(a) = a**3 - a**2 - 2*a + 6. Let y be o(-3). Let g = y + 24. Solve g = 2*m - 0*m - 2 for m.
1
Let o = -6 - -6. Suppose 3*j - 9 = -o*j. Solve j*d = -2*d - 15 for d.
-3
Suppose -j - 2 = -2*l, 4*j + 3*l - 4 = 10. Solve -u = j*u for u.
0
Let z = 4 + -2. Suppose 4*j = -z*x + 12, -x - 2*x + 3*j + 27 = 0. Let o(v) = v**2 - 6*v - 6. Let l be o(x). Solve 6*r = 4*r - l for r.
-5
Suppose 3*y - 6 = -0. Let j = y + -1. Let p be ((-2)/j)/((-2)/4). Solve -p*x + 13 = 5 for x.
2
Suppose 0 = -36*g + 37*g - 2. Solve 0*d = 2*d - g for d.
1
Let i(u) = -u**2 + 4*u - 1. Let m be i(2). Solve 0 = 5*t + 2 + m for t.
-1
Let h be (24/(-15))/((-4)/50). Solve -s - h = -6*s for s.
4
Let k = 4 + -5. Let w(q) = 4*q**2. Let v be w(k). Solve 0*c = v*c for c.
0
Suppose 3*r = 2*j - 8, 4*r + 7 = 3*j - 3. Let i be j/5 + 48/20. Let c(f) = f**2 - f - 2. Let a be c(2). Solve a = i*v - 3*v - 2 for v.
-2
Suppose 4*s - s - 45 = 0. Suppose 5*a = 2*a + s. Solve 1 = -a*o + 6 for o.
1
Suppose 10*w = 7*w + 45. Solve c - w = 4*c for c.
-5
Suppose -2*h = o - 5*o + 12, 0 = 2*h - 3*o + 9. Suppose -3*p - 2 = -8. Suppose -2*m = b - 2 - p, 2*m - 5*b - 4 = 0. Solve 0 = -h*n + n - m for n.
2
Suppose 2*j - j - 3*s = 5, 4*j + 4*s - 4 = 0. Suppose j*y + 1 = 9. Solve t + 15 = y*t for t.
5
Let l = -56 - -59. Solve -l = g - 4 for g.
1
Suppose -2*k - 16 = -0*k. Let g(b) = -b**2 - 9*b - 5. Let i be g(k). Solve i*n = -0*n + 9 for n.
3
Let c(z) = 3*z**2 - 2*z - z - 2*z**2. Let r be c(3). Solve x = -r*x + 1 for x.
1
Let f be (-6)/(-9) + 4/(-6). Suppose f = 7*n - 2*n - 20, -8 = -5*x + 3*n. Solve 0 = z - 2 + x for z.
-2
Let u(i) be the first derivative of -i**4/2 - i**3 - i**2 - 4*i - 7. Let g be u(-2). Solve g*h + 4 = -0 for h.
-1
Let x be 60/14 - (-2)/(-7). Suppose -3*t = -4*k + 4, 0 = -4*t + 4*k - k + x. Suppose 5*f = 4*h - 20, 4*f + 5 = -h - 11. Solve -12 = t*s - h for s.
-3
Let p(b) = -9*b + 3. Let q(m) = -5*m + 2. Let h(k) = -6*p(k) + 11*q(k). Let v be h(2). Solve -7 = v*c + 3 for c.
-5
Let b be 52/2 + (-5 - -6). Suppose -2*c = -3*u - 5*c + 21, 5*u - b = -3*c. Suppose u = i - 3*f - 0, -2*i + 2*f + 6 = 0. Solve 4*o + i = 23 for o.
5
Suppose -2 + 8 = s. Solve 0 = -4*y - 6 - s for y.
-3
Suppose -2*m - 3 + 9 = 0. Suppose 6*u - m*u = 6, -2*i + 5*u + 4 = 0. Solve i*d = 2*d for d.
0
Let b(t) = t**2 + 8*t + 4. Let s be b(-8). Solve 3*o + s - 1 = 0 for o.
-1
Suppose -17 = -k + 5*d, 5*d = -5*k - 5 - 0. Suppose -4*r = -4*o, 5*o - 13 = 2*r - 1. Suppose -18 - 6 = -o*s. Solve -q + k = s for q.
-4
Let d(r) = -r**2 + 12*r + 6. Let p be d(11). Suppose 2*k - 26 = k. Let v = k - p. Solve 2*a = -a - v for a.
-3
Let x(l) = l**3 + l**2 - 6*l + 6. Let f be x(2). Solve -o + f*o = 0 for o.
0
Suppose 4*i + 16 = 3*i. Let m = i - -19. Solve -u - 7 = -m for u.
-4
Let u be 0/(-2 - (1 + -1)). Let j(w) = w**3 + 14*w**2 + 14*w + 18. Let z(v) = 2*v + 13. Let d be z(-13). Let p be j(d). Solve u = -x - p for x.
-5
Let p(q) = 4*q**2 + 2. Let b be p(2). Let i be (-170)/(-45) + 4/b. Solve 0 = -3*j - 16 + i for j.
-4
Let z be (0 + 1)/(18/36). Solve 5*q + 6 = z*q for q.
-2
Let l be 4/(-5) + (-210)/(-75). Solve -l*c = 3*c + 25 for c.
-5
Suppose 5 - 25 = -5*k + y, -5 = 3*k - 4*y. Let q(l) = l**3 + 6*l**2 + 5*l + 8. Let r be q(-5). Solve -k*p + r = -2 for p.
2
Let a be 51/(-7) + 6/21. Let k be (-2)/6 + 182/(-21). Let v = a - k. Solve v*f = f + 3 for f.
3
Suppose 3*i + 11 = -w, -i + 5*w - 16 = -7. Let n = -4 - i. Let f be 14 - (-1 - n - -3). Solve 0*x + f = -4*x for x.
-3
Let k(a) = -5*a + 14 - a**2 - 7 - 7. Suppose l + 2*l + 15 = 0. Let d be k(l). Solve d = -5*t + 2*t + 9 for t.
3
Let i = 69 - 69. Solve i = -5*z + 3*z - 4 for z.
-2
Let z be (0 - (-2)/(-4))*0. Suppose 3*u + w - 7 = -0, -2*u - 3*w + 7 = z. Solve u*b = 4*b + 10 for b.
-5
Let l be -1*(-3 + 1) + 4. Let t be (-4)/l*3*-2. Solve 6*n + t = 2*n for n.
-1
Suppose 2*s + 15 = 3*g, s + s - g = -17. Let k = s - -7. Let v be 4 + k + 7 + -3. Solve -15 = -v*t + t for t.
3
Let d(g) = -g**2 - 5*g. Let c be d(-5). Suppose c = 3*i + i. Solve i = 2*o - 5 - 3 for o.
4
Suppose 27 = 5*h + 2*p, -p = 3*p - 4. Let j be 1/(-4) - (-9)/4. Solve -h*m = 22 - j for m.
-4
Let i(t) = -t**3 - 9*t**2 - 8*t + 6. Let u be i(-8). Let r be 12/(-16) - u/(-8). Solve -2*b + 3 - 1 = r for b.
1
Suppose -4*x + 20 = -4*l, 0 = 2*x + 6*l - l + 25. Let f = x - 0. Suppose -4*p = 2*d - 12, -2*p