or a.
1
Suppose 3*n = 5*s + 3, 2*n + 3*s = n - 13. Let r = n + 4. Solve 3*u + r*u - 3 = 0 for u.
1
Let i(h) = h**3 + 8*h**2 - 9*h + 4. Suppose 4*s + 38 = 2. Let d be i(s). Solve -5 - d = 3*x for x.
-3
Let o = 23 + -9. Let k be -7*(52/o + -4). Solve 0 = -s + 3 + k for s.
5
Suppose 6*z + 4 = 8*z. Solve 0 = -z*a + 8 - 0 for a.
4
Let t(i) = -2*i - 2. Let c be t(-5). Suppose 4*g + 4*q - 16 = 0, -g - q = 4*q - c. Solve 4 = g*m + m for m.
1
Let z(y) = y**2 + 3*y - 6. Let a be z(-5). Suppose -5*v = -a*v - 2. Let j be (-5)/10 + 7/v. Solve 6*p = j*p - 6 for p.
-2
Suppose 4*o + 0 = 20. Suppose -t - 2*t + 24 = 5*u, 5*t + o*u = 40. Suppose 0*q - 2*q + t = 0. Solve q = r + 3 for r.
1
Let f(c) = c**3 - 5*c**2. Let u be f(5). Suppose u = -j - 4*j. Suppose -3*s + j = -9. Solve 3 = s*z - 3 for z.
2
Suppose -x + 2*r + 15 = 0, 0 = -x + 6*x - 2*r - 51. Let g be 2/x + 50/18. Solve -b = -g*b + 2 for b.
1
Let q be (-56)/(-10) + (6/5)/(-2). Solve 19 = -q*v + 44 for v.
5
Suppose n + 3*u - 2 = 0, -4*n = -2*u - 2*u - 8. Suppose 0 = 5*c - o - 36, -8*o - 18 = -2*c - 4*o. Solve -1 = n*q - c for q.
3
Let x = -3 + 18. Suppose -5*g + 5*c = -0*g - x, 8 = 3*g - 4*c. Let k be -1 + (-26)/(-22) + 336/88. Solve k*z = 16 + g for z.
5
Let u = -48 - -48. Let x(f) = -f**3 - f + 5. Let h be x(0). Let s be (30/(-8))/((-3)/8). Solve h*n + s = -u*n for n.
-2
Let g be (-20)/(-25)*10/4. Solve c + g = 1 for c.
-1
Let x(r) = -r**3 - r**2. Let y(z) = -4*z**3 - 2*z**2. Let m(n) = -3*x(n) + y(n). Let q be m(0). Suppose q = -2*c - 4 + 12. Solve -c*k = -5*k - 2 for k.
-2
Let k be 0*(30/12 - 3). Solve -5*a + 15 = -k*a for a.
3
Let v(b) = -b**3 + 6*b**2 - 7*b - 1. Let x be v(3). Solve 32 = -x*c + 12 for c.
-4
Suppose -9 = -2*r - 3. Let y(m) = -m**2 + 4*m - 1. Let c be y(3). Let d be 3/9 - c/(-3). Solve -r*t + d + 2 = 0 for t.
1
Suppose -10 = -5*l - 0. Solve -12 = -2*x - l*x for x.
3
Let c(a) = a + a**3 + a**2 + 9*a**2 - 5*a**2 + 15 + 7*a**2. Let q be c(-12). Solve i = -q*i for i.
0
Let k(y) = y**2 - 2*y - 7. Let l be (-5)/(-15) - 14/(-3). Let g be k(l). Suppose 0 = 3*f - s - 4*s - 40, -4*f + 3*s + 35 = 0. Solve f*j + g = 23 for j.
3
Let s(q) = 5*q + 2. Let z be s(1). Solve -5*n + z + 13 = 0 for n.
4
Let n be (4 - 3)/(2/22). Let s(h) = 14*h**2 - 2*h + 20. Let o(d) = -5*d**2 + d - 7. Let f(u) = n*o(u) + 4*s(u). Let k be f(-3). Solve k = -3*r + 6 for r.
1
Suppose -90 = -9*v + 3*v. Solve t + 4*t = -v for t.
-3
Let x(g) = g**2 - 5*g - 3. Let u be x(7). Let q be ((-1)/(-2))/((-1)/(-28)). Suppose 0*i = 3*i - 15. Solve i*o + u = -q for o.
-5
Let b(l) = -3*l. Let j be b(0). Solve y + 2*y - 6 = j for y.
2
Let c = -9 - -9. Solve c = -3*d + 10 - 22 for d.
-4
Let o = -6 - -9. Solve -h = -o*h - 6 for h.
-3
Let d(u) = -3*u + 1. Let g(c) = -c**2 - 9*c - 10. Let f be g(-7). Let t(i) = -4*i. Let v(k) = f*t(k) - 5*d(k). Let h be v(-5). Solve 4*y - 5 + 17 = h for y.
-3
Let x = 59 - 59. Solve -4*u + x + 4 = 0 for u.
1
Let i(u) = -u - 1 + 0*u + 2*u**2 - u**2. Suppose -4 = 2*f - 0. Let n be i(f). Solve -n*s = -s for s.
0
Suppose -4*q = -3*q - 11. Solve 1 + q = 4*b for b.
3
Let j = -8 + 10. Suppose 1 = 2*u + 1. Solve -j = -2*c - u for c.
1
Let o = -54 + 56. Solve o*j + 0*j = 0 for j.
0
Let z = 16 - 0. Suppose 2*j + 2*j - z = 0. Solve b = j*b for b.
0
Let i be 1*2 + 4 + -15. Let f be (-3)/i - (-87)/9. Solve -5*l + f = 25 for l.
-3
Let t(w) = w**3 + 6*w**2 - 3*w - 13. Let m be t(-6). Let g(y) = -y + 2. Let u be g(2). Solve u*a = a + m for a.
-5
Let u(v) = v**3 - 5*v**2 + 5. Let j be u(5). Suppose 4*p = -j*r - 23 + 66, -p + 4 = -r. Solve 3*c = p*c for c.
0
Suppose 0 = 2*h - 2*a - 40, 4*h - a - 80 = -0*h. Let c be (1 + 0)/((-2)/(-6)). Solve 7*f - h = c*f for f.
5
Let x(l) = l**2 - 2*l + 2. Let p be 1/3 + 23/3. Suppose 0*v - 4*v + p = 0. Let z be x(v). Solve h + 5 = z*h for h.
5
Suppose -4*w - 24 = -4*y, 2*y - 4*w = 6 + 10. Solve -9 = y*z - 29 for z.
5
Let u(x) = -x - 8. Suppose -2*i + 4 - 16 = 0. Let q be u(i). Let t be (q + 2)*1 - -3. Solve -5*l + 2 + t = 0 for l.
1
Suppose 4*a = 3*m + m - 28, 2*a = -m + 13. Let l be 1*m - (-6 + 9). Solve -2*f = 4 + l for f.
-5
Suppose 5*w = -15, -4*b = 5*w - 7 - 2. Let u(o) = -2*o**3 + o**2. Let i be u(-1). Let r = b - i. Solve 0*m = r*m for m.
0
Let g(m) = m**3 - 6*m**2 - 7*m + 2. Let o be g(7). Suppose 5*a - o*a = 12. Solve a*b - 7 - 13 = 0 for b.
5
Let f(x) = 17*x - 19. Let b be f(2). Solve -b = -7*k + 2*k for k.
3
Let k be 0/1*1/2. Suppose 6*y - 2*y = k. Solve q + 4 = -y for q.
-4
Let b be 20/6*9/6. Solve b*c - 27 = -7 for c.
4
Suppose 1 = 2*i - 3. Solve 2*z - 2 - i = 0 for z.
2
Suppose 80*f - 10 = 75*f. Solve o - f = -o for o.
1
Suppose -11*t = -21*t + 130. Solve t = 4*v + 1 for v.
3
Let v(c) = c**2 - 3*c - 3. Let g be v(4). Let h = g + 0. Let p be 0 + (h - 0 - -2). Solve 8 = -5*y + p for y.
-1
Suppose 6*n = 2*n. Let p(t) = t**2 - t + 2. Let l be p(-3). Solve -5*c + 4 - l = n for c.
-2
Suppose 4*a - 7 = 3*x, a + 0*a = -4*x + 16. Suppose 0 = 2*c + c - x*l, -3*l = -6. Solve -z - 9 = c*z for z.
-3
Suppose 3*l + 0*l = 3. Suppose 4*c - l - 3 = 0. Solve 2*p + c = 3*p for p.
1
Let q = -9 + 11. Suppose 0 = -3*f + q*f + 2. Solve 0 = -a - f for a.
-2
Suppose 2*d + 16 = -4*p, 0 = -5*p - d + 3*d - 20. Let n(w) = -w**3 - 3*w**2 + 4*w + 2. Let o be n(p). Solve -2*i = -i + o for i.
-2
Let k(a) = -a**3 - 6*a**2 + 8. Let q be k(-6). Suppose -2*x = -6, -q = -4*p + 8*x - 4*x. Solve g + p = -4*g for g.
-1
Let o be (-3 - (0 - 1))*-1. Let l be 2*(-4)/16*-10. Suppose -o = l*a - 22. Solve x - 1 = -a for x.
-3
Let q(z) = -z**3 + z - 1. Let m be q(-2). Solve 0*h - m*h = -25 for h.
5
Let m = -22 - -22. Solve m = 7*b - 2*b + 10 for b.
-2
Let i be 1*(-3*40/(-15) - 4). Suppose 0 = -x + 5*x - 8. Solve -x*c + 0 = -i for c.
2
Suppose 2*p = -3 + 11. Suppose 182 - 462 = -p*i. Suppose -7*c + 2*c = -i. Solve c - 2 = -3*r for r.
-4
Suppose s - 3*s = -22. Let t = 45 - s. Let a = t + -19. Solve -2*q - a = q for q.
-5
Let r be ((-2)/(-5))/(2/10). Suppose r = -z - c, 4*z + c = 4*c + 20. Let y be 7/3 - z/6. Solve -y*o + 17 = 7 for o.
5
Let s = -59 - -61. Solve 5*f - 3 - s = 0 for f.
1
Suppose -26 + 16 = 2*q. Let y(m) = -m**2 - m + 1. Let u(x) = -5*x**2 - 8*x + 5. Let o(r) = -u(r) + 4*y(r). Let g be o(q). Solve -4*w - g + 0 = 0 for w.
-1
Let a be ((-72)/(-28))/(3/14). Suppose 4*x + a = -n, -4*x + 3*n = -0*x - 4. Let c = -2 - x. Solve c = 6*d - d + 20 for d.
-4
Suppose 0 = -3*r - 6 + 12. Suppose r*t = 4, 3*t - 1 + 3 = 2*k. Solve g - 5 = -k*g for g.
1
Let w(s) be the second derivative of 9*s**3 - s. Let o be w(-1). Let r be 40/18 + 12/o. Solve -6*c + r*c = -8 for c.
2
Let s be (2 - 2) + -2 - -8. Let i = s + -3. Solve i = -3*l + 9 for l.
2
Suppose 3*v = 9, -3*w - 3*v + 24 = -0*v. Solve -3*h + w*h = -2 for h.
-1
Let w be (-1 - (2 + -2)) + 1. Suppose -4*f + 0*f = w. Solve -4 + f = -n for n.
4
Suppose 2*r - 8 = -2*r. Let l be -6*(0 - 6/(-9)). Let d = l + 8. Solve 0 = 2*u + d + r for u.
-3
Suppose 2*d + d = 0. Suppose -5 + d = -k. Solve w = 2*w - k for w.
5
Suppose w + 2 = -w. Suppose 2*r - 2 = 4. Let v be (-3)/(r*w) + 1. Solve 0 = -v*d - 0*d + 10 for d.
5
Let i(u) = u**2 - 7*u + 8. Let s(x) = -2*x + 2. Let l be s(2). Let t = 8 + l. Let d be i(t). Solve 0 + d = 2*h for h.
1
Suppose -c = k - 5, -c + 2*k + 10 = -4. Suppose 3*n - c = n. Solve 0 = -m + 3*m + n for m.
-2
Let s(m) = -2*m - 25. Let g be s(-14). Solve -2*j = j - g for j.
1
Suppose -13 = 4*f - 37. Solve f*p - 3 = 5*p for p.
3
Let j(d) = 3*d**3 - 35*d**2 + 15*d - 29. Let f(k) = k**3 - 12*k**2 + 5*k - 10. Let m(w) = 17*f(w) - 6*j(w). Let x be m(5). Solve 12 + x = -4*t for t.
-4
Let h = 4 - 7. Let g be (-1 - h - 1)*4. Solve -12 = g*t - 0*t for t.
-3
Let u(m) = -2*m**3 - m - 2. Let x be u(-2). Suppose -2*z - 2*n + 22 = 0, 3*z - 5*z + 7 = 5*n. Let v be z*1*8/x. Solve v = -s - s for s.
-4
Let v be (-2)/(6/3)*0. Solve 0 = -v*b - 3*b - 6 for b.
-2
Suppose 0 = -4*p + 3*n + 24, 4*p - 5 = -2*n + 19. Suppose p = 2*l - 4. Solve -l + 4 = -s for s.
1
Suppose -2*h - h = 0. Solve 0 = -h*r - 3*r - 3 for r.
-1
Let p = 26 + -26. Solve 3*v + v - 12 = p for v.
3
Let q(v) = v**2 + v + 2. Let w be q(0). Suppose -4*s + 40 = -4*m, -5*m + 0*m - 5 = 4*s. Suppose 2*p = 3*i - 1, 0*i - 2*i - 14 = -s*p. Solve -w*c - p = 4 for c.
-4
Let o = -4 - -14. Solve -o = 4*w + w for w.
-2
Let o = 10 + -12. Let b(m) = 