 s for k.
3
Suppose v + 279 = -4*x + 952, 3*v - 2029 = -2*x. Solve 18*h + v = 713 for h.
2
Suppose 278*m = 21475 + 44411. Solve 0 = -251*w + m*w - 98 for w.
-7
Let f be (-8)/20 - 399/15. Let a = -15 - f. Let c(o) = -9*o**2 - 475*o + 110. Let r be c(-53). Solve r*s + a = -4 for s.
-4
Suppose r - 19*m + 18*m - 169 = 0, -4*r = 4*m - 692. Solve -179*s - 40 = -r*s for s.
-5
Let r = 21 + -22. Let q be (8/(-12))/(r/6). Solve 3*p + q = 2*p for p.
-4
Let i be 1/3*0 - 0. Suppose i = -5*d - 2*k + 25, k - 18 = -5*d + 2. Suppose -25 = -2*l + b, -d*b + 6*b = l - 15. Solve 0 = 4*v - 4 - l for v.
4
Let h = -17829 - -17986. Solve 181 = -8*w + h for w.
-3
Let f(s) = -2*s + 3. Suppose -2 = 5*x + d + 2, 4*d = 4*x - 16. Suppose -2*v + 10 = -3*o, -v + x = 3*o + 4. Let i be f(o). Solve i*j - 8*j = 4 for j.
-4
Let l be (11/(11/(-2)))/(1/(-6)). Suppose -8 = -q + 4*v, 24 = 2*q + 2*v - l. Suppose 5*d - 12 - 13 = 0. Solve d*o + q = o for o.
-4
Let t = 32 + -29. Let d be ((-2)/(-4))/((117/(-18))/(-13)). Solve -t*y - d = -2*y for y.
-1
Suppose -4*s - 10 = -2*y - 6*s, -4*s = -6*y + 40. Solve -21*z = -20*z - y for z.
6
Let u be (60/(-130))/((-6)/39). Suppose -6*k + k = 40. Let h be 2/(-8) + (-2)/k. Solve h = -0*c + u*c + 9 for c.
-3
Suppose i - 3 - 1 = 0. Suppose 0 = -i*f + t - 19, 2*f - t = 3 - 10. Let g be (-6)/2*(0 - f)/(-3). Solve -4*x - 10 = g for x.
-4
Let u = 418 - 687. Let c = u + 443. Solve -179*k + 10 = -c*k for k.
2
Let p = -1119 - -671. Let i = p + 451. Let x be 0/(1*(-3 - -1)). Solve i*y + x*y = 0 for y.
0
Suppose -4522*k + 4519*k = 0. Solve k = -9*f + 5*f + 12 for f.
3
Let u(r) = r**2. Suppose 0 = -2*l + 6*l - 8. Let c(d) = 2*d**2 + 2*d - 2. Let y(v) = l*u(v) + c(v). Let s be y(1). Solve s = -i + 3 for i.
-1
Suppose -4*y - 8*u = -3*u - 464, -2*y - 3*u = -230. Solve 126*x = y*x + 30 for x.
6
Suppose -5*d + 37 - 66 = 2*h, -h + 10*d = -73. Let w be (-49)/(-4) + 2/(-8). Solve w = -3*s - h*s for s.
-2
Let h = -336 - -417. Suppose -32*p + 303 = -h. Solve 0 = -6*k - p for k.
-2
Let u = 11351 + -11351. Solve 4*n - 7*n - 15 = u for n.
-5
Let x be ((-5)/(-2))/(19/38). Solve -32 = 13*l - x*l for l.
-4
Suppose 5*i - 10 = 5*f - 50, -36 = -5*f + 4*i. Let n(u) = -u**2 + 2*u - 5. Let s be n(0). Let y be 3/s - 6/(-10). Solve -f*b + 7 + 1 = y for b.
2
Suppose -g + 139 = -3*s + 4*s, -692 = -5*g - 4*s. Solve -121 + g = 3*d for d.
5
Suppose -42*b + 65*b = 43*b - 920. Solve -b - 134 = 45*w for w.
-4
Let i be ((-2)/5)/((-1)/(1 - 46)). Let p be i/(-3) - 15/5. Let t = p - -13. Solve -t + 6 = -5*a for a.
2
Let g(h) = 7*h**3 + 104*h**2 + 7*h + 375. Let p be g(-15). Solve -30*a = -p*a + 120 for a.
8
Let u be -23*3/(-15) + 6/15. Suppose 2*l + 3*t = 7, 49 = 4*l - u*t + 2. Solve -5*s = -l*s + 3 for s.
1
Let k(x) = -10*x - 54. Suppose 0 = 5*p + 52 - 22. Let i be k(p). Solve -i*s = -11*s for s.
0
Let w(a) = a**2 + 3*a + 2. Let g be w(-4). Let u = -60577 + 60580. Solve -u = g*n - 15 for n.
2
Let j(h) = h**2 - 18*h - 7. Let n = 216 + -197. Let c be j(n). Solve 0 = -0*z - 4*z - c for z.
-3
Suppose 0 = -m - 0 + 4. Suppose 0 = p + m*p - 175. Let c = p + -32. Solve -c*g = g for g.
0
Let f(z) = -520*z - 5713. Let j be f(-11). Solve -j*p + 94*p = 261 for p.
3
Let l(t) = 4*t**2 + 7*t + 13. Let v be l(-5). Suppose 0 = -v*u + 79*u - 5. Let z(d) = -5*d**2 + 25*d + 5. Let o be z(u). Solve -o*w - 12 = 3 for w.
-3
Let y = -79 - -43. Let u = -34 - y. Suppose 2*w + 14 = -5*q, u*w + 2 = -0*w - 2*q. Solve 0 = w*j - 2*j - 3 for j.
3
Let q be -15*(65/15 - 4). Let y = 5 - q. Suppose 4*f + y + 17 = 3*t, -4*t + 2*f = -26. Solve 0*w - w = t for w.
-5
Let x = 27 + -22. Suppose -4*c + 360 = 3*p - x*c, p + c = 120. Let r be p/21 - 20/(-70). Solve v - 4*v = -r for v.
2
Suppose 2*i - i = -57. Let k(y) = -65*y - 6. Let t be k(-1). Let w = t + i. Solve -4*f = -2*f + w for f.
-1
Let r = 16398 + -16330. Solve r*z - 69*z = 6 for z.
-6
Suppose 5*m = -8*z + 4*z + 743, 749 = 4*z - m. Suppose -19*y + 2*y = -z. Solve 14*n - y*n = 12 for n.
4
Let o(v) = 12*v**2 - 26*v - 23. Let r be o(3). Solve 1311 = -r*u + 1318 for u.
1
Let a be (4/8)/(((-3)/(-100))/3). Suppose 54*t - a*t - 16 = 0. Suppose 7 = 4*s - 13. Solve 9*l + s = t*l for l.
-1
Suppose 2*y + 4*h - 17 = -h, -3*h = -8*y + 45. Suppose -y = 12*z - 11*z + 3*l, -2*z = -l - 2. Solve z = 10*q - 9*q + 5 for q.
-5
Suppose 5*c + 80 - 72 = g, -4*g = 2*c - 32. Solve -30*o + 46*o + 80 = c for o.
-5
Suppose 0 = 2*m + 8, -3*d = -5*m - 3 - 29. Suppose -4*h = -5*i + i - 40, d*i = -5*h + 77. Suppose -h = -l - 10. Solve 0 = l*k + 2 + 4 for k.
-2
Let n(k) = 87*k + 33. Let z be n(-3). Let d = 228 + z. Solve d = -3*u - 4 + 13 for u.
3
Suppose -k - 6*m + 2 = -4*m, 0 = 2*m. Let x be k/(-3) - (-400)/6. Let s = x - 61. Solve 0 = s*p + 10 - 25 for p.
3
Suppose 73 = 3*s - 5*y, 0 = 4*s + 4*y - 96 - 12. Suppose 0 = -148*v + 2619 + 1081. Solve -s*m = -v*m + 5 for m.
-5
Suppose 0 = s + 3*q - 5, 0 = 2*s + q - 1 - 9. Suppose u = -o - 10 + 13, -2*u = -s*o - 27. Solve 4*t = u + 10 for t.
4
Suppose -3*c - 645 = -8*c + 5*f, -4*f = 3*c - 359. Let x = -121 + c. Suppose 4*h = -x*g + 20, 0*h - 2*h = g - 5. Solve 6*m - m = g for m.
1
Let o = 4509 + -4462. Solve -3*z + 56 = o for z.
3
Let y be -6 - (-104)/10 - (-6)/(-15). Suppose 12 = w - u + 8, 0 = -2*w - 2*u - y. Solve 0 = -2*i - w + 7 for i.
3
Suppose -65*g + 70*g = 0. Solve -106*z + 109*z - 18 = g for z.
6
Suppose -3*c + 3 = -12, 4*r + 2*c = -6. Let w be 50/(r + -1)*1/(-2). Solve w*y + 36 - 46 = 0 for y.
2
Let b = 11120 - 11099. Solve -50*f + b = -43*f for f.
3
Suppose d + 28 = i, 11*i = 8*i - 2*d + 89. Solve 0 = 22*y - 37 - i for y.
3
Let v(x) = 2*x**3 + 41*x**2 - 283*x + 78. Let a be v(-26). Solve a = 3*m + 702 - 696 for m.
-2
Suppose 0 = -4*s - 3*j + 6 + 35, 2 = -2*j. Let h be (2/3)/(2*s/66). Solve -b + 4 = -h*b for b.
-4
Suppose 3*d = -2*d + 20. Let s(x) = 4*x**2 + 87*x - 20. Let n be s(-22). Suppose 3*p = -d*u + 26, -n*u + 10 = -4*p - 14. Solve 0*j + 4*j = -u for j.
-2
Suppose b - 224 = -7*b. Let q(k) = -3*k**3 + 29*k**2 + 13*k - 25. Let r be q(10). Suppose r*w = -0*w + 5*v + 40, -5*w = -v - b. Solve 3*z + w = 8*z for z.
1
Let b(l) = 124*l. Let x(y) = -2*y**3 + 7*y**2 - 3*y - 1. Let c be x(3). Let j be b(c). Let k = -118 - j. Solve -4*n = -6*n + k for n.
3
Let i = -752 - -756. Suppose -12 = -4*t - 2*q, 5*t - i*t + 2*q = 6. Solve -t*g = -0*g - 10 for g.
5
Suppose -8*w + 2*w = 1242. Let d = -202 - w. Solve -d*v - 19 = -24 for v.
1
Let f = 2 + -2. Let h be (f - 0)/(-1 + 3). Let s(x) = -5*x**2 - 219*x + 47. Let c be s(-44). Solve -c*l - 1 - 5 = h for l.
-2
Let h(r) = 2*r**3 + 120*r**2 + 110*r - 368. Let p be h(-59). Solve 0 = -117*f + 91*f - p for f.
-4
Suppose -2*n + 28 + 4 = 5*j, 5*j + 5*n - 35 = 0. Solve -22*g + j = -25*g for g.
-2
Suppose 0 = 3*b + 5*a - 58, 2*b - 26 = 15*a - 12*a. Solve -b*q + 90 = 14*q for q.
3
Suppose 11*j + 4*w - 7 = 6*j, -5*w + 2 = 4*j. Solve 9*s - j = 12*s for s.
-1
Suppose -11*k - 5*v = -8*k - 47, 4*k + 12 = 4*v. Suppose 5*u = 5, 3*a - 5*u - 20 = -4*u. Solve 39 = a*b + k for b.
5
Let z(q) = 2*q**3 - 44*q**2 + 117*q. Let r be z(19). Solve 10*w - 17 = -r for w.
-4
Suppose 0 = -17*b - 3486 + 3656. Solve -15*j = -b*j for j.
0
Let r(h) = h**3 - 10*h**2 + 20*h + 8. Let l be r(5). Let z = l - -20. Let g(q) = q**3 + 29*q**2 + 27*q - 26. Let v be g(-28). Solve 0 = -z*d - 4 - v for d.
-2
Suppose 0 = -4*h + 4*j + 12, 0 = -5*h + 2*h + 5*j + 7. Suppose -1134*p + 178*p - 463*p + 2789 + 49 = 0. Solve -p*v = 2*v + h for v.
-1
Let t(y) = -35*y - 28. Let g be (-8)/(-6) - (-3 + (-75)/(-9)). Let i be t(g). Let m = -108 + i. Solve m*p + p - 20 = 0 for p.
4
Suppose -23055 = 191*m - 278*m. Solve -268*y - 21 = -m*y for y.
-7
Let g be 80*(105/(-525))/(2/(-5)). Solve -111*j + 101*j + g = 0 for j.
4
Let y be (-6 - -11)*(-6)/(-10). Let u be -21 - (y - (0 - 0)). Let a = u + 26. Solve -3 = -a*q + 1 for q.
2
Let i be (46/92)/(1/(-4)). Let n be (-1 - -2 - -4) + i. Solve 1 - n = l for l.
-2
Let x = -619 - -1527. Let n = x - 904. Solve n*r = 2*r + 7*r for r.
0
Let h = -483 + 486. Let r be 34 + -17 - 5/3*h. Solve r = 7*n - 2 for n.
2
Let f = -13 + 67. Let j be (-36)/f*(-6)/4. Suppose 0 = -3*k + 2*d + 20, -k + 2*d - j = -13. Solve 0*a + 12 = -k*a for a.
-3
Suppose 0*w + 77 = 3*n - 4*w, -3*n - 3*w = -42. Suppose n*q - 31 = -12*q. Solve q = 3*v + 16 for v.
-5
Let n(q) = 