z.
-2
Suppose 22 = 2*t - 2*j, 4*t + 17*j = 22*j + 49. Suppose -5*r + 22 = 2. Let y(z) = z**2 - 3*z + 1. Let g be y(r). Solve 3 = -3*s - g*p - t, 0 = 5*p + 15 for s.
2
Let x(b) = -4*b + 2. Suppose -2*a - 8 = 2*d, -3*d + 1 = -5*d + 5*a. Let n be x(d). Let g be n/7 + 5*1. Solve 2*u + 2*k - g = -5, 0 = -3*u - 4*k + 4 for u.
0
Suppose 59 = 5*f + 4*h, -2*f + 3 = -2*h - 35. Solve -5*x + j - f = -x, 2*x = 3*j + 5 for x.
-5
Let b(c) = c**3 + 10*c**2 - 13*c - 2. Let g be b(-11). Suppose g = 2*i + 10. Solve 18 + 2 = i*t - 4*l, 5*t + l - 20 = 0 for t.
4
Let g be ((-10)/(-4))/((-2)/(-4)). Solve -4 = -g*v - 5*y + 6, 0 = 5*v - 5*y for v.
1
Suppose 5*o + 684 = -7*o. Let l = -54 - o. Solve l*k = -2*p - 7, -5*k + 3 = 28 for p.
4
Suppose -3*x = -2*u + 26 + 76, 4*u - 4*x - 208 = 0. Let f be ((-24)/u)/(2/(-9)). Solve -5*j = -3*q + 19, 3*q + f*q - 5 = 3*j for j.
-5
Let z be (-39)/(-104) + 3/(-8). Suppose 0 = 3*x - 5*x + 8. Solve -2*m + 5*b + 33 = z, -m = m + x*b + 12 for m.
4
Let n(b) = -b**2 - 27*b + 31. Let f be n(-28). Solve 4*j - 1 = -m, -f*j + 5 = -j - m for j.
1
Suppose -5*u = -5*t, 4*t = u + 2*u + 1. Let q(m) = 4*m + 2. Let a be q(u). Solve 4*f + 28 = 4*w, -20 - a = -4*w + 3*f for w.
5
Suppose 0 = -6*a - 38 - 112. Let h = a - -27. Solve m - h*x = 2*m - 6, 10 = 2*x for m.
-4
Let b be ((-1)/4)/(-3 - 118/(-40)). Suppose -2*v - 12 = -5*v. Solve -2*i - b*n = -0*i - 13, 1 = -v*i - n for i.
-1
Let t = 33 - 93. Let a be (-64)/30 + (-8)/t. Let b be 4/a - 6/(-1). Solve 3*i - 5*i = -b*q - 26, 4*q - 3*i = -29 for q.
-5
Suppose -3*q = 5*r, q + 3*q - 3*r = 0. Suppose q*m = -4*m + 20. Solve -h - 4*n + m*n - 10 = 0, 4*h + 45 = 5*n for h.
-5
Let t(u) = -u**3 - 11*u**2 - 15*u - 47. Let x be t(-10). Solve 5*s - 14 = -x*a - 2, 3*s = 0 for a.
4
Let w be 7/(-49) - (-71)/7. Suppose 20 = -6*m + w*m. Solve -2 - 4 = -m*v - j, 10 = -3*v - 4*j for v.
2
Suppose 83 = 2*d + 17. Let a be (-10)/55 + 72/d. Solve 3*m = -p + 2, a*p = -3*m - 2 + 3 for p.
-1
Let l(c) = -c**3 + 4*c**2 - 2*c. Let z be l(2). Suppose -t + 12 = z*m, -4*m + 16 = 6*t - 4*t. Solve t*y - 5*g = 16, 0*y - 4*y - 5*g + 16 = 0 for y.
4
Suppose -5*u - 25 = 0, -b - 2*u - 1 = -0. Let f(s) = -7*s + 18*s + b*s. Let i be f(1). Solve -4 = 4*l + 3*w, -3*w + i = -l + w for l.
-4
Suppose 3*o - 5*d - 21 = 5, 2*d - 26 = -4*o. Let j be (0 - -4 - o) + (-1 - -6). Solve 5*t + 4*w = 2*t - 1, 2*t + j = -2*w for t.
-3
Let y be (225/(-6))/((-1)/(-4)). Let p = -146 - y. Solve 0*w = -2*w - 3*s - 20, 0 = -p*w + 3*s - 4 for w.
-4
Suppose 0 = 5*g + a - 25, 42*a - 20 = -4*g + 43*a. Solve -3*s - 36 + 4 = -5*p, g*p - 28 = 2*s for s.
-4
Let u be (0/9)/(4 + -2). Solve 6*h - 3*h = 0, 5*a - 5*h = u for a.
0
Let l(r) = -r**3 - r**2 + r + 46. Let h be l(0). Suppose h = -v + 3*v. Suppose -2*i + v = -9. Solve -i = -f + 3*u, 2 = 5*f + 2*u + 7 for f.
1
Suppose 0 = 4*x + x. Suppose 8 = 4*q - 8. Let k be 4/10 - 58/145. Solve q = -2*t - j, t - 5*j + 2 + x = k for t.
-2
Suppose -26*z + 152 = -30. Solve -3 - z = -5*u, 2*l - u - 6 = 0 for l.
4
Let k = 67 + -107. Suppose 0*u + 3*u = -3*v + 15, 4*u - 18 = -2*v. Let s be ((-12)/15)/(u/k). Solve -y = -2*f - 5, -4*y + 5*f + s - 3 = 0 for y.
-5
Let h be 0 + 0 + 4/(-1). Let m be (2/(-3))/((-3)/27). Let o = h + m. Solve 0 = p - o*r - 5, -4*r + 0*r = -4*p + 4 for p.
-3
Let b be 24/10*5/2. Solve -3*f = 2*m - 4, m - b*f - 2 = -3*f for m.
2
Let m be ((-60)/6)/(-5)*8. Solve 5*c = 5*v - 45, 5 = -v - 5*c - m for v.
4
Let r be -4 + (7 - 3 - -4). Suppose 3*t = r*t - 4. Suppose -6*j + j = d - 14, 2*d + 3*j = 14. Solve -3*h - 31 = -6*h - t*z, 4*z + d = 4*h for h.
5
Let n be (-14)/(-6) - (-1)/(-3). Suppose 2*c - 3 = -3*w - c, 0 = -2*w + 3*c + 22. Suppose -n*u = -u - w. Solve 0 = 7*p - 2*p + 5*h, -21 = -u*p + 2*h for p.
3
Suppose 4 = -2*k + 4*h, k + 5*h - 4 = h. Suppose -5*v = -5*o - 3 + 48, k = -3*v - 9. Solve -f = 3*w - 12, w + 3*f = -2*w + o for w.
5
Let n be 3/4 - 207/(-92). Solve -a = 0, n*a - 5 = -2*f - 13 for f.
-4
Let n(l) = l**2 + 37*l + 333. Let o be n(-22). Suppose 2*p - 2*u = 16, 2*p = 3*p - 5*u - 28. Solve -p*j - 28 = 4*m, o*m + 4*j + 32 = -j for m.
-4
Let t be 11 + (-5 + -6 - -5). Let p be ((-1)/(-2))/(4/40). Solve -w = 5*z + 2*w + t, -p*z = -4*w + 40 for z.
-4
Let p = -80 - -196. Suppose 111*j - p*j = -25. Solve 0 = 3*i - 2*i - w + 2, -j*i - 8 = -3*w for i.
-1
Suppose 0 = -6*u + 21 + 9. Suppose u*m - 4*g = 27, -2*m + g + 15 = 3. Suppose 5*j + m = i, i - 5 - 1 = 4*j. Solve -11 = -4*h + i*k + k, 3*k = -3*h + 3 for h.
2
Suppose -5*j = -5*v + 15, 3*j + 5 + 2 = v. Let n be j/(-1)*14/7. Solve 26 = 3*u - 0*u - 5*w, n = -w for u.
2
Let n(o) = o**3 + 3*o**2 + 3*o + 2. Suppose -4*g + 5 + 15 = 0. Suppose g*w = -12 + 2. Let p be n(w). Solve 2*f = 3*z - 0 + 1, -f + 2 = p for z.
1
Let h(n) = -n**2 - 3. Let z be h(-3). Let t = z + 15. Suppose -c - 3*d - t = 1, 2*c + 2*d = 0. Solve -c*v - g - 2 = -v, 12 = -3*v + 3*g for v.
-3
Suppose 2*q + p + p - 14 = 0, -5*q = -2*p. Suppose 30 = 25*y - 15*y. Let i be 28/5 + 4/10. Solve r = q*k - k + 4, y*r = -3*k - i for k.
-3
Let r = 331 + -331. Solve -4*g + t + 6 = 0, r*t - 6 = -3*t for g.
2
Let b be (7/(-14))/(4/(-152)). Suppose -4*g + 38 = 5*c - b, -6 = -2*c + 4*g. Solve 5*w + 2*z + 18 = w, -3*w + 3*z = c for w.
-4
Let k(q) be the first derivative of q**2/2 - 12*q - 3. Let w be k(5). Let s(j) = j**2 + 5*j - 14. Let x be s(w). Solve -5*d = 4*b, -3*b = -x*d + 2*d + 7 for d.
4
Let l be (14 + -1)*(12 - 11). Solve l*i + m = 9*i - 21, 2*m - 13 = 3*i for i.
-5
Suppose -19 - 21 = -5*x. Solve y = -5*c + x, 2*c + 3*c - 18 = 4*y for y.
-2
Let h be (-2 - 23)*-2*(-15)/(-50). Solve -5*l = -5*m + 5, -l - 5*m = -2*l + h for l.
-5
Let t(a) = 6*a**2 + 15*a + 2. Let d be t(-6). Let l be d/16*(-6)/(-16). Solve -l*n - 5*o = 17, -5*o + 2*o - 19 = 4*n for n.
-4
Let j be -1 + 1 + 8 + -8. Suppose j = 4*v + 7 - 15. Let b be 3/v - 30/(-12). Solve b*i + 3*z = -0*z + 5, 5 = -4*i - 5*z for i.
5
Suppose 4*n - 9 = 11, 3*n = 5*b - 55. Suppose b = 3*c + 4*c. Solve c*t + 4*p = -26, 0*p - 25 = 5*t + 2*p for t.
-3
Let v be (-27)/(-6) - -1*(-4)/8. Solve -14 = -5*a - 3*t + v*t, -2*a + 3*t + 3 = 0 for a.
3
Let b(c) = 4*c + 1. Let o be b(1). Suppose 3*p - 119 = -o*k, 5*k = -4*p + 44 + 73. Suppose -5*d + 10*d - k = 0. Solve -5 = -3*r + d*i, 4*r - 2*i = 3*i for r.
-5
Let k(t) = t**3 - 11*t**2 + t - 10. Let s be k(11). Let i(o) = 6*o - 2. Let d be i(s). Solve -p - 20 = -5*b - 2*p, 0 = -d*p + 20 for b.
3
Suppose -x = -3*f - 1 + 7, 5*x = 3*f - 6. Suppose -d + f = -1. Solve -4 = -d*v - 1, 4*u - 16 = 4*v for u.
5
Suppose 13 + 2 = 3*b. Suppose 0 = -0*q + 3*q. Suppose 29*p - 9 = 26*p. Solve -b*r - p*x + 2 = -q*r, 3*x = -3 for r.
1
Suppose 2*o = 5*d - 21, o + 0 = -d + 7. Solve o*r - 2*q + 3*q = 1, -4*r - 5*q = 1 for r.
1
Let u(s) = 3*s - 4. Let j be u(3). Suppose 4*a + j*i = 30, a + 0*i - 5*i = 20. Let l = a + -10. Solve -5*x + 3*b = 9, -x = -4*b - l*b - 5 for x.
-3
Suppose -3 + 6 = k. Suppose 80 = 2*g + k*g. Suppose 0 = -2*u - 2*j + g, -u - 8 = 2*j + 3*j. Solve r = -2*f - 8, -r - u = 2*f + 2*r for f.
-3
Let h = 0 - -18. Let r be (-1)/3 + 6/h. Solve 3*a = -r*p + 3*p, -3*p = -a + 2 for a.
-1
Suppose 4*k = 4*a - 1 - 3, -2*a + 10 = 0. Solve b = 2*w + 4, 0 = -3*b - b - k*w + 4 for b.
2
Let s be (4 - -1)*12/15. Solve -2*y - 2*v = -8, -y - 7*v = -8*v - s for y.
4
Let d(i) = 0*i**2 + 0*i - 3*i**2 - 1 + i**3 + i. Let x be d(3). Suppose 0 = 5*b + 85*b - 180. Solve -5*v = 3*r + 3, 0*v + b = -2*r - x*v for r.
-1
Suppose -67 = 7*n - 88. Solve 5*l + 5 = n*i, 4*i - l + 4*l = 26 for i.
5
Suppose -53 = n - 54. Let b be n/(3 - (-16)/(-6)). Solve -4 = -r + b*k, 4*r + 0*r = -2*k + 16 for r.
4
Let w = -311 + 313. Solve 3*s + 2*t + w = 0, 3*t + 1 = -2*s + 3 for s.
-2
Suppose -7 = -d - 3*r, 4*r + 0 - 6 = 2*d. Let o = -5 - -6. Suppose -o = -x + 3. Solve x*f = 5*h - d + 2, h - 2 = 3*f for f.
-1
Suppose -28 = -2*d + 4*l - 0, 3*l = 0. Let v be ((-12)/d)/((-18)/84). Solve 5*x + 3*m = 5*m + 7, v*m = 16 for x.
3
Let d be (-4 + 2)/(16/120). Let q be 10*(3 - (-42)/d). Solve -3*i - 3 = -q*n + 1, 5*n - 3*i + 8 = 0 for n.
-4
Let g be (-5 + (3 - -32) - 7) + -5. Solve -g = -3*q + 5*a + 6, 4*a = 5*q - 27 for q.
3
Let c(p) = p**3 - 48*p**2 - 52*p + 151. Let o be c(49). Solve 3*v + 11 = v - 3*g, -2*g = o*v + 2 for v.
2
Let x be (-60)/(-9) - ((-60)/18 - -4). Solve 5*a - 13 = -5*t + 9*t