2 - 15*m - 23. Let h be y(-13). Let g = 3 - h. Solve g = 4*c + c for c.
0
Suppose -5*y + t = 1, 0*y + 3 = -3*y + 3*t. Solve 0 = -y*f - f - 1 for f.
-1
Let b(i) = -1. Let z(o) = -o + 13. Let r(k) = 6*b(k) + z(k). Let j be r(0). Suppose 10*t = j*t + 15. Solve 0*c = t*c + 25 for c.
-5
Suppose -89*r + 93*r = 60. Solve o + r = -2*o for o.
-5
Suppose 2*x = d + 4, 5*d + 8 = -2*x - 0*d. Solve 85*t - 86*t = x for t.
-1
Let w(s) = 5*s - 45. Let v be w(-14). Let m = -113 - v. Solve -3*k + 10 = m*k for k.
2
Let s(r) = 2*r**2 - 4*r + 6. Let l be s(0). Solve 7*c - 5*c - l = 0 for c.
3
Let s(h) = -h**2 - 10*h - 2. Let l be s(-9). Suppose 0 = l*b - 5*b. Suppose b = j - 6*j - 3*p + 10, 5 = -j - 2*p. Solve 3 + 2 = j*y for y.
1
Suppose d + 3*z = 13, 3*d = 2*d + 3*z - 11. Suppose 0 = -4*v + 5*p - 3, -4*v + 18 = 94*p - 92*p. Solve 2 = -v*w - d for w.
-1
Let a(t) = -t**2 + t + 2. Let z = -17 + 17. Let y be a(z). Suppose y = -o + 5. Solve c = -o*c for c.
0
Suppose 4*f = f + 18. Suppose -9*l + 6 = -7*l, 5*y + 4*l = 12. Solve y = u - f*u for u.
0
Let g be (10 - 80/8)/(-1 - -8). Suppose 10 + 6 = 4*w. Solve g = w*a + a - 10 for a.
2
Suppose 2*h - 17 = -3*g, 2*h - 19 = -2*g - 7. Solve -h + 9 = 4*q for q.
2
Let g be (1 - 0)/(1*2/8). Solve -g*y - 8 - 12 = 0 for y.
-5
Suppose -d = y - 0*y - 1, -8 = 2*y + 4*d. Solve 0 = y*g + 7 + 23 for g.
-5
Let t(s) = s**3 - 2*s**2 - 3*s - 1. Let z be t(3). Let f = 1 + z. Let g = 58035 + -58026. Solve a + 2*a - g = f for a.
3
Let r = -706 + 706. Solve r = -123*k + 126*k - 3 for k.
1
Let z = 13 + -25. Let x be 15/20 - 3/z. Solve i + 2 = x for i.
-1
Let r(l) = l**3 + 13*l**2 - 2. Let v be r(-13). Let y be (v - 10/(-5))/3. Solve -2*n + y = -6 for n.
3
Suppose 2*w = 8 - 14, 60 = 4*v - 4*w. Suppose 0 = -0*x - x + v. Suppose 7*l - 4*l = 0. Solve -3*q + 0*q - x = l for q.
-4
Let w be (-1)/(-4)*-1*-52. Suppose 2*q + 5 = w. Let s be (q/12*9)/1. Solve -l + 4 = -s*l for l.
-2
Let r = 97 - 92. Let t(x) = -12*x**3 + x. Let q be t(-1). Solve q = r*c + 1 for c.
2
Let f be 79/2 - (-6)/12. Suppose 0 = -c + 13 - 5. Suppose 0*o = -c*o + f. Solve g = o*g for g.
0
Let z(d) = -4*d - 29. Let r be z(-8). Suppose 3*o - r = -3*m, -2*o - 19 = -4*m - 3*o. Solve m*u + 15 = u for u.
-3
Let l be (-1 + 0)/((-7)/21). Solve -l*q + 4*q = 5 for q.
5
Let u = -3 - 2. Let o = 5 + u. Suppose o = 2*h + 2, 4*d + 5 = 5*d - 3*h. Solve -d*w + 16 = 2*w for w.
4
Let d(x) = -3*x + 9. Let z be d(3). Suppose 12 = 3*j, -g - 3*j + 2*j + 7 = z. Solve 0 = g*u + 4 - 16 for u.
4
Suppose 8*w - 12 = 5*w. Let v be w + -8 - -29*1. Suppose 3*t = 2*t + 10. Solve t*j + v = 5*j for j.
-5
Suppose 279 + 101 = -4*j. Let l = j + 97. Solve b + 0 = -l for b.
-2
Suppose 6 = 10*x - 7*x. Let u(n) = n**2 + 3*n + 2. Let h be u(-3). Solve d - h = x*d for d.
-2
Suppose 27 = -0*q + 9*q. Solve -4 = q*o - 16 for o.
4
Let g be (-12)/(-8) + 2/4. Suppose -k + 1 = -2*h, -k = h - 0*h - 10. Solve -5 = -k*q + g*q for q.
1
Suppose -9*t - 164 = -5*t. Let q = 48 + t. Solve -4*m - q = -19 for m.
3
Let n(z) = -z**3 + 14*z**2 - z + 18. Let s be n(14). Suppose -6*r = -s*r. Suppose 3*j + r*j - 3*a = 0, -4*j - 3*a = 0. Solve 0 = -c - j*c + 5 for c.
5
Suppose -6*t + 4*t = -6. Suppose 6*n = 7*n - 15. Let o = n + -12. Solve 0 = -0*v - t*v - o for v.
-1
Suppose 0 = -2*p - 6 - 4, -3*q = 4*p - 1. Suppose 0 = q*v - 3*v - 44. Let h = v + -1. Solve -6 = -4*b + h for b.
4
Let t(q) = -q**3 - 33*q**2 - 2*q - 16. Let m be t(-33). Solve 5*l - m = -55 for l.
-1
Let t(s) = -71*s + 71. Let j be t(1). Let m(f) = -f**2 + 8*f - 2. Let d(z) = -z + 12. Let v be d(5). Let a be m(v). Solve j = l + a - 1 for l.
-4
Let x(o) = -o**3 - 6*o**2 - 9*o - 1. Let u be x(-2). Suppose 4 = -2*d, 5*d - 12 = -5*y + d. Suppose y + 0 = 2*p. Solve -u + p = r for r.
1
Let l(a) = a**3 + 14*a**2 - 13*a + 34. Let m be l(-15). Let c be 1*10/(1/(-1)). Let r be 0/(-1) - 1*c. Solve -r = m*x - 2*x for x.
-5
Suppose -4*b - u - 39 = -5*b, b - 42 = -2*u. Suppose -3*i = 5*x - 40, -4*x + 5*i - b = -9*x. Solve 2 - x = 3*y for y.
-2
Let o = 198 - 102. Suppose -2*u + o = 2*u. Suppose a = -a + u. Solve -a = 3*t + 3 for t.
-5
Let h = -637 - -640. Solve 0 = h*r + 118 - 130 for r.
4
Let j(z) = 4*z**3 + z**2 + 32*z - 69. Let r be j(2). Solve -5*o - r = -11 for o.
-4
Suppose 5*y + 0*y = 10. Let g(c) = 15*c + 1. Let v be g(1). Suppose -v = -r - 3*r. Solve 2*x + r = -y for x.
-3
Suppose -2*w + 5*m = m - 22, 0 = 4*w + 3*m. Suppose 0 = w*x - 5*o + 3*o - 23, -2*x + 2*o + 18 = 0. Suppose 23 = x*f - 17. Solve -18 = -2*k - f for k.
5
Let u be (-462)/(-35) - 3/(90/6). Solve -u = 2*i - 5 for i.
-4
Suppose 0 = -5*m + 2*v + 104, 0 = 7*m - 3*m + v - 78. Suppose -2*q + 22 = -m. Solve 3*o - q = -9 for o.
4
Suppose 3*l + 3 = -2*n, 4*n - 2 = -l + 7. Let w(s) = -s**3 - 4*s**2 + s + 4. Let a be w(-4). Solve a = -6*h + n*h + 3 for h.
1
Let c(q) = -4*q**2 - 30*q + 44. Let d be c(-8). Solve 0 = 3*t - 28 + d for t.
0
Let o(f) be the second derivative of -f**3/3 + 13*f**2/2 - 13*f. Let u be o(6). Let i(n) = -n**2 - 14*n - 11. Let s be i(-13). Solve -s - u = -b for b.
3
Let h = 7 - 5. Let u(g) = 7*g + 4. Let f be u(3). Suppose -11*b = -16*b + f. Solve -b*d - h = 8 for d.
-2
Suppose 8*a - 2*a - 12 = 0. Suppose 4*o - 18 = a. Solve o = 2*i - 1 for i.
3
Let n be -2 + -3 + 2 - (-2)/2. Let l be 0 + (2 + n)*(-5)/(-15). Solve -2*p + 2 + l = 0 for p.
1
Suppose -4*k - 35 = -51. Suppose -4*d = -5*d - q, 0 = -k*d + q. Solve d = -g + 10 - 5 for g.
5
Let j be 185/(-25) - 3/5. Let m = j + 14. Solve 0 = -5*u - m - 4 for u.
-2
Suppose -376 - 200 = -6*f. Suppose 3*i + 2*u = -i + f, 0 = -u - 2. Solve -3*d = -8*d + i for d.
5
Let t be 3/(-4) + 156/16. Suppose -t = -o - 4. Solve -4*j = 7 + o for j.
-3
Let m be -5 + (-3 - (-2 + 0 - 2)). Let t = 5 + m. Solve -5*a - 16 = -t for a.
-3
Let j be (1/2)/(-1 - (-45)/42). Suppose -j*t = -10*t + 12. Solve -t*u + 31 = 11 for u.
5
Let p be (-8)/(-6)*54/(-12). Let u be 1 - p - 2 - 1. Suppose 0 = m + m + u*b - 30, 5*b = 25. Solve -2 = m*q - 17 for q.
3
Let i(q) = -4*q - 10. Let d be i(-3). Suppose 0*c = d*c + 3*s - 9, -8 = -4*c + 4*s. Solve -b - 12 = c*b for b.
-3
Let v = 8 + 4. Let f be v/18 - (-4)/(-6). Suppose 2*r - 4*r = f. Solve -2*m + 4*m + 8 = r for m.
-4
Suppose -8 = -4*u - 0*u. Suppose u*s - 33 = 2*x + 5*s, 5*x + 3*s + 96 = 0. Let o be (-90)/x - (-4)/(-14). Solve o*j = j + 3 for j.
1
Let p(z) = z**2 + 15*z + 17. Let s be p(-14). Suppose 5*o + 8 = 2*o - 4*f, s*f = -15. Suppose -o*h = 5*g + 12, 2*g + 12 - 4 = 0. Solve -4*i - h - 18 = 0 for i.
-5
Suppose 4*i = 8*i - 12. Let a(u) = u**3 - 4*u**2 + 4*u. Let b be a(i). Suppose b*x = 6*x - 6. Solve l + l = -x for l.
-1
Suppose -2*a + 311 - 311 = 0. Let o be 2 - -1 - (-2 + 0). Suppose -4*h + o + 7 = 0. Solve -9 = -a*t + h*t for t.
-3
Let d(z) = -z**3 + 8*z**2 - 6*z - 3. Let j be d(7). Suppose 3*l + 2 = j*l. Solve -6*p = -l*p - 4 for p.
1
Let i be 1/2 - (-1 - (-785)/(-10)). Suppose 9*g - 10 - i = 0. Solve 6*d = d + g for d.
2
Suppose -5*s + 2*r = -19, -r - 3 = -2*s + 5. Suppose 0 = 4*k - 8, -s*k = 3*v + 2*k - 10. Solve v*n + 15 = -3*n for n.
-5
Let h be 2 + -5*(12/20)/(-3). Suppose -3*y - t = -7, -h*y = -4*y - 2*t + 4. Solve -y*g - 4 = -0*g for g.
-2
Let c(n) = n + 6. Let r be c(2). Suppose r*s = 2*s + 24. Solve -3 = -v - s for v.
-1
Let r be 4/6 - (-16)/(-24). Suppose r = i + 2*h, 0 = 5*i + h - 6 - 3. Let t = 0 + i. Solve -6 = -t*q - 0*q for q.
3
Let p be -4*2/(-24)*6. Solve -6*f = p*f - 16 for f.
2
Let v = 233 - 222. Solve 23 + 10 = v*l for l.
3
Suppose 0 = -5*t - 4 + 9, -4*t = -k - 2. Suppose 0 = k*y - 0*y - 3*y. Solve -3*f + 9 = -y*f for f.
3
Let i = -37 - -41. Let f be 8/(-12)*(-24)/i. Solve -6 = -2*b + f for b.
5
Suppose 3*p - 226 = -4*s, 10 = 4*s - 6. Let k be p/30 + 1/(-3). Solve m - k*m = 0 for m.
0
Let c = 1770 - 1767. Suppose 7 = u + 4*g + 1, 0 = 5*u - 2*g - 8. Solve -c*i - 17 = -u for i.
-5
Let z = -13 - -26. Let q = z + -10. Solve -c - 4 + q = 0 for c.
-1
Let v be 1 + (2/2 - 6). Let i = -28 + 27. Let r = i - v. Solve -2*d = -d + r for d.
-3
Let n(b) be the first derivative of -b**2/2 + 13*b + 3. Suppose -8 - 7 = -5*i, -2*i = -3*r + 27. Let j be n(r). Solve 3*y = -j*y for y.
0
Suppose -27*u = -18*u - 36. Solve -p = -u*p + 9 for p.
3
Suppose 0 = -3*p + 3*k + 18, k = -2*p + 7*p - 18. Suppose -2*v = -t + 16, p*t + 3*v - 26 = 4. Solve 3*q + q +