
4
Let r(h) = 7*h + 30. Let o be r(-4). Solve -2*k = -5*k + 2*a + 2, -k + 6 = -o*a for k.
-2
Let u = -265 - -275. Solve 4*k = -j + 11, -j - 6 - u = -5*k for k.
3
Let v(u) = u**3 + 38*u**2 - 2*u - 76. Let n be v(-38). Suppose -c = -5*c + 12. Solve c*p - i + 5 = 0, 4*p + 4*i + 0 + 12 = n for p.
-2
Let x = 76 + -73. Suppose 3*m - 30 = -x*m. Solve c + 22 = o + 4*o, m*c + 18 = 2*o for c.
-2
Let c = 0 + 13. Let m = 14 - c. Suppose -69 = -2*r - 65. Solve 5*u + 3*p = 2 + m, -2*u - r = -2*p for u.
0
Suppose -11*u = -15*u. Suppose -5*j + 12 + 8 = u. Suppose -4*g + 3*w + 13 = 0, 0 = j*g + w - 2*w - 15. Solve 3*v = -r - 9, 3*v = -g*r + 6*r for v.
-2
Let n(h) = h**2 - 7*h + 4. Let f be n(7). Let k = f - 0. Suppose 2*u - 41 - 11 = 0. Solve 3*m - u = l - 10, 11 = k*l + 3*m for l.
-1
Let j be (-3)/15 - 51/(-5). Suppose -8*q - 69 - 59 = 0. Let r = q + 46. Solve -j = -5*m, -4*c + 8*m - r = 3*m for c.
-5
Let a = -262 + 267. Solve a*g = -2*m - 5, 0 = -g + 3*m + 2*m + 26 for g.
1
Let u be (3 - 7)/(-1)*(-12)/(-8). Let k be 1/(4 + (-22)/u). Solve 3*o + 11 = 5*p, 2*o - p = 5 - k for o.
3
Let f(v) = -v - 3. Let h = -127 + 109. Let l be f(h). Solve -6*q = 4*j - q, -j - 5*q = l for j.
5
Let b be (10/35)/((-5)/(-70)). Suppose 2*m = -b + 14. Solve -8 = 4*y + 2*j, 0 = -m*y - j - 0*j - 10 for y.
-2
Let v be (-24)/(-13) + (8 - (-510)/(-65)). Solve 0 = 5*x - c + 3, c + 0*c = v*x for x.
-1
Let w(p) = p**3 + 20*p**2 + 31*p - 85. Let j be w(-18). Solve 2*g + 1 = 5*m - 3, -j*g = 2*m + 10 for m.
0
Suppose 2*a - 6 = 6*a - 3*t, -2*t = 5*a - 4. Solve a = -3*w + 3*h, 2 + 2 = 4*h for w.
1
Let s(i) = i**2 + 12*i + 36. Let v be s(-8). Solve v*a - 12 = -j - 2, j - a = 0 for j.
2
Let m(p) = p**3 - 5*p**2 + 7*p + 5. Let i be m(4). Solve 0 = 3*u - 7*u - 4, -5*u - i = 4*q for q.
-3
Let f = 13 + -10. Suppose -f*s + 4*s = 8. Suppose 3*x - x - 4 = 0, -x = 3*q - s. Solve q*t - u - 3*u = 6, -3*t = -4*u - 3 for t.
-3
Let v = -18 + 15. Let b be (40/24)/((-1)/v). Let p = -2 + 3. Solve j = 5*t - p, -b*t + 13 = j + j for j.
4
Suppose -6 = 5*k + 19. Let n be (2 - 2 - k) + -1. Let j = 1512 - 1507. Solve -4*x - j = 4*t + 11, 4*x - n = 0 for t.
-5
Let w(n) = -n**3 + 2*n**2 + 3*n + 2. Let g be (-1*1)/(3/(-9)). Let p be w(g). Suppose o + 2 = -b + 6, 0 = 5*o. Solve -4*j - a = 17, b*j + 7*a = p*a - 37 for j.
-3
Let c(r) = r**3 + 7*r**2 + r + 12. Let t be c(-7). Solve -3*u + u + 5*l + 11 = 0, -l - 13 = t*u for u.
-2
Let b(t) = 2*t**2 - 20*t + 36. Let m be b(2). Solve 4*u + 0*f + m*f = -8, 6 = -3*u + 2*f for u.
-2
Suppose -26 = -5*d + 36*z - 39*z, -4 = d - 4*z. Solve -2 = 2*s + 5*n + 17, -d*s + 22 = -2*n for s.
3
Suppose -5*m + 9 = -4*m + 4*w, 3*m + 5*w = 13. Suppose -36 = -7*x - m. Solve -u - u = -f + 6, 19 = u + x*f for u.
-1
Suppose 30 = -0*q - 3*q. Let p be (-5)/(q/(-3))*-2. Solve 2*n = -5*f - 6, -5*f + n + p = -0 for f.
0
Suppose 13*s + 154 = 27*s. Solve 4*k + s = c, c - 2 = -2*k + 3*k for c.
-1
Let x = 120 - 60. Suppose -4*h + 4*r = -0*r - x, -3*h + 75 = 3*r. Solve -3*b = 4*p - h, -17 = -5*p + 2*b + 8 for p.
5
Suppose o - 3*o = 10, -2*d - 5*o = -25. Solve -4*c + 9 = 3*r + d, -4*c - 16 = -4*r for c.
-4
Let s be ((-2)/5)/((-4)/10) + 2. Solve 8 = 5*i + g - s*g, -20 = -2*i + 5*g for i.
0
Let i be (-17)/(-3) + (-2)/(-3 - 3). Let f(r) = 2*r - 10. Let x be f(i). Solve 5*w + 3*y + 20 = 0, 0*y = x*w + 5*y + 27 for w.
-1
Let z(a) = a**2 + a + 1. Let g(s) = -s**3 + 9*s**2 - 3*s + 13. Let b(l) = -g(l) + 4*z(l). Let m be b(4). Solve 2*c = -2, -3*c - 7 = m*n + c for n.
-1
Suppose -8*j - 48 = 32. Let r be 1/(5/j + 1). Solve 5*q + 3*p = r*p + 21, 0 = -q - 4*p + 8 for q.
4
Let g = -47 + 69. Let q(s) = -19 - g + 44 + 3*s**2 - 3*s. Let v be q(2). Solve -2*x - 3*p = 3*x - v, 5*x + 6 = 2*p for x.
0
Let o be 2/4 - (-3)/(-6). Let s be 1/2*-1*o. Suppose -2*d - t + 1 = -d, 4*d - 2*t - 34 = s. Solve 5 = f + 5*c, 3*f - 5*c = -d + 1 for f.
0
Let x = -16 - -20. Let q = 16 + -8. Let u be -4 + q - (-1 - -3). Solve -u*v = x*n + 2, -14 = -n - n + 4*v for n.
1
Suppose -x - 51 = -3*h - 42, 0 = 2*h - x - 5. Solve 0 = -h*j - b - 22, -3*j + 3 - 26 = 4*b for j.
-5
Let a = 41 + -24. Let h = a - 17. Let v be 0/(h - (-1 - 1)). Solve 5*q - n = 0, v = n - 5*n for q.
0
Suppose 7*c - 38 = 6*c. Let w = -36 + c. Solve 0*i + w*s + 11 = -i, -5*i - s - 28 = 0 for i.
-5
Suppose 61*q - 175 - 130 = 0. Solve -j + q = s, -4*j + 0*j + 3*s = 15 for j.
0
Suppose 3*w = -0*w - 2*m + 74, 59 = 3*w + 5*m. Let k be 1/(8/w)*(-12)/(-21). Solve t = -k*p - 3, -4*t + 5*p - p = 0 for t.
-1
Let j = 248 + -245. Solve -6 = -j*n, 0 = -3*s - n + 5*n - 2 for s.
2
Let i(b) be the first derivative of b**4/4 - 10*b**3/3 - 5*b**2 - 9*b - 20. Let w be i(11). Solve -g + 5*y = 13, 0*y - w*y = -2*g - 2 for g.
2
Suppose 6 - 16 = -5*j. Let p be ((-4)/(-5))/(j/(-10)). Let q be 1*1*(-4)/p. Solve -x - 13 = 3*v, 0 = -4*x + 3*v + q - 8 for x.
-4
Suppose -36 = -2*k - 0*k. Solve w = -0*l + 4*l + k, 2*l = 5*w for l.
-5
Let x(f) = 3*f - 4. Let c be -1*(1*-4 - -1). Suppose 3*b - 35 = -4*r, 0 = 2*b - c + 1. Let l be x(r). Solve -5*z + 0*o = 5*o + l, -3*o = -3*z - 18 for z.
-5
Let u(b) = b**3 - 6*b + 7. Suppose -4*c = 12, -j + 4*c + 14 = -0*c. Let i be u(j). Solve -5*d = -4*z - 33, 0*z + i*z = -6 for d.
5
Let v(j) = j**3 - 37*j**2 + 314*j - 30. Let x be v(24). Solve 2*n = 5*a - a + x, n - 17 = 4*a for n.
1
Let i = -244 - -247. Solve q = i*j - 1, 4*q = 5*j - 14 + 3 for q.
-4
Suppose -7*t + 4*t - k = 4, -12 = 3*k. Suppose t = -5*o + 13 + 2, -27 = -3*h + 4*o. Solve -5*c + 15 = 5*d, -10 = 4*c - 3*d + h for c.
-2
Let m be (-8)/14 - (-386)/14. Let j be 22 - (-4 + 3) - -2. Let b = m - j. Solve -20 = 5*s, b*w = 3*s + 13 - 1 for w.
0
Suppose -3 = 2*u + g, -5*u - 2*g - 10 + 4 = 0. Solve -d - 16 = -u*n + 3*n, d + n = -6 for d.
-1
Suppose 5*l - 3 = 3*x + 2*l, 11 = x + 3*l. Suppose 4*s = -12 + 4. Let n be 16/((-2)/s*x). Solve 5*d + 2*j = -2*j - 18, -5*d + j = n for d.
-2
Let j be ((-112)/(-24))/7 + (-8)/(-6). Solve 4*y = -5*o - y + 5, j*y = -5*o - 10 for o.
-4
Suppose 2*r - 7 = -u, 3*u - 6*u + 15 = 4*r. Suppose 5*s = u + 19. Solve 2*x - 1 = -3*c + 2, 19 = 5*x - s*c for x.
3
Let j(q) = q**3 - 8*q**2 + 6*q + 10. Let y be j(7). Let b be (y/2)/(18/24). Suppose 0 = b*p + p - 6. Solve 5*r = -2*a - 9, 0 = p*a - 6*r + 3*r - 15 for a.
3
Let b be ((-1)/(-4) + -1)*(-16)/6. Solve 2*k + 4*r = -22, 5*r = -3*k - b*k - 30 for k.
-1
Suppose -3*u = 3*o + 54, -1 + 5 = -4*o. Let y = -13 - u. Solve 20 = -5*p + 4*z, 0 = -y*z - z for p.
-4
Let c = -37 + 37. Suppose 6 = 2*p - c*p. Suppose -p*u = -b - 11, 2*u - 4*b + 0*b - 14 = 0. Solve 2*z + 22 = -u*i, i + 0*z - 11 = 3*z for i.
-4
Let g be (-2)/(((-28)/10)/7). Solve y + 2 = -w, g*y - w + 10 = 4*w for y.
-2
Let p be ((-80)/(-8) + -8)/(7 - 5). Solve 2*j - 10 = u, -p - 4 = u - j for u.
0
Suppose 5*f - 17 - 109 = -3*j, 4*j = 2*f + 168. Let n be (j/18)/((-1)/3). Let y = n - -12. Solve m = -y, -6*m = -2*c - 2*m + 28 for c.
4
Let t = 580 + -576. Solve 5*z + 0 - 33 = -2*m, t*m + z - 21 = 0 for m.
4
Suppose 3*m = -0*m, 4*o - 144 = -3*m. Let r = -36 + o. Let w(d) = 4*d - 2. Let c be w(6). Solve -3*f + c = -4*t, t + r = -4 for f.
2
Suppose -1 = 2*h + 3*z + 10, -h = z + 3. Solve -5*n - 25 = 2*o, 3*n = -h*o + 6*o + 11 for o.
-5
Let v(w) = -28*w - 416. Let f be v(-15). Suppose -12 = -4*a, 5*i + a + 4*a + 5 = 0. Let r = 1 - i. Solve -r*s = -s + 4, 19 = -f*l + s for l.
-5
Let n = -6 + 8. Solve -2*r = -a - n, -r + 5*r + 3*a + 6 = 0 for r.
0
Suppose -2*g = -5*z + 24, 0*z + 2*g - 12 = -z. Let u(d) = -d**2 + 6*d + 5. Let j be u(z). Suppose 0 + j = m. Solve 5*k = -m*i + 30, -4*k - 1 = i - 2*i for i.
5
Let p be 108/14 + (-4)/(-14). Let b = 26 - 18. Suppose -3*f + 20 = b. Solve -5*v - 12 = -3*t, -4*t - f*v + p*v = -16 for t.
4
Suppose 12*z - 10*z - 3*b = 23, -5*z + 3*b + 35 = 0. Solve 5*n - 13 = 3*c, 2*c - z*c = -8 for n.
5
Suppose -w = 2471 - 2472. Solve i = -3*d + w, 0*i = -i + 5*d + 1 for i.
1
Suppose 37 = -2*i + 43. Solve -4*h - 4*y + 12 = -0*h, 0 = i*h + 4*y - 12 for h.
0
Suppose 2*z - 61 = -6*m + m, 6 = 2*z. Let w(s) = 5*s**2 - 4*s + 3. Let t = 53 - 52. Let y be w(t). Solve -y*n + 5*g + m = 1, -24 = -4*n - 2*g for n.
5
Suppose 5*s = 4*r, 3*s = -0*s - 12. Let f be r/4 + 1 + 150/120. Solve l = h + 4 - f, -h = -5*l + 3 for h.
-3
Let b = -1313 - -1318. Solve 4*g - 10 = -b*k, k + 0 = -2 for g.
5
Let g = 49