 + 2*t = 6*t - 6, 3*u + q = 4*t for u.
2
Let j be (-3 - (2 - 0))*-1. Suppose -5*a - 35 = -165. Solve -j*k + 2*g = -2, 5*k + 4*g = -0*g + a for k.
2
Let u = 19 + -14. Solve -u*h - 5*p = 10, -3*h + 2*p = -4*h for h.
-4
Let f = -10 - -12. Solve f*u + q = -q - 14, -5*u - q - 23 = 0 for u.
-4
Let m be (3/(-1))/(-2 - -1). Let w be ((-10)/4)/(3/(-6)). Solve -w*c = 5, 2*c + 2 = -5*f + m*f for f.
0
Let u(g) = -g**2 - 9*g - 15. Let n be u(-6). Let p(a) = 6*a + 1. Let o be p(1). Solve -5*q + 15 = 5*x, 0 = q - o + n for x.
-1
Let p(k) = -k**2 + 16*k - 25. Let c be p(14). Solve -5*w = c*f - 35, -6*w = f - 3*w - 17 for f.
5
Let r(k) = -k**3 - 6*k**2 + 6*k - 2. Let m be r(-7). Let d(h) = -h - 11. Let a be d(-16). Solve -a*x + 4 = 2*q - 0, m*q + 11 = -2*x for x.
2
Let d be 1 - 0/(3/3). Let f = 1 + d. Solve -2*s + 16 = -4*o, 2*s - 5*o = -f*o + 11 for s.
-2
Let b(t) = t**3 - t**2 + 2*t - 2. Let c be b(1). Solve 4*i + 20 = c, -q - 37 = 3*q + 5*i for q.
-3
Suppose -h = 2*q - 9, 2*q = -5*h + 3*q + 12. Solve -z = 0, -11 + 1 = 5*o - h*z for o.
-2
Suppose 0 = -2*f - 3*f + 20. Solve -3*i - f*b - 11 = 0, -3*i + 1 = 2*i - 3*b for i.
-1
Let k = -43 - -57. Solve 0 = 2*o - 6, -2*o = 6*u - 2*u + k for u.
-5
Suppose 6*r = 7*r - 2. Suppose 0 = -r*u + 10 - 6. Solve -w + u*w + 1 = 4*i, 4*w + 4 = 5*i for w.
-1
Suppose -4*w + 15 = -41. Solve 3*z - w = -s, 2*z + z - 3*s = -6 for z.
3
Let j(i) = i**2 + 5*i - 4. Let w be j(-6). Let c be (-7 - (-124)/16)*16/6. Solve w*b + 7 = 3*b - x, c*b - 2 = -2*x for b.
4
Suppose -5*t - 5 + 0 = 0. Let m be 2/(1 - -1) - t. Suppose 3*q - 39 = 9. Solve -4*y = -3*s + 24 - m, q = 4*s - 2*y for s.
2
Let o(p) be the third derivative of -p**4/12 - 7*p**3/6 + 2*p**2. Let j = 11 + -17. Let w be o(j). Solve 2*d - 3*k + 2*k - 3 = 0, w*k = 3*d - 15 for d.
0
Let n = 17 - 13. Solve -n = -4*y - 2*l, -3*y - 2*l = -4 - 1 for y.
-1
Let f(j) = -j**3 + 5*j**2 + 2*j - 10. Let z be f(5). Let p(d) = -3*d - 2. Let b be p(-5). Solve -3*h + k = -z*h - b, 8 = 4*h + k for h.
3
Let v(d) = -2*d**3 - 3*d**2 + d + 1. Let z be v(-2). Solve i - 2*y = 2, 4*i - z*y - 15 = -2*y for i.
4
Suppose 2 - 5 = -s. Solve -n - 2*n - 9 = -3*x, 5*n = s*x - 19 for x.
-2
Let r = -12 - -14. Solve 5*o = 3*c - 17, 3*c = -r*c - 3*o - 17 for c.
-1
Let r(w) = -w**3 - 15*w**2 + 5. Let a be r(-15). Solve -v - 5*q + 23 = -3*v, a = q for v.
1
Let h be (8/(-12))/(3/27). Let x = -2 - 2. Let t be (33/h)/(2/x). Solve -q + 5 + 4 = -r, r = -3*q + t for q.
5
Suppose 0 = 2*v + 6 - 14. Solve -5*a = 4*q - 23, -q + 2*q = 2*a - v for q.
2
Let q be 1*(-2 - (-2 - 1)). Suppose r = 5*k + 2 + q, 4*k = 0. Solve -5*f - r*n = -0*n + 4, -5*f - 14 = -2*n for f.
-2
Let q = 15 - 30. Let t be 36/q*(-2 - 3). Solve -2*d - t = -5*n, n + 6 = -5*d + 30 for d.
4
Suppose -18 = -2*m - 4*m. Solve 7*l - 9 = 3*l + m*o, -3 = 2*l + o for l.
0
Let s(r) = -r**2 - 3*r - 5. Let m be s(-5). Let l = -12 - m. Solve 3*n - 6 = -l*t, -4*t + 2*t + 13 = -n for n.
-3
Let c(g) = g**3 - 4*g**2 - 2*g. Let a be c(4). Let r(q) = q + 3. Let p be r(a). Let z = -5 - p. Solve -5*s - 15 = -3*k - 0*k, z = 2*s for k.
5
Let i(h) = -h**2 + h + 2. Let u be i(2). Suppose 0 = -3*j - u*j + 72. Solve -2*y = 2, j = -4*g - 3*y - y for g.
-5
Let t be (-60)/45 - 38/(-6). Solve 5*o + g = -7, 3 = t*o - g - 3*g for o.
-1
Let l(n) = 4*n - 4. Suppose 2*d = -m + 8, 0*d - 10 = -3*d - m. Let f be l(d). Let a be 4/1*(1 - 0). Solve -a*u + 3*u - 5*v - 11 = 0, f*u - 3*v = 25 for u.
4
Suppose 0 = o + 1 - 3. Solve -26 = -2*f + 7*f + 2*z, -f + 2*z = -o for f.
-4
Suppose -r + 3*r = -h, -h = 0. Solve q + r*q = 4*x + 9, 2*q - 9 = -x for x.
-1
Suppose 5*y = -11*n + 7*n, 4*n = 2*y. Solve -4*i + 2*u = -n - 12, 5*i + 7 = -3*u for i.
1
Suppose 0 = q + 2*q. Let o = 4 - q. Suppose -o = -f - 1. Solve 0 = 2*h - 3*c + 4*c - 9, 5*h = -f*c + 24 for h.
3
Let b be 4/7 + (-34)/(-14) - 1. Solve -4 = -c - z, 5*c - 2*z - 4 - b = 0 for c.
2
Let m = 25 + -14. Let k = 16 - m. Solve -h - 6 = -0*h + k*i, 0 = -h - 4*i - 4 for h.
4
Let f = -1 + 7. Let v = f - 4. Suppose 3*q - 4 = 2*q. Solve -q*p + 4*m + 4 = -0, -v*p + 5 = -m for p.
4
Let b(a) = 12*a - 5. Let h be b(3). Let u = h + -18. Solve -4*k - 5*j = 15, 0 = k - 3*k + 3*j - u for k.
-5
Suppose -2*p - 3 = -p. Let m be 16/36*p*-3. Solve -2*n - 4*z - 16 = 0, -3*n + 3*z - m*z = 14 for n.
-4
Let u = -46 - -49. Solve 0 = -5*p - 5*q - 20, 3*p + 4*q = u*q - 8 for p.
-2
Let i be (-1 + 1 - 1)*-1. Let p(c) = -c**2 - 1. Let q be p(i). Let v be 18/4 - q/(-4). Solve -12 = 7*t - 3*t + v*m, -2*t = -4*m for t.
-2
Let i(j) = 5*j**3 - j**2 + j - 1. Suppose 5*x = 4*l + 9, 4*x = x - 2*l + 1. Let r be i(x). Solve r*v + 2*t = 12, -2*t - 15 = -5*v - 6*t for v.
3
Let h be (-1)/((-1)/(-8*1)). Let v = -3 - h. Let k(b) = -18*b**2 - 107*b + 8. Let j be k(-6). Solve 5*u - v = 4*r - 17, j = r - u for r.
-2
Let o(u) = 2*u**2 - u - 4. Let k be o(4). Solve 3*p - 2*p - k = 5*s, -4*s - 20 = 0 for p.
-1
Let g be (-5)/(15/(-6)) - -2. Suppose -4*p + 28 = s, g*p - 44 = -0*p - 5*s. Solve 3*h = -2*x - 8, -h = 2*x - p*x - 2 for x.
-1
Let d = -9 - -11. Solve i = -z - 3, 0*i - d*i + 3*z + 14 = 0 for i.
1
Suppose d - 3 = 29. Suppose d = 5*p + 7. Solve 2*u - 17 = -p*z, z - 2*u = 2 + 11 for z.
5
Let t be 8 + -7 + (0 - -8). Suppose -t*c + 6*c = -21. Solve j - 2*u - 1 = c, 0 = -4*j - u + 5 for j.
2
Suppose 6*v - 13 = -1. Solve -15 = 5*h, -2*d + v*h + 10 = -2*h for d.
-1
Suppose -5*i = -4*f - 958 - 1512, 611 = -f - 2*i. Let d be f/(-20) - 2/(-8). Solve -4*y + 0*y + 12 = 2*m, 4*m = 3*y - d for y.
5
Suppose -3*s - 2*s = 0. Let u = 0 - s. Let b be (-1)/(-3)*(6 - u). Solve 2*d - 5*v = 18, 5*v + b + 23 = -5*d for d.
-1
Let a be 8 - (0 - 12/(-4)). Let f = -3 + a. Suppose 4*l - 16 = -0*l. Solve 4*c = -f*p - 2, -p - l = c - 3 for c.
0
Let k = -114 + 117. Solve -k*x + 4*j = 1, 5*x + 3*j = j + 33 for x.
5
Let u(r) = r**3 - 4*r**2 + 4*r. Let t be u(3). Let g = 270 + -267. Solve i + 0*i + 2*f + 2 = 0, g = -4*i - t*f for i.
0
Let x be 2*4/8 - -4. Suppose -x*r + 25 = -0*r. Solve -3*f + r*y + 13 = 0, -3*y + 4*y = 5*f - 7 for f.
1
Let j be ((-7)/(-7))/(1/(-3)). Let u be -3 + (3 - (j + 3)). Solve -g + u*i = 3*i + 10, 2*g - 5*i - 13 = 0 for g.
-1
Let m be 4/(-7)*(-21)/3. Solve -2*f + 14 = -3*y, 0*y - m*f = 3*y - 10 for y.
-2
Let u(p) = 5*p**3 + 2*p**2 - p - 1. Let j be u(1). Solve 5*r = -5*i - 45, -j*r - 4 = -4*i - r for i.
-4
Let i = 583 - 580. Suppose -9 = -4*n + 3. Let r be (-2)/(-6) + 8/n. Solve 4*g - k = 4, -r*k - 4 = -i*g - 1 for g.
1
Let z = 109 + -106. Solve -5*q + q + 4*i = -24, z*q - 26 = 5*i for q.
2
Suppose 0 = 3*o + 6 - 0. Let n be (4/(-1))/(2/o). Let z(u) = -u**2 + 4*u. Let s be z(n). Solve 5*d = 5*h - 10, -4*h = d - s*d - 23 for h.
5
Let t = 1 - -1. Let b = 13 + -2. Solve t*q + 3*l = -3*q + 22, b = 2*q - l for q.
5
Suppose -5*l = -4*u - 1 + 3, 3 = 3*u - 3*l. Let t(k) = 0*k + u - 1 - k. Let x be t(-2). Solve -3*r + 0*o - 10 = -o, -x*r - 20 = 2*o for r.
-4
Suppose -u - 2 + 5 = 0. Solve -4*i = 2*k - u*i + 4, -5*k + 4*i - 36 = 0 for k.
-4
Let t = 9 - 5. Suppose a - 4 + 2 = 0. Suppose y - 25 = -4*h, -3 = -a*h + 7. Solve t*z = -k + 2, 5*z + y = -5*k - 0 for k.
-2
Let s = -2 - -6. Suppose 0*p + 3*p - 72 = 0. Suppose -4*z + 1 + 5 = 2*n, -4*n + p = 2*z. Solve -4*o - 4 = -s*r - 0, r = -o - n for o.
-4
Suppose -s - 5*v = 20, 2*s = -s - 5*v - 10. Suppose -s*a + a = 0. Solve -4*x = 2*q - q + 7, a = 3*q + 4*x + 5 for q.
1
Let t be 13 + (5 + 2 - 4). Solve -2*g + t = -2*r, r + 4*g - 15 - 2 = 0 for r.
-3
Suppose -3*q + 4*q = 4. Solve 0 = -q*l + 2*s - 6, 5*l + s = -4*s - 45 for l.
-4
Suppose -2*j + 8 = 4*v + j, -5*v + 10 = 3*j. Let x be (v/(-6))/((-3)/18). Solve -x*a = -3*t - 3, 3 = -2*t - a + 8 for t.
1
Let a(q) be the first derivative of q**2/2 + 2*q + 1. Let r be a(0). Solve 4*b + 3*o = -8, -3*b + 3*o + r*o - 6 = 0 for b.
-2
Let h(t) = -t**3 - 5*t**2 - 6*t - 5. Let x be h(-4). Suppose 2*k = -x*i + 18, 5*k = i + 19 - 8. Solve 0*o - 4*z - 2 = -o, -5*o + i*z = 6 for o.
-2
Suppose a - 7 = -2*p, p + 3*p - 5 = -5*a. Solve -p*r + 5*w - 15 = 0, -5*r - w + 3 = -6 for r.
1
Let o(y) be the second derivative of -y**5/20 + 7*y**4/12 + 5*y**2/2 + 5*y. Let a = 9 + -2. Let f be o(a). Solve -f*u - 3 = -0*u + h, -3*u - 5*h = 15 for u.
0
Suppose -4*b + 2*b + 6 = 0. Suppose b*f - 4*t = 15, f + 3*t - 10 = -f. Let w be 6/5*20/8. Solve -3*y - f*j + 8 = y