 - v, 0 = -4*w - h + x for w.
2
Let k = 117 - 116. Suppose 4*j - 12 = j. Solve j*t = 3*r + 3, -8 = -3*r + k for t.
3
Let s be (-5 - -1 - -2)*1. Let o = s - -67. Suppose o = -2*r + 7*r. Solve 1 = -k, -2*g - 3*k - r = -7*g for g.
2
Let a(z) = z**2 + 3. Let n be a(-6). Let g = 44 - n. Let x(l) = l**3 + 6*l**2 + 4*l - 3. Let w be x(-5). Solve -6 = 4*v + 2*q, 3*v + w*q = g*v for v.
-1
Let d(n) = -3*n + 11. Let m be d(6). Let o = -4 - m. Suppose 3 = 4*h - 5*b, -3*h + 3*b + 5 = 2. Solve 3*a - 6*a - 13 = h*l, o*a = 4*l - 19 for a.
-5
Suppose 0 = 39*j + 21*j - 660. Solve -5*c + 2*r - 20 = 0, -3*c + 0*c - j = -r for c.
-2
Let l(k) = -k - 1. Suppose -3*t = -5 + 23. Let g be l(t). Suppose 2*n - 2 = -g*a, a = 4*n + 9 + 9. Solve 2 = 2*y - 0*p + a*p, -5*p + 12 = -2*y for y.
-1
Suppose -s - 4*s = -10. Let v(k) = -k**3 - 7*k**2 - 5*k + 13. Let f be v(-6). Suppose -s*a - 1 = -f. Solve -n = -2*q - 12, n = a*q + 8 + 9 for q.
-5
Let u be 3 + (-11 + 10 - -2). Solve u = 3*y - t, 2*y + 4*t = 6*y for y.
2
Let f = -1 + -1. Let j be (f + (-3)/(-6))/(3/(-4)). Let w = -3 - -4. Solve j*u - 3*d = 3, -4*u + d + w = -0*d for u.
0
Suppose 10 = 6*r - 2. Let z(t) = 2*t**3 - 29*t**2 + 15*t - 12. Let w be z(14). Solve r = -3*g - x - 5, w*x - 13 = 3*g for g.
-3
Let r = -2 + 7. Let i(q) = -4*q - 34. Let g be i(-9). Let p be ((-3)/(-1) - 2) + 4/g. Solve r*u = -4*y + y - 2, 5*y + 26 = p*u for u.
2
Let f be 270/(-6)*2/(-5) - -2. Suppose f*h = 21*h - 20. Solve 0*n + 5*p = -4*n - h, p + 20 = -4*n for n.
-5
Let h(b) = b**2 - 31*b + 34. Let c be h(31). Solve 4*a + 5*x - x = 32, -3*a - 5*x = -c for a.
3
Let x = 238 + -233. Solve -4*o = -16, -4 - x = -j - o for j.
5
Suppose 5*w - 2*k = 11, -w + 3*k + 8 = 11. Solve -w*i + i + 2*j = -20, 0 = 4*i + j - 15 for i.
5
Suppose 0*q = -q + 21. Suppose -3*x + 6*b - 11*b + 13 = 0, x - 5 = -b. Suppose -r + q = -x. Solve -5*n = i - r, -i + 4*i + 19 = 5*n for n.
5
Suppose -l - 8 = l + 3*o, -4*l - 3*o = 4. Suppose 29 = 3*v + l. Solve -3*n = 2*h - 2 - 1, 0 = 2*h - n + v for h.
-3
Suppose -5*a + 34 = -41. Let x be (1 + a/6)*2. Let m(c) = -c**3 + 6*c**2 + 9*c + 3. Let u be m(x). Solve -q + 4*g = -0*g - u, 3*q + 19 = -2*g for q.
-3
Let i = -13 - -9. Let t be (3/1 + i)*-4. Solve 5*x - t*w = -30, -3*w = -x + w - 22 for x.
-2
Let y(m) = -m**3 - 7*m**2 + m - 9. Let h be y(-7). Let r be (-6)/(-4) - 40/h. Suppose -13 = -r*k + 7. Solve 4*b + 3*t + 18 = 0, k*b + 21 = -0*b - 3*t for b.
-3
Let y be (-1)/((-1)/(-2) - 1). Let f be 2/(-2) + 1 - -8. Solve -3*c = 5*q - 10, -f - 10 = -4*c - y*q for c.
5
Suppose 2*z + 195 = 5*k + 4*z, 3*k - 4*z = 143. Let r = k - 29. Solve -2*f - r = 3*g, -2*f + 7*f + g = -17 for f.
-3
Suppose 2*f + 23 = 3*h, -5*h + 37 = -0*h - 2*f. Suppose -2*w = -4*v + 12, 2*w = 8*v - h*v. Solve -3*n = z - 5, 5*z = 4*n - w*n - 26 for n.
3
Suppose -l - 5*u + 4 = 2*l, 3*l - 5*u = -16. Let g be (-3 - l)*(9/3 - 16). Solve 4*o + g - 4 = z, -2*z = 3*o - 7 for z.
5
Let q(o) = -o - 4*o - 5 + 0*o. Let v be q(-7). Let g = -174 + 179. Solve -v = -g*w + 5*b, 0 = 4*w - 5*w + 5*b + 14 for w.
4
Let b(x) = -3*x + 2. Let i be b(-6). Let t be (-58)/(-18) - i/90. Suppose -10 = -4*n + 5*m, n + 2*m = -4*n - 4. Solve -4*a = -w + 3*w, -t*a + w - 5 = n for a.
-1
Let t(p) = 19*p**3 + p**2 - 21*p + 20. Let v be t(1). Solve -2*s - 3*m - 3 - 1 = 0, -v = 5*s + 3*m for s.
-5
Let w(x) = x**2 + 11*x - 10. Let i be w(-12). Suppose 2*k = i*q - 4*q + 6, -q + 6 = -2*k. Solve p + 5*f = q*p + 10, 0 = 2*p + 2*f - 4 for p.
0
Let y(d) = -d**2 + 28*d - 48. Let u be y(26). Let n(c) = -c + 1. Let s be n(-2). Solve 4*t + u*x = -20, t = s*t - 4*x - 20 for t.
0
Let g(v) = -21*v**2 + 26*v - 1. Let p be g(1). Solve -4*r = -s + 10, -p = 2*r + 2 for s.
-2
Let l(a) = -a**3 - 2*a**2 - 5*a - 4. Let j be l(-2). Let q = j - 3. Suppose 5*x - 4*g = 1, 2*g - 5 = -3*g. Solve 0 = -2*v + q*d + 3, x + 2 = -d for v.
-3
Let p = 32 + -30. Suppose 4*g + 8 = v, -p*g - 3 = -v + 1. Suppose 4*c - 82 = -18. Solve -2*q + 0*q + 4*u = 10, v = q + 5*u - c for q.
1
Let s be (1 - 4/(-12))/((-24)/(-126)). Solve -2*f + 25 = 5*w + 3*f, 0 = -w - 2*f + s for w.
3
Let c = 16 + -21. Let n(l) = -l**2 - 5*l + 4. Let u be n(c). Solve 0 = -2*z + 3*z + u*t - 17, t - 17 = 4*z for z.
-3
Let a(r) = -2*r - 2. Let l be a(-11). Let p = l + -18. Suppose 0 = -d + 2, -3*h + p*d = d - 4. Solve 0 = q - h*s - 9, 0 = -6*s + s - 10 for q.
5
Let c be ((-19)/(-5))/(4/20). Suppose -5 = -8*s + c. Suppose s*k + 14 = 23. Solve 0 = -3*a - 4*n - 2, 0*n - k = 3*a + 3*n for a.
-2
Let s = -9 - -9. Let h be 11 - 2 - (3 - s). Suppose -3*l = -l - 2*o - h, -4*l + 26 = 3*o. Solve -l*n - 2*r - 10 = 2*r, 0 = n + 3*r + 13 for n.
2
Let f(b) = b**2 + 11*b + 22. Let g(u) = -3*u**2 + u + 1. Let m be g(2). Let p be f(m). Solve -5*n = -c + 2*c, 4*c = p*n for c.
0
Let l(w) = w**3 + 4*w**2 + 2*w - 1. Let a be 3 + (1 - (9 - 3)). Let i be l(a). Let m be 7/i - (-2)/3. Solve 0*j - m*j = 2*d - 9, -1 = -2*j - 3*d for j.
5
Let r be -1 - 1/(1/(-5)). Let z(s) = s**3 - 3*s**2 - 5*s - 10. Let c be z(5). Solve -2*o - 5*x + c = 0, -r*o + 11 = -3*x - 6 for o.
5
Let h be ((-1 + 4)/(-6))/((-2)/20). Suppose 20 - h = t + 4*m, 5*t = -m + 132. Let u be 10/(-4)*(-2 + 0). Solve -3*w = u*r + t, -9 = -r - 5*w - 32 for r.
-3
Let q(i) = 4*i**2 + 2*i - 3. Let p be q(1). Solve -2*f - p*j - 19 = 0, -j = -2*f - 0*j - 7 for f.
-5
Suppose n - 16 = -3*t, -t + 6 = t - 4*n. Solve 0*b = 5*s - b + 14, 3*s - 4*b = -t for s.
-3
Suppose 6*s = -17 + 35. Solve -4 = -n - 3*f - 0*f, n - s*f + 2 = 0 for n.
1
Suppose p - 3*x + 0*x = 14, 7 = 2*p + x. Suppose 0*y + p*y = s - 14, -5*s = 4*y - 70. Solve 4*g = -s + 2, -5*g - 5 = -2*o for o.
-5
Suppose 0 = -12*h + 17 + 43. Solve 0 = 3*d - 4*f - 26, 3*d - 4*d = h*f + 23 for d.
2
Suppose h + 1 - 9 = 0. Let r = h + -10. Let x = 8 - r. Solve 0*n + 4*n + 24 = 4*p, 0 = 5*n + 3*p - x for n.
-1
Suppose -43 = -w - 32. Solve w = -4*s - 3*b, s + 2*b - 1 = -0 for s.
-5
Suppose -3*d + 196 = 1024. Let r be (-2)/11 + d/(-66). Solve 3*s - 4 = -4*q - 15, -r*q + 19 = -3*s for s.
-5
Suppose -5*g = -18 + 8, 0 = 4*f - 2*g - 12. Solve 9*u - 4*u - 4 = -f*a, -a - u = 0 for a.
-4
Let q(g) = g**2. Let c be q(2). Suppose -115 = -5*d + 2*l, c*d - 17 = -4*l + 103. Let v = d - 16. Solve -5*r + 4*x = -3, 0*r + v = 4*r - x for r.
3
Let d = -302 + 314. Solve -6*p + 6 = 4*a - 5*p, 2*a = 4*p + d for a.
2
Let i(g) = 9*g**2 + 109*g + 14. Let t be i(-12). Solve -3*f - 2*q + 9 = t, 2*f = -5*q + 1 for f.
3
Let p(y) = y**2 + 5*y - 24. Let i be p(-8). Let d(f) = 6*f + 4. Let h be d(i). Solve 2*z - 4*n + h = 6*z, 2*n + 8 = 3*z for z.
2
Let b be ((-22)/(-22))/(2/76). Let o be b/95 - (-4)/(-10). Solve o*n - 4*n + 20 = -h, 3*h + 28 = 4*n for n.
4
Suppose -14*q + 255 = 37*q. Let v(x) = 11*x**3 + 1. Let k be v(-1). Let s = k - -15. Solve -4*b + 15 = s*z, q*b + 0*b - z = -3 for b.
0
Suppose -5*j + 7*j = 2. Let v(f) = 20*f**3 + f**2 + f - 1. Let w be v(j). Suppose w - 2 = n. Solve 0 = 4*d - 0*h + 3*h + n, 4*h + 8 = -d for d.
-4
Suppose 15 = -5*c - 3*z, 2*c + 7*z = 2*z - 25. Let u = 8 + -4. Solve 3*y - 2 - u = -3*n, 4*y - 2*n + 10 = c for y.
-1
Let x = -2 - -2. Let a = 47 - 49. Let q be 10 + a + (x - 4). Solve -18 = 2*s - q*n, 4*n - 3*n - 7 = s for s.
-5
Suppose 0 = -13*m + 8*m - 55. Let h = m - -9. Let p be (6/3)/((-1)/h). Solve w = p*t - 0*t - 25, 0 = -3*t - 3*w for t.
5
Let l = -420 + 424. Solve -w + 20 = -a - l*a, w = 3*a + 14 for a.
-3
Let p = -3 + 9. Let w = p + -4. Suppose 0 = -w*d + l + 1, -2*l + 4 = -0*d - 2*d. Solve 0 = -2*s - 5*f + 18, -s - d*s - 2*f = -4 for s.
-1
Suppose 28 = -19*y + 142. Solve 2*i - y*b + b - 24 = 0, 3*b = -12 for i.
2
Let n(h) = -h**2 - 6*h + 123. Let w be n(8). Solve -w = -p - 3*g - 3, -2*p + 3*g = 2 for p.
2
Suppose -2*c + 160 = 58. Let j = c - 48. Solve -3*u + 5*m = -14, 0 = u + j*m - 0*m for u.
3
Let i(p) = -p**2 - 11*p - 5. Let m be i(-7). Solve -m = 2*y + 3*y + g, 0 = 2*y + 2*g + 14 for y.
-4
Let h(x) be the third derivative of x**5/60 + 5*x**4/24 + x**3 - 6*x**2. Let g be h(-4). Solve 5*q - 13 = -n, -g*n + 3*n + 8 = 2*q for n.
-2
Suppose 0*c + 4 = 2*c. Let v be -3 + 4/(36/45). Solve 2*m - 17 = -5*y + 5*m, 0 = -c*y - v*m - 6 for y.
1
Let x be ((-4)/8)/(2/(-20)). Let c = -115 + 115. Solve v - 13 = 5*o - 3*v, c = -5*o - x*v + 5 for o.
-1
Suppose -9*z = -8*z - 5. Let f be z/(-10)*0/(-1). Let i = 7 +