e c = -9*i + 5*i + 12 for i.
3
Let n(y) = -12*y + 2. Let f be n(-1). Suppose 5*h - f*h = -45. Solve 20 = h*z - 0 for z.
4
Let t = -1838 + 1845. Solve -y + t*y = 17*y for y.
0
Let z be (5/(-15))/((-2)/18). Suppose -3*l + 16 = 4. Suppose -n - 2 = l*y - 4, 0 = 4*y + 4*n - 8. Solve -d - z = -y for d.
-3
Let n = -10 + 13. Suppose 12 = -n*x + 3, -21 = -5*s - 3*x. Let b be 9/s*(-20)/(-6). Solve b*j = j for j.
0
Let d = -60 - -65. Solve 0 = -y - 0*y - d for y.
-5
Suppose 0 = 4*j - 6 - 6. Suppose 4*k + j*z - 25 = 0, -2*k + 23 = -0*k + 5*z. Solve -v + k = v for v.
2
Let o = 26 + -44. Let s = o - -20. Suppose -3*x + 6 = -3*y, x = -4*y + s*y + 8. Solve u + 10 = -x*u for u.
-2
Suppose -2*q = -7*q. Suppose v + 2*v + 3*b = 27, q = -3*v + 2*b + 7. Let y = 8 - v. Solve -y*m + 0 - 9 = 0 for m.
-3
Suppose -4*r = -a - 9 + 3, -10 = 5*a. Solve -2*d + 5 - r = 0 for d.
2
Let n be (1 - 34/(-2))*(-18)/(-54). Suppose 4*o = 19 - 7. Solve o*c = n - 21 for c.
-5
Let a(o) = 9*o - 53. Suppose 3*m + 27 = 2*c, -2*m + 2 = 2*c - 0. Let u be a(c). Solve -3 = -4*l + u for l.
1
Suppose -5*g - f + 2 + 23 = 0, -g - 2*f - 4 = 0. Solve -g*m + 5 = -1 for m.
1
Suppose 2*y - 192 = 5*y. Let c be (y/(-20))/((-2)/(-5)). Let m = 27 + -2. Solve -3*u + c*u - m = 0 for u.
5
Suppose q - 1 = 3*i, 2*q + 5 = -0*i - i. Let s be (1 + i)/(-4 + 3). Solve 5*d - 5 + s = 0 for d.
1
Suppose -2*a = 5*o - 509 - 121, -4*o + 517 = -a. Let l = o + -108. Solve 5*r = r - l for r.
-5
Let m = -15 - -18. Solve -m*u - 16 = u for u.
-4
Let w(r) = -r**3 + 6*r**2 - 9*r + 20. Let q be w(5). Solve 4*k - 5 - 3 = q for k.
2
Let u = 341 + -326. Solve -u*f + 14*f + 1 = 0 for f.
1
Let u(w) = -w**2 + 2*w + 5. Let d be u(0). Suppose 0 = -3*y + 5*i + 18, d*i - 4 = 5*y - 34. Solve 0*z + y = 3*z for z.
2
Let f(y) = 4*y**2 - 4 + y**3 + 9*y**2 + 11*y - 4. Let o be -3 - (1 - 4 - -12). Let a be f(o). Solve u = -a*u + 10 for u.
2
Let b(l) be the first derivative of -l**2/2 + 3*l + 33. Let i be b(-1). Solve i - 14 = 2*a for a.
-5
Let b(p) = -p**3 + 10*p**2 + 41*p - 26. Let q be b(13). Solve 2*i - 2 = -q*i for i.
1
Let a(l) = -l + 2*l + 7 + 3 - 2. Let h be a(-6). Let k = -5 - -9. Solve 2*z = -h*z - k for z.
-1
Let w be 2/(-11) - (-228)/44. Suppose 10 = -3*y + w*y. Let n = -25 + 31. Solve -y*u - n = -1 for u.
-1
Let v = 61 + -61. Let a be (v/2)/(0/2 - 3). Let i(w) = 3*w**2. Let j be i(-1). Solve j*m + 3 + 6 = a for m.
-3
Suppose 0 = x - 3 - 3. Suppose 0 = -c + 3*u + 11, -2*c - 2*u + 11 = -35. Solve -s = -x*s + c for s.
4
Suppose 4*o = -4*u, o - 5*u + u = 20. Solve -p = 5 - o for p.
-1
Let c be 0*(63/(-70) - (-2)/5). Solve 2*k - 3*k + 3 = c for k.
3
Let k(c) = c**3 - 3*c**2 - 35*c - 13. Let s be k(8). Solve -9*f - 9 = -s for f.
2
Let d be 16/(11 + -7) + 1 + 1. Solve d*r - 5*r = 5 for r.
5
Suppose 0 = -6*v + 5*v. Let w(q) = 3*q. Let o be w(1). Solve v*b = -o*b for b.
0
Suppose -4*d + k + 21 = 1, 0 = -5*k. Suppose -s - 25 = -4*q, 3*s - 4 = 5. Let c(t) = t**2 - 3*t - 7. Let y be c(q). Solve -1 = -d*n - y for n.
-4
Let y be 9/15 - 35/(-25). Let u be (-2 - (-4 + 2))/y. Solve u = -i + 4 for i.
4
Let c(x) = x**3 + 3*x**2 + 3*x + 2. Let o be c(-2). Suppose o = -5*y - 3*z + 7*z - 17, -2*y = -z + 5. Let b be (-1 + 2)/y*-2. Solve n = -b - 1 for n.
-3
Suppose -8 - 32 = -4*q. Let c be -7 + q + 0 + 1. Suppose c*s - 5 = 3*s. Solve 0 = -x + 2 - s for x.
-3
Suppose 0 = 31*z - 6*z - 150. Solve -z*c + 2*c = 20 for c.
-5
Let k(s) = 2*s. Let u(o) = 1. Let r(p) = k(p) - 12*u(p). Let b be r(8). Solve b = -g + 2 for g.
-2
Let d(r) = -r**3 - 6*r**2 + 13*r - 10. Let s be d(-8). Suppose 16*t = 18*t - s. Solve 3*i + t = -2 for i.
-3
Let h(a) = 7*a**3 - 2*a**2 + 2*a - 3. Let g be h(2). Let x = 50 - g. Solve -4*p + x = 5 for p.
-1
Let c(p) = 2*p - 7. Let i be c(5). Let u(a) = 58 - 2*a - 118 + a**2 + 59. Let d be u(i). Solve 1 = d*q - 9 for q.
5
Suppose -3*r - 16 = -r. Let s be -6*((-12)/r + -2). Suppose 2*m + 2 = 3*m. Solve -s*j - 5 = m*j for j.
-1
Let f be ((-8)/4)/(3/(-18)). Suppose -13 + 1 = -4*x. Solve 7*d - x*d = f for d.
3
Suppose -3*c = -c - 3*c. Suppose c = -14*n + 12*n. Solve -u - 5 = -n for u.
-5
Let c(i) = i**2 + 1. Let d be c(-4). Let a be (-4)/(-4)*-3 + d. Solve a = -5*j + 4 for j.
-2
Let b(a) = 3*a - 29. Let l be b(11). Solve 5 = d + l for d.
1
Let f be ((-40)/10)/(6/(-99)*3). Solve 0 = 24*j - f*j for j.
0
Let j(n) = -n**2 + 0 + 42*n + 0 - 22*n. Let u be j(20). Solve -4*p - 7 - 13 = u for p.
-5
Let b = -193 - -200. Solve -b*q + q = 0 for q.
0
Suppose -28 = -3*t - 4*b, 3*b - 2*b + 16 = 5*t. Solve 0 = 5*n - t*n for n.
0
Let u = -2625 - -2630. Solve 24*r - u = 23*r for r.
5
Let m = -314 - -323. Solve m*d + 0*d + 27 = 0 for d.
-3
Let u = -23 - -23. Solve u*c = c for c.
0
Let z = -4 - -5. Suppose -21*i + 20*i = -z. Solve i = -v - 1 for v.
-2
Let u = -349 + 354. Solve -u*j + 9 = -2*j for j.
3
Suppose 0 = 4*t - 32. Suppose 4*v - 11 = 3*k + 32, -5*v - 2*k + 71 = 0. Let i = v - t. Solve i*p = 33 - 13 for p.
4
Let y(q) be the first derivative of -q**3/3 + 5*q**2 + 14*q - 44. Suppose 18 + 4 = 2*o. Let w be y(o). Solve w*x + x = -8 for x.
-2
Let c be ((-396)/(-297))/(1/51). Solve 73 = -5*l + c for l.
-1
Let y be (1/3)/((-6)/(-90)). Solve 2*q = -3*q + y for q.
1
Suppose 0 = 4*x - 12, 4*y - 11 = -x + 8. Suppose -35*g - y = -37*g. Let j = 1 + -1. Solve -g*q + 2 + j = 0 for q.
1
Let z be 99/(-4) - (-1)/(-4). Let m = -25 - z. Suppose 0 = -2*p + p + s + 5, m = -p - 5*s - 25. Solve p = 3*o - 3 + 6 for o.
-1
Let f(l) = -l**3 - 3*l**2 + 3*l + 1. Let u be f(-4). Suppose -3*w - 32 = m, 5*w - u*m + 2*m = -30. Let y be ((-2)/3)/(2/w). Solve y*t = -2*t for t.
0
Let j(r) = 0 - 1 - 6 + 3*r. Let y be j(-4). Let q be (-152)/y - (-8)/(-2). Solve x - q - 1 = 0 for x.
5
Let c be (-522)/(-72) - (-5)/(-4). Solve 0 = -c*f + 2 + 16 for f.
3
Let z(n) = -23*n - 37. Let l be z(-4). Solve -16*v = -27*v - l for v.
-5
Let j(b) = -b**3 - 14*b**2 - b - 12. Let l be j(-14). Let o be 0/(-3 + (l - -2)). Solve o - 2 = 2*p for p.
-1
Let y(f) = -f**3 + 34*f**2 - 41*f + 282. Let o be y(33). Solve 0 = -6*s + o + 12 for s.
5
Let v(s) = -16*s**2 - 84*s - 8. Let t be v(-5). Solve 20*j - 23*j + t = 0 for j.
4
Let u(w) = w**2 - 6*w + 11. Let r be u(5). Solve r*j - 7 - 23 = 0 for j.
5
Suppose -2*n + 6*n = -5*l + 15, 0 = 5*l + 5. Suppose 4*q = 53 - n. Suppose -12 = -4*h - 0. Solve h*d + d = q for d.
3
Let k(f) be the second derivative of f**4/6 - f**3/3 - f**2/2 + 3*f. Let w be k(-1). Solve -2*t - t = w for t.
-1
Let b be 0/((-1 - 0)*2). Suppose -5*i - g = -0*g, b = 4*i - g. Let m = -742 - -745. Solve i = -m*v + 6 - 0 for v.
2
Suppose 4*v + 16 = 0, 3*z = -2*z + 4*v + 41. Let q = z + -4. Let f = -32 - -37. Solve q = -f*o + 6*o for o.
1
Suppose 38 = 5*s - 22. Let m be ((-2)/3)/(s/(-54)). Solve 0 = -0*o + 3*o - m for o.
1
Let h = -661 + 665. Solve -3*i - h = 5 for i.
-3
Suppose 4*n - 3*n + 5*h + 13 = 0, -20 = -4*n + 4*h. Suppose 0 = -3*o + n*c + 44, -4*o + 3*c = 10 - 68. Solve 4*p = -0*p + o for p.
4
Let f = 11 - -2. Let r be (-22)/(-26) - ((-15)/f - -1). Solve -2 - r = 3*s for s.
-1
Let q(j) = -j**3 - j**2 + 1. Let l(z) = -5*z**3 - 2*z**2 + 3. Let h(a) = l(a) - 3*q(a). Let v be h(1). Let k be (11 + -5)/(v + 3). Solve s + k + 2 = 0 for s.
-5
Suppose 0 = 77*y - 79*y. Let d = 3 - 0. Let z(s) = s**3 - 3*s**2 + 2*s - 4. Let j be z(d). Solve -j*m + y = -2 for m.
1
Let n(b) = b**3 + 20*b**2 - 22*b + 16. Let r be n(-21). Solve -3*j + r - 43 = 0 for j.
-2
Suppose -60 = -4*o + 4*i, -6 = -3*o - i + 27. Solve -a = o - 10 for a.
-2
Let t(n) = 2*n. Let u = 14 - 8. Let o be 2 + -1 - u/(-2). Let m be t(o). Solve 4*z + m = -8 for z.
-4
Suppose -5*j - 25 = -5*p, 2*j - 6*p = -7*p + 5. Solve 2*s + j + 6 = 0 for s.
-3
Let r be (-12 + (-792)/(-77))/((-2)/14). Solve -15 - r = -9*x for x.
3
Suppose -3 = 5*z - 8*z. Let b be 45/12 - z/(-4). Suppose -b*t = -9*t + 15. Solve f + t - 1 = 0 for f.
-2
Suppose 0 = -3*f - 2*v + 5, -5*f - 10*v = -5*v. Solve -f*p + 4 = -1 for p.
1
Suppose 6 = -4*d - 5*k, 0 = k + 4*k - 10. Let p be -10*(0 - (d + 2)). Let g = p - -25. Solve -4 = -g*s + 16 for s.
4
Let u = 2906 + -2902. Solve 4*j + 20 - u = 0 for j.
-4
Let d = 4 + 1. Suppose g = -5, -15*w + 12*w - 16 = d*g. Solve -3*t + 2*t - w = 0 for t.
-3
Suppose 0*w - 7 = -5*j + 2*w, -20 = -5*w. Suppose 2*t = -j*f - 0*t, -5*t = f. Solve 4*d - d = f for d.
0
Let m 