r t.
3
Let w(r) = 11*r - 1. Let l be w(1). Let s be l/45 - (-16)/9. Solve z + 12 = -k + 4*z, -s*z = -8 for k.
0
Let w(a) = a**3 - 9*a**2 - 10*a + 4. Let h be w(10). Solve -h*s = 4*c + 16, 2*c = s - 4*s - 12 for s.
-4
Suppose -x = -3*q + 2*x - 3, -2*x = q - 11. Solve 5*f = 3*o + 14, 0 = -q*f + o + 3*o + 15 for f.
1
Let d = -2 + 2. Suppose 2*q - 3*p + 2 = d, 5*p = -3*q + p + 31. Solve 5*h + q = -2*j - 2, 2*h - 2*j + 14 = 0 for h.
-3
Let j be -1*2 - (9 + -14). Let d = 6 - j. Solve -a + 21 = -5*f, 2*f + 1 = d*a + 3 for f.
-5
Let z(m) = -m**3 + 4*m**2 - 2*m. Let h be z(2). Solve -3*f + 0*u + 6 = 2*u, 2*f - 4*u = h for f.
2
Suppose w = -w + 20. Let l = 5 - w. Let s(j) = j + 7. Let z be s(l). Solve -3*q + z*a + 23 = 0, -5*a - 41 = -5*q - a for q.
5
Let z be ((-16)/(-20))/(4/(-10)). Let a be 2*(-3)/z + -3. Let k = 12 + -4. Solve a = -j - s, -3*j + 3*s = k + 16 for j.
-4
Let n be 5 + (-4)/2*1. Suppose 2*k = -j - n, 10 = 2*k - 4*k. Suppose -5 = 2*r - 15. Solve a = -r*w + 5, 3*w + j = 3*a - 8 for w.
0
Let r be 2 - (0 + (2 - 0)). Let k = -8 - r. Let n(g) = g**3 + 9*g**2 + 8*g + 7. Let v be n(k). Solve c - 4*u = -6, 4*c = -0*c - u - v for c.
-2
Let i = -5 - -7. Suppose 3*p - 4*n + 2*n = i, -4*p = -n - 6. Solve 2*s + s = a + 16, 3*a = -p*s - 4 for s.
4
Let y = 74 + -63. Solve -u = 5*m + 16, -2*u - 2*m - y = 3*u for u.
-1
Suppose 61 = -4*q + 1. Let u = -15 - q. Solve u = -2*c + 2*v + v - 2, -5*c + 45 = 5*v for c.
5
Suppose 4*f = 161 + 175. Suppose 0*c + f = 3*c. Solve 4*i + 4 = -4*y - 0*i, 4*y = 4*i - c for y.
-4
Let x(r) = -r**2 + 5*r - 2. Suppose -g + 6*g = 20. Let j be x(g). Solve -j*l + 5*d + 13 = -6, -1 = -2*l - d for l.
2
Let b = -154 - -158. Solve -2*r - 14 = -b*h, 0*h - 4*r - 14 = -h for h.
2
Let r = -46 - -50. Solve 3 = 3*i, -3*y + r*i + 13 = 2*i for y.
5
Let l(c) = 8*c - 1. Let o be l(1). Solve 2*y + 12 = 2*r - o*r, 2*r + 7 = -3*y for y.
-1
Let a be 1*2 - (-7 + 4). Suppose -2*i = -a*k + 28, 3*k + 3 = -4*i - 1. Let v be 1/1*-1*i. Solve -t + 3*t = -2*b, v = 2*b for t.
-2
Let p(k) = k**3 - 8*k**2 + 6*k + 10. Let n be p(7). Suppose -v + 4*q = -23, q = v - 5*v + 7. Solve 0 = -n*c + v, 0*j = 4*j + 4*c for j.
-1
Let p be 1*(-1 - -3 - -8). Let d be (-12)/(-8) - (-1)/2. Let q = d - -1. Solve 3*z + i = -z - 7, z + q*i = -p for z.
-1
Suppose -2*z - 2*z + 16 = 0. Suppose 0*r = -z*r. Let p = r - 0. Solve -3*s - 8*x + 3*x + 7 = p, 2*x = -2*s + 6 for s.
4
Suppose 3*z + 6 = 3*h, 0*z - 5*h = z - 28. Suppose 5*m + z = 2*a, a + 3*m - 1 = 6. Solve 4*v + 4 = 0, 2*v + a + 3 = -5*p for p.
-1
Let m = -1 + 5. Let c = m - 1. Suppose 3*s - 4 = -s - 5*d, -4*s + 3*d = -36. Solve 2*w - 2*j = -2*w - 8, c*j = 4*w + s for w.
-3
Suppose -13*n + n - 2*n = 0. Solve n = 6*j - 3*j - f + 7, 4*f = -20 for j.
-4
Suppose -j = -5*j + 8. Let a = 1 + j. Solve -x - 4*t = -2*x + 3, 2*x = -a*t + 6 for x.
3
Let n be 0 + 2 + 3 + -2. Let r = -37 - -56. Suppose m - 4*u - 26 = 0, -2*m + m - r = 5*u. Solve -x + m*h = h - n, -x + 3*h = -3 for x.
3
Let b = -8 + 6. Let t be (14/6)/(b/(-6)). Solve 2*v + t = 3*d, 2*d - d = 4*v - 11 for d.
5
Let z = -6 + 12. Solve -2*k + 3*k - 4*l + 13 = 0, 3*l = z for k.
-5
Let w = 44 - 43. Solve 5 = -5*o, p + o - w = -p for p.
1
Let g be 6/4*(-2)/(-3). Suppose 5*u + 5*w - 7 = 2*u, -g = -u - 3*w. Solve -11 = -4*m + q, -3*m - 3*q - u = -1 for m.
2
Let l = -6 + 8. Solve l*s = 2*u + 2 + 16, 12 = 3*s for u.
-5
Let c = 10 - 9. Solve 5*q + n + c = -1, 2*n = -2*q + 4 for q.
-1
Let v = -101 - -115. Solve -3*y = 2*x + 8, v = 4*y - 4*x - 2 for y.
0
Let y(c) = c**2 + 12*c + 13. Let w be y(-11). Solve -3*j = -m - 11 - 5, w*j + 3*m + 4 = 0 for j.
4
Let x(w) = -2*w - 4*w**2 - w - 3 + 5*w**2. Let z be x(4). Suppose -z = -r + 2. Solve -c + 3*g = -2*c, g = r*c for c.
0
Let b(a) = -15*a**3 - 2*a**2 + 1. Let f be b(-1). Suppose m + m = f. Solve 0 = -2*u - z - 4, -u = 4*u + 4*z + m for u.
-3
Let z be (-3)/(2*(-2)/4). Solve 0 = 2*g + v - z, -3*v + 4*v = 3 for g.
0
Let o = 1 - 3. Suppose 0 = -5*p - 3*x + 3, 4*x - 4 = 3*p - 0*p. Let a = p - o. Solve 2*i = j - 3, 4*j = a*i + 3*i + 9 for j.
1
Let f(t) = t**3 + 4*t**2 + t - 2. Let i be f(-3). Solve 5*s = 4*c + 3 - 12, -i*s - 2*c - 2 = 0 for s.
-1
Let g = 30 + -27. Solve -5*k + x - 5 = -g*x, -5*k = -x + 20 for k.
-5
Let r be 272/24 - (-12)/(-9). Let k(i) = -6*i + 15. Let w(a) = -7*a + 16. Let l(y) = 6*k(y) - 5*w(y). Let v be l(r). Solve v = -2*g + 9 + 1, g = -q + 1 for q.
-4
Suppose a - 2 = -5. Let t = a - -6. Solve 2*n = t*x - 2, -3*n + n - 6 = -x for n.
-4
Let t be (-4)/(-18) - (-345)/27. Suppose -31 + t = -3*v. Let y(j) = -j**3 + 7*j**2 - 3*j - 3. Let c be y(v). Solve 3*u = w - 4*w + c, w + 2*u - 10 = 0 for w.
0
Let a be 1 - (-27 - 3/(-1)). Let i be a + -2 - (-3 + 4). Solve r = 2*r - 5, 2*u + i = 4*r for u.
-1
Let h be 1/(-3) - 68/12. Let l be 40/15 + (-2)/h. Let b be 8 - (-1 + l - 2). Solve -4*d - 20 = 4*v - b, 5*v - d = -21 for v.
-4
Suppose 19 = 2*z - 11. Solve -v - 2*k = -2 - 5, 4*k - z = -v for v.
-1
Let y(x) = -x - 13. Let l be y(-17). Solve -5*f = 4*q - 19, 3*q = 5*f - l*f for f.
3
Suppose r = -r. Suppose q + r*q - 17 = 0. Let x(z) = z**3 - 4*z**2 + z. Let s be x(4). Solve 0 = d - 5*j - q, -j + s - 8 = 0 for d.
-3
Let f = 228 - 532. Let j be 8/44 - f/22. Solve -2*c + 2*q - j = 0, q - 11 = 2*c + 1 for c.
-5
Suppose 5*i - 8 = 7. Suppose i*q = -q + 48. Solve 0*r = -4*b + 2*r - q, -r + 2 = 2*b for b.
-1
Suppose -2*h + 3*h = -16. Let o(s) = -s**2 - 18*s - 21. Let r be o(h). Solve -x - 3*w + r = 4*x, 7 = x + 3*w for x.
1
Let t = -21 - -13. Let n be (-1)/((28/t)/7). Solve 4*h = -3*b - n + 5, 0 = 2*b - 2 for h.
0
Let x(f) = 6*f - 36. Let s be x(6). Solve 3*t = -2*k - s*k - 4, -4*k = -t - 6 for k.
1
Let u(q) = -q**2 - 2*q + 26. Let y be u(-6). Solve 0 = -y*k + 3*c - 4, -4 = -k - 4*c + 5 for k.
1
Let m be (-12)/(-18) + 19/3. Suppose 2*b = 1 + m. Suppose -z - 12 = -5*z. Solve -b*s = 5*i + s - 15, -4*s - 2 = -z*i for i.
2
Suppose -28*g = -12*g - 48. Solve -2*x - y - 2 = 2*y, 12 = -g*y for x.
5
Let z be -4*(-4 - (-33)/12). Solve -2*o = 5*m + 21, -2*m - z = -o - 2 for m.
-3
Suppose u + 4*r - 26 = -u, -2*u = 2*r - 18. Solve 3*q = 4*d - 0*q - 6, -2*d = u*q + 10 for d.
0
Let u be 3/(-3 + (-45)/(-12)). Let w = -32 - -47. Suppose -24 = -5*f + h - 0*h, -w = -4*f + 5*h. Solve 2*s - 4*n - n - 6 = 0, f*s = u*n + 15 for s.
3
Let d = 27 - 9. Suppose 0 - d = 3*g. Let z be 5/30 - 77/g. Solve -4*u - u + z = -3*c, 2*u - 2*c = 6 for u.
2
Let a be 12/(-2)*(-10)/4. Let b = 10 + -6. Suppose 5*g = b*g + 3. Solve 0 = g*c + 3*u - a, 0*c = 4*c - 3*u - 20 for c.
5
Suppose -8*i + 16 = -7*i. Solve c + 3*c = 3*w - i, c + 21 = 5*w for w.
4
Suppose -2*c - 20 = -0*c. Let q = 13 + c. Solve 3*h - 2*d = -8, 2*d = -q*h + 8*h + 8 for h.
0
Suppose 4*x = -5*o + 27, -10 = -3*o + o - 2*x. Let h(f) = -3*f + 6. Let u be h(o). Let q be 5 - (-5)/(u/6). Solve 3*v - q*s + 34 - 10 = 0, 18 = -3*v + s for v.
-5
Suppose 0 = 8*o - 44 + 4. Solve -5*t + 1 = -5*p + 4*p, 4*t - o*p + 16 = 0 for t.
1
Let t be ((-2)/4)/((-2)/(-24)). Suppose -2*r - 6 = 10. Let c = t - r. Solve 4*y - 12 = -b + 5*b, -4*y - c*b = -12 for y.
3
Suppose 3*i = 4*f + 77, -4*f = -4*i - 2*f + 86. Let h = i + -4. Solve 2*w + 3*w = v - h, 3 = -w - 5*v for w.
-3
Let o(l) = l. Let p(j) = 2*j + 2. Let y(w) = 6*o(w) - 2*p(w). Let t be y(5). Let a be (-2)/(-2 + t)*-4. Solve -2*k - k + 3 = -3*u, k = -a*u - 11 for k.
-3
Suppose 4*j = 20, 3*j = 2*l - 0*l + 15. Solve -5*t - m + 22 = l, -14 = -2*t - 3*m - 0*m for t.
4
Let b be 3/((1 + -2)*-1). Suppose 4*v - 11 = -b. Let u be (v + -4)*6/(-3). Solve 4*a - 6 = -s - 0*a, -u*a = 5*s - 14 for s.
2
Let c be -2*(-1 + -2 + 2). Solve 2*k + b - 4 = 2*b, 0 = k - c*b - 5 for k.
1
Suppose -4*r + 48 = -0. Solve 4*m = 4*t, -5*m = -3*t - r + 2 for t.
5
Let r be (-3)/(9/6) + 0. Let w(p) = -4*p - 4. Let a be w(r). Solve a*l - 3*l - 3*z = -20, 3*z = 3*l + 30 for l.
-5
Suppose 5*p + 5*c + 5 = 0, 2*c = -p + 5*p - 14. Solve -3*l - a - 21 = l, p*a + 22 = -3*l for l.
-4
Suppose 0 = 4*g + 4*l - 12, -2*g - 2*g = -4*l - 20. Solve g*p = -0*p + 2*b + 18, 2*p = 5*b + 21 for p.
3
Suppose 0*v = 2*n - 4*v - 8, 0 = -n - 2*v + 4. Suppose n*l = -5*f + 2, 3*f = 6*f - l - 8. Solve -f*r - 15 = -0*r + 5*m, -2*r - 4*m = 10 for r.
5
Suppose 0 = -4*f - 2*g + 24, -f + 0 = 2*g - 6. Let d be 25/27*3 + 6/27. Solve -15 = 3*c, d*q + 3*c + 0*c