for k.
-1
Let c be 5 - (3 + 1 + -2). Suppose b - g - 5 = 0, 4*g - 33 = 2*b - 51. Solve 2*o - b = c for o.
2
Let u = -42 + 60. Suppose 4*d + 0 = -5*a + 11, -2*a = -4*d + u. Solve -1 = -d*h - 13 for h.
-3
Suppose r + 13*r = 42. Solve 328*n = 329*n + r for n.
-3
Suppose 2*x - 18 = -4*j, 4*x = 4*j - 19 + 7. Solve j*g = g - 12 for g.
-4
Let a be (-3)/(-2)*20/6. Let x = -37 - -61. Suppose p + 2*q = -3*p + x, -q = 4. Solve -p*i + 3*i = a for i.
-1
Suppose 4*x + 24 = 4*z, 0 = 2*z - 0*z + 2*x - 20. Suppose -z = -2*c - 2*c + 3*f, -4*f + 6 = 3*c. Solve -c = 2*k - 4 for k.
1
Let b be (-30)/9*-3 - 0. Suppose -3*p + b = -n - 0*p, 0 = -2*n - 4*p + 20. Let l be n + ((-4)/(-2))/2. Solve l*i = -0*i for i.
0
Let k be (3/2)/3*4. Suppose -4*l + 7 + 9 = k*y, l - 9 = -3*y. Solve 0 = -s + y + 2 for s.
4
Suppose -2*w + s + 15 = 0, w - 5*s = -s + 11. Let r(t) = 52*t - 4. Let c be r(1). Let d = -32 + c. Solve -w*h - d = -3*h for h.
-4
Let y(v) = 8*v - 121. Let u be y(17). Solve u = -35*s + 38*s for s.
5
Let v be -4 + 1 + 2*(-6 + 10). Solve 18 + 7 = -v*m for m.
-5
Let p be (-4)/(-6)*(-1 + 7). Let u(l) = l**2 + 79*l - 415. Let y be u(5). Solve 3*v + p = y*v for v.
2
Suppose -q = -2*g + 3*g + 3, 11 = -4*q - 5*g. Let c = 1 - q. Suppose -n = c*m - 4 - 0, 0 = -m + 3*n - 12. Solve 3*u + 10 + 5 = m for u.
-5
Suppose 1 = -2*u - k, 4*u - 16 = 6*u + 4*k. Suppose -3*t = 2*t - 30. Suppose -v - t = -l, -6*l - 4*v = -l - 21. Solve u*j + l = -5 for j.
-5
Let n be ((-2)/4)/((-2)/12). Suppose -46 + 23 = -42*q + 61. Solve 0 = q*r + n*r for r.
0
Let c be (18/81)/(2/18). Solve c*f = -2*f - 16 for f.
-4
Suppose 2*o - 55 = 2*q + 31, -3*q = 5*o - 231. Let d be 108/o + 4/(-10). Solve -d*a - 3*a + 5 = 0 for a.
1
Let g(l) = l**2 + 9*l - 4. Let i be g(-7). Let m be (-3)/i - 46/(-12). Suppose a + 13 = q, q - 2*a - 46 = -3*q. Solve h + q = -m*h for h.
-2
Suppose 5*z + 33 = 4*s, -s - 26*z + 22*z = 18. Let d(u) = u + 2. Let c be d(0). Suppose c*w + 4*f - 19 = 1, -8 = -s*w - f. Solve 27 - w = -5*h for h.
-5
Let t = -5 - -7. Suppose 4*q + 6 = 3*o - 5, 0 = -t*o - q + 11. Solve 0 = -i + o*i for i.
0
Let i = 5 + 4. Let v = i + -6. Solve -q - v*q - 8 = 0 for q.
-2
Let o(c) = 2 - 3 - 3*c**2 + 0 + 4*c**2. Let a be o(-2). Suppose -y - 9 = -0*y - a*t, 3*t + 3 = 5*y. Solve -m + y*m = 2 for m.
1
Suppose k - 4*u - 20 = -0*k, -4 = k + 4*u. Suppose k = 5*t - 17. Solve 0 = t*n + 16 - 1 for n.
-3
Let a be (-5)/(-20) + 57/12. Let t = a - -1. Let g be 4/(-2 + 6/2). Solve g*j + t = j for j.
-2
Suppose -62*o = -61*o + 7. Let w(t) = -t**2 - 7*t + 4. Let q be w(o). Solve -q = m - 0*m for m.
-4
Suppose 74 = -r + 20. Let n = 61 + r. Solve b + n = 8 for b.
1
Let h be 2*(-2 - 39/(-6)). Let c = 9 + h. Suppose 0 = -2*u + 5*i + c, 2*u = -u - 5*i + 2. Solve -4*b = -0 - u for b.
1
Let c(y) = -y + 72. Let u be c(0). Suppose 0 = -l - d, 6 = l + 5*d + 2. Let z be (l/2)/((-9)/u). Solve z = 5*m - 6 for m.
2
Let o be (2 - 9/6)*8. Let m(a) = -a**2 + 4*a + 5. Let k be m(o). Suppose 13 = k*n - 2. Solve j + n = -1 for j.
-4
Let n be 11*7*(-28)/(-98). Solve 7*u - n - 6 = 0 for u.
4
Let b = 273 + -270. Solve 2 = -4*m + b*m for m.
-2
Let r be ((-3)/(-9))/((-12)/(-504)). Solve -20 = -r*s + 9*s for s.
4
Suppose -3*n + 7*g - 2*g = -57, 4*g + 60 = 3*n. Suppose -20*m = -n*m. Solve m = -4*c + 3*c - 4 for c.
-4
Suppose -22*a - 535 = -129*a. Solve 6*d - a = -17 for d.
-2
Let f(n) = n**3 + 16*n**2 - 61*n - 74. Let q be f(-19). Solve -q*p - 6 = -14 for p.
4
Suppose -26*g - 35 = -33*g. Let y = -45 + 48. Solve 0 = -y*c + g*c for c.
0
Let w(i) = i**2 - 7*i + 2. Let k(s) = s**2 - s + 7. Let a be k(0). Let u be w(a). Solve -4*n + 2 = -u for n.
1
Let x(h) = -2*h**3 - 56*h**2 + 57*h - 24. Let y be x(-29). Solve y = -30*a + 25*a for a.
-1
Let c be 6/(((-4)/14)/(-1)). Suppose 0 = -4*y - 2*m - 2 - 2, 5*y = 4*m + c. Solve -2*h = y - 3 for h.
1
Suppose 5*w = -3*s + 4*w + 7, -23 = -5*s + 4*w. Solve -s*t + 2 = -2*t for t.
2
Let m(q) = 5*q**2 - 8*q - 2. Let u(t) = t**3 + t**2 + t. Let i(x) = -m(x) - u(x). Suppose -l + 2*l = -7. Let o be i(l). Solve 1 - 3 = o*p for p.
-1
Suppose 25 + 7 = 4*u. Let n(v) = -v**3 + 6*v**2 + 18*v - 14. Let l be n(u). Let j be (4/(-6))/(-1)*3. Solve 0 = l*s - j for s.
1
Suppose -h + 3 = -23. Let z = h + -26. Suppose a - 2*a = z. Solve a = 3*f + f - 20 for f.
5
Let j(a) = 2*a**2 - 9*a - 18. Let u be j(-7). Let i be (-41)/(-13) - 22/u. Solve -h + i = 7 for h.
-4
Let n(g) = g**2 + 8*g + 9. Let o be n(-7). Suppose 5*h + o*d = 10, -4*h + d - 4*d + 15 = 0. Suppose q - 4*q = -12. Solve r + h = q for r.
4
Suppose -n - 4*q + 19 = 0, -4*n + 5*q - 2 = 6. Let b(o) = -o - 1. Let w be b(-5). Suppose -5*t + 8 = -w*v, -3*t - 1 = 5*v - 7*t. Solve -v = -n*k - 9 for k.
-2
Let p = -417 + 419. Solve -11 + 1 = -p*v for v.
5
Let p(h) = -2*h + 1. Let o be p(-3). Suppose -4*c + 3*z + 28 = 0, -2*c + o*c = -5*z. Solve c*t = -8 - 0 for t.
-2
Let w be 60/14 + (-40)/140. Solve 0 = w*g - g for g.
0
Let l = -2959 + 2969. Solve 29 = -l*d - 21 for d.
-5
Suppose 10*b + 36 = 12*b - 2*u, 0 = 4*u + 16. Solve -1 = b*o + 13 for o.
-1
Suppose -r + 4*l + 19 = 0, -2*r + l + 2*l + 18 = 0. Let d(i) = -i**2 - 13*i - 42. Let h be d(-5). Let y = h + 10. Solve y*o - r*o = 25 for o.
5
Suppose z + z = 2, -3*g + 126 = 3*z. Solve 16*a - g = 7 for a.
3
Let a(l) = -l**2 - 28*l - 125. Let z be a(-22). Solve 10 = -3*w - z*w for w.
-1
Suppose 0 = -2*w + 3*w - j - 30, j + 84 = 3*w. Suppose 10 = w*z - 22*z. Solve z*p - 7*p - 15 = 0 for p.
-3
Let m = 27 - -4. Let a = m - 30. Solve a + 1 = -2*i for i.
-1
Suppose 3*f = -2*m + 6, 3*f = 5*m + 6*f - 15. Let j(n) = -n**3 + 4*n**2 - 5*n + 10. Let q be j(m). Solve -q*s + 0*s = 16 for s.
-4
Let l(m) = 24*m - 48. Let r be l(2). Solve r = 14*u - 9*u + 5 for u.
-1
Suppose b - 5 = -r - r, -4*b + 40 = 4*r. Solve 0 = 7*y - 12*y + b for y.
3
Let j = -343 - -363. Solve -5*k + 5 = -j for k.
5
Let x = 735 + -718. Solve -2 = x*o + 15 for o.
-1
Let i = 41 - 37. Let o be 30/i - (-17)/34. Solve 3*q - o = -q for q.
2
Let x = 194 - 57. Solve -140*v = -x*v + 6 for v.
-2
Let z(v) = v**2 - 9*v + 2. Let k be z(0). Solve -k*c = 8 - 0 for c.
-4
Let k be (-12 - -13)*15/3. Solve k = -3*r - 4 for r.
-3
Suppose 2*m + 0*m - 246 = 0. Let n = 128 - m. Solve 5*h + 0 = n for h.
1
Let r(s) = -2*s - 4. Let x(n) = -n**3 + 7*n**2 - 6*n + 1. Let b be x(6). Let a be (b - 5)*(-4 + 5). Let o be r(a). Solve o*j - 16 = -0*j for j.
4
Let s(h) = -h**3 - 13*h**2 + 58*h + 843. Let k be s(-12). Suppose -2*a + 4 = -0. Solve a*v = v - k for v.
-3
Suppose 0 = 4*j - 5*t - 12 - 25, -j + 3*t + 18 = 0. Suppose -4*l + 13 = -j*l. Let n = l - 11. Solve -2*d + 6 - n = 0 for d.
2
Let f(g) = 3*g - 12. Let b be f(4). Solve -p - p = b for p.
0
Let n(v) = v - 8. Let r be n(4). Let a be -2 - 7/(r/4). Suppose 2*u + 25 = -u + 5*g, -u - a = -g. Solve -s + u - 1 = 0 for s.
-1
Let n = -1 - 0. Let a(v) = 1 + 16*v - 8*v + 1 - 2*v - 9*v. Let d be a(n). Solve 13 = -d*r + 3 for r.
-2
Let p(v) = -v**3 - 8*v**2 + 7*v + 8. Let h(m) = 2*m**3 + 9*m**2 - 8*m - 9. Let o(b) = 2*h(b) + 3*p(b). Let z = 2 + 3. Let x be o(z). Solve -x*k = -k for k.
0
Let t(c) = c**2 - 2*c + 4. Suppose x - 64 = -5*z - x, 5*x - 13 = -2*z. Let b = z - 12. Let h be t(b). Solve -h*w - 20 = w for w.
-4
Let t(o) = -16*o - 4. Let n be t(-2). Let m = 31 - n. Solve -1 = -2*i + m*i for i.
-1
Let c = 1 - -7. Solve c*v - 7*v = -6*v for v.
0
Suppose 4*n - 2*x = 12, -10*n + 11*n - 4*x + 11 = 0. Solve -n*r - 7 = -2 for r.
-1
Let h(v) = -v**2 + 3*v + 33. Let i be h(7). Solve a = i*a for a.
0
Let t be ((-9)/4)/((-21)/1792). Suppose 5*u + 7*u = t. Solve 0 = l - 5*l - u for l.
-4
Let s be 99/330 + (-107)/(-10). Solve 0 = z + s - 13 for z.
2
Suppose 0 = 5*a + 3 - 163. Suppose 0 = z + z - a. Solve -z = 4*x - 0*x for x.
-4
Let y(u) = -u - 3. Let n be y(-3). Let c = 162 - 160. Solve -c*r - 11 + 3 = n for r.
-4
Let u be (1 - -1) + (-3 - (28 - 1)). Let h = 31 + u. Solve -2*s = 1 + h for s.
-2
Suppose v = 5, 0 = -5*t - v + 19 + 11. Solve -4*p + t*p = -5 for p.
-5
Let j(n) = n**3 + n - 1. Let t(m) = 4*m**2 - 8*m - 11. Let l(q) = -j(q) - t(q). Let o be l(-5). Solve -o*g = -1 + 3 for g.
-1
Let v be (6/(-4))/(6/(-16)). Suppose -79 - 1 = 5*b. Let q = b + 22. Solve -v*o = -o - q for o.
2
Let m(o) be the third derivative of -o**6/120 - o**5/15 - o**4/8 + o**3 + o**2. Let j be m(-3). Solve i