Let s = q + -10. Let u = 43 + -20. Solve f - 8 = -3*r, -7*r + s*r + u = 4*f for r.
1
Let l(a) = a**3 - 8*a**2 - 7*a - 9. Let m be l(9). Let d = 14 - m. Suppose d*n = 20 - 10. Solve -3*h = 5*f - 18, n*f - 4 + 2 = 4*h for h.
1
Let w(p) = -10*p - 4. Let f be w(-2). Let k = f + -10. Let v = k - 3. Solve 3*s - j - j + 25 = 0, -3*s + v*j = 30 for s.
-5
Suppose 0 = -5*f + a + 10, 269*a - 267*a - 22 = -4*f. Solve -f*p - 8 = o, -2*o + 2*p + 5 = -3*o for o.
1
Let v = 360 - 362. Let w be 2/(-7) + 82/(-7). Let s = v - w. Solve 2*q - 3*q = 3*r - 12, -s = -2*r for q.
-3
Suppose -10*z - 18 = -58. Solve c = -r - 8, -4*c = z*r - 8*r + 8 for r.
-3
Let d be (-24)/(-14)*56/(-16). Let q be 4 + (-60)/18 - 2/d. Solve 5*g + f + 11 = q, 4*f = -4*g - 24 for g.
-1
Let z = 10 + -5. Suppose 5*p - 4*d + 30 = 0, z*d = 4*p - 9*p + 15. Let v be -18*(7/(-3) - p). Solve 0 = j + 2, 0 = o - v*o - 3*j - 16 for o.
-2
Let p = -47 + 47. Let a be p - (-5)/(25/20). Solve 5*k - 2*i + 5 - 3 = 0, -4*i = -a*k + 8 for k.
-2
Suppose 0 = -2*h + u + 5, 10 = 3*u - u. Solve -17 = h*a + 2*m, 2*a - 5*m = -0*m - 30 for a.
-5
Let g be 12/16*4 + (-9 - -10). Solve 1 = v - 3*t - 7, 0 = g*v + 4*t for v.
2
Let a = 6 - 3. Suppose -30*q - 6*q = -144. Solve 12 = q*f, -7*o + 5*f = -a*o - 5 for o.
5
Suppose 0 = -0*q - 2*q. Suppose t - 5*t + 12 = q. Suppose -t*r = -0*r - 66. Solve 4*l - 4*k - 28 = 0, -l = -3*l + 4*k + r for l.
3
Let f(p) = -18*p + 242. Let z be f(12). Solve h = -3*m - 11, 2*m - 6*h + 2*h + z = 0 for m.
-5
Let w = -15 + 18. Let r(z) = -4*z**2 + w*z**3 - 4*z**3 + 106 - 102. Let s be r(-4). Solve 9 = -3*q, -1 = -2*p + q - s for p.
-3
Let g = 53 + -47. Let v be (-2)/(-9) + g/(-27). Solve k - 4 = 3*m, v*m + 8 = 2*k - 4*m for k.
4
Let c be ((-5)/(-4) - 0)/(2/8). Let s be (-6)/(4 - (c - -1)). Solve d - 8 = -2*i, -i = s*d + 6 - 20 for i.
2
Let b be 6 + -1 + -1 + 2. Let x(i) = i**3 - 5*i**2 - 5*i - 2. Let c be x(b). Suppose -16 = -9*d + 5*d. Solve d*j = 4*a - 40, -c*j - 3*a + 2 - 7 = 0 for j.
-5
Let q = 1851 + -1849. Let c = 2 + 7. Solve -q*n - 4*v + v = -16, n - c = -2*v for n.
5
Suppose -54*n = -59*n + 10. Suppose -12 = n*h - 8*h. Solve -3*i - h*m + 0*m = -2, 5*m + 10 = 0 for i.
2
Let k(o) = o**3 - 19*o**2 - 9. Let b be k(19). Let m be (-142)/(-6) - (57/b + 6). Solve 4*p + 5*r = -29, m = -4*p - 4*r - 0*r for p.
-1
Suppose 11*v = 6*v - 24*v. Solve -5*l + 5 + v = -2*j, 0 = 5*j for l.
1
Suppose -3*b + 9 - 3 = 0. Let r be 15*(-2)/(-6) + -3. Solve 3*i = -3*z, -b*z = r*z - 3*i - 35 for z.
5
Let c = -27 + 2. Let v = -501 - -481. Let o = v - c. Solve o*p - 6 = -4*g, -g = -p + 3*p for g.
4
Suppose -4*t - p = -0 - 12, -5*p + 3 = t. Solve o + 4*c = -3*o + 4, 2*c = -o - t for o.
5
Let q(i) = 2*i**3 + i**2 - i - 2. Let r be q(-1). Let h be (60/48)/(r/(-8)). Solve w - 2*d + 0*d + 1 = 0, 3*w = h*d - 2 for w.
1
Suppose -4*x + 10 + 56 = s, 2*s = 3*x + 99. Let o = s - 48. Solve 3*d + o + 7 = -h, -2*d - 8 = 0 for h.
-1
Let j = -20 + 157. Suppose -5*r + 3*q + j = 6*q, 0 = -5*r - 4*q + 141. Suppose r*p - 27*p + 8 = 0. Solve 3*g + 4*d + 4 = 0, -4*g = -2*d - 2*d - p for g.
0
Let f = -37 - -31. Let o = f + 6. Solve -3*h = n - 5*n + 26, o = -2*h - 4 for n.
5
Let t be (-21 - -1)*((-18)/15)/3. Solve q + 3*f - 6 = 4*q, -4*f = -5*q - t for q.
0
Let f be 16/(-24) + (-700)/12. Let x = -54 - f. Solve -x*g - b = 28, -12 = 4*g - b + 5 for g.
-5
Suppose -11 + 67 = 28*x. Solve 8*f - 6*f - 6 = -x*s, -s + 3 = -4*f for f.
0
Let y(p) = 3*p - 21. Let n be y(14). Let a = 24 - n. Suppose a = -0*l + l. Solve -2*m = 2*m - 3*s - 32, 3*m - 27 = l*s for m.
5
Suppose 4*q + 121 = 15*q. Suppose -12 = q*i - 12*i. Solve -5*v + a - 29 = 0, v - a + i = 3 for v.
-5
Suppose -r + 3*z = -7, 3*r + 14*z + 9 = 13*z. Let x be 2 - ((-5 - r) + 1). Solve x*m + 3*n = 3, -m - n + 1 = -1 for m.
-3
Let g be 8/(2/1) - -2. Let i be g/(-2) + -1 + 6. Solve 0 = 4*f - 7*f + 3*a - 18, 2*f - 4 = -i*a for f.
-2
Let u(f) be the third derivative of -f**4/8 - 37*f**3/6 - 8*f**2. Let q be u(-15). Solve 3*h - 11 = 2*b, 0*h + 4*h = -3*b - q for h.
1
Suppose -5696*g = -5701*g + 10. Solve 2*d = 4*j - 14, g*j + j + 3 = -3*d for d.
-3
Let y be 70/20*(1 - -3). Let b(a) = a**3 - 14*a**2 + 2*a - 23. Let z be b(y). Solve 2*r + l = -7, -2*r + 13 - 38 = -z*l for r.
-5
Suppose -24 = -9*n + 3. Suppose -5*v + 45 = -n*w, -v + 2*v + w - 9 = 0. Solve -3*r = 15, -5*r - v - 16 = 5*y for y.
0
Let k be (4 + (-2)/1)/1. Let d be (-2)/(-6) + (-10)/(-6). Solve 0 = 2*f + k*n, -2*f + 3*f + d*n = -4 for f.
4
Let u = -771 + 776. Solve 7*a + 3*h = 3*a - 14, -31 = u*a - 3*h for a.
-5
Let w = -864 + 869. Solve 5*j = 4*y - 5, w = -4*y - 0*y + 3*j for y.
-5
Let q(k) = k + 9. Let v be q(-6). Let o(h) = h + 6. Let r be o(-6). Suppose 2 - 6 = 3*x + 5*s, x = -s. Solve -u - 4*d = x*u - 5, r = -v*d + 6 for u.
-1
Suppose -h - 12 = 3*s, 2*h + s + 20 = -4*s. Suppose h*o - 4*o = -12. Suppose -3*w = -9 + 3. Solve 5*n - 11 = -2*u, -o*u - w = 2*n + u for n.
3
Let j(s) = -s**3 - 15*s**2 + 15*s - 12. Let h be j(-16). Let y = h + 1. Solve -4*n + 2*q = 20, y*n - 3*q = -25 - 0 for n.
-5
Let h(b) = b**3 - 3*b**2 - 2*b - 3. Let n be h(4). Suppose -n*t + 55 = 6*t. Solve -t*o + 2*x = 7, -x + 1 = -3*o - 4 for o.
-3
Suppose 12*s - 6*s = 144. Let m = -20 + s. Solve 0*b + 3*b = 15, -m*r - b = -9 for r.
1
Suppose 4*y + 5*z - 23 = 0, 9*y - 7*y - 4*z + 8 = 0. Solve 7 = w + y*u, -2*u + u = 5*w - 17 for w.
3
Suppose 29*h - 22*h + 28 = 9*h. Suppose -3*m + 3 = -15. Solve 3*x + h = 5*f, -2*x + 0 = m for f.
1
Suppose 0 = 2*b - 4*b + 6*b. Let d(m) = -m**3 + 7*m**2 + 9*m - 9. Let c be d(8). Let l be (1 + -20)/(c + b). Solve l = 5*a - 4*u, 5*u = a + 3*a - 17 for a.
3
Let r(z) = z**2 - 11*z - 10. Let l be r(12). Solve l*n + 1 = -a, 10*a - 9 = -2*n + 7*a for n.
-3
Suppose 8*u - 3*u + 5 = 4*x, -x = -5. Solve 14 = 5*y + u*b - 8, -y = b - 4 for y.
5
Suppose j + 5*w = -0 - 10, w - 55 = -4*j. Suppose 4*z - 15 = -j. Solve -k = -3*r + 16, z = -k - k - 2*r for k.
-4
Let f be 4 - ((-4)/(-22) - 108/(-132)). Solve -3*i - 5*w = 22, 2 = -f*i + 2*w + 3*w for i.
-4
Let s = -4 + 6. Suppose 0 = -5*c + 2*j - 4*j + 22, -s*c = -2*j - 20. Suppose -c*z + 20 = -z. Solve 0 = -5*m - 2*l - 23, l = z*m + 13 - 5 for m.
-3
Suppose 4*g - 3*s - 47 = 0, 0 = -3*s - 1 - 14. Suppose k = -k + g. Suppose -2*m = m - 2*v - 36, -k*v = m + 2. Solve 25 = -5*h - 4*x, -2*h + m = -3*x - 3 for h.
-1
Let r be (-1 + 0)/(2/(-6)). Suppose 0 = -t - r*t + 52. Solve 17 = -5*m + 4*f, f - t = 4*m - 2*f for m.
-1
Suppose -5*c = -5*a - 10, 3*c - 3*a - 2*a = -2. Let g be -3*(-2)/c*4. Suppose 6*u = g*u. Solve 5*i + 4*d = -d + 5, u = -4*i - 2*d + 2 for i.
0
Let q(z) = -2 + 0*z - z + 3*z. Let k be q(3). Let j be 5/(k/(-1) - -5). Solve j*w + 4*m = 4, -w - m + 1 + 0 = 0 for w.
0
Let z = -2208 + 2211. Solve -5*x - f - 16 = 0, f = -z*x + 2*f - 16 for x.
-4
Let f(t) = -4*t - 1. Let p be f(-3). Suppose 0 = -3*i + 4 + p. Let o = 7 - 1. Solve -2*u = i*h - o, 4*h - 4*u - 10 = -3*u for h.
2
Let l be ((-10)/(-6))/(7/42). Suppose l = 5*n + 5*j, -4*j = 19 - 3. Suppose 0 = 4*o - n*o + 8. Solve -4*i + 0*i = -3*d + 2, 0 = -2*i - o for d.
-2
Let p(v) = 2*v**2 - 29*v + 19. Let c be p(14). Solve -1 = -u, -2*s - 2*u + c = s for s.
1
Suppose 0 = a + a. Let n(l) = -l + 27. Let o be n(15). Solve 2*x - 5*x = 4*v + o, x + 3*v + 4 = a for x.
-4
Let a(v) = -1 - 4*v**3 - 8*v**2 - 2*v**3 + 5*v**3 + 7*v. Let r be a(-9). Solve 0 = 2*b - 3*u + 12, -r = -3*b - 5*u + 3 for b.
0
Let a(l) = -2*l**2 + 31*l - 10. Let f be a(15). Suppose 0 = 2*j + 3*j - f*t - 25, 0 = -3*j - 4*t + 1. Solve 0 = -2*k + 3*u - 12, -j*u - 6 = -2*k + 6*k for k.
-3
Suppose 2*y - 18 = -o, -2*o = -4*o + 4*y + 36. Solve o = u + u + 4*x, -2*x = -8 for u.
1
Suppose -46 = 5*n + 74. Let h be 29/4 - (-6)/n. Suppose o + a = -a + 6, -o = 3*a - h. Solve -o*g + 3*s = 1, 0*g - 3*g - 4*s + 18 = 0 for g.
2
Suppose -4 = 3*y - 5*d, -3*y = -d + 2 - 6. Suppose 5*z = 11*z - 6. Let s be z/(-5) - (3 - (-364)/(-20)). Solve 2*i + 5*c = -10, 3*i + y*c = 6*c - s for i.
-5
Let r(f) = -f**3 - 8*f**2 - 7*f + 4. Let o(n) = n**3 - 5*n**2 + 5*n - 4. Let w be o(3). Let c be r(w). Solve -5*l = c*b, -4*b - 2*l = b + 17 for b.
-5
Let h(y) = -y**3 - 5*y**2 - 4*y + 6. Let b be h(-2). Solve 0 = -4*z + 3*z - i - b, -3*i + 29 = -4*z for z.
-5
Let o(l) = 4 - 2*l**3 - 5*l**2 - 4*l + l**2 - 6. Let a be o(-2). Let w(