2
Let x(g) = -2*g**3 - 2*g - 1. Let y(f) = -f - 1. Let z be y(0). Let i be x(z). Suppose -5 = 2*r - 17. Solve 4*t - 2 = -m - 9, 3*t - i*m - r = 0 for t.
-1
Let x = 31 - 27. Suppose 0 = -2*k - 2*n + 28, -x*k + 56 = -n - 15. Suppose -3*p = t - 40, 2*p - k - 23 = -4*t. Solve 0 = -3*d - p, -4*u + 3*d + 8 = -2*d for u.
-3
Let n(u) = -2*u - 12. Suppose 5*j - 3 + 38 = 0. Let v be n(j). Solve 0 = v*d + 3*o - 13, -2*d + 3*o = -5*d + 15 for d.
2
Suppose 0 = 3*r + 29*d - 28*d - 10, -3*d + 4 = -4*r. Solve 5*v - c = -0*c - 24, -c + 12 = -r*v for v.
-4
Suppose 9*h = -h. Suppose 2*l + 2*l = -5*g + 35, h = 5*g + l - 20. Solve -4 = -4*j - 3*r, g*r = 2*j + 3*j + 22 for j.
-2
Suppose 7*r - 6 = 9*r. Let u be r - -12 - (-4)/(-1). Solve -29 = -u*i - 4*x, -3*x + 2 = -1 for i.
5
Let l = -2816 + 2819. Solve 5*m + l*s + 10 = 0, 4*m - 2*m - 4*s + 4 = 0 for m.
-2
Suppose -12 + 15 = 3*u. Solve v = -t - 5, -t - 4*t + 3*v = u for t.
-2
Let b(s) = 3*s - 8. Let v be b(12). Suppose -3*c - y = -7*c + 7, -c + v = 5*y. Solve -2*r + d + 12 = -c*d, r = d + 3 for r.
0
Let i = -10 + 17. Suppose i*q = 2*q - 2*w + 12, 0 = -4*q + 2*w + 6. Solve -f = -2*y + q*f, 3*f = -2*y + 12 for y.
3
Suppose 7*s - 2*s - 3*m + 60 = 0, -3*s + 4*m - 25 = 0. Let x(o) = -o**3 - 15*o**2 - o - 15. Let t be x(s). Solve g - 5*g = -b - 13, -3*b + 2*g - 9 = t for b.
-1
Let y = 48 + -45. Let t be (y - (4 + 1))/(2 + -3). Solve 0 = w, 5*a - 5*w - t = 18 for a.
4
Let d(x) = -13 - 6*x**3 - 5*x + 7*x**3 + 0*x**3 - 4*x**2. Let r be d(6). Let f = 5 - 4. Solve -7*l = -5*b - 3*l + r, 0 = l + f for b.
5
Let b be (4 + -1)*(11 - 5). Suppose -4*i + 2 = -b. Solve -6 - 7 = p - 4*q, i*q - 14 = -p for p.
-1
Suppose 12*s - 21 = 27. Solve -4*c = -5*r + 26 - 3, -2*c - 16 = -s*r for c.
-2
Let t be ((-1)/2 + 0)*240/(-30). Solve -t*l + 0*d - d = -13, -21 = -3*l + 3*d for l.
4
Let y(n) = n**3 + 3*n**2 - 5*n. Let o be y(-4). Let s(d) = d**2 - d - 4. Let z be s(o). Suppose z*u = 2*u. Solve -5*m + 14 = k, 0 = -u*k - 2*k - 5*m + 18 for k.
4
Let a(t) = -3*t - 5. Let s be a(10). Let l = -24 - s. Solve g + 3*v = 1, 5*v = 3*g - 0*v + l for g.
-2
Suppose -36*v - 8 = -40*v. Solve -j + 3*n = 0, 2*j + v = 2*n - 2 for j.
-3
Let c = 296 + -296. Solve -3*z - 4*d - 2 - 22 = c, -4*z - 10 = -2*d for z.
-4
Let q(i) = i**3 + 12*i**2 - 28*i + 8. Let b be q(-14). Suppose 37 = b*l - 187. Solve -12 = 4*x, -10 + l = 3*z - 5*x for z.
1
Let n(b) = b**3 + 2*b**2 + 3. Let y = 3 + -3. Let d be n(y). Solve -2*x + 6 = -0*x, -i + 11 = d*x for i.
2
Let q = 35 - 27. Suppose q*v - 72 = 2*v. Solve -3*z + 2*m = -3*m - v, 3*z - 4*m - 9 = 0 for z.
-1
Suppose -3*y + l = -96, -5*l = -4*l. Solve 3*w = -5*p + y, -9*w + 12 = -10*w + 4*p for w.
4
Let g(u) = u**2 - 17*u + 76. Let j be g(9). Solve 3*m - 10 = 5*m, -m - 13 = j*t for t.
-2
Let v(f) = -2*f**3 - f**2 - 2*f - 1. Let w(q) = -q + 5. Suppose 4*s - 6 = 3*s. Let k be w(s). Let o be v(k). Solve 0*i + i = -3*m + 10, 0 = -m + i + o for m.
3
Let a be 1*(3 + -3)/3. Solve 0 = -a*o + 3*o + 3*b + 6, -5*b - 18 = -3*o for o.
1
Let y = 21 - 31. Let i be 384/15 - (-6)/y. Suppose -l + 2 = -i. Solve 7 = s + 4*n, 2*s - 2*n - 11 = -l for s.
-5
Suppose -4*r + 9*r = 5*t - 5, -4*t = -r - 10. Solve 0 = r*f - 5*v + 5, 7*f - 4*f + 1 = v for f.
0
Suppose 21*q = -19*q + 54*q. Solve 0 = -2*w - 2*o + 14, q*w - 3*o = -w - 1 for w.
5
Let z be -1*2/(-4)*2. Let y be -21 - (3 + -3 + z). Let t be 14/(-21) - y/6. Solve -3*c + 6 + 3 = -d, 0 = -t*d - c + 13 for d.
3
Let u be (-72)/(-252)*(2 + 5). Solve -3*k - 9 = -u*q - 3, -k = 2*q + 10 for k.
-4
Let d = -3 - -2. Let j(k) = -3*k**3 + k**2 - k - 1. Let u be j(d). Let x = -67 - -82. Solve -u*q = -0*s + s - x, 5*s + 2*q - 21 = 0 for s.
3
Let h(v) = -v**3 - 9*v**2 - 17*v - 67. Let c be h(-8). Solve 10 = 5*b, -6*z + 9*z - 22 = -c*b for z.
4
Let d(l) = l**2 + 7*l + 19. Let p be d(-5). Let s = 16 - 25. Let x = -6 - s. Solve 2*u - 9 = -o + 3, -3*o + x*u = p for o.
2
Suppose -2*t = 2*a + 24, -3*t + 17 = -3*a - 1. Let x(k) = k**3 + 10*k**2 + 6*k - 7. Let g be x(a). Solve 5*u = g, 2*o - 2*u = -3*u + 10 for o.
3
Suppose 23*z - 32*z + 45 = 0. Solve j = -5*a + 15, -z*j + 2 = -4*a - 15 for a.
2
Let r = 84 - 55. Suppose -10 = -2*m, 3*s + 5*m - r = m. Solve -11 = -2*i + s*y - 3, -2*i + 4*y = -12 for i.
-2
Let k be 15*2/(-4)*-2. Let v = -217 - -217. Suppose v*u = u - k. Solve x + 14 = 5*t - u, 4*t + 3*x = 8 for t.
5
Suppose -28*n + 108 = -4. Solve -10 = -5*d + 2*x, -n*d - 5*x - 13 = 12 for d.
0
Suppose 3*n - 12 = 0, 2*f + 2 + 14 = 2*n. Let r(b) = -b - 1. Let d be r(f). Solve 3*t - 3 = -3*z, -7*t = -d*t - 4 for z.
0
Suppose 0 = 7*v + 11*v - 36. Solve 3*y - q = v*q + 6, 0 = 5*y - q + 10 for y.
-3
Suppose 0 = 3*w + 5*b - 18, 0 = 4*w + 2*b + 2*b - 32. Suppose -12*g = w*g - 7*g. Solve 2*q + 6 = 4*i, 5*q + i + 15 = -g*q for q.
-3
Suppose -8 = 4*y, -3*y = 3*s - 5 - 4. Suppose -4*t = s*t - 2*t. Solve 3*x + 4*b + 11 = t, -3*x + b + 2*b = -24 for x.
3
Suppose -2 = 3*l - 17. Suppose 606 = 7*j + 578. Solve -l*u + 3*p + 22 = 0, -u = -p + j*p + 10 for u.
2
Let a(q) = -q**3 + 8*q**2 + 11*q - 22. Let z be a(9). Let c be (z - 4/(-6)*3)*-1. Solve 0 = -4*b - i + 10, -2 = -c*i + 2 for b.
2
Suppose -3 = 5*o - 2*o. Let d be o/(-2)*(-3 + -11). Let j be (-1 + 2)*(-2 - d). Solve -j*c + 10 = -5*t, t = -0*t for c.
2
Let f = 67 + -62. Suppose 5*s + 28 = 2*g, -3*s - 128 = -f*g - 5*s. Solve -3*i - 3*p = -2 - 1, -i - g = -4*p for i.
-4
Let d be (-22 - -7)/(6/(-10)). Suppose 24*r = 19*r + d. Solve -4*j + b - 4 = 0, -2*j - 16 = -4*j + r*b for j.
-2
Let t(c) = c**3 - 4*c**2 + 5*c - 6. Let p be t(3). Suppose 7*y + 8*y - y = p. Solve y = 7*o - 4*o + 3*i - 18, -i + 16 = 3*o for o.
5
Suppose 9 = 3*y + k - 8, -y + 3 = -k. Solve -y*b - 3*w = 0, 2*w = -4*b + 4*w for b.
0
Suppose 0 = j - 9 - 14. Let k = j + -20. Suppose 0*w + k*w = 15. Solve -4*n - 3 = 1, -5*r = w*n - 10 for r.
3
Let q = 139 - 137. Solve -q*h = 2, h - 17 = 4*o - 2*h for o.
-5
Let y(a) = -a + 16. Let i be y(14). Let t be (2 - 12/(-2))/2. Suppose t*u = -4*p + 16, 14 - 33 = -3*u + 4*p. Solve -q = 3*m - i - 5, -9 = u*q + 4*m for q.
-5
Let q be 168/28 - (3 - 0). Solve q*f + 3 = -2*o + 5*o, 12 = -4*f for o.
-2
Let p = -10 - -31. Suppose 0 = -5*m + 5*z, -m + p = 4*m + 2*z. Let j = 4 + -2. Solve -2*a = 0, o + j*a - 2 = -m for o.
-1
Suppose -6*h + 2*h = v - 21, 3*h - 2*v = 2. Suppose 7*g - h = 5*g. Solve -4*n - 28 = -2*l, -g*l + 2*n + 22 = l for l.
4
Let t = -7 + 11. Let r = -8 + t. Let v(d) = -d. Let l be v(r). Solve 0 = 4*a - 2*a + l*h + 6, -4*a + h + 24 = 0 for a.
5
Let k(m) = -m**2 + 3*m + 14. Let d be k(0). Solve 4*n + 4*b + 8 = 0, -3*b - 2*b + d = -n for n.
-4
Let h = 3 + 35. Let l = 38 - h. Solve 3*d - 16 = 4*q + 16, l = -2*q - d - 6 for q.
-5
Let p = 5 + -3. Let l(r) = -r**2 + 14*r - 9. Suppose 104 - 13 = 7*q. Let z be l(q). Solve -z*b - 2*o + 4 = 0, -3*b + 0 = o - p for b.
0
Let k be -6*5/(-45)*(10 + -4). Solve 2*q = 6*q + u + k, 3*u = 5*q - 12 for q.
0
Let k = -550 + 553. Solve -2*m - 4 = 4*w, k*w = -4*m + 8*w + 5 for m.
0
Suppose -13*r - 21 = -125. Solve -5*z - 3 = 4*t + 16, r = -5*t - z for t.
-1
Let b be ((-3)/2)/((-1)/2). Let q = 36 - 27. Let g(n) = -n + 10. Let x be g(q). Solve -6 + x = z + t, b*z - t + 3 = 0 for z.
-2
Suppose b + 6 = 3*g - 2, 5*b = -4*g + 17. Solve 5*c + 15 - 3 = -g*q, 3*q + 2*c = -3 for q.
1
Let l(c) be the third derivative of c**4/24 + 2*c**3/3 + 3*c**2. Let m be l(-4). Let v be m + 9/3 - -2. Solve -2*y = n + n, 0 = -v*y + 5*n - 50 for y.
-5
Suppose 0 = -4*h + 4*j - 28, 3*j + 13 = -3*h + 4*j. Let d be 1 + (h - -4) + 21. Solve -3*r - d = -4*c, -4*r = -3*r + 5*c - 5 for r.
-5
Let j be -4 + 7 + (-2)/2. Suppose n - 7 = -j. Solve -4*l - 2*x + 21 = -n*x, -l - 3*x = 6 for l.
3
Suppose -5*r + 2*s + 2 = 0, -3*r - s + 12 = r. Suppose g = 2*w + 2, -3*w - r*g = -3 - 1. Solve w*m + 5*m + 10 = 0, 4*k - 14 = m for k.
3
Let n(i) = i**3 + 11*i**2 + 18*i + 5. Let c be n(-9). Solve -2*f - q = -3, -2*f + f = 4*q - c for f.
1
Let z(b) = b**2 + 4*b - 10. Let t be ((3/9)/((-1)/(-18)))/(-1). Let d be z(t). Solve -1 = -g, 2*j + d*g - g - 5 = 0 for j.
2
Suppose 12*d = 5*d + 91. Let s be (d + -5)*33/12. Solve 12 = -4*l + 5*i, -l + s = 6*i - i for l.
2
Let b be (-9)/21 - (-283)/7. Suppose i - 3*g - b = 0, -5*i = -5*g - 0*g - 160. Let y be ((-8)/14)/((-4)/i). Solve 2*p = p - 2*h - 7, p + y = h for p.
-