+ 12*h - 8*h - 4 = 0, -5*l - 4*h + z = 0 for l.
4
Suppose 19*l - 6*l = 0. Suppose -q - y + 13 = 2*y, l = -2*q + 4*y - 4. Solve 2*h + q*p - 18 = 0, -4*h + 2*p - 9 + 25 = 0 for h.
5
Let k(m) = m**2 + m - 37. Let i be k(-7). Solve 0 = 2*s + u - 1, i*s - u - 3*u = 9 for s.
1
Let n = 16 - 6. Suppose w - 80 = 5*l, 0*l - 2*w = 3*l + 48. Let h(d) = d**2 + 16*d + 5. Let t be h(l). Solve -b = 3*x + n, t*b - 5*x - 10 + 0 = 0 for b.
-1
Let j = 9 + -1. Suppose -4*s = -0*f - 4*f + j, -f + 3*s = 0. Solve -p - p - 2 = 3*n, 0 = -3*n - f*p for n.
-2
Let d = 9 + -7. Suppose -44 = -6*a + d*a. Let u be (12 - a)*(-3)/(-1). Solve 5*i - 18 = 3*j - 1, u*i = -4*j + 16 for j.
1
Let n(u) = -u**2 - 8*u - 8. Let j be n(-6). Suppose -3*r + 36 = 5*p + 21, 5*p = -4*r + 20. Solve 2*z - 13 = 5*g + z, -j*g - 4*z - 20 = p for g.
-3
Let j = 29 - 25. Suppose -j*r + r = -57. Let i be ((-8)/(-5))/(4/10). Solve 4*v + 0*k - k - r = 0, 28 = i*v - 4*k for v.
4
Let s = 8 + -5. Solve f + 9 = -2*f + s*o, 2*f + 3 = o for f.
0
Suppose -3*g + 5*g - 5*p + 20 = 0, -3*p - 20 = 2*g. Let x = 17 + g. Let r be (x - 1) + -3*1. Solve 4*o - 4 = m + m, 0 = -r*o + 4*m - 2 for o.
2
Suppose 2*x - 4*k = -24, 3*k + 62 = -5*x - 11. Let q be 0*(x/4 + 3). Solve q = -4*f + y - 11, -2*f = 4*y + 10 + 18 for f.
-4
Let z = 15 - 12. Let k = 11 + -9. Suppose -z*a - 29 = -3*d - 11, 5*a = k*d - 15. Solve 2*h - 4*q + 2 = q, -5*h + d*q = 5 for h.
-1
Let p(q) = q**3 - 6*q**2 - 72*q + 19. Let g be p(12). Solve 0 = -2*l + 4*w - 4, -4*l - 4*w - g = -w for l.
-4
Let h = -309 + 312. Solve 3*q = 3*m + h, -8 = 4*m + 8 for q.
-3
Let v(m) be the first derivative of 8*m**3/3 - m**2 + m - 4. Let h be v(1). Suppose h*u - 95 = 2*u. Solve 0 = 4*s + c + 4*c - 21, -5*s + c = -u for s.
4
Let v = -1197 + 1201. Solve 5 = -5*b + 2*b + 2*r, 0 = -v*b - 2*r - 2 for b.
-1
Suppose -c - 38 = -20*c. Solve c*t = l - t - 7, 3*t + 6 = 0 for l.
1
Let x be ((-84)/(-35))/((-4)/(-50)). Solve 0 = -5*p - 5*v - x, -2*p - 15 = 7*v - 2*v for p.
-5
Let i = 823 + -808. Suppose 3*j + 4 = -2*h + 2, 4*j = -8. Solve f - h*r = -6, 3*f + i = f + 5*r for f.
0
Suppose -18 = -3*f + 2*t, -14*t - 21 = -3*f - 11*t. Solve 0*z + 4*z = -d + 9, -f = -d + z for d.
5
Let w = 42 + -24. Let r = 23 - w. Solve -j + 4*j = 0, r*j + 15 = 5*m for m.
3
Suppose 0 = -5*a + 8 - 18. Let b be (11/a)/((-1)/2). Solve -4*q = d - 0 + b, 0 = -5*d + 3*q + 14 for d.
1
Suppose z - 4*p = 7, 3*z - 2 = -3*p + 4. Suppose -1 = z*h + v - 3, 0 = h + 2*v - 4. Suppose 5*g - 15 + 0 = h. Solve g*w - 6 = 3*o, -w = -4*o - 6*w - 35 for o.
-5
Let z be (-130)/(-20) - 2/(-4). Let s(t) = z - 2 + t**3 - 3*t**2 - 1 + 0*t + 2*t. Let j be s(3). Solve -j = 2*u + 4*c, -2*u + c + 14 = -3*c for u.
1
Suppose -2*w = 8*w - 40. Let l = -5 - -8. Let k be l/(-12) + (-18)/(-8). Solve -5*z + k*f - 2 = 0, -5*f - 4 = -w*f for z.
-2
Let n = 13 + -9. Let z = n - 1. Let i be (16/6)/(z/9). Solve -c - 2 = 2*d + 4, 0 = 4*c - i for d.
-4
Suppose 0 = -x - 0*x + 3*j - 68, 0 = -3*j - 6. Let o = -71 - x. Solve u - 5*u = -3*w - 7, -5*u - o*w + 29 = 0 for u.
4
Let k be 1 - (0 - (3 + -1)). Let g(l) = -l**2 + k*l**3 - 4*l**3 - 5*l**3 + l + 5*l**3. Let y be g(-2). Solve y*p + 2*q = 0, 4*q - 2 - 4 = 2*p for p.
-1
Let z = 58 + -12. Let u = z - 43. Solve g - 29 = -5*o, 5*o = u*g - g + 17 for g.
4
Suppose 0 = 1024*i - 1021*i - 15. Solve -c = 5*p - 0 - 6, 22 = i*p - 3*c for p.
2
Suppose 0 = -3*w + 6, -7*w - 2 = -5*s - 3*w. Suppose -2*q + 13 = -g + s*g, -q - 1 = -g. Solve -q = -2*f, -6*f + f + 10 = -4*i for i.
0
Suppose 4 = -3*k - k. Let m be ((-212)/(-16))/1 - k/(-4). Suppose -c - 2*z + 0*z = -14, c = 4*z - 16. Solve -a + 33 - m = -c*t, -2*a = -t - 12 for t.
-4
Let k(a) = -a**2 + 8*a + 309. Let x be k(-14). Solve 2*d - 16 = -3*g, 3*g = -d + 2*d + x for g.
2
Let c = -522 + 522. Solve c = 3*d - 5*v - 6, -d - d + 2*v + 4 = 0 for d.
2
Suppose 7*u - 49 - 126 = 0. Suppose -u*t - 10 = -27*t. Solve 7 = b - z + 3, -b - t*z = 8 for b.
2
Let d(v) = 66*v - 53. Let f be d(1). Solve 0 = -q + 3*n - f, 5*q - 9*n = -4*n - 25 for q.
-1
Suppose 0 = 2*q - 3*h - 5, 2*h - 10 = -3*q + 4*h. Solve 4*a + 4 = -q, 2*b + 4 = -3*a for b.
1
Let d be ((-182)/(-6))/((-25)/(-15) + -2). Let w be (8/(-14))/(13/d). Let n be (-4)/10*(-4 - 1). Solve 4*k - t + 5 = n*t, 2 = k - w*t for k.
-2
Let w = -56 - -59. Suppose -2*v = 3*m + 7, -2*m - 6 = -w*v + 16. Solve -x = -5*o, -x = -v*o + 5*o - 6 for o.
1
Suppose 2*l - f = -4, 8*f - 4*f + 23 = -5*l. Let t(x) = 5*x**2 + 2*x + x**2 - 3 - 5*x**2. Let b be t(l). Solve 5*o + 0 + 5 = b, -o = -3*k + 4 for k.
1
Let c(z) = -4*z - 12. Let g be c(-3). Suppose g = -v + 3 - 1. Solve -v*n + 0*n = 2*d, 2*n + 6 = d for n.
-2
Suppose 0 = -5*a - 10, 5*d + 2*a = d + 136. Let k = -28 + d. Solve -1 = 4*o + 3*i, k = 5*o - 5*i + 52 for o.
-4
Let y = 35 - 17. Let i = y - 3. Let l = i - -15. Solve 0*c + 2*c + l = 4*p, -c - 5 = 0 for p.
5
Suppose -15*d + 280 = 29*d + 26*d. Suppose 28 = 5*m + 3. Solve -2*w + d*z = 10, -4*w + w + 4*z = m for w.
5
Suppose 36*g - 30*g = 36. Solve -2*q + 4*c + g = 0, -3*c = 5*q - c - 15 for q.
3
Suppose -55*k + 52*k = -12. Let v be (1 - 2)*1 - -6. Suppose 11 + k = v*c. Solve -c*j = -z + 10, -3 = 4*z + 2*j + 13 for z.
-2
Let x(b) = b**3 + b**2 + b + 1. Let z be x(-1). Suppose -5*o - 20 = -q, 20 + z = -5*o. Solve q*j = f - 4*j - 14, 5*j + 19 = 2*f for f.
2
Let w(a) = -a**3 - 33*a**2 + 541*a - 12. Let k be w(12). Let s = 8 - -1. Solve -3*d - 4 = g + 8, k = -3*g - s for d.
-3
Let n(c) = -3*c - 15. Let b be n(-6). Let k(j) = 3*j - 12. Let o be k(4). Solve 4*r + 0*r = -20, -2*d - b*r - 9 = o for d.
3
Suppose 3*h - 13 = 2*g, -4*h - 5*g + 5 = h. Suppose 6 = -h*f, 10*p - 40 = 5*p + 5*f. Solve -3*u = 5*t + 30, t - u - 20 = p*t for t.
-3
Let w be (1/(-3) + -1)*(-20 + 11). Suppose -2*o + 0*o = -5*g - 8, w = -4*g + 3*o. Solve g = -4*h - 3*a - 11, h + a = -4*a - 24 for h.
1
Let o(d) = d**2 + 21*d + 26. Let l be o(-21). Suppose 0 = l*z - 23*z. Solve 2*c + 2*p - 2 - 14 = z, -7 = -2*c + p for c.
5
Let l(a) = 6*a**3 - 4*a**2 + a + 3. Let r be l(2). Suppose 0 = -5*u - f + 80, -3*f = 3*u - 23 - r. Solve 5*s = 5*v - u, v = 2*v + 3*s + 13 for v.
-1
Let c be 5 + (-3)/(-3 + 2 + 0). Suppose -5*v + c = -v. Solve v*z - 6 = 5*x - x, -x = -4*z + 5 for z.
1
Let w be (-6)/(((-16)/(-12))/2). Let g = w - -11. Let t be 9/g + 2/(-4). Solve 2*z - 18 = 5*u, 0*u + 12 = -2*u - t*z for u.
-4
Let q(r) = -30*r + 63. Let t be q(2). Solve 0*h + t*h = 5*d - 25, -2*d + 5*h + 10 = 0 for d.
5
Let a = -8 - -14. Suppose -4*i = -3*j - 45, i - a*i = 3*j - 63. Let w = i + -1. Solve -w = q - 2*h, q - h = -14 + 6 for q.
-5
Let c = -35 - -38. Suppose -3*v + 2*b + 4 = 0, -v - 3*b + 2 + 14 = 0. Let g be (16/v)/(4 - 2). Solve -g*p = -3*z + 25, 15 = -2*z - 2*p - c*p for z.
5
Let p be (1/2)/(16/4832). Let u = p + -149. Solve -3 + 23 = 4*v - u*n, 4*n = -v - 4 for v.
4
Let t(q) = -q + 1. Let j be t(-9). Suppose j = i + 8. Let r = -1 + 8. Solve a + r*z = 2*z + 20, 0 = i*z - 10 for a.
-5
Let l(u) = u**2 + 4*u - 3. Let i be l(-5). Let f be 9/i*4/3. Suppose -3*q = -f*q. Solve 2*p + 16 = 2*r, q*p = r + p for r.
4
Let t = 51 - 57. Let v(w) = -w - 3. Let n be v(t). Solve 5*f - 4*b - 8 = 0, 3*f + 0*f + 6 = -n*b for f.
0
Suppose 0 = -f - 2*f + 45. Suppose 16 = 4*v - 0. Suppose -2*j - 1 = 5*c, -v*j + j - 14 = -5*c. Solve -n = 3*s + 16, -3*n = s + f + c for n.
-4
Suppose -2*d = -5*d + 4*d. Solve d*i - 17 = -3*i - j, 0 = -j + 2 for i.
5
Let y be (-16)/(-6)*(-1)/(-16)*12. Solve 5*h - h = 3*c + 9, y*c = -h - 6 for c.
-3
Let y = -18 + 20. Solve 0 = -d + 3, -5*r - 9 = -0*r + y*d for r.
-3
Let m be ((-561)/102)/((-1)/4). Solve -q - 7 - m = -5*s, q = -5*s + 21 for s.
5
Let m(c) be the third derivative of c**4/24 - 2*c**3/3 - 3*c**2. Let s be m(7). Suppose -s*a - 4 + 34 = 0. Solve -4*u = -5*b + a, 2*b = -0*b + 5*u + 4 for b.
2
Let o be 17 + -15 - (-2)/(-2). Let t be 1/(1*o/3). Solve t*a - 14 = k, -5*a + 24 = -4*k + 3 for k.
1
Let p(g) = g**3 + 3*g**2 - g - 1. Let l be p(-3). Let a be -6 + 19 + -3 + l. Solve 5*y = 5*q - a + 42, -3*q - 5*y + 14 = 0 for q.
-2
Let t = -192 - -213. Solve 2*q + 23 = -5*b, 4*b - 5*q + t = -4 for b.
-5
Suppose -5*i = -17 + 7. Suppose i*k + k - 3 = 0. Solve -15 = -3*y - 4*h - k, h - 9 = 2*y for y.
-2
Suppose 4*w = -17 + 5. Let s be 2 - 2 - 2 - w. Let c(u) = 10*u + 2. Let k be c(s). Solve -4*x + y = k +