o = 44 + n for o.
-7
Suppose -c + 5*c - 20 = 0. Let g = -4890 - -4892. Solve -c*a = -g*a for a.
0
Suppose -3 = 2*f - 3*f. Let x = 6121 + -6114. Solve 5 = f*k - x for k.
4
Let y = 15 - 10. Let j = 5 - y. Suppose -16*b - 26 = -29*b. Solve -b*f + 0*f = j for f.
0
Let k(x) be the first derivative of x**4/4 + 7*x**3/3 + 3*x**2 - 3*x + 14. Let s be k(-6). Let z be 2/6*s*0. Solve z = -2*g + 2 - 4 for g.
-1
Let b = 492 - 374. Solve b*r = 125*r for r.
0
Let a(y) = y**2 + 3*y - 16. Let n be a(-6). Let q be (-12)/(-66) - (-4)/(-22). Let t = n - q. Solve 0 = t*z - 3*z - 4 for z.
-4
Let j(v) = 114*v - 113. Let x be j(1). Suppose -z + 3*z = 0. Suppose z = 5*h - 24 - 1. Solve h*q + 26 = x for q.
-5
Suppose -8*b + 110 - 30 = 0. Let o be -14*1*(-5)/b. Solve 0 = 3*g - o*g for g.
0
Let f(l) = -225*l + 477*l - 2 + 5 - 230*l + 12*l**2 + l**3 + 21. Let g be f(-10). Solve g*y = y - 15 for y.
-5
Let m = -21 + 29. Suppose 8 = c - 5*u, 4*c + 5*u - m = u. Solve -c*k + 6 = -5*k for k.
-3
Suppose 305*b - 345*b + 400 = 0. Solve 124 = -38*k + b for k.
-3
Let s be (0 - (-16)/28)*(-35)/(-2). Suppose -s*v + 12 = -8*v. Solve v*j - 3*j = -12 for j.
-4
Suppose 7*l - 3*l - 128 = q, -q = -l + 35. Suppose 12*m - l*m = -38. Let z(w) = w + 13. Let j be z(-10). Solve m*a - a = j for a.
3
Suppose 2*l + 24 = -2*l + 22863*t - 22861*t, 0 = -5*t + 60. Suppose 0 = 5*u - 0 - 20. Solve 4 = -u*r - l for r.
-1
Suppose 19*a = -23*a + 42. Let u be a*(10/2 - -10). Suppose -3*s + 2*w + w - 6 = 0, w - 2 = -3*s. Solve s = -4*f - f - u for f.
-3
Let i = 835 + -1396. Let h = i - -564. Solve 15 = -h*f + 6 for f.
-3
Let v(d) = 40*d - 33. Let n be v(1). Solve 4*r + n = 11 for r.
1
Suppose -58*b = -47*b - 176. Solve 0 = 3*s - b + 19 for s.
-1
Let v(z) = -z**3 + 7*z. Let q = -284 - -281. Let i be v(q). Solve -3*y = -6*y + i for y.
2
Let a = 35 - 35. Suppose a = -19*i + 8*i + 33. Let m = -10 + 12. Solve 0 = -d - m - i for d.
-5
Let f = -28 + 17. Let b = f - -16. Suppose 0*z = -8*z + 16. Solve -z = b*a + 3 for a.
-1
Let z(d) = -10 + 5*d - d**2 - 4*d + 25 - 5. Let b be z(0). Let a be (-3*b/(-15))/(1/2). Solve a*v + 5 = -v for v.
-1
Suppose -2*h + 9 - 9 = 0. Suppose h = -a - a + 64. Let o = a - 30. Solve -o*z + 6*z = 20 for z.
5
Suppose 0 = 5*z - 3159 + 2979. Solve -76*v + 38*v = -z*v for v.
0
Let x(h) = 30*h - 1510. Let f be x(51). Solve f*r - 62 = -2 for r.
3
Let f be 216/3 - (-6 - -6). Suppose -5*w - 4*v = -f, v + 0*v = 3. Let h be (w/16)/(2/16). Solve 2*s = -0*s - h for s.
-3
Let s be (-10626)/1610*(-14*3/9 - 2). Solve -s*k = -35*k - 45 for k.
5
Let r(s) = 7*s**3 + 6*s**2 - 9*s + 5. Let w be r(2). Let n be ((10 - w) + (1 - 2))/(-2). Solve 10*c = 1 + n for c.
3
Suppose -254*t + 420 = -245*t - 30. Solve -t = -10*o + 20*o for o.
-5
Let i(x) = x**3 - 7*x**2 - 28*x - 20. Let d be i(10). Suppose d = -16*n + 16. Let w = -1 + 1. Solve 2*f - f + n = w for f.
-1
Suppose -9360 = -39*o - 2*o - 76*o. Solve -9*k - o = -53 for k.
-3
Let q = -45488 + 48106. Solve -2*x - 2616 = -q for x.
1
Suppose -3*q = 45 - 66. Suppose -c - 4 = -q. Solve 0 = -2*d - 7 + c for d.
-2
Suppose -2*k = 3*m - 4*k - 1, m + 4*k = 5. Suppose 5*n = 3*n + 14. Solve n*c = 8*c + m for c.
-1
Let l(t) be the second derivative of -t**3 + 5*t**2 + 8*t. Let r be l(4). Let o be 3/(84/(-8))*r. Solve -o*n - 21 + 5 = 0 for n.
-4
Let h(x) = 5*x**2 + 559*x - 6034. Let a be h(11). Solve -740*g + a*g + 160 = 0 for g.
8
Let x be (-105)/(-15) - 30/(0 - 6). Suppose -5*z + 3*m + 12 = 0, 7 = -3*m - 5. Solve z = -x*j + 15*j - 15 for j.
5
Let z be -30*(3/8 + (-820)/480). Solve 44*d - 49*d - z = 0 for d.
-8
Let l = 128 + -126. Suppose 5*f + l*n = -n + 13, 2*f - n - 14 = 0. Solve 3*b = f + 10 for b.
5
Suppose 3*p = 4*m - 3, 5*p + m - 24 = -2*m. Suppose -2*s + 2 = 5*n + 8, 2*s = p*n - 22. Let i be 8 - (-6)/s*4. Solve 0 = -2*t + 1 + i for t.
3
Suppose 11*s - 7*s + i = -109, 2*s - 3*i = -65. Let q = -25 - s. Solve 4*c - q - 1 = 0 for c.
1
Suppose -131 = 10*q - 511. Solve -q*k + 124 = -7*k for k.
4
Suppose -8 = -2*i - 0. Let n = 108 + -199. Let l = n + 100. Solve 0 = i*u + l + 7 for u.
-4
Let w(k) = 44 - 90 + 61*k + 45. Let j be w(2). Suppose j*q + 4 = 123*q. Solve 2*g + q = 3*g for g.
2
Let r be ((-1107)/(-246))/(6/40). Solve -50 = -r*l + 10 for l.
2
Let v be (-49 - 98/(-2))/(1 + -2). Suppose 5*h = 51 + 49. Solve v = -14*z + 4*z + h for z.
2
Let z = 18 + -26. Let j = -239 - -227. Let m be (z/j*-3)/(-1). Solve 0 = -5*s + 18 + m for s.
4
Let v be 2*62 + (177 - 166). Solve 19*f + 192 - v = 0 for f.
-3
Let y be (7 - 6 - 2) + 4. Suppose -y*l + 0 = 6, -3*s + 16 = -5*l. Solve s*w - 12 = -4*w for w.
2
Suppose 5*b - 47 = 3*f, -2*f + 12 = 4*b + 2*f. Let p(n) = 14*n - 93. Let d be p(b). Solve 0 = -d*q - 7 + 2 for q.
-1
Let a be 6/(-9) + (-7)/63*-411. Suppose 12*f + a = 105. Solve 0 = 6*w + 7 + f for w.
-2
Let s(n) = -20*n - 16. Let y be s(-1). Suppose y = h + 2*t - 0, 2*h - 8 = -2*t. Solve -7*l + 6 = -h*l for l.
2
Let o = 142 + -76. Let y = -72 + o. Let i(x) = x**3 + 5*x**2 - 7*x - 2. Let p be i(y). Solve -n - p*n - 25 = 0 for n.
-5
Let q(u) = u**3 - 7*u**2 + 8*u - 9. Let p be q(6). Let a = -87 + 67. Let o be ((-4)/((-80)/(-12)))/(2/a). Solve o = p*n - 0*n for n.
2
Let l be 28/14 + 76 + -12. Solve 20*w = -l + 6 for w.
-3
Let c = 45 - 30. Let b be (-50)/10 + 5 + 5. Solve -c = b*l - 10 for l.
-1
Suppose 2*s = 3*o - 57, -4*o + 52 = s - 13. Let c(p) = 20*p + 1. Let n be c(1). Let v = n - o. Solve v*t - 10 = 2*t for t.
5
Suppose 4*i = -28, d = -19*i + 17*i - 11. Solve -1349 = d*z - 1370 for z.
7
Suppose 14*z = 11*z + 15. Suppose 44 = 3*v - 0*y + 4*y, -z*v + 30 = -2*y. Suppose 0 = -5*i + 9*i - v. Solve 0 = -i*j - 2 for j.
-1
Let t = 8411 - 8221. Solve t*h + 20 = 200*h for h.
2
Let i(z) = -5*z**3 + 2*z**2 + z - 2. Let p be i(1). Let t be p/1 - -2 - -13. Let k = 14 - t. Solve 2 = w + k for w.
-1
Let w = 344 - 514. Let k = w - -174. Solve -7 = k*c + 9 for c.
-4
Let m be (6 + (69 - 2))/(-1). Let z = m - -75. Solve 12 - z = -2*g for g.
-5
Let l be (3*(-6)/14 - -1)/((-376)/13160). Solve -30 = 5*r + l*r for r.
-2
Suppose -25*c - 455 = -90*c. Solve c*t + 15 = 29 for t.
2
Suppose 108 = 7*i + 47*i. Solve i*o - 85 = -15*o for o.
5
Suppose 17*o - 144 = -59. Solve 0 = o*p + 1439 - 1419 for p.
-4
Suppose 90 - 27 = 63*q. Solve q = s + 2 for s.
-1
Suppose -105 = -3*y - 5*o, -4*o = 4*y - o - 129. Let d = y - 33. Let i be 3/(9/d)*-2. Solve -i*g = g - 3 for g.
1
Let a = -96 + 52. Let d = a - -69. Let c be 0/((-5)/d*-5). Solve f + c*f = -4 for f.
-4
Let j = -42 - -72. Let o(v) = -5*v - 5. Let r be o(4). Let l = r + j. Solve l*z - 2 = 6*z for z.
-2
Suppose 2*b + 114 = 6*u, -27 = u - 5*b - 18. Solve 0 = -26*n + 31 + u for n.
2
Suppose 4*i = 3*a, 3*i = -6*a + 4*a + 17. Suppose q + 13 = y + 2*y, 2*q + a*y = 24. Suppose -6*z = -q*z + p - 72, -z = -2*p - 18. Solve z = -5*c - 2 for c.
-4
Suppose 0 = 8*n - 38 + 6. Suppose -n*d = d - 10. Let q be (17 + -17)*d/4. Solve q*x - 2 = x for x.
-2
Suppose 3*w + 2*m - 429 = 0, 3*w + 4*m - 548 + 119 = 0. Let c = w - 147. Let s be c*((-6)/(-21) - 22/28). Solve 0 = 3*y + s*y for y.
0
Suppose -16*w - 1178 = -25*w - 260. Solve -101 = h - w for h.
1
Let h(g) = 4*g**3 - 2*g**2 + 2*g - 1. Let o be h(1). Suppose 4*p - 74 = -w, -3 - o = -3*w. Suppose 4*d = p - 6. Solve -d*v - 25 = 2*v for v.
-5
Let c(h) be the third derivative of h**6/120 + 19*h**5/60 - h**4/24 + h**3/3 - h**2 - h. Let r be c(-19). Solve 3*j = r - 6 for j.
5
Suppose 16*m + 1522 = -126. Let a = 105 + m. Solve 14 = -3*x + a for x.
-4
Let w = 33 + -14. Let g(l) = l**3 - 9*l**2 - 10*l + 4. Let i(z) = z**2 - 3*z - 30. Let a be i(8). Let q be g(a). Solve -5*x = w - q for x.
-3
Let a be (168/20)/((-60)/(-200)). Let d = 9 + -6. Suppose -3*m + 4*r + 19 = 0, 20 = d*m + 2*r + 7. Solve 0 = m*i + 8 - a for i.
4
Let x(z) = -z**3 + z**2 - 2*z + 5. Suppose -128 = -2*t - 4*o, 12 = -3*o + 3. Let d = t - 70. Let l be x(d). Solve 2 = 3*v + l for v.
-1
Let m = -267 + 274. Suppose -o - 5 = -m. Solve 0 - o = u for u.
-2
Let f(x) = -6*x**2 + 11*x - 1. Let d be f(5). Let g = -90 - d. Suppose 2*a - a = 2. Solve -a*h = -4*h + g for h.
3
Let t = 395 + -195. Suppose 0 = -51*z + t - 47. Solve f + z*f - 20 = 0 for f.
5
Let r be 1*((-6)/1 + 4). Let y be -3 + 7 + 5 + r. Suppose y*v = 4*v + 6. Solve -2*p = 6 - v for p.
-2
Let i(b) = 8*b + 7*b - 52 - 3*b 