e 0 = -4*b - 0 - f for b.
-5
Let r = -11 + 25. Let d be r - (2 + (-1 - -1)). Suppose 0*a = 4*a - 4*i + d, i + 3 = 4*a. Solve a*n = -2*n for n.
0
Let v(m) = m**2 + 7*m - 8. Suppose -5*n + 0*n = 40. Let b be v(n). Let l be (2*-2)/(4/(-6)). Solve b*y = -3*y + l for y.
2
Suppose -i - 2 = -2*a - 13, -5*a = -2*i + 27. Let f be i + 2 - (3 + -1). Solve f - 4 = 3*s for s.
-1
Let k = 25 - 18. Solve 4*n - 13 - k = 0 for n.
5
Suppose 5*y - 4 = 6. Suppose -2 = y*h - 6. Solve t - 5 + h = 0 for t.
3
Let k be -1 + 3 - 2 - 0. Let w be k + (153/3)/3. Suppose -2*r - 1 = 3*n - r, 3*n = -5*r - w. Solve t - 6 = -n for t.
5
Let n(y) = -10*y - 24. Let c be n(-4). Solve -5*m + m = c for m.
-4
Let u(m) = -m**2 - 12*m - 34. Let l be u(-6). Solve 0 = -l*o - 2 - 4 for o.
-3
Suppose -11 = -3*l + y, 5*l + 0*l + 4*y + 10 = 0. Let u(a) = 4*a + a**3 + 0 + 2 + 4*a**2 - l*a. Let z be u(-3). Solve -3*b + 2*b = z for b.
-5
Suppose 2*t = -u - 1, u = -u - 10. Solve 0 = -t*b + b for b.
0
Suppose 2 = -4*g + 10. Let l = 3 + -2. Let p = l - -1. Solve g*v - v = -p for v.
-2
Let y be -1 + -2*1/(-2). Suppose 2*u + 3*i - 6 = 7, y = -5*u + i + 7. Solve -7*v = -u*v + 10 for v.
-2
Suppose 0 = -4*o + 7*o + 12. Let g(f) = f**2 + 5*f + 6. Let w be g(o). Solve -2*b - 10 = -w for b.
-4
Let f = 4 + -3. Let n be (1 + f)/((-1)/(-2)). Solve n*h + 4 = -4 for h.
-2
Let m be 1*(-1 + 0)*-4. Suppose -3*o - 2 = -m*o. Solve 4*h - o*h = 0 for h.
0
Let m(j) = j**2 + 3*j - 4. Let s be m(-5). Solve s*g - 2*g = 0 for g.
0
Let p(t) = -t**2 - 13*t - 9. Let q be p(-12). Solve -a = q*a for a.
0
Let p be (-1 - (-9)/7) + (-12)/(-7). Solve w - p = 3*w for w.
-1
Suppose 5*f + 70 = 5*r - 3*r, -r - 14 = f. Let q be 1*2*(-7)/f. Solve -2*a + q = 3 for a.
-1
Suppose 4*u + 4 = -2*y, -2*u - 2*u - 6 = 3*y. Let g = 0 + u. Suppose 3*r - 15 = -g*r. Solve 0 = -3*n + 8*n - r for n.
1
Let b be 0/(-1)*(-2 - -3). Solve b = 5*n - 1 + 16 for n.
-3
Let c(z) = 1 - 3*z + z - 15 + 6. Let t be c(-4). Solve 0 = 2*m - t*m for m.
0
Let y(q) = -2*q + 1. Let v be y(-1). Let r be ((-4)/6)/(1/v). Let s be (2 - 3)*(r + -1). Solve -s*i + 14 = -1 for i.
5
Let v be (1 - (-4)/(-2))*-5. Suppose j + b - 3 = -1, v*b - 10 = -j. Suppose j*w + 8 = 4*w - 2*m, m - 11 = -3*w. Solve -5*y + w*y = 0 for y.
0
Let u(x) = 6*x + 6. Let b be u(-1). Solve b = m - 0*m for m.
0
Let h(r) = -r**2 - 4*r - 4. Let t be h(4). Let s be ((-4)/(-12))/((-3)/t). Suppose -3*b = -k + b + 20, -2*k + 44 = -4*b. Solve 4 - k = s*j for j.
-5
Suppose -2*p + 4 = 16. Let y be (-3)/p - 10/4. Let a be (-13)/y - 4/8. Solve 5*l - a = -31 for l.
-5
Suppose -4*u = 2*p, u = 3*p - 1 + 8. Let i = 4 + p. Let o(z) = -z - 1. Let y be o(-4). Solve y*w - 1 = i*w for w.
1
Let q be ((-45)/10 + 4)*(-5 + 1). Solve -q*c = c - 6 for c.
2
Let z be 5/20 + 1/(-4). Solve z = 5*v - 7 + 22 for v.
-3
Let s(t) = t**2 - 5*t + 3. Let z be (-6)/(1 - (-15)/(-6)). Suppose -12 = z*o - 32. Let m be s(o). Solve 0 = -6*x + 3*x - m for x.
-1
Let o be 10 - (-3)/(6/(-2)). Let b be 43/o - (-8)/36. Solve -3*z - 2*z = -b for z.
1
Let v be -4*4*2/(-4). Solve 13*c - v*c - 15 = 0 for c.
3
Suppose -2*a - 4*i + 4 = -18, 14 = -2*a + 5*i. Let r(p) = -p**3 - 6*p**2 + 2. Let o be r(-6). Solve o*g + a = -7 for g.
-5
Suppose 5*d = -4*d. Solve 4*b = -d*b for b.
0
Let p be (124/28 - 5)/(4/(-14)). Solve 1 = -p*x - 9 for x.
-5
Let h(b) = b - 4. Let a(o) = o - 4. Let m(f) = -5*a(f) + 6*h(f). Let x be m(13). Solve s = 4*s - x for s.
3
Let y(p) = p**3 + p + 3*p**2 - 5 + 2 - 3*p. Let s be y(-2). Let k(m) = -m**2 + 15*m - 7. Let n be k(14). Solve -n*u = -2*u + s for u.
-1
Suppose 32 = 7*d + 11. Solve -3*f - d = -2*f for f.
-3
Let r = -3 - -10. Suppose 4*v + 20 = -5*d, -2*d + 5*v - r = -32. Suppose -5 = -5*m, p - 3*m + 8*m - 7 = 0. Solve d = p*x - 4*x for x.
0
Suppose 2*u - f + 5 = 14, -u + 17 = -3*f. Suppose -3*o = u*o + 20. Let s = o + 6. Solve 1 = s*m - 1 for m.
1
Let t be 2*2/(1 + -3). Let x be (t/3)/(2/(-6)). Solve -x = -m - 6 for m.
-4
Suppose -10 - 7 = 3*w + 5*d, 5*w = 5*d + 25. Solve w + 3 = 4*x for x.
1
Let i(p) = p**3 + 2*p**2 - 1. Let y = 5 + -3. Let x be i(y). Let w = 8 - 6. Solve -5*k = -w*k + x for k.
-5
Suppose 4*j = -5*n + 44, j - 2*n = 3*n + 11. Suppose -1 + j = 2*k. Solve 2*b = 3*b - k for b.
5
Suppose 2*q - 2*w - 4 = 0, 4*q + 4*w - 8 = -0*w. Suppose -3*z - 3*y = 2*z + 19, 8 = -z - q*y. Let i be 2/4 - 11/z. Solve 5*c = 2*c + i for c.
2
Let f = 7 - 5. Solve -f*k = -3*k for k.
0
Suppose 6*q - 39 = 3. Let x(f) = -f + 7. Let k be x(6). Solve q - k = 3*w for w.
2
Suppose z - 5*z + 104 = 0. Let u = z - 13. Solve 12 + u = 5*h for h.
5
Let o(s) = -s**3 + 3*s**2 + 4. Let a be o(3). Let z = 110 - 108. Solve -a*h + z = 18 for h.
-4
Let l be (6/(-5))/((-4)/10). Let r(v) = 3*v**2 + 4*v. Let i be r(l). Suppose 5*q = -9 + i. Solve -1 + q = b for b.
5
Let g = 4 - -1. Let s = 14 - 9. Suppose 3*k - 2*r = -0*k, -s*k = -r - 7. Solve -g*j + k + 3 = 0 for j.
1
Let b = -4 + 6. Suppose b = 2*a - a. Suppose -56 = -4*x + 2*d, -2*d + 0*d = -x + 20. Solve 5*g + a = x for g.
2
Let v(g) = g**2 + 11*g + 8. Let x be v(-9). Let c = x - -14. Solve -3*f + 2*f + c = 0 for f.
4
Let s(m) = -m**3 - 3*m**2 + 3. Let n be s(-3). Solve -4 + 7 = n*g for g.
1
Let q(h) be the third derivative of 0*h + 1/6*h**3 + 1/60*h**5 + 0 - h**2 - 1/8*h**4. Let x be q(4). Solve 6 = o + x for o.
1
Let w be 3/(-7) - (-2996)/(-98). Suppose -80 = 3*g + 2*g. Let r = g - w. Solve 5*c = -0*c - r for c.
-3
Suppose c + 5 = 3*s, -s - 4*c = -0*s - 19. Let d be -2 + 1*(-1 - -2). Let w = s + d. Solve f = -w - 1 for f.
-3
Let w be 2/(-8) - ((-126)/24 - -1). Solve -w = r + 3*r for r.
-1
Let b = 37 + -33. Solve -b*l = l + 10 for l.
-2
Let j(p) = p**3 - 6*p**2 + 4*p - 3. Let f be j(6). Let y(q) = -q**3 - q**2 + q + 2. Let m be y(2). Let b(w) = -2*w - 11. Let i be b(m). Solve 1 - f = i*r for r.
-4
Let t(p) = -3 - 6*p**2 - 9*p + 5*p**2 + 3*p. Let a be t(-4). Suppose 18 = a*d - 2*d. Solve -3*o + 9 = -d*o for o.
-3
Let t be (21 - 0)*(-2)/6. Let o be (-2 + 0)*15/6. Let y = o - t. Solve 3 = y*x - 7 for x.
5
Let j be (-1)/((12/(-15))/4). Suppose 0 = k, 5*k = -4*i + j + 15. Suppose 0 = -i*t - 0*t. Solve -3*c + 3 + 3 = t for c.
2
Suppose -222 = -5*d + 123. Suppose -s + z = -d, -5*z + 54 = s - 3*z. Suppose 2*x - s = -5*j, -3*x - 73 = -5*j - 2*x. Solve -3*i - 5 = -j for i.
3
Let c(x) = x - 3. Let f be c(2). Let s be 3/(1/(-4)*-6). Let i = s - f. Solve 4*a = a + i for a.
1
Let z(v) = -v**3 + 5*v**2 + 8*v + 5. Let u be z(6). Suppose u - 1 = 2*k. Solve b = -b + k for b.
4
Suppose 0 = -w + 3 - 1. Suppose -c + w*d - d - 2 = 0, -3*c - 3*d = -24. Suppose 0 = -c*q + 1 + 11. Solve 0*l = -4*l + q for l.
1
Let d(n) = 2*n + 4. Let b be d(8). Let l be 2/(-5) + 8/b. Solve l*y + 20 = 5*y for y.
4
Let c be (-4)/((-4)/3)*1. Let a = 21 + -20. Let n(i) = -i**2 + 4*i + 2. Let p be n(4). Solve c*z - a = p*z for z.
1
Let a(k) = -k**3 - 6*k**2 + 7. Let u be a(-6). Solve g + u - 3 = 0 for g.
-4
Let h be -1 + (-3)/(-6)*6. Suppose -3*w = h*w - 10. Solve p = -0*p - w for p.
-2
Let u(w) = -8*w. Let q be u(0). Solve -3*y = -q - 3 for y.
1
Let j be 2/((-2)/(4 - 6)). Solve g + 0 = -j for g.
-2
Suppose 2*x = 4*x. Solve 3 + x = 3*r for r.
1
Let g(v) = v - 1. Let m = 17 + -12. Let h = -2 + m. Let a be g(h). Solve -8 - a = -2*u for u.
5
Let r be 2*(-3)/12*-6. Suppose -k + 8 = r. Solve -k*w = -11 - 14 for w.
5
Let s be 2 - (6/(-3) + 64). Let h be 15/s + 18/8. Solve -2*y = h*y - 20 for y.
5
Suppose 0 = -12*g + g + 11. Solve 0 = -f - 2 - g for f.
-3
Suppose l - 32 = -3*l. Let q = -6 + l. Solve q = -v - 1 for v.
-3
Suppose -4*t = 4, -5 = 4*h + 3*t + 2*t. Suppose 0 = 2*g - 1 - 3. Solve p + h*p = g for p.
2
Suppose 5*w - 24 = 1. Let v = 3 + -2. Suppose 2*j = w - v. Solve 3 = j*t + t for t.
1
Suppose 4*a - 2*a - 4*z = 6, a + 3*z = 8. Suppose 4*k + a*t - 105 = -k, 2*k = 2*t + 50. Suppose -4*o - k + 83 = 0. Solve -y - o = -6*y for y.
3
Let q be (-1 - -3)*9/6. Let p be -3 - (-58 + 9/q). Let a = -27 + p. Solve -4*f = -9*f - a for f.
-5
Suppose 2*j = 3 - 1. Let d(v) be the first derivative of v**4/2 + v**2/2 + 3. Let n be d(j). Solve -6 = t - n for t.
-3
Suppose 4*i + 4*p + 20 = 0, 2*i - 4*p + 0 = -4. Let w be (7/(-21))/((-1)/6). Let x be (w/3)/(i/(-6)). Solve 3*z = -4 + x for z.
-1
Suppose -2 = 5*x + 3, 3*t - 3*x = 18. Solve 0 = t*l + 1 - 11 for l.
2
Let s(p) = -p**3