 -s*b for b.
1
Suppose 0 = 44*g + 53*g + 142*g - 2868. Solve 0 = -v - g + 18 for v.
6
Suppose -2*f = w - 15, -2*f = 2*w - 0*w - 16. Let r(t) = -t**3 + 9*t**2 - 11*t - 11. Let k be r(7). Let q = k - f. Solve 23 - 8 = q*x for x.
5
Suppose -111*c = -87*c - 1752. Solve m = -c + 72 for m.
-1
Let o(v) be the first derivative of 2*v**3/3 - 5*v**2 - 14*v + 64. Let y be o(7). Solve 5*b + 1 = -y for b.
-3
Let u = -13706 - -13738. Solve 40 + 24 = -u*o for o.
-2
Let s = 9150 - 9082. Solve 14*d - s - 16 = 0 for d.
6
Suppose 3 = -8*h + 9*h + 3*g, -4*h + 22 = 2*g. Suppose z + 8 = 3*m, -m = 3*z - 4*m - h. Solve -z - 8 = -3*u for u.
5
Let j(z) = -z**2 - 4*z + 7. Suppose -28 = 5*t - 3. Let k be j(t). Let l = 5446 - 5446. Solve l = -k*p + 10 for p.
5
Suppose 36 = 21*d - 3*d. Suppose 0 = 4*g + q - 3*q, -2*q = -d*g. Solve g = -2*u - 6 + 2 for u.
-2
Let s be 1071/17 + -18 - 3. Solve 0 = -16*t - 138 + s for t.
-6
Suppose 2976 + 24 = 200*g. Solve 0 = g*r + 9*r - 96 for r.
4
Let g(h) = 2*h**3 + 5*h**2 + 7. Let r be g(-3). Let a(s) = -14*s - 25. Let c be a(r). Solve 2 = c*z - 1 for z.
1
Let x(i) = 61 - 21*i + 32 - 73 + 24. Let r be x(2). Solve r*n - 6*n = n for n.
0
Suppose 7*m - 6 = 50. Suppose -22 = -m*y - 6. Solve y*x - 12 = 5*x for x.
-4
Suppose -2*l + 3 = -l. Suppose 435 = -7*z - 965. Let u = z + 200. Solve l*h = -u*h - 3 for h.
-1
Suppose 7*u = 3*u + 4*y - 64, 2*y = -u - 25. Let t = u + -12. Let i = -31 - t. Solve i*x = 2*x + 4 for x.
-2
Let q be (-7)/2*52/(-273) + (-2)/3. Solve q = 3*s + 120 - 105 for s.
-5
Suppose -2*p + 74 + 23 = 3*v, 96 = 3*v + 3*p. Solve v = 4*s + 25 for s.
2
Suppose 113*c - 2*j = 115*c, 0 = -4*c - 2*j + 2. Solve -4*v = -3*v + c for v.
-1
Suppose 4*z - 3*u - 6 - 6 = 0, 9 = 3*z - 3*u. Let k be (-3 + 5 + -2)/(z/(-1)). Solve 0 = w - k*w + 5 for w.
-5
Suppose -30 = 90*b - 95*b. Let o(z) = z**2 - 5*z - 4. Let g be o(b). Suppose 0 = 4*h + g*a - 22, -3*h - 4 = -h - 4*a. Solve -5 - h = -3*n for n.
3
Suppose -499*g + 498*g + 12 = 4*n, -4*n + 12 = 0. Solve g = 2*u - 0*u + 12 for u.
-6
Suppose 0 = -3*l + 3, y - 4*l = -2*y - 4. Let q = -216 + 217. Let a(g) = 4*g**2 - 5*g + 2. Let k be a(q). Solve y = b + k - 6 for b.
5
Suppose 0 = -128*a - 521 + 4448 + 10921. Solve -a*b - 12 = -112*b for b.
-3
Let m be (-3)/(-12)*48/1. Suppose 10*t - m*t = -20. Solve 2 = -3*v - t for v.
-4
Suppose 4*p - 3 = 57. Suppose 7*l = 22*l - p. Solve l = -3*w - 11 for w.
-4
Suppose -217*j + 222*j + 135 = 0. Let p(c) = -c**2 - 27*c + 3. Let r be p(j). Solve -25 = r*g - 8*g for g.
5
Let d(i) = -i**3 + 11*i**2 + 9*i + 39. Let g be d(12). Suppose -48*n + 75 = -21. Suppose 2*j - 30 = -4*m, 2*m + 0*m + 4*j = 30. Solve -g = n*b - m for b.
1
Let k be 176*((-459)/(-12))/51. Solve k*a - 30 = 127*a for a.
6
Let y(n) = -57*n + 3534. Let l be y(62). Solve l = -60*p - 17*p + 462 for p.
6
Let x(o) = 33*o**2 - 9*o**2 + 27 - 2*o - 13*o**3 + 14*o**3 + 3*o. Let r be x(-24). Solve 0 = 4*c - r*c for c.
0
Suppose 2*l = 3*g - 153, -125 = 3*l + 4*g + 96. Let f be (-1)/(60/l*(-1)/(-4)). Solve 0 = f*h - 13 - 2 for h.
3
Let n(f) = f**2 + 7*f**2 - 4*f**2 - 6*f**2 - 9*f + 5. Let q be n(-5). Let b be 19 - (q + 25/5). Solve -2*z - b = -4 for z.
-5
Let y(i) = -2 + i - 3 - 5 + 15. Let h be y(5). Solve -h = -4*g + 2 for g.
3
Let g = 8 + -6. Suppose -15*p + 30 = -5*p. Let y be 11/((-132)/(-16)) + (-4)/p. Solve y = b - g*b - 4 for b.
-4
Let a(k) = 44*k**3 + 2*k**2 + 3*k + 2. Let c be a(-1). Let g = 23 + c. Let q = 23 + g. Solve 4*t - q = 1 for t.
1
Let x = 7260 - 7233. Solve -10*s + x - 97 = 0 for s.
-7
Suppose -3*a + 0*t + 2*t + 154 = 0, -2*a - 3*t + 107 = 0. Let g be 1 + 14 - (0 + 0 + -3). Suppose 5*l + a - 2 = 2*b, -b = l - g. Solve 5*j - 5 = b for j.
5
Suppose -p = -2*l + 2, 0 = 6*l - 4*l + 5*p - 14. Suppose -2*d - 2*i = -d - 74, -l*d + 133 = i. Suppose 5*q - 46 = d. Solve 6 = -4*y + q for y.
4
Let p = 5126 + -5049. Solve 79*t - p*t = -4 for t.
-2
Suppose 15*z = 17*z + 16. Let m be ((-45)/(-10) - 4)/((-1)/z). Suppose m*g = 5*g - 5. Solve -5*b = -0 - g for b.
1
Let d = 288 + -278. Let k(h) = h**3 - 10*h**2 + 8*h - 78. Let u be k(d). Solve u*i + 7 = 15 for i.
4
Suppose 3 = y, 5*n - 1083 = 2*n - 5*y. Let h = n + -348. Solve 0*j + 4*j + h = 0 for j.
-2
Let n = -64 - -83. Suppose 3*g = -c + 4, 4*g - 5*c - n - 18 = 0. Solve -g*v = -2*v - 4 for v.
4
Suppose -470 = -41*i - 64*i - 50. Solve -i*m - 490 = -474 for m.
-4
Let g be 42/24 + 3/(-4). Let u(p) = p + 2. Let w = -70 - -69. Let j be u(w). Solve -2*q = g + j for q.
-1
Let s = 72 - 35. Suppose 13 = 10*g - s. Suppose 10 = -g*l + 35. Solve -l*w = -w for w.
0
Let i(r) = 98*r + 1570. Let p be i(-16). Let t be 8 + (1 - (-2 - -5)). Solve p*l - t = -l for l.
2
Let m be (1 + -2)*(-10 + 11)*-24. Solve m - 66 = 7*x for x.
-6
Let z be ((-1)/(-3))/(3/9). Let q be (14 + 6)*z/4. Let j = -81 - -84. Solve q*y = j*y - 4 for y.
-2
Suppose -110*x + 1252 = -828 + 100. Solve -x*u - 18*u = -252 for u.
7
Suppose -26 = -o + 34. Suppose -4*d + 68 = 4*q, -4*q - o = -10*d + 6*d. Solve j - d = 5*j for j.
-4
Suppose 454 - 427 + 1173 = 30*f. Solve 3*t = 55 - f for t.
5
Let v = -111 - -118. Let j(o) = -o**2 + 14*o - 44. Let k be j(v). Solve -1 = -k*l + 4 for l.
1
Let u(w) = w**3 - 22*w**2 - 8*w - 322. Let s be u(23). Solve 110 = -s*h - 51 for h.
-7
Let j = 274 + -273. Let s be ((-30)/(-60))/(j/48) - -2. Solve -4 = 6*q + s for q.
-5
Let r = -230 - -142. Let y = -82 - r. Solve x = -11 + y for x.
-5
Suppose -2*o + 40 = 6*o. Suppose -2*q + 86 = o*s - 3*s, 0 = 5*s - q - 191. Suppose s*h = 41*h. Solve -4*w + w = h for w.
0
Suppose 5*d - 8*d = -18. Let s(p) = p**2 - 5*p. Let o be s(d). Let f be (o/(-8))/(-3) - (-5)/(-20). Solve j + 4*j - 20 = f for j.
4
Suppose -4*r - 5788*j + 5783*j + 155 = 0, -20 = 4*j. Solve r*l = 113 + 22 for l.
3
Suppose 3*j - s + 2 = 0, -2*j - 2 = s - 4. Suppose 17*l + 9*l - 52 = j. Solve l*u = u for u.
0
Suppose r - 3*d = 1600, 49*r + 3*d + 3224 = 51*r. Solve -1645 = 7*n - r for n.
-3
Suppose -13 + 16 = -3*n. Let r be -5*(20/5 + -3)*n. Solve 21 = r*m + 11 for m.
2
Let p(d) = d**3 - 37*d**2 + 79*d - 189. Let b be p(35). Solve -b = -194*m + 176*m for m.
7
Let o(v) = v**2 - 38*v + 246. Let g be o(8). Solve -55 = -g*t - 61 for t.
-1
Let h(l) = 2*l**3 + l**2 - 2*l + 67. Let a be h(0). Suppose 43*v = a*v. Solve -r + 5 = -v for r.
5
Let r be -2*((-1780)/8 + 1). Let c = r + -436. Solve -c*x = 3*x - 10 for x.
1
Let p be ((-12)/(-9))/1 - 4/(-6). Solve 26 = -p*x + 22 for x.
-2
Let c = -9619 + 9647. Solve 34*a - c*a - 12 = 0 for a.
2
Suppose 1380 = -25*t + 117*t. Let o be 135/18*(-8)/(-10). Solve o = t*g - 12*g for g.
2
Suppose 0 = 14*h - 13*h - 3. Let l = 290 + -281. Solve 3*c - h - l = 0 for c.
4
Suppose -255957*m = -255950*m - 21. Let a = -6 + -4. Let p = a - -14. Solve -m = p*i - 7 for i.
1
Let v(m) = -9*m - 18. Let t(u) = -5*u - 9. Let r(s) = 11*t(s) - 6*v(s). Let o be r(4). Suppose 3*i = 2*h - 24, o*i + 17 = 4*h - 27. Solve 0*x - h = 2*x for x.
-3
Let w be (1 - 7)*-1 + (25 - 29). Suppose w*x - 4*z + 9 = 153, 4*x + 5*z = 340. Let s = x + -77. Solve -k + s*k - 8 = 0 for k.
4
Suppose -4*q - 4*v = -64, -5*q - 10*v = -6*v - 83. Solve -q*k = -2*k + 34 for k.
-2
Let v be -3 + (1 - -6) + 1. Suppose -5*s + n + 8 = 5, 0 = 2*s - v*n + 8. Solve -3 = -2*r + s for r.
2
Let p be 3/(-9) - (-106)/3. Suppose w = -3*t + 21, 6*t - t - p = -5*w. Solve -t + 27 = -4*z for z.
-5
Let n be -20*(6 - -12)/(-9). Solve -n = -16*g + 8 for g.
3
Let r be (30/20)/((-3)/90). Let b be ((-9)/(-9))/((-3)/r). Solve -16*j - b = -13*j for j.
-5
Let a = 5 - 1. Let b(m) = -m**3 - 19*m**2 + 2*m + 41. Suppose -5*q + 5*s = -0*q + 90, 5*q + 100 = -5*s. Let n be b(q). Solve -2 - a = n*u for u.
-2
Let g(v) = v**3 + 3. Let k be g(0). Let a be 4 + 19/((-247)/195). Let i = 17 + a. Solve k*u + i = -3 for u.
-3
Suppose -16*u + 18*u = -8, -28 = -2*k - 3*u. Solve 52*o = 32*o + k for o.
1
Let u be 6 - (-42)/9*3. Let s be -4*5/u*-5. Solve a = s*a for a.
0
Let p be (15/6)/(24/192). Suppose -83 = -p*i + 237. Solve -22*w + 18*w - i = 0 for w.
-4
Let l = 830 - 613. Solve -30*p = -l + 67 for p.
5
Suppose 9 - 69 = -30*r. Let f be (r/(-6))/((-75)/450). Solve 3*n + 1 = f*n for n.
-1
Let k be (6516/(-54))/(2/3). Let n = -181 - k. Solve 7*b + 44 - 16 = n for b.
-4
Let h be 2*((-44)/572 - 27/(-13)). Let s = -6 + -7. Let w = s - -13. Solve w*n + n = 