q + 7 = 2 for l.
2
Let z = 29 - 27. Solve -17 = -i - 9*f + 4*f, -5*i - z = -4*f for i.
2
Let v be -1 - (96/(-2) + -1). Suppose 0*h - v = 2*h. Let x be (h/10)/(3/(-20)). Solve -k + x = 3*k - 3*b, -16 = 4*b for k.
1
Suppose -5*t - z = 2*z - 228, -2*t - 4*z + 80 = 0. Suppose 3*c = -0*c + t. Solve -2*u + c = -k - 5*u, 5*k + 4*u + 36 = 0 for k.
-4
Let x be (-80)/(-6)*(-15)/5. Let u be (8/(-20))/(2/x). Solve -3 = 3*v, 0 = -2*t - 0*v + 4*v + u for t.
2
Let q = -11 + 16. Solve 0 = -3*l + 7*l - q*z - 30, z = -2 for l.
5
Let i be (-32)/(-20) + (-4)/(-10). Suppose 0 = -5*b + 3*v + 7, 0 = 2*b - 2*v - i. Suppose 32 = d + d. Solve -z - f + 0 = 5, 5*z + b*f = -d for z.
-2
Suppose n + 7 = 3*d, 11 = -2*n + 4*d - 3. Let l = -3 - n. Solve 5*u + 30 = -5*s, l*s + 0*u - 8 = 4*u for s.
-2
Suppose 0 = -2*s + m + 21, -39 = -3*s - 4*m + 3*m. Solve 4*v - 5*f - s = 19, -7 = -v + f for v.
4
Let n be (-2)/(-4) - 2/(-4). Suppose n = -m + 3. Suppose -m*a = 2*a. Solve 2*x + 5*z - 17 = -0*x, 4*x + 3*z - 13 = a for x.
1
Let c(b) = -b**3 + 5*b**2 + 2. Let x be c(5). Let t be (-3 - 0)*-2 - -2. Suppose -t = -0*u - x*u. Solve -4*p + 7*p = -3*m + 21, -5*m - u*p = -31 for m.
3
Let y(t) = t**2 + 13*t - 11. Let d be y(-14). Suppose -i - d*x = 2*x - 24, 2*i - 38 = -5*x. Solve -3*c - 3*k = -27, k = -0*c - 2*c + i for c.
5
Suppose 4*a - 160 = -5*k, k = -2*a - k + 80. Let m be -2*1 + 1*6. Solve 4*g = -h - m*h + a, -4*g + 5*h = 0 for g.
5
Let u(c) = c**2 + 2*c - 3. Let z be u(2). Solve -z*f = 3*b - 5, 5*b = 2*b for f.
1
Suppose 5*j + 5 = 30, -3*j = 3*z - 39. Let r = -2 + z. Let y be (((-540)/25)/6)/(2/(-10)). Solve -2*u - y = 3*n, 0 = u - 3*u - r for n.
-4
Let a(j) = 29*j**2 + 2*j - 1. Let t be a(1). Suppose -3*i - 31 = -o, 68 = -5*o + i + 195. Let f = 53 - o. Solve -w = -5*q - t, 0 = -4*q + 3*w - 7 - f for q.
-5
Let p = 134 - 131. Solve 8 - 2 = -3*w, 2*j = p*w + 6 for j.
0
Let j(z) = -2*z - 6. Let o(f) = -f**3 + 2*f**2 - f - 2. Let i be o(2). Let a be j(i). Solve -s + 1 = -a*d, 11 - 5 = -3*s + 3*d for s.
-5
Suppose 4 = -2*d - 2*d. Let o(a) = -4*a. Let i be o(d). Suppose 5*g = i*f + 25, -5*g + 37 - 12 = 4*f. Solve 5*w - 4*x = -32, 0 = 2*w - f*x - 3*x + 17 for w.
-4
Suppose 3*y - 50 = y. Suppose -4*d - y = -l - 9*d, -8 = -4*l + 3*d. Suppose 5*u = 2*b - 8 + 23, -4*u - 5 = -l*b. Solve 4*z + 3*s = 6, u*s + 0*s + 13 = z for z.
3
Suppose -2*x = 4*t - 0*t, 0 = 2*x + t. Solve x = a - 3*w - 10, -3*a = 2*w + 16 - 2 for a.
-2
Let s = 19 + -16. Solve -3*t = -4*c - s - 4, 20 = 4*t for c.
2
Let m be (-476)/168*(-1 + -5). Solve 0 = -5*o - 5*l + 17 + 13, 0 = -2*o - 3*l + m for o.
1
Let i = 32 + -32. Solve i = 3*h + 4*v - 17, -11 + 27 = -h + 3*v for h.
-1
Let t = 28 + -28. Solve a + 10 = 3*z + 2, a - z + 6 = t for a.
-5
Let m(v) = v**2 - 2*v - 3. Let k be m(4). Let s = 14 - k. Suppose 3*z - 2*l = 2*z + 4, -3*z = -3*l - 9. Solve 3*w + s = z*p - p, 15 = -5*p - 5*w for p.
0
Suppose -c = 3*l - 13, -5*l - 1 = -6*c + 2*c. Solve -4*k = -c*x - 32, -5*k + 36 = -5*x - k for x.
-4
Suppose 0 = 4*p - 8. Suppose 11 = 3*n + p*z, -4*n - 4 = z - 22. Suppose -4*d = -n*d + 4. Solve -2*l + d*o = -3*l + 2, -4*l = 2*o + 6 for l.
-2
Let o be 4/2 - 3*(-24)/9. Solve -3*y = 3*t - y - 1, -2*t - 4*y = o for t.
3
Let o be -8*2/(-4) - 9. Let s = 7 + o. Solve 2*z = z + s*q + 8, -8 = -4*z - 4*q for z.
4
Let l(v) = -v**2 - 9*v - 4. Let n be l(-4). Solve 4*m - r - 4 = -n, -m + 18 = 5*r for m.
-2
Let p(u) = -u**3 - 2*u**2 - 2. Let s be p(-3). Solve -4*z + 14 = 2*m, s = 5*m - 5*z + 32 for m.
-1
Suppose 3*a + 5*k = 4*a - 202, -162 = -a - 3*k. Suppose -3*d + 13 = 1, 2*d + a = 5*f. Solve -4*t = -5*b - 0*t - 41, f = -5*b + 3*t for b.
-5
Let c(f) = f**3 + 8*f**2 - 7*f + 4. Let u be c(-8). Suppose q + u = -3*q. Let h be 0*(q/(-6))/(-5). Solve -3*x = 3*v, h*v = 2*v - 4*x for v.
0
Suppose -14 = -4*c + 6. Solve c*d - 3*r = 2*d + 24, -4*d + 17 = -r for d.
3
Let w be 2/(-4) + (-36)/(-8). Let u = 9 - w. Solve -3*z + 7*z + u*b + 1 = 0, 4*z - b - 5 = 0 for z.
1
Let z be 2/(-9) - (-10)/45. Solve 5*u = s - 11, -4*u + z - 16 = s for u.
-3
Let f be (-2 - -2) + 4 + 2. Let t = 1 - f. Let a = 8 + t. Solve -4*i = -2*d - 20, a*i = d - 1 + 14 for d.
-4
Let b be -8*((-3)/4 + -1). Let a be 768/56 - (-4)/b. Solve 0 = -m + 2*d + 3, 5 - a = -4*m + 5*d for m.
1
Let j(k) = k**3 + 4*k**2 + 3*k. Let x be (-22)/10 + 1/5. Let g be j(x). Let c = g + 3. Solve -p - 3 = 0, -m - 5 = -6*m + c*p for m.
-2
Let s = 81 - 90. Suppose -1 = 5*m + 9. Let j be 0 + m - (-1 + s). Solve -3*i - 2*i + 4*b = 6, -4*i - j = -4*b for i.
2
Suppose -g + 5*g + 48 = 0. Let o be (-88)/g + (-2)/6. Suppose -5*k + 14 - 6 = 3*n, 2*n + 20 = 3*k. Solve -d - 6 = -o*a + k*a, -5*a - d = -10 for a.
2
Let p = 3 + -1. Suppose 12*l = 9*l. Suppose m + 0*m - 10 = l. Solve -4*c = -n - p - 0, 0 = -5*n + m for c.
1
Let l = 19 + -16. Solve l*u + 4*k = 15, -k = -2*u - 4*k + 10 for u.
5
Suppose -5*g - 5 = 35. Let z be -4*((-150)/g)/(-5). Solve w - 5*q + z = 0, -4*w + 3*q = -2*q for w.
5
Suppose -a = -5*z - 23, 0*z = -3*z + 3*a - 21. Suppose -5*h + 6 - 41 = 0. Let s = z - h. Solve -s*x - 3 = 4*t - 2*x, 3 = -5*t - x for t.
0
Suppose 0 = 3*i + 2 - 5. Let p(f) = -f**2 - 8*f - 4. Let h be p(-7). Let q = h - i. Solve 3*y + q*y = 4*d - 11, -2*d - y = -9 for d.
4
Let t(h) = -h**2 - 26*h + 3. Let z be t(-26). Solve 3*y + 0*g = -z*g + 18, -3*y + 4*g = 3 for y.
3
Suppose 4*p = 2*p - 10. Let w be (-132)/(-30) + 2/p. Solve -l = 2 - 1, -4*s + w*l = 8 for s.
-3
Let z(d) = -2*d**3 - 3*d**2 + 1. Let m be z(-2). Suppose 3*g = 5*g + 20. Let i be 20/(-6)*18/g. Solve m*p = -2*b, p = i*p for b.
0
Suppose 39 - 19 = 4*k. Solve 0 = -z + r + 4*r - 22, -z + 18 = k*r for z.
-2
Let c(o) = -5*o - 33. Let x be c(-7). Solve -3*n - x = -3*a - 2*n, 3*a = -3*n + 18 for a.
2
Suppose -4*g - 1 = -2*h - 21, -2*g - 3*h = -2. Solve 4*f = l + 6, 4*l = -g*f + 2 - 6 for f.
1
Suppose -7*j = -5*j - 2. Solve 5*f - 31 = 4*y, 3*y - 2*f + 19 - j = 0 for y.
-4
Let w be (-6)/(-6)*8/(-2). Let v be 4 - (w + 3 + -10). Solve -z = -3*k - 10, 4*z - 5 = 2*k + v for z.
4
Let g(s) = s**3 - s**2. Let t be g(1). Let l = t + 2. Solve 0*n + 14 = -4*n + 2*c, 0 = 3*n - l*c + 12 for n.
-2
Let m be 49/14 + (-6)/(-4). Suppose 0 = -j - m - 9. Let y = j - -28. Solve -5*c - 15 = -5*n, 2*n + 2*n - y = 2*c for c.
1
Let l = 33 - 31. Solve -7 = -3*h - 2*k + k, -5*h - l*k = -12 for h.
2
Let r = -4 + 5. Let c be 2 + (-6)/3 + 2. Solve -r = -3*g + 5*h + 7, c*h = 2*g - 4 for g.
1
Let s(a) = a**3 - 11*a**2 - a + 13. Let j be s(11). Suppose -3*g - 23 = 2*f - 92, 45 = j*g + f. Solve -b - 4*h = -11, -h + 8 - g = -5*b for b.
3
Suppose -2*g - 4*l - l = -24, g + 6 = 2*l. Let p be ((-24)/2)/(1*-1). Solve g*z + 2*t - p = 0, 2*z = -0*t + 2*t for z.
3
Let a(w) = -w**3 - 7*w**2 - 2*w - 2. Let n be a(-7). Let g be (-2)/n + 76/24. Let o be 2/5 + (-16)/(-10). Solve -v = 7*b - o*b + 27, -g*b = 4*v + 23 for v.
-2
Let q be -1 - (-4 + 0) - -4. Solve -q*w + 3*w - 10 = -2*i, 10 = i - 3*w for i.
-5
Let v(s) = 2*s - 20. Let j be v(11). Solve -3*b - 2*d - 6 = -d, 4*b - j*d + 8 = 0 for b.
-2
Suppose -7*g = -5*x - 3*g + 10, -2*g - 4 = -2*x. Suppose 4*f = 2*f - 4*w, 3 = x*f + w. Solve -3*c + 2 = 2*l - 2, f*c + 24 = 4*l for l.
5
Let m(o) = -6*o + 19. Let q(x) = -13*x + 37. Let c(n) = 9*m(n) - 4*q(n). Let l be c(0). Solve -24 = i - 5*t, -2*i + 8*t - 3*t = l for i.
1
Suppose -4*s + 2*a = -a + 1, -a = 2*s - 7. Let g = -5 - -9. Suppose q = -g*d - 3*q + 8, 2*d - 3*q = 4. Solve d*o - 12 = -p + s*p, 4*p = -4*o for p.
-4
Let p(v) = 2*v**2 - 14*v + 9. Let q be p(7). Solve -5*k - 1 - q = 5*y, 0 = 2*y - 5*k - 3 for y.
-1
Let g(u) = u - 5. Let d be g(7). Let m be 5 - 1 - (-1 - 1). Let o be (6/1)/(m/15). Solve d*y = 5*y - 5*t + 29, -y - o = -3*t for y.
-3
Let l = 15 - 11. Suppose 5*i = 2*c + 42, -5*i - l*c + 28 = -i. Let y be (-2)/(-5) - i/(-5). Solve 4*j = -m - 17, -3*j - 4 - y = 3*m for j.
-5
Let h(z) = z**2 - 7. Let b be h(-3). Solve 3*w + i + 8 = 0, 4*i - 2 = b for w.
-3
Let a(b) = b**3 - b - 13. Let x be a(0). Let w = 0 - x. Suppose 5*r + w = -4*i, r = -5*i + 6*r + 40. Solve 0*f + 3 = 5*f + i*v, 5*f + v - 11 = 0 for f.
3
Let u = 0 - 4. Let c = u + 7. Solve o + 4*b + b + 21 = 0, -2*b - 11 = c*o for o.
-1
Let a(p) = p**2 + 6*p + 9. Let x be a(-8). Solve -3*d - x = 5*l, 0*d = -4*d + 5*l - 10 for d.
-5
Let m(s) = -s + 12. Let l be m(2). Sol