- x - 5*l = 19 for x.
1
Let d(g) = -g + 1. Let l be d(1). Suppose -i = -4 - 8. Suppose l*n - i = -3*n. Solve -2*m - m = 5*k - 10, 2*k - n = 4*m for k.
2
Let i be 5 + (12/(-2) - -3). Suppose -i*k = -5*w + 11, -w = -k + 1 - 2. Solve w*u - a = -3 - 1, -5*a = -3*u + 16 for u.
-3
Suppose 0 = -4*g + 76 - 60. Suppose 0 = -5*a + 3*n + 2 + 6, -4*a = 3*n - 28. Suppose a*k - 6*k + g = 0. Solve 2*m = 4, k*x - x + 14 = 5*m for x.
-4
Let t(x) = x**3 + 14*x**2 - 95*x - 409. Let h be t(-18). Solve -h*s + 12 = 3*q - 2*q, 4*q + 2*s + 6 = 0 for q.
-3
Suppose 72 = 4*n - 68. Suppose -5*t = -5*r + n, 6*t + 19 = -3*r + t. Let p = 1970 + -1960. Solve -r*s + 2 = -2, -3*s = -4*w + p for w.
4
Let r be (-4)/(64/(-18)) - 5/40. Let a be (r - -1)/(9 + -4)*60. Let z be ((-8)/a)/((-2)/60 + 0). Solve 5*f + z - 25 = 5*w, -3*w = -2*f + 7 for w.
-1
Let g be 18 + (3 - 9) - 0. Let m = -7 + g. Solve -l - 4*i = -17, -m*l - 3*i + 9 = -2*i for l.
1
Suppose 2*g = 5*w - 11, 3*g - 4*g + 8 = 2*w. Suppose 0 = g*k - 13 - 25. Suppose -16*l = -k*l. Solve -2*m + 11 = -3*z, 5*z + 2*m = -l*m - 13 for z.
-3
Suppose 15*g + 5*a - 35 = 0, 9*g + 1 = 10*g + a. Solve -4*p + 5*p = -1, p + 10 = g*o for o.
3
Suppose 0 = 2*x + 4*p + 164 - 170, p - 4 = -x. Solve 5*g = 2*u + 2*u + 20, 0 = -4*g - x*u - 25 for g.
0
Suppose 98*l = 109*l - 352. Suppose 4*b - 15 = 5*m, -l*m + 31*m = -1. Solve b*g - 2*p = -1, 4*g - 19 = -0*g - 5*p for g.
1
Let n = -175 - -168. Let t(d) = -2*d**3 - 2*d**2 - 3*d - 2. Let s be t(-2). Let o = s + n. Solve -40 = 4*i - 5*y, 5*i + 3*y - o = -18 for i.
-5
Suppose -9 = -4*h + 11. Suppose 3*t + t + 12 = 0, 4*l - t = 227. Let g = -52 + l. Solve -s - g = 2*o, h*o - 6 = s - 2 for s.
-4
Let h = -288 + 289. Let m be 36/(-27)*(h*-2 - 4). Solve 3*v + s - 3*s + 4 = 0, -4*s = -4*v - m for v.
0
Let a be 6*(110/(-30) - -4). Solve -12 + 4 = -a*t + 5*j, 3*j = -4*t + 16 for t.
4
Let n(m) = 3*m**2 - 139*m + 1628. Let w be n(23). Solve w = -3*i - 3*h, 80*i - 77*i - 5*h = 14 for i.
-2
Suppose -10*w + b - 61 = -13*w, 2*w + 5*b - 32 = 0. Let s = 12 + -8. Solve -s = 4*f + 12, -5*u = -4*f - w for u.
1
Let w = -133 - -161. Suppose w*n - 236 = 100. Solve 3*q = -4*t + 14, 0 = 5*t + q - 11 - n for t.
5
Let q be 240/(-36) - 2/(-3). Let l be -3*(q + 7) - -5. Solve -4*r + 3 = -3*r - x, -5*r = -l*x for r.
-2
Let l = -2022 - -1410. Let o = 616 + l. Solve -2*a + 20 = 2*r + 3*r, -26 = -o*a - 3*r for a.
5
Suppose -52*q = -59*q + 112. Suppose 4*i - 27 = -3*a - 2, -q = -4*i. Solve 0 - 17 = z - 3*x, 3*z = a*x - 27 for z.
-5
Suppose 11*f + 6 = -26*f + 191. Solve 2*o + 6 = f*o, 3*a - 22 = -5*o for a.
4
Let l = -826 + 435. Let a = l + 396. Solve a*k + o - 5 = 0, 4*k + 5*o + 1 = 5*k for k.
1
Let p be ((-5)/10)/(4/2160). Let z = -250 - p. Solve j + 3*n = 16, z = 2*j + 4*n - 4 for j.
4
Let k be 36 + 2/(-2) + -2. Suppose -4*d - x = 114 - 8, 2*d + 44 = -5*x. Let a = k + d. Solve v = 2, 0 = -3*s - 2*v - a + 16 for s.
2
Let k(f) = 2679*f + 5359. Let s be k(-2). Solve y = -2*v - 4*y - s, 4*v + y = -11 for v.
-3
Suppose 173*x - 178*x = -60. Suppose -x*l + 217 - 193 = 0. Solve 2*g + 10 = -5*p, 2*g - 3*p - l = -5*p for g.
5
Let u be -1 + (-2 - 1) + 4. Suppose 2*w - 10 = u, -68 + 22 = -2*j + 4*w. Suppose -j + 7 = -13*a. Solve 4*t + 27 = -a*b + 7*b, -15 = t - 4*b for t.
-3
Let u be 4 - (18/(-5))/(9/(-30)). Let f be 8/2*(-1)/u*0. Solve 4*h - 20 = f, 2*y + h - 2*h = -3 for y.
1
Let l(c) = -34*c - 68. Let x be l(-2). Solve m - 4 = x, -3*q + 4*q + 4*m - 18 = 0 for q.
2
Suppose -2*p = 2*p. Suppose -d = -p*d. Let n(v) = v**3 + 5*v**2 - 2*v - 7. Let i be n(-5). Solve x + 2*x + 21 = 4*h, 5*x + 4*h + i = d for x.
-3
Let d(r) = -14*r**2 + 2*r + 3. Let t be d(0). Solve 5*l + 21 = -5*b + 51, t*b + 10 = 4*l for b.
2
Let j = 12338 + -12333. Solve -3*n - 5*f = -8*f + 18, j*n + 24 = 2*f for n.
-4
Let g be (207/12 - 17)*(0 + 0)/1. Solve -q = -5*p - 13, 38*q - 33*q + 5*p + 25 = g for q.
-2
Suppose 923*z = 917*z + 216. Let c be z*3/(6/1). Solve -2*i + 4*h = c, -i + 6*h = 2*h + 13 for i.
-5
Let q(z) = -z**3 - z**2 - 2. Let v be q(0). Let j be 3 + -3 - ((v - -2) + 43). Let w = j + 45. Solve -3*u + 1 = -6*u - w*f, u + 3*f = 2 for u.
-1
Let l = -216 - -219. Solve 4*h - m = 15, -120*m + 118*m - 10 = -l*h for h.
4
Suppose 22*r - 57 + 12 = 43. Solve -3*x + 5*s = 21, r*x + 1 = 2*x - s for x.
-2
Let l = 66 + -46. Let n be (-3 + l/8)*4 - -2. Let d = 47 + -45. Solve -4*t - k - 1 = n, -3*t + k + d*k + 3 = 0 for t.
0
Let u(p) = p**2 + 2*p + 2. Let k be u(-3). Suppose k*i - 56 = -191. Let j = 39 + i. Solve 3*z = -4*a - 16, -4*a + 5*z = 4 + j for a.
-4
Suppose -122*q - 54 = -116*q. Let l(h) = -h**2 - 11*h - 12. Let o be l(q). Solve 0 + o = -2*r - 4*j, -5*r + 4*j = -13 for r.
1
Suppose 0 = -3*b + 9, -c - 3 + 17 = -4*b. Solve -4*g - 5*k = c, -k - k = -g for g.
-4
Suppose -13*m - 34*m + 470 = 0. Solve -14*q + 13*q + m = -5*v, 0 = 2*q - 4*v - 8 for q.
0
Let f(u) = 285*u**2 - 3*u + 1. Let k be f(1). Let t = k + -267. Solve 0*d = d - 4*o + t, 4*o - 24 = 3*d for d.
-4
Let c(r) = r**2 - r - 1. Suppose 21*m - 31 - 32 = 0. Let z be c(m). Solve -36 + 2 = z*j + 3*i, -14 = j + 3*i for j.
-5
Suppose -4*l = -u + 14, -2*u + 5 = -3*l - 33. Solve 2*a + u = 4*m, 13 = a + 5*m - 11 for a.
-1
Suppose -w + 26 = -3*k, 32 = 74*w - 70*w - 3*k. Solve -25 = 5*b - w*h, 3*h - 15 = 10*b - 7*b for b.
-5
Suppose -3*c - 3*j - 44 + 62 = 0, -16 = -4*c + 4*j. Solve 0 = 2*r + 5*d, -206 + 185 = -c*r - 2*d for r.
5
Let z be (3/(-2)*-1)/((-32339)/(-584) + -55). Solve -14*q + 22 = -11*q - z*j, 5*j = 2*q - 24 for q.
2
Suppose -4*v + 32 = -9*v + 47. Solve 2 - 16 = q + v*j, 5*j = -20 for q.
-2
Let m be (-21)/(-9)*-3 - -37. Let r be ((-10)/(-8))/(m/48). Solve -3*c + r*c - 5*y + 14 = 0, -3*c = -y + 6 for c.
-1
Let y = 15 + 1. Let g be 58926/105 + (-4)/(-5) + -1. Suppose -561 = -12*j - g. Solve -4*a - y = 4*s, j = -0*a + a + 5*s for a.
-5
Let o = -27715 + 27719. Solve -60 = -5*r + z - 44, -o = -2*r + z for r.
4
Let l = 10103 - 10076. Solve -l - 1 = z - 5*v, z + 4*v = 17 for z.
-3
Let j = -4167 + 4169. Solve j*h - 14 = 10*n - 6*n, h + n = 4 for h.
5
Let j be 7 + (2/1)/(-1). Let n be (8/52)/(-2) - (-316)/52. Suppose 0 = -j*p + 2*p + n. Solve 3*b - 3 = -4*z + 6, -4*b = -p*z + 10 for z.
3
Let w = 40 + -21. Suppose f = j + 23, 4*f - 54 = 3*j + 34. Solve -f = -i - 4*s, -2*i - 4*s - 1 + w = 0 for i.
-1
Suppose 0 = 23*u + 64085 - 64131. Solve -j - 12 = -u*n - 10, 5*j + n + 21 = 0 for j.
-4
Let g(d) be the first derivative of -9*d**2 + 4*d**2 - 20*d + 12 + 3*d**2. Let c be g(-6). Solve 5*z - 4*n = 9, -21 = -5*z + c*z - 4*n for z.
5
Suppose 406 = 3*a - 4*k, -5*a + 532 = -a + 4*k. Let h = -130 + a. Solve 5*s = 0, -i + h*s = 3*i + 12 for i.
-3
Let l(p) = p**2 - p - 1. Let c(f) = 4*f**2 - 1. Let h(u) = -c(u) + 5*l(u). Let y be h(6). Solve -o - 2 - 1 = 2*d, -o - d = y for o.
-1
Suppose 14*l - 13*l - 26 = 0. Let a(m) = -4*m + 28. Let o be a(7). Suppose o = 2*f - 23 + 13. Solve -2*x - 3 + l = -f*q, 5 = -x - 3*q for x.
4
Let k(b) = -2*b**3 - 14*b**2 - 13*b. Let d be k(-6). Solve -2*r = 4*o + d, 4*r = -o + 5*o + 36 for r.
5
Let z be ((-4140)/(-135) + -33)/((-5)/(-6) - 2). Solve -16*w + 15 = -21*w - 2*r, z*r = 3*w + 25 for w.
-5
Suppose -61*f = 207 - 329. Solve 4*k = -4, -3*l = 3*k - k + f for l.
0
Let y = -93 - -105. Suppose -h = -3*g, 5*h - 7*g - 20 = -y*g. Solve 6*w - 18 = 3*w + h*k, -5*k = 20 for w.
2
Suppose -d + q - 28 = -12, 2*d + 5*q = -18. Let o be 4*(4 + d/4). Solve -o*k = -6, f - 5*k + 20 = 3 for f.
-2
Suppose 94 = 43*k + 8. Solve 9*v - 4*v = 5*u + 20, 4*v - 22 = -k*u for v.
5
Let r(f) = -8*f + 226. Let s be r(28). Solve y + 21 = 5*d, 0 = s*y - 7*d + 2*d + 17 for y.
4
Let o(p) = 2*p**3 + 23*p**2 + 48*p + 182. Let l be o(-10). Solve z = -3*d + 5, 6*z + d - 9 = l*z for z.
2
Suppose -5*p - 56 = 4*o - 54, 13*p + 5*o = 11. Solve 9*j - 7*j - 4*c = 8, -2*c - 16 = p*j for j.
-4
Suppose 265*m + 8 = 4*n + 269*m, 0 = -n - 4*m + 8. Suppose 0 = -4*c - c + 70. Let g = c - 10. Solve -x - 37 = g*x + 3*p, n = 4*x - 5*p for x.
-5
Suppose 0 = 5*a + 10, -5*i + 4*a = -27 - 71. Solve -c + 3*c + 4*b + i = 0, 4*c - 3*b - 19 = 0 for c.
1
Let r = -13136 - -13247. Solve -3*n - 18 = -s, 5*n - r = 4*s - 148 for n.
-5
Let g(s) = -7*s + 69. Let i be g(9). Let k be (-42)/i*-1 - 5. Solve -k*p = 5*q - 7, 4*p - 8 = -5*q + q for q.
1
Let q(x) = x**2 - 2*x + 2. 