ve 3*l - v = 4 for l.
3
Suppose 3*b = -f + 5, -5*b + 14 = -f - 3*f. Solve b*j + 12 - 2 = 0 for j.
-5
Suppose 3*m - 4 = -4*q, -3*q - 12 = -2*q + 4*m. Suppose -w + q*w - 9 = 0. Solve 0 = 2*d + w - 1 for d.
-1
Suppose 0 = 8*y - 3*y. Solve -15 = -3*h - y*h for h.
5
Let y be (60/(-3))/(-2)*18/45. Solve y*d + 9 = 29 for d.
5
Let p = 78 - 70. Solve -v = -5*v - p for v.
-2
Suppose 2*n = 3*n - 3*c, -3*c = 4*n. Let y = n - -1. Solve 9 = -4*q + y for q.
-2
Let i be (10 - -1) + (3 - (5 + -1)). Solve 0 = -6*q + q + i for q.
2
Let a(c) = -2*c - 5. Let y be a(-4). Let g = y + -3. Let q(h) = h**2 - 6*h + 5. Let v be q(6). Solve v*b - b + 16 = g for b.
-4
Let x = 27 + -47. Let b = x - -23. Solve 4*y - b + 15 = 0 for y.
-3
Let u(c) = c**3 + 9*c**2 - 10*c + 3. Let b be u(-10). Suppose 4*n = b*p + 5, -2*n + 50 = 5*p + 3*n. Solve p = -5*v - 0*v for v.
-1
Let z = -119 - -122. Let h be 2/(-1) + 1 + -11. Let f = h + 22. Solve -g + f = -z*g for g.
-5
Let j = -16 + 23. Suppose j*w = 10*w - 9. Suppose -w*o - y + 9 = 0, -5*y = 5*o - 10*y + 5. Solve -17 = 3*n - o for n.
-5
Let v(x) = 2*x**2 + 5*x + 3. Let k be v(-4). Let o = k - 6. Solve -o = -3*u + 6*u for u.
-3
Let z(r) = -r**3 - 7*r**2 - r + 8. Let x be z(-7). Solve -2*m + x = -7*m for m.
-3
Let r = 60 - 56. Solve r = -2*c - 0*c for c.
-2
Let s be (1 + -2)*3*1. Let k = s - -3. Suppose 0*v - v + 5 = 0. Solve -25 = -k*q + v*q for q.
-5
Let q(m) = -m**3 + 7*m**2 - m + 9. Let l be q(7). Solve -l*c + 1 = -c for c.
1
Let v(o) = -o**3 - 8*o**2 + 10*o + 8. Let p be v(-9). Let z be p/4 - (-3)/12. Solve -3*s + 2*s = z for s.
0
Let j be 4 + -2 + (-2)/(-1). Suppose 12 = j*v - 8. Solve 1 = v*x + 11 for x.
-2
Suppose 2*s + 0*s = 2. Let f(r) = r**2 - 2*r + 1. Let d be f(s). Solve d = y + 4 for y.
-4
Let r = -13 - -29. Suppose -4*y - 48 = -4*k - 2*y, y - r = -2*k. Suppose 0 = -2*h - 0*h + k. Solve -n + 12 = -h*n for n.
-3
Let r = 3 - 1. Let u(d) = 5 - d**r - 2 - d - 3*d + 5*d. Let c be u(0). Solve c*k - 13 + 4 = 0 for k.
3
Let a(k) = -k**3 + 3*k**2 + 17*k + 14. Let r be a(6). Solve 6*d - r = 4*d for d.
4
Let c be (-10)/(-3) + (-4)/3. Solve -3*x = c*x + 5 for x.
-1
Let q be ((-12)/15)/(4/(-10)). Let a = -63 - -61. Let b be (5/a)/(q/(-4)). Solve -3 = -b*y + 7 for y.
2
Suppose 2*c + 0*h + 6 = -3*h, 0 = 3*c + 4*h + 8. Suppose c*u - 2*u = 0. Solve -6 = -u*i - 2*i for i.
3
Suppose 2*w - 19 = -1. Suppose 9 = 3*b - w. Solve -x + b = 1 for x.
5
Let h(r) = r**3 + 7*r**2 + 5*r - 1. Let z be h(-6). Let v = 6 - z. Solve -v = -0*q + q for q.
-1
Let q(b) = -b**2 - 3*b - 2. Let m be q(-2). Let z = m - 0. Let h be (z/2 + 0)/1. Solve -2*j + h*j = 6 for j.
-3
Let n = 10 - 20. Let p be n/25 - 12/(-5). Solve g + p = -1 for g.
-3
Let h = -79 + 92. Solve 9*x + 16 = h*x for x.
4
Suppose 2*f - 2 = -3*a - a, -28 = -4*f + 4*a. Solve 7*c - 2*c = -f for c.
-1
Let x be -2 - (-3 - (2 + -3)). Solve x = 3*m - 4*m - 5 for m.
-5
Let v be 4*-6*(-3)/12. Suppose -5*j - 4*m + 21 = 0, j = 5*m + v + 4. Let f be 1/2*0/(-2). Solve -j*q + 20 = -f*q for q.
4
Suppose 2*q + 2 = v, -4*q - q + 5*v = 15. Suppose 0 = -3*z + 10 - q. Let y be 2/(-6) + (-21)/(-9). Solve z*k = y*k for k.
0
Let i(h) = h**3 + h**2 + 2. Let u be i(0). Suppose 1 = u*d - 9. Let s = d - 0. Solve 3*n = s*n + 8 for n.
-4
Suppose 13 - 1 = 6*q. Solve -q*u = u for u.
0
Let u(y) = y - 2. Let z be u(3). Solve 0 = 2*a + z - 3 for a.
1
Suppose 4*i = -8 - 0. Let h = 2 + i. Solve -2*p - 2*p - 12 = h for p.
-3
Suppose 5*f = 25, -c = 4*c - f - 85. Let r be -1*(3 + -5 - c). Solve -w + 5*w + r = 0 for w.
-5
Let r = -5 + 8. Suppose r*f = -2*f + 5. Solve 5*g = 4*g - f for g.
-1
Let s = -12 - -16. Solve -18 - 2 = -s*p for p.
5
Let g(r) be the second derivative of r**3/6 - 11*r. Let n be g(9). Let j(l) = l**2 + 2*l + 3. Let t be j(-3). Solve 5*p - t = n for p.
3
Let c(p) = p**2 - 4*p - 7. Let a be c(-4). Solve -2*y - 3*y - a = 0 for y.
-5
Let s be ((-4)/(-5))/((-2)/(-10)). Suppose 8*x = s*x + 4. Solve 0 = -4*j + x + 3 for j.
1
Suppose 11 = y - 3. Let n = y - 12. Solve 3*g - n*g = 4 for g.
4
Let c(v) = v**3 - 23*v**2 - 26*v + 52. Let h be c(24). Solve 0 = -0*w - h*w for w.
0
Suppose -4 = -2*j - 4*p, p - 4*p - 10 = -5*j. Let h(d) = -3*d**3 + d**2 - d + 2. Let f be h(j). Let y be (-4)/f + 19/5. Solve r + y = -3*r for r.
-1
Let l be (15 - 31)*(-1)/4. Solve -11 = -l*t - 31 for t.
-5
Suppose -4*i = i + 40. Let l be -2 - -3 - (0 - i). Let w = -3 - l. Solve w*z - 5*z = -1 for z.
1
Let n(s) = -1 + 0 - s + 0*s + 0. Let i be n(-1). Solve i = -c - 4*c for c.
0
Let a be (-5)/((-25)/10) + 1. Solve a*r = 13 + 2 for r.
5
Let y = 1 - -4. Let h(l) = l**3 - 5*l**2 - l + 5. Let m be h(y). Suppose m = -u - u + 28. Solve -4*z = -u - 2 for z.
4
Let t(x) be the first derivative of -x**3/3 - x**2/2 - 36*x - 2. Let h be t(0). Let s be 6/21 - h/21. Solve -10 = -4*y - s for y.
2
Let g(l) = l**2 - 12*l - 7. Let r(w) = w**2 - 11*w - 6. Let j(c) = 6*g(c) - 7*r(c). Let q be j(5). Solve o + o = q for o.
0
Let g = 3 + 5. Suppose 3*p - 20 = -p. Suppose 0 = p*a - 8*a. Solve a = z + z - g for z.
4
Suppose 0 = -12*w + 7*w + 10. Solve 0 = 2*u + w*u - 4 for u.
1
Let k(o) = -o**2 + 4*o - 2. Suppose -2*s = -0*s - 8. Let h be k(s). Let f = -2 - h. Solve -3*m - 2*m + 5 = f for m.
1
Let m be (-1)/(2/(5 + -3)). Let k = 2 - m. Solve -3*p + k = -6 for p.
3
Suppose 70*f = 76*f - 24. Solve 9 = -o + f*o for o.
3
Let g be ((-12)/21)/((-2)/14). Solve 0 = g*o - 2*o - 4 for o.
2
Let w = -31 - -31. Let q(p) = p**2 - 7*p + 3. Let c be q(7). Solve -v + w = c for v.
-3
Let z(n) = -n**3 - 5*n**2 + 6*n - 4. Let s be z(-6). Let t be (9/s)/(2/(-8)). Solve -5*f - 1 = t for f.
-2
Suppose -2*h + 4*h - 8 = 0. Suppose h*v + 3*a - 1 = -0*a, -3*v + 37 = -5*a. Solve v*t = -0*t + 12 for t.
3
Let o(v) = v**2 - 9*v - 6. Let l be o(9). Let n(g) = g + 10. Let j be n(l). Solve 0 = j*b - 2*b + 4 for b.
-2
Let m = 0 - -30. Suppose 5*w = -r + m, -4*r + 2*r = -5*w + 15. Suppose -3*a - 2*a + r*z = 15, 3*a = -5*z + 23. Solve s + 0*s = a for s.
1
Suppose f - 2*f = -4*w + 17, 0 = -3*f - 4*w + 29. Suppose 22*p - 16 = 6*p. Solve -4*b - p - f = 0 for b.
-1
Suppose 2*n = 5*n + 3*p, 3*n = -5*p. Solve n = 2*z - 3*z + 3 for z.
3
Suppose 4*m - 5*m + 8 = 0. Solve k + k = -m for k.
-4
Let r(a) = 12*a**3 + a**2 - a - 1. Let o be r(-1). Let u = -11 - o. Solve 3 = -u*d - 3*d for d.
-1
Let h be 36/2*(-18)/(-54). Solve -x + 3*x + h = 0 for x.
-3
Let h(g) = -g**3 - 4*g**2 - 3*g - 1. Let p be h(-3). Let y be (-4)/(p/(1/2)). Solve 0*x + y = 2*x for x.
1
Suppose 0 = 8*d - 12*d. Solve -s - 7 + 4 = d for s.
-3
Suppose 4*i = -4*p + 12, 7 = -2*p - i + 17. Let c(q) = 3*q**2 - q + p - 2*q**2 + q**3 + 0*q. Let k be c(0). Solve -5*o - k = 13 for o.
-4
Suppose -12 = -2*c + n, 2*c - 3*n - 24 = n. Suppose 46*f - 35*f - 132 = 0. Solve -c*l + 7*l = f for l.
4
Let r(p) = 2*p**2 - 8*p - 2. Let h be r(6). Suppose -3*q + h = -4*o, 0*q - 2*o = -q + 10. Solve q*y + 3*y - 20 = 0 for y.
4
Let g be -15*(-2)/(-6)*-1. Let z(c) = 4*c - 4. Let o be z(g). Let f be (-4)/o - (-18)/8. Solve -q + f = -0*q for q.
2
Suppose 4*y - 2*r - 4 = 0, -4*y + 7 = -3*y + r. Suppose y*d - 6 = d. Solve 3*o + d = -12 for o.
-5
Suppose -9 - 12 = -3*v. Solve 5*x = v - 2 for x.
1
Suppose -8 = -99*i + 95*i. Solve 5 = -i*j - 3 for j.
-4
Suppose -6*o = -11*o + 40. Solve 3*v - o = -v for v.
2
Suppose -4*w = -t + 10 - 0, -w = -4*t + 10. Suppose -b = -4 - t. Let z = -3 + b. Solve -z*c - 3 = 9 for c.
-4
Let x(a) = -4*a - 3. Let m be x(-2). Suppose 4*d + 5*o - 1 = 0, m*d + o - 14 = -o. Let k be 114/7 + 4/(-14). Solve -d*r - k = -0*r for r.
-4
Let o = -4 + 7. Let g be -3*(-9)/3 + 0. Solve o = -3*t - g for t.
-4
Let a be (12/(-1))/((-4)/10). Let m be ((-28)/(-10))/(6/a). Suppose -5*c - m = 2*l - c, 0 = 3*l + 2*c + 1. Solve q + 0 = l for q.
3
Let v(f) = f**2 - 32. Let h be v(6). Solve -6 = -5*n + h for n.
2
Let l(b) = -b - 14. Let w be l(-9). Let z be 2 - (w - (1 - 1)). Solve -2*g + z = 1 for g.
3
Let f be (-1)/3 - (-8)/6. Suppose t + 2 = q, 2*q - 7*q - 2*t = -10. Solve a = f + q for a.
3
Let p = -9 + 28. Suppose -10 - 3 = -4*k - b, p = 2*k + 3*b. Solve -3*c = k - 11 for c.
3
Suppose 80 = 4*n + n. Let i = n + -12. Solve -i*t + 5*t = 0 for t.
0
Let z(t) = t - 6. Let g be z(7). Suppose u + g = 4. Solve -3*n + 0 = u for n.
-1
Suppose -3*z + 5*i = -32, z + 12 = -3*i + 4. Suppose z*v - 10 = 