w - 4, 9 = -f + 2*w for f.
-3
Let g = -39 - -39. Let b be (-1)/1 + g/(-5) + 3. Solve 3*y - 1 = b, 0 = 5*i + 4*y + 16 for i.
-4
Suppose 166 + 14 = 3*a. Let k = -54 + a. Solve 2*h - 20 = -k*l + 2*l, -3*h - 20 = -4*l for h.
0
Let a = -4 + 6. Let o be (-282)/329 + (-41)/(-7). Solve 3*r + a = o*w + 9, -w + 2*r = 0 for w.
-2
Suppose -14*k + 13*k - h = -7, -2*k - 14 = -5*h. Solve k*r - 2*b = 12 + 1, b = r - 5 for r.
3
Suppose 3*t + 33 - 9 = 0. Let h(z) = -9*z - 91. Let o be h(-9). Let f = t - o. Solve 0 = 5*x - f*b - 12, -2*x + 24 = -b + 5*b for x.
4
Let c(t) = 3*t + 40. Let i be c(-11). Suppose 2*x - 4 = 6, 0 = q + 3*x - 17. Solve -a + 8 = -q*l - i, -a - 2*l - 5 = 0 for a.
5
Suppose g - 4 = -5*w + 1, -3*g = 3*w - 15. Let j be (-2 + 10)*(3 - g). Let y = -12 - j. Solve 2*n - 2 = 3*n + 3*s, 0 = 2*n - 2*s - y for n.
1
Let b(z) = z**3 - 11*z**2 - 2*z + 23. Let d = -77 + 88. Let s be b(d). Solve -3*j = -3*u - j, s = 4*u - 3*j for u.
-2
Let p be ((-20)/(-15))/((-2)/(-15)). Suppose p*f - 9*f = 2. Solve -f*n - 4*a = -0*n - 2, 5*a + 2 = -n for n.
3
Let r(c) = c. Let k(y) = -24*y - 1. Let j(o) = -k(o) - 5*r(o). Let s be j(1). Let d = 24 - s. Solve 0 = -4*x + 4*w + 7 + 13, 5 = x - d*w for x.
5
Suppose -r = -5*r - 3*o + 26, 21 = 3*r + 3*o. Solve 4*x - 14 = 5*w, r*w + 1 + 6 = -3*x for x.
1
Suppose 3*k - 47 = 49. Solve -3*m + 15 = k*n - 28*n, n = 3*m - 15 for n.
0
Suppose 3*q = 8*q + 4*r - 271, -3*q - r = -164. Let m = q + -51. Solve -j + 4*n = 3, 5*j + 14 = -m*n - 1 for j.
-3
Suppose 4*l - 41 - 27 = 0. Let o be (-2)/(-3)*(-27)/(-2). Let s(r) = r**2 - 8*r - 7. Let a be s(o). Solve 11 = n + a*n - u, n - 3*u = l for n.
2
Let l be ((-6)/4)/((-9)/12). Suppose 2 - 1 = -q, l*w - 3*q - 15 = 0. Suppose d = w*d. Solve -t + 3*x + 9 = d, -t - 5*x - 3 = 12 for t.
0
Let x(c) = 4*c + 28. Suppose -t + 32 = -5*s - 2, 0 = 2*s + 3*t + 17. Let k be x(s). Solve 2*z + 4 = -4*j, k = 4*j - 4*z + 17 + 11 for j.
-3
Suppose -19 = -2*s - 3*l, 3*s + 29 = 5*s + 5*l. Suppose -44 = -m - 3*m. Solve -5*w = -s*i - 14, 3*i + m = 3*w + 2*w for i.
3
Let a = -6 - -9. Let o(d) = -d - 23. Let g be o(-20). Let j be g*(-2)/(-6)*-3. Solve -j*r + 7*r + a*p = -7, 2*r + 7 = -5*p for r.
-1
Let w be (3 - (-1 - -3)) + -8. Let x be 1 + (-2 - 2) - w. Solve -3*v - 2 = 5*a, -2*a + x*a + 4*v = -12 for a.
2
Let b(x) = -x + 10. Let r be b(6). Solve -d - 8 - 8 = -3*u, -2*d + 18 = r*u for d.
-1
Let f = -22 + 99. Suppose -d + 8*d = f. Solve 2*s - d = -s - 2*y, 0 = -2*s + y + 5 for s.
3
Let g be ((-60)/70 - (-1)/(-7))*0. Solve -2*s + l = -7 + 2, g = 2*l + 10 for s.
0
Suppose -d + 88 = -4*k, -121 + 2 = 5*k + d. Let v = -13 + 40. Let z = v + k. Solve 0 = -z*p - 0*p - t + 18, 3*p + t - 14 = 0 for p.
4
Let j be 15/4 + (-126)/168. Solve -3*i - j*v = 27, -5*i - 11 = 3*v + 26 for i.
-5
Suppose 0 = -2*s + 10*s - 32. Suppose -t + 1 = h, s*t + 2*h - 2 = 8. Solve -p + 3*p = t*v, -4*p + 3*v = 0 for p.
0
Let o be 7 - 9 - (-1 - (1 - 0)). Suppose o = -g - 7*g. Suppose 43 = 3*c - 4*x - 4, 3*c - 29 = -5*x. Solve c = -3*k + 4*f, 5*f - 5 = -g*f for k.
-3
Let p(k) = k**3 - 7*k**2 + 8*k - 8. Let o be p(6). Let q(v) = 4*v + 3. Let d be q(o). Solve -7 = -3*a - y, -3*a + 6*y - y + d = 0 for a.
3
Suppose -21*g + 23*g = -6. Let k be g/(24/20)*-2. Solve -4*p + v = 23, 4*p - k*v + 47 - 12 = 0 for p.
-5
Suppose 2*v = -445*y + 449*y - 2, 0 = 5*y - 5*v - 5. Solve y = -4*r + 4, -10*o = -5*o - 3*r - 22 for o.
5
Let t be (5/15)/((-3)/(-45)). Solve 5*g = 9*c - t*c - 25, -2*g - 10 = -3*c for g.
-5
Let l = 442 - 442. Solve 5*s = 5*r - 30, 15 = -l*s - 5*s for r.
3
Let j be 8/20 + (-1208)/20. Let z be j/(-42) - (-8)/14. Solve -2*y = -k - 4, 3*y - 5*y = -z*k - 6 for k.
-2
Let z(l) = l**3 + 7*l**2 + l + 13. Let h be z(-7). Suppose 2*j = 2*b + j - h, 5*j - 14 = -b. Solve u + 2 = -f, -b*u = -5*f - 3*u + 14 for f.
2
Let l(j) = j**2 - 11*j + 3. Let z be l(9). Let m be (-4)/(-10) - 54/z. Let p = 309 + -305. Solve -4*t = p*d - 4, -t + 4*d + m = 3 for t.
1
Let j(f) = f**2 + f - 10. Let p be j(3). Suppose 0 = -4*x + p*a + 22, 6*x = x - 5*a - 10. Solve o = -5*q - 6, o + 1 = -4*q - x for q.
-2
Let u = 52 - 50. Suppose -u*p + 3*x = p - 21, -4*p + 10 = 2*x. Solve -r = 4, -4*g + r + 20 = -p*r for g.
0
Suppose 4*p - 32 = -4*p. Solve 2*y + 5*m = -8, 2*y + 2*y + 16 = p*m for y.
-4
Let i(w) = w**3 + 5*w**2 + 5*w + 2. Suppose 6 = -3*p - a, 6*a - 2*a = -3*p - 6. Let b be i(p). Solve 20 = 2*s - 3*x, -7*s + b*s + 24 = -3*x for s.
4
Let s be 1 + 4 + -1 + 0. Suppose -4*v + 25 = 7*j - 4*j, s*j + 8 = 5*v. Solve -4*b + v*k + 0*k = 24, 3*k = -5*b - 6 for b.
-3
Let q = -2380 - -2388. Solve -4*j + 8*j - 12 = -2*u, -4*j + q = 4*u for j.
4
Let w be 3 + 1 - (25 + 1). Let v = 24 + w. Suppose 2*h - 3 = -3*s + v, 0 = -3*s - 5*h - 10. Solve 0 = 2*f - 0*f - 5*z, -s*f = -5*z - 15 for f.
5
Let u(n) = n**3 + 28*n**2 + 51*n - 11. Let r be u(-26). Solve 3*j - 12 = 0, -p + 5*j = -0*p + r for p.
5
Let w = -76 + 78. Solve -8 = w*x - 4*p, 6 = -5*x - 3*p + 38 for x.
4
Let p be 1/((-5)/(-40)) - 3. Let t = 3 + -1. Let s = p - t. Solve -4*c - d = -6*d + 15, 4*d = s*c + 12 for c.
0
Let h(y) = -y**2 - y + 11. Let m be h(-4). Let b be (m - (-39)/33) + 53/11. Solve -2*d = 5*x - 0*d + 4, -3*d + b = 2*x for x.
-2
Suppose 0 = -3*w + 9, -25 - 4 = 4*z - 3*w. Let q be z/(-1) - (-10 + 13). Suppose -q*y - 3*y + 25 = 0. Solve y*d + n = 4 - 0, 4*d + 2*n = 2 for d.
1
Let q = -9 - -14. Let s(u) = 2*u**2 - u - 4. Suppose 2*f + 4*i + 23 = 7*f, -18 = -4*f + 3*i. Let p be s(f). Solve -q*b = -2*g - p, -1 = 6*b - b + 2*g for b.
1
Let j(w) = w**2 - 3*w - 23. Let i be j(10). Let d = -45 + i. Solve 3*f + 0 - d = 2*y, -4*y = -2*f - 12 for y.
5
Let y be 19/7 + 4/14. Solve 5*p - 4*q + 5 = 0, -y*p + 2*q = -3*q + 3 for p.
-1
Let b = 879 + -876. Solve 5*d = a + 4 + b, d - a = 3 for d.
1
Suppose 8 - 42 = -4*k + 3*u, 5*k - 46 = 2*u. Solve -3*z = i + 7, 0*z = 2*i - 2*z - k for i.
2
Let b(q) = q + 25. Let i be b(-21). Suppose 0 = i*h - 8. Solve -2*d = -3*j - 13, -h*j - 2*d + 4 = 16 for j.
-5
Let c(l) = 0*l - 6*l + 5*l + 4 + 2*l**2 - l**3. Let a be c(2). Suppose 4*g = -5*d + 42, -10 = -d + a*g + 4. Solve -r + 10 = 3*t - 5, r - d = -2*t for r.
0
Let k(c) = c**3 - 7*c**2 + 11*c + 6. Let s be k(4). Solve 3*w + 1 = -p, -2*w - s*w + 2*p = -12 for w.
1
Let i = 232 + -229. Solve h = i*o - 11, -3*o - 2*h = -o - 18 for o.
5
Let m = 49 - 44. Suppose -3*b = -7 - m. Solve i + 11 + 9 = -b*v, 2*v + 10 = -2*i for i.
0
Suppose 0 = -4*u + 39 - 27. Suppose 4 + 8 = 4*y. Solve -w - u*w + 14 = y*b, -w + 5 = 0 for b.
-2
Let m(o) = o + 17. Let s be m(-14). Suppose 0*g - s*d = -2*g, 0 = 4*g + d. Solve 0 = -g*j - 4*j - 4*u, 1 = -3*j - 2*u for j.
-1
Let z be 0 + -4 + -2 + 10. Let j(n) = -2*n + 8. Let h be j(7). Let m = 11 + h. Solve z*c = -4*s + 4, 3*s = -4*c + m - 2 for c.
0
Let z(l) = -l**2 + 44*l + 263. Let h be z(49). Solve -2*j - 4*p + 16 = -7*p, -2*j + h = -4*p for j.
5
Let x = 1336 - 1332. Solve 5*b - 5*j = -10, 4*b + x*j = -b + 35 for b.
3
Let b be (0/(-1))/(16/8). Suppose w - 6 = -w. Suppose b*n = -w*n + 30. Solve -4*h + 9 + 7 = -4*s, 3*s + n = 5*h for h.
-1
Let p(v) = -35*v - 25. Let t be p(-3). Suppose -7*n = -t + 66. Suppose 2*r - 7 - 3 = 0. Solve 0*g - 2 = -n*g - r*k, k + 4 = 4*g for g.
1
Let d = 20 - 15. Suppose 0*y + 138 = 23*y. Solve d*s = -2*q + 30, -2 = -2*s + y for q.
5
Suppose -9 = 308*n - 311*n. Solve -5 + 29 = o + 5*x, 4*o - n*x = 4 for o.
4
Let a(f) = f**2 - f - 2. Let c be a(-2). Suppose -2*u - 2*d + 18 = d, 0 = -c*d - 16. Solve 2*t = 3*q + 19, -3*t + u = -0*t for q.
-3
Suppose 0 = -2*x - 4*f - 136, -2*x + 2*f = 3*x + 292. Let g be x/(-50)*(-20)/(-6). Let t = -4 + 10. Solve -8*y - 16 = -g*y, t = 5*c - 4*y for c.
-2
Let q be (18/192*-4)/((-2)/16). Solve -2*y = 3*h - y + 1, q*y - 2 = -4*h for h.
-1
Let n(u) = -5*u + 6 + 2*u - 11 - 11. Let y be n(-6). Solve -23 = 5*f - m, f = 6*f + y*m + 14 for f.
-4
Let c(f) = -f**2 + 9*f - 10. Let h be (-1 + -2 + 2)*-14. Let b be (0 - -1)*h/2. Let o be c(b). Solve r - o*s + 7 - 1 = 0, -5*r = -s + 11 for r.
-2
Let v(s) = -s + 34. Let m be v(-7). Let q = -40 + m. Solve -x = 4*g - 13, -x + 10 = 3*g - q for x.
5
Let t(m) = m**2 + 20*m + 22. Let c be t(-19). Let p = 27 - 15. Solve 0 = -4*z - 2*g - p, c + 0 = -z + 2*g for z.
-3
Suppose 0 = -6*z + 57 + 15. Let q be (-3)/4 + (-374)/(-8). Let f = -24 + q. Solve -j = 4*d 