1
Suppose -3*w = -3*m - 8 + 23, -m - 11 = 3*w. Suppose -4*c = -c + 3. Let f = -1 - c. Solve -i - m = -f*i for i.
-1
Suppose u - 2 = -0. Suppose 3*q + 0*q - 6 = 0, 0 = -u*w + 2*q - 4. Solve w*c + 10 = 2*c for c.
5
Suppose s - 4*h = 0, -4*h = s - 4*s. Solve 5*y = -s*y + 5 for y.
1
Suppose -4*a - 5 + 17 = 0. Solve 3 + 3 = a*q for q.
2
Suppose 5*k + 2 - 27 = 0. Solve k*p - 1 = -11 for p.
-2
Let w be ((-3)/(-2) + 0)*-6. Let r = 11 + w. Suppose r*j + 0*j - 10 = 0. Solve -j - 5 = -2*g for g.
5
Let t be (-26)/(-7) + 10/35. Solve 0 = 2*y + 2 + t for y.
-3
Let n = 11 - 6. Let x be (-70)/(-8) + n/20. Solve r - 4*r - x = 0 for r.
-3
Let z be 2/5 + (-46)/(-10). Solve 0 = 4*i + 7 + z for i.
-3
Suppose -2*w = w - 4*p - 10, 0 = 2*w - 2*p - 6. Solve 5*g + 18 + w = 0 for g.
-4
Let m = 9 + -5. Suppose 3*u + 36 = 7*u. Suppose -51 + 15 = -4*h + 2*w, h = 2*w + u. Solve 1 = -m*j + h for j.
2
Suppose 5*l = -102 - 28. Let o = l - -30. Solve o*h + 5 = -h for h.
-1
Let q(c) = -8*c - 7. Let h(n) = 7*n + 7. Let l(t) = -7*h(t) - 6*q(t). Let u be l(-7). Suppose 5*g + 10 = u, -23 = j - 6*j - g. Solve 5*r - 15 - j = 0 for r.
4
Let z be (4 + -5)*-9*1. Let q = 12 - z. Solve 0*b + 9 = q*b for b.
3
Suppose 5 = -2*z + 7. Let t(w) = -2 - 4*w + 0 - z + 4. Let d be t(-1). Solve -2 - 3 = -d*k for k.
1
Let r be 52/20 + (-6)/(-15). Let w = 7 - r. Solve n + w = -n for n.
-2
Let g be 4/(-10) - 27/(-5). Let w = 44 + -39. Let s be 4/10 + (-2)/5. Solve w*x = -s + g for x.
1
Suppose 3*v = 5*n - 34, 2*n + 2*v = 16 + 4. Solve -x = x + n for x.
-4
Let w = 15 + -11. Suppose 0 = -w*n + 6*n. Solve -b = -n*b for b.
0
Suppose -4*r - 3*x + 11 + 17 = 0, -r - 4*x + 20 = 0. Suppose 2*m - i - 5 = -0*m, 8 = 5*m - 4*i. Solve 12 - r = m*a for a.
2
Let a = -3 + 3. Let x = -14 + 26. Suppose -2*k + a*k = -2*d - x, 2*d + 8 = 0. Solve o - k + 6 = 0 for o.
-4
Suppose -5*o = -12 + 2. Solve -1 = -v + o for v.
3
Suppose 0 = -0*k + 4*k - 8. Let c be (5 - 2)*(-1 + k). Solve 0 = 2*j - c*j + 1 for j.
1
Let i(z) = -9*z**2 - 7*z - 6. Let k(t) = -5*t**2 - 3*t - 3. Let r(v) = 4*i(v) - 7*k(v). Let l be r(-6). Solve -4*c + c = l for c.
-1
Suppose 160 = -3*x + 8*x. Solve 4*a - 12 = -x for a.
-5
Let v = 13 + -5. Suppose v*m = 5*m. Solve m*h = -2*h for h.
0
Suppose -h - 5 = -14. Suppose 10*g - 5*g - 30 = 0. Let p = g + h. Solve -2*l + p = 3*l for l.
3
Suppose 5*k + 19 = x, -3*x = -k + 5*k. Suppose -2*f = -3*f + x*m, 0 = -3*f + 5*m. Solve -2*r - r - 9 = f for r.
-3
Suppose -y = -5*y. Let s be (3/(-2))/((-4)/(-24)). Let j be 6/s - (-11)/3. Solve y*c = -c - j for c.
-3
Let z = 50 + -46. Solve -3 = z*s - 7 for s.
1
Suppose 9*m - 15 = 6*m. Solve -4*q - 3 = m for q.
-2
Let k(v) = -v**3 - 14*v**2 - 12*v + 13. Let h be k(-13). Solve h = -3*b + 12 - 0 for b.
4
Let u(a) = -a**3 + 3*a**2 - 3*a + 2. Let s be u(2). Solve -h - 4*h = s for h.
0
Let t(s) = s + 4. Let l be t(-4). Suppose -4*o + 0 + 8 = l. Suppose -2*f - 14 = -4*d, -6 + 2 = -4*f. Solve o*b = d - 14 for b.
-5
Suppose q + 3 = -0*q. Let d(t) = -t**2 - 5*t - 4. Let a be d(q). Solve a = -o - 0 for o.
-2
Let m(c) = 2*c**2 - 6*c - 9. Let j(r) = 3*r**2 - 9*r - 14. Let d(z) = -5*j(z) + 8*m(z). Let h be d(4). Solve -2*q - h*q = 0 for q.
0
Let x = -41 + 56. Solve 2*y + x = -3*y for y.
-3
Suppose -60 = 2*w - 6*w. Suppose -5*x + t = -29 - 1, -5*x - 2*t = -w. Suppose 4*i + 0*r = 5*r + 57, -x*i - 5*r + 15 = 0. Solve -5*a + 7 + i = 0 for a.
3
Suppose 2*p - 6*p - 36 = h, p - 2*h = -9. Let u be ((-12)/(-9) + -2)*p. Suppose 2*b = u*b. Solve 5*f = -b*f for f.
0
Let a be 4/6*(2 - -1). Solve 0*v + 2*v - a = 0 for v.
1
Suppose -2*o - 2*o = 24. Let w = -2 - o. Solve 2*r + w = -2*r for r.
-1
Suppose -2*d = 4*r - 3*d - 10, 4 = -2*r - 4*d. Let x = -19 - -29. Solve -4*f + x = r for f.
2
Let w(z) = -2*z - 6. Let b = 7 - 11. Let d be w(b). Let k be (-8)/(-36)*6*9/6. Solve -k = m + d for m.
-4
Suppose 0*w + 225 = 5*w. Suppose 0 = -3*n - 3*s + 30, 4*s = -4*n - s + w. Solve 0 = -n*r - 14 - 1 for r.
-3
Suppose -16*n + 14*n = -6. Solve a = n*a for a.
0
Suppose -2*m + 1 + 5 = 0. Solve -12 - m = -5*a for a.
3
Let b(c) = c + 2. Let y be b(0). Suppose y*d = -192 - 38. Let s be (-2)/7 + d/(-35). Solve -s*n - 2 = -5 for n.
1
Let y(d) = 3*d. Let l = -1 + 2. Let v be y(l). Let c = 2 + v. Solve 5*x + c = 6*x for x.
5
Let t(r) = -r**3 + 6*r**2 + 9*r - 5. Let g be t(7). Let w be 64/6 - 6/g. Solve 0*j - w = 5*j for j.
-2
Let f be 2/((-4)/(-18)) + -2. Let x = -3 - -8. Let m = f - x. Solve 5 = m*a + 3 for a.
1
Suppose 7 = 10*r - 9*r. Solve 3*h + 1 = r for h.
2
Let w be ((-1)/(-1))/((-3)/6). Suppose -5*i + 9 = -3*h, -i - 2*h = -3*i + 6. Let f be (i - -8) + w - 2. Solve 3 - 7 = -f*l for l.
1
Let b(j) = -j - 2. Suppose g + 12 = -12. Let h be (2/(-4))/((-3)/g). Let i be b(h). Solve -i*a - 8 = -0*a for a.
-4
Let n(k) = k**2 + 9*k + 14. Let u be n(-7). Solve u = -0*d - d - 2 for d.
-2
Suppose -3*y - 2*y + 25 = -2*p, -2*p - 32 = 2*y. Let w = p + 17. Solve -2 + 8 = -w*x for x.
-3
Let n(k) = -2*k**3 - 39*k**2 - 20*k - 16. Let t be n(-19). Solve 0 = -6*o + t*o for o.
0
Suppose 0 = -2*c - 2*q + 18, 6*c - 4*c - 25 = 5*q. Suppose -c - 2 = -x. Solve -4*m = x + 8 for m.
-5
Let z(f) = -f**2 - 5*f. Let x be z(-3). Let j be ((x - -2) + -3)/1. Solve -j + 1 = -w for w.
4
Suppose -10*v + 5*v = -20. Solve 14 = -v*d - 2 for d.
-4
Let g = 3 - 0. Let b = 4 - g. Solve 0 = -4*o + 19 + b for o.
5
Let a be (5/4)/(7/28). Solve -a = -3*o - 11 for o.
-2
Let m(p) = -p**3 - 8*p**2 - 9*p - 14. Let g be m(-7). Solve 3*w + 0*w = g for w.
0
Let w(x) = -2*x - 4. Let n be w(-4). Suppose -2*t - 40 = -5*p, -4*p + n*t + t = -32. Solve -p + 0 = 4*a for a.
-2
Suppose 14 + 0 = -2*d. Let f = d + 12. Let n = 164 + -157. Solve -f*a + n = 27 for a.
-4
Suppose f = q + 3, 4*f + 19 = 9*f - q. Solve 5*l - l = f for l.
1
Let c(s) = s**2 - 2. Let g be c(2). Let r be (-6)/(-2 + 1) - 0. Suppose -16 = 5*x + 4*z, -4*x + r + g = -2*z. Solve x*m = 5*m - 25 for m.
5
Let n be (-1 - -2) + -1 + 7. Let x be (-17)/(-5) - (-24)/40. Suppose n*w - 6 = x*w. Solve -6*z = -w*z + 20 for z.
-5
Suppose -11*h + 9 = -24. Suppose 0 = -2*f + 5*v + 11, -5 = -2*f - v - 0. Suppose -f*q + 3 = -3. Solve -h*u + q = 5 for u.
-1
Let k(o) = -o**3 - 3*o**2 + 6*o - 6. Let z(a) = 2*a + 3. Let j be z(-4). Let r be k(j). Solve -4*b + r = -6 for b.
5
Let a be (-9)/(((-3)/7)/((-8)/(-28))). Solve c = a*c for c.
0
Let r = -28 - -31. Solve -2*k + r = 5 for k.
-1
Suppose 0 = -2*r - 4*d + 42 + 6, 0 = 2*d. Let z = r - 21. Solve z*g = 4*g + 2 for g.
-2
Suppose 3*c + 2*c = 60. Suppose g + 2*g = c. Suppose g = i + 3*d, 1 = 5*i - 0*i - 4*d. Solve -i + 7 = -2*h for h.
-3
Let a = 18 - 13. Let d = a + -3. Solve d*f = -f - 3 for f.
-1
Let l(z) = z**3 + 6*z**2 + 6*z + 9. Suppose -4 = o + 1. Let g be l(o). Solve -2 = -g*d + 3*d for d.
2
Let t be (-6)/(-21) - (-38)/14. Suppose 1 = 11*s - 12*s. Let m be s*2 + 12/t. Solve 6 = v + m for v.
4
Suppose 0 = -3*h - r + 3, -2*h - 2*r = -3*r - 7. Let y(m) = m + 1. Let k be y(h). Suppose -k*p - 8 = -4*s, 2*s + 2*p = -s + 6. Solve -a - s = -0 for a.
-2
Suppose -v - 4 = -3*v. Solve 2*g + v - 4 = 0 for g.
1
Suppose z = 2*z. Let p = z - 0. Suppose 2*q + q - 12 = p. Solve q = -2*m - 2 for m.
-3
Let r be (-3 - 2)/(2*1/(-2)). Solve -11 = 2*s - r for s.
-3
Let c(a) = -a**2 + 5*a. Let x be c(5). Suppose x = -4*v - v. Suppose 4*o - 3*o = v. Solve -2*j - 4 = -o*j for j.
-2
Let b be (1 - (-3 + 3))*0. Solve b*y + 5 = 5*y for y.
1
Let o = -10 + 45. Let z(f) = -2*f + 3. Let l be z(-6). Solve l = 4*r + o for r.
-5
Suppose n - 13 = -11. Let r be 0 - (-3 + (n - -1)). Solve j + r - 1 = 0 for j.
1
Let q be (-2 + 4)/(-2) - 1. Let c = 7 + q. Solve 2*s + c = 3 for s.
-1
Let r(a) = -11*a**3 + 2*a**2 - a. Let x be r(1). Let o be (x - -12) + 4/(-2). Suppose 0 = -v - 4*v - 10, z + v = 1. Solve -z*f + f + 2 = o for f.
1
Suppose -5*m + 25 = -k + 5*k, 0 = -k + m - 5. Suppose -2*z + k*z + 4 = 0. Solve t + 1 = z for t.
1
Suppose 0 = -w + 5*f - 16, 3*w - f - 4 = w. Suppose 2 + 2 = l. Solve 0 = -l*j + w + 8 for j.
3
Let l = -21 - -41. Solve 3*b - 8*b + l = 0 for b.
4
Let t(x) = 3*x**2 - 1. Let d be t(-1). Suppose 0 = -d*b + 45 - 15. Suppose y + 0 = 3*a - 9, a + 3*y = 3. Solve a*k + b = -0*k for k.
-5
Let k(w) = w**2 - 11*w + 23. Let b be k(11). Solve 4*q + b = 3 for q.
-5
Let w be 1/(-1) + (4 - 3). Suppose 0 = 4*z + 5*m + 2 + 25,