*o, -p*x - 3*o + 0 = -4 for x.
5
Let i = 8156 + -8151. Solve 0 = 3*a + 5*s - 37, -22*s = i*a - 26*s for a.
4
Let s(j) = -4*j + 69. Let n be s(16). Suppose 14*t = 17*t. Suppose -b + 4 - 2 = t. Solve -n*f = -2*f + 3*h - 6, -2*h = -b*f for f.
1
Let j be (6/8)/((-9)/(-48)). Suppose -2*f + 23 = -5*n, j*f - 11 = -n + 2. Solve 2*h + 9*i - 5 = 4*i, 29 = -f*h + 3*i for h.
-5
Suppose 17 - 23 = 2*q + 2*p, 0 = -2*p - 4. Let i be (2 + q/(-1))/(66/44). Solve -4*h - 5*g - 35 = 0, 0 = -i*h + 3*h - g + 2 for h.
-5
Let z = 7051 - 7046. Solve 3*v - z*k = -8, -4*v - 4*k = 53 - 85 for v.
4
Let i(x) = 39*x + 432. Let d be i(-11). Solve t - 6 = -z + d, 5 = 5*z - 3*t for z.
4
Suppose -4*x + 2*g + 414 = 0, -296 + 852 = 5*x + 3*g. Solve -102*o + x*o - 5 = 5*d, -5*o - 3 = 3*d for o.
0
Suppose 2*v - 3*p = 1175, 5*v - 4*p = -6*p + 2966. Let z = v - 578. Solve -l = 3*l + 2*y + 14, 3*y + z = l for l.
-1
Suppose 41*q - 250 = q - 10*q. Solve 8 = q*v - 2*p, 6*v = 9*v + 2*p + 8 for v.
0
Suppose -30 = 85*x - 100*x. Solve 3 = 3*j + 3*d, x = -2*j + 5*d + 4 for j.
1
Suppose 0 = 50*q - 36*q. Solve 38 = -3*r - 4*d, q = 2*d + 8 + 2 for r.
-6
Let q = -4535 - -4539. Solve 0 = 4*z - 16, -h = q*h - 5*z + 45 for h.
-5
Let m = 26 - 11. Let l be (-1338)/(-122) - (-158)/4819. Solve h + 5*g + 0*g + m = 0, h = -3*g - l for h.
-5
Let u = 2612 - 2609. Solve u*l = 3*q + 6, -4*l + 6*q - 10*q = 32 for l.
-3
Suppose 2944*o - 54 = 2917*o. Let m be (-1 - -1)/(3 - 5). Solve 5*b + 30 = -0*t - o*t, 4*b - 2*t + 6 = m for b.
-4
Let c be (1/(-2) + 1)*0*11/(-209). Solve 2 = i - r, i - 3*r + 5 - 15 = c for i.
-2
Let o = 1728 - 1724. Solve 21 = 5*r + p, -o*p + 1 = r - 3*p for r.
5
Let i be (8/(-6) - -1)/((-24)/1008). Let z(m) = -3*m + 41. Let a be z(i). Let k be -2*((-17)/(-4))/(a/4). Solve -3*r + 2*h = -r + 16, -3*h = -5*r - k for r.
-5
Suppose 9336*i + 5 = 9337*i. Solve i = -5*k + 2*k + u, u = 5 for k.
0
Suppose 0 = -18*r + 140*r + 134 - 378. Solve 0 = -q + f + 2, -5*q + r = -6*q + 2*f for q.
6
Let h = 428 + -425. Let a(z) = 14*z - 35. Let g be a(h). Solve 0*m - 5*m = i - g, 3*i + 5*m - 1 = 0 for i.
-3
Let f be 4 + (-12)/3 + 144. Suppose 4*z = -5*z - f. Let a = -16 - z. Solve -2*r + x - 3 = a, -3*r + 3*x = 8 - 2 for r.
-1
Let g(l) = -7*l + 607. Let s(f) = 4*f - 302. Let u(t) = -2*g(t) - 5*s(t). Let c be u(48). Solve -5*r + 5 = -5*q, -2*q = 3*r - 0*q - c for r.
2
Suppose 3*n = 1 - 73. Let s = -22 - n. Suppose -v - 1 = -4. Solve -3*l - 6 = s*y - 0, 0 = -5*l + y + v for l.
0
Let m be 10/4 - (-124)/248. Solve m*h + 6*b - 3*b + 3 = 0, -2*b = h + 6 for h.
4
Let r be (2*62/4)/1. Suppose 6*i + r = 301. Let b = i + -40. Solve 0*l - 5*t = -l + b, -4*l + 20 = 4*t for l.
5
Let c(z) = 4*z - 27. Let n be c(12). Let w be ((-126)/(-2))/(n/14). Let x = w + -40. Solve -v + x = 0, 4*j + v = -4*v + 18 for j.
2
Suppose 3*z = -0*z. Let r be 24 + (1/3 - 92/69). Suppose 3*j - i = r, 2*j = -0*j - 3*i + 30. Solve z*k - p = -k + j, -21 = -5*k - p for k.
5
Let t(w) = -w**3 + 3*w**2 + 3*w - 1. Let u be t(2). Let g(j) = -16*j**2 + j + 1. Let i be g(-4). Let s = i + 259. Solve s = -3*c + 6, 2*c = z - 0*z + u for z.
-5
Suppose -26*k + 17 + 113 = 0. Let r(q) = -q**3 + 4*q**2 + 4*q + 11. Let x be r(k). Solve 0 = w + t - 4, t = -5*w + x + 18 for w.
5
Let l be 22 - ((-5)/10*0 - -4). Suppose l*n = -n + 57. Solve 0 = 5*d - 3*r - 10, -r - 19 = -d + n*r for d.
-1
Suppose 0 = 3*j + 3, -l + 4*j + 3 = 3*j. Let b be (-3 + -1)/(((-4)/1)/l). Solve -5*i = -2*i + b*r + 13, 0 = i + 5*r + 26 for i.
-1
Let t = -14677 + 14680. Solve 0 = -33*g + 28*g - 5*a, t*g = 5*a - 32 for g.
-4
Let s = -2 - -5. Suppose -3*l - 371 + 374 = 3*g, -l = -3*g + 11. Let v be (1 - 3)/((-2)/4). Solve 2 = -c + s*m, g*m = v*c - m for c.
1
Let d = 106 - 102. Suppose 0 = -s - 0*s - 2. Let o be 0 + 2 + s + 3. Solve 2 = -2*r + 4*c, -o*c = -d*r + c + 8 for r.
5
Suppose 2*t - 2*j = -2, 119*j - 114*j = -4*t + 32. Solve 2*r - 12 = -5*d + d, -3*d - 3*r + t = 0 for d.
5
Let s(u) = u**2 - 110*u + 530. Let b be s(105). Solve 6*q - b*q + o = 0, 5*o = -q for q.
0
Let p = -590 - -590. Suppose -n - 4*a + 35 = p, -5*n + 15*a = 19*a - 127. Solve 0 = i - 0*b + b - 2, i - 4*b = -n for i.
-3
Suppose 161*z = 192*z - 434. Solve h + z = -2*q, -5*q - 21 + 1 = 0 for h.
-6
Let j = 161 + -110. Let s = -48 + j. Solve -a = -d - 2*a, s*d + 4*a = 0 for d.
0
Let z(q) = 4*q**2 - 1215*q - 41506. Let t be z(-31). Let j be (4 - 2)*(4 + 0). Solve 0*w + t = -3*y + 3*w, 0 = y + 2*w - j for y.
2
Let o(z) = -z**3 - 12*z**2 - 5*z - 52. Let l be o(-12). Suppose -3 = -l*c + 29. Solve -c*r - 12 = 2*g, -5*g + 5*r - 10 - 5 = 0 for g.
-4
Suppose 0 = 71*k - 70*k - 50. Suppose -k = -13*t + 15. Solve -t*r - 6 = -10*r + 4*f, -4*r - 5*f - 28 = 0 for r.
-2
Suppose 164 = 4*w + 78*w. Suppose 2*t = 5*t - 72. Let l be (-6)/(-4)*t/18. Solve u - 2 = w, 0 = -l*n + u for n.
2
Suppose 6*y = 5*x - 57, -32 = -4*x + 2*y - 6. Solve -x*s - 4*l + 7 = 0, 20 = -l + 6*l for s.
-3
Let u(q) = 5 + 0*q + 6 + 5*q - q**2. Suppose 40 = 49*b - 254. Let f be u(b). Solve -2*k - 4*t = f - 15, 0 = 3*k + t + 10 for k.
-5
Let g(m) = -33*m - 61. Let h be g(-8). Let a = h - 195. Solve -8 = 2*w - 3*w - z, 0 = -4*w + 4*z + a for w.
5
Let j = -3606 - -3613. Solve 0 = -r - 5*b - 7, 40*r + j = 37*r - b for r.
-2
Let h be (-2)/((-40)/(-15))*-4. Solve 0 = 4*p - p + h*a - 12, -2*a - 8 = -2*p for p.
4
Let b(i) = i**2 - 21*i + 23. Let h be (4 + (13 - 4))/(-1). Let n = h + 33. Let g be b(n). Solve -2*r - 24 = -5*c, 0*r - g*c + 6 = 3*r for r.
-2
Let s be (-2)/2*(21/(-4) - (-33)/132). Solve n + s = 2*p - 3*p, -5*p + 3*n + 15 = 0 for p.
0
Let y = -10815 - -10818. Solve -5*m + 7 = -18, 0 = -y*r - 3*m for r.
-5
Suppose -3*s - v - 27 = -72, 0 = -s + 4*v + 2. Suppose -3*h + 2*r = 2, 3*h + 13*r - 2 = s*r. Solve 2*z = 4*w + 2, 2*w + z - 3 = -h for w.
0
Suppose -1208 = 5*s - 2*c - 80, -2*s - 464 = -4*c. Let y = -221 - s. Solve -4*h = y*f - 19, -f = 2*h - 7 - 0 for f.
5
Let x be (-132 + 138)*(8/9 - 4/18). Solve -2*n - x*r - 28 = 0, 19*n + 3*r = 23*n + 1 for n.
-4
Let g(c) = -7*c + 37. Let x be -1 - 0 - (-9 - (-12 - -7)). Suppose 3*n - x - 12 = 0. Let v be g(n). Solve j - 2*t = -v*j + 7, -4*j = -4*t - 8 for j.
3
Suppose -1403*q + 1347*q = -1299 + 347. Solve -3*d + 5*z - 31 = 0, d - 5 + q = 2*z for d.
-2
Let p be 1/2 + 27738/92. Let w = p - 299. Solve w*z = -6*a + 2*a + 35, z - 5*a = -20 for z.
5
Let y(w) be the first derivative of -w**2 + 4*w - 12. Let b be y(2). Suppose -2*d = j - 7, b*d + 4*d = -5*j + 17. Solve d*t - 3 = 0, t = -3*c + 2 + 5 for c.
2
Let r = 5829 + -5816. Solve 4*y = 12, 4*t + 25*y = 24*y - r for t.
-4
Let t(v) = -v**3 + v. Let d be t(1). Suppose -4*j - 2*w = -226, 3*j = -w - 4*w + 187. Let p = 56 - j. Solve -r - 1 = d, l - 3*r + 4*r + p = 0 for l.
-1
Suppose -2*k + 5*t + 23 = 0, -3*k + 575 - 534 = -t. Solve 3*b + 4*d = 9*d - 20, k = -3*b - d for b.
-5
Suppose 4403 = 40*k + 4283. Solve 4*b + 9 = x, -3 - k = -x + b for x.
5
Suppose -408 = -59*j - 77*j. Solve -4*h = -5*l - 24 + 15, -2*h = 5*l + j for l.
-1
Suppose 352 = -2*s + 5*s - 4*q, -581 = -5*s + q. Let o = -163 + s. Let d = o - -57. Solve -2*j = -2*b, -4*b = 3*j + 25 + d for j.
-5
Let m = 3963 - 3960. Solve m = 4*o + 5*p, -11*o + 15 = -14*o + 2*p for o.
-3
Let o(s) = 510*s - 4078. Let j be o(8). Solve -9 = -2*d - q, j*q - 12 + 8 = 3*d for d.
2
Suppose -2*l = 4*j + 2*l - 60, -3*j - 11 = -5*l. Let r be (6/(-4))/((-1)/30). Suppose -2*t - t = -r. Solve -4*p + 20 = -4*b, 3*p - j = 5*b + t for p.
1
Suppose z + 3 = 3*z - 3*c, z = -4*c + 7. Suppose -5*p + 27 + z = 0. Let r be (p/18)/((-1)/(-6)). Solve -9 = r*s + 5*q, s + 2*s = -3*q for s.
3
Let q be 2 - 4/3 - 2/3. Suppose -4*o + 5*o - m - 28 = q, -o = -5*m - 40. Solve -4*h + 25 = -5*w, 4*h - h + o = -5*w for h.
0
Let m = 558 - 558. Solve -5*v + m*v + 3*f - 31 = 0, 0 = 5*v - 4*f + 33 for v.
-5
Let g = 42 - 44. Let v be 18/g*-1 + 3. Suppose -16*u = -v*u - 8. Solve 0 = 3*h - u*o - 16, -h - 2*h = -3*o - 18 for h.
4
Let d = 3951 - 3930. Solve 12 - 15 = x + 2*u, -2*x + 5*u = -d for x.
3
Let x(d) = -8*d**3 + 4*d**2 + 8*d - 1. Let t(f) = f**3 - f**2 - 1. Let o(g) = -6*t(g) - x(g). Let h be o(1). Solve 5*s = -2*q - h, 4*s - s + 7 = 4*q for s.
-1
Suppose -16*y = 19*y - 140. Suppose -y*u - 5*j + 55 = -20, 0 = j + 1. Solve -o + 5*o - u = -f, -3*f - 3*o + 15 = 0 for f.
0
Let y = -15 - -17.