, -y*a + l = 9 for a.
-3
Suppose 3*s = -s + 2*d + 16, -3*s + 10 = -2*d. Suppose 8*o - s*o = -8. Let c be 5 + o*(-3)/6. Solve -3*g = -g - 3*r - c, 2*r = g - 5 for g.
-1
Let c(i) = 30*i - 3267. Let z be c(109). Solve -3*s + z*w = -53 + 59, -2*w = -s - 1 for s.
-3
Suppose 5*p = -2*r + 27 - 4, -3*r + 12 = 0. Solve 6 = p*y + q + 14, -4*y - 6 = 2*q for y.
-5
Let p be (0/1)/(0 + 1). Let y be (1 + p)*21/3. Let r = 85281 + -85279. Solve -4*u = f - 14 - r, -2*f = 3*u - y for u.
5
Let g(u) = 5*u + 85. Let s be (0 + 9 - 23) + 2*-1. Let d be g(s). Solve 3*j = -5*a - 9, 5*j - 3*a = -d*a + 4 for j.
2
Suppose 3*t - 8*b = 20, t - 32*b = -33*b + 3. Solve 2*q - 10 = -a - 3*q, 8 = t*q for a.
0
Let s = -399 + 146. Let h = s + 255. Solve h*f + 2*f + 22 = -2*u, -2*u = -4*f - 10 for f.
-4
Suppose 3*o - 5*g = 11, 0 = 9*o - 13*o + 3*g + 11. Solve o*u + 14*r - 19*r = -3, -5 = -2*u - 3*r for u.
1
Let u be (-1 - (-12)/9)*(-7 + 19). Suppose 0*g - 50 = -2*g - k, 5*g - 128 = -u*k. Suppose -g*i - 6 = -30*i. Solve q - 2*q - 2*c - i = 0, 0 = c for q.
-1
Let o(g) = g**3 + 2*g**2 - g. Let w be o(1). Let m(x) = 18 - 11 - 8*x + 34*x + 5*x**2. Let p be m(-5). Solve -w*i = -5*b + 10, b = -i - p*i + 19 for i.
5
Let c be (-5 - (-64)/12) + (-28)/(-6). Solve -l = -c*d + 4*l + 20, 23 = 5*d - 2*l for d.
5
Let t be (10 - 14) + 12/2 + 1. Solve 0*s = -2*s + 4, 5*a = -t*s - 4 for a.
-2
Let q(h) = -h**2 + 19*h - 20. Let n be q(18). Let s be -7 - -7 - (-6 + n - -1). Suppose -5*t - s + 122 = 0. Solve -4*j - t = 3*y, 3*j + 2*y + 21 = -y for j.
-2
Let y be 67/(-23) + 3 - (-10248)/644. Solve -y*q - 3*l + 17 = -11*q, 19 = -q + 5*l for q.
1
Suppose 4*v = -6*v - 724 + 764. Solve -3*y - 20 = 5*p - 1, -v*p = -2*y + 2 for y.
-3
Suppose 0 = -3*g - f + 28 - 5, 5*f - 3 = -g. Let c be (33/(-44))/((-3)/g). Let a be (-5)/(-2)*1*c. Solve -2*q + 4 = a*u, -3*u - 6*q + 10 = -q for u.
0
Let a = -3958 + 3963. Solve -5*c + 24 = 4, -3*q - a*c + 23 = 0 for q.
1
Let b be 15/(-6) + (-4244)/(-8). Let w = b - 527. Solve j = -5*d + 23, 2*d - w = 9 for j.
-2
Suppose 101*b + 1806 = 103*b. Let v = -900 + b. Solve v*l + 2*l + 12 = 2*a, -4*a - 5*l = 36 for a.
-4
Suppose 0*t - 3*t + 9 = 2*o, 5*t - 4*o - 37 = 0. Suppose 4*p - 20 = -4*w, -3*p = -123*w + 128*w - 25. Solve p = 5*v + 5*h + 5, 3*v + t = -2*v - 4*h for v.
-1
Suppose 0 = 18*d - 74 - 5848. Let z = -325 + d. Solve 0 = z*x - x - 12, -2*v = 3*x - 14 for v.
1
Let w(a) = -25*a - 1471. Let t be w(-59). Solve 0 = -4*b - 3*q - 19, -t*b - 40*q = -44*q + 12 for b.
-4
Suppose -34*t + 37*t = -12, t - 120 = -l. Suppose 2*d - 55 + 297 = 0. Let m = d + l. Solve 5*b - 2 - m = 5*r, -5*r - 5 = 2*b for b.
0
Let b = -445 + 465. Let j be 1/(-9)*3*(-1 - 53). Solve 0 = -5*p - 2*z + 3*z - b, 3*z - j = p for p.
-3
Let c be 0/2*(-148)/(-296). Solve 2*j = -13*k + 9*k, -k + j - 6 = c for k.
-2
Let d(v) = v + 6. Let o be d(-6). Let c = -103 + 101. Let a be o*1/4*c. Solve 2*p - 6 = -w, a = 5*p - 3*w - 15 - 11 for p.
4
Suppose -22*r = 17*r - 195. Suppose 21 = 3*u - 4*i + i, 5*u - 19 = i. Solve 0 = -r*t - 3*v - u - 6, v + 3 = 4*t for t.
0
Let c be (-3 + 4)*7 - (-16 - -20). Solve -5*t = -c*h + 6, 2*t + 4*h + 0 = -18 for t.
-3
Suppose 0*n + 1541 = 23*n. Suppose h = -72*p + n*p + 20, p = -h + 8. Solve -5*g - 30 = h*o, 2*o + g = -2*o - 18 for o.
-4
Suppose 20 = -5*r - 0*r, -3*r = -2*d + 22. Suppose -4*i = -d*p - 269, -p + 0*p = 4*i + 73. Let m = p - -61. Solve -m*u - 2 = -2*f, -2*u + 2*f + 3 = 5*f for u.
0
Suppose 236*u - 70 = 222*u. Suppose 5*k + 12 = -y + 2, 2*y - u*k = 10. Solve 4*d - 1 = -3*f + 8, -3*d = y for f.
3
Let s = -1987 + 1991. Solve -s*r - 32 = -4*q, q - 5*r = -156 + 176 for q.
5
Suppose -i = 5*t - 32 + 4, 5*t = 2*i + 19. Solve -5*l - 5*k + 15 = 0, -4*k = -i*l + 14 + 2 for l.
4
Let u(a) = 2*a**2 - 43*a - 14. Let f be u(22). Suppose 33 - f = t. Let j(y) = -y**2 + 6*y - 3. Let x be j(2). Solve x*h + t = 5*v, -4*h = v - 2 - 3 for v.
5
Let q = 30 + -83. Let h = q - -110. Let g = h - 54. Solve -2*i - 2 = o, 0 = i - 0*i - g*o + 15 for i.
-3
Let u be 2/4*(-8)/1. Let d be (-18)/(3/6*u). Let k be (-66)/(-4) - (36/(-8))/d. Solve -2*s - 3*c = 18, s + 2*c + k = 6 for s.
-3
Suppose -q - v + 11 = 0, -3*q + 33*v = 31*v + 2. Solve 0 = b + r + 1, -4*r + q = 0 for b.
-2
Let j = -741 - -481. Let z = 265 + j. Solve -4*m - y = 6, 0 = 4*m - z*y - 5 - 1 for m.
-1
Suppose 0 = -93*v + 1285 + 1319. Solve 0 = 5*n - 3*z - v, 2*n - z = 17 - 6 for n.
5
Suppose -787*p + 788*p = 2. Solve 6 = -4*t + p*t, 7 = 2*a - 3*t for a.
-1
Let w(z) = 95*z + 2. Let n be w(1). Let g = n + -78. Suppose 6*c = -g + 91. Solve 3*b + 22 = 7, 4*j - c = 4*b for j.
-2
Suppose a = y + 11, -2*a - y = y - 2. Let c = -16 + 15. Let i be (c + 4/(-8))/((-6)/8). Solve n + 6 = 3*p - a*p, 0 = -i*p - 4 for n.
0
Let z = -375 + 198. Let v = 201 + z. Solve -3*c - 3*i = 6, -v - 5 = -3*c + 4*i for c.
3
Suppose 852 - 207 = 215*c. Solve -59*q = -63*q + c*v - 3, 3*q + 2*v = 2 for q.
0
Let d(z) = -22*z + 210. Let p be d(9). Suppose -4*j - p = -8*j. Suppose s = -2*s + 6. Solve s*i = 3*c - 6, -1 = 4*i - 2*c + j for i.
0
Let o = 90 - 88. Solve 0*w = w + 5*u + 15, -o = u for w.
-5
Suppose 139*d - 138*d = -w - 1, 2 = -4*w - 3*d. Solve -n - 10 = -7*v - 4, 0 = -2*n + 3*v - w for n.
1
Let y(s) = s**2 - 5*s + 10. Let b be 81/(-27) + (-23 - -1). Let u(c) = c + 27. Let p be u(b). Let v be y(p). Solve 6*a = 2*a - v*j + 20, 4*a = -3*j + 20 for a.
5
Suppose -580 = 35*w - 31*w. Let j = w - -150. Solve 2*r + 10 = 2*z, j*r + 18 = 2*z - 1 for z.
2
Let a(h) = 3*h + 8. Let d be a(-2). Let g be (1 + (-3)/d)*-6. Solve -u - 4*i = 7, 2*i - g = 2*u + 1 for u.
-3
Suppose -323 = -35*y + 97. Solve d + y = -d + 4*f, 5*f = 5*d + 10 for d.
2
Suppose 2*i - 8 = -4*k, 3*k + 5 = -11*i + 4*i. Solve -2*v + 6 = -l - 0, k*l + 10 = 4*v for l.
2
Let o = 68 - 66. Suppose -1 = g - o*x, -2*x - 9 = -2*g - 1. Suppose -10*h = -g*h - 3. Solve -3*z + 4*d + 2 = -z, h*d = -9 for z.
-5
Let d be 11 + -23 + 108/9. Solve a - 11*u + 10*u + 3 = d, 0 = 4*a + u + 17 for a.
-4
Let z be ((26/52 - 11) + 1 + 4)*-2. Solve -t + 2 = z*i - 12*i, -4*i - 4*t - 32 = 0 for i.
-5
Let y = 9 - -142. Let x = y - 148. Solve 2*l = -l + x, -4*z - 5*l = -13 for z.
2
Let n = 51 + -47. Suppose -5*f = -5*i, 1 = -n*i + 9. Solve 2 = 5*v - 2*w, -5*v - 5*w - f = -3*w for v.
0
Let g = 22677 - 22673. Solve -g*q = -6*q + 2*w + 10, 4*q - 5*w - 25 = 0 for q.
0
Let x(u) = 6*u**2 - 60*u + 128. Let j be x(3). Solve 4 = d + j*w, d + 2*w + 12 = -4*d for d.
-4
Suppose -7*l + i + 2 = -4, -2*l + 6 = -i. Solve -109*o + 114*o + 4*h + 8 = 0, l = -5*o - 2*h - 4 for o.
0
Let h be 2/(-5) - ((-14)/35 - 4). Solve -6*q + q = l + 20, -h*q - 16 = 0 for l.
0
Suppose 0 = -i + l - 3, 3 = -3*i - 2*l + 19. Solve 13 = 3*d + i*b - 0, -3*d = -2*b - 17 for d.
5
Let v be (0 - 15)/(-5) - 0. Suppose 7*f + z - 39 = 2*f, -v*z - 19 = -2*f. Let i = 20 - f. Solve -4*q + 4*k = 24, -q + i = 3*k + 2*k for q.
-3
Let g(k) = -80*k - 240. Let j be g(-3). Solve -5*a + j*a = -5*s - 20, -20 = -5*a - 4*s for a.
4
Suppose 143*p = 133*p. Solve p = -d - 3*d - 3*t + 27, 2*d + 5*t - 31 = 0 for d.
3
Let q(f) = -14*f + 144. Let j be q(10). Solve j*o - 1 = -z, -z + o - 2 - 2 = 0 for z.
-3
Suppose -9*z = -29*z + 3440. Let s be z/(-301)*(-7)/2. Solve 4*b - b + 8 = c, s*c - 10 = 4*b for b.
-3
Let s be 22/(-330) + 93/45. Solve 1 = 5*z - 2*n + 10, 0 = -s*z + 5*n - 12 for z.
-1
Let o be ((-4)/(-17))/(-2) + (-78585)/(-1105). Suppose -6 = o*t - 72*t. Solve -2*i + t = v - 6, 0 = -2*i + 2*v for i.
4
Let w(z) = -38*z + 652. Let a be w(17). Solve -107*t + 110*t = 4*q + 17, t = -q - a for q.
-5
Let q(a) = a**3 + 12*a**2 + 27*a + 4. Let h = -256 + 253. Let g be q(h). Solve -g*f = 4*i + i + 1, -4*f + 5*i + 9 = 0 for f.
1
Let y be -6*(-2 + 3/3). Suppose h + 3*t - 9 = 0, h = 2*t - t + 1. Suppose h = 3*x - 6. Solve 2*f + u = -3, -4*f - u + x = y for f.
0
Let q(h) = -h - 20. Let r be q(-22). Suppose 3*d - 7*d = 5*b + 440, -r*b - 158 = -2*d. Let c = b - -86. Solve -3*u + 8 = -c*u + 2*p, 4*u - 4 = -p for u.
0
Let j(m) = 57*m - 329. Let p be j(6). Suppose 0 = -5*k + 5, -p*k + 12*k = -x + 22. Solve 2*c - x = -5*a, a + 4*a + 5*c - 20 = 0 for a.
5
Suppose 23*j = 38 + 367 + 860. Solve 2*m = 5*o + 22, j*m = 58*m - 5*o - 18 for m.
-4
Let r = 4226 - 4224. Solve r = u - 3*u - 4*w, 4*u = 2*w + 26 for u.
5
Suppose -1698*i + 1678*i = -40. 