ve v*f + 2 = 5 for f.
1
Suppose 0 = 486*a - 481*a - 10. Solve -o + a*o = 5 for o.
5
Let p = 2 + 2. Suppose -5*i - y + 20 = -3*y, -3*i = -y - 11. Solve i*s = -2 - p for s.
-3
Suppose 3*b + 99 = 2*z, -16*b + 21*b + 235 = 5*z. Solve z - 10 = -8*j for j.
-4
Suppose -5*y - 1 = 29. Let n be (1 + 0)/(y/(-18)). Solve 5*k - 2 = n for k.
1
Let u(d) = d**3 + 7*d**2 + 9*d + 9. Let q be u(-5). Solve -10*n + 16 = -q for n.
3
Suppose -3*q + n = -0*n - 8, 4 = 2*q - n. Suppose 4*i + 2*v = 0, 0 = 4*i + q*v + 12 - 4. Solve -6 - 2 = -i*r for r.
4
Let g be (-5 - -12)/(2 - -3 - 4). Solve -o - g = -3 for o.
-4
Let m(u) = -u**3 - u. Let v be m(0). Suppose -60 = -v*q - 4*q. Solve -5*k = -8*k - q for k.
-5
Let h(k) = 2*k**3 + 11*k**2 + 8*k - 4. Let y be h(-4). Solve y*b - 19 = 5 for b.
2
Let s(t) = 8*t**3 + 6*t**2 + 10*t. Let f(i) = 7*i**3 + 6*i**2 + 9*i - 1. Let o(g) = 7*f(g) - 6*s(g). Let j be o(-5). Let l = j + -2. Solve -10 + l = -3*a for a.
3
Suppose -2*y + y + 5*j - 23 = 0, -3*y + 5*j = 19. Let x be (6/(-4))/(y/8). Let m be (x/12)/(2/(-12)). Solve 0 = 2*w + m*w + 25 for w.
-5
Suppose -4*y = 4*r - 1 - 7, -y - 2 = -3*r. Solve y - 1 = 5*j for j.
0
Suppose 193 = 4*u + 5*o - 0*o, -u + 2*o = -58. Let z = u - 51. Solve -2*b = -7 - z for b.
4
Let a be 2/6 + (-2)/6. Suppose 3*p + 10 = -2*r, a = -4*r - 4*p - p - 16. Solve -3*b + 2*b = r for b.
-1
Let o(m) = m**2 - 4*m - 56 + 87 - 50 - 5*m. Let x be o(11). Solve 3*d + 0 = x for d.
1
Suppose -y + 12 = 3*y. Suppose 2*s = -8, -2*s = 3*z - 30 + 38. Solve z = -y*k + 4*k + 1 for k.
-1
Let d(r) = r**2 - 6*r - 8. Let n be d(6). Let o be ((-2)/n + 1)/((-2)/(-8)). Solve o*f = 4*f + 3 for f.
3
Let c be ((-28)/12)/7*-15. Let v = c - 1. Solve -x + 0*x + v = 0 for x.
4
Suppose 2*v = v. Let f be (3 + -2)*(4 + v). Solve f*g - 13 = 3 for g.
4
Suppose -c + 2 = 5*u, -c - 2*c + 6 = -3*u. Let x(b) = 3*b - 7. Let k be x(9). Suppose 3*y - k = -c. Solve v + y = -v for v.
-3
Let l be 8/(-6) + 1 - 22/(-3). Let f = 10 - l. Solve -u = -2 + f for u.
-1
Let q be (-5)/(66/(-12) - -3). Solve -q*c = c for c.
0
Let b = 305 - 287. Solve -50*w + 44*w = b for w.
-3
Suppose -2*b + 11 - 3 = 2*q, 5*q + b = 20. Suppose 2 = -c + 6. Solve 0 = q*l + c - 0 for l.
-1
Suppose -5*o + a + 27 = 0, 4*o - 5*a + 1 = 10. Solve o*h = h + 10 for h.
2
Let g = 3 - 2. Let i(l) = 29*l + 2. Let k(q) = 59*q + 5. Let w(t) = 7*i(t) - 3*k(t). Let u be w(g). Solve -2*y = 3*y + u for y.
-5
Suppose -31 = -2*l + 3*h, 3*l - 55 = -h - 14. Suppose -n + 3 = -2*n + b, -3*b = 2*n - l. Solve w + 3 = n for w.
-2
Let k(x) = x**2 - 31*x - 25. Let o be k(32). Let n(y) = y**3 + 3*y**2 - 4*y + 1. Let d be n(-4). Let b be 2/(-6)*(d - o). Solve -6*v = -b*v - 8 for v.
2
Let p be 6 - (4 - 7 - 1). Solve 9*i + 35 = -p for i.
-5
Let k(h) = h**3 + 6*h**2 + 5*h + 6. Suppose -2*j = -3*j - 7. Let c(a) = -a - 12. Let s be c(j). Let x be k(s). Solve -y - x = y for y.
-3
Let o be (-66)/99 + (-116)/(-12). Let x be -5*1*(1 - 0). Let k = x - -9. Solve k*j + 7 = -o for j.
-4
Suppose 0 = -5*j + 9 + 21. Suppose 0 = -4*k + m - 0*m + 39, -k - m = -j. Let n = k - 9. Solve 3*d - 1 - 5 = n for d.
2
Let r(g) = 24*g**2 - 5*g + 1. Let q be r(1). Solve 0 = -8*t + 3*t + q for t.
4
Suppose 4*u + 3*z = 48, -5*z + 60 = 5*u - z. Suppose f = u - 7. Solve -f*n - 2 = -6*n for n.
2
Suppose -4*g + 3*u + 6 = -12, -g + 4*u + 11 = 0. Let i(p) = -9*p**3 - p**2 - p - 1. Let n be i(-1). Solve n*q = g*q - 20 for q.
-4
Suppose -40*w + 120 = -10*w. Let n be (3 - (-13)/(-3))*-6. Solve -w*j + 0 = n for j.
-2
Let r(h) = -h**2 + 5*h + 1. Let i = -4 - -5. Suppose -5 + i = -v. Let k be r(v). Solve 0*u = k*u for u.
0
Let w be ((-36)/126)/((-1)/14). Suppose o = h - 0*h + 4, -h - w = 2*o. Solve -4*j - j = o for j.
0
Suppose -5*y = y - 48. Solve 3*b = 5*b - y for b.
4
Suppose 0 = g + 1, 4*r - 7 = -5*g + 12. Let a(o) be the first derivative of 5*o**2/2 - 6*o + 1. Let d be a(r). Solve 0 = -5*y - 1 - d for y.
-5
Suppose -r - 18 = -a, 3*r = -a + 24 - 2. Let h = a + -19. Let k be -2*4/(-8) + h. Solve -13 = -4*j - k for j.
3
Let q be -258*(5 - 28/6). Let l = -76 - q. Solve 5*m - 7*m = -l for m.
5
Suppose -2*b + u = -23, -u + 12 = 13. Solve -9*a + 7 = -b for a.
2
Let c(p) = 9*p - 4. Let m(d) = d**2 + 13*d + 25. Let g be m(-11). Suppose -4*z - 6 = 2*f + g*f, -z = -2*f - 5. Let a be c(z). Solve -19 = a*s - 4 for s.
-3
Let g(q) = 55*q + 6. Let o be g(0). Solve 26*c = 28*c + o for c.
-3
Let w(v) = 36*v - 14. Let g(p) = -5*p + 2. Let a(s) = -44*g(s) - 6*w(s). Let n be a(6). Let c = n - 17. Solve -3 + 6 = c*m for m.
1
Let a(p) be the first derivative of -23*p**2/2 + 2*p - 31. Let l be a(-1). Solve -l = 4*j + j for j.
-5
Let d be (1 - 5/(-10))*(-264)/(-18). Solve -d*w - 40 = -12*w for w.
-4
Let l(o) = -o**3 - 4*o**2 + 4*o. Let a be l(-5). Let q be (-6)/(-18) - 38/(-3). Let i = 15 - q. Solve -a*n + 7 = i for n.
1
Suppose 26 = 3*t + k, 4*t - 3*k = 2*t + 10. Suppose -2*u + 12 = -t. Suppose 5*f - u = -m + 5, -5*m + 15 = -5*f. Solve f*w + 15 = -w for w.
-5
Let q be 2/(-2)*3 - -7. Let u = q + -9. Let z = u + 8. Solve -17 = z*s - 2 for s.
-5
Suppose 21*h = 20*h + 4. Solve 0 = f + 8 - h for f.
-4
Let z(v) = -3*v**3 - 9*v**2 + 8*v - 14. Let b(c) = 4*c**3 + 9*c**2 - 8*c + 15. Let f(h) = -4*b(h) - 5*z(h). Let a be f(8). Solve 8*w - 3*w - a = 0 for w.
2
Let o(c) be the third derivative of -c**4/8 - 11*c**3 - 6*c**2 - 3. Let s be o(-25). Solve -2*i - s = i for i.
-3
Suppose -5*g + 0 + 5 = -5*m, m = 4*g - 7. Suppose -c - 3*c = -5*z - 28, 0 = -4*c - 2*z. Suppose -c = -2*y + y. Solve y*h - h = m for h.
1
Let z be 1*-5*116/(-145). Solve -z - 2 = -2*o for o.
3
Suppose 4*u - 16 - 10 = -2*n, 2*n - 1 = u. Solve 0 = -24*k + 123 - n for k.
5
Let f be (-233)/5 + 16/(-40). Let u = 47 + f. Solve u*y = 4*y + 20 for y.
-5
Let w(t) = 3*t**2 + 2*t + 1. Let u be w(-1). Let g(l) = -39*l + 13. Let s be g(5). Let z be 6 + s/(-21) - 2/3. Solve 4*a - u - z = 0 for a.
4
Suppose 0 = -34*r + 31*r + 6. Suppose r*v - 30 = -0*v. Suppose -4*n - i + 20 = -5, -3*n + v = 2*i. Solve n + 8 = -3*s for s.
-5
Let a be 39/(-52) - 15/(-4). Suppose a = i - 1. Solve i*h + 0*h = 4 for h.
1
Let h(w) = -w**3 + w**2 + 2*w + 2. Let p be h(0). Suppose -2*a + 3*r + 1 = -1, -r = -a + p. Solve -11 + 3 = a*d for d.
-2
Let r be -6*16/(-12) + 1. Suppose u + 30 = 5*z, 35 = -r*z + 13*z - 3*u. Solve z*p + 14 = -11 for p.
-5
Suppose 36 = -11*o + 12*o. Let i = o + -34. Solve -f + i*f + 1 = 0 for f.
-1
Suppose 5*t - t = 3*m + 3, 30 = 5*t + 5*m. Solve 10 = -t*d + 5*d for d.
5
Suppose -26 = -4*m - 3*c, m - 3*c + 11 = 2*m. Solve 41*v - 40*v - m = 0 for v.
5
Let j(k) = -k**2 + 13*k - 12. Let s(y) = 3*y**2 - 40*y + 37. Let p(r) = -11*j(r) - 4*s(r). Let g be p(16). Solve -5*m + 13 + 7 = g for m.
4
Suppose -36 = -103*c + 101*c. Solve 4*s = 6 - c for s.
-3
Let p(b) = -b**3 - b**2 - b. Let q(i) = -13*i**2 - 14*i + 3. Let h(y) = -p(y) + q(y). Let v = 567 + -554. Let u be h(v). Solve -2*z - 2 = -u*z for z.
2
Let j be 2/1 + -2*1. Let h be (4/8)/((-1)/(-4)). Solve -l = -j*l - h for l.
2
Let c = 13 + -13. Let w = c + 10. Let b = w + -7. Solve b = -4*y - 9 for y.
-3
Let n = 107 + -105. Suppose -4*z = 20, -2*p + 32 - 2 = n*z. Solve -2*d = 2*d - p for d.
5
Suppose -6*f = -2*f + 16, 4*f + 19 = q. Solve w + q = 8 for w.
5
Let p be 6/(-1)*1/(-3)*2. Let w(r) be the second derivative of -r**5/20 - r**4/6 - r**3/6 - 3*r. Let u be w(-2). Solve u*a = p*a for a.
0
Suppose -4*j = -0*j - 8. Let x(i) = 5*i + 65. Let k be x(-13). Suppose 5 = 4*w - 7. Solve -j*h + w + 7 = k for h.
5
Let b be -1 - -1 - (0 + 34). Let q = 34 + b. Suppose 30 = 3*x + 5*n, 4*x - 16 = -x + 3*n. Solve l + q + x = 0 for l.
-5
Let a be (144/(-20))/((-6)/15). Solve 7*x = a - 4 for x.
2
Suppose 5*n = 3*x - 10, -4*n + 4*x - 28 + 12 = 0. Suppose -2*j = -n - 5. Suppose -2*r + 3 = s, j*r - 4*r + 3*s + 5 = 0. Solve r*f + f = 0 for f.
0
Let b(m) = 5*m + 1. Let u be b(4). Let a = u + -18. Solve z + 2 = a for z.
1
Let c(a) = 18*a - 124. Let m be c(7). Solve m*z - 5 = 3 for z.
4
Let l = -1 + 13. Let g(o) be the second derivative of o**3/3 - 17*o**2/2 - 7*o. Let m be g(l). Solve 2*d + m = 1 for d.
-3
Let y(l) = l**3 + 5*l**2 - 9*l - 6. Let j be y(-6). Solve -15 = 9*m - j*m for m.
5
Suppose -5*j = h + 47, -21 - 18 = h - 3*j. Let m = -39 - h. Solve 0*f = f - m for f.
3
Let y be ((-324)/45)/((-2)/5). Suppose 5*i 