 z. Solve t = -3*p - 2*p - 15 for p.
-3
Let i be (9/(-18))/((-1)/10). Let n be 10/i*5/2. Solve 0 = -5*a - n - 5 for a.
-2
Let z(a) = a**3 + 1. Let o(w) = 5*w**3 + 4*w**2 + 9. Let i(c) = o(c) - 4*z(c). Let m be i(-4). Solve 2 = -m*b - 3 for b.
-1
Suppose 5*g - 16 = 9. Suppose 22 = -3*c - g*w, 5*w + 19 = -5*c - 11. Let s be (-2)/(-8) - 11/c. Solve 0*p + p = -s for p.
-3
Let v be 0/((-1 + -4)/5). Solve v = -0*g + g for g.
0
Let f(b) = b + 8. Let q be f(-6). Solve q*s = -s + 12 for s.
4
Let w(r) = 4*r - 4. Let f be w(4). Suppose 2*o - f = o. Solve 4*q + o = -0 for q.
-3
Suppose -35 = 5*f + 5*l, -4*f + 5*l - 21 = 7. Let c(u) = u**3 + 7*u**2 - u + 5. Let j be c(f). Suppose 3*o = 9 + j. Solve -1 + o = -3*q for q.
-2
Let m(q) = q - 2. Suppose 2*w = 4 + 6. Suppose -5*v - 1 = -3*v + w*d, -5*v + d + 11 = 0. Let t be m(v). Solve -6 + t = 3*o for o.
-2
Let a(t) = -t + 10. Let n be a(6). Suppose -n*h - 5*k + 15 = 0, 3 = -2*h - 2*h + k. Solve h = 5*v - 15 - 10 for v.
5
Let j = -5 + 0. Let g = -1 - j. Let w = 2 - -6. Solve g*u - w - 12 = 0 for u.
5
Let q(k) = -2*k - 12. Let y be q(-7). Solve l = y*l for l.
0
Suppose 82*i - 6 = 79*i. Solve -4*s + 2 + i = 0 for s.
1
Let l be (-9*(-6)/36)/(2/8). Solve v = -2*v + l for v.
2
Let i(s) = -2*s**3 + 11*s**2 - 9*s + 25. Let z(r) = r**3 - 6*r**2 + 4*r - 12. Let p(a) = 3*i(a) + 7*z(a). Let o be p(9). Solve o*x - 5*x - 25 = 0 for x.
-5
Let g(c) = 23 + 6*c - 20 + 4*c**2 - 3*c**2. Suppose 28 = -4*s + 2*f, 3*s + 0*f = -2*f - 14. Let y be g(s). Solve y*z = -z - 12 for z.
-3
Let d(a) = -a**2 + 12*a + 3. Let w be d(12). Solve z + w = 2*z for z.
3
Let l = -129 + 143. Solve -10*u - 20 = -l*u for u.
5
Suppose -u = 5*h - 15 - 5, 5*u + 3*h - 144 = 0. Suppose -y + 6*y = u. Solve 0 = -0*x + 2*x - y for x.
3
Let r = 2 + -2. Let x be (35/15)/((-2)/(-6)). Suppose -x = -2*s + 5. Solve 3*g + 0*g - s = r for g.
2
Let x be (2/6)/((-7)/(-21)). Let j(s) = -3 + s**2 + 6 - 2*s - 2. Let o be j(x). Solve o = 4*q - q + 3 for q.
-1
Suppose 0 = -2*k - 4*x - 0*x - 6, 5*k = 4*x + 27. Solve -k*f + 2 + 1 = 0 for f.
1
Suppose 2*o = 3 + 3. Solve -w + o*w = 0 for w.
0
Let b = -5 - -5. Let p = 3 + b. Solve 0 = -4*o - p + 7 for o.
1
Suppose 41 = 5*g - 2*r, 5*g + 0*g + 3*r - 51 = 0. Solve -8*p = -g*p - 2 for p.
-2
Suppose 0 = -2*h + 25 + 15. Solve 2*j = -3*j - h for j.
-4
Suppose 5*l = -2*g - 5, 2*l + 4 - 2 = 5*g. Solve g = 5*p - 12 + 27 for p.
-3
Let z be 4/14 - (-264)/56. Let y = 7 + -2. Solve -20 = -y*b - z for b.
3
Suppose h + 0*h - 5 = 0. Suppose -h*v + 40 = -35. Solve -3*a - 2*a = v for a.
-3
Let g be (6/3)/((-2)/(-4)). Solve 5*s = g*s for s.
0
Let p(y) = -12*y**3 - y**2 - y. Let c be p(-1). Let k be (-2)/4*0/(-2). Suppose 2*m - 2*l = 4, -m - 2*l + 2 = -k*l. Solve -c = 2*j + m*j for j.
-3
Let j = -3 - -8. Suppose 6 = j*n - 9. Let l = n + -2. Solve h - l - 1 = 0 for h.
2
Suppose 3*i - 4 = 2. Suppose -2*h + 15 = 2*c - c, -c + i*h - 5 = 0. Solve -2 = c*g - 4*g for g.
-2
Let h be ((-8)/3)/(2/(-6)). Suppose 2*c - 6 - h = 0. Suppose 5 = -4*b - c, 0 = -5*s + 3*b + 29. Solve -5*v + s = -1 for v.
1
Let r = -41 + 44. Solve -l = 2*l - r for l.
1
Let w(k) = k**2 + 11*k + 10. Let v be w(-9). Let z = 12 + v. Solve z*y - 12 + 32 = 0 for y.
-5
Let m(h) = -h**2 + 5*h - 4. Let f be m(3). Let x be 0 + 0/f + 2. Let z be (-2 - -2) + (1 - -2). Solve z = x*u + 5 for u.
-1
Let v be 2/(-3)*3 - -5. Suppose 2*p + 2*p - 4 = 0. Let j = -1 + p. Solve j = 4*f - v + 23 for f.
-5
Let c be -2*(1 + 5/(-2)). Let j be -2*2*c/12. Let b be (4 - 0)*j/(-2). Solve -5*r = -b*r + 15 for r.
-5
Suppose -4*c + 26 = 2*o, c - 4*o + 27 = 11. Solve c + 4 = -4*q for q.
-2
Suppose -51 = -3*p - 12. Let u(y) = -4*y**2 - 4*y - 6. Let a be u(6). Let s be (-2)/9 + a/(-54). Solve -p + 1 = s*b for b.
-4
Let b = 3 + -1. Solve -b*d = -6*d - 8 for d.
-2
Suppose -5*g + 8 = -3*g. Suppose g*p = 3*p. Solve p = -2*d - 2*d for d.
0
Suppose -h = -5*z - 14, 4*z - 4 = -0. Suppose -h = x + 4*y, -4*x - 3*y = -0*x + 11. Solve 3 = w + x for w.
2
Let y = -11 - -21. Solve 5*h + y = -15 for h.
-5
Let a be -1*1*(0 + -1). Suppose 0 = 4*m - 5 - 7. Solve a = -m*y - 2 for y.
-1
Suppose 0 = -4*m, -2*r - 12 = -3*r - 4*m. Solve -3*y = y + r for y.
-3
Let l(k) = -k + 5. Let u be l(0). Suppose -16 = -u*j + j. Suppose -2*m = -46 - 4. Solve j*o + o = -m for o.
-5
Suppose o = -0*o. Let x be 0/3 + (-4)/1*-1. Solve -4*s = x - o for s.
-1
Suppose 0 = -2*q - q + 30. Suppose 6 = 2*w + 2*b - 10, -5*b = -3*w - 8. Solve -c = w*c - q for c.
2
Suppose 2*o + 4 = 6*o. Let n be o/2 - (-5)/(-10). Solve -2*p - p = n for p.
0
Let r be (-170)/(-150) - 4/30. Solve -1 = -b + r for b.
2
Let t = -16 + 21. Suppose 8*v = t*v. Solve v*s + 4*s + 4 = 0 for s.
-1
Suppose -3*k + 8 = -7. Suppose -8 = -b + k*b. Let w = b - -2. Solve 3*n + 3 = -w for n.
-1
Let o(d) = -d - 5. Let z be o(-10). Let s be 3 - (1/(-2) + (-14)/4). Solve -4*h - z - s = 0 for h.
-3
Suppose 7*l = 2*l. Let y be 1/4 + (-7)/(-4). Suppose 5*d - 1 = 4. Solve l = y*n - d + 7 for n.
-3
Let r(a) = -7*a + 4. Let w be r(-4). Suppose 5*d + w = 3*o, -3*o = 1 + 2. Let h = d + 12. Solve -2*p - h = 3*p for p.
-1
Suppose -4*r - 3*k + 4*k - 55 = 0, -5*r - 100 = 5*k. Let t = r - -17. Solve t*n - 4*n = -2 for n.
1
Suppose 2*s = -0*s + 6. Suppose w - 1 = -u, -5*u - 2*w = -5 - s. Suppose -4*b = -2 - u. Solve -p - 3 = -b for p.
-2
Let c(h) = h**3 - 3*h**2 + 4*h - 9. Let q be c(3). Solve -q*d - d = 12 for d.
-3
Let a = -25 + 38. Solve 11*v = a*v - 10 for v.
5
Suppose -5*z + 4 + 11 = 0. Suppose i - z = 1. Solve i + 0 = -2*u for u.
-2
Let r(w) = -w**2. Let z = -2 - -2. Let y be r(z). Let l(u) = -u**3 - 10*u**2 + 8. Let c be l(-10). Solve y*m = 2*m - c for m.
4
Let t(q) = 2*q**2 - 5*q - 4. Let r be t(4). Solve 0 = g + 3*g + r for g.
-2
Suppose 0*f + 5*f - 3*t - 25 = 0, 0 = 5*t. Suppose -4*o + 2*o + 3*l = -4, f*o - 10 = -2*l. Let u = 1 - 1. Solve 3*r + o*r + 15 = u for r.
-3
Let k(c) = c**2 - 12*c + 40. Let f be k(7). Solve 5*l + 0 = -f for l.
-1
Let q = 2 + 0. Suppose 9 = 2*f - f. Suppose q*p - f = -p. Solve p*i = 2*i + 2 for i.
2
Let v(h) = h**3 - 5*h**2 - 6*h + 3. Let o be v(6). Solve 4*x + 1 = -o for x.
-1
Suppose 3*x + 4 = 13. Solve 0 = 8*s - x*s for s.
0
Let f = 3 - -2. Solve -f*s - 8 = -s for s.
-2
Let y(x) = x**2 + 11*x - 12. Let z be y(-13). Suppose -2*p = r - z, 0 = -5*p + r - 2*r + 32. Solve p = -f - f for f.
-3
Let x(w) = -w**3 + 3*w**2 + w - 4. Let f be x(4). Let g be 1/(-3 + (-50)/f). Solve -g = 5*v + 2 for v.
-2
Let w = -7 - -10. Solve -z = -w + 8 for z.
-5
Let o = 50 + -35. Let y be 1/(0 + 6/18) + 3. Solve i - y*i = -o for i.
3
Let m(r) = r**2 + 4*r - 10. Let q be m(-6). Solve -q*u = 3*u for u.
0
Let j be -3 + 1 + 9 + -5. Suppose 4*m - 2 - 2 = 0, o = -5*m - 5. Let w(l) = l + 10. Let s be w(o). Solve s*k - j*k + 6 = 0 for k.
3
Suppose -4*s + 12 = -s. Solve -s*h + 2*h + 4 = 0 for h.
2
Suppose 0 = -2*k - 3*k + 40. Suppose 3*g = 2*l + 8*g - 10, 0 = -l + 4*g + 5. Solve -k = -q + l*q for q.
-2
Let h = -27 + 29. Solve -3*y + 5 = -h*y for y.
5
Suppose 34 = 5*h - 26. Let p(f) = -f**3 + 4*f**2 - 2*f - 1. Let q be p(3). Solve -h = 5*c - q for c.
-2
Let q = 9 - 5. Suppose p - 12 = q. Solve -4 + p = 4*v for v.
3
Let l be 2 - 21/(-7) - 1*2. Solve l*z + 1 = 7 for z.
2
Let i(y) = -70*y. Suppose 0 = w + t - 3, 6 = -5*w + 4*t - 15. Let r be i(w). Suppose 2*h - 3*f = 33, 5*h - r = -9*f + 4*f. Solve -2*p - 3*p = -h for p.
3
Suppose 5*j - 3*h = 21, 5*j - 15 = -0*h + 5*h. Let m be 1/3 + (-16)/3. Let a = m + j. Solve -1 = -y + a for y.
2
Let o be 22/44 + 1/2. Solve -2*t - 11 = -o for t.
-5
Suppose 0 = -5*x + 2*n + 2, -x - 5*n = -0*x + 5. Let y be (-9)/(-18)*x/(-1). Solve 4 = -p - y for p.
-4
Suppose -4 = z - 4*a, 3*z = 2*a + 2*a + 20. Solve 0 = -4*m + z for m.
3
Suppose 3*q + 4*j + 3 + 13 = 0, -5*q - 5*j - 25 = 0. Let g = q + 0. Let k = 2 - g. Solve -s = -k*s for s.
0
Let d(l) = 2*l. Let g(h) = -1 - 2 - 3*h + 4. Let p(o) = 5*d(o) + 3*g(o). Let z be p(5). Solve -z = v + v for v.
-4
Let p = 12 - 10. Suppose -2*h - p + 8 = 0. Solve -h = -0*b - 3*b for b.
1
Let w be (1 + 5)*(-2)/(-6). Suppose -n + 6 = -2*n + w*h, h = -n - 12. Let l be (-26)/n - (-2)/5. Solve -l = -2*a + 1 for a.
2
Suppose 3*n - 26 = 2*d, 4*n - 7*d + 2*d - 44 = 0. Solve n*c - 10 = 4*c for c.
5
Suppose 0 = -7*f - 6*f + 143. Solve -2*d + f = 3 for d.
4
Let n(i) = i - 3.