w - 25 = k, 3*c + 2*w - 6 = 5*c. Solve 0 = 3*b - c*b + 1 for b.
-1
Let f = -1190 + 1198. Solve 0 = 13*w - 15*w - f for w.
-4
Suppose 3 = 2*q - 3*q, 2*f - 31 = 5*q. Suppose f*l = 4*l + 24. Solve 25 = -l*m + m for m.
-5
Suppose p + 49 = -3*g, 4*g + 67 = -p - 0*p. Let m be 4/g - 74/(-9). Solve -17 - m = 5*u for u.
-5
Suppose 0 = -2*u - x - 4 + 3, 0 = -u + 2*x + 7. Let n(s) = -s**2 + 8*s - 4. Let k be n(7). Suppose 5*c = -7 + 17. Solve -u = k*z - c*z for z.
-1
Suppose 26 = 4*o - 22. Let h(m) = m + 3. Let i be h(o). Solve 7*p - 10*p = i for p.
-5
Let m(n) = n - 1. Let k(h) = -3*h**2 - 13*h - 2. Let t(b) = k(b) - 6*m(b). Let x be t(-6). Suppose 2*l = x - 2. Solve l*j + 4 = -8 for j.
-3
Let a = -1 - -1. Suppose a = -52*z + 53*z - 4. Solve -11 = z*r + 5 for r.
-4
Suppose -u = -31 + 26. Solve 4 = u*i - 21 for i.
5
Let t(s) = 10*s + 133. Let b be t(-13). Solve 2*g + b*g + 25 = 0 for g.
-5
Let p = 330 + -327. Solve 14*h - 13*h = -p for h.
-3
Let g be ((-30)/4 + 0)/((-126)/168). Solve -g*o + 21 = -3*o for o.
3
Suppose -70*c = -98*c. Let n be (-1)/5 - 138/(-15). Solve c = -4*o + n*o + 20 for o.
-4
Let r(i) = i**3 - 6*i**2 + 6*i - 5. Let f be r(5). Let d(n) = n**3 + 8*n**2 - 8*n + 12. Let c be d(-9). Solve f*z = c*z for z.
0
Let y(f) = f**2 + 2*f + 1. Let v be y(-1). Let n(g) = -4*g**2 - 166*g - 79. Let r be n(-41). Let p be (12/(-9))/(4/(-6)). Solve p*t + r*t = v for t.
0
Suppose 0 = 28*b - 53*b + 275. Solve -12*f - b = 25 for f.
-3
Let g(m) = -m**2 + 6*m + 15. Let r be g(-6). Let n = -52 - r. Solve n*a = 20 - 5 for a.
3
Let j = 86 + -107. Let p(t) = -t + 7. Let d be p(8). Let y be 7/j + d/(-3). Solve y = 4*h - h for h.
0
Let i = -1617 - -1617. Solve i = -4*x + 7*x - 15 for x.
5
Let d(t) = 2*t + 27. Let q be d(-7). Suppose -2*u + q = -z, u = -u + 2*z + 18. Solve 0 = 5*j - u - 6 for j.
2
Let b(o) = -o**3 + 12*o**2 - 2*o + 26. Let y be b(12). Suppose 16 = j + 3*s - 6, y*j - 24 = -s. Solve 4*a - 9*a - j = 0 for a.
-2
Let c be ((-312)/(-28))/(4/14). Solve -37 = -p - c for p.
-2
Suppose 0 = 4*b + 12 - 8. Let n be -4*(-2 - 1/b). Solve n = -5*x - 6 for x.
-2
Suppose -3*n + 57*z - 54*z = -21, n - 2*z = 7. Solve n = 4*c + 3 for c.
1
Suppose 0 = 2*f - 1 - 1. Let p be (0/((-6)/3))/f. Suppose 4*y + 2 = -3*q + 66, -y + 1 = p. Solve -3*a + 8*a = q for a.
4
Suppose -1487 = -7*s - 1466. Solve -s*m = 9 - 21 for m.
4
Suppose -3*q + 1 + 2 = 0. Suppose -6*u = -89 + 17. Suppose 4*t + 152 = u*t. Solve 4*x - t = q for x.
5
Let u be 1/7 - 14661/(-567). Solve 0 = -u*v + 5*v for v.
0
Let h be (-1*4)/(-10 - -12). Let w be (3/h)/((-13)/26). Solve 0 = w*s - s for s.
0
Let v(i) = i**3 + 8*i**2 - 36*i - 24. Let n be v(-11). Solve 0 = -2*k + n*k - 4*k for k.
0
Let r = 33 - 33. Suppose r = t - 0 - 3, 0 = -2*k + 3*t - 1. Let u(b) = b + 9. Let w be u(-9). Solve w*x - k*x = -4 for x.
1
Let z(g) = -g**2 - 3*g + 3. Let l be z(-3). Suppose 0 = -205*u + 221*u - 176. Solve u + 1 = -l*c for c.
-4
Let s be 4/(-6)*(-1 + -2). Let k(j) = -j**2 + 11*j + 6. Let p be k(11). Suppose 2*l - 2 = 2*r, -1 + p = 4*l - 5*r. Solve -s*d - 6 = -l*d for d.
-3
Suppose -l - 5*q + 0*q = -14, 45 = -5*l - 2*q. Let v = l + 17. Solve 0 = -v*n + 3*n + 12 for n.
4
Suppose -2*n + i + 19 = 0, 14*i + 5 = 9*i. Solve n*w = 4*w for w.
0
Suppose 2*s = -2*s + 20. Let o(m) = -m**3 - 4*m**2 + m + 6. Let b be o(-4). Suppose -2*x = 4*l - b, 0 = -l - 4*x - 10. Solve 3 + l = s*q for q.
1
Let j be ((-6)/(-6) - 1) + 2 + 2. Let i(y) = -3*y + 14. Let w be i(j). Solve 4*m - 10 = w*m for m.
5
Let o = 541 + -533. Solve -o = -22*v + 18*v for v.
2
Let u = -28 + 30. Suppose w - 5 = -0*w, 2*w - u = 4*y. Suppose -y*s + 5*s = 0. Solve 3*z - 4 - 2 = s for z.
2
Let z(l) = l**2 - 37*l - 303. Let i be z(-7). Solve 38 - 43 = -i*q for q.
1
Let s be (-69)/15 + 5 + 12/(-30). Solve -i - 5 + 1 = s for i.
-4
Let k be (-339)/(-7) - (-3)/(-7). Suppose k + 16 = 8*r. Solve r = -2*i - 0*i for i.
-4
Suppose -86 = -2*h - 8. Let i = 40 - h. Solve z - 6 = -i for z.
5
Suppose -11*n - 4 + 37 = 0. Suppose -z + 3*f + 9 = 0, -2*z - n = -6*f + 7*f. Solve g + 7 - 9 = z for g.
2
Let m(s) = -2*s**2 + 20*s - 1. Let w be ((-27)/6)/(1/(-2)). Let r be m(w). Solve 0 = 4*b - 1 + r for b.
-4
Let u be (0 + 2 - 1)*-8. Let l be (-8)/2 - (3 + u). Solve 3*b - 2*b = -l for b.
-1
Let n(g) = -2*g**2 - 16*g + 33. Let z be n(-9). Solve z = -37*k + 34*k for k.
-5
Let w(c) = -c**2 + 2*c - 1. Let n be (4/3)/(-4) - 12/(-9). Let i be w(n). Solve 0 = -m - i*m + 5 for m.
5
Suppose 14*u - 10*u = 0. Let c(f) = f**3 + 5*f**2 + 5. Let r be c(-5). Suppose 5*w + s + u*s - 6 = 0, -5*w + 30 = -r*s. Solve w*k - 6*k - 8 = 0 for k.
-2
Suppose 8 = 17*s - 15*s. Let u(b) = b**3 - 3*b**2 - 4*b + 5. Let n be u(s). Suppose -3*r + n*r = 12. Solve -r + 26 = 4*q for q.
5
Suppose 0 = -u + 2*u - 3. Suppose j + 4*i = -10, j = u*j - 5*i - 19. Let y(z) = -z**3 - 8*z**2 - 2*z - 7. Let v be y(-8). Solve j*h + 1 = -v for h.
-5
Suppose -10 = 2*k - 12. Suppose f - 2*i = 3 - k, 2*f = i + 4. Let u be -2 + (18*1)/f. Solve 4*d + 3 = u for d.
1
Suppose 10 = 2*h + 6. Suppose 5*m - 3*y = 40, m + 2*y + h*y = -15. Solve m*d + 6 = 1 for d.
-1
Suppose 0*w - 18 = -3*w. Let z = w - 10. Let f be (z/(-6))/(8/60). Solve -2*k + 6 = -f*k for k.
-2
Let b = 9 - 3. Let o = -94 + 103. Solve -3*h = -b*h + o for h.
3
Let f(r) = -r**3 - 4*r**2 + 13*r - 6. Let z be f(-6). Let w be (-106)/z - 2/(-12). Solve w = 4*a + 21 for a.
-3
Let r be (-820)/(-25) + 2/10. Suppose 4*i - h - 12 = r, i + 5*h - 27 = 0. Solve 0*z - i = 3*z for z.
-4
Let p = 531 - 523. Solve -6*r + 20 = p for r.
2
Let n(f) = -3*f**3 - 6*f**2 - 7*f - 4. Let h = -68 - -66. Let i be n(h). Solve -4*m - 2 = i for m.
-3
Let q = -7 - -9. Solve 0 = 4*s + 2 + q for s.
-1
Let p(h) = -h + 11. Let x = -18 + 29. Let i be p(x). Solve c = -i*c for c.
0
Let v be (-4)/((-20)/(-25)) - -1*13. Solve v*g + 1 = 7*g for g.
-1
Let w be 3/(-21) + (-44)/(-14). Suppose w*u = 6*b - 2*b - 8, u + 1 = b. Suppose r = 3*q - 55, -2*r + 151 = 5*q + 41. Solve 0 = n + u*n - q for n.
4
Suppose 12*q = 8*q + 40. Let n be -1 + 5 + -7 + q. Suppose n*r = 4*r. Solve 4*t = 16 - r for t.
4
Suppose 0*j - 2 = -j. Let g = j + 3. Let l be g/(1 - (-2 - -2)). Solve -1 = -l*z + 14 for z.
3
Let h be ((-870)/(-145))/(1/1). Suppose -3*z + 2*n - 3*n + 21 = 0, 0 = -3*z + n + 21. Suppose 3*t = 5*f - 9, 5*f - 5*t + z = 4*f. Solve -h = k - f for k.
-3
Let j be (1 + 0)/(55/2750). Solve j*c = 59*c for c.
0
Suppose 0 = -6*c + 357 + 159. Suppose c = -7*z - 12. Let m be (6/z)/(3/(-21)). Solve -v + 12 = m*v for v.
3
Let j = 1 + 3. Let p(b) = 2*b**2 - 3*b - 1. Let h be p(-2). Let u = h + -10. Solve 10 = -u*f + j for f.
-2
Let g(s) = -2*s**2 + 17*s + 9. Let v be g(9). Solve 0 = -5*a - 5 - v for a.
-1
Suppose 2 - 2 = 4*y. Solve y = -0*d + 5*d - 25 for d.
5
Let k = 1926 + -1926. Solve -16*b + 21*b + 25 = k for b.
-5
Let m be (-1 - -9 - -9) + -6. Solve -m*y - 2 = 31 for y.
-3
Let y(i) = -i**2 + 11*i + 48. Let u be y(14). Solve -4*v = -7*v + u for v.
2
Let o(i) = -3*i + 13. Suppose l + y + 14 = 0, -3*l + 2*y - 20 = 12. Let n be o(l). Suppose 8*w - 23 = n. Solve -2*b = -5*b - w for b.
-3
Let a(s) = s + 4. Let o be a(1). Solve -o*t = 6 - 1 for t.
-1
Let o(s) = s**2 + 26*s + 170. Let j be o(-10). Solve 2*x - 48 = -j*x for x.
4
Let k(z) = z - 95 + 4*z + 162 - 126. Let o be k(12). Solve o = 2*y - 3*y for y.
-1
Suppose 4*k - 3*f - 7 = -2, 5*f - 5 = 0. Solve 0*m + k = -2*m for m.
-1
Suppose -36 = 2*u + 34. Let n = -984 + 948. Let h = u - n. Solve h = -3*m - 2 for m.
-1
Let h be (-1)/(1/2) - -9. Suppose 0 = -h*i + 10*i - 12. Solve l - i + 1 = 0 for l.
3
Let y = 0 - -7. Let r = y + 16. Let j = -8 + r. Solve j = d - 6*d for d.
-3
Suppose 35*l - 8 = 33*l. Suppose -5*v + 12 = -3*g, 12 = v - 4*g - l. Solve 5*j + 22 - 7 = v for j.
-3
Suppose -10*u = -0*u + 470. Let g = 51 + u. Solve -g = -s - 2 for s.
2
Let q = -244 + 260. Solve -14*n - q = 40 for n.
-4
Let r(a) = a**3 - 7*a**2 + 7*a - 1. Let z be r(5). Let f = z - -18. Solve -f*g + 7 - 3 = 0 for g.
2
Suppose 4*d - 2*d = d. Suppose 5*k + z = 2, d - 2 = k - z. Solve k = -3*a + 4*a + 5 for a.
-5
Let p be 1 + 1 + -2 + 0. Let i be (34/(-8) + 5)/(1/(-12)). Let q be -29*1/(-9) - (-2)/i. Solve 3*m + 0 + q = p for m.
-1
Let a(w) = -w**2 + 15*w - 30. Let r be a(16). Let y = r - -46. Solve 4*f - 3*f = y for f.
0
Suppose 0 = m - 1, 2*m