3. Solve v + j = 1 for v.
1
Let y = 54 + -47. Suppose -4*w + y + 21 = 0. Solve 0 = 2*f - w - 1 for f.
4
Let q(u) = -u**2 + 6*u. Let r be q(3). Suppose -3*v - r = -6*v. Let b(z) = -3*z - 56. Let y be b(-19). Solve y = -2*d - v for d.
-2
Suppose -5*c = -3*a + 99, -71 = -2*a + 2*c - 9. Solve -10*x - a = 12 for x.
-4
Let l = 29 - 24. Suppose 0*g = w + 5*g + l, -w = -3*g - 19. Solve -4*q + w = 2 for q.
2
Let n = -4 + 7. Suppose f + 3*f + 4*k = 28, f + 5*k = n. Suppose -z + 15 = -0*o + 5*o, 3*o + f = -4*z. Solve o*d + d = -20 for d.
-4
Let k(r) = r + 13. Let t be k(-6). Suppose 15 = -2*o + t*o. Suppose 6*j - 10 = 2. Solve -2*c = -o*c - j for c.
-2
Suppose -3*v = 2*b - 14, 13 = -4*b - 4*v + 37. Let a = -8 - -10. Suppose 0 = 2*w, 0*w + 2*w = -a*u. Solve 5*t + b + 16 = u for t.
-4
Suppose -2*k - 7*t = -2*t + 92, 3*t = -2*k - 100. Let l = -54 - k. Solve n + 0 = -l for n.
-2
Let n(h) = -7*h**3 + 2*h**2 - 2*h + 1. Let d be n(1). Let l = d + 6. Solve l*b + 4 = -2*b for b.
-2
Let x(p) = -2*p + 12. Suppose -5*b - 3 + 43 = 0. Let n be x(b). Let f be n/(-6)*204/8. Solve 5*u = 8 + f for u.
5
Let g(w) = -w**2 - 10*w + 383. Let r be g(15). Solve -13*q = -21*q - r for q.
-1
Let d be (126/24 - 4)*8/2. Solve s + 8 = d for s.
-3
Suppose 0 = -2*s - r - 4, 0 = -5*s - 3*r - 6 - 4. Let l be ((-5)/2)/((-5)/(-10)). Let n be (-15)/l - (s - -1). Solve -n*w = -4 - 0 for w.
1
Suppose 3 - 5 = 2*u, f + 5*u = -1. Suppose -28 = -2*n - 4*d + f, 2*n - 3*d + 3 = 0. Solve 0 = -4*r + n*r for r.
0
Let i be (0 + 1)/(4/20). Suppose i*y - 40 = -0*y. Solve 0 = 5*l - 3*l + y for l.
-4
Let s be -5 + 1 - (-21 - -4). Let q = 16 - s. Solve 0*v = v - q for v.
3
Let v = 871 - 871. Solve 13*p - 19 + 6 = v for p.
1
Let q = -8502 + 8507. Suppose 0 = 4*b - 8, -2*u = 2*u + 3*b - 6. Solve u*y = -q*y for y.
0
Let j be 2/(-2) - ((-2 - 4) + 4). Solve -q = j + 1 for q.
-2
Suppose 0 = -3*p + i - 92, 0 = -4*p + 2*i - 101 - 23. Let v = p + 33. Solve 0 = 5*m - 2 - v for m.
1
Let j(f) = -f + 1. Let n be j(-1). Let t(k) = -k**2 - k. Let o(u) = 6*u**2 - 6*u + 18. Let q(b) = -o(b) - 5*t(b). Let v be q(7). Solve 4*y + v = n*y for y.
-5
Let d be (5 + -53)/8 - -16. Solve d = -9*t + 14*t for t.
2
Suppose -5*i - 17 = 5*m - 2, i - 3*m = 9. Let h(p) = -p**3 + 5*p**2 + 6*p + 2. Let j be h(6). Suppose -n + j = -3. Solve 0 = w + n - i for w.
-5
Let f = 3 - 1. Let w be (-8)/16 + -6*(-107)/(-4). Let k = 164 + w. Solve -f*p + k = -1 for p.
2
Suppose -2*f + k = -175, -72 = -f + k + 15. Let t = f + -84. Solve 0 = 5*r - t*r + 5 for r.
-5
Let b(q) = -2*q + 6. Let a be b(3). Suppose 5*x - 8 = 2. Let t(u) = 5*u - 2. Let y be t(x). Solve a*v = -2*v - y for v.
-4
Let c be 1/((2 - -2)/(-20)). Let r(d) = -d**3 - 3*d**2 + 11*d + 5. Let p be r(c). Solve p*q = -2*q + 6 for q.
3
Let o(l) = -l**3 + l**2 - l + 1. Let x(i) = i**2 - 12*i + 12. Let t be (2/(-3))/((-2)/33). Let g be x(t). Let d be o(g). Solve n + 4 = -d for n.
-4
Let r be (-197)/(-3) + ((-285)/(-45) - 6). Solve 24*s - r = -18 for s.
2
Suppose 4*q = 2*a + 7*q - 15, -4*q + 20 = 2*a. Suppose a = 74*y - 79*y + 25. Solve -3 = -y*d + 12 for d.
3
Let m(v) = 4*v**3 - 47*v**2 + 51*v - 83. Let g(k) = k**3 - 16*k**2 + 17*k - 28. Let r(w) = 7*g(w) - 2*m(w). Let i be r(-19). Solve i*s - 4*s = -16 for s.
-4
Suppose -4*i - 5*m = -4*m + 19, -i - 1 = -m. Let h(k) = k**3 + 4*k**2 - k + 1. Let s be h(i). Solve 0 = s*u + 4 + 1 for u.
-1
Let d be (-2 - -1)*(-1 + 0)*10. Suppose -9*n + 10*n - d = 0. Solve 0*i = -2*i - n for i.
-5
Let p be (-16)/((-8)/2) - (-3 - -2). Let b be 8/(-52) - 193/13. Let j = b + 15. Solve j = 2*w - p - 5 for w.
5
Suppose 2*m - 11 = 5*d, m + d = -0*d + 2. Let k be 4 - 8 - (-63)/7. Solve m*q = -2*q - k for q.
-1
Suppose 0 = 40*y - 38 - 202. Solve 0 = 3*g - 0*g + y for g.
-2
Let c = -18 - -43. Suppose -c = -5*z - 5. Suppose x + 5 = 2*f, -x + 3*f + 1 - 9 = 0. Solve -3*b = -z*b + x for b.
1
Let c = 10 + -5. Suppose -32 = -c*n - g - 13, 5*n - 16 = -4*g. Suppose -u = -5*u + n. Solve b + 0 = u for b.
1
Let s(r) = -2*r**3 + 15*r**2 + 24*r - 105. Let q be s(8). Solve -5*d + q = 23 for d.
0
Let c = -1691 - -1728. Solve 5*z = -c + 47 for z.
2
Let h = 5 + -2. Suppose -3*s + 19 = b, 0 = -2*b + 2*s + 2*s - 12. Let g be (-1 - 2)/((-6)/b). Solve -g*l - 2 = -h*l for l.
2
Let a = 818 - 366. Let y be a/24 - 1/(-6). Let k = y - 15. Solve -k*m + 2*m = -4 for m.
2
Suppose 0 = l + 2*l. Let h = l + 2. Let z(c) = -c**2 - 6*c + 4. Let q be z(-6). Solve h*k - q + 2 = 0 for k.
1
Suppose -10*p + 33*p = 138. Solve 14 = p*m - 16 for m.
5
Suppose -3355*a - 216 = -3364*a. Solve -11*q + a = -31 for q.
5
Suppose -2*q - 7 + 47 = 0. Let k = -23 + q. Let s be ((-28)/42)/(1/k). Solve s*p - 3 = p for p.
3
Let t(r) be the first derivative of -r**4/4 - 7*r**3/3 + 9*r**2 + 2. Let i be t(-9). Solve 4*k - 16 = -i*k for k.
4
Let b = -7 - -9. Let f = 6 - 6. Let h be (f - 3)*20/(-3). Solve -b*o = 3*o - h for o.
4
Suppose 2*y + 3*y = 4*x - 44, 44 = 3*x - y. Solve 14*v = x*v for v.
0
Suppose -5*s = 4*z - 3*s - 106, 2*s - 10 = 0. Solve -2*l - 16 = -z for l.
4
Let h(m) = -16*m - 81. Let q be h(-6). Solve 0 = 3*u + q - 6 for u.
-3
Let x = 945 + -923. Solve 11*t + 0 = x for t.
2
Let p(f) = 2*f. Let k be p(3). Let m = k + 14. Solve 2*t + 2*t = m for t.
5
Let d be (12/60)/((-1)/(-15)). Solve -15 = d*g - 8*g for g.
3
Suppose -3*g = -5*a - 375, -2*g - 3*a = -0*g - 250. Suppose -31*b + 36*b = g. Solve 6*k + b = k for k.
-5
Let c = -19 + 35. Suppose -b = -2*b + c. Solve -a - b = 3*a for a.
-4
Let c be -6 - ((-2)/4)/(3/390). Solve 0 = 11*k + c - 4 for k.
-5
Suppose -4*a + 0*a = -2*h + 8, -2*h - a + 8 = 0. Suppose -y = 4*y - 5*b - 125, -b = h*y - 105. Let m = y + -24. Solve -5*u = 27 - m for u.
-5
Let d be ((-60)/(-18))/(6/9). Suppose -x + 6 = 4*f - f, -d*f + 5*x + 10 = 0. Solve -2*o + f = -o for o.
2
Let b(x) = 17*x**2 + 3*x + 4. Let t be b(-1). Let n = 43 - t. Solve n = 2*w + 3*w for w.
5
Let h = 16 - 12. Let c be 3 - (-1 + -3)/h. Solve 0*y - 20 = c*y for y.
-5
Suppose -f - w = -3*w - 21, -45 = -5*f - 2*w. Solve 0 = 10*g - f*g - 1 for g.
-1
Let x(d) = 3*d - 9. Let b be x(8). Let i(g) = g - 2. Let n be i(5). Suppose 38 = u + 38. Solve n*l - 6 + b = u for l.
-3
Suppose -g - 5*g = g. Let d be -1*(0/(-5) - g). Solve 10 + d = 5*l for l.
2
Suppose 3*m + 0 = 6. Suppose -58 = 2*p + x, -2*x + 4 = -0*x. Let j be (-9)/(189/p)*7. Solve -m*o = -0 - j for o.
5
Suppose -d + 5 + 4 = 0. Suppose d*l - 11*l = 8. Let g(c) = -c**3 - 3*c**2 + c + 8. Let o be g(l). Solve 10*s - 5*s + o = 0 for s.
-4
Suppose -2*f = -0*f. Let i(p) = p - 3. Let b be i(5). Suppose -8 = -b*m, 4*m = -3*r - 0*r + 16. Solve f*l - 3*l = r for l.
0
Let l be (-2)/(-4)*45 + (-174)/116. Solve 0 - l = 7*q for q.
-3
Let f(z) = 67*z**2 + 2*z + 1. Let t be f(-1). Let b = 42 - t. Let c = 24 + b. Solve s - 4*s = c for s.
0
Let v(k) = k**3 + 4*k**2 - 9*k + 40. Let j be v(-5). Solve -9*a - j = -24 for a.
-4
Suppose 0 = 3*g - 0*g - 15. Let x(o) = o - 2. Let h be x(g). Suppose 3*m - 1 = 20. Solve 0 = m*u - h*u + 16 for u.
-4
Suppose -4*v + 34 = -2*d - 3*d, v + 3*d = 0. Suppose 5*r + 0*r - 20 = 0. Solve v*u - r*u = -2 for u.
-1
Suppose -7 = -5*f + 3. Suppose -r + f*k = -5, k + k + 8 = 2*r. Let t be 13 - -4*(-21)/(-12). Solve -t = a + r*a for a.
-5
Let a(o) = -7*o + 240. Let c be a(32). Solve 0*d + c = -4*d for d.
-4
Suppose -39 = -6*t - 9. Let h = 25 - 22. Solve t*d - h = 7 for d.
2
Suppose -5*q + 6*q - 4 = 0. Suppose -2 - 9 = -b + 5*w, -4 = q*w. Solve s - b + 1 = 0 for s.
5
Let t = 16 + -11. Let f = 840 - 832. Let l = 2 + 1. Solve -t*d - l = -f for d.
1
Let k be -1 - (-7 + 4 + -3). Let l = k + -5. Solve v = -l*v - 4 for v.
-4
Let x be (1 - 0)/((-8)/24). Suppose 0 = 8*v - v. Let f be -2 - x - (1 - v). Solve f*d - 2 = d for d.
-2
Let d(k) be the third derivative of k**6/120 - k**5/30 - k**4/8 - 5*k**3/6 - 13*k**2. Let r be d(4). Suppose -3*q - 6 = -r. Solve -m - q*m = 4 for m.
-1
Let u(k) = -k**2 - 5*k - 6. Let j be u(-5). Let v = 16 + j. Suppose 2*r - 20 = -5*h - 3*r, 2*r + v = 4*h. Solve -2 = 2*w - h*w for w.
2
Let y(v) = -v**2 + 40*v + 9. Let k be y(40). Solve -k*j - 1 = 17 for j.
-2
Let f(c) = 2*c**2 + 7*c + 2. Let q be f(-4). Let s(v) = -v**2 + 3*v + 22. Let k be s(q). Solve 0 = 5*p - 29 + k for p.
5
Suppose -3*j = j + 5*u + 13, -4*j = -3*u + 5. Let m be j + 1 - 0 - -6. Let w be (11/(-7) - 1