s*a, -18 = -2*l + 4*a + t for l.
2
Let l(i) = i + 3*i - 6*i**2 - 2 - 3*i**2 + 8*i**2. Let y be l(3). Let m(j) = -j + 2. Let a be m(0). Solve 3*n - y + 3 = 5*x, 2 = -a*n + 3*x for n.
-4
Let x be (10 + (-6)/3)*1. Suppose 3*c + c = x. Solve 4*f + c*b + 6 = b, 5*f + 4*b = -13 for f.
-1
Let d(y) be the second derivative of y**5/20 + 7*y**4/12 + y**2 + y. Suppose -s - 3 - 4 = 0. Let l be d(s). Solve 5*x - 18 = -l*u, -u + 4*u - 9 = -3*x for u.
-1
Let s be 8/4 + -3 + 14. Solve 0*f - f = -3*t - s, -t - 3 = 0 for f.
4
Suppose -2 = 4*t + 2*d - 0, 4*t - 2*d - 18 = 0. Let g be (-1 - (t - 7)) + 0. Solve -10 = -2*h + 2*s, -5*s = -g*h - 10*s - 16 for h.
1
Suppose -2*a = 3*a - 30. Let y be (5/a)/(8/48). Solve -3*u = y*j - 17, j = 5*j - 4 for u.
4
Let h(l) = 2*l**3 - 2*l**2 + 1. Let g = 6 + -5. Let r be h(g). Solve 2*j = -2*v, 4*j + r = 3*j - 2*v for j.
1
Let b(z) = -2*z**3 + 6*z**2 - z - 4. Let n be b(2). Solve 5*j - 4*l + n = 0, 5*l = -7*j + 4*j - 16 for j.
-2
Suppose 3*m + 0*g = -2*g + 7, 5*m = g + 16. Suppose m*c + 2*z + 0 = 19, 0 = -5*c - 3*z + 30. Solve 2*w - 4 = h, 0*h - c*h = -w + 2 for h.
0
Suppose -2*o - 4 = -10. Let t be (54/13 - -1) + 2/(-13). Solve -t*y = 4*z - 41, -6*z + o*y - 3 = -3*z for z.
4
Suppose 4*c - 15 = 3*v, v + 3 = -2*v. Let t be (c/(-6))/((-2)/4). Let f(q) = -q**2 + 7*q + 10. Let m be f(8). Solve -2*o - 6 = m*p, o = 5*p + t + 2 for o.
-2
Let d = -23 + 31. Solve 4*k + 4*a + d = 0, 0*a = 2*a + 8 for k.
2
Let y(g) = -g**2 - 27*g - 154. Let d be y(-10). Suppose -a + 5*h = 18, 0 = 5*a + 2*h - 5*h + 2. Solve -a*p + 2*w = -0*w + d, -5 = -w for p.
-3
Suppose 20 = 4*p - 5*g, -2*g - 20 = -4*p - 0*g. Suppose 5*f + 4 + 31 = 5*l, 5*l + 2*f = 21. Solve -l*w - 20 = -p*m, -m = -10*w + 5*w - 24 for w.
-5
Let r(n) = n**3 - 18*n**2 + 15*n + 37. Let k be r(17). Solve 5*m = 2*i - 17, 5*m + 12 = -k for i.
1
Suppose -2*x = 2*x. Suppose x = -3*p + 6*p. Let d = 12 - 7. Solve -4*y - j - 15 = p, -y = -2*y - 2*j + d for y.
-5
Suppose -g = -5 + 3. Let l be 27/5 - g/5. Suppose 10 = l*w - w + 5*j, 4*j - 8 = -5*w. Solve c - 4*b = -c, w = 5*b for c.
0
Suppose 0 = -t - 0*t + 29. Suppose 2*f - 4 = 0, t = 6*w - w + 2*f. Suppose -3*o - 2 = -8. Solve o*u + w = -3*k, 3*k - 15 = -5*u - 5 for u.
5
Let a be ((-2)/(-4))/(3/96). Suppose -x + a = 3*x. Suppose -2*p = 4*t - 14, 0 = 5*p - x - 11. Solve 3*f + 9 = 2*k, -t*f = 5*k - 4*k - 1 for k.
3
Let k be ((-15)/10)/(6/(-8)). Suppose 4*b + 4 = 4*u, -20 = -k*u - 4*b + 12. Let t be 2*3/u*3. Solve 0 = t*q - 2*d + 3, 0*d = -3*q + d - 3 for q.
-1
Suppose -4*u + 10 = -9*u. Let j be (u - -20) + 0/2. Solve 2*o - 3*b - j = 0, -5*o - 3*b - 2 = -5 for o.
3
Suppose 0 = -5*h + 2*r + 127, 2*h + 3*h - 3*r = 123. Solve b = -3, 0*m + 5*b + h = -4*m for m.
-3
Let i(f) = f - 1. Let v(u) = 9*u**2. Let w be v(1). Let y = -5 + w. Let h be i(y). Solve q + 7 = j - 2*q, h*q + 27 = -3*j for j.
-5
Suppose v + 2*v = 12. Let r = 42 + -40. Solve r*o + 3 = -c + 2*c, 0 = v*c - 20 for o.
1
Suppose -4*h = -h. Let t(u) = u**3 - u + 5. Let b be t(h). Solve b*f = 5*p - 35, -2*p + 4*f = -10 - 14 for p.
2
Let y = 36 - 31. Solve -y*p = -2*q - 2 + 7, -2*p - 3*q - 2 = 0 for p.
-1
Suppose 1 - 14 = -i - 2*h, h - 29 = -5*i. Let w = -3 + i. Solve -5*m = 2*b - 23, 2*m - w*b - 12 = -0*m for m.
5
Suppose 0 = 5*c - 6 + 1. Let k(u) = 5*u + c - 4 - 6 + u**2. Let y be k(-7). Solve 5*i - 3*p + 0*p = 22, y*i + 4*p = -6 for i.
2
Suppose 0 = -4*u - 8, -4*a + 40 = 3*u + u. Suppose -4*z = -4*t + a, -z = -3*t + 7 - 0. Solve -2*k + 8 = t*x, 2*k = -2*k + 4*x - 16 for k.
0
Let n(p) = 2*p**2 - 3*p - 4. Let q be 2 - (7 + -3)/(-4). Let f be n(q). Let h = 0 - -2. Solve 0 = -f*u - 0*u, -h*u - 3 = 3*t for t.
-1
Let g = -2 + 6. Suppose 5*u + m = -0*m + 6, -u + 2*m = -10. Suppose -b + 4*z - u = -0*z, 5*z = 5. Solve g = 5*f - 2*w, -b*f + 3*w = 2*w - 1 for f.
2
Let p be ((-1)/(-3))/(1/12). Suppose -u = -p*h + u + 12, u + 8 = 4*h. Let z(a) = 4*a**3 - 2*a + 1. Let o be z(h). Solve -2*b - x - o = 4, -14 = 5*b - x for b.
-3
Let d(n) = n**3 + 9*n**2 - 11*n - 7. Let w be d(-10). Let m(p) = p + 1. Let v be m(w). Solve -v*l + 16 = 4*t - 0*l, -l + 4 = -3*t for t.
0
Let w(f) = -7*f**3 + 3*f - 2. Let n be w(1). Let g = n + 10. Solve -6*i + g*d = -i - 14, -i = 2*d for i.
2
Let w be ((-2)/5)/((-1)/5). Let c = w - -1. Let t be 2/(3/(-6) - -1). Solve 2*j = 2*u - 12, 0 = -5*u - t*j + c - 18 for u.
1
Suppose -20 + 0 = -4*t. Solve c = t, -7*a + 4*a - 14 = -4*c for a.
2
Let j(b) = 4*b**3 - b**2 + 2*b - 1. Let m be j(1). Solve 3*h = 5*d - 18, 8 = 4*h + m*d - 0*d for h.
-1
Let n(c) = -2*c + 25. Let u be n(10). Solve 2*f + u*p = -17, -17 = 5*f + 5*p - p for f.
-1
Let t be (36/(-42))/(75/42 - 2). Solve -t*y = -4*d - 20, -3 = -0*d + 2*d + 5*y for d.
-4
Let w be 2/(-3) - 38/(-3). Solve 5*q - 4*f + f + 5 = 0, q + 2*f = w for q.
2
Let o = -50 - -50. Solve -4*z + 4*u + 63 - 27 = o, 2*z - 3 = -u for z.
4
Let j be 5 - 3*(-5)/(-3). Solve -4*t = -u - 15, j = 4*t - 0*t + u - 25 for t.
5
Let f be 1/2 + 1/(-2). Let k = 113 + -110. Solve -3*n + g - k*g - 1 = 0, -3*n - 4*g - 11 = f for n.
3
Suppose -3*d - 5*v = -v - 11, 7 = -4*d - v. Let r be 0*(14/4 + d). Solve 2*h - 2*b - 4 - 6 = r, 2*b = 3*h - 13 for h.
3
Let z(f) = -2*f - 11. Let c be z(-8). Let h be (c/10)/((-2)/(-20)). Solve 0 = h*j - 3*u - 32, u = -3*j + j + 4 for j.
4
Let o be 3*(-2)/6*-3. Suppose 5*p + 26 = 3*d, 2*p = -4*d + o*p + 12. Solve -i + 4*n + 12 = n, 4*i = d*n + 8 for i.
0
Let c be 9 + -2 + -3 - 1. Solve -2*x = 4*t - 12, 22 = 5*t - c for x.
-4
Let p(y) = -y**3 - 12*y**2 + 4. Let x be p(-12). Solve t + 4*a = -15, -x*a + 4 = 20 for t.
1
Let t(m) = 3*m**2 - 4*m + 1. Let s be t(2). Solve 3*g - s*g - 2*j = -12, -9 = g - 4*j for g.
3
Suppose q = 3*q. Let y(r) = -4 - 2 - 3 + q*r + r. Let c be y(9). Solve 0 = -5*x - l - 21, 13 = -x - c*l + 2*l for x.
-5
Suppose 5*l + 16 = i + l, 2*i - 32 = -4*l. Solve -5*h = 4*d + i - 5, -2*d = 5*h + 3 for h.
1
Suppose -4*h + 52 = -2*t, -5 = 3*t + 1. Suppose 6 = 2*v - 2. Suppose -s - v*a = -9, 2*a - h = -3*s + 5*a. Solve j + s = 0, 0*j = 3*l + j + 17 for l.
-4
Let l be 272/(-10) + 2/10. Let q be (-2)/9 + (-114)/l. Suppose -q = -4*g - 0. Solve 2*y - 8 = 2*b, -y + g = 6*b - 4*b for y.
3
Let w(p) = p**3 + 10*p**2 + p + 10. Let c be w(-10). Solve c = -3*d - d, 2*i + 2*d + 4 = 0 for i.
-2
Suppose -5*h = 2*w - 29, 0 = -3*h - h + 4*w + 12. Solve 2*t = h*n + 5, 0*n + 9 = -n + 2*t for n.
1
Suppose 3*x + 3 = 6*x, -4*n + 21 = -3*x. Suppose 2 + n = 2*d. Solve d*m + 10 = -2, s - 6 = m for s.
3
Suppose 2*c + 5 = b, 2*b - 6*b - 2*c = -20. Solve -3*l - 26 = -4*v - 0*l, -33 = -b*v + 4*l for v.
5
Let u(h) = h - 4. Let p be u(8). Let j = p + 1. Solve -3*o - j*y = 2*o - 15, 4*y + 33 = 5*o for o.
5
Suppose 2*l = 5*l - 42. Let q(n) = -n + 4. Let b be q(0). Suppose -3 = -b*g + 5. Solve -g*f - 5*p - l = 2*f, 5*f - 2*p + 1 = 0 for f.
-1
Let g be (17 - (0 - -2)) + 0. Solve 5*t + g = 0, -3*z + 3*t - 2 = -20 for z.
3
Let p be (-3 - -12)*(-20)/(-6). Solve 0 = -2*b - 4*k + 24, 5*b + 5*k - k = p for b.
2
Suppose 0 = i + 4*r - 11, 0 = 3*i - i - r - 4. Suppose -2*l + 13 = f, i*l = -2*f - 2*f + 22. Solve -17 = -3*b - c, 0 = -0*b - b + 2*c - l for b.
4
Suppose 5*f = f. Suppose -2*y - 3*y + 3*m = -53, -3*y - 4*m + 55 = f. Let d = y + -8. Solve 0*w = -4*w - j - 1, d*w - 4*j + 17 = 0 for w.
-1
Suppose 0 = i - 8. Solve -4*z - 2*j - i = -6*j, -2*z - 3*j + 6 = 0 for z.
0
Suppose 2 = w - 0. Let z = 6 + w. Suppose 0 = -d + z. Solve -17 = -t + 4*p + d, 0 = -t + 5*p + 30 for t.
5
Let l(x) = x**2 + 7*x. Let h be l(-6). Let g(b) = 3 + b - 2 + b**3 + b + 7*b**2. Let t be g(h). Solve 5 = 5*r, -5*f - 3*r + 3 = t for f.
-5
Suppose 0 = -3*p + 2*p + 2*q + 12, -5*p + 28 = -2*q. Solve -5*i + 4 = 3*r - 16, 3*r - i = -p for r.
0
Let l(n) = 2*n**2 - 2. Let s(j) = -j - 4. Let r be s(-6). Let m be l(r). Let p be -1*3/m*0. Solve p = 3*o - 4*a + 2 - 4, 4*o + 6 = a for o.
-2
Let i be (100 - 1) + -6 + 7. Suppose 6*l - i = 2*l. Solve -5*b - 3*f - f - l = 0, -4*f = 2*b + 10 for b.
-5
Let g be (-8)/(-60) + (-266)/(-30). Solve g*s - 4*s = 2*m + 4, m = 3 for s.
2
Suppose 0 = -3*r - 20 + 8, 2*a + 8 = -2*r. Solve 3*n + 0*n = -j - 6, a = 5*j - 4*n + 11 for j.
-3
Suppose -2 = 3*c - c. Let u be 5*(c - (-1 + -1)). Suppose -3*y + 4*p = -27, -8 = y - 2*y + p. Solve 5 = 4*d + u*w - 0*w, 10 = 3*d + y*w for d.
-5
Let j(o