 - x = 0, 3*x = 4*n + i*x for n.
0
Suppose -4*x + 35 = -3*m + 3, 2*x - 6 = -m. Let o be (-65)/(-20) + (-3)/m. Solve -8 = 3*w - 2*j, 0 = o*w - 3*j + 3 + 9 for w.
0
Let v = 6047 + -6047. Solve z = 69*b - 70*b - 7, v = -4*z + 5*b + 17 for z.
-2
Let v(j) = -51*j - 3209. Let s be v(-63). Solve -4*f + s = -3*d, d + 1 = f - 1 for d.
-4
Suppose 12*a = 21*a - 9*a - 13*a. Solve -t = -14*u + 31, -15 = 5*t - a for u.
2
Let a be (-126)/(9 + -2) - -18. Solve a = -5*h + 8*s - 31, -4*h = -17*s + 18*s + 10 for h.
-3
Let k(i) = -2*i**2 - 362*i - 1756. Let p be k(-5). Solve p*b - 4*f = -12, -5*f + 72 - 54 = -2*b for b.
1
Suppose 3*g = -5*o + 5 - 1, -12*g + o = -37. Let c = 3 + 10. Solve -3*v = -2*f + 4, -g*f - c = -v + 6*v for v.
-2
Suppose 7*x = 5 + 9. Suppose 5*c + 3*f = 33, -5*f + 24 - 19 = 0. Solve -3*i - c = 0, -7*s - 9 = -x*s - 3*i for s.
-3
Let g = 233 - 231. Suppose 5*r = -5*u - 3 - 7, -8 = 4*r. Let d = -258 + 268. Solve -x - 3*o - d = 0, -x + u*x = g*o + 8 for x.
-4
Suppose 2 = -2*p + h, p - 8 = 13*h - 14*h. Solve -28 - 11 = -3*z + 4*t, 40 = p*z - 5*t for z.
5
Suppose j + 127 = -g, -g - 37 = -j + 94. Let x = g - -134. Solve x*u + 3*s - 13 = 0, -2*s + 10 = u + 3*u for u.
2
Let r(f) = -4*f + 20. Let i be r(4). Suppose -i = c, -4*o - c + 11 = 3. Suppose -o*b - 4*b + 112 = 0. Solve -7 = q + 2*m, 5*m + b = -0*q - q for q.
-1
Let p(z) = -61*z - 2986. Let t be p(-49). Solve -10 = y - t*r, y = -4*r - r + 14 for y.
-1
Suppose -3*t = 12, -5*r - 4*t = -2*t - 22. Suppose -314*n - 14 = -316*n, 0 = 3*i + 5*n - 80. Solve 3*c = i, -2*y - 3*c + r + 5 = 0 for y.
-2
Let u be (-15)/(-6) + 1/(-2). Suppose k + 8 = 5*k. Let b be (-4)/(-2)*(-53 - (-95 - -40)). Solve -k*h - u = 0, -b*h = z - h + 8 for z.
-5
Let j = 5763 - 5756. Solve 12*h - j*h = -5*f, 3*h = -5*f + 10 for h.
-5
Suppose 2*l = 35*l - 5082. Suppose -168 + l = -7*g. Solve 0 = -y - g*r - 4, 5*y + 2*r = -0*y - 12 for y.
-2
Let b(s) = -13*s + 7. Let r be b(7). Let a = -49 - r. Suppose 0 = -2*f - 3*u + 7, 55*f - 60*f = 2*u - 23. Solve -f*i + a = -2*o, i = 3*o - 4*i + 40 for o.
-5
Let t be (-5)/(-2)*98/35. Let u be (-28)/(-10 + 8 + 0). Let x = u - t. Solve 2*l = -x*k + 3*k + 4, 0 = -3*k + 6 for l.
-2
Suppose 87 = 2*l + 21. Let u = l + -29. Solve -4*n + 10 = 2*h - 14, -u*n + 22 = h for n.
5
Let p be (11 + -17)*((-10)/(-4))/(-5). Solve -3*k = -2*i + 4, 2*i + k + 10 = -p*k for i.
-1
Let d(y) = -1 - 5 - y**3 - y**2 - 11 + 8*y**2 + 3*y. Let g be d(7). Let m be 2/(g/60*3). Solve o + m = 4*q - 3*q, 5*o = -5*q for q.
5
Let y = -12 - 99. Let t be y - 8 - (2 + -3). Let d = t + 123. Solve -d*j - 15 = c, 4*c - c - 27 = 3*j for c.
5
Let f(r) = -88*r + 891. Let u be f(10). Solve 3*a + 2*l = -u, 5*l = a - 8 + 23 for a.
-5
Suppose -g + 3*k = -12, 0*k + 5 = 5*k. Solve 0 = -h + 5*w + g, h + 0*w + 2*w + 6 = 0 for h.
0
Suppose -185 = -14*u - 157. Solve -c + 5*o = -3 - 0, u*c - 2*o + 2 = 0 for c.
-2
Let q be (2 - (-3 - -6))/(35/(-105)). Solve -2*f - l = 3*l, -f = q*l for f.
0
Suppose 0 = y + 4*c - 39, 5*y - c = -89 + 179. Solve 5*v - 248*f + 243*f = -5, 0 = -3*v - 5*f - y for v.
-3
Let q = 956 - 942. Solve -4*r + q = 34, -4*r = -4*a + 8 for a.
-3
Let f(l) = -2*l + 26. Let b = -150 + 152. Let j be f(b). Solve 4*u = -5*n + 24, -u - u - 5*n + j = 0 for u.
1
Let t be (-7 - 30/(-6)) + 3. Let m be (42 + -43)/(t/(-3)). Solve -2*x + 3*w = 13, m*w = -0*x + 4*x + 11 for x.
1
Let r = -1 + 1. Suppose -3*k = -4*o + 65, o + 0 = 5. Let d be (k/(-5) + -7)*-8. Solve 0*p + 5 = 5*p - 5*z, r = -4*p - 5*z - d for p.
-3
Let t = 273 + -221. Suppose -6*u - 4 + t = 0. Solve -4*r + 0 = -q - 3, 5*q = -3*r + u for r.
1
Let g = -56 - -88. Suppose -d + 3 = -0*d + 3*z, 2*z = 0. Suppose d*f = -14*f + 170. Solve 4*n + 3*p = g - 5, 0 = -2*p + f for n.
3
Let f be (-14)/((-4)/((-16)/(-8))). Suppose -f*v = -25*v - 6*v. Solve v = -3*d + k - 2, -5*d - 3*k + 2 = -4 for d.
0
Let r be ((-90)/(-3))/3 - (1 - 3). Suppose r = 31*b - 25*b. Solve -3*m - 2*d - 9 = d, 0 = b*m + 4*d + 14 for m.
1
Let x = 45 + -55. Let g = 14 + x. Suppose g*c = 45 + 3. Solve 4*j = 3*j - 4*p + 9, 5*j = -p - c for j.
-3
Let d be -2 + 9 - (-13 + 10 + 8). Let q = -12 + 15. Solve -g = q*g + 5*f - 21, -d*g + 8 = 2*f for g.
-1
Suppose 5*y = 35*y + 43*y - 292. Solve -4*d = 5*t - 3*t - 20, 4*t + y*d = 24 for t.
2
Let u = 143159 + -143156. Let f(y) = -y**3 - 7*y**2 - 8*y + 2. Let b be f(-6). Let m = 0 - -3. Solve -w - 13 = -m*c, u*c - b = -3*w - 5 for c.
4
Let x be -2 + (-2)/3*(1 - 7). Let u be x/(40/(-1164)) + 8/(-10). Let g = 61 + u. Solve -5*a - 2*b - 4 = 15, 2*a + 4*b = g for a.
-5
Suppose -4*w = -8, -5*w + 16 = -4*a - w. Let z be (1 - (-7)/21)/(a/(-3)). Solve d = -4*r - 0*r - 24, -z*r - 30 = 5*d for d.
-4
Let s = -89 + 41. Let x = -45 - s. Suppose -x*q - 3*q = -18. Solve 0 = a - q*k + 5, -3*k = 2*a + k - 10 for a.
1
Let j(l) = -l**3 + 6*l**2 + l - 9. Let u be j(6). Let r be -4 - u - (-17 + -2). Let m = 65 - 61. Solve -5*z - r = -0*a - 4*a, -m*z - 4*a = 0 for z.
-2
Suppose -6*w + 974 + 1546 = 0. Suppose 0*b - 5*b = w. Let n = b - -88. Solve 16 = -f - 3*f - 4*q, 0 = -n*f - 5*q - 16 for f.
-4
Let o(n) = 5*n**3 + 215*n**2 + 2*n + 107. Let g be o(-43). Solve 0 = -5*j + s - g, s + 29 = -5*j - 0*s for j.
-5
Let g(s) = -s**3 + 11*s**2 - 35*s + 33. Let m be g(6). Solve m*t = 2*n, -t - 5*n - 41 = -24 for t.
-2
Suppose -651 + 3283 = 81*f - 1175. Solve 5 = f*g - 42*g + 2*d, -8 = 3*g - d for g.
-1
Suppose 30*w - 8*w + 59 = 191. Solve 5*z - 15 = -5*i, 2*z + 0*i = i - w for z.
-1
Suppose 0 = 2*w - 2*l - 6, 3 = 3*w - l - 10. Let p(i) = 0*i**2 - 12*i + i**2 + 3*i**2 - w*i**2. Let f be p(-12). Solve -15 = 5*z + 4*g - f, -14 = z + 3*g for z.
1
Let i = 153 - 144. Let u(v) = -v**2 + 12*v - 22. Let y be u(i). Solve -k = -3*k - q - 5, 8 = -y*k - 4*q for k.
-4
Suppose 0 = 15*z - 10*z + 45. Let k be 2*(z/(-2) - 2). Suppose 4*l - k*w - 32 = 2, -3*l + 26 = -4*w. Solve 5*r = -g - 14, 4 = -5*r - l for g.
-4
Let h be (2/4)/(0 - 1/(-22)). Let s(w) = w**3 - 12*w**2 + 12*w - 7. Let t be s(h). Let z be (8/5)/((-4)/(-10)). Solve 0 = -z*f - 2*i - 14 - 6, t*i = 2*f for f.
-4
Let g = 30404 - 30401. Let v = 1 - 9. Let w be (v/(-10))/(2/5). Solve 0 = t + w*b - 5, -t + g*b = 4*t + 27 for t.
-3
Let g = -1482 + 1507. Solve -5*l + 3*t = 23, 2*l + 26*t - g*t + 7 = 0 for l.
-4
Let q = 250316 - 250314. Suppose -2 - 1 = -3*o. Suppose -u + o = -4. Solve 19 = -u*j - 3*s, -4*s + 7*s = q*j - 5 for j.
-2
Let u = 649 - 646. Solve h - u = 3*q, -3*h + 3*q + 35 = 38 for h.
-3
Let x be 295/30 - 2/(-12). Let b(a) = -3*a**3 - 25*a**2 - 12*a - 250. Let h be b(-9). Solve 5*t + h = 6*d - d, -2*t + x = 4*d for t.
-1
Let l(y) = -2*y**2 - 20*y - 28. Let z be l(-8). Solve 25 = -z*c - 5*u - 16, 22 = -3*c - 2*u for c.
-4
Let f(j) = j**2 - 18*j + 74. Let b be f(10). Let o be (-1)/(-5) + (160/(-50) - b). Solve o*g + 7 = 4*t, -3*t + 8*g = 3*g - 8 for t.
1
Let b = 153 + -149. Let c be 0/(-1 + b + -4) + 4. Solve c*o + 3 = p, -2 = 2*p - 2*o - 2*o for p.
-5
Let x(n) = -n**2 - 99*n + 988. Let j be x(-108). Solve 2*m = 4*l + 24, 0 = -3*l + 9*m - 8*m - j for l.
-4
Suppose 2*r + 4*v + 0*v - 20 = 0, -20 = -4*v. Suppose -8*a = -195 + 59. Suppose 45*b = 46*b - a. Solve 2*p = -z - 11, 2*z - 6*z + p - b = r for z.
-5
Suppose -47*k = -46*k - 109. Let m = k + -109. Solve 0 = -3*n - 3*b + 9, 0 = 2*b - m*b for n.
3
Suppose -7*z - 7*z + 14 = 0. Let y be 10/12*z*(6 + 0). Solve 29 = -2*h + y*f, -5*f = -0*h - 3*h - 31 for h.
-2
Let v(s) = -s**2 + 21*s - 75. Let x be v(5). Solve -x*p + 29*w = 27*w + 1, p - 4*w = -11 for p.
1
Let j be 4/16*12 - 32. Let u = j + 33. Suppose 21 = 2*l - 0*n + 5*n, 4*n = l + 9. Solve -2*z + 0*h = l*h + 6, -16 = u*h for z.
3
Let i(k) = -4*k**2 + 7*k - 2. Let f be i(1). Let n be 28/12 + f/(-3). Solve 2*a - 7*a - 7 = n*p, 4*a - p = -16 for a.
-3
Suppose 9464 = 10*g + 9414. Suppose -18 = -2*q - 4*d, 19 + 6 = 2*q - 3*d. Solve -3*x + q = 5*n + 28, -g*n + 4*x = -11 for n.
-1
Let n be -8 + (-18)/((-864)/372) + 13/4. Let q = 0 - -2. Solve q*t = n*c + 15, 0 = 4*t - 15 + 3 for c.
-3
Let j be (-12)/5 + (-15)/25 + (11 - 5). Solve x + j*t - 4*t - 2 = 0, 0 = -3*x - t + 14 for x.
4
Let z = 3670 - 3665. Solve -5 = -3*h - 2*h, 13 = z*m - 2*h for m.
3
Suppose 5*p - 17*p = 14*p - 416. Solve -2*t = -2*o + 4, 5*t + 5*o - p = 7*t for t.
2
Let z be 7665/(-73) + (-3)/(3/(-2)). Let u = 87 + z. Let 