lve -2*s + x*s = 0 for s.
0
Suppose 17 + 13 = 3*r. Let l = -5 + r. Solve -t + l*t = 0 for t.
0
Suppose -4*v + 5*d + 21 = 4, 4*v - 14 = 2*d. Suppose -3*w + 0*w + 24 = 0. Let g = -2 + w. Solve v*j + g = -6 for j.
-4
Suppose m = -5*q + 13, -5*q - m = -4*m - 21. Suppose 1 = q*o - 2. Let r = o - -19. Solve -3*b + r = -8*b for b.
-4
Suppose -2*x + 1 = -1. Suppose 5*g + 5*z - 8 = 2*z, 0 = 4*g + 3*z - 4. Solve 11 + x = -g*i for i.
-3
Let i(h) = 4*h**3 + h - 9*h - 5*h**3 - 2*h**2 + 12*h**2 - 1. Let t be i(9). Suppose -a - t = -2*z + 1, 3*a = -5*z - 5. Solve c - z = -c for c.
1
Suppose 0 = -3*c - 5*a - 0*a + 19, -c - 3 = -3*a. Suppose 1 = 4*o - c. Let m be 3 - (3/o - 4). Solve 0 + 4 = m*h for h.
1
Let c be -17 - 3*4/(-6). Let r be -5*(24/c)/2. Solve -3*t = t - r for t.
1
Let s be (-2)/6 + 1/3. Let b be (-1 - (-3)/2)*s. Let w = -18 + 30. Solve -3*p + w = -b*p for p.
4
Let a be 0*(-2 - -1)*-1. Let h(c) = c - 2. Let n be h(6). Let s be (n/(-5))/((-3)/60). Solve -2*j - 2*j + s = a for j.
4
Let l(n) = -n - 15. Let p be l(-17). Solve -p*y + 6*y + 4 = 0 for y.
-1
Let k be (-4 - (-6 - -4)) + 6. Suppose 6*q - 16 = 2*q - 4*l, q - 24 = 4*l. Suppose 2*f - q*j + 3*j - 15 = 0, 5*f = -j - 3. Solve k*b + f*b = 12 for b.
3
Let c(a) = -a**3 + 4. Let h be c(0). Let j = -3 + h. Suppose 4*z - z = 0. Solve -m + 4 + j = z for m.
5
Let o = 14 + -7. Let q = o - 7. Solve q*r = 2*r - 6 for r.
3
Let z be 2 - (-2)/4*0. Solve z*b = 5*b + 15 for b.
-5
Suppose -z + 5*g = -29, 3*g - g = -z - 6. Suppose -3*a = -5 - z. Let u be (-1)/a - 125/(-15). Solve -u = -3*f + 4 for f.
4
Suppose 0 = -5*g - 0 + 40. Solve 0 = 5*j - 3*j + g for j.
-4
Let g = 43 - 31. Suppose 6*q - 8*q = -g. Solve q*r - 4*r + 6 = 0 for r.
-3
Suppose 0 = 5*p + 4*l - 30, -6*p + 2*p + 4*l = -60. Suppose 3*d - p = v, 3*v + 2*v + 20 = 0. Solve d*u - 8 = -2*u for u.
2
Let h be ((-88)/(-12) + -4)*12/10. Solve -h*b = -5*b + 5 for b.
5
Let v(p) = p**3 - 9*p**2 + 8*p + 2. Let k be v(8). Solve k = -2*t + 4*t for t.
1
Suppose 0*n + 5*n = 0. Solve -5*g = -n*g + 25 for g.
-5
Let j(y) = y**3 + 8*y**2 + y + 10. Let o be j(-8). Suppose -o*f = -14 - 34. Solve -4*n + 4 = f for n.
-5
Let j(f) = -f + 17. Let z be j(7). Solve 3*r + z + 5 = 0 for r.
-5
Suppose x = -3*x. Solve -t + 2 = -x*t for t.
2
Suppose 3*q - 1 = 2*t, t + 5*q = 3*t + 7. Suppose 0*v + 3*v - 5*i = 22, 4*i - 8 = -t*v. Let w be (-10)/(-45) + 32/18. Solve -2*j + v = -w for j.
3
Let s be 4/(-12)*-3*2. Solve -4*b = -s*b for b.
0
Let y = -4 + 4. Solve -k + y*k = -4 for k.
4
Suppose -119*m + 20 = -115*m. Solve y - 4 = -m for y.
-1
Suppose 24 = 4*u - 4*f, 0*u - 4*f = 3*u - 11. Let w(b) = b**3 - b + 2. Let t be w(0). Suppose -t*q = -6*q - 8, q = -2*n. Solve 3*c - n - u = 0 for c.
2
Let u = 4 - 2. Let v be (3/(-1))/((-2)/u). Solve z + 2 = v for z.
1
Suppose -w - 2*y + 1 = -1, -3*w - 4*y = 0. Let o be ((-8)/3)/((-12)/54). Let d = w + o. Solve -d = -0*c + 4*c for c.
-2
Let p(b) = b**2 + 8*b - 8. Let u be p(-9). Solve -f = -u + 6 for f.
-5
Suppose 3*w - 5*w = -2, 2*j + 4*w = 54. Solve -5*s + 0 = -j for s.
5
Let a be ((-6)/(-15))/((-1)/(-25)). Suppose -3*d - 2*t + 0 - 28 = 0, 4*d + 39 = -3*t. Let y be (a/d)/(1/(-3)). Solve 0 = x - y*x for x.
0
Suppose -3*z = -61 - 254. Suppose -u + 2*w = -2*u + 23, 5*u = -5*w + z. Solve -u = -5*a + 6 for a.
5
Let y(j) = j + 1. Let q(g) = 1. Let z(r) = 2*q(r) - y(r). Let w be z(8). Let i(c) = -c**3 - 6*c**2 + 7*c + 2. Let f be i(w). Solve f*d - 20 = -2*d for d.
5
Let h(u) = 2*u**3 - 3*u**3 + 6 - u - 2 - 2*u**2 + 6*u**2. Let f be h(4). Solve f = -4*s + 2*s + 10 for s.
5
Let z(j) = j + 4. Let u(a) = a + 2. Let g be u(-6). Let v be z(g). Let q = 2 - v. Solve -r = -q - 2 for r.
4
Let i(c) = -6*c - 10. Let q be i(-3). Solve 5*s = 9*s - q for s.
2
Let s be 60/50*10/4. Solve -6*z = -s*z for z.
0
Let r(s) = 2*s**3 + 2*s**2 + 2*s - 3. Let z be r(1). Solve z*v = 20 - 5 for v.
5
Suppose 9*l - 4 = 8*l. Suppose -6*r + 8*r - 41 = -5*t, 0 = 2*r + 4. Suppose -4*n - t = 3*p, -l = -n + p - 1. Solve -d = -n*d + 5 for d.
-5
Let q be (-170)/8 + (-4)/(-16). Let i = q + 21. Solve l = -i*l for l.
0
Let u = 1 + -1. Suppose -4*v - v + 20 = u. Solve v*b - b = -12 for b.
-4
Let v(i) = 2*i - 5. Let p be v(3). Solve n + 1 = -p for n.
-2
Suppose 4*h + 8 = 0, 0*h + 50 = 3*n + 5*h. Solve -5*r + n = -r for r.
5
Let o = -2 - -3. Suppose 0 = -3*u + 41 + 1. Solve 3*h - u = o for h.
5
Let a(t) = 3*t - 23. Let z be a(11). Solve -5*g = -z*g - 25 for g.
-5
Suppose -5*p + 4*p + 3 = 0. Suppose -x = -p*x + 10. Solve -d - 16 = -x*d for d.
4
Let r be 5/30 + (-793)/6. Let t be 4/(-6) - r/9. Solve -t = 5*i + 1 for i.
-3
Let x(n) = -n + 3. Let y be x(-3). Let c(s) = 5*s - s**2 + s**3 - 7*s - 2*s**2 + 5 - 6*s. Let l be c(5). Solve -l = 3*u - y*u for u.
5
Let n(z) = -z + 13. Let b(l) = -l + 14. Let x(u) = 3*b(u) - 2*n(u). Let t be x(12). Solve -t*k - 30 = -10 for k.
-5
Let i(t) = -t + 12. Let q be i(7). Solve -q*u + 21 + 4 = 0 for u.
5
Suppose 4*r + 2 = -5*y + 25, -5*r + 4 = -2*y. Solve 4*f = r*f + 6 for f.
3
Let o(y) = y. Let x be o(5). Suppose -c - 7 = -u, 5*c = -3*u + x - 24. Solve -3*i + 1 = -u for i.
1
Suppose -30 = 4*n + 14. Let y = -8 - n. Let k(p) = -p**2 - 8*p + 13. Let i be k(-9). Solve i*j - y*j - 1 = 0 for j.
1
Let z(s) = -s + 6. Let n = -5 + 8. Let t be z(n). Let d = t + -1. Solve -x = d - 4 for x.
2
Let o(a) = a**3 + 7*a**2 - 2*a - 10. Suppose 0 = 5*p - p + 28. Let m be o(p). Solve -m*l + 1 = -7 for l.
2
Let r = -7 + 12. Let n = 8 - r. Suppose -5 + n = -v - y, -3*v - 5*y + 10 = 0. Solve -4*w = -v + 16 for w.
-4
Let a(m) = 2*m**3 + 14*m**2 - 18*m - 12. Let w be a(-8). Solve -5 - 3 = w*j for j.
-2
Suppose 0 = -p + 11*p - 130. Solve 0 = 3*r + p - 1 for r.
-4
Let p(n) = -n**2 + 5*n + 5. Let f be 1/((-74)/24 + 3). Let l be (-58)/f - (-2)/12. Let k be p(l). Solve 5 + 0 = k*y for y.
1
Suppose p - 5*r - 3 - 8 = 0, 0 = -5*p + 4*r + 34. Solve -b = -p*b - 5 for b.
-1
Let m(i) = i**3 - 8*i**2 + 12*i + 6. Let t be m(6). Solve v - t*v = 0 for v.
0
Let o(f) = f**2 - 4*f + 4. Let b be o(4). Suppose -a = b*z - 20, -a = a - 3*z - 51. Suppose 3*d + 6 = a. Solve h + 5 = d*h for h.
1
Let y(b) = -2*b - 10. Let j be y(-7). Solve 7*o + j = 3*o for o.
-1
Let h = 3 - -2. Suppose -2*k + 8 = -2*z, 2*k - z = -h*z + 14. Solve -k*g + 1 = -4*g for g.
1
Let b(k) = k + 7. Let y be b(-2). Solve 4 = y*j - j for j.
1
Let g(o) = 3*o + 20. Let w be g(-5). Solve -w = -2*c - 3 for c.
1
Suppose 20*a = 25*a - 10. Solve -1 - 9 = a*r for r.
-5
Let w be (7 - 2) + (1 - 0). Let d be (-4)/3*(-9)/6. Solve -d*b = 2 - w for b.
2
Let b = -8 - -10. Let y = b + 1. Solve m + y*m = 0 for m.
0
Suppose -5*g + 34 = -2*n, -2*g = -4*g + 5*n + 22. Let b = g + -4. Solve -b*t - 3*t = 25 for t.
-5
Let f be 9/2 - 1/2. Suppose f*n = r - 3*r, 0 = -4*n - 8. Suppose 0 = r*b - 0*b - 12. Solve b = -2*k + 9 for k.
3
Let u = -19 - -27. Suppose -5*n + u*n - 6 = 0. Solve c - n = -0*c for c.
2
Let i(t) = -3 + 3 + 7 - t + 2*t. Let u be i(5). Solve 3*b - u = 3 for b.
5
Let f(z) = z**3 + 5*z**2 + 5*z + 4. Let a be f(-4). Solve x - 2*x = a for x.
0
Let a(g) = g + 4. Let p be a(0). Suppose 5*q - 3*z = 19, 13 - 33 = -2*q - 5*z. Suppose 0 = -q*m + 45 - 15. Solve m + 2 = p*x for x.
2
Let v(f) = -6*f - 5*f + f. Let j be v(2). Let y be 12/j - (-56)/10. Solve -16 = -y*l + l for l.
4
Suppose -2*g - 5*y + y = 6, 3*g - 2*y + 41 = 0. Let x = g + 11. Solve x = h - 4 - 0 for h.
4
Let x = 10 + -8. Solve x*d + 3 - 1 = 0 for d.
-1
Let u = -12 + 20. Solve -3*h = -7*h + u for h.
2
Let b = -46 - -66. Solve 5*m = m - b for m.
-5
Suppose -9*j - 14 = 3*z - 4*j, 22 = z - 5*j. Solve -z = -2*n + 2 for n.
2
Let h = -4 - -6. Suppose 2 = -j, -2 = a + 3*j + h. Solve 0 = -a*v + 5*v for v.
0
Let r = 20 + -8. Solve 3*v - 3 = r for v.
5
Suppose 3*l - j - 14 = 0, 15 = -3*j - 0*j. Suppose d + 3 = 4*k + 2*d, -3*k + l = d. Let u = k - 0. Solve u = f - 3 for f.
3
Suppose 5*x = 4 + 11. Let d be 4 - x - (-5 - -1). Solve -5*o + d = -4*o for o.
5
Suppose 0*n - 9 = -3*n. Suppose 4*s + n*v + 5 = 7, 6 = s - 2*v. Suppose -3*x - 72 = -3*p, -6*x + x = -2*p + 60. Solve -2*j = s*j - p for j.
5
Suppose -16 = -2*n - 10. Solve -n*j = -3 + 6 for j.
-1
Let g be -2 + (-12)/(-1 + -2). Solve 0*j + g*j = -8 for j.
-4
Let y be (-714)/(-18) - (-1)/3. Suppose -15 = 5*k - y. Let s = k + -3. Solve 3 + s = 5*b for b.
1
Let i(q) = q