20, 4*y = 3*u + 5 for y.
-1
Let d(k) = 656*k + 4595. Let c be d(-7). Solve -c*y - 8 = 5*a, -5*y = 2*a - 2*y - 4 for a.
-4
Let r = 150 - 146. Suppose -5*o + 24 = 4*w - 17, 4*o - 4 = r*w. Solve 0 = -o*y - 4*q + 21, 2*y + 2*q = 7*y + 3 for y.
1
Let t(r) = r**2 - 44*r + 319. Let n be t(35). Solve y = -j - n, 23*j - 21*j = -8 for y.
0
Let g(b) = 33*b - 2167. Let d be g(66). Solve a = -3*u + d, 3*u - 11 + 4 = a for u.
3
Suppose 290*u - 1176 + 16 = 0. Solve u*w - 8*d - 5 = -3*d, -w = 5*d + 5 for w.
0
Let w(d) = -d**3 + 24*d**2 + 23*d + 53. Let o be w(25). Solve o*s - 4*t + 5 = 11, 4*s - 8 = 2*t for s.
2
Suppose -2*b - 5*y = -10 - 15, 2*b + 15 = 3*y. Suppose 4*p - 3 - 1 = 0. Let n be (3/(-15)*b)/p. Solve -3*j + 3*z = n, 0*z - 3 = -j - 2*z for j.
1
Suppose 5*x = 3*s + 12 - 110, -5*s = -4*x - 159. Suppose -36 + s = -k. Solve -k*b + 5 = h - 5, 0 = 5*b - 3*h - 10 for b.
2
Let d(p) = p**3 + 18*p**2 + 32*p - 35. Let h be d(-15). Suppose -24*v = -44*v + h. Solve 3*k = -5*c - 23, -3*c - k = 5 + v for c.
-4
Let p(y) = y**2 + 38*y + 44. Let c be p(0). Solve 2*b - 5*n + 13 = 0, 39*b - c*b + n - 21 = 0 for b.
-4
Let z(w) = -8*w**2 + 8. Let f(c) = -7*c**2 + c + 7. Let u(o) = 5*f(o) - 4*z(o). Let b be u(0). Let q = 24 - 16. Solve -4*s - 16 = 3*m, b*m - 2*s = -0 + q for m.
0
Suppose 3*p = 3*f + 366, 371 = p + 2*p + 2*f. Let s = -119 + p. Solve v + 4*b = 4*v - 35, -s*v - 5*b = 5 for v.
5
Let p be 3*4/78 + 19845/4095. Solve j = 4*b + 4, 8*b = j + p*b - 3 for j.
0
Let n be 28/(-8)*((-4)/(-14) + -2). Suppose 3*i = n*s - s - 6, -i + 3 = 0. Suppose -b = b - s*b. Solve -4*k + 3*k - 5*u = 9, -4*u - 8 = b for k.
1
Suppose -4*f + 410 = -6*u + 8*u, 1061 = 5*u + f. Let b = u + -210. Solve 3*z = -b*q - 3, 0 = -2*z - 2*z for q.
-1
Let n be 168/(1232/44) - (3 + 0). Solve 0 = -5*o + 7*o + 5*y - 6, n*o + 4*y - 9 = 0 for o.
3
Let k be -16*3 - (4 + (-70)/10). Let v = -54 - k. Let a be (4 - (-15)/(-6))/(v/(-12)). Solve 5 = -m + c - 0, a*m = 5*c - 19 for m.
-2
Let s(w) = 7*w - 10. Let g be s(-2). Suppose 3*d - 34 = -100. Let j = d - g. Solve 2*p + j*p - x = -16, p - 3*x = -4 for p.
-4
Let o = -3040 + 3041. Solve b + 3*b - 4*u + 4 = 0, -5*b - u = -o for b.
0
Suppose -25 = -l + j, -l + 4*j - 17 = -57. Suppose 2*x + 2 = 2*c - 6, -l = -3*c + 5*x. Suppose -7*b + b + 18 = c. Solve y = -5*m + 15, -m + 0*m = -y + b for m.
2
Let y = 168 + -163. Solve 5*m - y*l + 19 + 21 = 0, 5*m - 2*l + 31 = 0 for m.
-5
Let x(j) = 67*j + 14505*j**2 - 14507*j**2 + 36 + 72. Let n be x(35). Solve -4*t - 23 = n*b, 2*b = -4*t - 0*b - 18 for t.
-2
Let w(a) = -a**3 + 11*a**2 - 4*a - 3. Let o be w(3). Suppose -5*x - o*i + 13 = -56*i, 3*i - 5 = 2*x. Let f = 5 - 3. Solve y = -x, -2*j - f*y - 8 = -4*j for j.
2
Suppose 68*n = -42*n + 281 + 159. Solve 5*v + f = -v + 1, n*f = -v - 19 for v.
1
Let v(n) = n**2 + 5*n - 1. Let f(j) = -2*j**3 + 2*j**2 + 3*j - 4. Let k be f(2). Let s be v(k). Solve s*c - 2*r = 15, c + 10 = 3*r - 0*r for c.
5
Suppose -30 = -3*z + 9. Suppose -4*p = -q - 6*p + 5, 4*p - z = q. Let n be 7/(-7) + q + 5. Solve -n*m - 5 - 18 = -5*f, -3*f + 7 = 5*m for m.
-1
Suppose 4*x = -3*d + 39, -x - x = -d - 7. Suppose -k + x = k. Suppose 60*s - 1850 = 47*s - 61*s. Solve 5*n + s = 5*m, -k*m + 20 = -4*n + 3 for n.
-2
Let r be 0/(((-10)/45)/(20/(-180))). Let o = 3 - 0. Solve -2*c + o*c - 11 = 4*d, -4*d + 5*c - 23 = r for d.
-2
Let k = -4 - -9. Let u(b) = 59*b**2 - 96*b + 3. Let i be u(3). Let f = 246 - i. Solve 2*a - k*a = -5*s - 20, 3*a = f for s.
-4
Let i = 11 - 5. Suppose -i*n = -11 - 1. Solve n*k + r = 8, -k + 10*r - 5*r - 18 = 0 for k.
2
Suppose 0 = 166*b + 47*b - 3834. Solve b*k + 15 = 5*t + 13*k, 0 = 3*t + 3*k + 3 for t.
1
Let h be (1746/24)/(2*(-11)/(616/(-21))). Solve -16 = q - 5*j, h*j - 94*j = -5*q + 4 for q.
-1
Let u = 243 + -243. Suppose 19 = 5*b + 4*g, 2*g - 17 = -5*b - u*g. Solve -c + 8 = 3*c, b*q - c + 5 = 0 for q.
-1
Let y = -15 + 29. Suppose 0 = y*n + n + 30. Let m be n/(-7) - 182/(-49). Solve 0 = 3*h + a - 10, h - m*a + 2*a = -6 for h.
2
Let n = 106 + -74. Let i = n + -21. Solve -3*s - 11 = 5*z, 3*s - 10 = 3*z + i for s.
3
Suppose 5*d = -3*w + 49, 4*w - 28 = -77*d + 75*d. Solve -41*s + 1 = -45*s + 3*z, -3*s + 4*z + d = 0 for s.
-4
Let l be 96/9 + 12/(-18). Suppose -4*v = -5*w + 20, v + 25 = 5*w + 5. Let d be v/((-18)/(-14) + 6/(-21)). Solve 4*b - 2*b - t - 11 = d, l = b - 5*t for b.
5
Suppose -k - 5*l - 14 = -4, 5*l - 20 = -3*k. Suppose -d + k*d = 56. Solve -d*w + 2*t + 7 = 1, 0 = -4*t + 20 for w.
4
Let j be ((-40)/12)/(2/(-3)). Solve 7 = 4*x + j*f, -16 = x + f - 18 for x.
3
Suppose 0 = 4*d - 2*w - 22, 0 = 3*d + 34*w - 31*w - 12. Solve 0 = -7*g + a + 24 + 8, -2*g - d*a = -25 for g.
5
Suppose -5*x - 3*l = -6, 3*x + 3*l = x + 6. Suppose 0 = -x*z - 11*z + 242. Solve -3*r + 1 = -b, 2*r - r - z = -4*b for b.
5
Suppose 0*a - 215 = 5*a. Let l = a - -34. Let c be 70/20 + 5/(30/l). Solve 5 = -4*r - 7, 0 = c*v + r + 3 for v.
0
Let r(a) = -a**3 - 8*a**2 - 12*a - 8. Let u be r(-9). Let i = u + -179. Solve -5*q + 9 = -3*l + 26, -i*q + 10 = 3*l for l.
4
Suppose -40 = x - 43. Suppose 3*d + x*i = 15, 0*d + 5 = 2*d + i. Solve -2*h + 5*h - 6 = d, u + 8 = 4*h for u.
0
Let l be -4*(-2)/(-2)*20/(1120/(-42)). Solve -z = -7*u + l*u + 3, -2*z - 1 = -3*u for z.
1
Let z be 1 + (2674/133 - (-2)/(-19)). Let x be 7/z*21*1. Solve -3*u - 5*y - 5 = 0, -y - 21 = -2*u - x for u.
5
Let w be (24/(-20))/(3/(-50)). Suppose l = 2*l - g + 2, -w = 5*g. Let u = 25 + l. Solve m - 3*b = u, 2*m - 28 = -0*m + 4*b for m.
4
Suppose 4*g - 6 = 5*p, 2*p - 523*g = -519*g - 12. Solve 0 = -4*b, -7*k + 5*b = -p*k + 10 for k.
-2
Let a be (10 - 2) + 8 + -8. Solve 0 = -5*y - 3*f + 18, a*y - 3*f = 5*y + 6 for y.
3
Let i be 210/112 - 8/(-64). Suppose 0 = -5*v - 262 + 287. Suppose -4*c + 91 = 15. Solve v*g = 4*f + c, 0 = -2*g + i*f + 8 for g.
3
Suppose -i - 3*t + 344 = 0, 6*i = i + 2*t + 1754. Let h = 352 - i. Solve -2*z - z = -2*j - 20, -4*j = -h*z + 24 for z.
4
Let r be (-52)/(-24)*2 - (-1 - -8)/21. Solve r*v + 2*u - u + 2 = 0, -4*v - 6 = -u for v.
-1
Suppose -18 = 3*r + 5*h - 42, 5*h = -r - 2. Suppose -1266 + 18 = r*x. Let p = -91 - x. Solve p*m = -25, 0*c + 5 = -5*c - m for c.
0
Suppose 0 = 22*j - 13*j + 18. Let q be 741/143 - j/(-11). Solve -g - 4*f = 3, -f - 9 = -q*g + 3*f for g.
1
Suppose t - 4*t = 90. Let f = 118 + -83. Let c = f + t. Solve -1 = 3*h + 4*q - 13, c*h - q = 20 for h.
4
Let b(q) = q**2 - 78*q + 11. Let a be b(-10). Let g = -889 + a. Solve g*s - 2*j = 3*j - 13, s - 3*j + 7 = 0 for s.
-4
Suppose -3 = -3*b + 69. Suppose 52 = 4*s + 9*s. Let j(h) = 6*h - 21. Let r be j(s). Solve -2*g + 2 + b = -4*x, -r*x - 6 = 3*g for g.
3
Suppose 0 = 17*t - 20*t - 1413. Let o = 475 + t. Solve l + l = 5*q - 17, o*q = -3*l + 9 for l.
-1
Suppose -7*k - 228 = -k. Let y = 50 + k. Let l be -10*(1 + 4/((-32)/y)). Solve s = -u + l*u - 20, -u = s for s.
-4
Let h(j) = -j + 30. Let b be h(27). Solve 0 = 5*f - f - 2*z - 34, -2*f - b = 3*z for f.
6
Suppose -m + 13 = w, -171*m + 168*m + 2*w = -19. Solve 8*k - 5*k = -2*o + m, 2*k = o + 6 for o.
0
Let d(o) = -27*o**2 - 353*o - 26. Let l be d(-13). Solve 5*z - 1 - 4 = l, 0 = -5*f + z - 6 for f.
-1
Suppose 0 = -2*t + 141 - 147, -2*u - 4*t = 4. Let y = -8 + 11. Solve -y - 5 = -u*s - 4*i, 0 = -i for s.
2
Suppose 0 = -5*b + r + 34, r + 10 = b - 0*b. Suppose -7*a = -3*t - 3*a + 32, 4*t = -2*a + b. Solve 0 = 2*c + 4*w + t, c + 3*c + 4*w = 4 for c.
4
Let w be (-2 - (-40)/4)/2. Let q be 1*w - 0/(-3). Let r(t) = t**2 + t - 1. Let g be r(4). Solve 16 = -3*n + y, 3*n + 0*y - q*y + g = 0 for n.
-5
Suppose 0 = -4*x + 2*u + 224, -11*x + 204 = -7*x + 3*u. Let c be (-4)/(-9) + 5 + (-78)/x. Solve 0 = c*r + z - 22, 5*r + 6*z - 2*z = 33 for r.
5
Suppose 5*d - 21 = 2*d. Suppose 5 = z + 4*k, d*z - 15 = 4*z - k. Suppose r + 5*i = -2 - z, 2*r = 2*i + 46. Solve 2*t + 19 = 3*t - 3*w, -2*t = -2*w - r for t.
4
Let v(h) = 5*h**2 + 10*h - 20. Let y(l) = -l**3 - 16*l**2 - 28*l + 2. Let g be y(-14). Let o be v(g). Solve -4*i = -4*c + 16, i + o = -4*i - 3*c for i.
-4
Let h be (-3)/12 - (2 + 9675/(-12)). Let q = 827 - h. Solve q = 4*b + u, b - 4*b + 6 = -3*u for b.
5
Suppose -3*a = -0*a + 5*m, -3*a - 3*m = -0*m. Solve 3*r + 6 = 28*j - 27*j, a = 2*j - 3*r - 6 for j.
0
Suppose 31 = i + 16. Suppose b - 2*j - 5 = 0, b + 2*j - i = -j. Let q be 2 + -1 + 1 + b/3.