1 - (k - (-2 + 1)). Solve 0 = -x + u - 5 for x.
-1
Let p be (-8)/2 - (-56)/8. Suppose t - 7 = 3*h, -p*h + 0 = 3. Solve 9 = t*l + 1 for l.
2
Let g(c) = -c**2 + 6*c + 5. Let u = 22 + -16. Let a be g(u). Let h(m) = m**2 - 2*m + 3. Let z be h(2). Solve -8 = -a*l - z for l.
1
Let n(a) = -a**3 + 3*a**2 + a - 2. Let v be n(2). Suppose 7*c - 51 = -9. Let z = c - v. Solve -z*g - 2 = 8 for g.
-5
Let c be (((-2)/1)/(-4))/((-2)/(-20)). Solve -c*m = -4 - 11 for m.
3
Let q be (-3 - -2)/(-2*3/78). Solve 5*c = q + 7 for c.
4
Let q = 306 - 302. Solve -3*g = -0*g - q*g for g.
0
Suppose 2*p = 4*v + 18, 4*v + 4 = -8. Suppose 2*f - 4*f = -y + 7, -f = 1. Solve p*a = y*a for a.
0
Suppose -5*z + 2*s + 119 = 0, -3*s = z - 0*s - 34. Let g = 28 - z. Solve 0 = g*w - 8*w + 25 for w.
5
Suppose -4*a = 5*f - 22, -2*f - 16 = -4*a - 4*f. Solve 12 + a = -5*y for y.
-3
Suppose 6 + 9 = 2*s - 3*r, 5*s + r = -5. Solve -7*i + 5*i + 6 = s for i.
3
Suppose -4*j + 2*c = 2, 5 = -2*c - 3*c. Let y = -2 + 2. Let o be (j + y)*(-15 - -12). Solve -o*g = 2*g + 25 for g.
-5
Suppose 0 = 20*r + 29 - 69. Solve -5 = 3*y + r*y for y.
-1
Let q be 60/(-24)*1*-2. Solve -2*t + q = 1 for t.
2
Let w be ((-67)/3)/((-2)/(-12)*-2). Let d = w - 67. Solve d = -2*m - 2*m + 20 for m.
5
Suppose 10*u - 161 = 129. Solve -13*d = u + 36 for d.
-5
Let m = -1126 + 278. Let a be 1/((-4)/m*4). Let f = -33 + a. Solve v + f = 5*v for v.
5
Let x be (-1)/(10/(-65)) + 3/2. Let j be x/24 + ((-5)/(-3) - 2). Solve -3*v = -j*v + 9 for v.
-3
Let v be 20/((-3)/(4 - 13)). Solve 22*g + v = 7*g for g.
-4
Suppose 3*w - 22 - 53 = 0. Let r = w + -23. Suppose g - r = -0. Solve 0 = -5*v + g + 3 for v.
1
Let j(x) = x**3 - x**2 - 19*x + 45. Let z be j(3). Solve -z*i + 4 = -8 for i.
2
Let t(l) = -l**3 - 9*l**2 + 17*l - 53. Let g be t(-11). Suppose 5*a = 2*z - 7, -4*a + 7*a - 27 = -4*z. Solve z*o + 8 = g*o for o.
-2
Let s = -35 - -38. Suppose s*j + 5 = 8*j. Solve j + 0 = d for d.
1
Suppose 0 = -67*q + 55*q + 144. Solve -8*n = q*n for n.
0
Suppose 4*t = 4*z + 31 + 9, -5*z = 4*t - 76. Suppose -t*s = -16*s + 40. Let x = 20 + -14. Solve -s = x*j - j for j.
-4
Let f = -83 + 87. Suppose 2*z - 18 = -v, -f*z = 3*v - 3 - 37. Solve 4*o = -z - 9 for o.
-4
Suppose -5 = 5*f, 2*x + 2*f + 17 = 3*x. Let m be 5/(x/6) - 2. Solve 4*n - 6*n + 4 = m for n.
2
Let q(v) = 4*v - 6. Suppose 3*t = 7 - 1. Let s be q(t). Solve -a = -s + 7 for a.
-5
Suppose 0 = -a - 2*a + 15. Let x(v) = v**2 - 5*v + 5. Let w be x(a). Let m = -31 + 35. Solve m + 11 = w*z for z.
3
Suppose -z = 2*z + 4*r, 2*z = -3*r - 1. Suppose 2*f = -5*g + 66, 4*f = g - z*g + 48. Solve 3*q + g = -0 for q.
-4
Let k(t) = 4*t**3 - 4*t**2 + 3*t. Let a be k(4). Let f be (-4)/(-10) + a/15. Suppose -5*i - w - 2 + 25 = 0, -4*i = 3*w - f. Solve -i*h = 4 - 24 for h.
4
Suppose -10*s + 242 = -218. Suppose 51*b - s*b = 0. Solve g + g = b for g.
0
Suppose 3*h - 7*h = -12. Suppose -h*t + 3*k = -18, t + 3*k = 3*t - 17. Solve -y = -2 + t for y.
1
Suppose -3*f = -3*j + 11 - 2, 4*j = -3*f - 9. Solve j = q - 4*q + 15 for q.
5
Let v be (0/(-2 + -1))/2. Suppose 0 = 2*w - 4*w + 30. Let y be (-24)/w*(-5)/2. Solve y*q - 2*q = v for q.
0
Let w(u) = -9*u**3 + 4*u**2 - 7*u + 6. Let b be w(6). Let c be b/10 - 12/30. Let t be c/(-44) - (-6)/(-33). Solve -8*z = -t*z - 12 for z.
3
Let m = 1 - 1. Let k(o) = -10*o - 19*o - 2*o**2 - 15*o + o**2 + 43*o + 2. Let v be k(m). Solve -v*f = -0*f for f.
0
Suppose 85 = 4*k + 5*c, 11 = 4*k - 4*c - 29. Let m be (-1)/(-4) + (k/12)/(-5). Solve -2*q + 2 - 4 = m for q.
-1
Suppose 0 = 4*a + 4*p - 12, -6*a + 2*p + 18 = -2*a. Let q(f) = f**2 - 3*f + 2. Let j be q(1). Solve j*z = -4*z - a for z.
-1
Let n = 241 - 238. Solve 0*m + 3*m = -n for m.
-1
Let a(h) = h**3 + 19*h**2 - 22*h - 37. Let o be a(-20). Solve 0 = o*u - 4 + 16 for u.
-4
Suppose 15*j + 3 - 33 = 0. Let w be (-1)/(j/8*-1). Solve w = -d + 6 for d.
2
Let t(q) = q**3 - 9*q**2 + 13*q + 13. Let y be t(7). Solve 3*g = -3 + y for g.
1
Suppose 136 = 13*v - 202. Solve -v = -f - 31 for f.
-5
Suppose -61 - 37 = -7*q. Solve 0 = -0*m - q*m + 70 for m.
5
Suppose 4*q = 2*q - 62. Let i be 12/(-24)*(1 - q). Let g be -5*(i/5)/4. Solve 22 - 2 = -g*l for l.
-5
Let j(t) = 5*t**2 - 37*t - 3. Let k(q) = -3*q**2 + 19*q + 1. Let v(x) = -4*j(x) - 7*k(x). Let m be v(-15). Solve -14 = m*p - 4 for p.
-2
Let o(c) = -c + 17. Let a be o(11). Let n = 11 - a. Suppose n*z - 27 = -d, -3*d - 2 = -2*z - 15. Solve -8 - d = 5*j for j.
-3
Let w = -34 - -84. Solve 15*v + w = 5*v for v.
-5
Suppose -21 - 21 = -3*n. Solve 16*t = 9*t + n for t.
2
Suppose -75*p - 350 = -85*p. Solve 17*u - 24*u = p for u.
-5
Suppose -9*s - a = -134 + 12, -a = 5*s - 70. Solve -14*z = -z - s for z.
1
Suppose -2*u + 12 = 4*s, -3*u + 2*u = -3*s + 4. Suppose -2*l + 27 = 5*g + 3, -2*l - 12 = -4*g. Suppose 4*j - 12 = l*j. Solve s*t = j*t - 20 for t.
5
Let l(s) be the first derivative of 5*s**2/2 - 2*s + 9. Let a be l(1). Solve a*b + 4 = 4*b for b.
4
Suppose 0 = p + s - 0*s - 4, 4 = -2*s. Let c be (-4)/12 + 74/p. Let q be (2/5)/(c/30). Solve -3*z = -2*z - q for z.
1
Let m(i) = 26. Let g(s) = s**2 + s - 1. Let j be g(-2). Let o(k) = -k. Let t(d) = j*m(d) - 3*o(d). Let h be t(-8). Solve 3*b = -h - 1 for b.
-1
Let t = -50 - -51. Solve -t = 4*z + 7 for z.
-2
Let h = -11 - -16. Suppose 0 = u + 3*n + 4 + 1, 4*u = -4*n + 4. Suppose -u*j - h*k = -5, 0 = -4*k + 2 + 2. Solve j = -2*x + x - 4 for x.
-4
Suppose 5*d = -13 - 2, 4*t = 3*d + 5. Let b = 3 + t. Solve 5*i = b*i + 9 for i.
3
Let b(u) = -u**3 - 13*u**2 + 12*u - 17. Let f be b(-14). Suppose f = v - 8. Solve 4*l - v = -7 for l.
3
Let t be (2/3)/(24/180). Suppose 0 = -2*s + 5*h + 16, t*h + 13 + 12 = 5*s. Let v be s + 0*(-5 + 4). Solve -2*d - v*d = 10 for d.
-2
Let y = -101 + 121. Solve 5*o - y = -10 for o.
2
Let c(f) = -f**2 + 10*f - 14. Let j be c(7). Suppose 0 = 5*r - 27 + j. Solve -r*i - 5 = -1 for i.
-1
Let s(t) = t**2 - 3*t - 4. Let z be s(4). Suppose 1 = -4*i - 7, r + 5*i = -12. Let y = z - r. Solve y*v = -v + 3 for v.
1
Let g(w) = 3*w**3 - 6*w**2 + 6*w - 4. Let a be g(3). Let f = 42 - a. Solve 9 = 5*t - f for t.
2
Let j(d) = -d**3 + 13*d + 21. Let k be j(4). Solve -6*h = -3*h - k for h.
3
Let f = -294 + 319. Solve 0 = 2*u - 23 + f for u.
-1
Let u(a) = 2*a + 49. Let l be 20/(-30) + 140/(-6). Let t be u(l). Solve 0 = -3*r + 2*r + t for r.
1
Suppose 0 = -8*w - 52 + 68. Suppose -2*v + 33 = 5*o, 4*o - 8 - 16 = -v. Solve -5*y = -v*y + w for y.
-2
Let s = 12 - 4. Let q be (-38)/(-14) - s/(-28). Solve 4 = -q*t + 10 for t.
2
Suppose -r - 57 = -2*f, 2*f - r = -3*r + 48. Suppose 0 = 2*h + f - 41. Solve -8*a + h*a - 2 = 0 for a.
-2
Let x = 92 - 82. Solve -2*m + x = 3*m for m.
2
Let l be 2*((-99)/(-18) + 3). Solve -l*s = -22*s + 25 for s.
5
Let s(r) = 4*r**3 - 33*r**2 + 12*r - 28. Let p be s(8). Solve q = -p*q + 4*q for q.
0
Suppose 0 = -5*t + 3*t + 16. Let h be (6/t)/((-1)/(-8)). Solve s - h*s = 25 for s.
-5
Let o be (0/(4 - -2))/(-2). Solve o = 2*y - 4 for y.
2
Let o = -16 + 16. Let j(p) = p**2 + 3*p + 4. Let d be j(o). Solve r - d = 5*r for r.
-1
Let w = -297 + 297. Solve -b + 17 - 16 = w for b.
1
Suppose 0 = -55*m + 46*m + 108. Solve 3*h = -0*h - m for h.
-4
Let s(a) = -7*a + 3*a + 15 + 3*a. Let w be s(11). Suppose w*x - 8 = 2*x. Solve -o - x = 1 for o.
-5
Suppose -5*w = -15, -2*m + 0*w = 4*w - 44. Let b = m + -13. Let q = -9 - -17. Solve -20 = b*t - q*t for t.
4
Suppose -4 = -j - 0*j. Suppose j*s + 33 - 13 = 0. Let f = s + 7. Solve -10 - f = -4*v for v.
3
Let a(d) = -d**2 - 7*d - 3. Let i be 0*(-2)/(-5 - -3). Suppose 4*l + l + 4*s + 38 = 0, i = l - 3*s. Let h be a(l). Solve -2*x - h = -x for x.
-3
Suppose -17 + 52 = 5*s - 5*y, -16 = -s + 4*y. Suppose -s - 6 = p. Let b be 60/25*p/(-2). Solve 6*r = 2*r + b for r.
3
Suppose -4*i + 204 = -4*v, 5*i + 4*v - 69 - 195 = 0. Suppose -2*j = -0*j - i. Let p = j - 9. Solve -p = 3*u - 2 for u.
-5
Let x be ((-108)/21)/(9/(-42)). Suppose x = -13*l + 5*l. Let f be 4 + -2 + l + 6. Solve f*j = -0*j for j.
0
Let b(x) be the second derivative of -x**3/6 - 3*x**2/2 - 16*x. Let c(f) = -2*f**2 + 4*f - 2. Let y be c(3). Let i be b(y). Solve -z - i = -2 for z.
-3
Suppose -135*c - 204 = -152*c. Solve 11*v - c = 21 for v.
3
Suppose 0*p - 12 = -4*p. Let c = -121 - -120. Let i = p - c. Solve i*o = 7 + 1 for o.
2
Let z(c) = -3*c - 63. Let g be z(-22). S