t x = 1 - 0. Suppose -2*b = -0*b + p + x, 5*b + 3*p = -5. Solve -b*u - 5 = 1 for u.
-3
Let y(r) = r**3 + 5*r**2 - 8*r + 3. Let u be y(-6). Suppose -3*c - 20 = k, -3*c - 4*k - 14 = -2*c. Let n be (-9)/u*30/c. Solve 2*j - n - 5 = 0 for j.
4
Let m(k) = -k**3 + 6*k**2 - 5*k + 2. Let p be m(5). Suppose 0 = 2*b - 34 - 8. Let w = b - 18. Solve -w*v + 10 = p*v for v.
2
Suppose -5*j - 17 = -6*j. Let r = 23 - j. Let b be (-8)/12 - r/(-9). Solve -5*x = -b*x for x.
0
Let k = -27 + 18. Let x = k + 11. Solve -5 = -3*r - x for r.
1
Let b be 1 - 12/2 - -3. Let k be (-1 + b/(-4))*-10. Solve 2*z = k + 1 for z.
3
Suppose -2*q = 9*q + 11*q. Solve 0 = -4*l - q*l + 20 for l.
5
Let z(i) = 6*i - 59. Let j be z(-7). Let l = 105 + j. Solve -4*o = -12 + l for o.
2
Suppose 4*h = 3*h - 14. Let u be 4/h - (-6392)/28. Let n be 2/(-12) + u/72. Solve n*g + 2 + 1 = 0 for g.
-1
Let u be 3/15 - 534/(-30). Solve 8 = -u*s + 20*s for s.
4
Let h(g) = g + 4. Let u be h(0). Suppose s = 3*d - 0 - 4, -2*d = -4*s + u. Suppose -5*y = 5*x - 20, d*y - 7 = -x - 0. Solve 5 = -2*b + y for b.
-1
Let h be (8/3)/(212/795). Solve -3*z = -8*z + h for z.
2
Let u = -38 - -58. Let r = -727 - -729. Suppose 2*a + 5*g + 20 = 0, -r*g - 3*g = 4*a + u. Solve a = -3*m + m for m.
0
Suppose 3*m - 6 = -5*d, -m + 3*m = -d + 11. Suppose 0 = m*j - 28 - 0. Solve 3*w + j = 2*w for w.
-4
Suppose 12*h = -5*j + 17*h + 5, 4*j - 2*h - 12 = 0. Solve -c + 6 = j*c for c.
1
Suppose -5*x = 3*d - 147, 3*x - 176*d - 77 = -175*d. Solve 4*k - x = 13*k for k.
-3
Let n be ((-2 + 2)*-1)/(-1). Let v(h) = 31*h - 801. Let c be v(26). Solve -x = -n*x - c for x.
5
Let s be (52/(-39))/(4/(-6)). Suppose 15 = s*k + k. Suppose -k*a = -10 - 0. Solve -a*j + 2 = -0 for j.
1
Suppose -2*i + 6 = -2. Let k be i/((-2)/4 - -1). Solve 1 = -3*t - k for t.
-3
Let v be 10 - 2 - (-1 - 0). Suppose 0 = -3*t - 0*t - 90. Let b = -26 - t. Solve -b*g + v = -g for g.
3
Let t = -2 - -7. Suppose 3*x - 4*w + 9*w - 18 = 0, 0 = x + t*w - 16. Solve 0 = 3*f + 10 - x for f.
-3
Let c(m) = m**3 + 11*m**2 + m + 13. Let i be c(-11). Solve 2*z = 6 + i for z.
4
Suppose 5*f + 3*c = f + 3, 12 = 2*f - 2*c. Suppose -f*d = 5*z, -2*z - 5*d + 2*d = 0. Solve o + z = -4 for o.
-4
Suppose -4*o + 3*f + 13 = -6*o, -19 = o + 4*f. Let w = 4 - -5. Suppose 36 = 3*a + w. Solve 5*i = o + a for i.
2
Suppose -6 = -4*f + 2. Suppose f*m - 24 = -2*m. Suppose -s = -m*s. Solve 2*k = -s*k + 6 for k.
3
Suppose -5*w - 3*l = -35, -w + 6*w = l + 55. Let i(a) = 4*a**2 - 40*a. Let r be i(w). Solve 4*u - 9 - 3 = r for u.
3
Suppose -c = 6*c - 2*c. Let i(b) = b**3 + b**2 + 3*b + 3. Let y be i(c). Solve -5*m = -y*m + 10 for m.
-5
Suppose 0 = -5*q - 5*f - 5, 2*q + 5*f = -2*q - 9. Suppose -5*u = y + q, -u - 2*u + 2*y + 8 = 0. Suppose u = 3*c - 2*c. Solve -o = -c*o - 5 for o.
5
Suppose 0 = 6*q - 2*q - m - 4, 0 = 2*q - 4*m - 16. Suppose q = 4*x - 3*a - 20, -4*a = x - 3*a + 2. Solve -1 + x = -i for i.
-1
Suppose 4*p = -2*t + 30, p + t + 35 = 4*p. Solve 0 = 2*w - p + 4 for w.
3
Suppose -9*l + 42 - 15 = 0. Solve l*w = -3*w + 6 for w.
1
Let b(x) = -x**2 - 9*x - 10. Let o be b(-7). Suppose 0 = 5*d - 6 - o. Suppose -4*c = s + d*s - 12, -5*s + 20 = -5*c. Solve 8*g = s*g + 20 for g.
5
Suppose -b = -5*g, g - 5 = -4*g. Suppose -3*s = b*s - 40. Solve s = -2*i + i for i.
-5
Let m be (-10)/(-3) + (-4)/3. Suppose 5*q - 35 = -m*q. Solve -q*p = -3*p - 4 for p.
2
Suppose m = 3 - 7. Let h = m - -9. Solve 0 = h*v - 0*v for v.
0
Suppose -12*a + 38 + 10 = 0. Solve n - 5*n - a = 0 for n.
-1
Suppose -3*b + 17 = -c, 1 - 7 = b + 2*c. Let r(j) = -4 - 3*j**2 - 2*j**2 - j + j**2 + 5*j**2. Let q be r(b). Solve 0 = -2*h + 4*h - q for h.
4
Suppose 2*z - 42 = -2*x, 4*x - 9 = 11. Let r = -19 + z. Let f be (3 - r)/(8/20). Solve -2*j = 3*j + f for j.
-3
Let g be 0 - 112/(-52) - (-4)/(-26). Suppose 7 = g*b + 7. Solve b = -q - 4*q - 20 for q.
-4
Let a(k) = -12 + 13 + 0*k**2 - 2*k - k + k**2. Let x be a(3). Solve -2*g = -3*g + x for g.
1
Let s = -669 - -674. Solve -s*r + 104 = 84 for r.
4
Let t(a) = a**3 - 14*a**2 + 15*a + 2. Let u be t(13). Solve -12 = u*j - 31*j for j.
4
Let z = 25 + -25. Suppose z*r + 4*r = 0. Solve 0 = 2*n + 4 - r for n.
-2
Let z = -202 - -211. Solve g - 5 = -z for g.
-4
Let n be (-6)/48 + 387/24. Solve -12 = -7*v + n for v.
4
Let y(j) = 3*j**3 + 4*j**2 + 4*j + 3. Let g be y(-1). Solve g = -174*c + 172*c + 2 for c.
1
Let p be (-254)/(-22) + 42/77*-1. Suppose 2*q = -3 + 21. Suppose 5*n - p = q. Solve 5*a = n*a for a.
0
Suppose -16 = 3*t + 53. Let f = t - -43. Suppose 4*l - 4*v = -6*v + 26, f = 4*v. Solve -z = l*z for z.
0
Suppose -3 - 4 = l. Let c(g) = g**3 + 8*g**2 + 7*g + 3. Let f be c(l). Suppose 3*q - 40 + 16 = 0. Solve f*t = -t - q for t.
-2
Let u = 1551 - 1549. Let b = 0 - 0. Solve b = u*f + 1 - 5 for f.
2
Let c = 7 + -2. Let d = -25 - -25. Suppose -2*j + d*j = 0. Solve j = c*t - 10*t for t.
0
Let p(w) = w**3 - 6*w**2 + 2*w - 6. Let r = -11 - -17. Let x be p(r). Solve h - 5 = x*h for h.
-1
Suppose -3*y + 80 = 2*y. Let b be 0*4/y + -1 - -1. Solve b = 4*l - 0*l for l.
0
Let z(x) be the second derivative of -x**4/12 - x**3/2 - x**2/2 + 5*x. Let h be z(-3). Let l be (0 - 1)*-1 + h. Solve l = -4*n + 15 - 3 for n.
3
Suppose -2*v + 5*v = -6. Let a be 6/v*(-6)/(-2). Let f = a - -11. Solve -4 + 0 = -f*u for u.
2
Suppose -4 = -19*f + 17*f. Solve -f*c = -5*c + 12 for c.
4
Let j be ((0/(-1))/(-5))/2. Let d(x) = x + 12. Let m be d(-6). Suppose j = 2*i - 4*u - 20, -m*i - 2*u = -3*i + 2. Solve -p + 1 = -i for p.
3
Let k = -7 - -9. Suppose -k*o = 4*j + 2, -4*o - 11 = -o + 2*j. Let n be (-2)/5 + (-57)/o. Solve -1 = -5*t - n for t.
-2
Let t(i) = 10*i - 28. Let o be t(3). Solve -o*f - f = -3 for f.
1
Let v(z) = -2*z**3 - z**2 - z. Let t be v(-1). Let h be (-3)/2*t + 7. Suppose -h*y + 7 = -1. Solve -3*u + 5 = y*u for u.
1
Let j(t) = -3 + t**3 + 4 + 0 - 9*t + 9*t**2 - 3*t**2. Let q be j(-7). Suppose -5*i + q = -15. Solve -i + 1 = -y for y.
5
Let i = 65 - 51. Suppose -16*b + i*b = -10. Solve -b*c - 5 + 25 = 0 for c.
4
Suppose -472*o + 477*o = 0. Solve -4*t + o = -4 for t.
1
Suppose h + 4 = -s + 8, 37 = 3*h - 2*s. Suppose 5*m - h = 2*m. Solve 0 = u - 7 + m for u.
4
Suppose -10*u - 11*u = -u. Let t(v) = v**2 + 2*v - 1. Let q be t(1). Suppose 2*o - 14 = -4*k, -q*k - 4*o + 13 = -o. Solve -k*b + b + 4 = u for b.
4
Suppose 5*m - 5 = 0, -5*g + 10 - 24 = m. Let i be (-7 - -9)/((-2)/g). Let w = 20 + -12. Solve i*a - w*a = 0 for a.
0
Suppose 0 = -5*z - z + 84. Suppose 5*u - z = 6. Solve -s + u + 1 = 0 for s.
5
Suppose g + 2 + 4 = 0. Let h be (8/g)/((-38)/57). Solve -h*v - 2*v = 0 for v.
0
Let l(i) = -3*i**2 + 15*i - 8. Let x(w) = 4*w**2 - 22*w + 12. Let j(n) = -7*l(n) - 5*x(n). Let h be j(-8). Let g = -12 + h. Solve 7 = -5*a - g for a.
-3
Suppose 0 = -5*h - 4*k + 3*k, -3*h = 3*k. Solve h = -9*z + 31 - 13 for z.
2
Suppose 3*g = 5*h - 8, -7*h + 2*h = -20. Solve 33 = g*l + 37 for l.
-1
Let s be ((-48)/(-56))/(2/14). Solve 2*o = -s*o + 16 for o.
2
Suppose -3*a - a = -4*c - 24, -c - 3 = 0. Let i be (a - 4)*(-4 + -1). Suppose 0*j + i*j = 0. Solve 2*z + 0*z = j for z.
0
Let k be (10/(-8))/(84/(-336)). Solve k*v - 25 = -0 for v.
5
Let q(w) = -w. Let k be q(-3). Let g = 15124 + -15119. Solve -k*z + g = 8 for z.
-1
Suppose o - 7*d + 2*d = 27, 4*o - 5*d = 63. Let a(c) = c + 8. Let u be a(-4). Solve 0*p = -u*p - o for p.
-3
Let f be -8*(6/4 + -2). Let r(q) = 5*q + 4. Let b be r(f). Suppose -25 = -3*a - 2*a. Solve b = a*g - 1 for g.
5
Let t = -11 - -13. Suppose 150 = t*n - 0*n. Suppose 0 = -3*z - 2*f + 45, -f = -5*z - 6*f + n. Solve 0 = -4*m - 5 - z for m.
-5
Let c = 13 + -11. Let l(x) = 2 + c*x**3 - 5*x**2 - 3*x**3 + 0 - 10*x**2. Let k be l(-15). Solve k*q + 9 = -q for q.
-3
Let u(y) = y**3 - 6*y**2 + 7*y - 3. Let o be u(5). Let l(m) = m**2 - 10*m + 24. Let d be l(o). Solve -d*s - 1 = 2 for s.
-1
Let m(u) = -u**3 + 8*u**2 + u - 5. Suppose 0 = 3*y - 4 - 20. Let r be m(y). Suppose r*g = 3*j - 0*j - 24, g = -2. Solve q + 4 = j for q.
2
Let f be 2/(-10)*50*(-4)/8. Solve f*g - 15 = -0*g for g.
3
Let i be 14/56 + (-19)/(-4) + 1. Let v(t) = 11*t - 1. Let c be v(1). Let y = -7 + c. Solve 0 = y*d - i*d - 12 for d.
-4
Let f(g) = -g**2 + 11*g**3 - 8*g**3 - 3*g**3 + 3*g**3. Let y be (1/1)/(3/3). Let d be f(y). Solve 2 = d*s + 8 for s.
-3
Suppose -r - 5*q + 32 = -3*r, 2 = -3*r 