y.
5
Suppose -16 - 14 = -5*r. Let h = r + 0. Suppose 2*f = -4*o + 4, -h*o + 2*f - 4 = -o. Solve 4*k - 2*k - 2 = o for k.
1
Let c = -26 + 16. Let t = c - -17. Let r = t + -1. Solve d = r*d for d.
0
Let u be -3*2/(-10) + 90/(-25). Let v be 0/(-2 + (1 - u)). Solve v = -0*n - n for n.
0
Let n(u) = -u**3 - 5*u**2 + 6*u + 6. Suppose -d - 2*f + 2 - 8 = 0, -4*d - 24 = -f. Let a be n(d). Let g(m) = m. Let p be g(a). Solve -4*y - 26 = -p for y.
-5
Suppose -3*t - 74 = -5*a - 27, -4*a + 3*t + 37 = 0. Solve 4*f = 6*f - a for f.
5
Suppose 40*a - 283 = 157. Solve -18*j - a - 61 = 0 for j.
-4
Suppose -2*a = -2*b + 10, -18 = -3*b + 5*a + 3. Solve -b*f = -0 - 4 for f.
2
Let c be (1/(-2)*-3)/(27/36). Solve c*a - 4*a = 10 for a.
-5
Let y(h) = 4*h - 88. Let t be y(24). Let q be (-7)/((-84)/t) - 8/(-6). Solve q*k - 6 - 2 = 0 for k.
4
Let d be (2 + 7)*(-128)/(-48). Solve l = -7*l - d for l.
-3
Let c be (-18)/81 + (-22)/(-18). Let o be 0 - (14 - (-1 + -2)). Let l = o - -28. Solve c = -3*a - l for a.
-4
Let w(g) = 7*g - 3. Let n = -2 - -4. Let u be w(n). Suppose 0 = 4*i + a - 18, 60*i - a = 59*i + 7. Solve u = -i*q - 9 for q.
-4
Suppose 2*l = -7*l + 108. Solve 0 = -77*t + 73*t - l for t.
-3
Suppose 4*v + 20 = 2*q + 5*v, 4*v - 10 = -q. Solve 0 = 13*i - 15*i - q for i.
-5
Let a(n) = 12*n**2 + 109*n + 13. Let y be a(-9). Let q = 0 + 2. Solve -4*u = -q*u + y for u.
-2
Suppose -6*b + 1 = -125. Suppose 0 = -5*p + y + 12, 4*p = y - 4*y + b. Solve 0 = -7*u + 4*u + p for u.
1
Let s(u) = u**3 + 4*u**2 + u - 1. Let a be s(-4). Let x be (-10)/a - -3 - -1. Solve -3*q + 6*q = x for q.
2
Suppose -2*w - 2*w + 36 = 0. Suppose 35 = 5*n - 5*o, -9*n + 7*n + 5*o = -29. Solve n*v = -v + w for v.
3
Let k = -1 - -5. Suppose -5*b - 4*r = -22, b - 5*r + 17 = k. Suppose 8780*u - 15 = 8765*u. Solve 0 = -b*i - 1 - u for i.
-1
Let a be 0*(-2)/(-8) - 2. Let y(o) = 3*o**2 + 3*o. Let b be y(a). Let d be b/(-14) + 48/14. Solve 0*q = d*q - 3 for q.
1
Suppose 0 = 34*g - 39*g + 10. Let b be 7/g*(-30)/(-35). Solve -13 = 4*j + b for j.
-4
Let d(x) = -x - 19. Let b(k) = 4*k + 56. Let f(z) = -3*b(z) - 8*d(z). Let p be f(-5). Solve -p*y = -6*y + 8 for y.
4
Let q(h) = -14*h - 94. Let s be q(-7). Solve s - 6 = w for w.
-2
Suppose -8*s = -11*s + 3. Let q be 2 - (3 - (s - -1)). Suppose -2 = -4*c + k + 13, -2*c = 2*k - 10. Solve -c*u - q = -5 for u.
1
Let m(u) = u**2 - 13*u + 10. Let b be m(12). Let z be b/(-9) + (-48)/(-27). Solve -8 = -z*i - 2 for i.
3
Suppose g + 2 = -0, 4*a + 6 = -3*g. Suppose 2*d - 20 = -3*d + q, 2*q = 0. Solve -20 + a = d*n for n.
-5
Let v be (-1 - 0)*3*-2. Let t(c) = -c + 8. Let f be t(v). Let x be (43 - 43)/(1*3). Solve x = f*h + 2 for h.
-1
Suppose 3*q + 96 = 15*q. Let z be 17/5 + 0 - q/20. Solve z*u = 5*u for u.
0
Let k = 2119 - 2032. Solve 78 = 9*x + k for x.
-1
Let d(a) = -a**2 + 7*a + 36. Let s be d(-3). Let b = -38 - -58. Solve -s*r + 2*r = -b for r.
5
Suppose -4*f = 5*q - 2, f + f + 2 = -q. Suppose 3*o = -3*h, -4*h = q*o - 4*o - 24. Suppose d = h*d - 15. Solve -3*y = -d - 1 for y.
2
Let q = 146 - 139. Suppose 0 = -113*l + 112*l + 2. Solve q*g - l = 5*g for g.
1
Let w = -2 + 4. Suppose 5*q = -w*q + 63. Suppose -r + 2*r - 5*l - 18 = 0, 0 = 3*l + q. Solve -5*a + r*a = -4 for a.
2
Suppose 39*q - 408 = -29*q. Suppose 2 = 3*z + u, 3*u = -0*u - 12. Solve -z*c + q + 2 = 0 for c.
4
Let r(c) = 12*c - 4 - 26*c + 9*c. Let v be r(-2). Solve 5*p = -9 - v for p.
-3
Let m(w) = -w**2 - 8*w - 12. Let u be 28/(-6)*(-6)/4. Let l = u - 12. Let g be m(l). Solve 0 = -g*v + 2*v for v.
0
Let r be (8/28*-14)/(-3 + 1). Solve 5*t - 3*t - r = 0 for t.
1
Let f be 208/91 - (-4)/(-14). Solve f*c + 3 = 13 for c.
5
Suppose -5*n = -2 - 8. Let f be n*1 - (-1)/((-3)/(-6)). Solve 1 = -5*i - f for i.
-1
Suppose x + 2*s + 49 = 0, 2*s - 49 = 2*x + 73. Let p = -54 - x. Solve -2*u = p*u - 15 for u.
3
Let r be 1/(6/(-8))*-3. Let t = r + -3. Let n(o) = o**3 + 11*o + 6. Let a be n(0). Solve -t + a = 5*j for j.
1
Let i(g) = 9*g**3 + 5*g**2 - 3*g - 2. Let s be i(1). Solve -s*l = 7 + 2 for l.
-1
Let f(x) = -19*x**2 - 171*x + 6. Let p be f(-9). Solve 2*o + 4 = p for o.
1
Suppose g + 27*g = 84. Solve g - 6 = -c for c.
3
Let r = -6 - -18. Let u(z) = -4*z**3 + 32*z**2 + 3*z - 20. Let f be u(8). Solve -f*a = -a - r for a.
4
Suppose 0 = -r + 4 + 6. Let o be r/(-75) - 184/(-30). Let z = -1 + o. Solve 0*w - 10 = -z*w for w.
2
Let n be 81/15 - 18/45. Solve -1 = -n*f + 14 for f.
3
Let x be -2*(-5)/(5/2). Solve -2*z - 2*z = -x for z.
1
Let m be (13/(-2) - -7)*-10 - -9. Solve b + m - 1 = 0 for b.
-3
Suppose 0*c + c = 8. Let t(i) = -i**2 - 10*i - 3. Let u be (-1)/2 + (-34)/4. Let r be t(u). Solve -2*m = -r*m + c for m.
2
Suppose -4*p - 19 = 9. Let t be (-12)/3 - (-4 + p). Solve t = 5*m - 8 for m.
3
Let z be -4*4/4 - -10. Suppose -z*a + 10*a = 12. Solve 0 = 2*k + 13 - a for k.
-5
Let a = 43 - 113. Let g = -68 - a. Solve 0 = -g*v - 1 + 11 for v.
5
Let x(y) = -y**2 + 12*y - 8. Let q be x(8). Suppose -80 - q = -4*d. Suppose -5*t = -14 - d. Solve c - t = -c for c.
4
Let w(i) = 2*i**3 + 2*i - 3 - 11*i**2 + 0*i**3 + 28*i**2 - 20*i**2. Let q be w(2). Solve q*h = -0*h for h.
0
Let n be (5/3 + 1)*6/4. Suppose 2*z = -5*f + z + 5, -n*z = -2*f - 20. Solve 3*b = -12 - f for b.
-4
Let v(g) = g**3 - 12 + 23*g**2 + 3*g - 16*g**2 - 5*g + 2. Let u be v(-7). Solve 4*j - u - 8 = 0 for j.
3
Let b = -1010 - -1014. Solve -7*q + b*q + 12 = 0 for q.
4
Let i(d) = -2*d + 3. Let k be i(5). Let z = k + 15. Solve 0 = 3*f - z*f + 20 for f.
4
Let g(i) = -i**2 + 14*i - 25. Let k be g(9). Solve -8*o = -4*o + k for o.
-5
Suppose -5*d + 21 = -4. Suppose 2*p = 27 + d. Solve -3*w - p = w for w.
-4
Let d be 5 + -1 + -1 + 9. Suppose d*a - 14*a - k = -12, -20 = -5*k. Solve w = -a*w for w.
0
Let w be ((-339)/4)/(42/(-56)). Let v = -75 + w. Solve 0 = 5*i - 13 + v for i.
-5
Let w(u) = -1. Let m(r) = 3*r + 47. Let v(a) = -m(a) + 4*w(a). Let s be v(-17). Solve -2*p + 4 = -s for p.
2
Let i = -256 - -277. Solve -14*b = 35 + i for b.
-4
Let l(p) = p - 16. Suppose -27 = 8*c - 11*c. Let g(o) = 3*o - 9. Let a be g(c). Let u be l(a). Solve u*v = -6 - 4 for v.
-5
Let x = -1 - -3. Let b be ((-136)/(-20))/x + 4/(-10). Solve -5*r + 17 = -b for r.
4
Suppose -8*j = 5 - 37. Solve -2*b = -0*b - j for b.
2
Let b be 312/130 + (-6)/(-10). Suppose b*w - 18 = -0*w. Solve 2*q - 12 = w*q for q.
-3
Let y be (-368)/(-60) + 4/(-30). Suppose 0 = y*d - d - 100. Let t(j) = 2*j**3 - 4*j**2 + 3*j - 1. Let n be t(2). Solve n - d = -3*f for f.
5
Suppose 4*u - 2*l - 12 = 0, -2*u - 2*u + 12 = 3*l. Solve -u*m + 6 = -6 for m.
4
Let f(w) = 3*w**3 + w**2 - 2*w - 3. Suppose 2*k + 6 = -k. Let d(q) = -q**3 - q**2. Let c(v) = k*d(v) - f(v). Let x be c(0). Solve -18 = -x*p - 3 for p.
5
Let d(s) be the first derivative of 1/2*s**2 - 5 - s. Let b be d(4). Solve 0 = b*n - 3 for n.
1
Let f be (38/(-4))/(2/12). Let h = f - -87. Solve 5*v + 10 = h for v.
4
Let a = -11 - -14. Let t = a - 7. Let r = t + 7. Solve 0 = 5*b + r + 2 for b.
-1
Suppose -49 = -m - 0*m. Let g be m/(-14)*6/(-28)*8. Solve k = g*k + 15 for k.
-3
Let j(p) = -p**3 - 2*p**2 + 4*p + 7. Let d be j(-3). Suppose w + 4 = d. Solve -3*i + w*i = 0 for i.
0
Suppose 7*r = 6 + 134. Let a = -6 + 10. Solve -a*g + 0*g = r for g.
-5
Let u be 579 + 30/40*4. Solve u - 572 = 2*q for q.
5
Suppose -3*k + 10 = 2*k. Suppose 2*n + 7 = 2*m - 13, 3*m = 4*n + 29. Suppose -5 + m = 3*b. Solve -k*i + b = -0*i for i.
1
Let o(y) = -37*y + 8. Let z be o(3). Let p = z + 104. Let s = 37 + -26. Solve 5*l = -s + p for l.
-2
Let m be (-122)/(-18) - (-2)/9. Let s = -13 - -4. Let v be (3/(-5))/(s/30). Solve -m = -v*g - 3 for g.
2
Suppose -g = 129 - 154. Solve 26*j - g*j + 3 = 0 for j.
-3
Let y(g) = 7*g**2 - g + 15. Let q be y(0). Let v(n) = n**2 - 9*n - 7. Let z be v(10). Suppose z*s = -s + 8. Solve a = -s*a + q for a.
5
Let u(y) be the first derivative of -y**4/4 - 2*y**3/3 - 2*y**2 - 5*y + 2. Let l be u(-2). Solve -1 = 2*m - l for m.
1
Suppose 0 = -58*b + 45*b + 26. Solve -15 + b = -13*x for x.
1
Let c be (-198)/45 - (-4)/10. Let p be 2*(-14)/c + 1. Solve 7 = -5*b - p for b.
-3
Let b(f) = f**3 + 2*f**2 - 2*f + 3. Let t be b(2). Suppose 2*l - 5*m - 5 = 0, -5*l + 0*l - 4*m = 70. Let k = t + l. Solve 2 + 3 = -k*x for x.
-1
Suppose 0 = 5*t + 10, -3*b - 1 = 5*t + 6. Suppose 28*g = -15*g + 86. Solve -g*a = -