et a = g - 24. Solve 0 = k + a for k.
-2
Let u(d) = d**3 - 12*d**2 + 10*d + 16. Let s be u(11). Let x be ((-82)/5 + 2)*s. Let n be x/(-20) - (-6)/(-10). Solve 3*a - n = -0 for a.
1
Suppose -602 = -6*d - 554. Solve d*p = 6*p - 6 for p.
-3
Let j = 401 - 392. Solve -j*f = -6*f for f.
0
Suppose 7*z = 2*z + 75. Let i be (-16 + z)*(-3 - 0). Let v(l) = -l**2 + 9*l - 8. Let r be v(6). Solve i*d = 8*d - r for d.
2
Suppose 10*u = 13*u + 15, -20 = x + 5*u. Solve x*q - 8 = 3*q for q.
4
Suppose 0 = v - 5 + 13. Let i = v + 11. Solve o = -i*o + 8 for o.
2
Suppose o + 0*o = y - 1, -2*o - y + 7 = 0. Let s be ((-2)/o)/(4/(-8)). Solve -2 = -s*q - 0 for q.
1
Let b be (2/3)/((-2)/(-18)). Solve -b = 2*x - 2 for x.
-2
Let z = 440 + -440. Solve 4*d = -z - 16 for d.
-4
Let q = -4 + 6. Suppose 5*p - 11 - 9 = 0. Suppose -q*s - 10 = -2, -2*h = s - p. Solve 3 = h*m - 1 for m.
1
Let v(i) = i + 6. Let r be v(-3). Suppose r*j = -10*j. Solve -2*q - 10 = -j*q for q.
-5
Let w(j) = -j**3 + 7*j**2 + j - 3. Let x be w(7). Let n = -21 + 21. Solve 2*i - x*i + 2 = n for i.
1
Let d(z) = -z**2 + 2*z. Let k = -9 + 9. Let h be d(k). Solve h = -s - 4*s for s.
0
Suppose 3*i - 10 = i. Suppose -6*o + 2 = -i*o. Let w = o - -8. Solve 2 - w = -2*c for c.
4
Suppose -5*l + 2*l = -4*m - 5, -2*l = -m - 10. Suppose 2*g - 7*g + 5*d = -5, d = -3*g + l. Let a(r) = r - 7. Let q be a(7). Solve q*y + 10 = -g*y for y.
-5
Suppose 4*b = -8*b + 72. Solve 0 = -b*f - 6 for f.
-1
Let w be (1/2)/((-2)/(-8)). Suppose -3*p - 2*c = -p - 2, -5*p - c + 13 = 0. Suppose -x - x = -p*y, y = -5*x + 17. Solve -w*u - 6 = y for u.
-4
Let l(q) = -2*q**2 + 40*q - 2. Let o be l(20). Let p(u) = 2*u**2 + 0*u**3 - 2*u**3 + u - 5*u**2 + 3. Let c be p(o). Solve -c*r = -8*r for r.
0
Suppose 6*w = 4*w + 4. Suppose 0 = 3*q + s + 17, 4*s = 5*q + 3*s + 31. Let c = q + 16. Solve -4*t - w = c for t.
-3
Let z be (-35)/42*3*12/(-5). Solve -z*r - 2 = -4*r for r.
-1
Let l(k) = k + 14. Let p be l(-12). Solve p*n - 5*n - 6 = 0 for n.
-2
Let p(n) = -n**3 - 8*n**2 + 6*n - 21. Let f(t) = t**3 + 4*t**2 - 3*t + 1. Let y be f(-5). Let o be p(y). Suppose 4*k = -k + 10. Solve 0*u = -k*u - o for u.
-3
Let w(d) = 1 + 8 - 11 + 1 - 5*d - d**2. Let v be w(-2). Suppose t = 5*t - 12. Solve t + 7 = v*q for q.
2
Let g = 15 + -12. Let b(r) = 3*r + 1. Let n be b(1). Suppose -x = -g - n. Solve 5 + x = -3*v for v.
-4
Let q(m) = 3*m**2 - m - 7. Let l be q(-4). Solve 5*r + 4*r - l = 0 for r.
5
Let i = -345 + 347. Solve -4*y = -i*y + 10 for y.
-5
Let q be 3 - (12/(-18))/((-1)/(-3)). Solve -q*o - 2*o + 21 = 0 for o.
3
Suppose -4*a = 4*c - 24, 0 = -3*a + a + 4*c + 24. Let h(g) = -g**2 + 7*g + 11. Let v be h(a). Solve -v*d - 6 = -5*d for d.
3
Suppose 0 = 2*t - 2*r - 14, 2*r = -2*t - 2*r + 14. Let p be (-20)/2*t/(-14). Solve -p*j + 0*j - 10 = 0 for j.
-2
Let x be 15/(-10)*-24 + -6. Solve 25*f - 15*f - x = 0 for f.
3
Let k(s) = s**2 - 6*s + 8. Let a be k(5). Suppose a*x + 3 = -2*r + 18, -r + 5 = x. Solve h + 3 = -r*h for h.
-3
Let u be 20*(4 + (-246)/(-15)). Suppose 97 = -t + 3*n, -4*n + u = -5*t - 33. Let k be 3/18 - t/30. Solve k*s - 14 = -2 for s.
4
Suppose -3*p + 5 + 1 = 0. Let b be (-162)/9*1/(-3). Solve p*i = b*i - 16 for i.
4
Suppose 2*p + 8 + 48 = 0. Let h be p/(-15) + 18/135. Let b = 6 - -1. Solve 0 = j + b - h for j.
-5
Let x = -31 - -56. Let o(p) = p**2 + 11*p + 7. Let m be o(-10). Let r(h) = -h**2 - 2*h + 3. Let s be r(m). Solve s = -y + 6*y + x for y.
-5
Let q(d) = -d**2 - d + 4. Let x be 4 - (107 - (-4 + 2)). Let y be 2/(-7) + (-30)/x. Let u be q(y). Solve -2*v + u = -v for v.
4
Let m(d) = -2*d - 4. Let z be m(-3). Suppose -29 = 4*q - 5*x, 3*x + 4 = z*q + 19. Let s(b) = -b**3 - 6*b**2 + 4. Let g be s(q). Solve -g*w - w = 0 for w.
0
Let z = 18 + 0. Suppose 5 - 7 = -2*b - c, c = 2*b - 10. Suppose -w = -b*w + z. Solve 0*u = 3*u - w for u.
3
Let o(u) = 3*u**2 + 3*u - 3. Let d be o(1). Solve 2*p + d*p = 0 for p.
0
Suppose -288*u + 271*u + 3111 = 0. Solve 179*n - u*n - 16 = 0 for n.
-4
Let t be -10 - (-172)/(-1 - -5). Solve -2*o + 41 = t for o.
4
Let q be (9/15)/((-3)/(-15)). Suppose -2*o = 5*m + 3 - 11, -q*m = 4*o - 2. Solve m*r + 0*r = -4 for r.
-2
Suppose 2*j - 10 = -d - 0, -j - 3*d = 0. Suppose 9*m - 6 = j*m. Solve 10 = -m*r + 4*r for r.
5
Suppose -8*p + 136 = 8. Let x = p - 0. Suppose -x + 14 = -i. Solve -3*r - i*r - 15 = 0 for r.
-3
Let l = -241 - -246. Solve 0 = l*v - 6*v for v.
0
Let d(w) = -w**3 + 9*w**2 - 10*w - 24. Let s be d(7). Solve -b + s = -3*b for b.
-2
Let y(f) = f + 14. Let k be y(-10). Suppose -5*x + 6*x = 4. Suppose x*g = 24 - k. Solve -2*s = -s - g for s.
5
Suppose -3*u + 4*m - 1 = 0, 3*u = -3*m + 26 + 1. Suppose -j + 4 = 2*y, -u*j + 0*j = -2*y - 20. Solve j*i - 3*i - 2 = 0 for i.
2
Let o(k) = 44*k - 84. Let c be o(2). Solve c*l = 5*l - 1 for l.
1
Suppose -40 = -k - 9*k. Suppose 15*t + k - 4 = 0. Solve -a + t*a = 0 for a.
0
Let d = -204 + 207. Solve 10 + 2 = -d*o for o.
-4
Suppose 2*h = -35 - 97. Let a = h + 67. Solve -2*v - a - 7 = 0 for v.
-4
Let s = -21 + 25. Suppose -i - 23 = -s*v, 5*v + i = -i + 19. Suppose 2*g - u = 7, 0*g = -4*g - 4*u - 4. Solve -v*z - 17 + g = 0 for z.
-3
Suppose 3*x = 7*x - 20. Suppose -c = 3*m - 43, 2*c - 84 = x*m + 46. Suppose 2*g + 2*a = -0*g + 34, c = 5*g - a. Solve -g = -h - 3*h for h.
3
Suppose 5 = 3*q - 1. Let k be 4/16*(-4 + (9 - -3)). Solve q*x - 12 = -k*x for x.
3
Let b = 41 - 30. Suppose -p - 1 = 0, -5*g - 2*p + b = -2. Solve 0 = -2*n + g*n for n.
0
Suppose -5*p + p - 2*i + 158 = 0, 178 = 5*p - 4*i. Let d be -3 + 2*p/4. Let w(q) = -q**3 - 5*q**2 - 7*q - 12. Let c be w(-4). Solve x + 3*x + d = c for x.
-4
Let t be (-4 - -9)*(0 + -3 - -4). Solve -8 = t*g + 2 for g.
-2
Let s = 49 - 5. Suppose -4*p - 4*r = -3*p - 20, 0 = -4*p - 4*r + s. Solve -b + 3*b - p = 0 for b.
4
Suppose -f + 2*x + 3 = 0, 3*f + 5*x + 18 = 7*f. Suppose -19*r = -f*r. Solve 2*m - 7 - 1 = r for m.
4
Let a(k) = k**3 - 8*k**2 - k + 9. Let n be a(8). Let y = n - -4. Suppose -y*u + 9 = -11. Solve u*s + 14 = 6 for s.
-2
Suppose 2*h - k = 3*k + 24, 4*h + 3*k = 4. Let d be 5 - (-6)/h*2. Suppose 19 + d = 3*y. Solve g + y = 4*g for g.
3
Let x = -1387 - -1393. Solve x*w = 38 - 14 for w.
4
Let y be 13 + (-1)/(-2)*0. Suppose 3*u + 6*b = 3*b + 45, 4*u + 3*b - 60 = 0. Suppose -4*c + y + u = 0. Solve -13 = -5*j + c for j.
4
Suppose -234 = -10*b - 8*b. Suppose -8*j + b = -27. Solve j*h = 3 + 2 for h.
1
Suppose -2*o = 3*y - 4, -3*y + 5*o + 16 = -16. Let z be (-6)/8*(1 + 135). Let r = 104 + z. Solve r*b = y*b for b.
0
Let p(l) = -3*l - 6. Let j be p(-4). Solve 12 + 12 = -j*d for d.
-4
Let i(x) = -x**3 - 2*x**2 + 5*x + 8. Let b be i(-3). Solve -l - b = -2*l for l.
2
Let b(a) = 2*a**3 + 8*a**2 - 2*a - 3. Let l be b(-4). Suppose -l*h - 14 = 2*z, -6*z = -4*z - 4*h - 22. Solve z*x = -x for x.
0
Suppose 16 = 6*h - 8. Let w be 16/h - (-9 + -1). Let d be w/21*(-15)/(-2). Solve 3 = -d*p - 7 for p.
-2
Suppose 17 + 18 = 7*q. Let a(x) = x**3 - 6*x**2 + 6*x + 1. Suppose -3 = -4*o + 17. Let t be a(o). Solve -t - 14 = -q*k for k.
4
Suppose 0*t - 3*t = -102. Let z = -14 + t. Let q = z - 19. Solve 3*f = 8 + q for f.
3
Let j be (-5)/15 + (-76)/6. Let q = -11 - j. Solve q*l - 3 = 5 for l.
4
Let r = 185 + -183. Solve r*o - 7*o + 20 = 0 for o.
4
Let u be (-8)/(-3)*(-12)/(-8). Suppose -i - 12 = -u*z - 2, 0 = -2*z + 4*i + 12. Solve z*s - 6*s = -20 for s.
5
Suppose 3444 = -22*t + 50*t. Solve -t + 128 = 5*g for g.
1
Suppose -2*j - 11 = -3*l + 13, l - 9 = j. Solve v - l = 4*v for v.
-2
Let u = 2 - -1. Let h be (-2)/8 - 9/(-36). Solve u*i - i = h for i.
0
Let n(a) = a**3 - 6*a**2 - 4. Let u be n(6). Let c = u - -4. Let x be 4/6*213/142. Solve f + 2 - x = c for f.
-1
Suppose -5*i + b = -1, -4*b + 14 = -4*i + 2. Suppose -c = i - 3. Let g be 4 + -2 - (-3)/1. Solve c*q = 7*q - g for q.
1
Let f = 4 + 0. Suppose 0 = -y - 5*h - 7, 5*y - 5*h - 87 = 28. Suppose 5*x = -3*i, 0 = -i - 2*i + x + y. Solve 3*t + f = -i for t.
-3
Suppose -2*v + 2*b + 80 = 0, 0*v + v - 3*b - 50 = 0. Let h = -29 + v. Solve -h*d + 2*d = -8 for d.
2
Let i = -6 - -18. Let j = -7 + i. Let o be 6/21 + j/7. Solve o = m + 4 for m.
-3
Let k be 18/(-6) + 6 + -1*1. Let i(t) = 3*t - 4. Let w be i(k). Solve -w*f = -0*f - 8 for f.
4
Let x be 4*((-53)/(-36) + 8/(-36)). Let r = -20 + 30. Solve r*k - x*k - 20 = 0 for k.
4
Suppose 3*b 