 3 - u. Solve 0*i + i - c = 0 for i.
3
Suppose 5*j = 3*j - 10. Let k = -1 - j. Solve 2*g - k = -2 for g.
1
Let a be 8/12 - 28/6. Let c be 3 + a + -2 + 3. Solve -4*k + c + 4 = 0 for k.
1
Let n(u) = u**3 - 6*u**2 + 5*u + 2. Let r be n(5). Solve r*v = -v - 9 for v.
-3
Suppose -3*s + 3 = -2*s. Suppose -3*p + s = -3. Solve 12 = p*h + h for h.
4
Let m be (11 - 5)*2/(-3). Let u be 3/6*0/m. Solve 0 = c - u + 3 for c.
-3
Let w(m) = m**3 - 13*m**2 + m - 10. Let f(b) = b**3 - 5*b**2 - 5*b + 7. Let r be f(6). Let v be w(r). Solve 2 = v*k - 13 for k.
5
Let d = -16 + 18. Solve -d + 0 = -r for r.
2
Let w = -1 - -2. Let j(q) = -2*q. Let o be j(w). Let a be (-1 - o)/(1/3). Solve f = -2*f - a for f.
-1
Suppose 3*m = -2 + 20. Let l(h) = -h**2 - h + 3. Let j = 0 - 0. Let y be l(j). Solve -y*w = -m*w for w.
0
Let s be ((-9)/(-15))/((-2)/(-10)). Let y be (-1)/(-2*s/12). Solve -3*h = y*h for h.
0
Let y be -2 + (1 - -1) + 5. Suppose 12 = -3*x + 4*x + 2*r, -x + 2*r - 8 = 0. Suppose -3 = x*p - 11. Solve -c - p*c = -y for c.
1
Suppose -4*o + 25 = 3*x, -20 = x - 5*o - 3. Let g = -4 + x. Let u be g/(3/(-6)) + -2. Solve 5*k + u*k + 10 = 0 for k.
-2
Suppose -2*l + 7*l = 15. Solve b = l*b for b.
0
Suppose 26*j = 28*j - 30. Solve -4*h + j = -9*h for h.
-3
Let z = 17 + -10. Let q(o) = o**2 - 6*o - 7. Let k be q(z). Solve k*j = 3*j - 15 for j.
5
Suppose 0 = 2*y - 0*y + p - 10, 0 = -2*p - 4. Suppose -g + y = 1. Solve g*c = -6 - 14 for c.
-4
Suppose 5*m - 4*x = 19 + 12, -4*m = 5*x + 8. Suppose m*r - 8*r = 0. Solve r*t + 5 = t for t.
5
Suppose 3*o - 2*o - 2 = -j, 0 = 5*j - 5*o - 20. Solve -2*t - j*t = 20 for t.
-4
Suppose 0*p = 4*p. Let o(l) = l + 6 + p*l + 1. Let x be o(-7). Solve 4 = -x*n + n for n.
4
Suppose -4*x - x = -10. Suppose x*c = c + 4. Suppose c*s + 2*p = -p - 7, 2*p + 8 = -s. Solve -6*n + s*n = 16 for n.
-4
Suppose s + 5*v + 7 = 2*s, -2*s - v = -3. Solve -s*i - i = 0 for i.
0
Let u = -1 - -33. Solve -5*n + u = 7 for n.
5
Let z(a) = a + 24. Let b be z(-18). Solve 3*n + 0*n = b for n.
2
Let o = 8 - 4. Let l be (-2)/10 + (-18)/(-15). Suppose -5*i = 4*t - 25, -l = -i + o. Solve t = 3*v - 8 - 4 for v.
4
Let n = -8 - -15. Suppose 1 + 0 = -5*a - 2*q, -a + n = -2*q. Solve 3*k - 2 = a for k.
1
Suppose -2*f = -6 - 22. Let a = f + -13. Solve 2*q = a + 1 for q.
1
Suppose 5*u - u = 0. Let g be (4 + u)*(-1)/(-2). Suppose 0 = -s + 4*k - 6, k = -s + 2 + g. Solve m - s*m = 2 for m.
-2
Let v = 3 - -2. Suppose -v*t + t = 0. Solve 4 + t = 4*f for f.
1
Let k = 1 - 0. Let w be 4 - 1/2*-8. Let q(m) = -m**2 + 8*m + 4. Let r be q(w). Solve -k = d - r for d.
3
Let y = 73 + -69. Solve 4 = -y*m - 12 for m.
-4
Suppose -j + 13 = 3*f - 1, -f + 3*j = 2. Let t be (-7)/(-4) + f/16. Solve a = -3 - t for a.
-5
Suppose 0 = 22*h - 18*h. Solve -3 = -x - h for x.
3
Suppose -d - 3*z + 0 = -10, z - 2 = d. Let a = 10 - d. Solve 3 = 3*g + a for g.
-2
Suppose 4*p - 7 = -3*q, -4*p - 18 = -4*q + 2*q. Solve -3*j + q = -4*j for j.
-5
Suppose -40 = b - 6*b. Solve b = -3*o - 7 for o.
-5
Let i = 9 - 6. Solve i*z = -0*z - 6 for z.
-2
Let s be 99/18 + (-2)/4. Suppose -3*v + n = 5*n - 12, 2*n = -s*v + 20. Solve 0 = v*h - 2*h - 2 for h.
1
Let t(l) = -l - 1. Let f be t(1). Let a be f/((2/(-7))/1). Solve -4*o = -a*o - 9 for o.
-3
Let h = -4 + 6. Suppose 7 = -h*d - 1. Let a = 6 + d. Solve -2*u - a*u + 8 = 0 for u.
2
Let w(f) = 2*f + 14. Let s be w(-10). Let o be (4 - -1)/((-1)/2). Let q = s - o. Solve -q = -2*x - 6 for x.
-1
Suppose 0 = -2*q + 2 + 4. Suppose 5*f - c - 17 = 0, q*f - 4*c + c = 3. Let g(j) = j**2 - 5*j + 3. Let h be g(7). Solve -f*w + 1 = h for w.
-4
Suppose s = -0*s + 6. Suppose 3*v + 2*p = 20, -s*p + 28 = 5*v - 4*p. Solve v*b = b for b.
0
Suppose 0 = 6*f + 6*f - 168. Suppose 4*i + i = 195. Solve 5*q + i = f for q.
-5
Let q = -21 - -30. Let z(o) = -o**2 + 10*o - 7. Let a be z(q). Solve -a*r + 7 = 1 for r.
3
Let q be 14/(252/135)*2/5. Let m(o) = -2*o**3 - 2*o**2 + 3*o + 2. Let f be m(-2). Suppose 5*t - b = 4, 2*t + 2*b - f = -0*b. Solve -t = -c + q for c.
4
Let m(x) = 7*x**2 - 9*x + 4. Let d(q) = 6*q**2 - 8*q + 5. Let u(h) = 6*d(h) - 5*m(h). Let f be u(7). Let y = -18 + f. Solve 0*i - y = -4*i for i.
5
Suppose d - 2 = -4. Let z be ((-2)/(-8))/(d/(-8)). Solve 4*t + 9 = z for t.
-2
Let f = -21 - -22. Solve f = -4*j + 17 for j.
4
Let b = 16 + -28. Let s = 17 + b. Let k be ((-8)/5)/(s/(-25)). Solve 3*q = -q - k for q.
-2
Let t(l) = -l**3 + l. Let o be t(-2). Solve -5*n = -3*n - o for n.
3
Let q be 2*(-1 - 0/(-1)). Let v = q - -3. Solve -s = -4 - v for s.
5
Let i = 7 + -5. Solve i = a - 2*a for a.
-2
Let x = -25 - -28. Solve -1 = v - x for v.
2
Suppose -4*n + 0*n = -80. Let u be 4/(-10)*(10 - n). Suppose 0*k + k = 4. Solve -2*h + u + k = 0 for h.
4
Suppose -k + 0*k = -25. Suppose -4*h - 3*s = -2*s - k, 3*s - 10 = h. Solve 3 = h*j - 6*j for j.
-3
Suppose 4*m - y - 17 = 0, -4*m - 9 + 31 = -2*y. Suppose -4*i + m*i = 0. Solve 2*g + g - 6 = i for g.
2
Let v(w) = -2*w + 5. Let f be v(-5). Solve 2*a + 3*a = f for a.
3
Suppose 7 = -3*j - 4*g, 4*j + g = 3*g + 20. Let d be (3/1 + -3)/1. Let m be d/(-4) - 16/(-1). Solve u + j*u = m for u.
4
Suppose 0 = 4*g - o - 10, -14 = -2*g + 5*o - 0. Suppose -3*l - 4 = g. Let r = l - -2. Solve c + 5 + 0 = r for c.
-5
Suppose 1 - 7 = -3*x. Solve 2 = -0*r - x*r for r.
-1
Let h(t) = -t - 5*t**2 + 17*t**2 - 10*t**2 + 1. Let s be 10/8 - 2/8. Let c be h(s). Solve 5*i - c*i = 0 for i.
0
Let a = -15 + 20. Solve 3*o + 4 = a*o for o.
2
Suppose -4*c + 5*z = -46, -5*c - 2*z + 49 = -4*z. Let g = c + -3. Let t be (-2)/(-3) + 74/g. Solve -7 = 4*n + t for n.
-5
Let w = 81 + -65. Solve -2*p = -6*p + w for p.
4
Let m = 5 + -3. Suppose -2*a = m*a. Solve a = 7*i - 4*i + 9 for i.
-3
Let j(g) = -g**2 - 9*g - 6. Let x be j(-8). Suppose -6 = 2*z, -3*z + x*z = 3*b - 9. Solve -5*t = -t - b for t.
1
Let k(y) = -y**2 + y + 2. Let x be k(0). Suppose g = -2*u - 1, 2*g - 4*u = -3*g + 23. Let j be (10/(-4))/(4/(-40)). Solve x*t + g*t = j for t.
5
Let u(c) = 2 + 3*c + c**2 - 3 + 0*c. Let o be u(-4). Suppose o = -3*q + 15. Solve s = -q*s for s.
0
Suppose u - 2*u + 8 = 0. Suppose -2*x - 2*x - u = 0. Let r be 1 - (x - (1 + -1)). Solve -6 = -0*h + r*h for h.
-2
Let h(k) = -k**3 - 4*k**2 - k - 1. Let r(g) = -g**3 - 8*g**2 + 9*g - 4. Let t be r(-9). Let y be h(t). Solve -y*u + 10 = 25 for u.
-5
Let j = 28 + -18. Suppose -4*m - 31 = -15, -4*m = 4*k + 4. Solve -k*l = 2*l - j for l.
2
Let q be 5 + (12*-1)/3. Let i(o) = o + 2. Let h be i(q). Solve 4*f - h = -15 for f.
-3
Let h(n) = -n**3 + 5*n**2 - 3*n. Let m be h(4). Solve 12 = -m*g - 4 for g.
-4
Let l(m) = -m. Let b be l(-2). Suppose f + b = 2*f. Suppose 0 = -5*y - u + 1 + f, -2*y + 6 = -2*u. Solve -y + 3 = -2*r for r.
-1
Suppose 2*x = -x. Suppose x = 2*j - 5*j + 12. Solve 0 = -o + j*o for o.
0
Let j(p) = 4*p**3 - 5*p**3 + 2*p**3 + 2 - 2*p**2 - 6*p. Let c be j(4). Solve -10 = 4*n + c for n.
-5
Suppose 55 = 5*k - 4*r, 33 = 3*k - 2*r - r. Let l = 11 - k. Suppose 2*o + 3*o = 0. Solve l = -f - o*f - 5 for f.
-5
Let u(q) = 2*q**2 - q - 2. Let z be u(-1). Solve z = -p - 4 for p.
-5
Suppose 3*r = 4*y - 5 - 18, 3*r = -5*y + 22. Suppose v = -2*a, 0*v - 8 = -2*a - 3*v. Let s be 1 - a/(4/34). Solve y*x + s = 3 for x.
-3
Suppose 5*r - 233 + 28 = 0. Let k = -21 + r. Solve y + k = -3*y for y.
-5
Let k be 9 - 1 - (-6)/2. Let w(i) = i**3 - 11*i**2 + i - 5. Let f be w(k). Let y = -3 + 5. Solve -r - f = y*r for r.
-2
Let p = 15 + -10. Suppose -m + 3*m - 50 = 0. Suppose -5*n + 60 = -m. Solve -n = -p*t + 3 for t.
4
Let d be (-2)/(-12)*9*4. Solve q = d*q - 20 for q.
4
Suppose 18 = 4*x + 5*h, 6*h - 10 = h. Solve 0 = -m - 0*m - x for m.
-2
Let f = 3 + -3. Suppose f = -2*j - j + 3. Suppose 76 + 15 = 7*g. Solve g = -3*w + j for w.
-4
Suppose q + 2*j - 3 = -4*q, 2*j + 3 = q. Solve 2*t - q = t for t.
1
Suppose 0 = p + 5*p. Solve -2*w - 2 + p = 0 for w.
-1
Suppose -4*v = -22 - 10. Suppose 0 = -t - 1, -3*c - 5*t = -v*c. Let p(u) = -12*u. Let r be p(c). Solve 0 = 2*m + m + r for m.
-4
Let a(p) = -p + 2. Let o be a(-10). Let g(w) = -w - 10. Let q be g(-12). Solve q*l + o = 2 for l.
-5
Suppose 0*j + 8 = 4*j. Solve 0 = -6*l + j*l for l.
0
Suppose 3*d + d = 0. Let n(v) = -v**3 - 9*v**2 - 8*v + 2. Let t be n(-8). Solve d = t*k + 2 for k.
-1
Suppose 2*r = -1 - 5. Suppose 4*v + 16 = 0, 0 = -5*i + i + 4*v + 12. L