d be r(o). Solve 0 = d*c - c for c.
0
Let y = 8 - -1. Suppose -i - 8 = i - 4*r, r = 2. Suppose i = -5*w + 54 - y. Solve 2*f + w - 1 = 0 for f.
-4
Let i = 3 + 56. Let n = i - 55. Solve -12 = -n*a + 4 for a.
4
Suppose 4*b - 5*b + 4 = 0. Let d be (-12)/21 + b/7. Solve d = 4*k - 19 - 1 for k.
5
Let n = -328 - -334. Solve -i + 20 = -n*i for i.
-4
Let b(v) = -17*v - 21. Let r be b(-3). Solve 5*s + r = -s for s.
-5
Let f = -53 + 53. Solve -17*t + 13*t - 12 = f for t.
-3
Let g(x) = 7*x**3 - x**2 - 1. Suppose 9*b = -5*j + 4*b + 30, 2*j - 3*b + 13 = 0. Let i be g(j). Solve 12 = -i*y + 2 for y.
-2
Let q = -54 - -79. Suppose 5*g - 25 = c, 5*g + 6*c = 2*c + q. Suppose -g*l + 13 = 3. Solve -3*o = l*o for o.
0
Let o(n) = -4*n - 44. Let c be o(-13). Suppose -20 = -5*m - z + 4*z, 2*z = -2*m + c. Solve -3*b = -2*b + m for b.
-4
Let y(r) = r**3 + 5*r**2 - 7*r + 7. Let u be y(-6). Let h = u + -6. Solve 2*v - h = -3 for v.
2
Let t be ((-40)/12)/(-2)*9. Solve -t*w - 4 = -13*w for w.
-2
Let w be (3 - (4 - 6)) + 3. Solve 13*f = 11*f - w for f.
-4
Let x(l) = -2*l - 29. Let s be x(19). Let n = 77 + s. Solve c = -c + n for c.
5
Let v be 22/18 + (-8)/144*4. Let l(a) be the first derivative of a**3/3 + 5*a**2 + 9*a + 3. Let p be l(-9). Solve p = 2*m - 3 + v for m.
1
Let z be -29 - -1 - (1 - 0). Let y = -13 - z. Suppose -4*u - y = -8*u. Solve 5 = 3*m - u for m.
3
Let v(i) = -21 + i + 2*i - 3. Let h be v(8). Solve 3*g - 7*g + 20 = h for g.
5
Suppose -3 = -2*j - 4*y - 7, 5*j - 50 = 5*y. Solve -13*i + j*i = -14 for i.
2
Let k(r) = r**2 - 5*r - 8. Let c = -1 + 5. Let u be k(c). Let j be (-2)/(2/u*3). Solve 0 = j*a + 11 - 3 for a.
-2
Let z(n) = n**3 - 1. Let f be z(-2). Let h be (-1)/3 + (-219)/f. Let s = h + -21. Solve -v = -s*v for v.
0
Suppose 2*x = -5*u + 869, 0 = -2*u + 6*u + 5*x - 685. Suppose -u = 4*o - 11*o. Solve -o = -6*r + r for r.
5
Let m = -917 + 925. Solve 6*j = 14 - m for j.
1
Suppose 120*g = 110*g. Solve g = -3*c + c for c.
0
Let j = -21 + 20. Let p = j + 0. Let x(l) = -l**3 - l. Let d be x(p). Solve -10 = 3*b + d for b.
-4
Let o(p) = 3*p**3 - 6*p**2 - 14*p + 10. Let q be o(4). Solve -60 = 22*x + q for x.
-5
Suppose 0*a - 16 = -8*a. Suppose b - 2*w - 9 = 0, -3*b + 4*w + 32 = 9. Suppose a*p - 5 = -k, -p = -0*k - k + b. Solve k*r + 16 = r for r.
-4
Suppose 19 = t - 13. Let o = -27 + t. Solve 13 + 2 = o*w for w.
3
Let z = 11 - 7. Suppose 0 = -164*j + 159*j. Let l be 2/(-5) + 24/10. Solve j - z = -l*d for d.
2
Let d = 513 - 511. Solve 11 = -d*v + 3 for v.
-4
Suppose -1023 = h - 12*h. Solve h*a - 97*a + 12 = 0 for a.
3
Let g(m) be the third derivative of m**5/30 + m**4/3 - 5*m**3/2 + 16*m**2. Let l be g(-6). Solve -5*h + 6 = -l for h.
3
Suppose -1 = j, 9*j - 40 = -5*z + 4*j. Solve 3*n + 6 = z*n for n.
1
Let o(g) = g + 15. Let z be o(-12). Suppose 0 = -z*r - 6 + 15. Suppose -r*u + 4*u = 0. Solve q + 0*q - 4 = u for q.
4
Let g(p) = -p**3 + 2*p. Suppose 2*w = 3*n + 13 - 3, 3*w - 8 = n. Let x be g(n). Suppose -x*s = 2 - 10. Solve 15 - 5 = -s*j for j.
-5
Let t(l) = 2*l**2 + 3*l - 1. Let c be t(-3). Suppose -4*w + 5*o = -10 - c, w + o = 0. Solve -g - w = -3*g for g.
1
Suppose -15 = -5*y + 2*y. Solve -7 - 3 = -y*t for t.
2
Let o = 2640 - 2626. Solve -o*c = -c for c.
0
Suppose 19*q - 27*q + 64 = 0. Solve -2*r = -q*r + 30 for r.
5
Let p(g) = 4*g**2 + 7*g - 16. Let l(i) = -7*i**2 - 13*i + 32. Let w(f) = 3*l(f) + 5*p(f). Let q be w(-6). Solve 0 = -d - 9 + q for d.
-5
Let x = 1379 + -1357. Solve -3*y = -x + 7 for y.
5
Suppose -26 = -m + 5*x, -1 = -x - 3. Suppose 0 = 4*f - m. Solve -2*q = -f*q - 8 for q.
-4
Suppose 0 = -j - 4, 7 + 0 = -3*r - 4*j. Let a(m) = 4*m - 7. Let q be a(r). Solve c + 16 = q*c for c.
4
Let r be (-66)/(-6) - (2 + 0). Suppose 4*h - r = -1. Let w(y) = -y**2 + 7*y - 5. Let n be w(6). Solve 0 = -f - n + h for f.
1
Let g = 11 + -13. Let v be 44/(-11) - 14/g. Solve -v*q - 12 = -0*q for q.
-4
Let k(v) = -9*v. Let m be k(1). Let w = 27 + m. Let s = -13 + w. Solve -7 = -3*x + s for x.
4
Let p(b) = -2*b**3 + b + 1. Let h be -7*4/(-14)*2. Let a be 2/(-4)*(-2 + h). Let o be p(a). Solve 0 = o*q - 3*q for q.
0
Suppose 3 = k - 4*k - 3*l, -5 = -2*k + 5*l. Let j(g) = -2*g**2 + 46*g + 6. Let u be j(23). Solve k*f = 3*f - u for f.
2
Let n(s) = -s**2 + 29*s. Let v be n(29). Solve 5*h + v = -20 for h.
-4
Let s(a) = 5*a**2 - 18*a + 20. Let i(w) = 4*w**2 - 17*w + 21. Let j(g) = -4*i(g) + 3*s(g). Let x be j(12). Solve d + x + 4 = 0 for d.
-4
Suppose -2*y - 483 + 469 = -3*d, -y - 4 = -d. Solve 17*b - 14*b + d = 0 for b.
-2
Let g be (6/(-10) + -1)/((-34)/170). Let a be (-4)/(((-160)/15)/g). Solve -5*f = -a*f + 4 for f.
-2
Suppose 2 = -5*h - 8. Let m be h/7 + 81/63. Let q(j) = j**3 - 13*j**2 - 15*j + 16. Let z be q(14). Solve n - z = -m for n.
1
Let z(x) = -x**3 - 10*x**2 + 12*x + 16. Let n be z(-11). Suppose 0 = -p - 3 - 3. Let l be 2/p + (-1)/(-3). Solve 0 = n*h - l*h + 5 for h.
-1
Let c(k) = 3*k**2 - 23*k. Let w(d) = -2*d**2 + 15*d. Let x(n) = -5*c(n) - 8*w(n). Let z be x(6). Solve -v = -z*v - 10 for v.
-2
Suppose -2*y + 17*y - 285 = 0. Solve 5*m - y + 44 = 0 for m.
-5
Let j(f) = -f**3 - 18*f**2 - 19*f - 6. Let z = 27 + -44. Let x be j(z). Solve -5*d = -x + 8 for d.
4
Let n = -101 + 108. Solve -n*w + 3*w + 20 = 0 for w.
5
Let r be (4/(-3))/(4/108*-6). Solve r = -2*z + 8 for z.
1
Let m be (-13 - -3) + 2*1. Let n be (-20)/(-16) + 2/m. Solve n = -5*a - 4 for a.
-1
Let a(v) = -v**3 - 3*v. Let y be a(0). Suppose 0 = -4*x - 0*x + 5*r + 11, y = 4*x - r - 15. Solve -4*w + 0 = x for w.
-1
Let u(n) = 7*n**3 - 2*n**2 + 6*n + 3. Let l(y) = -y**3 + y**2 - y - 1. Let i = 1 + -2. Let o(k) = i*u(k) - 6*l(k). Let b be o(-4). Solve x = -b*x for x.
0
Suppose 2*q = 5*q - 18. Let x(z) = 6*z - 33. Let k be x(q). Solve -k*i - 3 = -6*i for i.
1
Let x(m) = m**2 + 3*m + 2. Let k be x(2). Suppose 0 = 5*q + 24 + 21. Let h = k + q. Solve 0 = -0*a - h*a for a.
0
Suppose -3 = 4*f + 5, 2*f = -3*h + 23. Suppose -w + 6*p + 17 = h*p, -w - p = -11. Solve -w*s - 5 = -3*s for s.
-1
Let s = -693 + 717. Solve 0 = -s*a + 12*a + 11*a for a.
0
Suppose -2*k + 27 = k. Let f be (-2 + -5)/(1/(-1)). Suppose -4*s - 3*d + 11 = -4, 0 = -s - 4*d + f. Solve 3*l = -k - s for l.
-4
Suppose -g + 20 = t, -t = 158*g - 162*g + 80. Suppose z - 2*z = -5. Solve -z*a - g = -a for a.
-5
Let a(p) = -p**3 - 11*p**2 + 7*p + 177. Let g be a(-10). Solve -g*w + 13*w = 6 for w.
1
Let f = -6 - -6. Suppose 0 = 4*b + 4*i - 4 - 4, -3*i = 4*b - 10. Suppose -3*a + z - 1 = f, -2*z - b + 6 = -5*a. Solve -k - k = a for k.
0
Let k be (-6 - (1 - 3)) + 17. Suppose k = 5*t - 17. Solve -14 = -5*z + t for z.
4
Suppose -3*g = -5*n + 62, 2*n + n - 34 = 5*g. Solve o - 13 = -n for o.
0
Let c(k) = k + 1. Let r(a) = -6*a - 57. Let j(q) = -3*c(q) - r(q). Let w be j(-17). Solve w*v = -4 + 1 for v.
-1
Let k(w) = w**3 - 26*w**2 - 27*w + 4. Let m be k(27). Solve 0 = -5*b + 19 - m for b.
3
Let f be 3 + 14/(3/3) - 2. Solve 0 = -6*n - 39 + f for n.
-4
Suppose -g + w = 9 - 6, 2*w - 6 = 3*g. Solve k - 4 + 6 = g for k.
-2
Let k be ((-325)/(-39) - 7)*3/2. Let o be -1 - 3/((-6)/8). Solve 3*q + o = k*q for q.
-3
Suppose 2*y - 14 = -4*g, 5*y - 6*y + 5*g = 7. Solve -a + 0 = y for a.
-3
Suppose 0 = l + j - 1, -2*l + 3*j - 2*j = -5. Solve -l*a = 2*a for a.
0
Suppose x - 3*x + 28 = 0. Suppose x*r - 8*r - 54 = 0. Solve r*i - 4*i = 20 for i.
4
Let w be (-174)/(-84) - (-2)/(-28). Suppose 0 = 2*a + 2*a - 16. Suppose -a*h = -2*j + 16, -5*j - w*h - 2*h - 2 = 0. Solve 2 = j*v - 3*v for v.
-2
Let n = 22 + 8. Let o = n - 21. Let y = -9 + o. Solve 3 = -g - y for g.
-3
Let p(u) = u**3 - 11*u**2 + 18*u - 1. Let a be p(9). Let w be 64/96 - (14/(-6) + a). Solve -w*l = 3 + 9 for l.
-3
Suppose 3*h + b - 44 = -0*b, -h + b = -20. Let w be (40/16)/((-2)/(-4)). Suppose w*f = -h + 91. Solve f + 5 = -4*t for t.
-5
Suppose -6 = -2*i + 2. Suppose 2*h - 38 = 4*v, 2*h + 0*h + 3*v = 3. Solve h = f - i*f for f.
-3
Let t be (1/4*-2)/((-2)/12). Suppose 0*n - 6 = 3*n + 5*q, -t*n - 3*q = 0. Solve 2*a = a - n for a.
-3
Suppose z + 9 = 2*s, -2*s + 4*z + 9 + 3 = 0. Suppose -1230 - 290 = -76*u. Solve -u = -0*o - s*o for o.
5
Suppose -1 + 10 = -x + 3*h, 3*x = 3*h + 3. Let q = x - 4. Suppose q*t = 6*t - 24. Solve 5*w + 14 + t = 0 for w.
-4
Let s be -5*1*4/(-10). Let v be 0 - -28 - s/1. Let h = 624 - 620. Solve h*q + 10 = v