j - 12 = 3*t - y, 3*t - 27 = 3*j. Let l = t + -7. Solve l*i + k = 5*k - 2, 5*i + 18 = -4*k for i.
-2
Let i be 1/((-4)/100*-5). Solve -4*h - i - 3 = 4*d, -2*d - 3*h = 7 for d.
1
Let t = -123 - -71. Let m = -49 - t. Solve -7 = u - 3*i - 20, -m*u + 2*i = -18 for u.
4
Let m(h) = -h**3 + 6*h**2 + 2*h - 7. Suppose -q = -0*x - 2*x + 13, q + 1 = 0. Let n be m(x). Solve 0*v + 2*v + 3*l - 7 = 0, n*l = v - 10 for v.
5
Suppose -5*k + 6*k = 2*p + 7, -k + 2 = 3*p. Let v be 8*(k/2 + -2). Let l be -1*v/8*-6. Solve -l*j = 2*n + 2*n, 16 = -4*j for n.
3
Let f(b) = -b - 5. Suppose -64*n + 61*n = 15. Let t be f(n). Solve t = d - 3*d - 3*g + 4, 2 = d - 3*g for d.
2
Suppose 2 = 8*o - 30. Suppose -4*p - 3*i = -28, 3*p - 5 = -o*i + 23. Solve 0 = -0*b - 5*b - 2*v + 14, -p*v - 12 = 0 for b.
4
Suppose -4*z + 8*o - 5*o + 4 = 0, 4*o - 16 = 0. Solve -4*n = 5*c + 21, -3*n = -z*n + c + 6 for n.
1
Suppose 14*o - 1248 = -34*o. Solve 4*s - 2*y - o = 0, -5*y - 27 = -3*s - 2*y for s.
4
Suppose 0 = -4*j - 19*y + 21*y + 22, -5*j + 2*y = -30. Solve j = -3*v - p, 0 = -3*v - v + 3*p - 2 for v.
-2
Suppose 3*s = 5*c + 31 - 10, -23 = -4*s + 5*c. Suppose 5 = 2*y + 1. Solve s*o = 2*h - 2, 2*h - h - y*o = -1 for h.
3
Suppose 2*p - 16 = 2*n, -2*p + 20 = 2*n + 4. Solve 3*v = 2*v - u, 3*v = 5*u + p for v.
1
Suppose -9*a - 9 = -12*a. Suppose s - 24 = -a*k + 5*s, -s = 4*k - 13. Solve 3*m = -4*d - 2*m, k = m for d.
-5
Let x be (-72)/(-8) + 30/(-5). Solve -4*o + 3*k - 8 + 2 = 0, -5*o - x*k = -6 for o.
0
Let j be (-1)/(-1*(-1)/9). Let m be (-22)/(-4) - j/(-18). Let n be 14/6 - (-4 + 39/9). Solve 0*g - m*g - k - 7 = 0, -g + n*k = -3 for g.
-1
Let p be 1/4 + 30/8. Let f(g) = -2*g**2 - 2*g + 8. Let a be f(2). Let c be ((-17)/p - -3)*a. Solve 0 = 5*i - 0*i - 5*v + c, -2*i + 5*v = -7 for i.
-4
Let r(p) = p**2 - 10*p + 6. Let s be r(8). Let u = -9 - s. Solve 2*f - 9 = -3*j, 4*j = -5*f + u + 18 for f.
3
Let x be 11*((-39)/65)/((-44)/20). Solve g + 11 = x*s - 0*g, 0 = 3*s - 2*g - 10 for s.
4
Suppose -17*c - 6 + 6 = 0. Solve c = 2*j + 2*d - 4*d - 6, -2*j - 3*d = 19 for j.
-2
Let u be -3*(0 + 470/15). Let k = u - -98. Solve 35 = 5*c + 5*p, k*p = -4*c + p + 26 for c.
5
Suppose -5 = -3*o - 2*d, o - 4*d - 30 = -o. Solve o*q = -3*g + 4 - 15, 5*q = -5 for g.
-2
Suppose -3*t = 5*k - 5 - 5, -16 = -3*t + k. Solve -3 = -y - 3*c, 0 = -7*y + 4*y - t*c + 1 for y.
-3
Suppose -5*a = -i - 6, -5*a + 18 = 2*i - 0*a. Suppose -2*g = -g - i. Let y = 79 + -66. Solve 0 = -2*j - g*b - 14, y = -3*j + 2*b for j.
-5
Let h be (6/(-9))/(4/18). Let r be 5/h*(17 - 20). Solve -3*c + p = -c + 5, r = -c - 2*p for c.
-3
Suppose -j + 2 - 3 = 0. Let z(o) = -4*o + 1. Let v be z(j). Suppose -p + 4 + v = 0. Solve 5*r - 9 - 7 = 3*s, -3*s + p = 0 for r.
5
Let g(y) = -y**2 - 5*y + 8. Let o = -10 + 4. Let a be g(o). Let h(w) = 309*w + 2165. Let r be h(-7). Solve r*j = -2 - 6, -a*j = u + 11 for u.
-3
Let h = 13 - 10. Let f = h + 3. Suppose 0 = 2*v - 4 - f. Solve -4*l - r = 3*r - 40, -r - 20 = -v*l for l.
5
Suppose 2*s - 54 = 4*s - 4*c, -144 = 5*s - c. Let y = -69 - -40. Let a = y - s. Solve -28 = -4*u + 4*q, -3*u + 2*q + 2*q + 24 = a for u.
4
Let q(n) = 20*n. Let y(w) = -10*w. Let u(t) = -6*q(t) - 13*y(t). Let b be u(2). Solve 0 = -5*j - z + 20, -4*j = j - 2*z - b for j.
4
Suppose -35 = -2*n - 5*d, 0 = d - 43 + 38. Solve g - 3*r + n = 2, 2*g = 2*r - 6 for g.
-3
Let m = 403 - 402. Solve 5*c + m = -4*j - 4, 0 = -5*c - 3*j - 5 for c.
-1
Let f be ((-32)/(-40))/(1/30). Let y = f + -20. Solve 2*g + 6 = -y*s, 0*s - 4*s + g - 21 = 0 for s.
-4
Let u = 537 - 537. Solve 5 = 3*y - c + 7, -5*y - c - 14 = u for y.
-2
Let k be 1/6 - 310/(-12). Let c = -18 - -46. Let r = c - k. Solve 0 = 5*o + 2*w + r*w + 2, -4*o = 5*w - 2 for o.
-2
Suppose 0 = -5*g - 5*p + 40, 5*g - 3*p - 8 = -0*p. Solve a + g*a - 5 = 0, -r + 4*a - 2 = 0 for r.
2
Suppose 32*b - 12 = 26*b. Solve -5*t = 4*y + 2, b*t - 14 = t + 4*y for t.
2
Let g = 4 + -3. Let x(t) = -2*t + 2*t**2 + 1 - 6*t**3 - t**3 + 10*t**3. Let k be x(g). Solve 2*f - 7 = -3*l, -k*l + 40 = -8*f + 3*f for l.
5
Suppose t - 5*c = -35, -453*c + 458*c = -5*t + 65. Let o(k) = -k**2 - 8*k - 1. Let r be o(-4). Solve 11 + 4 = 3*q, r = t*s + 4*q for s.
-1
Let n be 0/((0 - -2)/(-2)) - -2. Let u be -2 + (-1)/(3/(-21)). Suppose -5 = u*k, -f - 3*k = n*f - 75. Solve 5*h + 3*t = 0, 2*h + 5 = 5*t - f for h.
-3
Let l be (-2)/(-4) + 1/(6/51). Solve 0 = -v + 2*g + l, -3*g - 6 = -4*v + 5*v for v.
3
Suppose -4*j - 5 = 3*f + 8, 0 = 5*f + 5*j + 15. Suppose q - 24 = -b, f = -b + 6. Solve -3*z - 5*p = -27, 0 = 2*z + 3*p + 2 - q for z.
4
Suppose -34 + 42 = w. Let l be 6*(1 - w/(-6)). Solve -5*y - 4*m + 37 = 0, -y + 0*m - 3*m = -l for y.
5
Suppose -5*k = -20, -5*y - 13 = -k - 119. Solve -3*c = 5*j + y, 3*j + c + 16 = 2 for j.
-5
Suppose 68*h - 293 = -21. Solve -5*d + g + 3 = 5*g, 3 = -3*d - h*g for d.
3
Let o be -14 + 13 - (3 + -2 - -2). Let y be 27/(-6)*8/(-6). Let i = y - o. Solve 2*w + 2 + 2 = -4*d, 5*w = 5*d - i for w.
-2
Let i = -24 + 44. Let h(g) = g**2 - 18*g - 37. Let m be h(i). Solve -4 = -m*z - 2*w, -5*w + 10 = -4*z - 23 for z.
-2
Let h(f) = -f**2 - 5*f + 2. Let j(b) = b**3 - 8*b**2 + 7*b - 9. Let d be j(7). Let a = d - -5. Let i be h(a). Solve 2*x - 7 = -c, 2*x + c + c - i = 0 for x.
4
Let n = -2240 - -2243. Solve -4*d + h - 17 = 0, 7 = -n*d + 2*h - 2 for d.
-5
Suppose 3*t + 6 = t - 4*k, 5*t - 13 = -3*k. Suppose -t = 5*x - 40. Solve -y = -c + 1 + 2, -y = -2*c + x for c.
4
Let x be (-32)/(-144) - (-304)/9. Solve 5*k = -2*i, 3*i + 9 - x = 5*k for k.
-2
Let g = 3948 + -3946. Let v(c) = -9 - 2*c + 0 + 0. Let w be v(-6). Solve -4*p + 6*p - 4 = -g*f, 0 = -2*p + w*f - 21 for p.
-3
Suppose -s + 0*s + 8 = 2*a, 3*s - 16 = -4*a. Solve 27 = -3*k + 3*h, -k - a*h = -14 + 3 for k.
-5
Suppose -35*d = -37*d + 18. Suppose m + 112 = d*m. Solve -3*c + c - 3*y = -13, 0 = -c - 3*y + m for c.
-1
Let g be 32/6*(18/4 + -3). Solve -3*s - y = -6, 3*s - 3*y + 2 = g for s.
2
Let c = 50 + -47. Let f be ((-8)/6)/(10/45). Let r = 11 + f. Solve r*y = 13 - c, 10 = -2*k + 2*y for k.
-3
Let k be ((-8)/6)/2 - (-672)/63. Suppose -5*z + 3 = -4*v + 1, 2*z - k = -3*v. Solve z*b + 3*b + 15 = 0, 0 = -4*d + 3*b - 7 for d.
-4
Let z = 75 - 50. Let d be -11 + z + 1*-1. Let v = d - -2. Solve 25 = -4*j + r, -2*r = j - 4*r + v for j.
-5
Let t(m) = -15*m**2 + 1. Suppose 2*o - 1 + 3 = 0. Let g be t(o). Let p be 7/g*(2 - 8). Solve 3*r - 1 = -h, 6*h - p = -5*r + 4*h for r.
-1
Suppose -3*d + 144 = d. Suppose d + 12 = 2*x. Solve h + 3*s + 1 = -3, -3*s = -3*h + x for h.
5
Let t = -805 - -810. Solve -2*y + 17 = -5*p, 0*y = -5*p + t*y - 20 for p.
-3
Let o = -1 + 3. Let w = o + -2. Let d(i) = -i**2 + 2. Let s be d(0). Solve s*p + 27 = -5*y, y + 4 = -w*p + p for p.
-1
Let p(b) = b**3 - 4*b**2 + 7*b - 9. Let f be p(3). Solve -f*q = 3*j - 3, 0*j + 2*q = 4*j - 16 for j.
3
Suppose -29*y + 6 = -26*y. Let n = 27 + -21. Solve 2*g = -n, 3*w + y*g = -w + 2 for w.
2
Let d(i) = -10*i - 31. Let p be d(-16). Let g = -110 + p. Solve 2*k - 6 + 3 = -v, 3*v + g = k for k.
4
Suppose -30*g + 27*g + 18 = 0. Solve -p = -3, -2*w - g = w - p for w.
-1
Suppose -6*b + 5*b + 6 = 0. Let o = -3 + b. Solve -6 = f + o*a, 5*a - 3 = 2*f - 2 for f.
-3
Suppose -5 = 3*o - 23. Let x(s) = 5*s - 10. Let p be x(4). Let l = p - o. Solve -m - 5*g = l, 2*m - 5*g + 2 + 6 = 0 for m.
-4
Suppose 2*c = 5*s - 181, 4*s + 2*c - 142 = 5*c. Let z = -50 + s. Let u = 13 + z. Solve -t - t - 3*l + 11 = u, -13 = -4*t + 3*l for t.
4
Let k be 1 + 1 - (-22 - -23). Let o be 0/(k/(0 + -1)). Solve -1 = 4*x - 3*i - o*i, 11 = 4*x + i for x.
2
Let f(z) = -2*z**2 - 6*z + 113. Let o be f(6). Solve o*b + 2*r = r + 15, -b - 4*r + 22 = 0 for b.
2
Let a be 68/18 + 2/9. Suppose 2*y + 4 = -a*h, -h - 1 + 0 = 3*y. Let l(u) = u**3 + 9*u**2 + 4*u - 30. Let w be l(-8). Solve y = -w*b - 2, -b - 4 = r + 2*b for r.
-1
Suppose 2*y - 3*z = 10 + 25, -2*y = -4*z - 30. Solve -24 - 1 = 5*r - 5*g, 0 = 5*r + 4*g + y for r.
-5
Suppose -4*f = -4*u + 57 + 7, f + 30 = 2*u. Solve -t + 5*t + u = 2*l, l = 5*t + 10 for t.
-1
Suppose 7*r = -4*r + 770. Let i = -67 + r. Solve 4*v = 2*a - 2, 4*v + 2 = i*a + 5 for a.
-5
Let w be 1*6/(-51) + 900/(-153). Let x be 27/(-54)*(w - 0). Solve -3*i - 4*q + x = 0, i = 3*i + q - 2 for i.
1
Suppose -2*u - 512 = 5*q + 2*u, 316 = -3*q + 2*u. Let g be (-455)/q - 6/16. So