4*o + s for o.
-1
Let o(w) = w**3 + 19. Let r be o(0). Let c be 2/6*(-4 + r + 0). Solve c*x - x = 0 for x.
0
Let s = -25 - -25. Suppose s*j - 3*j = 0. Solve b + b = j for b.
0
Suppose -2*f = 4*w + 2*f - 40, -23 = -2*w - 3*f. Let k = 529 - 529. Solve -4*d + 1 + w = k for d.
2
Suppose 0 = -5*a + 12*a - 21. Suppose -5*y - a*x = -55, 0 = y + 2*y + x - 33. Solve 3*f = 2 - y for f.
-3
Let v(q) = q**3 + 5*q**2 - 2*q + 5. Let j be v(-5). Suppose j = 8*b - 5*b. Solve b*s = 1 - 6 for s.
-1
Let v be 0/(16/10 - (-27)/(-45)). Solve -12*f + 18*f - 30 = v for f.
5
Let k = 261 - 244. Solve k = -6*q - 7 for q.
-4
Let s = 3 + -5. Suppose -w + 4 = -5*r + 19, 3*r - 7 = w. Let j = s + r. Solve -j*l = -0*l for l.
0
Suppose 8 = -m + 2*p, 3*m - 4*p + 15 = -7*p. Let c be (-5 + 3)*3/m. Let d be (-2 - c) + (-6)/(-2). Solve d*x - 2*x = 2 for x.
-1
Let x(y) be the first derivative of -y**4/4 - 10*y**3/3 - 9*y**2/2 + 2*y - 2. Let k be x(-9). Solve a + 5 = k*a for a.
5
Let z = 174 - 170. Solve 0*o = -z*o for o.
0
Let d(n) = n**3 - 15*n**2 + 9*n - 8. Let j(x) = x**3 - 14*x**2 + 9*x - 7. Let m(y) = 4*d(y) - 5*j(y). Let o be m(9). Solve -h - 1 - o = 0 for h.
-4
Suppose 19*n = 5*n - 1372. Let k = 100 + n. Solve k*z + 1 = 3 for z.
1
Let l(c) = -2*c + 1. Let v be l(-1). Suppose 15 = -v*j, 3*j = -5*r - 2*j - 10. Let t be (0 - (-10)/(-2))/(-1). Solve t + 1 = r*g for g.
2
Let m(g) = -2*g**3 + 12*g**2 + 4*g - 18. Let n be m(6). Solve -n = 4*b + 2*b for b.
-1
Let c be (84/63)/(4/18). Solve -s = -3*s + c for s.
3
Suppose -5*k + 4*k = -3*u + 111, -4*k - 178 = -5*u. Let o = 40 - u. Solve o*h = 6*h for h.
0
Let f(c) = c**2 - 3*c - 3. Let a be f(-1). Suppose n - a = -2*h, 4*n - 4 = 3*h + 2*h. Solve -q + n = 6 for q.
-5
Let j = 28 - 15. Let p = 13 - j. Solve p = 5*m + 9 - 29 for m.
4
Let s = -21 - -36. Suppose 0 = -5*r - 4*j - 2, -s = 3*r - 6*r + 3*j. Suppose 3 = r*b - 9. Solve 0 = -i - 2*i + b for i.
2
Let u(z) = 2*z**2 + 126*z - 491. Let n be u(-67). Solve 9*t + 0*t - n = 0 for t.
5
Suppose -2*r - r = -2*m - 326, 0 = -r - 4*m + 90. Suppose 0 = -a - 5*g + 35, 2*a + 3*a + 2*g = r. Solve -3*b - b - a = 0 for b.
-5
Let a be (288/(-15))/((-2)/(20/3)). Let d = 70 - a. Solve -20 = -d*p + 2*p for p.
5
Let f be 920/90 - (-4)/(-18). Suppose n + 3*n = -5*w + 49, w = n - f. Solve n*d - 8*d = -9 for d.
-3
Let n be 17 - (5 + (-4 - -8)). Solve -24 = -n*x - 40 for x.
-2
Let l = -6 + 10. Suppose -5*j + 18 = -l*w, -w = 2*j - 0*j - 2. Solve 0 = -b - j + 6 for b.
4
Let q(v) = v**3 - 5*v**2 - 5*v. Let t be (-1 + -5)/(9/(-12)). Let d = t - 2. Let g be q(d). Solve 0*r - 3*r = g for r.
-2
Suppose 0 = 5*k + 8*l - 7*l - 40, -2*k - 6 = -4*l. Suppose -3*q + k = 1. Solve -9*t = -7*t - q for t.
1
Let m = -2 - -3. Suppose -5*p + 3*p = 0. Let g = 4 + p. Solve -h - m = -g for h.
3
Let n = 417 - 411. Solve 0 = n*w + 2 + 16 for w.
-3
Suppose -292*y = -282*y - 70. Solve y*j - 15 = 4*j for j.
5
Let c be 16/(-10)*(-10)/4. Suppose 3*b + 0*b = c*i + 65, 4*b = -i + 74. Suppose 2 = -2*q + 10. Solve q = -5*r + b for r.
3
Suppose 4*o + 18 - 2 = 3*x, 0 = -3*x + 3*o + 12. Solve -n - n + 10 = x for n.
5
Let r(l) = -l**3 + 6*l**2 - 3*l - 6. Let p be r(4). Let h(d) = d**2 - 12*d - 13. Let u be h(p). Solve -6*i = -11*i + u for i.
3
Let j = -52 - -38. Let t = j + 16. Solve 16 = t*h + 2*h for h.
4
Let p be ((-1)/(-2))/((-16)/(-192)). Solve -16 = p*q - 4 for q.
-2
Let y(i) = 5*i**3 + 5*i**2 + 2*i + 1. Let v be y(-2). Let r = -20 - v. Solve 2*o = r*o + 2 for o.
-2
Let c(x) = x**3 + 3*x**2 - 5*x - 2. Let r be c(-4). Suppose 0 = r*y - y. Suppose y = z + z. Solve o + 5 - 1 = z for o.
-4
Let o be (6/5)/(2/5). Suppose o*q = q. Let n = 244 + -240. Solve q = -n*p - 2 - 18 for p.
-5
Suppose 15*z + 8 = 16*z. Let m be 1/2*(-6)/(-24)*z. Solve b + 0 = -m for b.
-1
Let t = 3 - -5. Suppose 0*l - 2*g + 7 = -l, -2*l - t = -g. Let n = l - -5. Solve -5*c = -n*c for c.
0
Let j = -112 + 115. Solve j*h = -h + 12 for h.
3
Suppose r - 5*k - 13 = 0, 242*k - 239*k + 26 = 2*r. Let q be (-1 + 4)*(-1 - -2). Solve -q*v = -r - 2 for v.
5
Let i be ((-4)/18)/(16/(-1872)). Solve -i*y = -30*y for y.
0
Let q(t) = 5*t**2 + 3*t + 3. Let u be q(-2). Suppose 4*b + w = -8 + 27, -4*b - 3*w = -u. Let i be 3*b/(-15)*0. Solve i = 3*j + 3 + 3 for j.
-2
Let r(m) = -3*m**2 - 38*m - 20. Suppose 4*n = -51 + 3. Let o be r(n). Solve -11 - 5 = -o*c for c.
4
Let d(n) = -7*n + 7. Let c(f) = -7*f + 6. Let h(r) = -6*c(r) + 5*d(r). Let a be h(1). Solve -g + 1 - a = 0 for g.
-5
Let d be (2 - -1)/1 + 0/(-1). Let g = d - -2. Suppose -3*s + 6 = -33. Solve -g*z - 7 = s for z.
-4
Suppose -2*y - 30 = 3*y. Let r(g) be the second derivative of -g**4/12 - 4*g**3/3 - 4*g**2 + g. Let k be r(y). Solve -u - 10 = k*u for u.
-2
Let k be 436/28 - (2 - 68/28). Solve -k = 2*m + 2*m for m.
-4
Let a be 32/14 - (-8)/(-28). Solve 0 = -a*y + 15 - 17 for y.
-1
Suppose -r - 12 = 4*j - 1, 12 = 4*r + 2*j. Solve -4*k + r = 5 for k.
0
Suppose 4*j - 2*j = -32. Let x = j + 25. Solve 0*m - x = 3*m for m.
-3
Let u = -30 + 42. Solve u*y - 10*y = 10 for y.
5
Let j be (-13)/(-4) - (-2)/(-8). Suppose -4 = -3*i + 4*v, -1 - 2 = -3*i + 3*v. Let s be 24/(-14)*(-7)/2. Solve s = -j*t - i for t.
-2
Suppose -37*h + 40*h = 9. Let m(o) be the third derivative of -o**5/60 - o**4/3 - o**2. Let t be m(-6). Solve -6*w + h*w = t for w.
-4
Suppose 5*k = 5*j + 10, 0 = 4*j + j + 4*k - 35. Suppose -2*v + 0*v = -f - 7, -j*v + 3 = -4*f. Suppose v*d - 12 = d. Solve -d*u - 11 = 1 for u.
-4
Let a = 48 - 42. Let l(c) = c**3 - 5*c**2 - 5*c - 3. Let w be l(a). Solve 3*s + w = -6 for s.
-3
Suppose -14 = -3*k + 5*v + 7, 0 = v + 3. Suppose -5*u = -p - 18, -u + p = k*u - 10. Solve -s + 15 = -u*s for s.
-5
Let l be (48/(-84))/(2/(-7)). Solve -7*d = -6*d + l for d.
-2
Suppose -a + 0*a - 6 = 0. Let u(w) = 2*w**2 + 21*w - 9. Let c(k) = 2*k**2 + 20*k - 8. Let h(b) = a*c(b) + 5*u(b). Let o be h(-7). Solve -5*m = -0*m + o for m.
-2
Suppose -9*o + 96 = -3*d, -d - 50 = 7*o - 12*o. Solve -o*f - 5 = -8*f for f.
-5
Suppose -29*x + 2 = -28*x. Solve x - 14 = 3*t for t.
-4
Let g(i) = i**3 - 9*i**2. Let a be g(9). Suppose 0 = -u + 1, -5*l + 11 = -a*l + u. Solve 0*z = l*z for z.
0
Let y be 16/(-6)*(5/10 + -2). Solve 0 = 5*d - y - 21 for d.
5
Let v = -91 - -92. Solve -v = -q - 0*q for q.
1
Suppose 11*m - 10*m = -5*u + 893, -4*u - 3*m + 710 = 0. Let i = 181 - u. Let w be 2/(-4) - (-10)/4. Solve -2*v = w + i for v.
-2
Let t(y) = -2*y + 1. Let q be t(-8). Suppose -m - 5 = -4*g, 0*g - q = -g - 5*m. Let c = -11 + 18. Solve -c*x - 20 = -g*x for x.
-4
Let j = -8 - -14. Suppose -5*i = -6*i + j. Let w(f) = -f**3 + 7*f**2 - 4*f - 8. Let h be w(i). Solve 5*t - 2 = h*t for t.
2
Let m be -1 + 1 - (-10 + -8 + -5). Solve -m*j = -35*j + 60 for j.
5
Let i = 22 + -16. Suppose 0*w = -i*w. Suppose 5*o - o = w. Solve o = 4*h + h + 10 for h.
-2
Suppose 2*h - 2 = -2*m, -2*m - 8 = 2*m. Suppose 22 = h*u - 11. Solve 5*w + 4 + u = 0 for w.
-3
Let m be 8 + (0/1 - 2). Let f be (4 + -2 - (7 + -3)) + 8. Suppose -z + f = -4. Solve m*r - 4*r = -z for r.
-5
Let x be (-714)/(-10) + (-12)/30. Suppose -4*m = 4*a + 36, 4*m + 2*a + x = 5*a. Let g be (-18)/m + 16/(-56). Solve -2*h = -3*h + g for h.
1
Let o = -1918 - -1921. Solve -51 = -o*l - 60 for l.
-3
Suppose -7 - 69 = -2*f. Suppose 5*o = f + 37. Solve u + o = -4*u for u.
-3
Let j be 6*1/(9/6). Suppose -4*u - 14 = 3*y, 3*u + 12 = 3*y - 9. Let z = j - y. Solve -z*k + 3 = 7 for k.
-2
Let v(f) = -f**2 - 12*f. Let t be v(-12). Solve t = -54*d + 45*d + 9 for d.
1
Let s(w) = 5*w + 4. Let x be s(0). Solve -x*l + 10 - 18 = 0 for l.
-2
Let w(n) = n**3 - 9*n**2 + 9*n + 6. Let z = -26 - -34. Let c be w(z). Solve 1 = -5*p - c for p.
-3
Let x be 144/(-84)*(-14)/6. Solve 5*g = x*g - 3 for g.
-3
Suppose 7*j = -13*j. Solve -12*x + 11*x - 4 = j for x.
-4
Suppose -66 + 17 = -3*w - v, -8 = -2*v. Let o be 0/1 - (3 - w). Solve 2 = 2*r + o for r.
-5
Let r(h) = 2*h**2 + 29*h + 7. Let f(g) = g**2 + 15*g + 3. Let z(y) = 5*f(y) - 3*r(y). Suppose 12*n = 15*n + 33. Let o be z(n). Solve o + 1 = -2*a for a.
-3
Let r(o) = o**3 - 9*o**2 - 3*o - 43. Let x be r(10). Solve -x = 3*h - 15 for h.
-4
Let k be -54*(-15)/72 + (-2)/8. Solve r + k*r - 2*r = 0 for r.
0
Suppose 5*d = -4*r - r + 105, -2*d = 3*r - 46. Suppose 7*v + 80 = d*v. Solve -q - 3*q = v for q.
-2
Let n = 21 - 2. Suppose 4*l - 2*d - 4 = 