- 12 for y.
4
Let b = 13 - 31. Suppose 16 + 72 = 4*d. Let t = b + d. Solve 2*m - 3 = t*p + 7, 20 = -5*m + p for m.
-5
Suppose 25601*c - 25593*c + 20 = -4. Suppose 5*h + 3 = -17. Let i be 1 - (0/c + h). Solve 2*n + g + i = 0, -2*n + 3 = -4*g - 7 for n.
-1
Let g be 18/(-12)*((-15)/10 + (-141)/18). Solve -w + 8*h + g = 5*h, -3*w + 2*h + 21 = 0 for w.
5
Let b be 15 - (-4)/2*-1*-1. Solve -4*l + 18 = 19*n - b*n, 0 = l + 4*n - 15 for l.
3
Let q = 10745 - 10741. Solve -4*y + 7*t + 8 = 3*t, q*y = -3*t - 20 for y.
-2
Suppose 3*p + l + 10 = 7, -3*p + 42 = -4*l. Solve 4*n + 16*b - 17*b - p = 0, -3*n - b = 2 for n.
0
Let j be 262/3 - (-5)/(-15). Let x = j + -84. Solve -2*i = -i - k - x, 4*i + 2*k - 18 = 0 for i.
4
Suppose 5*f - 35*f - 75*f = -525. Solve -4*p - 8 = -3*h, -f*p - 5*h + 21 + 4 = 0 for p.
1
Let n = -3997 + 3999. Suppose h = 3*h - 10. Solve 4*t - h*q - 11 = -0*t, -n*t + q = -7 for t.
4
Suppose 7 = v, -5*v - 196 = -10*s + 19. Solve a = -2*t - 3*t - 15, 0 = -5*a - s for t.
-2
Suppose -3*w = 0, 3*w + 6 = -u + 11. Suppose -5*p + 25 = -u*t, -2*t = -3*p + 2*t + 18. Solve -4*i + 0 = 5*z + p, 11 = -i + 4*z for i.
-3
Suppose -4*v + 3*k + 102 - 56 = 0, 3*v - 49 = -5*k. Solve 4*j = -17*i + 18*i + v, -2*i = -3*j + 16 for i.
-5
Suppose 46 = 6*s + 17*s. Let n be (s*15/(-21))/((-8)/28). Solve 0 = 5*u + 2*i - 10, -i = -n*u + 2*u - 5 for u.
0
Let z be 0*11/(-198)*9. Solve -23*g + 25*g - 4*u + 30 = z, 40 = -4*g + 4*u for g.
-5
Suppose 11*y - 105 = 181. Suppose -278*w + y = -277*w. Solve -30 = -2*r - 5*p - 7, r + w = 5*p for r.
-1
Let l = 6735 + -6734. Solve -5*o + 5*s - 9 - l = 0, -5*o - 6*s - 43 = 0 for o.
-5
Suppose 16*r - 75 - 13 = -24. Solve r*k + p = 24, 17 = k + 7*p - 4*p for k.
5
Suppose 0 = n + q - 1, 2*q + 2*q + 50 = 5*n. Let u = n - 3. Suppose -4*l = -16, 0 = d + 2*l - u - 8. Solve c - d*x = -14, c + 4*x - 4 = 3 for c.
-5
Suppose -979 = 4*r - 3*s - 975, -2*s = -5*r + 2. Let m = 5 - 4. Let c be -10*1*(-3)/6. Solve 2*u + c*v + 11 = m, -v - 2 = -r*u for u.
0
Suppose 8*x = x + 56. Let c be 59/4 + 1/x*2. Suppose 3*s = s + 2*b + 8, -2*s - 5*b = -c. Solve -k + 1 = l, 4*l + 1 - s = -2*k for k.
0
Let y(m) = 3*m + 10. Let b be y(3). Suppose 0*l = -l + 3*w + b, 0 = 5*l + w - 15. Solve 2*c - 26 = -6*k + k, 0 = -3*k + l*c for k.
4
Let a be (-2)/6*(-1773)/3. Let g = -197 + a. Solve 2*y - 4 = g, n - 2*y - 5 = -2*n for n.
3
Let y = -299 - -200. Let n = 103 + y. Solve -3*x = -z + 2, -n*z - 2 = -4*x + 6 for x.
-2
Let z = 1 + -1. Let w be (-352)/4400 - 1754/(-50). Let y be (-7 + -2)/((-6)/4). Solve z = 3*l - y*t + 3*t + 30, 4*t - w = 3*l for l.
-5
Let i(j) = -j**3 + 5*j**2 - 6*j + 77. Let g be i(6). Suppose 3*u + 4*r + 0 = -1, -g*r - 15 = u. Solve -y - 8 = -2*y + u*l, 6 = y - 3*l for y.
3
Let m = -8815 - -8826. Solve -m + 12 = 2*g + 3*a, -4*a = -5*g + 14 for g.
2
Let s be (8 + 0)*(-2 + 1). Let t be (-3)/((-2)/s*0 + -1). Let a be -2 - (-120)/21 - 4/(-14). Solve -25 = -5*j, -3*m - 1 = t*j - a for m.
-4
Suppose -24*u + 12*u - 33*u = -135. Solve 3*l - 7 = -o, -u*o + 4 = -2*o + 2*l for o.
-2
Let k be (-6)/8 + -5 + 5/(-20). Let l = 8 + k. Suppose -4*a + l*a = 2*i - 16, -5*i = -5*a. Solve i*m + 0*m - 3 = v, -4*m - 12 = -4*v for v.
5
Suppose 186*d = 187*d + 30. Let v be (-10)/d*(-4 - (0 - 19)). Solve -2*i - v*h - 13 = -4*i, 3*i = -4*h + 8 for i.
4
Suppose -2*s + 297*h - 300*h + 19 = 0, -3*h - 13 = -2*s. Solve -4*m - 32 = -5*p, s = -7*m + 3*m - p for m.
-3
Let l(s) = 5*s + 5*s + 10 + 0*s - 2*s. Let v be l(-3). Let b = v - -16. Solve 2*p = -b*o + 3*p + 7, 3*p = -5*o + 12 for o.
3
Suppose -17954*v = -17941*v - 195. Suppose 3*g = 4*g. Solve -5*l + v = g, -5*d + 12 = -d + 4*l for d.
0
Suppose -v - 57 = -101. Suppose -5*i + 2*i + 12 = 0. Suppose -v = -i*f - 6*h + 3*h, -2*h + 8 = 0. Solve -4*u + 5*c + 0 = 20, 0 = 2*c - f for u.
0
Suppose -144 = 58*o - 66*o. Let b = -7 - 61. Let v = -67 - b. Solve 3*c - v = -7, c = 4*k + o for k.
-5
Let l(u) = -u**3 - 10*u**2 + 7*u + 24. Let f be l(-11). Suppose 4*j + 0 - f = 0. Solve 3*t = c + j, -3*c - 2*t = 3*t - 5 for c.
-5
Let r = -4 + 6. Let l(b) = 6*b**2 + 52*b - 13. Suppose -10*m + 20 = -5*m, -2*g - 4*m - 2 = 0. Let f be l(g). Solve 4*i - 5*h = f*i + 23, -5*i + 20 = -r*h for i.
2
Suppose -7550*b + 7494*b = -952. Solve -a - b = 5*r - 24, 2*r + 8 = 5*a for r.
1
Let a = -10935 - -10938. Solve s = -4, 2*y = -a*s - s - 18 for y.
-1
Suppose -7*m = -3*m + 24. Let r(g) = g + 9. Let a be r(m). Suppose 104*d + 4 = -112*d + 1084. Solve -a*h = b - d*h + 1, 18 = 4*b + 3*h for b.
3
Suppose -4*k + 5*r + 3 = 0, -2*r - 3*r + 7 = k. Suppose l - 8 = -4*t, k*l - 5*t = 20 - 4. Solve -4*p - 1 = 2*g + 1, -5*g + l = -3*p for p.
-1
Suppose -987*y = -990*y - 3*x + 144, -4*y + 198 = 5*x. Solve -4*o - 22 = w - y, 2*w = o + 4 for w.
4
Let u = -29 - -51. Let a = u - 19. Suppose -3*r + a*g + 19 = -14, -3*g + 19 = r. Solve 2*s + 14 = 2*k - k, 5*s = -3*k - r for k.
4
Let r be (-3 - (-81)/36) + (-1287)/12. Let z = 112 + r. Solve -s - 5*m - 16 = -3*s, -z*m = 8 for s.
3
Suppose -5*h = -f + 15 - 43, 5*f = -3*h. Suppose 0 = -s + 3, -h*s + 42 = 5*w + 7. Solve -w = -2*r - 2*x, -r - 2*x = -6*r - 25 for r.
-3
Let x(j) = j**3 - 20*j**2 + 64*j + 2. Let f be x(4). Solve 4*p + 24 = f*r - p, p = 2*r - 8 for r.
2
Let j = 181 + -175. Suppose 87*m = 84*m + j. Suppose -2*q + 4 = -q. Solve b - q + 0 = 2*s, -b - s = m for b.
0
Let n(l) = -751*l + 9766. Let y be n(13). Solve 2*j + y = 2*x + 9, 5*x = 4*j - 11 for x.
1
Let d be 18*(1 + (-3 - -1)). Let l be (-1)/(9/2) - 112/d. Suppose 3*h = l*h. Solve h = -4*w + 4*o + 32, o - 12 = 2*w + 6*o for w.
4
Let f(q) = -q**2 - 80*q - 1587. Let s be f(-37). Solve -3*m + 9 = s*d, -2*m + 4 = -3*d + 15 for m.
-1
Let t(d) = 2*d + 20. Let b be t(-5). Let l be (-2 - -12)*1/b*5. Suppose c - 117 = -5*o, 8*c - 63 = -3*o + l*c. Solve 2*j = j + 5*a - 16, 3*a - o = -3*j for j.
4
Let v(t) = 220*t**2 + 9*t - 66 - 44*t - 221*t**2. Let n be v(-33). Solve -16 = -4*r, -k = -2*r - n*r + 9 for k.
-1
Let l(c) = -54*c**2 + 323*c + 11. Let s be l(6). Solve 3*z = s*n + 11, 0 = -20*n + 22*n + 5*z + 23 for n.
-4
Suppose -3604*q - 20 = -3609*q. Solve 0 = 4*y + 3*l - 31, 4*y - 15 - 21 = -q*l for y.
4
Let y(d) = -d**3 - d**2. Let i be y(-1). Let a be (i - (-4)/6)*-3. Let o be (a - -2)/(-1 - 1). Solve 0 = v + 5*r - 20, 3*v - r - 12 = o for v.
5
Suppose -3*n + 14*n = n. Suppose 3*m - 5*m + 6 = n. Suppose -t - m*t + 4 = 0, -3*t = 3*f - 12. Solve 0*x = 5*y - x + 4, 12 = -5*y + f*x for y.
0
Suppose 4*v + 9*q - 4*q = 728, 0 = 2*q + 8. Suppose 0 = 26*j + 5 - v. Solve -3*d + 2*k - 6*k = -3, 0 = 2*d + k - j for d.
5
Let w(l) = -30*l + 1303. Let b be w(41). Solve -71*y - 5*u - 19 = -b*y, 0 = 5*y - 4*u - 22 for y.
2
Let s be 14/(-6) + 52/39. Let u be 0/((-2)/s + 3 + -6). Solve 14 = 3*o - w, -2*w + u*w = -3*o + 19 for o.
3
Let f = 45 - 52. Let k be 5/((-30)/168)*f/2. Let g = k + -93. Solve h = 2*h + 3*q - 9, -h = -4*q + g for h.
3
Let y be 12 + 0 + (-144)/16. Solve 3*p = 2*a + 6*p, -y*p + 6 = a for a.
-6
Let z = -150 + 135. Let i(d) = d**2 + 12*d - 39. Let v be i(z). Solve -14 = 2*x - 2*s, -2*s - v + 14 = x for x.
-2
Suppose 1044 = 16*m - 7*m. Suppose 11*o - m = -28. Solve 0 = -2*z + o, 3*z = c + 2*z + 9 for c.
-5
Let w = 1059 - 1047. Solve 5*r - l - 25 = 0, 11 = -r + 9*l - w*l for r.
4
Let b = -34 - -31. Let g be (1 + -3)*(-4 + 6 + b). Solve f + 1 = 4*j, 13 = g*j - 2*f - f for j.
-1
Let o(p) = p - 10. Let y be o(4). Let r be (42/(-15))/(y/(-210)). Let k = r - -100. Solve 3*t + 0*t - a - 13 = 0, -t + 11 = -k*a for t.
3
Let v(p) = 20*p**2 + 103*p + 22. Let k be v(-5). Solve 4*s - k = 2*h + 3, -3*s + 4 = -5*h for h.
1
Let g(i) = -421*i**2 + 2*i + 1. Let q be g(-1). Let j = 427 + q. Solve k + 2*n - 2 = n, 3*n - 14 = j*k for k.
-1
Suppose -42*d = 3831 - 52677. Let l = -1160 + d. Let r be (3/2)/((-6)/(-8)). Solve i + 2 = r*s - l, 5*s = 25 for i.
5
Let h(c) be the first derivative of 38*c**3/3 + 7*c**2/2 + 5*c + 210. Let b be h(-1). Solve -5*q - 2*v - v + 32 = 0, -5*q + b = 4*v for q.
4
Let c(p) = 0*p**2 - 5 + 19 - p**2 + 12*p + 3. Let n = 77 + -64. Let s be c(n). Solve -s*z + 11 = -3*a, 1 = z - a - 1 for z.
5
Let p(f) = -3*f + 63. Let t be p(20). Suppose -t*z + 127 = 169. Let d be (-3)/((-7)/(z/(-3))). Solve -d*a + r - 3 = 0, -5*r + 22 = -3*a - 0 for a.
1
Suppose 5*f + 3*c - 6*c = 31, c + 12 = 2*f. Sol