
Let m(l) = 2*l**2 - 73*l - 34. Let g be m(37). Solve q = -3*o + 16 - 7, 0 = -o + g for q.
0
Let l(k) be the first derivative of -k**3/3 + 11*k**2/2 + 12*k + 1. Let p be 9 + 3/9*1*9. Let r be l(p). Solve r = -y + 4*j + 12, 3*y - 2*j + 3 + 1 = 0 for y.
-4
Let k be 8/68 - 2/17. Suppose k = -5*z + 4*z. Suppose -3*f - f + 12 = z. Solve -d + c = 2*c - 1, f*d + 2*c = 6 for d.
4
Let x(n) = n**2 + 24*n + 138. Let u be x(-15). Solve u*c = -4*d + 3, 3*d - 7*d - 1 = -c for d.
0
Suppose 9*p = -4*p + 78. Solve p = 4*k - 4*j - 10, 0 = k - 3*j - 4 for k.
4
Let j(k) be the first derivative of 2*k**3/3 + 2*k**2 - 17*k - 1. Let y be j(-5). Solve 3*t - b + 6*b = -y, 6 = -4*t - b for t.
-1
Let x = -79 - -15. Let d = -61 - x. Solve d*z = s + 3, -16 = -5*z - s - 3 for z.
2
Suppose 5*k + 3*a = 17, 3*k = -a + 4 + 3. Let n(v) = -16*v**3 - v**2. Let x be n(-1). Solve -3*m = 5*d - k, -2*d = -5*m + 3*d + x for m.
2
Let t = 9 - 7. Solve 0 = 3*p + t*g - g - 8, -g + 6 = p for p.
1
Let y = 11 + -7. Suppose y*q - 81 = q. Solve 0 = 5*m - 4*c - 13 - q, 2*c - 10 = -5*m for m.
4
Let y(c) = -30*c + 9. Let a be y(-2). Let x = 73 - a. Solve -2*h - 4 + 0 = 0, 16 = -2*n - x*h for n.
-4
Let q be 674/(-10) + (-18)/30. Let h = -66 - q. Solve -3*x = h*a, 5*a = -x - x for x.
0
Suppose 0 = 413*t - 404*t - 36. Solve 4*x - 1 = 5*u, 2*x + 11 = u + t*x for u.
3
Suppose 66*c - 88*c + 88 = 0. Solve 5*y = p + 7, 7*y + 6 = 4*p + c*y for p.
3
Suppose 5*p - 33 = 77. Let a = 12 + -10. Let w(t) = -t**3 + 3*t**2 - 1. Let g be w(a). Solve -2*v = -n - g*n + p, -n + 13 = -2*v for v.
-5
Suppose 2*m + 1 = -d, -15 = -d + 2*m - 4. Solve 2*i = -i + d*x + 7, 0 = -4*x + 4 for i.
4
Let x = -17 - -25. Suppose n = -2*j + 15, -j - 30 = -2*j + 4*n. Let g = j - x. Solve -5*c + 20 = -k, -c - g*k - 16 = -5*c for c.
4
Suppose -8*y - 48 = -5*x, 3*y = -7*x + 8*x + 3. Let s(i) = -i**2 - 5*i. Let o be s(-4). Solve 4*j + x - 6 = -2*g, -o*g - 3*j - 16 = 0 for g.
-1
Let f be (-1*34)/(6 - 3 - 5). Suppose -f = -4*x - 9. Solve -5*c + 0*m = -m + 8, -3*c + x*m = 2 for c.
-2
Suppose 5*o - 13 = -33. Let r be 2/6 + o/12. Suppose r = -b + 3*g + 17, -4*g = 4*b - 3*g - 55. Solve 5*h = 2*k - 0*k - 17, k + b = -5*h for k.
1
Let t(x) = 3*x**2 - 2*x + 3. Let h be t(1). Solve 3*d - 3*c = -15, 5*c = -h*d + 12 - 5 for d.
-2
Suppose 0 = -2*k - 2 + 6. Suppose 2*u - 8 = k*q, q + 8 + 12 = 5*u. Solve 5*l + 5*a + 5 = q, l - 2*a = -2*l + 17 for l.
3
Let q(f) be the first derivative of 4 + 9*f - 1/2*f**2. Let u be q(9). Solve 0 = 2*a - u - 2, 2*a - 14 = 3*b for b.
-4
Let t = 2 + 0. Suppose 3*g = g + 8*g. Suppose g = 5*c + 4*x - 36, -c - c - 5*x = -11. Solve t*v - 2*z + 2 = -z, -2*z = 2*v + c for v.
-2
Suppose 3*k - k = -3*x + 101, 2*k = -4*x + 136. Let j = x + -9. Let q(g) = 4*g - 3. Let y be q(2). Solve 2 = 5*f + u + u, 3*f - y*u - j = 0 for f.
2
Let g be (-3)/((-81)/48) + (-12)/(-54). Suppose 3*m = g*p + 2 + 2, 4*m - 4*p = 0. Solve 0 = m*l - r - 7, 2 = -4*l - 0*l - 2*r for l.
1
Let j(v) = 2*v**3 - 16*v**2 + 2*v - 16. Let b be j(8). Solve -3*y - 6*g = -g - 8, y - 3*g + 2 = b for y.
1
Let c = 465 + -465. Solve -4*k - 2*w + 6 = c, 3*w + w = k + 12 for k.
0
Suppose -2*y - 58 = -4*l, 80 = 5*l + y - 5*y. Suppose t - l = -2*h, -3*t - 4*h + 57 = 23. Suppose -8*i + 3*i = -t. Solve i*x + 1 = w - 0*x, -6 = -3*x for w.
5
Let x be (-1)/(-2*(-4)/(-24)). Suppose x*g + 3*f = g + 19, 5*g - 4*f = -10. Solve 6 - 2 = 2*j - g*t, -j + 2*t = -7 for j.
-3
Let a(r) = -3*r - 2. Let o be a(-9). Let n be 1/(-4) - 9/(-4). Solve -4*s = -n*y - 1 + o, -16 = 4*s for y.
4
Let c be (-4)/10*10 - -7. Solve y - 2 = 3*b - 9, -c*b + 17 = 4*y for b.
3
Let u(w) = -2*w + 5. Suppose 4*n = -4*p - 12, 29 - 8 = 3*n - 3*p. Suppose d = -n*d. Let q be u(d). Solve -5*g = -5*h - 0*h + 20, 4*g + q*h = 29 for g.
1
Let j(q) = 2*q**2 - 8*q - 150. Let x be j(11). Solve x*n + 2*r + 3 = 15, r + 1 = 5*n for n.
1
Suppose 0 = 5*p - 0*y + 3*y - 4, 5*p - 2 = -4*y. Let k be 4/(-10) - (-34)/10. Suppose w - 14 = 4*u, -k*w + p + 1 = u. Solve 18 = 5*c + 4*i, -2*i + w = -i for c.
2
Suppose 49*y = -3*y + 156. Solve j - 19 = y*a, -4*a - 28 = -4*j + 8 for a.
-5
Suppose -3*r - u = -2*r - 8, -3*r + 32 = 5*u. Solve 0 = -5*n + 2*d + r, -4*n - 4*d - 8 = 0 for n.
0
Let a(c) = -c**2 + 10*c + 4. Let i = -7 + 27. Suppose -g - g + i = 0. Let q be a(g). Solve -3*y - 5 = f, 3*f - q*y - y = 27 for f.
4
Let u = -378 + 379. Solve -5*g - 10 = 5*l, -3*g - l + 3 + u = 0 for g.
3
Let w be 21/14*(-8)/6. Let i(k) = k + 4. Let v be i(w). Suppose -3*g - v*d + 3 = 0, 2*d + 11 - 2 = g. Solve 3*s + 4*q + 29 = 0, -1 = -3*s + g*q + 5 for s.
-3
Let h = -390 - -392. Solve -3*q - 22 = -4*n, -3*q - h*n + 6 = n for q.
-2
Let q be -3*((-46)/18)/(4/(-24)). Let v = q + 58. Solve 4*h - v = -4*w, 0*w + 6 = h + 2*w for h.
0
Suppose 21 = t - 19. Suppose -2*s + t = 3*s. Let k be (-10)/(-4)*s/10. Solve k*m + o = -8 - 7, -5 = -3*m + 4*o for m.
-5
Suppose -2*s = 1 + 25. Let o = -10 - s. Solve f - 4 = a, -4*f + o*a + 9 = -6 for f.
3
Suppose 0 = -63*h + 65*h - 4. Solve 0 = 4*q - h*a - 22, -3*a - 25 = 3*q - 7*q for q.
4
Let t = 1565 + -1558. Solve -2*l + 11 = -x, 0 = -x - 4*l - 0*l + t for x.
-5
Let j = -4262 - -4266. Let k(n) = -n**3 - 2*n**2 + 1. Let w be k(-3). Suppose 0 = 5*g - x + 3 + 2, 0 = 2*x - w. Solve 3 = -s + d - g, j*s = -5*d + 24 for s.
1
Let i be 10/(-3 - (3 + -7)). Let f(o) = 4*o - 34. Let b be f(i). Solve -b*s - 2*k = -s - 18, -s + k = 2 for s.
2
Let w(b) = b**3 - 11*b**2 - 18*b + 75. Let p be w(12). Solve -p*v = -3*f - 6 + 15, 2*v + 10 = 4*f for v.
-1
Suppose f = 5*w - 55, f = 5*w - 3*f - 55. Let c be 1*(12/4 - 2). Suppose w = 2*k + c. Solve 2*h - 18 = -5*u + k, -4*h = 4*u - 28 for u.
3
Suppose 0 = -7*g + 5*g + 10, 3*g - 17 = -v. Solve -4*x - 8 = 0, -2*u + v*x + 0*x + 4 = 0 for u.
0
Let q = 26 - -99. Let d = 126 - q. Solve 0 = 5*g + 2*i - d, -5*i + 9 = 2*g - 4 for g.
-1
Let r = 45 + -43. Suppose -3*v + r*q + 60 = -14, -q = 4*v - 95. Solve -2*c + 6 + 8 = -2*f, 0 = 2*c - 4*f - v for c.
2
Let s(p) = 169*p + 523. Let r be s(-3). Let q be 32/14 + 2/(-7). Let u be ((-6)/4)/(q/(-4)). Solve -3*i - o = -r, 0 = -2*o - o + u for i.
5
Let k = -17 + 4. Let j = -8 - k. Suppose -d + 2*d = j. Solve 2 = -4*s + d*p, 19 = -2*s - s - 5*p for s.
-3
Suppose 30 = 6*k - k. Suppose 0 = -s - 4*v + 19, v - k = 2*s - s. Let f(m) = 5*m**2 - 2*m - 2. Let l be f(s). Solve -5*q + 11 = -i, 3*q + l*i - 26 = 3 for q.
3
Let r be (16/18)/((-14)/(-63)). Solve 4*p - 3*p - 3 = 0, -3*f + r*p - 24 = 0 for f.
-4
Let s = 23 - 22. Suppose -3 = -t - s. Solve t*x + 5*w + 6 = -13, -x - 14 = 4*w for x.
-2
Suppose -10*h + 80 = -8*h. Let a be 6/16 + 2505/h. Suppose 2*g - a = -g. Solve -2*o - g = -3*m - 2*m, -m + 3 = -o for o.
2
Suppose -4 = -4*l + 4. Suppose 5*r = 2*r + 9, -l*n + 4*r - 2 = 0. Solve 0 = 3*v + i - n, 3*v = 4*i + 1 + 9 for v.
2
Let g(s) = -s. Let y be g(0). Solve -5*t + 0*t - 15 = 2*v, t + 3 = y for v.
0
Let m be (-12)/(3 - 7) - 0. Solve 3*r + 3 = -5*o, -4*o = 4*r + m + 1 for o.
0
Let x = -13 + 23. Suppose 0 = 2*m + 5*v + 2 - x, 3*v = m - 4. Solve -4*g + 3*i + 20 = 7*i, -m*i + 8 = g for g.
4
Suppose -3*j + 4*j - 2 = 0. Solve -j*x + 3*c = 21, -4*x + 4*c - 37 = -c for x.
-3
Suppose 3*l - x = 13, -4*x = -3*x + 4. Solve -l*w + 2*g = -3*g + 6, 2*w - 4*g = -6 for w.
3
Let i be 10/(-4)*16/(-10). Let g be ((-28)/(-1))/4 + i/(-1). Solve 3*l + 1 + 17 = -g*q, -q = -5*l - 6 for q.
-4
Suppose g - h = -2, -5 = -2*h - 1. Let r = g - -3. Solve 3*k + 0*k - q - 10 = 0, -22 = -4*k - r*q for k.
4
Suppose -t - t = 5*a + 8, -4*a - 5*t - 20 = 0. Let u(k) = k**2 - k - 6. Let x be u(a). Let h be 1/3 - 22/x. Solve 0 = -h*l + 8, -11 = -3*p - 2*l + 5 for p.
4
Let k(n) = 2*n - 36. Let s be k(0). Let x be (-8)/s - (-86)/18. Solve -5*c = 4*z - x, 0 = 3*z - c + 23 - 3 for z.
-5
Suppose 0 = x + t - 10, x + 6 = -9*t + 12*t. Solve -4*d + 5*n - x = 0, 5*n - 11 = -3*d + 2 for d.
1
Suppose -37 = -36*s + 107. Solve 5*l + b = l - 1, -l = s*b - 11 for l.
-1
Let s(d) = d**3 - 14*d**2 + 15*d - 22. Let c be s(13). Solve z + 0*z = 4*t, 4*t - c*z = 0 for t.
0
Suppose -i = 2*i - 12. Let a = 384 - 363. Solve l - 10 = i*x, -a = 3*x - 5*l - 5 for x.
-2
Suppose 5*i - 286 + 51 = 0. Suppose 4*k = -23 + i. Solve -4*y + 5 = 5*u, -3*u - 4*y - k = -1 for u.
5
Let t be ((-6)/(-1))/(16/(-8)). Let i be 4 + -1 + t + 2. Let g be 8/6 + (-1)/3. So