*l for y.
-3
Let a be 1*133/(8 + 11). Let n(i) = -i**3 - 11*i**2 - 10*i + 4. Let h be n(-10). Let q be -1*(-2*1 - 0). Solve 2*y + 0 + a = -3*d, h*y + q*d = -10 for y.
-2
Suppose -194*c = -388 - 0. Solve v = -4*v - c*l - 16, l = v - 1 for v.
-2
Let p be 16/(-8) - -5*4. Suppose l + 2*u = -4*l + 16, 0 = -4*l + u + p. Suppose x + 3*f = -4, 5*x + 31 - 91 = f. Solve -2*r = 2*r + 4*o - l, -x = r - 3*o for r.
-2
Suppose 3*o = 16*o - 26. Suppose -5*q - 5*a - 5 = 0, -3*q + 4*a + 20 = -5. Solve o = -w - 3*p, q*w = w + p + 3 for w.
1
Let l(n) = -458 + 302 + 4*n + 107. Suppose 39 = -2*z + 5*z. Let p be l(z). Solve 2*g + 4*w = 0, 6*g - p*g = -3*w for g.
0
Let m = -4080 + 4091. Solve 4*l + 12 = 5*y, -7 + m = y for l.
2
Let t(c) = c**2 + 260*c + 518. Let x be t(-2). Solve -4 = 5*a + q - 4*q, -2*q - 8 = x*a for a.
-2
Let m = 216 + -214. Solve 2*k = -2*r - 10, 0 = -m*r - 5*k - 4 - 18 for r.
-1
Let v be (140/350)/(2/(-10)) - -4. Solve 2*l = v*c - 12, 3*l = -4*c - 11 - 0 for c.
1
Let y be -10 - (-11 + 25 + -24). Solve -i + 2*b - 11 = y, 4*i + 10*b = 11*b - 9 for i.
-1
Suppose 121*n + 439 = -23*n + 583. Solve -u - t = -n, 7*t = 4*u + 12*t - 5 for u.
0
Let k be 1/2*(-252)/(-63). Solve -2*g = 5*t - 4 + 24, -2*g + 8 = -k*t for t.
-4
Let p = 25834 + -25829. Solve q - 5*c + 1 = 0, 5*q + 37*c + p = 41*c for q.
-1
Suppose 3*k - 27 + 15 = 0. Let o(l) = l**3 + 9*l**2 - 21*l + 15. Let b be o(-11). Solve 10 = -3*f - b*s, -2*s = 3*f - 2 + k for f.
2
Let c = 24150 + -24139. Let i = -3 + 6. Solve d - c = -3*n, i*n + 5*d = 2*n - 15 for n.
5
Let o = -8675 + 8680. Solve -7*i + o = b - 8*i, -3*b = 2*i for b.
2
Suppose -72*v + 5*n + 12 = -74*v, -4*n - 15 = v. Solve -4*o + u = -17, 11*o - 3*u + v = 14*o for o.
4
Suppose 2*x - 3*u + 285 = 304, 5*x = -u + 22. Solve 0 = i + x*c + 4, 2*i + 13*c - 3 = 14*c for i.
1
Let j(s) = -2*s**3 - s**2 + s + 3. Let z be j(-2). Solve 2*o - 16 = -5*x, -3*x + z = -2*o - 3 for o.
-2
Let w = -9757 + 9762. Solve d + 14 = -w*y, 12*d = 9*d + 3*y - 6 for d.
-4
Let i(n) = -11*n - 8. Let l be i(-18). Let t = 198 - l. Solve 3*w - t*w - 20 = o, -5*o - w + 20 = 0 for o.
5
Let r be 7/(36/(-9) + 5). Solve 5*g + 21 = t, -13 = 5*g + r for t.
1
Let t(v) = 3*v**2 - 373*v + 1462. Let c be t(4). Solve -2*d = 6*q - 12, -q + 14*d = c*d - 2 for q.
2
Let j be (0/5 - -14)*7. Suppose -5*y + j = 23. Let m(d) = d**2 - 14*d - 8. Let l be m(y). Solve i + 2 = 3*i - 2*p, -i - 3*p = l for i.
-1
Let t be (-3)/(81/6) + (-76)/(-18). Solve -2*n + t = 2*b, 2*n + 14 = -203*b + 207*b for b.
3
Suppose 14*n - 17 - 25 = 0. Suppose -n*j - 2*r + 12 = -14, 14 = 5*j - 4*r. Solve f = 2*f - k + 2, -k = f - j for f.
2
Suppose 92*l - 87*l = 0. Suppose -49*h - 288 = -33*h. Let a be (12/18)/((-3)/h). Solve l = w + a*i - 20, 12 = -5*w + 2*i + 2 for w.
0
Let x = -73 + -37. Let o = x - -124. Solve 5*z = -g - 23, 0*z = -5*z + 2*g - o for z.
-4
Suppose 1620 = 36*q + 45*q. Solve -3*w = 5*i + 2*w - q, 3*i + 2*w - 12 = 0 for i.
4
Let p be 30/(-6) + 17 - (-170)/(-17). Solve 0 = -3*q - 3*a - 21, p*a = 3*q + a + 13 for q.
-5
Let o be 7 + (-3)/(-2)*(19 - (-119)/(-7)). Suppose 3*c - 10 = -2*c - 3*f, -f + 5 = 2*c. Solve c*r + n + n - o = 0, n - 5 = -4*r for r.
0
Let o(y) = -y**3 + 6*y**2 - 7*y + 7. Let h be o(5). Let x be (-3696)/(-384) + h/(-8). Solve -6 = 3*a, 3*a + 0*a = 2*k - x for k.
2
Suppose 3*c = -4*u - 3 + 8, -3*c + 1 = 2*u. Solve u*h - h = -3*m - 5, 0 = -5*h + m - 25 for h.
-5
Suppose 0 = 4*b - 2*a - 1153 - 1145, -3*b - 3*a = -1737. Suppose 16*u = -20*u + b. Let x = 10 - 7. Solve 0 = x*v - 5*h + 4, -3*h = 3*v - u + 4 for v.
2
Suppose 2*x = 3 - 5, 5*v = -4*x + 6. Let z(w) = -w**3 - 3*w**2 + w - 20. Let c be z(-6). Let t = c + -82. Solve -q + t = 3*k - 4, -v = q for k.
2
Let m(i) = -30*i + 213. Let o be m(7). Suppose 5*x = -57 + 37, -o*y + 4*x = -25. Solve 0*t + 4*t = 3*u + 1, 8 = 5*u + y*t for u.
1
Suppose 2*t = -3*t + 3*b, -3*t - b = 14. Let p(h) = 2*h**2 - 4*h. Let o be p(t). Let v = o + -28. Solve v*a + 4 = -2*y - 0*a, -2*y - 3*a = 6 for y.
0
Let o be (-58)/(-4) - (-2)/4. Suppose -5*y - 9*l = -6*l - 8, -3*y - 12 = 6*l. Solve -5*x - 2 = -y*p, -p + o = -5*x + 7 for p.
-2
Let z be -1 + -2*(-22)/4. Suppose m = -2*q, -11 - 1 = 3*m. Suppose 5*h + 4*s - 6 = -1, -4*h = s - 4. Solve l + q*r = z, l - h = -3*l + 5*r for l.
4
Suppose -1 = n + 1. Let d be 0/(4 - (-1 - n)). Suppose -3*r = -k + 3, d = -5*k + 2*r - 2 + 17. Solve -5*f - 14 = -3*m, -k*f + m - 2 = -4*f for f.
-1
Let b = -39 - -21. Let z be (-1 - -5)*b/(-24) - 1. Suppose -1 = -z*h + 7. Solve 4*s - 2*n + 2 + 0 = 0, 0 = -h*s - 3*n - 17 for s.
-2
Suppose n - 18 = -2*n. Suppose -17*s = -20*s + n. Suppose -5*x + 35 = 5*w + 10, 0 = x - 4*w. Solve -x*f = -a + 3 + 4, -5*a = -s*f + 1 for f.
-2
Suppose -18*v - 5687 = 595. Let d = v + 349. Let b(n) = 2*n**2 - 3*n - 4. Let y be b(3). Solve 3*z + 3 = d, 0*i - z - y = -i for i.
4
Suppose 3*f + 65 = -4*q, 59 = -3*f - 7*q + 6*q. Let v be ((-1)/(-2))/((-6)/(-5 + f)). Solve -10 = -3*z - p, -4*z = -3*z - v*p - 8 for z.
4
Let l(w) = -3*w - 29. Suppose 0 = -22*r + 17*r + 40. Suppose 0 = -r*o + 12*o + 68. Let a be l(o). Solve 29 = 5*u - 2*s, 0 = 4*u - 5*s - 8 - a for u.
5
Suppose -5*n - 45 = -3*c - 283, 2*c + 3*n + 127 = 0. Let p = c + 68. Let u be (4 - (3 + -4)) + p. Solve -4*t + 8 = u*k - 3*t, -14 = k - 4*t for k.
2
Let v(w) = -39*w**3 + w**2 - 1. Let u be v(1). Suppose 2*m = -0*m - 88. Let b = u - m. Solve q = -4*f + 14, -18 = q - 2*q - b*f for q.
-2
Let x(c) = c**3 - 5*c**2 - 9*c + 50. Let a be x(5). Solve -a*v - 10 = -20*m + 25*m, m = 2*v - 2 for v.
0
Let p(f) = f**2 + 2. Let a be p(3). Let o be (-16)/((-5 - -9)/(-92)). Suppose -o*m + 80 = -360*m. Solve -s - s - a = u, m = -2*u for s.
-3
Let a be (70/(-140))/((-1)/(-6)) - -8. Solve -a*u + 138*s + 1 = 136*s, -5*s - 14 = -u for u.
-1
Suppose 0 = -5*m + 3*g + 3, -m - g + 5*g - 13 = 0. Suppose 5*k = -3*t, -3*t = -m*k + t + 29. Solve 0 = -k*p, -4*b - 2 + 10 = -5*p for b.
2
Let i = -435 + 437. Solve -i*h = 3*f + 17, -f + 5*h = 3*f - 8 for f.
-3
Let q = 66 + 8. Suppose 4*t - 82 = -q. Solve t*g - 7 = -z + 4, 0 = -5*z - 2*g + 15 for z.
1
Let k(f) = -f**3 + 6*f**2 - 4*f - 2. Suppose 5*i + 45 = 14*i. Let u be k(i). Solve u*m - 6 - 20 = 5*g, 4*m = 5*g + 28 for m.
2
Suppose 0*u + u = -3*w + 105, 5*u - 501 = -3*w. Suppose 570*a - 559*a - u = 0. Solve m + 15 = v - 4*m, a = v - 2*m for v.
5
Suppose 0 = 19*b - 16*b - 99. Let l = b - 34. Let q be (l/(-2))/((-2)/(-60)). Solve k + 2*k + 10 = -j, -q = -4*j - k for j.
5
Let h = 8 + 40. Let t = h + -45. Let x(a) = -9*a + 112. Let w be x(12). Solve -4*n + 10 = w*m - t*n, 4 = 3*m - n for m.
2
Let d(l) = 402*l + 4031. Let i be d(-10). Solve 3*w = -41*v + 40*v + i, -4*v = 3*w - 35 for v.
8
Suppose -196*t + 90*t - 210*t = 0. Solve 4*v - 12 = -r - 16, t = -r - 5*v - 4 for r.
-4
Let t be 63/(-6)*(-32)/24. Suppose t*b + 35 = 19*b. Let y be 4/(-14) + (-80)/(-35). Solve c - 3 = 2*a, b*a + 3 = 4*c + y*a for c.
-3
Let o be 0*(4 - (-2 - -5)) + 48. Suppose 67*q + o = 73*q. Solve -16 = 5*w - 3*u, -9*w + q*w = 2*u - 2 for w.
-2
Let w = 2015 + -2010. Let t(b) = -b**2 + 5*b. Suppose 3*l - 13 = 2. Let m be t(l). Solve -4*s + 3*n = 8*n + w, m = -s + 3*n + 3 for s.
0
Let j = -31164 - -31166. Solve j*w + 8 = 0, -33 = -64*b + 69*b + 2*w for b.
-5
Let m(u) = u**3 + 8*u**2 + 7*u + 3. Let b(p) = p**2 + 16*p + 41. Let l be b(-12). Let x be m(l). Solve -4*w + 9 = 3*c, -5*c - 3*w = -x - 1 for c.
-1
Suppose 5 = -2*h - 5*q, 3*h - 2*q - 19 = 2. Suppose h*a - 55 + 45 = 0. Suppose 5*w = 70 + 85. Solve 3*t - 7*t = 5*r - w, -6 = a*r - 3*t for r.
3
Suppose 66 = 417*w - 384*w. Solve -5*s = -4*k + 1, 20 = -0*k + w*k + 4*s for k.
4
Let b(p) = -59*p + 8. Let v be b(-11). Let m be v/27 - (1 - 4/6). Let s be (1/(-1) - m)*2/(-5). Solve 4*z = -4*i - 4, -2*i + 2*z + 0*z = -s for i.
2
Suppose 4*m = -24, -42*g + 3*m + 234 = -39*g. Solve 3*c - 9 = 2*d, -67*d = -g*d + c - 16 for d.
-3
Let n be ((-15)/10 - -3)*6 - 5. Solve -18 = 5*d + x - 16, d = 2*x + n for d.
0
Let x(v) = 3*v**3 - 7*v**2 + 4*v - 1. Let o be x(2). Let q be -3*(1/o - 8/4). Solve 2*i - q*c = -3*i + 20, 4*i + 4*c = -16 for i.
0
Suppose 2*d = -3*d - 3*x - 1211, 4*x - 715 = 3*d. Let s = 247 + d. Solve 4*j + 2 = 3*l, -2*j + 5*l = -0 - s for j.
-2
Suppose 0 = 2*d - 16 + 6. Suppose -5*k + 2*k + d*j = -52, 4*j = 3*k - 47. Let v = -4 +