pose h = 2*h. Suppose -2*a + 6 = 0, 3*o + o + 5*a = 35. Solve h = 3*f - o*f for f.
0
Let y(p) be the third derivative of -p**6/120 - p**5/15 - 5*p**4/24 - 5*p**3/2 - 33*p**2. Let t be y(-4). Solve -t*n + 4*n = 0 for n.
0
Let q be (6*6/9 - 7)*-2. Let k = 59 - 39. Suppose 3*f - k = f. Solve -r + q*r - f = 0 for r.
2
Suppose 6 = -2*t, 8*s = 9*s - t - 6. Solve -q + s = -0*q for q.
3
Let r(y) = -1 - 1 - 3*y + 12*y - 11*y. Let x be r(-2). Solve -5*n = -7 + x for n.
1
Let m be 4/(-6)*2*3. Let s = m - -6. Suppose r = -4*a + 20, 4*r - 6*r + 5*a - 25 = 0. Solve r*z = s*z - 8 for z.
4
Let g be (-3 - 15/(-6))*-4. Let v be 4*4/8*g. Solve 12 = v*o - 8 for o.
5
Let x(i) = 4*i - 6. Let g be x(3). Suppose -q - 2*q = 15. Let h = g + q. Solve -u + h = 6 for u.
-5
Let t(b) = -10 + 9 + 11 - b**2 + 6*b. Let v be t(7). Solve -2*s = v*s for s.
0
Let r(v) = -v**3 - v**2 - v - 1. Let t be r(-1). Suppose t = 4*b - 3 - 9. Solve -b*x - 8 = x for x.
-2
Let c be 9*-1 + (-144)/(-8). Solve 4*d = d + c for d.
3
Suppose 0 = -n - 4*l + 16, 4*n - 40 = -2*l - 2*l. Suppose -8*i = -13*i + 10. Suppose -g + 20 = -0*g + 3*u, -4*u + 10 = -i*g. Solve -n = -g*j + 17 for j.
5
Let d = -17 - -7. Let s be (d/(-4))/(1/2). Let b be (-1 - 3)/(s - 7). Solve 0*t - 8 = -b*t for t.
4
Let u = 72 - 70. Let r be 16/3 + u/(-6). Solve x = -0 - r for x.
-5
Suppose -5*m + j = -82, -3*m + 7*m + 3*j - 58 = 0. Let d be (176/4)/2 - -2. Let y be (-4)/(-6) - d/36. Solve m = -4*s - y*s for s.
-4
Let q be (-3)/(-1) + (-4)/2. Let h = q + 1. Let w be (13 - 1)/24*(1 - 1). Solve w = -2*v - h*v + 8 for v.
2
Suppose -i - 3*i - 5*y - 5 = 0, -3*y - 15 = 0. Suppose -7 - 3 = -i*f. Solve -2*t = -f + 4 for t.
-1
Suppose -5*d = -3*v + 19 - 5, d + 14 = 2*v. Solve 10 = -b + v for b.
-2
Suppose -2*k + 4*k = r + 3, 5*r = -5*k. Let p be (k/2*-2)/(5/(-30)). Solve 0 = -2*d + p*d - 16 for d.
4
Let z(m) = 3*m - 35. Let j be z(14). Suppose 0 = -a + 2*k + j, 3*k = 2*a + 6*k. Solve -2*n = a + 5 for n.
-4
Let p = -37 + 40. Let h be (10/p)/(-6 + (-100)/(-15)). Solve h*n + 15 = -0*n for n.
-3
Suppose -2*f + 10 + 3 = h, 2*h - 4*f - 42 = 0. Suppose 4*s = -s - 75. Let c = h + s. Solve p + c = -1 for p.
-3
Let p = 43 - 42. Let u be p - -8 - (9 - 8). Solve u = -t + 4 for t.
-4
Suppose 641 = 16*t + 273. Solve -27*g = -t*g + 20 for g.
-5
Let f = 7 - 8. Let w be -1 + (5 - 11)*f/2. Solve 4 + 0 = w*a for a.
2
Let z = 14 + -8. Let o be (-21)/z*(-84)/49. Suppose o*b - 17 = 1. Solve b*j - 3 = 6 for j.
3
Let q(h) = 19*h**2 - 33*h**3 - 1 - 21*h + 34*h**3 - 17. Let g be q(-20). Solve 25 = g*z + 3*z for z.
5
Let q(p) = p**3 + 6*p**2 + 3*p + 2. Let l be q(-5). Suppose -g - 5*v + l + 2 = 0, -g = -2*v. Solve -2 = -g*h + 2*h for h.
1
Let v be (48/(-5))/1*-30. Suppose -216 = 2*t - 5*t + 4*d, 0 = -4*t - 4*d + v. Let j be (1/(-3))/((-4)/t). Solve 5*x - j = 2*x for x.
2
Suppose 4*w + 24 + 8 = 0. Let s be 3/w*-4*(-12)/(-9). Solve -y = -s*y - 1 for y.
-1
Let s = -3 + 14. Let h = s + -8. Let b(p) = -p**3 + 3*p**2 + 4*p. Let x be b(4). Solve x*q - q = h for q.
-3
Let u be (15/20)/1 + 349/4. Solve u*q = 85*q for q.
0
Suppose 0 = 3*g + 3*x + 9, 4*g - 15 = 2*x + 3*x. Suppose -5*q + 2*a = -13, 0 = -g*a - 4*a + 4. Solve -m - 5 = -q for m.
-2
Let f(r) = -11*r**2 + r. Let n(b) = 5*b**2 - b. Let x(q) = -4*f(q) - 9*n(q). Let m be x(4). Solve -s = 7 - m for s.
-3
Let s be 6/(-4) - 44/(-8). Let k be (s/5)/(2/(-10)). Let l be 2/(-1) - k - -2. Solve -6 = 2*j - l for j.
-1
Suppose 4*d - 2*d = 0. Solve -4 = -m - d for m.
4
Suppose 4*f = -15 - 5. Let t(a) = -a**2 - a. Let i be t(f). Let h = -18 - i. Solve -g + 2 = -h for g.
4
Suppose 0 = 17*m - 30*m + 26. Solve 2*j = m + 4 for j.
3
Suppose -14*i + 31 = -81. Solve 16*r + i = 14*r for r.
-4
Let r(t) = 2*t**3 + 17*t**2 - 10*t - 9. Let u be r(-9). Solve h - 3*h + 4 = u for h.
2
Let y(m) = 2*m**2 + 6*m + 8. Let k be y(0). Solve -11*u + k*u = 12 for u.
-4
Let t(z) = -4*z**2 + 28*z + 29. Let j(v) = -6*v**2 + 42*v + 44. Let i(n) = 5*j(n) - 8*t(n). Let h be i(8). Solve y + h = -y for y.
-2
Let n(o) = -14 - 9 + 16 + 4*o. Let m be n(4). Let s(j) = j**3 + 7*j**2 + 3. Let l be s(-7). Solve 3 = l*f + m for f.
-2
Suppose -2*i - 6 + 4 = 0, 5*x + i - 39 = 0. Solve 3*r = x*r + 15 for r.
-3
Let z = 455 + -450. Solve 9 = -z*n + 8*n for n.
3
Suppose 0 = -r - 0 + 4. Let i(k) = k**3 + 5*k**2 + 3*k - 4. Suppose 6 - 22 = 4*z. Let b be i(z). Solve b*y + 12 = r*y for y.
3
Suppose 796*a - 24 = 794*a. Solve 4*g = 28 - a for g.
4
Suppose 4*a + 4*j = -5 - 3, -14 = -5*a + j. Suppose 5*r - 17 + a = 0. Suppose 0*k + k = r. Solve k = 5*z - 2 for z.
1
Let i be (-3)/4 - (-1715)/196. Solve -i*l = -4*l - 8 for l.
2
Let d(k) = -2*k + 0 - 4 + 4*k. Let z be d(3). Suppose -s - 2*m = 0, s + 5*m = 2*m. Solve s = n + 3 + z for n.
-5
Suppose 0 = -2*o + 5*o - 18. Let n(x) = x**3 + x**2 + 2. Let y be n(0). Suppose o*f - 33 = f + 4*l, -y*f + 12 = -l. Solve -6*v + f = -v for v.
1
Suppose -6*n = -2*n, -6 = -3*b - 2*n. Solve -4*g = -3*g + b for g.
-2
Let v be 6/(-8) - 60/(-80). Suppose v = -7*d - 45 + 150. Solve -5*h = -10*h + d for h.
3
Suppose 0 = -3*f, 4*h + 5*f - 104 = f. Suppose 3*c - 5*g = -8, 5*g = -4*c - 0*g - 69. Let y = h + c. Solve -w + y = 2*w for w.
5
Let t(s) = -s**3 + 11*s**2 - s + 6. Let f = 9 - -2. Let q be t(f). Let n = q + 5. Solve y = -n*y - 4 for y.
-4
Let i(n) = -2*n**3 - 10*n**2 - 6*n + 4. Let s be i(-4). Let j(d) = d + 8. Let w be j(s). Solve h - 20 = -w*h for h.
4
Let q(x) = -x**3 - 10*x**2 - 8*x - 75. Let p be q(-10). Solve -8 = 3*f - p for f.
-1
Let g be (2/(-3))/((-5)/60). Let f = g - 8. Solve -5*q - 5 - 15 = f for q.
-4
Let j(s) be the first derivative of -s**2/2 + 6*s - 1. Let n be j(0). Let v = -11 + 14. Solve -v*w = -n*w for w.
0
Let m = -30 - -35. Suppose u - 3 = s, 0*s - 3*u = -s - 9. Suppose s = -2*y - 0*y + 30. Solve 0*v = m*v + y for v.
-3
Let u = -74 - -76. Solve -6*z - u*z = 16 for z.
-2
Let f = 349 - 345. Solve -1 = f*y + 7 for y.
-2
Let r be (0*(-5)/25)/(-25 - -23). Let o = -6 + 10. Solve -o = 4*a - r*a for a.
-1
Let p = 147 - 146. Let o be (-6*(p + -2))/((-108)/(-180)). Solve 2*f + o = -0*f for f.
-5
Suppose -4*p + 0*p = 5*p. Solve 0 = -4*h - p*h + 12 for h.
3
Let u(k) = 2*k**2 + 4*k - 25. Let x be u(3). Solve 2*a + 12 = x*a for a.
4
Let f be 360/216 + (8/6)/1. Solve 4*a - 17 = f for a.
5
Suppose 0 = r + 4*r - 10. Let w be 3 - (5 + -3)/((-8)/4). Solve -r = w*t + 6 for t.
-2
Let f = 1721 - 1718. Suppose 3*r - 5 = -5*o, 0 = -3*r - r + 3*o + 26. Solve -r = f*s - 14 for s.
3
Let s = -758 - -788. Solve 0 = 28*d - 18*d + s for d.
-3
Let b = -116 + 123. Solve 18 - 53 = b*i for i.
-5
Suppose 5*l + 59 = 14. Let q be (l/15)/((-1)/10). Solve 20 = -q*k + k for k.
-4
Suppose 17 - 5 = 6*q. Suppose -4*y = -q*y - 4*p - 16, 0 = 2*y - 3*p - 15. Solve 3 - y = d for d.
-3
Let y be (-1 + -3)*((-12)/(-8) + -2). Suppose -5*d + 4 = -3*h, -3*h + y*h - 4*d + 10 = 0. Solve -2*r = -4*r - h for r.
-1
Suppose 3*u + 15 = -3. Let n be 6 + (u - 2/(-2)*2). Solve -n*d = -6*d - 8 for d.
-2
Let t(w) = w**2 - 6. Let i be t(-3). Let l(x) = -x**3 + 10*x**2 + 11*x. Let c be l(11). Suppose 0*p - 2*p = 0, -2*y + 14 = 3*p. Solve c = -b - i + y for b.
4
Let h(s) = -5 - s + 6 - 2 + 2 + s**2. Let f be h(-3). Let z = f + -4. Solve -2*y - z + 3 = 0 for y.
-3
Suppose 4*r = -r. Suppose 3 = -5*s + 23, 3*o = 5*s + 43. Let l = o + -17. Solve l*t + 0*t = r for t.
0
Suppose 4*u = -5*v + 36, 2*u + 2*u - 8 = 2*v. Let j(c) = c**3 - c**2 + 1. Let a be j(2). Suppose 36 = a*m + p, -3*m = -m + 3*p - u. Solve o = -o - m for o.
-4
Let v be 528/(-33) + 21 - (0 - (-1 + 0)). Suppose -5*c = -4 - 11. Suppose 0 = 5*i - c*i - 8. Solve v*u - i = 4 for u.
2
Suppose -5*w + 2*l = -12 - 3, -2*w = -l - 6. Let n(r) = -r**2 - 12*r - 9. Let v be n(-8). Let p = 28 - v. Solve -w*o - p = -8*o for o.
1
Suppose 5*y - o - 25 = 0, -7*o + 5*o - 2 = 2*y. Let i be y/(-38) + 120/57. Solve -i*l + 20 = 3*l for l.
4
Let g be -4 + 6/(-24)*-20. Suppose 5*l + 0*q - 4*q - 18 = 0, 5*l - 16 = 3*q. Solve y - l = -g for y.
1
Let o(c) = c**3 + 8*c**2 - c - 9. Let s be o(-8). Let t be (-11 - s)*3/(-2). Solve -5 = -5*x + t for x.
4
Let j(s) = 144*s + 32. Let r(n) = 13*n + 3. Let p(c) = -3*j(c) + 32*r(c). Let w be p(1). Let q be (-27 - -25)*w/2. Solve -7*f = -3*f + q for f.
-4
Let y = -41 - -29. Let m be ((-3)/y*0)/(-1). Let g(c) = -c**3 - 4*c**2