 3*i + j for v.
-1
Suppose 0*i - 3*i - 3 = f, -4*i = 8. Solve -4*s - 3 = -f*o, -3*s - o = -3*o + 1 for s.
3
Suppose 4*y - 54 = -g, 4*g + 50 = 2*y + y. Let w = -9 + y. Solve -4*q + 7 + 18 = -w*c, -5*c = -q + 10 for q.
5
Suppose -n = -2*n + 6. Let m = 9 - n. Suppose -m*i - 2*y + 2 = 0, -5*y = i + 1 + 7. Solve -2*v + 6*v + 20 = 4*p, p = i*v + 5 for v.
0
Suppose 0 = -3*u - 4*l + 6 - 0, -3*u = 3*l - 6. Suppose -6 + 2 = -u*r. Solve 0 = 3*y - 3*x - 0*x + 3, -r*x - 3 = -y for y.
-5
Let f(h) = 4*h. Let j be f(1). Let p(z) = 4*z + 18. Let d be p(-4). Solve -j - 1 = -q, d*l + 2*q = 10 for l.
0
Suppose 3*n = -3*a + 24, 24 = -3*a + 7*a + 2*n. Suppose h = -3*w + 44, w + a*h + 64 = 5*w. Solve s + 2*c + 3 - w = 0, 5*s - 5*c + 15 = 0 for s.
2
Let c(l) = -l**3 + l**2 + l + 3. Let t be c(0). Solve 4*h = t*b, -4*b - 4 = -5*h - 3 for h.
-3
Let x = -7 - -9. Suppose -2 = -x*n + 4. Solve 3*r - 6 = -2*i, 5*r = -i + n - 0 for i.
3
Let n(l) = -l**3 + 4*l**2 + 6*l + 6. Let h be n(5). Suppose r = 15 + h. Solve 4*q = 5*t + r, 5*t - q - 2 = -4*q for t.
-2
Suppose -5*p + 2 = 7. Let c(s) = 6*s + 1. Let a be c(p). Let u = a + 7. Solve 0*f + 5*f + 4 = 3*i, u*i - 6 = 0 for f.
1
Let m(t) = -t**2 + 23*t - 12. Let o be m(22). Solve -r - o = 4*r, 0 = -4*i - 2*r + 16 for i.
5
Let p(b) = b - 9. Let f be p(6). Let o = 3 + f. Let d be (o - -3) + 5 + -3. Solve -4*u = 2*x - 24, -14 - 14 = -d*u - 2*x for u.
4
Suppose -5*a - 3*y + 29 = -6*y, -2*a - 4 = 4*y. Suppose 0 = -a*s + 5*s - 4. Solve 2*k - 19 = 3*c, 2*k + k + s*c = -14 for k.
2
Suppose -3 = 3*d - 12. Let r = d - 1. Solve 5*u + 0*u = 2*o - 10, -r*o = -2*u - 4 for o.
0
Let u = 17 + -7. Suppose -3*c + 19 + u = -2*m, -5*c - 5*m + 40 = 0. Let b = 7 + -2. Solve -3*j - c = 2*n - 0*j, b*j + 20 = -5*n for n.
-3
Let f = -10 - -6. Let n be f/(-3)*(-3)/(-2). Solve -3*o + 3 = -n*m - m, 0 = -2*m + o - 3 for m.
-2
Let p(n) = n**3 + 2*n**2 + n - 2. Let d be p(-2). Let f(h) = -h**2 - 5*h - 2. Let i be f(d). Solve -5*g + c = -24, i*g = -0*g + 4*c + 24 for g.
4
Suppose -c = -2*i + 23, 4*i - 50 = -i - 5*c. Solve -o + 0*o = -3*z, 5*o - 4*z = -i for o.
-3
Let j(s) = s**3 + 1. Let x be j(-1). Suppose 0*u + u = -y, -4*y = -4*u - 40. Solve x*k - y = 3*k - 4*n, -3*k - n = -20 for k.
5
Let z be (1 - 8/2)*-1. Suppose y - 3*o - 8 = 0, 7 + 21 = 5*y - z*o. Let p(s) = -2*s - 1. Let d be p(-1). Solve -5*u + y*v = -15, 3*u - d = 2*v + 3 for u.
-2
Let s(o) = o. Let w be s(5). Let b be 6/w*(-20)/8. Let k be (-4)/6 - 11/b. Solve 0 = -k*t - 0*t + y + 5, 4*y = 16 for t.
3
Let x(i) = i**2 - 12*i - 9. Let n be x(12). Let k = n + 14. Solve -2*m + 4*b = 3*m + 18, 6 = -k*m - 2*b for m.
-2
Suppose z = 3*z. Suppose c + 0*c - 3 = z. Solve 2*d - 10 = -0*d - c*p, d = 5*p + 5 for d.
5
Suppose -5*j = -2*v + 11, 4*v = 5*v + 4*j + 1. Solve 0 = 4*n + 5*t + 5, -2*n + v = -4*t + t for n.
0
Let d(u) = u**2 + 9*u - 18. Let l be d(-11). Solve -4*c - 2 = -3*c, -l = 3*o - c for o.
-2
Let n be 4/(-3)*(-21)/(-14). Let s be (8 + n)*2/3. Suppose 16 = 4*d - h, -d + 2*d - 4 = -h. Solve -4*r + 4 = -s*c - 0, -d*c - 2 = -2*r for r.
1
Let u = -20 - -30. Solve -7*s - u = -2*s, 5*s = n - 9 for n.
-1
Let o = -5 + 10. Suppose o = 5*z - 15. Suppose 0 = -d + g + 12, 3*d + z*g - 52 = 3*g. Solve d = 2*w - 3*t - 0*t, -4*w + 5*t + 30 = 0 for w.
5
Let r be 9/(-18) + (-7)/(-2). Solve r*t = -3*b + 4 - 1, 2*t - 3*b - 7 = 0 for t.
2
Suppose 5*h - 4*p - 26 = 0, 3*h + h + 4*p + 8 = 0. Let t = -6 + 8. Suppose 2 = t*r, 5*c + r - 66 = -0*r. Solve 5*z - 4*u = h*z + c, u - 2 = -z for z.
3
Suppose 30 - 110 = 5*b. Let i = b + 26. Solve 2*d = 4*f + 28, 0 = 2*f + 5*d - 0*d - i for f.
-5
Let x be 6 + 2*(2 - 3). Let y be 4/(-2)*(-6)/3. Solve 18 = x*f - d, 10 = -f + y*f + d for f.
4
Let y be 56/16*(-24)/(-7). Suppose 0*u = 4*u - y. Solve 3*q = -q - v - 19, -5*q - u*v = 29 for q.
-4
Suppose 2*l - 30 = -3*l. Let x(i) = -12*i - 2. Let g be x(-1). Suppose -3*d - 2*d = -g. Solve -2*n - l = w, -w - w = -d*n for w.
-2
Let p be (-2)/(-8)*0 - -40. Suppose -4*n + p = -16. Let v be (-3 + 0)*4/(-6). Solve -4*i - 2*u = n, -6 = v*i - i - 2*u for i.
-4
Suppose -2 - 13 = -3*t. Solve -3*s - s - 4 = 0, t*i = s + 21 for i.
4
Let b be 234/12*4/6. Let q(g) = g**2 - 4*g + 3. Let y be q(4). Suppose -2*s = -y*s + b. Solve 0*c + 2*f - s = 3*c, 3*c + 2*f = -5 for c.
-3
Let u be (-4)/3*195/26. Let h = u + 13. Solve k - 14 = -5*g + 2*k, -h = -3*k for g.
3
Let q = 3 - -1. Solve 0 = 5*t + 5*o - 5, -4 = q*t - 3*o - 22 for t.
3
Let z(d) = -d**2 - 17*d - 17. Let v(j) = -j**2 + 8*j + 6. Let b be v(10). Let a be z(b). Solve -4*t = 3*y - 0*t + 5, 4*t + a = y for y.
5
Suppose 3*l + 2*l - 2*u = 0, -5*l = -4*u. Solve 4*f = 2*n, l = 3*n + n + 16 for f.
-2
Let z be 27/6*(-2)/(-3). Let q = z + 2. Let c be -1 + (2 - (-6 + 2)). Solve -2*s = 4*v - 5 - q, -c*v + 10 = 3*s for v.
5
Suppose 4*f - 4 = 8. Solve -2*i + 10 = 2*u, -f*u + 8*u - 16 = 4*i for u.
4
Suppose 5*z = -0*z - 15. Let v be (4/z)/(2/(-6)). Solve -2*k + 4*h = -10, -v*k - 2*h = -2*k + 14 for k.
-3
Let i = -2 + 2. Suppose 0*x - 5*x = i. Suppose x = 2*g + 2*g - 8. Solve -3*v - 5*z - 7 = -2*v, -g*v - 3*z = 0 for v.
3
Let y = 0 + 2. Suppose 0 = -q - 5*b - 23, 3*q - y*b + 2 = 1. Let w = 6 + q. Solve w*o + 2 = -4*s + 19, -o + 2*s = 1 for o.
3
Let z be (-1)/5 + (-82)/(-10) + -5. Solve -2*i + 21 = 3*w, w = -4*i - z*w + 32 for i.
3
Let c(x) = -x + 5. Let q be c(3). Suppose -p = -2*l, -4*l + p = q*p - 12. Solve -l*f = 4*v - 10, -2*f + 16 = 3*v + 6 for f.
5
Suppose -o - 4 = -0*o - 2*i, -i = -3. Let c = 2 - -2. Solve 0 = 3*d + o*f - c, d - 2*d + 4*f - 8 = 0 for d.
0
Let s = 7 + -7. Let g be (-1)/(0 - 1/(-2)). Let t be 2/11 + g/11. Solve t = -4*c + 3*o + o - 28, 5*o - 15 = s for c.
-4
Let n be ((-3)/9)/((-3)/27). Suppose d = n*d - 6. Solve h = -p + 1, 0 = -4*h - d*p + 1 + 3 for h.
1
Suppose -26 = 3*t + 4*a, t - 6 + 18 = -2*a. Suppose -i + 7 = -0*i. Let f = i + t. Solve -6 = 3*o - f*x, -3*o + 0*x + 4*x - 6 = 0 for o.
-2
Suppose 5*g - 3*g = 20. Let t = g - 7. Suppose t*z - 7 + 1 = 0. Solve -z*y + y + 5*h = 22, 5*h - 37 = -4*y for y.
3
Suppose 0 = 4*t - 2 + 6. Let n(i) = -i + 2. Let a be n(t). Suppose 0*r + 4*r = 0. Solve p + 2*q - 1 = r, 3*p - 14 = -p - a*q for p.
5
Let l be -1 + (13 - 3) + -4. Solve -2*c - i = -2, l*c - 10 = -5*i - 0 for c.
0
Let k be (8/(-10))/(1/(-5)). Solve j = 2*z + 2*z - 1, 3*j - k*z = -3 for j.
-1
Let q = -3 - -3. Suppose -3*f + 2 + q = 2*h, 0 = -h - f + 2. Let x be (-2)/h*1*-10. Solve 5*a + 15 = -6*r + 3*r, -4*r = -x*a - 15 for a.
-3
Let j = -37 + 50. Solve 0 = w + z + 8, -w + 4*z - j = 4*w for w.
-5
Suppose 3*i - 8*i = -15. Let f be 3/(-6)*(i - 3). Suppose f = 4*s, s + 6 = 3*x + 2*s. Solve -x*l - 4*g - 4 = 16, -2*g = -5*l + 10 for l.
0
Let v(z) = -z + 2. Let i be v(0). Suppose -i*w + 4 = 2*s - 0, 0 = -s - 2*w - 2. Solve -3*b + 18 = 3*m, 0 = 4*m - s*m - 4*b + 20 for m.
2
Suppose 9 = 4*m - 19. Solve 0 = -2*l - 4*g + 14, -2*g = 3*l - m*l - 22 for l.
-3
Suppose 0 = -5*l + 13 + 2. Solve 24 = 2*a - 4*j, 4*j + l = -2*a - 5 for a.
4
Let o = 52 - 50. Solve 0 = -l - 5*p + 3, -2*l - 3*p + o*p = -6 for l.
3
Let v = 1 - -1. Suppose -4*u + v = -3*u. Solve i = u*f - 6, -4*i - f = f - 16 for i.
2
Let q(y) = -y**3 - 9*y**2 + y + 12. Let i be q(-9). Let m be 0*i/(0 - -3). Solve -2*g = 4*n + 22, -3*g - 4*n = -m*g + 23 for g.
-1
Let d = 46 + -46. Solve -4*q + 4 = -2*l, d*q - 3*l = 5*q - 5 for q.
1
Let s be (-3 + 3)/(1 - 2). Suppose -3*z + 4*o - 4 = -15, s = z - o - 4. Suppose 20 = 4*x - h, x - 2*h - z = -h. Solve x*p - 20 = 0, -2*p + 4*p = -5*g + 8 for g.
0
Suppose -7*f = -12*f + 40. Solve -4*m + 5*j - 10 = -2*m, -4*j + f = -4*m for m.
0
Let o be (-2)/4 + 7/(-2). Let r = o + 7. Suppose 15 = -3*t, 2*p + 4 = t - 3*t. Solve -16 = -r*x + s, 36 = x + p*x - 5*s for x.
4
Let k(b) = -b - 2. Let l be k(-6). Let f(y) = -2*y**3 - y. Let o be f(-1). Solve a = -4*g - 4, -3*g - l = -7*g - o*a for g.
-2
Let o(n) = n**2 + 10*n + 8. Let i be o(-9). Let y(r) = 3*r**2 - 1. Let b be y(i). Solve 0 = -b*h - 5*d - 5 - 26, -4*d - 32 = 4*h for h.
-3
Let q be 30/25*10/4. Solve -4*h + 4 = k - 0*k, -q*k + 3*h = -12 for k.
4
Let k = 51 + -49. Solve o = -5*d + 2*o + 13, k*o + 16 = 5*d for d.
2
Let t be (104/(-10))/((-3)/15). Solve -2*k = 4*f + 30, -t + 17 = 3*k + 4*f for k.
-5
Let r(w) = w**2 - 2*w - 12. Let s be r(5). Solve -v + s*g - 4 = v, -g = 2