g + 0*g = -4*s - 12 for g.
4
Let g(m) = 2*m**2 + 23*m + 67. Let p be g(-5). Solve 3*b + 1 = -5*l - 11, l + 5*b = p for l.
-3
Let c = -1489 + 1499. Solve 23 = 5*h + 2*w, 0*h = h - 5*w - c for h.
5
Suppose -4*l + 4*x + 152 = 7*x, 5*l - 179 = -x. Solve 3*o - 8*u = -13*u - l, 3*u + 32 = -4*o for o.
-5
Let j(t) = -6*t**2 - 4*t - 2. Let l(z) = 7*z**2 + 3*z + 3. Let y(k) = 6*j(k) + 5*l(k). Let c be y(-9). Solve 4*d + 21 + 0 = o, 2*d + c*o + 7 = 0 for d.
-5
Let o = -339 - -342. Suppose -4 - 2 = -2*j. Solve -21 = 3*l + o*r, 2*l + l - j = 5*r for l.
-4
Let k be 6/(-4)*8/(-6). Suppose k*h - 19 - 3 = 0. Let f = 13 - h. Solve -3*j + 16 = -2*d, 3*j - 2 = -7*d + f*d for d.
-2
Let u(x) = -x**3 - x**2 + x + 4. Let n be u(0). Solve -13 = -4*f + f - r, 4 = -4*f + n*r for f.
3
Let h(w) = 2*w + 1. Let i be (-3 + -3)*2/(-3). Let j be h(i). Suppose -683*m = -637*m. Solve 4 = -d + j, 3*z - d + 14 = m for z.
-3
Let l be 18*(24/9 + -3)*-1. Solve 3*g + o = 8, -4*g - l = -6*g - o for g.
2
Suppose 4*z = -2*z - 42. Let v = z + 13. Suppose u = -5*t + v, 3*u - 4*u = 2*t. Solve 5*j - 25 = 0, t*s + 3*s = 3*j - 15 for s.
0
Suppose 0 = 2*p - 4*p + 28. Let z = p - 9. Suppose -3*n = -z*n. Solve 5*b + 4*r - 2*r = -33, n = -2*r - 8 for b.
-5
Let a be (-132)/(-30) + (-4)/10. Let f(x) = 48*x - 190. Let y be f(4). Solve m - a*g = -g - 7, -4*m + y*g + 2 = 0 for m.
2
Let l = -16 - 0. Let s = l + 16. Solve k + 2*d - 1 = 0, 4*k - d - 4*d - 4 = s for k.
1
Let x(d) = d**3 - 2*d**2 - 4*d - 1. Let n be x(5). Let h = n + -52. Solve 2*w - 4*i - 10 = h, 4 = -2*i for w.
2
Let a be ((-75)/(-27) + -3)/((-4)/36). Solve -a*d + 3*d = 5*g - 3, 0 = 2*d + g + 6 for d.
-3
Let l = -260 + 263. Solve y - 2*s = 2*s - 20, l*y = -2*s - 4 for y.
-4
Suppose 0 = 7*n + 14 - 0. Let d(z) = -z**3 - 4*z**2 - 5*z - 1. Let h be d(n). Solve -4*i + h + 4 = r, i = r for r.
1
Let z(n) = n**2 + 13*n + 4. Let y be z(-13). Suppose y*h + 9 = 4*s + 3*h, 2*s + 5*h = -1. Solve -4*m + 12 = 2*k + s*k, -m + 9 = -5*k for m.
4
Let o be 1 - ((-6)/(-4))/(18/(-24)). Suppose 0 = -o*j - 16 + 28. Solve j*u = p - 13, 2*u = -2*u - 16 for p.
-3
Let n = -52 + 54. Suppose 2*s + 2*k = -2, -k - 3 = -4*s - n. Solve -3*r - r - 16 = -4*v, s = r + 2*v + 4 for r.
-4
Suppose -21 = 2*f + 4*j - 7*j, -5*j = f - 9. Let m be (6 + (f - 0))/(2*-1). Solve -5*v + v + a + 5 = m, -10 = -5*v + 2*a for v.
0
Let w = 43 - 30. Let q(f) = -f**2 + 14*f + 2. Let s be q(w). Let k = 19 - s. Solve -2*y + 2*z - 6*z = 22, -2*z = -k*y - 14 for y.
-5
Let n(k) = 18*k + 18. Let p be n(-1). Solve -v + 1 = 2*d, p = -2*v + 2 for d.
0
Let n be (48/4)/2 - (6 - 4). Solve 0 = l - n*a + 25, a = 4*a - 15 for l.
-5
Let r = -958 + 960. Solve 2*i + 5*f - 12 = 0, -2*f + 1 = -i - r for i.
1
Let r(b) = -b + 3. Let p be 19/6 + 2/(-12). Let n be r(p). Let a be (259/35 - 7)/((-3)/(-15)). Solve -s = y + 9, -s - 14 = -n*s + a*y for s.
-4
Suppose l + f - 5 = -4*f, 4*f = -5*l + 25. Solve 0 = 5*j + 4*v + 13, l*v = -4*j + 2*v - 11 for j.
-5
Let z = -193 + 198. Solve -5*k - 15 = -2*q, 0*q = z*q for k.
-3
Let q(i) = 2*i - 7. Let h be q(5). Suppose -h - 2 = -s. Let c(m) = m - 7. Let x be c(10). Solve -x*g + 4 = -0*g + s*y, 8 = g - 5*y for g.
3
Let p = -20 - -38. Let n be 76/p + 10/(-45). Let t be (40/1)/4 - 2. Solve -n*z + t = v + 20, 10 = -3*z - v for z.
-2
Let z(y) = -y + 11. Let f be z(8). Let j = 13 + -9. Suppose -2*k + 0*v + v + j = 0, -4*v - 16 = 0. Solve -f*a + 2*h - 13 = 0, h - 3 = -2*a - k*h for a.
-1
Let o(s) = s**3 - 3*s**2 + 2. Let p be o(3). Suppose -5*d + 134 + 46 = 0. Let u = d + -30. Solve j - 6*j + 17 = 2*v, -p*j = -u for v.
1
Suppose 0*v - 20 = -4*v. Suppose 0*x = 2*x. Suppose 3 = 4*z - v*q, x*z + 4*z = 2*q + 6. Solve -z*b - g = 13, -3*g = -0*b + b + 14 for b.
-5
Suppose 0 = -2914*v + 2923*v - 18. Solve -5*c + v*u = u + 19, 1 = 5*c + 4*u for c.
-3
Let c(b) = -b**3 + 5*b**2 + 3*b - 12. Let j be c(5). Solve 2*s - 25 = -3*r, 1 + 4 = -2*s + j*r for s.
5
Suppose 4*m - 12 = 2*w, 0 = 3*m + 2*m - 5*w - 10. Suppose 63 = -1216*o + 1225*o. Solve 4*y = -3*d + o*d + 16, -4*y + m = -d for y.
0
Suppose i - 13 = -4*d, -99 = -4*i + 3*d + 29. Solve -4*p + i = -j + 4*j, -3*j - 6 = -3*p for j.
3
Let r = -3072 + 3075. Solve 0 = -0*u - r*u - 4*l + 22, -4 = -l for u.
2
Let h(o) = o**3 + 25*o**2 + 25*o + 26. Let l be h(-24). Solve 3*m + 2*b = -0*b + 1, 5*b = -l*m + 19 for m.
-3
Let h = 6 + -11. Let l be (0/(-2))/(7 + h). Suppose l*m - 5*c + 11 = -2*m, 5*c - 7 = 4*m. Solve 2 = m*n + 2*s - 0, 5*n + 4*s - 5 = 0 for n.
1
Let u = 324 - 319. Solve -4*h = -u*y + 9, -5*h - 2*y = -0*y + 3 for h.
-1
Suppose 0 = -15*g + 85 + 155. Let f be g/((1 + -2)/(12/(-24))). Solve 3*q + f = 3*x + x, 0 = 3*q - 12 for x.
5
Suppose -13*j + 17*j + 21 = 5*a, 12 = -3*j. Solve 11 = -3*s - 4*g, -4*s - a - 16 = 3*g for s.
-5
Let c(p) = p + 10. Let h = 6 - -11. Suppose 1 = -n - 2*o, h = -2*n - 0*o + o. Let r be c(n). Solve 2 = r*u - 7, d + 4*u = 10 for d.
-2
Suppose 2*m + 14*m = 64. Solve m*h = 4*c + 5*h + 21, 5*h = -3*c - 37 for c.
-4
Let m(x) = x**3 + 19*x**2 - x - 6. Let z be m(-19). Let p = z - 3. Let d be 22/p + (-4)/20. Solve -s - 5*v - 3 = -v, d*s - 5*v + 6 = 0 for s.
-3
Suppose 0 = -d + 3*o - 7*o - 17, -4*d - 4*o = 8. Let z = d - 1. Suppose 0 = -4*y + 2*y + 10. Solve p - 13 = -y*t, t - 1 = z for p.
-2
Let f(g) be the second derivative of g**4/12 - 3*g**3/2 - 9*g. Suppose -27 = 4*l - 7*l. Let b be f(l). Solve 4*w + 5 = 5*p - 3, p + 2*w + 4 = b for p.
0
Let l = -98 - -101. Solve -d + 16 = 4*s, -l*d - 24 = -6*d - 4*s for d.
4
Let a = -33 - -43. Solve 4 = -3*f + 4*h - a, 2 = h for f.
-2
Let x = 111 - 111. Suppose -6*n = -x*n - 18. Solve 2*v = -5*c - 5, 5*c - n*v - 18 = 2*c for c.
1
Let l be 4/18 - (-4 - 60/(-27)). Solve 0 = -2*j - 5*n - l, -3*j = j - 4*n + 4 for j.
-1
Suppose k + 5*a = 17, 2*a - 3 = 3. Let h be -2 + (k - 4 - -28). Solve 0*p - 4*t = 4*p - h, 5*p - 27 = -4*t for p.
3
Let z(o) = -o**2 - 5*o + 8. Let b be z(-6). Let u(c) = -2*c + 3. Let y be u(b). Let s be 1*-4*(y - 3). Solve 6*f - 2*f - 4*v + s = 0, -3*v = 2*f - 2 for f.
-2
Let a(o) = -o**2 + 37*o - 149. Let q be a(31). Solve -b - 16 = -3*u, -5*u - b - 13 = -q for u.
5
Let h = 410 - 408. Solve 3*u = 4*a + 1, -h*u - 6 = a - 3 for u.
-1
Suppose -2*t - 84 = -14*t. Solve 8 = 4*v - 2*i, 4*v - 5 - t = i for v.
4
Suppose -4*c + 70 - 22 = 0. Let a = 12 - c. Let q be (a/(-1))/(4/(-2)). Solve -2 + 27 = 5*h, g - h + 3 = q for g.
2
Suppose -2*u + 5*u = 6. Suppose 0 + 2 = c - u*q, 0 = 5*c - 4*q - 10. Let t = 6 + c. Solve 5*y = -3*l - 14, -2*y = -4*l - 2 - t for y.
-1
Let l be 2/(-7) + 37/7. Suppose -b - w - 5 = -2*b, 0 = -3*b - w - l. Suppose v = 3*v. Solve -5*o - 2*a - a - 35 = v, b = -4*a - 20 for o.
-4
Suppose -5*j - 4*s = -38, 5*j - 15 = s + 13. Suppose -p + 2*p = 4*r - 3, -r = 2*p + j. Solve r = 3*h + 3, -k + 5*h = -3*k + 3 for k.
4
Let m(s) = -32*s - 189. Let v be m(-6). Solve -4*l - v*f - 27 = 0, 4*l - 3 = 2*f + f for l.
-3
Let k = -25 - -9. Let c = 18 + k. Suppose 7 + 31 = c*t. Solve 3*g + t = -3*y - 2*y, 0 = 4*g - 2*y - 18 for g.
2
Let f = -2428 - -2430. Solve -4*g - 8*i + 6*i - 16 = 0, i = -f for g.
-3
Let j = -29 - -41. Suppose 0 = 17*a - 20*a + j. Suppose -t + 18 = 5*n, -18 = -0*t - a*t - 2*n. Solve -4*f - 28 = 4*y, 2*y + 2*f = t*f - 2 for y.
-3
Let q(z) = z**2 - 6*z + 13. Let o be q(4). Solve -o*b - 4*j = -8, 0*j = -2*j + 4 for b.
0
Let t be 1 - 5/10*-2. Let w be ((0/((-9)/(-3)))/t)/(-2). Solve 4*u + 18 = -2*c, w*u = 3*u + 4*c + 21 for u.
-3
Suppose 4*i - 1 = -3*c + 4, 16 = 5*c - i. Let v be 20/6 - (-1)/(-3). Let u be (-1)/(v/(-48)) - 2. Solve -4*o + u = 2*z, -z + c*o + 2 = -0*o for z.
5
Let h be -6*1/(-3)*-2. Let z be (88/66)/(h/(-6)). Solve -2*v - 2*m = -m - 5, -z*m = 5*v - 12 for v.
2
Let c(s) = s + 1. Let n(l) = 9. Let g(q) = -c(q) + n(q). Let u be g(4). Solve -3 - 17 = -4*r + 4*j, u*j + 4 = 0 for r.
4
Let n be 52/12*-2 - 3/9. Let f(p) = -4*p - 24. Let t be f(n). Solve 9 = -2*v - l, 2*l - 5 = 3*v + t for v.
-5
Let q = -49 + 54. Suppose 20 = 3*h + m, 0*m = q*h - 2*m - 15. Solve -3*d - 13 = 2*x, 0*d - 22 = h*x - 3*d for x.
-5
Suppose q + 22 = -4*d + 3*d, 0 = 3*q - 3*d + 66. Let s = 36 + q. Solve 3*i + 0*i + u - 18 = 0, -3*u = i - s for i.
5
Let y(m) = 148*m**2 - 10*m - 11. Let h be y(-1). Let o = h - 144. Solve -5*w - o*p = 28, 2*w + 3*p + 18 = -w for w.
-5
Let t be (17 - (