 g for j.
0
Let w = -25 - -27. Suppose -2*k - 8 = -4*s, -4*k - 3*s = -1 - 27. Suppose k*j = w*j + 42. Solve 3*a = 2*x - 5*x + j, 5*x - 3*a - 19 = 0 for x.
5
Let v = 16 + -18. Let p be v/(((-7)/15)/7). Let r = p - 7. Solve -5*o - b - r = 0, 2*o = -2*b + 7 - 21 for o.
-4
Let c be (1/3)/(2/54) + 1. Suppose 4*u = l - 0*u - 5, 2*l = -2*u + c. Solve l*v = 20, -4*h + 2*v = -0*h + 16 for h.
-2
Suppose -6*l - 22 = -88. Solve -4*s - 3*y - 2*y = -17, -2*s - 3*y = -l for s.
-2
Let g = -237 - -237. Solve -4*i + 8 = g, -2*i + 4 = -5*h + 5 for h.
1
Let b(w) = -32*w - 316. Let i be b(-10). Solve 4*m = s - 3, -m + i = -2*s - 3*m for s.
-1
Let r be (-2)/(-8) + ((-14)/(-8) - 0). Suppose -3*d - 7 + 1 = 0, -6 = r*p + 5*d. Solve -4*k = 0, -2*y - p*y + 4*k = 20 for y.
-5
Suppose -2*r - 2 + 0 = 4*m, 4*r + 4 = m. Solve l = -h - h - 3, m = -2*h - 5*l + 1 for h.
-2
Suppose 6*k = 2*k + 12. Suppose -39*x + 38*x = -3. Suppose -q = 3*y, -q = 4*y + x*q. Solve 3*i - 5*l - 14 = y, 5*i - k*l = i + 15 for i.
3
Let y(s) = s**2 + 2*s - 3. Let b be y(-4). Suppose 0 = k - 3, i + k = b*i - 17. Suppose -45 = -2*c - 41. Solve 2*j + 2 = q + j, i*j = -c*q + 4 for q.
2
Suppose 0 = n - 2, 4 = 4*t + 2*n - 0*n. Solve 4*o + 13 = -t*o - 3*b, 0 = o - 3*b + 7 for o.
-4
Let m(j) = -2*j**3 - 83*j**2 - 40*j + 45. Let r be m(-41). Solve -4*y - 25 = 5*o, 5*o = -r*y + y - 20 for y.
-5
Let m = 14 + -10. Suppose -3*h - 9 = -3*z, -m*z - 2 = -h - 8. Let f be h + 4 - (1 + -2). Solve -4*v = -2*u - 12 - 6, f*v + 3 = -4*u for u.
-3
Let j = -14 - -20. Let x be 4/(-3)*(-9)/j. Solve -2*f - x*o + 3*o = -7, o - 23 = -4*f for f.
5
Let i be (5 + (11 - 4))/((-2)/(-1)). Solve i = -3*x - 3*h, 3*x + 4 = h - 10 for x.
-4
Let y be (-740)/(-75) - 6/(-45). Solve 10*r - 5*r + 5*j - y = 0, -3*r + j = 14 for r.
-3
Let h = -417 - -405. Suppose 4*y + 0 = -96. Let k be ((-4)/h)/((-4)/y). Solve -k*g - 3*g = 3*x, -3*x = -g + 18 for g.
3
Let v(u) = -2*u**2 + 16*u + 18. Let w be v(9). Solve w = 2*y + y - 4*p - 17, 2*y = 5*p + 23 for y.
-1
Suppose 17 = -3*n - 5*h, 5*n + 3*h + 0*h + 23 = 0. Let w be 0 + (-1 - -2) - n. Solve -3*t - 3*v = -0*v, t - w*v = 30 for t.
5
Let j(t) = 3*t**2 + 17*t - 108. Let z be j(4). Solve -9*c + z = -10*c - f, -2*f = 8 for c.
-4
Let c = -159 - -161. Solve 2 = -0*x - c*x - 2*g, 8 = -4*g for x.
1
Let y be 140/(-455) + (-86)/(-26). Solve y*g = -2*v - 5, 3*v + 4*g = 3*g - 11 for v.
-4
Let o = 29 - 30. Let i(k) = -4*k**3 - k**2 - 2*k. Let d be i(o). Solve 0 = -2*a + 6*a - d*t + 28, 0 = a + 2*t - 6 for a.
-2
Suppose 3*s - 8*s + 25 = -5*y, -5*s + 21 = -3*y. Let b = s - -1. Solve b = -2*n - 2*i, -3*n - 1 = -0*i + 2*i for n.
3
Suppose 4*h - 4*n - 32 = 0, -46*h + 47*h = 4*n + 23. Solve p + 2*z = -4*p - 8, p - h*z = 12 for p.
0
Suppose 84*w + 8 = 92*w. Solve -s - g = w, 2*s - 16*g = -12*g - 8 for s.
-2
Let p = 32 + -32. Suppose 3*g - g + p*g = 0. Solve -4*k - 3 + 11 = g, -s + 13 = 5*k for s.
3
Suppose 13 = -20*x + 33. Solve -2*c - x = -5*c - s, -5*c = s - 5 for c.
2
Let o(a) = -6*a - 15. Let n be o(-6). Suppose y = -4*z + n, -2*y - 4*z = -6 - 24. Let k be 0/2 + 1/1. Solve 2*g + 2*g - y = -5*p, 5*g = 4*p + k for g.
1
Suppose -3*j - 2*v + 13 = -0*j, 5*j + v = 24. Suppose 5*a - 23 + 6 = -c, 0 = 5*c + j*a - 25. Suppose 7 = c*n - 3. Solve -h - 7 = -x, n*h + 3*x + 3 = -8 for h.
-4
Let t(y) = 2*y**2 - 4*y - 1. Let u be t(3). Let h(c) = -c + 5. Let o be h(u). Solve -r - 4 = -3*d, o*r + 7 = -d + 2*r for d.
3
Let b(m) = -m**2 + 10*m - 12. Let f(y) = y + 13. Let j be f(-5). Let v be b(j). Solve -2*q + x + 4*x = -15, 3*x + 35 = -v*q for q.
-5
Suppose -g + 3*n = -10, -4*n + 3 = 4*g - 5. Solve 0 = 2*s - 2*i - 5 - 9, -2*s = -g*i - 18 for s.
5
Suppose -k = 2*o - 3, 43*k - 44*k + 3 = 4*o. Solve 5*s + 1 = -y - y, 0 = 3*s + 2*y + k for s.
1
Let i(c) = -3*c + 6. Let k be i(-5). Suppose -6 = -3*q + 3*n + k, 5*n + 17 = -2*q. Solve 11 = r + 2*v, 3*v - 14 = -q*r + 5 for r.
1
Let j be 1/(-4) + ((-135)/(-12))/5. Let h(n) = -n**3 + 3*n**2 + 2*n - 1. Let z be h(j). Solve z + 8 = -5*u, 3*u + 21 = -4*d for d.
-3
Let p(i) = i**2 - 12*i + 34. Let z be p(8). Suppose 0 = -z*q + 4*q - 24. Solve -3*f = q, 5*k - f = -3*f + 2 for k.
2
Suppose -w = 3*u - 3*w + 56, -u - 3*w = 37. Let f = 24 + u. Solve 3*k = 2*k + 2*z + 11, 0 = f*z + 10 for k.
1
Let p = -26 - -30. Suppose -2*l = -4*g + 2, p*l - 1 - 4 = -g. Let m be g/2*(5 + -5). Solve -2*r = 5*i + 4, m = 2*r - 4*r + i - 4 for r.
-2
Suppose 0 = 3*r + 2*s - 110, 3*r + 4*s - 7 - 93 = 0. Let v = r - 24. Solve 3*k - k + 2*i + v = 0, 13 = -5*k + 4*i for k.
-5
Let p(q) = -q**2 + 26*q + 251. Let x be p(33). Solve -r + 2 = -f - 1, 0 = 2*r + 5*f - x for r.
5
Let u = -5 - -8. Let n = -12 + 15. Let d(i) = -i**2 + 12*i + 5. Let o be d(12). Solve u*l = 5*g - n - 1, o*g - 7 = 4*l for g.
-1
Suppose 434 = 13*n + 49*n. Solve 0 = o, -n*x + 3*o - 25 = -2*x for x.
-5
Suppose 6*x - 117 = -87. Solve -2*j = 3*h + 7, 30 = -x*j - h + 6*h for j.
-5
Let i be (-54)/(-15) + (-9)/15. Let v(u) = -u**2 - 6*u + 5. Let a be v(-6). Suppose -6*q + q = -a. Solve -n - 6*o - q = -i*o, 2 = -n - 2*o for n.
-4
Let l = -1 - -4. Suppose -13 = -l*r + g, 2*r - 14 - 8 = 4*g. Let j = -11 - -13. Solve f - j = s - r, -3*f = -s - 5 for f.
3
Let i = -11 - -9. Let h be i + 4 - (4 - 5). Let v(x) = x**3 + 3*x**2 - 5*x - 1. Let y be v(-4). Solve -2*a - 15 = y*r + 2*r, -a = h*r + 8 for r.
-1
Let h = 48 + -90. Let j be (17/3)/((-14)/h). Solve -5*u = -f - 20, -3*u = -5*f - j + 5 for u.
4
Let b(f) be the second derivative of -f**3/6 - 4*f**2 - 2*f. Let w be b(-8). Suppose 0 = 2*y - w*y - 8. Solve -5*p - 12 = y*j + 20, -2*j + 3*p = -6 for j.
-3
Let s = 17 + 13. Suppose 3*p + 2*m = 3*m - 42, -3*p - s = 3*m. Let b = p - -21. Solve -1 + b = n + 2*r, -3*r = -n - 18 for n.
-3
Let t(v) = -8*v - 2*v + v**2 + 9*v. Suppose -5*j = 3*z + 6, -3*z + 15 = 2*j - 4*j. Let k be t(z). Solve 3*h = 3*o - k*o - 24, 3*h = o - 4 for o.
-5
Let t be 0 + 1 + (-8 - -11) + -1. Solve 4*v = -r - 2*r + 15, -3*r = -t for v.
3
Let j(q) = -q**2 + 4*q + 8. Let r(w) = -w**2 + 4*w + 7. Let h(a) = 3*j(a) - 4*r(a). Let p be h(5). Solve f + v = -0*f - 1, -f - 3*v - p = 0 for f.
-1
Let f(q) = -7*q + 177. Let h be f(25). Solve 3*b = 3*r + 24, -4*b + 37 = -3*r - h*r for b.
3
Suppose 3*g + 9 = -d + 20, 5*d + 9 = g. Solve 0 = -c - 4*o - 16, -3*o + 1 + 6 = -g*c for c.
-4
Suppose -5*s + 1 = -14. Suppose -b = -0 - s. Let z be (-1)/b*(5 + -20). Solve 2*x + 2 = -3*c - 23, x = -z for c.
-5
Let j(g) = g - 3 - 2 - g**3 - g**2 - 3 + 10*g**2. Let d be j(9). Let m be d/(4 + (-11)/3). Solve f + 3 = m*k, -6 = -4*k + 2 for f.
3
Suppose -4*i + 1 = 97. Let w be (-45)/(-4) - (-6)/i. Let n = w + -7. Solve k - 1 = 0, -n*f + k + 2 = 3 for f.
0
Suppose 0 = -4*t, 6*i - 8 = 2*i - 2*t. Suppose -4*f = -9*f - i*j, -f + j + 7 = 0. Solve -5*d = -2*o + 17 - f, -2*o + 4*d = -10 for o.
-5
Let d(g) = g**2 - 10*g - 40. Let o be d(13). Let j be ((-8)/(-48) - (-2)/(-12))/o. Solve j = -2*w + 5*i - 8, -12 = 4*w - w + 2*i for w.
-4
Suppose 4*d + s - 1 = -0*s, 4*d - 7 = s. Solve 0 = p + 2 - d, 5*j - 2*p = 7 for j.
1
Suppose 0 = -2*k - 2*h + 14 - 4, -k - 4*h = -11. Let v = 28 - 31. Let w be 12/v + 11 + -4. Solve 0 = 2*d + k*j + 23, -w*j + 1 = -5*d + d for d.
-4
Let g = -146 + 262. Let s = 116 - g. Solve -5*p + s*p = 2*h, 4*h = -p for h.
0
Let i = 22 - 28. Let g be 24/15 - i/15. Let l be (-11)/(-44) - 15/(-4). Solve 0*a + 2*u = g*a + 2, 0 = -l*a - 3*u - 25 for a.
-4
Suppose -3*k - 5 = -3*r + k, 2*k = -2*r - 6. Let m be -2 - (r + -3) - -26. Solve 3*g - 3*c = -g, 0 = 4*g + 4*c - m for g.
3
Let h(f) = -f - 5. Let x be h(-8). Let a be x*((-1)/(-3))/((-1)/(-2)). Solve -a*w - p - 23 = -8, -4*p = -w + 15 for w.
-5
Let s(t) = t**2 - 9*t + 12. Let h be s(8). Suppose -2*a + h*c + c + 2 = 0, 0 = a - 3*c. Solve -4*g - 4 = -4*q, 4*q + 3*g - a = 19 for q.
4
Suppose 0 = -0*c + 3*c - 9. Suppose 4*l - 29 = 31. Suppose 18*i = 21*i - l. Solve -2*t + i*t + 5*r = -34, -3*t = -c*r - 6 for t.
-3
Suppose 2*a = 2*i + 4, -10 = -a + 2*a + 5*i. Suppose -14 = -n - h - h, a = -3*n + 4*h - 8. Solve -5*z - 25 = 3*v - 8*v, -n*z - 23 = -5*v for v.
3
Suppose 2*a + 4*r + 20 = 0, -37*r + 24 = -3*a - 40*r. Suppose -4 = 4*o + 5*u + 7, 0 = -o - u - 3. Let d = o - a. Solve d*n + n + 1 = 2*i, -2*n = -3*i + 4 for i.
2
Let t = 42 + -71. Let r = -29 - t. Solve r = -2*q - 0*h + h + 5, 5*h = 4*q