 0 for d.
2
Let c(t) = -3*t**2 - 21*t - 13. Let k be c(-6). Solve 0 = k*a - 6*d + 7*d - 23, -13 = -a + 4*d for a.
5
Let l be (2/6 - 1)*-21. Suppose -6*c = l*c - 100. Solve -i = -0*q + q + 2, q + c*i + 22 = 0 for q.
3
Let z(t) = 5*t - 15. Let v be z(5). Solve -2*u - v = -2*o, 2*u + 0 = 5*o - 10 for u.
-5
Suppose 2*b = -b + 2*c - 98, -c = -2*b - 67. Suppose -4*z + f = 3, -2*f - 13 = -z + f. Let r be b/(-24) + 3/z. Solve 0 = -v - o - o + 3, r = 5*v + o + 21 for v.
-5
Suppose -5*f - 2*d + 27 + 28 = 0, 33 = 3*f - 5*d. Solve f = 2*x - 4*w - 3, -5*w = 5*x - 5 for x.
3
Suppose 49 = 46*h - 135. Solve -3*s + 5 = -5*v, -v = -h*s - 2*v - 1 for s.
0
Let b be ((-77)/55 + 2)/(6/20). Solve 0*p - 12 = -4*p + q, -3*p - b*q = -20 for p.
4
Suppose -78*f = 1 - 157. Solve -2 = -f*r + 5*t - 7*t, -r - 11 = 4*t for r.
5
Suppose 108 = -11*a + 5*a. Let q be (-4)/a - 52/(-9). Suppose 0 = -4*j + 5*j - 12. Solve 2*v - 2*d = -6, v - 4*d = q*v - j for v.
0
Let g be (0/(-13 - -10))/(1 - 3). Solve 18 = -f + o + 15, 2*o + 4 = g for f.
-5
Let r = -20 - -34. Let o be r*(-5)/(-10)*2. Solve o = c + 2*c - h, -4*h = 8 for c.
4
Let p(b) = -b**3 + 66*b**2 + 65*b + 139. Let w be p(67). Solve w*a + i + 25 = 0, 10 = -5*a - i + 3*i for a.
-4
Let x(v) = -5*v**3 - v. Let w be x(-1). Suppose 3*d = 6 + w. Let z be ((-6)/d)/(3/(-6)). Solve 2*h - 2*b + 6 = 0, h - z*b = -5 + 2 for h.
-3
Let r(b) = b**3 - 26*b**2 - 3*b + 81. Let a be r(26). Solve 0 = 3*v - a, 0*v - 4*v = -5*o - 14 for o.
-2
Suppose -4*m = -w + 4, -4*w + 2*w = 4*m - 8. Solve -w*u + 1 = 5*s + 5, -4*u + 5*s = 4 for u.
-1
Suppose 0*h + 4*h - 5*l - 34 = 0, 10 = -5*l. Suppose -4*z = 4*o - 4, -4*o - 2 = -z - 6*o. Suppose -m + z*m = 0. Solve 4*t = -4*y - 1 - 3, m = 3*y - h for t.
-3
Suppose 4*m - 3*m - 4*s = 55, -220 = -4*m + s. Suppose 80 - m = 5*f. Solve 0 = 3*o + 15, 4*p - f*o = -o for p.
-5
Suppose -7*a + 379 - 204 = 0. Solve -t = -j, 4*t + 0*t + j = a for t.
5
Let w be 4/(-12)*30/(-2). Suppose -4 - 1 = 5*a. Let g be a - -2*(-21)/(-3). Solve -3*u = m - w*m + 29, -u - g = -2*m for u.
-3
Let i = 98 + -72. Suppose -30 = -8*y + i. Solve -4*t - 3*p - 14 = -6*p, -t - p = y for t.
-5
Let h(v) = v**2 - 14*v + 15. Let p = 14 + -2. Let x be h(p). Let n(m) = m**2 + 10*m + 13. Let w be n(x). Solve 2*j + a = -0*j - 2, w*a + 13 = -3*j for j.
1
Let y(q) = 14*q**2 - 2*q. Let s be y(-1). Let f be -1 - -14 - (s + -16). Solve u + 0 + 5 = 3*j, 4*u - j = f for u.
4
Let s(x) = -8*x - 2. Let n(i) = -9*i - 2. Let c(t) = 5*n(t) - 4*s(t). Let w be c(-2). Let y be -50*(w/20)/(-3). Solve -5*o + b = -b + 25, -b = -5*o - y for o.
-3
Let y(v) = 2*v**2 - 3*v. Let g be y(-3). Let l be (-39)/(-26) + g/2. Suppose 8*w = 3*w + l. Solve -j - 1 = 5*q, 3*q = -w*j + 4 + 5 for j.
4
Let t = -4 + 8. Suppose -4*s - 2 = 5*j, -6 = 4*s - 2*s. Suppose -t*b + 3*f + 21 = j*f, -b + 8 = -3*f. Solve 14 = o + 3*o + 3*z, 0 = -b*o - 3*z + 16 for o.
2
Suppose -2 = -14*w + 26. Solve -3*x + 2*x = -w*m + 2, 4*x + 3*m = 3 for x.
0
Suppose 4*m + 24 = 8*m. Let p = m + -6. Suppose -5*k - q + p*q + 70 = 0, 3*k + 3*q = 54. Solve 3*c - 4*u = 17, -5*u - k = -0*c - c for c.
3
Let x(r) = 5*r**2 - r - 1. Let c be x(2). Suppose 2*u - 20 = 2*v - 3*u, -12 = -3*u. Suppose 6*t - 4*t - 10 = v. Solve -n - n = -t*a + c, -a = n - 2 for a.
3
Let p(m) = -m + 10. Let f be p(7). Let b(n) = -n**2 + 7*n + 4. Let v be b(8). Let q(w) = -4*w + 5. Let x be q(v). Solve -f*y = 2*l + x, 3*y = 4*l + l for y.
-5
Let v(b) = 3*b - 10. Let p be (5 + -4)*2 + 2. Let l be v(p). Solve 8 = -0*h - l*h - 2*q, 4*h = 5*q + 20 for h.
0
Let u be (-6 - -3) + (4 - 0). Suppose -y - 5 - u = 0. Let z be 7 + -2 + (y - -4). Solve 8 = i - z*s, -3*i + s + 3 = -5 for i.
2
Let w(g) = -2*g + 9. Let m be w(3). Suppose m - 15 = -6*z. Solve -2*b = -4*p - 12 - 2, -1 = -p + z*b for p.
-5
Let c be (7/(-21) + 20/6)/1. Suppose -5*i + c = -4*i. Solve -6*w = 3*s - i*w, -4*s + 18 = -2*w for s.
3
Suppose -2*t = 2*t - 8. Let c be ((-23)/(1288/144))/(6/(-70)). Solve 5*f = 2*v + c, 3*v - v + 2 = -t*f for v.
-5
Let o be (-4)/6*(-36)/8. Suppose 2*k = o*y + 31, k = -3*k + 3*y + 53. Solve -3*b = 5*r - 0*r - k, 0 = b - 2 for r.
1
Let u = -2 + -13. Let r be (-2)/10 - (-1347)/u. Let b be (-2)/11 + r/(-11). Solve 4*c + 3 = d, -c + 10 + b = -4*d for d.
-5
Suppose 2*i + 10 - 44 = 0. Suppose 0 = -3*c + 3*r + 9, -c = c + 3*r - 16. Suppose -c = 3*s - i. Solve -s*q = f - 14, -3*q = -2*f + 5*f - 6 for q.
4
Let o(i) = i - 9. Let l be o(9). Suppose 5*u - 5*b + 3*b + 16 = l, -2*u - 2 = -3*b. Let c = 0 - u. Solve 2*s - 3 = 3*f + 2, 15 = -c*f + s for f.
-5
Suppose q - 10 = 2*h, -5*q - 9*h + 11 = -6*h. Solve -9 = y - 4*d, -d + 10 = q*d for y.
-1
Let j(x) = -1. Let o(t) = 2*t + 2. Let m(k) = -3*j(k) - o(k). Let l be m(-2). Solve 4*p = -4*u - 24, 2*p + 10*u - l*u + 15 = 0 for p.
-5
Let m(y) = 13*y - 13*y + 53 - 8*y. Let v be m(6). Solve 0 = -h - c - 4, v*h + 2*c = c for h.
1
Suppose 0*m + 9*m = 153. Suppose 4 = 18*w - m*w. Solve -5*h = -3*q + 27, -2*h + 11 = w*q + 1 for q.
4
Let o be (1 + (1 - 1))/(4/12). Suppose -3*m + 3 = i - 1, -m = o*i - 12. Solve f + 2*h - 7 - 2 = m, -2*f + 4*h - 14 = 0 for f.
1
Let g(o) = -o**2 + 2*o + 13. Let r be g(4). Suppose r*a + l - 36 = -16, -2*l + 13 = a. Solve -3*c - 19 = -d - 7, -a*d - 5*c = 20 for d.
0
Let k = -6 + 8. Suppose -k*p - 11 = -3*p. Let v = -6 + p. Solve 5*s = 4*n + 5, 37 = 4*s + v*n - 8 for s.
5
Suppose 19*s - 81 = 10*s. Solve -s*v = -4*v, x + 5 = 2*v for x.
-5
Suppose 0 = -3*j + 15, 4*c + j = 15 + 6. Solve 2*l - c = -0*l - x, -2*x + 8 = -4*l for l.
0
Let c(h) = 49*h. Let b be c(0). Solve 3*w - 6 = -3*k, b*w + 2*w = -5*k - 2 for k.
-2
Suppose 3*r - 18 = -0*a - 2*a, 2*r = -3*a + 17. Let w(g) = g + 11 + 7*g - a*g - 4*g. Let n be w(-4). Solve 0 = -5*c - b + n, -4*c - 5*b + 14 = -0*c for c.
1
Suppose -6 = 2*p, -3*p + p + 3 = -v. Let j be ((v + 3)/2 - -3)/1. Solve -4*f + 3*a = 5, -4*a = -2*f - j*a for f.
-2
Let r = 799 + -798. Solve o - 2 = r, -4 = 2*n - 2*o for n.
1
Suppose 0 = -7*m - 60 + 88. Solve 0 = 4*q - 7*q + 3, -3*h - m*q = 5 for h.
-3
Let x(a) = 3*a - 6. Let q be x(-6). Let v be (-3 + 7)*(-3)/(-3). Let n be (q/v)/(3/(-3)). Solve -4*m = -l - 2 - 19, n = 2*m + 4*l for m.
5
Let g = -16 + 10. Let x be (-1 - 2)/g*0. Solve 2*l - 4*s - 2 = s, -l + 2*s = x for l.
-4
Let j(m) = -9*m - 27. Let i(h) = 11*h + 28. Let c(x) = -3*i(x) - 4*j(x). Let f be c(-8). Solve -2*q + 2 = 0, 2*k + 4*q = -f*k + 2 for k.
-1
Let i = -36 - -39. Suppose -2*y = -2*a - 4*y + 28, 0 = -a + i*y + 30. Solve -4*c - p + 3 = a, -2*p = -3*c - 3 for c.
-3
Let g be (-1 + 5 + 1)*1. Let r be (-1)/3 + (-35)/(-15). Solve 3*l = -2*l - n + 3, -6 = -g*l - r*n for l.
0
Let f = 71 - 67. Let y = -69 - -90. Solve -f*l + 9*l = -o + y, 5 = o + l for o.
1
Let x(t) = -1 + 18*t - 2 - 17*t + 4. Let d be x(5). Solve -k + d = -w, w + 10 - 1 = 4*k for k.
1
Suppose 5*k - 12 = 2*s, 0*k + 2*k - 3*s + 4 = 0. Let i = 34 + -26. Let u = i + 12. Solve -5*l + 25 = 0, -y = -l - k*l + u for y.
5
Let f = 25 + -23. Suppose 5*p - 22 = -f. Solve b - 5*c + p = -4*c, 4*b + 1 = -c for b.
-1
Suppose 2*y - 14 = -4*o, 0 = 4*o + 3*y - 7 - 8. Let f be (-21)/15 - -2 - 56/(-40). Solve 2*v - 13 = -o*s, f*v = -2*v + s + 5 for v.
2
Let b be ((-18)/(-3))/(-13 - -15). Solve -2*g - g = -b*q - 9, 2*q - 4*g + 6 = 0 for q.
-3
Suppose 7*p - 3*p = 20. Suppose -3 = -2*l + c, 15 = 2*l + 2*l - 5*c. Solve j - t = l, 5*j - 24 = 2*j - p*t for j.
3
Let d(c) = c**3 + 7*c**2 + 9*c - 3. Let w be d(-5). Let r(u) = u**2 + u - 3. Let g be r(w). Solve 25 = -5*a, g*q - 2 = a + 3 for q.
0
Let b(g) = g**3 - 6*g**2 - 2*g + 13. Let c be b(6). Let f be (0/3)/(c + -1 - 1). Solve 6*j = 3*r + j - 4, f = -4*r - j - 10 for r.
-2
Let f = -39 - -74. Suppose 5*s - 95 = -f. Let z be (-5 + 0)/((-3)/s). Solve -v - 5*x + z = 0, -4*v = -x - 6 - 11 for v.
5
Let k be ((-30)/1)/(-6) + 0 + -5. Solve 2*j = -a - k*j, -13 = 4*a - 5*j for a.
-2
Let i(d) = -2*d - 3. Let g be i(-3). Let v be 10/(0 - 2)*g. Let m = -7 - v. Solve 7*o - 2 = 4*o + f, 4*o + m = -4*f for o.
0
Let q(d) = -3*d**3 - 2*d**2 - d. Let f be q(-1). Suppose 3*h + f*h = 0. Suppose h = 4*k - 20 + 4. Solve -5*j + k = -3*o, 4*j - 4 = -8 for o.
-3
Let u = -1498 - -1503. Solve 4*r - u*g = 20, g + 12 = -3*r - 2*g for r.
0
Suppose -3*i + 3*b + 96 = 0, -5*i - 5*b + 167 - 57 = 0. Let l be (-74)/(-9) + (-6)/i. Let x = l 