-3
Let a = -22 - -25. Let f be (-2)/4*-14 - 0. Let t be (112/98)/(2/7). Solve -f*k + a*k = -t for k.
1
Let u = 36 + -32. Solve -j - 3*j = u for j.
-1
Suppose 2*y - 2 + 0 = 0. Suppose -3*b - 2*c = -c - 23, 3*b = -2*c + 25. Suppose -5*o - 8 = -b*o. Solve z = o + y for z.
5
Suppose 5 = 8*d - 3*d. Suppose 3*n = 5*j - d + 6, 5 = n. Suppose -3*g + 2*g = -2. Solve -4*i + g*i + j = 0 for i.
1
Let p(w) = w - 6. Let m be p(8). Let o be (-1)/m*6 + 6. Suppose o*a = 5*z - 4, 2*a - 5*a = 3*z - 12. Solve 3*r - 5 + z = 0 for r.
1
Let b(k) = 7*k - 46. Let u be b(7). Solve 2*j = -u*j for j.
0
Suppose -r - 19*q = -15*q + 7, r = 4*q + 17. Suppose 4*j - 2 = 3*j. Solve r = -j*f - 3*f for f.
-1
Let n = 887 + -873. Solve -2 = -3*r - n for r.
-4
Let g = -44 - -105. Suppose 65 - g = 2*z. Solve s + z = 1 for s.
-1
Let s(x) = 2*x**2 - 8*x + 3. Let r be s(5). Suppose 4*m - 140 = 4*n, -89 = 2*n + n + m. Let q = n + 38. Solve -4*o + q + r = 0 for o.
5
Let d(b) = -b**3 - b**2 - 2*b + 3. Let z be d(0). Let p(l) = 2*l**2 + 2*l. Let q be p(-3). Suppose v + q = z*v. Solve -2*y + 4 = -v for y.
5
Let o be ((-3)/9)/((-3)/99). Suppose 2*t = -l + 8, 5 = -t + 6*l - o*l. Solve 6 - t = -p for p.
-1
Let d(c) = -62*c**2 - c + 1. Let t be d(1). Let i be 3/(t/(-28) - 2). Let m be i/5 - (-7)/35. Solve 0*n + 6 = m*n for n.
2
Suppose -2*x - 33 = -5*h, 32 = 5*h - 3*x - 0. Solve 0*a = -h*a + 14 for a.
2
Let k(u) = u**2 + 5*u + 1. Let w be k(-3). Let n be (-5)/(w/(-2)) - -7. Let z = -1614 - -1617. Solve -z*d = -n*d + 2 for d.
1
Let k(c) = 12*c + 64. Let f be k(-5). Solve f*v = -9 - 3 for v.
-3
Suppose 2*k = -3*o + 30 + 57, 5*o + 79 = 2*k. Let a be (-34)/(-6) + 14/k. Solve -5 = p - a*p for p.
1
Let w = -76 + 86. Let v be (-4 - (-5)/(w/8))*-1. Solve 6*c - 8*c - 6 = v for c.
-3
Suppose d + 5*z - 11 = 0, 3*d = 3*z - 6 + 21. Solve 0 = -0*f + 2*f + d for f.
-3
Let l(x) = 58*x - 170. Let p be l(3). Solve p*y = -10 + 2 for y.
-2
Let x(z) = 7*z**2 - 38*z - 4. Let f be x(6). Let o(j) = -2*j**2 + 6 + 5*j + j**2 + 0*j**2. Let c be o(6). Solve c = -3*q - 2*q + f for q.
4
Let l be (-131 + 110)/(1*-3). Solve l*q + 0 = 14 for q.
2
Let h(g) = -g**2 + 3*g + 5. Let v be h(-3). Let a = v + 16. Solve 8*o = a*o for o.
0
Suppose a + 2 = 1. Let k be ((-28)/14)/(a*2). Solve -6 = -5*b - k for b.
1
Let o = 241 + -147. Suppose 4*p + o = 154. Let q(a) = -8*a - 1. Let m be q(-1). Solve p = -m*b + 4*b for b.
-5
Let m = 964 + -943. Solve 14*u - 7*u = -m for u.
-3
Suppose -4 = -3*b + 2. Suppose 0 = 9*w - 11*w, 0 = 3*d + 5*w - 54. Suppose -b*a + d = 2. Solve 0 = -2*u + 2 - a for u.
-3
Suppose -x = 5*t - 20, -20 = x - 2*x + 5*t. Solve 2*p = 7*p - x for p.
4
Let f(d) = d - 2. Let y be f(4). Let u = -4946 - -4946. Solve 5*p - y*p = u for p.
0
Let r = -25 - -18. Let u(h) = h + 7. Let a be u(r). Let o be 7/(21/(-12)) + 12. Solve a = 3*l + l - o for l.
2
Let u(g) = 2*g**2 - 11*g + 3. Let c be u(7). Let j = c + -21. Suppose 3*h = 4*f - 3 - 6, j*h + 9 = -5*f. Solve p + f = -4 for p.
-4
Suppose 4*x - 8 = 0, 3*g + 0*x - 13 = -5*x. Let y(k) = -k**2 - 4*k + 10. Let o be 2/(-3 - (-13)/5). Let l be y(o). Solve w = g - l for w.
-4
Let j be ((-3)/2)/((-60)/160). Solve j*i - 3 = i for i.
1
Let r(v) = -v**3 + 3*v**2 - 3*v. Let z be r(2). Let i(y) = y**3 + y. Let o be i(z). Let g be (-4)/o - (-6)/(-15). Solve g = 2*q - 0*q + 4 for q.
-2
Suppose 6*j - 45 = -3*j. Suppose 2*t - 19 = -d, -3*t + j*t = -2*d + 22. Solve y + t = 3*y for y.
4
Let u(a) = 0 - 7 + 0*a - 2*a + 8*a. Let z be u(2). Solve 14 = z*g + 4 for g.
2
Suppose -5*s - 2*y - y + 84 = 0, 0 = -2*y + 6. Solve -20*i = -s*i - 25 for i.
5
Let f(r) = 2*r - 123*r**2 + 118*r**2 + r**3 + 1 - 5. Let c be f(5). Let g(u) = u + 4. Let s be g(-2). Solve 4*a - s = c for a.
2
Let o(c) = -c**3 - 5*c**2 + 6*c + 9. Let l be o(-6). Let p be -3 - l/(18/(-16)). Solve 0 = 2*u - p - 5 for u.
5
Let s = 25 - 27. Let u be (s/3)/(17/(-51)). Suppose 5 = -u*q + 11. Solve 2 = 5*k - q for k.
1
Suppose 0 = -5*y + 4 + 1. Let i be 2 + -6 + (9 - y). Suppose -4*z + 32 = -2*z. Solve 0 = -i*v - z for v.
-4
Let d be (8 + -14)*(-2)/3. Suppose 2*o - d = -0*o. Suppose -o = -k + 3. Solve 5*s = -0 - k for s.
-1
Suppose 0 = -154*r + 151*r + 30. Solve -21 = r*l + 19 for l.
-4
Let c = 36 + -20. Suppose -b = -3*v - 18, -4*b - 5*v - c = -b. Solve -3*g + b + 6 = 0 for g.
3
Let k(j) = -j**3 + 15*j**2 - 3*j - 10. Let i(s) = 6*s**3 - 74*s**2 + 16*s + 49. Let t(h) = 2*i(h) + 11*k(h). Let b be t(-17). Solve 0 = b*p - 0*p - 25 for p.
5
Suppose -3*k = -3*n + 117, -4*n = -5*k - n - 195. Let h = -26 - k. Suppose -5*t - 2*x + 7 = 0, -t = -4*x - 6 - h. Solve 2*v + t*v - 20 = 0 for v.
4
Suppose -8*h - 74 - 102 = 0. Let j = -16 - -9. Let x = j - h. Solve 8*v - 3*v = x for v.
3
Let p be ((-72)/(-14))/(18/84). Suppose 0 = -2*v - 4*f + p, 3*f = v - 0*f + 13. Suppose -k + 18 = -v. Solve -7*u = -2*u + k for u.
-4
Suppose -607 = -12*l + 557. Let v = 97 - l. Let d(h) = -h**3 + 4*h**2 + 6*h. Let q be d(5). Solve -r - q = -v for r.
-5
Let g(f) = -f**3 - f**2 - 63*f - 61. Let c be g(-1). Solve c*i - 15 = 7*i for i.
-3
Let x(c) = c**3 - 11*c**2 + 13*c - 14. Let j be x(10). Suppose 56*k - 60*k = -j. Solve -3*z + z - k = 0 for z.
-2
Let z = -42 - -24. Let b(s) = s**3 + 7*s**2 + 5*s - 7. Let m be b(-5). Let i = m + z. Solve -d + 2*d = i for d.
0
Let r be -4 - ((-5)/(-2))/((-2)/4). Solve 5*t + r - 6 = 0 for t.
1
Let i(z) = -11 + 10*z + 3 - 9 - z**2 + 3. Let b be i(6). Solve -8*p = -3*p + b for p.
-2
Suppose -2*l - 6 = -g, 5*g + 8 - 2 = -2*l. Solve f + g*f + 5 = 0 for f.
-5
Let n(a) = -10*a + 4 + 1 + 6*a**2 + 19*a + a**3. Let q be n(-3). Solve 24 = q*r + 4 for r.
4
Let w = 2069 - 2065. Solve -4 = -w*c - 4 for c.
0
Let v(k) = -k - 4. Suppose 3*b = 7*b + 16. Let t be v(b). Suppose t = 3*j + 5*u - 3*u - 9, -2*j + u + 6 = 0. Solve o - j = -0 for o.
3
Let i be (-38)/(-11) + 150/275. Solve i*n = 14 + 6 for n.
5
Let y be 12*(-2)/6*-1. Solve 6*c = 10*c - y for c.
1
Let x be 7 - (-2 + 3 + -1). Let s(d) = d + 5. Let c be s(x). Solve -2*q + c = 2*q for q.
3
Let k(s) = 6*s + 3. Let y be k(2). Let t be (5/15*y)/1. Solve t = h + 4*h for h.
1
Let h = -57 + 82. Suppose -9 + h = 4*a. Solve -z + a = 5 for z.
-1
Suppose 17*o = 14*o - 5*x - 1, -3*o + 4*x + 17 = 0. Solve o = -2*g - 7 for g.
-5
Let d(z) = -z**2 + 15*z - 10. Let c be d(13). Solve 7*k - c = 11*k for k.
-4
Let b(j) be the first derivative of -j**2/2 - 8*j + 2. Let h be b(-11). Solve h = n - 2 for n.
5
Suppose -5*g + 7 = 4*z, -3 = 2*g + 4*z - 1. Suppose -8 = -5*y + 7, -f = -4*y + 10. Solve -f*o = o - g for o.
1
Suppose a = 5*u + 27, -a - 93*u + 90*u - 13 = 0. Solve 7 = 3*d - a for d.
3
Let c = 85 - 81. Suppose c*g = -2 + 18. Solve -3*p - p = g for p.
-1
Let k(f) = f + 5. Let s be k(8). Let o(r) = -r**2 + 6*r - 3. Let i be o(4). Let t(v) = v**2 - 38*v + 84. Let z be t(36). Solve 0 = -i*d - z - s for d.
-5
Suppose 4*n = -20, 39 = -g + n - 4. Let o(c) = c**3 - 7*c**2 + c - 9. Let l be o(7). Let v be (3/l)/(18/g). Solve k + v*k = 0 for k.
0
Suppose 0 = -5*x + 4*o - 39 + 113, -2 = 2*o. Solve -4*u + x = -2 for u.
4
Let i = 7 + -4. Let x = 34 + -34. Suppose i = b - x*b. Solve q + 0*q + b = 0 for q.
-3
Suppose x - 36 = 10*x. Let d(z) = 2*z**2 + 9*z + 6. Let l be d(x). Solve -2*o - l*o = -4 for o.
1
Let u be (-4)/6 - (-17)/3. Let w = -1 - -2. Suppose 4*p + 33*v - 38*v = 22, -1 = p + 2*v. Solve -w = -p*k + u for k.
2
Let x = 46 - 46. Solve 2*q + 3*q + 15 = x for q.
-3
Let y be 16/6 + 4/12. Let b(v) = -23*v + 163. Let t be b(7). Solve -y*w = -w + t for w.
-1
Suppose 0 = 2*m - 7*m + 4*p + 35, -5*p = -3*m + 34. Let s(i) = i**2 - 9*i - 13. Let n be s(11). Let c = n - 7. Solve -c*a = -5*a - m for a.
-1
Let s = 1 - -1. Let g be ((32/10)/1)/((-20)/(-50)). Suppose y - g = -s. Solve 5*w - 2*w = y for w.
2
Suppose -1599 = -26*v - 13*v. Solve 36 = -5*s + v for s.
1
Let w(a) = -a**3 + 21*a**2 - 91*a + 10. Let u be w(6). Solve -u*p + 17 - 29 = 0 for p.
-3
Suppose 121*z = 107*z + 28. Let m(d) = d**3 + d**2 - 3*d - 3. Let j be m(-2). Let x be 13 + (1 - j) + -3. Solve 6*a - z*a = -x for a.
-3
Let k = -9 + 15. Let d be (-4)/(-4)*3 + k. Suppose d*h = 4*h + 25. Solve -1 = -o - h for o.
-4
Let c = -23 + 36. Suppose 3*h - c = 11. Suppose y - h = -y. Solve y*n = -0 - 16 for n.
-4
Let f(h) = -9*h - 7. Suppose 5*l - 10 = 0, 4*o - 3*l - 8 + 26 = 0. Let g be f