 Let u be l(j). Solve 2*f + u = 2 for f.
1
Let m be 81/18*4/6. Solve -m = 2*s + 5 for s.
-4
Suppose 4*b - 3 = 5. Let f be (-4 + 42/9)*18. Suppose d + 3*d + f = -2*g, 2*d + 12 = b*g. Solve -g*r - 1 = 1 for r.
-1
Let d be (-1)/(1 - (2 - 0)). Solve 0 = 4*a + 17 - d for a.
-4
Let g = -27 + 34. Suppose 5*v = 15, -2*i - 2*i - 4*v + 8 = 0. Let r = g + i. Solve 0 = -r*q + q for q.
0
Suppose 4*f = d + 4*d + 16, 2*d + 12 = -4*f. Let k be 3*d/6 - -17. Solve 2*n + 3*n = k for n.
3
Let g be (0 - 24/(-18))/((-4)/(-6)). Solve -g*z - 12 = -2 for z.
-5
Let w(r) = r**3 + 4*r**2 + r + 3. Let q be w(-4). Let s = q + 1. Suppose -4*b + 0*b + 3*h = -12, s = -5*b - 3*h + 15. Solve 0 = -4*f + b*f for f.
0
Let z(h) be the first derivative of h**5/120 + 3*h**4/8 + h**3/3 + 2. Let d(v) be the third derivative of z(v). Let w be d(-7). Solve -m = w*m for m.
0
Let n(w) be the first derivative of 1/2*w**2 + 4*w - 4. Let u be n(-3). Solve -3 = -2*t + u for t.
2
Suppose -5*x + 2*k + 20 + 21 = 0, 49 = 5*x + 2*k. Let q be (x + -7)*(-3)/(-2). Suppose -2*p = -3*y - 0*p + 21, 2*y - 19 = 3*p. Solve y = 2*i + q*i for i.
1
Let n be 3/18*13 - (-8)/(-48). Solve 2*t = -0*t + n for t.
1
Let a be 1*2/((-4)/(-6)). Let i = 2 + -2. Let n be 50/30 + (-1)/(-3). Solve -n*o + a*o - 2 = i for o.
2
Let q(c) = 2*c - 21. Let f be q(18). Let l be (0 - -1)*(-5)/(-1). Solve l*w - f = -0*w for w.
3
Let t be (-3)/(-12) - 11/(-4). Let j = 7 - t. Solve -h + 7 = j for h.
3
Suppose 2*w = -w. Suppose w = z + z. Let a = 1 - z. Solve 0*k + a = -k for k.
-1
Suppose -14 = y + 5*r - 3*r, 3*r + 35 = -5*y. Let z be 1 + -1 - (y + 2). Suppose -3*u + 3*q + 6 = 0, z*u + 2*q = -0*q + 8. Solve -t + 0 = -u for t.
3
Let h be (24/14 - 2) + (-2)/(-7). Solve -c = -h*c for c.
0
Let c(l) = l - 2. Let b be c(7). Suppose f = b*f. Solve f = -6*d + 2*d for d.
0
Suppose -3 = 2*f - 5*f. Let j = 3 - f. Solve 0 = -2*k - 8 + j for k.
-3
Suppose 0*o + o = 4. Let f be (-2)/(-4) + 38/o. Suppose -f = -3*r + r. Solve -2 = 4*p - r*p for p.
2
Let r be (-1)/(3/(-9)*1). Suppose -2*y + 5*d = -r + 18, -3*d = -15. Suppose -4*s + 7 = y*g - 5, 5*g = -2*s + 6. Solve -5*w + s = -2*w for w.
1
Let t(l) be the second derivative of -l**5/20 - l**2/2 + l. Let k be t(-1). Solve k = 4*d + 14 + 6 for d.
-5
Let j be 6/(-8) + (4 - 120/(-32)). Solve 0 = 9*h - j*h + 4 for h.
-2
Let b(a) = 2*a - 10. Suppose 30 = 5*k - 5*z, -5 = -5*z - 0*z. Let d be b(k). Let t be (-63)/(-6) - 2/d. Solve -3*h - 2*h = t for h.
-2
Let d(r) = -r**3 - 15*r**2 - 14*r + 16. Let w be d(-14). Let s be -2 + w + -4 - 1. Solve 3*h = -0*h + s for h.
3
Let a(o) = o**3 + 4*o**2 - 6*o - 3. Let p be a(-5). Let c be ((-6)/9)/((-4)/42). Solve -p*b + c*b = 0 for b.
0
Let a be 0 + ((-22)/(-77) - 2/7). Solve -2*z + a*z = -8 for z.
4
Suppose 1 = 2*r + 3*f + 4, 1 = -r - f. Solve r = s + 3*s + 8 for s.
-2
Suppose -y + 0*y + q = -1, -4*y + 3 = -5*q. Solve -v = y - 7 for v.
5
Let m(r) = r - 4. Let a be m(3). Let x be (2 - 4*1) + 1. Let l = a - x. Solve -t = -l*t + 4 for t.
-4
Suppose 4 = 3*o - 4*j, -3*j - 1 - 2 = 2*o. Solve 5*n - 1 + 6 = o for n.
-1
Let v be (-21 + 17)*2/(-4). Solve i + 7 = v for i.
-5
Suppose 32 + 17 = 7*p. Solve -15 = -4*k + p*k for k.
-5
Let y(f) = -3*f. Let m be y(-5). Let g be 6/(-9)*m/(-10). Let l(b) = b**2 + 7*b + 8. Let z be l(-6). Solve -z = j + g for j.
-3
Let k(o) = -o**2 + 3*o + 3. Suppose -4 = -v - 1. Let x be k(v). Solve -5*d - x = -2*d for d.
-1
Let a be 1/((2/(-21))/(-2)). Suppose 61 - a = 2*t. Suppose -b + 5*j + t = 0, 3*b - 2*j = -b + 8. Solve i + 1 = -b for i.
-1
Let o be 3*(-2)/(-3)*2. Suppose -3*j = -w + 4, 0 = -0*w + o*w - 5*j - 2. Let c be w/(-1*4)*2. Solve 0 = d + 4 - c for d.
-3
Suppose -5*u + 25 = 5*j, 4 = 2*u - 3*j + 2*j. Solve -4*x + u = -17 for x.
5
Let f be ((-10)/6)/(1/(-3)). Let q be 4*(2/(-1))/(-2). Suppose 5*s + 34 = 104. Solve 0 = f*u + s - q for u.
-2
Suppose -5*d = -0*d - 10. Suppose d*v + 8 = 4*v. Solve -c = v*c - 20 for c.
4
Suppose -3*i = i + 4*z - 84, -5*z = i - 17. Let c = i - 18. Solve 0 = 2*o + 8 - c for o.
-2
Suppose -5*q - 27 = -3*z + 3, -28 = -5*z + q. Solve 2*i - z = 3*i for i.
-5
Suppose 3*d - 6 = 2*d. Suppose 0 = m - 2*p + 10, 3*p - 9 = -3*m + d. Solve -r + 3 - 1 = m for r.
2
Let v = 5 + -9. Let n be (-2)/v + 19/2. Suppose n = f - 0*f. Solve 2*t + f + 0 = 0 for t.
-5
Let g = -12 + -6. Let o = -18 - g. Solve o*v = v - 4 for v.
4
Let w(s) = -s**3 + 5*s**2 - 4*s + 2. Let i be w(4). Solve 15 = i*h - 5*h for h.
-5
Let y(j) = -2*j**2 - 25*j - 6. Let b be y(-12). Solve -b*v = -3*v - 15 for v.
5
Let s = -53 - -61. Solve 5*r = s + 12 for r.
4
Let i = 16 + 2. Suppose -o + 3*o + 3*h - i = 0, o = 2*h + 23. Solve -2*r - 3*r = -o for r.
3
Let f = -34 - -50. Let b = 6 + -4. Solve f = b*t + 2*t for t.
4
Let f = 0 + 5. Suppose -l = -c - 3, f - 14 = 4*c - 3*l. Solve c = -3*j - j for j.
0
Let t be (-3 - -6)*(-8)/2. Let g = -11 - t. Let a = 12 + -7. Solve a*q - 19 = g for q.
4
Let h be (3/(3/(-5)))/(-1). Let d = h + -3. Solve -4 = d*i - 4*i for i.
2
Suppose 0 = -a - 2*a. Suppose a = -4*h - 0*h + 20. Suppose -3*j + 3*w + 3 = 0, 5*j = 3*w - h*w + 26. Solve 0*c = j*c for c.
0
Suppose o - 13 = -6. Suppose o = 4*x + j - 10, 0 = -2*x + 5*j - 19. Suppose 1 = -5*q - 3*y, x*y - y + 4 = 0. Solve q = -n + 2*n for n.
1
Let h = -21 - -29. Solve 4*m - 6*m = h for m.
-4
Let x be 2*2*(-3)/6. Let f be (1 + x)*-3 + -1. Solve -4*h = -f*h + 8 for h.
-4
Suppose v - 3*v = 0. Suppose 3*m - 4*m = v. Solve m = 2*t + 3*t for t.
0
Let o(a) = 6*a. Let d be o(1). Let k(c) = -c + 12. Let h be k(0). Suppose -h = -4*s - 0*s. Solve -s*m = -m - d for m.
3
Let s be (4/3 - 1)*6. Let m = 37 + -25. Suppose -4*k = -16, x - s*k + m = 2*x. Solve -c = -x*c for c.
0
Suppose b = -v + 3*v - 18, 0 = -4*v - 2*b + 44. Solve -h = -6*h + v for h.
2
Suppose 4 = -6*v + 8*v. Solve 0*b = v*b for b.
0
Let r be ((-3)/(-7))/((-1)/(-7)). Let i(x) = x**2 + 6*x - 2. Let a be i(-7). Solve a*s = r + 12 for s.
3
Let c = -25 - -38. Solve 0 = -2*n - 5 + c for n.
4
Let c be 2/6*3*-3. Let f be (-5)/c + (-4)/(-12). Solve 2 = 2*w - f for w.
2
Let x(s) = s**2 - s. Let d be ((-9)/(-6))/((-3)/4). Let u be x(d). Solve -y = -2 + u for y.
-4
Let a(c) = -46 - c + 46. Let p be a(-2). Solve 3 = -p*k + 7 for k.
2
Let h(z) = -z + 1. Let u be h(1). Suppose -6*b + 2*b + 24 = 0. Suppose -5*p - 22 + b = i, -4*p = 4*i. Solve u*g = i*g + 16 for g.
-4
Let p(d) = -2*d**3 - d - 1. Let c be p(-1). Let y(j) = j - 5. Let o be y(5). Suppose o = -4*r + 3*r + c. Solve -2*x - 20 = r*x for x.
-5
Let a be 0 + 0 - (-3)/1. Let c(s) = 2 - a - s + 3 - s**2. Let q be c(0). Solve -q*j + j = 0 for j.
0
Let a be (9/(4 - 1))/1. Suppose -a*t + t + 8 = 0. Solve 0 = -5*g + t*g - 5 for g.
-5
Let p(h) = -3*h. Let q = 4 + -3. Suppose -m + q = -2*m. Let k be p(m). Solve -20 = -r - k*r for r.
5
Let z(o) be the second derivative of 1/3*o**3 + 0*o**2 + 1/12*o**4 + o + 0. Let l be z(-3). Solve -3*t = -l - 3 for t.
2
Suppose -10*v + 5*v = -20. Solve v*j = 11 + 9 for j.
5
Suppose -4*w - 13 = f + 2*f, -4*f + 16 = -3*w. Let y be 4 - f*6/(-3). Solve -a + 25 = -y*a for a.
-5
Suppose -u - 1 = 2. Let i be 1 - 4/(-2 - u). Let b be 3/((-1)/8*i). Solve 28 = -4*h + b for h.
-5
Let b = 6 + -4. Suppose -4*m + b*j = 0, 0 = -0*j + 5*j. Solve m*l = -4*l + 4 for l.
1
Let n(w) = -w**3 - 6*w**2 + 8*w + 7. Let f = -13 + 6. Let s be n(f). Suppose -x - 2*g - 1 = -s*g, -x + 5*g + 13 = 0. Solve -3*q - x = 6 for q.
-3
Suppose 0 = -4*y - 38 + 46. Solve -y*n - 3*n = 5 for n.
-1
Let r = -6 - -20. Suppose 4*m - r = 2*m + 4*l, 10 = -5*l. Solve -m*q + q + 6 = 0 for q.
3
Let l = -19 + 23. Solve -6 = l*i - 14 for i.
2
Suppose 5*d - g - 4 = 2*d, 3*d + g = 2. Solve -d = -4*a - 9 for a.
-2
Let h be (-1 - -1)/(-1*2). Let z = -56 + 60. Solve h = -z*j + 1 - 17 for j.
-4
Let r be 6/(-21) + -20*9/(-42). Solve 0 = r*x + 7 + 5 for x.
-3
Let b be (-1)/5 + (-54)/30. Let a(p) = -3*p - 2. Let s be a(b). Solve 0 = s*w + w for w.
0
Suppose 0*u = -u - 2*d + 5, 4*u - 5*d = 20. Suppose -10 = -u*m + 5. Solve -m*n - 12 = n for n.
-3
Suppose 2*x = 3*b - 0*x - 46, 3*b + 5*x = 53. Suppose 5*h - 14 = -2*f + b, 3*h + 4*f - 32 = 0. Suppose 0 = -2*y - h*m, 12 = 5*y + m + 3. Solve -d - y = d for d.
-1
Suppose y + 0*y - 2*a + 1 = 0, -5*a = -2*y - 5. Suppose 5*f + 3*t - 18 = 0, -y*f + 4 = -3*f - 2*t. Solve -f = 4*p - 7 for p.
1
Let n = 30