 2*i + 15, 0 = -4*v - 3*i - 8 - 4 for v.
-3
Let n = -3 + -5. Let m be n/((-5 + 2)/3). Solve j - 4*j + m = -2*w, 0 = 5*w + j + 3 for w.
-1
Let j = 7 - 7. Solve j = 3*d + 3*b - 1 - 2, 4*d - 1 = -5*b for d.
4
Let t(i) = i**2 - 10*i + 9 - 3 + 7. Let j be t(9). Let f be j/6 - 128/(-6). Solve -5*k = 3*o - f, k + 15 = 4*k for o.
-1
Let o be ((-1)/(-3))/(18/54). Solve -x + 0*r - 4*r = o, 19 = -3*x + 4*r for x.
-5
Let l be 10/3 + (-1)/3. Suppose -2*s + 9 = 3. Suppose -s*b + 2 + 13 = 0. Solve -t + 1 = -l*v, 0*v = -b*v - 5*t + 25 for v.
1
Let i(w) = w - 2 + 2*w**2 + 4 + 4*w. Let l be i(-3). Solve 4*o - l*r + 0 = -2, 0 = 4*o + 3*r - 14 for o.
2
Suppose 2*r + 9 = 3*l, -2*r + 7*r - 35 = -4*l. Solve 12 = 3*w + t, r*t = -t + 12 for w.
3
Suppose -5 = -6*t + 25. Solve 0*m - 2*x = -t*m - 29, 2*m = -3*x - 4 for m.
-5
Suppose 21 - 66 = 5*i. Let m(z) = z**3 + 9*z**2 + 2. Let k be m(i). Solve -3*t = -k*y + 7, -3*y + 2*t + 6 + 2 = 0 for y.
2
Let h(i) = i**2 - 11*i + 26. Let k be h(8). Solve 4*w + b + k = -0*b, 0 = 3*w - 3*b - 6 for w.
0
Suppose 3*s = -2*j + 42, -2*j - 48 = -3*s - 6. Solve -2*a = -f - 4*a - 2, 3*f - s = 4*a for f.
2
Suppose -4*g + 3 = -5. Suppose -m = g*m. Let k = 31 + -19. Solve m = -4*r + 16, -c + 5*r = 11 + k for c.
-3
Suppose 2 = 2*j, -5*k + 117 = -2*j - j. Suppose -k + 9 = -3*d. Suppose -d*r = -3*r - 6. Solve 4*c + 24 = 4*g, -36 = 5*c - r*g - 10 for c.
-4
Let x be 7 + (-2 - -3) + 0. Let g = x + 0. Solve g = 2*m + 3*d, -d + 1 + 3 = m for m.
4
Let i(g) = -g**3 + g - 3. Let c be i(-2). Let w = -3 - -6. Suppose 3*s - w = 3. Solve -20 = -4*h, -s*x - 9 = -c*x - h for x.
4
Suppose 15 = 4*t - 145. Suppose -2*c = -7*c + t. Let m = c - 5. Solve 19 = 4*f + m*a, -5 = -2*f + 3*a - 0 for f.
4
Let b = -8 - -10. Let m = 177 - 296. Let j = -78 - m. Solve 5*a + j = -2*t - 2*t, 0 = -b*t - 8 for a.
-5
Let q be (-298)/(-12) + 6/36. Let j = 35 - q. Solve 4*n - 2*m = -j - 10, 20 = 5*m for n.
-3
Let h(o) = o - 6. Let x be h(6). Suppose x*s = s - 12. Suppose 0*j = -3*j + s. Solve 1 = 5*n + c, n = j*n - c - 7 for n.
1
Let b = 11 + 0. Solve 2*d - 5 = -u, 1 - b = -2*u + 4*d for u.
5
Suppose 3*c = 4*c - 11. Suppose 0 = 2*i + 2*z - 2, 2 + c = 5*i - 3*z. Solve -i*k + k = -3*b - 14, -5*k = -5*b - 30 for b.
-4
Let u be (1 + 16)*(-3)/(-1 - 2). Solve 3*f - 23 + 4 = -5*o, u = -f + 3*o for f.
-2
Suppose 0 = -2*h + 5*h - 3*q - 3, 3*q + 15 = 0. Suppose 3*x - 26 = -2. Let l = h + x. Solve 4*v - 8 = -d - 3*d, -5*d + l*v = -28 for d.
4
Let o be (-1)/(-1) - (-6 + 3). Suppose -o*t = t. Suppose 5*u + 20 - 45 = t. Solve 5*k + 12 = -0*k + 2*j, -u*k + j - 11 = 0 for k.
-2
Let u(f) = 0*f**2 - f**2 - 2*f - 16 + 6 + 11*f. Let m be u(10). Let p = 3 - m. Solve -4*z - 3*v - v + 4 = 0, -4*z + 5*v - p = 0 for z.
-2
Suppose -3 - 6 = -3*x. Suppose 101 = x*p - 16. Suppose p = 6*v - 3*v. Solve 3*y - 6*f + 4*f = v, 4*f = y - 21 for y.
1
Let r be 3/((45/(-69))/(-5)). Solve z = -4*z + h - 15, 2*z + 3*h + r = 0 for z.
-4
Suppose 3*s = 3*d + 3, 0 = 2*s + 3*s - 4*d - 8. Suppose -5*r + 22 = -g, 9*g - 35 = 4*g - s*r. Solve -9 = -k - g*b - 0*b, -b = -3*k - 13 for k.
-3
Let b = 89 - 64. Let h be 1/(-3 + b/8). Solve 4*w + c = -9 - h, 2*w = -2*c - 10 for w.
-4
Suppose v - 5 = -2*n - n, -n - 10 = -2*v. Solve 0 = -5*r - 3*h + 32, -v*h + 15 = -5 for r.
4
Let k(c) = -3*c - 1. Let s be k(-4). Suppose 0 = -3*f - 2*m + 19, 6*f + m + 29 = 10*f. Solve -3*t + f*t + 16 = 0, 0 = 3*q + t - s for q.
5
Let j(w) = -w**3 + 7*w**2 + 10*w - 11. Let r be j(8). Solve 4*k = 4*b, 4 = 4*k - r*k for b.
-4
Suppose 3*i - 3 = -2*z, 3*i + 9 = 3*z - 3. Solve z*x - m = 5, -2*m + 7 = 3*x - 4*m for x.
1
Suppose -4*x = 16, 5*g + x = -x - 38. Let h be ((-2)/4)/((-3)/g). Let w be 3 - (-2)/(-1) - h. Solve 0 = 4*n - 6 - 2, -4*v - w*n = 0 for v.
-1
Suppose -5*q = b - 12 - 3, 2*b = 0. Solve 0 = -5*j, 0 = -q*h + j - 0*j + 15 for h.
5
Let c = -19 - -24. Suppose -32 = -4*x - 3*z, -3*x - 8 = c*z - 43. Solve 2*f - 30 = -4*w, 3 - 13 = 3*w - x*f for w.
5
Let p be 10/6 - (-10)/(-6). Solve k - 3*k + 21 = -5*z, -z + 4*k - 15 = p for z.
-3
Let x = -22 - -12. Let b(j) = j + 13. Let y be b(x). Solve -2*t - 2*p = -4*t, -6 = y*t - p for t.
-3
Let q be -2*-1*(4 + -2). Let w = -6 + 8. Suppose w*m + d + d = 60, -q*d + 95 = 3*m. Solve -j + 4*a - m = 0, -20 = -j - 2*a - 3*a for j.
-5
Let w be 0 - 9/((-9)/3). Suppose -3 - w = -3*a. Solve 5*s - 5*k + 50 = -0*k, a*s + 2*k = 0 for s.
-5
Let r(q) = q**2 - 2*q - 1. Let i be r(3). Suppose l - 3 = -i. Let c(a) = a**2 + 2. Let x be c(3). Solve -x = t + 3*w + l, -4*w - 16 = 2*t for t.
0
Let g = 74 - 71. Solve 2*v + i - g*i = 4, v = 3*i + 12 for v.
-3
Let a be (-4)/(-10)*(9 + -4). Solve 2*q - 6*t - 6 = -2*t, a*t = -6 for q.
-3
Suppose 0 = 3*k - 3*l - 24, 3*k + 0*k + 3*l = -6. Let i be 3/(-18) - ((-31)/6 - -2). Solve -i*g = -4*c + k*c - 6, -c - 2*g = -4 for c.
0
Suppose g + 24 = 4*x, 5*x = 5*g - 6 + 51. Solve 0*m - 3*n - 31 = -4*m, x*n = -25 for m.
4
Suppose 3*l + p = 7*l - 8, 4*p + 6 = 3*l. Solve a = -c - l, -3*a = -0*c - c + 14 for c.
2
Let m be (-2 + (5 - 2))/(1/16). Solve 0 = -4*s - 4*g - 0*g - m, 3*g = -12 for s.
0
Suppose -3*a + 19 = -w, -w + a + 5 = 4*a. Let n = -6 - w. Solve 3 = -5*c - d + n, 2*c - 4*d = 8 for c.
0
Let b be (-32)/(-20) - (-2)/5. Suppose -b*o = -3*o - 4. Let f be (0 - o)/((-2)/(-1)). Solve -2*j - 2*j + 3*n - 9 = 0, -f*j = 3*n + 9 for j.
-3
Suppose -m - 2*h + 3 = -9, 4*h - 12 = 4*m. Solve p + m = -2*d + 4, 0 = -5*d - 5 for p.
4
Suppose 0 = -2*l + 8. Suppose 0*w + 13*w = 8*w. Solve w = l*c + 3*i - 8, 5 + 2 = 3*c + 2*i for c.
5
Let o(y) = -y**2 - 10*y + 16. Let j be o(-11). Solve 32 = -4*g - 3*z, -3*g + 6*z - z + j = 0 for g.
-5
Let g = 22 - 22. Suppose g*t = -t. Solve -2*j - 5*o - 12 = -t, 0 = 5*j - 2*o - 28 for j.
4
Let q(g) = -g**3 + 4*g**2 + 25. Let j be q(5). Solve x + h = 8, -2*x - h = -j*h - 11 for x.
3
Suppose -3*r = -2*r - 2*k + 1, 4*r - 5*k = 2. Suppose -r*v + 25 = 2*v. Suppose -v*j = -j. Solve a = 5*d + 23, 6*d - d - 4*a + 32 = j for d.
-4
Suppose 4*i - 4 = 2*i. Solve -i*t = 5*r + 25, 0 = -0*t + 2*t for r.
-5
Let b = 1 + -1. Suppose 5*p - 34 = -3*u, -5*u + 2 + 3 = -2*p. Suppose x + 3*w - 6 = 2, -p*x + 2 = -4*w. Solve -y + 1 = q, -x*y + 6 + 0 = b for q.
-2
Let q(i) = i**2 - i - 4. Let s be q(3). Solve h + 7 = -3*p, 4*p + h + s = -9 for p.
-4
Let i be (-9)/(-3) + (-1 - -1). Let h be (-2)/(-3) - 147/(-9). Solve 4 = -4*d, 5*d - i*d = 3*f - h for f.
5
Let y(i) = 2*i + 1. Let k be y(1). Solve -2*a = -k*a + 2*n - 10, -3*n = 5*a + 11 for a.
-4
Let f be (0 + 2)/((-2)/(-4)). Let g(s) = 6*s + 1. Let i be g(6). Suppose 13 = 2*p - 5*r, -4*r = -4*p - 5*r + i. Solve 16 = f*t - 5*d, -4*t - d - p = t for t.
-1
Suppose -3*p - 52 = 5*m - 13, -5*m - 4*p - 42 = 0. Let z = m + 11. Solve 3*o = -0*l - 4*l - 9, 19 = 4*o - z*l for o.
1
Let d = 4 - 2. Let a be (-2 - (-2 - 1))/1. Let s be 1*(0 - a)*-5. Solve -s*y - 10 = k, 8 = -3*y + 4*k + d for y.
-2
Suppose 0 = 4*q - 9 - 99. Let n be ((-4)/(-3))/((-6)/q). Let a be (-4)/n*(-198)/(-12). Solve t = 2*t + 3*b + 1, -2*t = -3*b + a for t.
-4
Let w(u) = -u**2 - 12*u + 7. Let j be 1/4 - (-180)/(-16). Let o be w(j). Solve 0 = 4*d - 3*h + 23, d + 4*h - o = -0*d for d.
-2
Suppose -4 = -4*m - 2*d, 3*m + 3*d + 6 = m. Suppose -3 = 3*c - 9. Let h = c + m. Solve h*l - 5 = 5*s, -s = 1 + 3 for l.
-3
Let h = 26 + -16. Solve -4*t = c + 7 + 5, 5*t = -h for c.
-4
Suppose 2*v - 5*o - 1 = 3*v, -5*v - o + 19 = 0. Solve 3*a - 17 = 5*i, v*a + 6 = -i - 2 for a.
-1
Suppose -5*x + 187 = 4*z, -2*z + 5*z - 149 = -2*x. Let n = -21 + z. Solve 5*y + 2*r - 7 = 21, -3*r = 5*y - n for y.
4
Let d be 3*(-8)/36*-3. Solve y + 2*y + d*o - 11 = 0, -5*o = 4*y - 24 for y.
1
Suppose -f - 4*f + 20 = 0. Let d be (5 + -3)/(2/f). Suppose -2*m = -m - 5. Solve d*b + 3*w - 1 + 6 = 0, 4*b + m*w = -11 for b.
1
Suppose 33 + 17 = 10*z. Solve -z*v = 5*g + 5, v = -g + 2*v + 9 for g.
4
Let x = -100 - -71. Let q = 33 + x. Solve -5*v = -z - 12, -1 = 2*z - v - q for z.
3
Suppose 15 = 3*j - 45. Suppose c = 0, 2*n - j = -3*n - 5*c. Solve -n*w + 6 = r - 12, -3*w = -r - 10 for r.
2
Let l(w) = 2*w - 3. Let g be l(3). Let d be (5 + 3 + 13)*2/6. Solve 1 = -g*u - a, -3*u - 5*a - 24 = -d*u for u.
1
Let z(s) = -s**3 + 5*s**2 + s - 5. Let j be z(5). Let p = j + 4. Solve -p*k - 9 = -3*u, 0 = 2*u + 4*k - k + 11 for u.
-1
Suppose 5*y - 11*y + 18 = 0. Let