 = -5*k, 0*t + 2*t + 37 = 5*k. Let h(v) = -v**2 - 5*v. Let l be h(-4). Solve 5*z - 17 = -2*p, l*z + 3*p - k = -1 for z.
5
Let r be (0 + 4)*(-15)/(-12). Suppose 2*q + 2*t = r*t + 11, q + 3*t - 1 = 0. Solve q*a + 6 = 5*h, -a - a + 2*h - 4 = 0 for a.
-4
Let q(s) = 1 - s + 4 + 0*s. Let r be q(0). Solve -3*w - r*x = -4*w - 4, 0 = -4*w + 2*x + 2 for w.
1
Let b be (-66)/(-11)*21/9. Solve -5*o = -3*o + 4*l, -o + 5*l + b = 0 for o.
4
Let d(j) be the third derivative of j**4/12 + j**2. Let k be d(0). Solve -5 = -a + 2*a - y, a + 4*y = k for a.
-4
Let g be (3 - (-9)/(-3))/(-1). Let h = 74 - 42. Suppose -q - 3*q + h = 0. Solve -2*a + 6*a + 24 = 4*u, g = -u + 3*a + q for u.
5
Let g be ((-2)/2)/(17/(-255)). Suppose -2 = 2*v - 18. Suppose -p = 3*p - v. Solve 0 = -5*m - 4*x - g, -p*m - x = 4*x + 23 for m.
1
Suppose 0 = -2*q + q + 1. Suppose -3*l = -n + 3 - q, 0 = 5*n + 2*l - 27. Solve -3*r = -n*w + 30, 3*w + 2*r = 5*r + 24 for w.
3
Let u(m) = m**3 + 6*m**2 + 4*m - 2. Let y be u(-5). Solve 4*x - y*o - 20 = o, 5*x = 3*o + 17 for x.
1
Suppose 5*t - 2*t = 6. Suppose t = c - 3*p, 2*c + c - 26 = -p. Solve 2*z = r + r - 4, r + 4*z + c = 0 for r.
0
Let a(r) = -7*r**2 + 2*r + 1. Let j be a(-1). Let l be (4/(-3))/(j/84). Solve -3*z - 3 = 2*h + 5, 5*h - l = z for h.
2
Let h(g) = g**3 + 5*g**2 + 3*g. Let w be h(-4). Suppose -6 = w*c + 2. Let b be 1/((-6)/4 - c). Solve -b*i = -3*v + 2, -2*i = -4*v - 0*v + 6 for i.
5
Let h(v) = -v**2 - 9*v + 4. Let f be h(-9). Solve 0 = -7*a + 3*a - 4*u + 16, 0 = -2*a + 2*u + f for a.
3
Suppose 42 + 6 = 3*y. Suppose -7 = -4*w - 23, 4*k - y = 4*w. Let a = 15 + -10. Solve k = -3*d - 3*b + b - 4, -a*b = 5*d for d.
-4
Let m be (2/8)/((14/16)/7). Solve 0 = 3*f + 5*q - 12, 5*f - m = f - 2*q for f.
-1
Suppose 2*f + 1 - 18 = 3*t, 27 = 3*f - 5*t. Suppose -f*v = -0*v - 12. Solve -2*b = -2*c - 4, -v*c + 2*b - 6 = -0*c for c.
-2
Let s = 12 + -10. Suppose 4*o = s*o + 2. Solve 0 = z + m - o, m + 5 = 2*z - 0*z for z.
2
Let y be (2 + 2/8)*-4. Let x = -3 - y. Suppose -2*i - i = -x. Solve 5*k - 3*b - 32 = -0*k, 0 = 2*k - i*b - 16 for k.
4
Let v = -28 - -32. Solve 0 = -2*o + 3*b + 5, 2*o = -v*b - 7 - 23 for o.
-5
Let s = -47 + 52. Solve 2 = s*v + 2*w - w, 2 = 2*v + w for v.
0
Let t = -2 + 4. Suppose -2*k = t - 8. Suppose 9 = 3*w + 2*b, -b - 3*b = 2*w + 2. Solve 21 = n - w*l, -n + k*l = 3*n + 1 for n.
-4
Suppose 2*d - 9 = -d. Let q = d + -1. Let z be 1/q*0/1. Solve 4*f + 7 = -2*a + 3*a, -3*a + 3*f + 3 = z for a.
-1
Suppose -2 = h + m, 3*m = 3*h + m + 31. Let w = -6 - h. Let g be ((-1 - -1)/w)/2. Solve -c + 8 = j, 0 = -g*c + 3*c - j - 12 for c.
5
Let x be 0 + (-1 - 6/(-2)). Suppose -3*w - 2*l = -15, x*w + l = 5 + 6. Solve 0 = -4*a + 5*q - w + 22, 3*a = 5*q + 10 for a.
5
Let o(p) = p**3 + p + 2. Let w = 7 - 7. Let x be o(w). Suppose x*u - 24 = -r - 3, 4*u - 39 = -r. Solve -5*n + 3 + 2 = 5*z, -u = -z + 3*n for z.
3
Let m be (-5 - (3 - 5))*-2. Solve m = i + 2*n, -i - 3*n = -0*i - 8 for i.
2
Suppose 0*r = -r + 2. Suppose -2*b = 3*a - 29, 3*a - 6 = r*b - a. Solve -2*n + 11 = 5*j - 2, n - 2*j + b = 0 for n.
-1
Let x = 17 - 12. Let z = 9 - x. Solve 0 = -5*s + y - 20, -2*s = -z*s + 3*y + 5 for s.
-5
Let l = 93 + -91. Solve 6 = l*y + 4*d - 3*d, -4*y = -5*d + 2 for y.
2
Let w be (-90)/(-21) - 2/7. Solve -3*u + 2*l = -2, u - 3*l + w = -0*l for u.
2
Let d(r) = 4*r**3 + r**2 + r - 1. Let p be d(1). Solve 0*j - 4*k - 32 = p*j, 2*k + 6 = 0 for j.
-4
Let x = 0 - -2. Solve 0 = 2*r + x*h, -h = 4*r - 6*h - 45 for r.
5
Suppose q - 6 = 2*f - q, 2*q - 12 = -4*f. Let v be 32/14 - 2/7. Let c = f + v. Solve 5*n - c*o + 0 = -5, 2*n + 21 = 5*o for n.
2
Suppose -j = 2 + 2. Let d = -2 - j. Solve 2*s = -3*t - 7, -16 = -4*s + d*t + 2*t for s.
1
Let p = 4 + -6. Let l(c) = -c**3 - 2*c**2 - 3*c - 3. Let w be l(p). Solve -4*t - n = 1, w*t = 2*n + 2*n + 23 for t.
1
Suppose 4*l = -5*f - 30, -f + 5*l = 2 + 4. Let b = 10 + f. Solve 5*c - 2 + 10 = 4*r, -8 = -4*r + b*c for r.
2
Suppose 3*r + 56 = 5*r. Solve -4*x = 4*k - r, -2*x = -k - 3*k + 10 for x.
3
Let m = 16 + -11. Solve -3*x = -3*o - 6, x + m*o + 3 = -x for x.
1
Suppose -4*r - r = 0. Let w = 1 + 1. Let o = 3 + 1. Solve 3*g = r, -15 = -w*m - 3*m - o*g for m.
3
Suppose -2*c - 3 + 7 = m, 3*m = -6. Solve c*k = -0*h + 4*h + 10, 5*h + 15 = 5*k for h.
-1
Suppose -319 = -8*h - 3*h. Let b = 17 - 2. Solve -4*r = -r - b, w + 5*r = h for w.
4
Let v = 4 + -1. Let c = v - -3. Solve -2*m = c*q - 4*q + 10, 2*m = -q - 7 for q.
-3
Let z = 3 - 3. Suppose -g + 3*g = z. Solve -4*k + g*k = 2*y - 10, k = 0 for y.
5
Suppose -26 + 2 = -4*w. Suppose j + w = 4*j. Solve j*z = 5*y + 22, y + 13 = 5*z - y for z.
1
Let t(q) = q**3 + 11*q**2 + 10*q + 3. Let p be t(-10). Suppose 41 = 2*y - 79. Suppose y = 6*m - m. Solve 2*u + 5*c = -u - 34, u = p*c + m for u.
-3
Let c be 4*(0 - (-12)/8). Let t be -2 + 4/((-4)/(-2)). Solve -2*m + 4 - c = 3*o, 3*m - 3*o + 18 = t for m.
-4
Suppose 18 = 5*j + j. Solve 2*y = z - j + 11, -5*z = 5*y - 20 for z.
0
Let z(i) = -i**3 + 4*i**2 + 5*i + 3. Let u = 17 - 12. Let f be z(u). Let b(s) = 5*s - 1. Let v be b(f). Solve 3*h + h = -2*q + v, 0 = 3*q - h for q.
1
Let v be (0/(-2))/(-2) + 3. Let l = 1 + -1. Let p = l - -5. Solve t - v*t = -2*j, -p*t = 0 for j.
0
Let n(j) = -j - 3. Let s be n(-9). Let b be 2/10 + 24/5. Suppose -x + 2 = -2*h + 11, b*x = -5*h. Solve f = -h*c + s, 5*f - 4 - 10 = c for c.
1
Let a(u) be the third derivative of u**5/60 - u**4/12 - 7*u**3/6 + u**2. Let t be a(5). Solve 0 = 5*j - 3*c - 10, -4*j + t*c = 3*c - 8 for j.
2
Suppose 0 = -o - 4*z + 3, 4*o + z - 9 - 3 = 0. Solve -o*v - 4*l = -4*v + 23, -2*v - 4*l - 14 = 0 for v.
3
Suppose 5*m - y - 25 = y, 0 = -5*m + y + 25. Let l(d) = -d**3 + 4*d**2 + 4*d + 3. Let t be l(m). Let j = 4 + t. Solve -5*x - 3 = -4*f, 4*x = j + 2 for f.
2
Let y(o) = o**3 + 9*o**2 - o + 3. Let p be y(-9). Suppose -5*s + 3*s + p = 0. Let h = -6 + s. Solve -2*i + 0*x + x = h, -9 = 5*i + 2*x for i.
-1
Suppose -t + 3 = -2. Suppose -2*k = -k - t. Solve -3*x + 0 = k*d - 5, d = 5*x - 27 for x.
5
Suppose -3 = 3*o - 6. Solve -3*q + 2*u = 3, -3*q + 5*u + o = 13 for q.
1
Let q(m) be the first derivative of -m**2/2 + 6*m - 1. Let t be q(3). Suppose -2*f = t*h, -f = -3*h + 5 + 4. Solve -7 = a - 4*a + o, -3*o + 12 = h*a for a.
3
Suppose -d - 6 = -3, 2*o - 4*d = 20. Solve o*m - 15 + 3 = 0, -b + m = 8 for b.
-5
Let a(w) = -4*w - 14. Let t be a(-5). Solve 0 = -c - 3*c - 3*b + 9, 2*b - t = c for c.
0
Suppose f - 14 = -3*s - 0*f, 29 = 5*s - 4*f. Solve -d = s*o + 23, 5*d + 5 = -3*o - 0*o for d.
2
Suppose -4*y + 3*d + 0 = -6, -21 = -5*y - 3*d. Solve -4*v + 3*v - 5 = -y*r, 25 = r - 5*v for r.
0
Let v = 42 - 13. Let s be (0 - (1 - 1))*-1. Solve -4*c = -5*u - v, -c - 2*u + s = 9 for c.
1
Suppose 8 + 1 = 3*j. Let r = 2 + j. Let s(f) = 2*f**2 - 2*f - 1. Let z be s(2). Solve -4*y = -0*h - r*h - 33, z*y = 5*h + 31 for y.
2
Let p be (0 - 1)/(1/(-5)). Let z be ((-2)/(-6))/((-4)/84). Let k(c) = c + 10. Let j be k(z). Solve -n + 10 = -j*n, 3*m + 28 = -p*n for m.
-1
Let i = -17 - -21. Suppose i = 3*h + 4*l, 3*h - l = -2*l + 10. Solve -4*j - 5 = -4*t + 3, h*t = 3*j + 9 for j.
1
Let f(j) = 2*j + 7. Let w be f(5). Solve -3*v - n = 2*v - w, -4*v = 4*n - 20 for v.
3
Let l be -1*-2*2/(-4). Let x be 0 + 4 + 0 - l. Let q = 11 + 4. Solve m - 11 = 5*j - m, x*m = q for j.
-1
Suppose 9*m = 4*m. Suppose 0 = -m*l - l. Solve -2*n + 3*j = -l*n + 9, 3*j = -4*n + 9 for n.
0
Suppose -5*j + 5 = -5. Let i = -39 - -43. Solve i*h = 2*p - 6, j*h - 3*p = -h - 12 for h.
1
Let i(l) = -6*l - 8. Let j be i(-4). Solve 0 = -n + 3*y + j, 3*n - 32 = -0*n + 5*y for n.
4
Let d = -15 + 20. Suppose 0 = 2*j - 3*c - 1 - 24, -35 = -2*j + 5*c. Solve 5 = j*t + d*u, 8 = -0*t - t - 4*u for t.
4
Let s = -4 - -5. Let i = s + 4. Solve -2*z + 7 = -3*w, -4*z + 10 = -i*w + z for w.
-3
Suppose 31*h - 8 = 27*h. Solve 0*c + h*c + 5*f + 31 = 0, -19 = 3*c + 2*f for c.
-3
Let v = -4 + -4. Let b be v/(-6) - 2/6. Solve 3*h = -3*n - 9, -4*n + 19 = -2*h + b for n.
2
Let w be 10*(13/(-5) + 3). Suppose d - w = 5*m, 2*m - 11 = -2*d - 3. Solve -d*u + r = -2*u - 1, u + 12 = -2*r for u.
-2
Let y be 4/3*(-12)/(-8). Suppose 2*q + u + 5 = -y*q, 5 = 2*q - u. Let k = 5 - 2. Solve -k*j + q*a - 2*a = -9, 4*a - 9 = -3*j for j.
3
Let p be (-2)/((-20)/(-105))*(-4)/6. Solve s - 5 - p = -4*r, 2*s - 10 = -r for r.
