 + 6 for g.
3
Let x = 17 - 18. Let g be 222/8 - x/4. Solve -2*q = -3*u - 2, -2*u = q + 3*q + g for u.
-4
Let c be (1 + 0)/((-412)/68 - -6). Let f = c - -19. Solve -3*m + f*y = -3 - 7, 3*m - 13 = -y for m.
4
Let y = -83 + 89. Solve -4 = 5*u + 3*x + y, -5 = -u - 2*x for u.
-5
Let y = 122 - 120. Solve -11 = t - 3*t + 5*c, 2*c - y = 4*t for t.
-2
Suppose 4*t = -5*c + 96, 2*c - 4*t - 46 + 2 = 0. Suppose -24*x + c*x + 44 = 0. Solve 5*d - 20 = -5*l, 3*d - 2*d = 4*l - x for l.
3
Let w = 53 + -33. Let m = w - 17. Solve 3*l + 4 = -m*b + 7, 0 = 4*l + 3*b - 6 for l.
3
Let u(q) = -4*q + 4. Let p(g) = -5*g + 3. Let f(h) = 3*p(h) - 4*u(h). Let b be f(6). Let s be b/(3/(-6))*2. Solve -3*y = 2*y + s*o - 23, -4*o = -2*y - 2 for y.
3
Let u(y) = y**2 - 2*y - 2. Let f be u(-2). Suppose -2*r + 14 + f = 0. Solve 25 = -5*m - 3*d + 2*d, -2*m - 2*d - r = 0 for m.
-5
Let m = -23 - -25. Solve 13 = 3*i + 2*r, -i + 3 = -m*r + 4 for i.
3
Let m = -2 + 2. Suppose m*q + 15 = 3*q. Let g be (-116)/(-30) + 34/255. Solve y - q*w + 10 = -0*y, 2*w = 4*y + g for y.
0
Let m be 3 - 18/5 - 9/(-15). Solve -3*a - 5*b + 18 = m, -b + 12 = 3*b for a.
1
Let n(t) = t + 2. Let g be n(-1). Suppose -30 + g = -i. Suppose -5*a - 4*h = -37, -a = 4*h + 12 - i. Solve -2*d = -2*m - 4, -a*d = 12 + 3 for m.
-5
Let q(l) = l**2 - 2*l - 10. Let s = 6 - 10. Let b = s + 9. Let c be q(b). Solve -2*g - o + 11 = 0, 0 = -5*g - c*o + 20 + 15 for g.
4
Let s(b) = -b - 16. Let g be s(-16). Suppose 9*j - 48 = 6. Suppose g = -j*t + 2*t + 92. Solve 0 = -3*l - n - 10 - 7, t = -2*l - 3*n for l.
-4
Suppose -2*y - 16*z + 18*z + 10 = 0, -y = 2*z - 5. Let o = 10 - 4. Solve -3*q - 9 = -l - q, y*q + o = -3*l for l.
3
Let p be 3 + 3 + -6 - (-3 - -1). Solve -i - 4*a - p = 0, -2*a + 3*a = 0 for i.
-2
Suppose 7*x + 911 = 946. Solve 5*j = -3*h - 10, j + 4*j + x*h = 0 for j.
-5
Let h = -641 + 643. Solve 4*p - 4*f = 16, 5*p - 5*f - 22 = h*p for p.
-1
Suppose 8*j - 2*j = 0. Solve 2*o = 4*o - 3*r + 13, -3*o - 3*r + 18 = j for o.
1
Let y = -595 - -598. Solve -y*b - 4 = 5, -2*s = -3*b - 1 for s.
-4
Let z = -3069 - -3089. Solve -2*v + i + 2 - 6 = 0, -5*v + z = 5*i for v.
0
Let b be 7 - ((-93)/62)/(6/(-16)). Solve 0 = x - 0*x, 0 = 3*f + b*x + 6 for f.
-2
Suppose 28*f = 25*f + 138. Suppose f = -3*l + 124. Solve -l = -3*n + 3*u - 11, -5*n = -4*u - 24 for n.
4
Let o be ((-16)/6 - -1)/(5/75). Let k be 1/((-2)/(-2)) - 39. Let m = o - k. Solve 3 = x, -5*x = 4*l - 2*x - m for l.
1
Suppose 0 = 6*i - u - 68, -4*i + 27 = 4*u - 37. Solve 3*d = 3*z - 0*z + 27, 2*d + 4*z = -i for d.
4
Let f be (-171)/342*(-2)/(-2)*-10. Solve k + f*j - j - 3 = 0, -2*k = -j + 12 for k.
-5
Suppose 0 = -177*i + 175*i + 8. Solve 0 = 4*q + l - 15, -i*q + 2*l + 40 = 10 for q.
5
Let d(a) = -a**2 - 10*a - 4. Let c be d(-9). Suppose -20 = -z + c*p, -2*p - 8 = -4*z - 0*p. Let m = 23 - 21. Solve 0 = m*n + 4*o - 10, z*o - 4*o = -12 for n.
-1
Let i be (-104)/(-20) - 0 - (-7)/(-35). Solve 23 = 2*q - 3*s, 3*s = -q - 6 - i for q.
4
Let r(d) = d**2 - 5*d - 5. Let s be r(6). Let l be s/(-5)*(-89 + 4). Suppose 3*i = i - 3*o + 13, -2*i + 16 = 4*o. Solve -f = i*n - 5, -3*f + 4*n + l = 2 for f.
5
Suppose -t = -4 - 1. Suppose -c + 2*y + 1 = 0, -t*c - 2*y + 14 = -3*y. Solve -3*n = c*z - 4*n + 14, 0 = 5*z - 4*n + 28 for z.
-4
Suppose m - 3 = -5, 0 = 3*j + 4*m - 7. Solve 2*o - 10 = j*s + 1, 2*o - 1 = -5*s for s.
-1
Let b = -154 + 156. Solve -5*s - 2*r + 25 = 0, b*r = -5*s + s + 20 for s.
5
Let v(r) = -2*r**2 + 5*r + 16. Let f be v(4). Solve -5*x = -2*s + 22, -s - 11 = 2*x - f*s for x.
-4
Let s = 7 - 5. Suppose s*g - 48 = -2*g. Suppose -16 = -5*x + 3*f, -3*x + 2*f - 2 + g = 0. Solve 0*q = 5*q - x*w + 3, 2*q + 4*w - 18 = 0 for q.
1
Let c be (-4)/(-44) - 327/(-33). Suppose 0 = -3*y + 5*z - 7, -6*z = -4*z - c. Solve 3*f + 3 = -3*x, y*x = 4*x - 5*f - 11 for x.
2
Suppose 27*u - 102 = 6. Solve -4*i + 2*t - 28 = 0, 36 = -u*i + 5*t - t for i.
-5
Let f = -23 + 36. Suppose -3*m = 2*b + 7, b + 5*m + f + 8 = 0. Solve -l = -5*q + 3*q - b, 5*q = 5*l for l.
-4
Suppose 2*r - 15 = 13. Suppose 26 + r = 5*l. Solve -w - k + 0 = l, 4*k + 17 = w for w.
-3
Suppose 3*y - 4*m + 24 = 0, -11 = 5*y + m + 52. Let d(i) = -2*i - 24. Let p be d(y). Solve -2*f + 1 - 16 = 3*z, p = 3*f for z.
-5
Suppose 74*q - 82 - 140 = 0. Solve -29 = q*s + 4*r, -2*s - 3*s + 10 = -5*r for s.
-3
Suppose 3*u - 2 = -r, -3*u = -37*r + 39*r - 4. Solve -4*t + d = 1, -r*t + 25 = 4*d + 3 for t.
1
Suppose -15 = -8*u - 7. Solve 0 = l + 5*n + 21, -l = -2*n + u - 8 for l.
-1
Let h(l) = 7*l**2 - l + 1. Let g be h(-1). Solve 3*k + g = p, 15 = p + 12 for k.
-2
Let o = -720 - -722. Solve -2*q + y - 7 + o = 0, -y = -4*q - 11 for q.
-3
Let i(c) = c**3 + 6*c**2 - 10*c - 10. Let x be i(-7). Let u = 122 - 86. Suppose x = -5*f + u. Solve g - 3*m = 7, -f*g = -2*g - 2*m - 7 for g.
1
Let r = 1 + 22. Let x = r - 20. Let i = -54 + 59. Solve 10 = x*g + 2*v, 5 = i*g - 4*v - 19 for g.
4
Let r be ((-10)/3)/((-106)/159). Solve 0 = -2*h + 3*a + r, -4*h - h + 2*a - 4 = 0 for h.
-2
Let j be (-10)/(-2 - (-3 - 0)). Let v be (-296)/(-10) - (-6)/j. Suppose -24*t = -v*t. Solve 5*x - 4*x - 3*i + 11 = t, -3*x + 5*i = 17 for x.
1
Let p = 15 + -13. Suppose p*h = -3*w + 9, w + w - 3*h = 19. Suppose -7*x + 24 = -x. Solve 0 = -x*f, 2*y - 2 = w*f + 4 for y.
3
Let t = -12567 + 12578. Let b be (-3)/(-2)*4/3. Suppose -6*d - 15 = 5*q - d, b*d + 4 = -3*q. Solve 3*w + w - 5*m = -t, -w = -q*m + 5 for w.
1
Let z = -298 + 301. Let p be (-43)/(-5) - 24/(-60). Solve 0 = i - y + z*y - 5, -3*i - 3*y = -p for i.
1
Let v(k) = -k - 14. Let h be v(-16). Let f be 3 + (-3 - -6) + -2. Let u = -4 + 6. Solve 2 = -4*m + 5*t - h*t, -u*m = -f*t - 4 for m.
-2
Let m = 21 - 21. Suppose -4*w + m = -12. Suppose 3*t = -4*y + t + 20, 2*t = w*y - 15. Solve 2*s - f - 3 + 10 = 0, -y*s = -4*f + 25 for s.
-1
Let i = 16 + -5. Solve 3*y + 5*p = -i - 1, -2*y - 4*p - 10 = 0 for y.
1
Suppose 0 = -172*g + 169*g + 102. Let t = g - 29. Solve 4*l = t*p + 16, -p + 12 = 4*l - 5*p for l.
-1
Let h be (-1440)/(-176) + 4*2/(-44). Solve -m = d + 5, d + 3*m - h = -21 for d.
-1
Suppose -2*g = -g - 40. Suppose -4*a - a = -g. Let z be a/(-5)*(-5)/2. Solve i - 5*i + 4*l = -z, 2*i + l = -1 for i.
0
Let o be 4 + 0*(-4)/(-16). Let t be (10/(-25))/((-2)/10). Suppose -d + 2*d - t = 0. Solve 0 = 3*g + 4*h - 16, -18 = -o*g - d*h - 0 for g.
4
Suppose 0 = 4*l + 10*w - 5*w - 16, -2*l = 3*w - 8. Solve -y + 6*y - 16 = 2*q, -2*y = l*q + 8 for y.
2
Let o(z) be the second derivative of -z**3/6 - z**2 - 20*z + 2. Let y be o(-2). Solve -4*u + 4*w - 24 = 0, -4*u + 2*w - 1 - 17 = y for u.
-3
Suppose -6*a + 152 + 16 = 0. Suppose 2*d + 2*d = a. Solve 0 = 5*q - w - 5 - 6, -d = 3*q - 4*w for q.
3
Let u be -3 - 5/((-10)/36). Let b = u - 29. Let q be 0 - (b - (-3 - 0)). Solve a = -2*a - o + q, 0 = -3*a + o + 19 for a.
5
Let p be 5/3*(-3 + 6). Solve 3*k + 8*q - 3 = p*q, -q = 2 for k.
3
Let q = -15 + 37. Suppose 5*h = 23 + q. Suppose 5*w + 1 + 0 = -n, -26 = -4*n - 5*w. Solve 5*p + f + h = -f, 0 = -p - 4*f - n for p.
-1
Suppose -x - 10 = -3*r, 4 = 4*r - x + 2*x. Suppose -3*a + 10 = -r*a. Let o = a + -5. Solve 2 = q + j, 2*q = -0*q - o*j + 1 for q.
3
Let d = -6 + -7. Let h(n) be the second derivative of -n**5/20 - n**4 + 2*n**3 - 4*n**2 + 14*n. Let y be h(d). Solve t - 3*b + y*b - 3 = 0, b = 4*t - 12 for t.
3
Suppose -4*q - q + 31 = -3*y, -5*q - y = -23. Suppose 0 = 5*j - 5*v + 7 - 17, 8 = -q*j - 4*v. Solve j = 2*h - 2*d + 3*d + 6, 4*h = 4*d - 12 for h.
-3
Suppose -5*i + 21 = 5*q - 2*q, -3*i - 4*q = -6. Suppose -d - 135 = -4*d + 3*s, 57 = d - 5*s. Suppose 3*v - d + i = 0. Solve 5*a - v = 3*w, a - 4 = w - a for w.
-4
Let c be 4/(-10) + 189/(-15). Let k = 10 + c. Let n be ((-20)/12)/(k/9). Solve -2*f = -0*f - 4*b - 14, -n*f - 5*b + 20 = 0 for f.
5
Let t be (-40 - -43) + 2 + 0. Solve -22 = -2*o - 4*g, t*g - 4 = -3*o + 26 for o.
5
Let c(p) be the second derivative of -p**4/12 + p**3 + p**2 - 6*p. Let m be c(6). Suppose m*f + 2*f = 60. Solve 3*l = -v - f, l = 5*v - 0 - 5 for l.
-5
Suppose 0 = 3*t + 12, 4*r + 2*t = -3*t - 4. Solve -2*s = -6, 0*j - r*j + 5*s - 31 = 0 for j.
-4
Let r be 26/(-143) - (-168)/77. Solve -w + 5*g = -6, -r*w - 2*g - 14 = g for w.
-4
Suppose 2*l = -0 - 6, -49 = -4*x - l. Suppose -4*j = -3 - x. Solve -8 = -3*o + 2*t - 2, -4*t = j*o - 28 for o.
4
Let n(k) = -