be ((-6)/8)/(q/8). Solve -6 = -5*x + r*x for x.
3
Let q(i) = i - 5. Let w be q(11). Let k be (-158)/(-8) + 3/12. Suppose -5*d + 0*d + k = 0. Solve d = w*g - 2*g for g.
1
Suppose -2*k - 17 = 3*u, 5*u = -3*k - 0*k - 28. Let f be (-2)/1*(u + 3). Suppose 0 = -n - 2, -6*p - f*n = -p - 2. Solve 2 + 0 = p*t for t.
1
Let l be (-16)/(-6) - (-2)/(-3). Suppose -3*x = l*f - f, 5*f = 4*x. Suppose f = -0*k + 2*k. Solve -2*t + t = k for t.
0
Let p be ((-2)/6)/(4/(-36)). Solve -2*h = -5*h + p for h.
1
Suppose c + 2*c + 24 = 0. Let l be (c/6)/(2/(-3)). Solve 2*z + l*z = 0 for z.
0
Let z = 36 + -31. Solve 3*j = z*j + 2 for j.
-1
Let f(p) = -8*p - 5. Let t(i) = -9*i - 6. Let b(v) = 7*f(v) - 6*t(v). Let l be b(-1). Let z = 433 - 423. Solve l*u - u + z = 0 for u.
-5
Suppose 5*r = -2*c - 15, 2*c - 3*r - 9 = c. Suppose c = 3*k - 5*p + 16, -4 = -4*p + 16. Solve -2*d = k*d for d.
0
Suppose z = -4*l + 3*z - 178, 4*l + 181 = 5*z. Let w = 75 + l. Suppose -5*i + 2*t = -0*i, 3*i + 5*t = w. Solve -i*o + 4 = 2 for o.
1
Let m = -4 + 4. Let y(p) = p**3 + 3*p**2 - 6*p - 2. Let n be y(-4). Suppose 0 = 2*f - n + 2. Solve -f*k + 5 + 3 = m for k.
4
Let o be ((-30)/9)/((-3)/9). Solve 2*j - 4*j - o = 0 for j.
-5
Let m = 70 - 60. Solve 0 = -i - 4*i + m for i.
2
Suppose 0*z = -z + 3. Solve -z*r + r = 8 for r.
-4
Let f(s) = -s**2 - 10*s - 4. Let j be f(-10). Let z be (0 + -1)*0/j. Suppose -3*b = -5*n - 17, 0 = 3*n - z*n + 3. Solve b = 2*r - 6 for r.
5
Let s = -13 - -16. Solve 10 = s*d + 2*d for d.
2
Suppose 3*q - 2*q - 3 = 0. Let k = q + 7. Let b = k - 8. Solve -h = 2 + b for h.
-4
Let p(n) = 13*n**3 - 1. Let x be p(1). Suppose -6*t - x = -10*t. Solve 0*b + 9 = t*b for b.
3
Let n(q) = 14*q**2 - 2*q - 1. Let u be n(2). Suppose 0 = -3*w + z + u, -2*z = -4*w + 19 + 51. Solve 0*i - 4*i = w for i.
-4
Suppose 2*h + 1 = 5. Suppose -h*i + 2 = -4. Let r(a) = -a**3 + 5*a**2 - 5*a + 3. Let s be r(i). Solve -4*p + s*p + 4 = 0 for p.
-2
Suppose -2*p - 12 = -3*p. Solve o = 4*o - p for o.
4
Suppose f + f = 0. Let x = -3 - f. Let l = x - -3. Solve l = -5*w + w for w.
0
Let r(p) = -p + 5. Let d be r(5). Let h(s) = s + 4. Let q be h(d). Let t be (-22)/(-8) + (-3)/(-12). Solve -n + q = t for n.
1
Suppose 4*l + 9 + 2 = j, -3*j + 17 = -4*l. Suppose -20 = -j*w - 2*w. Solve -10 = w*t - 2*t for t.
-5
Let t(l) be the third derivative of -l**4/24 - l**3/2 + l**2. Let h be t(-5). Suppose -p + 0*p = 0. Solve 4*q + h + 2 = p for q.
-1
Suppose 0 = 3*n - b + 5, -b - 10 = 5*n - 3*b. Let y = 5 - n. Solve -2*s + y*s = 12 for s.
4
Suppose -7*s + 3*s + 80 = 0. Solve 0*u = -4*u - s for u.
-5
Let m be 2/(-3) - (-40)/(-12). Let k be (3 + -2 - m)*2. Solve 4*y - k = 2 for y.
3
Let z(p) be the third derivative of -p**6/120 - p**5/30 + p**4/8 + p**3/3 + 2*p**2. Let q be z(-3). Solve 4*c = -q - 6 for c.
-2
Let d(n) = n + 5. Let t be d(-6). Let h be (t + -3)/2 + 5. Solve g = h - 5 for g.
-2
Let n(f) = f**3 - 6*f**2 + f + 8. Let b be n(6). Suppose b = 3*h - 1. Solve -3*v = -h*v + 2 for v.
1
Let o = 0 + -1. Let k be o/4 - (-150)/24. Solve -4*u + k - 22 = 0 for u.
-4
Let c be 14/63 + 40/(-18). Let w be (-1)/c*0/(-3). Solve -d + 0*d + 3 = w for d.
3
Let q be 2*-1*(-5)/2. Suppose 7*k - 8 = 3*k. Suppose -2*j - l = -k, l + 0 = -3*j + q. Solve -j*n = 9 - 3 for n.
-2
Suppose 0 = -t - 2, 2 = -2*l - 3*t + 4*t. Let w be 2*(-1)/l - -1. Suppose -8 = 28*y - 32*y. Solve -y*m + m - w = 0 for m.
-2
Let y = -18 + 20. Solve 3*q - 5 = -y*q for q.
1
Let v(g) = g**2 + 6*g - 2. Let m be v(-6). Let y = 6 + m. Solve 0 = -0*n + y*n + 16 for n.
-4
Let b(i) = -i**2 - 2*i - 3. Suppose -3*g - 43 = 5*l, 2*l - 20 = -0*g + 5*g. Let k be b(g). Let p be 40/18 + 6/k. Solve 0 = p*q + 2*q for q.
0
Let n(i) = -i**2 - 4*i - 1. Let l be n(-3). Suppose 2*u = 2*z - 10, -l*z + 0*u + 5*u + 10 = 0. Solve -p + 3 - z = 0 for p.
-2
Suppose 48 = 3*v + 4*t, 0*t = -4*t + 12. Suppose 18 = 2*k + 2*h, 14 = 2*k - h + 2*h. Solve -w + v = -k*w for w.
-3
Suppose 5*a - 6 = 19, 5*x - 5 = 4*a. Let k = x + 0. Suppose -3*f = -2*l - 15, -k*f + 3 = -3*f + l. Solve 0 - f = b for b.
-3
Suppose 3*r = 2*c - 17, -2 = 3*c + 5*r + 1. Suppose 25 = c*m + m. Solve 13 - 3 = -m*o for o.
-2
Let c be ((-3)/(-2))/(7/(-42)). Let r be (-103)/(-3) + (-6)/c. Let o be (-2)/4 - r/(-14). Solve p + 1 - o = 0 for p.
1
Suppose 2*l - o + 0 + 2 = 0, o - 2 = l. Suppose l = -3*z - z + 8. Solve -18 = 4*n + z for n.
-5
Let n = 13 - 10. Solve -5*d + 7 = -n for d.
2
Let d(y) = -y**2 + 6*y + 3. Let z be d(5). Let m be 2/z - (-4)/(-16). Solve -12 = -m*i + 3*i for i.
-4
Suppose 0 = -0*w + w + 2*j - 8, -4*w - 2*j + 44 = 0. Let y be (12 - w)/(2 + -1). Solve y = -4*m + 3 + 17 for m.
5
Let t = -3 - -1. Suppose -3*b - 11 = -5. Let a = t - b. Solve -q + a*q = 0 for q.
0
Let i(w) = 2*w**2 - 2*w**2 + w**2 + 13 + 10*w. Let p be i(-9). Solve 0 = p*v - 2*v + 2 for v.
-1
Let j(l) = 2*l - 3. Let y be j(3). Solve -8*m = -y*m for m.
0
Suppose 2*z - z = 3*o + 17, 0 = z + 5*o + 15. Solve 8 = 3*a - z*a for a.
-4
Let t(g) = 0*g + 0 + 8 - g. Let w = -10 - -16. Let l be t(w). Solve -3*a = -l*a for a.
0
Let v be (-39)/(-3) + 0/(-2). Suppose 4*t = 0, -2*t + v + 27 = 5*k. Suppose -4*j + 10 = -2*g, 4*g - 2 = 2*g + j. Solve d - k = -g*d for d.
2
Suppose 3*a - 4*c - 7 = 0, 2*a = -2*a - 5*c + 61. Suppose 0*r = -2*r + 8. Suppose 0 = 2*w - r*w. Solve w = 4*v + 3 + a for v.
-3
Let w(j) = j**2 - 6*j + 5. Let p(g) = 6*g. Let b be p(1). Let i be w(b). Suppose -i*a + 4*o + 27 = 2*o, 0 = -4*a + 2*o + 20. Solve -3*q = -a*q + 8 for q.
2
Suppose 4*i - 4*y = 4, -2*y - y - 3 = 5*i. Solve i*p = 4*p for p.
0
Let k be (24/(-18))/((-4)/6). Solve 0 = 3*o + k*o + 20 for o.
-4
Let d(g) = g**2 + 4*g - 6. Let h be d(-6). Suppose h*i = 5*i. Solve 2*o = -i*o + 4 for o.
2
Let g = -9 + 13. Suppose 0*h - 4 = -g*h. Solve -4*m = 3 + h for m.
-1
Let o = 7 - 13. Let x = -4 - o. Solve -3*u + x = -1 for u.
1
Let h be 3/(-2 - 12/(-4)). Suppose 0*b + b = 0. Solve h*o + b = -12 for o.
-4
Suppose 2*x = -0*x + 3*w + 52, 0 = -4*x - w + 76. Solve -n + 6*n = x for n.
4
Suppose 5*d + 5*c = 30, c - 14 = d - 2*c. Suppose l = 4 + d. Suppose -7 = -l*k + 8. Solve 11 = 4*o + k for o.
2
Let x(l) = l**2 + 11*l + 2. Let d be x(-10). Let f = d + 8. Solve 2*m + f = 6 for m.
3
Let x = -30 + 34. Solve x + 1 = -5*p for p.
-1
Suppose 4*k - 3*k = 0. Let q = 14 - 11. Suppose 4*l + 5*x = -6 - 2, -4*l = q*x. Solve l*z + k*z = -3 for z.
-1
Let l(p) = -7*p - 2. Let i be l(-2). Solve -2*u - 2*u = -i for u.
3
Let l = -89 - -98. Solve -l*s = -14*s + 10 for s.
2
Let n(t) = 36*t**3 + t + 3*t**2 - 35*t**3 - 1 - 6*t**2. Let z be n(3). Suppose -7*b + 2*w + 25 = -2*b, b = -w - z. Solve b = 4*s - 9 for s.
3
Suppose 0 = 5*s - 12 + 2. Let a be (-9)/(-6)*16/(-6). Let f be (-10)/a*8/5. Solve s*j - f = 6*j for j.
-1
Let r(f) = -f**2 + 4*f + 1. Let o be r(3). Suppose -4 + 12 = 4*m. Solve -o*j + 10 = -m*j for j.
5
Let x(u) = 24*u - 1. Let b be x(1). Suppose -b = -2*a + 17. Solve h = -3*h - a for h.
-5
Let s = -9 + 16. Let k be (-3)/6*(1 + -17). Solve k = -3*x + s*x for x.
2
Suppose -1 = 4*d - 21. Suppose 5 = h + j, 4*h - 2*h - d = -j. Solve -z + h = -5 for z.
5
Let q be (-4)/(-6) + (-40)/6. Let o(t) = -t**3 - 7*t**2 - 7*t - 2. Let f be o(q). Suppose 0 = 3*u - 28 - 32. Solve -f*j - u = j for j.
-4
Let b(a) = -a**2 + 4*a + 2. Let x be 1 - (1/(-1) + -1). Let j be b(x). Suppose 0 = -j*r - p - 4*p - 20, 0 = -5*r + p + 10. Solve -2*l = -r - 1 for l.
1
Suppose 0 = -2*m - m + 36. Let u = 9 + -9. Solve u*l + m = -3*l for l.
-4
Let p be 0 - (3 - (7 + -4)). Suppose p = -3*k - 6, 2*k - 3*k = -3*c + 2. Solve o = -c*o - 2 for o.
-2
Let o(b) = -4*b**2 + 1. Let y be o(1). Let z = 5 + y. Solve -3*i = -z - 4 for i.
2
Let z = 2 + -4. Let x be z - -2 - (-4)/2. Suppose x*s + 5 = -0*o - 3*o, 4*s - 5*o - 23 = 0. Solve -s*c - 11 = -3 for c.
-4
Suppose 5*p + 3 = 23. Solve c + 1 + p = 0 for c.
-5
Let w be ((-27)/(-6) - 3 - -1)*2. Solve 2*m = 15 - w for m.
5
Let z be 3 + (-17)/(-5 + 4). Solve -v - 4*v = z for v.
-4
Suppose -3*l = l + 12. Let n(s) = -s**3 - s**2 + 2*s + 1. Let t be n(-2). Let a be t/(-3) + (-76)/l. Solve 0 = -4*q - q + a for q.
5
Let n be (-44)/(-10) + 14/(-35). Let k(r) = r - 4. Let t be k(0). Let l be (-2)/(-4) + (-10)/t. Solve n*g - 3 = l*g for g.
3
Let u be (-1)/3 + (-2)/3. Let z(f) be the first derivative of f**4/4 + 2*f**3/3 + f**2/2 + f