 - 77*z + 5*p - 13, 13 = z + p. Solve 0 = z*k + 1 - 1 for k.
0
Let k be 6/1*74/111. Solve k*t = t + 5*t for t.
0
Let k(q) be the first derivative of 7*q**2/2 - 2*q - 3. Let f be k(2). Suppose 5*n - 2 = -f, -4*h + 14 = n. Solve h*s = s + 9 for s.
3
Let c be 28/(-84)*(-3 + 0). Solve 2*q + c = -5 for q.
-3
Let c be (0/4)/(-1)*(-2 + 3). Let u(v) = 3*v + 3. Let y be u(c). Solve 5*p - 13 = -y for p.
2
Let k(f) = 2*f**2 + 3*f - 5. Let o be k(2). Suppose o*c - 14 = -5. Solve -c - 3 = -2*u for u.
2
Suppose 0 = y - 1 - 1. Solve -7*n + 15 = -y*n for n.
3
Suppose 0*l - l = 0. Let g be (20/6)/(10/12). Solve l = -3*d - d + g for d.
1
Let j(t) = -7*t + 6. Let o be j(-1). Solve 14*l - 4 = o*l for l.
4
Let z be 3 + -2 - (2/(-1) - -1). Solve -z*h + 55 = 53 for h.
1
Let i(n) = 2*n**2 + 2*n - 1. Let m be i(-4). Suppose 3*h - 69 = 2*u, 2*h + m = -2*u - 51. Let t be (-16)/(-9) - 8/u. Solve 4 + 0 = t*g for g.
2
Suppose 1 = -7*w + 1. Suppose 0 = -w*h - 2*h + 12. Solve h*j = j for j.
0
Let j(c) = 0*c - 10*c + 5*c - 4 + 7*c. Let m be j(6). Solve 3*x - 20 = m*x for x.
-4
Suppose -3*r + 5*a - 28 = -2*r, -4*r - 68 = 2*a. Let j be (-6)/27*3*r. Suppose 5*i - 2*i - j = 0. Solve 0 = -4*o - 0*o + i for o.
1
Let p = 21 - 11. Let b = 120 - 127. Let f = b + p. Solve -w - f = -0*w for w.
-3
Suppose 0 = -107*k + 104*k + 15. Suppose 3*i = -3*t + 18, -k*t = 5*i - 2*i - 20. Solve i = -h + 2 for h.
-3
Let l = 38 + -68. Let u = -26 - l. Solve t + 3*t - u = 0 for t.
1
Let g = -11442 - -11445. Let x = 7 + -5. Solve -g*v + 2*v = -x for v.
2
Let v = -258 + 266. Solve b = v*b - 21 for b.
3
Let a(c) = c**3 + 15*c**2 + 14*c + 4. Let r be a(-14). Solve 0 = 5*q + 9 - r for q.
-1
Let j be ((-304)/24 + 8)*-3. Solve -j*n = -17*n for n.
0
Let z(f) = 15*f + 191. Let i be z(-12). Solve -14*h = -i*h for h.
0
Let c(u) = u + 0 + 2 + 12*u**2 - 12*u**2 + u**3. Let m(a) = -a - 6. Let o be m(-6). Let j be c(o). Solve -j*t - 3 = 3 for t.
-3
Let v(l) = -l**2 - 12*l + 41. Let x be v(-14). Suppose -39 = -0*y - x*y. Solve -y + 0 = o for o.
-3
Suppose 5 = i - 3. Let s = -4250 - -4252. Suppose -8 = -4*x, -10 = -2*a - 3*a - 5*x. Solve -s*m - i = -a for m.
-4
Let w(v) = -v**3 + 2*v**2 - v + 4. Let t be w(2). Suppose 5 = -4*b + 5*c, -4*b = 6*c - t*c - 40. Solve 3*f - b = 4 for f.
3
Suppose -6*i + 8*i + 8 = 0. Let p be 5 + -3 + (-1 - i). Let w = 4 - 1. Solve w*k - 4 = p*k for k.
-2
Let m = 55 + -51. Suppose 30 = 3*o - n + m*n, -o - 2*n + 8 = 0. Solve -j - 2*j + o = 0 for j.
4
Let v = -32 - -34. Suppose 3*h - 5 = v*l, -l + 30 = 3*l + 2*h. Solve w + 0*w = l for w.
5
Let v be (3/2)/((-3)/(-102)). Suppose -n - 45 + v = 0. Solve 2*i - n = -i for i.
2
Suppose 2*i + 0*z - 8 = 2*z, 0 = 5*i + z - 8. Suppose 0 = -c - 1, t - 8 = -2*c - i*c. Solve t + 4 = 4*w for w.
4
Let s be 5 + -4 + (10 - 4). Solve 3*k + 1 = s for k.
2
Suppose 0*m = m - 32. Let r = 34 - m. Solve -r*q = 11 - 1 for q.
-5
Let o(d) = -4*d**2 + 3*d + 8. Let v be o(-2). Let g(z) = -15*z - 3*z**2 - 3 - 5 + 2*z**2. Let f be g(v). Solve -3*y + f = -5*y for y.
-3
Suppose 0*u + 44 = 3*h - 2*u, -4*u = -5*h + 74. Suppose 5*a - h + 4 = 0. Let m be -4 - (8/12 + 46/(-6)). Solve a*y = -m*y - 20 for y.
-4
Let t = 11 - 7. Suppose 7 + 1 = t*b. Suppose w = -b*w. Solve 4*u + 1 + 15 = w for u.
-4
Let z = -75 - -77. Suppose 14 = 4*a - 6. Suppose -2*y = -z*u - 2, -a*y - 2*u + u + 29 = 0. Solve -18 + 43 = y*w for w.
5
Let h(x) = -x**3 - 6*x**2 - 14*x - 35. Let w be h(-5). Let c be w/2 - 4/4. Solve -3*d + 5 = -c*d for d.
-5
Let g be (1*20)/2 + -1. Suppose -4*n - 5 + 9 = 0, 0 = -4*r - 3*n + 11. Solve s + r*s = g for s.
3
Let s = 7 + -6. Let p(w) = 3*w - 6. Let f be p(5). Suppose s = -4*x + f. Solve 0*u + x*u = -4 for u.
-2
Let v be 4/(-6) + 80/(-6). Let b = v + 9. Let h be (-24)/60*b/2. Solve 0 = 2*m + 7 + h for m.
-4
Let v be 1 - 2*((-20)/4 - -4). Solve l = v*l for l.
0
Let o be (66/(-9) - -5)/((-14)/12). Solve -w = o*w - 15 for w.
5
Let u = 148 - 143. Solve u*q = 8*q - 3 for q.
1
Let n(i) = i**3 - 4*i**2 - 4*i - 2. Let u be n(5). Suppose -u*y = -2*y. Suppose -q = -3*v + 12, 3*v + 0*q - 12 = -5*q. Solve 4*a + v + y = 0 for a.
-1
Let j(p) = 3*p. Let l be j(2). Let k(h) = h**2 - 5*h - 8. Let q be k(l). Let b(m) = 6*m**2 + 3*m + 2. Let u be b(q). Solve t = 6*t - u for t.
4
Let o be -4 + 2 + 32/2. Suppose 0 = -9*v - 97 + 7. Let a = o + v. Solve -a*f = -5*f for f.
0
Let d(t) = -3 + 40*t - 14*t - 21*t. Let w be d(1). Let b(n) = -n**3 + 4*n**2. Let a be b(4). Solve -l + 3 - w = a for l.
1
Let k be (2*(-3)/3)/1. Let w(l) = -l**3 - l**2 - 3*l - 3. Let p be w(-3). Let h be (1/k)/((-2)/p). Solve -h*g - 16 = -2*g for g.
-4
Let o = -246 + 249. Solve o*j - 51 = -45 for j.
2
Let l(m) = -m**2 + 7*m + 7. Let q be l(7). Let z = q + -7. Let b be 12 - z*2/(-4). Solve 0 = 4*i - i - b for i.
4
Suppose g + 9 = 4*g. Suppose -r - 6 = 3*q - 0, -g*r - q = -6. Solve t - r*t - 8 = 0 for t.
-4
Let w be -4 + (-2)/(-2)*(0 - -7). Solve 0 - w = 3*r for r.
-1
Suppose -l = 2, 0 = -5*i + 5*l + 6 + 49. Suppose -12*x + 6 = -i*x. Solve 1 = g - x for g.
3
Let w be 1 - (4 + -2 + -1). Let c(g) = -2*g - 6. Let j be c(w). Let l be (j/(-4) + -3)*-2. Solve u - 1 = -l for u.
-2
Let s be (-4)/(-3 + 5) - 16. Let y = s + 36. Let k = -13 + y. Solve k*n + 1 = -4 for n.
-1
Suppose -z + 0*n + 5*n + 17 = 0, z = 4*n + 14. Suppose -6*l - l = -14. Suppose -9*m = -l - 7. Solve -z = 3*b + m for b.
-1
Let z = 21 + -9. Suppose -28*s + 2*l + 13 = -25*s, -9 = -2*s + l. Let j(x) = x - 2. Let g be j(4). Solve -s*y = -g*y + z for y.
-4
Let b be (-5)/2*120/(-100). Solve 30 = -7*y - b*y for y.
-3
Let z = 26 - 24. Let x(o) = o**2 - 6*o + 12. Let u be 20/70 - 26/(-7). Let w be x(u). Solve 0 = -2*a - w + z for a.
-1
Suppose 0 = -0*m - m + 12. Let y be ((-4)/6)/((-2)/m). Let q be (-8)/(-16) - (-18)/y. Solve 0*w - q*w - 20 = 0 for w.
-4
Let n(f) = f**3 + 11*f**2 - 2*f + 12. Let d be n(-11). Solve -d - 1 = -7*s for s.
5
Suppose 0 = -48*t + 53*t. Solve -h + 0*h = t for h.
0
Let u(o) be the third derivative of o**4/24 - 7*o**3/6 - 4*o**2. Let k be u(10). Solve -k*v = -5*v - 4 for v.
-2
Let n(r) = 9*r - 94. Let s be n(11). Solve -4*h + s = -5*h for h.
-5
Suppose 5*u - 4*z = 10, u + z + 1 = 2*u. Suppose 12*x - u*x = -2*x. Solve x = -5*k + 4*k - 4 for k.
-4
Let b be 21/(-6)*(-6 - 0). Suppose -4*g - 5 = -4*q + 39, -5*q + 4*g = -50. Solve q = -3*h + b for h.
5
Suppose 0 = -5*k - 43 + 53. Solve 7 + k = 3*o for o.
3
Suppose x + 11 = 13. Suppose 5*f + 0*b - 34 = x*b, -f - 4*b = -20. Solve 0*d + f = -2*d for d.
-4
Suppose 0 = -0*k - k. Let p(x) = x**3 - 3*x**2 - x + 4. Let h be p(3). Suppose 6*b - b - h = l, -5*b = l - 9. Solve k = -l*y + 1 - 17 for y.
-4
Let y be 1/(-1)*(-4 - -1). Suppose -y*p = -2*p - 1. Let c be 3/p + -1 - -6. Solve -3*d - d + c = 0 for d.
2
Let v(h) = h**2 + 9*h + 19. Let x be v(-7). Suppose 0 = 4*q - p, -x*q + 2*q = 4*p. Solve -2*g + 0*g + 4 = q for g.
2
Let f = 227 + -210. Solve x + 19 = f for x.
-2
Let s(a) = a - 4. Let l be s(6). Let o = -450 + 468. Let i = o - l. Solve p - i = 5*p for p.
-4
Suppose 5*v = -0 + 25. Suppose 4*k = -4*c - 3 - 9, -v*c + 10 = 0. Let w(s) = -2*s - 10. Let m be w(k). Solve m*j = 2*j + 8 for j.
-4
Suppose -4*h = -h - d - 10, -4*h + 30 = 2*d. Suppose h = -2*o + 7. Solve -r + 1 = -o for r.
2
Let w = -2 + 2. Suppose w = 2*f + 3*f - 110. Let g be 4/f + (-186)/(-66). Solve 0 = g*y - 2*y for y.
0
Let a be 63/15*(-65)/(-39). Solve 0 = a*x + 37 - 58 for x.
3
Let q = -51 + 55. Suppose -57*z - q = -59*z. Solve 5*j + z = 22 for j.
4
Suppose -8*m + 11 = 3*m. Solve 0 = -0*j - j + m for j.
1
Let n be (-494)/(-91) + (9/21)/(-1). Solve -n*x - 9 = -2*x for x.
-3
Suppose 0*t = 11*t - 7*t. Solve -5*q = -t*q for q.
0
Let s(x) = x**3 - 2*x**2 - 15*x + 4. Let c be s(-3). Solve 0*u = -u - c for u.
-4
Let t be (-1)/(5/(-45)*3). Suppose -5*f + 4*v = -2*f - 26, -2*v = 5*f. Suppose 5*c + 45 = 45. Solve f*u + t - 11 = c for u.
4
Suppose 4*o + 5*s = 54, -3*o + s + 24 = -7. Solve 0 = -o*a + 14*a + 6 for a.
-2
Let t(j) = -3*j - 11. Let c(o) = -6*o - 21. Let y(k) = 4*c(k) - 7*t(k). Let i be y(-5). Solve -7*h = -3*h - i for h.
2
Let l(n) = -2*n**3 + 4*n**2 - n + 8. Let r(g) = -g**3 - g**2 + g + 1. Let u(h) = -l(h) + r(h). Let y be u(5). Solve -y*a + 13 = -2 for a.
5
Let d be (3/(-2))/(9/(-6)). Suppose 0 = -3*l + 11 + 16. Let t = 3 + 1. Solve l = -t*q 