= s. Solve q - 2 = 2*f for f.
1
Let y = 19 - 17. Suppose 4 = -y*z + 4*q, -z - 4*z - 4*q = -18. Solve -1 + 9 = z*r for r.
4
Let u(p) = -p**2 + p + 3. Let r be u(2). Solve -5 = 2*y + r for y.
-3
Let h = -17 - -10. Let s = h + 10. Suppose j + 2*j = s*r + 9, 0 = -3*j + 2*r + 12. Solve -4*q + 2 + j = 0 for q.
2
Let t(p) = p**2 - p - 5. Let h be t(4). Solve 2*g = h*g - 5 for g.
1
Let l(p) = p**2 - 15*p + 3. Let s be l(15). Solve -s*x - 4 = 8 for x.
-4
Let r(n) = n**3 + 5*n**2 + 1. Let f be r(-5). Let w be -1 - f*(2 - 3). Let m = 3 - w. Solve -m*h = -2*h - 2 for h.
2
Suppose 0 = 3*o - o + 36. Let l be (-4)/o + (-286)/(-9). Suppose -5*x - 2*n = -l, 0 = x + n - 6*n - 28. Solve -a = a - x for a.
4
Suppose 3*r - 70 = -2*r. Suppose 5*a + r = 64. Solve o + 4*o - a = 0 for o.
2
Suppose 50 = 3*f - 8*f. Let i be (-2)/f - 118/(-10). Suppose 2*j - p - 10 = -1, 2*j - 2*p - 10 = 0. Solve u = j*u + i for u.
-4
Suppose 4*r + 27 = 2*x - 1, -4*x = -3*r - 31. Suppose 0 = 2*q - 2*l - 18, -2*q - q = -l - 23. Solve x = 3*v + q for v.
-1
Let z(y) = 4*y**3 + 2*y**2 - y. Let f be (-2)/(-5) + (-6)/(-10). Let v be z(f). Solve 2*o = v*o + 3 for o.
-1
Suppose 0*p = -3*p + 12. Let x be 4/2*2/p. Let s be x*(0/(-3))/(-2). Solve -3*d = -s*d for d.
0
Let p(y) = y**3 + 10*y**2 + 10*y + 10. Let m be p(-9). Suppose g = -m - 0. Let x = 8 + g. Solve 4*b = x + 1 for b.
2
Suppose -t + 25 = -6*t. Let a = t + 7. Solve 3 = a*c - 3 for c.
3
Let z = 49 + -47. Let k = -1 - -3. Solve -z*j = -k + 6 for j.
-2
Let a be 65/25 - 2/(-5). Solve -a*g + 0 = 12 for g.
-4
Let b(u) = -u**2 + 6*u + 16. Let r be b(8). Solve -2*x - 2*x + 4 = r for x.
1
Suppose -2*r = -0*r. Let l(q) = -3*q**3 + 5*q + 2 + 2*q**3 + 3*q + 2 + 7*q**2. Let p be l(8). Solve r = 3*d + 1 - p for d.
1
Suppose -4*q = -10 - 2. Suppose 0 = 4*y + q*x - 12, x - 3*x = 2*y - 8. Solve y = 4*v - 5 - 15 for v.
5
Let a = 5 + -3. Suppose a*l = -2 + 4, -l = -f + 6. Suppose 4*t + 5*k = 100 - 23, 3*t = 5*k + 14. Solve 0 = -4*m - t - f for m.
-5
Suppose -4*t - y = -6*y + 25, 5 = t + y. Let x = 9 - 4. Suppose 5*a + o + 2*o = -3, 0 = x*a + 2*o + 2. Solve 5*f + a + 5 = t for f.
-1
Let c(s) = 3*s**2 - 6*s + 2. Let b(l) = 7*l**2 - 11*l + 5. Let q(i) = 2*b(i) - 5*c(i). Let m be q(7). Suppose 10 = -2*a + m*a. Solve -z = -a*z + 1 for z.
1
Suppose 0 = 2*y - 47 - 27. Let w = y + -17. Suppose 0 = -2*i + 2, -4*p = -5*i - 15. Solve -q + w = -p*q for q.
-5
Let z be 3/(-6) - (-15)/6. Let w(q) = -1. Let n(s) = s + 4. Let i(m) = n(m) + 6*w(m). Let r be i(z). Solve r*b + 20 = -5*b for b.
-4
Let m = 72 + -67. Solve -m*w + 4 = -6 for w.
2
Suppose 2*s - 5*s = -3. Suppose 0*o - 4*g + 16 = 2*o, g - s = o. Solve -2*v = o - 6 for v.
2
Let y(s) = -3*s - 6. Let x(k) = 2*k + 4. Let d(i) = -8*x(i) - 5*y(i). Let z = 2 + -4. Let p be d(z). Solve 0 = 4*b - p + 8 for b.
-2
Suppose -3*t - 3*w = w - 29, 0 = -4*t + 4*w - 8. Solve t*n - 2 - 7 = 0 for n.
3
Let l = 1 + -4. Let k = 1 - l. Solve -k = 3*t - 5*t for t.
2
Suppose 0 = -7*y + 4*y + 9. Solve y = 5*z + 23 for z.
-4
Let d(j) = -2*j**3 - 8*j**2 + 9*j + 1 + j**3 + 11. Let u be d(-9). Solve -3*z + 3 = -u for z.
5
Let v = 17 + -15. Solve -5*l - v = -3*l for l.
-1
Let n = -8 - -9. Solve h = 2*h - n for h.
1
Suppose 3*g + 5 = 4*g. Solve -g*x - 20 = -x for x.
-5
Suppose 5*z = -c, -4*c + 0*z - 2*z = 0. Solve c = -a - a + 10 for a.
5
Suppose 4*d + d - 5*f = -10, 2*f - 4 = d. Solve d = 2*c + 9 + 1 for c.
-5
Let a be ((-6)/3)/(10/(-15)). Suppose 4*w - 10 = -3*m, 2*w - 30 = -a*w + 5*m. Solve w = t - 0*t for t.
4
Let z = -2 + 5. Suppose 53 = 20*t - 27. Solve t*x = z*x + 1 for x.
1
Let a = -10 + 18. Solve -4*j - 8 = -a*j for j.
2
Suppose 2*a = 4*t - 20, -4*a + 2*a + 2*t - 14 = 0. Let r = a + 6. Solve 0 = -0*o + r*o - 6 for o.
3
Let q = 34 + -19. Solve 8*c = 5*c - q for c.
-5
Let m be (4 - (2 + 7))*(-4)/10. Solve 0*y = -m*y for y.
0
Suppose -54 = 5*u + 1. Let y(v) = 2*v - 30. Let q be y(12). Let f be (-24)/u + q/33. Solve 0 = -h - f for h.
-2
Suppose -a = 2*g - 17 + 1, 0 = 4*a + 16. Suppose 0 = 5*y + 5, 0 = 3*j + y - 0*y - 14. Solve j + g = -5*w for w.
-3
Let t be -23 + 22 + 6 + 0. Let h be (-4 - -2)*-4 - 2. Let u be (-2)/8 - (-74)/8. Solve -t*s + h = -u for s.
3
Let p = -2 - -3. Let v(z) = -z**3 - 4*z**2 - 4. Let i be v(-4). Let k = i - -11. Solve -4*o = -p - k for o.
2
Suppose -18 - 18 = -4*d. Suppose d = 2*u + b, -u - 2*b + 15 = -5*b. Suppose 4*p - 2 = 3*p - 5*s, 0 = -s. Solve -u = p*i + 4 for i.
-5
Suppose 0 = 5*l + 5*h + 25, -2*l = -3*l - 4*h - 20. Solve 2*i + l*i = 10 for i.
5
Let o = 39 - 25. Let m(i) = -10*i - 6. Let h be m(-1). Solve -o + h = -5*f for f.
2
Let i(b) = b + 2. Suppose 3*h = -4*x + 29, -4*x = -3*x + 5*h - 3. Let s be i(x). Solve -s = -2*u - 4 for u.
3
Let p(z) = -z - 4. Let g be p(4). Let c be 1 + -2 + 1 - g. Suppose 5*a = 12 + c. Solve -6 = -a*y - 14 for y.
-2
Let w be (-92)/(-6) + 3/(-9). Solve 0*g = 5*g - w for g.
3
Let x = -27 + 27. Solve w + w + 2 = x for w.
-1
Suppose 0 = -g - 2*g + 27. Suppose 0 = 5*a - 2*a - g. Solve a*o = o + 6 for o.
3
Suppose -t = -3*q + 11, -4*t + 5*q - 7 = 2. Solve 0 = -5*p + t*p for p.
0
Let z = -7 - -4. Let t = 0 - z. Suppose 5*u - 2 = h - t, -4*h + 4 = 0. Solve 0 = v - u*v - 2 for v.
2
Suppose -c = -l - 11 - 5, -76 = 5*l - 4*c. Let x = l - -50. Suppose 5*y - 64 = i - 5*i, 3*y + 2*i = x. Solve 4*b = 8 + y for b.
5
Let l(s) = s + 14. Let t be l(-12). Solve -t*v + 5*v - 6 = 0 for v.
2
Let s = 9 + 21. Suppose 0 = 3*k + 2*k + s. Let h be k/(-10) - (-24)/10. Solve h = -v - 2*v for v.
-1
Suppose -4*t - 4*g - 3 = 9, 5 = 5*t + g. Solve t*b - 4*b = -4 for b.
2
Suppose l = 4*d + 5, 4*d + 0*d = -12. Let w be l/(-2)*1*-4. Let o be -1*1 - (w - -5). Solve -5*z = -o*z for z.
0
Let u(d) = -d**2 - 8*d + 11. Let v be u(-9). Suppose -5*p + n = -9, 9 = v*p + n + 4*n. Solve 2*c + p*c = 16 for c.
4
Suppose 6*y - 11*y + 15 = 0. Solve y*r + 6 = -0*r for r.
-2
Let j be (-10)/(-2*(-2)/(-16)). Let z be (-2)/9 + j/18. Let b(w) = 5*w - 2. Let m be b(z). Solve -5*f = 12 + m for f.
-4
Let d = -22 - -4. Let r be 3/(6/(-4)) - d. Solve a = 5*a - r for a.
4
Suppose 0 = 3*h - 3*q - 15, 0*h - 5*q = h + 1. Let r = -3 + h. Solve v = -0*v - r for v.
-1
Let n = 32 + -29. Solve k + n = -2 for k.
-5
Let t be 62 - (4 + -4)/4. Suppose t + 74 = 4*u. Solve -u = 4*s - 14 for s.
-5
Let v be 4*(-4 + 1 + 1). Let k be (-10)/(-6) + v/(-24). Let t = 15 - 10. Solve 0 = -t*q + k*q - 3 for q.
-1
Suppose 4 = -2*i + 3*u + 1, -i - 1 = -u. Solve 7*a - 2*a + 25 = i for a.
-5
Let w = 9 - 6. Let a be -3*5/((-45)/6). Suppose -5*b = -a*n - 2, -2*b + b - 1 = n. Solve 0*f - w*f = b for f.
0
Let y(w) = w. Let v be y(3). Suppose -3*o = -v*m - 35 - 28, -3*o - 5*m = -63. Solve -1 = 5*n - o for n.
4
Let s = 41 - 39. Solve -s - 3 = r for r.
-5
Let y be (-40)/12 + 1/3. Let w be 2/(-6) - y/9. Let u be (w + -1)/((-2)/8). Solve g - u = -g for g.
2
Suppose 3*v + 4*n = 18, -3*v + 5*n - 18 = -6*v. Solve -2*b + 2 + v = 0 for b.
4
Suppose 3*x - 21 = -4*r, -4*r + 15 = -x - 10. Solve -3*d = -d + r for d.
-3
Let c(n) = -4*n - 17. Let v(o) = 3*o + 16. Let m(y) = 4*c(y) + 5*v(y). Let t = -11 + 21. Let q be m(t). Solve q*u - 3 + 7 = 0 for u.
-2
Let j(g) = g + 7. Let f be j(-6). Let v = 0 + f. Suppose -6*h + 12 = -2*h. Solve -2*t + h - v = 0 for t.
1
Let h = 15 + -14. Let j be h - 7*(-3)/3. Suppose -5*x + 13 = -0*x - 3*z, -3*x + 11 = -5*z. Solve 0 = -2*g + j - x for g.
3
Let o be (12/(-14))/((-6)/14). Solve 2*j = -o*j - 4 for j.
-1
Let u(q) = q**2 - 7*q - 1. Let d be u(7). Let x = -1 - d. Solve -5*h + 25 = -x*h for h.
5
Suppose -4*f = -3*f + 4*i + 10, 4*f = 4*i + 60. Solve -5*j - 30 = -f for j.
-4
Let n(v) = -v**3 + 6*v**2 - 3*v - 5. Let l be (1/(-3))/(4/(-60)). Let z be n(l). Solve 0 = -z*x - 15 + 5 for x.
-2
Suppose 0 = 4*u - 16, -2*q - 3*u + 5 = -7. Solve q = -2*c - 7 - 1 for c.
-4
Let r = 20 + -18. Solve p + r = 3*p for p.
1
Let y = 21 + -11. Let h = y + -6. Solve h*x - 2*x + 6 = 0 for x.
-3
Let f(n) = 2*n**3 - 29*n**2 - 18*n + 9. Let x(z) = -z**3 + 14*z**2 + 9*z - 4. Let w(k) = -3*f(k) - 7*x(k). Let d be w(12). Solve 5*u + 12 - d = 0 for u.
5
Suppose 0 = n - 2 - 0. Suppose -5*y + 10 = n*z, 2 = 2*z + 2*y - 2. Solve z*h - h - 4 = 0 for h.
-4
Suppose y + 15 = 6*y. Suppose -7*r = 22 - 113. Suppose r - 1 = y*t. Solve i - t = 1 for i.
5
Let w(f) = 7*f - 3. Let o be w(1). Solve -3*