.
-1
Let y be 1 - (5 - (4 + 0)). Solve 8 = 4*h - y*h for h.
2
Let y = 3 + -3. Suppose 15 = c + 2*c. Solve -v = -y*v + c for v.
-5
Let o(l) = -l + 5. Let k be o(3). Let w(t) = 5 + 3*t + 3*t - 3*t. Let b be w(5). Solve -7*z = -k*z + b for z.
-4
Let s(w) = -w**2 + 11*w - 8. Let a be s(7). Suppose -4*i - 5*l = -a, -i + 3*l + 0*l = 12. Solve y + 1 + i = 0 for y.
-1
Let g = 7 + -3. Solve 0 = s - 8 + g for s.
4
Suppose 0 = 4*a, 1 = p + a + 3. Let h = 1 - 1. Let x = h - p. Solve x*z = 4*z - 8 for z.
4
Let d(j) = j + 6. Let m be d(0). Let q be -1*(1 + 0) + 1. Solve -3*v + q + m = 0 for v.
2
Suppose k + 3*s = -12, -4*k - 48 = -2*s + 7*s. Let d be ((-4)/k)/((-2)/(-30)). Solve d*u + 9 = 2*u for u.
-3
Suppose -4*o + 0 + 12 = 0. Let n be 18/6*2/o. Solve 0 = n*w - 4*w for w.
0
Let r = -10 - -15. Solve -g = -r*g for g.
0
Let u be 40/(-12)*18/(-5). Let h = 6 - u. Let g(v) = -v**3 - 6*v**2 - v - 6. Let y be g(h). Solve 0 = -i - 4 - y for i.
-4
Suppose 2*m = 4*s - 11 - 7, 11 = -2*s - 3*m. Let f be 4 + -1*s/1. Solve f = 3*c - 1 for c.
1
Let t be (-12)/(-5) + 6/(-15). Suppose -t*u + 91 + 9 = 0. Suppose 5*a = -5 + u. Solve 6 = 3*h - a for h.
5
Let c be (-2)/(-3) - (-46)/(-6). Suppose 0 = 2*k + 12 - 26. Let n = k + c. Solve -s + 0*s + 4 = n for s.
4
Let k = 40 + -13. Let v be 48/k - (-4)/18. Let t be 1/v*(-1 - -1). Solve -2*b - 4 = -t*b for b.
-2
Suppose 5*d - 6*y = -y - 10, 4*y = 3*d + 8. Solve -5*u + d = -15 for u.
3
Let x = 1 + -1. Suppose -2*z + 5*h - 19 = -5*z, 0 = -4*z - h + 14. Suppose -60 = -z*d - 0*d. Solve x = -7*l + 3*l - d for l.
-5
Let y be 1 - (-8)/12*(-9)/(-2). Solve y*b = -b + 25 for b.
5
Let t be (1 - -1) + 4 + -1. Suppose -2*v + 2*b = -0*b + 6, v = 4*b - 12. Solve 4*n + t - 13 = v for n.
2
Let z = 94 - 89. Solve -4*q = -z*q for q.
0
Suppose 0 = -v, 0 = 2*u + u + 4*v. Let p(h) = 3*h + 6. Let y be p(u). Solve 0 = 3*b - y - 9 for b.
5
Let u(p) = -p**2 - 2*p - 3. Let a be u(-3). Let g = -2 - a. Suppose 0 = 5*m - 25, 0*y = -5*y - 2*m + 20. Solve 2*t - y = -g for t.
-1
Suppose -12 = -0*w - 4*w. Solve w*t - t = 8 for t.
4
Let n(v) = -3*v - 14. Let r be n(-11). Let d = r - 16. Solve 0 = -d*i - i for i.
0
Let r = 0 - -4. Let q(g) = g**2 + 6*g. Let p be q(-6). Suppose -24 = -4*m - p. Solve -r*a - 6 = m for a.
-3
Let x(q) = q**3 - 3*q - 2. Let j be x(-1). Solve j = -p - 2 + 7 for p.
5
Let q(u) = u + 21. Let d be q(-17). Suppose -2*o = 2*k - 8, -5*k + o + 7 = -19. Solve -k*j + d = -1 for j.
1
Suppose 4*t = 7 - 3. Suppose 2*o - 3*m = 3, -3*o = -6*o - m - t. Solve o = -6*z + 2*z for z.
0
Suppose 0 = 11*s - 11 + 11. Solve 0 = 5*j - s*j + 15 for j.
-3
Let t(p) = -9*p + 5. Let x(l) = 8*l - 5. Let o = -3 - -10. Let a(m) = o*x(m) + 6*t(m). Let j be a(5). Solve -f = -0 + j for f.
-5
Let f(g) = g**3 - 9*g**2 + 8*g. Let v be f(8). Suppose -4*x + 4*a + 36 = 0, 0 = 3*x - 4*a - a - 37. Let p = x - v. Solve -3*w + 1 = p for w.
-1
Let u(t) = -t**2 + 9*t - 4. Let a be u(6). Let d be (-38)/(-3) - a/21. Solve 3*m = 3 - d for m.
-3
Let q(u) = -u**3 + 2*u**2 + 4*u - 4. Let y be q(3). Let d(n) = 3*n**3 - 1. Let o be d(y). Let w = o + 5. Solve 2*x = 3*x - w for x.
1
Let c(t) = t**3 - 6*t**2 + t - 5. Suppose -5*y - 18 = 4*s, 1 = s - 4*y - 5. Let m be 5 - 3/6*s. Let l be c(m). Solve 0 = 3*n + 5 + l for n.
-2
Suppose p + 109 = 113. Solve d = p*d for d.
0
Suppose 0*c + 5*c = 35. Let f = -5 + c. Suppose -y + 52 = 4*j, -f*y - 48 - 4 = -5*j. Solve 2*x - 5*x - j = 0 for x.
-4
Let b(t) = t**2 - 6*t + 3. Let o be b(5). Let m = 2 + o. Solve m = j - 2*j for j.
0
Suppose 0 = 5*j - 0*o - 3*o + 25, 0 = 2*j + 2*o + 10. Let r = j - -8. Solve 5*l - r*l = -6 for l.
-3
Let f = 0 - -4. Let m = -21 + 26. Solve f*a - m = 3*a for a.
5
Let g be -2 - 2/(-4 + 3). Solve g = -0*w + 4*w + 16 for w.
-4
Let x(s) = 1 + 0 + 2 + 11*s + 0. Let l be x(2). Solve -6*n + n = -l for n.
5
Suppose 0 = -5*d - z + 30, -4 = -4*d - z + 21. Suppose 12 = 2*r - d*v, -12 = -2*r + 5*v - v. Solve 4*o - 2 = r for o.
2
Let k(a) = -a**2 + 10*a + 9. Let o be k(8). Solve 0 = l + 4*l - o for l.
5
Let t(f) = -f**2 - 5*f - 12. Let y be t(-5). Let a be (-4)/3*y/8. Solve c = a*c + 2 for c.
-2
Suppose 3*m + 1 = -4*n - 24, n + 5*m + 19 = 0. Let t be 7*(-1)/(14/n). Solve -t*x = -7*x - 5 for x.
-1
Let u be -1 + -1 + -4 + 8. Suppose -t = 3*m - 3, u*t = -0*t - 3*m. Let a = 3 + t. Solve 2*r + a*r = -6 for r.
-3
Let y = 0 - 0. Let d = y + 0. Let i = 10 - -2. Solve d*a - 3*a = -i for a.
4
Let t(x) = -x + 4. Let g be t(0). Suppose -g*b = -5*b. Solve b = -0*k - 4*k + 12 for k.
3
Suppose -4*q - 3*k - 15 = 0, -2*q + 4 = -k - 1. Solve q*v - 8 = -4*v for v.
2
Suppose -4*g + 10 + 6 = 0. Suppose g*y + 2*d - 2 = 0, -2*d - 18 = -y - 6*d. Let n be (y + (-6)/(-4))*0. Solve n = -r + 5*r - 4 for r.
1
Let f = 3 - 3. Suppose f + 6 = 2*r. Solve -3 = -3*v + r for v.
2
Suppose -7*m = -3*m. Let n be (-1)/(-2) + 9/2. Suppose o = -1, n*f - f = 4*o + 64. Solve m*u - 3*u = -f for u.
5
Let l be (-52)/(-8) + (-2)/4. Solve 2*a + 0*a = l for a.
3
Let s = 32 + -20. Let u = -12 + s. Solve 3 = -b - u for b.
-3
Let w(m) = -3*m**2 - m + 4. Let u(j) = j**2 - 1. Let z(g) = -4*u(g) - w(g). Let i be z(1). Solve -5*o + 4 - 19 = i for o.
-3
Let u be 1 + (-3 - (-10)/2). Solve u*x = -0*x + 9 for x.
3
Let y(o) = -o - 2. Let u(m) = 4*m**3 + 1. Suppose 0*a - 5*n = -2*a + 18, 16 = 4*a - 5*n. Let w be u(a). Let q be y(w). Solve 0 = -h + q + 2 for h.
3
Let v(m) = -2*m**2 + 5*m**2 - 5 - m**3 + 6*m + 0*m. Let r be v(4). Solve 0*t = -r*t for t.
0
Let r = -18 - -35. Let y = -11 + r. Suppose 5*i = 9 + y. Solve -n = -i*n for n.
0
Let d be (6 + -5)/(1/5). Suppose 4*k = 3*l + l - 40, d*k = -4*l + 4. Solve 3*r = l*r + 6 for r.
-2
Let h be -1 - (-15 - (0 - 2)). Let n = -16 + 20. Solve -h - n = -4*x for x.
4
Suppose 3*r - 5 - 1 = 0. Let m = -9 + 16. Suppose 0 = -0*g - 2*g + b + m, g - 4*b = 7. Solve g*j = -r*j + 25 for j.
5
Suppose 2*a = -a + 15. Let f(y) = -y**3 + 2*y**2 + 2*y - 1. Let w be f(3). Let l = w + a. Solve q + l = -0 for q.
-1
Suppose f - 13 = 4*v, -f + 35 = 3*f + v. Let k be 3/f + (-78)/(-9). Suppose k = -r + 4*r, 0 = -z + 4*r - 5. Solve a = -z + 2 for a.
-5
Let s be (-2)/5 + (-6)/(-15). Suppose -d + 5 + 0 = s. Solve 34 - 9 = d*v for v.
5
Suppose 6 = -3*g + 12. Solve y - 4 = g*y for y.
-4
Let y = 6 + -6. Suppose 0 = -3*c - y*c + 6. Solve 2*j = 3*j + c for j.
-2
Let h(k) be the third derivative of k**4/24 - k**3 + k**2. Let d be h(9). Solve -3*q - d = -2*q for q.
-3
Suppose -1 = -3*s - 4*f, -4*f + 0 = 2*s + 2. Let m be 0 + (10 - 1)/s. Solve -h + 8 = m*h for h.
2
Suppose 109 = a + 2*a + 5*q, -76 = -2*a - 4*q. Solve -5*b - 8 + a = 0 for b.
4
Suppose g - 6 = -2*g. Solve 0 = g*y + 3*y for y.
0
Let g(v) = -v**3 + 4*v**2 + 5*v + 3. Let j be g(5). Solve j = 5*d - 7 for d.
2
Let o(w) = 5*w + 5. Let y be o(-4). Let g be 186/y - 3/5. Let m be -2 + (7 - 3) - g. Solve 5*z + m = -0*z for z.
-3
Suppose 3*x - 5*u = -31, -x - 17 = -0*u - 3*u. Let t = 5 + x. Let h be 2 + (-4)/(-6)*t. Solve h*q - 1 = 15 for q.
4
Suppose 5*n - 31 = 2*o - 3*o, 33 = 3*n - 3*o. Let p(y) = -2*y**2 + 4*y + 1. Let k be p(3). Let j = n + k. Solve -t + j = -0 for t.
2
Suppose -3*c = -2*c - 9. Suppose -3*h = -12 - c. Solve -4*q + 1 = -h for q.
2
Let z(l) = -l**2 - 13*l - 4. Let n be z(-12). Suppose -n*s = -6*s. Solve 5*b + 10 = -s*b for b.
-2
Suppose -1 = 2*g - g. Let i be 0/(5 - 2)*g. Solve i = -3*z - 0*z + 3 for z.
1
Let f = -18 + 13. Let b(j) = -j. Let l be b(f). Let p = -65 - -85. Solve -l*o + p = -o for o.
5
Let j(m) be the second derivative of -m**5/20 - m**4/4 - m**3/6 - 3*m**2/2 + m. Let g be j(-3). Solve 0*r + r - 3 = g for r.
3
Suppose -3*v - 7 = -2*l, 0 = v - 0 + 1. Suppose -5*p - z + 13 = 0, 2*z - 5*z = l*p - 13. Solve -3*y = p*y - 10 for y.
2
Let r be (12/10)/(4/10). Solve -r*v + v = 10 for v.
-5
Let m = 2 + -7. Let o be m*(-1)/(10/4). Let r = 2 - 2. Solve 0 = -r*t + o*t for t.
0
Let s(i) = i**3 - 3*i**2 - 2*i - 3. Let b be s(4). Let o be 0/((-4)/(-2)*1). Suppose -4*u - u + 5 = o. Solve 0 = -3*f - u - b for f.
-2
Let g(m) = 2*m**2 - 5*m - 12. Let q be g(-2). Solve -4 - q = 5*r for r.
-2
Let g = 19 - 7. Let l = 22 + -16. Let t = -2 + l. Solve -t*q + 0*q = g for q.
-3
Suppose 8*m = -0*m - 0*m. Solve -6*h + 7*h = m for h.
0
Suppose 3*d = 5*s - 60, -4*s - 3*d + 14 = -7. Suppose 0 = -3*l - 4*h + 107 - 6, l = 3*h + 25. Suppose 5*