
-3
Let f = 2 - 0. Let r be (-6)/15*(-2 - 13). Solve f*u - 2 = 2*k, 5 = -k + r*k for u.
2
Let b(u) = -u**3 + 12*u**2 + 2*u - 16. Let r be b(12). Suppose 0 = -7*p + 5*p + r. Solve -7 = p*o + o + 2*q, -3*o + 5*q = -2 for o.
-1
Let l = -72 + 75. Solve -4*o = l*k - 11, 0*k = 2*k - 3*o + 21 for k.
-3
Suppose 6*r - 5*r - 2 = 0. Solve 2*t + 9 = 3*a - r*a, -5*a + 4*t + 15 = 0 for a.
-1
Let v(j) = -j + 1. Let w be v(-2). Suppose -b = -3*q - 4, -5*b - 5*q + w*q = -3. Solve -2*n - 8 = -2*g, -g - b = -5*n - 5 for g.
4
Let o be (-3)/2*(-20)/15. Solve -2 = -7*r + 3*r - o*n, n = -5*r + 4 for r.
1
Let s be (-6)/((-6)/(5 - 2)). Suppose s*n - 37 = 38. Suppose 11*y = 6*y + n. Solve y*g + o = 22, g + 8 = 2*g - o for g.
5
Suppose 0 = k + 3 - 7. Let i = 20 + -15. Let w(c) = -c**3 - 2*c**2 + 2*c - 1. Let j be w(-3). Solve n + 10 = k*q, 0 = -i*q + j*q + 9 for n.
2
Let m(k) = k**3 - 6*k**2 + 8*k - 6. Let c be m(5). Solve t = 6*t + 3*r + c, -2*r = 6 for t.
0
Let y(b) = b**2 + 6*b - 11. Let t be y(-8). Suppose 0*c + t*c - j = 1, 5*j = c - 5. Solve -s - 18 = 5*q - 0*s, q + 5*s - 6 = c for q.
-4
Let h(f) = 4*f**2 - f. Suppose 2*p - 15 = -3*r, 0*r = 4*p + 4*r - 20. Suppose p = -0*j - 5*j + 5. Let b be h(j). Solve -2*x = i + x - 20, -b*x = -2*i - 5 for i.
5
Let j(v) = -v**3 - 12*v**2 + v + 12. Let q be j(-12). Suppose 4*z + z = q. Solve w - c - 8 = z, -3*c - 34 = -6*w + w for w.
5
Let k = 22 - 19. Suppose 2*q + 8 = 3*v, 2*v = -0*q - k*q + 1. Solve -4 - 9 = -v*c + 5*w, 3*w + 5 = 4*c for c.
-1
Let m = -14 + 35. Solve -1 = q - 2*s + 8, -5*q = 2*s + m for q.
-5
Let w = 166 + -162. Solve 16 = -4*i, -5*i = 2*z + w + 12 for z.
2
Suppose -4*z = 3*q + q - 412, -5*z + 215 = 2*q. Suppose 0 = -4*g - 0*g + q. Solve -3 = -3*r + 4*r, -g = -2*m + 5*r for m.
5
Let v = -38 + 60. Suppose 58 = 3*f + v. Solve -5*p + 3*n = -2*p - 24, f = 4*p + n for p.
4
Let w = -22 - -16. Let z = -7 - -4. Let a be (1 - z/w)*6. Solve 0 = u - a, -2 + 10 = 4*t - 4*u for t.
5
Let y(w) = -w**2 + 11*w - 8. Let i be y(7). Solve -h = -4*s - 13, 5*s + i = 4*h + h for h.
1
Suppose -5*h = 13 + 7. Let q = -2 - h. Solve -2*j = -3*y - 25, 4*y + 4*j - 10 = q*y for y.
-5
Let i be (3 + 2)*(-3)/(-3). Solve -4*j - 5*d - 22 = 0, i*j + 4 = 2*d - 7 for j.
-3
Suppose 2*c + 3*n = -7 + 18, -3*c - n = -13. Let x(p) = p**3 - 7*p**2 + 6*p + 7. Let m be x(6). Solve -3*g = -4*u - c, -4*u + 4*g - m = 1 for u.
2
Suppose -7 = -5*h + 8. Let u be (h/2 - 1)*6. Let q = -3 - -7. Solve 0 = -q*v, -u*t - v = 2*v + 15 for t.
-5
Suppose 0*r + 2*r = 22. Suppose -r - 2 = -2*f + 3*x, -2*x - 22 = -4*f. Suppose 9*z = f*z. Solve -2*d - 2*g + 12 = -z*g, 0 = d + 4*g - 15 for d.
3
Let i be 0 - (2 + -1 + -3). Solve h = -3*r + 7, 0*h - 5*r = i*h - 13 for h.
4
Suppose -37 = -4*y - 5*f, 4*y + 13 = 2*f + 3*f. Solve -3*j - 4 = -2*g, y*g - 6 = -2*j + j for g.
2
Suppose -24 = -2*k + 8. Let y(n) = -n**2 + 15*n + 4. Let c be y(15). Solve -2*g = -2*l + 6, 3*g + c*l = 10 + k for g.
2
Suppose 0*u = -2*u - 2. Let g be 0 - (u + 1 + -9). Solve 4*p + 5*a = 16, 5*p - 5*a - 11 = g for p.
4
Suppose 3*c - 2*c = 4. Let f(j) = 2 + 3 + 12*j**2 - c. Let m be f(-1). Solve 33 = 2*n + 5*s, 3*n + m = 5*s - 0 for n.
4
Suppose 0 = 9*k - 4*k. Solve 2*o + k*i = 4*i + 14, 3*o = i + 6 for o.
1
Let n = -82 + 84. Solve d - 12 = n*z - 6*z, -2*d + 3*z = 9 for d.
0
Let j = 65 - 62. Solve 0 = j*b + 3, -2*l - 3*b = -3 for l.
3
Suppose c = 5*y - c - 2, y = -5*c + 22. Let a be 3/(-2 + (-14)/(-4)). Solve -5*j - 4 = a*v + y*v, -v - 1 = 0 for j.
0
Suppose 2*n - 5 + 19 = 5*g, -g = -4*n - 10. Solve -4*t + 15 = -g*w + 7*w, -2*w + t + 6 = 0 for w.
3
Let j be 4/(-2) - 12/(-6). Let g(k) = -k**3 - 2*k**2 - 2*k - 1. Suppose 0 = -0*m - m - 2. Let v be g(m). Solve v*y - i = -7, j = 5*y + i + 2*i + 35 for y.
-4
Let r = -71 + 77. Solve 14 = 4*z - r*z - 2*d, 13 = -z - 4*d for z.
-5
Let w be 3/6 - 1/2. Solve 0 = i - u - 6, i + 12 = -5*u - w for i.
3
Let y be ((-4)/(-6))/((-1)/(-6)). Let k = -15 - -28. Let l = 22 - k. Solve l*z - g - 10 = 4*z, 0 = -y*z + 2*g + 2 for z.
3
Let b = 4 + -2. Let u be (0 + 2)/(b/4). Solve -2*n - 8 = 5*p - 4*n, u*n = -4 for p.
-2
Let y(i) = 3*i + 3 - 4*i + 2*i. Let w be y(0). Let j = -6 + 11. Solve j*x = 7*g - w*g + 16, -x = 0 for g.
-4
Let z be 3/(-18) + (-50)/(-12). Solve 8 = z*k + 3*t, 2*k - 5*t + 24 = -2*k for k.
-1
Let f be (-14)/(-4) + 1/(-2). Solve -f*s + 5*z = 2*z, s = -3*z + 4 for s.
1
Let x(z) be the first derivative of 4*z**3/3 - z**2 + z + 2. Let l be x(1). Suppose 10 - 3 = l*r - 2*q, 0 = 4*q - 16. Solve s - 11 = -r*u - s, -15 = -5*s for u.
1
Let f(h) = h**2 + 4*h + 2. Let w be f(-4). Let s be (2 - 2)/(w - -2). Solve -q + s*r = -4*r + 11, -5*q + 5*r = 10 for q.
1
Let o(a) = -a**3 - 2*a**2 - a + 1. Let c be o(-2). Suppose -c + 1 = -k. Solve 5*s + 26 = -k*p, 3*p + 10 = -5*s - 19 for s.
-4
Let h(x) = -4*x - 4. Let c be h(-3). Let n be c/6*(8 - 2). Let o be -10*(-2)/4 + -1. Solve -l = o*p + 3*l + n, 21 = -3*p + 2*l for p.
-5
Let d be (-8 - -2)/((-3)/((-30)/(-4))). Solve 3*w - d = -3*l, w + w - 3*l = -15 for w.
0
Suppose h = 3*d + 5, 8*h - 6*h = -4*d. Let j(n) = -n**2 + n + 5. Let i be j(0). Solve 2*t + 2*u = -6, -4*t + 22 = -h*t - i*u for t.
1
Let t(b) = -b + 8. Let z be t(0). Let m = 13 - z. Suppose 5*d + 26 = 4*a, -3*a + 8*a + 2*d - 16 = 0. Solve -4*v + v - x - a = 0, 4 = 3*v + m*x for v.
-2
Suppose -4*z - 5*g - 116 = 0, z - 5*g + 76 = -3*z. Let a = -14 - z. Suppose -3*s = -8*s + a. Solve -3*v - 4*c - 5 = 0, -s*c - 2 = v + 1 for v.
1
Suppose -19 + 54 = -5*r. Let h(w) = -w - 3. Let l be h(r). Solve 5*k + 26 = -4*c + 5*c, 2*k = l*c - 14 for k.
-5
Let t(y) = 9*y + 1. Let i be t(-1). Let d = i - -11. Let k = d + -3. Solve -2*j = 4*n - 4, -2*n + 3*j + 2*j + 26 = k for n.
3
Let o(r) = r + 17. Let d be o(-14). Solve -d*u + 0 = -2*x - 5, 0 = 5*x - 4*u - 5 for x.
5
Suppose 21 = 3*m - 2*m. Let r be 4/10 - m/(-35). Solve -t - 2*c - r = 1, 2*t - c = -4 for t.
-2
Let d(f) = 2*f + 7. Let u be d(0). Solve -5*p - 5*z - 5 = 0, -u + 6 = -4*p - 3*z for p.
4
Suppose 67 = -4*h + h + 2*o, -4*h + o - 96 = 0. Let a = h + 27. Solve a*p = j - 4, p + 7*j + 9 = 4*j for p.
-3
Let t(p) be the first derivative of p**2 - 5*p - 1. Let o be t(4). Solve 0 = -3*c + o*u + 15, 4*c + c + 3*u - 17 = 0 for c.
4
Let q be (-4)/(-5)*10/(-4). Let c be ((-3)/2)/((-1)/q). Let i = c + 6. Solve 0 = -5*p + i*o - 34, -5*p = -3*p - 5*o + 25 for p.
-5
Let k(g) = -g - 5. Let v be k(-9). Solve -5*f - 16 = 5*w - 6, -8 = v*f for w.
0
Suppose -p + 4 + 18 = 4*s, 4*s - 5*p = 34. Suppose -k + s = 2*k. Suppose -k*u - 8 = -4*u. Solve 4*o = -2*m + 6*m - 32, 0 = -2*m - 2*o - u for m.
3
Let z(g) = 13*g - 1. Let b = 4 + -3. Let y be z(b). Solve -3*k = y, 0 = -5*j - k + 3*k + 13 for j.
1
Let h(z) = z**2 + z + 1. Let u be h(-2). Let k = 2 + -1. Suppose k + 4 = w - 2*l, -11 = -5*w - 4*l. Solve 0 = u*q - 2*s - s + 3, w*q - 25 = -4*s for q.
3
Let b be 48/20 + (-6)/15. Solve 4*q = -5*o - q, 0 = -b*o - 4*q for o.
0
Let s(l) = -l**3 + 4*l**2 + 7*l - 6. Let a be s(5). Suppose -a*p = -p. Solve 2 = -p*o + o, o - 2 = -2*n for n.
0
Let l be (-1 - 0)/((-10)/30). Suppose 5*i = i. Let k = i + l. Solve -4*p + k*d - 5 = -0*d, -d + 7 = -4*p for p.
-2
Suppose b + 4 = 2*b. Suppose -2*y + 5*i = -24, -i = 4*y - b*i - 20. Solve 2*c = 3*k + 21, 0 = y*k + 2*k - 2*c + 26 for k.
-5
Let a = 0 - -2. Let p(b) = b**2 + 9*b - 1. Let w(n) = -n**2 - 8*n. Let l(c) = -2*p(c) - 3*w(c). Let j be l(-6). Solve 3*k + y = -a - 0, -j*k + 6 = -3*y for k.
0
Let b = -8 + 12. Suppose c = 5*k - 0*c - 152, -k + b*c = -38. Suppose -2*z + 0*l = l - 3, k = 5*z - 5*l. Solve 4*w - 5 = z*a, w - a - 1 = -0 for w.
2
Let j(w) = -w**3 - 2*w**2 + 4*w + 6. Let g be j(-3). Suppose 3*s - g*y + y = 9, 3 = y. Solve -2*q - 8 = 2*b, s*q + 0*b = -3*b - 10 for q.
1
Let s(h) = h**3 + 18*h**2 + 2*h + 44. Let u be s(-18). Solve o = -3*k - u, 0 = -8*o + 3*o + 3*k - 4 for o.
-2
Let l(y) = -12*y**2 - y - 1. Let m be l(-1). Let p = 15 + m. Solve -p = -x - 2*a + 3*a, 0 = 2*x - a - 1 for x.
-2
Let m = 7 - 5. Suppose -2*d = -3*a - 46, 47 = m*d + 5*a + 17. Solve 0*n - d = 5*n + 5*g, 4*g = -5*n - 17 for n.
-1
Let j be (-12)/42 + (-2)/(-7). Let d be 0 - (-1 - (2 - j)). Solve 5*q - 5*z + 15 = 0, -6 - 3 = d*q - 2*z for q.
-3
Suppose -3*x - 3*y + 6 = -0*x, y - 4 = -2*x. Solve 4*z + 14 = -x*r, 0*r + 2*z = r - 9 for r.
1
Let w(g) = 3