= u for l.
0
Let f(g) = 2*g**2 - g. Let o be f(-1). Solve 2*a - 9 = -o for a.
3
Let c(a) = -a**2 + 5 - 5 - 8*a. Let g be c(-6). Solve -8 = 4*n + g for n.
-5
Let u(m) be the third derivative of m**4/24 - m**3/2 + 6*m**2. Let y be u(4). Solve 14 + y = -3*s for s.
-5
Let k(h) = 4*h - 1. Let x be k(1). Suppose x*s = -0*s + 12. Suppose -3*r + s + 2 = 0. Solve -i - r = -2*i for i.
2
Let n(v) = v**2 - 5*v - 2. Let w be n(6). Let m be ((-16)/(-48))/((-2)/(-12)). Solve -w*k - 2 = m for k.
-1
Suppose -5*n + 3*n - 4*x + 8 = 0, -3*x + 9 = n. Let s be 2/(-3) + (-64)/n. Solve -s = 3*l - 5*l for l.
5
Let t(s) = 10*s - 2. Let m be t(3). Solve -5*k + m = 3 for k.
5
Let c(z) be the second derivative of z**3/2 + z**2/2 - 6*z. Let q be c(1). Solve q*w + 4 + 0 = 0 for w.
-1
Let n(s) = -s**3 + 14*s**2 - 12*s - 13. Let k be n(13). Let u = 3 - 0. Solve x + k = -u for x.
-3
Suppose 0*s + 29 = 4*s + p, -p + 21 = 3*s. Let u be ((-4)/s)/(1/(-10)). Solve -u*q = 2 - 17 for q.
3
Suppose 4*i + 2 = 6. Let f = 7 + i. Solve 0 = -4*u + f + 12 for u.
5
Suppose -4*v - 7*z + 36 = -2*z, z = 3*v - 8. Solve -3*t + v + 2 = 0 for t.
2
Suppose -3*f = 3 - 18. Suppose f*v + 20 = 0, -5*n - 6*v + 2*v - 16 = 0. Let c(r) = 5*r**2 + 2*r + 1. Let y be c(-1). Solve -y*s - 20 + 4 = n for s.
-4
Suppose 0 = -5*g + 11 + 89. Suppose 4 = -3*j - g. Let x be 1 + 0 - j/1. Solve 2*y = -y - x for y.
-3
Let r be ((-32)/(-10))/((-4)/(-10)). Suppose -5 + 1 = -5*p + 3*h, 0 = -p + 5*h - r. Solve -p*u + 1 = -u for u.
1
Suppose -5*n = 3*f + 19, 3*f = f - 2*n - 6. Solve -16 - f = 6*w for w.
-3
Suppose -4*o + 15 = -o. Suppose 28 = z + o*m, 3*m - 25 = -5*z + m. Solve z*a - 6 = 6 for a.
4
Suppose -3*q - 5*a = -34, -4*q - 5*a + 17 + 20 = 0. Suppose v = -q*v. Suppose -y + 24 = 5*k, v = -4*y - 6*k + 3*k + 28. Solve y*l + 5 = -l for l.
-1
Suppose -7*u = -4*u. Let r be u/(-1) + 3 + -3. Solve r = 6*j - 2*j + 16 for j.
-4
Suppose 0*y - 3*y = 0. Solve -3*g + 0*g = y for g.
0
Suppose 5*p - 115 + 40 = 0. Suppose -4*w + 7 = o, -2*w + 7*w - o = 11. Solve w*x = -x + p for x.
5
Let f(q) = q + 2. Let s be f(2). Solve -n + s = 3*n for n.
1
Suppose 10*r = 3*r. Solve r*n + n - 1 = 0 for n.
1
Suppose 3*f + 4*l - 56 = 0, -2*l + 15 = 2*f - 23. Solve -f = 5*m - 0 for m.
-4
Suppose 5 = 2*n + 5*g - 10, 3 = 4*n + g. Suppose -3*l - 15 = n, 4*j - l - 2 = -3*l. Solve j = -3*i + 12 for i.
3
Suppose -5*o = -s + 18, 0*o + o = -2*s + 3. Let h(y) = y + 14. Let z be h(-10). Suppose -2*u + 2*j = -8, -z*j + 16 + 13 = 5*u. Solve u*m - s*m = 6 for m.
3
Suppose g - 3*j = -0*g - 15, -3*g - 2*j = -10. Solve -2*p + 5*p + 3 = g for p.
-1
Let a(d) = d**2 + 7. Let g be a(0). Let p = g + -3. Solve -4*w = p + 8 for w.
-3
Suppose -13 = -5*q - 3. Let k(f) be the third derivative of f**5/60 + 2*f**2. Let i be k(2). Solve q*n = -i + 14 for n.
5
Suppose 0*j - 13 = -4*j - 3*w, -j - 2*w - 3 = 0. Suppose -3*q = 2*z - 10, -2*q + 3*z + 14 - 3 = 0. Solve -q*s = j + 1 for s.
-2
Suppose -5*k + f = 3 + 17, -3*k - 12 = -2*f. Let m be ((-2)/k)/((-3)/(-18)). Suppose v = m*v. Solve -4*d - 1 - 3 = v for d.
-1
Let r = 78 + -77. Solve -3*d + 2 = -r for d.
1
Suppose b - 2*f + 16 = -f, -4*b - 24 = 4*f. Let g = 7 + b. Let h = g + 4. Solve 0 = -h*l + 2*l + 4 for l.
-2
Let b(a) = -a**3 + 7*a**2 + 8*a - 2. Let v be b(8). Let g be (-1)/(5/v - -2). Let q be 12*1 - (2 + -2). Solve 0 = -2*h - g*h - q for h.
-3
Suppose 4*l = -4*v, 4*v = -3*l - 0*v. Solve -3*q + 5*q = l for q.
0
Suppose -5*w + 51 = -3*j, -2*w - j = -21 - 6. Suppose -b + w + 8 = 0. Let n be (b/(-6))/((-6)/27). Solve -4*t - n = -t for t.
-5
Let v be 0 + 7 - (-5)/(-1). Solve -v*s + 13 = 3 for s.
5
Let l(t) = 6*t - 2. Let m be l(5). Let d = -28 + m. Solve -4*a = -d*a for a.
0
Suppose -4*s = 6*s - 40. Suppose -5*i + 5 + 5 = 0. Solve 0 = s*t - 18 + i for t.
4
Let w = 28 - 10. Solve 8 = -2*s + w for s.
5
Suppose 0 = -3*z + u + 44, -48 = -3*z + z - 4*u. Let i be 12/(4*3/z). Solve -4*b = 4 + i for b.
-5
Let p = -135 + 145. Solve -r = -13 + p for r.
3
Let p be (-11)/4 - 1/4. Let x(g) = g**2 + 5*g + 3. Let v be x(p). Let b be (-2)/6 - v/9. Solve 3*t - 3 + b = 0 for t.
1
Suppose -v - g = 2 + 1, 5*g = 4*v - 15. Solve 5*c + v = -5 for c.
-1
Suppose 5*j = -20, 2*w + 3*j = 2*j - 4. Solve 0 = -3*r - w*r - 9 for r.
-3
Let n = -198 + 203. Solve -n*g = -0*g for g.
0
Let s(v) = -7*v + 1. Suppose -12 = b + 4*f, -5*b + 2*f + 12 + 38 = 0. Suppose -3*n - 5*o = b, -n = -0*o + o + 2. Let p be s(n). Solve -2 = -2*u - p for u.
-3
Let l = 3 - 2. Let p = 7 - l. Suppose 3*s - 7 = -1. Solve 2*i + p = s for i.
-2
Suppose 0 = 4*q - 3 + 19, q + 94 = 5*k. Let j(t) = t**3 - 19*t**2 + 18*t. Let i be j(k). Solve i*s = 2*s - 10 for s.
5
Let p(r) = r - 1. Let a be p(1). Suppose y + 0*y = a. Suppose 20 = -4*m - 5*g, y*m - 3*g = -2*m + 12. Solve m = -n + 5*n + 4 for n.
-1
Let d(b) = -b**3 + 2*b**2 - b + 2. Let t be d(2). Let p = 3 - 0. Solve t = -p*y - 1 - 2 for y.
-1
Let k(x) = -x**2 - 4*x. Let s be k(-4). Let j(f) = f**2 + 7 + 0*f**3 + s*f**3 + f**3 - 6*f**2 - 7*f. Let h be j(6). Solve 3*v = -4 + h for v.
-1
Let h be (-2)/(-2) - (-4)/1. Solve -7 = -h*q + 13 for q.
4
Suppose 2*a = 3 + 3. Solve -a*q + 0*q + 6 = 0 for q.
2
Let k be 1 + -5 - (-5 + -4). Solve k*q + 15 = -0*q for q.
-3
Let u = -20 + 35. Suppose 5*y - 8 - 7 = 0. Suppose y = -2*t - 2*a + 1, 2*t + 4*a + 8 = 0. Solve 0 = t*n - 7*n + u for n.
3
Suppose -3 + 8 = 5*b. Let d = b - -1. Suppose 3*v - 20 = -5*x, -4*v + d*x = -3*x - 15. Solve i = v*i for i.
0
Let k(z) = 5*z - 1 - 5*z - z. Let p be k(-1). Suppose -c - c + 27 = 5*v, 0 = -3*v - 2*c + 17. Solve v*i - 2*i + 9 = p for i.
-3
Suppose 0*p = -p + f + 9, 2*p = 4*f + 26. Solve 0 = 4*a + 1 - p for a.
1
Let y = 3 - 1. Suppose 9 = -3*n, -3*v - 15 + 3 = 2*n. Let i be v/(-2) + 6/2. Solve -y = i*k + 2 for k.
-1
Let p = -86 - -94. Suppose 2*s = -0*s. Solve 0*y + 4*y + p = s for y.
-2
Suppose -3*a - 4*f - 1 = -0, f = -2*a + 1. Suppose 5*g - 13 = 2. Suppose 14 = n + g. Solve 4*o + a = -n for o.
-3
Suppose -120*i + 3 = -119*i. Let o = 26 - 18. Solve g - i + o = 0 for g.
-5
Suppose 2*i - 2*f - 10 = -5*f, -i + 4*f = 6. Suppose -3 = -3*k - 2*a - 0, -i*k = -5*a - 21. Solve 2*o - k = o for o.
3
Suppose -1 + 5 = r, 16 = 4*a - 5*r. Let m = a - 6. Solve y + m = -2 for y.
-5
Suppose 0 = 30*c - 22*c. Let d(q) = q**3 - 3*q**2 - 4*q + 2. Let x be d(4). Solve c*b - 8 = -x*b for b.
4
Let b be 10 - (0 + 0)/2. Let t be 13/(416/(-24))*-4. Solve -t*u + b = 2*u for u.
2
Suppose -7*v = -11*v. Solve v = -4*r + 5 - 1 for r.
1
Let b(c) = c + 10. Let i be b(-10). Let a(g) = g**2 + 4*g + 6. Let j be a(-4). Solve i = -j*p + p for p.
0
Suppose 2*i = -0*i + 12. Suppose -2*n + 11 = -3*o - i*n, -7 = -4*o - n. Solve o*t + 1 + 2 = 0 for t.
-1
Let d = 11 - 13. Let t be (3/d)/((-5)/10). Solve l = -2 - t for l.
-5
Suppose 8*t - 11*t = 0. Let q = -1 + 3. Suppose -3*o - q*o + 20 = 0. Solve -v + t*v - o = 0 for v.
-4
Let b = 7 - 4. Let q be ((-4)/b)/2*-3. Let l(f) = -f**2 + 4*f - 2. Let h be l(q). Solve -n = n + h for n.
-1
Suppose 9 + 1 = 5*h. Solve 0 = -v - h*v + 9 for v.
3
Suppose 2*a - 3*a = -3. Solve 4*w = a - 15 for w.
-3
Suppose 0 = 3*l - 6*l. Suppose c + 3*c = 24. Let s = -4 + c. Solve s*j = -l*j + 6 for j.
3
Let o(g) = -g**3 - 6*g**2 - 5*g + 3. Let v be o(-5). Let a = v + -2. Let i = 10 + -10. Solve -h + 2*h + a = i for h.
-1
Let h be (-12)/(-42) + (-66)/(-14). Solve -h*s = 17 + 8 for s.
-5
Suppose k + 2*w = 18 - 1, -w + 19 = 2*k. Let r be 12/(-30) + k/5. Solve 0 = -3*i + 2*i + r for i.
1
Let x be -46 - -64 - (3 + -1)/(-1). Solve -v + x = -5*v for v.
-5
Suppose 3*a = 2*a + 2. Suppose -a*v = 3*v - 30. Suppose -2*y - 4 = -2*b, -10 = b - v*b. Solve 3*l - 3 = -y*l for l.
1
Suppose -7*z = -2*z - 40. Solve 4 - z = n for n.
-4
Let h be 10/45 + (-25)/(-9). Suppose h*n - 5*o = 5*n - 63, n - o = 14. Suppose 0 = 2*z - n + 5. Solve -t + 2 = z for t.
-5
Suppose 0 = l + 4*n + 14, -2*n - 16 = 2*n. Solve 0 = 3*f - l*f + 5 for f.
-5
Let p(n) be the second derivative of -n**4/12 - 5*n**3/6 + 2*n**2 + 2*n. Let g be p(-5). Solve -g*i + 1 = -11 for i.
3
Let j = -1 - -3. Suppose j*p = 3*p. Solve l + 0*l - 3 = p for l.
3
Suppose w = 2*i, 5*i = w - 6*w. Solve w = -2*t + 11 - 3 for t.
4
Let y(x) = 2*x**2 + 3*x - 7. Let q be y(3). Solve -5*m - q = 5 for m.
-5
Let c(n) = n**2 - 6*n - 3. Let a be c(7). Solve o + a + 1 = 0 for o