x + s*x for x.
-1
Let t be 5 + (94 - 104 - (-15 + 1)). Solve t*z + 60 = 19*z for z.
6
Let v be 6/(-10) - 23/(-5). Suppose 5*z - 33 = -v*y, 0 = -y - z + 9 - 0. Let w = -10 - -14. Solve -w*r = -7*r - y for r.
-4
Let i be (15/9)/(2/268)*(-16 + 22). Solve i*v - 12 = 1338*v for v.
6
Let d = -151 - -173. Suppose -7*i + 2*w + 18 = -5*i, -2*w - d = -3*i. Solve 11 = -i*m + 7 for m.
-1
Let f = -72 - -26. Let h be 6/(-4) + ((-505)/(-10) - 0). Let s = h + f. Solve s*w = 12 + 3 for w.
5
Let a = -360 + 393. Solve -29 = -4*h + a*h for h.
-1
Let u(f) = 11*f**3 - 103*f**2 + 42*f - 28. Let t be u(9). Solve -83*h - t = -96*h for h.
2
Let w(o) = -o**3 + 2*o**2 + 7*o + 7. Let l be w(4). Let a be (0/(8 - 2))/(-2 + l). Solve a = -7*u + 13 + 22 for u.
5
Let q = 2 - -3. Let f(b) = 2*b - 12. Let k be f(9). Suppose -5*n - 1 = -k, -3*s + n = -11. Solve o - q*o - s = 0 for o.
-1
Suppose 35 = -6*m - 55. Let a be 2 + 3/3 + 15/m. Solve a*l + 5 = 1 for l.
-2
Let p(h) = 2*h**2 + 2*h + 17. Let w be p(-3). Suppose 11 = -s - w. Let r = s + 49. Solve r*i + 5 = 4*i for i.
-1
Let x(o) = -15*o - 67. Let l be x(-9). Suppose -l*c = -65*c - 36. Solve 0 = -c*r + 8*r for r.
0
Suppose -10 = -0*j - 2*j. Let b be (-39)/2 - (-30)/20. Let w be (12 + b)/(0 + -1). Solve w = j*f - 14 for f.
4
Let g = -1 + 54. Suppose 56*o + 183 = g*o. Let w = o + 72. Solve 3*j + w + 4 = 0 for j.
-5
Suppose -228 = -10*p - 88. Suppose -p = -8*t + 26. Solve -t = -4*i + 7 for i.
3
Let u = -37 + 40. Let l = -20 - -23. Suppose -u*y = -v - 2, -3*v + 18 + 0 = l*y. Solve -f - 1 = -y for f.
1
Suppose -290*y + 66*y = 178*y - 10854. Solve 0 = 17*n - 26*n + y for n.
3
Suppose -3*s + 2*j + 250 = j, 390 = 5*s + 5*j. Solve 89*a = s*a + 14 for a.
2
Let n = 1719 - 1639. Solve -n - 30 = -22*d for d.
5
Suppose -57 = 57*b - 1368. Solve 0 = b*y - 20*y + 12 for y.
-4
Let h(n) = 43 - 40 + 7 + 30 + 2*n. Let k be h(-18). Suppose x - 3*c + 1 = -x, x + 3*c = k. Solve -m - x - 3 = 0 for m.
-4
Let c(b) = -b**3 + 51*b**2 - 92*b - 264. Let t be c(49). Solve -14 = -8*s - t for s.
-2
Let h be 4 + 9*16/(-12). Let o be 9 + -10 - (h - 0)/2. Solve q + 0*q = o for q.
3
Suppose 3*n = -4*c + 7, -5*c + 7 - 2 = 5*n. Suppose 0 = 4*x - 4*g, 3*x = 2*x - c*g + 15. Let p = -2134 + 2136. Solve f - x = p*f for f.
-3
Let g = 27838 - 27713. Solve g = 4*b + 97 for b.
7
Suppose -4*x = 2*m - 184, 25 = x + 400*m - 396*m. Solve 0 = -21*p - x - 14 for p.
-3
Suppose 968 = 6*f + 2*f. Let z = f + -125. Let p be (-36 - -34)*(2/z - 1). Solve -2*v = p*v - 15 for v.
3
Let v be -260 - -280 - (5 + 1/(-1)) - 6. Solve 71*k - 427 = v*k for k.
7
Let b = 2711 - 2659. Solve -17*l + 4*l + b = 0 for l.
4
Suppose -39*l + 6051 = -3387. Solve 0 = -35*s + l - 32 for s.
6
Let k(h) = -3*h + 2. Suppose -3*u + y = 7, u = -4*u - 3*y - 7. Let c be k(u). Suppose -10 = -3*z - 10 + 12. Solve -z*l = -c*l + 16 for l.
4
Let b be (-42)/(-63)*9/2. Suppose 84 - 116 = -8*i. Solve -r + i*r - b = 0 for r.
1
Suppose -5*q = 15, f - 3*q = 3*f - 97. Suppose -832*v = -828*v + 4*y - 212, 4*v + 5*y = 217. Solve f*r - v*r = 0 for r.
0
Let j(i) = 4*i**3 + i**2 - i + 1. Suppose 4*a - 33 = 167. Let q = a + -49. Let f be j(q). Solve 2*c - f = 1 for c.
3
Let v(i) = 2*i**3 - 6*i**2 + 6*i + 7. Let x be v(4). Solve 70*m - 42 = x*m for m.
6
Let v = 2798 + -1088. Suppose v - 1702 = y. Solve i = -7*i + y for i.
1
Suppose -58*u = -23*u - 210. Solve 18*k = 12*k - u for k.
-1
Suppose 8 = -62*c + 64*c. Suppose 4*j = c*r - 76, 5*r + 4*j - 13 = 64. Solve -r*p - 2 = -16*p for p.
-2
Let l = 890 + -679. Suppose l*o - 215*o = -28. Solve 8*c + o = -9 for c.
-2
Let y(u) = -2*u**2 + 25*u - 101. Let t be y(8). Suppose -3*i - 85 = -f, 0 = i - 2*i - 5*f - 7. Let p = i - t. Solve -p*x - x = -6 for x.
2
Suppose -4*k - 177 = -3*w, -12*k = 5*w - 15*k - 295. Let r = 62 - w. Solve 8 = h + r for h.
5
Suppose 3*x - 4*s - 61 = 0, 965*s = 5*x + 960*s - 115. Solve -33*w = -x*w - 47*w for w.
0
Let z be (-78)/(-8) + 4/16. Suppose 3*h - 2*k = -7*k + 49, -2*h + 5*k - 9 = 0. Let u = z - h. Solve 0*j + 2*j = -u for j.
-1
Let m(y) = 2*y**2 - 46*y + 276. Let v be m(11). Solve 9*n + 6 = v*n for n.
2
Let g(p) = -3*p**2 + 82*p + 56. Let z be g(28). Solve -4*o - 45 + 65 = z for o.
5
Let c be (-1112)/(-18) + (-274)/(-1233). Let w = 132 + -70. Let k = c - w. Solve k*t = -t - 5 for t.
-5
Let p = 11 + -7. Suppose -4*d = 3*a - 2*d - p, -4*a = -5*d - 13. Let u be 7/(-7) + 0 + a. Solve -b + u = -1 for b.
2
Let h be 12/24 - (-3 + 28/8) - -12. Solve -h = -24*y - 108 for y.
-4
Let v be 2/(-1)*-1 - (-20235)/57. Solve 6*l = 57*l - v for l.
7
Let i = 10295 - 10119. Solve -i*c + 163*c + 26 = 0 for c.
2
Let m(l) = 4*l**3 - l**2 + 4*l - 3. Let u be m(1). Suppose s - 2 = -5*z + 53, u*z - 44 = 2*s. Let n = 0 + 5. Solve -z = -n*h - 1 for h.
2
Let q be (-4)/18 - (-3275)/(-45). Let l = -48 - q. Solve 3*t + l = 31 for t.
2
Let u = 10 - 6. Suppose 0 = 6*i - u*i. Suppose k + 4*d = -3 - 12, 5*k + 5*d + 15 = 0. Solve -h - k = -i for h.
-1
Let y be (-7)/336*-8 - (-17)/6. Suppose p - 11 = -y*a, -3*a + 5 = -p - 14. Solve 4*o - a*o = 3 for o.
-3
Let i be (-10)/(-14) - (-1 + (-25)/(-35)). Let l be (-24)/4 - (i - 2) - -50. Solve 7*t = 10 - l for t.
-5
Suppose -83*c + 58*c = -300. Solve -c*l + 13 = l for l.
1
Suppose 11*v = -8*v + 190. Suppose 2*u - 5*u + 6 = 2*r, 5*u - v = r. Solve 1 = -y - u for y.
-3
Let x be (-2505)/(-27) + 5 + 2/9. Let h = x + -96. Solve -25 = 7*k - h*k for k.
-5
Suppose -3*w + 14 + 13 = 0. Suppose -3*l + 33 = 4*d + 1, 5*d = 5*l + 40. Solve -d*g + w = -15 for g.
3
Suppose -544*r = -558*r + 224. Solve -986*h + 982*h + r = 0 for h.
4
Suppose -103 = 3*m - 5*c, -2*c - 2*c + 8 = 0. Suppose 3*z - 96 = -0*z + 3*p, 5*p = 25. Let i = z + m. Solve -o + 3*o + i = 0 for o.
-3
Let k = -254 - -264. Suppose k = i + w, -5*i + 8 = 2*w - 30. Solve 4 + 14 = -i*u for u.
-3
Suppose 0 = 4*l - 3*p - 2706, 2*l = -7*p + 2*p + 1340. Suppose 5*x - l = 14*x. Let h = x - -75. Solve 4*s - 14 + 2 = h for s.
3
Let u(t) = -15*t**3 - 79*t**2 - 79*t + 1. Let y be u(-1). Solve 7 = -y*c - 9 for c.
-1
Let g(o) = -3*o**2 + 267*o - 104. Let n be g(83). Solve n*m - 1395*m - 25 = 0 for m.
-5
Let w(g) = 8*g**2 - 6*g - 2. Let b be w(3). Let z = -46 + b. Let t be ((-25)/(-50))/((-2)/(-8)). Solve -t*k - z = k for k.
-2
Suppose 0 = 9*m + 2809 + 125. Let a = -326 - m. Solve a = 2*x - 11 + 15 for x.
-2
Suppose -11*v = -6*v + 105. Let w = v - -22. Suppose 0 = -5*s + 20, 2*q = 6*q - 2*s. Solve w = l + q for l.
-1
Let n = 12 - -15. Solve 50 + 4 = n*g for g.
2
Let p be ((-7 + 9)*(-12)/8)/1 + 11. Solve 81*n = -p - 73 for n.
-1
Suppose -45 = 4*u - 5*h, 33 = -3*u - 0*h + 3*h. Let w be (u/(-6))/(35/(-30) - -2). Suppose -5*c + 3*c = -2. Solve -q = -w + c for q.
1
Let j be (85/2)/((-2 - -8) + 1144/(-192)). Solve -1023*c + j*c = -21 for c.
7
Let k = 2940 - 2895. Solve k*p - 67*p = 154 for p.
-7
Let h be (2 + 28/(-6))/((-2)/(-9)). Let n be (-100)/(-60) + 2*(-2)/h. Suppose -n*c + 2 = -c. Solve c*j = -3*j for j.
0
Suppose -d - 3*d = -q - 23, -4*d + 26 = -2*q. Let t be 0/(d*(-3)/(-15)). Solve 2*s - 8 = -t*s for s.
4
Let d(n) = -n + 4. Let h be d(-5). Suppose 4*j + 28 = z, -24*j = 5*z - 19*j - 90. Let r be z - -6*(-3)/(-18). Solve -3*k = -h + r for k.
-4
Let h = 10198 + -10115. Solve h - 78 = -5*l for l.
-1
Let n(c) = 6 + c + 0*c - 13*c**2 - 2. Let i be n(3). Let j = i + 114. Solve -j*u + 4 = -3*u for u.
4
Suppose -186*m - o - 3 = -187*m, -5*o = 5. Solve 42*a + m = 41*a for a.
-2
Suppose 2*w = 3*q + 39, 5*w - 38*q - 95 = -33*q. Solve 0 = -w*h - 2*h - 80 for h.
-4
Let f(r) = 4*r - 244. Let u be f(0). Let w = 269 + u. Solve -24*d = -w*d - 4 for d.
-4
Let n = 1083 - 1081. Let p(s) = s**2 + 2*s - 6. Let m be p(-4). Solve m*l - n = 6 for l.
4
Let f(s) = -4*s**3 - 4*s**2 + 4*s + 1. Let n be f(1). Let l(c) = 2*c**2 + 8*c + 16. Let u be l(n). Solve 8*h - 8 = u*h for h.
-4
Let j(l) = -325*l + 1372. Let u be j(4). Solve -7*p - 5*p = u for p.
-6
Let c be (-60)/(-24)*17512/110. Solve -c*p = -394*p - 8 for p.
2
Let r(n) = -n**3 - 2*n**2 - 45. Let c be r(0). Let j be 15*(87/45 + (-18)/c). Solve -j = -3*d + 10*d for d.
-5
Let x = 5860 - 5858. Let p(l) = l**2 + 7*l - 6. Let q be p(-8). Solve -q*a - x*a + 20 = 0 for a.
5
Let j(k) = -20*k - 42. Let s be j(-3). Let l be (s + -1)/(-14 + 15). Solve -16*x - 3 = -l*x for x.
3
Let f = 1053 + -1020. Solve f*u