et c be -1*(h - -2*1). Let k = c - -6. Solve 3*g - 3*s + k = 0, 0 = g + 4*g - s + 20 for g.
-4
Let k be 0*(3 - 1)/2. Solve k = -4*p - r + 11, -2*p - 3*r + 5 = 3*p for p.
4
Suppose -3*j - 3*q - 6 = 0, 4*q - 2*q = -10. Let v be -6*j/12*-2. Solve -2*o - 7 = -v*i, 3*i - 5*o = -2*o + 12 for i.
-1
Suppose -2*v = -5*o + 31, 4*o + 5*v - 1 = 4. Suppose -o*q = 4*h - 14, 2*q + 1 = 3*q - h. Suppose q*f = -2*f + 40. Solve 0 - f = -3*u - n, u = n + 10 for u.
5
Suppose 5*s - 9 = -4*g - 0, -4*g = 2*s - 18. Solve 3*a - b + 6 = -6*b, -3*a - g = b for a.
-2
Suppose 0 = -f - 3*f. Let b be 18/72 - 38/(-8). Solve -3*v - p = -6*v, f = 5*v - b*p for v.
0
Suppose 20 = 4*q, 0 = -3*b - 4*q + 41 - 15. Solve 2*j = b*m + 6, -2*j = -j + 5*m + 21 for j.
-1
Let y(h) = -h + 9. Let v be y(9). Let g = v + 15. Suppose x - g = 10. Solve 2*n + 3*r - 7*r - 24 = 0, -5*r - x = 0 for n.
2
Let j(i) = -i**3 - 13*i**2 + 6. Let v be j(-13). Solve 3*k = 2*x - 2, -3*k - 2 + v = -5*x for k.
-2
Let m(x) = -3*x + 1. Let w be m(0). Let j be 3 - ((2 - 4) + w). Solve 3*n - 7*n = -5*b + 7, 4*n = 4*b - j for n.
2
Let i be 176/18 - (-4)/18. Suppose -3*x = 2*x - i. Solve -4*f + 2*f + 4*p = -8, -x*p = f for f.
2
Let b(y) = -y**3 + 9*y**2 + y - 4. Let l be 2/1 + 1*7. Let n be b(l). Let s be n - (0 - (-1 - 0)). Solve 3*o + 1 = 2*t, 0*o - 37 = -5*t - s*o for t.
5
Suppose -4 = -y - 2. Solve 3*a = -t + 10, 4*t + a + y = 5*t for t.
4
Let n be 2/(((-15)/138)/(-5)). Let a be n/28 - (-6)/(-21). Solve a*t + 2*w = 0, -3*t + 2*w - 18 = -2*w for t.
-2
Let i = -124 + 129. Solve 4*p = -20, -z - 2*z - 25 = i*p for z.
0
Let g(j) = 6*j**2 - 2*j + 1. Let r be g(1). Suppose r = 3*f - 4. Let h be ((-24)/(-8))/((-1)/(-1)). Solve 4*q = 4*d, f*d + d - q - h = 0 for d.
1
Suppose 0 = -2*l - 2*n - 10, -2*n + 25 = 3*l - 7*n. Solve 2*d = d - 4*a + 7, -2*a + 4 = l for d.
-1
Let f be (7 + -8)*-2*4. Let q = f - 3. Suppose -q*p + 4*c + 19 = c, 4*p + 4*c = 28. Solve a + 0 = 5*v - 4, p*v + a + 4 = 0 for v.
0
Let q be 1 + 3/(-3) + 7. Let f be (-6)/(-10) + (-153)/(-45). Suppose u - 11 = -f*o - 3, 5*u + 3*o = 23. Solve -w = -u*a + 7, -2*a = w + q - 18 for w.
5
Suppose -4*o + 5*i = -16 - 71, 5*i + 3 = o. Solve 4*l = 4*s - o, -2*l = s + 4 - 5 for s.
5
Let u = 2 - 3. Let f be 10/(-5)*(u + -1). Solve 2 = f*r + 2*x, -4*r + 4 + 16 = -4*x for r.
2
Let l(w) = -w**3 + 7*w**2 + 9*w - 3. Let a be l(8). Solve a*v - 5 = -4*s - 1, 2*s + 24 = 4*v for v.
4
Suppose 12*p - 16*p = 0. Solve j + 14 = 4*k + 3*j, k - 2*j - 11 = p for k.
5
Let q(h) = -h + 1. Let r be q(-2). Let x be (-34)/9 - 4/18. Let n be 1 + (-1)/(2/x). Solve 5*j + 0*u - 10 = 4*u, -r*u + 6 = n*j for j.
2
Let w(t) be the second derivative of -t**4/12 + 5*t**3/3 + 13*t**2/2 + t. Let u be w(11). Solve 0 = 2*a + 3*y - u, 2*a = -a + y + 3 for a.
1
Let j be (1 - 4/(-2)) + 10. Suppose -41 = -3*w + j. Solve 2*h + 2*z - 9 = 3*z, -h + 5*z = -w for h.
3
Suppose 4 = 2*t, 5*t + 2 = -3*n + 18. Suppose 0 = -n*a - a + 12. Solve 19 = 3*f - a*d - 3, 2*f - 2*d = 12 for f.
2
Suppose 0 = 2*q - w + 39, 5*q + 3*w - w + 111 = 0. Let o = q - -31. Solve 0*a - 3*a = -i + o, -4*i = 2*a - 12 for i.
4
Let p be 20/(-25)*5/(-2). Suppose -j + 6*j - 23 = p*q, 5*j + 3*q - 28 = 0. Solve j*w + 0*o - 10 = 4*o, 3*w - 6 = 2*o for w.
2
Let k be (-4)/6*(0 + -3). Let o = 2 - k. Let f be -3*(0 + (-2)/2). Solve p - 5 = o, f*p - 25 = 3*w + p for w.
-5
Let a(t) = -7 - 6 + 5 + 0*t - t. Let c be a(-10). Solve -2*v = -2*i - 18, c*i + 0 = 5*v - 33 for i.
-4
Let a be (0/((-6)/3))/(-1). Suppose -4*m = -a - 12. Suppose m*u + j = -j + 4, -u + 2*j = 4. Solve -s + v = u, -v = 3*s - 5*v + 3 for s.
3
Suppose -m + 5 = 3*x, 5 = 3*m + x - 10. Solve 4*c - 21 = -c - 4*i, 4*c - 25 = m*i for c.
5
Let c be 5/(5/(-1))*(0 - 0). Solve 0 = -c*d + 5*d - 3*x - 31, d + x = 3 for d.
5
Let l(a) = -a - a + a + 10. Let g = 23 + -15. Let z be l(g). Solve -t - 9 = t + o, -5*t = -z*o + 18 for t.
-4
Suppose x = -n + 5, -4*n = -6*n - 4*x + 20. Solve n = t + 2, 2*q - q - 2*t = 9 for q.
5
Suppose -3*d - 4*u = -0*d - 22, u = d - 12. Let t = d - 5. Solve t*o - 2*z = 10, -3*z = -z + 10 for o.
0
Let q be 2 - (-3 - 2 - -7). Solve -3*d + 11 = -2*b - q*b, -5*b + 5 = -d for d.
5
Suppose 9 = 3*d + 3*o, -7*d - o = -2*d - 19. Solve -27 = n + 5*b - 5, -d*n - b = -7 for n.
3
Suppose 3*x = -2*x + 15. Let q be (x/(-2))/((-1)/2). Suppose -q*o + 10 = 2*o. Solve -2*v = -o*p + 3*v - 21, -2*p + 3*v - 15 = 0 for p.
-3
Let h(k) = 4*k**3 + k. Let p be h(1). Solve 0*m - 5*t + 9 = -2*m, -m = -p*t + 12 for m.
3
Suppose -6 = 4*q - 3*q - 2*d, 5*q = -4*d + 26. Solve 5*n - 17 = 4*x, 4*x = q*n + n - 15 for n.
1
Let q be (3 - -1 - -1) + 0. Let j be 171/12 - (-2)/(-8). Suppose 0 = 2*w + 5*f + 10, 4*w - 6*w + j = -f. Solve 4*l + w = -5*k, 2*k = -q*l + 3*k + 1 for l.
0
Suppose 20 = 5*q, -614 = -2*p - q - 0*q. Let z be 2/4 - p/(-10). Let r = z - 16. Solve -n - 5 = -4*k - 6*n, -2*k + r = 5*n for k.
-5
Suppose -5*l + 30 = -0*z + 5*z, 0 = z - 2. Suppose -9 = -l*n + x, -2*n + 3*x + 0*x = 3. Let p = n + 1. Solve -p*s + 4*k - k - 17 = 0, -s - 4*k = 9 for s.
-5
Let b(y) = y**3 - 4*y**2 + 5*y - 3. Let i be b(3). Let r = -1 - 0. Let q = r + 9. Solve i*l - q = -2, 8 = -3*t + l for t.
-2
Let i(r) = r**3 + r**2 - 2. Let g be i(-2). Let a = g + 7. Let j be 2 + (2 + 1)/a. Solve j*n + x + 16 = 0, 4*x - 3*x - 4 = 0 for n.
-4
Suppose 3*g = 4*g - 10. Suppose 3*h = -x - 10, x = 4*x - 5*h - 40. Solve -5*v + x*p = -g, -v - 1 = -3*v - p for v.
1
Suppose 2*r - 8 = k, -4*r - k = 4*k + 12. Solve -s + 1 = -p, -5*s - p = -5*p - r for s.
-2
Let a be (14 + 2)*(-3)/(-6). Let d be a/(-2)*1*-1. Solve 2*t + t = -d*k - 4, -2*k = -t + 12 for k.
-4
Let c(p) = p**3 + 7*p**2 + 2*p + 15. Let s be c(-7). Let k be (0 - (0 + s))*-3. Solve -k*t - 2*g - 29 = -6, -2*g = 5*t + 33 for t.
-5
Suppose -2*o + 0 = -4. Let z be 38/133 - (-2)/(-7). Suppose z*p - 10 = -u + p, 0 = -o*u + 4*p + 30. Solve u*q = 5*j - 25, -5*j - 3 = 5*q + 12 for q.
-4
Let a = 32 - 27. Solve 5*c + 0 = -4*r - 3, -3*r + a*c + 24 = 0 for r.
3
Let q be (0/(-3 - 0))/(-1). Solve -5*d - 3*b + 2*b = q, -b = -d for d.
0
Let a be 22/(-4) - 4/(-8). Let i be (a - 1)/((-9)/6). Solve 3*j + i*m = 22, -4 = -2*m + m for j.
2
Suppose -3*f + 6*f = 15. Suppose -c = -4*o - 169, -f*o + 0*c = -3*c + 213. Let d be o/15*20/(-8). Solve -k + 2*w + d = 0, k + 1 - 7 = w for k.
5
Let g be 15 - 12 - (-1 + -1). Solve -4*u + 2*s = -2*s - 16, g*u + 4*s - 11 = 0 for u.
3
Let p = -34 - -37. Solve 4*w - 22 = -3*c, p*c - 22 = -3*w - 4 for c.
2
Suppose 3*h + 0 = 12. Let u(t) = t + 6. Let a be u(-3). Solve 29 = 5*k + 3*f - f, -a = k - h*f for k.
5
Let v(z) = z + 2. Let n be v(2). Suppose g - 9 = -n. Solve -4*l - 4*y - 12 = -4, y = g*l + 4 for l.
-1
Suppose z - 35 = -4*z. Solve 0 = -y - 3*q + 2 - 15, 0 = 3*y + q + z for y.
-1
Suppose -2*t = 5*d + 21, 3*t + 0*d = 4*d + 26. Solve -f = -2*h + 7, -h = f + t*f + 7 for h.
2
Let n be 3/(((-1)/(-2))/1). Suppose -o + 5 = a - 1, n = 5*a - 3*o. Let p = a + -1. Solve -5*d + 10 = 0, 0 = -5*i + p*i + 2*d - 7 for i.
-1
Let h = -8 - -11. Suppose h*a = 2*a. Let u(j) = j**3 + 5*j**2 + 4*j + 5. Let g be u(-4). Solve -g*k = 5*m, a*k + 5*k - 8 = -m for m.
-2
Let f(l) = 28*l**3 + 1. Let k be f(-1). Let u be 2/3*k/(-3). Let c be 3 + -2 + u/3. Solve -5*h + 15 = 3*n, 5*h + 2*n = -c*n + 25 for h.
0
Suppose -5*j - 5 = -4*j. Let i = 10 + j. Solve i = 3*s + q - 0, -4*q + 20 = -4*s for s.
0
Let y be 0/4 + (-3 - -15)/4. Solve b + 4 = -4*n + y, -5*b - 5 = -5*n for b.
-1
Suppose 2*r - 3*r + d = -4, 5*d - 8 = -2*r. Solve -r*o = 5*i + 10, -2*o - 2 = i + o for i.
-2
Suppose -2 = -3*l + 4. Let o = 2 - l. Solve -5*b = 0, -4*r + o*b + 4 = -3*b for r.
1
Let r be 17 + 1 + 0 + 0. Suppose u = -4, r = 2*z - u - u. Solve -z*p + 5*i + 36 = i, 0 = -3*p - i + 8 for p.
4
Suppose -4*z + 1 + 31 = -4*v, 2*z + 4*v + 2 = 0. Let k be 8*-4*-1 + -2. Suppose 3*g - 3 = -0, -5*h = 5*g - k. Solve -p + x = -z, 0 = p - h*x - 19 - 6 for p.
0
Let d = -92 - -95. Solve -2*m - 3 = d*c, -5*c - 6 = 4*m - m for m.
3
Let s = 6 - 2. Let q be (-1)/(2/(-44)) + 1. Solve 3*o + s*v - q = 0, 4*v - 24 = -o - 3*o for o.
1
Let r = -2 - -7. Suppose -r*d - 7 = 4*x, -4*x + 1 = d + 12. Let m be 2/(-3) - 59/x. Solve 4*k - 7 = 3*s - 2, 4*k + 5*s = -m for k.
-1
Suppose -2*i - 2 = -12. Solve 0 = 2*w - 5*y + 16, -4*w - i*y = -5*w - 18 for w.
2
Suppose v = 5*x - 