+ 4*j for i.
2
Suppose 0 = -5*j + j + 12. Suppose -2*q - j = 5. Let n be q/(-3)*9/6. Solve 5 = v + 5*l - 3, n*l = -2*v + 8 for v.
3
Let o = -12 - -9. Let r be 12/(-18) + (-14)/o. Solve 4*f = -3*m + 23, -f = -5*m + r*f + 15 for m.
5
Let c be ((-12)/24)/(1/(-2)). Solve y - c = -k - 7, k = -2*y - 10 for y.
-4
Let a(n) = -n**2 - 9*n - 9. Let d be a(-9). Let i(j) = -j - 7. Let z be i(d). Solve 5*b - 5 = -0*b + z*c, 0 = -b - c - 6 for b.
-1
Suppose -o = -3*v + 25, -5*v + 0*v = 5*o - 35. Solve -4*i + 2*w + 2 = 0, 4*i = 5*w - 3 + v for i.
0
Let t(b) = b**2 + b - 2. Let k be t(0). Let n = 0 - k. Solve m = z + n, -8*m + 22 = -3*m - z for m.
5
Suppose 3 = -q, 5*l + 2*q + 0*q = 14. Solve 2*m = -5*s - 20, 2*s - l*m + 8 = m for s.
-4
Suppose -3*h + 8*h - 10 = 0. Solve 0 = -3*w + y + 1, -2*w + h = y - 3*y for w.
0
Let o be ((-2)/(-6))/(8/96). Solve -5*t + 9 = m + 1, 0 = o*t + 4*m - 16 for t.
1
Let c(o) = o**2 - 10*o - 3. Let s be c(11). Let i(z) = 2*z - 11. Let v be i(s). Solve 0 = -v*m + 5*w - 3 - 22, 0 = 5*m + 2*w + 25 for m.
-5
Let q = -20 - -29. Let w be 20/6 - (-6)/q. Solve 0 = m - w*v - 21, -4*m + 16 = v - 0*v for m.
5
Let s = -118 + 121. Solve s*v = -3*h - h - 23, -18 = 4*v - h for v.
-5
Suppose 0 = -2*u + 3*l - 0*l - 5, 0 = -u + 5*l - 20. Let x be 15*5/((-25)/(-2)). Let r = -4 + x. Solve -3*m - 5 = -u*p + 2*m, r*m - 22 = -4*p for p.
4
Let l(i) = -i**3 - 6*i**2 - 7*i - 5. Let j(s) = s - 16. Let d be j(11). Let n be l(d). Solve 0 = n*y + g + 20, -4*y - g - g = 16 for y.
-4
Let r be (2/(-5))/((-1)/5). Solve 5*n + 3 = -3*a - 7, -r*a = -5*n - 10 for a.
0
Let z = 6 + -14. Let s(t) = -2*t - 8. Let x be s(z). Solve -2*f - 9 = -3*y, -2*y + x = f + 2 for y.
3
Let l(a) = 5*a**3 - a + 1. Let n be l(1). Let v(u) = u**3 + u + 1. Let g be v(-2). Let q = 16 - g. Solve -p + 3 - 10 = -3*t, p + n*t = q for p.
5
Let j(r) = r**2 - 9*r - 3. Let i be j(10). Let d = 12 - i. Solve g - 4 = -0*g + o, -d*g + 23 = -2*o for g.
5
Suppose 0 = -6*m + 9*m - 12. Solve d - u = 6*d - 22, 3*d - m*u = 27 for d.
5
Let a = -30 + 43. Suppose 0 = 4*q + q - 25. Solve -u + q = 4*m - a, 2*u = 2*m - 14 for u.
-2
Let h = 17 + -15. Let u be -3*((0 - h) + -4). Solve -i - u = -5*r, -5*r + 2*i + i + 14 = 0 for r.
4
Let u(o) = -o + 2. Let c be u(-1). Solve c*n - 35 = 7*f - 3*f, n = 5 for f.
-5
Let v = -17 + 21. Solve m + 0*m - 8 = -v*n, -4*n + 16 = 3*m for m.
4
Suppose -4*r + j + 2*j = 24, -15 = r - 3*j. Let d(k) = -k - 1. Let a be d(r). Solve -5*f - 18 = -a*u, f + 10 = -u + 3*u for f.
-2
Let x = -7 - -12. Let d = 3 + x. Solve -l + d*u - 4*u + 19 = 0, 2*l + 2 = -2*u for l.
3
Suppose 29 + 29 = 2*t. Suppose 3*p - t = 5*b, -2*p + b + 4*b + 26 = 0. Let r(m) = -m**2 + 5*m. Let o be r(4). Solve 3*g - o*g = 4*z - 17, g = -p for z.
5
Let b(v) = v**3 + 4*v**2 + 2*v - 1. Suppose -2*z - 2*n + 13 = -7*z, -z - 4 = n. Let j be b(z). Solve 3*f = -j*c + 17, -c - 21 = -5*f + 3*c for f.
5
Let b be -2*(8 - 2 - 3). Let r be 39/9 + (-4)/b. Solve 3 = -h + 4, 0 = -r*f - 4*h + 29 for f.
5
Suppose 9*r - 2*r - 28 = 0. Solve -17 = w + 4*n, 5*w - r*n = -n + 7 for w.
-1
Let u be (-3)/(-6) - (-87)/6. Suppose n - 4*j = -n - 10, 3*j = 6. Let d = 1 - n. Solve t = 3*l + u, 2*l + d = -5*t + 9 for l.
-4
Let m(i) = i**2 - 3*i - 1. Let a be m(4). Suppose 2*u + a*u = 0. Suppose -8 = -2*j - u*j. Solve -j*y + 5*n - 12 = 1, 4*y + 3*n + 5 = 0 for y.
-2
Let w(q) = 5*q**2 - 3*q**2 - 4*q**2 + q**2 - 3 - 7*q. Let o be w(-6). Let g = -2 - -6. Solve -2*j = 2*t, -t - g*t + o*j = -8 for t.
1
Suppose -3*k - 4 = k + 4*t, 4*k = -5*t - 7. Let n(w) = -2*w + 9. Let a be n(-4). Suppose 21 = k*o - a. Solve 0 = 2*j + 2*d - 2, -4*d = -j - 0*d - o for j.
-3
Suppose 0 = 4*x + 2*a, -3 + 7 = -4*x - 3*a. Let i be 3 - -1*(x - 0). Solve i*g + 4 = -4*u + 45, 8 = -3*u + 4*g for u.
4
Suppose 2*w - 107 = -g, 4*w + 3*g + g = 224. Let a be w + -2 + -1 + -3. Let n = 68 - a. Solve -4*v + n = -5*q, 3*v = q - 0*q + 9 for v.
2
Suppose -5*t + 96 = 2*u, 0*t + 2*u = -3*t + 60. Suppose -l = -4*l - 3*s + t, -12 = -3*s. Solve -7*i = -l*i + v + 30, 3*i + 5 = 2*v for i.
-5
Let c = 1 + 1. Suppose c*w + 60 = 5*w. Solve 8*s = -4*g + 3*s - w, 4*s = 0 for g.
-5
Let j(p) = -p**2 - 6*p - 5. Let u be j(-4). Solve -u*c + 4*l - 32 = 0, 2*l - 20 = -2*l for c.
-4
Let r(u) = 4*u**2 - u. Let g be r(-2). Let v = g - 13. Let n be 1/(-2)*3/((-3)/8). Solve -n*a + 2*c + 7 = -19, v*a - 5*c - 45 = 0 for a.
4
Let z = -83 - -83. Solve a - 7 = -3*k, z*a + 4*k = -3*a + 11 for a.
1
Suppose 6*v - 2*v = -28. Let m = v - -5. Let o(d) = -9*d - 2. Let x be o(m). Solve 0 = -2*s - 2, -4*w = -w - s - x for w.
5
Suppose -h - 5 = -2. Let m be 1 + (117/3)/h. Let l be 1/(0 + (-3)/m). Solve -u + l*a = 4, 2*a = 4*a for u.
-4
Let y(z) = -2*z**3 - 2*z + 1. Let l be y(1). Let t be 14/(-6) + l/(-9). Let g = t - -17. Solve -8*q + g = -3*q - 2*n, 0 = 2*q + n + 3 for q.
1
Let c = 0 + 0. Suppose -2 = x - 4. Let r be (25/20)/(x/8). Solve 0 = -c*v + r*v + 5*j + 35, 2*v = -j - 10 for v.
-3
Suppose 12*d + 56 - 224 = 0. Solve y - 11 = -y + 3*b, 3*y = 2*b + d for y.
4
Let k be (1 + 1)/(-2)*-5. Suppose 39 = -k*x + 2*x. Let z = -8 - x. Solve -z*m - 4*v + 15 = 0, -5*m + 0*m + 5*v = 30 for m.
-1
Let f be (-120)/(-3) - (1 + 1). Suppose 3*j - f = -2. Solve j = -2*l + 2*v, 4*v = -4*l - l - 3 for l.
-3
Suppose -2*v = q - 8, q = -q + 8. Let t(r) = 2*r**2 - 4*r + 3. Let m be t(v). Let z = 1 - -1. Solve -6*b + z*b + w + 13 = 0, -w + 8 = m*b for b.
3
Let s(j) = -j - 3. Let r(k) = -3. Let a(q) = 4*r(q) - 3*s(q). Let i be a(2). Suppose m = -0*m + i. Solve -2*z + 16 = 2*y, -2*z - 4*y + 11 = -m*y for z.
3
Let l = -16 + 16. Let n(p) = p. Let d be n(2). Solve 0 = d*g - 4*z - 4, g - 2 = -l*g - 4*z for g.
2
Suppose 11 = -3*v + 5. Let f be (-8 + 5)*2/v. Solve r = 2*o + 2, -o - 4*o = f*r + 16 for o.
-2
Suppose 4*m - m = -27. Let h = -9 - m. Let b = 8 + h. Solve 2*k = 4*w - 2 + b, 0 = -4*w for k.
3
Suppose 0 = -3*g + 2*q - 1 - 15, -4*q - 4 = 0. Let j = 8 + g. Suppose u - 15 + 0 = 0. Solve -j*t - t + 5*v = -u, -20 = -4*t + 3*v for t.
5
Let i be (-196)/(-16) - (-3)/4. Solve 1 = 4*n + 3*v + i, -4*n = -4*v - 16 for n.
0
Let q be -5 + 2 + (12 - 16/4). Solve n + 15 = 8*f - 4*f, -q*n - f = -9 for n.
1
Let q = -11 - -16. Suppose -i - 5 = -q*p + i, -3*p = -4*i + 11. Let j = 4 - 1. Solve p - 7 = j*r + y, 0 = 5*r + 2*y + 8 for r.
0
Suppose -p = 5*h + 16 + 4, -25 = -3*p + 2*h. Suppose 0 = -p*y + y. Suppose 3*w + y*w - 48 = 0. Solve m - 3*i + w = 0, 5*m - 3*i - 19 = -51 for m.
-4
Let m(y) = -y - 3. Let f be m(-6). Let u(a) = a + 8. Let n be -6*(4 + -1 - 2). Let j be u(n). Solve -f*c = 0, j*h - 5*c = -0 - 10 for h.
-5
Suppose 0 = -6*j + 5*j - 3. Suppose 0 = -2*h - 2*m - 20 - 0, -6 = 3*m. Let k = j - h. Solve 15 = 5*o + 2*w - w, -k*w = -o + 3 for o.
3
Suppose v + i = 4*v + 5, -5*v - 13 = 3*i. Suppose 4*u - u - 18 = 0. Let y = u + v. Solve -2*s - f + 2*f + 8 = 0, -f = y for s.
2
Let h(y) = -y**3 - 9*y**2 - 7*y + 11. Let d(a) = -9*a + 1. Let t be d(1). Let s be h(t). Solve -s = -m, 0 = -4*z - m + 7 for z.
1
Let s = 12 + 3. Solve 5*g + x = -0*x - s, -3*g - 9 = x for g.
-3
Let v = 4 + -2. Suppose -t = 3*m - 5 - 8, -5*m = -5*t + 45. Let l be (-37)/(-5) + (-4)/t. Solve 5*s = -2*g - 5, -5*s = -v*g - l - 8 for g.
-5
Let x be (-1)/(-2) - (-2)/(-4). Solve 3*b + q = 1, q + 15 = 5*b - x*q for b.
2
Suppose 10 = q + 4*q. Let a = 32 - 18. Solve 4*o = 2*o - q, 5*c = -o + a for c.
3
Let w = 32 - 28. Solve w*b + 4*v - 12 = -36, -v - 3 = -2*b for b.
-1
Suppose j - 4*s + 16 = -0*j, 0 = j - 2*s + 8. Solve -4*q = -4, 2*p = -j*q - 5*q + 11 for p.
3
Suppose 2*c = 6*c. Suppose c = -2*h + 7*h - 15. Suppose 7 = 2*n - 5. Solve -h = 3*t - l, -t - n = -6*t - 2*l for t.
0
Suppose 2*v - 6 = 30. Suppose 4*i - v = -r, 5*r + 0*r = 3*i - 2. Suppose 2*x + 0 - 4 = 0. Solve -x*c - 2 - i = 0, -3*n - 12 = 5*c for n.
1
Suppose 5*n - 16 = n. Let k(r) = r + 11. Let l be k(-6). Solve 4*o + i = l*i, -n*o = 3*i for o.
0
Let q be (-52)/(-5) + (-30)/(-50). Let u be (-2)/q + 342/66. Solve 5*i - 3*i + 11 = -5*v, 5*v + u*i + 5 = 0 for v.
-3
Let z = 8 - 4. Let w be ((-72)/(-27))/((-2)/(-3)). Suppose -2*l + 44 = 2*f - 6*l, 0 = -w*f - 2*l + 78. Solve -5*j - i - f = 0, z*j + 34 = -5*i - 3 for j.
-3
Let v = 9 - 6. Solve -3*w = -v*o - 3, -w = 4*o + 3*w + 20 for o.
-3
Let t(g) = 8*g - 1. Let s be t(2). Solve j + s = 2*l + l, -4*l 