 r = 5*h for o.
-4
Let f be 1/2*(-1 - -39). Let r(p) = -69*p - p**2 - f + 2*p**2 + 60*p. Let m be r(11). Solve -2*g + 2*j = 2, 0*j - 3 = m*g - 2*j for g.
-1
Let h(q) = 2*q**2 + 15*q - 17. Let s be h(-7). Let n = -21 - s. Solve n*j - 13 = -3*c - c, 0 = 3*j - c - 8 for j.
3
Suppose -8 = -3*l - l. Suppose -l*o - 2*o + 4 = 0. Solve -3*a + 16 = -v, -7 = -2*a + o for v.
-4
Let n = 144 + -144. Suppose -x + 27 = -5*s + 87, -s - x + 18 = 0. Suppose n = s*w - 18*w. Solve b - 2*a = w, -a - 3 = 4*b + 6 for b.
-2
Let r be (1/2)/((-13)/208)*-1. Suppose 4*w + 2*s = 82, r*s - 62 = -3*w + 6*s. Solve 17 = 3*v - 5*m, -4*v + 3*m + m = -w for v.
4
Let o be 332/14 - 32/(-112). Solve 4*t + j - o = 0, 4*j + 5 = 5*t - j for t.
5
Let d(q) = q**2 + 4*q - 9. Let f be d(-7). Suppose f = s + 3. Solve 3*y - 4*m = -s*m - 24, 0 = 4*y + 3*m + 21 for y.
-3
Let w(t) = -t + 39. Let i be w(37). Solve 2*g = -5*r - 21, i*r + r + 3*g = -18 for r.
-3
Suppose 3*p + 14 = -10. Suppose -12 = 7*w + 2. Let x be ((-2)/(-8))/(w/p). Solve -h - x = 2*c, -3*c + 5 = -h - 7*c for h.
3
Let q = 9 + -4. Let r(x) = -x**2 + 4*x + 26. Let j(a) = -a + 3. Let p be j(-4). Let y be r(p). Solve -q*d - 20 = 0, 2 = -u + d + y for u.
-1
Let x be (-2)/(-13) + 36/(-234). Let d = -6 + x. Let q(z) = z**2 + 6*z + 4. Let p be q(d). Solve -2*n = -2*t - 14, -2*t + p*t = -2*n - 2 for n.
3
Let w(y) = y**2 + 36*y + 262. Let t be w(-26). Solve -t*b - 6*s + 10*s = 14, 0 = 4*b + 3*s - 16 for b.
1
Suppose -18 = 5*v + 3*f, 4*v + 3*f - 4 = -16. Let i be 0 - -3*v/(-9). Let o be 3 - (-6)/i*-1. Solve 2*r + 4 = 3*z - 6*z, -5*z + 3*r - 13 = o for z.
-2
Let t = -326 - -332. Suppose -5*b + 0*b + 9 = -h, 2*h - 2 = 0. Solve 5*x - t = -b*o, x + 2*o = o for x.
2
Let l be (-4 - (1 - 0))/(385/(-154)). Let a = 6 - 4. Solve 1 = -0*t + 5*t + a*j, l*j - 2 = -4*t for t.
-1
Suppose 5*g + 65 = -l, 4*g = 3*l - g + 175. Let v be l/(-75) - (-6)/5. Solve n + v*s + 11 = 0, -1 = -5*n - 0*s + 4*s for n.
-3
Let k(a) = -8*a + 74. Let f be k(20). Let p = -83 - f. Solve -4*j - 11 = -d, 2*j + p*j = d - 14 for j.
-3
Let i be -5*3/(-2)*26/39. Solve -2*g - 3*s + i*s - 6 = 0, -6 = -2*s for g.
0
Let x = -449 - -456. Solve -7*l + x = 2*r - 4*l, -4*r = -2*l + 26 for r.
-4
Let m be (-13)/(-3) - 1/3. Let a be (-242)/99 + (-4)/(-9) + 5 + -3. Solve a = -5*t - 4*f - 4, -2*f - 9 = m*t - 1 for t.
-4
Let n be (1/3)/(2/18) - 6. Let q = -1 - n. Solve -4*l + 4*s + 10 = 2, q*l - 7 = 3*s for l.
-1
Let m(x) = 2*x**3 + 6*x**2 + 17*x + 29. Let o be m(-2). Solve 8 = -2*a + 4*b, 3*b = -o*a + 4*b - 2 for a.
0
Let x(a) = -6*a**3 + a. Let t be x(1). Let w be (-1)/t - 44/20. Let h be (3 + -1)/(w/(-5)). Solve z - 18 = -4*f, -5*z + h*f = f + 6 for z.
2
Let d(x) = 2*x + 11. Let w(s) = -s - 5. Let c(o) = -3*d(o) - 7*w(o). Let i be 27/12*16/12. Let h be c(i). Solve 7 = a + y + 3, -2 = a - h*y for a.
3
Suppose -5*m = -8 - 2. Suppose -7*c - 25 = -m*c. Let h = 7 + c. Solve 2*p + h*q + 8 = -2*p, -p + q + 4 = 0 for p.
0
Let y = 1688 + -1683. Solve 0 = 4*m + 2*k + k + 5, y*k = -5*m for m.
-5
Let z = -814 - -836. Solve 8*y + 31 = -2*d + 3*y, 0 = -d + 5*y + z for d.
-3
Let y be (-4)/22 - (-70)/22. Suppose y*r = -r. Solve 5*t + r*t = -z + 14, -2 = 2*z - 5*t for z.
4
Let j be ((-2)/4 - (-26)/156)*-9. Let l(h) = -h**2 - 5*h - 4. Let s be l(-4). Solve 4*b - 5*b + j*c + 3 = s, -3*b - 3*c - 3 = 0 for b.
0
Suppose 4*s = -0*u + 5*u - 22, -2*s = 3*u - 22. Let z = 9 - u. Let m = -19 + 27. Solve -2*h + 3*k = -3*h + m, z = k for h.
-1
Let y be (-8162)/210 + 4/(-30). Let n = y + 44. Solve l - 21 = -6*g + 2*g, n*g = -5*l + 30 for g.
5
Let g be (-4)/22 - (158/(-22) + 3). Solve g*f + 16 = -j, -4*f - j = j + 12 for f.
-5
Suppose -2 - 7 = -3*b + s, 0 = b + 3*s - 13. Let z be -2 + 6/4 - (-10)/b. Solve -18 = -5*q + z*i, 5*q = 4*i + 6 + 20 for q.
2
Suppose 3*n - 4*w + 10 = 0, -3*w = n + 4*n - 22. Suppose -n*l - 6*y + 5*y = -5, 4*y - 8 = -5*l. Solve -j - l*j + 2*q + 17 = 0, 4*j - 14 = 2*q for j.
3
Let z(j) = j. Let w = -5 + 2. Let b(l) = l**3 + 3*l**2 - 2*l - 3. Let v be b(w). Let a be z(v). Solve 2*t = -a*u - 2*u + 3, -2*t + u + 9 = 0 for t.
4
Let r(y) = -y**2 + 3*y + 12. Let d be r(5). Suppose d*n = -2*n + 64. Suppose 0 = 3*s + s - n. Solve -5*v + s*b = 37, 0 = -4*v - 0*b + b - 23 for v.
-5
Let o be (-99)/(-66)*(2 - 0). Solve 0*d + u + 11 = 4*d, -5*u - 4 = -o*d for d.
3
Let r = -17 + 25. Let u = r + -11. Let v be (-5)/5*(-1 + u). Solve 0 = v*k - 3*q + 10 + 7, 3*k + 3 = -q for k.
-2
Let q(c) = -12 + 29 - 5 - 5 - c. Let n be q(4). Suppose 2*j = 2*w + 12, -2*j + 4*w + 33 = n*j. Solve 0 = -2*x - 8 - 0, 0 = 3*u + 3*x + j for u.
1
Let t be (4/5)/(7*(-2)/(-35)). Suppose k - t*o = -3, -k - 11 = 4*o - 20. Solve w = -n - 7 + k, n = 4*w + 19 for w.
-5
Let d = 59 - 55. Solve 0 = 2*t + 8, 0*t + d = 3*g + 2*t for g.
4
Let y(c) = 9*c - 11*c + 0 + 2. Let l be y(-2). Suppose -l*r = -8*r + 6. Solve 3*j = r, -5 = -3*o - 0*j - 5*j for o.
0
Suppose 0 = -11*i + 63 + 47. Solve -2*n + 6*s = 2*s + i, 3*n + 5*s - 7 = 0 for n.
-1
Let v(g) = g**3 - 3*g**2 + 4*g - 2. Let c be v(2). Suppose k + c = 3*s, -k = -0*k - 5*s + 4. Solve 4*a + z = 5, -z = a - k - 1 for a.
1
Let k = -1 - -4. Suppose -k*m + 2*m = -2. Let p be (1 - 2)/((-2)/8). Solve 6*j - 3*j = m*s - 8, p*s - 16 = 3*j for j.
0
Suppose 130*w = 131*w - 10. Suppose -q + 3 = -6. Let t = w - q. Solve 3*p = -4*d - 15, -3*p - p = -d + t for p.
-1
Suppose -36 = -6*g - 12. Solve -7 = 5*d + g*k, d + k = -3*d - 10 for d.
-3
Let o be 0*(12/4)/6. Suppose c + 6*c = o. Suppose 2*v + 16 = -d + 5*d, 2*d - 5*v = c. Solve -d*u + 4 = -5*x + 24, -4*x + 16 = 2*u for x.
4
Suppose -400 = -59*i + 13. Solve 6 = 3*o - 3*g, 9 = i*g - 4*g for o.
5
Suppose -d + 0*d = 6. Let m(w) = w + 16 + 4 + 7 - 19. Let r be m(d). Solve -b = r, -k = -5*k - 4*b - 8 for k.
0
Suppose -8*h = -7*h - 112. Suppose 76 = 4*s - 3*k, -17 = 5*s - 2*k - h. Solve -4*f + s = 3*l, 0*f = l + 2*f - 9 for l.
1
Suppose -5*d = -7*x + 4*x - 8, 0 = 5*x - 20. Solve -2*a + 18 = -2*f, a - d*f + f = 17 for a.
5
Suppose 0 = -6*a - 31*a + 666. Solve 3*s + a = -2*s - g, 0 = -4*s + g - 9 for s.
-3
Suppose 2*c + 5*a = -6, -3*a = -3*c - a - 9. Let m be 2/c - 70/(-6). Let r = 16 - m. Solve 0 = 2*x + 4*u + 18, 5 = -r*u - 15 for x.
-1
Suppose -3*w + 6 = -4*t + 26, 0 = 5*t + 5*w + 10. Suppose 0*o - t*o + 6 = 0. Solve -2*u - 23 = -5*p, o*u - 4*p = -2*p - 18 for u.
-4
Let x(c) = 2*c**2 - 2*c. Let y be x(-1). Suppose -4*f + 36 = y*t, -3*f + 1 = -3*t - 2. Let u = -9 + 24. Solve -s - 12 = -f*s - 5*w, -5*s + u = -3*w for s.
3
Suppose 4*n - 3*n + 4*k = -3, -3*n - 3*k + 27 = 0. Let v(h) = -h + 17. Let f be v(n). Suppose f*y + 29 - 41 = 0. Solve -p - u = -2*p - y, -2 = -u for p.
-1
Suppose 3*f - 2*a = -f + 18, -6 = f + 3*a. Solve -11 + 6 = -2*l + f*y, -3*l - 4*y = -16 for l.
4
Let l = -188 - -191. Solve -h - a + 10 = -l*h, -2*h + 5*a = 10 for h.
-5
Let s be 20/6 - ((-40)/(-12))/(-5). Let d = s + 8. Solve 4*n - 34 = -5*c - 8, -3*n = -d for c.
2
Suppose -2*u + 10 = -8. Suppose -p = -u + 5. Solve 3*n = 3*w - 15, -3*w + 6 + 9 = p*n for w.
5
Let q(g) = -g**2 - 9*g - 13. Let n be q(-3). Solve 0 = 2*v + 5*i + 19, -n*i - 20 - 8 = -v for v.
3
Suppose -2*q - 3*q = 3*i + 5, -5*q = 2*i. Suppose 2*y - 3*x = 0, 0*y + 3*y = x. Let v = 3 - y. Solve -l = -3*c + 4, -8 = 2*l - q*c + v*c for l.
-4
Let s(b) = b**2 - 11*b - 4. Let k be s(12). Solve -4*y + 4*t + k = 0, -4*t + 1 = 9 for y.
0
Suppose 515*y - 514*y - 9 = 0. Solve -a = 2*i + 14, -i + y = -5*a - 6 for i.
-5
Let i = 5 + 0. Solve t - 3*t - 2 = p, -2 = i*p + 2*t for p.
0
Suppose -14 = -4*q - 2. Solve 0 = a - u + 6, q*a + 2*a = -2*u - 9 for a.
-3
Let l = 69 + -34. Let w be 161/l + (-4)/(-10). Let b = 3 - 1. Solve b*f + k + 4 = 0, -4*f - k = 15 - w for f.
-3
Let i(m) = -31*m. Let x be i(0). Solve x = 4*z - 4*u + 40, u - 15 = -z - 3*u for z.
-5
Let s(j) = j**3 - 46*j**2 + 88*j + 2. Let x be s(44). Solve -5*m - 19 = x*b, 1 = m + b - 3*b for m.
-3
Let a = -92 + 95. Solve -a*f = -6*f + y - 6, -4*y - 12 = 0 for f.
-3
Suppose -13*w + 185 = 16. Solve 4*d = -k - 3 + 17, -3*d + w = 2*k for d.
3
Suppose -z = -29 - 1. Suppose 5*n = -10 + z. Solve -l - 4 = 5*m - 0, m + n = -l for l.
-4
Let i(h) = -h**2 - 3*h - 2. Let z be i(-4). Let k = 59 + -58. Let t be -2*k*9/z. Solve -3*l - 24 = -2*s - 3*s, -t*l + 3*s - 18 = 0 for l.
-3
Suppose 5*a = 4*a - 3*i - 7, -