t = -2*q + 8 for q.
-2
Let f be -13 + (532/19 - 13). Solve 3*a = -5*x - a + 31, 1 = 3*x - f*a for x.
3
Let u be (128/(-1472))/(68/(-1173))*2. Suppose 0 = 2*b + 4*d - 92 + 26, -4*b + 132 = 5*d. Let k = b + -7. Solve 0 = -3*w + y + 7, u*w - k = -y - 9 for w.
4
Suppose 4 = -2*x + 4*x. Let m be (-10 + -14 + 24)/(1*-2). Suppose -x*f = -m - 6. Solve -5*s + 16 = f*d - 4, 8 = 2*s + 5*d for s.
4
Let k be 1320/72 - 1/((-3)/(-4)). Suppose k = -2*w + 21. Solve 4*m = -z + 5*z, -2*m - w*z + 16 = 0 for m.
4
Suppose 16 - 12 = -t. Let x be (-22)/(-11)*(-6)/t - 1. Let h be (-4)/(x/6*-3). Solve -h*s + l + 23 - 2 = 0, -23 = -5*s - 2*l for s.
5
Let l be 4/(-22) + ((-1596)/66)/(-1). Let b be ((-4)/l)/(2/(-48)). Solve 0 - 2 = -2*u + b*j, -3*u - 11 = j for u.
-3
Let j be (-1 + 2)/((-50)/(-15) - 3). Suppose -v = j*v + v. Suppose -4*y + 8 + 8 = v. Solve -23 = 5*d - r, -3*d - y*r = -r + 3 for d.
-4
Let k = 89 - 77. Suppose -9 = -k*q + 9*q. Suppose 0 = -q*n - 5*c + 58, -40 = -2*n - c - 3*c. Solve 2*b - 3*g = 11, 5*b + 4*g = -0*b + n for b.
4
Let x(k) = 3*k**2 + 2*k - 2. Let q be x(-2). Suppose -2*m = -0*m - q. Let u be (-8)/7*10*77/(-44). Solve -14 = -r + 5*i, m*i + u = 5*r - 6 for r.
4
Suppose 52*g - 64*g - 24 = 0. Let q be 3*(-2)/(-12) - 5/g. Solve 2*f + m = 4 - 6, -6 = -q*m for f.
-2
Let y be (-603)/(-18) + 1/2. Let x = -59 + y. Let g = 28 + x. Solve 0 = -q - g, 2*q + 13 = -5*d + 2 for d.
-1
Let v(y) = 12*y**2 + 10*y - 9. Let l be v(-4). Let z = l + -121. Solve -3*f + 8*f + 11 = 3*b, -4*f - 2*b - z = 0 for f.
-4
Suppose -113*x = -109*x - 3*i - 89, 4*i - 46 = -x. Solve -5 = j, 3*p + x*j = 31*j + 19 for p.
-2
Let a = 1398 + -1394. Solve 3*v = 1 + 2, 5*r - a*v = 1 for r.
1
Let v = -322 - -324. Solve -2 = -v*n, 0 = -2*w + 5*n - 25 + 24 for w.
2
Let q be -1 + -16 + 4 + -7. Let z be 4*(1 + -2 - q). Suppose 74*p - z*p + 8 = 0. Solve 3*t - p*t = -k, 0 = -t - 5*k for t.
0
Let j = -30 - -32. Suppose j*k + r - 10 = 4*r, k - 4*r + 5 = 0. Suppose -k*d = -d - 20. Solve -8*c + 3*c = 5*s + 20, -14 = d*c + 4*s for c.
-1
Suppose 0 = 244*s - 286*s + 672. Solve -3*f + 8*z - 4*z = 25, -4*f = -z + s for f.
-3
Let d = 233 - 194. Let w = d + -35. Solve -3*x + 7 = 2*v - 0*x, -x + w = v for v.
5
Suppose 12*b + 1931 = 239. Let w = b - -161. Solve 0 = 4*z - w, -h + 12 = 3*z + 1 for h.
-4
Let t(k) = -k**3 - 27*k**2 + 8. Let b be t(-27). Let d(g) = -g**2 + 4*g + 32. Let r be d(b). Solve 2*h = -4, r = -w + 2*h + 3*h + 12 for w.
2
Suppose -5*j - 13 = -3. Let w be (-188)/(-28) + (18/14 - 1). Let a be (j/3)/(w/(-21)). Solve a*b = -2*i + 10, 3*b - 5 + 25 = 4*i for b.
0
Let j = 11201 + -11189. Solve q + 5 = 5*p + j, -q = -p - 3 for p.
-1
Suppose 162 = -29*h + 35*h + 75*h. Solve 0 = -4*t - g + 5*g, 0 = -4*t + 3*g + h for t.
2
Suppose -5*r - 31 = -71. Solve 4*v + 0*f + r = 5*f, 3*v + 7 = 4*f for v.
3
Let i = -1525460 - -1525462. Suppose 12 = 3*t - 3*b, 3*t - 4*t + 4*b = -10. Let z be (-2)/(-4) + 9/t. Solve -d + z = -2*d, -j = -d - i for j.
-3
Suppose 5*h - 35 = 5*m, -3 = 6*m - h - 6. Solve 0 = 2*k + 10, -y = -6*y - m*k - 10 for y.
0
Suppose 24*o = 32*o - 1512. Suppose o*k - 119 = 182*k. Let i be (1 + 0)/((-2)/(-10)). Solve i = -l - 5*r - 10, l - k = 3*r for l.
5
Suppose 48*b - 46*b = -3*u + 54, 0 = -5*b - u + 18. Suppose -4*k - 3*v = -9*k + 17, 0 = -5*k + 5*v + 15. Solve b = -5*i + y + 11, -k + 0 = -y for i.
3
Let i be (7 + 135/(-20))*0. Let g be i - (-6 + 4 + 0). Solve g = 3*n + l + 19, 0 = -n - 5*l - 29 for n.
-4
Let b = -90 + 127. Suppose -5*f - b = -r, -f = -r - 6*f - 13. Let s(q) = q**2 - 10*q + 23. Let l be s(7). Solve -l*x - 1 = -k - 8, 0 = -4*k - r for x.
2
Let y(w) = -2*w**3 - 39*w**2 + 22*w + 44. Suppose 5 = -x + 3*t, -t + 92 + 3 = -5*x. Let j be y(x). Solve -4*k - j*v = 16, 4*k - 4*v - 7 = -15 for k.
-3
Let r(q) = -50*q + 458. Let c be r(9). Solve 4*u - 16 = 4*n, 0 = 7*n - c*n for u.
4
Let r = -182 - -270. Suppose -4*s = -9*s - 4*b + r, 37 = 2*s + b. Let c be (-8)/(-56) + 81/21. Solve 0 = -3*x + 4*x + c*q + 20, -4*x + s = -4*q for x.
0
Suppose -6*i = 4*i - 300. Suppose -2*q - 24 = -i. Solve -q*c - h + 6*h = -23, 4*c + 5*h + 16 = 0 for c.
1
Suppose 3*x = 15 - 3. Suppose 13*b - 2 - 37 = 0. Solve -4*f = -x*z + 24, 2*z - b*f = -5*f for z.
3
Let j(h) = -160 - h + 75 + 70. Let m be j(-19). Solve d - 3*r + 9 = 0, -m*d - 4*r - 2 = r for d.
-3
Let q = 14 + -7. Suppose -9*f = -q*f. Solve 4*v + 2*z - 8 = f, -z + 16 = 5*v - 0*z for v.
4
Let x be -4 + (2 + 2)/(-4) + 21. Suppose -2 = x*u - 17*u. Solve 0 = 3*c, 3*z - u*c + 20 = 7*z for z.
5
Let g(t) = -2*t**2 - 184*t - 1028. Let i be g(-6). Solve -u - i*d = -0*u - 9, u - d = -6 for u.
-3
Let u be (324/(-9))/((-18)/(-24)). Let x be u/6*(-3)/12. Solve 0 = 2*v, -2*k - v = -x*v for k.
0
Let m = -90 + 95. Let k = m + -2. Suppose u - 15 = -5*t, -k*u - 3 = -t - 16. Solve 2*o + u*p = 0, -p = -0*p - 2 for o.
-5
Suppose 21*y = 19*y. Suppose -d - z + 13 - 7 = y, -4*d = -2*z. Solve -x + 2 = -d, 4*x = -4*p + 20 for p.
1
Suppose -8*x + 5*x = -5*x + 94. Solve -5*g = d - x + 25, 4*d - 4*g = -32 for d.
-3
Let k(q) = -q**3 + 7*q**2 + 13*q - 87. Let h be k(7). Solve 3*v = h*n - 14 + 7, -3*n = -12 for v.
3
Let v(k) be the first derivative of k**2 + 44*k + 18. Let d be v(-21). Suppose -2*g = 6, -d*j + 6*j - 5*g = 27. Solve r + 4 - 9 = -b, j*b - 10 = -2*r for b.
0
Let i be (14/(-4) - -1)/(22/((-792)/15)). Solve 0 = 3*x + d - i, -5*x - 41*d + 10 = -36*d for x.
2
Suppose 4*n + 8 = 6*u - 2*u, 0 = 3*n - 2*u. Solve 3*a + 2*m - 9 = 0, n + 8 = -4*m for a.
5
Suppose -2*g + 79 = 5*l, 6*g = 10*g + 12. Let y be ((-1)/(-2))/((-4)/(-32)). Suppose -y*p + 53 = 13. Solve -2*s - s + u = -l, -5*u - p = 0 for s.
5
Let s be (-203)/(-56) + 230/(-368). Solve -1 = -2*l + l, s*l - 18 = -3*t for t.
5
Let b be 1 - (-4 - 1) - 1. Suppose -2 + 36 = 2*j - 2*r, r = -4. Let y be (-4 + 35/10)/(1/(-4)). Solve 2 = -b*q - y*f - j, 5*q + 5*f = 0 for q.
-5
Let w = -20690 + 20701. Solve -3*z + 14 = -j, -4*z + z - 4*j = w for z.
3
Let t = -351 - -355. Solve 0 = -t*j + 5*c - 2*c - 5, -2*j - 2*c + 8 = 0 for j.
1
Suppose 43*i + 5*p - 87 = 36*i, 5*p = i + 39. Solve 2*t = -36*h + 37*h - 7, t = 3*h - i for h.
1
Let t = 604 + -599. Suppose -t*v = 23*v. Solve 4*n - a + 0*a + 1 = v, -a = 3*n + 6 for n.
-1
Let g(k) = -4*k**3 - 19*k**2 + 2*k - 10. Let y be g(-5). Let x be (-1 - -1 - 0)/2. Suppose x*h + 9 = 3*h. Solve -y = 2*z + 3*b, -h*b = 5*z + 1 - 2 for z.
2
Let v be (7 - (-198)/2) + 5. Suppose 57 = 14*k - v. Solve 2*p = 5*t - 19, 4*t + k = 7*t - p for t.
5
Suppose -323 = -26*y + 142 - 75. Solve 2*c + 73*b - 75*b = 6, -c = 5*b - y for c.
5
Suppose 5*f - 104 = 16. Suppose 13*a + 67 = 106. Solve 0*n + 4*n + f = 5*k, -n - 13 = -a*k for n.
-1
Let t be -2 - (4 - 278/7)*-7. Let w = 255 + t. Solve -4*v - 2 = -3*x - 11, 0 = 5*v + x + w for v.
0
Let d be ((-9)/24)/(18/(-192)). Let p(l) = l**2 + 7*l - 6. Let z be p(-6). Let r be ((-9)/z)/(6/16). Solve -2*y = 2*y + a - r, 2*a - d = -3*y for y.
0
Suppose 4*t + 5*p - 20 = -t, 0 = -2*t - p + 9. Suppose 0 = -2*d - l + 7, d + 5*l = 4*l + t. Let a = 3 + 0. Solve d*u + 6 = -o, 0 = -2*o + a*o - 3*u - 19 for o.
4
Let l(g) = -g**2 - 159*g - 4248. Let k be l(-125). Solve -28 = -4*s + 4*t, 2*s - 8 = -k*s - t for s.
3
Suppose -64 - 16 = -4*q + 4*p, -24 = 4*p. Let i = -28 - -61. Let x = -7 + i. Solve -3*d = -n - q, -4*n - x = -5*d + 9 for n.
-5
Let r = 2134 + -1478. Let n = r + -656. Solve 2*s + 5*u + 23 + 6 = n, -11 = 3*s + u for s.
-2
Let z(m) = m**2 - 76*m + 1423. Let s be z(43). Solve -s*q + 165*c = 166*c - 13, 6 = -2*c for q.
4
Let n = 3687 - 3682. Solve 3*k + 17 - 3 = -h, -4*h + 5*k = n for h.
-5
Let x(w) = -22*w - 66. Let o be x(-3). Suppose 5*z + 2*j - 10 = o, -3*z - 3*j + 22 = 7. Solve 10 = -5*f, z*m + 2*m + 4*f + 14 = 0 for m.
-3
Suppose -5*b + 30 = 0, 27*r = 17*r - 4*b + 54. Solve -5*x - r*p + 4 = -2, 2*p = -6 for x.
3
Let p = -29126 + 29146. Solve p*c - 2*t + 8 = 16*c, 3*c + 4*t = -6 for c.
-2
Let i = 87 + 70. Suppose -151*a - 84 = -i*a. Suppose 2*r - 20 - 14 = -3*h, -r + 2 = 0. Solve -a = 2*j - 3*p, -2*j - j - p = h for j.
-4
Suppose -28*a + 111*a = -7*a. Solve -4*j - 2*k + 12 = 0, -j + a*j + k - 3 = 0 for j.
1
Let w(j) = 8*j - 94. Let c be w(31). Let o = c - 152. Solve 0 = i + o*i + 3*z, -5*i + 5*z + 50 = 0 for i.
5
Let y(q) = q**2 - 80*q - 1205. Let z be y(93). Solve 5*r = 2*w + 10 -