y.
1
Suppose -444 = -576*m + 578*m. Let j = m + 224. Solve j*o - 5*d + 15 = -0, o + 4*d = 12 for o.
0
Let q(x) = x**3 - 10*x**2 + 20*x - 76. Let z be q(9). Suppose -z + 38 = 3*n. Solve 4*y + h + 3 = -2*h, 0 = 3*y - 5*h - n for y.
0
Suppose -3*f - 36 = -3*b, -3*b + b = -3*f - 28. Let k(a) = 2*a - 11. Let w be k(b). Let o be 14/3 - 108/162. Solve w - 2 = u, -o*t + 6 = 2*u for t.
0
Suppose -33*l = -4*l. Let y(b) = 2*b - 8. Let z be y(5). Suppose z*k - 15 = -3*k. Solve -5 + 26 = -5*q + 3*c, l = k*q + 5*c - 1 for q.
-3
Let d be 1 - ((0*7/(-21))/(-1) - 22). Solve 0*v = 4*j - 5*v - 30, -5*j - v = -d for j.
5
Suppose -3*v - s - 22 + 3 = 0, v + s = -9. Suppose -38 = -11*u + 17. Let o be u/(v*(-5)/125). Solve m - 16 = -5*k + 4*m, 0 = 2*k + 5*m - o for k.
5
Suppose -15 = 3*j, 48 + 19 = 2*l - j. Let y = -17445 - -17450. Solve -y*d + 5*p + 35 = 0, 5*d + 0*d = 4*p + l for d.
3
Let d = 346 - 343. Solve f - 5*r = 234 - 231, -3*f = -d*r - 9 for f.
3
Suppose -4*u = 2*u - 54. Suppose u*b - 96 = -582. Let y be 1/(6/27 + (-6)/b). Solve 8*t + 11 = y*a + 4*t, 0 = -a - t - 8 for a.
-3
Let h(t) = 321*t + 333. Let q be h(-1). Solve 3*i - 3 = -u, 3*u - 17*i + q*i = -19 for u.
-3
Suppose 6*d - 7175 = -7145. Solve -6*x + x - 5 = -5*c, 23 = -4*c - d*x for c.
-2
Let l(u) = 3*u**3 - u**2 - u + 2. Let k be l(3). Let d be -76 - (-13)/(39/30). Let b = d + k. Solve -6 = 2*v, 0*v - 4*v + 8 = b*f for f.
4
Let n(i) = 2*i - 5. Let w be 2/(-8)*(-1 - -1). Let r be n(w). Let h be 2/1 + r/(5/(-18)). Solve -7*b = 4*t - 3*b, -t + h = 5*b for t.
-5
Let l(v) = v**2 + 223*v - 1597. Let g be l(7). Solve -5*p + 37 = 3*n, -g = 39*n - 36*n - 5*p for n.
4
Suppose -4*f + 302 = 5*g, -5*g = f - 6*f + 355. Let b = f + -72. Solve -j = -4*n + 11 + 6, j + b = 0 for n.
4
Suppose -4*r - 6 = -7*r. Suppose a + 2*w + 5 = 0, r*a - 8 = 3*w + 10. Suppose 4*f + 2*f = -a*f. Solve m + 3 + 1 = -o, -4*m - 2*o - 6 = f for m.
1
Suppose -2*x - q = -3, -2*q - 9 = -4*x + 1. Solve -d = 2*r - 36 + 26, -x*d = -4*r + 12 for d.
2
Let z = -4332 + 4340. Solve 4*i + z = 4*o, 5*o = -2*i + 12 - 2 for o.
2
Let s(t) = -t**2 + 7*t - 6. Let x be s(3). Suppose -3*v - x*v + 8*v = 0. Suppose v = g - 3*g + 8. Solve 0 = -o + 2, -2*n - 4*o = -8*o + g for n.
2
Suppose 4*m - 55 = -p, p - 23 = -m + 44. Let g = 74 - p. Solve -g*y + 5*h = y + 13, 5*y - 30 = -3*h for y.
3
Suppose x = 4*h - 10, 16*h = 21*h - 5*x + 10. Solve -h*f - 4 = -3*a - 0, -18 = -5*f - 2*a for f.
2
Let r = -166 - -166. Suppose -2*i - d + 10 = r, 8 = -i - 2*d + 19. Solve i*c + 3*b = 15, 0 = 2*c + 4*b + 4 - 22 for c.
1
Suppose 0 = 62*v - 6 + 11 - 129. Let c(u) = u**3 - 6*u**2 - u. Let n be c(6). Let z = -2 - n. Solve 0 = -v*a - 4*i - 14, 3*a + z*i = -14 + 3 for a.
3
Let y be 5/5*7/(-3)*18/(-21). Solve u + y*u + 2*t = 0, 2*t = 5*u for u.
0
Suppose -4*f = i + 13, -4*i + 0*i + 16 = -f. Let k = 45019 + -45015. Solve -11 = -2*z + i*j, 4*z = k*j - j + 7 for z.
-2
Let j = -2873 - -2888. Solve 0 = -3*f - j, -2*l - 2*f - 1 - 15 = 0 for l.
-3
Suppose 2*g + 3*i = g + 26, 3*i = -5*g + 82. Suppose -2*m + 4*d = -20 - g, 0 = -m - d + 5. Solve 4*p + 8 = v, -3*v - 2*p + m = p for v.
4
Suppose -834*n = -846*n + 60. Suppose 4*l - 135 = -l. Suppose -l = -n*u - 4*u. Solve 0 = j - 3*f + 4, f - u*f + 16 = 2*j for j.
5
Suppose -7*g + 189 = 1344. Let z = 170 + g. Solve z*b - h + 22 = 0, 2*h = -0*b + 5*b + 19 for b.
-5
Let x = 72 - 146. Let w = x - -82. Suppose -30*p + 34*p = w. Solve o = -3*v - 8, -p*o + o = -3*v - 16 for v.
-4
Let m be 58 - (0/2 - 2). Let h be (108/m)/(6/10). Solve -5 = -2*n + h*b + 2*b, 0 = -4*b + 4 for n.
5
Let s be (2 - 5) + (-50 - -64). Solve 0 = 3*m + s*t - 6*t - 30, -2*m = 2*t - 16 for m.
5
Let d be 4 + -2 - 4/(-16)*0. Let i be (-58)/(-4)*d - -1. Suppose k + 2*k + 3*q = 0, 3*k - 3*q - i = 0. Solve -8 = 2*n, -3*n = k*m - 7 + 29 for m.
-2
Let h = -57 + 59. Suppose 4*r - 6 - h = 0. Suppose 5*j - o - r*o - 45 = 0, 2*o - 2 = -2*j. Solve -2*n + 3*z = -j*n - 1, 5*n + 5 = -5*z for n.
2
Let x be 6 + -3 + -15 - -17. Solve -4*w - w = -x*d, 0 = -4*d + 2*w for d.
0
Let d be (-52)/(-39)*420/35. Solve 2*l + d = -119*t + 121*t, 0 = 5*t + 4*l + 5 for t.
3
Let i = 356 + -216. Let c = i - 63. Let m be (-92)/(-14) + (-44)/c. Solve -2*s + 5 = 3*w - m, 4*s - 11 = 5*w for w.
1
Let f(l) = -8*l + 8. Let s be f(1). Suppose -2*v + n + 7 = s, 8*n - 10*n = 3*v - 21. Solve 5*i - v*c = -20, 3*i - 2*c - 23 = -6*c for i.
1
Suppose -15*u - 48242 + 48287 = 0. Solve -2*s = -u*j - 6, -49*s + 2*j + 4 = -52*s for s.
0
Let t = -35 - -40. Let d be (-1*(-27)/6 - 7)*(-32)/20. Solve 16 = 3*o - d*q, 0 = -o - t*q - 1 - 19 for o.
0
Suppose 0 = -4*d - 3*r + 12, 4*d - 12 = 300*r - 295*r. Solve -5*k = -i - 4, -4*k = -d*i - 0*k - 12 for i.
-4
Let f(m) = -4*m + 173. Let z be f(42). Solve z*l = -3*t - 11, 2*l + 4*t = -2*l - 4 for l.
-4
Suppose -5*f + 55 = -5*g, -8 = 5*f - 4*g - 68. Let m(z) = z**2 - 18*z + 36. Let n be m(f). Solve d - y - n = -0*y, 0 = 5*y + 25 for d.
-1
Let d(r) = 25 - 6 + 30 + 27*r - r**2 + 14. Let z be d(29). Solve 5*h - 20 = 5*l - 0*h, -h = -2*l - z for l.
-1
Let y(n) = -2*n**3 + 12*n**2 + 12*n + 12. Let c be y(7). Let a be (c + 3)*(0 - -3). Solve -2*d - 2 = 0, a*o + 2*d + 3 = -14 for o.
-5
Suppose -8*n - 8*n - 7*n = -4*n. Solve 0 = -3*l - 10*z + 5*z + 6, 5*l + 2*z + 9 = n for l.
-3
Let g(j) = j**3 + 9*j**2 - 45*j - 403. Let u be g(-9). Solve 0 = -4*s - 5*c + 18 - 3, -3*s + u*c = -17 for s.
5
Let j = 701 + -695. Let z(y) = 3*y**2 - 14*y + 6. Let o be z(j). Solve 0 = 5*g - 5*u + o, -u - 6 = -5*g - 20 for g.
-2
Suppose 101*w - 119*w + 90 = 0. Solve s + w*i - 31 = 0, -4*s + 0 + 19 = 5*i for s.
-4
Let o be ((-4)/(-16) + (-2)/8)/1. Let x(p) = -p**2 + 8*p + 29. Let a be x(10). Suppose 23 = 7*i + a. Solve 5*f + 2*j + 19 = o, j = i*f + 2*f + 10 for f.
-3
Let f = -8 + 4. Let l(h) = -5*h - 3. Let z be l(f). Suppose -y + r + 8 = 3, -y = r + 5. Solve -2*k = 6 - y, -b - z = 4*k for b.
-5
Let j = -7580 - -7583. Solve -j*r - i - 7 = 0, 11*r - i - 10 = 15*r for r.
-3
Let a be -3 - ((-45)/5 - -4). Solve 0 = 3*b + a*m + 2, 10*b - 7*b - 2*m - 14 = 0 for b.
2
Let z be (18/15)/(8/60). Suppose z*w = 6 + 39. Suppose l + p = 2*l - 15, -l = -4*p. Solve 3*h = -h + l, -5*t - 35 = -w*h for t.
-2
Let k(a) = -3*a**3 + 185*a**2 - 125*a + 188. Let o be k(61). Solve -o*n - 22 = 3*g, -n - n = 3*g + 16 for n.
-2
Let p be (-24)/140*10*-1 + 10/35. Solve 2*d - v = -3, -3*d + 35*v - 36*v = p for d.
-1
Suppose 71953*j = 71959*j - 24. Suppose -q + 12 = -3*r, -8*q - 8 = -3*q + 2*r. Solve q = -c + 3*m - j, 3*c - 2*m - m = 0 for c.
2
Let y be (-2)/((-2)/433) - 129/(-43). Suppose 2 = -434*u + y*u. Solve 7 + u = 2*z - 2*v, 4*z + 2 = -2*v for z.
1
Let m(b) = 17*b - 935. Let t be m(55). Solve 5*o - 3*j = 6, 2*o = -t*j + j + 3 for o.
3
Let s = 33 - 23. Suppose -s*z + 51 = -229. Let j = -25 + z. Solve 2*t - 10 = 4*i, -5*i - 7 = j for t.
1
Let j be 12*(-1)/(-4) - 3. Let t be (-84)/(-21)*(j + (-3)/(-12)). Solve 0 = -l - 3*c + t, -2*c = 3*l - 0 - 10 for l.
4
Suppose -5*t - 7*t = -72. Let i be (-4)/(-26) - 2412/(-39). Suppose -2*q + p = -2*p - 11, i = 5*q + 4*p. Solve z - t*z = -2*n - 25, 2*z = q for n.
0
Let m = -8113 - -8128. Solve -p + 9 = t, 0 = 13*p - m*p - 5*t + 33 for p.
4
Suppose -263*u = -265*u + 10. Let g = -4 - -6. Let f(p) = p**2 + p + 2. Let w be f(-2). Solve -u*s - m = 20, g*s + w = s + 5*m for s.
-4
Let s(i) = -4*i**3 - 5*i**2 - 8*i - 3. Suppose 0*n - 4*o = -5*n - 14, 0 = -4*n - 2*o - 6. Let b be s(n). Solve 0 = 4*g + 2*t + 10, -8*t + 3*t = 5*g + b for g.
0
Let a be (-9)/(-24) - (14 + 3591/(-152)). Solve -5*j = -4*w + 26, 3*w + 2*j + 2 - a = 0 for w.
4
Suppose 3*j + 1 = -29. Suppose -34*l = -32*l - 26. Let c = j + l. Solve s = -u + 8, u = -c*s + s + 11 for u.
5
Let a(l) = 3*l**3 - 5*l**2 + 2. Let z be a(4). Let n = -113 + z. Solve 0*o = 2*o + 2*q - 2, -o = 4*q - n for o.
1
Suppose -2*j = -5*m + 23, 4*m - 2*j + 5 = 25. Solve 0 = -t - 3*o - 2, 7*o + m = 10*o for t.
-5
Let j be (1 - (-1 + 80))*(-2)/4. Let g = -28 + j. Let w(s) = -s**3 + 11*s**2 - 2*s + 25. Let z be w(g). Solve 0 - 41 = -5*m - 4*l, 2*m - z*l = -2 for m.
5
Let g = 351 + -348. Suppose 4*z + z + 15 = -g*f, -4*f = -z + 20. Solve 4*b - c = 3, 5*b + c - 5*c - 12 = z for b.
0
Let x(z) = z**3 + 14*z**2 + 2*z + 33. Let u be x(-14). Let m(w) = w**3 - w**2 - 2. Let y be m(2). Solve 2*t + 3*t