e d = -t - t + 6 for t.
3
Let i be -10 + 9 - 1/((-1)/4). Solve -i = 4*u - 19 for u.
4
Let a be 648/40 + (2/(-10))/1. Solve r + a = 5*r for r.
4
Let c(x) = -3*x**2 - 13*x - 25. Let t be c(-5). Let q = 43 + t. Solve q + 1 = -3*d for d.
-3
Suppose 0*w = -5*w + 10. Suppose 15 = w*g - 5*g - 5*v, -3*g + 2*v = -6. Let l be (20/50)/((-28)/(-70))*(2 - -1). Solve g = l*t - 15 + 3 for t.
4
Let c(r) = r**3 + 6*r**2 - r - 3. Let a be c(-6). Solve -63 = a*l - 57 for l.
-2
Suppose -2*s = -2*k + 3*k - 8, -s - 14 = -4*k. Suppose -5*t + k = -4*t. Let n(h) = -4*h - 61. Let x be n(-17). Solve x - 3 = t*o for o.
1
Suppose 0 = -8*a - 31 + 407. Solve a = 7*p + 68 for p.
-3
Let i(y) = -3*y**3 + 41*y**2 + 65*y - 27. Let d be i(15). Solve -23*g + d = -11*g for g.
4
Suppose 6*r - r = -2*v + 13, -2*v = r - 9. Solve -8 - 4 = v*z for z.
-3
Let s(g) = -121*g - 844. Let l be s(-7). Let j be 1/(-4) + (-30)/(-24). Solve 0 = -v - l - j for v.
-4
Suppose 0 = -6*j - j + 2*j. Suppose 5*s + n - 11 = 0, -5*s + 6*n - n + 5 = j. Solve -s*v = 4 + 6 for v.
-5
Suppose -37*d + 165 = -40*d. Let j = d + 56. Solve 0 = -p - j + 4 for p.
3
Let q be -3*(-3 - (-7)/3). Suppose 0 = 2*x + 2*b + b + 4, 0 = 2*x + q*b + 4. Let c be 3 - 2 - (x - -2). Solve -c + 26 = -5*a for a.
-5
Let a(z) = -2 - 4*z - 2 - 2*z**2 - 1 + 8*z + z**3. Let p be a(3). Let b = p - 3. Solve b = 4*u + 1 for u.
3
Let k(l) = 6*l + 40. Let d be k(-5). Solve d = 5*x - 0*x for x.
2
Let x(u) = -u**2 - 3*u + 3. Let s be x(-3). Suppose c + s = 4*c. Suppose 4*f = -h + 32, -30*h = 4*f - 28*h - 36. Solve 4*b - f = c for b.
2
Let g(t) be the first derivative of -t**3/3 + 5*t**2/2 + 17*t - 9. Let n be g(7). Suppose 3 = n*m - 42. Solve 6*a - a = -m for a.
-3
Let a be (-1 - (-6)/12)/((-1)/78). Let i = -23 + a. Let h be 7/4 + (-3)/(-12). Solve i = -2*d - h*d for d.
-4
Suppose -77*y + 85 = -60*y. Suppose -5*f - 3*p + 0*p = -11, 4*p - 8 = -5*f. Suppose f*u - u = 9. Solve -u*v = -y*v for v.
0
Let p(m) = m**3 + 3*m**2 - 1. Let i be p(-1). Let f be i/(-1)*1/(-1). Suppose f + 8 = o. Solve -2*k + o + 1 = 0 for k.
5
Let x = -701 + 701. Suppose -2*o = -8 - 0. Solve o*n + n + 20 = x for n.
-4
Let m = 0 - 3. Let y be ((-8)/6)/(m/9). Solve 2*c - y*c = -10 for c.
5
Suppose 0 = 4*c - 7*c. Suppose 4*z + c*z = 28. Suppose -v + z = -0*v. Solve 0 = -6*t + v*t for t.
0
Let g(m) = m - 12. Let x be g(15). Suppose 0*h = w + x*h - 14, -3*w + 3*h = -6. Solve -1 + w = -i for i.
-4
Let o(s) = s**3 + s - 29. Let h be o(0). Let l be (0 + 96)/3 + -1. Let w = l + h. Solve -2*k = 8 - w for k.
-3
Suppose 2*s - 3*r = -87 - 145, 0 = r + 4. Let m = s + 136. Solve 0 = -10*g + m*g for g.
0
Let y be (-1)/(14/4) - (-10)/35. Solve -3*b + b - 10 = y for b.
-5
Let q be (2 - 1/5)*5. Suppose 3*c + 0*c + q = 0. Let a be (c + 3)*1/(-3). Solve a = -0*y - 4*y + 4 for y.
1
Suppose -4*c = -2*a - 3*a + 23, -a = -4*c - 11. Suppose -a*y + 0*y = 36. Let p = y - -12. Solve p = s + s for s.
0
Let z(y) be the second derivative of y**4/12 - y**3/3 + y**2 - 6*y. Let i be (-6)/(-21) - (-38)/14. Let s be z(i). Solve s = -2*v + 7*v for v.
1
Suppose 4 = -2*n - 4*x, 3*n - 13 - 14 = 5*x. Suppose -2*f + 0*f = -4. Suppose -2 = -f*h + 18. Solve -n*r - 6 = h for r.
-4
Suppose 33 = 2*a - 4*y - 13, -2*a = -3*y - 51. Let g = a - 23. Solve g = 3*o - 5 for o.
5
Let n be (8/(-12))/(2/(-15)). Let s be 1/(-3) + 12/36. Suppose -i + 2*i - 17 = s. Solve -3*m + n = i for m.
-4
Let v = -180 + 181. Solve -4*o + v = -3 for o.
1
Suppose -78*c + 280 = -50*c. Solve 26*z - c = 28*z for z.
-5
Let w be 188/(-329) + 498/14. Solve 0*o - w = 7*o for o.
-5
Suppose -2*s + 4*v = 10, 9 - 24 = 3*s - 5*v. Let r be (-2 - 15/s) + 3. Solve 0*f = r*f for f.
0
Suppose -3*w + 4 = -4*h + w, -3*w = 4*h - 17. Let d(p) = 2*p**2 - 2*p - 1. Let q be d(h). Solve q*i = -i + 4 for i.
1
Let r = -2313 - -2323. Solve 6*a + 16 = r for a.
-1
Let h = -1892 - -1893. Suppose 2*s - 11 = -3. Suppose -3*q - 2*w = -15, -s*q + 4 + 23 = 5*w. Solve -2*d = q + h for d.
-2
Let p = 6 + 2. Suppose -3*d - 5*c = -35, -5*d = 6*c - 4*c - 33. Solve d*b - p = b for b.
2
Suppose -2*x = 4*u + 2, -3*u + 3 = -4*x - 1. Suppose 3*b + u*y + 4*y = -68, 2*b + 60 = y. Let n = -25 - b. Solve -n*c + 1 = -2 for c.
1
Let y(j) = 14*j - 222. Let f be y(19). Solve 48*q + 16 = f*q for q.
-4
Suppose -6 = -5*s + 2*s. Suppose 0 = 4*l - s*l - 4. Let k = l - 0. Solve -3*x - k*x = -10 for x.
2
Let z be 2/(4/(5 + 3)). Let j(w) = -9*w + 1. Let s be j(-2). Solve z*k - s = -3 for k.
4
Suppose -2*b + 8 = -4*t, -3*t = 4*b + t - 64. Suppose -7*y - 15 = -b*y. Solve -25 = -y*s - 2*s for s.
5
Let v = -101 - -36. Let b = v + 65. Solve -w - 3 + b = 0 for w.
-3
Suppose -4*n + 6*t = 4*t - 16, 0 = 3*n + 3*t - 12. Let y = 2 - -1. Suppose y*s = -2*s - 2*h + 36, -36 = -4*s - n*h. Solve 0 - s = 2*u for u.
-3
Let n(o) = -o**2 - o + 3. Let u(p) = -p**3 + 3*p - 3. Let a be u(2). Let w be n(a). Let s = 21 + w. Solve 5 - s = d for d.
1
Suppose 3*c - 12 = -3*l, c + 6 = -l + 2*l. Suppose -l*m + 35 = 10. Suppose 4*q = m*q - 5. Solve -z + 6*z = q for z.
1
Let g be 4 - ((-10)/(-15))/((-3)/9). Solve 16 = g*z + 22 for z.
-1
Let o = 66 + -63. Solve -5*n - o = -3 for n.
0
Let z(a) = -a**2 + 5*a - 5. Let w be z(3). Let v be (w + 1)/(-2)*0/22. Solve 4*m + 11 + 9 = v for m.
-5
Suppose -514 = -4*c + 2*z, z + 2*z = 3*c - 381. Let x = c + -126. Solve s + x = 7 for s.
3
Let z = 301 + -298. Let j(d) = 2*d - 9. Let q be j(6). Solve -2*b - q = -z*b for b.
3
Let f(o) = -o**3 - 3*o**2 - 3*o - 3. Let n be f(-3). Suppose 0 = k - 0*k + n. Let m = 11 + k. Solve m*x + 14 = -1 for x.
-3
Let b(x) = x**3 - 7*x**2 + 9*x + 9. Let u = -27 + 32. Let t be b(u). Solve 0*d - t = d for d.
-4
Suppose 18 = 300*d - 297*d. Solve -7*o - 5 = -d*o for o.
-5
Let t(x) = x**3 + 8*x**2 - 27. Let j be t(-7). Let g = 25 - j. Solve -10 - 2 = g*h for h.
-4
Let q(w) = 2*w**2 - 8*w - 6. Suppose -5*r - 25 = -10*r. Let m be q(r). Solve -m + 1 = y for y.
-3
Let i = 90 - 73. Suppose -5*q = -i*q. Solve 5*s + 30 - 5 = q for s.
-5
Suppose 22*z - 16 = 14*z. Solve -z*n + 5 = -7*n for n.
-1
Let y(a) = a**2. Let k be y(2). Suppose -3*f - 3*j = -8 - 4, k*f - 19 = -j. Solve -8 = f*h + 2 for h.
-2
Let r be (333/(-27) + 12)*-165. Solve -16*f + r = -5*f for f.
5
Let r(h) = -4*h**3 + h**2 + h + 1. Let q be r(-2). Solve 11*o - 13 = -q for o.
-2
Let f = 434 + -432. Solve f*j + j = -4*j for j.
0
Let d be (-5)/5*0*1. Suppose 5*m = -0*l + 3*l + 29, -5*l - 15 = d. Solve 3*y - m*y + 3 = 0 for y.
3
Suppose n = -3*n + 24. Suppose 0 = -2*h + n + 6. Suppose 2*d - 8 = -4*u, -3*u + 4*d = h*d - 6. Solve -u*i - 5 = -i for i.
-5
Let p(m) = -7*m - 164. Let o be p(-24). Solve b + o = -b for b.
-2
Suppose -2*s + 8 = -4. Let t be (-4)/22 + 114/22. Suppose -3*r = -5*z + 10, 2*z - t = s*z - 5*r. Solve 3*a - z*a + 6 = 0 for a.
3
Let o = 158 + -155. Solve 0 = -5*m + o*m for m.
0
Suppose -7*h + 9*h = 4. Suppose 0 = -z - r - h, r = -2*z - 0*z + 1. Let d = 8 - 4. Solve z*c - d = 7*c for c.
-1
Let t = 2 - 0. Suppose 1 = t*q - 5. Solve q*g = 2*g for g.
0
Let d be (0/(-16 + 13))/(-1 + -1). Solve -3*o + 4*o - 1 = d for o.
1
Let l(v) = -2*v - 2*v**2 - 3 + 7 + 7 + v. Let q be l(6). Let y = -40 - q. Solve 0 = 5*z - 7 + y for z.
-4
Let d(t) = 4*t - 2. Let y be d(4). Suppose -y = -2*k + 2*r, -2*k + r - 2*r = -17. Solve 4*j = -0*j - k for j.
-2
Suppose -5*n - 204 = -1149. Let a = -187 + n. Suppose 7 = -3*y + 22. Solve a*m + y = m for m.
-5
Let w be 72 - (0/2)/(0 - -3). Let u = w - 69. Solve u*d = -4 - 11 for d.
-5
Suppose 0 = -4*k - 0*k + 16. Suppose -2*h - 28 = -2*l, 9*h - 8*h = -4*l + 36. Solve m = -k*m + l for m.
2
Let j(s) = -2*s + 5. Let t = 12 - 5. Let o be j(t). Let f(r) = r**2 + 8*r - 6. Let g be f(o). Solve -9 = -g*z - 0*z for z.
3
Let k(c) = 3*c**3 - 12*c**2 + 11*c + 4. Let p(r) = -2*r**3 + 6*r**2 - 6*r - 2. Let n(j) = -3*k(j) - 5*p(j). Let a be n(-6). Solve 9 = 5*t - a for t.
5
Let v(m) = 2*m + 102. Let w be v(-49). Solve 0 = -p + w*p + 12 for p.
-4
Let i = 1006 + -1004. Solve -i*o = 4*o + 18 for o.
-3
Suppose 2*a + 5*t = 5*a - 62, 3*a + 2*t = 76. Suppose 3*j - 2*j + 4*s + a = 0, -5*s - 15 = 0. Let u = 18 + j. Solve 3*x + 12 = u*x for x.
4
Let b = 254 - 251. Solve 7*z = b*z for z.
0
Let j(v) = -3*v**3 - 8*v**2 - 4*v + 1. Let a(h) = -2*h**3 - 7*h**2 - 3*h + 1. Let p(i) = 5*a(i) - 4*j(i). Let u be p(2). Solve -2*b = -u