u + 22 = a for a.
4
Let t(u) = 3*u - 2 + 13*u**2 + 19*u**2 - 31*u**2. Let v be t(-4). Let w be 1*(-4)/(4/(-1))*9. Solve -4*x + 11 = d, 4*d - w = -v*x + 7 for d.
3
Let s(f) = 39 - f**2 + 35*f - 33*f + 0*f**2 - 1. Let g be s(7). Solve 4 = -3*n + r, 4*r - g*r = -4*n - 10 for n.
-2
Let b(s) = -s**3 - 5*s**2 + 7*s + 6. Let p be b(-6). Let n be (-12)/(-18)*54/4. Suppose 5*v - n*v + 8 = p. Solve 2*a = -v*a + 5*q + 7, 5*a + 5*q - 20 = 0 for a.
3
Let n be (((-27)/(-6))/((-6)/(-8)) - 0) + -6. Solve h + 4*b + 8 = n, -6*h + b + 18 = 41 for h.
-4
Suppose i - 5*b + 11 = -210, 0 = 2*i + 2*b + 418. Let q = 223 + i. Solve -2*s + 5*r = -20, -s + 3*s - r - q = 0 for s.
5
Let u(y) = -2*y**2 - 3*y + 5. Let z be u(-4). Let r be 11 + (z - -6) + 3. Solve -r*l - 10 = q - 2*q, -4*l = -4*q + 24 for q.
5
Let u = -2161 - -2161. Solve 5*j - 9*m + 14*m + 5 = 0, u = j + 2*m for j.
-2
Let p(x) = 542*x - 534. Let o be p(1). Solve -4*u + o = -3*c + 9, -6*c = u + 34 for u.
-4
Let n(z) = 15*z + 56. Let l be n(-26). Let a = l - -338. Solve 4*d + 2 + a = -5*i, 0 = 2*d + i for d.
1
Suppose -1244*y = -1251*y. Let w(d) = d**3 + 5*d**2 + 3. Let m be w(-5). Solve r - 2*q - 5 = y, -5*r + 16 = m*q - 4*q for r.
3
Let a(w) = -w**2 + 11*w + 46. Let f(d) = -d**3 + 7*d**2 - 10*d + 6. Let l be f(4). Let n be a(l). Let s = 10 + -9. Solve h = o + n - s, 5*h - 4*o = 14 for h.
2
Suppose -234 = -3*p - 7*p - 24. Solve 0 = 3*q + 3*i + 18, -i + p - 42 = 4*q for q.
-5
Let n = 1049 + -284. Let c = n - 765. Suppose -f + 17 = 3*v, 0 = 3*f - 3*v - 9 - 18. Solve -2*y + c*y + 1 = -3*u, -3*u = -5*y - f for y.
-4
Suppose 0 = 12*x - 17*x - 5, 0 = 3*t + 4*x - 38. Solve 3*z + 18 - 27 = 3*g, -t = 2*g + 2*z for g.
-5
Let f(c) = -c**2 - 90*c - 341. Let o be f(-86). Solve 4*p + 11 = -3*s, o*p - 5*s + 0*s = -1 for p.
-2
Let k be (12/(-7)*1/2)/((-135)/630). Solve c - 2 = -3*w, -18*w - k*c = -15*w + 10 for w.
2
Let i = -2108 - -2109. Solve 4*v = 5*f + 7, -3*f - 3*v + i = 16 for f.
-3
Let j(h) = -9*h - 45. Let z(t) = 19*t + 87. Let x(i) = -7*j(i) - 4*z(i). Let u be x(-3). Solve u = 2*s + 4*y, 4*s - 7 = 5*s - 3*y for s.
-1
Suppose 4*v = -v - 5. Let s be ((-1)/3)/(v/6). Let d(o) = -3528*o + 1. Let n be d(0). Solve 12 = -4*p - s*f, f + n = p + 2*p for p.
-1
Let i = -3175 + 3178. Solve -11*c + 16*c = -i*h + 4, -4 = h - c for h.
-2
Let t = 22 + 64. Suppose 0 = -14*q + t + 82. Solve -5*f = 2*l - 28, 0 = 5*l - q - 8 for f.
4
Suppose -3*r = -3*v - 9, -r - 16*v = -19*v - 13. Let b(k) = 4 - 2*k + 7 + 6*k. Let i be b(r). Solve -h - 1 = i*m - 5, 4 = -5*h - 3*m for h.
-2
Suppose -3*l - 5*r - 10 = l, -3*l = 3*r + 6. Suppose l = 4*m - 0 + 12. Let v = m + 7. Solve 0 = 3*t - 3*d + 11 + 4, v*t + 10 = -d for t.
-3
Let i(k) be the third derivative of 7*k**4/6 + 19*k**3/2 + 123*k**2. Let v be i(-2). Solve 2*h = t + 11, -h - t + 2 = v for h.
4
Let d(l) = -l**2 + 12*l + 16. Suppose -8*i + 198 = -26*i. Let y be (i + -2)*7/(-7). Let r be d(y). Solve 0 = -0*o - 4*o + r*j - 11, -5*o = -4*j + 13 for o.
-5
Suppose 4*p - 193 = 904*u - 901*u, -123 = -3*p - 5*u. Solve 2 = -o + 4*c, o - p*c + 45*c = 1 for o.
2
Let u = -16878 - -16883. Solve 3*s - 5*n - 10 = 0, 0 = -3*s - u*n + 1 - 11 for s.
0
Suppose 2*x + i + 8 - 18 = 0, -5*x + 7 = -2*i. Suppose 22 = 3*a - x*p - 26, -5*a = 4*p - 44. Solve -4*f = -2*z + a, -4*z - 3 = -f + 1 for z.
-2
Let v(w) = w**3 + 9*w**2 + 10*w + 7. Let p be v(-7). Let d be (p + 0 + -3)/2. Let x be ((-3)/6)/((-4)/d). Solve 0 = -2*m - x*z - 4, -4*m - 5 = 2*z + z for m.
1
Let z be ((-32)/(-6))/(9/(-27)). Let o be (-4)/(z/3)*(-66 - -10). Let w = 47 + o. Solve -w*d = -3*p - 10, 3*p + 1 = 4*d - 10 for p.
-5
Let q(r) = -r**3 + 41*r**2 - 88*r + 1924. Let l be q(40). Solve 2*j + 22 = -l*v, v - 4*v - 9 = 0 for j.
-5
Let u(s) = -s - 30*s**2 - 6*s**2 - 81 + 35*s**2 - 18*s. Let z be u(-7). Solve 0 = -2*j - a - 7, -z*j = -4*j + 2*a - 1 for j.
-3
Suppose -3*n = -4*n. Let s be (-6)/(-3) + (n - 1). Let o be (s - 2)*(-23 - -1). Solve 0 = -4*x - y + o, 3*x + 0*y - 17 = -y for x.
5
Suppose 8 = 2*w + 2*w. Let u be 0*(-12)/(-8)*(-3)/9. Suppose -h - w*k = u, -5*k - 42 = -2*h - 6. Solve m + y = -y - 6, 0 = -3*m - y - h for m.
-2
Let j(w) = -6*w + 90. Let v be j(13). Suppose 7*r + v = 9*r. Solve -p + 24 = -r*p - 3*b, 0 = 4*p + 4*b + 24 for p.
-3
Let k be ((-144)/60)/((-4)/(-10)). Suppose -3*a - 24 = 12. Let y be (-70)/3*(-2 + k/a). Solve 5*t = -5*g - y, g - 3*t - 3 = t for g.
-5
Let v(j) = 16*j - 103. Let d be v(0). Let l = 107 + d. Solve 5*t = -3*y - 3, -2 = 4*y - 2*y + l*t for y.
-1
Suppose -9 + 3 = -2*v. Suppose v = 3*q, 2*u + 3 = -0*q + 3*q. Solve 4*n + 12 = -5*j, u*n = 2*n + 3*j + 8 for n.
2
Let i = 3958 + -3958. Solve -15*a + r = -11*a + 17, -5*a + 5*r - 10 = i for a.
-5
Let j(w) be the first derivative of 2*w**3 + 7*w**2 + 13*w - 107. Let b be j(-1). Solve 2*l - 3*l = b, r + 2*l = -12 for r.
-2
Let h = 185 - 185. Let p(b) = -5*b + 2. Let q be p(h). Solve -q*x + 6 = -g, 25 = x - 0*g + 5*g for x.
5
Let h = -514 + 342. Let l = h + 172. Solve -2*d - 2*r - 6 + 0 = l, -15 = -d + 5*r for d.
0
Let i(y) = -4*y - 5. Let t be i(-1). Let k be (-7 - (-7 - t))*(0 - 0). Let b(f) = f**2 + 20*f + 10. Let l be b(-20). Solve 4*a = -k*a - n + l, -10 = 5*n for a.
3
Let k be ((-145)/935 + (-10)/85)*-11. Solve 2*u = -k*q - 7, 4*u = -5*q - 42 + 29 for q.
-1
Let g(w) be the first derivative of -w**3/3 + w**2/2 + 112*w + 210. Let y be g(11). Solve 0 = -3*t - 2*n - 1 + 3, 0 = 4*t + y*n - 2 for t.
0
Let z = 39350 - 39348. Let m(y) = y**3 + 3*y**2 - 4*y + 2. Let g be m(-4). Solve 2 = 3*s - z*b, 6*s - g*b = 5*s - 6 for s.
4
Let w = -25 - -43. Suppose h - 19 = 2*y, -5*h - 3*y - 462 = -466. Suppose -a = h, -2*n = -n - 3*a - w. Solve 5*j + n*q = 0, -2*q + q + 14 = -3*j for j.
-3
Suppose o = 2, o = 2*m + 4*o - 18. Let w(b) = -b**3 + 13*b**2 + 17*b - 12. Suppose g - 14 = -0. Let n be w(g). Solve 5*k + m = -4, -4*y + 5*k = -n for y.
5
Let r = 44 + -36. Let v be (-2)/(-10) - ((-468)/15)/(-6). Let u = r + v. Solve -9 = -2*a - a, 3*d + u*a - 3 = 0 for d.
-2
Let g(p) = -2*p**3 + 2*p + 3. Let w be g(-1). Suppose -3*f - 4*t = -3, 4*f - 6 = -w*t + 5. Solve 4*u - 41 = -0*n - f*n, -5*n = -2*u - 17 for u.
4
Let d(q) = 3*q**2 - 32*q - 88. Let m(y) = -2*y**3 + 29*y**2 - 14*y + 13. Let h be m(14). Let i be d(h). Solve n = -2*l - 3, -i*n - l - 11 = 3 for n.
-5
Let t = 3915 - 3910. Solve 5*q - 26 = 3*h + 14, 0 = 5*h + 4*q + t for h.
-5
Let n(r) = 5*r**2 - 265*r + 267. Let k be n(52). Solve 4*z = -12, -44*z - k = -5*u - 45*z for u.
2
Let r = -20 + 31. Suppose 7*g + 24 = r*g. Let u = 11 - g. Solve -9 = -o + 5*d - d, 0 = 3*o + u*d + 7 for o.
1
Suppose 3*y - 4*y + 4 = k, 5*k + 1 = 2*y. Solve -4 = 5*q - 10*f + 6*f, 3 = 2*q + y*f for q.
0
Let j = 128 - 108. Suppose 4*o + 8*z - j = 4*z, 3*z - 9 = 0. Solve -k - o*s = 4, 4*k - 4*s - 9 = 23 for k.
4
Suppose 3*m = -10*m + 65. Suppose 3*n = -m*n + 24. Solve -5*v + 25 = -2*r, -n*r - v - 10 - 2 = 0 for r.
-5
Let c be (25 + 1)*(-121)/22. Let f = c + 146. Solve -f*j + 15 = -4*n, -n + 3*j + 9 = -5*n for n.
-3
Suppose 2*u - 10 = -2*j, 3 = 20*j - 17*j. Let d = 20 - 17. Solve u*x + 16 = r, 1 + d = r for x.
-3
Suppose 5*h + 2*h = 42. Suppose 0 = 68*g - 524 - 20. Solve 0 = 4*c + u - g, -6*c + 4*u = -3*c - h for c.
2
Suppose 2*r - 4*r = 0. Suppose 3*l + l = r. Let f = -1291 - -1293. Solve -p + 5 = l, -4*p + p = -f*i - 7 for i.
4
Let j(a) = 2*a**2 + 4*a - 5. Let f be j(4). Let c = -41 + f. Suppose h + 0 - 3 = g, -h + c*g = -1. Solve -2*l + 4*l - 9 = n, 0 = h*n - 5*l + 20 for n.
1
Let t(p) = 2*p**2 - 26*p - 1116. Let y be t(-18). Solve 3*n = d + 1, d + y = 2*n - 2 for n.
-1
Suppose -4*m - 52 = -4*k, 5 = 4*k - m - 38. Suppose k*g - 68 = -7*g. Solve -g*j - 3*n - 2 = 22, -4*j - 4*n = 28 for j.
-3
Let p(x) = -x**2 - 9*x + 3. Let t be p(-8). Let g be 9/t + 1 + (-64)/(-352). Let l be g/16 + 94/16 + -1. Solve l*s = -5*m + 3*s, -15 = 3*s for m.
2
Suppose -4*h + 10 = b, -3*h + 14 + 1 = -3*b. Suppose h*i - 230 + 221 = 0. Solve -5*o + 12 = -y, 7*o + 5*y = i*o + 27 for o.
3
Let i = 21283 + -21282. Solve -1 = -m, 3*s - 2*m - i = 3*m for s.
2
Suppose -4*j - 4 = 2*u - 8, u + 4*j + 8 = 0. Solve -v + 2*a = 5, a + 3*a = u for v.
1
Let m be 0*(0 + 4/4). Suppose -b - 2 + 5 = m. Let x = -310 - -315. Solve -b*n = -x*o + 6, 0 = -6*n + 3*n - 5*o + 24 for n.
3
Let p = -2115 + 2119. Solve -3*t -