d for u.
0
Let c(d) = -d**2 - 13*d + 55. Suppose 60 = -4*y - m, 62 = 4*m + 46. Let h be c(y). Solve 0 = -4*x - 2*a + 3 - 5, -x + h = -a for x.
2
Let c = -610 + 610. Solve 2*f + a - 10 = c, -14*f + 4*a = -12*f for f.
4
Suppose o + 5*h + 15 = 0, 3*h + 11 = -3*o + 14. Solve i + 19 = -o*g, -6*i + g = -i + 17 for i.
-4
Let i = 806 + -847. Let o = 45 + i. Solve -v + 18 = 3*v + 2*p, -o*p = v - 22 for v.
2
Suppose -2*g + 6 = z - 5, -4 = -2*z + 2*g. Solve 0 = -z*f - 5*b + 5, 2*f - b = 2 + 9 for f.
4
Suppose -57765 + 57243 = -29*b. Solve -5*c - i = 23, -5*c - 14 = 4*i + b for c.
-4
Let n(m) = -m**2 - 5*m - 2. Let b be n(-4). Suppose -j = p - 7, -5*p + 0*p = -5*j + 55. Suppose 29*u - j = 26*u. Solve u*h + g = -7 - b, 5*h = 2*g - 4 for h.
-2
Let u(p) = -261*p - 1796. Let a be u(-7). Solve 19*y + 3*f - a = 14*y, 5*f - 10 = 0 for y.
5
Suppose -2*s = -8, 4*o + 4*s = -0*o + 24. Suppose 9 = o*a - 219. Let w be a/22 + 22/(-121). Solve 0 = z + w*m + 23 - 3, 37 = -5*z - 4*m for z.
-5
Let g be 250/60 + 2/(-12). Let k be 20/(-5) - -9 - -6. Suppose -4*o - 3*r = -k - 8, 4*o - 13 = 3*r. Solve g*w - 4 - 14 = -u, o*w - 3*u = 26 for w.
5
Let b(n) = -183*n + 2565. Let c be b(14). Solve 2*h + 2*o + c = 3*h, 5*o = h - 12 for h.
-3
Let j(o) = 4*o + 76. Let m be j(-19). Suppose -2*b - d + 29 = m, 3*b + 2*d = 5*d + 30. Solve -5*n - l - 3*l = -b, -n = -l - 8 for n.
5
Let d be 2 - (20 - 8) - 533/(-13). Solve t - 5*j - 10 = 0, 4*t + 13 = -2*j + d for t.
5
Suppose 25*c = -2*j + 28*c + 73, c + 150 = 5*j. Solve 2*o = -3*t + 13, 0 = -4*o - t - 8 + j for o.
5
Let z(c) = c - 11. Suppose -4*n - 2*n = -66. Let a be z(n). Suppose a = p + p - 4. Solve p*o - 3*i = 1, -7 = 5*o + i + i for o.
-1
Let d be 84/21 - 1/((-3)/18). Let i be d/30 + 35/21. Solve i*l + 3*l = 0, -z + 4*l - 2 = 0 for z.
-2
Let u(h) = 2*h + 8. Let c be u(-3). Solve -4*f - 30 + 40 = 2*q, 8 = c*f for q.
-3
Let x = -949 + 934. Let y be (x/12)/((-27)/216). Solve 15 = 5*c, -2*n - 3*n - y = -5*c for n.
1
Suppose 2*r + 3*r - 27 = -4*s, -s = 4*r - 15. Suppose 0 = v + 3*a + 6, -s*v - 5*a = -2. Solve -3*x + 1 = x + 5*w, -3*w - v = 0 for x.
4
Let u be (-14 - -10) + 42/(-1). Let q = -19 - u. Let g = -71 + 101. Solve -5*w - 2*x = -g, -3*w + 0*w + q = 3*x for w.
4
Suppose 4*z + 38 = -3*i, z - 38 = i + 3*i. Suppose -1 = 5*m - 76. Let c = m + i. Solve x + c*p = -0*p + 21, -2*x + 2*p - 18 = 0 for x.
-4
Let u be (-2 - (-10)/4) + 552/16. Let v = u + -32. Solve -k = -v*m + 2*k + 3, 5*m = -4*k + 41 for m.
5
Let s = 347 + -328. Suppose s*t - 90 = t. Solve b = 4*y + 10, t*b - y = -0 - 7 for b.
-2
Suppose 553 = -28*d + 181*d + 247. Suppose 2*s - s - 1 = 0. Let n = -1 + s. Solve n = 3*l - d*x + 4*x - 9, -7 = -2*l - x for l.
5
Let p = -4 + 13. Let s(w) = w**3 - 8*w**2 - 8*w - 4. Let g be s(p). Let z = -172 - -188. Solve f + z = -f - g*b, -2*f = 4*b + 14 for f.
-3
Let p(d) = -59 + 134 - d**2 + 20*d - 155. Let o be p(14). Solve -12 = -o*f - 4*m, -2*f = -m + 4*m - 11 for f.
-2
Let j(o) = -3*o**2. Let k be j(1). Let q(h) = 2*h + 8. Let b be q(k). Let z be 1 + b/(2 + -1). Solve -4*f + 2*c = -z*c + 33, f = 5*c - 27 for f.
-2
Let c(k) = 19*k + 4. Let q be c(-1). Let o be 4*6 - (-5)/q*0. Suppose 0 = -8*h + 11*h - o. Solve -3*a - 1 = -5*d + 7, 0 = -2*d + h for a.
4
Let q = -536 + 540. Solve 5*v = -2*u + q, -9*v = -5*u - 10*v + 10 for u.
2
Suppose 0*p - 37*p + 185 = 0. Suppose -p*s + 3*x = -4 - 12, 0 = -3*s + 4*x + 14. Solve 0 = -r - 4*r + 4*a + 45, -3*r - s*a = -5 for r.
5
Let g be ((-3)/(-7))/((-594)/154 + 4). Let n be 1/(3/((-42)/(-2))). Let m = -5 + n. Solve -5*u - i + 7 = 0, -g*u + i - m = -11 for u.
2
Let v be (15 - 9) + (-2 - -1). Let p be v - (4/(12/9) + -3). Suppose 0 = p*q - 11*q + 18. Solve q*f + 2 - 18 = -2*a, 0 = a + 3*f - 14 for a.
2
Let l be 253/(-23) + 26/2. Solve -5 = 5*s, y + 2*s = -l*s - 2 for y.
2
Suppose -3*p - 5*x - 1379 = -1348, 3*p - x = 17. Solve 26*k = 3*j + 29*k + 3, p*k = 5*j + 37 for j.
-5
Let p = 36 - 63. Let h be 16 + ((-6)/9)/((-6)/p). Solve -2*v + h = -0*v - 3*g, v + g = -1 for v.
2
Let q be (2/2)/((18 + -16)/22). Solve -5*b = 2*l, 4*l - q*b - 12 = -15*b for l.
5
Suppose 114*p + 374 = 830. Solve p*k = -2*q + 2, -5*q - 6*k - 19 = -8*k for q.
-3
Let w = -367 + 499. Let v(p) = -10*p + 5. Let g be v(-13). Let o = g - w. Solve -3*r - 3 = o*f, 0*f + r = 2*f + 11 for f.
-4
Suppose 2*w - 4*w = -4. Let l(u) = -w*u + 1 + u**2 + u + 10*u - 6. Let k be l(-10). Solve k*m = -3*f + 11, -m = -f - 1 + 2 for f.
2
Let u(i) = -3*i - 9. Let p be u(-10). Suppose -13*f + p = -434. Let b = f + -28. Solve -b*q - v - 17 = -3*q, 4*v = 12 for q.
-5
Let i(m) be the second derivative of 13*m**3/6 - 31*m**2/2 + 53*m. Let c be i(3). Solve q - 5*q = -2*x - c, 2 = q - 5*x for q.
2
Let d = 13789 - 13789. Solve 5*w - 16 = -x, -4*w + 4 = -d*x + 3*x for x.
-4
Let h(f) = -63*f + 3029. Let w be h(48). Solve 2*y + 8 = 0, k + 20 = -5*y + w for k.
5
Suppose 5608*x = 5594*x. Solve 2*b - 4 = s - 17, x = -4*b - 3*s - 11 for b.
-5
Let l(y) = -2*y**2 - 20*y + 2. Let d(f) = f**3 + 11*f**2 - 2*f - 32. Let q be d(-11). Let x be l(q). Solve 2*v + 15 = -3*n, -v - x*n + 7*n = -12 for v.
-3
Let y be 64/(-10)*(-1335)/178. Solve -53*b = -y*b - 2*x - 2, -5*b - 5*x + 30 = 0 for b.
2
Let u = -69 - -89. Suppose 8*p - 9*p = -u. Let y = 20 - p. Solve -1 = -j - c, -10 = -j + 2*c - y*c for j.
4
Suppose -14*z = -33*z - 6726. Let u = -351 - z. Solve -5*h + t = 4*t, -u*t + 18 = -h for h.
-3
Let v = 5607 - 5607. Solve 2*u + 0 = 3*t + 12, -4*u + 5*t + 20 = v for u.
0
Suppose -2*t = 4*r - 3*r - 1, -r - 3 = 0. Let d(j) = 4*j**2 - 8*j + 23. Let o be d(9). Suppose o = 31*q - 6*q. Solve -4*z = 16, 0 = -k + t*z + 1 + q for k.
4
Let r be -15*(-5)/((-200)/(-16)) - -27. Solve -2*p = -5*n - 20, -9*p + r = -4*n - 4*p for n.
-2
Let t(v) = v**2 - 6*v + 6. Let n be t(4). Let d be (-61)/(-4) + n/8. Let g(h) = 2476*h + 212936. Let i be g(-86). Solve u - 2*c - 9 = i, c = 3*u - 2 - d for u.
5
Suppose 0 = -4*b + 36 - 24. Suppose 3*v - 10 = 4*p, 2*v + v + b*p = 3. Solve -w + 5*s + 19 = 0, -v*w + 0*w - 5*s - 22 = 0 for w.
-1
Let s be (31/2)/((-18)/(-36)). Let o = -15 - -57. Let n = o - s. Solve 2*x - p = -0*p - n, 3*p - 27 = 4*x for x.
-3
Let w(z) = -z**3 - 25*z**2 + 51*z - 70. Suppose 9*y + 46 = -197. Let h be w(y). Solve -h = -3*b + 4*s, b = s + s + 3 for b.
5
Let a be 20 - 1*(-5 + 2). Suppose -6*t + 7 = -a. Solve g - 5 = 3*d - 2*d, 0 = t*g + 3*d - 17 for g.
4
Let a(x) = -x**3 - 6*x**2 + 7*x + 2. Let b be a(-7). Let v be (b/(-3))/(539/(-105) - -5). Solve 4*i = v*p + 20, -4*p - 20 = -2*i + p for i.
0
Suppose 0 = 31*j - 12*j - 190. Suppose 0 = 5*q - 0*q - 60. Suppose p - q + 11 = 0. Solve -j = -3*t + 5*g, 4*t - p = 3*g - 6 for t.
-5
Suppose 0 = 3*o - 3. Suppose -2*i = -3*h + 4*h - 15, -4*h = i - 18. Let p(t) = -t**2 + 6*t + 3. Let l be p(i). Solve 4*n + 7 + o = x, 2*x - l*n = 1 for x.
-4
Suppose 1646 = -19*x - 178. Let n = -94 - x. Solve -n*v + 3*q = -20, 5*v + 14 = q + 38 for v.
4
Suppose -5 + 9 = o, -j + 7 = o. Solve -b - z = j*b - 20, -3*z = 0 for b.
5
Let q = -8 + -6. Let v be 26/q + (-1)/7. Let a be (6 + 5 + -31)*v/4. Solve 0 = 5*u - a, 5 + 6 = -l + 4*u for l.
-3
Let z = 0 - -5. Suppose -3*t + 66 = 8*t. Let f be 5*t/10 + 0. Solve 2*d - 8 = z*c, -3*d + 7*c - f*c = -12 for d.
4
Let b = -167 + 165. Let k(h) = -h**3 - 2*h**2 - h. Let u be k(b). Solve -2*m - 2*a = -2 - 2, u*m = 3*a + 14 for m.
4
Let s be (13/(-52)*0)/4. Solve s = 11*y - 7*y + 2*n - 18, -2*y + n = -7 for y.
4
Suppose -3*u - 260*x + 262*x = -6, 4*u - 3*x - 8 = 0. Solve -24 = u*t - 4*z, -4*t + 4*z - 24 = 4 for t.
-2
Let d(g) = -g**3 + 7*g**2 + 2*g - 10. Let i be d(7). Let r = i - 1. Let u = -2071 + 2081. Solve 0 = -x + 2*t + r*t - u, -17 = -4*x + t for x.
5
Let k = -16312 - -16314. Solve 3*f - 4 = -k*h, -69*h + f = -65*h + 20 for h.
-4
Let o be 2 + -44 + 1 + 4. Let m = -37 - o. Suppose m = 2*s - 0 - 10. Solve 3*c = -2*c, s*u + 4*c - 5 = 0 for u.
1
Let f(i) = -7*i - 51. Let c be f(-8). Suppose 5*u = -5*n + c, -2*u + 4*n = -5*u. Solve 3*k + 2*v - 2 = 0, 4*k = -k - 4*v + u for k.
0
Let s(v) = -v**3 - 3*v**2 - 64*v + 5. Let u be s(0). Solve -3*l = 8*g - 9*g, 4*l = -u*g for g.
0
Suppose 20*p - 14*p - 18 = 0. Suppose -45*d + 140 = -40. Solve -p*a = -d*h + 11, 4*a + 3*h - 4 = -h for a.
-1
Let a be 8/(16/142) + 7. Let r(c) = c**3 + 4*c + 3. Let n be r(4