a + 4, -o*a - 4*l - 12 = 0 for a.
4
Let b(z) = -2*z**3 + 16*z**2 + 7*z - 177. Let s be b(6). Solve -s*p + 11*p + 3*u + 16 = 0, -3*p = -5*u + 5 for p.
-5
Let b(y) = y + 17. Let i be b(-2). Let t(w) = -w + 3. Let x be t(3). Suppose x = d + 3*d. Solve d = u + 2*p + 6, 2*p - 3*p = -4*u - i for u.
-4
Let x(d) = -d**3 - 7*d**2 + d + 10. Let r(j) = -7 - j**2 - 7*j - 2*j + 8*j. Let m be r(0). Let v be x(m). Solve -k - 3*b = -16, v*k - 7 = 5*b - 29 for k.
1
Let k be (7 - 5) + 5 - 2. Solve -5*u + 10 = 5*q, u - 1 - 7 = k*q for u.
3
Let m be 13/((-325)/30)*-5. Suppose m*v - 16*v + 80 = 0. Suppose -z - v = -5*z + r, -3*z = 2*r - 6. Solve 2*y - z*d + 16 = 0, 4*d + 11 = -4*y + d for y.
-5
Let s be 198/27 + 7 + 2/(-6). Solve -3*g + 6 = 3*b, 3*b - 4*b + 3*g - s = 0 for b.
-2
Suppose -3*a + 20*a - 272 = 0. Suppose 4*n - a = -4*y, -5*y + 21*n - 23*n = -14. Solve -y*v = -4*d + 4, 4*d - 2 + 4 = -v for d.
0
Let q = 220 + -232. Let n be (-216)/(-63) + q/(-21). Solve -2*l - 18 = 5*r, -r - n*r + 5*l = 25 for r.
-4
Let m(w) = -27*w - 455. Let j be m(-17). Suppose -2*h - 2 = -7*u + 2*u, 5*u = -h + 14. Let p = 61 - 59. Solve 5*v + 25 = p*r + u*r, v = -j*r + 19 for v.
-1
Let w(y) = y**3 + 25*y**2 - 4. Let r be w(-25). Let x = r - -114. Let l = -107 + x. Solve o = 3*o - k + 8, -16 = 4*o - l*k for o.
-4
Let i(t) = -2*t + 8. Let k be i(2). Suppose -o - 5*w = -w + 16, k*o - 21 = w. Solve -2*r + 5 = -r - 3*j, -5*j = o*r + 14 for r.
-1
Suppose 0 = -5*o + r + 67, r + 25 = 4*o - 2*o. Solve -15*a + o*a + 6 = 0, 5*x = 2*a - 7 for x.
1
Suppose 3*t + 190 = 26*t + 98. Solve 0 = 4*w - t, -3*w = -12*i + 13*i - 1 for i.
-2
Suppose -g - 4*d + 34 = 0, -3*g + 5*d + 87 = 2*d. Let l be -5 + 1 - (23 + -1). Let s = g + l. Solve 8*a = 3*x + s*a - 3, 0 = 5*x - 3*a - 5 for x.
1
Suppose -5*r - 18 + 23 = 5*p, 2*p + 66 = -19*r. Solve -4 = a + j, -3*a + p*j = -a + 1 for a.
-3
Let d = -59 + 49. Let y be d/(-3) - 3/9 - -32. Let c = 40 - y. Solve c*j = 2*b - 3, 0*b = 3*j - 3*b + 9 for j.
1
Let d(y) = y**3 - 24*y**2 + 23*y - 550. Let j be d(24). Solve 3*n + 5 = j*u, 5*u = 10*u - 4*n - 16 for u.
4
Let f be 2/10 + (153/(-15) - -6). Let x be f/(-3) + (-30)/(-18). Solve 2*d + 13 = -3*b, 1 = -3*b + d + x for b.
-1
Suppose -2*v = -2*x + 50, 3*x - 85 = -6*v + 11*v. Let q be (24 - x)*2/(-8) + 5. Solve -5*m - 7 = -5*o + 3, q*m + 8 = -5*o for o.
0
Suppose -35*o + 33*o = 0. Suppose -10*v + 31 - 11 = o. Solve -3*a + 6 = -k - 8, -v*a = -6 for k.
-5
Suppose 22*y - 25*y - 4*d - 1 = 0, 20 = -5*d. Solve -y*l - m + 2 = 0, 0 = 2*m - 3*m + 2 for l.
0
Let p be ((-50)/(-20) + -2)/((-2)/4). Let n be (-3 + p + 3)*(-3)/3. Solve 3*f = 3*a + 15, -2*f = a - 5 + n for f.
3
Let w = 6351 - 6346. Solve 2*b - 19 = 5*i, 0 = -5*b - i - 25 + w for b.
-3
Let h = -340 - -352. Suppose -d = -14*c + h*c + 3, 3*c = 3*d - 3. Solve -19 = 2*p - p + c*m, -p - 3*m = 14 for p.
1
Let p be ((648/(-48))/9)/(1/2) - -34. Solve 12*w + 3*v = 8*w + p, 3*w - 27 = -3*v for w.
4
Suppose 43506 = -3*j + 43521. Solve 102*x - 105*x = -2*a - 4, j*a + 33 = -4*x for x.
-2
Let g(m) be the first derivative of m**3/3 - 3*m**2/2 + 4*m + 28. Let b be g(3). Suppose 4*s = 3*s + 11. Solve b*q = d - 24, 0 = 5*q + d + 32 - s for q.
-5
Let p(f) = 2*f**2 + 16*f. Let h be p(-8). Suppose h = -w - 2*y + 13, 5*w + 4*y = -3 + 38. Solve -3*g - 6 = w*m + 9, 5 = -g + 2*m for g.
-5
Let f be (1 + -1)*(0 + 1). Suppose b - g - 12 = -13, -2*b + 5*g - 14 = f. Solve 2*x + x + 12 = u, -16 = b*u + 4*x for u.
0
Let x(f) = f**2 - f - 42. Let s be x(0). Let u be 60/7 + (-18)/s. Suppose 4*z = z + u. Solve -3*r = z*n - 6, 5*n + 0 = -r + 18 for r.
-2
Let n = -178 - -200. Let i = n - 16. Solve q - o + i*o + 12 = 0, 4*q = 4*o for q.
-2
Let h be (138/115)/(4/10). Suppose 0 = i - 2*i, 4*l = -h*i + 120. Solve 3*z - r - 3*r = 14, 5*z = -4*r - l for z.
-2
Suppose 0 = 2*x - 5*w - 15, 77*x - 72*x = 3*w + 28. Solve -2*s + 5 = -z, -s - x*z + 27 = 2*s for s.
4
Let u be (1 - 0)/(17 - 16). Suppose 8*o - 15 - u = 0. Suppose -o*s - 9 = -x - 4*x, 3*s + 6 = 5*x. Solve -z = -2*m + 9, z = m - 2*m - s for z.
-5
Let h be 6 - 6/9*3. Let p(r) = 9*r - 86. Let t be p(10). Solve t = h*a - 2*d, a = -2*d + 3*d for a.
2
Suppose -149*j + 3132 = 152*j - 40*j. Solve 0 = -4*l - 3*n + j, 5*n - 13 - 7 = 0 for l.
0
Let t = 380 - 375. Solve -c - t*y = -28, -9 = -5*y + 16 for c.
3
Suppose 2*y - 5*o = 25, -2*y + 1052 = 2*o + 1062. Solve z + h = 0, 5*z = -y*h + h + 24 for z.
4
Let o be (-5)/(-3) - 4/(-12). Let w = 149 + -142. Suppose 13 - w = o*d. Solve -d*b + h + 12 = 0, -12 = -5*b + 2*b - 3*h for b.
4
Let n = 30128 - 30121. Solve 10 = 4*h - n*x - 25, -4*x = -h + 20 for h.
0
Let i be ((-30)/25)/(2/(-5)). Let c = 6635 + -6626. Solve -2*n - n - 12 = j, 0 = -i*n - c for j.
-3
Let z = 402 - 704. Let q = 318 + z. Solve 1 = -u, -4*v - q = 5*u - u for v.
-3
Suppose 400 = 15*x - 157 - 43. Solve 3*l = 4*j - 19, -x*j = -42*j + 14 for l.
3
Suppose 0 = 4*w + 4*b - 92, -2*b = -1152*w + 1149*w + 74. Solve 0 = -5*p - 3*a + w, -3*a = -0*p - 3*p for p.
3
Let h = -3600 + 3601. Solve -6*s - 21 = 3*j, 0 = 6*j - j - 2*s - h for j.
-1
Let q = 19075 - 19073. Solve 0 = -q*b - 4*p - 10, -4*b = -2*p - 20 for b.
3
Let c(r) = 4*r. Let q be c(-1). Let h be 6 + (-4 + 6)*(2 + q). Suppose -45 + 53 = h*l. Solve -w + 2*g - 3 = 0, 2*g = 2 + l for w.
3
Let g(l) = 2*l**2 + 7*l - 13. Let f be (-6 + 1)/(-6 - (-10 + 3)). Let q be g(f). Solve -3*v - q*b + 23 = 2*v, 3*b + 13 = 2*v for v.
5
Let g be 3 - (-655)/20 - 2/(-8). Let a be ((-69)/(-2))/((-18)/g). Let u = -64 - a. Solve 0 = -p + u*t + 16, 24 = -p - 0*p - 5*t for p.
-4
Let o(v) = -v**3 + 112*v**2 + 110*v + 347. Let t be o(113). Solve -4*l + 12 = 3*z, 5*z + 3*l + 10 = t for z.
-4
Suppose 64 - 4 = 20*j. Let l be (-19)/(-4) - (39/(-12) + j). Solve -5*g + 25 = -3*z + 4*z, -g = 4*z - l for g.
5
Let d(p) = p**2 - 10*p + 20. Let s be d(6). Let b(l) = l**2 + 3*l. Let f be b(s). Suppose 8*i - 15 = 1. Solve 3 - 6 = y + i*t, -f*y + 3*t + 10 = 0 for y.
1
Let o = 36 - 12. Let t = -21 + o. Solve 5*n - 2*w - 2*w = 0, -n - t*w = 0 for n.
0
Let w(f) = -27*f - 3. Let z be w(-1). Suppose 4*n - 96 = -z. Suppose 3 = -3*r + 4*a, -2*r + 3 = 5*a - n. Solve 0 = r*l + 2*l + 2*t + 8, 2*t - 12 = 5*l for l.
-2
Suppose 2 = -10*i + 52. Suppose 58 - 68 = -i*f. Solve s - 3*h = f, 5*s + 2 - 12 = 5*h for s.
2
Let j = 6650 + -6646. Solve -4*g - 20 = -0*l - 5*l, 0 = -j*l - g - 5 for l.
0
Let p be ((-160)/(-24))/((-2)/(-6)). Suppose 9*n - 308 = -p. Let b be -4 + (-1 - (2 - n)). Solve -g - 20 = 4*v, -3*g + 0*v = 5*v + b for g.
0
Let u(h) = -3*h + 82. Let n be u(23). Suppose 0 = 4*j - a - 12, 4*j - 3*a - n + 1 = 0. Solve -j*z = -2*k + 3*k + 8, z - 5*k + 8 = 0 for z.
-3
Suppose 0 = 2*t - 6*t. Let w = 913 + -828. Suppose -b + w*f - 81*f - 3 = 0, -3*b + 36 = -3*f. Solve 5*a + b = 2*i, t*a = a + 3*i for a.
-3
Let d(x) = -x**3 - x**2 - 4*x + 4. Let n be d(6). Let q = 280 + n. Solve 2*c + l - 4 = -0*l, q = -2*c - 4*l for c.
4
Suppose 2*i + d = 0, -4*i = 45*d - 40*d + 6. Solve -i = -o + 13*l - 9*l, 3*o + 11 = -2*l for o.
-3
Suppose -19 = -j + 3*u, -5*j - 4*u + 31 = -45. Suppose -308*w + 295*w = -78. Suppose -w*k + 72 = -0*k. Solve -5*a = 3*m - k, j = -4*m + 3*a + a for m.
-1
Suppose m + 4*p = 16, 3*m + 4*p - 12 = 12. Suppose -m = -58*t + 57*t. Solve t*s + 2*a = -2*a + 24, 4*s + 3*a = 23 for s.
5
Let p(f) = -3*f**3 - 12*f**2 - 6*f - 64. Let i(u) = u**3 + u**2. Let j(n) = -2*i(n) - p(n). Let o be j(-10). Solve 2*s = -2*t + 3*t + 1, -4*s - 4 = o*t for s.
0
Suppose 2*t + 9*t = -0*t + 198. Solve t*a = 19*a + g + 6, 3*a = 3*g + 6 for a.
-2
Suppose 18 = 2*x - 137*j + 139*j, 0 = 2*x - 2*j + 10. Solve x*g = z + 4, 29*g = 34*g for z.
-4
Let x = -9733 - -9742. Solve 3*u - x = 5*b + 1, 3*b - 3 = 0 for u.
5
Suppose -l + 9 = g, -3*l + 28 = -0*g + 4*g. Suppose 92 = l*r - 132. Solve -2*j - 5*w = -12, -4*j + 2*w - r = j for j.
-4
Suppose -h = 17*j - 20*j - 17, 5*h - 13 = -3*j. Solve -8 = h*n - 3*i - 9, 0 = 3*i - 9 for n.
2
Suppose 5*b - 376 = a - 401, 0 = -3*a + 3*b + 27. Solve r = a*i + 17, -7 = 37*i - 36*i - 2*r for i.
-3
Suppose 1086*m - 1081*m + 20 = -5*k, m - 5*k - 20 = 0. Solve 4*b = -6*z + 5*z - 3, m = b - 2*z - 6 for b.
0
Let p(a) = a**2 + a - 2. Let k be -1 + 2 + 1 + (-2)/2. Let f be p(k). Solve 4*m + 14 = -2*u, u + f*m = -3*m - 12 for u.
3
Let t(h) be the first derivative of h