z, -8 = 4*q + 4*h - 0*h for q.
-2
Let l(t) = -2*t**3 + t**2 + 7*t + 4. Let d be l(-3). Let w = 1 - -1. Suppose -w*n = -d - 20. Solve -2*v - b + 22 = 2*b, 5*v - n = -2*b for v.
5
Let j(k) = -55*k**3 + 11*k**2 + k + 3. Let s be j(-2). Let a = s + -457. Solve 0 = 4*v + 5*w + 6, 2*w - a = 5*v - 2*w for v.
-4
Let o(b) = -6*b - 2. Let f be o(-1). Let s be (3 + 1)*15/6. Let g be (6/s - (-4)/(-40))*6. Solve -3*y - 2*c - g*c = 14, 0 = -f*y - 2*c for y.
2
Let d be (-136)/170*(-5 - (-1 + 1)). Let b = -31 + 35. Suppose 2*t - 17 = 3*n, b*t + 3*n - 10 = n. Solve -w + 4*l + 8 = t, -w = -5*l - d for w.
4
Let h be (-18)/24 + 2454/8. Suppose -7*g = -g + h. Let u = -49 - g. Solve 13 = 5*x + 4*k, -x + 0*k = -u*k - 11 for x.
5
Let w be 2/(2 - 1) + 0. Let g(j) = -j**3 + 11*j**2 - 16*j - 18. Let k be g(3). Solve 3*o + k = -w*l - 2, -3*l + o = 12 for l.
-4
Let c(w) = -10*w**2 - 275*w + 153. Let y be c(-28). Solve z + y = 2*z + 3*i, -2*i + 5 = -3*z for z.
1
Suppose -29*a + 64 = -21*a. Suppose -4*s = -2*j - 2, -a*s = 5*j - 7*s - 28. Solve j*r = -20, 4*d + 20 = 2*d - 5*r for d.
0
Let v(h) = -27*h**2 + 276*h - 56. Let w be v(10). Solve 3*k + 2*n = w*n + 4, 0 = -3*k + 4*n + 8 for k.
0
Let l(z) = -2*z**2 - 78*z - 71. Let m be l(-38). Solve 15 = -3*i - 3*w, -9 = 3*i + 2*w + m for i.
-4
Let a = 302 + -300. Let m be (32/a + 1)*1. Solve -2*j = q + 1, q - 4*j = -2*q + m for q.
3
Let g = -994 - -1014. Suppose -2*m - 10 = -5*m + 5*q, -m - 2*q = 4. Suppose -g = -y - m. Solve 4*r - a = 2*a - 12, 4*r + 5*a - y = 0 for r.
0
Let x be ((-186)/(-63))/(20/30) + 15/(-35). Solve -5*d + 15 = 3*q, -x*d = -7*q + 3*q + 20 for q.
5
Let b(y) = -2*y - 5. Let l be b(-4). Let d = l + -3. Suppose -11*m = -46*m. Solve m = -p + 4*v - 3, d = -2*p - 3*v + 16 for p.
5
Suppose -87 = 2*f - 3*j - 326, -j - 348 = -3*f. Let p = f + -43. Let y = p + -68. Solve 0 = 2*s + h + 8 + 2, -3*h = -y*s for s.
-3
Let y = -269 + 275. Suppose y*g - 104 = -20*g. Solve 4*t + g*v = -12, -4*t - 1 = -9*t - v for t.
1
Let l be (-17 + 13)*(0 - 2) + -3. Suppose -4*m - 91 = -9*m - 3*o, -l*o + 10 = 0. Solve -5*p + p = 3*s + m, -3*s + 5*p + 1 = 0 for s.
-3
Suppose -4*y + 110 = -t - 35, -3*y = -9. Let d = t - -135. Solve -3*z - 2*n - 8 = 0, 2*n + d*n + 16 = 0 for z.
0
Let u(k) = -3*k**3 + 158*k**2 - 102*k - 85. Let x be u(52). Suppose -v = -2 - 0. Solve -2*d - v*m + 5*m + 14 = 0, x = -d - 5*m for d.
1
Suppose 72 + 1413 = -5*y. Let i be 3/(-2) + y/(-54). Solve -a - 15 = -4*p, i*a + 3*p + 6 = p for a.
-3
Suppose -4*r + 0*r + 10 = 2*u, -u - 10 = -3*r. Suppose 12*f = r*f + 45. Solve 3*k = 5*p + 2, k = -3*p - f + 1 for p.
-1
Let d(s) = 33*s**2 + 9*s - 9. Let g be d(1). Let h be (-10)/20 - g/(-6). Solve 5*v - 4*c = -h - 5, -v + 4*c = 2 for v.
-2
Suppose 43*j - 20*j - 32*j = 0. Solve 3*v = 5*a - 22, j = 2*v + 3*a + 9 - 26 for v.
1
Let i = -1032 + 1037. Solve 2*t - 6 = -i*u + 13, 6 = 3*u + 3*t for u.
5
Let u be 10/(-2) + (37/7 - 22/77). Solve u = 2*s - 2*o + 4, -4*s + 2*s + 5*o = 16 for s.
2
Let r = -372 - -578. Suppose -52*a + 54 = -r. Solve 2*q = -3*q + 4*k - 13, 5*q = a*k - 10 for q.
-5
Let y be ((3*-4)/3)/(46/(-3565)). Let g be 14/4 + (-14 - y/(-20)). Solve 0 = 4*l - g*j - 5, -5*j = 3*l - 3*j + 2 for l.
0
Let i(g) = 121*g**2 - 4*g + 120*g**2 - 246*g**2 - g**3 - 17. Let z be i(-5). Solve 0 = k + 3*s + 5, -z*k + 0*k - 3*s - 3 = 0 for k.
1
Let j = 53 - 38. Suppose -3*i = -7*i + 8. Let n be (-12)/(-2) + i + (-4 - 0). Solve 3*r + j = -a, -r = -n*a + 2*r for a.
-3
Let g be (-106 + 105)/((-4)/3*(-3)/(-12)). Solve -7 = -g*r - 4, r = 3*s + 4 for s.
-1
Suppose -451 = 3*g - 457, -4*m - 5*g + 10 = 0. Let t be ((-3)/(-6))/((-2)/(-4)). Let c = t + -1. Solve 3*l - 5*u = m, c = -4*l + 4*u - 2*u for l.
0
Let o be (-12)/(-54) + (5750/(-45))/(-10). Solve 4*n - 3 = y + o, 0 = -5*n + 2*y + 17 for n.
5
Suppose 757*z - 24370 + 5246 = 74*z. Solve 0 = -5*s + 14*r - 19*r, 0 = 2*s - 5*r - z for s.
4
Suppose 0 = 2872*b - 2884*b + 48. Solve 2*k = b*g - k - 16, -g + 4 = 2*k for g.
4
Let n be (31 - 25) + (8 - -1). Suppose 0 = -z + 1 + 2. Solve z*w = 5*l + n, 15 = 3*w - 0*l + l for w.
5
Let c(q) = q**3 - 5*q**2 + 9*q - 43. Let p be c(5). Suppose -p*l + 9 = 5. Solve -s - 3 = -i - 0, -10 = -l*i + 3*s for i.
-1
Suppose 0 = -18*a + 22*a - 40. Suppose -8*d = 2*d - a. Let j be d - (27/(-15) + 12/15). Solve -j = -g, -2*g + 28 = -5*r - 1 for r.
-5
Suppose 39 = -4*z + 87. Suppose -t + 78 = z*t. Solve 5*k - 8 = k - 4*o, 3*k - o + t = 0 for k.
-1
Let t = 165 + -164. Let j(g) = -5*g + 4. Let y(z) = -z + 1. Let m(x) = -j(x) + y(x). Let b be m(t). Solve 3*a + 5*n = 3, 2*a = -2*n - b + 3 for a.
1
Let q = 2131 + -2126. Solve q*i + 25 = 0, 5*x + 47*i = 45*i + 5 for x.
3
Let k = -18505 - -18510. Solve 4*c = k*x - 46, 5*c + 113*x = 109*x + 4 for c.
-4
Let x be (-94)/(-141)*(-45)/(-6). Suppose 0 = -18*r + 21*r - 15. Solve -x*k = 2*t + 5, 2*k - r*t = -3*k - 5 for k.
-1
Suppose 70*u = 34*u + 30*u + 30. Solve 0 = u*c - 3*k - 25, -5*c + k + 13 = -c for c.
2
Let p(k) = -11*k**3 - 5*k**2 - 8*k + 6. Let o be p(4). Let h = 814 + o. Solve 3*t = 5*v - 18, -t + 2*v + 5 = h*v for t.
-1
Suppose 33*b = 37*b - 16. Let r be (-12 + 9/3)/(-1). Let o = r + -2. Solve b*v + 5 = -5*i, i + 0*v = -2*v - o for i.
3
Suppose -u + 2*u = -8*u. Suppose 5*n + 11*n - 48 = u. Solve 2*l - 5 = -w, -2*l = w + n*w - 20 for l.
0
Suppose p - 5*n + 3 = 0, 0 = 5*p - 2*n + 2 - 10. Let o be (5 - (-4)/(-4))/p. Let g(w) = 8*w - 32. Let r be g(4). Solve r*v = v + 3, -3 = -3*i - o*v for i.
3
Suppose -5*v + 35 = 10. Let w be (-2)/10 + 11/5. Suppose w*i - 10 = -0*i. Solve -i*o + 46 - 1 = -v*n, -13 = 5*n + 3*o for n.
-5
Let y(j) = 3*j + 47. Suppose 15 = 2*o - 45. Let w be (84/o)/(-1 + 12/15). Let z be y(w). Solve 5*x - z = d, -x + 0*x = -2*d - 1 for x.
1
Suppose -4*v + 24 = 4*o, -5*v - 121*o + 36 = -119*o. Solve -2*u - 12 = -5*s + 8, s + 2*u = -v for s.
2
Suppose 0 = -3*x + 15, 2*s + x + 5 = 3*s. Let c be 1/(-2) - (-25)/s. Suppose 0 = 6*r + c*r - 64. Solve g + 2*i = r + 2, 5*i - 22 = -g for g.
2
Suppose 6*q - 105 = q. Let m = 21 - q. Suppose m = -4*k - 18 + 26. Solve t + o + 1 = -0*t, -k*t - 6 = 3*o for t.
3
Let n(r) = r**2 - 4*r**2 - 15*r - 5*r - 5 - 11*r. Let h be n(-10). Solve -j = -u + 3*j - 12, 5*u - h*j = 0 for u.
4
Let s(d) = -d**3 - 15*d**2 + 77*d - 2. Let t be s(4). Solve 0 = -t*b + 3*g - 4, 12*b - 2*g + 10 = 7*b for b.
-2
Suppose -13 = -4*g + b, -5*g = 5*b - 3*b - 26. Solve 3 = -h + 3*a, -g*a - 18 + 22 = -5*h for h.
0
Let u = 220124 + -220106. Let b = 4 - 7. Let y be 0 + 3*(-2)/b. Solve 4*f + 21 = t, t + t - u = y*f for f.
-4
Suppose -5*q = 5*k - 40, -q - 4*k - 8 + 13 = 0. Suppose -3*j - q = 0, -5*m = -3*m - 4*j - 32. Solve 3*l = -2*i - m, -4*i - 4*l = -9*l - 2 for i.
-2
Let c(t) = t**3 + 14*t**2 - 15*t - 4. Let h be c(-15). Let b = 1 - h. Suppose -3*u = b*u. Solve -4*v + u = 2*q + 2, 0 = 3*q - 4*v + 13 for q.
-3
Suppose 5*r = -q - 0*q + 346, 152 = 2*r - 3*q. Let t = r + -55. Suppose -4*h + 3*p + 15 = 0, 4*h - 5*p - 11 = 6. Solve 6*d - d - t = s, 4*d - h = -s for d.
2
Let r(t) = 6*t**2 + 3*t - 106. Let i be r(4). Solve 9 = -i*k + 24*h - 23*h, 4*k = -2*h - 22 for k.
-5
Suppose -2*r - a = 0, 0 = r - 14*a + 11*a + 14. Let u be (-24)/(-14) + (r - (-192)/84). Solve 2*g - 20 = -3*q, -3*q = -u*g - 8*q + 28 for g.
4
Suppose 4*r - 32 = 4*n, -2*r + 7*n = 6*n - 11. Suppose -6*v = 3*x - v - 7, 3 = -r*v. Solve -x*z - 9 = -p, -z + 9 = -3*z + 5*p for z.
-2
Let x = 531 - 1174. Let j = 647 + x. Solve -v - 5*k - 16 = 0, -j*v + 20 = k - 2*k for v.
4
Let h(w) = w**2 + 50*w + 4. Let f be h(-50). Solve i - f*o = -26 + 15, o = -i + 9 for i.
5
Suppose -5*m - 2*a + 173 = 0, 0 = 2*m + 4*a - 8 - 58. Suppose -m*h = -41*h + 24. Solve 5*j - 3*n - 7 = 1, -h*j = n - 3 for j.
1
Let h = 29917 + -29914. Solve -2 = -h*k + 1, -4*f + k + 3 = 0 for f.
1
Let r = -7814 - -7822. Solve -3*x + 5*a - 15 = 0, 0 = x + 12*a - r*a + 5 for x.
-5
Suppose 2*p + 0*p - 73 = 5*t, -p = 1. Let o = 15 + t. Let j = -45 - -47. Solve o = r + 3*k + 2, -4*k = j*r + 2 for r.
1
Let f(q) = -q**3 - 12*q**2 + 220*q + 9. Let y be f(-22). Solve t + y = 2*l, t + 11*l - 6*l - 5 = 0 for t.
-5
Let n = -39 - -43. Suppose 7*g - 9*g = 4*k - 72, -n*k = 4*g - 80. Solve -3*h - 4 = v + 4*v, v = 5*h + k for h.
-3
Let s(f) = 382*f - 1387. Let m be s(4). Solve -5*w - x = -19, 2*x + 14 = 144*w - m*w for w.
