t p = 7 - u. Solve -p*c = -c - 8 for c.
4
Let z(c) = -c**2 + 8*c + 9. Let l be z(8). Let w be (2 - 4/(-4))/1. Let u be l - 0 - (-1 + w). Solve -5*n + 3 + u = 0 for n.
2
Suppose 0 = -3*n - 0*n + 5*t + 20, 0 = 2*n - 4*t - 12. Solve -n = -y - y for y.
5
Let u be (-1)/(-4) + 156/16. Solve 0 = 3*j + 1 - u for j.
3
Suppose 0 = 12*r - 8*r - 68. Solve r = 4*u + 1 for u.
4
Let l be (-2*1)/(2/11). Let b = l + 15. Solve -b*w - 4 = 8 for w.
-3
Suppose -4*r = -t + 4*t - 32, -3*r = 3*t - 27. Suppose -d + 25 = t*d. Solve d*p - 19 = 6 for p.
5
Let u = 1 - -1. Suppose p = -u*p + 9, 0 = -f + p. Let h(i) = -i**3 - 6*i**2 - 6*i - 5. Let r be h(-5). Solve r*t - f*t = 0 for t.
0
Let q(x) = 2*x - 3. Let w be q(3). Suppose 4*s + 0*r = -r + 10, -4*r + 1 = w*s. Let n = 1 + s. Solve 0 = 3*l + 11 + n for l.
-5
Let f(k) = 2*k - 2. Let h be f(3). Suppose h*u = -v, -2*v - 5*u = -4*u. Solve v = -0*o + 2*o for o.
0
Let n be -3 + 3 + (0 - 9). Let b be (12/n)/((-2)/(-6)). Let a = -1 - b. Solve 0 = m - 1 + a for m.
-2
Let r be 2 + 1 + (-4)/2. Solve -l - 5 = -r for l.
-4
Let v = 6 - 15. Let h = v - -14. Solve y + 1 = h for y.
4
Let o = 3 + -3. Let w = 4 + o. Suppose -5*a + 10 = w*k - k, k + 3*a = 2. Solve 0 = -2*p + 1 - k for p.
-2
Let t(d) = d**2 + 5*d - 10. Suppose 14 + 21 = -5*v. Let i be t(v). Solve i*z = -17 + 1 for z.
-4
Let f(c) = c**2 + 1. Let m be f(0). Suppose 4*i + m = 9. Let b be -3*4/(-18)*3. Solve 0*u - i = b*u for u.
-1
Let r(x) = x**2 - 12*x - 12. Let o be r(13). Solve 0*i - o = -i for i.
1
Suppose -2*y - 2 = -0. Let c = y + 3. Solve c*m = 1 + 7 for m.
4
Suppose -49 + 9 = -4*f. Let o be (-3)/(1/(-6)*2). Let d be f/(-35) - o/(-7). Solve 4*g + 13 = d for g.
-3
Let p = 46 - 46. Solve 0*w - 5*w + 5 = p for w.
1
Suppose 0 = -j - 9 + 1. Let s be (-22)/j + (-4)/(-16). Solve 13 = s*v + 1 for v.
4
Let l be -2 - -1*(3 - 1). Let d be 3 - (-3 - -4)*1. Solve l*g + d*g - 4 = 0 for g.
2
Let s = -2 - -4. Suppose -s*b = 2*b. Solve c - 4 + 2 = b for c.
2
Suppose -4*n = -0*o - 3*o - 109, -4 = -4*o. Let s be (-4 + 4)/(-4 - -2). Suppose 31 = 4*i + u, s*u + 2*u = 2*i - 18. Solve -4*y - n = -i for y.
-5
Let d(k) = 13*k**2 + 7*k + 29. Let c(g) = 3*g**2 + 2*g + 7. Suppose -4*x + 0 = 8. Let q(v) = x*d(v) + 9*c(v). Let o be q(-5). Solve o = -n + 6*n for n.
2
Let k be (-1)/(-2 + 3) + 0. Let p(n) = -25*n - 3. Let b be p(k). Solve 5*v - 2 = -b for v.
-4
Suppose -5*b = -0*b. Suppose -c - 2*c - 9 = b. Let s be ((-9)/(-6))/c*-8. Solve 0 = -t - s*t - 25 for t.
-5
Let b = -99 - -105. Solve 0*o = b*o + 6 for o.
-1
Let z(u) = -3*u**2 - u + 2. Let o be z(2). Let c be 30/8 + (-3)/o. Let n = 11 - -1. Solve -n + c = -4*x for x.
2
Let l(u) = -u**2 - u + 2. Let m be l(-2). Let z(g) = 2*g**3 + 3*g**2 - 2*g - 1. Let r be z(1). Solve r*o - o = m for o.
0
Suppose -5 = -5*d - 2*r + 1, 4*r = -3*d + 12. Let w(i) = -i**3 - 5*i**2 - i + 2. Let a be w(-5). Suppose a = 4*c - 13. Solve -4*j + c*j - 2 = d for j.
2
Suppose 5*d = -1 + 11. Solve -d*l - 4 = -0*l for l.
-2
Suppose 0 = -4*r + 16 - 0. Suppose 0 = 2*g - 3*p, -8*p = 3*g - 12*p - 2. Solve 2 = r*u - g for u.
2
Let v(p) = 2*p - 3. Let l be v(2). Let k be 2/1 - 0/l. Solve m = -k*m for m.
0
Let l(c) be the third derivative of 3*c**2 + 5/6*c**3 - 1/3*c**4 + 1/60*c**5 + 0*c + 0. Let r be l(8). Solve 0*u - u + r = 0 for u.
5
Suppose 22 = y + 12. Solve -2*g = 3*g + y for g.
-2
Let w be -1*10/(-5) - -1. Solve 0 = 5*u - 2*u + w for u.
-1
Let v(f) = -10*f + 4. Let t be v(-3). Let p be t/9 + (-4)/(-18). Solve -g + p*g = 15 for g.
5
Let n be 8/(-20) + 160/25. Suppose n*v - v - 4*k - 55 = 0, 0 = -2*v - 3*k - 1. Solve -9 = v*f - 4*f for f.
-3
Let q = -3 - 0. Let a(m) = 5*m + 5. Let h(d) = d + 1. Let p(v) = -2*a(v) + 9*h(v). Let t be p(q). Solve s + 2 = -t for s.
-4
Let y = 2 + -8. Let a be (3 + -3)*(-3)/y. Solve o - 5 = -a*o for o.
5
Suppose 0 = -4*h + 29 + 71. Solve -3*n + h = -8*n for n.
-5
Let f = 11 + -9. Solve m = f*m for m.
0
Let y(r) = 11*r - 7. Let m(d) = 5*d - 3. Let i(b) = -13*m(b) + 6*y(b). Let q be i(7). Solve 12 = q*u - 4 for u.
4
Suppose 0 = 8*a - 18 + 2. Solve -q - 5 = -a*q for q.
5
Suppose 5*c - 9 = 5*p - 79, -3*p + 38 = -c. Solve 4*w = -0*w - p for w.
-3
Let t = 7 + 0. Let i(d) = -d**3 - 7*d**2 - 8*d - 8. Let k be i(-6). Suppose -3 - 17 = -k*x. Solve -t - 3 = -x*v for v.
2
Suppose -5*f + 2*f + 15 = 0. Solve -2*a = -a + f for a.
-5
Let x(m) = -m + 20. Suppose 0 = -d + 5*d. Let w be x(d). Solve -j - 3*j - w = 0 for j.
-5
Let b = 8 + -3. Suppose 0 = -5*q + 2*d - 4*d - 9, -5*q = -4*d + 27. Let t = 1 - q. Solve -6 = -b*y + t for y.
2
Suppose f + 3 = 2*f. Solve -2 + 11 = f*i for i.
3
Let c = 6 - 6. Let y be c + 2 + 1 - -2. Suppose -y*f + f = 0. Solve f*i = -2*i for i.
0
Suppose -2*m = -6*m + 20. Solve -13 = m*r + 2 for r.
-3
Let c(l) = l**2 + 2*l + 2. Let k be c(-2). Let b be (-10)/(0 - (4 - k)). Let f(j) = -j - 14. Let w be f(-16). Solve x = b - w for x.
3
Let o(w) = -w - 1. Let r be o(-4). Suppose -r*s - 2*s = 5*j + 35, -4*s - 14 = 2*j. Let x = j - -12. Solve 0 = x*a - 2*a - 12 for a.
4
Let h(w) = -w**3 + 3*w**2 - w. Let i be h(2). Suppose 5*j - 50 = -3*k + 8*k, 0 = 5*j + k - 38. Suppose 3*p = -p + j. Solve i*a = -0*a - p for a.
-1
Let f(j) = -j**3 - 5*j**2 - j - 3. Let s be f(-5). Let g = -2 + s. Solve -2*d + 4 = -g for d.
2
Let z = -10 + 12. Suppose 7 = 3*p + 3*f - z, 5*p - 19 = -3*f. Solve p*l + 0 = 15 for l.
3
Let v be 3/((-18)/(-15)) + 1/2. Solve v*g = -g + 20 for g.
5
Suppose -4*o + 3 + 33 = 0. Let j = o - 4. Suppose 8 = j*u - 2. Solve 3*t - 1 = u*t for t.
1
Suppose 65 = 5*g - 5*j, -5*g + 55 = 3*j + 14. Let y(w) = -w**3 - 12*w**2 + 11*w - 16. Let m be y(-13). Let i = m - g. Solve -1 = z - i for z.
-1
Let d be (3 - 3 - -2) + -2. Suppose h - 3*h = d. Solve h = 3*j - 4*j + 3 for j.
3
Suppose -5*z - 3*u + 15 = 0, 0 = -4*z - 4*u + u + 15. Suppose 5*w - 2*w - 6 = z. Solve -w*i = -i for i.
0
Let k(l) be the third derivative of -l**5/60 + 5*l**4/24 - 2*l**3/3 - l**2. Let g be k(3). Suppose 0 = c - g, 2*c - 13 = -2*n + 9. Solve 0*f = -3*f - n for f.
-3
Let p = 19 - 37. Let m be 2*3*(-9)/p. Solve -m*r = -0*r + 6 for r.
-2
Suppose 3 = 4*a - a, 4*d + 3*a = 15. Suppose 4*s - 4 = d*s. Solve p = -s + 1 for p.
-3
Let k(n) = n**2 - 1. Let c = 0 - -1. Let v be k(c). Solve 2*w - 4 = -v for w.
2
Let k be 4/4 - (-1 - -13). Let l = k - -27. Suppose 0 = n + 3*n - l. Solve -n*s + 10 = s for s.
2
Suppose -5*k + 18 = -17. Suppose 12 = 3*n - j - 19, 3*j = -n + k. Suppose 0 = -5*g + 7*g. Solve -2*x - n = -g for x.
-5
Let i(z) = -z**3 - 21*z**2 + 3. Let x be i(-21). Solve -2*u + 2 = -x*u for u.
-2
Let p = 85 - 81. Solve v - 2 = -p for v.
-2
Let y be 2/((6/(-9))/(-1)). Solve 1 = -2*u + y*u for u.
1
Suppose -4*d + 2*d = -l - 4, -3*l - 3*d = -6. Solve u - 1 - 1 = l for u.
2
Suppose 10 = -2*i + 4*i. Suppose -r - 16 = -i*r. Suppose -r = -4*q, -19 = -3*j - 0*j + 5*q. Solve a + a = j for a.
4
Let g be -3 - (2 + (-6 - 0)). Solve v = g - 6 for v.
-5
Suppose 5*c = 2*v + 29, 5*c = -0*v - 4*v + 17. Suppose -2*i = r - 10, 47 = -2*r + 4*r - c*i. Solve -h = -5*h - r for h.
-4
Let y = -35 - -30. Let x(j) = 9 + j + 5 - 2. Let c be x(y). Solve 13 + c = -4*b for b.
-5
Let p(v) = v. Let x be 4/(-6)*(-6)/(-2). Let m be p(x). Let n = m - -8. Solve 3*g = g - n for g.
-3
Let d be 7/4 + (-3)/(-12). Solve 6 = -d*u - 0 for u.
-3
Let v be -3*1/(-3) + 4. Solve 0*i - v*i = 15 for i.
-3
Let p(l) = -l + 1 + l**2 + 2 + 5*l. Let a be p(-3). Let k = -3 - -7. Solve x - k = -a*x for x.
4
Suppose -4*k - 7 = -2*b - 17, -5*k = -b - 14. Suppose 0 = 2*s - 2*n - 42, -3*s = -k*n - 2*n - 55. Solve 8*a - 3*a = -s for a.
-5
Let f = 23 + -15. Suppose -9 = -4*q + 3. Solve o + q*o - f = 0 for o.
2
Let p be -1*(0 + -2 + 0). Suppose 5*s = 4*s + l + 9, 17 = s - 5*l. Suppose -p*a + s = 3. Solve a = 3*o - o for o.
1
Let p = 1 - -14. Suppose -4*y + p = y. Suppose -s + 2*s = y. Solve 0 = 2*x + s*x for x.
0
Suppose -x = -1, -i + 6*i - x - 84 = 0. Let j = i + -17. Solve j = 5*n - 2 - 3 for n.
1
Let x be ((-3)/6)/((-1)/6). Suppose -3*h - 9 = 5*z - z, h = 4*z - x. Solve z = -3*q - 2 - 1 for q.
-1
Let g(h) = -h**3 - 4*h**2 + 1. Let q be g(-4). Let b = q - -1. Let l = 6 - b. Solve -l*w - 9 = 3 for w.
-3
Let l(y) = y**2 - 2 + 1 + 5*y + 1. Let t be l(-5). Solve 0 = 2*p - t*p for p.
0
Let v = 3 + 0. Let l = -23 + 5. Let h be (-4)/(-3) + (-30)/l. 