pose k = y*k. Let r = -1 + 9. Solve 4*a + k = r for a.
2
Let g be (1/3)/(((-32)/(-4))/72). Suppose -2*p = -3*a - 2 + 20, 27 = g*a + p. Solve 3*n + 2 - a = 0 for n.
2
Suppose -3*l = -2*c - 68, -4*l = c - 7*l + 37. Let m = c - -49. Let y be 12/2*3/m. Solve -y = 2*u - 3 for u.
1
Let p = 1630 - 1611. Solve -46 - 11 = p*f for f.
-3
Let j be 10/2*1/(35/14). Let m be 1 + -4 - (-2 - -1). Let d = 2 + m. Solve d = j*q + q for q.
0
Suppose -h = 0, -3*y = y - 4*h. Solve y = -p - 9*p + 20 for p.
2
Let i(y) = y**2 + 6*y - 53. Let a be i(5). Solve a*x + 0 = 4 for x.
2
Let b = 313 - 310. Solve -15 = -0*a - b*a for a.
5
Let y be (-21)/6 - -4 - 26/4. Let v(q) = 0*q - q**2 + 5 + 6*q + 2*q**2. Let g be v(y). Solve 2*m = g*m - 12 for m.
4
Let y be (10/4)/(15*(-19)/(-228)). Solve y*c - 6*c = -8 for c.
2
Let m be ((-28)/(-21))/((-4)/24*-4). Solve 10*s - m*s - 8 = 0 for s.
1
Let c(d) = 2*d**3 - 35*d**2 - 16*d - 33. Let i be c(18). Solve -i*w + 6 = -9 for w.
5
Suppose 3*x - 4 = 2*x. Suppose l - x*z + 2 = -3*z, 4*z = 3*l + 8. Solve l = 3*g + 8 + 7 for g.
-5
Let a be 1/(2/(-4))*-4. Let z(b) = 5*b - 4*b + 3*b - 3*b - 4. Let p be z(a). Solve 4*t = 8 + p for t.
3
Suppose -4*a + 4 = -16. Let d be (a + 33/(-6))*-16. Solve -12*j - d = -8*j for j.
-2
Let c(f) = f**3 - 4*f**2 + f - 2. Let i be c(5). Let j be (i/(-16))/((-4)/64). Let l be ((-7)/j)/(1/(-4)). Solve -6 = x - l for x.
-5
Let j(z) = -4*z**3 + z**2 + 3*z + 1. Let u be j(-1). Solve -i = -u*i + 6 for i.
3
Let h be (-1 + 2)/((-1)/(-3)). Let s = -22 + 24. Suppose -2*t + 3*l = -18, -s*t - 4*l = -0*t - 4. Solve -9 = -h*g + t for g.
5
Let t(m) = 4*m**2 + m + 2. Let j(x) = 9*x**2 + x + 3. Let c(i) = 4*j(i) - 7*t(i). Let a be c(-1). Solve -3*b = 6 + a for b.
-5
Suppose 2*d + 53 - 3 = 4*f, -4*d - 12 = 0. Solve 1 = 4*i - f for i.
3
Suppose 205*i - 202*i - 9 = 0. Solve i*g = 14 - 5 for g.
3
Let u = -110 - -115. Solve l = -3 + u for l.
2
Suppose 0 = -5*y - 4*l - 7 + 42, 19 = -2*y + 5*l. Suppose 4*g = 9*g - 450. Let r be 120/g - 1/3. Solve 0 = -h + y - r for h.
2
Let s = -152 + 159. Let g(f) = f**3 - 9*f**2 + 15*f - 3. Let k be g(s). Let t(l) = -l**3 + 3*l**2 - l + 4. Let c be t(3). Solve k*n = 3*n + c for n.
1
Suppose g + 9 = 3. Let c = g - -6. Let o(a) = -a**2 - 4*a. Let l be o(-3). Solve l = -c*m - m for m.
-3
Suppose 31 = -3*b + 4*s, 2*b - 4*b + 5*s = 30. Let d be -9 - b - (-18 + -3). Let u = d - 15. Solve -4 - u = 2*l for l.
-3
Let c = 79 - 79. Solve c = 4*m + 27 - 11 for m.
-4
Let l be (-2 + -2 + 5)*2. Let f be l*(-4 + 5) - 0. Solve -p + 3 = f*p for p.
1
Suppose 5*a + 36 = 4*q, 15*q = 10*q - a + 16. Solve -9 + q = 5*w for w.
-1
Let m = 1014 - 1014. Solve -133*q + 136*q = m for q.
0
Let y = 25 - 22. Suppose o + 2*o - 51 = -y*l, -4*o - 3*l = -71. Solve 5 - o = -3*w for w.
5
Let b be 13 - ((5 - 11) + 8). Solve -b*r = -10*r - 2 for r.
2
Let c(q) = 7*q + 28. Let u be c(-6). Let b be (4 - u)/(-6) + 4. Solve b = -5*y + 16 for y.
3
Let z(v) = -v**2 - 12*v - 35. Let h be z(-7). Suppose -2*o + 4*o + 4*g = 6, -o = g - 3. Solve m - o*m - 10 = h for m.
-5
Suppose s = -2*s - 7*s. Let y(n) = n**3 + n. Let a(v) = -v**3 - 1. Let r(h) = -2*a(h) - y(h). Let w be r(0). Solve 2*u = w - s for u.
1
Suppose 51*a = 5*a. Solve -3*t = -a*t + 9 for t.
-3
Let b = -27 + 27. Let p be b/(5/(10/4)). Solve p = 2*j + j - 15 for j.
5
Let m be -67 + 81 - (-1 + 4). Solve -m*n + 5*n + 30 = 0 for n.
5
Suppose 2*z - 14 + 0 = 0. Let o = -20498 - -20498. Let k be (-5 + 2 + 1)/(-2). Solve o = 2*m + k - z for m.
3
Suppose -24 = -12*k + 10*k. Suppose -3*c = -2*i - 6, -3*i - i + k = 0. Solve 1 = -m + c for m.
3
Let s(a) = -2*a**3 + 2*a**2 - 1. Let j be s(-1). Suppose -j*k + 15 = q, 2*q - 5*k = -3*k - 10. Solve q = -3*n + 4*n - 3 for n.
3
Let z(k) = 2*k**2 - 17*k - 9. Let t be z(9). Solve 12*f + 7 + 53 = t for f.
-5
Suppose 20*g - 24 = 12*g. Solve -m - 4 = -g for m.
-1
Let u = 1 - -5. Suppose 16 = u*r - 8. Let f = -1 + 4. Solve r*t = f*t for t.
0
Let v(n) be the first derivative of -1/2*n**2 + 2 + 3*n. Let u be v(0). Solve -i - 2*i = u for i.
-1
Suppose 5*w = -4*u + 121, -127 + 26 = -5*w + u. Let o be 12/(-28) + 177/w. Let d be 2/o*0 + 0. Solve 3*r - 5*r - 8 = d for r.
-4
Let d be -1*(-6 - (-2 - -2)). Let l be d + (-2)/(-2) + (-3)/1. Solve -4*z = -l + 16 for z.
-3
Let q be (-3)/3 - (-1 + 1). Let s be 24*(14/6 + q). Suppose 0 = 2*a - 0 + 6, 4*t - 4*a - s = 0. Solve 3*w - t = 10 for w.
5
Suppose 283 = 46*i + 7. Solve 4*c = 2 - i for c.
-1
Let q = -814 + 824. Solve q*m + 3 = 3 for m.
0
Let m(n) = n**2 + 3*n + 6. Let h be m(-4). Let u = 22 - h. Let d = 4 + u. Solve -5*y = -y - d for y.
4
Suppose 6 = 3*n + 2*c, 5*n - 13*c + 12*c = -3. Let t be 4*(4 + (-7)/2). Solve n = t*g - 0*g for g.
0
Let f = -10 + -10. Let m = f - -27. Let y = m - 6. Solve 5*a - y = 4 for a.
1
Let f = 332 - 330. Solve -2*r - f*r = 0 for r.
0
Let i(q) = q**2 + 2*q. Let n be i(-2). Let m be 15 - -3*(-4)/3. Suppose 2*o + 6 = -3*a + 29, -m = -3*a + o. Solve -a = -v - n for v.
5
Let v(o) = 2*o**3 - 8*o**2 + 3*o - 1. Let j be v(5). Let w = j + -62. Solve 5 = -w*b - 5 for b.
-5
Let d(t) = -360*t**2 + 2 - 11*t - 8 + 359*t**2. Let z be d(-10). Solve 0 = z*x + x - 15 for x.
3
Let j be 368/26 - (-16)/(-104). Suppose -4*o - 2*w = -j, 5*o + 0 = 3*w + 12. Suppose 3*c - 20 = -3*l + 10, 4*l - 44 = -2*c. Solve -3*y + o = -l for y.
5
Suppose 0*b = -5*c - 2*b + 45, -5*c = -3*b - 20. Let f = 1 + c. Solve -2*u + f = 18 for u.
-5
Let b = 1044 + -1029. Solve -8*u = -b*u + 28 for u.
4
Suppose 2*z + k - 23 = 0, 21*z - 37 = 17*z + k. Let i(o) = o**2 - 1. Let s be i(1). Solve 0 = 2*y - s + z for y.
-5
Let m = -1438 - -1446. Solve -8*d = -m*d + 5*d for d.
0
Let c = 32 + -32. Suppose -3*r - 2*r + 10 = c. Solve -12 + 4 = -r*j for j.
4
Let f(a) = -8 + 3 - a**2 + 5 + 4*a. Let k be f(4). Let v be (-6 + k)*(-2)/3. Solve -12 = -c + v*c for c.
-4
Suppose -7*t + 14*t = 6*t. Suppose -4*n + 2 = 3*q - 2*n, q - 4*n + 4 = t. Solve 2*r + q*r + 4 = 0 for r.
-2
Let n = 39 - 57. Let o be ((-12)/(-14))/(n/(-84)). Suppose -6*b + 5*p = -o*b - 9, 3 = -3*p. Solve -3*j - b = -5 for j.
1
Let w(x) = -x**2 - 5*x + 2. Let h be w(-4). Suppose 5*n = -82*n + 174. Let j(t) = -6*t - 2. Let a be j(-3). Solve -n*r = -h*r + a for r.
4
Suppose 0*v + 2*v = -5*o + 150, 0 = -5*o + 4*v + 120. Let h be (-8)/o + 428/28. Let u(p) = -p**3 + 14*p**2 + 14*p + 20. Let q be u(h). Solve -l = -1 + q for l.
-4
Let a(b) = -b - 2. Let y be a(-4). Suppose -y*f - 2*f - m = 0, -m = -4*f. Let x(l) = -l**3 - l**2 - 2*l + 4. Let r be x(0). Solve -k = -f*k - r for k.
4
Suppose 113*c + 17*c = -5*c + 270. Suppose 4*f = 2*f + 6. Let d be -1 - 3*(-2)/f. Solve -3*x = -c - d for x.
1
Let m = -34 + 46. Solve 3*z + m = -3 for z.
-5
Let n be (-1*54/24)/(3/(-8)). Solve 4*m + n = 14 for m.
2
Let o = -561 + 559. Let k be 8/(-12)*(-3)/2. Let v = k - o. Solve v + 3 = -2*c for c.
-3
Let z be (78/(-4))/((45/6)/(-5)). Solve -6*r - z*r + 38 = 0 for r.
2
Let s be (-4)/12 + (-278)/(-6). Suppose 11 - s = -7*x. Solve -r - x = -3 for r.
-2
Suppose -c = 5*i + 38, -2*i + 2*c - 24 = -2*c. Let u be (-14)/i + (-1)/(-4). Let j(x) = -x**3 + 7*x**2 + 21*x - 12. Let f be j(9). Solve 0 = -o - u*o - f for o.
-5
Let t(q) = -q**3 - 5*q**2 + 7*q + 8. Let a be t(-6). Suppose -4*k - 4*b - 14 = -a*k, 0 = b + 5. Solve 0 = -4*h + k*h for h.
0
Suppose -2*x + 1 + 0 = -c, 0 = -2*c - 2*x + 10. Suppose 4*u + 6 = 3*y - 5*y, -2*y + c*u = 6. Let i be y/(-2)*(4 + -2). Solve 0*q = q - i for q.
3
Let v = 8 - 5. Let u(g) = g**2 + g - 22. Let z be u(5). Suppose -r = -z + 4. Solve -v*i + r*i - 4 = 0 for i.
4
Let q(w) = w**3 + 3*w**2 - 3*w + 1. Let t = -68 + 69. Let g be q(t). Solve 0*f = -g*f for f.
0
Suppose -18*j + 104 = -58. Solve 0 = -j*b + b - 24 for b.
-3
Let m be 114/285 + (0 - 4/10). Solve -8*l = -m*l + 8 for l.
-1
Let s(d) = 4*d + 9. Let w be s(-4). Let t = -4 - w. Solve 0 = 4*h - h - t for h.
1
Let o(y) = -y - 6. Let k be o(0). Let q be (-4)/(-8)*k + 32. Let c = -19 + q. Solve c + 10 = -5*u for u.
-4
Let k be (2 + 4 + -1)*8/20. Let f = k - -2. Solve 3*q = 19 - f for q.
5
Let f(k) = k**2 - 5*k + 4. Let x be f(7). Suppose 0 = 5*r - 8*r - x. Let a be ((-12)/r)/((-1)/(-10)). Solve -6*u - a = -u for u.
-4
Suppose -4*q + 4 - 16 = 0. Let k(y) = -y + 1. Let h(b) = -b**2 + 2*b - 3. Let o(w) = q*k(w) - h(w). Let c be o(-3). Solve c*m = m for m.