 53 = -171. Solve m + s*m = a for m.
2
Let u = 201 + -192. Solve -35 = -u*g + 2*g for g.
5
Let k(u) = -3*u + 47. Let l be k(15). Solve -2 = -4*x + l for x.
1
Let m(r) = -r**2 + 4*r + 8. Let t be m(5). Suppose -2*a = t*a - 30. Let h = a - 1. Solve -u + h*u - 20 = 0 for u.
5
Let j(w) = w**2 + 14*w + 64. Let d be j(-6). Solve -d*k = -2*k for k.
0
Let h(l) = l**3 + 2*l**2 - l. Let g be h(-2). Suppose 0 = g*m + m. Solve 0 = -3*r + 3 - m for r.
1
Let m(q) = 3*q**3 - 15*q**2 - q + 7. Let c be m(5). Solve -c = b - 1 for b.
-1
Let v(u) = 3*u**2 + u - 6. Let c be v(-2). Solve c*j + 15 = -5 for j.
-5
Let k be 1 - 4 - (-1 - 4). Suppose d + t - 12 = 0, -2*d = k*d - 5*t - 39. Suppose d + 1 = 4*s. Solve -2*j - 3 = s for j.
-3
Let w(d) = -d**3 + 8*d**2 - 8*d + 10. Let c be w(7). Let f be 1/2*(1 - 8 - -7). Suppose f*o - 3*o = -c. Solve -o = 3*m + 2 for m.
-1
Suppose 3*b - 172 = -37. Solve -6*r = 3*r - b for r.
5
Let c(f) = 2*f**2 + 28*f - 59. Let s be c(-16). Solve -7*k = -s*k + 10 for k.
-5
Let g(k) = -k**2 + k + 6. Let m = -24 + 26. Suppose 0 = 5*l + m*l. Let p be g(l). Solve -p*r = -r - 20 for r.
4
Let n be (5/(-20))/(1/(-4)). Let j be (-1 - n) + -8 + 11. Solve 0 = -i + j - 0 for i.
1
Suppose -59*k = -67*k + 8. Solve -g - k = -0 for g.
-1
Suppose 2580 - 2454 = 7*a. Solve -a + 21 = -3*d for d.
-1
Let j = 1 - 3. Let l be (1/j)/(22/(-132)). Suppose -2*x + 0*f + l*f + 10 = 0, 2*x - 4*f - 10 = 0. Solve -2*b + x*b = 3 for b.
1
Let j(u) = -2*u**3 + 29*u**2 + 87*u - 34. Let w be j(17). Suppose i - 4*i = -45. Solve -i = -w*a + 3*a for a.
-5
Let o = 18 - 14. Suppose o*q + x - 5 = 0, 2*q - 2*x = -2*q + 14. Solve q*j = -0*j for j.
0
Let n be 1/(-3) - ((-96)/18)/4. Let z = -3 + 6. Solve 4*o - n = z*o for o.
1
Let n(w) = -4*w**3 + 10*w**2 - 2*w + 8. Let o(b) = -13*b**3 + 30*b**2 - 6*b + 24. Let k(a) = -7*n(a) + 2*o(a). Let q be k(5). Solve 2*c = -q - 2 for c.
-2
Let y be 5 - (1 - (-2 + 2)). Let m = 60 - 58. Suppose -m*d + y = -d. Solve -4*u = -8 + d for u.
1
Suppose -9 = q + 2*q. Let x = -365 + 373. Let n = x - q. Solve -5*s + n + 9 = 0 for s.
4
Let r be 1176/232 + 1/((-203)/14). Let d(h) = h - 1. Let c be d(2). Let j be 9 - (c/1 + 0). Solve r*p - j = 2 for p.
2
Let d(g) = g + 4 - 3 - g**3 + g. Let a be (-2 + 3)/(2 - (0 + 3)). Let u be d(a). Solve -h = -u*h - 1 for h.
1
Let q(o) = 2*o**2 + o - 1. Suppose 6*a + 2*t - 13 = 3*a, 5*a - 5 = 5*t. Let w be ((-4)/3)/(1/a). Let d be q(w). Solve -5*r - 2 + d = 0 for r.
5
Suppose -85 = -5*r - 6*f + 3*f, 3*f - 25 = -2*r. Suppose 28 = 4*m + r. Solve 2 = m*z - 4*z for z.
-1
Suppose 0*n - s = -n + 123, -3*n = 2*s - 384. Let a be 90/(-14) - 72/n. Let q(v) = -v**3 - 8*v**2 - 8*v - 5. Let g be q(a). Solve u + g*u = -15 for u.
-5
Suppose -p = -2, 2*d - 3*p - p = -4. Suppose 0 = 5*b + 8 - 23. Suppose 14 = d*h + h + 5*u, 5*u = b*h - 4. Solve -w - 2*w = h for w.
-1
Suppose 5*c + 2*w + 7 = 3, 4*c + 6 = -3*w. Suppose -2*l = -4 - 4. Suppose 5*x = -0 + 10. Solve c = -t + x*t + l for t.
-4
Let p(w) = -w**3 + 4*w**2 + 11*w. Let f be p(-2). Solve 24 = f*h + 14 for h.
5
Let j be (-95)/1615 - 52/(-17). Solve -12*a - j = -11*a for a.
-3
Suppose -2*y + 3 - 13 = 0, 5*l = 5*y + 40. Let c be 3/2*4 + l/(-3). Solve -4*g + c = 1 for g.
1
Suppose l + 0*l = -4*a + 346, -6 = 3*l. Suppose -5*t + a = 22. Let u = t - 10. Solve u*r = r + 4 for r.
2
Let y(v) = -23*v - 10. Let b be y(-3). Suppose -7*n - 10 = -b. Solve 4*u - 1 = n for u.
2
Suppose -83 + 83 = -2*g. Solve g = d - 5 - 0 for d.
5
Let v = 962 - 962. Suppose o = -3*c + 7 + 7, -4*o + 12 = c. Solve v = c*l + l for l.
0
Let b(p) = p**3 + 9*p**2 - 7*p - 7. Let n be b(-10). Let k = n + 57. Solve -4*m - k = m for m.
-4
Let t(z) = -2*z**2 + 11*z - 3. Let q be t(5). Solve 6*f = 8*f + q for f.
-1
Let z = -39 - -44. Solve 12 = -t + z*t for t.
3
Suppose -23*x + 12*x = 34*x. Solve p - 6*p + 10 = x for p.
2
Let z = -10 + 31. Let l = 24 - z. Suppose -u + 7 - l = 0. Solve 0 = u*o - 2 - 14 for o.
4
Let z be 3*((-1925)/21)/(-5). Solve 8*g + z = 19*g for g.
5
Let m = 1561 + -1467. Solve 87*q - m*q = -7 for q.
1
Suppose -20 - 10 = -2*u. Suppose -6*k - u = -11*k. Suppose 4*h = -2*v + 22, 5*v = k*h + v. Solve 2*r = r + h for r.
4
Let r = 0 - -4. Let g be 2/(-10) + (-4)/(-20). Suppose -y - 3*b + 2 = -g*b, 4*y - 8 = -5*b. Solve r*z = -y - 6 for z.
-2
Suppose 2*i + 2*t + 10 = 3*t, -5*i + 3*t - 25 = 0. Let j = i - -8. Solve y = j*y for y.
0
Let i = -485 - -501. Solve -10*f - 6 = -i*f for f.
1
Let k(z) = z**2 + 7*z - 3. Let y be k(-4). Let t be ((-5)/y)/((-1)/(-12)). Let a be (-16)/(-2) + (1 - 2). Solve a*j + 3 = t*j for j.
-1
Suppose 8 = -5*s - 12. Let q(h) = -h**2 - 6*h - 4. Let l be q(s). Suppose 4*c = i + 19, -6*i - 14 = -l*c - 4*i. Solve 3*y + 0 = c for y.
2
Suppose k = -i - 3*k + 14, 2*i - 7 = -k. Suppose -l + 4 = i. Suppose -l*f = -2*c + 2, c + 4*f = -0*f + 11. Solve -14 = -c*q + 1 for q.
5
Suppose a = v - 4, 21 = a - 5*v + 41. Solve a*f + 5*f = 10 for f.
2
Let t(n) = -5*n**2 - 41*n + 91. Let r(a) = 3*a**2 + 20*a - 46. Let h(l) = -7*r(l) - 4*t(l). Let p be h(22). Solve -p*b = 5 + 5 for b.
-5
Suppose 30 = 5*a + 5*v, -14*a - 5*v + 15 = -12*a. Solve 0 = 15*i - a*i - 20 for i.
2
Suppose 0 = 9*i - 107 - 154. Suppose -6 - i = -5*p. Solve -3*q = -p*q for q.
0
Let f(t) = t**3 - 2. Let q be f(3). Suppose -6*m + q = d - m, -2*d = 5*m - 25. Solve -3*l + 0 - 12 = d for l.
-4
Let t = -83 - -86. Suppose t*s = -0*s - n + 48, n = 3. Solve -b + 6*b = s for b.
3
Let q be 6 + 36/(-7 + 2 + 7). Solve 72 = -q*d - 0 for d.
-3
Suppose -4*t - t = -l + 24, 2*l - 12 = t. Let i(b) = 2*b**2 + 8*b. Let q be i(t). Suppose q = 3*g - g - 20. Solve 0 = 5*f - 3*f + g for f.
-5
Let y = 8 + -1. Let d be (1 + y/(-3))*3. Let s be d - 3*12/(-9). Solve s = 4*a + a for a.
0
Let b be 8/(-40) + 6/150*5. Solve -2*w + 10 - 4 = b for w.
3
Let p(m) = 7*m - 308. Let i be p(47). Solve 0 = i*c - 42 - 42 for c.
4
Let n = 467 + -464. Solve 8*k + n*k = 33 for k.
3
Let a(b) = -2*b**3 - b**2 + b + 1. Let w be (24/8)/(1 - 4). Let r be a(w). Solve r = c - 0 for c.
1
Let i be (-7)/(-28)*(3 + -3). Let t(n) = 0 + n - 1 + 0*n. Let u be t(5). Solve i*b = -u*b + 8 for b.
2
Let b = -30 - -32. Suppose b*h = -0*h + 24. Solve -h = -m + 5*m for m.
-3
Let y(f) = f**2 + 4*f + 5. Let b be y(-2). Suppose -2*z = -3*q - 0 + 8, 5*z + 2 = 3*q. Suppose 3*h = b + z. Solve 1 = 2*s - h for s.
1
Let b be 2 - (-76)/6 - (-12)/(-18). Let r be (35/b)/(10/8). Let z(h) = -h**2 + h + 4. Let n be z(0). Solve -r*a - 2 = -n*a for a.
1
Suppose 2 = 2*l + a, 2*l = 5*a + 12 + 2. Solve 0 = -l*i - i - 3 for i.
-1
Let h = -36 + 84. Solve 4*o = 40 - h for o.
-2
Let w(a) = a**2 + 20*a - 30. Let o be w(-21). Let r be (12/o - 0)*6/(-4). Solve -4*m = -r*m for m.
0
Suppose 122 = 3*d - 49. Suppose 3*y - d - 21 = 0. Let l = 30 - y. Solve -l*h + 21 = 1 for h.
5
Let w be (-3)/(-9) + (-35)/(-21). Suppose w*j + 2*j + p - 18 = 0, 2*j + 3*p - 4 = 0. Solve j*f = -10 - 15 for f.
-5
Let m(h) = 2*h + 10. Let s be m(-4). Suppose -z + 9 = -2. Let c be (-16 - -1)/(10 - z). Solve s*f = -f - c for f.
-5
Let m(i) = 4*i**2 + 2*i - 2. Let l = -78 + 76. Let c be m(l). Solve h + 4*h = -c for h.
-2
Suppose 150 = -39*l + 501. Solve l*h - 1 = -10 for h.
-1
Suppose -4*q + 4 = -n, 5*q = -2*n + n - 4. Suppose -5*o + 14 + 1 = q. Let x = 3 + -3. Solve x*u + 12 = o*u for u.
4
Let m(w) = w**3 - 67*w**2 - w + 85. Let v be m(67). Solve -3*x = -v*x + 15 for x.
1
Suppose 0 = 6*d - 17*d. Solve 28*a - 24*a + 20 = d for a.
-5
Suppose 7*p + 3 = 17. Let v be (p + -2)*(-4 + (-45)/(-10)). Solve v*u + 20 = -5*u for u.
-4
Let v(m) = -19*m - 266. Let j be v(-14). Solve j = 4*g + 1 - 21 for g.
5
Let f(g) = -g**2 + 6*g. Let w be f(7). Let y = -4 - w. Let v = 1152 - 1146. Solve y*a = -3 - v for a.
-3
Let o(b) be the first derivative of b**4/4 + 8*b**3/3 + 4*b - 1. Let a = 14 - 22. Let j be o(a). Solve -j*p = -p - 9 for p.
3
Suppose 4*q + j - 65 = 4*j, -12 = 4*j. Let a = 19 - q. Suppose 5*g - 5 = a. Solve 2*k - 4*k + g = 0 for k.
1
Let l(z) = -z - 18. Let s(c) = -c - 19. Let i(f) = -5*l(f) + 4*s(f). Let k be i(0). Let g = k - 14. Solve g = 4*o - 3*o + 3 for o.
-3
Suppose 3*q = -4*v - q - 16, -5*v - q = 8. Let t = v - -1. Let d = t - -2. Solve -d*m = -6*m + 20 for m.
5
Let z(b) = b**3 - 12*b**2 - 14*b + 18. Let k be z(13). Suppose 0 = 2*i - 5*l - 19, -4*i + 4*l + 10 = -k*i. 