 = 40 + 28. Let i = b - -11. Let g be (-2)/7 + 148/i. Solve -5*h + g*u = 0, 6*u - 7 = -2*h + u for h.
1
Suppose -5 = 3*d + 3*u + 1, -d + 4 = -5*u. Let n be (-2 - d)*0/3. Let s = 35 + -17. Solve -5*g - s = -2*m + 8, -5*m - 2*g + 7 = n for m.
3
Let g = 8 + -5. Suppose 174 + 136 = -5*a. Let z = a + 78. Solve 3*t + 5*d + 0*d - z = 0, -g*t + d + 4 = 0 for t.
2
Let w(u) = u**3 - 9*u**2 - 10*u + 3. Let f be w(10). Solve -f*g = 15, 0*p = -p - 4*g - 17 for p.
3
Let y = 197 - 47. Suppose 6*n - n - y = 0. Solve -n = m - 5*b, -b = 2*m - 2*b + 15 for m.
-5
Suppose 2*v + 10 = 0, 3*x - v + 3 - 8 = 0. Let h be (1 + -4)*2/(-3). Let p = -1373 - -1377. Solve j + p*j - 4*m = -21, x = -h*j + m - 9 for j.
-5
Let z(v) be the first derivative of v**4/4 - v**3 - v**2/2 + 4*v + 11. Let x be z(4). Suppose 3*s - x = -s. Solve 0 = -n - 5*t - 19, 18 = -s*n - t - 1 for n.
-4
Suppose -4*g = -4*u + 272, -3*g + 174 = -2*u + 5*u. Let l = -23 + u. Let m be ((-3)/(-6))/((-1)/(-14)). Solve 5*j + 2*p = m*p - l, 5*p = 4*j + 35 for j.
-5
Let l = 1269 - 1266. Suppose 15 = 3*d - 0. Suppose 2*z - 5*z = d*j - 8, 5*j - 3*z - 2 = 0. Solve -l*h + 7 = f, 0 = -h + 4 - j for f.
-2
Let u(z) = -26*z + 1258. Let r be u(48). Let m(y) = y**2 + y. Let s be m(1). Solve -5*i + r = 5*t - 10, -s*i = -8 for t.
0
Let o be (-8)/(-24) - 4/(-6). Let i be -4*2/8*-1. Let k = o + i. Solve k*a + 3 = -q - 3, 0 = 2*q + 8 for a.
-1
Let p be -57*(-6)/90 + (-4)/(-20). Solve -2*r + p*s + 12 = -0*s, 2*r - 5*s = 17 for r.
-4
Let a(r) = -49*r + 298. Let h be a(6). Solve -t = -2*u + h*u - 1, 9 = 3*u for t.
-5
Let s(z) = -z**3 - 15*z**2 - 16*z - 13. Let n be s(-14). Let l be (4 - 1)*(-10)/(-6). Solve 0*j - l*j + 40 = -3*k, -k = -2*j + n for j.
5
Let r be 29 + ((-25)/4 - 15/(-60)). Solve 0 = -3*q - 5*u + 4 - 29, -r = 3*q + 4*u for q.
-5
Let h(d) = -2*d - 77. Let v be h(-41). Solve -v*p - c - 10 = 15, -5 = p + 4*c for p.
-5
Let r(y) = -y**2 + 8*y + 55. Let u be r(-4). Solve 2*x - 3*g + 2 = -u*g, -5*x + 7 = -2*g for x.
1
Let b = -658 + 663. Suppose -2*x + 9 - 3 = 0. Solve x = 5*l + 4*w + 1, -b*l = 5*w for l.
2
Let v be ((-63)/21)/(-1) - (-1)/(-1). Solve 4*l = m + 4, -5*l + 5*m - 2*m = v for l.
2
Let b(k) = k**2 + 34*k + 248. Let v be b(-25). Solve 3*s - v = 4*d, -5*s = -2*d - 25 - 4 for d.
-2
Suppose 7*f - 39 = 31. Suppose -3*b = -8*b + f. Let n be (-14)/(-6) + b/(-6). Solve 20 = 4*m + 3*y, 0 = -6*m + 2*m + n*y for m.
2
Let r = 27 + -24. Suppose 0 = -w - r*w + 8. Solve -5*y + w*q + 24 = 4*q, 5*y + 5*q = 30 for y.
4
Let j = -22 - -24. Suppose -3*x + 20 = 4*a, -3*a = -x - 13 - j. Solve 2*b + 15 = 5*t, 2*t + 4*b = 5*b + a for t.
5
Let i be 1 - (-5)/(-15)*-3. Suppose -z - 11 = -2*f, 5*f - 25 = 4*z - i*z. Let l be 1 + (-4)/((-16)/(-4)). Solve 2*n + 4 = 4*h, 2*n = f*h - l*h - 3 for h.
1
Let f be 912/(-1672) - (-94)/11. Let c(j) = -j**3 - 7*j**2 - j + 4. Let g be c(-7). Let o = g + -7. Solve -3*p + o*s + 5 = -2*p, f = -4*s for p.
-3
Let a = -49 + 45. Let w be a - (2 + (-16 - -3)). Solve -m - 2*l + 6 - 2 = 0, 5*l - w = -4*m for m.
-2
Let l(d) = -17*d + 123. Let f be l(7). Solve -2*h + 2 = 0, -m + 3*m - 4*h = f for m.
4
Suppose -2*d = 2*t + t - 12, -3*t - 30 = -5*d. Suppose 3*l + 24 = d*l. Solve 5*s = -25, -4*x + 4*s - l + 32 = 0 for x.
1
Let w(y) = -y + 3. Let t be w(2). Let x(o) = o - 1. Let a be x(5). Let z = a + t. Solve 4*r + z*g - 4 = 7, 2*g = -3*r + 10 for r.
4
Let j(d) = 2*d**3 - 32*d**2 - 4*d + 69. Let r be j(16). Let x be 3 - 1/((-3)/(-9)). Solve -2*k - 2*c + 4*c - 12 = x, r*k + 3*c = 2 for k.
-2
Let r be (10 - -9 - 7) + -6. Solve -5*f - 15 = 0, -4*v - r = -2*f + 4 for v.
-4
Suppose 4*i - 12 = 2*w, 0*w + 2 = -i + 3*w. Solve 2*k = 4*h + 4, i*h - k + 3 = -1 for h.
-1
Suppose 44 = 3*o - 14*k + 15*k, -3*k - 3 = 0. Solve 3*z = -2*d + d + 4, 0 = 5*z - o for d.
-5
Suppose 3*c - 24*f + 25*f = 1, 5*f = 2*c - 29. Solve -2*t - c*y = -3*t + 7, 0 = 4*t - 4*y - 20 for t.
3
Let z = -46 + 44. Let l be z/(-10) + 156/20. Let r be 9/(-2)*6/(-9). Solve -5*y - 12 = r*x - 2, x + l = -4*y for y.
-2
Suppose 0 = 2*c + c - 120. Let f = 2840 + -2835. Solve 0 = -2*i - 2*t, -13 + c = f*i - 4*t for i.
3
Suppose 0 = -5*l + 60. Let r = 16 - l. Suppose -t + r = t. Solve -t*c - 7 = 2*s + 5, -4*s - 18 = c for c.
-2
Let s = 23 + -18. Suppose s*k + 2*t - 12 = 0, -2*k - t = -4*k + 12. Solve 0 = 4*j + v + 3, j + 2*v - 16 = k*j for j.
-2
Let z(n) = -24*n + 146. Let h be z(6). Solve 6 = -v - x, -h*v = -3*x - 4 + 1 for v.
-3
Let d be 11 - (-132)/(-12) - -4*1. Solve -5*u - 5 - 11 = -i, -4*i = -d for u.
-3
Let s be (1*35)/(-9 + 10). Let k = s + -18. Solve -20 = i + 3*i, -i = 4*c + k for c.
-3
Let u = -1467 - -1473. Solve -3*n - w = 12, 0 = n - 3*w - u - 0 for n.
-3
Let d = -1379 + 1381. Solve -u + 3*a - 1 = a, -d*u + 3*a = 4 for u.
-5
Let o be 55*10/15*3/5. Solve -2*j = -f - 5*j - 7, -5*f - 2*j = o for f.
-4
Let j = 62 - 37. Let q(u) = 2*u + 19. Let v be q(-8). Suppose 3*z + 2 = d - 3, 3*z = -v*d + 15. Solve x - l = 6*x - 19, d*x = 5*l + j for x.
4
Suppose -27 = -3*d - 3*x, -4*d - x + 0*x + 27 = 0. Let h = d + -3. Solve -q = -3*l - 14, -h*l + q - 24 = -2*q for l.
-3
Let i(z) = -z**3 - 5*z**2 - 2*z + 4. Let p be i(-3). Let m = p - -12. Suppose 2*t + 46 = m*t. Solve -5*x - 10 = 0, 2*q + t = -4*x + 7 for q.
-4
Suppose 7*r - 612 = 11*r. Let u = r + 156. Solve 2*g - t - 18 + 7 = 0, u*t = 4*g - 27 for g.
3
Suppose 160*f - 176*f = -16. Solve l = s + f, 19*l - 21*l - 6 = 2*s for l.
-1
Suppose -1 = -3*x + 5. Suppose 2*r + x = 4*r. Let g be (r - (-6)/4)*2. Solve g*a - 2*v - 31 = 0, 2*a + 3*v = 6*a - 29 for a.
5
Let x = -58 - -38. Let j = x - -23. Let i = 17 - 8. Solve -3*a - i = -2*l, 10 = -j*l - 2*l + a for l.
-3
Let x(d) = d**2 + 8*d + 5. Let b be x(-5). Let g(u) = u**3 + 11*u**2 + 11*u + 10. Let l be g(b). Solve l = -z - 3*z - 5*s - 20, 3*z - 2*s = 8 for z.
0
Let u(c) = c**2 - 2*c + 2. Let y be u(2). Let f = y - 2. Let r = -232 - -235. Solve -2*n = -0*l - r*l, 4*l = f for n.
0
Suppose -396 = 5*w - 501. Suppose -19*r + 78 = w. Solve -r*t + 4*s - 10 = 0, -4*s + 2*s + 14 = 3*t for t.
2
Let s = 5 - 1. Suppose c - s - 2 = 0. Suppose -9 = -c*m + 3*m. Solve -4*p - m*h = 0, 2*h + 3 - 23 = 4*p for p.
-3
Let z = -12 - -15. Solve -z*h - 15 = 0, -3*g - g = 2*h - 6 for g.
4
Let o be 4/26 + ((-186)/26 - -10). Solve -7*s + 2*s - 10 = -5*a, -o*s - 15 = 0 for a.
-3
Let w be ((-912)/(-608))/(-3*(-1)/10). Solve 4*q + 22 = -w*l, l = -l - 4*q - 16 for l.
-2
Let f(v) = 0*v + 1 + v - 2*v - 2*v**2 + 0. Let j be f(0). Solve -2*x + l + j + 5 = 0, -3*x - 4*l = 13 for x.
1
Suppose 68*g = 461 + 15. Solve 4*p - 5*k + 4 = 0, g*p - 2*p + 5 = -k for p.
-1
Let w(i) = 3*i**2 + 33*i - 6. Let a be w(-10). Let u be -2*(-3)/(-24)*-4. Let z be a/(-6) - u*3. Solve -4*s + 16 = -z*g - 2*s, 3*s = 5*g + 26 for g.
-4
Let c be ((-6)/(-12) + 1)*8/3. Solve c*j - 3*g = -10, -2*j - 18 = -2*g + 7*g for j.
-4
Suppose 3*f + 24 = 9*f. Suppose -5*k = 5*z - 30, -3*z + 36 = f*k + 13. Solve 3 = -k*a + p, -p + 3*p = -4*a + 6 for a.
0
Let p(k) = k**2 - 7*k - 4. Let l be p(7). Let x be 2/(-2*2/l). Solve -4 - x = 3*b + 4*q, 3 = -q for b.
2
Let u be (20/(-15))/((-4)/(-78)). Let p = -46 - u. Let f be (-70)/p*1*2. Solve 3*x - s + 12 = s, -x - 3*s + f = 0 for x.
-2
Suppose -2*z - 40 = 14. Let v be (-75)/z - 4/(-18). Suppose -m + 2*i = -0 - v, 5*m = i + 15. Solve g + m*w = -2, -2*w + 3*w = 4*g - 18 for g.
4
Suppose 2*p = -3*p + 20. Let u be (18 - 54/72) + 1/(-4). Solve p*h - 4*v + 4 = 0, -2*h = 4*v - v + u for h.
-4
Let k = -831 + 834. Solve o + k*p = -11, -o + 8 = 3*o - p for o.
1
Let z be 0*(-4*(-2)/(-24))/1. Solve z*c + y + 5 = -3*c, -5*c = 4*y - 1 for c.
-3
Let f = -106 - -109. Solve -f*z + 6 = -4*z - 3*u, u + 2 = z for z.
0
Suppose 0 = -3*p + 3*t + 21, -21*p + 26*p = -2*t + 14. Solve -3*r - 12 = -4*b + r, -4 = -p*r for b.
4
Let v be (-4)/(120/10)*(-1 - 20). Solve 5*k + 0*l + 2*l + v = 0, -4*k + 8 = 5*l for k.
-3
Suppose 3*n + 0*a + 2*a - 11 = 0, -5*a - 35 = -5*n. Suppose -7*i + n*i + 8 = 0. Solve -3*u + 3 = 2*w + 3*w, 2*u = i*w + 2 for u.
1
Suppose x + 3*x - 4*l + 396 = 0, 3*x + 317 = -l. Let h = x - -108. Solve -r + 5*p = h*r + 10, -2*r - 1 = p for r.
-1
Let g(w) = w**2 - 6*w - 130. Let z be g(15). Solve 0*c - u = -z*c - 30, 0 = u - 5 for c.
-5
Suppose 67*w - 70*w + 9 = 0. Let a be w/(-4 + (-55)/(-10)). Solve -a*d - z - 4 = 5, 4*d