) - (0 + -3). Suppose 3*p - 3*h - 24 = 0, -3*h - 4 = 3*p - 2*p. Solve 3*t - p*t = -a for t.
3
Let c = -141 - -148. Solve -5*g = -c - 3 for g.
2
Suppose -20 = -5*v + 10. Suppose 0 = -z - 0*z + 3. Solve 0 = z*n - v*n + 9 for n.
3
Let z(t) be the third derivative of t**5/60 + t**4/2 - 7*t**3/6 + 7*t**2. Let f be z(-13). Solve -3*y = f + 9 for y.
-5
Suppose 12 = 3*l - 0*l. Suppose 8 = v - 3*v, l*n - 8 = -4*v. Suppose -3*u + 42 = n. Solve 0*y = 4*y - u for y.
3
Let f(q) = q + 34. Let l be f(0). Let h = -61 + l. Let c be (-4)/(-18) + (-156)/h. Solve -4*i = -2*i + c for i.
-3
Let h(w) = w**3 - 2*w**2 + w - 1. Let j be h(2). Let d(c) = 2*c. Let s be d(1). Suppose q = -s + 4. Solve q*x - 9 = -j for x.
4
Suppose -36 = -0*v - v. Let i be 8/6*v/8. Let s(k) = k - 6. Let p be s(i). Solve p = m + 3*m for m.
0
Let q = -102 - -104. Solve 7*s - q = 8*s for s.
-2
Let r be 26/10 - 18/(-45). Solve 9 = -r*n - 3 for n.
-4
Let r be -3 + 3 + 12/3. Solve -10 = -r*y - y for y.
2
Let z be ((-1)/(-3))/((-3)/(-9)). Let a be (-1)/(1 + (-1)/2). Let k be -2 + 4 + (-4 - a). Solve z = -k*v - v for v.
-1
Let j be 9*((-25)/15 + 2). Solve j*u + 2 = u for u.
-1
Let d be -1*2 - (3 - 10). Solve d + 0 = -5*q for q.
-1
Suppose -i = z - 0*i - 60, 4*z - 246 = -2*i. Let w be (-27)/z + 3/7. Solve w = 3*m - 5*m - 6 for m.
-3
Let l be 1*(4 + 2/(-2)). Suppose 0 = -l*q + 2*h + 16, 5*q + 6*h - 33 = 3*h. Let p(f) = -f + 12. Let o be p(q). Solve -o = 4*k + 10 for k.
-4
Suppose -5*u - 5 = -5*q, 5*u - 7 = 4*u - q. Solve -2*a + u = -3 for a.
3
Suppose -6 = -2*i, -u + 2*u = -i + 5. Solve u*a - 4 = -2*a for a.
1
Let b be -5*2/(-2) + -1. Suppose 5*i = b*g - 36, 16 = -3*i - i. Solve 0 = -3*m - 5 - g for m.
-3
Let k(n) = -n**3 - 7*n**2 - 6*n + 3. Let h(l) = l**3 - l**2 + 4. Let a be h(0). Suppose -2 = z + a. Let s be k(z). Solve s*i + 5 = -1 for i.
-2
Suppose 0 = -2*n + 5*g - 16, 3 - 11 = -2*g. Solve n*b + 0 = 4 for b.
2
Let d = 15 + -10. Solve 2*g = 7*g + d for g.
-1
Let r(l) = -2*l - 3. Let x be r(-4). Suppose -3*u + 7 = -x. Let q(f) = -f**2 + 5*f - 1. Let d be q(u). Solve j + d = 4*j for j.
1
Let p(u) = u**2 + 4*u - 7. Let f be p(-7). Let t = f - 11. Solve -3 = -t*l + 3 for l.
2
Let b(u) be the third derivative of u**4/24 + 4*u**3/3 - u**2. Let o be b(-8). Suppose o = -s + 6*s. Solve 0 = x - s*x - 1 for x.
1
Suppose 4*t + 32 = -8. Let d(x) = x - 6. Let l be d(0). Let i = l - t. Solve 0 = -i*b - 2 + 18 for b.
4
Let f be (4 + 0)*(-20 + 21). Suppose 3*z - c = 39, -c = -f*c. Solve 4*v = 3 + z for v.
4
Suppose -6 = -9*r + 8*r. Solve -s - 5 = -r*s for s.
1
Let n be 5*((-1)/(-5) - -1). Suppose n = 2*w - 0. Solve u = -w*u for u.
0
Suppose c + 5*m = -c + 46, 3*m + 78 = 2*c. Solve -c + 8 = -5*i for i.
5
Let a be ((-8)/20)/(1/(-90)). Let c = -22 + a. Solve 1 = -5*w - c for w.
-3
Let c = 171 - 169. Solve k - 5 + c = 0 for k.
3
Let z(t) = -t + 3. Let r be z(1). Solve -r*l = 3*l - 10 for l.
2
Suppose 5*t - 6 = 4. Let w be 4 - (1 - t/(-2)). Let u be (5/w - 3)*0. Solve c = -u*c for c.
0
Suppose -8 = -j + 1. Let m = j + 7. Solve m = -5*v - 9 for v.
-5
Let o be 0*(-4)/4*-1. Suppose o*v + 2 = 2*v. Solve -t - 3 = -v for t.
-2
Let w(g) = 2*g**2 + 11*g + 18. Let h be w(-2). Solve -4 + 16 = h*q for q.
3
Let b be 4*(-2)/12*(-18)/4. Solve b = -3*w - 6 for w.
-3
Suppose 0 = 3*m - 2 - 13. Suppose 5*v = m + 15. Solve -v*d + 1 = -11 for d.
3
Suppose -21 = 5*c + 5*s - 86, -s = -3. Solve -g = g + c for g.
-5
Suppose -2*u - 5 = -3*u. Solve 0 = -r - u + 6 for r.
1
Let b be (-3)/(-1)*(-6)/(-18). Suppose -5 = -2*p - b. Solve x = -p*x - 15 for x.
-5
Suppose 0*h = -4*h. Let v be -2 + -9*(-1 + h). Suppose -v - 5 = -2*g. Solve -i = -g*i + 25 for i.
5
Let d(g) = g. Let y(q) = -q**3 + q**2 + 3*q - 2. Let w be y(2). Let k be d(w). Solve k*x - 12 = 3*x for x.
-4
Let f = -17 + 24. Suppose -5 = -4*n + f. Solve 10 - 1 = n*x for x.
3
Let u = -44 + 44. Suppose 4*z = 17 - 1. Let r = z + u. Solve -1 = 3*g - r for g.
1
Let i(k) = k - 8. Let h be i(11). Let l be (h + (-21)/9)*-3. Let j = 2 + l. Solve j = x + x - 2 for x.
1
Let a(m) = m**2 - 12*m + 3. Let n be a(12). Solve 0 = -7*x + n*x for x.
0
Let p = -50 - -54. Solve -2*i - p = -6 for i.
1
Let d = -101 + 103. Solve -r - d = -0 for r.
-2
Let p(f) = f**2 - 10*f - 6. Let i be p(9). Let z = 23 + i. Solve z = -4*q - 4 for q.
-3
Let x(w) = -w**3 - 3*w**2 - 2*w - 2. Let m be x(-3). Suppose 0*a = -3*h - m*a - 7, -4*a = -h + 19. Suppose 0 = -d - h + 7. Solve -n - d*n = 0 for n.
0
Suppose -20 = -5*d + 5*t, 12 = -2*d + 4*d - 4*t. Let v be 3/(d + 2 + -3). Suppose 3*x - 3 = v. Solve -x*h = -0*h for h.
0
Let w(j) = j**2 - j - 1. Let i be w(2). Suppose 0 = 3*l + 5*q - 11, 2*q = 3*l - 5 + i. Solve 0 = t + l - 3 for t.
1
Let x(w) = -5*w**2 - 8*w + 1. Let p(g) = -3*g**2 - 4*g. Let m(y) = -7*p(y) + 4*x(y). Suppose -d + 2 = -2. Let i be m(d). Solve 0*l = -i*l + 8 for l.
2
Suppose 3*v + 28 = 10*v. Let n(c) = c**2 - c - 4. Let p be n(0). Let l = p + v. Solve -3*f + l*f = -3 for f.
1
Suppose -o = -4*p - 7, 0*o - 11 = -p - 4*o. Let f be p - (12/(-3) - 0). Suppose -2*w - 3 - 17 = -5*v, -f*w - 9 = 3*v. Solve v*q + 15 = -q for q.
-5
Suppose 3*g + 0*g - 6 = 0. Let w = g + 1. Solve 4*z + 5 + w = 0 for z.
-2
Suppose -7 + 28 = 7*i. Suppose i*x - 5*x + 4 = 0. Solve -x*m - 2*m - 12 = 0 for m.
-3
Let l(o) = 7*o**2 + o. Let s be l(-1). Solve 0 = -4*w - s + 14 for w.
2
Suppose 2*u = 1 + 5. Suppose 1 + u = 2*z. Solve -3*d - z + 5 = 0 for d.
1
Let l = 19 + -17. Let b be 90/27 + l/3. Solve -4 = 4*g + b for g.
-2
Suppose 2*i = 5*u + 14, 4*u + 4 = i - 6. Solve i = 3*p - 4 for p.
2
Let v be 0/(2 - 0/(-2)). Suppose 8 = 2*b + 3*y, v = b + y - 2 - 2. Solve -m + b*m - 9 = 0 for m.
3
Let u = 3 + -2. Suppose 5*s - 24 = u. Let x = -3 + s. Solve 7*c - x*c = 0 for c.
0
Let w be -1*(1 + -1)/(-1). Let x(a) = -a**2 - 10*a + 4. Let z(f) = -f**2 - 11*f + 4. Let i(b) = 7*x(b) - 6*z(b). Let q be i(-4). Solve w*t + q = -4*t for t.
-1
Suppose -f + 12 = 7*r - 3*r, -4*f - 9 = -3*r. Solve -3*p + 0*p = f for p.
0
Let n(b) = -b**3 - 4*b**2 + 3*b + 5. Let z be n(-5). Solve m - 4*m = -z for m.
5
Let a = 12 + -10. Solve 0 = -a*p + 4*p - 8 for p.
4
Let s(r) = r + 10. Let i(w) = w**3 - 10*w**2 - 2*w + 14. Let a be i(10). Let l be s(a). Solve 2*h + 2 = l*h for h.
1
Suppose l + 1 = 2*l. Suppose l + 5 = 2*b. Solve -a - b*a = -12 for a.
3
Let t = -11 - -14. Solve t*w = w for w.
0
Suppose 4 = 8*n - 4*n - 2*g, -2*g = -5*n + 6. Let z be 1/1*1 + 14. Let k be ((-12)/5)/((-6)/z). Solve n = b + k for b.
-4
Suppose -27 = -3*c - 3*v, 5*v = -3*c + 3*v + 22. Suppose 0 = c*x - 2*d + 5*d - 98, -x - 2*d + 22 = 0. Let t be 10/15 + x/6. Solve -t = 5*k + 5 for k.
-2
Suppose -27 = -3*b - 3*r, -3*b - r = 2*b - 33. Solve -y - b = y for y.
-3
Let n be -2*2*-2 - 2. Let r = 2 - 0. Suppose n*j - 8 = r*j. Solve 0 = -j*g - g + 9 for g.
3
Let c = 1 - -1. Let h = 4 + c. Solve 16 = h*n - 2*n for n.
4
Let l(j) = -2*j**2 - 20*j - 10. Let q be l(-9). Suppose a + q = 5*a. Solve -y = -0*y - a for y.
2
Let u = 20 - 20. Solve u*w = -4*w - 4 for w.
-1
Let u = -133 - -138. Solve -5*x + 15 = u for x.
2
Let t(g) be the first derivative of -g**2/2 + 3*g + 3. Let m be t(2). Solve u = m - 5 for u.
-4
Suppose -2*q - q = 39. Let g be (2 - 3 - q) + 3. Solve -5*o + 0*o = -g for o.
3
Let n = 3 + -1. Suppose 3*o = -6, 3 + n = -w - 3*o. Let q be w/(8/(-10) - -1). Solve -q*p - 5 = 10 for p.
-3
Let w(u) be the first derivative of 12*u + 5*u**2 + 10/3*u**3 + 1/4*u**4 - 4. Let m be w(-9). Solve n + 1 = m for n.
2
Let r(a) = a**2 + a - 1. Let h(w) = 3*w**2 + 8*w - 4. Let d(f) = h(f) - 2*r(f). Let o be d(-6). Let z be (-4)/o - (-5 + 2). Solve z*v = 5 + 15 for v.
4
Suppose -3*b = 7 + 32. Let s(l) = -l**2 - 14*l - 8. Let x be s(b). Solve -7 = -x*y - 22 for y.
-3
Suppose -q - 6 = -1, -4*n - 2*q = -14. Solve -n - 3 = -3*c for c.
3
Suppose -12*g = -10*g - 8. Solve 0 = -2*i - 0*i + g for i.
2
Let m = -2 + 4. Let h = 0 + m. Suppose -4*a - q + 4*q + 20 = 0, h = 5*a + 2*q. Solve -1 = w - a*w for w.
1
Suppose 2 = 3*i - 7. Let g be (3 + 0)/(i/2). Suppose -d + 5*d = 0. Solve -5*s + g*s = d for s.
0
Suppose 4 = 4*y + q - 3*q, 4*y + 5*q = 32. Solve y*g + 10 = -2*g for g.
-2
Let d be (1 + -2)/((-4)/60). Suppose -v + 4*o = d - 46, 0 = 4*v - 4*o - 88. Solve -4 = -3*z - v for z.
-5
Let v be 26/(-8) + 5/20. Let t = v - -3. Solve 3*q + 4 - 1