 - s = 5*q, v*q = -2*g - 8 for q.
-2
Let i be 6/(-2) + (18 - 3). Let p(o) = o + 9. Suppose 4*q = -q. Let t be p(q). Solve -u - 4*x = -18, 5*x - i = -2*u + t for u.
-2
Let p(t) = t**3 + t**2 - 16*t - 13. Let y be p(-4). Solve -l - 4*i - 8 = -i, 0 = i + y for l.
1
Let u(f) = 13*f**2 + 26*f + 4. Let q be u(-2). Solve -2*c + 2 = -p, q*p = -c - 24 + 7 for p.
-4
Let h(w) = 5*w - 2. Let c be h(1). Solve -4*s = -d + s + 26, -15 = c*s for d.
1
Suppose 0 = -2*f - v + 54, 0 = f - 3*f + 4*v + 44. Solve -3*d - 4*n - 3 = -f, 2*d + 3*n = 17 for d.
1
Suppose -4*u = -3*l, 2*u + 2*l = 5*u - 1. Solve 17 = -5*t - 3*z, 0*z = -u*t + z - 13 for t.
-4
Let j = -197 + 228. Solve 4*g - 3*n = j, 0*n - 23 = -2*g + 3*n for g.
4
Let h be 4/3 + (-40)/12. Let c be (3 - (-5)/h)*0. Suppose 4*w = -c*w + 20. Solve -2*j - o = -j - 8, w*j - o - 22 = 0 for j.
5
Suppose -12 = -0*i + i. Let u be (-3)/12 + (-3)/i. Suppose 2*f - 4 - 4 = u. Solve f*o = -16, 0*w - 2*o - 8 = -w for w.
0
Suppose -5*v = -s - 107 - 95, 5*s = 5*v - 190. Let l = 46 - v. Solve -l*d - 16 = q, 0*q - 5*d = 5*q for q.
4
Suppose 2*n = -2*n + 12. Let u(i) = -7*i - 57. Let g be u(-9). Suppose 4*l - g*m - 8 = -4*m, 4*m - 4 = 3*l. Solve 5*v = 2*f - 20, n + 25 = -l*v + 4*f for v.
-2
Let a be (27/12)/(119/(-28) + 5). Solve -a*h + 3 = 5*n + 7, 2*n - 14 = 4*h for n.
1
Let v be -38*(12/8)/1 - -1. Let l = -54 - v. Solve -2*i = 5*g - 28, l*g + 3*g = 2*i + 12 for g.
4
Let t be -14*(0 - 1/((-14)/(-4))). Solve -4*d + 2 = -2*b, 4*b + 16 = t for d.
-1
Suppose 3*w + 4 = w. Let k be (-3 + w)*(-14 + 11). Solve -3*u + 1 = 4, k = 3*o - 3*u for o.
4
Suppose -5*k - 1 = -4*k, 0 = 3*u + k - 47. Solve b = q - 2*b - 18, -2*q + 2*b = -u for q.
3
Let o be (1 - -8)/((-6)/(-16)). Let i be (0 + 28/16)/((-1)/(-12)). Solve 0 = r + 3*n + 2*n + i, 4*n = r - o for r.
4
Suppose 3*q + 2*q = 50. Solve 5*k = j - 4 - 9, k = -4*j + q for k.
-2
Let a be (18/12)/(6/44). Suppose 38 = -2*w - 4*z, -60 + a = 4*w - z. Let p = w - -15. Solve s - p - 3 = 5*q, 24 = -2*q - 4*s for q.
-2
Let u(w) = 3*w**3 + 4*w**2 - 4*w + 2. Let m be u(-2). Solve -2*h - m = -3*h - 3*l, 5*l = -2*h + 4 for h.
2
Suppose 1 = p - d - 1, 5*p + 4*d = 28. Suppose c + 1 = -0*c, 3*y = c - 17. Let w be p/y - (-4)/6. Solve 2*b + 5*u = -w*b - 11, 0 = -5*b - 4*u - 2 for b.
2
Suppose -t - 85 = -6*t. Suppose 42 = t*g - 60. Solve g = 3*w - 3*d, -6*d + 2*d - 1 = 3*w for w.
1
Let n(s) = s**2 + 7*s + 8. Let t be n(-6). Suppose -8*l = -3 - 21. Let h be (9 - 9) + l*1. Solve 0 = t*j + 3*r, -3*j + h*r + 17 = -r for j.
3
Suppose -4*b = -4*w - 20, -5*w = -3*b + 6*b + 1. Suppose 3*h + 4*r = -10, b*h + 4*r = 8*h - 26. Solve 4*j + h*c = 16, -j - 2 + 11 = 3*c for j.
3
Let o = -3 - -6. Let h(a) = 10*a**2 + 3*a - 3. Let u be h(2). Let c = u + -40. Solve 4*w - 23 = o*m, w = 4*w + c*m - 12 for w.
5
Let g be (-36)/(-63) - -1*723/21. Solve -5*q + 3*r + 28 + 1 = 0, 5*q - 5*r = g for q.
4
Let q = -34 - -34. Let u be 2/(((-40)/(-12))/5). Suppose 3*w - 25 = -2*c, -4*c = -u - 17. Solve 2*l - 2*j + 16 - 2 = 0, -w*j + 25 = q for l.
-2
Let p(a) = -3*a - 13. Let y be p(12). Let j = 52 + y. Solve 0 = -4*v + 2*m - 16, 5*v + j*m + 7 = -m for v.
-3
Let m be (-5 + 2)/(3/(-12)). Let q = 14 + -4. Suppose q*z - 5*z = 0. Solve 0 = -3*c - s - 4, z*s = -3*s - m for c.
0
Let x = -189 + 195. Solve x*v - 11*v + j - 6 = 0, 8 = -4*v + 4*j for v.
-1
Suppose -17*s + 12*s = -175. Let i = s + -28. Solve -2*f = -d - i, 4*d - d - f = -6 for d.
-1
Suppose n - 29*z - 5 = -27*z, 19 = 5*n - 4*z. Suppose 4*r + 5*o - 1 = 15, -5*o = -4*r + 56. Solve -3*b = -5*u + 9, -3*u = n*b - 6*b - r for u.
0
Let a(u) = -u**2 + 58*u + 14. Let z be a(0). Solve -4*i + 14 = 2, -2*w + z = 2*i for w.
4
Let u be 24/15 - (-4)/10. Suppose u*x + 114 = 8*x. Solve 2*q - 9 = -y - 0*y, -3*q = -4*y - x for y.
-1
Let g be 0/2 + (-3)/(-1). Let l = -136 - -135. Let t = g - l. Solve -5*q = -2*z + 22 - 4, t*q = -z - 17 for q.
-4
Let m(x) = x + 2. Let o be m(-2). Suppose 25*j - 19 = -2*s + 30*j, 0 = -4*s - 5*j - 7. Solve s = 2*k + 2*c, o*k + 3*k - 2*c - 13 = 0 for k.
3
Let m = -1487 + 1491. Solve 5*d - 8*k = -5*k - 37, m*k = 3*d + 31 for d.
-5
Suppose -11*t - 128 = 543. Let m = t - -63. Solve -m*l = 2*k, -5*k - 3*l - 1 + 3 = 0 for k.
1
Let t be 18/12 + (-1 - (-245)/10). Solve -q + 2 = -3*b, -5*b + t = -0*q + 4*q for q.
5
Let q be (-8 - 2)*2*(-32)/(-20). Suppose -2*r = -3*g - 18 + 3, 2*r + 20 = -4*g. Let v be q/g - 14/35. Solve -4*f - d + 2 = 0, 3*d - 1 = -f - v for f.
1
Suppose -24 = -4*b - 4*d, 0 = 3*b + 2*d - 4*d - 3. Suppose 15*l = 5*l + 40. Solve 0*a + b*u - 9 = a, l*a = 3*u for a.
3
Let o = 5 + -1. Let h be 36/(-8)*1*-104. Let q be ((1/(-3))/1)/((-26)/h). Solve -4*i - q + 14 = 4*r, 3*r + i = o for r.
1
Let m be (-39)/8 + 3/(-24). Let a be m/(-20) - 44/(-16). Solve -4*o - a*x - 11 = 0, -2*x + 16 = -5*o - 15 for o.
-5
Let l(h) = 5*h + 66. Let i(v) = v + 16. Let g(o) = -9*i(o) + 2*l(o). Let c be g(12). Let s be 0*2/2*1. Solve 2*d + y + 10 = c, s*d = 2*d - 5*y + 10 for d.
-5
Let l(o) = -o + 19. Suppose -11 = 4*f - 79. Let x be l(f). Solve 4*h - 40 = 5*n, x*n - 3*n - 4 = 0 for h.
5
Let u(r) = 2*r**2 - 4*r + 2. Suppose -5*q = -3*v - 9, 4*q - q - 13 = -2*v. Let p be u(v). Solve 3*j + 11 = -1, -p*b + 26 = -5*j for b.
3
Let l be 11 + 40/(-2 + -3). Solve -2*u - 10*f + 7 = -7*f, 0 = -2*u + l*f - 23 for u.
-4
Let t be (3/1)/(15/40). Suppose 2*d + 314 = 322. Suppose -y + 5*r + 29 = 0, 4*y = -3*r - 3 + 4. Solve z + t = -5*a, -d*z - a = y + 9 for z.
-3
Let z be (-5)/(8 + 2)*-102. Let a = z + -43. Solve 0 = -h - 3*k + 4*k - 4, a = -3*h + 2*k for h.
0
Let w = 34 + -30. Suppose -122 = -w*t + 2*n, -3*n + 144 + 25 = 5*t. Solve -2 + 14 = 4*f, -4*l + t = 4*f for l.
5
Suppose 0*g = -5*g + 10. Suppose 7 - 3 = g*k. Solve -d + 7 = 2*t, -t + 4*d = -k + 3 for t.
3
Suppose 5*u - 8 = 4*k, 0 = 2*u - 2*k + 5*k + 6. Let i = 3 - -1. Suppose -6*b + 3*b = i*w - 65, u = -4*w + 4*b + 44. Solve -2*h = -l, 2*l + 0*h + 3*h = w for l.
4
Suppose 3*n - 72 = -3*n. Suppose 3 = 3*o + 24. Let q = o + n. Solve g = -3, -2 = -q*h + h + 2*g for h.
-1
Let g be (-16)/2 + 0 + 12. Solve a - 5*p - 3 = 0, 0*p + 3*p = g*a - 12 for a.
3
Let i(r) = -r**2 - 8*r - 7. Let c be i(-6). Let p = 45 + -31. Suppose -p = -o + 6. Solve -z - c*a = -o, -a = -z - 2*z + 12 for z.
5
Let v be 20/3*(-21)/(-28). Solve -2*l - v = -x + 3, 0 = -4*x + 5*l + 23 for x.
2
Suppose 2*w - 6 = -0*w. Let h(y) = y**2 + 6*y + 1. Let r be h(-6). Suppose -4*q + 3 = -r. Solve 4*g - v + q - w = 0, -v + 3 = g for g.
1
Let h be (-1 - (18 - 9)) + 19. Let r(a) = a**2 + a + 5. Let d be 4 + -1*2 + -2. Let z be r(d). Solve -8 = 4*w + 2*y, h*y - 6*y + 1 = z*w for w.
-1
Let k be 232/56 - 1/7. Solve -4*j = -3*n - k, 2*j = -n + 5*n + 12 for n.
-4
Let h = -21 + 30. Let b = h + 3. Let f be (-1 + b/8)*2. Solve m = -5*u + f, -m - 5*u - 3 = m for m.
-4
Let k = 466 - 321. Suppose -2*h = 2*i + 3*i - k, i - 3*h - 29 = 0. Solve 26 = -2*f - 4*d, d = -5*f - 0*f - i for f.
-5
Let s = -441 - -443. Solve s*g = 5*t + 4*g + 4, 2*t - 4*g = -16 for t.
-2
Suppose -141 = 4*z - 453. Let g = z + -75. Let v be 70*(2/5 - 0). Solve -2*p = -s + 5*s + v, g*p = 5*s + 13 for p.
-4
Suppose w - 4*f + 16 = 2*w, -4*w = -5*f - 43. Solve r - 5*o - 4 = 0, 3*r - 2*o - w = -0 for r.
4
Let d = 1854 + -1842. Solve d*m = 10*m - 5*w - 5, 2*w = m - 2 for m.
0
Let b = 372 - 371. Solve 0 = 4*w + 4*q, -3*w + 2*q = 4*q + b for w.
-1
Let j(m) = -3*m + 6. Suppose 5*y + 3 = -22. Let p be j(y). Suppose -5*r + p - 1 = 0. Solve -12 = -2*g - 0*g - 2*l, 12 = r*l for g.
3
Let z be -5*(3 - 4) + 1 + -4. Suppose -4 - 1 = -b. Solve -3*h - 8 = t, 0 = -z*h + b*h - 5*t + 32 for h.
-4
Let w(l) = -2*l - 9. Let h be w(-6). Suppose h*n = 4*z - 2*z + 100, 0 = 3*z - 12. Let y be (-2)/3*n/(-8). Solve -k - 4*c = -12, -y*k + 6*k = 4*c + 4 for k.
4
Suppose 3 = j - 0. Let p be 464/56 + 4/(-14). Let t(h) = -h**3 + 7*h**2 + 7*h + 11. Let m be t(p). Solve s - 2 = -m*a - j, 5*s + 19 = -a for a.
1
Suppose -z = -2*t - 19, -14*t - 17 = -z - 13*t. Solve 2*a + a + 3*v = z, -2*a - 4*v = -10 for a.
5
Let s = 709 + -707. Solve 5*l - 4 - 10 = 3*b, -s*l + 12 = 2*b for b.
2
Let a = -187 - -187. Solve -k - 3*j = -4, -2*k - j - j + 8 = a for k.
4
Suppose 0 = 6*r - 0*r - 54. Suppose 5*j = 2*j + r. Suppose 10 = w + j*x, 0*w = -w - 2*x + 10. Solve -w = u + 4*u + 5*n, 3*u = -2*n - 3 