r k.
2
Let i = -8 + 12. Solve 2*w = -2*w + i for w.
1
Let i(s) = s. Let o(v) = -v + 1. Let u(q) = -5*i(q) - 3*o(q). Let g be u(-6). Suppose 0 = 5*j - 3*c - g, -4*j - 5*c = 15. Solve j = 5*k - 0 + 10 for k.
-2
Let y = 33 - 28. Solve 0*t + y = t for t.
5
Let k(q) = q**2 + 8*q + 6. Let n be k(-8). Let v = -3 + n. Suppose 5*b = 2*u + 12, -3*b + v*u = -2*u - 11. Solve b*c + 1 = -3 for c.
-2
Suppose -u + 5*d + 6 = 33, -d = 5*u + 31. Let v = -2 - u. Suppose -3*s - 100 = -7*s. Solve v*m + 0*m + s = 0 for m.
-5
Let p(j) = -3*j - 5. Let y be p(-4). Suppose 3*c = -3*m + 3, 3*m - 21 = 5*c + 6. Solve m*a + y - 19 = 0 for a.
3
Suppose 0 = -2*g - 4*m + 2 + 10, -5*m = -g - 8. Suppose 3*b - 10 = -g*b. Suppose -2*u = -b*l + 5 + 1, -14 = -4*l + 2*u. Solve 1 = -p - l for p.
-5
Let w = 3 - -3. Solve 2*x + 2 = -w for x.
-4
Let k(g) = -g**3 + 14*g**2 - 2*g + 31. Let p be k(14). Solve -p*q = -0*q + 3 for q.
-1
Suppose -5*f + 136 - 11 = 0. Solve p + f = 6*p for p.
5
Let h be 0 + (-10)/(0 + -2). Suppose 3*n - 17 = -y, 4*y + 24 = 3*n + 2. Let d be -8*((-21)/n + 1). Solve -5*l = d + h for l.
-5
Let q(x) = -x**2 - 6*x. Let c be q(-6). Let d = 2 - c. Solve -d*o = 3*o + 15 for o.
-3
Suppose b - 3*i = -5, 3*b - 3*i + 4*i = 15. Solve -m - b = -2 for m.
-2
Suppose 16*m = 20*m + 68. Let p = m + 29. Solve 0 = 5*k - p + 32 for k.
-4
Let v be (-46)/(-14) + (-2)/7. Suppose -v*f - f = -12. Solve 4 = f*z - 2*z for z.
4
Let l(s) = s**3 - 9*s**2 - 9*s + 15. Let y be l(10). Solve -y = -0*k + 5*k for k.
-5
Suppose -2*h + 5 = 3*f - 3*h, 1 = -f + h. Solve -2*m + f*m = 2 for m.
2
Let m = 7 - 0. Let v be 3*-1 + m/1. Solve 16 = -0*u - v*u for u.
-4
Let b(c) = -c + 8. Let o(j) = -j**2 + 8*j. Let l be o(7). Let y be b(l). Suppose -2*p + 1 = -7. Solve p*a - 3 - y = 0 for a.
1
Let y be 52/20 - 2/(-5). Suppose -4*b + y*l - 10 = 14, 3*b + 5*l + 18 = 0. Let u = b + 8. Solve u*w - 6 - 4 = 0 for w.
5
Let u be (2 - 0)*(-3)/(-2). Suppose -5*k + 51 - 19 = u*o, -k = -5*o + 16. Solve o = -3*w + 1 for w.
-1
Let x = 14 - 10. Suppose -2*w = -2 + 6. Let s be 12 - x - (-6)/w. Solve -10 = -s*b - 0 for b.
2
Let m = 1 + 0. Solve -d - m + 0 = 0 for d.
-1
Let b be (-8*(0 + 1))/(-1). Let w be 1 - 1/(2/(-14)). Let c be 1/(4 + -2)*w. Solve c*d = 2*d - b for d.
-4
Let n = 45 + -42. Solve 0 = -n*l + 4 - 1 for l.
1
Suppose 0 = 7*i + i - 24. Solve -1 = i*k + 2 for k.
-1
Suppose 0*d - 3*d = -4*z + 12, 2*d = -3*z + 9. Solve -3*c - z = -12 for c.
3
Suppose -q = -7 + 3. Suppose t - q*w = -0*t + 35, 4*w - 10 = -2*t. Solve -2*l + t = l for l.
5
Suppose -m + 0*m + 5 = 0. Solve 0 = 5*q + m for q.
-1
Suppose 3*d + 20 = 8*d. Solve 0 = b + d*b - 25 for b.
5
Let o = -5 - -7. Suppose -3 = -o*b + 3. Solve 0 = b*w + 10 + 5 for w.
-5
Suppose -2*g - 9 = -5*g, -4*f + 4*g - 20 = 0. Let y be ((-9)/6)/(f/4). Suppose -4*u + 4 = -y*m, -9 = -5*m + 3*u - 1. Solve 6 + m = -2*b for b.
-5
Suppose -6 - 8 = 2*s. Let b = -3 - s. Solve b*v + 6 = v for v.
-2
Let m be 2/(-4)*(-1 + -3). Solve -8 = m*q - 6*q for q.
2
Suppose 2*q - 5 = -2*l + 1, 0 = -3*q + 3*l - 9. Solve -5*t - 4 - 11 = q for t.
-3
Let k be (-5)/3*(-12)/10. Solve w + k*w = 0 for w.
0
Let x(i) = -i**3 - 3*i**2 - 4*i - 2. Let t = -3 + 1. Let m be x(t). Suppose m*g - 3 = g - h, g + 1 = -5*h. Solve 0 = -g*r + 4 for r.
1
Let z(d) = -d**3 - 2*d**2 - d + 1. Let g be z(-2). Suppose -2*o - 5*c = 2 + 9, 0 = -3*o - g*c - 3. Solve -2 = o*m - 0 for m.
-1
Let k be (-4)/6*12/(-8). Let f(b) = 6*b**2 - b + 1. Let c be f(k). Let z be 13 - 3/c*2. Solve -4*s + s = z for s.
-4
Suppose 11 = -4*m + 51. Solve 4*c - m = -2 for c.
2
Suppose 4*d = -d + 30. Solve -2*p = p - d for p.
2
Let o(f) = -3*f - 3. Let c be o(-2). Suppose y - 4*y + 9 = w, -3*w = y - 3. Suppose u + 3*x - 36 = -15, u = 3*x + y. Solve c*r + u = -r for r.
-3
Let u = 31 + -27. Suppose 36 = 2*n + u*n. Solve n*a = 3*a - 12 for a.
-4
Let s be -3*4/8*-2. Solve 4 - s = -h for h.
-1
Suppose 4*a = -4*b - 0*b, -5*b + 5*a + 20 = 0. Suppose 0 = -s + b*s + 10. Let f be (-44)/s - (-6)/(-15). Solve 5*n + 21 = -f for n.
-5
Let r(b) = 7*b**3 - 4*b**2 - 11*b - 6. Let m(q) = -4*q**3 + 2*q**2 + 6*q + 3. Let x(g) = -5*m(g) - 3*r(g). Let t be x(3). Solve 0 = 5*d + t + 22 for d.
-5
Let y be (30 + -10)*(-2)/(-8). Solve y*j = j + 4 for j.
1
Let f be (-15)/(-9)*12/10. Solve 0*h + 4 = -f*h for h.
-2
Let z(m) = 9*m - 2*m - m**3 + 10 + 5*m**2 + 2*m**2. Let o be z(8). Let i be 2 + 0 + 0/(-1). Solve 12 = -i*w - o*w for w.
-3
Suppose 5 = 2*g - 7. Solve 5*y = 2*y + g for y.
2
Let k(f) = -f. Suppose -3*v - 3*x = -8*v + 8, 4*x = 2*v + 8. Suppose 2*t + t - 3 = -3*h, -28 = 4*h - v*t. Let p be k(h). Solve l - 4 = p*l for l.
-2
Let p = 12 + -9. Let g(b) = -3*b - 3. Let d be g(-2). Solve -p = -d*x + 2*x for x.
3
Suppose -p - p + 2 = -4*o, 2 = 5*o - 4*p. Let i be (-372)/(-9) + o/(-3). Let f be (-4)/(-6)*i/4. Solve f + 5 = 4*g for g.
3
Let g(a) = -a**3 - 8*a**2 + 2*a - 5. Let c be g(-8). Let o be (-10)/(-14) - 6/c. Solve -2*r - 1 = o for r.
-1
Suppose -a + 2*w = -13, 3*a = -4*w + 3 - 14. Solve -2*u = 5 - a for u.
-1
Let x be (-12)/(-90) + (-58)/(-15). Solve -b = -x*b for b.
0
Let l(a) = 0 + 2 + 2 + 5*a - a**2. Let g be l(5). Solve -6*b + 8 = -g*b for b.
4
Let t be 2/(7/2 + -3). Suppose t*n - 3*n + 1 = 0. Let x = n + 8. Solve -4*v + 6 = -x*v for v.
-2
Let g be 14/77 - (-128)/22. Suppose -5*s + g = -2*s. Solve 0 = n + s for n.
-2
Let w(n) = -n. Let i(t) = -19*t**2 - 2*t + 1. Let l be i(1). Let y be 2/8 + 65/l. Let f be w(y). Solve f*j - 3 = -0 for j.
1
Let a(h) = 1 + 1 + h**2 - 2*h + 1. Let o be a(2). Let v be 3*o*12/27. Solve -m - 12 = -v*m for m.
4
Suppose p - 2*p + t = -21, -95 = -5*p - 5*t. Suppose 4*s - s + p = 5*u, -u = 2*s - 4. Solve 0 = -u*y + 3*y for y.
0
Suppose 2*k + 3*k = -25. Let j = 13 + k. Solve -4*q + j = -8*q for q.
-2
Suppose 3*q - 2 = 4. Let v be q/((-1)/((-6)/(-4))). Let y be 1/(v/(-6)) + 1. Solve -y*w = -6 - 0 for w.
2
Let k = 43 + -84. Let m = k + 60. Solve 3*u = 4 - m for u.
-5
Let f be ((-7)/(-14))/(2/8). Let q(x) = x**f - 4*x - 6 - x + 1. Let i be q(6). Solve 0 = -3*s - i - 5 for s.
-2
Let l(t) = -4*t - 3. Let p be l(-2). Let v be 82/4 + 2/(-4). Suppose -3*f - 3*b = 15, -3*f = b - p*b - v. Solve -s = -2 - f for s.
2
Let i(s) = 2*s - 5*s**3 - 3*s + 3*s**3. Let v be i(-1). Suppose j - 24 = -v*j. Solve -5*c - j = -3*c for c.
-3
Let h = -8 + 11. Suppose 0 = r - 4*r + 45. Solve -h*y + 0*y - r = 0 for y.
-5
Let q(f) = -f**3 - 7*f + 7*f + 10*f**2 + 5. Let r be q(10). Solve -r = 2*s - 3*s for s.
5
Let l be (16/14)/((-4)/(-14)). Suppose l*s = s + 156. Suppose -2*u + u = -k - 14, k = -5*u + s. Solve 9 = -4*r - u for r.
-5
Let f be 39/6 - 1/2. Let v = f - 1. Solve v*t = -20 - 0 for t.
-4
Suppose -22 + 34 = 4*s. Solve -3*g = -6*g + s for g.
1
Let k(q) = -1 - q + 2 - 3. Let u be k(-4). Suppose 3*i + 12 = 3*n, -3*i + 3 = 15. Solve u*s = -n*s for s.
0
Let p be 13 - ((-2)/(-1) - 4). Let w = 6 - -1. Let q(c) = -c + 4. Let r be q(0). Solve -r*n = -w*n + p for n.
5
Suppose 6*i = 2*i + 8. Let g be 0 - i - -3 - -1. Let a be ((-5)/15)/((-1)/9). Solve a*l - g = 13 for l.
5
Let o(h) = -h - 2. Let i be o(-5). Solve i*u + 12 = -0*u for u.
-4
Let r = -11 - -11. Suppose r = -s - 3*t + 1, -6*t + 4*t + 4 = s. Solve 4*i + s - 30 = 0 for i.
5
Let l = 5 - 1. Suppose -l*b + 5*k + 21 = 0, -2*b - k + 6 = k. Solve 0*w = w + b for w.
-4
Let r(i) = -i**2 + 1. Let u be r(-1). Solve 2*q + 3*q - 15 = u for q.
3
Suppose 0 = -11*o + 14*o - 18. Solve o*z = 8*z - 8 for z.
4
Let c be 4/22 + -1 + (-42)/(-11). Solve -d + 0 = c for d.
-3
Let b be (-4)/(-22) - 155/(-55). Suppose 2*t - 6 = -5*y - 23, -3*y = b*t + 3. Solve t*m + m = 0 for m.
0
Suppose -4*k - 8 = 4*c, k - 3*k - 5*c = 7. Let r be 6/(-2) - (k + -2). Solve 0 = -3*v - r*v + 3 for v.
1
Let p(g) = g + 19. Let y be p(-17). Let a(s) = s**3 - 2*s**2 + 3*s - 2. Let r be a(2). Solve y*w + r = -2*w for w.
-1
Let y(q) = -q**3 - 6*q**2 + 5. Let v be y(-6). Let i(t) = t**3 + 3 - v*t**2 - 2*t + t**3 - 4*t - t**3. Let j be i(6). Solve -1 = d + j for d.
-4
Let l(k) = -k + 8. Let r be l(4). Solve 3*f + 5 = -r for f.
-3
Suppose 5*q + 4 = -4*t + t, -2*t = -4*q - 34. Suppose -7 = z - 3*o, t = -6*z + z + o. Let d = z + 5. Solve d*r = 7 + 1 for r.
2
Let f(u) = -u. Let h(z) = z - 10. Let b be h(6). Let x be f(b). Suppose -4*g + 1 + 7 = 0. Solve x*a = g*a for a.
0
Suppose 2 