6*s + 6 for s.
2
Let s = 480 + -436. Suppose -s*u - 9*u + 424 = 0. Solve u - 3 = w for w.
5
Suppose 290 = 3*i + g - 409, -12 = -2*g. Solve 229 = s + i for s.
-2
Suppose 0 = 5*l - 2*l - 6, 2*a = l + 8. Let i(n) be the first derivative of 2*n**2 - 22*n - 22. Let h be i(6). Solve -h + a = 3*p for p.
1
Let q = -2532 - -2540. Solve -22 - q = 10*s for s.
-3
Let j(a) = 5*a + a + 390 + 2*a - 123. Let i be j(-33). Solve 0 = 4*t + i + 5 for t.
-2
Let q(k) = 2*k**2 - 84*k - 7. Let z be q(43). Solve 75 = -22*w - z for w.
-7
Suppose 98*v = -120*v + 167*v + 2550. Solve v = 6*i + 32 for i.
3
Let h be ((-65)/260)/(2/(-8)*1). Suppose h = -k + 2*b + 5, 3*k = b + 2. Solve -3*f - f = k for f.
0
Suppose -24*u = -2*l - 20*u + 40, 4*l = -u + 35. Solve l = 190*m - 185*m for m.
2
Let m = 440 - 435. Suppose 0 = w - 2*x - m + 13, 0 = 5*x - 20. Solve o = -w*o + 3 for o.
3
Suppose 159*i = 73*i + 344. Let o(p) = 3*p**3 - 2*p**2 - p. Let m be o(-1). Let t be 22 - -2*(-2)/m. Solve i*j - 3 = -t for j.
-5
Let c = 92 + -110. Suppose -3*j - 60 = 3*q, -3*j - q = -4*q + 36. Let w = j - c. Solve 0 = w*v - v - 1 for v.
1
Let j(z) = -z**3 + 5*z**2 + 46*z + 183. Let v be j(-8). Solve -6*x = -653 + v for x.
1
Let w(a) = -3*a**3 + a**2 - 3*a + 2. Let h be w(2). Let m be 26 + h + (1 - (1 + 0)). Suppose -15*t - 4 = -16*t. Solve m*y - t = 3*y for y.
-4
Suppose 1995 = -294*s + 427*s. Solve -24*a + s*a = -9 for a.
1
Let r(v) = 0*v**3 - 6*v - 2*v**3 + 6 + 4*v - 56*v**2 + v - 18. Let o be r(-28). Solve -8*z + o = -4*z for z.
4
Let u = -36 + 15. Let a be 7/4*7/(u/(-12)). Suppose a*v = -v + 32. Solve v*i + 18 = -2 for i.
-5
Suppose -5*d = 3*f - 49, 3*f = -f + 2*d + 22. Suppose 2*l - f*l + 84 = 0. Let p(a) = -a**2 + 14*a + 5. Let v be p(l). Solve 4*r = v*r for r.
0
Let q be 0/(2 - 1)*(-1141)/5705. Solve -9*a - 345 + 291 = q for a.
-6
Let o(v) = v**2 + 4*v + 11. Let p be o(-3). Suppose -l + p*l = 63. Solve l = -3*g - 0*g for g.
-3
Let a(h) = 177*h - 309. Let o be a(2). Solve 25 = 4*w + o for w.
-5
Let o(x) = x**3 - 3*x**2 - 2*x + 6. Let n(g) = -5*g + 9. Let m be n(3). Let y be (m/5)/(-3 + 52/20). Let v be o(y). Solve -2*t + 4 + 4 = v for t.
4
Suppose 4*i = 274*t - 273*t - 35, -5*i = 4*t - 161. Solve t = -9*l + 75 for l.
4
Suppose 25359 = 53*m + 84*m + 100*m. Solve -m*d = -161*d + 486 for d.
9
Let r(l) = -l - 23. Let s be r(14). Let v = -23 - s. Suppose v + 2 = 4*b. Solve 0*n = n + b for n.
-4
Let n = 3687 - 3527. Solve -5*t + 125 - n = 0 for t.
-7
Suppose 2*s + 14 = 3*s. Suppose -9*i = -s*i. Solve -g = -i*g for g.
0
Let p(o) = -o**2 - o + 115. Let u be p(9). Solve -9*c - u = 20 for c.
-5
Suppose 4*w - 2783 = 817. Let a(y) = -22*y + w + 0*y**2 + y**2 - 900. Let s be a(22). Solve s = 3*d - 2*d + 3 for d.
-3
Suppose 0 = -6*i - 2*i + 456. Let b = i - 3. Let d = b + -50. Solve -5 = d*o + o for o.
-1
Suppose -25 = 23*i + 90. Let l be (i - -6*(-4)/(-8)) + 12. Solve -2*j + 4*j + l = 0 for j.
-5
Let w be 388/(-679)*14/(-4)*(4 + 1). Solve -11*f - w*f = 105 for f.
-5
Let p = 17937 + -17922. Solve -302*s + p = -307*s for s.
-3
Let x = -38 + 41. Suppose -x = 5*j + k, -3*j + 4*k + k = -15. Suppose j = f + 7 - 9. Solve -f - 7 = -3*b for b.
3
Let u be (-4)/(-30) - (-13)/15. Let x be 3*u - (-4 + 1). Suppose -2*v - 4*v + 24 = 0. Solve 2*m + v = x*m for m.
1
Suppose -3*t = j - 57, 5*t - 25 = -j + 72. Let g = -44 + t. Let h be -9*(-3 + g/(-9)). Solve -z + h = 2 for z.
1
Let w be 245/27 + 164/(-2214). Solve q - w*q = -32 for q.
4
Suppose 0 = -28*h + 26*h - 2*w + 14, 6*h = 2*w - 14. Solve 67*z - 53*z + 42 = h for z.
-3
Let d(k) = 11*k**2 + 126*k - 69. Let i be d(-12). Solve i*u = -32*u for u.
0
Suppose -21*v + 29*v = 32. Let w(c) = -2*c + 12. Let b be w(v). Suppose -2*a - 3*n = -41, 3*a + 2*n - 73 + 14 = 0. Solve -3 = b*j - a for j.
4
Let v = 19557 - 19517. Solve v*p - 36*p - 24 = 0 for p.
6
Let d = 5 + -10. Let y = 7 + d. Suppose -y*x = -x. Solve x*v - 4 = -v for v.
4
Let f = -216 - 187. Let l = 412 + f. Solve -l*d - 16 = -d for d.
-2
Let g be (-608)/(-44) + 4/22. Suppose g = -f + 17. Solve -3*z = -6*z - f for z.
-1
Let o be -57 + 4*(-45)/(-20). Let y = o - -157. Solve -1 = -y*g + 108*g for g.
1
Suppose -355*o + 383*o = 0. Solve 2*m - 22 + 12 = o for m.
5
Let n = -3226 - -3260. Solve -24*v - 80 = -n*v for v.
8
Let j = -98 - -96. Let h(b) = 14*b + 28. Let x be h(j). Solve 2*g + 0*g - 2 = x for g.
1
Let l(f) = -2*f - 20. Let q be l(-16). Let b be 1 + q + (0 - 0). Suppose -13 = -5*v - b. Solve -t - t + 4 = v for t.
2
Let t = -807 + 817. Solve 0 = -57*y + 47*y + t for y.
1
Let w be 8/20 + 6/(-15). Let u be 2/3*(0 - 6). Let v be 1 - (1 - w) - u. Solve -v - 4 = -4*j for j.
2
Let b(x) = -x**2 + 12*x - 25. Let o be b(9). Suppose -5*k - 5 = o*w + 9, 0 = 4*k + 16. Solve w*h = -5 + 2 for h.
-1
Let k(t) = -t**3 + 7*t**2. Let z be k(7). Let i be -1*-7*(2 - 3)*(-9090)/6363. Solve -2*p + z*p = -i for p.
5
Suppose -307 + 99 = -16*c. Suppose 0 = -7*x + c*x - 60. Solve 3*v - 2 = x for v.
4
Let z(m) = 4*m**2 - 25. Let h be z(5). Suppose -5*u + h = r - 79, 0 = 2*u - 3*r - 65. Suppose -36*t + u*t = -40. Solve t = 5*i - 17 for i.
5
Suppose -4*r + i + i = 0, 5*i = -3*r. Suppose -3*t - 3*l = r, 5*l = -14 - 6. Let x be 12/9 - t/(-6). Solve x*q + 10 = 2 for q.
-4
Suppose 4*j = -0 - 8. Let g(x) = -15*x - 29. Let t be g(j). Let n be ((-6)/t)/(5/(3 - 8)). Solve -3*r = -n*r for r.
0
Suppose -8*z + 42 = -102. Let h be ((-11)/(-3)*-2)/((-4)/z). Solve 0 = 5*l + h - 48 for l.
3
Suppose 72*s = 595*s - 2092. Solve -2*p + 23*p = -s*p for p.
0
Let s(p) = 18*p + 187. Let d be s(-10). Let z be d/(-7 - (-56)/7). Solve -4*n - 3*n - z = 0 for n.
-1
Let q = 6726 - 6566. Solve 0 = -q*x + 137*x + 138 for x.
6
Suppose 203*k - 840 = 143*k. Solve 3*h + k = -4*h for h.
-2
Let a(w) = -8*w**2 + 25*w + 9. Let r(b) = b**3 + 7*b**2 + 3. Let f be r(-7). Let s be a(f). Solve -4*u + s = -4 for u.
4
Let p be (159/2)/((-221)/26 - -10). Let s = 1 + -1. Solve 7*y - 18 + p = s for y.
-5
Suppose -3*y - 4*o + 187 = 0, 24*y - 26*y - o + 118 = 0. Solve 79 + y = 34*l for l.
4
Suppose -r - s = -10, -3*s + 71 = -2*r + 56. Let a(p) = p**3 + 5*p**2 + 2*p - 2. Let j be a(-3). Solve r*d - 7 = -j for d.
-1
Let m(f) = 21*f**2 - 2327*f - 375. Let r be m(111). Solve 0 = 34*c - 169 - r for c.
7
Let t be 878/46 - 56/644. Solve -56 = t*b + 9*b for b.
-2
Suppose -12 = -80*g - 12. Solve 27*k - 28*k + 3 = g for k.
3
Let z = 10 + -5. Suppose -3*h - z*o = -10*o - 7, -5*o - 25 = 0. Let j(b) = b**3 + 6*b**2 + 3*b + 22. Let p be j(h). Solve -p*d - 22 = -2 for d.
-5
Let a be ((-198)/11 - 84/(-6)) + 158*2. Solve 17*d = 56*d - a for d.
8
Suppose -2 = 330*r - 5 + 3. Solve -19*a + 15*a - 28 = r for a.
-7
Let v(h) = 49*h + 63. Let s be v(4). Solve 7*z + s = 238 for z.
-3
Let w = -124 + 134. Suppose 0*g = w*g - 180. Solve g - 3 = -3*o for o.
-5
Suppose 59 = 5*c + 3*t - 10, -4*t - 48 = -5*c. Let y(v) = -372*v - v**2 + 1142*v - 380*v + 16 - 379*v. Let n be y(c). Solve -n*a - 10 = a for a.
-2
Let l(t) = 4*t**2 - 10*t + 2. Let j be l(-6). Let m = 210 - j. Solve m*y - 7 = -19 for y.
-3
Let r(u) be the second derivative of u**5/40 - 5*u**4/4 - 7*u**3/6 + u. Let y(s) be the second derivative of r(s). Let w be y(12). Solve -v - w = -4 for v.
-2
Suppose 48 = 2*m + h, -21*m + 25*m = 2*h + 88. Solve -31*u - m*u = -19*u for u.
0
Suppose 249*a - 293*a = -1144. Solve 0 = -9*d + a*d for d.
0
Let u(g) = 2*g - 3. Let n be u(4). Suppose -n = 2*s - 9. Suppose 4*c - 63 = 4*v - 11, -2*v = 2*c - 34. Solve -s*d + c = 3*d for d.
3
Let o be 9/(7/2 - 5) + -652. Let r = o - -660. Let p be 0/((-8)/(-2) - 2). Solve p = 2*x + r for x.
-1
Suppose 224 - 282 = -3*h - 4*i, 0 = -3*h - 2*i + 62. Solve -19*y = -h*y - 3 for y.
-1
Let q(t) = -7*t - 4. Let h be q(2). Let c = -20 + 9. Let b = c - h. Solve 4*o = -b - 1 for o.
-2
Suppose 0 = d + 10 - 3. Let i be ((-10)/(-4))/(-5)*0/d. Let w = -219 + 223. Solve i*r = -w*r for r.
0
Let c(k) = -k**3 + 13*k**2 - 5*k + 56. Let w be c(13). Let z = 12 + w. Solve i = -z*i for i.
0
Let g be (10 - 3)/(1/(-7)). Let z be (-2 + -528)/5*(-2)/(-4). Let m = g - z. Solve -4*o - m = -0 for o.
-1
Let s be (-1)/(-3)*(-105)/(-28)*4. Suppose 20 = -s*o, -15*o + 24 = 3*r - 18*o. Solve r*l - 5 = -9 for l.
-1
Suppose 0 = -17*q + 18*q - 6. Suppose 0*t + 10 = n + 2*t, 0 = 2*t - q. Suppose -n*f + 1 = -3. Solve -j - f = -2*j for