20)/(-20) - 12/(-2)*-1. Solve 4*v - y*l + 16 = i, 3*l - 23 = -3*v - 5 for v.
1
Suppose -3*d = -2*d - 35. Suppose -u + 2*z - 4 = 0, u = 6*u + z - d. Solve 3*h + 13 = u*h - a, -3*h = 3*a - 21 for h.
5
Let z = -7 - -33. Let c = z + -21. Solve -2*j + l = -0*l - 5, 2*l + 11 = c*j for j.
1
Suppose -14 = -4*s + 3*v, 3*s = 3*v + v + 7. Solve -s*o - d - 2*d - 4 = 0, -4*d - 12 = 0 for o.
1
Suppose -4*i - 4*w = -35 + 7, -4*i - 4 = -4*w. Suppose 7 + i = 2*r. Let b be 3/(-4) - (-978)/24. Solve 3*o - 12 = 3, 0 = r*h - 5*o + b for h.
-3
Suppose -3 = -5*l + 2*l, 2*h - l = 23. Suppose -v + 5*v - h = 0. Solve 4*a = -2*y + 4*y - 2, -v*a - 6 = -3*y for y.
3
Let b = -45 - -67. Suppose -p = -2*v + 31, 4*v - 2*v - 4*p = 34. Let w = b - v. Solve -r - r = -u - w, -2*u = -r + 5 for u.
-1
Suppose 4*b - o = 9, 0 = -2*b + 5*o - o + 22. Let s be (-3)/((-2)/2)*b - 1. Solve 4*w - 2*n = -4, -3*n - s*n = 5*w - 25 for w.
1
Let s(d) = 5*d**3 + 124*d**2 - 24*d + 37. Let c be s(-25). Solve 5*q - 4*u = c + 3, -3*u - 15 = 0 for q.
-1
Suppose 1052*n = 1059*n - 14. Let m(z) = z**3 - 9*z**2 - 9*z + 14. Let v be m(10). Solve h + 0*h + 3 = -k, -n*h = -4*k - v for k.
-5
Let y = 333 + -321. Solve 18 = 2*v + 4*c, 0*c + 2*c = 2*v + y for v.
-1
Suppose 0 = 3*c - c + 2, 4*x - 17 = 5*c. Let u(n) = -n**2 + 6*n + 75. Let a be u(-6). Solve o + 23 = x*q - o, -a*o = 12 for q.
5
Let n = 1114 + -1111. Solve 4*p = 3*y + 22, -n*p = -0*p - 5*y - 22 for p.
4
Let s be 12/6 - (-3 + -2). Suppose 0 = s*x + 7*x - 196. Solve m - 4*b - 11 = 0, x = -2*m - b - 0*b for m.
-5
Let h = 2145 + -2140. Solve h*v - 1 = 2*j, 3*j - 8 = -v - 1 for v.
1
Let v = -19 - -19. Suppose l = 2*l - v*l. Solve -3*y - 4*u + 5 = l, 1 + 2 = -5*y - u for y.
-1
Let v be 1914/116 + 18/4 + -3. Solve -6*l + v = -3*l - 3*g, -2*g - 15 = -5*l for l.
1
Let z be ((-14)/7)/((-4)/8). Solve -5*n - 4*a = -11, -z*a + 4 = -12 for n.
-1
Let f = -1546 - -1550. Solve -2*h + 10 = 3*j, 0*h - j + 20 = f*h for h.
5
Suppose 5*j + 3*i = 10, -2*i = -7*j + 5*j + 20. Solve 3*x = 5*d - 8, -12*d + j*x = -14*d - 3 for d.
1
Suppose -3*k + 24*c + 4 = 19*c, -8 = -3*k + c. Solve -3*t - 8 = -x, -5*t - 6 = -k*x + 2 for t.
-4
Let y(q) = -q**3 + 6*q**2 + 8*q - 5. Let m be y(7). Suppose -6 = -2*v + m. Solve w + 15 = v*z + z, 4*w + 2*z + 16 = 0 for w.
-5
Let d be -39 - (0 - -1)*-3*1. Let c be 96/54 + (-8)/d. Let t be (-26)/(-6) + (-2)/6. Solve -5*o - c*x = x + 1, -o + 9 = -t*x for o.
1
Suppose 0 = 5*s + 2*o + 94 - 111, 0 = -3*o + 3. Solve 4*b - 12 = -7*d + 2*d, s = b - 4*d for b.
3
Suppose -2*i - 47 = -5*i - 2*c, 3*c = 3*i - 42. Suppose 12*p + 36 = i*p. Solve 0*w = 4*l + 2*w + p, -3*w = -2*l - 6 for l.
-3
Suppose 192 = -3*c + 4*j, c + j + 117 = -c. Let z = -37 - c. Solve 2*b = -3*o - 9, -z = 4*o + 5*b - 4 for o.
-1
Suppose -2*r + 65 - 5 = 0. Let q be (30/(-35))/(3/(-14)). Let a(c) = -c**2 - 23*c - 121. Let d be a(-14). Solve -2*w + d*s = -19, -4*w - q*s - r - 2 = 0 for w.
-3
Let y be (0/(-2))/(0 - -2). Suppose 5*x + l - 13 + 3 = 0, -4*l = -x - 19. Let b be 10/x - 3/1. Solve -a + b*u - 2*u + 12 = 0, y = a + u for a.
2
Let u(n) = -3*n + 1. Let p be u(-1). Let b(v) = 16*v - 48. Let r be b(3). Suppose p*m - 14 - 26 = r. Solve -5*t = -m, 14 = 2*l - 4*l + 4*t for l.
-3
Let q = -8 + 10. Suppose -s = -2*s + 4. Let y be 108/(-24)*(-4)/3. Solve q*d - b = -y - 5, 1 = -d - s*b for d.
-5
Let j be (-986)/255 + (-2)/15. Let g(l) = -l**2 - 4*l + 5. Let y be g(j). Solve o - 4*b = -0*o + 9, 2*o = -y*b - 8 for o.
1
Suppose 0 = -2*a + 85 - 81. Solve -a*b = 5*s + 3, -2*s - 3 = -4*b + 3 for b.
1
Let n(o) = o + 1. Let q(h) = 8*h - 9. Let w(s) = 36*n(s) - 4*q(s). Let t be w(-17). Solve -11 - 5 = -t*l, -5*l + 10 = 2*d for d.
-5
Suppose 4*s - 2 = 6. Solve 5 = -n + 2*o + 2*o, -5*o = -s*n - 4 for n.
3
Let d(t) = t - 57. Let j be d(59). Solve j*u - 4*h - 28 = 0, -4*u = 3*h - 0 - 1 for u.
4
Let b be (-408)/(-132) + (-4)/44. Solve 0 = 4*i + p + 13, p - b = -8 for i.
-2
Let l = -779 - -784. Solve 5*g - 2*h + 17 = 0, -g + 17 = -5*g + l*h for g.
-3
Let k be 45/27 - 3/(-9). Suppose 0 = 3*q - 2*q. Suppose k*m - 8 = -q. Solve 0 = w - 2*v + 3, m*w + v + 24 = -3*v for w.
-5
Let s be 180/3*2/4. Let j(l) = l**3 + 12*l**2 - 5*l + 107. Let d be j(-13). Let b be (d/(-2))/(s/(-80)). Solve 7*o = 2*w + b*o - 22, -4*w - 5*o = 0 for w.
5
Let f = 10 + -10. Let i(t) = 2*t + 2 - t + t**2 + 2*t + f. Let z be i(-3). Solve j = b + 3, 0 = b + 4*b + z*j + 1 for b.
-1
Let y = -67 - -75. Let r be 34/14 - y*(-7)/98. Solve 4*n + 2*d = 3*d + 20, -3*n + r*d = -15 for n.
5
Suppose 0 = -3*l - 6 + 42. Let t be (8/14)/(l/42). Solve 0 = 2*n - 5*u - 10, 3*u - t + 14 = 0 for n.
-5
Let w(k) = -k**3 + 20*k**2 + 21*k + 9. Let t be w(21). Suppose -3*q + t = -m - 0*q, m + 5*q = 15. Solve 0 = -2*b + r + 3, m = 2*b + 3*r - 11 - 12 for b.
4
Let t(r) = -r**2 - 8*r - 11. Let i be t(-5). Suppose 0 = -3*d - i*g + 73, -3*d - 14 + 103 = -4*g. Solve 5*a - 5*p = -6 - 4, d = -3*a - 4*p for a.
-5
Let q be (-2 + 0 + -1)*-1. Let a(z) = -7*z - 25. Let h be a(-6). Let w = h + -17. Solve 5*m + 6 = 3*c, w = 5*m - q*c - c + 3 for m.
-3
Suppose 0 = -4*r - 8, 5*a + 0*r - 3*r - 271 = 0. Let x = -50 + a. Solve -13 = 4*p - t, -6 = -x*p - t - 21 for p.
-4
Let h(q) = 22*q**2 - 23*q**2 + 6*q + 10 - 2*q. Let f be h(0). Suppose 0 = -9*d + 4*d + 15. Solve -4 = -m, -f = d*o + m - 2 for o.
-4
Suppose 0 = 4*x + 5*q - 23, 5*x - 5*q + 6 = 91. Let c be x/66 - (-53)/11. Let m be -2 - -1 - 2*-2. Solve -m*k + 4 - 7 = 0, r = k + c for r.
4
Suppose -86*r + 75*r + 33 = 0. Solve -4*u + 2 = 3*q + u, r*u = 4*q + 7 for q.
-1
Let q = -1 - 0. Let x be 164/24 + q/(-6). Suppose -3*z - 40 = -x*z. Solve 0 = 5*n - 5*t - z, -4*n + 2 + 3 = -t for n.
1
Let l(k) = 6*k**2 + 2*k + 1. Let r be (-3 + 4 + -1)/3. Let a be (-1)/((2 + r)/2). Let h be l(a). Solve -7 = h*u + 3*x + 5, 4*x = -2*u - 2 for u.
-3
Suppose 17*a + 9*a = 104. Solve -a*q + 5*n = 37 + 3, 0 = -3*n + 12 for q.
-5
Suppose 5 = -2*r + 5*n, -4*r = -3*n - n - 8. Let k = 13 - 11. Suppose 3*a - 10 = m, 3*m + k*a + 0*a - 25 = 0. Solve 0 = -m*y - 0*y + 5*f, 2*y + r*f = 0 for y.
0
Let b = -19 - -20. Let h = b - -4. Suppose 0 = -h*l + 23 - 3. Solve -5*r = a - 1, -l*a + 4 + 0 = 2*r for r.
0
Let c = 1062 - 1057. Solve 2*t + 31 = c*y, 4*t + 2*y = y - 7 for t.
-3
Let u be ((-4)/(-6))/(8/(-72)). Let b be (12/(-3) - u) + 3. Solve 0 = 4*k - 4*p + 4, -3*k + 16 = b*p - 5 for k.
2
Let r = 14 - 11. Suppose 0*w - r*f = 2*w - 3, f + 13 = 4*w. Let v = 2 + 2. Solve w*s + 8 = i, s = -v*i + 3*s + 2 for i.
-1
Suppose 13 = 2*m + 5*d, 4 - 10 = -2*d. Let w be 12/(-3) + 5 + m. Solve -2*s = 3*n - w*s - 6, -4*n = 5*s - 8 for n.
2
Let o be -3*5/9*54/(-15). Solve 2*w = -m - 9, -2*m + 2*w = 3*w + o for m.
-1
Let y = 14 - 11. Suppose y*t - 25 = -2*t. Solve 0 = -3*f - 4*o + 16, t*f + 4 = -3*o + 27 for f.
4
Let b(f) = -f**3 + 3*f + 3. Let k be b(2). Solve -5*q = -r - 9, r - 2*r + q - k = 0 for r.
1
Let q(j) = 2*j - 5. Let t be q(4). Solve t*g + 17 + 0 = -5*l, 3*l = -2*g - 10 for l.
-4
Let g(m) = m**3 - 9*m**2 - 14*m - 86. Let l be g(11). Solve 5*f - 5 = o + 4, 14 = l*f - 3*o for f.
1
Let f = 22 - 20. Suppose 0 = 5*i + f*c - 35, -5*c + 50 = i + 4*i. Let x(p) = -p**2 + 8*p - 1. Let j be x(7). Solve t - 2*b = -2, 3*t - j*t - 17 = i*b for t.
-4
Suppose 30 = 3*b + 39. Let n be (-3)/5 + (-112)/60*b. Solve m = 6*m - n*l - 25, 0 = -3*m + 4*l + 17 for m.
3
Let v(n) = 9*n**2 + 5*n - 26. Let k be v(2). Solve -3*f - 4*l - 26 = -f, -k = 4*l for f.
-3
Let x(z) = z**3 - 9*z**2 + 13*z - 12. Let w be x(8). Let p be (-2 + 1)/(2 - 63/w). Solve 2*s - 3*v - p = 0, -5*s - 11 + 3 = -3*v for s.
-4
Suppose 103*c + 8 = 105*c. Suppose 15 = 2*y + 5*h, 3*y = 4*y - 4*h - 1. Solve -3 = n, c*n - 3*n + 18 = -y*g for g.
-3
Let r(k) = -11 + k**2 + 4*k - 25*k + 7*k + 0*k. Let x be r(15). Solve -4 = -x*b, -4*h + 8 = -0*b - 4*b for h.
3
Let j(a) = 3*a**2 - 71*a - 24. Let o be j(24). Solve 2*i - p + o*p - 3 = 0, -4*i = 4*p for i.
1
Suppose -14 = -2*b + l, 2*l = -4*b + 3*l + 32. Suppose -5*m = -11 - b. Solve 5*c - m*x + x = 22, 2*c = 3*x + 16 for c.
2
Suppose -58 + 93 = 7*d. Solve -2*t = 4*s - 10, -d*t - s + 0*s + 7 = 0 for t.
1
Let m be 5 + (-2 - (-2 - -1)). Suppose 27*r - 122 = -117*r + 598. Solve -3*p = r*z + 14, -m*p - 2*z - 11 = -3*z for p.
-3
Suppose 0 = 4*u + 2*i - 30, -i + 35 = 5*u + 4*i. Suppose -4*a + u = -0*a. S