+ f. Let o = 4 - s. Solve 2*p - 5 = -o*p for p.
1
Suppose -12 = -8*x + 5*x. Suppose 0 = -x*w - i + 22, 5*w - 6*i = -i + 15. Solve 5*q = -5 - w for q.
-2
Let h = -2 + 4. Let n be ((-1)/h)/((-1)/2). Solve -1 = -2*x + n for x.
1
Let z = 7 - 3. Solve 4*n = -z + 12 for n.
2
Suppose -12 = d - 4*d. Let i be (-2)/d - (-22)/4. Solve -i*k - 21 + 6 = 0 for k.
-3
Suppose -v = -6*v. Suppose 3*g - 50 + v = 4*q, 2*q + 50 = 4*g. Solve -g - 10 = 4*d for d.
-5
Let t be ((-60)/(-25) - 4)/(8/(-20)). Solve -r + t*r = -9 for r.
-3
Let o = -2 - -2. Suppose o = -0*n - 5*n. Solve p + 1 = -n*p for p.
-1
Let x be (-54)/9*(1 - 4/3). Solve 0 = x*y - y - 3 for y.
3
Let p(s) = -s**3 + s**2 + s + 3. Let i be p(0). Suppose 2*z = j + z + 10, -j - 2*z - 13 = 0. Let r = -10 - j. Solve 2*a + r = -i for a.
-2
Let f(y) = -5*y + 37. Let g be f(7). Solve 3 = g*b - 3 for b.
3
Let g be 5 - (-6)/(-9)*3. Suppose 3*v - 2 - 7 = -5*y, 4*v - 5*y - 47 = 0. Solve -v = g*r - r for r.
-4
Suppose -3*q + 10*q + 5*q = 0. Solve 4*b - 2 - 6 = q for b.
2
Let v(x) = 9 - 2*x + x + 0*x + 3. Let p be v(11). Solve -4*m - 5 = -p for m.
-1
Suppose k + 2*k = 2*s - 1, s = -k - 7. Let q be 2*((-3)/(-2) + 1). Let r = s + q. Solve -4*o - 3 = r for o.
-1
Suppose -9 = -3*c + 6. Let v be (-5)/c + 0 + 1. Solve -y + v*y = 5 for y.
-5
Suppose -5*i = 5*y - 220, y + 4*i = -y + 96. Suppose 2*l = -0 + y. Solve 0*z - l = 5*z for z.
-4
Suppose -5*q - 3 - 22 = 0. Let o = q + 4. Let p = 12 - o. Solve -4*n + p + 3 = 0 for n.
4
Let h = -15 - -18. Solve -h*g - 14 = -2 for g.
-4
Suppose -1 - 5 = -4*z + 2*g, -2*g + 2 = -2*z. Solve 0 = -z*p + 16 for p.
4
Let c = -5 + 9. Suppose -4*s - 77 = -3*r, 0 = c*r - 2 - 10. Let q = -8 - s. Solve 4*b + q = b for b.
-3
Suppose 3*d + 3*j = 21, -3 = -d - 2*j + 3*j. Suppose -d*l + k + 5 = 0, 5*k - 23 = 2. Suppose 3*h - 45 = -0*h. Solve -l*c = c + h for c.
-5
Let z be (-4)/(-10) - (-36)/10. Suppose 2*g - 2*c + 12 = 3*g, -z*c + 20 = 0. Solve 0 = g*p + 2*p + 4 for p.
-1
Let v be ((-18)/(-15))/((-18)/(-60)). Solve -1 = 5*w + v for w.
-1
Let o(d) = -4*d**2 - 7*d + 2. Let b be o(-2). Solve b = -3*l - 6 - 6 for l.
-4
Let z(k) = k**2 - 4*k + 2. Let g be z(4). Suppose -2*n - g*n = 0. Let t be 11/2 - (-1)/2. Solve -2*x + t = -n*x for x.
3
Let u(j) = j**2 + 1. Let l be u(2). Let d = l + -8. Let y = d + 5. Solve y*g + 3 = 1 for g.
-1
Let q = -67 + 67. Solve q = -d - 14 + 12 for d.
-2
Let t(s) = -s**2 - 7*s + 4. Let u(r) = -r - 1. Let p be u(6). Let q be t(p). Let o(v) = v**2 + 10*v + 13. Let l be o(-9). Solve -16 = -l*d - q for d.
3
Suppose -4*d - 63 = -5*q, -5*q + 12 = -3*q + 5*d. Suppose -4*j - 4*h - 17 = -1, j = 3*h - 12. Let f = q + j. Solve p - f = 6*p for p.
-1
Let x(i) = i**3 - 2*i**2 + 4*i - 2. Suppose 2 = t - 0. Let o be x(t). Suppose -4*r - 10 = -4*b - 6*r, -4*b + 4 = -4*r. Solve b*y = o*y for y.
0
Suppose -4*t + 20 = -4*i, i + 3 = -0. Let p be 96/18 + t/(-6). Suppose -p = -4*l + 3. Solve -l*u + 2 = -6 for u.
4
Suppose -2*y - y + 11 = -i, -3 = -y + i. Suppose 2*k + 2 - 8 = 0. Solve 2*g = k*g + y for g.
-4
Let l = -12 + 5. Let d be (-3 - l)*(3 - 1). Solve f - 5*f - d = 0 for f.
-2
Suppose 5 = l + 1. Suppose -j = i - 1, 0 = 2*j + i - l + 1. Suppose -5*t = 2*k + 10, 2 = 4*k - 0*k - t. Solve j*p = -k*p + 2 for p.
1
Let r(a) = 3*a. Let q be r(5). Solve 0 = -3*y - 0 - q for y.
-5
Let x be (-1 + 2/(-4))*12. Let s = -7 - x. Solve 0 = -2*l - s + 5 for l.
-3
Let k = -21 + 26. Solve 0 = -3*p + k + 10 for p.
5
Let f = 5 + -1. Suppose -f*v - 2*d = -112 + 22, -v = -4*d. Solve -5*o + v + 5 = 0 for o.
5
Let u be 4/6 - (-2)/(-3). Suppose -2*a + 1 + 17 = u. Let x(w) = w - 9. Let d be x(a). Solve -2*m + m + 3 = d for m.
3
Let r(q) = 2*q + 2. Let a be r(0). Solve -4*t + 2*t - a = 0 for t.
-1
Suppose 0*d - 17 = -3*u - 5*d, -5*u + 2*d = -49. Suppose 0 = 7*x - 4 - 17. Solve 3 = x*o - u for o.
4
Suppose a = y + 2, 10 = -2*y + 6*a - a. Solve 1 = -c - y*c for c.
-1
Suppose -5*a - 41 - 59 = 0. Let m be (-3)/6*a/2. Solve 0*t = t + m for t.
-5
Suppose 5*l = -i + 36, i - 16 = -i + 4*l. Solve -3*q + 7*q - i = 0 for q.
4
Let z(p) = -p + 10. Let c be z(7). Suppose 4*k - 11 - 1 = -i, -c*i + 4*k + 4 = 0. Solve 0*d = i*d + 20 for d.
-5
Let d(o) = -11 + 3 - 3*o + 5*o. Let z(n) = -2*n**3 - 4*n**2 - 4*n - 2. Let i be z(-2). Let j be d(i). Solve -3*c + 1 - j = 0 for c.
-1
Suppose -5*z + 12 = 4*l, 7*z = 3*z. Solve 0 = l*w - 6*w for w.
0
Suppose 5*i - 5 = -4*v + 13, 4*v = -2*i + 12. Suppose 6 - i = 4*c. Solve -c - 1 = -l for l.
2
Suppose 40 + 4 = 4*o + 4*s, 0 = 3*o + 4*s - 38. Let i(b) = -b + 4. Let j be i(4). Let x be -1 + 2 - (-2 + j). Solve x*m - o*m = 0 for m.
0
Let j(c) = -c**2 + 6*c - 5. Let v be j(4). Solve -n + 4 = -v*n for n.
-2
Let s(u) = -u - 5. Let k be s(-5). Solve k*p = -p for p.
0
Let d = -21 - -21. Solve -2*r + d = 4 for r.
-2
Suppose -3*j + j + 2*a - 4 = 0, 0 = 3*j - 5*a + 12. Let s = j - -1. Let o = s + 0. Solve -3 = -o*n - 9 for n.
-3
Let y = 78 - 74. Let b = 0 + 3. Suppose -b*u = 2*u. Solve u = -2*s + y*s for s.
0
Let d(n) = n**3 + n**2 + 2*n - 1. Let q be d(2). Suppose 4 = -3*u + 2*p + q, -3*u - p = 1. Solve a - 2*a = -u for a.
1
Let s = 840 - 552. Let q = s - 201. Suppose 2*c - 2*l + 3*l = 46, 3*c - 3*l - q = 0. Solve 6*m = m - c for m.
-5
Let o(j) = j**3 + 8*j**2 + 7*j - 10. Let v be o(-6). Solve 0 = -4*p - p + v for p.
4
Suppose 0 = -4*v + 2*o + 18, -2*v - 22 = -7*v + 2*o. Solve -m = v*m for m.
0
Let x be ((-12)/(-6))/(0 - -1). Let v = x - 2. Solve -s + 4 = -v for s.
4
Suppose -2*r - 8*d + 9*d = -13, d + 25 = 5*r. Suppose -3*h = -h. Let z(s) = -s**2 + 2. Let x be z(0). Solve h = -x*l + r*l for l.
0
Let t be 9*1*10/15. Let q(y) = -y + 6. Let b be q(t). Solve 0 = -b*a - a - 5 for a.
-5
Suppose -2*p + 6 = -5*y, y - 16 + 1 = -5*p. Let v be 41/(-3) - 2/(-3). Let b = -5 - v. Solve b - p = -q for q.
-5
Suppose n = 4*k + 18, -3*k = -3*n + 17 + 1. Solve n*q - 2 = -8 for q.
-3
Suppose r = 4*k - 12, 6*k + r - 9 = 3*k. Suppose 0 = 6*w - k*w + 6. Let x be (-1 + 3 + w)/2. Solve x = 2*u - 7*u for u.
0
Let t be (-24)/10 + (-4)/(-10). Let m = 2 - t. Let h(i) = -3*i. Let o be h(-4). Solve -a = -m*a - o for a.
-4
Let a = -2 + 6. Suppose -l = 2*d - 7*d - 22, -a*l - d = -4. Suppose -l*h - 3*h = -20. Solve -2*i - h = -i for i.
-4
Suppose -5 = a + 6. Let j = a + 12. Solve 0 = -o - 2 - j for o.
-3
Let t(w) = 8 - 3*w**2 + w - 10 + w**3 - w. Let g be t(2). Let i = -6 - g. Solve h + 0*h + 3 = i for h.
-3
Let s be (4 - 10)/(1 + -2). Let n = s + 20. Solve -5*m = n - 1 for m.
-5
Let r = 29 - 14. Solve -r = 3*j + 2*j for j.
-3
Suppose h + h - 48 = 0. Let d = -18 + h. Solve d*w = 5*w + 4 for w.
4
Let g(r) = -2*r + 4. Let y be g(5). Let a(s) = s**2 + 6*s - 1. Let q be a(y). Let u be 0/(-2) + (1 - q). Solve p - u + 4 = 0 for p.
-2
Suppose -6*w + 9 = -9. Solve -r - 1 = w for r.
-4
Suppose 42 = -24*j + 27*j. Solve 11*o - j*o = 0 for o.
0
Let v(j) = -j**2 - 3*j - 3. Let k be v(-5). Let w = k + 18. Suppose 5*h + d = 12, 5*d = -w*h + d + 3. Solve -h*p - 15 = -8*p for p.
3
Suppose 0 = -2*h + 2, -2*n + 2 = -3*h + 1. Suppose -2*i + 0 - n = -2*x, -3*i + x + 1 = 0. Solve -i = -5*t - 21 for t.
-4
Suppose -2*j = -j - 1, 4*i - 5*j = -5. Let c = 2 - i. Solve c*x - 3 = 7 for x.
5
Let x be (-23)/(-7) + (-4)/14. Let j = 6 - x. Solve 4*n - 15 = -j for n.
3
Let m = -5 + 1. Let r be (m + 0)/(1/1). Let z(h) = h**2 + 5*h + 5. Let j be z(r). Solve 0*d = d + j for d.
-1
Let w(l) = l + 6*l**2 - 3 - 2 + 6 + 0. Let u be w(-1). Solve -u = -0*f + 3*f for f.
-2
Let s be 3 + -2 + (-12 - -2). Let h = s + 11. Solve 2*b - h = 4 for b.
3
Suppose 0 = 3*c - 6 - 3. Solve 0*x - 3 = -c*x for x.
1
Suppose -5 = -2*i - 3. Suppose -2*b + b = -i, -3*w - 3*b - 42 = 0. Let q = -10 - w. Solve q*z = 4*z - 3 for z.
-3
Suppose -4*a + 84 = -a. Let i be (-2)/8 - 14/8. Let h be 2 - i - (2 + -1). Solve a - h = 5*q for q.
5
Let k = 6 - 1. Let z be (-3)/5 - (-18)/k. Suppose -p + s - 1 = 3, -3*p - s + 4 = 0. Solve p = o + z - 0 for o.
-3
Suppose 3*u = 6*u - 9. Solve 0*s = -u*s + 6 for s.
2
Let d(p) = p**2 - 6*p + 13. Let q be d(6). Solve q = 2*r + 3 for r.
5
Let d(a) = -a + 6. Let k be d(4). Let y be (-2)/(-9) + (-25)/(-9). Let u be (-2)/(-2) + (y - 4). Solve -g + k = -u*g for g.
2
Let n = -1 - 0. Let z be (n + 2)*(-1 - -4). Suppose 2*m + 7*l - 3*l = 14, z*m = l. Solve -m + 0 = s for s.
-1
Let n(q) = -q