x*u + 8 for u.
-2
Suppose 0 = t - 6*t. Let k be t/((-1)/(-2)*-4). Solve 2*j - j = k for j.
0
Let f(q) = q**2 - 8*q - 6. Let x be f(9). Solve -x*m + 8*m - 10 = 0 for m.
2
Let p(z) = -z**2 - 20*z - 13. Let r be p(-19). Solve -4*t - r = -t for t.
-2
Let i(n) = 3*n - 42. Let h be i(15). Solve 0 = -4*s + h + 5 for s.
2
Let a = 23 - 20. Solve a*k + 0*k = 0 for k.
0
Let n(u) = -u + 6. Let r(a) = -2*a + 12. Let z(i) = -7*n(i) + 4*r(i). Let v be z(4). Solve -v*g = -0*g + 2 for g.
-1
Let b(m) = m + 12. Let z be b(-10). Solve -2*t - z = 8 for t.
-5
Suppose -5*t = -2*t - 6. Suppose t*b - b = 5. Solve 0 = 2*c - b*c - 9 for c.
-3
Suppose 10 = 5*c + 5*x - 5, 0 = -3*c + 3*x - 3. Let b(i) = 9*i**2 - i + 1. Let s be b(c). Solve -6*g - s = -3*g for g.
-3
Suppose 2 = 2*n - 8. Solve -2*s - 3 = -n for s.
1
Let a(d) = 9*d - 4. Let i be a(1). Solve -i*q = -5 - 0 for q.
1
Suppose -3*l + 6 = -3*o, 4*l - 26 = 2*o - 7*o. Solve -3*m = -2*m - o for m.
2
Let m be -1 + (2/(-1))/(-2). Suppose m = 2*s - 5 - 3. Suppose -v = -5*i - 0 - 10, 2*v + 6 = -3*i. Solve -s*l + v*l = 20 for l.
-5
Suppose 8 - 23 = -3*l. Solve 5 = -l*v - 15 for v.
-4
Suppose 2*l - 5 + 7 = 0. Let m be (-13)/(-3)*3 - l. Solve 4*u - m - 2 = 0 for u.
4
Suppose -3*y + 14 = 8. Solve -y*g + 6*g + 8 = 0 for g.
-2
Let a be (-13)/65 + 16/5. Solve -a*c = c for c.
0
Let j = 13 + -9. Suppose j + 4 = 2*v. Solve -25 + 5 = v*c for c.
-5
Let d be 21/56 - 13/(-8). Solve -7*i + d*i = -25 for i.
5
Suppose 3*u + p = 0, 1 = u - p - 3. Let g = 4 - u. Solve -g*v = -v for v.
0
Let u be 16/(-3*2/6). Let q be u/2*3/(-4). Solve z - q = 4*z for z.
-2
Let p = -27 + 31. Solve 0 = -2*t + t + p for t.
4
Suppose 5*x + 3*o = 52, 20 = 2*x + 3*x - 5*o. Solve -b + 5*b = x for b.
2
Let t = 169 + -165. Solve t*z = -3 - 5 for z.
-2
Suppose -3*r - 3*d = 1 + 2, 5*d = 5*r - 45. Let l be (r/6)/(8/(-12)). Let t be 0/1 - (l - 1). Solve 2*j = -t*j + 8 for j.
2
Suppose -6 = -4*o + 14. Let a be (-1)/o*3*-5. Let j(v) = v + 8. Let p be j(-8). Solve a*n - 15 = -p*n for n.
5
Suppose j - 1 = 4*j - 2*p, -2*j - 5*p = -31. Suppose -9 = -j*s - z + 3, -z - 8 = -s. Solve 0*l = s*l for l.
0
Let n = -2 - -6. Suppose -2*i - 2*c + 8 + 6 = 0, 0 = 4*i + c - 19. Suppose 0*t - n*a + 20 = i*t, -10 = 5*a. Solve 2*f = -1 + t for f.
3
Let y = -124 - -135. Solve 0 = 9*b - y*b - 6 for b.
-3
Suppose -2 = -g + 3. Let w(c) = c**3 + 8*c**2 + 7*c - 8. Let p be w(-7). Let i = -8 - p. Solve 2*x - 3*x + g = i for x.
5
Let q(i) = -i**2 + 5*i - 1. Let z be q(6). Let o = z + 11. Suppose -2*v + 3*r = -v - 15, 0 = -r - o. Solve 1 = v*y - 2 for y.
1
Let c(q) = -1. Let v(f) = -2*f + 2. Let s(w) = 3*c(w) - v(w). Let o be s(3). Let h(d) = d. Let u be h(0). Solve -o = -l - u for l.
1
Suppose -4*v - 4 = -0. Let k = v - -2. Solve k = -x - 1 for x.
-2
Let k(y) = y**3 + 6*y**2 + y + 10. Let n be k(-6). Solve n*h + h = -5 for h.
-1
Let i(d) = 2*d**3 - 10*d**2 + 12*d. Let k(p) = -5*p**3 + 29*p**2 - 35*p - 1. Let u(m) = 8*i(m) + 3*k(m). Let j be u(-8). Solve 0 = -j*y - 8 - 12 for y.
-4
Suppose 2*h + 3 = 13. Suppose -3*v + 0 = -h*m + 17, 4*m - 12 = 2*v. Let a be (-4 - 0)/(8/v). Solve 4*f = a + 6 for f.
2
Let s = -6 - -8. Suppose 4 + 0 = s*v. Solve 2*k - 8 = v for k.
5
Let i = 20 + -20. Let z = i + 8. Solve -v - v = z for v.
-4
Let c(z) = z + 4. Let g = -4 - -6. Let a be -2*(-2)/(-4)*g. Let h be c(a). Solve h*b = b for b.
0
Let y be 297/63 - (-4)/14. Solve -7 = x - y for x.
-2
Let f be (-2)/3 + (-28)/(-6). Let s be (4 + -5)/((-1)/f). Solve 0 = -s*m + 3*m - 2 for m.
-2
Suppose 2*u + 5*o - 4 = 0, -o - 68 = -4*u + 4*o. Solve m = 4*m - u for m.
4
Suppose 0 = 2*y + y - s - 6, 0 = 2*y - 2*s. Let z(m) = 2*m + 8. Let d be z(-5). Let t be (d + y)/(1/2). Solve -t*n + 3*n - 2 = 0 for n.
2
Let p(r) = 2*r**2 + 2 - 1 - 24*r**3 - 2. Let v be p(-1). Suppose 0 = -5*n + 28 + 2. Solve -a = -n*a + v for a.
5
Suppose 10 = 5*r + 5*s, 2*r + 2*s - 4 = 4*r. Let m be 8/10*10/2. Solve r = -3*k - k - m for k.
-1
Let n = 7 + -7. Solve n*i = 5*i - 15 for i.
3
Suppose 2*c - 4 = -0, 3*c = -2*u + 20. Solve u = 4*o + 19 for o.
-3
Suppose n - 15 = -2. Suppose n = -f + 4. Let q(z) = z**3 + 9*z**2 - z - 6. Let p be q(f). Solve -b = -p*b - 10 for b.
-5
Suppose -3*s - 2 = -u - 4*s, 0 = u + 2*s - 7. Let q be 0*(-1)/u*3. Let i be -2*(0 - 1) + q. Solve -5*h - 6 = -i*h for h.
-2
Suppose -4*d - 2*f + 2 = f, -4*f - 8 = 0. Let q = -27 + 15. Let m be q/6*(-7 + 0). Solve -d = -4*w + m for w.
4
Let p be 4/(-4) + -2 + 7. Let u(l) = 4*l + 2. Let a be u(p). Solve 3*f + 6 - a = 0 for f.
4
Suppose 2*v + 46 = 56. Solve v*c - 18 = -3 for c.
3
Let k(x) = -x**3 + 6*x**2 + 2*x - 8. Let n be k(6). Let i be 42/12 + 2/n. Solve -v = -i*v for v.
0
Let u(q) = -10*q + 8. Let r(z) = z - 1. Let g(s) = 18*r(s) + 2*u(s). Let y be g(-3). Suppose -3*i - 1 = -4*j - 3, y*j - 10 = -3*i. Solve -2*o - i*o = 4 for o.
-1
Let i = 168 + -165. Solve 0 = -l - i + 8 for l.
5
Suppose -4 + 0 = -o. Solve 0 = -0*c + o*c - 20 for c.
5
Suppose -18*n + 27*n = 45. Solve -4*j = n - 1 for j.
-1
Let w(t) = -t**2 - 1. Let k(l) = -2*l**2 + 3*l - 3. Let z(r) = -k(r) + w(r). Let q be z(3). Solve 5*s + q = -18 for s.
-4
Let u(h) = -h**3 + 13*h**2 + 2. Suppose -3*x + 11 + 28 = 0. Let f be u(x). Suppose 0 = -2*i - f*i + 4. Solve 2*q = i + 3 for q.
2
Let b = 5 + -6. Let k be ((-14)/4 + b)*4. Let a be (k/7)/((-4)/28). Solve -2 = -4*s - a for s.
-4
Let l be -1 - (-2)/2 - -2. Let v be (11/(-33))/(1/(-3)). Solve v = -l*d + d for d.
-1
Suppose -3*t - 3*x = -0*t, 3*t - 2*x + 10 = 0. Let k be -1 - (-2 - t) - -2. Let p be (0 + 7)*(2 - k). Solve a = -2 + p for a.
5
Let g = -16 - 0. Let k = 36 + g. Solve 0 = a + 3*a - k for a.
5
Let y be 32/6 - 6/(-9). Let n be y/(6/2)*-2. Let u = n - -4. Solve -2*a - a + 15 = u for a.
5
Let d(x) = -x - 6. Let u be d(-6). Solve u*w - 5*w = 0 for w.
0
Let f = 10 + -8. Suppose 0 = -4*z + 12, f*y + 3 = 6*y + z. Solve y = k + 4*k + 5 for k.
-1
Let m(q) be the first derivative of q**3/3 - 5*q**2/2 + 5*q - 1. Let h be m(4). Solve -2*r + 3*r = h for r.
1
Let h(r) = -r - 5. Let f be h(-12). Suppose w + 0*g - 13 = g, -2*g - 56 = -5*w. Let d = w - f. Solve -2*t - 5 - d = 0 for t.
-4
Let l(p) = p - 1. Let o = -5 - -8. Let g be l(o). Suppose 4 = g*x - x. Solve -x = -0*y + 2*y for y.
-2
Suppose -3*y = 2*y + 4*q - 30, -3*y - 14 = -4*q. Solve 0 = 5*z - y*z + 6 for z.
-2
Let f(p) = -5*p - 2. Let l(m) = 9*m + 3. Let u(y) = -7*f(y) - 4*l(y). Let i be u(0). Solve i*q + q = 0 for q.
0
Suppose -2*b = 16*b - 72. Solve -8 = b*g + 4 for g.
-3
Let j = 4 - 2. Let b = j + -6. Let c = -1 - b. Solve 10 = -c*y + y for y.
-5
Suppose 0 = 16*x - 18*x + 4. Solve 3 - x = i for i.
1
Let w be -2 + 5 - 2/(2 + 0). Solve -o = 3 + w for o.
-5
Suppose c + 2 = -4*c - 2*i, -c + i + 1 = 0. Solve c*n + 3*n - 12 = 0 for n.
4
Let d = -55 - -29. Let q = d + 29. Solve u - q*u + 4 = 0 for u.
2
Let l(v) = v**3 - v**2 + v. Let g be l(0). Solve 0 = -g*h - 3*h + 12 for h.
4
Let u be (-4)/(-14) - (-10)/14. Let s be (-1 + -4)*(-2 + 1). Let f be 2/s*u*10. Solve 0 = 2*i - f + 8 for i.
-2
Suppose 5*k = -0*k + 25, 5*i = -3*k + 35. Solve 0*z + 20 = i*z for z.
5
Let o be (2/1)/((-2)/(-3)). Suppose -5*n - 3*d = -5, 3*n + 6 = -3*d + o. Suppose n*u - 5*t = 35, t - 4*t - 19 = -2*u. Solve y + 0 = u for y.
5
Let p be 45/(-27) + 11/3. Suppose 7*u - 2*u = 2*b + 36, 36 = 4*u - 4*b. Solve p*i - u = 4*i for i.
-3
Suppose 18 = -2*l + 4*l. Let k = 2 + -4. Let q(s) = -s**3 - 3*s**2 - 2*s + 1. Let c be q(k). Solve -c = -2*m + l for m.
5
Let r = 20 - -1. Suppose 4*l - r - 3 = 0. Solve l = -0*i + 3*i for i.
2
Suppose -3*v - u + 32 = 0, -3*v + u + 4 + 18 = 0. Let d be v/(-3) + 1 + 2. Solve -2 = y - d for y.
-2
Suppose -10 = -3*d + 5. Solve 15 = 4*w - d for w.
5
Let d = -9 + 12. Suppose 2 = -d*x + 5. Solve -2*l - x = -l for l.
-1
Let b(q) = q**2 + 5*q - 3. Let k be b(-6). Solve x + k*x = 0 for x.
0
Let j = 56 + -38. Suppose -j = -2*t - t. Solve t*i + 8 = 4*i for i.
-4
Suppose 4*f - 15 = -3*x, -f = -5*x + f - 1. Solve 3*g - 14 = x for g.
5
Let x be (25/15)/((-4)/(-12)). Solve -x*g + 2*g = 3 for g.
-1
Let o be ((-2)/4)/((-5)/10). Let j be (23 - o) + 3 + -4. Solve -j = -5*p - 1 for p.
4
Let h(z) = -3*z**2 - 6*z - 1. Let l be h(-1). Let y(u) = u**2 + 5*u + 4. Suppose -4*a - 24 = n, 5*a = -4*n - n - 45. Let x be y(a). Solve -l*f - x = -2 for f.
-1
Let k(z) = 2*z**2