1 for z.
-5
Suppose 2*p = -9 + 17. Let t be 87/58 - (-3)/6. Solve -8 = t*w, -w - p = -5*h - 0 for h.
0
Suppose 239*f - 237*f - 22 = 0. Suppose 100*h - 105*h = 5*i - 15, 2*h = -3*i + f. Solve 0 = -3*d + 3*x + 5 + 1, 0 = -i*d - x + 10 for d.
2
Suppose -117 = -31*r + 25*r + 3*p, 5*p = r - 33. Solve 0*b = 4*s + 2*b + r, -b + 5 = -5*s for s.
-2
Let b(m) = -m**3 - m**2 + 2*m - 10. Let a be b(-3). Solve -4*i + 4 = -4*x, -6 = 4*i + a*x - 28 for i.
4
Let i(v) = -2*v**2 - 91*v - 1030. Let a be i(-23). Solve -5*g + y - 18 = 0, 27 = -a*g - 2*y + 6*y for g.
-3
Suppose -271 = 9*n + 719. Let a = n - -113. Suppose 7*i - 17 = -a. Solve 0 = -2*d + 7*r - 4*r + 11, 3*d - 9 = i*r for d.
1
Let f = 72 + -70. Suppose -6 = -4*x - 2*t + 24, 3*t = 5*x - 10. Suppose 51*i - 40 = 11. Solve 3*c = 4*o + x, 4*o - f*c + c = i for o.
1
Let a(l) = -2*l**3 + l**2 + 2*l + 14. Let c be (-1 - (-3 + 0))/2*0. Let n be a(c). Suppose -z + 20 = n. Solve 0 = 5*r - 2*q - 15, -z - 4 = -2*q for r.
5
Let l = 3166 + -3163. Solve -l*k = j + 17, -5*k - 25 = -31*j + 32*j for j.
-5
Let h(u) = u**3 + u**2 + 4*u - 47. Let d(t) = -3*t - 3. Let v be d(-1). Let k be h(v). Let f = k - -49. Solve 0 = 2*p - g, p = f*p - 2*g + 3 for p.
1
Suppose -93 = -5*r - 2*u, -26*u + 22*u - 42 = -2*r. Solve -2*t = 3*y - 4, 4*y + r*t - 16*t = 5 for y.
2
Suppose -10*c + 58 - 18 = 0. Suppose c*f + 2*z - 4*z = 0, -3*f + 2*z = 2. Solve -3*j = -g - 5, -g + f = g for j.
2
Suppose -32*o - 4404 = -8532. Solve 0 = 5*r + 3*n - 7, -138 = -3*r - 3*n - o for r.
-1
Let z = 2 - -2. Let r(w) be the first derivative of w**3/3 - 3*w**2 + 10*w + 23. Let v be r(5). Solve 5*s + z*t + 19 = -16, -10 = -5*s + v*t for s.
-3
Let z(n) = -n**2 - 115*n - 111. Let q be z(-114). Let v = -1 + 6. Suppose v*a - 5*x = 40, -a + 22 = 4*a + x. Solve -5 = a*f + 2*s - 1, q*s = -4*f - 6 for f.
0
Let f(j) = j**3 - 12*j**2 + 22*j - 20. Let v be f(10). Let r = 2 + 5. Solve v*y = y + s - 6, y - r = -2*s for y.
5
Let s(j) = -j**3 + 8*j**2 - 20*j + 28. Let m be s(5). Solve 2*g + 9 = m*z, -3*g - 9 = 3*z + g for z.
1
Let r = -470 + 478. Let t be (60/32)/15 + 15/r. Solve 2*s + 3*k = 7*s + 12, -3*s - t*k = -8 for s.
0
Suppose 5*n - 57 = -4*v, 12 = 10*v - 6*v. Suppose 10 = 14*z - n*z. Solve -3*p = -z*k + 7, 5*k = 2*k - 2*p + 17 for k.
5
Let q = 604 + -599. Suppose -2*f + 95 = -5*f - 4*c, 0 = -f + 4*c - 21. Let b = 29 + f. Solve -q*v + h + 8 = b, 5 - 17 = -v - 5*h for v.
2
Let h(a) = a - 4. Let x be h(7). Suppose 22 = x*z - 17. Suppose -z*q + 12*q = -4. Solve -2*d - q*y = 14, -5*y = -1 + 16 for d.
-1
Suppose 3579 + 4964 = 3468*f + 1607. Suppose -5 - 15 = 4*j. Let t = j - -9. Solve 24 = t*s + 5*v, 4*v + f - 21 = -3*s for s.
1
Let c be (-45)/(-2) + ((-34)/(-2))/34. Solve 2*o = 19*n - c*n + 10, -2*o + 10 = -n for n.
0
Let f be 10/((-112)/(-21) - (-18)/(-54)). Solve w + 5*g + 17 = 29, -f = -3*w + 2*g for w.
2
Suppose 0 = 38*c + 26 - 102. Solve 0 = -2*t - j + 8, -j + 4 = t - c for t.
2
Suppose -339*w - 5*l = -344*w + 5, -2 = -2*l. Solve -4*q = 5*u - 2, 9*q - 6*q + w*u = 5 for q.
3
Suppose 5*a = 2*j - 1187, -5*j + 2942 = -0*j - 4*a. Suppose -5*y - 54 - j = 0. Let x = y - -133. Solve 0 = -3*w, -5*r + x*w = -1 + 6 for r.
-1
Suppose -2*o + 22*q - 26*q + 104 = 0, 5*o = 2*q + 224. Solve -3*z + 11 - o = -5*b, -z - b = 1 for z.
-5
Let g(o) = 2*o**2 - 43*o + 63. Let t be g(20). Suppose -2*h + t*y - 7*y + 6 = 0, 12 = 3*h + 3*y. Solve h*z - 3 = 2*v - 16, 4*z + 24 = 5*v for z.
-1
Let c be -3 + 5 - (-1 + 1). Suppose 6*a - 16 = c*a. Let i = 4172 - 4169. Solve 25 = -3*b + a*w, i*w - 12 - 12 = 4*b for b.
-3
Let l = -295 + 295. Let n be (19 - 22)*((-52)/6 - 1). Solve l = 3*d + 7*k - 3*k + 32, 5*k = -d - n for d.
-4
Suppose -129 = 5*l - 1334. Let f = 244 - l. Solve -3*n + 9 = -f*j, 2*n = -j + 5*j + 4 for j.
1
Let m = -33 + 43. Let a be -21*2/(-12)*4. Let q = a + -11. Solve q*p - 4*v + 3 + 19 = 0, -2*v + m = -p for p.
-2
Let h = 4925 - 4922. Solve 4*f - 12 = w + h*w, 3*f = -5*w + 17 for w.
1
Let k be (-84)/45*-21 + (-4)/20. Let f be (k/(-4))/(0 - 27/72). Solve -2*a = 2*j + 6, -4*j + f - 3 = -3*a for a.
-5
Let t(r) = 5*r**2 - 103*r - 151. Let a be t(22). Solve 4*n + 0*n - 11 = v, -2*n - a*v + 9 = 0 for n.
3
Let w be 4/(4/(5 - 1)). Let m(d) = -5*d + 30. Let b be m(6). Solve -f + 4*r = b, -f - 2*f = -w*r for f.
0
Suppose 0 = -4*j - 5*m + 45, -5*j - 3*m - 10 = -10*j. Let k = -91 + 94. Solve j*t = -k*s - 0*t - 35, -s + 2*t = -3 for s.
-5
Let i(r) = r**3 + 5*r**2 + 5. Let t be i(-5). Suppose t = n - 2*n, -4*m - 34 = -2*n. Let o = -8 - m. Solve -25 = 2*d + o*g, 2*d - 2 = 3*g + 3 for d.
-5
Suppose 0 = 46*g - 42*g + 3*d - 196, 72 = 2*g - 5*d. Solve 3*k + g*c - 50*c = 4, c = -2*k - 1 for k.
0
Let n be (324/(-378))/((-12)/28). Solve -f = 4*r + 6 - 0, 0 = 3*r + n*f + 7 for r.
-1
Let j(z) = 8*z + 73. Let c be j(-8). Suppose 19*q - 16*q - c = 0. Solve -5*a + 2*a + 5*v + 10 = 0, 3*v = -q*a + 18 for a.
5
Let w be -2 - (-2*3 + -1). Let g = 1123 - 1147. Let f be 6*(-6)/(-108) - 88/g. Solve -5*d - w*l - 8 = -2*l, 4*d - f*l = 0 for d.
-1
Let m = -18 + 30. Suppose -6*d = -5*q - 4*d + 31, 4*d + m = 0. Suppose 2*u - 69 = -65. Solve 5*s - 10 = u*v + 5, 5*v = -q*s + 50 for v.
5
Let r be 115 + -118 + (6/(0 - -2) - -5). Solve -r*m - 3*v - 19 = -14, -5 = 5*m - 5*v for m.
-1
Let c(r) = -r**3 - 7*r**2 - 7*r - 4. Let o be c(-6). Suppose -7*a + 216 = 65*a. Solve -3*h + a*j + 9 = -0*j, -o*h - 2*j = 6 for h.
0
Let q = 4118 - 4113. Solve 4*w + 9 = j, 2*w + q*j = 8*j - 17 for w.
-1
Let l be (-208)/(-35) - -16*(-16)/(-4480). Solve -3*w = -5*a + l*a + 9, 4*w - 10 = -5*a for a.
6
Suppose 3*d + 1 = 7. Let g be (14 - 18) + 79*4 + -2. Suppose -g*x + 313*x = 15. Solve -13 = 4*p - x*c, 0 = -2*p + 4*c - 16 + d for p.
3
Suppose 2*n = -3*v + 62, -262 = -4*v - 3*n - 179. Solve 3*r - 62*j + 64*j = -8, -v = 4*r + 5*j for r.
0
Let p(o) = o**2 + 94*o + 1680. Let q be p(-24). Solve -2*a + a - 3*j + 13 = q, -4*a = 5*j - 24 for a.
1
Suppose -5*v = -v - 16. Suppose 3*j + 10 = -70*s + 71*s, 3*j = -4*s + 25. Solve s*q - 4*q + 2*k = -v, 3*k + 6 = 3*q for q.
0
Let w(t) = -3*t**3 + 14*t**2 - 9*t + 6. Let h be w(4). Solve -5*n - 11 = -h*m + 1, 0 = 2*n + 4*m for n.
-2
Let c be (-1 + 1)/(16/(208/(-39)) + 2). Solve 0 = 5*y + 4*k - 31, -3*k + 34 - 22 = c for y.
3
Let i(a) = a**3 - 24*a**2 + 22*a + 47. Let n be i(23). Let f(p) = p**3 - 26*p**2 + 47*p + 26. Let m be f(n). Solve 3 = 5*u - 2*o - 2, m*u = 3*o - 9 for u.
3
Suppose 16*l = -48 - 32. Let c be (24/l + 6)*(-5)/(-2). Solve -z = -2*f, -c*z + 3*f = -7*z for z.
0
Let a = -8 + 14. Let n(h) = 5*h + 27. Let q be n(-6). Let z = q + a. Solve z*k = 14 - 2, -2*m = -2*k + 14 for m.
-3
Let d(w) = -2*w**3 - 29*w**2 + 14*w + 1. Let o be d(-15). Suppose 8*y = 4*y + o. Solve 0 = -2*z + y*r + 12, 4*z + r = -7 - 14 for z.
-4
Let g be (-142)/(-639) + -4*211/(-9). Let k = g - 91. Solve 2*x + k*m + 1 = 0, 2*x + 0*x = -5*m + 5 for x.
-5
Let m(v) = v - 26. Let w be m(18). Let a be (w - -7) + 4*1. Suppose -2*f = a*f. Solve -2*b - 4 = -0*b + 4*o, 4*b - 3*o - 14 = f for b.
2
Let o be 41/2 - (-18)/(-12). Suppose -o*g - 52 = -32*g. Solve -3*k = 3*y - 3, 3*k - 13 = 4*y + g for y.
-2
Suppose -2*a - 2 = -6. Let x = -161 - -165. Solve -x*h + 4*p = 20, 0*p = p - a for h.
-3
Let t be (6/(-4))/(6/(-8)). Let g(q) = 13*q**2 + 1549*q + 3283. Let o be g(-117). Solve -3*m + 1 = o, -3*m - 4 = t*j for j.
1
Let r = 58 - 54. Suppose -3*j = j - 48. Let f = 12 - j. Solve 0 = -y - 1 + 6, f = -r*l - 2*y + 30 for l.
5
Let o = -609 + 617. Suppose -2*v + 7*x - 3 = o*x, -2*v + 3*x + 9 = 0. Solve -19 = 4*t - 3*y, 4*t + v = -4*y + 16 for t.
-1
Suppose 181 - 45 = 163*t - 353. Solve -4*b = 3*p - b + t, -3*b = 18 for p.
5
Suppose 0 = 5*n - 4*a - 39, n - 27 = a - 5*a. Let m be n*((-120)/(-88) - 1). Solve 4*t + 3*k - 2 - 6 = 0, 0 = -4*t - 4*k + m for t.
5
Let u be (5 - 726/143) + (-3 - 316/(-52)). Solve u*x = 3*c, -x - 3 = c + x for c.
-1
Suppose -80 = 101*l - 989. Solve 2*f + f - l = -2*x, -5*f - 2*x = -19 for f.
5
Let h(z) be the first derivative of -z**4/4 + 4*z**3/3 + 7*z**2/2 + 33*z - 8. Let q be h(6). Solve q*w + 2 + 3 = 2*k, 3*w = 5*k - 8 for k.
1
Let p = -1043 - -327. Let b = -713 - p. Solve b*k = 5*r - 16, -5*r - k + 0*k = -28 for r.
5
Suppose -108*r - 807 + 1347 = 0. Solve -c + 9 = -r*w + 1, c = -3*w - 8 for w.
-2
Let l(s) = -s**3 + 26*s**2 + 27*s 