y, -7 = 2*y - 5*x - 2. Solve -3 = -3*r - y for r.
1
Let q(h) = h - 6. Let f be q(7). Let r be f - ((-6)/(-2) - 3). Solve -2*p - r = -p for p.
-1
Let c(s) = s**3 + 4*s**2 - 7*s - 6. Let p be c(-4). Let x = 16 - p. Let k be (-20)/x*(-6)/(-5). Solve 0 = k*a - 4 - 0 for a.
1
Let g(o) = -o**2 + 6*o - 2. Let p be g(5). Solve p*s - 8*s = 5 for s.
-1
Let o(p) = -p + 5. Let s(z) = z - 4. Let u(a) = 2*o(a) + 3*s(a). Suppose 0 = -l - 4*w - 11, -18 - 22 = -4*l + 5*w. Let h be u(l). Solve 0 = -h*d + 3 for d.
1
Let b be ((-4)/10)/(3/(-45)). Let v be 16/3 + (-2)/b. Suppose -2*q + 5*o = -25, q = 6*q + v*o + 25. Solve q*m = -5*m for m.
0
Suppose -4 = 4*f, f = 5*b + 1 - 7. Let a be (-1)/(-1*(1 + 0)). Solve a = s - b for s.
2
Suppose -19 = -3*v - 7. Suppose v*z - 20 + 4 = 0. Solve -2 - 6 = -z*s for s.
2
Suppose -4*i + 24 - 8 = 0. Suppose -i*b + x = -17, 2*b = 2*x - x + 9. Solve 3*z + 5 = b*z for z.
5
Let d(b) = -b**2 - 10*b - 9. Let g be d(-9). Solve 2*p - 3 + 7 = g for p.
-2
Let d be (-2 - (-6)/3)/3. Let w(r) = -2*r - 6. Let k be w(-5). Suppose k = -3*l + 19. Solve l*v + 4 + 1 = d for v.
-1
Let n = 4 - 4. Solve n = -2*b - 2*b + 8 for b.
2
Let j = -80 - -88. Solve f + f = -j for f.
-4
Suppose 0 = -4*b - 2*t, b + 2*t = 4*t. Suppose b = 3*f + 10 - 55. Solve 2*m + 3*m = -f for m.
-3
Suppose 7*v = 4*v + 18. Solve u - 3*u = -v for u.
3
Let g = 20 - 17. Solve -g*c + c = -8 for c.
4
Let x = 103 - 94. Solve -4*i + x = 1 for i.
2
Suppose -5*m - 5 + 15 = 0. Suppose c + 3*q = m*c - 17, c - q = 7. Solve c*t - t - 5 = 0 for t.
5
Let p(g) = -g**3 - 6*g**2 - 6*g - 1. Let t(j) = 5*j + 10. Let v be t(-3). Let i be p(v). Solve i*h = 13 + 7 for h.
5
Suppose 3*c = -2*p - 23, 4*p - p + 32 = -4*c. Let d = -8 - c. Let j = 5 + d. Solve 0 = -5*s - j + 7 for s.
1
Let z = 8 - 1. Suppose -5*o + z*o - 10 = 0. Solve -o = -b - 4*b for b.
1
Suppose 4*a + k - 6*k = -8, 3*a = k + 5. Let u be ((-8)/(-12))/(2/(-3)). Let l = u + a. Solve 0 = l*r - 0 - 4 for r.
2
Let t(c) = -c + 1 + 3 + 5. Let j be t(7). Solve 0 = -n - j*n + 12 for n.
4
Suppose -4 = -4*d - 8. Let l be d + 0/3 - -3. Suppose -l*h - 4 = -4*h. Solve 2*i - 4 = -h for i.
1
Let g(q) = q**2 - 1. Let b be g(-1). Suppose 0 = -4*x - b*x. Solve 1 + x = c for c.
1
Let t be -1 - (3 + -4)*3. Suppose -3*c + 5*r = 4, -7*c + 14 = -2*c + t*r. Solve 0*d = c*d for d.
0
Let z be 5*(-3 - -4) + -3. Suppose -z*b - b = 0. Solve b = p + p + 10 for p.
-5
Suppose 0 = 2*z - 1 - 9. Solve 5*a - z = 6*a for a.
-5
Suppose 0 = -q + 3*q - 10. Suppose 31 = q*f + o - 5*o, 18 = 2*f - 3*o. Solve -9 = -6*b + f*b for b.
3
Suppose 7*u - 2*u - 25 = 0. Suppose 0 = 3*l + 3*g - 6, -3 = g - u. Suppose l*w = -4*w. Solve -2*n + 4*n = w for n.
0
Let l be (5 - 0)*(-6)/(-10). Let g = -5 - 0. Let h = g + 7. Solve h*s + 25 = -l*s for s.
-5
Let f(a) = -a**3 + 4*a**2 + 9*a + 18. Let g be f(6). Solve 3*s + 8 + 1 = g for s.
-3
Let i be (-1 + 19)*2/6. Solve 0 - i = 2*m for m.
-3
Suppose 0 = 3*b - 3 + 9. Let p = b - -5. Solve -8*a = -p*a - 25 for a.
5
Let o = 3 + 0. Suppose 3*g + 5*c - 12 = o, 0 = g - 5*c - 5. Suppose 4*n - n + 4*v = 12, 0 = -5*n + 3*v + 20. Solve -3*h - n = -g*h for h.
2
Let g(p) = 5*p**2 - 1. Let f be g(-1). Solve f = -3*o + o for o.
-2
Suppose -5*l + 4*y = -55, 0*l - 4*y - 40 = -4*l. Solve -2*j = j - l for j.
5
Let y be (-4)/1 - (-8 + 6). Let c be 4 - ((y - -2) + 2). Solve -c*g = 3 + 5 for g.
-4
Suppose -2*y = -3 - 1. Suppose -4*x + 9 = 2*c - 21, 5*x = y*c + 15. Solve -3*m + x = 2*m for m.
1
Let h = -1 - -1. Suppose -2*s - 129 = -4*n - 31, -n + 3*s = -37. Let d = n + -21. Solve -2*i - d + 3 = h for i.
1
Suppose -15 = -4*r - r. Let k be 26*3/6 + 2. Suppose a + k = 6*a. Solve -6*t - r = -a*t for t.
-1
Suppose -4*n = -5*c + n + 30, -5*n = -3*c + 12. Solve 2*z + z = -c for z.
-3
Suppose -4*i = -2*i + 6. Let f = i + 3. Suppose -3*y + y = f. Solve 0 = -y*w - w for w.
0
Let l(z) = z**3 + 4*z**2 + 3*z + 2. Let k be l(-3). Solve -7*t + k*t + 25 = 0 for t.
5
Suppose -4*v - 5 = -3*d - 2, -v - 7 = -2*d. Solve v*u + 5 = -4 for u.
-3
Suppose 4*y - y = -5*k + 291, 3*y - k - 273 = 0. Suppose 0 = -4*x + 92 + y. Suppose -6 = 5*q - x. Solve 0 = -q*f + 3*f - 5 for f.
-1
Suppose -2*f - 2*f = 2*s - 8, 0 = -5*f. Solve s*n - 1 = 3 for n.
1
Let m be 116/14 + (-4)/14. Let x be (m/10)/(2/5). Suppose v + x*w + 6 = 0, -4*v + 5*w + 24 = -2*v. Solve c - 4 = -v for c.
2
Let i = 13 + -9. Let a = -2 + i. Suppose -k - a = -4. Solve d = -k*d for d.
0
Let k = 11 + 1. Suppose -3 = -2*x - 3*l, 0 = 3*x - 3*l + 6 - 3. Suppose -2*j + 3 + 1 = x. Solve 0 = -j*m + 5*m + k for m.
-4
Suppose 4*z + 0*z = -44. Let v = 3 + z. Let a = -3 - v. Solve -r + a*r + 16 = 0 for r.
-4
Let l(v) = -v**3 + 8*v**2 - 2. Let t(u) = 3*u**3 - 16*u**2 + 5. Let m(a) = -5*l(a) - 2*t(a). Let f be m(-8). Solve f*r - 3*r = 15 for r.
-5
Let x(f) = f**3 - 10*f**2 - 10*f - 9. Let s be x(11). Solve -s = -0*y + 2*y for y.
-1
Let s(b) = 3*b. Let n be s(14). Suppose g - o = 10, -g - 3*o = -7*o - 16. Suppose -g = -5*a + n. Solve 2 + a = -3*h for h.
-4
Let d(r) be the third derivative of -r**6/120 - r**5/12 + r**4/6 - 2*r**3/3 + 8*r**2. Let q be d(-6). Solve -q - 8 = 4*h for h.
-4
Let h(t) be the first derivative of -t**4/4 + t**3/3 + t**2 - 3*t - 3. Let o be h(2). Let y be 102/9 - 2/o. Solve 0 = 6*s - 2*s - y for s.
3
Suppose 2*u - 2*s + 17 = 7*u, 0 = 5*u - 4*s - 11. Let m(z) = z**3 - 2*z**3 - 6 + 4*z**2 + 4*z + 0*z**3. Let r be m(4). Solve -u*b + b = r for b.
-5
Suppose -5*z + 52 + 33 = 0. Let x = -13 + z. Solve 0 = x*d - 7*d - 12 for d.
-4
Suppose 1 = 3*u - 6*o + 5*o, -5 = -u + 5*o. Solve u = w - 3 + 5 for w.
-2
Suppose -4*a + s + 9 = -0*a, 0 = a - 5*s + 12. Let c be (-14)/(-5) - a/(-15). Solve 7 = -5*r - c for r.
-2
Let a be (-6)/21 - 72/(-7). Solve -2*h = -0*h - a for h.
5
Let v be 1 - 1/(-1)*2. Let c(f) = -f + 7. Let x be c(4). Solve v + x = 2*n for n.
3
Let u be 2/3 - (-16)/12. Let d be (-22)/(-143) + (-4)/26. Solve -u*n - 2 = -d for n.
-1
Let h(o) = -3*o - 6. Let t be h(-7). Let s(v) = -v**2 + 1. Let q = -2 - -3. Let w be s(q). Solve w*b - t = -3*b for b.
5
Suppose 4*h = -3*r + 25, 0*h + 3*h - 9 = r. Suppose -r*z + 8 = -10. Suppose -5*v = n - 30, -3*v - 97 = n - 5*n. Solve n = f - z*f for f.
-5
Suppose -2*k + 60 = k + m, 5*m + 60 = 3*k. Let n = k - 11. Solve -4*s + 7 = -n for s.
4
Suppose 0 = -3*j - j + 2*a + 6, j - 4*a - 5 = 0. Suppose -g + q = j, 4*q = -4*g + 5*q + 2. Let y = 0 + 0. Solve y = -0*d - d + g for d.
1
Suppose -a - 4*c = 1, -3*a + 4 + 0 = 5*c. Solve 0 = -a*p + 5*p + 10 for p.
-5
Let b(i) = -3*i - 6. Let o be b(-5). Solve 3*z = o + 6 for z.
5
Let n be 3/9*-2*3. Let d be (-6)/15 + n/(-5). Solve 4 + d = -m for m.
-4
Let g(m) = m + 6. Let j(o) = -o**3 + 12*o**2 - 5. Let x be j(12). Let p be g(x). Solve w - 4 = p for w.
5
Let y = 9 + -9. Suppose 6*i = 3*i + 15. Solve -i*m + m + 4 = y for m.
1
Suppose y + 0*y = -p + 10, 5*p = -10. Solve 5*k = k + y for k.
3
Suppose 0*u - 4*u = -84. Let t = u + -1. Solve t = -5*d + d for d.
-5
Let i(u) = -u + 1. Let w be i(1). Suppose -3*b + 2*b + 3 = w. Solve 0 = -b*a + a - 10 for a.
-5
Suppose -4*k = 22 + 10. Let q be 3*(4 - k/(-3)). Solve -o = o + q for o.
-2
Let o = 76 - 72. Solve 0 = -f + 3*f + o for f.
-2
Let g = -59 + 61. Solve -b + g - 3 = 0 for b.
-1
Let d(x) = x**3 - 2*x**2 - 3*x + 3. Let q be d(3). Suppose -4 = -p + 2*o, 2*p - 15 = -3*o - 0*o. Let h(z) = 2*z - 8. Let r be h(p). Solve -q*t = t + r for t.
-1
Let z = -10 + 10. Suppose z*g = 2*g - 20. Solve -g = v - 6*v for v.
2
Suppose 2*s + 5*o - 8 = -0*s, 0 = 4*s + 4*o - 16. Let n = s - 3. Let t be n/3*18/3. Solve t*l + 6 = -l for l.
-2
Let v be ((-4)/(-16)*-1)/(2/(-16)). Suppose 5*m = 3*x + 4*m - 5, -x + 5*m + 25 = 0. Solve x = -2*k - 0*k + v for k.
1
Suppose -j + 2*j + 1 = c, 4*j = -3*c - 4. Solve -2*r = -c*r - 4 for r.
2
Let t be (-42)/(-9) - 3/(-9). Solve t + 0 = -i for i.
-5
Let q(h) = -h**3 - 15*h**2 - h - 11. Let p be q(-15). Solve 0 = p*g + 4 + 8 for g.
-3
Let u(y) = -y**2 + 1. Let h(a) = 6*a**2 - 2. Let d(z) = h(z) + 5*u(z). Let g be d(0). Solve g*q = 6*q + 15 for q.
-5
Let k be ((-2)/4)/((-8)/64). Solve 0 = o - 0*o - k for o.
4
Let p = 16 - 8. Let m = -3 + p. Solve -4*q - m = -5*q for q.
5
Let u(s) = s**2 + 28*s - 21. Let i be u(-29). Solve -5*j - i = -33 for j.
5
Suppose -3*n = -7*n. Solve 5 + n = v for v.
5
Suppose -39 + 7 = -2*a