be 1 + ((-8)/4)/2. Solve p = q + 1 + 3 for q.
-4
Let c be 4 - 6 - 7/(-1). Let l(s) = -8*s**2 + 10*s - 1. Let x(g) = 7*g**2 - 9*g. Let t(k) = 6*l(k) + 7*x(k). Let u be t(c). Solve -u*n = n + 15 for n.
-3
Let u(z) = z - 2. Let w be u(7). Suppose -3 = -g - 0*g + l, -w*g - l + 33 = 0. Let n = 19 + -10. Solve -g = -5*p + n for p.
3
Let i = -100 + 100. Solve -3*b = -i*b - 6 for b.
2
Let v be 2 - (5 - 2) - -7. Let n be (-47)/(-5) - v/15. Let j = 24 - n. Solve -5*o = -0*o + j for o.
-3
Let x = 25 + 0. Suppose 5*r - 11 = -4*q, -5*q + 6*r = r - x. Solve -2*t + 0 + q = 0 for t.
2
Suppose -11 = -2*d - 3. Let g = d + -4. Suppose -5*p - 3*x + 22 = 8, 5*p + 4*x - 12 = g. Solve 0 = -p*o - 8 for o.
-2
Suppose 2*f - 4*h - 22 = 0, 5*h - 31 = 4*f - 6*f. Let a = -8 + f. Solve 10 = a*o - 0 for o.
2
Suppose -6 = 3*b - j - 2*j, 2*b + 2*j = 8. Suppose -2*u + b = -5*o - 6*u, u = -4. Solve -o*a - 2*a = 5 for a.
-1
Let c = 21 - 16. Solve l - c = 6*l for l.
-1
Let x be ((-5)/(-10))/(1/122). Suppose 0 = 5*v - 14 - x. Solve 6*i - v = 3*i for i.
5
Suppose 0 = -c - 3*c + 48. Let l = c - -3. Solve 6*y - l = y for y.
3
Suppose 0 = -7*h + 2*h + 55. Suppose 0 = 2*v + 3 - h. Solve -v*l = -2*l - 2 for l.
1
Let q be -2 + -2*3/(-2). Let d = 1 - 1. Solve -q = -t - d*t for t.
1
Suppose c + 2*v - 4*v - 4 = 0, 4*c + 4*v - 16 = 0. Solve -2*r + c*r - 10 = 0 for r.
5
Suppose -4 = 3*t - 3*r - 1, r = 4*t - 8. Solve t*v = -v for v.
0
Suppose 5 + 11 = 2*r. Solve -r = -c - c for c.
4
Suppose -3*m + 2*a + 8 = 0, -5*a - 29 + 9 = -2*m. Suppose -2*q + 14 + m = 0. Solve -q*r = -6*r - 4 for r.
4
Let z be (2/4)/(2/(-8)). Let t = 2 - z. Solve -t*q + 2 = -2 for q.
1
Suppose 9*u - 4*u - 10 = 0. Solve u*b = -2*b for b.
0
Suppose -7*s + 2*s + 29 = 2*n, -15 = -5*s. Let r(i) = -i**3 + 6*i**2 + 6*i + 7. Let h be r(n). Solve 2*g = -h*g - 4 for g.
-2
Let n = 4 + 0. Suppose n*j = 3*j + 2. Solve -j = -5*f - 7 for f.
-1
Suppose -i + 2*i - 19 = 0. Let j = i - 17. Solve 0 = -j*d - d - 15 for d.
-5
Suppose 0 = 3*n + 6, n = 2*y - 2. Solve y = 5*u - 2*u for u.
0
Let n be ((-1)/1 + 1)/2. Solve x + 2 + 0 = n for x.
-2
Let c(n) = n**2 - 5*n. Let h be c(5). Let m(j) = j**2 + 6*j + 6. Let g be m(-5). Let t be (-2)/(-2*1) + g. Solve 0 = -t*o + 10 - h for o.
5
Let t = -3 - -2. Let q be (t + 7)*2/(-4). Let k = 3 + q. Solve k = -3*u - u + 16 for u.
4
Let s = -6 - 0. Let m be (s - 0)/(-5 - -3). Let p be (5/m)/(4/12). Solve -p*c = -3*c + 6 for c.
-3
Suppose -10 = -5*q - 4*k, 0 = 5*k - k. Suppose 0 = 3*o + q*o. Suppose 2*y - 15 = -y. Solve o = 3*t - y*t + 10 for t.
5
Let w(k) = -k**3 - 11*k**2 - 4*k + 7. Let x(f) = f**3 + 10*f**2 + 5*f - 6. Let v(h) = -2*w(h) - 3*x(h). Let d be v(-7). Solve 0*j - d*j = 8 for j.
-2
Let o(c) be the first derivative of -c**4/4 - 7*c**3/3 - c**2 - 10*c - 2. Let y be o(-7). Solve 0*m = 2*m + y for m.
-2
Let k(y) = -y**2 + 4*y + 2*y**2 + y + 3. Let g be k(-5). Let w(r) = r - 2. Let v be w(4). Solve v*u = g*u - 4 for u.
4
Suppose 2*i + 5*d + 18 = i, -2 = -5*i - 2*d. Suppose -r + 4*r = 9. Suppose 2*u + 2*u = 5*l + 33, -r*u = l - 1. Solve 4 = i*y - u for y.
3
Suppose 0 = -t + 2*z - 5, -z - 10 = -4*t - 2. Let b(m) = m**3 - 3*m**2 + 1. Let d be b(3). Let x be d/((3/(-3))/(-7)). Solve x = -t*i - 2 for i.
-3
Let j = -110 + -311. Let u = -273 - j. Let k be u/18 + (-6)/27. Solve 0 = -2*s - 2*s - k for s.
-2
Suppose 0 = -14*l + 23 + 5. Solve 15 = -7*q + l*q for q.
-3
Let h(b) = -b**2 + 12*b - 6. Let q be h(10). Let v = q - 5. Solve -4*n = -v*n for n.
0
Let p be ((-5)/(-4))/1*16. Suppose -z - s - 3 = 0, 4*z - s - 3 = 3*z. Let u = z - -2. Solve u*n + p = 6*n for n.
5
Let r(o) = o + 6. Let b be r(-6). Suppose 0 = -5*s - b*g - 4*g - 18, -2*s = -4*g - 4. Let v be -1 - (s + 0/2). Solve 3*j = 2*j - v for j.
-1
Let i = -4 + 3. Let s(d) be the first derivative of -5*d**4/4 + d**2 + d + 1. Let u be s(i). Solve l + u*l = 10 for l.
2
Let i be (0 - 8/(-6))*-3. Let v be (i/(-2))/(6/(-39)). Let r = -9 - v. Solve -9 = r*a - a for a.
-3
Let c = -45 - -49. Solve -c*z - 6 = -z for z.
-2
Let u(f) = -2*f**2 - 9*f + 5. Let l be u(-5). Solve -3*j = -l + 12 for j.
-4
Suppose 5*j - 95 = -65. Solve 3*k = k - j for k.
-3
Suppose -5 = -5*i - 0*i - 5*u, -i - 1 = 3*u. Solve -i*g + 6 = g for g.
2
Let n(k) = -3*k - 2. Let p be n(-2). Suppose -3*d = -p*d - 4. Let v be d/(-2) + (-8)/4. Solve -z + 3*z + 4 = v for z.
-2
Let u = 30 - 22. Solve -3*o = -u*o + 10 for o.
2
Let h be ((-6)/(-15))/((-3)/15). Let s(g) = -g**2 - 6*g - 1. Let l be s(-4). Let a = h + l. Solve -4*v = -a - 11 for v.
4
Let c(t) be the third derivative of t**5/60 - 5*t**4/24 + 7*t**3/6 + 11*t**2. Let h be c(3). Solve 2*v - h = 3 for v.
2
Suppose -20 = 3*w - 8*w. Suppose -n + 25 = w*n. Let z(f) = 13*f**2 + f - 2. Let m be z(1). Solve u - n*u = m for u.
-3
Let u(z) = -2*z. Let l be u(-1). Let j be (3 - 2 - 8)/1. Let x = -3 - j. Solve x*a - l*a - 6 = 0 for a.
3
Let v(p) be the first derivative of -p**4/4 + 7*p**3/3 + 4*p - 4. Let d be v(7). Solve d*a + 1 = 9 for a.
2
Suppose 65 = 2*w + 3*w. Suppose -w + 7 = -t. Solve -2*c = c + t for c.
-2
Suppose -11*y + 12 = y. Let u(s) = 2*s + 1. Let r be u(3). Solve -3*d = y - r for d.
2
Let t(j) = -j**3 + 2*j**2 + 4*j. Let n be t(3). Solve m - n = -5 for m.
-2
Let g(m) = -3*m + 1. Let s be g(-1). Let b be (-2)/(-8) - (-54)/8. Let d = b - s. Solve 0 = -0*t - d*t + 3 for t.
1
Let s be 0 - 4 - -2 - -4. Solve 4*h - 3*h = -s for h.
-2
Let n(w) = w**3 + 18*w**2 + w + 19. Let g be n(-18). Solve 0 = -2*c + 3 - g for c.
1
Let u = -22 + 22. Suppose -4 = -2*f - u*f. Solve f*m = -2*m for m.
0
Let s be 6/5*(-30)/(-9). Suppose 2*q + 4*m = -m + 65, -15 = -5*m. Solve -s*g - q = g for g.
-5
Let m be (-1)/(-4) + (-2)/8. Suppose 0 = 9*k - 13*k + 16. Solve 0 = -k*b - m*b for b.
0
Let k(m) be the first derivative of -m**2 - 8*m - 1. Suppose -24 = y + 3*y - 4*s, 0 = -3*y - 2*s - 18. Let u be k(y). Solve -u = -a + 3*a for a.
-2
Let s be (4*(-6)/(-4))/2. Let o(t) = -3*t**2 + 4*t - 6. Let y(z) = 13*z**2 - 15*z + 25. Let m(k) = 9*o(k) + 2*y(k). Let a be m(4). Solve -a*j + 1 = -s*j for j.
1
Suppose 6*r = 2*r. Solve r*s = -s for s.
0
Let k(j) = -j**3 + j**2 + 3*j - 3. Let d be k(2). Let q be ((-2)/6)/d*0. Solve q*f + 1 = -f for f.
-1
Let a(q) = 2*q - 7. Let v be a(5). Suppose 0 = -h + 1 + v. Solve h*c = 2 + 6 for c.
2
Let q = -11 - -15. Suppose -q*f + 9*f - 10 = 0. Solve 3*p + f*p = -20 for p.
-4
Let v be 100/26 - (-14)/91. Solve 4 = -v*b - 0*b for b.
-1
Let r(u) = -u**2 - 24*u + 31. Let c be r(-25). Solve 2*t = -0 - c for t.
-3
Let i(m) be the first derivative of -m**3/3 - 5*m**2/2 - m - 2. Let q be i(-3). Solve 4 = -3*d - q for d.
-3
Suppose s - 3*s + 3*k + 5 = 0, 4*k - 50 = -3*s. Solve 4*g = 2*g + s for g.
5
Let x(n) = -2*n - 7. Let l be x(-5). Suppose -l*o = -5*o. Solve -i - i = o for i.
0
Suppose 0 = p + 14*p - 240. Solve 4*y = 8*y + p for y.
-4
Suppose 3*n - 2*f = -7, -2*n - f - 24 = 2*n. Let t(u) = u**3 + 6*u**2 + 4*u - 2. Let w be t(n). Let r = -25 - -37. Solve 0*x + r = w*x for x.
4
Let h(r) = r**3 + 6*r**2 - 7*r + 3. Let i be h(-7). Solve i = -d + 2 for d.
-1
Let k be (-15)/(-6)*4/10. Suppose 2*p + k = -3. Let r = p + 5. Solve -r*g = g for g.
0
Suppose -5 = 10*x - 11*x. Solve 1 = -2*i - x for i.
-3
Let d = 11 - 7. Solve w - 15 = -d*w for w.
3
Let g(l) = 9*l**3 - l**2 - l - 1. Let n be g(-1). Let w = -10 - n. Solve -4*u - u + 10 = w for u.
2
Suppose -6*v + 20 = -v. Suppose -5*p + 3*u = -34, -5*p + v*u + 12 = -25. Solve p*n - 6 = 3*n for n.
3
Suppose -x = i - 7, 0 = -2*x + 3*i - 1. Suppose 3*k - 8*k + 4*c + 30 = 0, -5*c - 33 = -x*k. Let q(n) = n + 12. Let f be q(-3). Solve -v = k*v + f for v.
-3
Suppose 0*u - 9*u + 6*u = 0. Let n be 0/1 - 0/(-2). Suppose 2*a - 18 = -4*h, -2*h + n*h + 4 = 0. Solve u*d = a*d + 15 for d.
-3
Let i be (-60)/(0 - 5) + -4. Solve 0 = -3*b - i - 4 for b.
-4
Suppose 0 = 4*r + 8, -2*q + 0*q = -5*r. Let c = -7 - q. Let p be (c - -3) + 5 + -2. Solve p*a - 2 + 6 = 0 for a.
-1
Let z(k) = 2 - 3 - 1 - 2*k. Let u be z(-2). Solve 4 = u*x - 4*x for x.
-2
Let n(i) = i**2 + 3*i**2 - 5*i**2 + i - 2 + 5*i**2. Let f be n(-2). Let z be 8/f*3*1. Solve z*o + 7 = -3 for o.
-5
Suppose 3*s = -3*g + 15, 2*s - 3*g + g = 10. Solve s*o + 0 = -5 for o.
-1
Let n = 22 + -19. Let t be (9/(-6))/(n/(-6)). Solve 0 = -t*a + 2 + 1 for a.
1
Let k = -57 - -71. Solve -5*l =