 Let h be y(8). Solve -5*w + h = 25 for w.
-4
Let f(u) = 3*u + 6. Let v be f(-6). Let i = 18 + v. Let n = i + -3. Solve n*t = -t - 12 for t.
-3
Suppose -n - n + 4 = 0. Suppose 4 - n = f. Solve f*z = -3*z for z.
0
Let p be (-16)/(-6) - 1/(-3). Let y(v) = -15*v**3 + 2*v**2 + 6*v + 4. Let i be y(-1). Solve i = -p*x - 2*x for x.
-3
Suppose -4*l = -2*l. Solve 0 = -5*t - l - 15 for t.
-3
Let r = 11 - 23. Let i = r + 13. Solve 13 = 4*s + i for s.
3
Let s(m) = -m**3 + 7*m**2 + 6*m + 3. Let n be s(6). Let y be (n/(-10))/(6/8). Let a be (-4)/20 + (-22)/y. Solve a*j = 3*j for j.
0
Let m = -22 + 24. Let i be ((-10)/(-4))/5*4. Solve m*v = v + i for v.
2
Let l = 1 - -1. Let d(n) = n**3 - 3*n + 2. Let g be d(l). Solve 6*y - g*y = 0 for y.
0
Suppose d + 0*d = 10. Suppose -7*a + d = -2*a. Suppose -3 = -a*n + 1. Solve 7*u - n*u + 20 = 0 for u.
-4
Suppose -5*j = -o - 18, -3*o + 6 = -0*o. Suppose -11*r + 42 + 24 = 0. Solve k = r - j for k.
2
Suppose -5*s + 1 = 5*a - 14, -3*s = 2*a - 8. Solve -5*b - 6 = -s*b for b.
-2
Let u = 43 + -31. Suppose -9*w = -15*w. Solve 2*q + 2*q - u = w for q.
3
Let i be (-12 + 16)/(2/2). Solve 0 = 2*z - i*z - 2 for z.
-1
Suppose -o - 2*q = -7, q + 4 = 3*q. Suppose h + u - 7 = 0, 0*h - 4*h - o*u + 25 = 0. Solve h*r + 9 = r for r.
-3
Let t be (2*2 + -1)*1. Let h = -20 - -45. Solve -2*u - t*u + h = 0 for u.
5
Suppose -5 = 5*x, 0 = -2*f + 2*x + x + 7. Suppose -5*u = f*z, 5*z = 3*u + 2 + 29. Solve -p + 2*p = z for p.
5
Let q(i) = i**3 + 12*i**2 + 11*i + 3. Let x be q(-11). Solve x*t - 3 = -0 for t.
1
Suppose 0 = 5*d + w - 20, 16 = d + d + 2*w. Solve 0*a = d*a for a.
0
Let a(f) = -f**3 + 14*f**2 - 7*f. Let v(o) = o**2. Let l(u) = a(u) - 6*v(u). Let n be l(7). Solve n = 3*q + 15 - 3 for q.
-4
Suppose 0 = 4*d + b - 10, 3*d + 5*b - 2*b = 3. Solve -d*s - s + 12 = 0 for s.
3
Suppose -g - 18 = 3*j, -j + 3*j = -g - 13. Let h be 1*(-3 - 24/g). Solve 0 = h*v - v for v.
0
Let f = 6 - 3. Solve -f*q + 7*q = 0 for q.
0
Suppose 7*k = -0*k. Solve k*f - 4*f = 4 for f.
-1
Let m(o) = 2*o. Let l be m(1). Suppose 3*n - 1 = 26. Suppose -n = -5*w + 2*f, 0 = 3*w - 0*w - 2*f - 7. Solve l*q + 7 = w for q.
-3
Let m(j) = 13*j**2 - 2*j - 1. Let t be m(-1). Suppose -3*o + 0 = -2*v + 3, -o = -5*v + t. Suppose 0*f - 36 = -v*f. Solve 6*u - f = 3*u for u.
4
Let p(l) be the second derivative of l**4/3 - l**2/2 + 3*l. Let a be p(-1). Solve a = 5*q - 2 for q.
1
Let n = 9 + -6. Let h be 5 - -1 - (-5 + 3). Let g = n + h. Solve -2*f - 1 = -g for f.
5
Let s(k) = -4*k**2 - k + 1. Let z be s(1). Let p = 4 + z. Solve p = w - 3*w for w.
0
Let h = -1 - -5. Let b = 23 + 2. Solve b = -y - h*y for y.
-5
Let p(x) = -x + 27. Let g(l) = -l**3 - 6*l**2 - 4*l - 3. Let r be g(-6). Let q = r - 9. Let b be p(q). Solve j + 2*j = -b for j.
-5
Suppose 2*p = 7*p + 15, -5*p = -4*y + 127. Let g be (-2)/7 + 232/y. Solve 0*u + g = -4*u for u.
-2
Suppose -4*h = 5*t - 8, -t + 4 = 5*h - 6. Suppose y - 24 = 5*y + 4*n, -h*n = -2*y + 4. Let a be 37/7 + y/7. Solve 0 = 2*f - a*f + 15 for f.
5
Suppose -2*k - 30 = -36. Solve 15 = k*q + 6 for q.
3
Let g = 14 - 11. Suppose 4*f - 12 = 0, -p + 3*p = f + g. Suppose 0 = 3*x - 2*c - 7 - 3, -p*x + 14 = 2*c. Solve -22 = x*r - 2 for r.
-5
Let t be ((-1)/1)/(1/(-10)). Suppose 0*r - 5*r = -t. Solve -5*p + 3*p = r for p.
-1
Let q(v) = v - 3. Let j be q(15). Solve -2*s = -5*s + j for s.
4
Let v(h) = h - 4. Let s be v(6). Solve -s*l - l = -3 for l.
1
Let z be 6/(-10) + 84/15. Solve 3*x = 4*x - z for x.
5
Suppose -5*a + 4*i + 14 = -10, 2 = -2*i. Solve 2*w = 3*w + a for w.
-4
Let w = -169 - -175. Solve 15 = -3*d + w for d.
-3
Suppose 3*z + 2 + 4 = 0. Let a(l) = -l**2 - 7. Let w be a(0). Let r = z - w. Solve -r*c = -16 - 9 for c.
5
Let j(r) = -r**2 - 14*r - 16. Let x be j(-12). Solve -12 - x = -5*h for h.
4
Suppose 0 = -2*k + 2. Let s be (-3)/3*(k + -3). Suppose 0 = s*c + 2*c. Solve w = -c*w for w.
0
Let v be 72/7 + (-12)/42. Let d = v + -1. Suppose 3 + d = 3*r. Solve -r*z = -1 - 7 for z.
2
Suppose 0 = -2*j - 2*j + 7*j. Solve j*z = -z for z.
0
Suppose -4*i - i + 10 = 0. Solve 2*n - n = i for n.
2
Let i(n) = n**3 - 9*n**2 + n - 4. Let w be 2*6*(-27)/(-36). Let r be i(w). Suppose 5*m = -r*d + 5, 2*m + 0*d = 3*d + 12. Solve -t - m = -8 for t.
5
Let j be (-1 - 0)/(-16 + 15). Solve -u + 2 - j = 0 for u.
1
Suppose 4*m - 32 = -5*k, -m - 3*m - 2*k + 32 = 0. Solve -p = -3*p + m for p.
4
Let j(v) = 4*v + 5 + 3*v - 4*v - 2*v. Let b be j(-4). Solve 0 = -5*c - 21 + b for c.
-4
Suppose 3*r - 16 = 2. Suppose 6*f - 20 = f. Let q = r - f. Solve 6 = d + q*d for d.
2
Let g = 100 - 92. Solve -5*r - 12 = g for r.
-4
Suppose 4*d + 3*u = u + 10, 0 = -4*d - u + 11. Suppose -5*q + 2*n + 7 + 3 = 0, -2*n - 10 = 2*q. Solve q*v = d*v for v.
0
Let y = 9 - 10. Let q be y + 1*(1 - -2). Solve -12 = -q*h + 6*h for h.
-3
Let n be (-2)/8 - 3/(-12). Solve 0 = -5*t - n*t + 20 for t.
4
Let l be (-12)/18 + (3/(-9) - -1). Let o be ((-18)/15)/((-2)/5). Solve l*s = -o*s - 9 for s.
-3
Let g be (25/(-10))/((-2)/4). Suppose -2*h = -g*s + 18, 19 = 3*h + 5*s - s. Let a be 0 + (h - 0)*2. Solve a = 2*x - 2 for x.
2
Let q(g) = g**3 - 2*g. Let h be q(2). Suppose h*p = -p + 75. Suppose -2*d = 3*d - p. Solve -d*x = x for x.
0
Suppose -38 = 3*p + 22. Let z = p - -11. Let a = 9 + z. Solve a = -0*u + 5*u - 25 for u.
5
Let d = 47 - 35. Solve -4*c - d + 0 = 0 for c.
-3
Suppose 18*d = 21*d. Solve d = 5*f - 0*f - 25 for f.
5
Let w be (-10 + 432/42)/((-2)/(-14)). Let d = -3 + 5. Solve -d = 2*y + w for y.
-2
Suppose -5*p = -51 + 1. Solve -p + 4 = -2*o for o.
3
Let j be (0/(-1))/(3 + -1). Suppose p + p = j. Let r be 2 + (1 - p) + -3. Solve r = -4*s + 2*s + 4 for s.
2
Suppose -4*o - 18 + 0 = -a, 5*a = -5*o - 10. Suppose a*f + 3 = 3*f. Let j be 1*f/(-6)*-4. Solve -4*m - j = 2 for m.
-1
Let s be -2*(-1 + 15/(-6)). Suppose 2 = -l + 4. Solve s*w = l*w for w.
0
Let s be 9 + -1 + (4 - 1). Solve 13*q = s*q for q.
0
Suppose -f + 0 + 4 = 0. Solve q = -f*q + 10 for q.
2
Suppose -2*y = y + 6, -4*v = 3*y + 2. Let f be (1/v)/(5/(-10)). Let p = 5 + f. Solve 0*n = p*n - 15 for n.
5
Suppose 3*i + 15 = -3*o, -3*i - o - 15 = -4*o. Suppose -q - 8 = 2*s, 0 = -4*s + 3*q - 2*q - 22. Let t = i - s. Solve -4*y + 16 + t = 0 for y.
4
Let w be 1 - (0/2 + 0). Let g(y) = -y - y + y - w. Let j be g(-1). Solve -c - c = j for c.
0
Let a be (-14)/(-3) + 4/(-6). Suppose -16*y - 16*y = 0. Solve 0 = -a*x - y*x for x.
0
Let m be (2 - 3)/(2/(-6)). Suppose -2*t = 4*r - 30, m*t = -7*r + 2*r + 40. Solve 0*h = 5*h + r for h.
-1
Suppose -3*x - 3 = -3*j - 6, 3*j - 9 = -x. Solve -8 = 3*w - j for w.
-2
Suppose -3*a - 2 = -5*h, a + 4*h = 1 + 4. Let w = -9 - -9. Let c be w/a + (3 - -1). Solve 0 = -3*p + c + 2 for p.
2
Suppose 0 = -3*g + 2 + 7. Solve 4 - g = p for p.
1
Let i be ((-2)/(-5))/((-6)/240). Let z = -12 - i. Solve z = -4*x - 4 for x.
-2
Let l = 0 - 2. Let h be 1/(-2) - 17/l. Solve 16 = -4*b + h*b for b.
4
Suppose 0 = -0*y + y - 45. Suppose 0 = 3*i - y + 15. Solve l + l = i for l.
5
Suppose 22 = -5*d + 32. Solve -2*f - d = -4*f for f.
1
Let v = 35 - 22. Let g = -13 + v. Solve -a - 2*a - 9 = g for a.
-3
Let s(a) = a - 5. Let d(o) = -1. Let q(l) = 3*d(l) + s(l). Let v be q(10). Suppose 0 = c - 3*b - 2 - 6, -4*b = 3*c + v. Solve c*n - 1 = 7 for n.
4
Suppose -6*p + 12 = -2*p. Let g(z) = z**2 + 12*z + 16. Let k be g(-11). Suppose -6*y = -k*y. Solve -p*m + m + 10 = y for m.
5
Let o be (-1)/(-2) + 27/6. Solve -2 = -o*t - 7 for t.
-1
Let j be (2/(-3))/(2/(-9)). Solve j = w - 0 for w.
3
Suppose -4*l - l = h, 2*h = -l. Solve -6 = -2*c - l for c.
3
Suppose 0 = h - 6*h + 15. Solve 0*x - h = -x for x.
3
Let p(l) = -l**3 - l**2 - l + 1. Let k be p(1). Let n = 0 - k. Solve 0 = -n*x - 0 - 6 for x.
-3
Let d = -3 + 4. Let c(w) = w + 0*w + w**2 + 0*w**2. Let n be c(d). Solve -n*q - 3 = -3*q for q.
3
Let i = 7 - 8. Let t be (1 + i)/(1 + -2). Solve t = v - 3*v for v.
0
Let r = -113 - -116. Solve 0*y = y + r for y.
-3
Let b(n) = n**2 - 3*n - 4. Let l be b(4). Let w = l - -6. Solve w - 14 = 2*a for a.
-4
Let u = -36 - -47. Solve -3*i - 4 = u for i.
-5
Let s(z) = z + 3. Let l be s(-2). Solve 3*k + l = -2 for k.
-1
Suppose -b = 2*j - 5*b - 50, -115 = -4*j + 3*b. Suppose -5*p = -d + j, -5*p - 8 = 7. Solve -5*h + h = -d for h.
4
Suppose 10 = b - 5*p, 2*b - 3*p - 6 = -0*b. Let h = 3 - b. Solve 7*d - 8 = h*d