 for y.
3
Let i = 1944 + -1933. Solve -i*d = -8*d + 12 for d.
-4
Suppose 0 = n - 5. Suppose -3*d - 20 = -14. Let z = n + d. Solve m - 2 = -z for m.
-1
Suppose -43*k + 21*k = 0. Solve 3*n + 3*n - 30 = k for n.
5
Let s(j) = -j**2 + 78*j + 785. Let a be s(-9). Solve 0*f = -f + a for f.
2
Let f be (-6)/9*(4 - 10). Suppose r - 7 - 15 = -2*x, -2*x - 2*r = -26. Let c = 9 - x. Solve f*b - 5*b = c for b.
0
Suppose 0 = -20*i + 13*i + 35. Solve 2*s - 7 = -i for s.
1
Suppose -d = 2*k + 8, -5*d - 10 = -k - 14. Solve d = -4*h + 2*h for h.
0
Let d(n) = 3*n**3 - 26*n**2 - 10*n + 9. Let g be d(9). Solve a + 11*a - 12 = g for a.
1
Suppose -3*a + 55 = 5*o - 4*o, 4*o = -5*a + 199. Let n = o - 34. Solve 4*t = -8 - n for t.
-5
Suppose -4*s + 4*a + 14 = -86, 5*s - 4*a - 130 = 0. Solve 7*l = l - s for l.
-5
Let f(w) = 5*w**3 - 9*w**2 + w + 12. Let h(k) = 6*k**3 - 10*k**2 + k + 13. Let c(s) = -5*f(s) + 4*h(s). Let p = -30 - -34. Let i be c(p). Solve q = -i*q for q.
0
Let s(y) = 11*y + 71. Let m be s(-6). Solve 1 = 3*t - m for t.
2
Let v(w) = w**2 + 7*w. Let u be v(-7). Suppose -25*z = -20*z - 25. Solve u*q - z*q = 15 for q.
-3
Let v = 31 + -27. Suppose g + 12 = v*i + 2*g, -4 = 2*i + 3*g. Let n = -18 - -33. Solve i*z = z + n for z.
5
Let l = 137 + -128. Solve -4*m + l + 7 = 0 for m.
4
Let s(v) = 2*v**3 - 7*v**2 + 6*v. Let j be s(5). Suppose j - 20 = 5*f. Let o = f + -8. Solve -4*a + 29 = o for a.
5
Let b = 2002 - 1999. Solve -104 = -b*u - 101 for u.
1
Let t be 17/4 + (-48)/(-64). Suppose t*l + 5*d = 15, 3 = -3*l + d + 20. Solve -3 = l*m + 2 for m.
-1
Let k = 4 + -5. Let a = k - -2. Suppose a = m - 2. Solve 0*x - m = 3*x for x.
-1
Suppose -4*q = -3*y - 30, 6*q - 5*y = 4*q + 22. Solve q + 0 = 6*n for n.
1
Suppose -13 = -5*k + 12. Let y = 33 - 29. Let n = 4 + y. Solve k = -n*t + 3*t for t.
-1
Suppose -3 = -v - f, 0 = -5*v + 5*f - 0*f + 55. Let o = v - 2. Suppose 0 = 3*j - 4*y - 19, -3 = 5*j - 2*y - 16. Solve 6 = -o*z + j for z.
-1
Let a be 3 - (1/(-2) - 75/(-30)). Solve 0 = -28*z + 27*z - a for z.
-1
Suppose b - 6 - 1 = 0. Let y(n) = -n**3 + 2*n**2 + n - 1. Let h be y(-1). Suppose -10 = -v - h. Solve b = 4*p - v for p.
4
Suppose 0 = 45*z - 54*z + 27. Solve z*q - 50 = -59 for q.
-3
Let y(s) = -s. Suppose 5*l - z - 143 = 0, l - 2*z + z = 27. Suppose -l = 7*u - 8. Let c be y(u). Solve w = c*w for w.
0
Suppose 2415*f - 6 = 2412*f. Solve f*u = 45 - 45 for u.
0
Let f be 4/16 + (-1)/12*-21. Let h(o) = 7*o - 6. Let k(y) = 6*y - 6. Let v(z) = -5*h(z) + 6*k(z). Let s be v(8). Solve f*j + s*j = -8 for j.
-2
Let i be ((-3)/(-9))/((-2)/(-24)). Let j be (3 + -1)/(i - 5). Let t be -1 - (j/2 - 2). Solve -6*r + t*r + 16 = 0 for r.
4
Let t(q) = -q**3 - 3*q**2 - 3*q - 7. Let z be t(-3). Solve -p = z*p for p.
0
Let s(o) = -o**3 - o**2 - 2*o + 10. Let u be s(0). Let j be ((-2)/5)/(u/(-75)). Let a be (-4)/14 + 88/14. Solve -j*f = -6*f - a for f.
-2
Suppose 5*g = -f + 2*f, -4*f + 22 = 2*g. Suppose j + 1 = f. Solve 0 = -t + j*t for t.
0
Let m = 6 + -4. Let y(o) = -18*o - 630. Let u be y(-35). Suppose 4 = -3*v + 22. Solve 0 = m*h + v - u for h.
-3
Let d(a) = -2*a**2 - a - 75. Let i be d(0). Let w be (i/(-27) - 3)*-9. Solve w*q - 3*q = 0 for q.
0
Let f = -7 + 10. Suppose 0 = -3*n - n - 2*m - 12, 3 = -f*n - 3*m. Let o(q) = q**3 + 5*q**2 - 4*q. Let b be o(n). Solve 4*j + 0 = -b for j.
-5
Suppose -2*o + w - 5 = -17, -4*o - 2*w + 24 = 0. Solve -4*u + o*u = 2 for u.
1
Let j(g) = -g**2 - 2*g + 122. Let r be j(-12). Solve -u - 3 = -r for u.
-1
Let m be 8/(-3)*(-39)/52*3. Suppose -3*u + 4*f = -17, u - 3*u + 8 = -f. Solve u*n = -0*n - m for n.
-2
Let u be 4/20 + (-17)/85. Solve m + 3 - 8 = u for m.
5
Let a(s) = s**3 + 4*s**2 + s - 6. Suppose 0 = -3*t + 4 + 8. Let b(c) = c**3 + 3*c**2 - 6. Let p(q) = t*a(q) - 3*b(q). Let n be p(-6). Solve -n*i + i = 5 for i.
-1
Let y(j) = j**2 + j - 14. Let x be y(-6). Suppose x*b - 20 = 11*b. Solve b = d + 3*d for d.
1
Suppose 2*k + 6 = 5*k. Suppose k*y = 6*y - 16. Suppose y*t = t. Solve 4 = -4*i - t for i.
-1
Let h = 188 + -148. Solve h - 31 = -3*w for w.
-3
Suppose 18 = w + 5*v - v, -4*v = -16. Solve w - 7 = b for b.
-5
Let l be (-64)/(-36) + 18/81. Solve u + 0*u = l for u.
2
Suppose 5*w - 2*w = 0. Let n be (-4)/(0 - 1) - w. Solve -5 = n*a + 11 for a.
-4
Suppose 2*d = -4, 5*t - 3*t + d + 2 = 0. Solve t*l = 3*l for l.
0
Let s = 633 + -625. Solve -2*d + s = -0*d for d.
4
Suppose 19 = -5*t - 1. Let l be (t - 44/(-8))*8/6. Solve -2*r + 4 + l = 0 for r.
3
Let n(b) = -4*b**2 + 8*b - 12*b - 1 + 3*b**2. Let i be n(-8). Let u be (-171)/i - 6/33. Solve -u*k + 8 = -k for k.
2
Let s(l) = 11*l**2 - 2*l - 1. Let m be s(1). Solve -20 = -m*j - 12 for j.
1
Suppose -57*x = -44*x - 130. Solve x*c = 5*c for c.
0
Suppose 0 = -11*x + 8*x - 30. Let i be (6/2 + 0)*x. Let g = -28 - i. Solve -3*d = -g*d for d.
0
Let a(t) = -3*t**2 + 57*t - 164. Let q be a(14). Solve 15*u + q = -29 for u.
-5
Suppose 0*p = 5*p. Suppose t - 12 = -p*t. Let a = t + -11. Solve -g + a = 6 for g.
-5
Suppose 108*v = 106*v + 88. Solve 9*q + v = -1 for q.
-5
Let j(h) = -2*h - 17. Let x be j(-11). Let t = 0 + x. Solve 2*g = t - 13 for g.
-4
Let y(m) = -2*m - 31. Let p be y(-17). Suppose -3*w - 5*d = -12, -2*d - 4 = -0*w - w. Solve k = p - w for k.
-1
Suppose -7*k + 237 = 27. Solve 32*p = k*p - 2 for p.
-1
Let x(a) = -4*a - 11. Let s = 6 + -14. Let c be x(s). Let h be (2/7)/(3/c). Solve h*k = -6 + 14 for k.
4
Suppose 3*g = -2*y + 19, 0*y = 2*g + y - 14. Solve -12 = 3*w - g*w for w.
2
Let p(q) = -3*q. Let m be p(-3). Suppose 4*u = m*u. Solve 4 = -w - u for w.
-4
Let s be (-6)/4 + (-43)/(-2). Suppose 0 = -0*c + 3*c + 3, -3*v = c - s. Let p be 1/v + (-60)/(-21). Solve -23 = 4*x - p for x.
-5
Suppose -2*z + 12 = z - 3*h, 4*z = -5*h + 61. Let w be (-14 + 644/49)/((-3)/7). Solve 0 = w*i + i - z for i.
3
Suppose -4*q - 2 = 3*w - 3, q + w - 1 = 0. Let u be q/(-5) - 9/(-15). Let p(g) = g**3 + 7*g**2 - 7*g + 10. Let h be p(-8). Solve 0 = -h*f - 3 - u for f.
-2
Suppose 2*d = -5*h - 14, -2 = -4*d + 2*d - h. Suppose 0*q + d*c + 6 = -3*q, 3*q + 5*c + 14 = 0. Suppose 15*z - 19*z = -4. Solve z = q*m - 7 for m.
4
Suppose -3*m - 13 = -h - 2*m, 92 = 5*h + 4*m. Solve -5*k - 21 = -h for k.
-1
Suppose -549*g - 45 = -564*g. Let f = 5 + 1. Let m be 0/(-3)*(2 + -1). Solve m*r + g*r = f for r.
2
Let h(s) = s**2 - 20*s - 187. Let a be h(-7). Solve 9*i + a = 11*i for i.
1
Suppose q + 25 = 35. Suppose 14*a - 16 = q*a + 5*c, 3*c + 20 = 5*a. Solve 0 = 3*l - a - 11 for l.
5
Suppose 0 = o + 5 - 8. Suppose -3*y = -4*g, -2*y - o*y + 5*g + 5 = 0. Solve y*h = -0*h for h.
0
Suppose 0 = -4*p - 2*j + 5*j + 100, -5*j = -20. Suppose p = 4*l - 4. Solve 6*o = l*o - 4 for o.
2
Suppose -10157*m = -10171*m + 2212. Solve m = -3*l + 146 for l.
-4
Suppose 2*m + 11 = -2*h + 21, -4*m = 3*h - 15. Solve -h*f - 11 = 4 for f.
-3
Suppose 0 = 3*o + 3, 3*w + o = -o + 259. Let g = w + -85. Solve 0 = -4*c + 3*c - g for c.
-2
Suppose -3*n + 2*j = -18, -4*n + j = 2*j - 13. Let f(x) = -x**2 - 12*x + 3. Let d be f(-12). Suppose 0 = n*i + d*m - 48, m + 1 = i - m. Solve 4*k = k + i for k.
3
Suppose 4*r + 47 = -105. Let p = r - -52. Suppose 4*v - 5*u = 11, -2*u - u + 3 = 0. Solve p = 2*j + v for j.
5
Suppose -3*s - 70 = 2*s. Let t(l) = l**3 + 11*l**2 - 18*l - 20. Let o(c) = c**2 + c + 1. Let a(j) = 2*o(j) + t(j). Let m be a(s). Solve -i = i - m for i.
5
Let p be (24*(-3)/30)/(2/(-5)). Suppose p*t - 1 = 29. Solve -m + t*m - 12 = 0 for m.
3
Suppose 46*f - 42*f - 12 = 0. Suppose 0 = -4*w - z + 6, f*z - z = -5*w + 6. Solve -1 = i - w for i.
1
Suppose 0 = 21*z + 11 - 263. Solve -5*h + 2 - z = 0 for h.
-2
Let z(c) = -c**3 - 3*c**2 + 9. Let t be z(-3). Let o be -1 - ((-6)/(-5))/(t/(-30)). Solve -v + 5 = o for v.
2
Suppose -7*r + 3*k + 89 = -2*r, 2*r - 44 = 4*k. Let n be ((-24)/10)/((-6)/15). Let y = r - n. Solve q = 6*q + y for q.
-2
Suppose -y - 75 = -6*y. Suppose -629 = -10*o - 579. Let r = y - o. Solve 2*g = -3*g + r for g.
2
Let a(k) = -3*k**3 + 21*k**2 - k - 6. Let n be a(6). Let j = -93 + n. Solve 3*m + 0 = -j for m.
-1
Let l be -2*1/(-12) - (-17)/6. Let d = -26 + 41. Let h be 1/2*(-6 - -6). Solve -l*y + d = -h*y for y.
5
Let n be 1 + -3 + (-3 - -1). Let t = 2 - n. Suppose -3*j + t - 3 = 0. Solve -r + j = 3 for r.
-2
Suppose u = -0 + 5. Let g be u - (1 - 1)*1. Let c(o) = o**3 + 6*o**2 + 9