be t(4). Solve 3*o = 3*h - z, -2*h + 6 = -0*h + o for h.
4
Let t(o) = -o**2 - 12*o - 2. Let h be t(-12). Let w = h + 6. Let x be (0 - 1)/(-1) + -1. Solve -2*f - 6 = -x*f, -2*f - 26 = -w*y for y.
5
Let t = 20 - 18. Solve -t*w + 13 = m, 3*w - 4*m = -5*m + 18 for w.
5
Let v = -108 + 110. Solve a + v*a = -4*s + 1, 0 = -s - a for s.
1
Suppose 4*w - 12 = w. Solve -3*s = -2*h - 9, -3*s - 4 = -w*s + h for s.
1
Suppose 5*k = 15 + 5. Suppose -30 = -5*h - 7*f + 3*f, -f - 3 = -k*h. Solve h*z + 1 = -q, 6*z = 3*q + 3*z - 15 for q.
3
Let a(s) = s + 2. Let v = 18 + -18. Let y be a(v). Solve -2*z - 5 = y*k - 3*k, 5*z + 32 = -4*k for k.
-3
Suppose -h = -6*h + 10. Let f be 12/((4 + -3)/2). Solve -5*w + f = -x, -1 = h*x - 3*w + 12 for x.
1
Let q(a) = a - 4. Suppose -c = -0*c - 2. Let i be q(c). Let b be i*(0 - (-1)/(-1)). Solve 3*l + 12 = -5*g, 4 = -g + l - b*l for g.
0
Suppose h = -3, -6 = -3*g + h + 12. Suppose 4*q + 2*u + 12 - 2 = 0, 0 = -2*q - 3*u - 15. Suppose a + a = q. Solve 0*k - 2*k + i - 1 = a, -3*i - 19 = g*k for k.
-2
Let h(i) = i**2 + 3*i. Let x be h(-2). Let r = x - -7. Suppose -5*g = 3*y - 30, -20 = -2*y - 0*y + 4*g. Solve 0 = -3*w - d - 8, -2*w - d + r = y for w.
-3
Let q(u) = -2*u - 2. Let k be q(-4). Suppose 5*y = 19 + k. Solve -3*t - 3*v = t - 35, -2*t + y*v = 15 for t.
5
Let r(x) = -x**3 - 8*x**2 - 8*x - 5. Let l be r(-7). Suppose -2 = -2*f + l. Solve 4*q + w = -11 - 8, -f*q = w + 11 for q.
-4
Let h = 75 + -64. Solve 3*r = -0*j + j + h, 7 = -4*r - 3*j for r.
2
Let v(w) = -w**2 - 16*w + 21. Let g be v(-17). Solve 2*b = -g*q - 8, q - 2*b - 13 + 5 = 0 for q.
0
Suppose 4 = b + b. Suppose 7 = 3*m - b. Suppose -2*l = -l - m. Solve 2*a + 4*w - 6 = 0, -l*w + 9 = -3*a - 0*w for a.
-1
Suppose 2*x - 6 = -x + 3*n, -3*x + 4*n + 5 = 0. Let r = x - 0. Let m = -21 - -38. Solve -4*v = 3*d - 9*v + m, -23 = 5*d - r*v for d.
-4
Let o be 4/(-6)*24/(-16). Let i be (0 + o)/((-1)/(-5)). Solve -25 = -i*w + 5*k, 0*k - 4*k = -2*w + 18 for w.
1
Let f be (-6 - (-6 + 1))/((-1)/7). Solve f*v = 2*v - 4*c + 2, 3*v - 4*c = 14 for v.
2
Suppose -4*c = -3*c + 3. Let d = 5 + c. Solve 3*t - i - d*i - 9 = 0, 2*i + 2 = 0 for t.
2
Let x(s) be the third derivative of -s**5/60 + s**4/4 + s**3/2 + 3*s**2. Let t be x(5). Solve -21 = -u + 5*i, -3*i - t = -i for u.
1
Let g(r) = -7*r**2 - 4. Let f(h) = 6*h**2 + h + 4. Let z(c) = -6*f(c) - 5*g(c). Let v be z(-3). Let q = 3 - -3. Solve v*u = q*s - 2*s + 40, u - 24 = 4*s for u.
4
Suppose -2*a = 2*j, -18 = -5*a + 2*j + 10. Suppose 0 = 3*n - 8*n. Let k be (-1 - n)*-1 + -1. Solve l + q = -k*l - a, 5*l = 5*q + 30 for l.
1
Let c(a) = -8*a**2 - 14*a - 11. Let x(f) = -3*f**2 - 5*f - 4. Let y(t) = 4*c(t) - 11*x(t). Let k be y(1). Solve 3*p + k*p - 5*j - 14 = 0, 5*p = -4*j + 11 for p.
3
Suppose 0*j = 2*j. Suppose 0*d + d - 4*g = 3, j = -4*d + g + 12. Suppose -15 = -2*s + 15. Solve 13 = c + 3*i - 6, d*i = s for c.
4
Suppose 137 = 4*g + 41. Suppose -4*r - 23 = -3*d, d - 2*d - 5*r = g. Let q be 1/(8/7 - d). Solve 3*l = 2*u - 12, 5*u - l + 5*l = q for u.
3
Let v be (-2)/7 - 47/7. Let r = -5 - v. Solve -4*g - 4 = 3*q, -14 = 2*q - r*g - g for q.
-4
Let y = 22 - 20. Solve 2*q + 8 = -y*a, 2*q + 3*a + 2*a + 14 = 0 for q.
-2
Let a = 45 + -41. Solve 5*b - 3*b + 3*w = -3, -2*w - 2 = a*b for b.
0
Let k(t) = t + 7. Let n be k(-4). Let j be -1*(-2*1 - 0). Suppose 0 = 3*b - j*b. Solve b = -5*m + 4*i + 1, 0*m = 2*m - n*i - 6 for m.
-3
Let a(f) = f - 1. Suppose b = -3 + 9. Let q be a(b). Solve -3*o + 4*o - 2 = -s, -q*s = -3*o + 30 for o.
5
Suppose 29 = 5*k + 14. Suppose -6*m = -k*m - 12. Solve -5*l - 11 = m*t, -2*l + t = -l + 4 for l.
-3
Let i = 22 + -15. Suppose 5*s + n = 3*s + i, -s - 3*n = -6. Let a = s + -2. Solve 3*y = -4*m + 2 - 1, -a = 4*y + 3*m for y.
-1
Suppose 3*s - 6 = -0*s. Solve 0 = -3*h + n - s*n - 5, 0 = 3*h - 5*n + 11 for h.
-2
Let k(n) = -2*n - 10. Let b be k(-8). Solve 3*g - b*g = 3*v, -3*v = -3*g - 24 for v.
4
Suppose 4*j - 20 + 0 = 0. Suppose -12 = -5*w + 4*g - 7*g, 0 = w + j*g + 2. Solve w*n - 2 + 19 = 2*b, 5*n + 31 = 4*b for b.
4
Let w be ((-1)/2)/((-4)/(-40)). Let x = w - -7. Suppose 0 = x*s - o - 3, 2*o = -2*s - 0*s - 6. Solve -3*a - 4*i = s, 0 = 3*a - 0*i + 2*i + 6 for a.
-4
Let b = 1 - -1. Let k = 3 - b. Solve a - w = -4 - k, -11 = 4*a - w for a.
-2
Let m be 52/(-3)*(-3)/2. Suppose -4*i + 2*a = -m, 0*a - 2*a = i - 4. Solve 5*v + 4*d - i = 0, 3*v - v - 4*d - 8 = 0 for v.
2
Let t(y) = y**3 - 4*y**2 + 5*y - 4. Let d be t(3). Solve 8 = -4*m + d*p, -2 = -2*m + p + 3*p for m.
-3
Let c = 13 + -8. Let l(b) = -b**3 + 7*b**2 - 5*b - 3. Let s be l(c). Solve 3*u - 2 + s = -5*m, -3*m - 2*u - 12 = 0 for m.
-4
Suppose -4*d = 5*i + 25, 0*d - 5 = 5*d + i. Suppose 4*v + 5*b - 19 = d, -11 = 4*v - 6*b + b. Let c = -7 + 10. Solve c*k - y = 4*k - 1, -4*k + y = v for k.
0
Let q(r) = -r + 1. Let p = -5 + -2. Let u be q(p). Let o = u - 3. Solve -o*x + 3*l = 0, l = -5*x + 3*l - 5 for x.
-3
Suppose d + 3 = -0*d, 3*y + 2*d = 3. Let f = -13 + 15. Solve -f*n - 3*n + b - 6 = 0, -14 = n + y*b for n.
-2
Suppose 0 = -4*i + 4*g + 14 + 6, -2*i = -3*g - 15. Suppose 20 = m + 5*a, 0*m + m - 5*a + 20 = i. Solve 0 = -3*j + 5*d - 12 - 5, 4*j - 5*d + 21 = m for j.
-4
Let a = 0 - 0. Suppose a = -5*s - g + 57 + 1, 9 = 3*g. Suppose -5*c + c + 8 = 0. Solve f = -c*k - f - 8, s = -5*k - 2*f for k.
-1
Let v = 45 - 24. Suppose 4*c - 5*t + v = 0, 3*c - t = 4*c - 6. Solve 4*u + 15 = -2*n - c, 3*u + 7 = n for u.
-3
Let h be (-36)/(-6) + -1*2. Let g = h + -1. Suppose -g = -3*n + 6. Solve 5 = -4*p - u, -3*p - u - n = -0 for p.
-2
Let g = -16 + 24. Suppose 3*f = 13 + g. Solve 5*m + 28 = -x, -2*m + x - f = -0*x for m.
-5
Suppose 0 = -3*z + 5*z - 4. Let p be ((-4)/(-4))/((-2)/(-6)). Let u(x) = 2*x. Let y be u(5). Solve -2*a - y = 0, z*d - a - p*a = 12 for d.
-4
Let k be (0 - -1)*29/1. Solve 5*f + 20 = -2*q, 3*q = -2*q - 2*f - k for q.
-5
Suppose 0*d = -3*d. Solve 4*j = -4*i, -3*i + d - 35 = -4*j for i.
-5
Let d be 2 - (2 - (6 + -1)). Let h(l) = -l**2 + 5*l + 5. Let n be h(d). Solve 19 = m + n*f, -6*f = 2*m - f - 23 for m.
4
Suppose -4 = -3*n - n. Let q be n - (-2 + 2 + -2). Solve 4*u - 9*u - x + 29 = 0, -q*u - 2*x + 23 = 0 for u.
5
Let n = 26 + -41. Let i = 28 + n. Solve 4*u - 4*t + i = -t, 0 = 5*u - t + 8 for u.
-1
Let p(z) = z**3 - 6*z**2 + 4*z - 2. Let h be p(5). Let x(y) = y**3 + 7*y**2 - 2*y - 10. Let q be x(h). Solve -q*i = -2*k + 16, 3*k - 7*k + i = 3 for k.
-2
Let p = 27 + -16. Let z = 11 - p. Let j be -2 - (-2 - -1)*2. Solve h + 5*u = -j*h, z = 5*h - 4*u - 29 for h.
5
Suppose 9 - 1 = 2*c. Solve 11 = 2*h + 5*a, h - c - 4 = -5*a for h.
3
Suppose 2*r + 0*r = -2*a + 96, 4*a - r = 182. Suppose a = -5*y - 14. Let m be -1 + 1 - (10 + y). Solve 3*o + m*z - 15 = 0, 4*o + 0*o - 24 = -4*z for o.
3
Let n be ((-1)/2)/(1/(-8)). Solve -l = 5*q + 2*l - 3, -2*l = -n*q - 2 for q.
0
Let n(g) = -3*g**3 + 3*g**2 + 3*g - 3. Let w = -7 + 10. Let x be n(w). Let t be 1/(-5) + x/(-15). Solve 0 = -t*j + 11 - 2, y = 4*j - 16 for y.
-4
Suppose 8*w = 7*w + 2. Solve -35 = 5*i + 5*t, -2*i - w - 2 = -3*t for i.
-5
Suppose -x + 3 = -0. Let i = x + -3. Solve i = 4*y - 4*w + 20, 0 = y - 4*w + 6 + 2 for y.
-4
Suppose 0 = -0*j - 3*j - 60. Let b be 12/(-10)*j/6. Solve -k + 5 + 3 = -2*i, 0 = 2*k + b*i + 16 for k.
0
Let c = -118 + 121. Solve -c = -4*u + w - 2, 0 = w + 1 for u.
0
Suppose 5*c = -5*v - 10, -v + 4*v + 10 = -5*c. Solve -3*w = -6, v*m + 4*w - 6 = -m for m.
-2
Let y be (-8 - -5)*(0 - -1). Let f = 1 - y. Suppose 0 = w - a - 2*a + 11, 3*w + 3*a = 27. Solve -f*x + w = -4*q, -2*x + 2 + 0 = -q for q.
0
Let d = 0 + 5. Let z be d*(-1)/(5/(-6)). Solve 3*f + 6 = -3*q - z, f = -5*q - 4 for q.
0
Let h(w) = -w**2 + 6*w + 11. Let d be h(7). Solve n = x - 1, 2*n + d*x - 11 = -1 for n.
1
Let q = 7 + 10. Let v be (-6)/(-4)*16/3. Suppose v = 4*o - 0*o. Solve 5*w = -4*t + q, o*t - 3*t - 4*w = -18 for t.
-2
Let u(d) = 2*d + 10. Let m be u(5). Suppose -3*a - a = -m. Solve 5*q = 3*v - 34, q + a*v + 0 = 10 for q.
-5
Suppose -f + 6*f = 225. Let p be ((-8)/28)/((-87)/42 - -2). Solve 5*c = -p*r + f, -c + 5*r + 0 - 20 = 0 for c.
5
Suppose -t - 34 = -3*h, 4*h - t = 2*t + 37. Solve -h = g - 4*z, -2*g + 9*z = 4*z + 14 for g.
3
Let r = -15 + 20. Suppose -2*v = -4*y + 12, 0 + 12 = y - r*v. Solve -2*u - y*h - 2*h = 8, -5*h - 10 = 0 for u.
0
Suppose 3 