.
2
Let x be (-1)/((4/(-2))/6). Suppose 0 = -l - 2*u - 3 + 1, -4*l = 4*u. Solve -v = l - x for v.
1
Let q(x) be the third derivative of -1/12*x**4 - 1/6*x**3 + 0*x - 1/60*x**5 + 0 + 2*x**2 - 1/30*x**6. Let a be q(-1). Solve -y + 1 = a for y.
-3
Suppose -3*b - 4*m = -2*b - 12, 4*m - 12 = -2*b. Let j = b - 1. Let u be (-7 - -1)/(j*2). Solve -11 = -u*t + 4 for t.
5
Let r(o) = o**3 - o**2 - o - 4. Let x be r(0). Let y be x/(-14) + 12/7. Let z be 24/20*5/y. Solve 0*u - z*u + 12 = 0 for u.
4
Suppose 0 = 5*c - 0*c - 5. Solve -a - 5 + c = 0 for a.
-4
Let z be ((-12)/(-16))/(3/8). Solve 0 = 2*l + z*l + 8 for l.
-2
Let x(t) = t + 10. Let p be x(-6). Suppose p*s + 4 = -3*w, w - 2*s + 4 = 4*w. Suppose 6 = 2*q + 4*j - 18, -2*j = 4*q - 30. Solve -h + w*h = -q for h.
-2
Suppose -1 = -10*j + 69. Solve -j = -5*h + 18 for h.
5
Let n = 79 - 62. Solve -5*a - 7 = -n for a.
2
Suppose 0 = 3*r - 0*n + 2*n - 32, -34 = -2*r + 5*n. Let z = r + 3. Let o be z/(-3)*3/(-5). Solve -o*s + 7*s - 12 = 0 for s.
3
Let i = 47 + -33. Let o(l) = l + 6. Let h be o(-6). Solve -4*s + 6 - i = h for s.
-2
Suppose 2*l + 10 = 0, 2*l = -n - 0*l - 8. Suppose 0*s + 8 = 4*s. Solve n = -s*y + 12 for y.
5
Let r(h) = h**3 + 6*h**2 - 2*h + 8. Let d = -19 + 13. Let b be r(d). Solve b = -s - 4*s for s.
-4
Suppose -5*a + 19 = 2*x, 2*a - 9 = 1. Let b be (-36)/x*(-2)/(-6). Let c be 148/18 + b/(-18). Solve 0*r - c = -4*r for r.
2
Suppose 4*i + 4*g = -20, -5*i = -2*g - 2 - 8. Solve i + 5 = p for p.
5
Suppose 3*q = 8*q - 40. Solve n = 3 - q for n.
-5
Suppose a + 0*p - 4 = 4*p, -3*a + 3 = -3*p. Solve a = -0*n - 2*n + 4 for n.
2
Let b(x) = -x**3 - 6*x**2 + 6*x - 7. Let i be b(-7). Solve i = 5*t - 4 - 6 for t.
2
Let h(w) = -w**3 - w**2 + w. Let d be h(-2). Let z(u) = -u**3 + 4*u**2 + 4*u - 2. Let b be z(-4). Suppose 4*a - b = -a. Solve -d + a = 5*l for l.
4
Suppose -2*f + 20 - 1 = -j, 0 = j - 1. Let w be (0 - -2) + (-1 - 1). Suppose 2 + 3 = 3*n + 5*c, -2*n = -3*c - 35. Solve 4*x - n - f = w for x.
5
Suppose 0*x = 2*x - 6. Suppose -g + x = 2. Solve -z + 0 = -g for z.
1
Let q(h) = h - 1. Let o be q(1). Let l(n) = -n**2 + 7*n + 5. Let i be l(7). Suppose 21 = i*k - 9. Solve o = -2*b + k*b + 4 for b.
-1
Let i(u) = u**2 + 7*u + 6. Let t be i(-5). Let z(h) = -11*h**2. Let g be z(1). Let y = t - g. Solve 4*r + 1 = -y for r.
-2
Let h be 34/4*(-4)/(-2). Suppose 0*m + 4*m = 2*n + 2, -4*m = 3*n - h. Suppose 6*y = m*y + 36. Solve 3*l = -0*l + y for l.
3
Let s be (-3)/6*0 - -3. Solve -3*v - s = 3 for v.
-2
Let d be 2*(4/6)/(2/3). Suppose -3*a = -7*a + 16. Solve -d*q = -a*q for q.
0
Let k = 10 + 1. Let s(z) = -1 + 2*z - z - k*z. Let j be s(-1). Solve 0 = 4*u - 3 - j for u.
3
Let k(h) be the first derivative of h**3 + 3*h**2/2 + 2*h - 1. Let d be k(-2). Let a be -3*2/(-12)*d. Solve 0 = -j + a for j.
4
Let a(p) = p**3 - 7*p**2 - p + 10. Let o be a(7). Suppose -12 = o*k, 4*t + 3*k + k + 4 = 0. Solve t*y = y + 4 for y.
2
Suppose 3*q - 5*g = -3*g, -g = 3*q - 9. Suppose -3*i + 10 = q*i. Solve 0 = -i*b - 0*b - 2 for b.
-1
Let w(q) = 2*q + 4. Let m be w(8). Suppose 5*x = -6*x + 55. Solve 0*l + x*l + m = 0 for l.
-4
Let t = 6 - -3. Suppose 14 = 5*k - 3*k - 2*z, -2*k + 3*z = -t. Solve -3*f + 0*f + k = 0 for f.
4
Let g = -150 - -151. Solve -4 = -3*r - g for r.
1
Let s(f) = f. Let d be s(-2). Let o be (4/d)/((-5)/10). Suppose -2*p = 1 - 3. Solve z + p = -o for z.
-5
Suppose 3*s + q = 5*q + 3, 30 = 3*s + 5*q. Solve s*t = 7 - 17 for t.
-2
Let b(n) = -31*n**3 - n**2 + n + 1. Let l be b(-1). Let z = -18 + l. Solve 2*y - z = -2*y for y.
3
Let v(h) = -h - 3. Let c be v(-6). Let a(m) be the first derivative of -m**4/4 + m**3 - 3*m**2/2 + 2*m - 2. Let g be a(2). Solve n + 0 - c = g for n.
3
Let v(f) = -f**3 - 6*f**2 - f - 1. Let y be v(-6). Let x = -1 + y. Solve -x = 4*p - 2*p for p.
-2
Suppose -2*o + 5 = -b, o + 1 = -4*b + 26. Let k = 89 + -88. Solve b - k = -4*y for y.
-1
Suppose p - 12 = -2*w, -2*p = -w - w + 6. Suppose -3*k = 3*j - 24, -2*k - 3*j + 34 = p*k. Solve 2*s = 7*s + k for s.
-2
Let j = -33 - -38. Solve -8 + 28 = -j*n for n.
-4
Suppose -141*d + 39 = -138*d. Solve -4*p - 5 = -d for p.
2
Suppose 0 = 7*k - 22 - 34. Solve 3*c + 2 = k for c.
2
Suppose 0 = 5*d - 12 + 2. Solve 0*l = d*l + 4 for l.
-2
Suppose -8 + 2 = -3*a. Solve 5*z + 13 = -a for z.
-3
Let g = -3 + 5. Suppose f + g*f = 0. Suppose f = 2*d - d - 3. Solve 0 = -s + d*s for s.
0
Let a = 103 + -83. Solve 5*d = d + a for d.
5
Let y(m) be the second derivative of m**3/6 + 2*m**2 - 3*m. Let h be y(-2). Solve h = -2*r + r for r.
-2
Suppose -4*s - 20 = 0, 0*p - 5*s = 2*p + 15. Suppose 15 = p*u - 35. Solve -3*j = -j - u for j.
5
Let o(k) = -k + 12. Let r(f) = -2*f - 3. Let l = 2 - 8. Let x be r(l). Let q be o(x). Solve 0 = q*c + 2 + 4 for c.
-2
Let u(k) = k - 2. Let q be u(5). Let b be q/(-3) + (1 - -3). Solve 0 = b*y + 2*y - 25 for y.
5
Let v(w) = w**3 - 7*w**2 + 5*w - 2. Let h be v(6). Let z = 11 + h. Solve -7 = -2*u + z for u.
5
Let r(g) = -20*g. Let i be r(-1). Suppose -3*o - 8 = -5*c, -2*c = 3*o - 0*c - i. Solve 16 = -3*j + o for j.
-4
Let p(t) = t - 13. Let h be p(13). Solve h*k = k for k.
0
Suppose 140 = 5*f + 2*f. Solve 4*c = 9*c - f for c.
4
Suppose 12 = 4*p - 32. Let o(y) = -y**2 + 11*y. Let w be o(p). Solve w = -2*m - 3*m - 5 for m.
-1
Suppose -m + 1 + 0 = 0. Let y = -4 + m. Let w = 3 + y. Solve -5*g + 6 + 14 = w for g.
4
Let v be (-3)/((-3 + 4)/(-1)). Let x be 22 - (-2 - -3)*-1. Solve x = -v*l + 8 for l.
-5
Suppose m - m = 7*m. Solve m*w + w = -2 for w.
-2
Let a = 207 + -192. Solve -7*h + 10*h = a for h.
5
Let o be 2*(1 + -5) + 2. Let j = o + 11. Suppose 4*h - 4*a - j = 3, 0 = -4*a. Solve -w - h = -0*w for w.
-2
Suppose 3*n - 28 = -n. Let r(z) = z**3 - 6*z**2 - 8*z + 11. Let m be r(n). Solve 2*o = m*o + 10 for o.
-5
Let q(o) = o**2 - 2 - o + 2 - 4 + 0. Let v be q(3). Solve -v = -4*m - 6 for m.
-1
Let d = 52 + -50. Solve d*k + 4 = 12 for k.
4
Suppose 0*d = 4*d - 8. Solve d*z = -2*z - 16 for z.
-4
Suppose 3*n - r - 14 = -n, 10 = 2*n + r. Suppose -4*u + b = -51, 8*u + n*b = 4*u + 56. Solve 2 = -5*k - u for k.
-3
Suppose -2*o - 2*o = -24. Let s = -3 + o. Let i = s - 1. Solve 4 = i*p + 12 for p.
-4
Let c(x) = -x - 7. Let m be c(-8). Let s(i) = m - 2*i + 0*i + 3*i. Let a be s(-1). Solve a = 3*f + f for f.
0
Let t(k) = 8*k - 3. Let b be t(4). Let g = 41 - b. Solve o = -3*o + g for o.
3
Let p(w) = 4*w**2 - 14*w + 1. Let q(t) = 3*t**2 - 13*t + 1. Let r(z) = -4*p(z) + 5*q(z). Let c be r(-9). Let v be c + ((-1)/1 - 0). Solve 4*a + 2 + 6 = v for a.
-2
Suppose 4*h = 2*a + 10, 8 = -4*a - 4. Suppose 20 = 2*x - 4*n, -x = -n - 6 - 1. Suppose 5*k = x + 6. Solve h = k*g - 3 for g.
2
Let k(c) = -15*c**2 + 23*c - 10. Let z = -10 + 16. Let g(a) = 7*a**2 - 11*a + 5. Let w(x) = z*k(x) + 13*g(x). Let v be w(4). Solve -l + v = 2 for l.
-1
Suppose -y = -4*r + 1, 0 = 5*r + 5*y - 2 + 7. Suppose 4*d - 3*d - 5 = 0. Suppose r*q + 5*q = d. Solve 1 + q = -w for w.
-2
Let i(d) = 7*d + 6. Let b(m) = -3*m - 3. Let o(g) = 5*b(g) + 2*i(g). Let j be o(-5). Solve 3*t + j*t = -10 for t.
-2
Let j(o) = o**2 + 9*o - 10. Let w be j(-10). Let n = w - -6. Suppose 0 = -s - 5*l - 6, s = 4*s + l - 10. Solve -s*z + z = -n for z.
2
Let b(y) = -y**2 + 7*y - 7. Let t be b(5). Let s be 0/((-3)/t*2). Solve s = -2*a - 4 - 2 for a.
-3
Suppose 0 = -3*i - 4*y - 9 + 1, -i - 2 = y. Solve i*t = 2*t - 8 for t.
4
Let s be ((-6)/15)/(6/(-180)). Solve 3*v + 0*v = s for v.
4
Suppose t - 4*f - 6 - 4 = 0, 4*t + 4*f = 0. Suppose -12 = -w - t*w. Solve -3*s - 4 = -w*s for s.
4
Let z be (-4)/((3/(-4))/(6/4)). Solve 5*v - z - 7 = 0 for v.
3
Let a(k) = -4*k + 1. Let r(l) = 13*l - 3. Let i(f) = -7*a(f) - 2*r(f). Let h be i(2). Solve -17 = 4*j + h for j.
-5
Let l(o) = -2*o + 2. Let a be l(4). Let x = a - -9. Solve -x*q - 2 = -5 for q.
1
Let z be (-64)/(-10) - ((-22)/(-5) - 4). Solve 0 = 4*d - 14 - z for d.
5
Let h(s) = -2*s + 1. Let c(f) = -f + 2. Let b(y) = 2*c(y) - 3*h(y). Let x(n) = -n. Let q be x(-1). Let d be b(q). Solve -d = -3*a - 2 for a.
1
Let x = -28 + 30. Solve s = x + 1 for s.
3
Let s = -6 - -4. Let h be 9/s*(-16)/24. Solve -h*a = -3 + 9 for a.
-2
Suppose 26 + 46 = 4*o. Solve -4*p + 2 = o for p.
-4
Let d = -4 + 9. Suppose -3*f + d*f = 30. Solve -3*m = -6*m + f for m.
5
Let j = 10 - 5. Solve s - j*s = 0 for s.
0
Let r = 65 + -51. S