 4 - q. Solve 0*i = 4*i - p for i.
2
Let p(o) = o**3 + 13*o**2 + 11*o. Let h be p(-12). Solve 0 = -4*s + h + 8 for s.
5
Let i be 1/(-3)*((-5 - -8) + -3). Solve i*c + c = 0 for c.
0
Suppose 5*q = q + 12. Solve q*c + 1 + 5 = 0 for c.
-2
Let r(a) = 3*a**2 - 3*a - 2. Suppose 5*j = j + 12. Suppose 1 + 5 = -j*k. Let p be r(k). Solve -p = n + 3*n for n.
-4
Let s(h) = -5 + 0*h + h + 0. Let m = -11 + 17. Let v be s(m). Solve 2*w + v = -5 for w.
-3
Suppose 7*f = 2*f + 5. Solve 2*r + f = 9 for r.
4
Let m(i) = 2*i**3 - 3*i**2 + 2*i - 2. Let h be m(2). Let q(x) = -x**3 - 2*x**2 + 2*x + 3. Let t be q(-2). Let u = t + h. Solve -o = -u*o for o.
0
Suppose -3*c - 7 = k, 0 = -2*k + 2*c - 0*c + 18. Let z be (6/(-7))/(k/(-70)). Suppose 0 = d - 5*i - 6, 2*d = i - 2*i + z. Solve 2 = -4*q - d for q.
-2
Suppose g + a + 3 = 2*g, -4*a = 4*g - 36. Suppose g = 5*y - 9. Solve 6 = y*r - r for r.
3
Let z(o) = -o + 12. Let i be z(8). Solve 1 = i*y - 3*y for y.
1
Suppose g - 9 = 5. Let b be (-8)/4 - g*-1. Solve -4*m = -m - b for m.
4
Suppose -4*i = -2*i - 234. Suppose 108 = 5*w + x, 3*w + 4*x = -2*w + i. Let n = -7 + w. Solve -4*z - n + 2 = 0 for z.
-3
Let l be 3/(-2)*10/(-3). Let j = 12 - l. Solve 0 = j*y - 2*y - 10 for y.
2
Let n(v) = v**3 + 9*v**2 + 10*v + 12. Let r be n(-8). Let x = -2 - r. Solve -6 = 5*d - x*d for d.
-2
Suppose -3*m = 7*p - 2*p + 7, 5*m + 3*p = -1. Suppose 4*u + 28 = -3*v + 7*v, -4*u + 17 = 5*v. Suppose v - m = y. Solve 0 = -y*o - 4 for o.
-1
Let m(v) = v**3 - v + 2. Let k be m(0). Suppose -k*b = -b - 2. Let g(h) = -h**2 + 7*h - 6. Let y be g(6). Solve y = -3*l + b*l + 1 for l.
1
Let f be (-3)/(-1) + (-3)/(-3). Solve 10 = -f*l + 2 for l.
-2
Let k be ((-2)/7)/(3/(-21)). Suppose 3*z + 8 - 24 = -5*g, 5*z - 14 = -k*g. Solve z*t = t for t.
0
Suppose 2*w + 27 = 1. Let n = w + 29. Solve 2*y = -2*y + n for y.
4
Let c(r) = 16*r**3 + r**2 - 2*r + 1. Let g be c(1). Let s be 15/(-12)*(-4 + 8). Let x be 3 - 4 - 1*s. Solve -x + g = 4*b for b.
3
Let i be 0 - (5 + -3 + -14). Let u = i - 9. Solve u = x + 4 for x.
-1
Let v(l) = l**3 - 9*l**2 + l - 9. Let x = -11 - -20. Let n be v(x). Solve p - 6*p = n for p.
0
Let c(u) = 2*u - 6. Let y be c(4). Let p(d) = -d**3 - d**2 + 3. Let t be p(0). Solve -s = t + y for s.
-5
Let a be (4 - 6)/(-1*(0 - -2)). Solve 0 = 4*r + 5 - a for r.
-1
Suppose -2*r = -6*r + 12. Suppose 3*v + 2*i - 6 = 0, -2*v + 4*v + 5*i + 7 = 0. Let g be (-1)/1*(-2 + 0). Solve -r*u + g*u = -v for u.
4
Let m(x) = 51*x**2 + 1. Let c be m(1). Suppose 0*w + 2*w - 5 = -p, -3*w - 5*p = 3. Suppose -c = -w*f - 4. Solve i + 2*i = -f for i.
-4
Suppose 5*c - t = 6 + 18, 7 = c + 2*t. Suppose h + 16 = c*q - 0*q, -32 = -5*h - 3*q. Suppose 0 = -k + 2*b + 7, b - 18 = -h*k + 1. Solve k*o = 2*o for o.
0
Suppose 1 + 7 = r. Solve -3*k - 7 - r = 0 for k.
-5
Let h be ((-2)/(-4))/((-1)/(-6)). Let c be (40/(-28))/(4/(-56)). Solve 5 = h*z + c for z.
-5
Suppose 121*s = 124*s - 12. Solve -s = -4*k - 0 for k.
1
Let u be (153/(-68))/(6/(-16)). Solve 2*r = -u + 2 for r.
-2
Suppose 2*j - 3*q - 33 = -6, -2*j + 2*q = -22. Suppose c + 480 = j*c. Suppose 4*k + c = 4*n, -2*n - 2*k + 13 + 19 = 0. Solve 2*r - 6*r + n = 0 for r.
5
Let l(f) = 2*f + 1. Let s be l(1). Solve -s*m = -4*m for m.
0
Suppose v - 1 - 2 = 0. Suppose v*p - 12 = -3*l, 2*l = 3*p + l + 4. Solve t + 2 = -p for t.
-2
Let g(y) = -y**2 + 0*y**2 + 7*y - 2*y. Let p be g(5). Solve 0 = -p*v + 5*v - 15 for v.
3
Let x(y) = -3*y**2 - 25*y - 4. Let h be x(-8). Solve -h*b + 4 = -3*b for b.
4
Suppose -15*x = -19*x + 12. Suppose -3*j - 5 = -20. Let a be 2 + 0 - (-2 - -2). Solve x*r - j = -a*r for r.
1
Let z(q) = -q**2 + 3*q - 2. Let y be z(2). Let f = y - -12. Solve f = -0*i + 3*i for i.
4
Suppose 0 = -3*z + 5 + 4. Suppose -3 = z*d, -j + 2*d + 2*d - 10 = 0. Let k = j - -23. Solve 0 = 6*o - 3*o - k for o.
3
Let x(i) = 3*i**3 + i**2 - i + 1. Let m be x(1). Solve 1 = n - m for n.
5
Suppose -5*r + 5 = -3*z, 4*r = -z + 14 + 7. Suppose 5*q + 5 = -5. Let y = 4 - q. Solve -o + y = r for o.
2
Let x(t) = t**3 - 7*t**2 + 6*t - 1. Let l be x(6). Let h = 3 + l. Suppose 0 = -3*k + 4*k - h. Solve -u = -k*u - 5 for u.
-5
Let r(d) = 0*d**2 + d - 14 + 18 - d**2 - 4*d**3 + 3*d**3. Let i be r(0). Solve -i*f + 5 = 21 for f.
-4
Let d = -1 - -1. Let h(v) = v**3 - 2*v**2 + 3*v - 1. Let s be h(2). Suppose -20 = -3*r - s*m, 0 - 9 = -r - 4*m. Solve -r = -d*k - k for k.
5
Let t be (6/(-10))/(2/(-10)). Suppose 0 = -4*k - t - 1. Let l be 1/((-2)/14)*k. Solve -4*z + l*z = -9 for z.
-3
Let t be 0 - (-3)/(-4 + 1). Let u = 4 + t. Solve -u*v = 3 + 6 for v.
-3
Let n(a) = -3*a**3 - 2*a - 1. Let y be n(-1). Suppose -27 = -y*q + q. Let k be -12 + q + (-12)/(-2). Solve 6*t - k*t + 6 = 0 for t.
-2
Let i = -11 - -13. Solve 1 = -i*y + y for y.
-1
Let r(p) = -p + 4. Let a be r(3). Suppose 2*x - x = a. Solve -v + 2*v = x for v.
1
Suppose 23*v = 19*v. Solve 4*m - 4 + 8 = v for m.
-1
Suppose 1 = h - 3. Solve -m = -h*m - 6 for m.
-2
Let k(q) = 0*q + 9 + 2*q - 3*q. Suppose -2*p = 2*p + 2*l - 14, 3*p - 9 = -3*l. Let h be k(p). Solve -h*f = -f + 20 for f.
-5
Let i(f) be the third derivative of -f**4/24 + 7*f**3/6 - 8*f**2. Let c be i(0). Solve -k + 4 - c = 0 for k.
-3
Suppose 0*p + p - 4 = -f, 3*f - 22 = -5*p. Solve 12 = -p*g - 8 for g.
-4
Suppose -3*a = -c - 17 + 1, -5*a + 38 = 4*c. Let o = 11 - a. Solve o = -5*g - 0*g for g.
-1
Let p(k) = -k**2 - 4*k. Let z be p(-3). Let j = z - 7. Let q = -2 - j. Solve -h + q = 4 for h.
-2
Let n = 5 + 0. Let r = 92 + -36. Let w be r/12 + (-4)/6. Solve -6*z + n*z = w for z.
-4
Suppose 4 - 14 = -2*r - 2*o, 0 = 3*r - o - 27. Let a(m) = m - 4. Let p be a(4). Solve 2*l - r = -p*l for l.
4
Let h(c) = -c**2 - 1. Let q be h(0). Let l be 45/(-5)*q/3. Solve -l + 1 = z for z.
-2
Let f be (-39)/(-6) + (-21)/14. Solve 0 = -l - f for l.
-5
Let z = -6 - -3. Let x = z - -5. Solve 0 = 2*b - 4 + x for b.
1
Let w = -15 - -20. Suppose z + w = 23. Solve -z = 4*f - 6 for f.
-3
Let s(n) = n**2 + 15*n + 19. Let w be s(-14). Solve -6 = -w*m + 2*m for m.
2
Let u be 0 + (-1 - -7 - 2). Solve 2*t + 6 = -u for t.
-5
Let t be 16/4 + 5 + 0. Solve t = q + 5 for q.
4
Suppose 4*x + 2 = -2. Let m be ((0/(-2))/x)/(-1). Solve 0 = -m*r - 5*r for r.
0
Let f = -4 + 5. Let n(w) = w**3 + w**2. Let j be n(f). Let c be (7 - 13)/(j/(-2)). Solve 4*g - 2 = -c for g.
-1
Let m be (-2)/(-6) + 55/15. Suppose 2*j = -4*y - 4, -j = -m*j + 3*y + 21. Solve 0 = j*d - 3 - 13 for d.
4
Let h(l) = l**2 - l. Let r be h(-1). Let y be (1*-3)/(-4 + 5). Let m be 3/(y/(-13)) - 1. Solve -r*u - u = m for u.
-4
Suppose 2*o - 3*o = -40. Let m be (o/(-16))/((-1)/4). Solve -6*f + m = -11*f for f.
-2
Let d = -63 - -68. Solve 0 = -8*l + d*l - 3 for l.
-1
Let l = -22 + 23. Solve -l - 1 = -2*n for n.
1
Let t = -84 - -89. Suppose -25 = 3*c - 97. Suppose 5*n = 2*s + s + c, -3*n + 4*s + 21 = 0. Solve -n*r = 2*r - t for r.
1
Let a(q) be the second derivative of -q**3/2 + q**2 + 6*q. Let t be a(-3). Solve -3*x + 5 = t for x.
-2
Let q be 4/6 + (-8)/3. Let w = -5 - q. Let c = 3 + w. Solve c = -2*k + k for k.
0
Let c be 1/3 + 221/39. Solve -c = -5*z + 9 for z.
3
Suppose 5*d - 2*d = 0. Suppose d = 2*i + 3*c - 16, -31 = -5*i + 2*c - 5*c. Suppose 2*w - 4 = -4*n - 2, 4*n - 5*w = -i. Solve 4*f + 3 + 9 = n for f.
-3
Let i = 18 + -11. Suppose -3*w + 29 = -2*u, i = -2*w + 4*u + 29. Let l be (-4)/2 + 2 + 0. Solve l = 4*h - h + w for h.
-3
Let o be 2/((-19)/7 - -3). Solve -15 + o = 2*d for d.
-4
Let g(l) = 2*l - 27. Let k be g(15). Solve 0 = -k*w - 0*w - 6 for w.
-2
Suppose -4*f + 2*l + 24 = -l, 4*f + 2*l = 4. Solve -2 = f*j + 1 for j.
-1
Let t(d) = d**3 - 3*d**2 - 1. Let o be t(3). Let q be -3 + (1*-16)/(-4). Let p be (q + o)/(-1 - -2). Solve -3*r - 9 + p = 0 for r.
-3
Let m = -39 + 41. Solve -m*p = -7*p for p.
0
Let s(g) = -g**2 + 5*g - 6. Let y be s(3). Solve 6*q - q + 25 = y for q.
-5
Suppose -2*z + 4 + 6 = 0. Let l(w) = -w**3 + w**2. Let f be l(0). Let i(b) = -b + 7. Let s be i(4). Solve -s*p - z + 2 = f for p.
-1
Let v be (1 - -1)*35/14. Solve -v = 3*q - 11 for q.
2
Suppose o + 2 = 0, -8*o = -5*v - 10*o + 6. Solve v*g + 0 = 8 for g.
4
Suppose -3*z + 3*w - 8 = -4*z, -3*z + 14 = 4*w. Solve -q = -z*q for q.
0
Let k be 3 + (2 - 1) + 1. Suppose -q = 4*z - 4 + 2, q = -z + 2. Suppose q + k = p. Solve -4*b = p + 5 for b.
-3
Let u = 0 + 2. Let j(w) = 4 +