- 16 for y.
4
Let o(l) = l + 5. Let w be o(-5). Let r be w/(-1*3/(-1)). Solve -2*z = -2 - r for z.
1
Let b = -2 + 2. Let x = b + 3. Suppose -k = -x*k. Solve -w - 2 - 1 = k for w.
-3
Suppose -3*r + 12 = 2*g, -8 = -3*r + r. Let u be g + 0 + -3 + 3. Solve u = 4*y - 4 - 4 for y.
2
Suppose 5*z - 15 = 0, 6 = 4*y - 2*z - 0*z. Let u be (-3 + 3)/y - -1. Solve -u - 2 = 3*n for n.
-1
Let o be (2 - (-10 + -2))/2. Let r be (-12)/o*(-4 - 3). Solve -2*j - r = -5*j for j.
4
Suppose -2*f - 3*n = 15, 14 = -2*n + 4. Solve f = 2*g - 6 for g.
3
Let d(a) be the first derivative of a**4/4 + 10*a**3/3 + 1. Let m be d(-10). Solve m = -2*p - 0 - 2 for p.
-1
Let n be (-4)/(-7) + (-225)/(-35). Solve -3 = -8*i + n*i for i.
3
Let j be ((-26)/(-39))/(4/(-6)). Let g = -1 - j. Solve 2*m = -g*m for m.
0
Let b(p) = -p**3 - 4*p**2 - 4*p - 2. Let a be b(-2). Let f be 0/(a - (-6 + 2)). Solve f = 2*z + 3*z for z.
0
Suppose -f = -4*g + 18, -2*f + 5*f + 26 = 5*g. Solve -3*z - g = -7*z for z.
1
Let o(z) = -z**3 - 6*z**2 + 5*z - 9. Let r be o(-7). Solve r*i = 2*i for i.
0
Let l(a) = -13*a**2 - 2*a - 1. Let b be l(-1). Let d = 6 + b. Let m be (9/2)/(d/(-8)). Solve 0*g = -3*g - m for g.
-2
Suppose -2*x + 34 = -x. Let a = -19 + x. Solve -a = -t + 6*t for t.
-3
Suppose -3*x + 3 = x - m, -m = x + 3. Suppose -3*l + 5 = -10. Suppose -5*d - 10 = -3*i - x*i, -4*d = l*i - 29. Solve i = -4*s - 3 for s.
-2
Let r(f) = 2*f + 34. Let o be r(-17). Let u = 0 + 4. Solve p + u*p - 15 = o for p.
3
Suppose -35 = 4*x + 21. Let c = x + 2. Let y = c + 17. Solve 0*o = y*o for o.
0
Let x = -16 + 4. Let y = x + -9. Let p be 6/y + 2/7. Solve 2*d + p + 2 = 0 for d.
-1
Let b = -8 + 10. Suppose 0 = b*g + 3*g - 5*x - 15, -4*g - 5*x = 15. Solve 3*o + g*o = 3 for o.
1
Suppose -t - 4*t = -5*q + 40, 3*q + 3*t = 30. Suppose -2*m + q = -1. Suppose -4*f + 2*f = -4*k - 16, m*f + 5*k = -5. Solve 0 = -a - f*a for a.
0
Let u(x) = -x - 4. Let h be u(-8). Let n = h + -4. Let b(j) = 13*j**3 - 2*j**2 + 1. Let s be b(1). Solve -s = -4*d - n*d for d.
3
Suppose 5 = -2*n + 11. Let t(x) = x**3 - 4*x**2 + 3*x + 2. Let k be t(n). Suppose -17 = -5*o + 8. Solve m = k*m - o for m.
5
Let k be 2 + 1*(-12)/1. Let y be 0/(4/k*-5). Let c(q) = -3*q**3 + 2*q**2 + q. Let m be c(-1). Solve -w - m - 1 = y for w.
-5
Let q be ((-8)/36 - (-116)/36) + -1. Solve -q*d = 2*d for d.
0
Let x(i) = -i**3 - 2*i**2 + 3*i + 5. Let h be x(-4). Solve 5 = 4*z + h for z.
-5
Suppose 38 = 7*i + 17. Solve -2*a + a = -i for a.
3
Suppose w + 2 = -4. Let q be ((-40)/(-12))/((-4)/w). Let f = 59 + -36. Solve -q*v + f - 3 = 0 for v.
4
Suppose 0 = -5*m - b + 22, m + 4 - 2 = 3*b. Solve 0 + m = -4*o for o.
-1
Let k = -24 - -24. Let d = k + 4. Solve 3*w - d = -w for w.
1
Let x be (-1)/2*110/(-11). Suppose 1 + 0 = -a - k, 25 = x*a - 5*k. Solve 0*h = h - a for h.
2
Suppose 0 = -2*u + 6*u. Suppose 3*d - 12 = -0. Solve -d = -r - u for r.
4
Let y be 3*(3 + (-12)/9). Let x be 4/(4/y) - 3. Solve -w = x*w - 3 for w.
1
Let u(q) = -q**2 + 4*q + 7. Let k be u(5). Suppose -4*z - 20 = -k*a - 2*a, 5*z + 23 = 4*a. Solve 0 = a*r + 2 + 2 for r.
-2
Suppose -3*c + 6*c - 11 = 4*v, c + 3*v + 5 = 0. Solve -j = c - 6 for j.
5
Let t be (-14)/(-3)*18/12. Suppose -t = h - 9. Solve h*o = 5*o - 3 for o.
1
Suppose 4*m = 5*h + 27, 0*h = -4*m + 2*h + 18. Suppose -m*k + 20 - 8 = 0. Solve -q + 6 = -k*q for q.
-2
Suppose 0*n - 2*a = n - 13, -n + 9 = a. Solve 4*l = n - 1 for l.
1
Suppose -3*p = -3*w - 21, -3*p + 4*p - 13 = 3*w. Solve 2*b - 8 = p*b for b.
-4
Suppose 5*k - b = -80, 0 = 5*k - 6*b + 4*b + 75. Let i = k - -19. Solve t + i*t = -9 for t.
-3
Let c(l) = -l**3 - 6*l**2 + 7*l. Suppose 7*j - 30 = 5*m + 2*j, 2*j = -2*m - 16. Let z be c(m). Solve z = -6*f + 2*f for f.
0
Suppose 56 = 9*i + 5*i. Solve i*o - 11 = 1 for o.
3
Suppose 2*y - 6*y = -20, -5*x - 15 = -5*y. Suppose g = x*g - 48. Suppose -a + g = 3*a. Solve a = m - 4*m for m.
-4
Let l be ((-16)/20)/(3/15). Let g be (1*l)/4 - -4. Solve -9 = -0*j - g*j for j.
3
Let m = -57 - -93. Suppose 3*o + 7 - m = r, 0 = 3*r + 15. Solve -o + 0 = -4*b for b.
2
Let q(j) = j + 1. Suppose 0 = -t - 0*t - 65. Let s be (-2)/13 + (-140)/t. Let y be q(s). Solve 4 = y*b - b for b.
2
Let z(n) = n**2 - 2*n**2 + 0*n**2 + 5*n. Let j be z(4). Let v = -2 + j. Solve v*g + 1 = -1 for g.
-1
Let w = 20 + -4. Let f = -21 + 14. Let v = f + 9. Solve 2*t = -v*t + w for t.
4
Let w(d) = -d**2 + 7*d. Let c(f) = 5*f**2 + 1. Let r be c(-1). Let j be w(r). Let x be (-64)/(-6) - j/9. Solve 4*k = -k + x for k.
2
Let q(u) = u**2 - 6*u - 5. Let k(p) = -p**3 + 3*p**2 + 5*p + 7. Let i be k(5). Let w = i - -25. Let c be q(w). Solve 3 = 5*b - c for b.
1
Let d = 9 + -9. Solve 5*b - 15 = -d*b for b.
3
Suppose 9*u + u - 20 = 0. Solve -q = -1 - u for q.
3
Let r(l) = -l**2 + 7*l - 8. Let k be r(6). Let f be ((-1)/2)/(k/72). Solve 0 = 5*c - 7 - f for c.
5
Let t be (2/3)/(1/6). Solve -h - 9 = -t*h for h.
3
Suppose -4*d = -9*d. Suppose d*u - u = -2. Solve 20 = -7*x + u*x for x.
-4
Suppose -3*x = -3*q + 175 - 25, -240 = -4*q - 4*x. Suppose -5*j - 20 + q = 0. Solve -j = 4*l - 3 for l.
-1
Let x(q) = -2*q - 12. Let y be x(-6). Solve 0 = -4*a - y + 8 for a.
2
Let j(n) = n**3 + 3*n**2 - 4*n + 4. Let b be j(-4). Suppose 6*r - 22 - 86 = 0. Solve b*h + 2 = r for h.
4
Let k(d) = d**2 + d. Let z be k(2). Solve -z = 2*t - 4*t for t.
3
Let f = 11 + -7. Suppose -u = -3*x - 10, 2*x - f*u = -3*x - 19. Let q be 10/x*6/(-5). Solve -k - q = k for k.
-2
Suppose 0 = -z + 5*p + 25, 3*z - 3*p - 15 = -z. Suppose z = 5*g - 5*n - 25, 4*g + 2*n - 2 + 0 = 0. Solve 0*y = -g*y - 2 for y.
-1
Suppose 0 = 4*q - 5*z - 23, 4*q - z - 4 = 7. Solve -d + 6 = q for d.
4
Let v(b) = 2*b - 3. Let i be v(5). Let j = 1 + i. Solve 0 = p + 3*p + j for p.
-2
Suppose 3*w = 2*w - 1. Let d be (18 - (w + 2)) + -1. Solve 0 = -0*l - 4*l - d for l.
-4
Let d be (-4)/5*(-3 + -2). Solve d*x + 2 = -6 for x.
-2
Suppose 2*a = -2*a - 5*r, 0 = -5*a - 5*r. Solve 0 = -a*c - c + 2 for c.
2
Let z be ((-3)/(-2))/(6/16). Let f = z - 2. Solve -3*y + 4 = -f*y for y.
4
Suppose -9 = -11*u + 13. Let p be 5 + 6*(-2)/4. Solve -u*z - p = -0 for z.
-1
Let f = -14 + 6. Let g = 11 + f. Solve 3 = -g*h + 4*h for h.
3
Let b = 17 + -15. Let y be (2 + 2/(-2))*1. Let h be (16/2 + b)/y. Solve 2*w = 4*w - h for w.
5
Suppose 48 = 4*a + 4*n, 4*a - 5*n - 55 = -2*n. Suppose -2*u + 0 - 4 = 0. Let r = 6 + u. Solve r*f - a = -33 for f.
-5
Let d(o) = -o**3 + o**2 + o. Let t(m) = m - 4. Let n be t(4). Let p be d(n). Solve p = i + i - 6 for i.
3
Let t = 86 - 70. Solve -t = 4*o + 4 for o.
-5
Suppose 3*h = -4 - 2. Let l be (2/4)/(h/(-24)). Let w be (l/1)/(-3) + 8. Solve -2*c = -w*c for c.
0
Let o be 2/(-3) + (-138)/(-18). Suppose 0 = -0*g - 3*g. Suppose 14 = 9*k - 2*k. Solve g = z + k - o for z.
5
Suppose 3 + 6 = a. Let h be a*((-1)/(-3))/1. Suppose -11 = -4*m - 3*c, -7 = -5*m + h*c - 0. Solve m*t = t for t.
0
Let j be 8/(-16) + 4/((-24)/(-57)). Solve -5*u = 6 + j for u.
-3
Suppose 5*c = 2*c + a - 28, -5*c + 4*a - 42 = 0. Suppose 0 = 4*m + m + 30. Let y = m - c. Solve 0 = 4*p + y + 8 for p.
-3
Let k(i) = i**3 + 3*i**2 - 2*i - 4. Let n be k(-3). Suppose -7*s = -n*s - 15. Suppose d = s*d - 2. Solve h - d = 3 for h.
4
Let d(a) = -6*a - 2. Let j be d(-1). Solve -5*c + 4 = -j*c for c.
4
Let b be ((-1)/(-2))/((-7)/224). Let h = 0 - b. Solve k - 5*k = h for k.
-4
Suppose 0 = 2*d + 3*v - 4 - 15, 5 = v. Suppose -d*p + 6*p - 96 = -5*h, 3*p = -h + 28. Suppose -3*c - h + 1 = -3*j, 11 = -2*j - 5*c. Solve -j*a = -4*a for a.
0
Suppose -2*z - 1 = -q - 8, 0 = -3*q - 15. Let x be (-1)/2*(z - 1). Solve c + x + 4 = 0 for c.
-4
Suppose 0 = 4*p - 4, -4*x - 5*p + 24 = -p. Solve 0*s + s - x = 0 for s.
5
Suppose 0 = -4*v + v + 2*v. Solve 4*z = 16 - v for z.
4
Suppose 2*p = -0*p + 24. Let k be 1/3 - (-20)/p. Suppose 18 - 3 = 5*b. Solve -k*c = b*c for c.
0
Let z be (-3)/(0 - 6/4). Suppose -10*t + 44 + 6 = 0. Solve -f + t = -z*f for f.
-5
Let d be 1 + ((-7)/(-21) - (-4)/(-3)). Solve 3*u + 2*u + 15 = d for u.
-3
Let f(k) = -k**3 - 4*k**2 + 4*k + 7. Let u be f(-5). Solve -7*j + u = -3*j for j.
3
Let l be (-84)/(-39) - (-2)/(-13). Let n be (3 - l)/(5/25). Solve 4*c - n = -c for c.
1
Let n be 3/2 - (-1)/(-2). Solve x = -4 + n for x.
-3
Let j = 7 - 2. Let t(k) = k**2 - 4*k - 3. Let f be t(j). Solve f*q = -3*q for q.
0
Suppose -3*b + 3 = -2*d +