e -4*s - 4*t - 12 = 0, -g*s - 3*t = -9*s - 31 for s.
-5
Let s = 123 - 123. Suppose s = -d - 18*d + 228. Solve 3*k = 5*u - 23, 5*u - 6 - d = -2*k for u.
4
Let u(i) = i**2 - 4*i + 5*i - 2*i + i**3 + 13*i**2 - 10. Let l be u(-14). Solve -v = -n, -5*v + 3*n - l = 2 for v.
-3
Let o(b) = -b**2 + 15*b - 20. Let r be o(10). Let m = -28 + r. Let y be (2 - -1)/(3/2). Solve 0*s + s + 3 = 3*d, 0 = -y*d + m*s - 2 for d.
2
Suppose -2*w = -12*r + 8*r + 18, 2*w = -6. Solve 2*s - 5*s = 4*z + 24, -3 = 5*z - r*s for z.
-3
Let z(s) = -2*s + 74. Let m be z(37). Solve f - 4 = 0, -5*y + 3*f + 0*f + 3 = m for y.
3
Let a = 45 - 42. Let r(c) = -c**3 + 3*c**2 + c. Let s be r(3). Let y = s + a. Solve -y = 2*v - 0*v, 3*p + 9 = v for p.
-4
Let n(d) = d + 2. Let o be n(4). Let c = 49 - 50. Let m = o + c. Solve 5*i = -5*b - m, i + 17 = -b - 4*i for b.
3
Let r(w) be the first derivative of 5 - 1/2*w**2 + 11*w. Let x be r(7). Solve -2*v = -x*h - 14, -2*h + 3*v - 6 = -h for h.
-3
Let a = 101 - 51. Let t be (-6)/(-9) + a/(-3). Let b = -14 - t. Solve b*u = -2*v - 6, 2*u - 2*v + 15 - 5 = 0 for u.
-4
Let m = -84 - -87. Let s(j) = 3*j**2 - 9*j + 10. Let x be s(m). Solve 2*h + 4*c = -x, -h + 3*c = -31 + 11 for h.
5
Let l(f) = 3*f + 44. Let g be l(-8). Solve -g = -4*h + j, h - j + 4 = 3*h for h.
4
Let u = 198 + -196. Let m be 48/10 - (-3)/15. Solve -2 = -m*d - u*w, 28 = 4*d - w - 4*w for d.
2
Suppose -14 = o - 18. Let n be ((-3)/o)/(3/(-12)). Solve 2*m - 12 + n = c, m = 3*c + 2 for m.
5
Let w be 2/(1 - -1) - 0. Let r(k) = -k**3 - 13*k**2 - 13*k - 8. Let y be r(-12). Suppose -5*h = -y*h - 4. Solve -5*c + 3 = m, -c - w = m - h for m.
3
Let f be 7/((-1)/1*1). Let y(n) = -n**2 - 7*n + 12. Let l be y(f). Solve 0 = 2*b + 2*b + w + l, b + 3 = 4*w for b.
-3
Suppose 0 = 4*c - c - 36. Suppose -5*a + c = -23. Let j(g) = g + 9. Let i be j(-6). Solve -i*k = 15, 2*k - a*k = -5*w for w.
-5
Suppose -53 + 74 = 2*v + 5*u, 3*v - u = 6. Let c(h) = -h**2 - 6*h - 3. Let l be c(-5). Solve -v = -3*x - 5*f - 30, 5*x + l*f + 26 = 0 for x.
-4
Let o(u) = -u**2 + 3*u + 58. Let l be o(-6). Solve -l*c - 5*h - 9 = 0, h + 3 = -c - c for c.
-1
Let h = -67 - -70. Solve y + h*d = -16, 0 = -y - 2*d + 1 - 13 for y.
-4
Suppose 0 = -5*j - s + 5, -s - 5 = -2*j - 2*s. Let q = 9 + -11. Let k be j + (q - -2) + 6. Solve 2*a + k = 0, -l - 2*a - 14 = 3*l for l.
-2
Suppose 0 = -4*y - y + 20. Suppose -y*i + 18 = -i. Suppose 0*a = -3*a + i. Solve n - 4*w = a*n - 10, -5*n + 16 = 3*w for n.
2
Let g(m) = -9*m + 24. Let t be g(10). Let x be ((-4)/18 + t/(-54))*6. Solve 3*s - x*k + 3*k = 12, k = -s - 2 for s.
1
Let c = -256 - -256. Solve c = -3*k + 4*s - 8, -k = 4*k + s - 25 for k.
4
Let q be -1 - (-2 - 1) - -1. Let u = q - -5. Solve -i + 8 + 0 = -2*c, -2*c - u = 0 for i.
0
Let p = -52 - -56. Suppose 3*w + 5*b = p, 5*w - 4*b + b - 18 = 0. Let m be 15/2*4/6. Solve -n + 4*f = w*n - 8, f = -m*n - 20 for n.
-3
Let u(f) = -3*f + 13. Let z be u(5). Let x(q) = -4*q - 3. Let g be x(-2). Let k = g + z. Solve 3*n - 2*s = -2*n - k, -n = 2*s + 3 for n.
-1
Let r = 3 + 2. Let s(x) = 3*x - 2. Let m be s(r). Let w(y) = -2*y - 29. Let i be w(-16). Solve -p - i*p = v - m, 20 = 4*v for p.
2
Let v be 1 + 22/(-14) - 18/(-7). Solve 3*y + 4*k = -5, -5*y - v = 5*k + 3 for y.
1
Suppose -14*l + 12*l + 10 = 0. Solve 5*q - z = -l, 2*q + 3*z - 2*z + 9 = 0 for q.
-2
Let r(y) = y**3 - 11*y**2 + 18*y + 12. Let m be r(9). Let g be -2*3/m*-4. Solve -5*n = -2*i + 6, 3*i - g*n - 9 = -0*i for i.
3
Let q be (-39)/(-15) + (-6)/(-15). Suppose 4*r = -r + j + 11, 0 = -3*r - q*j + 3. Solve l = 5*u, 9 = -r*l + u - 0 for l.
-5
Let m(s) = 2*s**3 + 11*s**2 + 10*s + 29. Let g be m(-5). Let y be -2 - (-1 - (1 - -2)). Solve -n + g = 4*n - 4*h, n - 2*h = y for n.
0
Suppose 0 = 3*r - 5*i + 87, -5*r - 20 = i + 97. Let l = -22 - r. Solve -20 = -4*p, 3*d + 19 = l*p + 3*p for d.
2
Let t be 0 - ((-14)/6 + (-6)/(-18)). Suppose -2*v + 6 + t = -2*j, -8 = -3*v + 4*j. Solve -4*c + 2*o = -18, -c = c - 2*o - v for c.
5
Let x be -1 - (-2 - 9) - (-1 - 0). Suppose a - x - 7 = -4*j, -2*a = 5*j - 24. Solve -r + 5 = -b - 3, r - j*b = 23 for r.
3
Suppose -q - 19 = 5*j - 34, 0 = -2*j + 4. Solve -2*t = -2, -4*b - 12 = q*t - 1 for b.
-4
Suppose 62 = 3*c - 10. Suppose 0 = 2*f + f - c. Let l be f/5 - (-4)/10. Solve -n = n + 2, 5 = l*g + n for g.
3
Suppose -4*w - 21 - 31 = 0. Let l(q) = -q**2 - 10*q - 1. Let k be l(-7). Let s = w + k. Solve -3*f + 4*f + 4*t = s, 3*f + 7 = 2*t for f.
-1
Let f be 2*(5 - (-2 + 6)). Suppose -2*g + 3*g = -10. Let u = -4 - g. Solve 4*v = -u*j + 2*j - 12, -f*v = 0 for j.
-3
Let s be 2*(3 - (-2)/20*-15). Solve 29 = 5*h - s*o, -3*h - 2*o + 6*o = -24 for h.
4
Let s(v) = v. Let m be s(4). Let w = m - 2. Let g = w + 18. Solve -j + 5*j = -2*a - g, 29 = -5*a - 3*j for a.
-4
Let t(c) = -c**2 - 10*c + 3. Let j be t(-10). Suppose 4 = -0*a + 2*a + j*b, b + 2 = 0. Suppose 20 = -a*s + 35. Solve -x - 1 = 3*q - 2*x, s*x - 3 = -4*q for q.
0
Let l be (1 - -18) + (3 - 6). Suppose 50 = t + 2*u, t - 27 - 21 = -3*u. Let i be 258/t + (-4)/(-18). Solve -s - 20 = -i*y, 3*s - l = s - 4*y for s.
0
Suppose 793 = -57*b + 1990. Solve -3*i + 9 = -2*i - 4*y, -2*i - b = 5*y for i.
-3
Let d(j) = -j**3 + 10*j**2 + 8*j + 19. Let b be d(11). Let y be (-12)/b + -1 - (-3128)/238. Solve -w - 7*v + 3*v = -y, -3*w - v = 5 for w.
-3
Let m = 185 + -182. Solve 0 = q + 2*c - 14, -5*q - m*c + 0*c + 35 = 0 for q.
4
Suppose 0 = -2*c + y + 3, 3*c - 4*c + 4*y = 9. Let s be c/(-9) + (-78)/(-18). Solve -4*j + 5*u + 40 = 0, s*u + 2 = -j - 9 for j.
5
Let b = 15 - 15. Suppose t + 4 - 1 = b. Let u be (-16)/(-6)*(t + 6). Solve h + 0*w + u = -2*w, -1 = -4*h + 3*w for h.
-2
Suppose 279*s - 283*s = 0. Let t(u) = -u**3 - 5*u**2 - 6*u - 2. Let o be t(-4). Solve -4*c + s*c = -4*b + 8, -5*b = -c - o for c.
-1
Let l be -112*((-28)/16 + 1). Suppose -q + 4*q = l. Suppose -3*x = 3*t - 3, 0 = -x - 3*x + 2*t + q. Solve -p = 3*o - 13, -x = -4*p - 13 for o.
5
Suppose 5*f - 4*k = 31, 0 = -0*f - 3*f - 3*k - 3. Solve -j - f*j = -12, 5*h = -2*j - 19 for h.
-5
Suppose -5*k + 12 = -3*d, 2*k - 3 = -d - 7. Suppose 5*t - 35*t = -6*t - 13*t. Solve t = i + 2*q - 0 + 2, -2*i + 4*q + 12 = k for i.
2
Let r(w) = -w**3 + 4*w**2 + 5*w + 5. Let u be r(5). Let b = -13 - -16. Let o be ((-50)/(-1))/(6/3). Solve 2*p + 3*p = x - o, -u*p - 25 = -b*x for x.
0
Let b = 170 - 170. Solve b = -c - c - 8, 12 = 4*d - 2*c for d.
1
Let d be 4 + 0 + (37 - 37). Solve z = q - 7, 0 = -d*z + z - 4*q for z.
-4
Let b(y) = y**2 + 8*y - 11. Let l be b(5). Let w be (4/(-6))/(5/(-60)). Suppose 0 = w*q - l + 14. Solve -3*j + 9 = -z, -q*z - 7 = -2*z - 4*j for z.
3
Suppose 8*h + 1133 = 1173. Let c(n) = n**2 - 4*n - 3. Let l be c(5). Solve 4*m + 21 = l*t - 3*t, 4*t = h*m for t.
-5
Let g(i) = -i**3 + 4*i**2 - 9*i + 12. Let r be g(2). Let q = 0 - -3. Suppose q*c + 5*s = -2*c, 2 = 5*c + 4*s. Solve -r*y - 8 = -c*z - 2, -y = 5*z - 9 for y.
-1
Let j = 359 + -359. Solve 0 = -2*r + 3*t - j*t - 5, -5*r - 4*t = 1 for r.
-1
Let z = -10 + 12. Suppose -2*j = -2*s + 3*j + 118, 4*s = -3*j + 210. Suppose -2 = z*u + 6, -2*m - u + s = 0. Solve -p + 5*v = m, 4*p + 5*v = -0*p + 9 for p.
-4
Suppose 6*u - 4*x + 128 = 2*u, -2*u = 3*x + 79. Let v = -18 - u. Solve -3*q = -4*y + v, -4*q + 3*y = -y + 16 for q.
1
Suppose -5*i + 7 + 18 = 0. Let d be 1243/22 - 1/2. Suppose 0 = -4*t + 24 + d. Solve b + i*c = -0*b, t = -5*b - 5*c for b.
-5
Let x(z) = 6*z**2 - z + 2. Let c(p) = -p**3 + 5*p**2 + 2*p - 9. Let a be c(5). Let s be x(a). Solve 2*m = -2*r, m - 19 = -4*r - s for r.
4
Let a = -699 + 701. Solve 4*r + 10 = a*r + 4*y, 3*r + 15 = -4*y for r.
-5
Let l = 4 + -2. Let o(n) = 4*n - 16. Let h be o(5). Solve h*u = 0, 2*m - 5 = 3*m + l*u for m.
-5
Suppose 22 = 4*h - 2*h + 4*x, -2*h + 31 = -5*x. Let c = h + -10. Solve -19 = c*g + 2*v, -6 = -g + 5*v - 1 for g.
-5
Let z(t) = -t**2 + 36*t + 124. Let l be z(39). Solve 3*v = -4*b - l, -4*v = -5*b + 44 - 14 for v.
-5
Suppose 4*o - t - 4*t + 10 = 0, -5*t + 10 = o. Suppose -4*g + 5 + 3 = 0. Suppose 4*m - g*m = o. Solve -4*c - 4*q = -5*c + 2, -q = m for c.
2
Suppose -42 = -43*y + 22*y. Solve -3*g + 8 = y*p, 0*g = -4*g + 2*p + 20 for g.
4
Let x be (27/3)/(-3)*-1. Suppose j - 3*q = 3*j - 19, -3*j + 6 = -x*q. Suppose -8*o = -j*o - 12. Solve -p + 2*t + 8 = 0, -o*p - 2*t = -0*p + 8 for p.
0
Let l(f) =