
2
Suppose -8*l + 22 + 1410 = 0. Let t = -174 + l. Solve t*n = n for n.
0
Let o(j) = -j**3 + 8*j**2 + 6*j + 21. Let z be o(7). Solve -z - 92 = -34*t for t.
6
Let l(o) = 23*o + 471. Let b be l(-20). Let u be -3*2/(-4)*2. Let w be ((-30)/18)/((-1)/u). Solve -26 = -w*k - b for k.
3
Let r = 0 + 14. Suppose -5*z + 11 = -r. Suppose -5*n - 6*b + b = -10, 14 = n - z*b. Solve c = -0*c + n for c.
4
Let q be 165/60 - (-5)/4. Suppose r - 21 = 2*y, q*y + 21 = -8*r + 9*r. Solve r*z - 16*z + 10 = 0 for z.
-2
Suppose 18 = 4*r + 2*s, s = 3*r + 3*s - 14. Suppose r*o = -7*l + 4*l - 1, l = 3*o + 17. Solve 0 = g + l*g - 18 for g.
3
Let z(f) = -16*f**3 + f**2 + 3*f + 1. Let l be z(-2). Suppose -l*w = -124*w. Solve w = h - 3 for h.
3
Let n = 228 + -230. Let p be n/5 - (-24)/60. Solve p = v - 2 for v.
2
Let j(a) = 10*a**3 - 11*a**2 - a + 21. Let i be j(4). Let m = i + -477. Solve -m*z = -6*z + 8 for z.
4
Suppose 3*x - 22 = y, y + 3*x - 37 = -11. Suppose -9 = -3*u, -3*v + 2*u - 25 = 11. Let f be ((-4)/(-5))/((-2)/v). Solve -3*a - f = -y*a for a.
-4
Let x be 1/(-2)*(-14 + -2 - 2). Let y be -12 + x - (-28 + -1). Suppose 4*u - 3*p - 45 = -0*u, 2*u - y = -2*p. Solve 5*g = g + u for g.
3
Suppose -20*o = 8*o - 2884. Let x = o - 88. Solve 5*n - 5 - x = 0 for n.
4
Let q = 8 + -5. Suppose -q*a = -a. Let o(s) = 68*s + 618. Let t be o(-9). Solve -t*n + 9*n = a for n.
0
Let u = -9746 - -9786. Solve -367*b + 347*b = -u for b.
2
Suppose 2*x - 20 + 70 = 0. Let h be (-8)/(-5) + (-10)/x. Let k(w) = -2*w - 30. Let f be k(-21). Solve -f = -h*t - 2*t for t.
3
Let h(r) = -6*r**3 - r**2 - 4*r - 2. Let c(t) = -t**3 + 6*t**2 - 10*t + 2. Let m be c(3). Let p be h(m). Solve -1 = -p*b - 8 for b.
-1
Suppose 2*j = 4*f - 18, 4*f - j + 6*j - 11 = 0. Let r(m) = m - 14. Let q be r(18). Suppose -x + q = -3*i + 2, 5*x = 5*i + 10. Solve -4*n + x*n = -f for n.
2
Let l(u) = 6*u**2 - 5*u - 4. Let a(g) = g**2 - g - 1. Let n(m) = -5*a(m) + l(m). Let y be n(2). Suppose -y*k = -7*k + 10. Solve -5*p - 5 = k for p.
-2
Let n(v) = 5*v**2 - 12*v - 84. Let l be n(-6). Suppose 183*p - 197*p + l = 0. Solve -p = -12*q + 6*q for q.
2
Let f = -2 - -7. Suppose 3*j + 85 = -f*o - j, -3*o + 2*j - 73 = 0. Let w = o + 21. Solve w = -3*d + 6 + 6 for d.
4
Suppose 16*p + 5016 = 130*p. Let y = -19 - -72. Let k = y - p. Solve -4*n + k*n = -10 for n.
-2
Let v = -5 - -10. Let g = -2 + v. Suppose 2*a = -2*q - 10, 2*q - 2*a - 9 = 1. Solve q*j = g*j + 12 for j.
-4
Suppose -v + k + 5 = 0, -2*v + 3*k - 2 = -17. Suppose v = 771*j - 780*j + 72. Solve -2 = -10*p + j for p.
1
Suppose -833 = 17*l + 238. Let a be 4*l/(-144)*4. Suppose 0 = -s + 6 - 3. Solve s*j = a - 1 for j.
2
Let b be 3*3/(-4)*(-128)/96. Solve -t = -b*t + 10 for t.
5
Suppose -144*h + 20264 - 4793 = -7425. Let c = -23 + 38. Solve -164*y - c = -h*y for y.
-3
Let t = 4921 + -4917. Solve 13*n = t*n for n.
0
Let f = -3245 + 3260. Solve -f*p + 64 + 11 = 0 for p.
5
Let u be 150 + 39/(-195)*(-15 - 0). Solve 69 - u = -14*t for t.
6
Suppose -3*p + 4*q - 33 = -6*p, 5*q - 55 = -5*p. Let o = -9 - -15. Suppose 9*w + o = p*w. Solve j + 4 = w for j.
-1
Suppose -94 = -3*p - 58. Suppose 5*h = 3*v + 39, -13*h = -p*h + 3*v + 3. Solve -6*m = -4*m + h for m.
-3
Let n be -4 + 2 + 1 + 29. Suppose 13*p - n*p = -45. Solve 4*r - p - 1 = 0 for r.
1
Suppose 0 = -4*k - 606 + 1430. Solve -36 = k*a - 197*a for a.
-4
Let p be -39*(-9)/(-27)*-13. Solve 53 - p = 29*m for m.
-4
Let n = -1024 + 1054. Solve -2*b + n = 24 for b.
3
Let y(d) = d**2 - 86*d + 1531. Let u be y(61). Suppose 5*o = 3*b + 19, -o + 5 = -0*o. Solve 0*x + u = -b*x for x.
-3
Let m(i) = 7*i + 64. Let n be (-1)/((-2)/(-4)*(-2)/(-29)). Let w = n + 22. Let p be m(w). Solve -p = 3*y + 2*y for y.
-3
Suppose -4*r + 0*r + 20 = 0. Suppose -k = 2*u - 13 - 5, r*u + 18 = k. Suppose 0 = -5*w + 17 + k. Solve -4*s - w + 3 = 0 for s.
-1
Suppose -200 = 43*q - 2307. Solve -31*o + 90 = -q*o for o.
-5
Suppose 4*s = 4*b - 204, -3*b + 87 + 66 = s. Solve -35*k + b*k + 16 = 0 for k.
-1
Let r(z) = -z**2 - z - 4. Let d be r(-2). Let t be (-6)/4 + (-45)/d. Suppose 10*a - 12*a - 5*k - 15 = 0, 3*k = 4*a - 9. Solve a = t*w - w for w.
0
Suppose -21 = -a - 4*t, -9*a + 12*a - 5*t + 39 = 0. Suppose -5*d = -5*u + 5, -5*d - 2*u + u + 25 = 0. Let m be (a/15 - 1)*(-70)/d. Solve 5 = -4*c + m for c.
4
Suppose -38 - 20 = -29*b. Let f be (4 - (4 + b))*-5 - -4. Solve -3*l - f = -17 for l.
1
Suppose 5*q + 18 = -5*d + 3, 5*q + 3 = d. Let c be d/(-6) + (-15)/(180/(-56)). Let g be (-8)/(-2) + (-10)/c. Solve l = -g*l for l.
0
Suppose 5*m + 5*a - 6*a = 31, 0 = -5*a - 5. Suppose 2*r = -4, 0 = -2*z - 4*r - 4 + m. Solve n = -0*n + z for n.
5
Let q(g) = 4*g + 33. Let t be q(-8). Suppose -4*z + t = h - 2*z, 2*z = -5*h + 45. Suppose -h*a = -17*a. Solve a = n + 3*n for n.
0
Suppose -p - 3 = -n - 2*p, -3 = 3*n - p. Suppose 2 = -b + a + 6, -3*b + a + 4 = n. Suppose -22*j + 25*j - 9 = b. Solve -j = -x - 8 for x.
-5
Let w = 7524 - 7398. Solve w = -4*t + 22*t for t.
7
Let m = -14464 + 14538. Solve -m*w = -72*w + 12 for w.
-6
Let j = -2185 - -2191. Solve 12*t - j = 6*t for t.
1
Suppose 18*k - 18*k - 20*k = -60. Solve -135*d + 132*d = k for d.
-1
Let h = -179 - -186. Suppose h*b - 15 = 13. Solve -b*m - 1 + 17 = 0 for m.
4
Suppose 4*q - 11 = k, -2*q + 691 = 5*k + 702. Solve -q = -21*i - 2 for i.
0
Let z(w) = -2*w - 6*w**2 + 5*w + 18*w**3 - 7 - 17*w**3 + 10*w. Let g be z(2). Solve 3*v - g = -0 for v.
1
Let p(s) = -s**2 - 21*s + 76. Let a be p(-24). Suppose 0 = v + a*v - 15. Solve 3 + 12 = -v*y for y.
-5
Let q be 5/(-4)*(-53 - -49). Solve 2 = 7*d - q for d.
1
Suppose 0 = 2*x - q - 4, -q + 0*q = -4. Let k(u) = 13*u + 98. Let b be k(-7). Solve 0 = 3*y - b + x for y.
1
Let s = 7838 - 7822. Solve -s*m - 24*m = -320 for m.
8
Let d = -35 - -55. Suppose 3*p = p + d. Suppose -h - 3 = -4*u + 1, -u - 2*h = -p. Solve -4 = -u*o + o for o.
4
Suppose 3*k - 17 + 5 = 0. Let i = 491 - 683. Let z = i + 195. Solve u - z*u = k for u.
-2
Let d(l) = -l**3 - 6*l**2 - 4*l - 18. Let z be d(-6). Suppose 0 = -29*t + 32*t - z. Solve -t = -3*w - 5 for w.
-1
Let n(j) = 2*j**3 + 7*j**2 + 8*j + 5. Let w be n(-3). Let z = -7 - w. Solve -z*a - 25 = 2*a for a.
-5
Let g be 75 + (-29)/(319/165). Solve 61*n = n + g for n.
1
Let c = 572 + -592. Let i be 0 + (c/5 + 17 - 1). Solve -24 = -i*s + 4*s for s.
3
Let m be 0 + (-63)/(-12) + 4/(-16). Suppose l + 1 = m. Suppose 36 = 4*x + 4*u, -5*x - u + 25 = -l. Solve -s - x = -1 for s.
-4
Let w(p) = -22*p**2 + 4*p + 7. Let z be w(-3). Let r = z + 290. Let c = r + -86. Solve -5 = -m - c for m.
4
Let g be 8/6*17/(272/24). Suppose -8 = -2*k, 3*w - 5*w + k + g = 0. Solve v - w = -7 for v.
-4
Suppose 3*n + 95 = 2*n + i, 0 = 2*i - 8. Let c = -29 - n. Let f = -58 + c. Solve -f*d + d + 15 = 0 for d.
5
Let d = 32644 + -32595. Solve d*x - 469 = -18*x for x.
7
Let y be (28/(-6))/(54/(-81)). Suppose y = -5*m - 3. Let x be m*(-1 - (2 - 1)). Solve -5*w - 9 = -x for w.
-1
Suppose n - 296 = 4*i, 0 = -4*n - 0*i - 4*i + 1184. Let j = -286 + n. Solve 10 = -4*t - j for t.
-5
Suppose 7*t = -2*j + 4905, -13*t - 2*j = -10*t - 2109. Solve -t*v + 700*v + 8 = 0 for v.
-8
Let a = 16280 - 16266. Solve -a*y - 8*y = 17*y for y.
0
Let z = -671 + 681. Suppose 2*b = -0*b + 8. Solve z = -b*o + 6 for o.
-1
Suppose 3*i + 4 = -r, -4*i + 3 = 5*r + 1. Let a be 218/4 + 3/6. Suppose -w + 12*w = a. Solve 6 = w*m - r*m for m.
2
Let s = -63 + 57. Let q be s/(-42) - (-81)/21. Suppose 0*p - 2*p + 5 = z, q*p - 5*z = -11. Solve -2*b + p + 5 = 0 for b.
3
Suppose 1566 = -6*a - 1110. Let g = -422 - a. Solve -g*r = -22*r for r.
0
Let f be (24/60)/(1/(-70)*2). Let p be f/(-6) + 22/(-66). Solve 0 = p*v + 9 - 1 for v.
-4
Let x be -1 + -2 + -4 + 10. Let v be 2 + -3 - (7*-2 + x). Suppose 3*l = -l. Solve 3*i - i + v = l for i.
-5
Let k = 10210 - 10169. Solve -k*q = 6*q - 329 for q.
7
Let g = -24255 - -24273. Solve 0 = -16*y + 34*y + g for y.
-1
Suppose 106*z - 9*z - 92 = 5*z. Solve 2*g + 3 = -z for g.
-2
Let a(z) = -3 - z**3 - 3 + 3*z**3 + 11*z**2 - 8*z. Suppose w = 1 - 7. Let x be a(w). Solve -x = -p + 3*p for p.
-3
Suppose 4*b - 9*b = -10. Suppose -36 - 12 = 4*h. Let v = h - -16. Solve b*l - v*l = 0 for l.
0
Let f(p) = -2*p**3 + p**2 + 3*p + 2. Let o be f(-1). Suppose r + 3*r - x - 57 = 0, -2*r + o*x = -24. Suppose -4*t + 5 = -r. Solve -2*d + t = -7*d for d