= g*f - 0*f - 15 for f.
3
Let g be 2/3*27/6. Suppose g*t = -5*j + 21, 5*j = 3*t - 2*t + 13. Let s be 0 + t*(-2 - -3). Solve -s*f = -2 + 8 for f.
-3
Let i(n) = -n**3 + n**2 + 1. Let t(f) = -5*f**3 - 3*f**2 + 2*f + 12. Let x(y) = 4*i(y) - t(y). Let b be x(-7). Solve 4 = -2*w - b for w.
-5
Let k be (-4)/(-1) + (7 - 7). Solve -4 = k*j + 4 for j.
-2
Let q(n) = -5*n**2 - 6*n + 3. Let g(t) = t**3 + t**2 + t - 1. Let y(m) = -4*g(m) - q(m). Let p be y(-1). Solve 12 = -p*c + 32 for c.
5
Let x be ((-40)/12)/(-4 + 40/12). Solve -x*l = -l for l.
0
Suppose -i - 6 = -4*i. Suppose d = -i + 6. Suppose -d*t = -t. Solve t = b + 4 - 5 for b.
1
Suppose 3 = -32*l + 35*l. Solve 2*k - 7 = l for k.
4
Let y(r) = r**2 + 7*r - 16. Let v be y(-9). Solve -v*j + 8 + 0 = 0 for j.
4
Suppose w - 6 = -2*y, 2 = -3*y + 8*y - 4*w. Solve 2*x = y + 2 for x.
2
Let f(j) = -j**2 + 7*j. Let k be f(6). Suppose -c + l = 7, -4*c - l - 2*l = 0. Let w = c + 7. Solve w*t = t + k for t.
2
Suppose 0 = 5*y - 4*o - 15, -2*y + 2*o = -2 - 4. Let x = -25 - -31. Solve -3*p + y = -x*p for p.
-1
Suppose -9*k + 29 + 7 = 0. Solve 0 = -2*o + k*o - 6 for o.
3
Let z be 2/(-6)*(-1 + -5). Let c be (-1 - 1)/((-1)/1). Solve z*q = 2 + c for q.
2
Let r be 2 - 1/2*2. Suppose -d - 4*d = -5*b, -4 = b - 2*d. Solve -b*c - 21 = -r for c.
-5
Let b(m) = -m**3 - 13*m**2 - m - 2. Let j be b(-13). Suppose 0 = 3*g + 9, 3*g = -c + 2*c - j. Solve -l + 1 = -c*l for l.
-1
Let p be 152/32 + 1/4. Solve -6 = c - p for c.
-1
Suppose -f + 4 = f. Suppose 5*u = w + 78, f*w - 76 = -5*u + 4*w. Let l be 5*(-1 - 18/(-10)). Solve -3*y = u - l for y.
-4
Let q(i) = -i**3 + 3*i**2 - 3*i + 4. Let y be q(2). Solve 0 = -y*r + r + 3 for r.
3
Let d be 0 - 1 - (-1 - 3). Suppose 5*t - d*j + 23 = 0, 4*j - 7 = 3*t + 9. Let r = t + 5. Solve -1 - r = -u for u.
2
Let s(p) = 6*p - 58. Let i be s(10). Solve i*w + 4 = -0*w for w.
-2
Let q = -110 - -112. Solve -z + 6 = q for z.
4
Suppose -f = 3*m - 26, 34 = -2*m + 4*m + 4*f. Solve -4*x = -m*x for x.
0
Let i(u) = u**3 - 8*u**2 + 5*u + 17. Let w be i(7). Solve 2*o = -w*o for o.
0
Let d be 8 + -2*4/8. Solve 3*x + d = -5 for x.
-4
Let i be (3 + (-10)/4)*-4. Let d be (-2 - (i - 0))/1. Let r = d + 6. Solve -w = w - r for w.
3
Suppose 3*l + l = 16. Suppose 0 = 4*g + 20, 2*z + 16 = z - l*g. Let b = z - 4. Solve b = -0*v - v + 4 for v.
4
Suppose -5*b = -0*b. Suppose 4*o - 4 - 8 = b. Solve -o*p + 7*p = 0 for p.
0
Let s(g) = -2*g**2 - 2*g + 3. Let a be s(-3). Let p(b) = b + 12. Let k be p(a). Solve k*r + r = 4 for r.
1
Let s(f) = f**2 + 11*f + 4. Let b be s(-11). Let v be 2/b - 3/(-2). Suppose -4*t + 4*m + 12 = 0, -v*m + 2 = -t - 6*m. Solve -o - t*o = 6 for o.
-2
Suppose -o + 25 = 7. Let c = -13 + o. Solve c*b = b for b.
0
Let z be (-5)/10 - 5/(-2). Suppose -2*y = -2 - z. Solve -6 + 0 = y*i for i.
-3
Let q(d) = d + 29. Let k be q(-23). Solve -m - k = -1 for m.
-5
Let c(k) = k**3 + 5*k**2 - 6*k + 12. Let g be c(-6). Solve -g = -3*a - 0 for a.
4
Suppose 2*a = 4*b + b - 10, -a - 5 = 2*b. Solve b*x + 4*x = 8 for x.
2
Suppose n + 19 = 3*c + 6, 2*c = -4*n - 10. Suppose -t + 0*t - 5*f = -5, 3*t - 63 = -c*f. Suppose -27 = -2*m + 5*r, -2*m - 2*r = -m. Solve m*d = d + t for d.
5
Suppose t = -0*v + v - 3, 4*v - 20 = 0. Solve 10 = -0*h + t*h for h.
5
Suppose -4*o - o - 30 = -b, 4*b = -o + 15. Solve b*j = j + 4 for j.
1
Let f be 19/7 - 4/(-14). Solve -2*i - i + f = 0 for i.
1
Let y(a) = a**3 + 3*a**2 - a + 3. Let s be y(-3). Suppose -2 = 2*f + 3*q, s = -q + 2. Solve 14 = -f*d + 4 for d.
-2
Let d be (-4)/6 + (-33)/(-9). Suppose 0 = d*m + m - 8. Solve 25 = -m*n - 3*n for n.
-5
Let u = 0 - -4. Suppose 2*d = -0*d. Suppose -4*t + 36 = -4*l, d*l = -5*t + l + 37. Solve 3*b + u = t*b for b.
1
Let j = -15 + 17. Solve 6 = j*k - 2 for k.
4
Let s(h) = 4*h**3 - 2*h**2 - h + 2. Let y be s(1). Solve -2*o + 5 = y for o.
1
Suppose 0 = 5*m - 0*m - 5. Let a be m/(-3) - (-8)/(-12). Let h be (-1 - 5)*(a + 0). Solve 5*f = -4 - h for f.
-2
Suppose 0 = 12*y - 95 - 145. Solve 3*n - y + 8 = 0 for n.
4
Suppose -7*d + 11 + 17 = 0. Solve -d*k + k = 0 for k.
0
Let l = 5 - 3. Suppose -24 = -2*a + 4*s - 6, l*a + 14 = -4*s. Solve 2*c - a = -3 for c.
-1
Let q be 0/(-2 + -1)*-1. Let p be (-5)/(-10) + (-9)/(-2). Solve -10 = p*i - q for i.
-2
Let z(r) = 3*r - 12. Let s be 1 - 3 - -7*1. Let w be z(s). Solve h = -w*h + 4 for h.
1
Suppose 15 = -0*v - 5*v. Let o be (1/v)/(2/(-12)). Solve r = -0*r - o for r.
-2
Let x be -2 + -3 + 1 + 4. Let i(o) = -2*o. Let a be i(-3). Suppose a*g = g + 20. Solve x*c + g*c = 0 for c.
0
Suppose 2 = d - 3*d. Let n(r) = r + 1. Let b(p) = 2*p + 4. Let i(k) = 2*b(k) - 7*n(k). Let o be i(d). Solve 2*t = o*t for t.
0
Let j(c) = 2*c - 6. Let w(h) = 1. Let p(u) = j(u) + 4*w(u). Let a be p(6). Solve -3*d - a = 2*d for d.
-2
Let u = -1 - -1. Suppose o = -3*o. Suppose u = -4*r - o*r. Solve -i = -r*i - 4 for i.
4
Let x(g) = -7*g**3 + 2*g**2 + 3*g. Let h(p) = p**3 - 3*p - p**2 - p + 3*p. Let t(c) = 4*h(c) + x(c). Let y be t(-1). Solve y - 6 = -i for i.
4
Let q(u) = u**2 + 11*u - 8. Let t be (8/3)/(4/(-18)). Let f be q(t). Solve 3 = -f*i + 5*i for i.
3
Suppose -2*c + g - 4 = -4*c, -g = -c - 4. Suppose 2*b - u - 12 = c, 3*b - 2*u - 12 = b. Let j be b/(-21) + (-32)/(-14). Solve 1 + 1 = j*k for k.
1
Suppose 8*b - 12 = 7*b. Suppose 6*q + 5*i = 3*q, -2*q = i. Let a = q - 0. Solve -3*n + a*n = -b for n.
4
Let i be (-5)/(25/(-12)) + 10/(-25). Solve 3*w = -i*w + 5 for w.
1
Let z be 0/((-8 + 0)/(-2)). Solve 4 = -2*l - z*l for l.
-2
Let q be (15/(-3) + 5)/2. Solve q*d = -4*d + 12 for d.
3
Let c be -1 - (3 + 0 + -6). Let k be 1/(-4) + (-54)/8. Let x(z) = z + 10. Let a be x(k). Solve h = -c*h - a for h.
-1
Suppose 2*h = -2, -2*p - 20 = -6*p + 4*h. Suppose 4*r = 9*r - 30. Suppose -m = m - r. Solve -c + m*c - p = 0 for c.
2
Let n be 54/9 - 1*4. Let v(q) = 8*q**2 + 4*q + 2. Let p be v(-2). Suppose -6 + p = 5*y. Solve y = n*o - 2 for o.
3
Suppose 0 = 3*j - 11 - 1. Solve -4*y = -0 + j for y.
-1
Suppose 0 = 3*v - 7 - 5. Let p be (4/6)/(6/27). Suppose -l - p*x + 15 = -5*l, 5*l + 2*x - 10 = 0. Solve l = -3*o + v + 8 for o.
4
Suppose -2*h = h - 6. Solve -m = -0*m - h for m.
2
Suppose 3*v + 6 = -18. Let s = 18 + v. Solve s = b - 3*b for b.
-5
Let k(b) = b**3 - 5*b**2 + 6*b - 5. Let f be k(4). Let o(y) = -y**3 + 12*y - 13*y**2 - y**3 - 4*y**f + 1 + 7*y**3. Let x be o(12). Solve 2*g = 3*g + x for g.
-1
Let f be (1 + (0 - 0))*(-4)/(-1). Solve -f*v = -20 - 0 for v.
5
Let c(q) = 5*q**2 - 1. Let x be c(1). Let g(n) be the second derivative of 7*n**5/20 - n**4/6 + n**3/6 + n. Let j be g(1). Solve 0 = -j*w + x*w + 4 for w.
2
Suppose -4*a - 49 = f + 2*f, 5*f - 41 = a. Let r = 4 - a. Solve 8*q = 3*q - r for q.
-4
Suppose 0*j - 54 = -3*u + 3*j, 0 = j. Solve u*q - 16*q = 0 for q.
0
Let a(z) = 2*z - 18. Let n be a(11). Let c = -10 + 15. Solve -c*q + 14 = n for q.
2
Let y(k) = -k**2 - 8*k - 1. Let d(s) = -s**2 + 2*s + 1. Let t be d(-2). Let u be y(t). Solve l = u*l for l.
0
Suppose 0*z - 2*n = 5*z - 18, -4*z + n + 4 = 0. Solve 2*i + z*i + 8 = 0 for i.
-2
Let r(x) = -x**2 + 4*x + 9 - 3*x + 5*x. Let t be r(7). Suppose 3*w - t*w = 5. Solve 0 = w*b - 4 - 6 for b.
2
Let o(m) = -6*m**3 - 1. Let c be o(-1). Solve -3*j = -c*j for j.
0
Suppose -k - 10 = -2*p, k - 2*k = 4*p - 20. Solve 0 = p*q - 4*q + 5 for q.
-5
Let h be (-61)/(-9) - (-6)/27. Solve 3*f + 20 = h*f for f.
5
Let t = 4 + -4. Let d = 13 - 11. Solve -2*w - 6 - d = t for w.
-4
Let w(q) = q**3 + 6*q**2 + q + 6. Let x be w(-6). Suppose -2*g + 20 = -0*g. Suppose 2 = 4*m - 2*z - 6, 5*z - 32 = -3*m. Solve x = -2*c + m*c - g for c.
5
Let z be 4 - (-3 - -2 - 1). Solve 1 = 5*k + z for k.
-1
Let i(m) = -m**3 - 7*m**2 + 9*m + 10. Let n be i(-8). Solve -r - 1 = n for r.
-3
Let j(b) = b**3 + 8*b**2 + 6*b - 8. Let a be j(-7). Let y(i) = 2*i**2 - 2*i - 1. Let f be y(a). Solve 2 = d - f for d.
5
Suppose -5 = -3*y - 2*w, -y - 5*w = -2*y + 13. Let s = 9 - y. Let o be ((-15)/s)/(1/(-2)). Solve o*z - z = -8 for z.
-2
Suppose -51 = -11*x + 4. Solve x*u - u = 0 for u.
0
Let d be 6/(-10) - 17/5. Let z be (-138)/(-12) + (-2)/d. Solve -3*f = -0*f - z for f.
4
Suppose 7 - 19 = -3*c. Suppose -4*a + 76 = -2*r, -2*r = c*a + r - 66. Suppose -3*s + 5*k = -4*s + 27, -31 = -3*s - 5*k. Solve a = -4*o + s for o.
-4
Let h(g) = -g**3 - 4*g**2 + 5*g + 6. Let r be h(-5). 