3*x + 5*l - 19 - 1 = 0 for x.
0
Let k be (-2)/5 - (-1 - 9/(-15)). Solve -o + 2*m + 7 = k, o = -3*o - 2*m + 18 for o.
5
Let i(t) = -7*t - 188. Let k be i(-28). Solve -y + 4*z - k = 0, -2*z = -5*y - 4 - 0 for y.
0
Let i = 35 + -35. Solve i*k - 2*k = 5*z - 19, -k - 4*z = -14 for k.
2
Suppose 5*z = -0*z + 55. Suppose z*y - 95 + 40 = 0. Solve 5*h = 3*x - 26, -y*x - 10 = -0*h + 5*h for h.
-4
Suppose 0 = -2*r + 10*r - 160. Suppose 0*g = 4*l - 4*g - r, 0 = -5*l - 5*g + 35. Solve 0 = l*x - x - 2*p + 5, 3*x + 2*p - 13 = 0 for x.
1
Suppose 2*b = 2*g - 120, 0 = -4*b + 5*g - 269 + 30. Let s = b + 75. Solve -3*i = 3*h + 6, -44 + s = 5*h - 5*i for h.
-4
Let d(b) = -b + 2. Let k be d(-4). Let g be (k/4)/((-3)/(-6)). Let t(r) = 2*r + 2. Let z be t(2). Solve -3*x = p + z, -4*p - x + 1 = g for p.
0
Let d(p) = p**3 + 15*p**2 + 4*p + 62. Let z be d(-15). Solve -3*x + z*s + 2*s = 32, 5*x - 4*s + 40 = 0 for x.
-4
Let l = 76 + -52. Solve 4*z = -4*g - l, -7 - 7 = g + 5*z for g.
-4
Let h(t) = -11*t**2 - 39 + 0*t + t**3 + 3*t - 24 - 12*t**2. Let z be h(23). Solve 3*r = -r + 3*p + 9, z = 5*r - 2*p for r.
0
Let b(t) = t - 5. Let k be b(9). Let s be 216/k - 4 - -2. Let n be s/16 + (-12)/(-16). Solve -3*u - 4*g = -7*u + 24, 14 = -u - n*g for u.
2
Let k(n) = 7*n - 2. Let b be k(1). Suppose 4*t = -z + 12, 3*t + 1 = z + 10. Suppose 3*h - 4 = -h - q, -3*q = z. Solve p = b, -m = m + p + h for m.
-3
Suppose -2*u - 2 = -2*p - 32, u - 2*p - 15 = 0. Solve 3*j - 3 + 20 = -w, 5*w + u = -j for j.
-5
Let y(z) = -z**2 + 9*z + 4. Let x be y(9). Suppose -5 = 4*h - 5*a + 7, h - x*a + 14 = 0. Solve 2*p + h*u + 6 = -p, -2*p = -u - 3 for p.
0
Let u(n) = -2*n. Let z be u(-6). Let o(r) = r - 7. Let p be o(z). Solve -3*a + p*g - 11 = 0, 3*a - 3 = 2*a - 5*g for a.
-2
Suppose 4*a - 14 = 2*n, 2*a + 2 = 2*n - 4*n. Suppose 0 = -134*u + 469 - 67. Solve 5*s - 13 + 4 = -2*w, 0 = a*s - u*w + 4 for s.
1
Suppose -2*v - 12 = -2*w, 2*w = 3*v + 1 + 11. Solve -2*l + w*l = -5*p + 33, 4*l - 18 = -2*p for l.
2
Let a be (-48)/3*(-4)/8. Suppose -5*q + a = -7. Suppose -d - 4 = -q*d. Solve -d*j + 4*j - 4*x = -4, j - 4*x = -6 for j.
2
Let s be (-228 + 4 + -2)/(-2). Suppose s*u + 2 = 114*u. Solve -4*q = 2*k + 1 - 3, -5*q + u*k - 11 = 0 for q.
-1
Let j(x) = -11*x - 27. Let c be j(-5). Let s = c - 25. Solve -3*m = 0, 2*z - s*m = z for z.
0
Suppose -28*d + 22*d + 12 = 0. Solve 5*m = -5*w - 35, 10 = d*w + 3*m + 29 for w.
-2
Suppose 0 = 5*n + u - 1, u - 3*u = 3*n - 2. Suppose -8*g + 25 = 5*s - 3*g, 5*s + g - 13 = n. Solve 2 = t - 3*x, t - s*x + x = 0 for t.
-1
Suppose 52 = 2*i - 200. Let u be (-2)/(-6) + i/27. Solve 0 = x - 5*w + 4, -2*x + u = x + 2*w for x.
1
Let v be ((-114)/(-171))/((-4)/(-102)). Solve 3*k - v = -2*g, 6*g + k - 10 = g for g.
1
Let z(t) = 3*t - 9. Let p be z(3). Let s(v) = v**3 - 4*v**2 + 36*v - 203. Let a be s(5). Solve g - 4*w - 7 = p, 2*w = w - a for g.
-1
Let i be 0 + 6 - (-12)/(-3). Solve 14 - 5 = -3*y, -i*x + 17 = -5*y for x.
1
Suppose -14*r + 13*r = 8. Let o = 10 + r. Solve 5*x - 9 = 2*y, 0 = o*x - 5*x + 3 for y.
-2
Let b(m) = -m**2 - 22*m + 2. Let v be b(-22). Solve 3*t + 17 = -a, v*a + 15 = 2*t + 13 for t.
-4
Let z(g) = -2*g**2 + 17*g + 6. Let t be z(8). Let l be (6/t)/(1/7). Suppose -l*i = -4*i. Solve b + 5*r + i*r = 17, 5*b - 2*r = 4 for b.
2
Suppose -75 = 123*u - 138*u. Solve u*t = -3*x + 14, 0 = -3*t + 16*x - 11*x - 12 for t.
1
Suppose -2*j + w + 1 = 0, -47*w + 52*w + 29 = -2*j. Let k(o) = 1 - o + 0*o - 3. Let q be k(j). Solve 3*z - c = q, -2*z + z + 3*c - 8 = 0 for z.
1
Suppose 0 = -4*u + 2 - 34. Let r(s) = -s**2 - 12*s - 28. Let z be r(u). Solve -2*v - 36 = z*n + 2*v, 3*n + 32 = -4*v for n.
-4
Let l be (-4 - -4) + 3 + 0. Suppose 1 = l*h - 8. Suppose 0 = -h*c + 3, 5*r - 55 = 3*c + 2*c. Solve 0 = 2*z + 3*b - r, -3*b = -4 - 2 for z.
3
Suppose 3*x - 3 + 2 = -4*v, 0 = 5*x - 3*v - 21. Suppose 221 - 233 = -x*z. Solve w + 11 = z*q, -2*w = -q - 3*q + 14 for q.
2
Let j = -8 + 14. Solve -45 = 5*x - 5*y, -2*x - y - j = -3 for x.
-4
Let c(i) = -9*i**2 + 46*i - 3. Let m be c(5). Solve 3 = -4*x + 3*g, -2*x = -5*x - m*g - 15 for x.
-3
Let b be (182/(-8))/((-9)/36). Suppose -3*s + b - 49 = 0. Solve 0 = 2*t + 3*t + 2*j + s, 8 = t - 5*j for t.
-2
Suppose 0*k - 4 = i - 2*k, -3*i - 4*k + 28 = 0. Let c be -2 - -2 - (i - 3). Let y be 3 - c*4/2. Solve 0*x + x + 2*p = 7, -y = -3*x + 2*p for x.
3
Suppose -5*j = -i + 26, 3*j - 70 = -2*i - 31. Solve 4*c = -x - i, 22 = -5*x - c - 7 for x.
-5
Suppose 860*c - 859*c - 3 = 0. Solve 4*o = -4*f - 4, 2*f - c*o = 3*f - 5 for f.
-4
Let r = -91 + 93. Let o be (-3)/9 + 13/3. Solve 3*l - m + o = -r, -1 = -5*l - 2*m for l.
-1
Let p = -360 - -366. Solve 4*u + 16 = -4*q, -p*u + 3*q = -u + 4 for u.
-2
Suppose -5*f = -5*b, 4*f - 2*f + b - 6 = 0. Suppose 26 = 23*d - 43. Solve d*a = 9, f*m + 3*m - 13 = -a for m.
2
Let k = -318 - -320. Solve 18 = -5*v + 3*c - k*c, v + 3*c = 6 for v.
-3
Suppose 47 = 5*j - 4*o, 12*o = -2*j + 15*o + 23. Solve l = -0*t - t - j, -3 = 4*t - l for t.
-2
Let g = -80 - -57. Let f = g + 26. Solve f*r = 3*s - 9 - 0, -r - 3*s + 13 = 0 for r.
1
Let r(q) = q**3 + 4*q**2 - 7. Let c be r(-3). Solve -2*z - 3*v - c = -7*v, 4*z - 5*v = -10 for z.
-5
Let o(d) = 9*d + 425. Let b be o(-47). Solve 0 = 5*i - 15, -3*y + 8*y = -b*i + 21 for y.
3
Suppose 2*d + 2*t - 7*t = 10, 0 = -4*d + 2*t + 4. Let h(m) = m**2 + m + 1. Let v be h(d). Let l = 21 - 19. Solve 5*b - l*c = -5, -2*b + 3*c = v + 1 for b.
-1
Suppose 2*n + 7 + 5 = 2*h, 5*n - 20 = -5*h. Solve 3*i + 1 = -h*p + 8, 2*i = -p for p.
2
Let a(p) = -5 + 0 + 4 + 6*p. Let x be a(3). Solve 3*h - 2*w + 6 - x = 0, -2*h - 3*w = -3 for h.
3
Let l(o) = -3*o - 18. Let n be l(-6). Let c be (n - 8/(-12))*3. Solve 3*g + 4*x - 8*x + 5 = 0, 5*x = g - c for g.
-3
Suppose 2*f + 3*f - 15 = 0. Let o = 43 - 35. Solve 4*y - 8*a + o = -3*a, -6 = f*y - 3*a for y.
-2
Let b(a) = -8*a**2 - 1. Let p be b(2). Let s = p + 37. Suppose 5*j = 3*j. Solve -2 = -t + s*u, j*t + t + 5*u + 7 = 0 for t.
-2
Suppose 2*w + 7 + 7 = 4*i, 4 = i. Let o be 63/9 - w*-2. Suppose -s = 2*s - o. Solve -4*q = -s*f + 3, 3*q + 4 = 5*f - 1 for q.
0
Let t(l) = -l**2 + 8*l + 4. Let p be t(9). Let v(r) = 3*r**2. Let i be v(2). Let o = i + p. Solve u - 3*s + o = 0, 2 = -5*u - 4*s + 5 for u.
-1
Let w(k) = -32*k**2 + 12*k - 33*k + 33*k**2 + 23. Let q be w(20). Solve 0 = -t - 4*m - 19, q - 4 = -5*t + 4*m for t.
-3
Let y be (-42)/(-112) - 255/(-24). Solve -y = 2*p - 3*x, -2 = 4*p + 4*x - 10 for p.
-1
Suppose 4*h - 3*h - 5 = 4*p, -2*p + 5 = h. Suppose -4*m + h + 7 = 0. Solve 0*r + m*r - 12 = -3*u, 17 = 4*r + 5*u for r.
3
Let y(q) = -3*q + 31. Let t(r) = 2*r - 15. Let g(s) = 5*t(s) + 2*y(s). Let z be g(9). Suppose -z = -3*a + 1. Solve -v = 4*j - 15, 4*v = 3*j - 24 + a for v.
-1
Let v(h) = 2*h**3 + 2*h**2 - h. Let p be v(1). Let f be (p - 7)*3/(-6). Solve -4*r - 2 = -i, 0 = -i - 4*r + f for i.
2
Let u(f) = -f**2 + 15*f + 6. Let c be u(15). Suppose c + 4 = 2*l. Solve -j = -2*n - 2*n + 4, l*j = 5*n - 5 for j.
0
Suppose -87*f + 90*f = -3*h + 15, 3 = -f - 3*h. Solve 3*t - 7*u + f = -3*u, 9 = 3*u for t.
1
Let g(m) = -m**2 + 12*m - 11. Let d be g(11). Suppose d = -5*j + 7*j - 10. Let p = 0 + 4. Solve -p*i + 2 - 13 = -r, 4*i = -r - j for r.
3
Let z(r) = -r**2 - 5*r + 5. Let i = 11 - 18. Let x = i + 2. Let j be z(x). Solve 0 = -t + 5*t - 5*v + 3, -2*v + 21 = j*t for t.
3
Let s(t) = -28*t - 26. Let x be s(-1). Suppose -j + 4 = 4*u - 12, 8 = 4*u + 3*j. Solve u*d + 2*b + 1 + 1 = 0, -x*b + 4 = 2*d for d.
-2
Suppose 4*m = 612 - 596. Solve -m*x + o + 6 = 0, 0 = -2*x + 5*o - 0*o - 6 for x.
2
Suppose 4*w - 26 = 2*w. Let u = 18 - w. Solve -c = -u, -3*h + 0*c - 19 = -5*c for h.
2
Let d be ((-2)/1 - -2)/(-2). Let a be (15/(-12))/(3/(-12)). Suppose 0 = 4*b + 3*j - 5, -a*j = -d*b - 2*b + 9. Solve -3*t - 8 = 4*m - 2, -3*m + t = -b for m.
0
Suppose 266 = -4*x + 274. Let d = 2 - -2. Solve 0 = 2*c - 3*t + 1, 0 = -x*c - d*t + 6 for c.
1
Suppose 0 = -4*v - 55 + 7. Let d(a) = -2*a - 6 - a - 3*a + 5*a. Let q be d(v). Solve 5*c + k = q, -4*c - k = -1 - 4 for c.
1
Let d be -37 - (2 - 2)/5. Let c = d - -37. Solve -3*p + c*i + 4 = -i, 4*p - 2 = 3*i for p.
2
Let i = 60 + -42. Let x = -5 - 0. Let f be 6/x*(-25)/10. Solve f*q = -2*d - d - i, -q - 2 = 0 for d.
-4
Let i be 60/7 - (11 + (-1040)/91). Solve 0 = 3*w - i, 3*b - 8*b - 