d - t - 25 for d.
5
Let b be -4*1/(-8)*-4. Let p be (b/(-3))/((-12)/(-90)). Solve 4 = -u - q, 0*q = p*u - 2*q + 6 for u.
-2
Let d(n) = n**2 + 3*n - 4. Let f be d(-4). Suppose -126 + 56 = -14*y. Solve 4*m - y*m = v, -4*m - 4 = f for v.
1
Let n = -158 + 159. Let t be ((-30)/n)/(-5) - -1. Solve 0 = 3*u + g + 1, t*u - 4*u = -2*g + 4 for u.
-2
Let c(r) = 2*r**2 + 9*r. Let j be c(-7). Let z = j + -30. Solve 0*t - z*t - 3*q - 3 = 0, 0 = 4*q - 16 for t.
-3
Let c(p) = -4*p**2 + 48*p + 2. Let y be c(12). Solve -y*a + 5*s - 5 = -25, 4*a = 5*s + 30 for a.
5
Let r(c) = -2*c**3 - c**2 + 2. Let a be r(2). Let p be (-5)/(-3)*a/(-3). Solve -16 = 2*d + 5*v - v, 0 = -d + 4*v + p for d.
-2
Let o be 5/60*39 + (-3)/(-4). Solve 4*j + 6 = 2*k, -j + k = o*j + 15 for j.
-4
Let d(r) = 7*r + 339. Let q be d(-48). Solve 4*s - q*n = 9, -2*s + 15 - 6 = -3*n for s.
0
Suppose a = -4*a + 5*b - 130, -a = 2*b + 11. Let x be (100/5)/5 - a. Solve 0 = 5*h + x, 3*y + 6 = -4*h - 14 for y.
0
Suppose -4*l = -4*h - 12, -5*h = 2*l + 4 - 17. Suppose d + 83 = 4*j, l*d - 123 + 15 = -4*j. Solve 5*p - 57 + j = 3*t, 8 = 2*p for t.
-5
Let h(p) be the first derivative of -p**4/4 - p**3/3 - p**2/2 - 15. Let y be h(0). Solve 0 = 2*t + 2*j + j + 8, 5*j = y for t.
-4
Suppose 2*c = -4*q + 22, 0 = -4*q - 0*q + 4*c + 4. Solve -j = -2*t + 6, j - q*j + t - 13 = 0 for j.
-4
Let c = 26 - 24. Let t be 9/c - (5/2 - 1). Solve 0 = f - 4*b - 5, -t*f - 2*b + 1 = -0*b for f.
1
Suppose 2*i - g = -3*g, 2*i - g - 6 = 0. Suppose 0 = k - 1 - 1. Suppose -2*j + 37 = 5*w, -2*w - k*w + 27 = -j. Solve b - 17 = i*q - 5, -b = -q - w for q.
-5
Suppose 2*b - 48 = 5*c + 25, b = -5*c + 29. Let t = b + -30. Solve -t*x + a = 5, 0 = -5*x - 0*a - 4*a + 20 for x.
0
Suppose 3 = 20*r - 19*r. Suppose 2*i = -r*i + i. Solve i = 2*w + u - 3, -4*w + 2*u + 3 = 3*u for w.
0
Let s = -169 - -174. Solve z + 3 = -o, -s*z - 5 + 18 = -2*o for o.
-4
Suppose -23 = -3*y - 299. Let d = 159 + y. Suppose d = 4*s + i, 0 = -4*s - 2*i + 73 - 3. Solve -c - 9 - 3 = -3*r, 5*r - 3*c - s = 0 for r.
5
Let y = 10 - 7. Let p be (-1 + -8)*y/(-9). Solve -2*z = -5*v - 13, -v = -2 + p for z.
4
Let w(m) = m**2 + 31*m - 308. Let n be w(8). Solve -3*l = -o + 7, n*o - l = -3*l for o.
1
Let x(w) = w**3 - 2*w**2 - 2. Let o(y) = y**2 - 13*y - 11. Let u be o(14). Let i be x(u). Solve 5*a + s = 3*s - i, 0 = -4*s - 16 for a.
-3
Suppose 0 = -48*w - 1 + 49. Solve 2*f = -5*i - w, -5*i + 3*f + 11 - 22 = 0 for i.
-1
Let u = -5 + 4. Let a be u + 2 + -1 + 2. Suppose -k = -i - 23, -5*i + i = -k + 29. Solve 0 = -5*o + r + k, 0 = -6*o + a*o + 5*r for o.
5
Let c be (-6 - -4)/((-2)/4). Let y(t) = 4*t - 27. Let s be y(8). Suppose -s*x - 3 = -208. Solve 0 = 5*h + 25, -c*z - 3*h - 2*h - x = 0 for z.
-4
Suppose 5*l - 22 + 9 = 3*t, 0 = -3*l + 15. Suppose -2*y + b + 2 = 0, t = -5*y + 10*y - 3*b. Solve -3*r - y*c - 12 = 0, 0 = 3*r - c - 2*c + 12 for r.
-4
Suppose -18 = -5*t - 5*a - 3, 3*a = -t + 1. Solve 4*m - 5*d + t*d = -5, 2*m - 5 = 3*d for m.
-2
Suppose 46*u = 54 + 38. Solve 0*n = 2*n - u*i, 0 = 2*n + 2*i - 8 for n.
2
Suppose -v = 0, 4*i + v - 7 = 9. Solve 5*u + 4*j - 7 = 22, 0 = i*j - 4 for u.
5
Let a = 1705 + -1705. Solve -5*m + 4 = v, -5*v + v + 3*m + 16 = a for v.
4
Let g(v) = 2*v**2 - 4. Let u(l) = -l**2 - 11*l - 2. Let m be u(-11). Let c be g(m). Solve -4*x = 4*s - x - 23, 0 = c*s + 5*x - 33 for s.
2
Let o = 221 + -216. Solve -2*a - 22 = o*h + 2*a, 3*h = 3*a + 3 for h.
-2
Suppose -6 = 3*f, -4*d - 3*f = -d - 3. Solve u + p + 25 = -d*p, 0 = u + 2*p + 15 for u.
-5
Let u be (-4)/14 + 2512/(-28). Let r be ((-4)/6)/(12/u). Solve r*i = 2*k - 3*k + 3, -5*i - 4*k = 3 for i.
1
Let k(w) = -w**3 + 2*w**2 - 3*w + 8. Let u be k(2). Let q(s) = -1 - 3 + s + 3. Let p be q(4). Solve p*l - j - 3 = 0, u*j + 9 = l - j for l.
0
Let y be -161*10/(-350) + 2/5. Solve 4*r = 4*b - 4, -y*b - 16 + 12 = -2*r for b.
-2
Let s be 54/8 - 4/(-16). Let u(d) = -s*d**2 + d**3 - 16 - 2*d + 9 + 0*d + 3*d. Let b be u(7). Solve b = 2*n - a + 4, -2*n - n + a - 6 = 0 for n.
-2
Suppose q = 13*s - 14*s + 15, -q - 2*s + 13 = 0. Solve 0 = -5*o + 2*w - q, -5*o - 5*w - 9 - 1 = 0 for o.
-3
Let u(j) = j**3 - 3*j**2 + 4*j - 2. Let d be u(2). Let q be (-2*(-1)/(-4))/(d/(-16)). Solve 5*g - 30 = 5*s, q*g - 10 = 2*g for s.
-1
Let i be (-4)/(-2)*(-23 - -24). Suppose -13 = -n + i*p - 2, -5*p - 32 = -4*n. Solve 8 = 4*g, -n*g + 3 + 1 = -y for y.
2
Let j = -47 + 52. Solve 2*h + 4 = -5*w, -h + 0*h + w + j = 0 for h.
3
Let p(r) = -77*r**3 + 2*r**2. Let k be p(1). Let h = 93 + k. Solve 0 = o - 2*t + 5*t + 16, 2*o = 4*t + h for o.
-1
Suppose q - m - 2 = 0, -10*m = -9*m. Solve 0*o = q*w - 3*o + 4, 5*w - 3*o - 8 = 0 for w.
4
Let h = 5 + -1. Let d be (3 - -12) + (h - 2). Let i = -12 + d. Solve i*u = 2*r - 4 - 1, 0 = -4*r - 2*u - 2 for r.
0
Let r = 33 + -18. Suppose 77*d + r = 82*d. Solve 0 = -a - 3*a + x - 9, d*a + 1 = -5*x for a.
-2
Let m be (-39)/(-12) + 3/24*-2. Solve -o + 2 = 4*z, 5 = -4*o + 3*o + m*z for o.
-2
Let i = 1778 - 1774. Let o be -1*(-1 + -35)*1. Suppose 4*d = -n + 26, 0 = 2*d - 7*d - 3*n + o. Solve -2 = 5*s + 4*g - 5, 0 = i*s - g + d for s.
-1
Let s(p) = 8*p**2 - 2*p - 1. Let y be s(1). Solve -4*n = y*i - 17, 0*n - 5*i + 8 = n for n.
3
Let a be (-1)/(4 - 902/226). Let n = 117 + a. Solve -5*t = -4*w + 15, -2*w - 5 - 7 = n*t for t.
-3
Let f be 2/4 - (-12)/24. Let z be 4/f*(-16 + 17). Solve 2*h = z*w + 3*h + 17, -5*h - 25 = 5*w for w.
-4
Let l(g) = -2*g + 1. Let f be l(-2). Suppose 73*q = 93*q - 80. Solve -f*c - 3*u = -8*u - 30, q*c - 6 = -5*u for c.
4
Let r(n) = -n**2 - 8*n - 7. Let m be r(-7). Let z be -6 + (-1 + m)/(-1). Let v = 5 + z. Solve -a = 5*p - 0*a + 21, -2*p - 2*a - 10 = v for p.
-4
Let x be (-3)/((-6)/14) - -2. Solve 3 = -3*l - u, -13*u + 4 = 4*l - x*u for l.
-2
Let z(f) = 0*f - 4*f**2 + 3*f + 5*f**2 + 1 - 8. Let t be z(-5). Let p be (9*t/3)/1. Solve 0 = -v - 3*y - p, -3 = -v + y for v.
0
Let o = 3 - 3. Let b be (-1 + 5)/(-1) - 1. Let n be (2/6)/(b/(-30)). Solve 2*l = 4*a - 2*l, n*l - 2 = o for a.
1
Suppose 0 = -3*a + 12, 0 = -5*r - a - 111 - 0. Let j = 31 + r. Solve t + 3*m + 2*m = -2, 0 = 4*t - m + j for t.
-2
Let z be ((12 - 12)/(4 + -1))/(-3). Solve b - 5*f - 11 = z, 4*f = -b + 4*b for b.
-4
Let t be (-16)/(-6) + (-1)/(-3). Let f(g) = t - g**2 + 6*g - g**3 - 1 - 4*g + 4*g**2. Let w be f(3). Solve 4*j = -3*o + 19 - 2, 2*o = -2*j + w for j.
5
Suppose -5*d + 12 = -d. Suppose 0 = 3*m + 5*t - 869 + 823, 26 = -3*m + 4*t. Solve -3*p + 5*l + 6 = 0, m*p - l - d*l - 4 = 0 for p.
2
Let l be (-3 + (-17)/(-5))*5. Let n be l + (-12)/(-1 - -4). Let i be 40/15 - n/6. Solve -2*s = -i*v - 4, 3*s - 2*s = 3*v + 8 for s.
-4
Let f be 399/35 - 2/((-60)/18). Solve -r = -i - 3*r + f, -3*i = 2*r - 20 for i.
4
Let z(k) = k**3 + 4*k**2 - k. Let q(n) = -2*n + 10. Let s be q(7). Let x be z(s). Solve 4*m - 2*r = -26, -r - x*r + 13 = 3*m for m.
-4
Suppose -5*p = 5 - 20. Let t = -2 - -4. Suppose -a = -t*a + 8. Solve -3*y + x - 16 = 0, -3*y - a = 2*y + p*x for y.
-4
Suppose -2*r - 343 = -51*r. Solve r*q - 11*q = -5*l - 5, -5 = -2*q + 5*l for q.
0
Let y(a) = a**3 + 3*a**2 - 1. Let k(w) = -w**3 + 6*w**2 + 7*w - 2. Let n be k(7). Let c be y(n). Solve -4*d = b - 9, -b = b + c*d - 8 for b.
1
Suppose -4*d + 137 = -2*v - 69, -3*d + 2*v = -156. Let f = d + -45. Solve j - 2*g - 10 = 0, f*g = -2*j - 2*j - 12 for j.
2
Let c be (206/(-206))/((-2)/(-38)*-1). Solve -2*q + 13 = -5*n, n + c = 5*q + 2*n for q.
4
Let a(r) = -1 - 1 + 4 - 4*r. Let s be a(-3). Suppose 4*c + 2*f = 12, 5*c + f - s = -f. Solve -v - c*v = 9, k + 9 = -3*v for k.
0
Let a = -363 - -365. Solve i + 4*r - 11 = -0*i, -i + a*r - 13 = 0 for i.
-5
Let a(t) = 3 - 2*t - 1 - 8 + 6*t. Let z be a(2). Suppose -4*i + 9*s - 4*s + 19 = 0, 3*s - 3 = 0. Solve -z*o = i, -m + 9 = m - o for m.
3
Suppose -837 = 16*z - 6917. Let n be 6/(-4)*z/(-57). Solve -16 = -4*b + 5*w, 4*w + 29 - n = -3*b for b.
-1
Suppose 0 = 13*k - 12*k - 2. Solve -1 = -2*j + 5*x, 5 = j + k*x - 0 for j.
3
Let b = 2 - -1. Suppose -h - 9 = -3*u - 2*u, -4*u = -5*h - b. Let m be (h/4*0)/1. Solve -2*s = 3*j - 0*j + 12, 4*s = m for j.
-4
Let u = -1212 - -1216. Let b(o) = -o**3 + 6*o**2 + o - 4. Let k be b(6). Solve 0*j + 13 = 3*j - u*s, 0 = j - k*s - 7 for j.
-1
Suppose 4*d - 36 = -16. Solve 5*l + 10 = -5*g, 5*g - 4 = d*l + 4*g for l.
-1
Suppose 0*h - 3*