g*f = -11*f + 8 for f.
4
Let x(k) = k**2 - 6*k - 24. Let v be x(10). Let m = 1 - -13. Let h = v - m. Solve 2*d + 0 + h = 0 for d.
-1
Suppose -3*g - 2*p + 43 = 0, 4*g = 2*g - 3*p + 37. Suppose 4*h = -3*m + g, -h + 3*m + 0*m - 1 = 0. Solve i + h = 4 for i.
2
Let c(i) = i**2 - 4*i + 2. Let f be c(4). Suppose f*y = 6*y - 4. Solve -4*g - 15 = y for g.
-4
Suppose -3*z + 0*b + 38 = 4*b, 20 = 3*z - 5*b. Let f = -102 - -97. Let t = z + f. Solve -t = -3*d + 10 for d.
5
Suppose 8 = 4*i - 0. Let a be (-6)/45 - 160/(-75). Suppose 5*c = a*b, 5*c + 0*b = -b. Solve c = -2*j - 2 - i for j.
-2
Let f(i) = -i**3 - 6*i**2 - 1. Let d be f(-6). Let l be 3/(d/(-3 + 2)). Let n = 523 - 519. Solve -h - l*h = -n for h.
1
Let r(y) = 15*y - 358. Let f be r(25). Suppose 5*b = 2*w + 17, 52 = 4*b + 3*w + 20. Solve b*a + 8 = -f for a.
-5
Let c(m) = 2*m**2 + 2*m + 1. Let r be c(1). Solve 0 = b + 4*b - r for b.
1
Suppose -10*q = -12*q - 60. Let i = -26 - q. Solve 2*u + i = -0*u for u.
-2
Let l be (0 - 3)*2/(-6). Let h = 21 - 16. Suppose -h*k - k = 0. Solve i - l = -k*i for i.
1
Let l(t) = -t**3 + 6*t**2 + 7*t + 2. Suppose 15*x = 18*x - 21. Let d be l(x). Solve 0 = d*w - 6 for w.
3
Suppose -4*t = 2*r - 14, 1 = -0*t + t + 3*r. Suppose 2*p - t*d = -0*d, 6 = -p + 4*d. Solve o - p = -2*o for o.
2
Suppose 4*d = -8, 0*d - d = -4*o + 18. Let v(b) = -b**3 - 8*b**2 - b + 2. Let x be v(-8). Solve o*p + x = -p for p.
-2
Suppose -3*z - 52 = 5*l, -3*z = l - 0*l + 32. Let j be (40/3)/2*z/(-6). Solve -j*o - 12 = -7*o for o.
-4
Let y = -1277 - -1291. Solve y*t = 2*t - 36 for t.
-3
Suppose 0 = -5*p + 630 + 130. Solve -3*u = -143 + p for u.
-3
Suppose 3 = 3*i, -38 = 5*y - 0*i - 3*i. Let n = y - -7. Solve 4*r - 5*r = n for r.
0
Let i be (-399)/(-84) + 3/(-4). Solve i*y - 21 = -17 for y.
1
Suppose 10 = -5*i + 7*i. Suppose 4*d - 128 = -4*d. Suppose 0 = -2*q + 8. Solve -q = -i*v + d for v.
4
Let x(h) = -2*h**2 + 5*h + 71. Let s be x(-4). Solve -4*d = s*d for d.
0
Suppose -6*r - 4 = -10*r. Let d be -3 - ((3 - r) + -5). Suppose d = -2*n - 0*n + 6. Solve n*j + 3 = -12 for j.
-5
Suppose 6*o = 10*o - 236. Suppose -55*q - 28 = -o*q. Solve -10 = 2*a - q*a for a.
2
Let z = 823 + -815. Solve -7*j + 11*j + z = 0 for j.
-2
Let f be ((-89)/(-2))/((-1)/(-2)). Let i = f + -86. Solve -2*g - i*g - 5 = 0 for g.
-1
Suppose -5*z = 0, -z - 7 = -4*h - 19. Let a be 1/1 + (0 - -2). Let u be (h - (-3)/a) + 6. Solve u*v = 8*v + 8 for v.
-2
Let f be (110/7 - 0) + (-2)/(-7). Suppose 0 = -3*k - k + 148. Suppose -4*q = q - 15, k = 5*u + 4*q. Solve -u*n = -n - f for n.
4
Let f(m) = m + 15. Let y be f(-7). Let i be -8*(-4)/y - -3. Suppose 4*x - 47 = -i. Solve -2*l + 7*l - x = 0 for l.
2
Suppose -6*z + 3*z = z. Solve -7*h + 23 - 2 = z for h.
3
Let u be (4/(-14))/((-4)/56). Suppose u = 3*q + g, -5*g = 2*q - 2*g + 2. Suppose -3*m + 2*m = -q. Solve m*v = -0 - 2 for v.
-1
Let o(b) = 5*b + 92. Let j be o(-18). Solve -3*a - j = 7 for a.
-3
Let b = 355 + -350. Solve -b*o = -14 - 6 for o.
4
Let m be (-113)/(-5) - (-9)/(-15). Let j = 25 - m. Solve 3*a + 0 = j for a.
1
Let z(w) = w + 2. Let b(t) = t**2 - 11*t - 5. Let y(f) = b(f) + 3*z(f). Let a be y(8). Solve a = 4*s + 9 for s.
-2
Let w be (-5)/2*(-96)/15. Suppose -u - w - 2 = 0. Let f be ((-11)/33)/(2/u). Solve 2*o + 3 + f = 0 for o.
-3
Let k(p) = -p**3 + 12*p**2 - 4*p + 16. Let b be k(12). Let d be b/(-6) - 8/(-12). Suppose -6*i = -0*i - d. Solve -4*f + 3 = -i for f.
1
Let l be -17 - (-826)/42 - 4/(-3). Solve 19*b = 15*b + l for b.
1
Suppose -4*c = -2*s, 0 = 7*c - 8*c - 5*s. Solve -8*l + 6*l = c for l.
0
Let t be (-30)/(-4)*8/12. Suppose t*o + 4 = 19. Solve y - o*y = 8 for y.
-4
Suppose 0 = 2*u - 32 - 182. Let j = 112 - u. Solve j*z = -1 - 19 for z.
-4
Let v(l) = -l**2 - 8*l - 9. Let w be v(-5). Let m be (3*1)/1*-1. Let j = m + w. Solve -3*z + j = -12 for z.
5
Suppose -30*u = -26*u + 84. Let w(j) = 3*j**2 + 62*j - 18. Let m be w(u). Solve m*z = -1 + 4 for z.
1
Let o = 842 + -837. Solve -o*j + 21*j + 16 = 0 for j.
-1
Let b = -417 - -426. Solve 8*z + 4 = b*z for z.
4
Let w(k) = -k**2 + 9*k + 4. Let o be w(9). Solve r + o = 3 for r.
-1
Suppose -21 = -4*y + 3*y. Let m = 12 - y. Let v(w) = w**2 + 9*w + 3. Let k be v(m). Solve -i + k*i = 4 for i.
2
Let z be 0 + ((-26)/91 - (-6)/21). Solve 56*l - 49*l + 21 = z for l.
-3
Let x(y) = y**2 - 20*y - 19. Let f be x(21). Solve -f*m = -3*m for m.
0
Let x(s) = -s**2 + 13*s + 3. Let c(b) = -2*b**2 + 27*b + 5. Let u(y) = -6*c(y) + 13*x(y). Let t = 370 + -362. Let f be u(t). Solve f - 5 = 2*h for h.
-2
Suppose 4*u + 6 = 58. Let n(q) = -q**2 + 14*q - 11. Let d be n(u). Let i = -5 + 5. Solve 2*m + 0 + d = i for m.
-1
Let t(m) = m**2 - 6*m + 10. Let j be t(2). Solve j*b = -3*b - 25 for b.
-5
Suppose -7*f = -6*f. Solve f = -10*v - 62 + 12 for v.
-5
Suppose 0*q - 9*q = 441. Let b = q + 49. Solve b*d + 2*d = 4 for d.
2
Let o(m) = 3*m**2 - 10*m - 19. Let k(l) = -4*l**2 + 10*l + 20. Let a(y) = -4*k(y) - 5*o(y). Let z be a(-9). Let b = 9 - 5. Solve -b*f + 6 + z = 0 for f.
3
Let d be 2/(9/(-3) - 82/(-26)). Solve -d*q - 8 = 44 for q.
-4
Suppose -4*k = -6 - 10. Suppose k*u = -2*x - 0*u - 12, 0 = 3*x + 3*u + 9. Solve -t + 6*t - 5 = x for t.
1
Let u be (-10)/(-50) + (-834)/(-30). Solve -8*q - u = 12 for q.
-5
Let q be ((-18)/(-27))/(1/6). Suppose q*w - 17 + 9 = 0. Solve 4*m = -w + 18 for m.
4
Let i be (-3)/(-7) - 852/(-21). Suppose -7*u - g = -3*u - i, 4*u + 3*g = 51. Let c be (-6)/u*(-1 - 2). Solve -c*a = 3*a - 15 for a.
3
Suppose 3*k + 6 = 0, 5*c + 13 = 6*c - 5*k. Solve -c*a - 5 = -8*a for a.
1
Suppose -15 = 6*v - 51. Let p be ((-2)/v)/(9/(-1*135)). Solve 4*o + p + 3 = 0 for o.
-2
Suppose 2*o + h - 65 = 0, 4*o - 165 = 18*h - 13*h. Solve -o + 7 = 7*a for a.
-4
Suppose 14*t = 264 - 824. Let h = -35 - t. Solve -h*f = -3*f + 8 for f.
-4
Let j = -13 + 17. Let v(n) = n**2 - 5*n + 6. Let c be v(j). Solve 0 = g + c - 3 for g.
1
Suppose 2*z - 9 = 5*z. Let q be (-3)/2 - z/(-6). Let w be (1/(-2))/(q/48). Solve -2*k - k = -w for k.
4
Let j be (-3)/(-7) - 51040/(-1120). Solve -29 = -15*x + j for x.
5
Suppose 3*d = -5*l - d + 754, 295 = 2*l - 5*d. Let t be (1 - -1)/(60/l). Solve q = t*q for q.
0
Suppose 5*y - 43 = 4*a, 22 = 2*y - a - 3*a. Suppose y*p = 4*p + 75. Suppose -4*j + 3*o + 1 = 0, -j - 4*j - o + p = 0. Solve 0 = j*u - 0 - 4 for u.
1
Suppose -2*f - 10 = 0, 4 = -q + 3*f - 0*f. Let r = 23 + q. Solve r*k + 7 = 27 for k.
5
Suppose 3*f + 52 = 5*k, -5 = 5*f - 10*f. Suppose -3*l - n + k = -17, 0 = -3*l - 3*n + 36. Solve -b = b + l for b.
-4
Let c(m) = 7*m + 6 - 9 - 10 - 2*m. Let d be c(5). Solve 5*l - 2*l = d for l.
4
Let q be (-6)/(-14)*21/1. Solve 0 = l + 4 - q for l.
5
Suppose 4*r + 7 = 11. Let h = -508 + 511. Solve y + h = -r for y.
-4
Let h = 8 - 13. Let c = 9 + h. Suppose -12 = -c*a - 0*a. Solve 0 = a*f + 5 - 2 for f.
-1
Let i = -4 + 7. Let x(w) = 3*w - 3. Suppose 3*t = 5*n - 16, 2*t + 2*n - 14 = 2. Let u be x(t). Solve -6 = -i*c + u for c.
4
Let w(h) = -h**2 - 17*h + 4. Let m be w(-17). Suppose 3*i + 9 = -5*k, -2*k + 5*i + 19 - m = 0. Solve k = 3*r - r - 2 for r.
1
Suppose -3 = 2*x + g - 4*g, -12 = -4*g. Solve x*j + 17 - 26 = 0 for j.
3
Let t(f) = f**2 - 2*f + 1. Let p be t(1). Suppose -r + 56 = 3*r + 2*b, -4*r - 3*b = -60. Suppose r = 3*u - p*u. Solve -m = u - 5 for m.
1
Let i = 5 - 3. Suppose -5*d - 2*n = -3*n - 183, n - 2 = 0. Let t = 43 - d. Solve -t = i*v - 0*v for v.
-3
Let q be (0 - -6) + -2*3/6. Let i(f) = -f + 3. Let o be i(-5). Suppose -2 = -q*m + o. Solve m*w + 2*w = -20 for w.
-5
Let v(t) = t**3 + 11*t**2 + 25*t + 12. Let m be v(-8). Solve -m*o - 121 = -101 for o.
-5
Let i(w) = w**2 - 5*w + 4. Suppose -6*a + 25 = -a. Suppose 0*m + 20 = a*m. Let g be i(m). Solve 3*d = -g*d for d.
0
Let n(m) = -22*m + 218. Let d be n(9). Solve -12*v + 8*v = -d for v.
5
Let x be -4 + 40/(-2) + 3. Let y = x - -28. Solve -y = -2*z + 1 for z.
4
Suppose 817*a - 815*a = 18. Solve 6*l + 15 = a*l for l.
5
Let u be ((-26)/4)/((-4)/40)*-1. Let z = u + 75. Let v be 2/8 - 2/8. Solve v = -3*t + 5*t - z for t.
5
Let h be ((-250)/(-15))/((-2)/(-3)). Suppose s - 2*s = h. Let v = -22 - s. Solve 0 = -7*b + 4*b + v for b.
1
Suppose -4*a + 16 = 4*q, -2*q - q - a = -12. Let z(n) = -3*n - 6. Let o be z(-4). Suppose -4*r = 5*f - 3 + o, -9 = -f + q*r. Solve 3 = -4*w - f for w.
-1
Let g = -41 + 41. Sup