 for y.
1
Suppose 421*d = 408*d + 13. Solve y - 2 = -d for y.
1
Suppose -t + 10 = 5*d - 3*t, 5*d - 10 = t. Suppose d = 2*s + 2*o, 5*s = 7*s + 3*o - 1. Solve 0 = s*k - k for k.
0
Let b = -399 - -402. Solve 4*j = b*j - 3*j for j.
0
Let g(k) = 2*k**2 - 8*k - 7. Let z be g(6). Let i = 20 - z. Solve -y = i*y for y.
0
Suppose -5*z + 22 = -b - 0*b, 0 = -4*b - 3*z + 27. Suppose 0 = b*r - 0*r. Solve -4*t + 9 + 7 = r for t.
4
Suppose 4*b - 3*b + 153 = -3*s, 2*s + 158 = -b. Let d be (b/20)/((-6)/40). Suppose 3*x + 20 = -5*p + d, 4*x - 2*p - 48 = 0. Solve 0 = a + 3*a + x for a.
-3
Let f = -38 + 40. Suppose -a - 3*a = -4*d - 4, 3*a - 5 = f*d. Let q be (0 + 0/(-2))/(-1). Solve -2*o + 4 - d = q for o.
1
Let g(p) = 2*p**2 - 5*p - 3. Let a be g(5). Suppose -8 - 3 = -2*h - f, 0 = -h + 5*f - a. Solve -q = h*q for q.
0
Suppose -22*g + 21*g = -5. Suppose -5*l + 5 = -5. Suppose 6*a = l*a + 8. Solve g*v - 3*v + a = 0 for v.
-1
Let r be (-2)/(-6) + 94/6. Suppose -r*z + 30*z = 42. Solve -5*l = -2*l + z for l.
-1
Suppose 3*r - 2*r - 3*p - 7 = 0, 2*p = 5*r - 74. Suppose -m - 35 = 4*m - 4*l, r = -2*m + 2*l. Let k be m + 8 - 3/3. Solve k = 4*n - 2*n for n.
2
Suppose 5*o - 41 = 4*k, -5*o + 8 = 5*k + 3. Solve 4 = -o*q + 14 for q.
2
Let c = -2 + 3. Let j(g) = 17*g**2 - 2*g - 1. Let f be j(-1). Suppose -8*d = 2 - f. Solve d + c = -l for l.
-3
Let s be -2 + (-30)/(-16) - 205/(-40). Solve -6*y - s = -y for y.
-1
Let k = 118 - 148. Let h = k - -33. Solve -h*t + 4 = -7*t for t.
-1
Let x be -3 + 237/21 + (-16)/56. Solve 0 = -3*v + x + 4 for v.
4
Let n(b) = -b**2 - 33*b - 267. Let a be n(-15). Solve c + 2 - a = 0 for c.
1
Suppose 13*t = 9*t + 124. Solve -5*q = -26 + t for q.
-1
Suppose -6*s - 4 = -82. Solve -4*t = -33 + s for t.
5
Suppose -59 = 4*k - 79. Solve 0 = -7*o + 40 - k for o.
5
Let c be 2/13 - (-8)/((-208)/(-958)). Solve -34*l = -c*l + 15 for l.
5
Let i(s) be the third derivative of -s**6/120 + s**5/10 + s**4/3 - s**3 + 13*s**2. Let j be i(7). Solve -4*x = 13 - j for x.
-3
Suppose 2*b - 9 = -3*v + 12, -60 = -5*b - 5*v. Let i(j) = j - 12. Let h be i(b). Solve w - 5 = -h for w.
2
Suppose f + 2*f - 4*k = -121, -2*f = 3*k + 75. Let u = f - -43. Solve z + u + 0 = 0 for z.
-4
Suppose 0 = 152*n - 148*n - 36. Solve -n*c - 39 = -12 for c.
-3
Let x be 3 - (1 + 0/(-2)). Suppose -x*c = 3*m - 3, -2*c + 2*m = 5 - 3. Suppose -h + 3*g + 5 = 0, 5*h = -4*g + 120 - 0. Solve 4*n + c*n = h for n.
5
Suppose -3*b - 4*n + 54 = 8, 5*n = 3*b - 10. Suppose -b = 5*u + 10. Let h be (-2)/u*(8 + 2). Solve 0 = -g - 1 + h for g.
4
Suppose 4*r = -3*g + g, 5*g - 2*r = 36. Let a(h) = 7*h - 53. Suppose -2*w - 4*d - 7 + 27 = 0, 0 = 2*w + 2*d - 18. Let n be a(w). Solve g*m - n*m = -12 for m.
-4
Suppose 2*o - 10 = -n, 0*n + 4*n - 40 = -2*o. Let t = -122 - -130. Let f = n - t. Solve 6*x = f*x for x.
0
Let n(h) = 2*h**2 - 2*h - 1. Let m be n(-1). Suppose 12*j - 58 = 8*j + 3*k, 4*j - 74 = -5*k. Solve -u - m*u = j for u.
-4
Let a = 111 - 107. Solve -8*t = -6*t - a for t.
2
Suppose -2*g + 4*p - 18 = 28, -4*p - 115 = 5*g. Let q = -22 - g. Solve l + 2 = -q for l.
-3
Let s = -92 - -95. Solve -s + 7 = 2*i for i.
2
Let p = 269 + -268. Solve n + 2 = p for n.
-1
Let r(i) = i**3 - 10*i**2 + 9*i. Let a be r(9). Suppose 4*w = 5*g + 5, 5*w - 4*g - 16 = -g. Solve -3*m - 1 - w = a for m.
-2
Suppose -b + 14 - 4 = -3*m, 4*m - 50 = -2*b. Solve 20*j + b = -1 for j.
-1
Let o be ((-2)/6)/((-6)/36). Solve -o*r + 4 = -4*r for r.
-2
Let k(t) = t - 7. Suppose -2*h = 3*g - 35, 5*h - 15 - 60 = -5*g. Let w be k(h). Suppose 4 = w*p - 11. Solve 2*j = p*j for j.
0
Suppose -235 = 6*f - f - 5*z, z - 145 = 3*f. Let d = f + 53. Solve -4 = d*v + 16 for v.
-5
Let i = 816 + -813. Solve y + 0*y = i for y.
3
Suppose 3*y + y = 20. Let z = 114 - 36. Let b = z - 75. Solve y*h - b*h = 0 for h.
0
Let a = 50 - 64. Let f be 28/5 - a/35. Solve 2*n = -n + f for n.
2
Suppose -c + 4 = 4*f + 3, -2*f + 59 = 5*c. Let s = c + -5. Let t be (3 + -3)*4/s. Solve t = -0*u - 4*u + 4 for u.
1
Suppose 15 + 9 = 4*b. Let f(a) = -a - 3. Let r be f(-6). Let x = b - r. Solve -x*m = 2*m for m.
0
Let h(i) = i**3 + 4*i**2. Let y be h(0). Solve y = -q - 6*q for q.
0
Let m be 39/26*4/2. Solve -5*l = m*l + 40 for l.
-5
Suppose 10*i - 241 = 399. Let g be (i/10 - -1) + (-18)/(-30). Solve g*w = 4*w + 4 for w.
1
Suppose -o - 9 = -2*w, 4*w + o = 10 - 1. Solve -8 = -5*x - w for x.
1
Let k = 2 + -2. Suppose -5*m + k + 55 = 0. Solve 0 = 4*z - m - 5 for z.
4
Let w be (-2 - 35/(-10))/(1/36). Let z = 73 - w. Solve -z = -4*m - 3 for m.
4
Let l = -444 - -445. Solve 7 - l = 3*u for u.
2
Let x(q) = q**2 + 6*q - 6. Let h be -3 - -1 - -4 - 1. Let t(s) = -1. Let i(d) = h*x(d) - 6*t(d). Let a be i(-6). Solve 0 = -g + 1 - a for g.
1
Let q = -5 - -12. Let g(y) be the third derivative of y**4/24 - y**3 + 5*y**2. Let m be g(q). Solve m = -p - 0 for p.
-1
Let q be 2/3 - 2/3. Let c = 44 + -44. Suppose -5*z - 2*k - 2 = c, 4*z - k + 5 = -6*k. Solve z = -4*s - q*s + 4 for s.
1
Let x be (-35)/(-14)*8/5. Suppose x*l = l - 30. Let z(r) = -r - 8. Let i be z(l). Solve -2*s - 8 = i for s.
-5
Let q be (-250)/75*(-24)/10. Solve 0 = -15*y + q*y for y.
0
Suppose -4*c + 5*u = -21 + 2, 12 = -3*c - 5*u. Suppose -11 - c = -2*v. Suppose -3*w - 4*p = -20, 4*p - v = p. Solve -20 = -g - w*g for g.
4
Suppose -4*d - 5 = 5*v, 0*v - 3*v + 5*d = -34. Suppose -a + 2 + 2 = 0. Suppose -6*g + g = -a*r - 20, 0 = 5*r - 25. Solve -5*j - v = -g for j.
1
Let i = 231 + -143. Let q = i - 60. Suppose 2*n - 34 = -2*m, 4*m + 2*n + q - 92 = 0. Solve m = 3*o - 0 for o.
5
Let r(y) = y**2 - 5*y. Let u be r(5). Suppose -12*v = -6*v - 66. Let s be (v + 4)*1/3. Solve -20 = s*l - u*l for l.
-4
Let w = -125 + 128. Let k = 1 + 0. Suppose -4*i = -2 - 6. Solve -i = w*h + k for h.
-1
Let s = -13 - -20. Solve -s = -h - 2 for h.
5
Let f(r) = -2*r**2 + 62*r - 13. Let c be f(30). Solve -7*b + 19 = c for b.
-4
Suppose 13*z + 2*z - 120 = 0. Solve -50 = z*t - 10 for t.
-5
Suppose -h - 2*w - 2 - 4 = 0, 4*w = h - 18. Let n be -1 + (-5)/(5/(-2)). Suppose h*k - n = 7. Solve -15 = k*i + i for i.
-3
Let m = -435 + 482. Solve 0 = 3*g + 38 - m for g.
3
Let n = -382 + 384. Solve -n*y = 4 - 0 for y.
-2
Suppose -11 = -3*k - 14. Let b(d) = -7*d - 5. Let x be b(k). Solve x*t - 10 = 7*t for t.
-2
Let w(s) = s**3 + 2*s**2 - s - 1. Let i be w(-1). Solve 0 = 2*z + 9 - i for z.
-4
Suppose 35*n = 26*n + 54. Solve -7*h = -9*h + n for h.
3
Let w = 222 + -222. Solve -3*k - 1 + 13 = w for k.
4
Let n be (-7)/((-21)/12) + 1. Suppose n*b - 22 = 13. Suppose 0*h - 5 = h + 3*l, -h = l + 1. Solve -h - b = 4*k for k.
-2
Suppose 7 = 2*r + j, r - 5*j - 2 - 7 = 0. Suppose r*c + 1 + 3 = 3*u, -2*u - 1 = c. Solve -2*t - t - 6 = u for t.
-2
Suppose 36*b - 99 = 441. Solve 0 = b*t - 31*t - 80 for t.
-5
Suppose 5*g = -0*g + 15. Let m(f) = -2*f - 2*f**2 + 0*f + 3*f**2. Let t be m(g). Solve 4*a + 17 + t = 0 for a.
-5
Suppose -3*g - 5 = 2*g. Let w(j) be the third derivative of -j**6/120 - j**5/60 + j**3/6 - 148*j**2. Let r be w(g). Solve -r + 9 = -4*u for u.
-2
Let h(t) = -7*t - 38. Let s be h(-6). Let m be (1/(-2))/((-2)/8). Suppose -3*v + i = -m*v - 7, -4*i - 10 = 5*v. Solve -v*q - s = -0 for q.
-2
Let t be 1*(3 + 7) + 24. Solve -39*n - 20 = -t*n for n.
-4
Suppose 26 = 2*o - 0. Let h = 13 - o. Suppose h = y - 7 + 5. Solve 4*m + 6 = -y for m.
-2
Suppose -b + 1 = -13*a + 14*a, -4*a + 44 = -4*b. Let j(w) = w**2 - 2*w - 23. Let i be j(a). Solve 2*n + i = 5 for n.
2
Let a(k) = k**2 + 9*k - 4. Let u be a(-10). Suppose -u = 4*w - 3*w. Let b = -6 - w. Solve -3 = s - b*s for s.
-3
Let c(b) = 3 - 3*b - 4 + 9 + 4*b. Let q be c(-8). Suppose p + 2*k - 3*k + 2 = 0, -5*p - k = -14. Solve q = p*v + 3*v for v.
0
Let j be -3 - 8/(-16)*26. Solve -8*g = -10*g + j for g.
5
Let c = 30 + -32. Let a(d) = -3*d - 1. Let w be a(c). Solve 5 = -4*h + w*h for h.
5
Let i be 2 - (-1*2 - 2). Let z = i - 4. Let t(g) = -g + 19. Let u be t(19). Solve z*b + u = -6 for b.
-3
Suppose 13 = -s - 3*v, v = -s - 0 - 3. Suppose -y = 2*u + 2*y - 2, -s*u - 6 = 5*y. Solve -3*n = -5 - u for n.
4
Suppose 0 = 4*c - 0*c. Suppose -4*v + 77 = 17. Suppose 5*h + v = 0, 5*h + 35 = -m + 6*m. Solve c = m*z - 3*z + 4 for z.
-4
Let r(u) = -u**2 - 8*u - 7. Let g be r(-6). Suppose 5*y + k - 39 = g*k, -4*y - 5*k = -64. Let w = -10 + y. Solve -2*t + w + 3 = 0 for t.
2
Le