 10 for i.
-1
Suppose 6*r - 7 = 23. Solve 3*k = -2*m + 9, 2*k - 6 + 0 = -r*m for k.
3
Let q = 19 - 19. Solve -3*g + 12 = q, g - 2*g = 5*o + 11 for o.
-3
Suppose -5*s = -3*s - 10. Let c be (1 + -1)/(s/5). Solve 4*k + 2*n - 4 = -0, c = -k - 4*n + 1 for k.
1
Suppose -3*r = -31 + 1. Suppose -4*u - u + r = 0. Suppose -o - u*o + 9 = 0. Solve -f + o*f - 4*i = -28, -i = -2*f - 13 for f.
-4
Suppose 2*g + 10 = 4*g. Let i = g + -5. Solve 0 = -b + 5*m - 13, -2*m + 16 = -i*b + 5*b for b.
2
Suppose 9*t - 20 = 7*t. Suppose 0*y + 5*y - t = 0. Solve 0 = -3*i - 6, 3*s - 2 + 3 = -y*i for s.
1
Suppose 0 = -c - 2*j + 9, 0 = -5*c - 3*j - j + 33. Suppose -c*p = -p + 16. Let v be 3 - (-2 - -2) - p. Solve 0 = -2*n - 4*g - 6, g - 1 = 4*n - v for n.
1
Let i(o) = -o**3 - 4*o**2 - 2*o - 4. Let v be i(-4). Suppose 2*f + j - 1 = 3*f, v*j = f + 13. Solve 2*b - 2*t - 1 = -f, 3*t = 9 for b.
2
Let k = -5 + 8. Solve -4*n = -v + 1 + k, 0 = -3*v for n.
-1
Suppose 5*b - 14 = -2*g, -4*g - 4*b - 4 + 20 = 0. Let y = 7 - g. Solve 3*u + 22 = 5*z, -3*u = -y*z + 4*z + 14 for u.
-4
Let c(q) = 2*q - 1. Let t be c(5). Let w = t - 2. Solve -2*f + 2*o = o - w, 2 = 2*f + 4*o for f.
3
Let m be 66/24 - (-3)/(-4). Let h = m - -3. Solve 5*c - 20 = -h*p, -2*p - 3*c = -3*p for p.
3
Let p be (-100)/(-45) - (-2)/(-9). Suppose 0 = 3*z - p*z. Solve 4*f = -4*s - 4, -4*s - 2 = 5*f - z*s for f.
2
Let b = 28 + -28. Let l be 15/1 - (0 + 1). Solve 2*y - l = -4*t, b*y - y + 5*t - 21 = 0 for y.
-1
Let q(o) = 3*o**3 - o**2 + 2*o - 1. Let v = 6 + -5. Let s be q(v). Solve 12 = -s*m - t, t = -t for m.
-4
Let w be 4/6*(4 - 1). Suppose -3 = -g - 2. Suppose 3*d - g = 5. Solve -3*q = -d*x + 15, w*q - 3 = q - 2*x for q.
-3
Let z(g) = -4*g**3 - 2*g**2 - 3*g - 2. Let o be z(-1). Solve 0 = -2*u + 3*u - 3*a + 3, -o*u - 5*a = 9 for u.
-3
Suppose -7*y - 55 = -2*y. Let t = y + 15. Suppose 2*q + 2*s = -2, -t*q + 2*q - 6 = 3*s. Solve -5*b = -q*x - 2*x + 20, 0 = 3*x - b - 2 for x.
-1
Suppose -n + 0*n + 4 = 0. Suppose 0 = n*c - c. Solve c = 3*v - 3*s - 6, v + 2*v = -3*s for v.
1
Suppose -4*r = -h - h - 18, -h = 5*r - 19. Suppose 2*q = 2*p - 14, 5*q + 6 = p - 1. Suppose -r*y = -p*y. Solve 3*c = -k + 6 + 4, y = -3*k + 4*c + 4 for k.
4
Let i = 8 - 13. Let c(l) = -l**2 + 13*l - 12. Let v be c(12). Let d = v - i. Solve 3*y + 3*q = 2*q - 9, 5*q + 5 = -d*y for y.
-4
Let u be (2 + -3)/((-2)/46). Let p(w) = 4 + 2 - w + 10. Let l be p(13). Solve -4*y = l*a - u, 0 = 5*y - 3*y + 4*a - 24 for y.
2
Let x = 42 + -35. Solve 4*o + s + 4 = -x, -4*s = 2*o + 16 for o.
-2
Let u = 171 - 171. Let s(r) = r**2 + r - 1. Let c be s(-3). Let g(a) = a**2 + 7*a + 3. Let x be g(-7). Solve -x*j + 5*t + 5 + 0 = u, c*j - 17 = 4*t for j.
5
Let d = 4 + 2. Suppose 4*z + 2*a = 3*z - 3, -2*z = a + d. Let w = 5 + z. Solve -w*n - 10 = -2*q, 0 = 4*n - 3*q + 5*q + 20 for n.
-5
Suppose -10 = -20*y + 15*y. Solve z - y*z - 4 = -2*h, 3*h + 4*z - 28 = 0 for h.
4
Let s be 0/(-1) - (1 + -4). Let c = 10 - 7. Suppose 4*k + 24 = 4*a, a = -0*a + c*k + 14. Solve 0 = -2*p - 8, -8*p + s*p - 14 = -a*f for f.
-3
Let f be (1 - (-6)/(-8))*8. Let z = 1 + f. Suppose -w - 4*w = k - 3, -k + 3 = -z*w. Solve -3*r - 6 = 0, -k*r = -0*b + 4*b + 2 for b.
1
Suppose 2 = 5*o - 4*o. Suppose -o*k = -7*k - 3*w - 5, 2*k = 2*w - 2. Let i be -1*(0 + k)*3. Solve 3*s = i*c, 0 = c - 6*c - s for c.
0
Let p = -17 + 35. Let s be 798/(8/4)*-1. Let f be 4/p + s/(-27). Solve 3*a = -3*i + 18, -2*i - a + f - 6 = 0 for i.
3
Let f = 118 - 83. Solve -2*q + h = 6, 3*q + 0*h + f = -5*h for q.
-5
Suppose 12*t - 10*t - 8 = 0. Solve -2*s = -3*c - 10, t = c - 3*s + 6*s for c.
-2
Let c be (-939)/5 + (-5)/25. Let s = -134 - c. Let b = s + -28. Solve 5*h + 0*h - b = -2*q, -4*h + 4 = -4*q for h.
4
Suppose 2*f - 2*n - 3 = n, 4 = -4*f - 4*n. Suppose f = -4*v - 3*a + 14, 0*v + 4*a = -3*v + 7. Solve v*t = 3*y - 5 - 0, 0 = -y + 5*t + 15 for y.
-5
Suppose -4 + 6 = f. Solve f*g - 2*c = c + 4, -5*g - 2*c - 28 = 0 for g.
-4
Suppose 0*g = -g + 2. Suppose -g*j + 3 = -j. Suppose -h = j*h. Solve 3*p - 5 = -3*q - 2*q, 2*q + 3*p - 11 = h for q.
-2
Suppose 0 = -5*b + 3*b + 4. Suppose -2 = -b*t - 6. Let y be (3/t)/((-3)/4). Solve 6 = 2*c, 6 = 2*d + 3*d + y*c for d.
0
Let u = -10 + 15. Solve -6*l = -4*l - 2*x + 6, -u*x = -4*l - 15 for l.
0
Suppose 5*k + 4 + 1 = 5*l, l + 8 = -2*k. Let i be 3 - 2 - 2/l. Solve -g = -4*s + 12, i*g - 2*s = 6*g - 6 for g.
0
Let t = -4 + 9. Let a = -9 + 25. Solve -t*m - 3*z - 10 = 0, -m + 0*m + a = -3*z for m.
1
Let u be 2*(-1 - (-1)/2). Let b be (2 - 2)/(-2 - u). Suppose b = -t + 2. Solve 2 = -3*j - 4*z, j = -t*z - 4 + 2 for j.
2
Suppose 20*f - 12 = 14*f. Solve 7 = -s - 4*o, -4*s - 4*o + 3*o + f = 0 for s.
1
Let d = 13 - 20. Let k(g) = -6 - g + 0*g + 3 + 0*g. Let p be k(d). Solve 0 = 5*x + p*h + 12 + 2, -h = -4*x - 7 for x.
-2
Let a = 6 - -6. Solve -6 = -f - l, -l = 3*f - a + 4 for f.
1
Let w = 12 - 4. Let y be 16/10*55/22. Solve 2*u = -y*k + u - w, -4 = u for k.
-1
Suppose -2*j + 0*j + 1 = -t, 0 = 3*j - 4*t - 4. Solve 5*s + 4*k - 35 = j, -4*s - 12 = -3*s - 3*k for s.
3
Let g be (-2)/3 + 296/12. Suppose -g = 4*y - 4*n, 5*y = n - 5 - 5. Let u be (y/(-4))/(4/32). Solve -2*a - 4*m = 6, -a = u*a + m - 6 for a.
3
Let r(g) = -4*g + 64. Let l be r(15). Let m = -1 + 5. Solve l*t = m*s - 8, -2*s + s + 8 = 5*t for t.
1
Let r(c) = c**2 - 6*c - 4. Suppose 21 = 2*f + f. Let o be r(f). Let z(l) = l**3 + 5*l**2 + 4. Let w be z(-5). Solve 0 = t - w*j - o, -2*j + 4 = -5*t + 1 for t.
-1
Let r(m) = -m**2 - 6*m - 5. Let p be r(-4). Solve -3*w = -2*t + 10, p*t - 10 = t - 4*w for t.
5
Suppose 4*q + 20 = -2*i, 10 = -q + 5. Let u be -1 - (0 + -2 + -2). Solve 6*r - 4*r - 16 = -4*w, i = u*r + w - 9 for r.
2
Let s be (-447)/(-24) - (-12)/32. Suppose -2*v = b - 6, 4*b = 2*v + 3 + 1. Suppose -o - 3*t = 0, -4*o - 3*t = o. Solve -4*n = -3*m + s, -v*n - m = -3 - o for n.
-1
Let c be 8 + 1*(0 - 2). Let p be (9/c)/(2/(-16)). Let t be p/(-7) + (-6)/(-21). Solve s + s = t*a - 6, s = -a - 7 for a.
-2
Suppose -440 = -5*t + 4*v, -291 = -3*t - v - 2*v. Suppose 5*m = t + 28. Solve -p + 9 = 5*k - 3, -5*p = -3*k + m for k.
3
Let f(m) = -3*m**2 + 1. Let w be f(-1). Let i be ((-10)/(-15))/(w/(-9)). Solve i*n = 2*t - 13, 3*t - 5 = n - 3 for n.
-5
Suppose 0 = 3*i - 13 + 10. Solve -2*r + 1 + i = 4*y, 5 = -2*r + 3*y for r.
-1
Let l(q) = -q**2 + 15*q + 3. Let b be l(15). Solve b = c - k + 12, 3*c + k + 11 = 0 for c.
-5
Suppose 5*l - 36 = -11. Suppose 4*a - 28 = -2*i - 0*i, -a - l*i = -25. Solve 3*n + 6 = -4*g - 0*g, n = -a*g - 13 for n.
2
Let y(p) = -p**3 + 4*p**2 + 7*p - 5. Let d be y(5). Solve 2*o = d*u - o + 7, -3*u - 2 = -4*o for u.
-2
Suppose 7*a - 2*a = -55. Let r be (a - -9) + -1 + 3. Let m(i) = i**2 + 4*i + 8. Let b be m(-6). Solve 0 = 4*l + 2*t - b, 0*l + 5*l + 4*t - 25 = r for l.
5
Let c(b) = b + 19. Let p be c(-9). Let l = p + -6. Solve -l*a + 18 = 2*i - 9*a, 4*i + 3*a = 10 for i.
4
Let v(b) = -b**2 + 14*b - 22. Let x be v(12). Solve -x*t - 2*m + 2 = 0, -2*t + 5*t - 2*m - 23 = 0 for t.
5
Suppose -2*q + 6*q - 8 = 0. Let j be (-2 - 0)*(0 - q). Suppose -5*o = -j - 16. Solve -11 = o*u - 5*v, 0*u - 7 = -u - 2*v for u.
1
Let a(m) = -m**3 + 4*m**2 + m - 2. Let i be 2/11 + 42/11. Let d be a(i). Let v = d + -2. Solve v = 5*p + l - 6 - 1, -4*p + 20 = -4*l for p.
2
Suppose 5*x - 23 = 2. Let k be -3*(-5)/(20/4). Solve -4*w = -2*u - k*w, -x*u = -w for u.
0
Let w be (-17)/((-2)/(-6)*1). Let d = w - -29. Let q = 38 + d. Solve g + 28 = -5*f, -q = 3*g - g + 2*f for g.
-3
Let l be 1*(-7 + 3 + 4). Solve -2*k = -5*q - l*k + 18, q = -4*k + 8 for q.
4
Let i(n) = 3*n**2 - 2*n**2 + 3*n**2 - 2*n**2 + 3*n - n**3. Let r be 2*1/(-4)*-6. Let p be i(r). Solve -2 = 2*k - 3*g, p*k + 2*g = k + 1 for k.
-1
Suppose 0 = -4*o + 2*o - z + 11, -z - 5 = -2*o. Solve 3*k + 0 = -4*x + 4, -4*x = o*k for x.
4
Let q = 14 - 22. Let l = -3 - q. Let x be (-130)/(-8) + (-1)/4. Solve 9 + x = -4*t + 3*g, 4*t + 1 = -l*g for t.
-4
Let j(t) = -t**3 + 8*t**2 - 5*t - 2. Let m be j(7). Solve -k = 2*u - 0 + 4, k - m = 2*u for k.
4
Let p(r) = r**3 - 7*r**2 + 10*r + 5. Let u be p(5). Solve 2*o + 10 = -0*o + 2*t, 4*o + u = t for o.
0
Let s(c) = c**2 + 13*c - 19. Let q be s(-14). Let u(f) = f**3 + 6*f**2 + 6*f + 7. Let k be u(q). Solve -k*n + 8 = -0, -23 = 3*x - 2*n for x.
-5
Let a = -5 - -2. Let z = -1 - a. Solve -2*w