+ s = 0 for c.
-1
Let m(l) = 3*l + 95. Let n be m(-31). Solve 2*f + n*f + 16 = 0 for f.
-4
Let l = 689 - 689. Solve 0 = 19*t - l*t - 57 for t.
3
Let m(k) = 8*k - 197. Let y be m(25). Solve -6*t + 9*t = y for t.
1
Let y be -1*(-3 - -9)*(-35)/42. Suppose -y = -12*p - 5. Solve p = 4*b - 21 + 5 for b.
4
Suppose -34*u = -52*u + 2916. Solve -2*a = 164 - u for a.
-1
Suppose -22 = -5*q - 3*y, -3*q + 0*q + 2 = -y. Solve 0 = -w - w - q for w.
-1
Let c = -1029 + 1099. Solve 11*m - c = -70 for m.
0
Suppose -4*v + 2*v = 6. Let t be ((-4)/v)/(0 - (-8)/12). Solve i + t*i = 3 for i.
1
Suppose -7*m + 13*m = 18. Let i be (-2 - 1)/((-6)/8). Suppose r = -i*d + 3*r, 2*d = -m*r + 16. Solve 0 = -t + d + 2 for t.
4
Let h be (0/(-2))/(4/2). Let y be -1*4/4 + 8. Let i(b) = b - 5. Let n be i(y). Solve h + n = -k for k.
-2
Let k = 45 + -36. Solve -d + 10 = k for d.
1
Let h be 5 + 2*((-22)/(-4))/11. Solve -h*b = -b for b.
0
Suppose 1312 + 316 = 37*t. Solve -47*v + 3 = -t*v for v.
1
Suppose -14 = -2*j - 4. Suppose -c = -6 - 7. Solve -c = -j*g - 3 for g.
2
Let v = 8 - 5. Let c(i) = -v + i**2 + 1 + 0. Let n be c(-2). Solve -n*g = g - 12 for g.
4
Let r = -28 - -12. Suppose -5*q - 2*u = 18, 5*q + 6 + 11 = -3*u. Let b be (44/r + 2)*q. Solve b*p - p = 6 for p.
3
Suppose 0 = 2*h + 2*b - 16, -5*b + 9 - 8 = 2*h. Solve q - h = -18 for q.
-5
Suppose 10*u = 7*u. Suppose u = -k - 2 - 3, -5*k - 50 = -f. Solve f = -5*p + 5 for p.
-4
Let m(r) = -6*r - 2*r - 6 + r + 0*r. Let j be m(-4). Let x = 25 - j. Solve -x*g = g - 8 for g.
2
Let n = 214 + -211. Solve n*v = -6 - 0 for v.
-2
Let d(x) = 3*x**3 - 5*x**2 - 9*x + 15. Let t be d(3). Solve p - t = 7*p for p.
-4
Let w(n) = 3*n**3 - 3*n - 2. Let j be w(-1). Let o be j + 1/(5/70). Suppose -m - 16 = -5*m. Solve m*g - g = -o for g.
-4
Suppose -7*a + 26 - 5 = 0. Solve 2*p - a*p + 1 = 0 for p.
1
Suppose 6 = -11*n + 12*n. Suppose -6*a - 83 = 3*o - 2*a, 4*a = -20. Let r be 2/7 + n/o. Solve h = -r*h + 1 for h.
1
Let j(a) be the third derivative of a**6/120 - a**5/60 - a**4/12 + a**3/3 + 12*a**2. Let z be j(2). Solve 3*b = -z*b + 10 for b.
2
Suppose 0 = -10*w + 13*w - 12. Let h(s) = -s**2 + 7*s - 6. Let k be h(7). Let a(j) = j + 7. Let v be a(k). Solve w*q - 5 + v = 0 for q.
1
Let l be (4/(-6))/(((-35)/5)/42). Solve -l*o + 4 = -12 for o.
4
Let s be 4 - (-2 + (-10)/(-5)). Suppose 0 = 5*k - 20, -g + 2 = -s*k + 15. Solve -g*b - 10 = 5 for b.
-5
Suppose 68*a = 98*a - 240. Solve 0 = 11*m - 9*m + a for m.
-4
Let x(r) = 2*r**2 + 6*r + 4. Let c be x(-4). Let j be ((-6 + 6)*(-1 - 0))/(-3). Solve j = 4*m + c for m.
-3
Suppose 54*f = 165 + 267. Solve 18 + 22 = f*g for g.
5
Suppose -h + 55 - 9 = -q, 0 = -2*h - 3*q + 72. Solve -41*o + h*o = 0 for o.
0
Let y(b) = b + 3. Let s be -3 + -2 + 4 + -3. Let v(g) = g**2 + 3*g + 2. Let r be v(s). Let i be y(r). Solve -i + 1 = 2*u for u.
-4
Let d be (-2)/6 + (-84)/(-9). Let o be (4/(-10))/(d/(-45)). Solve -2*c + c + o = 0 for c.
2
Let x(r) = -7*r - 13. Let l be x(-3). Solve 28 = o - l*o for o.
-4
Let j(h) = -h**2 + 4*h + 3. Let m be j(4). Let t(b) = b**3 - 21*b**2 + 10*b + 201. Let v be t(20). Solve 4*n + m = -v for n.
-1
Let a(x) = 17*x + 41. Let l(u) = -8*u - 20. Let q(h) = -4*a(h) - 9*l(h). Let w be q(8). Let c be ((-12)/(-16))/(2/w). Solve -c = -3*j - 3 for j.
5
Let w(y) = -y**2 + 5*y - 6. Let s be w(4). Let v be 57/s*16/24. Let a = -15 - v. Solve a*d + 15 = -1 for d.
-4
Let y = 156 + -153. Suppose 0 = -m + 7*m - 30. Solve -8 = -m*l - y for l.
1
Let a(c) = c**3 - 8*c**2 + 3. Let z be a(8). Suppose -3*g + 26 = 4*b, 24 = 2*g - z*b - b. Solve -2*t = -4*t - g for t.
-5
Suppose 5*r - 26 = -4*j, -j + 2 = -2*r + r. Suppose 3*x + x - 84 = 0. Let w = x - 16. Solve j = w*a - 6 for a.
2
Let h(k) = k**2 - 10*k + 27. Let t be h(4). Let j = -8 - -20. Suppose -3*o + 15 = -t*v + 2*o, -3*v + j = 4*o. Solve v = -y + 2 + 3 for y.
5
Suppose 0 = 2*p - 2*u - 82, -7*u - 102 = -2*p - 10*u. Solve 10*k + p = 5 for k.
-4
Let b = 93 - 83. Suppose -5*l + 15 = -b. Solve -l*w - 23 = 2 for w.
-5
Let j be (-5 + (-33)/(-9))*3/(-4). Suppose -q - 12 = -3*q. Solve -m = q - j for m.
-5
Let q(m) be the first derivative of -m**4/4 - m**3 - m**2 - 6*m - 10. Let a be q(-3). Solve a = 3*n - 0*n - 12 for n.
4
Let z = 491 + -487. Solve 2 = -z*o - 10 for o.
-3
Let n be 124/8 + 4/8. Let l be n + 4/(12/(-9)). Solve 5*x - 7 - l = 0 for x.
4
Let l(x) = x - 1. Let h(k) = 6*k + 2. Let i(u) = -1. Let y(f) = h(f) - 3*i(f). Let j(r) = 4*l(r) - y(r). Let w be j(-7). Solve -w*a + 3 = 13 for a.
-2
Suppose 0 = 3*i + i - 4. Let z be 4 - -3*i/(-3). Let r = z - -2. Solve -r*f = -f - 20 for f.
5
Let j(w) = w**3 + 4*w**2 - 4*w + 7. Let q be j(-5). Suppose 4*i = 2 + q. Let a be 28/15 - (-4)/30. Solve -a = -t - i for t.
1
Let x = 1866 - 1850. Solve -2*w = -6*w + x for w.
4
Let z = 48 + -3. Let w be (-94)/(-18) - 10/z. Let s = -3 + w. Solve -s = -0*j + j for j.
-2
Let b(d) = -2*d - 2. Let h be b(-3). Let i(q) = -q**2 + 5*q + 89. Let x be i(12). Solve 5*f - h*f = x for f.
5
Let k(g) = -12*g**3 - 3*g**2 - 5*g. Let c be k(-1). Solve -10*z = c + 36 for z.
-5
Let i be 0 + 1 + -1 - -3. Let d be 0*(-13 + (-106)/(-8)). Solve i + d = 3*p for p.
1
Suppose -44 = -7*w - 44. Solve 4*t + 16 = -w*t for t.
-4
Suppose -2*f + 4*f + m - 17 = 0, -2*m - 38 = -5*f. Solve f*j - 15 = 3*j for j.
3
Suppose -9*x + 868 = 823. Solve x*v - 28 = -13 for v.
3
Let j(a) = 2*a + 44. Suppose 0 = -8*q - 76 - 92. Let l be j(q). Solve -u + 9 = l*u for u.
3
Suppose -19 = 3*m - 34. Solve -m*b - 20 = -9*b for b.
5
Let h = -48 - 109. Let s = 157 + h. Solve -5*n + 0*n = s for n.
0
Suppose 146 = h - w + 4*w, 3*h - 477 = 4*w. Let x = 159 - h. Solve 4*n + x - 12 = 0 for n.
2
Suppose -271*t = -276*t. Solve -3*p - 5 + 17 = t for p.
4
Let w(f) = -f**3 + 58*f**2 + 56*f + 181. Let j be w(59). Solve -16 = j*k - 32 for k.
4
Let f(m) = -m + 3. Let j be f(11). Let l be (-2 + 0)/(4/j) - -1. Solve 10 + l = -5*t for t.
-3
Let r = 6 + -3. Suppose -5*g + 23 = r. Let d = 283 - 270. Solve 1 - d = -g*j for j.
3
Let x be 2/(-17) + (-9185)/(-187). Let w = x - 47. Solve i + i = w for i.
1
Let s be 34/(-51) - (-14)/3. Let o(f) = -f + 9. Let l be o(s). Solve -l*c + 0*c = -20 for c.
4
Let a = 262 - 262. Solve w + 2 + 1 = a for w.
-3
Suppose y - 4*u + 77 = 0, -3*y + 84 = -4*y - 3*u. Let i = -79 - y. Solve 1 = -i*h - 9 for h.
-5
Let f be (-9)/3 + 2 - 3/(-1). Solve 3 = -f*a + 11 for a.
4
Let f(g) = 9*g**2 - 1. Let l be f(2). Let y be (-1)/2 - l/(-10). Let t = y - -3. Solve -o - o + t = 0 for o.
3
Let p be (-19)/2 + 1 - 7/(-14). Let s be p - -14 - (-4)/(-2). Solve -s*h = -0*h + 16 for h.
-4
Suppose 3*l - 65 = -5*u, -4*l - 2*u - 100 = -7*l. Let z = l - 28. Solve -3*a = z*a for a.
0
Suppose 3*k + 235 = r + r, 5*r + 2*k = 540. Let y = r + -107. Solve -s = -2*s + y for s.
3
Let v = 1072 - 1059. Solve -6*d = -5 - v for d.
3
Let t be (-3)/((-105)/10) + 44/(-7). Let w be (t + -5 + 6)/(-1). Let j(u) = -u**2 - 6*u - 1. Let l be j(-5). Solve 0 = -l*f + 5*f - w for f.
5
Let n = 254 + -246. Solve 0 = -p - 9 + n for p.
-1
Let h(v) = 3*v**3 - 3*v**2 + 4*v - 8. Let b be h(2). Solve -b = -12*j + 9*j for j.
4
Let q(c) = 10*c**2 + 44*c + 44. Let w be q(-1). Solve -w*n = -4*n - 24 for n.
4
Let q be (-1056)/(-12) - (2 - -2). Let i be q/39 - 4/26. Solve -2*f = i + 2 for f.
-2
Let k = 2438 - 2427. Solve 0*u - k*u - 22 = 0 for u.
-2
Suppose -j - 3 = 2*p + 2, p - 20 = -5*j. Suppose -5*q + 0*g = 4*g - 55, 3*g = -j*q + 60. Suppose -5 = -5*h + q. Solve 0 = h*l + 2 - 10 for l.
2
Let v be -4*-3*(-3)/(-36). Suppose 5*s - 16 = -v. Solve u = -s*u - 4 for u.
-1
Suppose m = 3*m - 6. Let j(l) = l**3 - 5*l + 3. Let v be j(m). Suppose -5*y + 4*d = -20, 3*d - 6*d = 4*y + v. Solve 2*i - 7*i = y for i.
0
Suppose -6*d + 2*d + 32 = 0. Suppose -2*k - 4*s - d = 0, -5*k - s = 3*s - 10. Suppose 2*p = k*p. Solve p*z - 2 = z for z.
-2
Let q be 12*(10/(-4))/(18/(-12)). Suppose -b - 4*f = -2, 0 = 3*b - 6*b + 2*f + q. Solve 1 = x + b for x.
-5
Let s = -35 - -15. Let k(d) = 2*d**3 + 2*d**2 - d. Let f be k(2). Let z = s + f. Solve 0 = z*c - c for c.
0
Let c be 8 + -3 + (-7)/(-7). Solve -c*i + i = 0 for i.
0
Let o be (45/(-18))/((-5)/4). Suppose 3*w - 23 = -o. Suppose 2*t - w + 1 = 0. Solve t + 5 = -2*r for r.
-4
Let o be 2 - (-35)/(-25) - (-4)/10. Let p be (-3)/(-6)*-4 - 10. Let a = p + 15. Solve a = f - o f