lve -k*a = s*a + 5 for a.
-1
Let u(g) = g**2 - 9*g + 10. Let v be u(8). Solve 2*m = -v*m - 4 for m.
-1
Suppose 2*x - 3*f = 16, 4*f + 13 + 3 = 0. Solve 3*t = x*t - 4 for t.
-4
Let l = 14 - -3. Let q be (4 + -1)*(-160)/(-24). Let r = -17 + q. Solve 4*d = l + r for d.
5
Suppose 9*l - 8 + 8 = 0. Solve 2*k - 7*k + 20 = l for k.
4
Let z(d) = -d**2 + 16*d - 22. Let h be z(14). Solve 2*v - 16 = h*v for v.
-4
Suppose -5*a = -2*c + 83, 4*c - 158 = -0*a + 2*a. Suppose 0 = -4*x + f + 45, x = -3*x + 3*f + c. Solve -2*k = k - x for k.
4
Let r be 80/45 - 4/(-18). Suppose 0 = -r*d + 4*d - 4. Solve 3*g = 11 - d for g.
3
Let q be (6/21)/(12/168). Solve q*t = -0 + 8 for t.
2
Let m be 2 + 1 + (2 - 0). Suppose 0*w = m*w - 175. Solve -5*o - 10 = -w for o.
5
Let z(v) = 2*v**2 - 5*v + 3*v + 1 + 4*v. Let q = -3 + 2. Let x be z(q). Solve -2*j - x = -j for j.
-1
Let f(g) = 3*g + 2. Let q be f(1). Solve 3*j = q*j for j.
0
Let x = -15 - -24. Let s = -9 + x. Let y be (s - -1)*(1 - -4). Solve y = -3*b - 10 for b.
-5
Let v = -61 - -77. Let h be 2*(-1 - (-3)/1). Solve -h*k + v - 4 = 0 for k.
3
Suppose 0 = -c + m + 8, 4*c + 5*m - 2 = 3. Solve -14 = -c*q - 34 for q.
-4
Let f = -2 + 2. Suppose k - 5 = -f. Solve -k = 4*y - 21 for y.
4
Let s(c) = -c**3 + 4*c**2 + 5*c. Let z be s(5). Suppose z = 3*r - r. Let i = 4 + -1. Solve -g + 0*g - i = r for g.
-3
Suppose 3 = -4*i + 11. Suppose -i*b + 0*b = -8. Suppose 2*k - 40 = -3*h + h, -5*k + 65 = -2*h. Solve m = -b*m + k for m.
3
Suppose -2*q + q - 2 = 0. Let n be q + 0 + 0/(-2). Let v be (n*1 - -16) + 2. Solve -5*c = -c - v for c.
4
Let b be 22/(-7) + (-3)/(-21). Let j be (b + 2 - -4) + 2. Solve 0 = j*h - 4*h - 3 for h.
3
Suppose -4*d = -2*l - 18, 3*l + 4*d - 12 = 11. Let x be 2*(1 + (8 - l)). Solve 6*c + x = 2*c for c.
-4
Let x(d) = 5*d**2 + 1. Let p be x(1). Let f be (2 + (p - 0))*1. Suppose 0 = 5*j - j - f. Solve -u - j*u + 15 = 0 for u.
5
Suppose 4 = -4*n, -3*y + 50 = -n - 4*n. Suppose 15 = 2*v + 3*v. Solve -v*w - y = -8*w for w.
3
Suppose 3*c = 5*j - 7, c + 10 = 3*c + 4*j. Suppose -2*h + 5 + c = 0. Let a = h + -3. Solve t + 0 - 5 = a for t.
5
Let v(i) = -2*i + 1. Let b be v(-1). Solve 0 = -b*h + 4*h - 4 for h.
4
Let n be 2/3 + (-102)/(-9). Let h = 14 + -12. Solve 2*t = -h*t - n for t.
-3
Let k(g) = -g**3 - 4*g**2 + g - 4. Let r be k(-5). Let q be 2/(-3) - r/(-6). Suppose -x = -2*x + q*n + 6, -5 = 5*n. Solve -x*h = -2*h - 8 for h.
4
Let h(j) = 4*j - 26. Let k be h(7). Solve 6*r = k*r for r.
0
Let o = -2 - 0. Let h be o + 1/(-1) + -1. Let b = 8 + h. Solve b*d = -d - 15 for d.
-3
Let d = -22 + 25. Solve -d*y + y + 4 = 0 for y.
2
Suppose -2*d + 16 = 3*q - 0*d, -2*d - 16 = -5*q. Let f = -4 + q. Let c be 3/(-6) - (-1)/2. Solve c = -f*j - j - 4 for j.
-4
Let r = 5 - 1. Suppose 0 = 3*s - 5*s + r. Solve s = 3*l + 11 for l.
-3
Let b = -11 + 7. Let x be (-1)/b + 27/4. Solve -2*l = -x*l for l.
0
Let v = 17 - 14. Suppose 0 = -v*m - 2 + 5. Solve i + 0*i = -m for i.
-1
Suppose 3*c = 3*m + 12, -2*c + 4 = -4*m - 20. Let j be 105/14*m/(-6). Solve -j = g + g for g.
-5
Suppose 6 = 5*u - 9. Let v = u + 3. Solve -v*b + 20 = -11*b for b.
-4
Let u = 13 + -10. Solve -4 + 19 = -u*p for p.
-5
Let d(t) = t**2 + 3*t - 13. Let z be d(-6). Solve -z*v - 1 + 6 = 0 for v.
1
Let l = -8 + 14. Suppose -14 = -u - 2*u - 2*m, -4*u + 2*m + 14 = 0. Solve -u - l = 2*t for t.
-5
Let m = -139 + 139. Solve -2*n = -m - 2 for n.
1
Let c(f) = f**2 - 3*f + 3. Let k be c(2). Let m be -4 + 5 + (0 - k). Solve m = 2*o - 7*o for o.
0
Let y(n) = 3*n - 11. Let a be y(5). Solve m = a*m for m.
0
Let i(f) = -f + 21. Let v be i(18). Solve v*t = -4 - 2 for t.
-2
Let t be 0*2*(-4)/8. Let r be 6/2*1/(-1). Let w be 4/(20/r)*-5. Solve -y - w = -t*y for y.
-3
Suppose 0 = -3*q + 2*g - 7*g + 35, -5*g + 10 = -2*q. Solve q = -7*r + 6*r for r.
-5
Suppose -2*d + 2*x + 10 = 0, d = 4*d + 3*x - 9. Suppose -d*v = -0*v. Solve v = -l - 1 - 4 for l.
-5
Suppose 0*s = 2*b + s - 11, 0 = -5*b + 4*s + 34. Suppose -7*m - b = -3*m - z, -4*m - 4*z - 16 = 0. Let d be 16/10 + m/(-5). Solve 4*n - d*n = 2 for n.
1
Suppose 0 = -p - 0 + 4. Let j be ((-1)/(-2))/((-2)/(-12)). Suppose -y + 4 = 4*m, -j*m = 2*y - 1 + 3. Solve -m*r = -0 + p for r.
-2
Suppose 0 = -3*t + 7*t - 8. Suppose 0 = 2*j + 3*j - 15. Suppose j*u + 4*u = 0. Solve u = -t*f + 1 - 9 for f.
-4
Suppose -6*f = -3*f + 5*b + 8, 2*b + 26 = -5*f. Let l be (-18)/(-14) + f/21. Let x be (l/(-2))/1*-14. Solve x*y = 3*y for y.
0
Suppose -1 - 27 = -4*x. Suppose -3*s + x = -2. Suppose 0 = c - 5*c + 20. Solve s*r + c = -1 for r.
-2
Suppose 4*b + 3 = 11. Let v(u) = 2 + 3 - u + 7. Let y be v(8). Solve 0 = -2*g - b + y for g.
1
Let c be (-1)/(-2) + 1/(-2). Suppose c*g = 5*g. Solve g*x - 10 = -5*x for x.
2
Let f = -13 - -17. Solve 0 = 5*a - a - f for a.
1
Let g = 381 - 379. Let l be 12/5 + 4/(-10). Solve l = -g*n - 6 for n.
-4
Let b(c) = -2*c**3 + 16*c**2 + 2*c - 11. Let y be b(8). Solve x = -4*x + y for x.
1
Let k = 28 - 13. Let m = k - 12. Solve -5*i = -m*i for i.
0
Suppose -13*t + 14*t + h = 6, 10 = 3*t - h. Let g(s) = s**3 - s**2 + 3*s - 2. Let n be g(2). Solve -4*f = -n*f + t for f.
1
Suppose 0 = -5*t + 5*z + 45, 2*z - 3*z - 45 = -5*t. Let q be 6/t + (-30)/(-9). Let u be q/10 - (-6)/(-15). Solve 0 = 2*o + 8 - u for o.
-4
Let w(m) = -m + 5. Let r be w(5). Solve -y - 1 + 3 = r for y.
2
Let b = -17 + 22. Solve -b*t + 3 = -2 for t.
1
Let r = 23 - 20. Let y be 2/(-4)*2*-5. Suppose 2*t + y*k - 12 = 0, 3*k = 2*t + k + 2. Solve -r*p = t - 4 for p.
1
Suppose 3*p - 10 = -4. Let l be (-1 - 0) + 7 + p. Suppose -3*h - 5*t = 14, 4*h + 3*t - t = 0. Solve 2*r + l = -h*r for r.
-2
Let r(a) = 4 - 1 + 6*a + 3*a**2 - 7 - 4*a**2. Let s be r(4). Solve z = -s + 5 for z.
1
Let c be (0 + 1)*(0 + 1). Suppose -4 = -4*t - 0*t. Let d = t + c. Solve 0 = d*r + 1 - 9 for r.
4
Let f = -82 + 97. Solve 5*x - 8*x - f = 0 for x.
-5
Let t be (6 + 1 + -3)/(2/3). Solve t*x - 7*x = 0 for x.
0
Suppose 0 = 3*b + 4*k - 14, 3*b + 0*b = -3*k + 18. Solve 0 = 5*j - b*j - 5 for j.
-1
Let d(r) = r**3 - 6*r**2 - 6*r - 2. Let i be d(7). Suppose -19 = 3*t + 4*h + h, -4*h = -i*t + 30. Let x = -20 - -30. Solve 0*g + t*g - x = 0 for g.
5
Suppose 3*c = 2 - 2. Solve 4*j + c = 12 for j.
3
Let m be -4 + (-2 - -8) + -1. Solve m = n + 3 for n.
-2
Suppose -7 = 2*f - 5*u, -2*f - 2*u + 3 = 3*u. Let r = 4 + f. Suppose 3*d - 30 = -r*x, -x - 2*x = -5*d - 30. Solve 0*n + 2*n + x = 0 for n.
-5
Suppose 0*u = 3*u - 15, 17 = -2*z + 3*u. Let k(y) = y - 1. Let a(i) = 5*i - 4. Let n(p) = z*a(p) + 4*k(p). Let g be n(-5). Solve 2*v - g + 1 = 0 for v.
2
Suppose 3*r = -3*l + 9, -2*l + 0*r - 4*r = -2. Let j be -2 - (1 - 4) - 1. Suppose -3*t + 19 = 4. Solve j = -l*c - 20 + t for c.
-3
Suppose -3*q - 1 = -22. Suppose 29 - q = 3*m + 5*a, 0 = -m + 3*a - 16. Let n = m + 6. Solve n*u - 19 = -4 for u.
3
Suppose -5*p = -p - 60. Let z be (3/(-5))/(1/(-5)). Solve z - p = -4*r for r.
3
Suppose -5*x - 18 = 37. Let f = x + 16. Let g(a) = -a**3 + 4*a**2 + 5*a. Let i be g(f). Solve -4*s - 16 = -i*s for s.
-4
Suppose 0*d - 9 = -3*d. Suppose 0 = g + u - 2, 6 = -5*u + 2*u. Suppose d*k = g*k. Solve -2*j = -k - 10 for j.
5
Let p(n) = n**2 + 4*n - 28. Let a be p(-9). Solve -14*i = -a*i + 15 for i.
5
Let u be 12/4 - (1 + -1). Suppose 37 = i + 2*k - 7*k, -4*k + 16 = u*i. Suppose s + 18 = 4*h, -8*h = -3*h + 3*s - 14. Solve 0 = h*v - i - 8 for v.
5
Suppose 2*o - 18 = 2*z - 3*o, -z + 5*o - 19 = 0. Let a = -1 + z. Solve -2*c = -a*c + 6 for c.
-3
Let x be ((-6)/(-4))/(12/16). Let n = 17 - 12. Solve -x*y = -n*y + 6 for y.
2
Suppose -2*f + 5*s = 5 + 18, -f - s + 6 = 0. Let r be 0 + (-4)/(-4) - f. Solve -2*u + r*u = -4 for u.
2
Let g = 3 + -7. Let k = -2 - g. Let l be 0 - -2 - (-1)/1. Solve -3 = k*i + l for i.
-3
Let d(p) = -2*p**2 - 5*p + 5. Let g(v) = -3*v**2 - 10*v + 9. Suppose 5*t + 18 = 3. Let a(l) = t*g(l) + 5*d(l). Let o be a(4). Solve 0 = 6*i - o*i + 20 for i.
-5
Suppose -2*q = -0*q - 10. Let y = 23 - 11. Solve -q*g = -g + y for g.
-3
Let m(p) = -p**3 + 8*p**2 - 6*p + 6. Suppose 4*r = 8*r - 28. Let u be m(r). Solve u = -3*d - 2 for d.
-5
Suppose 5 + 7 = 4*v. Solve 0*l = v*l + 15 for l.
-5
Let c(u) = -5*u**2 + 3 - 2 + 4*u**2 + 1 + 6*u. Let f be c(6). Solve 9 = f*y + 1 for y.
4
Suppose 2*q = -g + 5, -5*g = -0*g - 4*q + 3. Solve 0 = 2*v - g + 3 for v.
-1
Let q be (-2)/((-3)/6*