+ 6 = j for i.
2
Let v = -19 - -37. Suppose 2*o = -14 + v. Suppose 4*c - n + 2 = -6*n, -4*c - 4*n = 0. Solve 0 = 4*h, 0 = o*i + c*i - 3*h - 16 for i.
4
Let a be -3 - (-7 - -2 - -2). Let b be 0*1/1*(a - 1). Suppose b = -8*f + 14*f. Solve -3 = u - z, 2*u - z = -f*z - 3 for u.
0
Suppose 1038 = 5*t - 5*o + 488, -t = 3*o - 78. Let f(k) = -24*k + 3. Let u be f(-4). Let g = t - u. Solve 0 = -3*w - 6, -x - 2 = -g*x - 4*w for x.
5
Let f(w) = -908*w + 13638. Let h be f(15). Solve 19*d - 21 = -5*v + 20*d, h = 5*v + 2*d for v.
4
Suppose -10*g = -2*s - 16, s + g - 174 = -158. Solve -11 = -w - 2*h, -h = -2*w - 10 + s for w.
3
Let o(h) = h**2 + h - 151. Let j be o(-13). Solve j*q + 31 = -5*t - 4, -t = -5*q - 17 for t.
-3
Suppose 6 = -2*v, -29 = -2*z - 3*z - 2*v. Suppose 0 = 8*b - 9 - z. Suppose 0 = -6*x - 19 + 97. Solve 3*n - 3*c = 8 + x, 4*n - b*c - 24 = 0 for n.
5
Suppose -b - 12*b = -4*b. Solve -7 = -4*w + 5*w + 5*k, b = w - k + 1 for w.
-2
Let x(m) = -m - 130 + 62 + 68. Let a = -162 - -162. Let l be x(a). Solve -3*h = h + 2*v + 12, 4*h + 4*v + 12 = l for h.
-3
Suppose u = -5 + 11. Suppose -256 = u*s - 22*s. Suppose s*f = 10*f + 24. Solve 9 = -f*r - 5*m, 0*r = 4*r + 4*m + 4 for r.
4
Let r be 198/(-12)*(-66)/363. Solve 2*x - 5*w = -3, -5*x - r*w + 15 = 38 for x.
-4
Let l = -34 - -38. Suppose u + 7 = 2*w - l, u = w - 7. Solve 2*t + w*z = t + 6, 2*t = -2*z + 6 for t.
2
Let y = 12837 - 12837. Solve 4*t + v + 7 = 0, 3*t - 30*v + 25*v + 11 = y for t.
-2
Let u = -951 + 955. Solve -4*n + 7 = 5*g - 20, -u*n = -12 for g.
3
Suppose -166 = -4*b + m, -4*m = -0*b + 2*b - 74. Suppose -2*d + y = -b, 3*d = -3*y + 7*y + 69. Solve -5*w = -s + d, -3*w - 16 = 2*s - 2 for s.
-1
Suppose 8 = 34865*d - 34863*d. Solve b = 2*v + 6*b, 0 = -d*v - 4*b for v.
0
Let n be 4*(-1 + 0) + 258/43. Suppose -n*x = -b + 5, 0 = -4*x - 12 + 20. Solve 3*r = h - b, 2*r + 0*r + 4*h = -6 for r.
-3
Let s(k) = 62*k + 26. Let h be s(-6). Let b = 350 + h. Solve -b*m + 0*j - 5*j - 21 = 0, -3*j - 16 = -m for m.
1
Let y(t) = 2*t**2 + 25*t + 2. Let u(a) = -a. Let k(c) = 3*u(c) + y(c). Let p be k(-11). Solve 4*n - 2*n + b = -14, p*n - 3*b - 2 = 0 for n.
-5
Suppose -330*c + 195*c - 88 = -179*c. Suppose -w + 4*t + 4 = -7, 2*w + 4*t = -2. Suppose -w*l = -2*l - 2. Solve 3*u - l*m = -6, 5*m = 5*u + 3 + c for u.
-4
Let x be 4/10 - ((-384)/(-30))/(-8). Suppose -2*l + x*r = -14, -5*l + 3 + 4 = 2*r. Solve -3*z - z - 4 = 4*t, -2 = l*t + 2*z for t.
0
Let u(p) = -36*p + 1008. Let j be u(28). Solve 2*s + 8 = j, 0*s + 4 = 4*v + 4*s for v.
5
Let n = 27 - -2. Suppose -76*x = 2361 - 537. Let q = n + x. Solve q*v - w = -2*w - 27, -5*v - 2*w - 29 = 0 for v.
-5
Let i(g) = g**2 - 35*g - 391. Let c be i(-9). Solve -q - 2*d + 2 = 0, -29*q + 34*q + c*d = 10 for q.
2
Let y(z) = 7*z + 17*z - 34*z + 11*z + 20. Let h be y(-17). Suppose 5*w - 4*w - 4 = 0. Solve -31 = 4*k - 5*i, -h*k = -w*k + i - 7 for k.
-4
Suppose -17*y + 26 = -25. Suppose -2*p - y*p - 3*m = -103, 57 = 3*p - 3*m. Let b be (16/(-3) - -6)/((-2)/(-9)). Solve 4*q = -b*j + 27, -4*j = -q + 3 - p for j.
5
Suppose 2*r = -3 + 7. Let k be 11 + (-3 - -3) + -3. Solve r*p + 4 = 0, k*u - 17 = 3*u + p for u.
3
Let s be (13 - 7)/(9/12). Suppose -s = -q - q. Suppose v = -3 + q. Solve -5*r + h + v = 2*h, 3*h = -12 for r.
1
Let u = 157 + -142. Let m be (-1)/u*-73 - (-156)/1170. Solve -m*i = 4*w + 17, 0 = 2*i + 2*w + 3*w for i.
-5
Let p be 4/1 - (-9)/((-144)/(-17728)). Suppose -2*s - p = -1122. Solve t - 4*t = -9, -3*t - 1 = s*r for r.
-2
Let h be (10/25)/((-3)/(-30)). Suppose 13 = -h*b + 5*w, -5*b - 5*w + 0*w + 40 = 0. Solve -1 = -p + b*l, -l + 1 = -0*p - p for p.
-2
Suppose 0 + 6 = 2*r, 5*d = 3*r + 46. Suppose 3*y - 6 = -10*k + d*k, 0 = 2*y + k - 4. Solve 0 = 3*g - 15, g = 4*m - y*g + 11 for m.
1
Suppose -5*g - 47 = 55*z - 57*z, 1 = z + 2*g. Solve 4*c + 8 = 2*q, -3*q - z*c - 21 = -6*c for q.
-2
Suppose 35 = 2*a - 5*p, -18*a + 21*a + 3*p = 42. Let i(q) = -q + 17. Let s be i(a). Solve j = s*j, 4*u - 4*j = 0 for u.
0
Let b = 982 - 979. Suppose l - b*l = -6*l. Solve 0 = -4*k - f + 20, -3*k + 4*k + 2*f - 5 = l for k.
5
Let r be 65/(-31 + 18) + 12 + -2. Solve 4*t - 19 = -5*x - 0*x, 13 = -2*t + r*x for t.
1
Suppose 3*p - 173*k + 171*k = 32, -44 = -5*p + 2*k. Solve r - 2*j - 4 = 2*r, 0 = 4*r + 3*j + p for r.
0
Suppose 2*n - 5*r - 18 = -2, 4*n = 3*r + 46. Let y = 2382 - 2380. Suppose y*f - n - 47 = 0. Solve -l - 8 = 3*l, 4*j = 5*l + f for j.
5
Suppose 0 = 9*l - 11*l + 8, 6 = 2*g - l. Let w be 0*(3 + g - 7). Solve t + 0*x = -3*x + 4, t - x = w for t.
1
Suppose -30 = -5*f, -94*f + 95*f = -3*t + 21. Solve j - 5*p + 25 - 15 = 0, 2 = -t*j + p for j.
0
Let r(i) = -i**3 - 8*i**2 + 33*i - 53. Let f be r(-12). Suppose -95 = 16*g - f. Solve g*y = -0*v - 2*v - 2, 0 = 3*v + 15 for y.
4
Let s = -27456 - -27458. Solve 3*w + 3*r = -6, 19*w + 19 = 22*w - s*r for w.
3
Suppose 0 = 4*r + 3 + 13. Let f be r - 217/(-56) - (-145)/8. Suppose 4*k + 4*w - 22 = f, -4*k = -3*w - 5. Solve -5*h + 9 = -h + k*s, 2*s - 6 = -4*h for h.
1
Let k(q) = -713*q + 4286. Let i be k(6). Solve w + i = -l - 4*l, 4*w - 4*l = 16 for w.
2
Let v(t) = -t**2 + 6*t + 5. Let a be v(-5). Let g = 68 + a. Let l be 212/g + 1 + 21/(-27). Solve 2*c - l = 4*k, 0 = k + c + c - 7 for k.
-1
Let b(h) = 2*h - 36. Let t be b(6). Let w = t - -34. Suppose -k + w = 2*g, g + g - 12 = -2*k. Solve 0 = -g*r + 5*d + 21, -2*d - 2 = -r + 7 for r.
-1
Suppose -n = -4 - 3. Suppose 0 = 4*m - n - 9. Suppose -123*o = 49*o + 98 - 442. Solve -2*b + a = 3*a, 0 = o*b + m*a + 2 for b.
1
Let y = 55 + -41. Let s = y + -10. Suppose s*h - 15 = p, 25 = 5*h + p + 4*p. Solve n = -5*u + 23, h*n - 19 = -n - u for n.
3
Let i = 9057 + -9049. Solve -17 = -3*g + i*g + 3*v, 1 = -g - 3*v for g.
-4
Let c = 1232 + -1228. Suppose -2*o - 2 + 6 = 4*g, 14 = 3*g - 4*o. Solve -c*r + 6 = g*i, -19 - 6 = -5*i for r.
-1
Let i(q) = 2*q**2 - 2*q + 6. Let u be i(2). Let d be (-4 - (-95)/25) + 122/u. Suppose -z + 5 = -3*x, 0 - d = -4*x. Solve 3*v + 4*p = z, -2*v + p + 6 = 15 for v.
-2
Let q(j) = j**3 - 14*j**2 - 9*j - 87. Let l be q(15). Solve 0*i - 34 = -l*i - 5*v, 4*i + 2*v = 22 for i.
3
Suppose 5*u = -2*f + 98, 0 = -4*f - 37*u + 36*u + 142. Solve -4*x + 4*g + 4 = 0, -x - 3*g - f = -19 for x.
-3
Let l be -18 + 16/56*63. Solve z - 2*m = -6*m + 1, l = -2*z + m + 2 for z.
1
Suppose d = -2*u + 5, -13*u = -10*u + 9. Suppose -v + d = -4*a - 9, -24 = -4*v + 2*a. Solve 5*b - 17 = g, 4*b - 4 = v*g - 0*b for g.
3
Let x = 4134 + -4125. Solve 4*v - 4*i + 19 = -x, 5*v + 5 = -5*i for v.
-4
Let p be 554/110 - (-174)/(-4785). Solve -10*s + p*m = -7*s + 35, m - 29 = 5*s for s.
-5
Suppose -5*l = 48 - 65 + 342. Suppose -4*c + 296 = 5*z, 3*z = z + 8. Let n = c + l. Solve 3*v + n*p + 12 = 0, 2*v + 3*p + 6 = p for v.
0
Let p(j) = -108 + 7*j - 7 - 16. Let q be p(19). Solve 0 = -q*x - m + 5, -4*m + 3 = -x - 17 for x.
0
Let b be (-3)/(-9) - 10/(-6). Let d be 4 + -2 + b + 32/(-1). Let v = 31 + d. Solve 3*c = p + 4, -v*c - c + p + 5 = 0 for c.
1
Let j be (-2)/(-8)*(0 - -16). Suppose -2*a - 5*w + 13 = 0, 2*a - 17 = j*a - 5*w. Let i be (1*-6)/((3/2)/a). Solve -f + 18 = 3*f - 2*x, -21 = -i*f - x for f.
5
Suppose 3*m - 4*y - 9 = 0, -14*m + 2*y + 7 = -35. Solve 43*l - 42*l - 4*x = -17, -29 = -m*l - 4*x for l.
3
Let m(t) = -t**3 + 25*t**2 - 26*t + 34. Let b(q) = -14*q - 18. Let l be b(-3). Let u be m(l). Let z = u + 19. Solve -2*i + 23 = -3*y, y + 2*y = -z*i + 5 for i.
4
Suppose -31*j + 45 = -220 - 169. Solve -2*x - j = 3*k, -k - 7 = -x - 9 for k.
-2
Let j(b) = -2*b**2 - 16*b + 693. Let s be j(-23). Solve -t + 9 = -5*w, s*t + 3*w - 15 + 24 = 0 for t.
-1
Let i be (-7)/((-112)/28 - (1 - 4)). Suppose -3*m - 3 = -3*j, -i*j + 3*j + 16 = 0. Solve -f = 3*f - m*h - 29, h = -4*f + 17 for f.
5
Suppose 49*n + 11*n = 120. Solve -5*x + 31 = n*t, -4*t - x - 7 = -8*t for t.
3
Let m be 2/((-27)/(-45) + (-10)/(-25)). Solve -2*g + 9*y = 11*y - m, -g - 11 = -2*y for g.
-3
Let t = 120 - 116. Suppose z + 2*z - 37 = -u, t*u = 5*z + 165. Solve -u = 5*m + 3*w, -5*m + 5 = -m - 5*w for m.
-5
Let u(g) = -2*g**3 - 14*g**2 + g - 9. Let m(p) = -p**3. Let c(a) = -3*m(a) + u(a). Let k be c(14). Solve -k*f + 18 = -2*f + 2*l, 4*f - 25 = -3*l for f.
4
Let o(y) = y - 7. Let t(v) = -1. Let r(i) = -o(i) - 5*t(i). Let x be r(12). Suppose c - 7 = -p, -3*c = -p - 38 + 33. Solve