*a - u = -4*r - 7 for a.
-2
Let a(z) = z**3 + 12*z**2 + 12*z + 15. Let w be a(-11). Solve -w = 2*g - 4*d + 24, 2*g = -3*d + 7 for g.
-4
Let r = -167 - -170. Solve 4*t = -2*u + 20, 26 = 2*u + r*u + 2*t for u.
4
Let p(c) = -2*c - 5. Let f be (-8)/2 + (-8 - -7). Let y be p(f). Solve -y*x = -4*s - 2, 5*x - 16 = x - 4*s for x.
2
Let c be (3/(9/(-5)))/((-660)/792). Solve 3*s + 2 = p - s, -c*p - s + 4 = 0 for p.
2
Let z(o) = -2*o**2 + 9*o + 21. Let s be z(6). Solve -4*v + 3*l - 13 = 0, -3*v - 7*l + s*l = -9 for v.
-1
Suppose 0*p = -q - 4*p, q - 3*p = -21. Let f be (8/q)/((-1)/6). Solve 0 = t - 2*t + 2*g + 8, 5*t + f*g = 12 for t.
4
Let i(o) be the first derivative of o**4/4 - 4*o**3/3 + 5*o + 1. Let y be i(4). Suppose y*a - 2*a - 27 = 0. Solve 5*t - 16 = 2*x, 4*t - 3*x + a - 26 = 0 for t.
2
Let d(t) = -t + 9 + 0*t - 3*t + 3*t. Let f be d(7). Let l be 8 + f + -1 - 1. Solve -6 = -4*v - 3*q - 31, 5*v - 4*q + l = 0 for v.
-4
Suppose 30*z + 33 = 41*z. Solve -2*y = -4*v - 22, -2*y = -0*v + z*v + 13 for v.
-5
Let z(r) = r + 4. Let y be z(6). Suppose 3*v - 2*t - 13 = 0, -2*v = -52*t + 53*t - 11. Solve 3*i = 5*a - 3 - 3, -5*a = v*i + y for a.
0
Let x be 238/63 - (-4)/18. Suppose 0 = -s + x*s - 6. Solve s*o = r + 1, -4*r + 5*r = o - 1 for r.
-1
Let p be (-15)/35 - 279/(-63). Suppose -s - 4*s + 176 = 4*q, 0 = -3*s - 2*q + 104. Solve -4*h = 4*g - s, -3*g + 3 = -p*h - 0 for g.
5
Let c = -292 + 293. Solve -2*i + 3*b - c = 7, -b = 2*i for i.
-1
Let o(b) = -5*b - 351. Let u be o(-71). Solve -u*n + 25 = n, -n = y - 5 for y.
0
Let y(o) = -2*o**3 - 3*o**2 - 2*o - 4. Let t be y(-2). Let l be t/(-18) + 18/81. Solve j + 3*a - 12 = -l*a, 0 = a - 4 for j.
0
Suppose 4*u + 27 = 3*z, z + 3*u + 22 = 18. Solve z*n - j - 29 = 0, 0 = 2*n + 2*j - j - 6 for n.
5
Let x be 63/189 - 8/(-3). Let s = 1 + -1. Solve x*o - 5 = 2*i - s, o = i for o.
5
Let t = -623 + 628. Solve -5*m + t*h = 40, -4*h = h - 25 for m.
-3
Let g be (14/(-21))/(5/(495/(-6))). Suppose 25 = 16*c - g*c. Let w(l) = l + 7. Let r be w(-7). Solve -c*z + 2*b = -r*z + 19, -b = 4*z + 23 for z.
-5
Suppose -3*s - 6 = 0, 2*s = 5*p + 1 - 5. Solve -4*w - 12 = -4*d, 4*d = 3*w - p*w + 8 for w.
-4
Let n = 2743 + -2739. Solve 25 = -5*q - 5*m, -n*q - 21 - 1 = 5*m for q.
-3
Suppose -d = -4*j + 66, 5*d - 2*j = 3*d - 132. Let k = d + 70. Solve 0 = 2*q - 4, u + 5*q - 10 = -k*u for u.
0
Suppose 0 = 16*k - 3*k - 78. Solve -h = c - 6 + 15, 0 = 2*c - h + k for c.
-5
Let u be (-5)/(15/(-9)) - -3. Let k be ((-3)/12*6)/(u/(-8)). Solve 5*x - k*x - 4*w = -3, w - 7 = 2*x for x.
-5
Suppose 5*o + 6 = 2*o. Suppose 8*j + 97 - 25 = 0. Let n be 6/j*15/o. Solve 4*w + 4 = 0, 4*u + 11 = -2*w + n for u.
-1
Suppose 0 = -6*z + 5*z - 3*w, 3*z + 5*w = 0. Let y be (-6 - (z - 4))*-6. Solve -3*s - 4*u + 14 = -0*s, 0 = -4*s - 2*u + y for s.
2
Let y(o) = o**3 - 18*o**2 - 46*o + 122. Let b be y(20). Solve 0 = -r + 4*j - 19, -3*r + 2*r + b*j = 11 for r.
-3
Let q(u) = -102*u - 711. Let b be q(-7). Solve -b*s - 6*v + 8*v = 2, 5*v = -3*s + 26 for s.
2
Suppose -2*p + 12 = 2*p. Let l be (2 + (-104)/10)/(6/(-45)). Suppose 2*r - 27 = n, n - 5*n = -5*r + l. Solve p = -o + 2*t, -t = 5*o + 3*t + r for o.
-3
Let n be 2 - (2 - (-15)/(-3)). Suppose 0 = 4*d - 0*d - 16. Let v be -1*(-2 - -1)*(-40)/(-10). Solve 10 = -2*t + t + v*g, 2*g = n*t - d for t.
2
Let b be (3 + -6)*1 - 1. Let w = 23 + -32. Let r = b - w. Solve -5*q - 2*s + 4*s - 17 = 0, -r*q + 3*s = 18 for q.
-3
Let h(n) = -n**2 - 9*n - 10. Suppose -5*i + 3*i - 14 = 0. Let k be h(i). Suppose 3*a = 0, k*a + 6 = 5*z - 4. Solve q = -z*o + 13, 2*o + 0*q - 23 = -3*q for o.
4
Let x = -28 - -29. Let p be x/(2 + -4)*-8. Suppose -2*i - 2*i + 84 = p*y, 2*i - 37 = -3*y. Solve 4*t + 15 = -f, 3*t = 4*f - i - 9 for f.
5
Let n(w) = 36*w - 171. Let v be n(5). Solve -11*z + 6*z = -t + v, 5*t + 2*z - 18 = 0 for t.
4
Let i be 6/(-15) - 48/(-20). Suppose y - 19 = 5*l, y - 3*l + 17 = -7*l. Let p = y + 4. Solve i*q = p*t, t + t - 2*q = 0 for t.
0
Let o = 86 - 81. Solve 0 = o*r - 3*g - g - 1, -3*r + 3*g = 0 for r.
1
Let v(p) = p**2 + 4*p - 8. Let f be v(-6). Suppose g + 36 = f*g. Let u = 27 - g. Solve -20 = -4*x + 3*y, -3*x + y + u = 6*y for x.
5
Let w = -678 - -682. Solve 3*k + w*j - 14 = 0, 0*j = -4*k - 4*j + 12 for k.
-2
Suppose 6*w - 57 = -2*v + 9*w, 2*w + 6 = 0. Solve 4*h = -5*k - 1, 3*h + 0*h + v = 4*k for k.
3
Suppose 0 = -171*p + 42*p. Solve d + 3*o + 13 = p, 5*d - 4*o + 2*o + 14 = 0 for d.
-4
Let a be ((-120)/420)/(2/(-35)). Solve -3*k + 8*k + 10 = a*w, 3*k = w + 2 for w.
4
Suppose 48*w + 112 = 62*w. Solve 2*d + 20 = 5*f, -5*d - w = -d - 2*f for d.
0
Let v be (-385)/(-20) - 1/4. Suppose -2*m - 5*m + 112 = 0. Let z = v - m. Solve 2*o - 2*t = 6, 4*o - z*t = 6 + 2 for o.
-1
Suppose -6*y = -3*y - 24. Suppose 14 = 3*b + m, -5*b - 3*m + 22 + y = 0. Solve 2*c - 7 = -g, -6*g = -b*g - 2*c - 5 for g.
3
Let c(d) = -2*d**3 + 11*d**2 + 6*d + 3. Let a be c(6). Solve -t + 9 - 3 = -4*j, 3*j - a = -3*t for t.
2
Let m be (((-24)/(-15))/4)/((-1)/(-5)). Solve -3*z - m = 2*d + 8, -2*z + 4*d = -4 for z.
-2
Let u = -9 + 45. Suppose 2*c + 2*a - u = 0, 2*a + 30 = c + 7*a. Solve c = -3*z, -4*z - 30 = -5*q + z for q.
1
Let n(a) = -2*a - 54. Let l be n(-28). Solve 2*v - 12 = -3*d - l*d, -2*d = 2*v for d.
4
Let d be ((-6)/(-3) + -1)*-10. Suppose -4*g - 5*o = -0*g - 99, 3*g + 3*o - 72 = 0. Let s = d + g. Solve -5*c = -n + s, 0*c + c + 3 = 0 for n.
-4
Suppose 5*z + 20 = 5*n - 0*z, -4 = -3*n - z. Let y be (-328)/(-32) - (-2)/(-8). Solve 3*x = 3*v - n*v + y, 4*v + 5*x = -6 for v.
-4
Let x = 53 + 4. Let p be ((-38)/x)/(2/(-15)). Solve 0 = 3*a + 4*c - 5, 5*a - 3 = -p*c + c for a.
-1
Suppose -t + 0*t + 12 = 0. Let o(h) = -7*h**3 + 109*h**2 + 50*h - 32. Let z be o(16). Solve 0 = 3*k + 2*a + 9, -4*k = -z*k + 4*a + t for k.
-3
Suppose 3*k + 11 = -0*s + 4*s, -4*s = 3*k - 29. Suppose -23 = 2*y - 33. Let u be 11 + ((-30)/y - -2). Solve -4*h = 3*r - u, k*r + r - 5 = -h for r.
1
Let n = -509 + 511. Solve a = -n*a - 2*r, 4*r = -2*a - 8 for a.
2
Suppose 0*a = 8*a - 232. Let o = 3 + -1. Suppose -3*f = -o*f - a. Solve -2*w = -w - 4*b - 1, -5*w + f = 4*b for w.
5
Suppose -5*f + 2*b + 15 = 3, -5*f - b = -9. Solve -t = -2*s - 2, -4 = 2*s + 3*t - f for s.
-1
Suppose -28 = -2*s + 4*a, -40*s - 2*a - 26 = -43*s. Solve -2*f + s = -5*q - 1, 5*f - 1 = -4*q for q.
-1
Let r(q) = -q**2 + 11*q + 16. Let x be r(8). Let a = x - 31. Solve -5*u = l + 15 + a, -2*l + 4*u + 8 = 0 for l.
-4
Let c be (0/(-1 - -8))/(-2). Solve 3*w - 3*o - 7 + 19 = c, 4*w + 5*o = 20 for w.
0
Suppose w + 3*m = 17 - 5, 0 = 3*w - 3*m - 60. Let o = 12 - w. Let b be -2 - (-12)/(-8)*o. Solve 0 = b*i - 2*i + 10, -2*i - 2 = 2*g for g.
1
Let x = 78 - 74. Solve 5*b = 3*n + 29, -3*n + 0*b + x*b = 25 for n.
-3
Let b = -575 - -580. Solve -2*p + 7*p = -b*d + 35, 5*d - 11 = p for p.
4
Suppose 114*l = 113*l - 8. Let c be 34/(-51)*(l - -2). Solve -5*q = -5*w - c - 26, 5*q + 10 = -3*w for q.
1
Let n(l) = 42*l - 247. Let z be n(6). Solve 4*v + 5 = -j, -2*j + z*v - 10 = 3*v for j.
-5
Suppose 29*r - 25 = 24*r. Suppose -5*g + 3*g + 16 = 3*o, -o = -4. Suppose 6 = g*y - 0*y. Solve 2*n - r*n = 3*a, y*n - 10 = -5*a for a.
5
Suppose -16*f - 64 = -32*f. Solve n - f*t + 6 = 0, -6 = -3*n + t - 2 for n.
2
Let f be ((2025/(-20))/(-27))/(5/8). Solve 4*p = 2*x + 22, -3*x - 4*p + 1 = -f for x.
-3
Let m be (-15)/9*(-7 + 5 - 1). Solve 4*r + 24 = 2*l, -2*r = -m*l - 5*r - 5 for l.
2
Suppose -4*c + 6 = -c. Suppose -l + 0*h - 3*h = -6, -3*l = 3*h - 36. Suppose 9*n - 12*n = -l. Solve 2*b - 2 = 4*g, 3*b - c = -n for g.
-1
Let f be (189/(-54))/(((-14)/(-8))/(-1)). Solve 0 = d - 0*d + 5*g + 22, -10 = f*g for d.
3
Let u = -389 - -405. Solve -5*o = -10*o - 20, 2*m + u = -3*o for m.
-2
Let f = -82 + 87. Solve -5*p - 16 = 4*t + 11, 24 = -f*p - 3*t for p.
-3
Let w(a) = a**3 + 4*a**2 - 3*a. Let t be w(-5). Let d = t - -12. Solve -5*b = r + 2*r - 27, -d*b + 10 = r for b.
3
Let d = -1522 + 1526. Solve -x = 0, -d*g + 2*x + x - 20 = 0 for g.
-5
Let f be (1488/(-27))/(-4) - (-2)/9. Let a = -34 + 48. Suppose 5*v = r + f, 2*v = -v - 5*r + a. Solve 6 = -3*q, -2*d + 14 = -4*d - v*q for d.
-4
Suppose 1 + 9 = 5*i. Suppose 2*f = 2 + i. Suppose 0*a - 6 = -f*a. Solve -3*k = -5*o + 2*o + 6, o + 6 = -a*k for k.
-2
Let a be 1 + (12/(-3) - 28). Let z = a + 48. Solve -4*q - z = -5*d, -d = -5*q