 2 = l for s.
2
Let g = 2 - 0. Suppose -4*j + g*w = -26, j + 0*j + 3*w + 4 = 0. Solve 0 = s + j - 0 for s.
-5
Let s be (0 - 40/4)/(-2). Let d(l) = 6*l**2 - 5*l + 2. Let t(j) = -7*j**2 + 5*j - 3. Let z(q) = -6*d(q) - 5*t(q). Let k be z(s). Solve -k*n - 8 = -7*n for n.
2
Suppose 4*v - z + 32 = 0, -2*v + 1 + 1 = -5*z. Let g = v - -12. Solve -l - 7 + g = 0 for l.
-4
Let h(s) = s**2 + 6*s + 5. Let m be h(-6). Let f = m + -5. Solve -i - 2 = -f for i.
-2
Let i(l) = -6*l - 5. Let v be i(-5). Suppose -u - 55 = -6*u. Let x = u + -7. Solve p + v = -x*p for p.
-5
Let o(a) = -a**3 - 3*a**2 + 3*a - 4. Let k be o(-4). Solve -15 = -3*s - k for s.
5
Let o(t) = -t**2 - 10*t + 8. Let x be o(-10). Solve -5*n + x = -n for n.
2
Let h be (1/(-3))/(1/(-6)). Let i be (-18)/h*(-12)/18. Solve t + 2*t = i for t.
2
Let d(f) = -f**3 - 2*f**2 + f - 4. Let q be d(-3). Solve -2*l + q = -2 for l.
2
Let f be 2 + (0/5)/(-3). Suppose j - 3*y + 4*y - 7 = 0, y + 37 = 3*j. Let v = j + -7. Solve -v*i - f = -3*i for i.
-2
Let u(m) = 11*m + 3. Let w be u(-1). Let o = w - -12. Solve -6*i + 8 = -o*i for i.
4
Suppose 0 = -b + 3*c - 9, 3*b - 2*c = -6*c + 12. Solve b = 6*q - q + 20 for q.
-4
Let p be (18/(-5))/(18/(-60)). Let h(b) be the first derivative of -b**2/2 + 15*b - 2. Let m be h(p). Solve 8 = m*d - 4 for d.
4
Let g(t) = 6*t**2 + 4*t - 3. Let i be g(2). Suppose -3*n + 5*b = -i, -5*n + 4*b + b = -35. Solve 0 = 5*j - n + 23 for j.
-4
Let x be 1/2 + (-26)/(-4). Let c = x + -9. Let f be 0 + 1 + -3 - c. Solve f = -5*s - 26 + 1 for s.
-5
Let q be (-4 + 3)/(2/(-10)). Solve -4*i - 1 = -q for i.
1
Let b(j) = -j**2 + 14*j - 11. Let r be b(12). Solve 0 = 3*f - r + 1 for f.
4
Let j(l) = 2*l**2 + 7*l - 5. Let i(p) = -p**2 - 4*p + 2. Let z(v) = 7*i(v) + 4*j(v). Let h be z(5). Let a = -10 + h. Solve -d - a = 2*d for d.
-3
Suppose 3*a + 3 = -4*j, a + 4*a = -4*j + 3. Solve -a = 2*i + 3 for i.
-3
Suppose 4*d - z = -2*z + 53, 0 = 5*d + 2*z - 70. Solve 3*y + d + 0 = 0 for y.
-4
Let o = -6 - -9. Suppose 2*y - 5*y + 3*t + 21 = 0, -5*y + 26 = -2*t. Suppose -2*s = k + k - 2, 0 = o*k + y*s - 1. Solve 1 = k*v + 7 for v.
-2
Let r be 85/30 - 1/(-6). Suppose -3 = -3*d + r. Solve 2*s + d*s = 16 for s.
4
Suppose -4*q = q - 15. Suppose q*d = 5*b + 20 + 12, -4*d = b - 35. Solve -11 = -4*c + d for c.
5
Let w = 114 - 108. Solve w = 5*t + 26 for t.
-4
Let d(g) = g**2 - 4*g - 5. Let i be d(-1). Solve 3*a + 7 + 2 = i for a.
-3
Let d = 3 + -2. Let r be (-18)/(-4) - d/(-2). Suppose -k + 0*k - 14 = -r*h, 4*k = 4. Solve -22 + 10 = -h*q for q.
4
Suppose -2*q = -4*q + 10. Solve -2*k + 7*k = -q for k.
-1
Let i be (6/3 - 5) + 8. Suppose i*q - 25 = -0*p - 5*p, 4*p + q = 8. Solve p = -d - 0 for d.
-1
Suppose -9 = -5*l + 1. Solve -l*r + 6*r + 12 = 0 for r.
-3
Let c = 3 + -3. Let n = c + 1. Solve 4 = 5*m - n for m.
1
Suppose 4*x - 24 = 5*s, 3*x - 2*x = -5*s + 31. Let p = -9 + x. Suppose -p*z + 4*z = 0. Solve 2*j + 0 + 2 = z for j.
-1
Let s(p) = -p + 8. Let l be s(6). Suppose -2*i - 12 = l*i. Let h = -1 - i. Solve 0 = -7*k + h*k for k.
0
Let i(r) = -r**3 + 5*r + 4. Let c be i(-2). Solve -4*q = -2 - c for q.
1
Let x = -1 - -13. Suppose -u + 5*p = 10 - 0, -2*u - x = -2*p. Let j = u - -7. Solve -j*k + 15 = k for k.
5
Let r(x) = x - 3. Let s be r(6). Let n be ((-3)/2 - -1)*-8. Suppose -5*a - g + 8 = -s*g, g + n = a. Solve -1 + a = v for v.
-1
Let y = 26 + -1. Solve p + y = 6*p for p.
5
Suppose -3*w = 2*w - 10. Solve w*k = -2*k + 8 for k.
2
Suppose -5*q + 3*q = -4. Solve -3 = q*h + 1 for h.
-2
Let y(j) = -j**2 + 2*j + 1. Let b be y(2). Let u = b - -2. Solve 8*z - u*z = -5 for z.
-1
Suppose -v = 2*v - 5*y - 5, -2*v + 6 = -4*y. Let x(s) = -2 - 2*s + 2 - 5. Let l be x(v). Solve -l*g + 6 = -2*g for g.
2
Let u be (3 - 3 - 3)/((-12)/8). Solve z + 6 = -u*z for z.
-2
Suppose v - 15 = 4*v. Let j = v - -6. Solve 2*h + j = -7 for h.
-4
Let u = -10 + 17. Let s(f) = -f + 9. Let q be s(u). Suppose -j + 3 + q = 0. Solve -j*h - 8 = 12 for h.
-4
Let s = -69 + 81. Solve -5*j + 2*j = s for j.
-4
Let s(w) = w**2 + 5*w + 3. Let t be s(-5). Suppose 3*z + 21 = -0*d + d, -t = -d. Let y = -4 - z. Solve -20 = 2*h + y*h for h.
-5
Let v(b) = b**2 - 8*b + 8. Let h be 11/2 + 18/12. Let w be v(h). Solve -w + 5 = 2*x for x.
2
Let c = -4 + 5. Let u(n) = 2*n + 1. Let r be u(c). Solve 5 + 10 = -r*f for f.
-5
Let r(w) = -w**2 - 16*w + 10. Let k(o) = 5*o**2 + 65*o - 39. Let p(j) = -2*k(j) - 9*r(j). Let t be p(13). Let c be t*2*6/4. Solve 6*y = c*y for y.
0
Suppose 2*n + 7 = -3*a, 4 = -n - 1. Solve a = -5*y - 4 for y.
-1
Suppose -u = u. Suppose 5*a - a = -4*w + 28, u = -2*a + 3*w - 6. Let y(q) = q**3 - 11*q**2 + 11*q - 9. Let h be y(10). Solve h + a = o for o.
4
Let k(i) = i**2 - 4*i - 6. Let p be k(6). Let f be (27/12)/(p/32). Solve b - 5*b = -f for b.
3
Let k(a) = -a + 4. Let h be k(-3). Solve -3 = -5*f + h for f.
2
Let j = -2 - -2. Let o(b) = 0*b - 5*b - 1 + 0. Let l be o(-1). Solve -l*p - 12 = -j*p for p.
-3
Let v(c) = -c. Let k(q) = 4*q - 1. Let i(j) = k(j) + 2*v(j). Let p be i(3). Solve -r = -p*r - 16 for r.
-4
Suppose -5*z + 37 = -o, -o - 5 = -z - 0. Suppose c + 0 - z = 0. Let u be (-2)/c + (-72)/(-32). Solve -3*f - u*f = 25 for f.
-5
Let d = -9 + 13. Solve -4 = d*p - 6*p for p.
2
Let h = -11 - -13. Solve h*j = 3*j - 4 for j.
4
Suppose 0 = 18*n + 1 - 37. Solve r = -n*r for r.
0
Let y be (-162)/(-8) - (-4)/(-16). Suppose -3*o - y = o, 2*j - 48 = 4*o. Solve -5*b + j = -6 for b.
4
Let v be -9*((-15)/(-9) - 2). Suppose -3*r = -5*o + 18, r - 4 = -v*o - 4*r. Solve -w = o*w for w.
0
Let m(w) = w**3 - 5*w**2 + w - 4. Let i be m(5). Suppose i = -y + 7. Solve 0 = 4*v - 22 + y for v.
4
Let f = -5 + 2. Let c = 3 + f. Let j(v) = v**3 + v**2. Let p be j(c). Solve -t + p = -1 for t.
1
Let s be -3*(16/(-12))/1. Suppose -111 = -s*g - 39. Solve -3 + g = -3*o for o.
-5
Let o be (-4)/(-16) - 3/(-4). Let r = o + 3. Solve -r = -2*l + 4 for l.
4
Let y be 5 + (0 - 0) - 1. Let z be y/14 + 2/(-7). Let h = 3 + z. Solve 3*v - h = -0*v for v.
1
Let w(s) = 17*s**2 - 1. Let n be w(1). Let g = n - 11. Solve g*a + 28 = 8 for a.
-4
Suppose 2*x = 4*o - 8, 3 + 13 = x + 2*o. Let s(y) = y**2 + 3. Let g be s(0). Solve -3 = -g*i - x for i.
-1
Let b(a) = a**3 - 11*a**2 + 10*a - 7. Let o be b(10). Let k(v) = -v**2 - 8*v + 5. Let u be k(o). Suppose -4*d + u + 4 = 0. Solve 0 = d*i + i for i.
0
Let a(v) = -2*v + 1. Let b be a(3). Let u be (-15)/3*(-12)/b. Let y be (3/(-2))/(u/16). Solve 0 = y*p + 5 + 5 for p.
-5
Suppose -3*j + 18 = -27. Suppose 5*p + 0 = j. Solve 15 = p*b + 6 for b.
3
Let f = -21 - -15. Let c be (4/f)/((-8)/60). Solve -11 = c*y - 1 for y.
-2
Let p be 5*(0 + (-6)/5). Let a = 10 + p. Solve a*g = 5*g + 1 for g.
-1
Suppose -2*i = 3*z - 4, -5*z = -2*z + 6. Solve 16 = i*t + 6 for t.
2
Suppose -4*x = r - 1 + 23, 2*r = -5*x - 29. Let k(n) = -n. Let g be k(r). Suppose g*c - 3 = 11. Solve c*v + 12 = 3*v for v.
-3
Let z = 32 - 22. Let s = z - 7. Let u = 1 + 2. Solve -u*p - s = 6 for p.
-3
Let z be 1 - (0 + 0/3). Let n be -1 - (-3 - (z + -1)). Solve -n*g = -g for g.
0
Let r(a) be the second derivative of -a**3/6 + 3*a**2 + 2*a. Let p be r(-4). Solve -x - 4*x = -p for x.
2
Let a(w) = 6*w - 44. Let v be a(8). Solve v*t = -5 - 11 for t.
-4
Let a(u) = -u - 1. Suppose -2*d - 4 - 4 = 0. Let z be a(d). Solve -z*n + 2*n - 4 = 0 for n.
-4
Suppose -r = d, 0*d = 3*d - 3*r. Let s be (-4)/(-10) - (-3)/5. Solve -3*z - s - 5 = d for z.
-2
Let s(r) = -r**2 - 3*r + 4. Let p be s(0). Solve a = -a - p for a.
-2
Suppose -5*t + t + 12 = -4*q, -2*t + 6 = -4*q. Solve -13 + t = -5*g for g.
2
Suppose -21 = -3*i + 21. Suppose 5*q - i = 3*q. Solve -q + 4 = 3*w for w.
-1
Let z(d) = d**2 - d + 5. Let o be z(0). Suppose 0*p + o*p = 0. Suppose 0 = 5*x - p*x. Solve 5*h + 10 - 30 = x for h.
4
Suppose n = -x - 2, x - 8 = 3*n - 2. Let k be (-7)/21 - (-28)/3. Suppose 2*f = 3*f - k. Solve -f = -x*g - 3*g for g.
3
Suppose -4 = m - 11. Solve 15 = -m*h + 4*h for h.
-5
Let j = 35 - 30. Solve g + 4*g = j for g.
1
Suppose -23 = -3*g + 5*a, -2*a + a - 5 = -g. Let r(q) = 9*q**3 + 2*q**2 - 2*q + 1. Let d be r(g). Let m = d - -4. Solve m = 2*t + 4 for t.
5
Let i = 19 - 14. Solve -5*j + i = 10 for j.
-1
Let c(q) = q**3 + 2*q**2 - q + 3. Let k be c(0). Solve -k*w + w = 0 for w.
0
Let z(p) = p**2 + 5*p + 2. Let o be z(-5). Suppose -8 = -3*q + 2*f, 3*q