
Let c(o) = -31*o**3 - 2*o**2 + 1. Let g be c(-1). Let d be g/4*12/15. Solve 9 = -3*f - 2*j - 4, 3*j + d = 0 for f.
-3
Let z be 40/25 + 6/(-10). Let f = z + 0. Let t be 3 + 1 - (-1)/f. Solve 30 = -t*m + 5*u, -4*m - u - u = 0 for m.
-2
Suppose -3*q + 27 = -6*q. Let b = q - -6. Let c = -1 - b. Solve 0 = -c*f + 2*o - 6, 2*o - 6 = -7*f + 4*f for f.
0
Suppose -3*v + l + 5 = 0, 5*v - 5 = l - 0. Solve 5*d + 15 = v, -3*y + 4*d = -6*y for y.
4
Let w = 167 + -134. Solve -4*k + 15 + 3 = -2*u, 0 = -4*k + 5*u + w for k.
2
Let n(y) = -y**2 - 6*y - 4. Let f be n(-3). Solve -5*s = -3*p - f, -4*s = 4*p - 4 - 0 for s.
1
Let z = 3 + -8. Let y = z - 12. Let f = -9 - y. Solve -1 = 2*q + a, 4*q - 4*a = -f - 0 for q.
-1
Suppose 5*m = 39 - 19. Solve -m*a - 2*j + 6 = 0, 4*j = -a - j + 24 for a.
-1
Let z = 59 + -13. Let c = z - 16. Suppose f = 2*f - c. Solve -2*a - 10 = 0, 4*b - 3*a + a - f = 0 for b.
5
Suppose -5*j - 2*h = -55, -3*j + 2*j + 11 = h. Suppose 0 = 3*t - j - 4. Solve 16 = -t*z - 5*l + l, -3*z - 4 = l for z.
0
Suppose -15 = -3*b + 6*b. Let t = b - -7. Solve -18 = -2*v - 4*g, -4 = -4*v + 2*g + t for v.
3
Suppose 2*g = -3*g + 585. Let d be ((-1)/3)/((-3)/g). Suppose -2*h = 3*b - 3*h - 5, -14 = 2*b - 5*h. Solve -4*l + 2*a + 3*a = -d, -b*a = l + 18 for l.
-3
Let o = 8 - 4. Suppose o*t - 3*f = 31, 0 = -4*t + f - 4*f + 25. Solve -4*i - 8 = -n, 2*i = -2*n + t*i + 7 for n.
-4
Let y(v) = -17 - 8*v**2 + 9*v - v**3 + 35 - 15. Let a be y(-9). Solve -2*g = -5*k - 6, 0 = 5*g + a*k - 2*k + 12 for g.
-2
Suppose p + 2*p = 12. Suppose -2*d - 14 = -p*d. Let t = -3 + d. Solve h + 5 = t*v, 4*h - 4*v + 15 = h for h.
-5
Suppose -2*b + 10 = 0, -i + 0*b - 25 = -5*b. Let s be (-26 - (0 - i))/(-1). Let d be -3*4/(-3) - -1. Solve 0 = -x - 5*c - 0 + s, d*x = c for x.
1
Let s be (1/(-3))/((-6)/54). Solve 2*c - 3*k + 11 = 0, -s*c - 10 = -3*k + 5 for c.
-4
Let r = 22 - 17. Let c = -3 + r. Solve 5*l = -2*g - 34 + 11, -g + c*l + 2 = 0 for g.
-4
Let q be 16/(-3)*18/(-24). Solve -q*u - u = -5*d, -5*d - 5*u = 40 for d.
-4
Let k(s) = 15*s. Suppose 2*g - 2 = -0*g. Let q be k(g). Solve -3*m = -3*b, -2*m + 0*b - b = q for m.
-5
Let m be (-10)/(-45)*(1 + 8). Suppose 7*b = m*b. Solve b = 5*o + 2*i - 33, -i + 40 = 4*o + 4*i for o.
5
Suppose -11*q = -8*q - 48. Solve -2*c = -3*d + q, 4*c + 0*d + 4*d - 8 = 0 for c.
-2
Suppose -3*r = 5*o + 5 + 11, -5*r = o - 10. Suppose 1 - 9 = -4*v. Suppose v*w = r*w. Solve 3 = -y - 2*l, w*y + 3*y - 3*l = 9 for y.
1
Suppose -5*b = -4*c + 36, -2*b = -2*c + 14 + 2. Solve 2*l + y - 2 = 3, -c*l + y = -7 for l.
2
Suppose r = -4*q + 41, -4*q + 4*r + 8 + 8 = 0. Let m be 151/q - 2/(-9). Solve 4*l - n = -25, -5*l - 57 = -3*n - m for l.
-5
Suppose 3 = 5*l - 17. Solve 4*f = 2*w + 12, -4*w - l*f - 6 = 6 for w.
-4
Let g be 6/2 + -1 + 2. Solve 2*f - g*t - 16 = 0, -3*f + 5 = t + 2 for f.
2
Let c be -22*(3 + (-7)/2). Let f = c + -9. Solve 3*r + 0*r - 15 = -f*l, -5*l = 4*r - 20 for l.
0
Let o be 6/15 - 43/(-5). Let a(f) = f**2 - 9*f + 3. Let z be a(o). Solve -z*p - r = -3*r - 22, 2*p = 2*r + 18 for p.
4
Let b be (-1 + (2 - 1))/(-2). Solve r - 2*j - 4 + 0 = b, r - 3*j = 5 for r.
2
Let k(o) = 5*o**2 + 1. Let n be k(-1). Let m be (0 - (-1 + 2)) + 1. Solve z - 4*g + 9 = m, -3*g - 22 = -z + n*z for z.
-5
Suppose 3*c + 11 = 4*d + 2*c, 1 = 5*d + 3*c. Solve -d*y - 4*t = 24, 0 = 5*y - 3*t + t for y.
-2
Suppose -14*a = -9*a - 15. Solve -3*y = 0, -z - 2*y + a*y + 5 = 0 for z.
5
Let u be (28/21)/(2/6). Suppose m = u*m - 6. Solve 0 = m*a, a = -3*i + 6*a for i.
0
Suppose -3*n + 6*n - 6 = 0. Solve 0 = -4*v + 4, -n*v + 4 = -0*y - y for y.
-2
Let k = 223 - 221. Solve k*n - 8 = -3*n + 4*r, 2*n - 2*r = 4 for n.
0
Suppose -17*n + 84 = -3*n. Solve h + n = -r, -4*r + 2 = -4*h + 18 for r.
-5
Let n be (-333)/(-6) + (-6)/4. Suppose 0 = 3*o - o + n. Let s = 57 + o. Solve -2 - 10 = -3*j, -5*j + s = 5*a for a.
2
Suppose 12 - 9 = o. Suppose 2*s + 2 = o*a + 3, 0 = -3*a - 3*s + 24. Solve b + a*m + 15 = 4*b, 0 = -m for b.
5
Let j(z) = -z**3 - 12*z**2 - 14*z - 32. Let y be j(-11). Solve 6 - 2 = -5*b - 3*r, 2*b = -r - y for b.
1
Let r be 1/((-1 - (-16)/20)*-1). Solve x - r*c + 3 = 0, 0 = x + 3*c + 3 for x.
-3
Suppose -5*y + 11 = -74. Solve -5*r - 39 = -3*t - 11, -4*r - y = 3*t for r.
-5
Let f(v) = -3*v - 5. Let w be f(-3). Solve w*g = 4*b - g + 18, 0 = -b - g for b.
-2
Let m = 15 - 9. Let x be m + 5/(15/(-6)). Solve -x*i + 5*y - 2 = 8, 3*y - 6 = i for i.
0
Let f(z) = z**2 - 4*z - 2. Let d be f(4). Let b = 9 + d. Let a be 18/(-4)*(-2 + 0). Solve a = -2*q - m, -2*q - 15 = b*m - 4*m for q.
-3
Suppose -17 = 2*p - 23. Solve 2*c = 5*s - 11, 7 = s - p*c + 5*c for s.
3
Let t be ((-12)/9)/(2/6). Let p = t + 6. Solve p*r = 3*z - 6, 5*r - 2*r + z + 9 = 0 for r.
-3
Let s(z) = z - 1. Let n be s(6). Solve 3*l - 2 = -f, 2 = n*f - 8 for l.
0
Let p be 2/4*(19 - 19). Suppose -4*z - 4*j - 11 = 57, -51 = 3*z - 2*j. Let x be (-4)/10 - z/5. Solve -12 = x*k - 3*v + 3, 2*k - 4*v + 16 = p for k.
-2
Let s(l) = l**2 + l - 9. Let k be s(0). Let a = k + 18. Solve -4*b - 16 = u, 5*b = u - 20 - a for u.
4
Suppose 0 = -5*d + 2*d + 81. Let y be 102/d - (-6)/27. Solve -3*i = -m - 3*m - 7, 2*m + y*i = 24 for m.
2
Suppose 3*n - 2 = 40. Solve -3*b + n = -2*p, -5*b + 5 = -5*p - 20 for b.
4
Let x be (4/10 - (-4)/(-10))/(-1). Solve -3*d + q + 13 = 0, 4*d + 2*q - 8 - 6 = x for d.
4
Let t be (0*(-5)/(-20))/(-2 + 3). Solve p - 2*n - 5 = t, -3*p - 9 - 4 = n for p.
-3
Suppose 2*r = 3*r. Suppose y = 3 - r. Solve y*v = 5*p - 30, 2*v - 4*v + 4*p - 22 = 0 for v.
-5
Let a be (-18)/(2/2) + 0. Let r be ((-6)/4)/(a/24). Solve 0 = 2*k - j + r*j + 9, -23 = 5*k + 2*j for k.
-5
Suppose 4*i - 7*i + 9 = 0. Solve 0 = -4*h + 3*q - 3, 0*q = 3*h - i*q for h.
-3
Let x(p) = p**2 + 3*p - 2. Let j be x(-4). Suppose -6 = 2*l - j. Let o = -2 - l. Solve -k - 2 = v + 3*k, 4*k + 4 = o for v.
2
Let q be -4*(-3)/(-6) - 2. Let w be q/(-10) - (-54)/15. Solve 0 = -x + 3*n - 4*n - 5, 2*x + 16 = -w*n for x.
-2
Suppose 4*d + 24 = 72. Let t = -108 + 121. Solve 3*o = -5*y - 25, o + 5*y + d = -t for o.
0
Let o = -32 + 69. Suppose 5*v = -23 - o. Let t be ((-4)/v)/((-2)/(-12)). Solve k - 5*x = t, 2*x - 3 = k - 2 for k.
-3
Let s be 1 + (2 - 1 - 6). Let c = s + 9. Let y(f) = 4*f**3 - f**2 - f + 2. Let v be y(2). Solve -24 = -7*u + 3*u - 4*q, -c*q + v = 3*u for u.
1
Let j = -73 + 75. Solve -2*s - j*s + 11 = 5*o, -3 = -o for s.
-1
Let x be (-2)/5 - (-96)/40. Suppose 0 = r + x*r - 18. Suppose 0 = -v - q, -v - 5*q - r = -q. Solve 3*i + 2*c = 0, -3*i + v = 4*c - 4 for i.
-2
Suppose 0 = 4*n - 11 - 21. Let i be 2/n - 11/(-4). Solve y = g, -2*y + 3*y + 4 = i*g for g.
2
Let x = 42 + -17. Solve -x + 62 = -5*z - 3*j, j + 24 = -4*z for z.
-5
Let z(w) = 2 - 1 + w + 6. Let k be z(-5). Let l be ((-1)/k)/(1/(-12)). Solve 4*q = 2*r - 0*r - l, -4*q = 12 for r.
-3
Suppose 0 = 3*d + 4*h - 75, -3*d + 66 = 3*h - 2*h. Solve b + 5*l = 3*b + d, 3*b = -3*l for b.
-3
Let n(s) = -s**3 + 6*s**2 + 2. Let t be n(6). Let u(p) = 3*p - 3. Let w be u(t). Solve -3*a + 4*z + 5 = 0, -18 + 8 = -w*a - z for a.
3
Let f be (3 + -2)/((-2)/(-4)). Let c(j) be the first derivative of -j**3/3 + j**2 + 2*j + 5. Let l be c(2). Solve -f*i - 19 = -w + 3*i, -20 = -l*w + 4*i for w.
4
Let s = 0 + 2. Let v = 24 + -19. Let w(n) = -n**3 + 4*n**2 + 7*n - 5. Let i be w(v). Solve -5*d = -4*t + 2*t + 3, -3*t - s*d = i for t.
-1
Let f(t) = t**2 - t - 20. Let o be f(-5). Solve o + 0 = -2*d - 5*q, 16 = -4*q for d.
5
Suppose -1 = 2*i - 9. Solve 0*n - 3*n = -4*j - 6, 0 = i*n + 8 for j.
-3
Let a(y) = -9*y**3 + 2*y + 1. Let l be a(-1). Let z be ((-3)/(-2))/(3/l). Solve 2 = 2*p - s - z, -3*s = 4*p - 2 for p.
2
Let j(l) = -l - 2. Let m be j(-7). Let q be 9/m + (-3)/(-15). Suppose -d + 2 = -q. Solve -3*o = g - 4*o + 4, 2*g + d = o for g.
0
Let i(v) = 6*v. Let m be (4/(-10))/((-4)/10). Let x be i(m). Solve l + 18 = -5*f, x*l + f = l - 18 for l.
-3
Suppose 23 + 22 = -5*p. Let u = 4 - p. Solve 3*l = -h - u, -l - 11 = -0*l + 2*h for l.
-3
Let y = -21 - -11. Let m = y + 14. Let z be 23/(3 + -1 + -1). Solve 2 = l, z - m = 3*a + 2*l for a.
5
Let o(a) = 0*a + 3 + 0*a + 3*a. Let h be o(-2). Let m be (0 + h)/(18/(-24)). Solve n = -5*w + 15 + 3, -4*n + m = 3*w for n.
-2
Let q = -14 + 33. Solve -2*d = 3*d + r - q, 0 = 3*r - 12 for d.
3
Suppose 22 = -3*q + 67. Let j be (3 + -1)*3/2.