*y - j for y.
3
Let t(s) = -4*s - 89. Let j be t(-23). Solve -5*q = 0, -6 = n - j*q - 1 for n.
-5
Let q be (5 - (-1 + 1))/1. Solve b = -q*w - 2*b - 21, -3*w = -4*b + 1 for w.
-3
Let f be -2 + 6 + 4*-6. Let z = -18 - f. Solve z*v - 10 = 0, -3*v = b - 0*v - 17 for b.
2
Suppose -4*h - 3*a = -5, -h + a + 9 = -1. Suppose -10 = -5*c - 5*r, -4*c = 2*r - 7 - 3. Solve -h*v + c*y = 1 - 5, -3*v - 4*y = 15 for v.
-1
Let a be 224/64 + 3/(-2). Solve -z = 4*z + 5*i - 35, -5*z = a*i - 20 for z.
2
Let g(z) = 12*z - 5. Let a be g(5). Let q = -53 + a. Solve 5*r - 27 = -q*u, -4*u - 6 = 2*r - 20 for r.
5
Suppose -3*w + 3*a - a + 9 = 0, -4*w + a + 17 = 0. Let p(n) = -n**2 + 6*n + 5. Let c be p(w). Solve -5*h = c, -3*g = -0*g + 4*h - 7 for g.
5
Let a = 49 - 69. Let c be a*(0 - -4)/(-8). Solve -2*t - 2*u = -c, 3*u - 15 = -3*t + 2*t for t.
0
Suppose -d + 6 = d - y, 4*y = 5*d - 12. Solve -23 = -h - 4*h - 2*s, 5*h - d*s - 29 = 0 for h.
5
Let w be 2 + 1 + 1 + -2. Let d(u) = 3*u**2 - 4*u - 3 - u - 4*u**w - u. Let g be d(-2). Solve 2*q + g = m, 0 = 2*m - 0*m - 3*q - 5 for m.
-5
Let x be ((-3)/(-3))/(4/3 + -1). Solve -3*s - 6 = -x*j, 3*s + 11 = -2*j - 10 for s.
-5
Suppose -119 - 49 = -7*q. Suppose 2*i + 6 = o, 3*i + q = -0*o + 3*o. Solve 0 = -3*m - c + o, 4*m + 2*c = 17 - 7 for m.
5
Suppose 5*y + 3*i - 6 = -0*i, i - 2 = 2*y. Let z(h) = h**3 + h**2 + 6. Let c be z(y). Solve -c = -3*b + 5*q, 0 = -3*q - 0*q for b.
2
Suppose 4 = 9*f - 8*f. Let w = -10 + 12. Let n(q) = q**3 + q**2. Let v be n(1). Solve -2*s + o = f*o + w, s - v*o - 13 = 0 for s.
5
Let f = 235 - 235. Solve 5*n + 5*v - 3 - 2 = f, 0 = 5*n + 4*v - 6 for n.
2
Let m(k) = -2*k + 16. Let n be m(-7). Suppose -n = -q - 11. Solve -4*l + q = u, 0*l - 2*l + u + 5 = 0 for l.
4
Let o be ((-3)/3)/(-1*2/2). Solve 0 = -4*d, -5*d = -0*j + j + o for j.
-1
Suppose 3*u - q - 12 + 4 = 0, 5*u = q + 16. Suppose u*n = n. Suppose 3*b + n*b = 3*m + 12, -3*m = -b + 4. Solve 5*f = b*f - 3*a - 3, -3*f = -5*a - 5 for f.
0
Suppose 2*r - 12 = -2*s - 2, -5*s = -5. Solve -d - r*i = -4*d - 25, 5*d = 5*i - 35 for d.
-3
Suppose -6*w = -8 - 16. Suppose w*k + k = -5*p - 5, 0 = 5*k - 3*p - 35. Solve -k*y = -4*v + 5*v - 16, 0 = -3*v + 4*y - 32 for v.
-4
Suppose 2*a - 338 = 4*l, 0 = 4*l - 0*l - a + 335. Let y = 85 + l. Let q = 10 - 8. Solve 5*t - v = -21, 0 = t + 4*v - q*v + y for t.
-4
Let m(f) = 7*f**3 - 4*f**2 - 14*f**3 + 6*f**3. Suppose -2*c - 5*p = 3*c, 2*c + 4 = -p. Let a be m(c). Solve -5*i - 4*w - 9 = 0, a = 5*w + 10 - 30 for i.
-5
Let t(m) = -6*m**3 - 20*m**2 - 6*m + 4. Let b be t(-3). Solve 3*o = -3*h + 1 - 7, -b*h - 12 = 5*o for h.
2
Suppose 0 = -3*w + 12 - 0. Let z(p) = -2*p + 3. Let s(r) = -r - 1. Let v(n) = s(n) - z(n). Let q be v(w). Solve -c - l + 10 = q, -6*c = -c - 5*l for c.
5
Let n(p) = 5*p - 10. Let a be n(2). Solve -3*z + a*z + 15 = -4*r, 0 = -3*r - 9 for z.
1
Let r(u) = -u**2 + 3*u - 1. Let p be r(4). Let b(f) = 2*f**2 + 11*f + 10. Let y be b(p). Solve 3*q = -3*n + 3, 5*q = -n + 4*n + y for q.
1
Let x(k) = 39*k - 269. Let b be x(7). Let v = 4 + 1. Solve -15 = 5*i - v*d, -i = b*i + 5*d + 15 for i.
-3
Suppose 2*k + n - 3 = 0, -4*k + n = 14 - 5. Let x be k + 3*5/3. Solve -4*l + 5*g = -20, 5*l - g = 2*l + x for l.
0
Let h = -85 + 72. Let d = h - -18. Solve -d*q - 8 = -2*q + i, 0 = -3*q + 4*i + 2 for q.
-2
Let q = -539 + 543. Solve 0 = q*d - 8, s - 2 = 4*d - 11 for s.
-1
Let u(x) = 2*x**2 + 4*x - 1. Let b be ((-9)/2)/((-6)/16). Suppose -2*c = -6*c - b. Let h be u(c). Solve -h*s = -3*z - 5 - 20, -15 = -3*s + 5*z for s.
5
Let u = -25 + 27. Solve 4*b - 2*y - y + 7 = 0, -u*y = -5*b - 14 for b.
-4
Let s(l) = -l**3 + 5*l**2 - 6*l + 9. Let o be s(4). Solve -6*q = -8*q + 3*r - o, -q - 3*r = 5 for q.
-2
Suppose 6*x - 3*x = 2*h - 5, 5*h = -5*x. Solve -3*k + 5*b + 21 = -h, 0 = -5*b - 25 for k.
-1
Suppose 11*h + 58 = 190. Solve -4*r - 5*d = -4 + h, -3*d - 9 = r for r.
3
Let o(c) = c**3 - 4*c**2 - c + 2. Let h be o(4). Let x = 4 - h. Suppose -x*l = -4*l. Solve -n = -3*n - 5*k + 3, l = 3*n - 4*k + 7 for n.
-1
Suppose -f = -3*f + 40. Suppose 0 = 5*p - 5 - f. Solve 3*j + 32 = p*o, -2*o - 12 = 3*j + 2*j for j.
-4
Suppose u + 1 = 4. Solve 5*r - s + 3 = 29, u*r + 3*s = 12 for r.
5
Suppose -2*q + 2*n + 11 = -5, n = -2. Suppose 49*b = 46*b + q. Solve b*p + k - 17 = -2*k, -3*p + 2*k + 6 = 0 for p.
4
Let d(z) = 5*z + 2 + 3*z - 10*z - z**3 - 14*z**2 - 26. Let f be d(-14). Solve 3*i - f*q = 7, 3*i - 4*q - q = 11 for i.
-3
Let a = 84 + -27. Suppose a = -4*d + 69. Solve d*o = -2*j - 7, -4*o - 6 = 3*j + 3 for j.
1
Suppose -6*f = 18*f - 48. Solve 2*m - 4 = -f*l, -23 = 5*m - 2*l + 2 for m.
-3
Let q(f) = f**3 + 20*f**2 + 21*f + 40. Let v be (14 - 52)*(-1)/(-2). Let x be q(v). Solve 3*h - x*z = -7*z - 20, 0 = 4*h - 5*z - 20 for h.
0
Suppose -7 - 5 = -4*o. Let h be 21 - ((-52)/(-32) - (-3)/8). Solve -2*v - o*w - h = 0, -5*w - 16 = -4*v + 1 for v.
-2
Let b be (5/2)/(2/4). Suppose b = -4*p - 5*h, -p + 3*h = -0*h - 20. Solve 2*x + 20 = -3*x - q, p*q + 25 = 0 for x.
-3
Let j be (1/2)/(1/26). Suppose 5*s + j = v, s - 1 = v + 3*s. Let o be 20/(-15)*(0 - v). Solve o*l + 5*n + 10 = 0, -4 = 2*l - 3*n + 12 for l.
-5
Let b(g) = -10*g - 5. Suppose s = 2*o - 3, 2*o - o + s = -6. Let j be b(o). Solve v - r = 0, v - 4*v = -j*r for v.
0
Let y = -16 + 13. Let p = -25 + y. Let t = p + 28. Solve 2*s + g + 5 = t, 3*g - g + 6 = -3*s for s.
-4
Suppose 0*d - 30 = -6*d. Suppose -1 = -d*w + 4. Let o = w - -17. Solve 2*k - o = 4*n, k = -3 + 2 for n.
-5
Let m = -1842 + 1846. Solve 0*d + 2*d = -5*y + 29, -5*d + 30 = m*y for y.
5
Suppose -36 = -24*b + 18*b. Solve -o + y = -b*o + 25, -5*o = -4*y for o.
4
Let c be 2/5 + (-144)/10. Let x = 94 + -76. Let r = c + x. Solve 3*g + r*s = -27, -2*g + 7 = -g - 4*s for g.
-5
Let x = -3104 + 3105. Solve 3 = -4*k - m + x, -5*m = -10 for k.
-1
Suppose -3*k + 3*c - 13 - 17 = 0, 49 = -5*k + 4*c. Let g be (29/k + 3)/((-3)/27). Solve 5*i + 10 = -2*b - 9, g*i + b = -8 for i.
-3
Let l(m) = -9*m - 196. Let v be l(-22). Solve k + 3*k - 16 = -v*n, 0 = -k - 4*n - 3 for k.
5
Let d be (540/(-162))/(-1*6/9). Let a be (-2)/(-2) + (-1 - -2). Solve -s - 2 = p, -a*s = p + 4*p - d for s.
-5
Let b be (-1568)/(-504) - 1/9. Solve 0 = -o + b*g + 17, -5*g - 11 = -5*o + 24 for o.
2
Let g = 312 + -308. Suppose 0 = 2*z - 3*y - 2*y + 14, 3*z + 5*y - 29 = 0. Solve f - 3 = j - 6, -z*f - g = 2*j for j.
1
Let u be (9/(-5))/(12/(-20)). Suppose 0 = 4*g + u*b - 25, 4*g - 19 = -0*b - b. Solve 2*v = -n + 1 - 0, -2*n - 22 = -g*v for n.
-5
Let p(i) = -i**3 - 11*i**2 - 23*i - 21. Let h be p(-9). Suppose -23*r = -h*r + 3. Solve 0 = -3*j - 2*l - 6, 4*j + r*l = l - 6 for j.
0
Suppose 4*v - v = 2*c + 1, -2*v - c = -10. Suppose 3*a + 4*g = 42, -4*g - v = 9. Solve 0 = 2*p - 4*b - a, 4*p - b = p + 12 for p.
3
Let k = -178 - -180. Solve 4*d + 2 - 30 = 4*q, 4*q - k*d = -18 for q.
-2
Suppose -5*c - 90 = 2*r, 38 = -3*c - 2*r - 20. Let n be (-5)/((-20)/c) - -27. Solve 6*w - 3*w + 15 = 0, 0 = -3*x + 4*w + n for x.
1
Let d(x) be the first derivative of x**3/3 + 7*x**2/2 + 11*x - 15. Let z be d(-6). Solve 5*k - 2*k - 5*p - 8 = 0, 0 = 2*k - 3*p - z for k.
1
Let r be -1 - (-3)/3*-1. Let y be (r/3)/(8/(-540)). Suppose 2*w + w = -3*p + y, 0 = -p + 4*w - 10. Solve 2*t - p = 0, 4*t = 5*h + 3 - 8 for h.
5
Suppose 0 = v + 2*n, n - 31 = -3*v - 6. Solve -k + 0*k + v = -g, -k = 5*g + 20 for k.
5
Let g = 239 - 236. Solve 3*o - 3*p = 2*p + 7, g*o = 2*p + 1 for o.
-1
Suppose q = -5*u - 9, -4*q + 11 = 2*u - 7. Suppose 137*d - 134*d = 6. Solve j + 11 = q*l - d*l, -4*l = 5*j + 7 for j.
-3
Let n be (-1 - 1)*(18 + -16). Let k(h) = -2*h - 6. Let x be k(n). Let j be (-3)/3*x + 2. Solve 5*b - 3*i - 3 - 6 = j, -b - i = 3 for b.
0
Let s = 259 + -236. Solve 2*v - 4*r = v - s, 9 = 2*v + 3*r for v.
-3
Suppose -127 - 248 = -5*o. Suppose -2*d - d + v + o = 0, -2*d + 3*v + 43 = 0. Solve -2*f + d = -4*u, 2*f = 4*f - 3*u - 21 for f.
3
Suppose 3*a + 2*f = 3, 5*a + 4*f = -0*a + 3. Let l = 49 + -37. Suppose q = -a*q + l. Solve -5*r - 3*x + 23 = q, r + 3*x = 16 for r.
1
Let v be (-10)/20*0/(-3). Solve -5*j + 5*i - 10 = v, -5*i = 2*j + 3*j + 10 for j.
-2
Suppose 0 = u - w + 4, 5*w - 12 = -4*u + 8. Suppose 4 - 19 = 5*t, z - 3*t - 14 = u. Solve 19 = -5*y - q, z*y + 0*q = -2*q - 23 for y.
-3
Let l(r) = 6*r**3 - r**2 + 5*r - 5. Let d be l(1). Solve d*