e -f - t*f = 10 for f.
-2
Let u = -5 + 7. Let h be (2 + 2 - 0)*u. Suppose 6*s - h*s = -6. Solve s = 4*n - n for n.
1
Let n = 2619 + -2617. Let l(s) = -s + 5. Let k be l(-5). Solve n*p = -0*p + k for p.
5
Suppose 5*c = 2*p - 16, 0*c + 5 = 5*p + 5*c. Solve 3 = -p*n - 3 for n.
-2
Suppose 3*v + 11 = a + 7*v, -3*a - 5*v + 19 = 0. Suppose 2*x - 44 = -3*c - a*x, 2*x + 33 = c. Let f = 26 - c. Solve -f*w + 6 = -0*w for w.
2
Let b = 63 + -30. Let h = 43 - b. Solve o + h = -o for o.
-5
Let r be ((-45)/(-18) + -6)*-2. Solve 0 = -r*d - 7 for d.
-1
Suppose 1216 = 4*s + 3*t, 3*s - 2*t + t - 899 = 0. Solve 0 = -s*p + 306*p - 20 for p.
4
Let x = 31 - 24. Let b(z) = 0*z**2 - 6 - 6*z - 2 + 1 + z**2. Let n be b(x). Solve 0 = 2*v - n + 4 for v.
-2
Let p(t) = 59*t - 104. Let n be p(2). Solve 14*v - 7*v = n for v.
2
Let y(a) = a**2 - 79*a + 316. Let k be y(75). Solve 134*p = 142*p - k for p.
2
Suppose -2*m = 40*m - 252. Solve -8*t = -m*t + 2 for t.
-1
Let y = 2591 - 2557. Solve -22 = 6*l - y for l.
2
Suppose 0 = 4*o + 4*s + s + 2, 0 = 5*o - 3*s - 16. Let f be -7*3/(-49) + (-9)/21. Solve o*r + 10 = -f*r for r.
-5
Suppose -23 = -5*y - m + 5, 4*y - 29 = -3*m. Suppose 0*k - k = -y. Suppose -13 - 20 = -3*a - 27. Solve -k = 3*u - a for u.
-1
Let i be (-4)/(0/(-5) - 1). Solve h = -1 - i for h.
-5
Let n(j) = j**2 - 9*j + 26. Let k be n(5). Let t(o) = o**3 + 6*o**2 + 5*o. Let a be t(-4). Suppose k = -h - 0*h - 4*s, -4*h + a = -2*s. Solve y = -h*y for y.
0
Let y = -232 + 232. Solve y = -0*p + 4*p - 8 for p.
2
Suppose -77 = -4*k - 7*k. Let t(r) = -r + 4. Let b be t(-8). Suppose -m + b = k. Solve -m*h = -10*h for h.
0
Suppose 21 = -7*s + 35. Solve -2 = 7*g - s for g.
0
Let j be (-15)/(10*(-8)/32). Solve j*q - 2 = -2 for q.
0
Let f be 207/23 + 4 + 0. Suppose -f*d + 27 = 1. Solve -2 = -0*v + d*v for v.
-1
Let y be 2/(-12)*2 + (-52)/(-12). Solve 3*o + y = 4*o for o.
4
Let n = -20 + 68. Let z = n + -46. Solve -1 = z*r - 9 for r.
4
Suppose -2*a = a - 15. Let b(c) = c - 3. Let k be b(1). Let d be (-5)/(15/(-18)) + k. Solve 0 = -a*t - d - 1 for t.
-1
Let r(l) = l**3 + 7*l**2 - 4*l - 25. Let f be r(-7). Solve -f*y = -7*y - 8 for y.
-2
Let z(r) = 6*r - 68. Let i be z(13). Solve 12 = -i*l + 14*l for l.
3
Let k = 416 + -416. Solve k = -2*s - s + 6 for s.
2
Let j(v) = 4*v**3 - 3*v**2 - 3*v + 4. Let i(o) = 8*o**3 - 5*o**2 - 5*o + 7. Let x(y) = -3*i(y) + 5*j(y). Let z be x(-1). Solve -z*c = 8 + 7 for c.
-5
Let l(j) = -80*j + 720. Let y be l(9). Solve 2*c - 359 + 351 = y for c.
4
Let g be 2 + 3 + -6 - (-2 + 0). Solve 8*i = 7*i + g for i.
1
Suppose 12*a - 35 = 7*a. Solve -11 = -k - a for k.
4
Let p be 34/(-187) - 48/(-22). Solve -2*b = p*b + 4 for b.
-1
Suppose -126*j + 128*j = 110. Solve j - 30 = -5*t for t.
-5
Let v be 250/30 - (-4)/(-3). Suppose -6*b = v - 31. Solve 0*t + 12 = b*t for t.
3
Let c = 15 - 8. Suppose -m - s + c = 0, -4*m - 1 = -2*m - 3*s. Suppose 5*a - 1 = 4*k + m, 0 = 2*k + 4*a - 30. Solve 12 - 2 = k*t for t.
2
Let d(m) = -m - 4. Let t be d(7). Let u = t - -39. Suppose 2*l = -5*f + u, 2*l - 3*f = f - 8. Solve -11 = -l*c - 3 for c.
2
Let s be (102/10 - 10) + 18/10. Let d be (15/(-2))/(1/(-2)). Solve 0 = s*l - 7*l + d for l.
3
Let p(i) = -3*i**2 + 3*i - 6*i**2 + 10*i**2 - 4. Let l be p(2). Suppose l*d = 8*d. Solve -v - v = d for v.
0
Let r = 261 + -256. Solve r = -0*x - x for x.
-5
Let c be 4 - 9/((-45)/(-10)). Suppose 4*d + 2 = 2*n - 5*n, -d - n - 1 = 0. Let g be 2 - (1 + -1 + d). Solve g = f + c for f.
-1
Suppose -4*i + 150 = -5*z, 0 = -3*z - i - 2*i - 90. Let b be (174/9)/((-2)/3). Let a = b - z. Solve -r + 6 = a for r.
5
Let w = 69 + -66. Let p = 1 - -11. Solve -3*r = -p - w for r.
5
Suppose -8*i = -15*i - 98. Let j be i/(-4)*(-300)/(-175). Solve j*r - 7*r - 3 = 0 for r.
-3
Let a be ((-28)/(-49))/(2/28). Suppose 10*o - 6*o = a. Solve 0 = -o*q + 22 - 16 for q.
3
Suppose 5*v + 120 = 5*k, -72 = -6*k + 3*k - 2*v. Let p be (18/9)/(2/k). Suppose -5*t - 6 - 24 = -5*h, 8 = 3*h + 2*t. Solve -5*x = h - p for x.
4
Let j be (0 - 2)*(8 + 3)*3. Let h = 69 + j. Solve -3 = h*z - 15 for z.
4
Let a(q) = -q + 5. Let n be a(0). Suppose n*g - 2*g = 9. Let t = g - -4. Solve -4*w + 5 = -t for w.
3
Suppose 8*h + 3*a = 4*h + 27, 0 = 2*h + 5*a - 31. Suppose -41 = -5*f - 2*u, u - h*u = -f + 1. Solve -4*v + 3 = -f*v for v.
-1
Let a = 1 - 17. Let i = a + 19. Solve -i*w - 9 - 6 = 0 for w.
-5
Suppose -5*a + 4*h + 89 = -4*a, 3*a = 5*h + 281. Suppose -3*p + 89 = 4*u, 5*u + 2*p - a = 3*p. Solve 7*b = 2*b - u for b.
-4
Let h = -229 - -232. Solve -h*v - 3*v + 12 = 0 for v.
2
Suppose -24 = 3*t - 45. Let d be (9/7 + -1)*t. Solve -o + d = -2*o for o.
-2
Let p(o) = -2*o**2 - 21*o + 3. Let h be p(-11). Suppose 9*g - 50 = 4*g. Let j = g + h. Solve 3 + 1 = j*q for q.
2
Let v(c) = -c**2 - 9*c + 27. Let j be (44/(-10))/((-2)/(-5)). Let w be v(j). Solve h = w*h for h.
0
Suppose 3*v = 4 - 1, 3*y = -5*v + 11. Suppose -6*q + 5*q = 8. Let f(d) = d**2 + 7*d - 3. Let m be f(q). Solve y - m = -3*r for r.
1
Let f = 2 - -3. Let d(n) = 41*n + 2339. Let a be d(-57). Solve r - a*r - f = 0 for r.
-5
Suppose 5*p - 4*k - 90 = 0, -12*p + 8*p = -2*k - 66. Solve 4 + p = -9*n for n.
-2
Suppose 15*o = 10*o - 200. Let b = o - -42. Solve 6 = b*x - 5*x for x.
-2
Let g = 1047 - 1044. Solve 6*b = -0*b + g*b for b.
0
Let r(h) = -5*h**2 - 2*h - 25. Let f(u) = 4*u**2 + 2*u + 24. Let v(m) = -6*f(m) - 5*r(m). Let l be v(7). Solve 3*k = -k + l for k.
4
Let c be 7*3/3 - 0. Solve -z - c + 2 = 0 for z.
-5
Suppose 40 + 38 = 6*b. Suppose -3 = -y + 1, -b = -c - 2*y. Solve -c*o = -0*o - 15 for o.
3
Let c be (-2)/9 - (-328)/18. Let t(p) = -p**3 - 20*p**2 - 55*p - 23. Let z be t(-17). Suppose u + z = 5*x, x + x - c = 3*u. Solve x*m = 4*m for m.
0
Suppose -q = 4*v - 0*v + 8, -5*v - 10 = q. Solve 12*a - 12 = -q for a.
1
Let v = 3 - 2. Let b(j) = j**3 - 2*j + 1. Let d be b(v). Solve d = 2*f + 2 + 2 for f.
-2
Let t = 2 - 4. Let u = 4 + t. Suppose 3*c = -2*a + 5*c - u, -4*a + c = -5. Solve 5*z = a*z for z.
0
Suppose -81*m + 748 + 467 = 0. Solve -60 = -m*h - 0 for h.
4
Let n(x) = -2*x - 5. Let g be n(-5). Let t = 2027 - 2027. Solve g*s - 13 + 38 = t for s.
-5
Let x be 1*18*(-1)/(-2). Suppose -2*a - a = x. Let r be (-57)/a + -2 - 1. Solve -2*j - 2*j + r = 0 for j.
4
Let q(r) = -r + 3. Let l be q(1). Let u = l - -3. Solve -4*i + u = i for i.
1
Let z be 4 - (-1 - (3 - 8)). Suppose -2*r = -3*h - z*r - 62, -4*h - r = 101. Let n = h - -28. Solve n*x = x - 3 for x.
-1
Suppose -4*u + 200 = 3*b, b = u - 42 - 8. Suppose -3*k - y + 49 = -0*y, 0 = 3*k + 2*y - u. Solve 0*r - 4*r - k = 0 for r.
-4
Suppose 8*u + 6*u - 140 = 0. Solve -11*k - 5 = -u*k for k.
-5
Suppose 3*m - 3 = 3*y, -11*y = -9*y - 5*m + 5. Solve y = 9*j + 21 - 12 for j.
-1
Suppose 4*m - 4*o - 20 = 0, -o + 9 = -4*o. Solve -m*x - 20 = -6*x for x.
5
Suppose -d = 3*b - 7, 5*b + 12*d = 9*d + 5. Solve 3*q = 19 - b for q.
5
Let n(i) = -i**3 + 3*i**2 + 2*i. Let x be n(3). Suppose -x*c = -5*c - 15. Let w = c - 13. Solve w = u + 5 for u.
-3
Let l(d) = 2*d**3 - 4*d**2 - 9*d + 19. Let m be l(3). Solve -23*r = -18*r + m for r.
-2
Suppose 0 = -0*h + 3*h + 18. Let r(z) = -z**3 - 7*z**2 - 10*z - 9. Let o be r(h). Let l = 17 - o. Solve 3*f - 8 = -l for f.
2
Let j = -32 - -36. Let k(a) = -a**3 + 3*a**2 + 7*a - 6. Let i be k(j). Let n(v) = -3*v - 1. Let s be n(-2). Solve i = -s*l + 3*l for l.
-3
Suppose 14 = 3*a + 2. Let m be (-2970)/(-99)*(-1)/(-2). Solve 0 = z + a*z + m for z.
-3
Let f(b) = -b**2 + b - 1. Let w(a) = 4*a**2 - 24*a + 1. Let c(v) = -5*f(v) - w(v). Let n be c(-19). Solve n*p = 6 + 6 for p.
3
Let v be 27/(-189) + 144/28 + -3. Solve v*a = 13*a + 11 for a.
-1
Suppose -2*v = 3*t - 17, 0*v - t = -v - 4. Suppose 3*j - 8 = v. Solve -12 = -j*k - 0*k for k.
4
Let o be 7 - (-1 - (1 + -2)). Suppose -190 = -2*f + o*f. Let r = -23 - f. Solve 6*h - h = r for h.
3
Let f = 2019 - 2019. Solve -27*p + 23*p = f for p.
0
Let b(t) = -t**2 + 17*t - 15. Let p be b(15). Solve -p = j + 4*j for j.
-3
Let i be (16/(-10))/((-4)/(-60)). Let o = 50 + i. Suppose -3*c - 5 = -o. Solve -c*b + 2*b = -5 for b.
1
Let t(k) = k**3 + 6*k**2 + k + 1. Let s be t(-6). Let y(w) = -2*w**2 - 5*w + 7. Let p be y(s). Let h = p - -18. Solve -u + 5 = -h*u for u.
5
Suppose -5 = 20*u - 205. Solve u*y = -42 + 12 for y.
-3
Suppose -5*j + 29 + 31 = 0. Suppose -4*o + 