 x = -320 - -333. Solve -x*y = -15*y + 8 for y.
4
Suppose 26 = 4*i - 2*s, -s + 3 = 12*i - 10*i. Solve -2*h - i*h + 12 = 0 for h.
2
Let x(q) = 3*q**3 + q**2 - 3*q + 3. Let g be x(1). Solve 5*l - g*l = 0 for l.
0
Suppose p + 40 = 2*o - 2*p, -60 = -3*o + 2*p. Suppose 2*z - 10 = -2*x, 3*z - 7*x = -3*x - o. Solve -2*s = -z*s for s.
0
Let a = 636 - 606. Solve -a*d + 28*d = 10 for d.
-5
Let u(f) = 2*f**3 - 15*f**2 + 10*f - 19. Let i be u(7). Solve -3 = i*o - 5 for o.
1
Let d(a) = -3*a - 25. Let j be d(-9). Suppose -5*k = -4*y - 24, 0*k - 17 = 5*y - 3*k. Let t be 1 - y - (0 + 1). Solve j*u + 5 = -t for u.
-3
Let y = -19 + 24. Suppose 0 = -y*b + 3*b + 6. Solve -2*z - b = -z for z.
-3
Let m = -2 + 2. Suppose 24 = 2*n + 5*z, 10*n + 3*z = 6*n + 20. Suppose n*d = -m*d. Solve -6*k + k = d for k.
0
Suppose 5*y = -4*r + 3*y - 2, -3*r = -3*y - 3. Suppose 3*t + 4*w = 36, 4*t - 7*t + 27 = w. Suppose t*n = 5*n. Solve n = a - r*a for a.
0
Let l be (744/20)/((-4)/(-10)). Let u be 1/4 + l/(-4). Let d be (-5)/(-20) + u/(-4). Solve -4*t + 2*t - d = 0 for t.
-3
Let m be (4/(-16)*624/12)/(-1). Solve 5*n - 3 = -m for n.
-2
Let s = -62 + 113. Solve 5*m = s - 71 for m.
-4
Let h(c) = -c**3 + 7*c**2 - 5*c - 6. Let q(m) = 2*m + 0 - m**3 - 5*m + 1 + 2*m - 5*m**2. Let a be q(-5). Let v be h(a). Solve v = -i - 5 for i.
-5
Let g be 2/((-16)/(-216)*9). Solve 1 = q + g for q.
-2
Let i be 20/16 + (-12)/(-16). Suppose -3*j = 3*v + 3, 2*j + 0*v + v = i. Suppose 6*o - 12 = 3*o. Solve -j = -o*k + 5 for k.
2
Let g be (-9 - -6) + 4/1. Let c be (-2 - -2)*g/(-3 - -1). Solve c = 3*k - 0*k + 12 for k.
-4
Let t(g) = -3*g**2 + 25*g + 18. Let d be t(9). Solve d = 4*h + h + 20 for h.
-4
Let d be (5 - 4)/(2/4). Let w = d - -1. Solve 8*g = w*g - 5 for g.
-1
Let y = 24 + -43. Let i = y - -20. Let a be (6/(-3) - -1) + i. Solve a = 5*b + 5 for b.
-1
Let s = 1599 - 1599. Solve s = 5*k + 46 - 21 for k.
-5
Let h be (336/126)/(2/6). Suppose 5*w = -5*p + 5, 0*p - 5*p = 2*w - 8. Solve 0 = p*r - 0*r + h for r.
-4
Let i be ((-24)/(-15))/(1/5). Let d(n) = -n**2 + 10*n - 9. Let t be d(i). Solve 1 = 2*f - t for f.
4
Let x(n) = n**3 + 9*n**2 + 2*n - 6. Let k be x(-7). Let y = -58 + k. Solve 0*m = -4*m + y for m.
5
Let t(n) = 5*n**2 - 7*n**2 + 4*n + 3*n**2 + 48 + 10*n. Let j be t(-9). Solve -j*m + 6 = 18 for m.
-4
Let y(q) = -12*q + 63. Let k be y(5). Solve -k*m + 19 = 7 for m.
4
Let v(k) = -3 + 4 - k - 3. Let u be v(-5). Let i = 946 - 944. Solve u*z = -i*z + 15 for z.
3
Suppose -5*t - 2*r + 60 = 0, -15*r = -14*r - 5. Solve -t = -8*q - 2 for q.
1
Let a = 25 - 25. Let m be 58/18 - 4/18. Suppose a = -m*n + 16 - 4. Solve f - n*f = 0 for f.
0
Let u = 122 - 121. Solve -6 = j - u for j.
-5
Let i(a) = -a**2 + 11*a - 18. Let w be i(7). Solve 0 = -4*o - 6 - w for o.
-4
Let n be (-10)/25 - (-3)/((-75)/(-85)). Solve n*i = 6*i + i for i.
0
Let p be 6/6 + (38 - -1). Suppose -3*k = -o - 68, k = -0*k - 4*o + p. Solve -5*z - 4 + k = 0 for z.
4
Let y = -17 + 7. Let t = y - -20. Solve 0 = 5*r + t for r.
-2
Suppose 3*b = 4*t - 24, 2*b + 25 = 3*t - 2*b. Solve -12 = t*u - 9 for u.
-1
Let q = -4 + 6. Let z(r) = 6*r - 25. Let x be z(10). Let d = -35 + x. Solve d = -3*b - q*b for b.
0
Suppose 0 = -o + 6 + 11. Let m = -17 + o. Suppose 5*j - j = m. Solve j = 4*l - 3 - 1 for l.
1
Let o = 136 - 133. Suppose a - 43 = -41. Solve o*m - m = a for m.
1
Let m = -87 + 90. Suppose m*n - 18 = -12. Solve -1 = q - n for q.
1
Suppose -90*s + 60 = -660. Solve 34 = s*q - 6 for q.
5
Suppose 0 = -4*k - k + 15. Suppose -k*g - 3 = -4*g. Solve -g*i = -i - 4 for i.
2
Suppose -2*d + 3*d - 2*h = 23, 0 = -4*d + 3*h + 72. Let o be (8 + -1 - 6)/(1/d). Solve -4*b + o = -b for b.
5
Let f = 468 - 464. Solve -f*d + 3*d + 4*d = 0 for d.
0
Suppose -108 = -73*d + 64*d. Solve 13*w = d*w + 5 for w.
5
Let b(f) = f**3 + 5*f**2 + f - 1. Let v be b(-2). Solve -2*y = -v*y for y.
0
Let a(h) = -h**2 - 2*h + 1. Let k be a(0). Let v be 21 + -21 - (k - 1). Solve 2*d + 2 = -v for d.
-1
Suppose -3*a - 8*i + 4*i = -10, -3*i - 25 = -a. Solve -11 + 1 = a*u for u.
-1
Suppose 4*z + 20 = 0, -5*z - 21 = 2*q - 0*z. Let w = 3 - 3. Solve w = q*h - 5*h + 9 for h.
3
Let a(s) = -s - 3. Let x be a(-7). Suppose -443 = -3*f - 119. Let n be (1/(-2))/((-9)/f). Solve -n*p + x = -4*p for p.
2
Let f be 1/(-5 + 4)*1. Let a be f - -1 - (-12 + 12). Solve a = 8*z - 5*z + 6 for z.
-2
Suppose -3*j - 116 = 2*r - j, -3*j = -3*r - 186. Let x = 63 + r. Solve -2*l + x*l = 4 for l.
4
Let j = 282 + -242. Solve 6*r + 2*r + j = 0 for r.
-5
Let z = 242 - 227. Solve 4*w + 7 = z for w.
2
Let r(z) = 12*z - 6. Let l be r(3). Suppose l = -5*y + 5*a, 0 = -2*y - 7*a + 2*a + 23. Let j = 1 - y. Solve j*o = -o for o.
0
Let r(l) = -l - 22. Let h be r(23). Let k = h + 45. Solve k = 4*n - 2 - 2 for n.
1
Let k = 127 + -69. Let h = 142 - k. Let r be h/22 + (-16)/(-88). Solve -r*a = -0*a - 12 for a.
3
Suppose -4*t + 8 = -28. Suppose -5*x + 30 = -4*q, -3*q + 6 = -t. Suppose 5*c = -0*c + x. Solve -3*s + 15 = c*s for s.
3
Let a be ((-1)/3)/(1/(-6)). Suppose 2*x = -a*d + d + 11, -4*x + 17 = -3*d. Let t = d + 3. Solve -5*u - 5 = -t*u for u.
-5
Let i(z) = -7*z**2 + 30*z + 4. Let m be i(4). Let c = -31 - -45. Suppose -c*b = -18*b + m. Solve 0 = -f + 1 + b for f.
4
Let a(p) = 19*p - 276. Let o be a(15). Solve o = -65*n + 68*n for n.
3
Suppose 5*x - 2*x = 0. Suppose 10 = 2*l - x. Solve l*o = -1 - 14 for o.
-3
Suppose -i - 24 = -26. Suppose -p = i*p - 15. Solve -7*r = -2*r + p for r.
-1
Let n = -848 + 848. Solve n = 6*l + l + 28 for l.
-4
Let j = -1 - -41. Suppose 184 - 174 = 2*m. Suppose 32 = 4*o - n - n, -j = -m*o - 5*n. Solve -3*f = f + o for f.
-2
Suppose -2*i - 5*g + 7*g = -14, 2*g + 8 = i. Solve -d + i = d for d.
3
Let t(x) = -x + 23. Let d be t(15). Let w be 5/(180/208) + d/36. Solve 4*f - w*f + 4 = 0 for f.
2
Let g(x) = -x**3 + 5*x**2 + 2*x - 6. Let f be g(5). Suppose -f*b + 8 = -2*b. Suppose -5*o = 5*y - 65, 2*o - y + 439 = 456. Solve -b*s = -2 + o for s.
-2
Let a(t) be the second derivative of t**4/12 - 17*t**3/6 + 27*t**2 + 21*t. Let i be a(13). Solve -i*l + 11 = 3 for l.
4
Let m be 0 + 68/(-18) + 32/(-144). Let a(c) = -c**3 - 5*c**2 + 5*c + 36. Let l be a(m). Let w(x) = -x**2 + x + 2. Let y be w(0). Solve 0 = -l*r + r + y for r.
-2
Suppose 3*v + 24 + 1 = 5*j, 14 = -3*j - 4*v. Let w(l) = -l**3 + 6*l**2 - l + 7. Let h be w(6). Solve h + j = 3*t for t.
1
Let k(v) = 4*v**2 + v - 2. Let r be (-9)/(-7) - (-22)/(-77). Let q be k(r). Solve y = q*y for y.
0
Suppose -236*f = -228*f - 72. Let r(w) = w**2 + 2*w - 5. Let x be r(-4). Solve x*j - f = 6 for j.
5
Let r be (-1 - -5) + 0 + -4. Solve r = -4*s - 17 + 25 for s.
2
Suppose -10*s + 3*s = 6*s. Suppose 2*m - 4 = -2*a, 2*a - a = -3*m + 10. Solve s = m*n - n for n.
0
Let m be (16 - 20)/(1*-2). Suppose 8 = m*o + 2. Solve -15 = -2*q - o*q for q.
3
Let l be (10 - 15)*4/5*-1. Solve -7*x - l = 3 for x.
-1
Let t = -61 + 64. Suppose -2*h + t*m - m = -18, -5 = m. Solve 2*s + 0 = -h for s.
-2
Let f = 19 + -14. Solve -3*b + 6 = -f*b for b.
-3
Let o(j) = -j**2 + 2*j + 5. Let m be o(0). Solve 3*y + m = 14 for y.
3
Let b = -206 - -206. Let k(z) = -z + 8. Let m be k(4). Solve b = -y - m*y for y.
0
Let a(s) = s**2 - 8*s - 7. Let q be a(9). Suppose 0 = -2*z + q - 6. Let b = z - -4. Solve i + 3 = -b*i for i.
-1
Let a = -6 - -11. Let z = 4395 + -4371. Solve -a*f = -9 + z for f.
-3
Let v(a) = a**2 - 15*a - 10. Let y be v(16). Let f be ((-12)/8)/(4/(-24)). Let j be 36/f - (-1)/(-1). Solve -5*w + j*w + y = 0 for w.
3
Suppose 417*u - 416*u = 3. Solve 2*o - u = o for o.
3
Suppose 47*n - 34*n = 0. Solve n*a = 3*a for a.
0
Let b = 375 + -358. Solve 4*f = -b - 3 for f.
-5
Suppose 56 + 856 = 48*b. Solve b = 4*t + 15 for t.
1
Let g(o) = -5*o**2 + 10*o + 17. Let m(v) = 11*v**2 - 20*v - 34. Let y(d) = 9*g(d) + 4*m(d). Let n be y(11). Solve -5*l - n + 1 = 0 for l.
-1
Suppose 2*u - 118 = 4*m, -15 = 5*m - u + 134. Let q = -25 - m. Suppose -5*j = 5*x - 8*x - 8, -q*x + 16 = -j. Solve 4*z - 3*z = -j for z.
-4
Suppose 14*r - 320 = 240. Solve -r = -0*k - 8*k for k.
5
Suppose -q + 6 = -6. Let d = -8 + q. Let u be -2 - -5 - (-28)/d. Solve -u = x + x for x.
-5
Suppose 3*v + p + 85 = 0, 4*p = 6*v - 4*v + 52. Let y = -24 - v. Suppose -1 = y*z - 5*z. Solve 0*j - z = j for j.
-1
Suppose z + 5*p = 2 + 25, -4*p + 26 = 3*z. Solve z*w = 12*w