3
Let p be 0/(16/(-28)*(-7)/(-2)). Solve -2*x - 5 + 7 = p for x.
1
Let f(i) = 2*i**3 - 27*i**2 - 15*i + 19. Let x be f(14). Solve -25 = x*a - 5 for a.
-4
Suppose 1 = -4*g - u + 14, -2*u = 6. Suppose 4*i - b - 4*b + 12 = 0, b - g = 0. Solve i*l = -l for l.
0
Suppose 5*h = -0*h - 15. Let w(p) = -p + 1. Let a be w(h). Let u(t) = t**3 + 6*t**2 + 3*t - 3. Let i be u(-3). Solve q - i = a*q for q.
-5
Let p(t) = -t - 3. Let q be p(-3). Solve 3*n + q*n = -9 for n.
-3
Let o be (0 - -3)/3 + -1. Let x be -4*(1 - o - 8). Let u = -13 + x. Solve -1 = 4*z + u for z.
-4
Let q be ((-6)/(-5))/(27/180). Suppose 12 = 5*b - q. Solve 0*f + 4 = -b*f for f.
-1
Let d(r) = -10*r - 3. Let h be ((-2)/(-1) - 5) + 1. Let k be d(h). Let s be ((-10)/8)/(8/(-32)). Solve s*a = -k - 8 for a.
-5
Suppose -u = -11 + 1. Let m be 0 - (-3)/(3/u). Let v = -2 + m. Solve 3*b = b - v for b.
-4
Suppose -i - 17 = -o, 0 = 5*i - 0 + 5. Suppose g - 5 = -2*x, 0*g = 5*x - g - o. Suppose 2*r = 3*w - r - 36, -x*r - 12 = 0. Solve -4*t + 4 = -w for t.
3
Let h be (12/9)/(2/6). Let s(d) = 2*d**3 + 2*d**2 - d - 2. Let t be s(2). Suppose 6*l - t = l. Solve 0 = -l*o + 4 + h for o.
2
Suppose 3*y - 2*y + 5*g = -2, y = -4*g. Solve -5*d = -y + 3 for d.
1
Suppose 0*b - 3*y - 6 = -3*b, -3*y = -4*b + 8. Suppose 0 = -i - 3*i + b*u - 46, -32 = 3*i + u. Let f(l) = l**2 + 10*l - 5. Let o be f(i). Solve j + 1 = o for j.
5
Let n = -90 + 64. Let o = 30 + n. Solve 0 = -o*x - 0*x - 20 for x.
-5
Let h(c) = -c**2 - 3*c + 2. Let o be h(4). Let p = -18 - o. Let x = -4 + p. Solve 2*b + x = -0*b for b.
-2
Suppose 0 = -8*x + 4*x - 4*f - 8, -5*x + 8 = -f. Solve 3 + x = 2*i for i.
2
Let r = 0 - -3. Solve -2*z + r = -3*z for z.
-3
Suppose -3*w = -w + 4*y + 8, 0 = -5*w + 4*y + 22. Solve 0 = -0*d - w*d - 4 for d.
-2
Suppose 0*u + 2*u - 6*u = 0. Solve -b - 4*b - 20 = u for b.
-4
Let q = -3 - 0. Let d = 6 + q. Suppose -4*b = 2*y + d*y - 12, -3*b = -9. Solve 0 = -y*h + h + 1 for h.
-1
Let i(l) be the second derivative of -l**3/6 + 2*l**2 - l. Let p be i(2). Suppose 0 = w + p*w. Solve w = -3*u + u for u.
0
Suppose -z - 1 = -4*n, -4*n - 5*z - 5 = -n. Solve 0 = -n*y + 2*y + 6 for y.
-3
Let v = 12 - 9. Let b = 1 + v. Solve -b*a + 2 + 14 = 0 for a.
4
Suppose l - 3 + 1 = 0. Let b be (l*-2)/((-20)/15). Solve 8*k = b*k + 25 for k.
5
Let l be 4*-5*4/(-40). Solve -2*o - 6 = -l for o.
-2
Suppose 0 = 11*k - 8*k - 6. Solve -3*h = 5 - k for h.
-1
Suppose -6*x + x + 18 = 3*w, 2*x - 6 = 0. Suppose -2*r + u - 4 = -19, 15 = -3*u. Solve -r = -4*o - w for o.
1
Suppose 40 = 5*g - 3*l, 0 = 6*l - l + 25. Let a = -4 + g. Let c be a*(-6)/((-3)/3). Solve b + c = -b for b.
-3
Let n(t) = -t**2 - 8*t. Let j be n(-8). Suppose j = -4*o - 0 + 24. Solve -4*z - o = -z for z.
-2
Suppose 5*f + w = -w + 4, 3*f - 5*w = -10. Solve 3*r + 0*r = f for r.
0
Let x = 18 + -12. Let b be ((-3)/x)/(3/(-12)). Suppose b*t - t = 5, -3*y = -3*t + 9. Solve y = 4*v - 14 for v.
4
Suppose -5*f = -f - 4*i - 16, -22 = -3*f + i. Solve -2*z = f - 3 for z.
-3
Let k(w) = -13*w - 58. Let c be k(-5). Solve 0 = -4*v - c - 5 for v.
-3
Let u be 9/15 - 48/(-20). Suppose u*y + 0 = 3. Solve 1 + y = p for p.
2
Let x(c) = -2*c - 7. Let g be x(-11). Suppose g*m - 19*m + 4 = 0. Solve -b - 1 = m for b.
-2
Let p(r) = -r**3 + 6*r**2 + 8*r. Let x be p(7). Let j(w) = -w**2 + 7*w + 4. Let v be j(x). Solve -v*n - 16 = 4 for n.
-5
Let c(v) = -5*v - 31. Let f be c(-8). Solve -5*j + 1 + f = 0 for j.
2
Let b(m) = m**3 - 10*m**2 + 9*m + 4. Let q be b(9). Suppose -25 = -4*r + a, -3*a + 30 = q*r - 5*a. Solve -12 = -r*h + 2*h for h.
4
Suppose -9*g = -7*g. Solve 5*q - 7 - 8 = g for q.
3
Suppose 5*a - 15 - 85 = 0. Suppose 0*f - 5*f + a = 0. Solve 4*d + 0 = f for d.
1
Let w(l) = l**3 + 3*l**2 - 2*l - 3. Let g be w(-3). Let n be (-6)/(-21) + (-57)/(-21). Solve -g - 3 = n*r for r.
-2
Let n(w) = -w**3 + 5*w**2 + 6*w + 5. Let t be n(6). Solve 4 = 4*r - t*r for r.
-4
Let f be (10/(-6))/((-1)/3). Suppose -2*x - 3*c = f, -c + 5 = 4*x - 10. Solve -4*k = -x*k - 3 for k.
-3
Let j(x) = x**2 + 2*x + 1. Let l be j(-1). Suppose l + 15 = 5*p. Let m be ((-9)/15)/(p/(-15)). Solve 0*o = -m*o - 15 for o.
-5
Suppose 3*t - 5 = 2*t. Suppose t + 5 = 2*n. Solve 0 = n*h - 2*h for h.
0
Let l(j) = 3*j - 2. Let x be l(3). Solve -4*s + 9 = -x for s.
4
Suppose 0 = -0*l - 2*l - 2. Let h be (-3 + 5)*(2 + l). Solve -3*v = h*v for v.
0
Let m be (-19)/(-7) - 2/(-7). Let q be 23 + (-4 - -5 - 4). Solve 0 = m*b - 8*b + q for b.
4
Let c(a) = a**3 + 3*a**2 - 4*a. Let h be c(-4). Solve -3*w + 19 - 4 = h for w.
5
Let c = 4 - 5. Let u be 1 + c + (1 - -1). Solve -3 = u*k + 5 for k.
-4
Let g = -39 - -39. Solve 0 = -4*w - g*w for w.
0
Let u = 13 + -10. Solve u*c = -2*c for c.
0
Suppose 0 = -h - 3*t + 9, 3*h - 4*t + 12 = 6*h. Solve h = -4*z - 4 for z.
-1
Let o = 14 + -3. Let u = o - 7. Suppose -j - u*j + 28 = -v, -j - v + 2 = 0. Solve -4*s + 3 + j = 0 for s.
2
Let v be 384/176 - (-4)/(-22). Solve 5*h + v = 7 for h.
1
Let f = 48 + -27. Suppose f = 5*r - 2*s - 13, -3*s - 6 = 0. Let x = 11 - r. Solve 0 = x*l + 10 for l.
-2
Let z be (-4)/(-10) - (-96)/10. Suppose -k + 2*k = 0. Suppose 0 = 2*b - 3*m - z, 5*m = k. Solve -4*f - f + b = 0 for f.
1
Suppose -4 = 4*m - 5*m. Suppose -b - 1 - 9 = m*s, 5*b - 5*s = 50. Solve b*h = h + 20 for h.
4
Suppose 0 = -2*y + 5*w + 30, 4*y - 34 = -0*w - 3*w. Solve -4*u + y = 2 for u.
2
Let h = -7 + 9. Solve 0 = -h*c - 4 + 6 for c.
1
Let z(a) = 2*a**2 + 7*a + 5. Let d be z(-5). Let o be (2 - -1)*(-8)/(-12). Solve d = o*x + 2*x for x.
5
Let d(l) = -l**3 - 4*l**2 + 6*l + 5. Let z be d(-5). Solve z = -3*j - 3 for j.
-1
Let a be (-2)/(-4) - 6/(-12). Solve -y = a - 5 for y.
4
Let n = 72 + -66. Solve 0 = b + 2 - n for b.
4
Let k(n) = n + 6. Let j be k(9). Solve j = -2*t - 3*t for t.
-3
Let w(c) = -5*c - 4. Let d be 3/((-2)/8*3). Let z be w(d). Solve 4*t = -0*t - z for t.
-4
Let d = 10 - 12. Let l be 0/((d - -8) + -3). Solve -6*c + 4*c = l for c.
0
Let t = 1 + 0. Suppose -3*l = 2*b - 12, -3*b + t + 0 = -4*l. Solve x = -l*x - 12 for x.
-4
Let q(w) = -1 - 3 + 0*w**2 - 6*w - w**2. Let m be q(-4). Solve 2*n + 10 = m*n for n.
5
Suppose 0*c - 5*c = 15. Let n(k) = -k**2 - 4*k + 1. Let a be n(c). Suppose -2*l + 3*d = -8, -l + 2 = -a*d - 2. Solve l*t - 16 - 4 = 0 for t.
5
Suppose -4*b = 2*z - 10, -3*z - 9 = -3*b - 6*z. Let r(n) = -3*n - n + n**2 + 3*n + b. Let i be r(3). Solve i = 3*t - t for t.
4
Suppose 2*w - w = 8. Let a(p) = -p + 11. Let d be a(w). Solve -d*k - 2*k = -25 for k.
5
Let y(h) = -12*h - 1. Let o be y(-1). Let d(s) = -1 + s - o + 5. Let a be d(7). Solve 5*u - 4*u + 1 = a for u.
-1
Let a(r) = 10*r - 1. Let z be a(1). Let g = -4 + z. Let u(b) = 2*b + 3. Let k be u(4). Solve 1 = -g*y + k for y.
2
Let z(p) = p**3 - 8*p**2 + 7*p + 3. Let l be z(7). Let m be (-2)/(l/(-42)*1). Suppose 0*w - 4*w + m = 0. Solve -16 = -3*u - w for u.
3
Let k(v) be the third derivative of v**4/12 - 4*v**3/3 + v**2. Let w be k(6). Solve u + 12 = w*u for u.
4
Let i(g) = -17*g - 11. Let t be i(-1). Solve 4*v + 6 = -t for v.
-3
Let o(u) = -u + 17. Let y be o(5). Solve 0 = -3*w - 0*w + y for w.
4
Suppose -r - 4*r + 28 = 4*g, 4*r - 5*g - 47 = 0. Let u = r + -6. Let z = u + 0. Solve 3 = -z*f - f for f.
-1
Suppose 51 = -5*h - 49. Let f = -5 - h. Solve l + 2*l = f for l.
5
Suppose 0 = 2*h + 3 - 11. Let a(v) = 0 - 1 + 3*v**2 - 6*v**2 + 2*v**3 + h*v**2. Let w be a(1). Solve w*z + 0*z = 4 for z.
2
Let u(v) = v**3 - 10*v**2 + 9*v + 3. Suppose -2*r = -7*r - 80. Let d = 25 + r. Let j be u(d). Solve 0 = f - 2*f - j for f.
-3
Let z(q) = 2*q**2 - q + 1. Let f be z(2). Solve 3*b + 12 = f*b for b.
3
Suppose -13 + 4 = g. Let j = g + 16. Solve -2*p + j*p = -5 for p.
-1
Let f be (-24)/(-3) - (0 + 3). Solve p - f*p = 12 for p.
-3
Let w(o) = o + 7. Let u be 0/4 + -8 + 1. Let x be w(u). Solve 5*y - 1 - 4 = x for y.
1
Suppose -4*l = 2*z - 10, 3*l - 3 - 15 = -5*z. Suppose 8*q - 3*r = z*q + 37, q = 3*r + 5. Let g be (-12)/8*q/(-3). Solve -2*p - 2*p - g = 0 for p.
-1
Suppose 2*j = -0*j + 2*i + 2, j - 9 = -3*i. Let m be (0 - 0)/(-1*1). Let u = 5 + m. Solve 2 - u = -j*l for l.
1
Suppose 9*g + 32 = 25*g. Solve 0 = -2*o - g*o - 20 for o.
-5
Let l be 20/6 - 1/3. Let s(u) = -4*u + u + 5*u - 11. Let b be s(13). Solve l*p - 3 = -b for p.
-4
Suppose 4*l - 41 + 1 = 0. Solve 0 = j + j + l for j.
-5
Suppose 2*r 