u = z - 2*z + 3 for z.
1
Let k be -1*(460/(-4) - 0). Suppose 4*q = 65 + k. Let m be (q/(-12) + 2)*4/(-1). Solve -2*y + 2*n - 26 = -m*y, 0 = 5*n - 15 for y.
4
Suppose -50*h + 458 = -15*h + 38. Solve 3*q = 2*p + 6, 4*p = 90*q - 95*q - h for p.
-3
Let m(s) = -s**3 + 85*s**2 + 265*s - 85. Let g be m(88). Solve z - 8*r + 10*r = -6, -5*z - g*r - 9 = 0 for z.
0
Suppose 0 = -0*r - 3*r - 12, -2*g + 4*r = -20. Suppose -g*c = -2*u - 10, 5*u = 2*c - 2 - 14. Solve 0 = -4*n + c*p - 11, 0 = 3*n - 0*p + p - 8 for n.
1
Let w be (-188)/8*-3*2/3. Suppose -5*t - 3*b + w = 0, 4*t - 4*b - 26 - 18 = 0. Solve -3*l = 4*a + 29, -5*l + t = -4*a - a for l.
-3
Let h(z) = -z**2 - 65*z - 747. Let y be h(-15). Solve -4*w + 4 = 0, y*g = 18*w - 16*w - 2 for g.
0
Let r = -4906 + 4918. Solve 3*y - 47*a = -50*a + r, 4*y + a = 16 for y.
4
Let s = 1615 + -1610. Solve s*u - 10*u + 8 = 3*k, 0 = 5*u - 4*k - 1 for u.
1
Let z = -12 + 25. Suppose -5*h - 8 = -3*p, 3*h + 14*p + 1 = 12*p. Let x be (7 - 5)/h - -5. Solve 4*l = q - z, x*l + q + q = 4 for l.
-2
Let o be (-6)/(-57) + 72/38. Suppose -4*g + 4*z = -56, 5*g - z - z - 64 = 0. Solve 3*y - p - o = p, 4*y - g = -2*p for y.
2
Let m be (-15)/(-4 + 1) + -3. Let h be -86*((-3)/m + (-2)/(-1)). Let u = -39 - h. Solve 5 = y - u*v, -5*v + 4*v - 1 = 0 for y.
1
Let b be 7/(63/6)*-6 - -8. Let d = -57 - -28. Let t = d + 32. Solve -3*p - 9 + 3 = t*v, -1 = 5*p - b*v for p.
-1
Suppose 2*u - 3*y = -4*y - 8, 0 = -y - 2. Let b be (-2*(-6)/42)/(u/(-21)). Solve -b*z - 3*z - x = 5, -3*x - 15 = z for z.
0
Let q(h) = h**3 - 6*h**2 - 12*h + 38. Let o be q(7). Let a be (-3)/(o - 12/(-128)*-36). Solve 5*t = -a*x + 4*x - 45, -2*x + t = 5 for x.
-5
Let o = 1 - -16. Let h = 25 - o. Solve -3*p - 3*c = 0, 4*p + h*c + 1 = 3*c for p.
1
Let u(w) = -50*w + 2905. Let m be u(58). Solve 5*t - 3*x = -m, -16*x - 2 = 2*t - 14*x for t.
-1
Suppose -3*u - 13*a + 12*a - 20 = 0, -5*u - 4*a - 38 = 0. Let d be ((6/3)/u)/((-4)/36). Solve -3*i - 11 = x, -4*i + 7 = -0*x - d*x for x.
-5
Let f be 1/2*123/246 + (-14)/(-8). Solve -i - 3 = -m + 3, f = -m - 3*i for m.
4
Suppose 0*p + 20 = -4*b + p, b - 4*p = 10. Let l(n) = 22*n**2 + 132*n + 5. Let o be l(b). Solve 3*d + o*j + 3 = -6, -15 = 5*j for d.
2
Let r be 1/(-4) + (-1)/(-4). Let q(w) = -14 - 2*w**3 + 3*w**3 + 21*w**2 - 2*w**3 + 59 - 2*w. Let z be q(21). Solve z*h - 6 = 2*i + h, 4*i + h + 22 = r for i.
-5
Suppose 52 = -3*o + 7*o. Let l(n) = 31*n + 0*n**2 - 81 + 104 + 150 + n**2. Let r be l(-24). Solve i - o = -r*h + 5, 18 = 4*h - i for h.
4
Suppose 0 = -109*w + 115*w - 30. Let v(c) = -c**3 - 14*c**2 - 12*c + 16. Let m be v(-13). Solve -h = 2*a - w, -3*h = -2*h - m*a for h.
3
Let t(h) = -5*h - 235. Let w be t(-48). Solve 18 = 2*k + 4*f, 3*k + w*f = 8*f for k.
3
Let f = 47 + -35. Let o(d) = -d**2 + 2*d + 75. Let m be o(0). Let h = 77 - m. Solve -5*w = -0*u + h*u + f, u - 16 = 3*w for u.
4
Suppose 30*u - 25*u = -10, -2*o - 3*u + 10 = 0. Let w be -3 + 1 + o - 2. Solve -2*n + 4*z = 3*n - 29, w*n - 5*z = 25 for n.
5
Suppose 0 = -3*s + 43*b - 45*b + 2, 4*s - 2*b - 12 = 0. Solve -5*x + 20 = 11*y - 10*y, -8 = -s*x - 4*y for x.
4
Let g(u) = -u**2 + 34*u + 49. Let w be g(30). Suppose -189 = -5*y - w. Solve 0*a - y*a + 20 = 4*k, -4*a = -4 for k.
4
Suppose -2*z - 9 + 3 = 2*d, -4*z = 5*d + 20. Solve -82*s - 2*t = -77*s - 25, 3*s = z*t + 15 for s.
5
Let k be 5/3 - 14883/(-99). Suppose -49*m = -11*m - k. Solve -2*h + 4*f = 0, -m + 0 = 4*f for h.
-2
Suppose 5*p = x - 26, 0 = -0*x - 3*x + 4*p + 78. Let l be (x/4)/((30/12)/5). Solve -3*z = -5*q - 30, -5*z = -0*q + 4*q - l for z.
5
Suppose -5*k = -108*k - 64*k. Solve 8*g - 10*g - l + 10 = 0, k = -g + l + 2 for g.
4
Let a(j) = -16 + 14 + 14 + 15 + 2*j. Let p be a(-12). Suppose -10 = -8*v + p*v. Solve -v*f + 5*o = -35, -f = 4*o + o + 20 for f.
5
Let r = 114 - 111. Solve -4*y - 5 = -z + 8, r*z = -2*y + 11 for y.
-2
Let p = -112 - -120. Suppose 1 - p = 4*t - 3*a, -4*t = -4*a + 12. Solve j - 6 = -t*n, 2*n + 0*j = j + 10 for n.
4
Suppose 0 = 824*p - 819*p - 4 - 16. Solve -10 = 2*c + r, 3*c + p*r = -0*r - 15 for c.
-5
Let b(s) = -170. Let k(n) = 2*n - 172. Let z(p) = 6*b(p) - 7*k(p). Let y be z(13). Solve o - 13 = -y*x - 2*o, -3*o = -15 for x.
-1
Suppose -8 = -47*k + 50*k - 5*n, k + 2*n = 23. Solve -3*u = -4*f + 12, 5*u - k = -6*f + 3*f for f.
3
Let d(b) = b**2 + 52*b + 197. Let x be d(-4). Solve -10*h - 2*c = -15*h - 31, 0 = -4*h + x*c - 35 for h.
-5
Let q(f) = f**3 + 103*f**2 + 397*f + 119. Let t be q(-99). Solve 447*o - 446*o = -2*w + 5, t = 3*w + 4*o for w.
0
Suppose 65 = -7*o + 23. Let y be ((-8)/(-12))/(o/(-9)). Let g be 21 - (y - 0/(-1)). Solve g = 4*v + 3*p, -5*p + 10*p - 24 = -2*v for v.
2
Suppose -8*f = -5*f + 621. Let q be f/45 - 2/5. Let j be 18 - q/25*-5. Solve -x + j = -3*p, -x + 9 + 3 = -2*p for x.
2
Let b(v) = -4*v + 134. Suppose 18*h - 11*h = 231. Let p be b(h). Solve g - 6*g = -2*z + p, 3 = 3*z for g.
0
Let u = -27 + 38. Let n = 1193 + -1189. Solve n*z = s - 4, -2*z - 2*s - u = 1 for z.
-2
Let q(x) = -x**3 - 41*x**2 + 86*x + 7. Let n be q(-43). Suppose 2*w = 3*d + 8, 4*d = -4*w + n*w - 12. Solve -l - 5*b + 4 = 0, 5*l - 4*l - 4*b + 5 = d for l.
-1
Let o(x) = -x**3 + 30*x**2 - 31*x + 63. Let k be o(29). Let s = 7 - 5. Suppose 5*b = -86 + 101. Solve s*u + 2*h + 15 = -b*h, h + 3 = k*u for u.
0
Let h(b) = b**3 - 8*b**2 + 15*b - 2. Let t be h(2). Solve -5*v - t*r = -31, -22*v = -25*v - 5*r + 29 for v.
3
Let c(x) = x**3 - 27*x**2 + 24*x + 55. Suppose -754 = -11*n - 18*n. Let o be c(n). Solve 0 = -5*h - 5, -5*r + 9*r - o*h = 11 for r.
2
Suppose 2*g - 2*i = -8, -i - 8 = 2*g - 9. Let q be (-6 - g - 87) + -2 + -1. Let p = 111 + q. Solve a - 16 = 2*l + 2*l, -5*a - p = 4*l for a.
0
Suppose -11*g + 32 = -34. Suppose g*b - 11*b + 12 = 3*z, 0 = -3*b - 5*z + 4. Solve 0 = -2*l - d - 8, 4*d + 5 = 2*l + b for l.
-3
Suppose 5*m = 4*k - 356, 22*m - 64 = -k + 17*m. Let n be (k/357)/((-4)/(-34)). Solve 4*g = -0*g + 5*i + 5, n*g + 2 = 4*i for g.
5
Suppose 5*b + 5 = 4*h, 21*b - 11 = -4*h + 24*b. Solve -3*z = 0, -2*k - 4*z = -9 + h for k.
2
Let k(z) = -22*z + 99. Let g be k(4). Solve 2*a + g = 3*u, 2*a - 19*u + 21*u = 14 for a.
2
Let o(s) = -s**3 - 21*s**2 + 3*s - 1. Let k be o(-21). Let g = 84 + k. Solve -2*d = -3*u + 16, -3*u - u = -2*d - g for d.
-2
Suppose 0 = 8*g + 122 - 234. Solve -4*c = -2*w - g, 3*w + w + 13 = 3*c for w.
-1
Let n(q) = 80*q - 1667. Let t be n(21). Solve 2*f - s = -f - t, -s + 8 = -2*f for f.
-5
Suppose 0 = 10*k - 13*k + 5*p + 21, -5 = -k + p. Solve 3*y - 6 + 16 = 2*g, 2*y + k*g = 0 for y.
-2
Suppose -26 = 3*a - a. Suppose -56 = -3*p + 5*k, 12*k - 11*k = p - 18. Let f = a + p. Solve 3*g - 3*z - 9 = 0, -5*g + 7 + 9 = -f*z for g.
4
Let a be (-8)/(-8)*(-6)/(-18)*15. Solve g = -16*u + 18*u - 7, 0 = a*u + g - 7 for u.
2
Let c(l) = l**3 - 3*l**2 + 10*l - 2. Let a be c(8). Let w = a - 393. Solve -5*x - 11 = -3*i, 3*x + 14 = w*i + 1 for x.
-1
Suppose -n = 4, 4*x - 1470*n - 104 = -1473*n. Solve -3*a - 3 = 3*o, 0 = -a - 26*o + x*o + 3 for a.
0
Let o be ((-6)/(-9))/((-4)/(-12)*2). Suppose -49 = -4*z - 4*b - 13, -z + b = o. Suppose 0 = -z*q - 4*q + 48. Solve q = 3*t + 3*p, 0 = -3*t - 5*p + 9 + 1 for t.
0
Suppose -2 = -p - 3*l, l + l = 0. Suppose -p*w + 87 = 45. Suppose 18*j = w*j - 12. Solve j*f + 9 = 5*q, -5*q = 2*f - 3*q for f.
-1
Suppose -3 = -2*y - 5, -5*y = 2*k + 11. Let j be (-1)/k - (-25)/(-75). Solve -g - b - 3 = j, -g + 3*g + 4 = -4*b for g.
-4
Let x = 152 + -145. Suppose -15*p + x + 23 = 0. Solve 14 = -w - 3*j, -26 = -w + p*j + 3*j for w.
1
Let a = -248 - -252. Suppose 0 = 3*n - 7*n - 2*x, 0 = -a*n + 3*x. Solve 0 = 3*r - 3*d - 18, -5*d + 3 - 18 = n for r.
3
Let t = -12375 + 12375. Solve 4*p + 8 = -r + 7, t = -4*p for r.
-1
Let s(a) = -a**3 + 5*a**2 - 5*a - 3. Let d be s(4). Let j = -3 - d. Suppose 4*k = 3*z - 2*z + 23, -j*z - 27 = -3*k. Solve -k*i + 1 = v - 8, v = 3*i - 7 for v.
-1
Suppose -2*m + 8*m = -30. Let c be 6*(m/2 + 4). Suppose 8*n = 15 + c. Solve f = u - 7, 3*f + 0*u = -n*u + 3 for f.
-3
Suppose -6*b + 54 = 42. Let s be (1/b)/((9/(-30))/(-3)). Solve -f = -2*y - 2, -5*y + 0*f = -5*f - s for y.
-3
Let a(n) = 1137*n - 7955. Let o be a(7). Solve 4*w - 23 + 43 = -o*j, 5*w - 11 = 4*j for j.
-4
Let a be 97852/(-170) - 3/(-5). Let v = a + 581. Solve -6*b = -7*b - 2*f - v, 3*b + 12 = -4*f for b.
