-1
Suppose -4*y - y = 5. Let a = y + 1. Solve a = 2*u - 7 - 3 for u.
5
Suppose -o + 2*c + 16 = 0, -4*o - 2*c = o - 68. Solve 5*t + o = -6 for t.
-4
Let g = -4 - -2. Let i be g/9*-6*3. Suppose 6*l - i = 4*l. Solve l*p = -3 - 1 for p.
-2
Suppose -3*y + 105 = -0*y. Let v be (30/y)/(2/14). Let w(u) = u - 5. Let p be w(v). Solve -3*x = -16 + p for x.
5
Suppose 3*c + 2 - 11 = 0. Let u = 10 + -8. Suppose -u*d = -4*d + 12. Solve 3*q + d + c = 0 for q.
-3
Let i(k) = k**2 - 2*k + 3. Let w be i(2). Suppose -2*u - 5*o = 19, -u - 2*o = 4*u - 5. Let z be ((-18)/u)/2 - -3. Solve z = -0*h + h + w for h.
-3
Let m be 4/14 + 6/(-35)*-10. Solve -2*i + 20 = m*i for i.
5
Let z = 24 + -20. Solve -z*b + 9 = -b for b.
3
Let n(b) = -5*b**2 - 11*b - 32. Let w(m) = m**2 + 3*m + 8. Let i(p) = 2*n(p) + 9*w(p). Let k be i(6). Let h = k + 4. Solve s = -s + h for s.
3
Let x be -7 + -5 + 13 + 0 + 5. Solve -4*z + x*z + 2 = 0 for z.
-1
Let r be (-3)/6*-6 + -37. Let q = -19 - r. Solve -5*z + q = -0*z for z.
3
Suppose -28 = -2*h - 2*z, -4*z - 56 = -h - 3*h. Suppose 2*o = 2*v - 2*o - 26, o + h = 2*v. Suppose -4*r + 12 = -12. Solve 1 = v*m + r for m.
-1
Suppose -18 = -4*j + 3*k, 2*j + 5*k - k = -2. Solve 0 = j*d - 2 - 7 for d.
3
Suppose 2*h + 4*b - 26 = 0, -45 = -0*h - 5*h - 5*b. Solve -h*y + 3 = -2 for y.
1
Suppose 26 = 2*u + 6. Suppose -3*b - u = -8*b. Solve -b*o = -o - 5 for o.
5
Let p = -7 - -12. Let h(m) = -m**3 + 4*m**2 + 4*m + 3. Let i be h(p). Let d = i + 6. Solve 3*r + d = -2 for r.
-2
Let u be 9*(7 + 1) - -2. Suppose -u = -4*v - 9*c + 4*c, 0 = -5*v - c + 82. Let a be 0 - 1 - (-8 + 0). Solve 0 = a*s - 3*s - v for s.
4
Suppose 4*r = 5*d + 2, -2*d - 2 = -2*r - 0. Solve -1 - r = -s for s.
4
Suppose 7*n = -3 + 17. Solve n*x + 6 = -x for x.
-2
Suppose 5*b - 32 = -7. Solve -b*n + 0*n - 5 = 0 for n.
-1
Suppose -25 = -5*b, 3*i - 25 = 2*i - 4*b. Suppose -29 = -4*w - 0*w - i*n, 4*w = -2*n + 14. Solve -f + 0*f - w = 0 for f.
-1
Suppose 5*f - 3*v = 16, v + 6 = 3*v. Solve 6 = -f*x + 1 for x.
-1
Let a = -1 + 7. Solve 0 = -0*h - 2*h + a for h.
3
Let p(a) = -2*a + 10. Let y be p(5). Suppose -3*n + y*n = 0. Solve -2*m + 4*m + 2 = n for m.
-1
Let d = 203 + -83. Suppose 0*k = 4*k - d. Let h be (-21)/(-5) - 6/k. Solve h*p = -p + 25 for p.
5
Let o(k) = k**3 - k**2 - k + 2. Let s be o(2). Suppose 5*q - s*q = 5. Let b be (-108)/(-10) - (-4)/20. Solve 0 = 4*g + q + b for g.
-4
Let m be -1 + 2 + (3 + 1)*5. Solve m - 6 = 5*a for a.
3
Suppose 0 = 5*s - 16 - 9. Solve -2*r - s + 1 = 0 for r.
-2
Suppose 4*s - 21 - 91 = 0. Let w = s - 23. Solve w*k + 0*k = 10 for k.
2
Let f be (-10)/15 - (-14)/3. Suppose -u - 4*m - 20 = 0, 8 = -f*u - 2*m - 2. Solve u = x + 3 - 0 for x.
-3
Let t(v) = -v - 3. Let i be t(-5). Let s be i/9 + 6/(-27). Let x = -8 - -13. Solve -6*l + x*l = s for l.
0
Let h = 18 + -15. Solve 2 = h*g - 7 for g.
3
Let k(f) = -f**3 - f**2 - f - 1. Let q be k(-1). Let t be 1 - (-1*5 - (7 + -11)). Solve q*c + c = t for c.
2
Let y(p) = -p**2 + 4*p + 7. Let b be y(5). Suppose d - 2 = b. Solve -6*u - d = -2*u for u.
-1
Let u = 9 + 11. Solve -5*l - 5 = -u for l.
3
Let s be -7 - -5 - (-3 + 1). Suppose s = -4*g - 3 + 11. Let l = 2 + 1. Solve g + 4 = l*i for i.
2
Let u(p) = -3*p. Let a be u(-1). Suppose -a*r - 3*i + 27 = 0, 4*r + 2*i - 18 = 18. Suppose 0 = 4*m - 4*n - 24, 6 = 2*m - 3*n - r. Solve -m*h - h = -20 for h.
5
Suppose 0 = a + 3*a. Solve -4*o = -a - 4 for o.
1
Let s = 34 - 34. Solve s = -4*a - 1 + 13 for a.
3
Let l(h) = -5*h - 31. Let b be l(-7). Solve 12 = b*k - 4 for k.
4
Let u be 23*(-2)/4*-2. Suppose -u = -4*f + 5*g, 5*f - 3*g - 18 = 1. Solve -4*s - 18 = -f for s.
-4
Suppose -3 = 3*c, -2*l + 10 + 9 = c. Let y be (1*10/(-2))/(-1). Solve l = y*d - 10 for d.
4
Let q(r) = -r + 3. Let p be q(0). Suppose 0 = -d - 1, p*d - 5 = -4*s + 8. Suppose 4*c = 2*c + 6. Solve -19 + c = s*n for n.
-4
Suppose -y = -4*k + 13, 3*k = 2*y - 2 + 18. Let x be 1/y - 82/(-10). Suppose 3*p = x*p - 5*b + 5, -5*p - 4*b + 31 = 0. Solve -w = 2*w - p for w.
1
Let l(a) = -29*a + 11. Let o(y) = 6*y - 2. Let n(j) = -2*l(j) - 11*o(j). Let r be n(-1). Solve 3*q = -q - r for q.
-2
Let q(h) = h**2 - 8*h + 1. Let l be q(8). Solve -4*v - l + 5 = 0 for v.
1
Let b(i) = 5 - 6 + i + 3 - 3. Let y be b(3). Solve 3 = y*u + 13 for u.
-5
Suppose 0 = -5*s + 3*b + 15, -5*b = -s + 25. Solve -4 = -h - s for h.
4
Suppose 2*x = 10*x - 24. Solve x*s = 2 - 17 for s.
-5
Let o be ((-145)/(-58))/(5/4). Solve 0 = o*w + w - 15 for w.
5
Let p be -1 - (12/4 + -7). Solve 23 = p*w + 8 for w.
5
Let o = 14 + -8. Let y(t) = t**2 - t + 3. Let m be y(-2). Solve -3*a - m - o = 0 for a.
-5
Let k = 32 - 30. Suppose x = -x + 2*s + 16, -5*x = -4*s - 35. Solve 5 = -k*r - x for r.
-4
Suppose 0 = 2*q + 3*l - 0*l, 0 = 3*q + 3*l - 6. Let w be (-8)/(-3) + 2/q. Let o be 1/(-1)*-8 + 0. Solve w*t - o*t = 0 for t.
0
Suppose n = 3 + 7. Let g = n - 7. Suppose g*h - 4 = 5. Solve h = 4*m - m for m.
1
Let i = -37 - -41. Solve 3*n - i*n = -1 for n.
1
Suppose 0 = -a - a + 4, w - 13 = -5*a. Suppose 0*d + 6 = w*d. Solve -2*h = d*h for h.
0
Suppose f - 2 = -0*f. Suppose v = -f*v. Suppose v*o - 8 = -2*o. Solve 3*m = o*m for m.
0
Suppose 0 = -3*s + s - 4*x + 2, 7 = 3*s + 4*x. Solve 15 = -0*h - s*h for h.
-3
Let p be (0*(-4 - -3))/(-2). Solve p*r = -r + 3 for r.
3
Let z be -4 - (4 + -1 + -11). Solve 0 = h + 1 + z for h.
-5
Suppose -5*y - 4 + 13 = -4*x, -y - 2*x = -13. Let t = y - 1. Solve -t - 6 = 5*h for h.
-2
Let j(l) = -l - 2. Let i be j(0). Let f(a) = -a + 1. Let z be f(-5). Let v be 3/z*i - -3. Solve -10 = v*y - 4*y for y.
5
Suppose -6 = -2*v - 3*i + 5, 9 = 3*v + 2*i. Solve 4*p = v + 15 for p.
4
Suppose 0 = 4*m + 2*m - 5*m. Solve -s + 3 - 4 = m for s.
-1
Let t = -4 + 16. Solve -2*n + 4 - t = 0 for n.
-4
Suppose -3*j - 6 + 3 = 0. Let f = 2 - j. Solve -f*n - 20 = -5 for n.
-5
Let z be (-73)/15 + 14/(-105). Suppose -3*b - u + 45 = -2*u, b - 4*u = 15. Let y = b + z. Solve -y = s + 4*s for s.
-2
Suppose 4*o - 2*h - h = 13, 0 = 2*o - 5*h - 17. Let r be (1 - (0 + 2)) + o. Solve r = -2*n - 0 + 8 for n.
4
Suppose 0 = 2*h + 4*h. Solve -7*o + 2*o - 20 = h for o.
-4
Let z(o) = 0*o**2 + 4 + 2*o**3 + 2*o**3 - 3*o**3 - 5*o + 4*o**2. Let k be z(-5). Suppose q + 13 = -4*y, k*q - 41 = q + 4*y. Solve 2*x + q = -1 for x.
-4
Let c(n) = -n**3 - 10*n**2 + 12*n + 6. Let m(u) = 2*u**3 + 19*u**2 - 23*u - 12. Let z(a) = -11*c(a) - 6*m(a). Let w be z(-5). Solve 0 = 2*p - 11 + w for p.
5
Suppose -5*u = -7 + 47. Let w be 5/(2*(-2)/u). Suppose -6*y = -2*y - 5*x - 25, 2*x + w = -y. Solve y*k = -4*k + 4 for k.
1
Suppose d - 5 = -0, -2*d = -3*k - 1. Solve -k*c - c = 0 for c.
0
Let d be (-3)/2*(-10)/3. Solve -10 = -0*b - d*b for b.
2
Let n = -4 - -1. Let r = -17 - n. Let p be (-8)/r*7/2. Solve 0 = p*z - 1 - 9 for z.
5
Let y = 11 - 10. Let s be ((-1)/(-2))/(y/4). Suppose -3*t + 9 + 0 = 0. Solve l + t = s*l for l.
3
Let m(d) = -3*d + 27. Let q be m(8). Solve -n + q = -0*n for n.
3
Suppose 29 + 7 = 4*q. Let w be 5/(-2)*(-18)/q. Solve 4 = -w*t + 14 for t.
2
Suppose 5*b + 4*m - 13 - 6 = 0, 0 = 2*b - 3*m - 3. Let l = -14 + 17. Let u be -1*(-15 + l - -3). Solve u = -b*y - 3 for y.
-4
Let v(z) = z**3 - 10*z**2 - 9*z - 16. Let w be v(11). Solve -w*i = -i + 15 for i.
-3
Let a(m) = m**2 - 11*m + 4. Let s be a(11). Suppose 0 = -4*p - 4*b - 5 + 1, -3*p = 4*b + 4. Solve s*h = -p*h for h.
0
Let p = 16 - 7. Let b be (-42)/p*(-12)/14. Solve 0 = -5*u + 3*u + b for u.
2
Let v be ((-60)/(-18))/((-4)/(-6)). Suppose -v = -4*m + 3*m. Solve 2*j + 6 = m*j for j.
2
Let v be 36/10 - (-16)/40. Suppose 2*t - 16 = -v*o, o + 6 = 6*o - t. Solve -2*x - o*x = -16 for x.
4
Let g(d) = d**2 - 2*d - 3. Let x be g(3). Suppose 0 = -x*z + 2*z - 2*u + 12, -3*u = -9. Let a be (40/(-15))/(2/z). Solve 12 = a*s - 8 for s.
5
Let f(h) = -h - 10. Let w be f(-12). Suppose 3 = -w*u + 2*p + 7, 2*u + 4*p = 22. Solve 6 - 1 = u*s for s.
1
Let g be 3 + -3 - -1 - -2. Suppose -5*h - 3*p - 7 = -1, -5*h - 4*p - 8 = 0. Let s = g - h. Solve -2*f - f - s = 0 for f.
-1
Suppose -20*r = -19*r. Suppose -3*h + h + 6 = r. Solve -h*x + 0 + 15 = 0 for x.
5
Let a(k) = k + 5. Suppose 21 = -5*b - 4*d, 0 = -2*d + d + 1. Let z be a(b). Suppose 4*s = -7 + 23. Solve z*g - g + s = 0 for g.
4
Let k be (-7 - -5)/((-4)/18). Suppose 0 = t + k - 1. Let n(u) = -u**3 - 9*u**2 - 8*u + 10. Let y be n(t). 