Suppose 6 + 6 = -3*k. Let b be u(k). Solve 0 = 5*s - 0*s - b for s.
5
Let l(y) = -y**3 + 4*y**2 - 6. Let k = -39 + 42. Let t be l(k). Solve 3*r + 3 = -t for r.
-2
Suppose -31*o = -28*o - 30. Let a be (o/20)/((-1)/(-6)). Solve 3*u + 0 = -a for u.
-1
Let u(a) = 2*a**3 + 3 - 2 + 0*a**2 - 3*a**2 - 3*a - a**3. Let h be u(4). Let m be 2/(-4)*(3 - h). Solve -6 = -t - m for t.
5
Let u(q) = -q**3 + 42*q + 76. Let v be u(-2). Solve v = -4*o - 34 + 46 for o.
3
Suppose -3*k + 26 = 2*d, 2*k = -3*d + 6 + 8. Solve -6*a + k = -4*a for a.
5
Let f(x) = -6*x**2 + 21*x + 9. Let n(g) = g**2 - g + 1. Let i(b) = -f(b) - 5*n(b). Let y be i(17). Solve 0 = o + 2*o - y for o.
1
Suppose 51*a - 52*a = z - 10, -3*z - 4*a = -30. Solve -2 = -6*b + z for b.
2
Let b = 506 + -500. Solve 4*a - b*a + 8 = 0 for a.
4
Let t be 21*(-4 + (-39)/(-9)). Solve -10*p = -t*p for p.
0
Let a(p) = p**2 - 3*p - 3. Let v be a(4). Let o be (0 + 1)*v*0. Suppose o = q - 1. Solve -5*t + 16 - q = 0 for t.
3
Suppose -m + p + 22 = -3*p, -p + 17 = 2*m. Suppose -4*k + 2*k = -m. Suppose -k*g = -3*g. Solve d + d = g for d.
0
Let i(p) = p**2 - 7*p + 12. Let h be i(5). Let s(g) = -2*g**2 - g - 2. Let u be s(h). Let y be (-3)/((-1)/((-8)/u)). Solve -y = 4*r - 22 for r.
5
Let k(i) = -i**2 - 3*i - 3. Let g be k(-4). Let p(v) = 8*v + 7 + v**3 + 3*v**2 + 0*v**2 + 2*v**2 + 3*v**2. Let n be p(g). Solve n*m + 2*m + 10 = 0 for m.
-5
Suppose -18 = 5*d - 4*d + 5*l, 4*d = -4*l - 8. Let g = d + 0. Let f(a) = 2*a**2 - 3*a - 42. Let r be f(-4). Solve -r*u = g - 8 for u.
3
Let d(u) = u - 6. Let r be d(9). Let j be -2*r*2/12. Let a(t) = -7*t - 1. Let x be a(j). Solve x*c - c = 0 for c.
0
Let z(m) = 2*m**2 - 9*m - 2. Let x be z(-2). Solve 0 = 4*b - 4 + x for b.
-5
Let u be 23/(3/1 - 2). Let r = 36 - u. Solve -r + 5 = -4*a for a.
2
Let m = 56 - 36. Suppose -8*a - 2*a + m = 0. Solve a*k = 7*k - 20 for k.
4
Let m(t) = -t**3 - 4*t**2 + 21*t - 4. Let a be m(-7). Let k be 0/((-1)/a*4). Solve k = o + 2*o + 12 for o.
-4
Let d(u) = -19*u - 1251. Let i be d(-67). Solve i = 6*v - 8 for v.
5
Let r = -27 - -32. Solve -v = 3 - r for v.
2
Suppose 0 = -2*x - 5*l + 51, -7*l + 12 = -x - 2*l. Suppose 0 = -2*g - 5*o + 56, 7 - 1 = 3*o. Suppose x = 3*p - g. Solve -p = 5*w - w for w.
-3
Suppose -5 = -3*m - 8. Let f(k) = k**3 - k. Let c be f(m). Solve 3*w + c*w = 3 for w.
1
Let u(a) = -a - 6. Let r be u(-11). Let y = r + -1. Solve -y = -4*i - 0*i for i.
1
Let g = 20 + 17. Suppose 34*f = g*f - 9. Solve 5*l = f*l for l.
0
Suppose 36 = -8*w + 148. Solve -w*g = -11*g for g.
0
Let l(p) = -26*p + 28. Let z be l(1). Solve z*j + 0 = -4 for j.
-2
Suppose -2*l = 0, 0 = -5*n + 4*n - 5*l + 70. Suppose -68*t = -n*t + 10. Solve -k = -t*k for k.
0
Suppose 5*w + 14 = 2*k, -k - 4*k + 5*w = -20. Suppose n = 2*m + 6, k = -5*n + 4*m + 50. Solve -5*v + n = 2 for v.
2
Let k = -1289 - -1303. Solve -15*p + 1 = -k*p for p.
1
Suppose 34*g + 70*g = 312. Solve r - g*r = -10*r for r.
0
Suppose -3*s - 4*o + 1 = 12, -4*o - 23 = -s. Suppose -b + 29 = 3*d - 0*b, 23 = 2*d - s*b. Solve -5*z - 15 = d for z.
-5
Let m be 2/(-3) - (-11)/(33/2). Solve m = g - 7*g for g.
0
Let x = 75 - 72. Suppose 2*a = -3*b + 3*a + 16, -b = -x*a. Solve -2*c + b = -4*c for c.
-3
Let i be 1 + 23 + 4 + -3. Let z = -17 + i. Let t = z - 5. Solve -y + t*y = 0 for y.
0
Let t be (-594)/(-243) + 12/(-27). Let o(s) = -4*s**3 + s**2 + s + 1. Let d be o(-1). Solve c + d - t = 0 for c.
-3
Let f(b) = 7*b + 23. Let d(r) = 6*r + 24. Let n(u) = 5*d(u) - 4*f(u). Let g be n(-6). Solve -3*k - 1 = -g for k.
5
Let o be 3 - (-8 + 2 + 7). Suppose 3*y + y = 0. Solve -f - f - o = y for f.
-1
Let p(u) = 13 + 4*u**2 + 10*u**3 - 11*u**3 - 16*u**2. Let s be p(-12). Let o = -6 + s. Solve -3*z + 22 = o for z.
5
Let s = 69 - 64. Solve 0 = s*a - 4*a + 5 for a.
-5
Let p be 120/11 + ((-60)/44)/(-15). Solve p*c = 22 - 0 for c.
2
Let h(d) = d**3 + 35*d**2 - 73*d + 53. Let q be h(-37). Solve 51 = -b - q*b for b.
-3
Let u(z) = -4*z - 35. Let s be u(-10). Suppose -5*w - 2*l + 101 = 0, -l = -w - s*l + 13. Solve -5*p - 1 = -w for p.
4
Let i be 3/6 + 10/(-4). Let d be 4 + (0 - -1) + i. Solve 1 = 2*u - d for u.
2
Let s = 151 - 147. Suppose -3*p - 37 - 84 = -2*u, -2*p = -u + 59. Suppose 2*l + 2*d - 40 = 0, -2*d + u = s*l - d. Solve 6*w = w - l for w.
-3
Let u(m) = 8*m**2 - 119*m - 4. Let v be u(15). Solve -101 = v*c - 46 for c.
-5
Let a be (-1)/3 - 44/(-6). Let m be ((-96)/60)/(-2 + 48/20). Let p = m + a. Solve 0 = 3*v - 6 + p for v.
1
Let h(s) = -3*s**3 + s**2 - s + 4. Let m be h(0). Suppose -4*n = -35 - 45. Solve -n = a + m*a for a.
-4
Let t = 503 + -503. Solve 20*l - 17*l + 9 = t for l.
-3
Let y(x) = -x**2 + 5*x + 6. Let v be y(6). Let t(d) = d**2 + 3*d + 3. Let j be t(v). Solve 0*m = m - j for m.
3
Suppose -56 = -18*l + 11*l. Solve -o - l = o for o.
-4
Suppose 3*c = -3, k - 11 - 4 = 4*c. Solve -14 = 5*y + k for y.
-5
Suppose -4*d - i = 2*i + 2, -6 = -4*d + i. Solve 3*q - 2*q = -d for q.
-1
Let t(r) = -r**3 + 7*r**2 + r - 4. Let w be t(7). Let m(s) = s**3 - 5*s**2 + 2*s + 5. Let y be m(w). Let x = 7 + y. Solve x*p + 3*p = 15 for p.
5
Suppose -f = b - 5*f - 16, 3 = 3*f. Solve 0 = -j + b - 18 for j.
2
Suppose 5*k = 4*f - 35 - 1, 0 = -f - k. Suppose -b + 3*t = -2, -6*t - 3 = -b - f*t. Solve -b*p - 2 - 13 = 0 for p.
-3
Let f(w) = -w**3 + 23*w**2 - 40*w - 30. Let t be f(21). Solve -11*v + 7*v - t = 0 for v.
-3
Let u(a) = -2*a + 2. Let k be u(6). Let b = 14 + k. Suppose -4*v + 41 - 1 = 4*h, -5*v = b*h - 47. Solve v = 3*c - 8 for c.
5
Let b(a) = a**2 + 7*a + 8. Suppose 2 = -u, 4*z - 2*z + 3*u = -18. Let i be b(z). Suppose -3*o = i*o - 25. Solve -o = -c - 1 for c.
4
Suppose 17*g - 99 - 3 = 0. Solve -g*w + 7 = -17 for w.
4
Let k(w) = -w**3 - w**2 - w + 4. Let v be k(-3). Let x = v - 25. Solve -5*a + 5 + 0 = x for a.
1
Let n(h) = 2*h**2 + 11*h - 7. Let k be n(-5). Let q = -8 - k. Solve -q*b - 15 - 1 = 0 for b.
-4
Let h be (1 - 2)/(((-6)/14)/3). Solve 0 = h*y - 8*y - 3 for y.
-3
Suppose -3*o = -0*o + 3*b - 21, 5*b - 19 = -o. Suppose 31 - 51 = -5*w. Suppose -w*v = -2*u + 24, 5*u + v - 3 = 4*u. Solve u = o*x + 26 for x.
-5
Let y(k) = 194*k - 258. Let n be y(2). Solve -118 = 3*b - n for b.
4
Let y be -4*3/(3/(-2)). Let g = 6273 - 6268. Solve o - y = g*o for o.
-2
Let c be (-9)/(27/(-30)) + 0. Suppose -u - 10 = 2*u - 2*s, u + 2*s = c. Solve u = 2*f - 5*f - 9 for f.
-3
Let z(m) = m**2 + 12*m + 10. Let w be z(-10). Let l = w + 30. Let x = l + -20. Solve -s = -x*s + 5 for s.
-5
Let j be ((273/(-28))/(-13))/((-6)/(-16)). Solve -f - 12 = j*f for f.
-4
Let g be -4 - 23/(-2)*-6. Let p = -73 - g. Solve -a - 3 + 1 = p for a.
-2
Let d = 11 - 11. Let p = -8 - -6. Let l be 4 + p/(-2)*-1. Solve d = -q - 0 - l for q.
-3
Let g(s) = -s**3 + 2*s**2 - 1. Let i be g(-2). Suppose 202 = -8*c + 226. Solve -i = -c*f - 2*f for f.
3
Let f be (-1 - 0)/(184/(-736)). Let h(v) = 4*v**3 + v**2 - 2*v + 1. Let z be h(1). Solve 6*t - f*t = z for t.
2
Let w be -1 + 1/((-1)/(-31)). Suppose 0*j + w = 5*j. Let g(k) = -k**3 - 2*k**2 + 2*k + 3. Let y be g(-1). Solve y*v + j = -3*v for v.
-2
Suppose 1133 = 9*j + 935. Solve 0 = -j*q + 26*q - 12 for q.
3
Suppose 0 = -10*t - 4*t + 56. Suppose -5*w + t*w + 4 = 0. Solve 3*g - w*g = -1 for g.
1
Let s(g) be the first derivative of g**2/2 + 2. Let w(i) = 7*i - 1. Let o(q) = -6*s(q) + w(q). Let m be o(3). Solve -m*u - 5 = 3 for u.
-4
Let j(t) = t**2 - 2*t**2 - t + 4*t. Let u = -9 + 12. Let c be j(u). Solve c*a = -2*a for a.
0
Let p(x) = -x**3 - 10*x**2 + 10*x - 10. Let u be p(-11). Let l = u - -3. Suppose 0 = -4*f - a + 31, -4*f = -f - 3*a - 42. Solve f*m - l*m = 0 for m.
0
Let n be 5/((-2)/12*-5). Suppose 0*c + 42 = -n*c. Let o(i) = i**2 + 9*i + 16. Let a be o(c). Solve -u = -a*u for u.
0
Let h be -54*(14 - 9)*(-6)/45. Solve h*f = 39*f for f.
0
Let k(m) = m**2 - 7*m + 10. Let w be k(11). Let o = -54 + w. Let c = -11 + 17. Solve -4*a + c + 6 = o for a.
3
Let x be (140/15 - 6) + 1/(-3). Suppose 4*v - 5*d - 17 = 0, x = -3*v + 5*d + 17. Solve 0 = 3*p - v for p.
1
Let h(d) = -2*d**2 - 7*d - 1. Let s be h(-3). Suppose -5*o = s*w - 7, 0 = 2*w - 3*w - 4. Suppose 2*i - 20 = o*g, 0*g - 12 = 3*g. Solve i*c = 2*c for c.
0
Let u be 1/1 + (-32)/(-8). Suppose 4*f + 12 = -4*w, 0*f - 4*f = -2*w - 18. Suppose -f*y = 3*y - 15. Solve -2 = y*s - u for s.
1
Let b(s) = s**2 - 