Let t be i(6). Let v be 1*(t + -1) + -20. Let y = -3 - v. Solve -2*p - 3*x = y - 6, 0 = -p - x - 4 for p.
1
Let b(i) = i**2 + 6*i + 2 - 4 + 12. Suppose -6*f + f + 23 = t, 5*t = f - 15. Let j be b(t). Solve 0 = 2*u + 3*y - j, 2*u + y - 5*y = -26 for u.
-5
Suppose -n - 3*b = 7 + 3, -2*n = b. Suppose -9*h + 2*h - 3*h + 200 = 0. Solve r + 2*r + 7 = -4*u, n*u + h = 4*r for r.
3
Let n(i) = -11*i**2 - 8*i - i**3 + 1 + 17*i**2 + 3 + 0. Let k be n(4). Solve k*d = 2*x + 5 + 1, 10 = 5*d - 5*x for d.
1
Let z be 2*((-8)/(-16) - 7*10). Let u = z + 141. Solve 20 = -4*y, -u*y = 3*b - 4*y - 4 for b.
-2
Let a(c) = 28*c + 88. Suppose 2*z - 3 = -3*w, -15 = 3*z + 2*w - 4*w. Let k be a(z). Solve g - 6*g + 9 = -u, -k*u - 12 = 4*g for g.
1
Let p = -157 + 162. Suppose -2*m - 19 + 39 = -4*h, -2*m - p*h = 7. Let v(x) = x - 4. Let g be v(6). Solve w + 8 = m*c, -g*c - 1 = -4*w + 3*c for w.
4
Let z = 73 - 41. Suppose -4*f + z = 84. Let q = f - -16. Solve 3*o + o + 2*g = -4, -15 = -q*o + 3*g for o.
1
Let a = 30 - 31. Let g be -3 - (a - -17)/(-2). Suppose g = -5*t, 0 = 4*k + 3*t - 0*t - 157. Solve -k = -5*d - 5*o, o - 12 = -3*d + 6 for d.
5
Let g(j) = -14*j**3 - 4*j**2 - 6*j + 1. Let y be g(-2). Let i = -107 + y. Solve -i*k = -5*t + 8, -2*t - 8 = 3*t + 2*k for t.
0
Suppose 2098 = -7*w - 2165. Let v = -605 - w. Solve 0 = -2*k + 4*s - v, s = 3*k + 3 - 2 for k.
0
Let s = -3796 + 3799. Solve -4 + 25 = -s*o - 3*y, 0 = -o - 5*y - 19 for o.
-4
Let z = 0 - -4. Let q be (3 - 0) + -5*(-9 + 5). Suppose -4*x + 0*x = 4*y + 12, -4*x + q = -3*y. Solve z*o + 0*j + 14 = j, -x = j for o.
-4
Suppose -5*v + 21 = -2*p, -p + 2 = -2*v + 11. Suppose c = -3*s + 2*s + 1, 5 = -s - 3*c. Solve v*o = 4*j, j = s*j - 2*o for j.
0
Let a be ((-60)/24)/((-20)/24). Solve 5*m - 15 = c - 6*c, 12 = a*c for m.
-1
Suppose -2*s = -7*s - 25. Let a be 2/s + 46/115. Suppose a = u - 7 + 1. Solve 0 = -v - 0*v + 5*k - 22, -2*k = v - u for v.
-2
Let r = 4158 - 4134. Suppose 4*d = -4*q, -4*d + 2*q - 3*q = 0. Solve 2*a + a = 15, -3*o + 3*a - r = d for o.
-3
Let j be (-2 - (-6)/(-2))/(157 + -158). Solve 2*c + 3 = -l, -j*c - 1 + 7 = -2*l for c.
0
Let m(s) = -113*s + 1717. Let x be m(15). Solve f - j = -9, 22*j - 20*j = 3*f + x for f.
-4
Suppose -25 - 10 = -5*k. Suppose 8 = c - k. Let n = c + -11. Solve 0*q + 5 = -n*m - 5*q, -3*m - 3*q = 3 for m.
0
Suppose 42*l = -11*l + 3816. Let o = 80 - l. Solve 0 = -2*g, 0*g = -2*k + 4*g - o for k.
-4
Let s = -16 + -8. Let a be (1/(-3))/(2/s). Suppose -5*q + 3*q = a, m - 3*q = 9. Solve 3*i - 2*c = -3*c - 9, m*c = -4*i - 7 for i.
-4
Let z = -100 - -101. Suppose z = 3*w + 2*m - 9, 2*m = 4. Suppose 4*j - 2*i - 6 = 2, 2*i = w*j - 2. Solve 24 = -4*a - 2*t, 0 = j*a - 4*t + 1 - 5 for a.
-4
Suppose -8*m + 4*f = -12, 5*m = 3*m + 3*f - 7. Solve 2 = 3*w + 2*y, 8*w - 12 = 6*w - m*y for w.
-2
Let w be 64 + -60 - 9/(-1). Solve -14*q + 5*t + 17 = -w*q, 3*q - 2*t = -1 for q.
-3
Let x(k) = k**2 + 53*k - 3582. Let o be x(-92). Solve -10*t + 22 = -o*t + 5*p, 17 = 5*t + p for t.
3
Suppose 14*f = 15*f - 4. Suppose -p - 3*j - 3 = 0, -4*p + 0*j - f*j + 4 = 0. Solve -5*x = -0*x - 4*y + 4, 2*x = 3*y - p for x.
0
Let z(m) = -6*m**2 + 330*m + 340. Let g be z(56). Solve 2*v + 2*c = 0, c + 74 = g*v + 49 for v.
5
Suppose -42 = -2*q + d, 4*q + 2*d = -0*d + 92. Let p(u) = u**2 + 2*u + 2. Let j be p(-1). Let m = 567 - 565. Solve 0 = -f + b + j, 0 = -4*f - m*b + q for f.
4
Let u = -152 - -69. Let s = -46 - u. Suppose o + 32 = s. Solve -3*v + 7 = 2*v - 4*j, 4*v - o*j - 2 = 0 for v.
3
Suppose 330 + 10 = 17*p. Suppose 4*c - 3*i = -7*i + p, -2*c + i = -1. Solve -4*z - 4*y - 20 = 0, -2*z + 3*z = -c*y - 7 for z.
-3
Let y be (-19 - -22) + 3/(1/(-1)). Suppose y*g = g + 24. Let r be 14/(-4)*g/21. Solve 3*n + r*d = 3, 0 = d + d - 6 for n.
-3
Let k(b) = b**2 + 8*b + 8. Let n(a) = -2*a + 14. Let l be n(9). Let o be (l - -3) + -2 + -5. Let j be k(o). Solve -g = -6*u + u - 2, j = -2*u - 2*g for u.
-1
Suppose 297 = 22*n + 253. Let g(p) = -6*p - 28. Let q be g(-5). Solve n*o = -v + 10, 5*v = 5*o - q*o + 11 for o.
3
Let r = 11 - 11. Suppose r = -5*g - 86 + 86. Solve 4*c + 4*w + 0*w = 32, g = -3*c + 4*w + 3 for c.
5
Let i = 357 + -360. Let d be i + (-4)/(-4) + 13. Solve -7 = y - z - 0, -y = -2*z + d for y.
-3
Let w = -15146 - -15151. Suppose 4*q = 3*q + 4. Solve w*a - 30 = -q*v, v - 7 = -3*a + 2*a for v.
5
Suppose 0 = 5*j - 15, -j = 2*x + j - 6. Solve 3*g + 5*t = -3, x = -g - 14*t + 18*t - 1 for g.
-1
Suppose -29 = c - 34. Solve 3*t + c*x + 31 = 0, -5*t - x = -8 + 23 for t.
-2
Suppose 5*c - p = 10, 5*c + 20 - 30 = -5*p. Let x(q) = -q + 1. Let k be x(-4). Solve -4*u + 1 = k*i, -4*u + 0*u - c = 2*i for u.
-1
Suppose 7 = l - k, k - 2 = -0. Suppose 4*f + 4*r + 32 = 0, 3*f + 2*r + 5777 = 5763. Solve -4*m - 21 = -5*y, 0 = -2*m - y + f - l for m.
-4
Suppose 248 = 74*m - 127 + 79. Solve -18 = 2*o - 8*c, m*o = -0*o + 5*c - 25 for o.
-5
Let r(k) = -2*k - 14. Let z be r(-6). Let d be -3 + 5 + 1 + z. Let g be d + -6 + 4 - -3. Solve -g*q = 3*j + 2*q + 13, 15 = -4*j - 3*q for j.
-3
Let n be 2/((-2)/1) - 8. Let i(k) = -163 - 15*k**2 + 46*k**2 - 15*k**2 - 17*k**2 + 174 - 8*k. Let z be i(n). Solve 0*x + 5*g - 11 = 2*x, -z = -2*g for x.
-3
Let z = -22 + 26. Let r be ((-11)/(55/2))/((-1)/75). Let u = 33 - r. Solve 13 = -5*y - z*m, -7 - 2 = u*y + 3*m for y.
-1
Suppose -4*v - 69 = -44*i + 39*i, 0 = -2*i + 2*v + 30. Solve 4*k + i = -4*b + b, 0 = -3*k - 9 for b.
1
Let l = -5102 - -5104. Solve 0 = k - 5*x - 3, k - l*k - 2*x - 4 = 0 for k.
-2
Let k be (-3552)/15 - -7*4/(-140). Let r = -235 - k. Solve -r*m + 1 = -l - 4, -5*m + 4*l + 5 = 0 for m.
5
Let g be (-777)/(-33) + (-6)/11. Suppose -44 = -g*r + r. Solve 0 = v - u + r, -2*v + u - 5 = -2 for v.
-1
Let k(w) = -107*w - 1. Let t be k(-1). Let d(h) = -5*h**3 + 34*h**2 - 92*h + 4. Let p be d(3). Let m = p + t. Solve 1 = 4*j + m*i + 4, 0 = j - 2*i + 4 for j.
-2
Suppose -5*f + 7 = -90*j + 88*j, 4*j - 51 = -3*f. Solve 1 = 2*b - 5*c, -j + 4 = 4*b - 3*c for b.
-2
Let c = 14568 - 14566. Solve 2*a = 5*o + c, -4*a + 30 = -2*o + 26 for o.
0
Let a(y) = -y**2 + 3*y + 12. Let q be a(4). Suppose -s + 3*s - q = 3*n, -4*s - 5*n + 38 = 0. Solve 2*v + 5*f - 10 = 0, s*v - 5 = 4*v - 5*f for v.
-5
Let k be (-17 - -15) + 0 + 7. Suppose -4*v + 314 = 3*z, -v + 73 = 3*z - k*z. Suppose 16 = 81*a - v*a. Solve 2*w - 10 = -a*o, -11 = 2*w - 2*o - o for w.
-1
Let v(s) = s**3 + 12*s**2 + 9*s + 18. Let q be v(-12). Let b = 128 + q. Let f = b + -33. Solve 40 = 5*y + f*l, -5*l + 9 = 4*y - 26 for y.
5
Suppose 28*a - 74*a = 97*a + 30*a. Solve -2*u - 8 = a, 4*v - u = 18 + 6 for v.
5
Let y be -10*(5 - 66/12). Solve -17 = y*j - 3*s + 2*s, 0 = j - 3*s + 9 for j.
-3
Let s = -15350 + 15352. Solve 44 = -2*y - 5*f, 0 = -2*y + 2*f + s*f + 28 for y.
-2
Let n be (-4)/(-38) + 34/(-323). Solve -4*a + 5*a - 2*u = -5, n = a + 4*u - 13 for a.
1
Let t = 30 - 30. Suppose 0 = 5*f - 4*f - 2. Let w be f/(-8) - (-90)/40. Solve w*q = -4*d + 6, 3*q + t*q = 5*d - 2 for d.
1
Let x be 130/(-15)*(-1)/((-12)/90). Suppose 0 = -3*m + 6 + 6. Let y be m/5 + 13/(x/(-6)). Solve y*b - w - 6 = 0, b + 4*w = 3*b - 6 for b.
3
Let c be 129 - -3 - (-25)/(-10)*-2. Suppose -43 = -10*x + c. Let t = 8 + -6. Solve x = 4*r + t, -4*r + 6 = 5*s for s.
-2
Let v = 31 - 17. Suppose v*b - 12 = 8*b. Suppose 0 = j + 2*w + 4, -b*j - 2*w = 1 - 3. Solve 0 = 3*d - 12, 2*z + 4*d + 4 = j*d for z.
2
Let m(w) = 5*w - 120. Let c be m(24). Suppose 6*t + 0*t = c. Solve 5*a - 21 = -5*n - 1, t = a - 4*n + 21 for a.
-1
Suppose -7*o = -318 - 151. Suppose 0 = 11*w - o*w. Solve 3*v + 3*p + 3 = w, -5 - 2 = -2*v - 5*p for v.
-4
Let q be (-70)/(-21)*(-7 + (-123)/(-15)). Suppose -o + 2*y + 2 = 0, -2*o + 2*y + 1 + 9 = 0. Solve 0*b + 3*h = b + o, -5*b - 3*h - q = 0 for b.
-2
Let c(b) = 0 + 2 + 0*b + 6*b. Let s be c(-5). Let r = s + 48. Solve r = 4*o - d + 6*d, 3*o = -d + 15 for o.
5
Suppose -1699 + 1710 = -3*w - 4*i, -31 = -2*w + 5*i. Suppose 2 = v, -4*r + 4*v = -0*v - 8. Solve -w*t - r*j = 4, -3*j - 20 = 2*j for t.
4
Let t = 39 + -33. Suppose 3*x + 4*a - t = 17, x - 13 = -4*a. Solve x*c = 2*g + g + 2, -3 = -c - 2*g for c.
1
Let w be (-110)/(-35) - 43/301. Solve -15 = 3*g + w*s, -2*g - 5*s - 2 = 8 for g.
-5
Suppose 2*x + 16 = 2*a + 26, -3*x + 4*a = -15. Solve -2*d = 4*b, 0 = -x*b - 5*d + d for b.
0
Let b(w) = 4*w**3 - 14*w**2