 1 = p. Let n = 4544 - 4540. Solve -n = g - p*g for g.
4
Suppose -8 = -2*h + 4*a, 0 = 5*h + 2*a + 2*a - 20. Suppose 5*i = 3*l + 12, 2*i - 6 - 4 = -h*l. Let t be -4*(i/(-6))/1. Solve t = j + 6 for j.
-4
Let i be 1 - (-2 - 0 - 2). Let w(u) = u + 11. Let s be w(i). Solve 0*v + 4*v = s for v.
4
Let n = 4 + 30. Let s = -38 + n. Let u be ((-3 - s) + -13)/(-2). Solve 0 = 3*g + u - 21 for g.
5
Let m(a) be the first derivative of -19*a**2/2 + 2*a + 5. Let l be m(-3). Suppose 3*p + 20 - l = 4*v, 0 = 5*p - 5*v - 60. Solve 3 = -3*n + p for n.
2
Suppose 0 = -z + 4*a - 15, 3*z - a = z + 5. Suppose -c - 8 = -3*j, -8 = -z*j - 0*c + 3*c. Solve 0 = -4*g + 6*g + j for g.
-2
Let r(c) = 9*c - 12*c - 13 + 5*c. Let o be r(9). Solve 10*f = o*f for f.
0
Let k = 12 + -6. Suppose -c - 9 = -2*c. Let d = c - 6. Solve d*h + 3 = -k for h.
-3
Suppose -16 = -4*p + v + 3, -5*v = 15. Suppose -p*t + 4*s + 8 = -t, 4*t - 18 = -2*s. Solve 13 = t*a + 1 for a.
3
Let t be (-625)/(-500) - (-10)/(-8). Solve t = 3*l + 16*l + 19 for l.
-1
Suppose 3*h + 9 = 6*h. Suppose -d = h*d - 8. Let x be ((-2)/4)/(d/(-20)). Solve -x*q = -q for q.
0
Let a be -5 - 112/(-12) - (-2)/3. Suppose -a*y - 17 + 42 = 0. Solve y = -3*v + 2*v for v.
-5
Suppose -l = -4 - 1. Let s(x) = 5*x**2 - 8*x + 7. Let q be s(2). Suppose -2*n = m - q, 0 = 13*m - 18*m - 4*n + 25. Solve l*z + 4 = -m for z.
-1
Suppose -25*u = -30*u + 30. Solve -u*t - 20 = -t for t.
-4
Let w(f) = -f**3 - f**2 + 110. Let x be w(0). Let b be 814/x + (-4)/10. Solve b*u - 2*u = -5 for u.
-1
Let i be (-1 - 3) + 1 + 1. Let p be (-27)/i + 9/(-18). Suppose -5*w + 37 = -p. Solve w = 5*v + 35 for v.
-5
Let z = 14 + -8. Suppose t - z = 2*n, 6*t - 2*n = 3*t + 6. Suppose 4 + t = 2*x. Solve 0 = 2*d + x*d for d.
0
Let t(j) = 5*j + 33. Let x(r) = -3*r - 16. Let m(q) = 6*t(q) + 11*x(q). Let i be m(5). Solve -20 = -i*u + 2*u for u.
4
Let o be 2*-1 - (20 - 26). Solve -j + o = -0*j for j.
4
Let n be (3 - 3)/(5/1). Solve -5*s + n*s = 15 for s.
-3
Suppose 17*s + 44*s - 15*s = 0. Solve s = -6*v - 2 + 8 for v.
1
Let q = 11 - 10. Let b = q + 3. Suppose o = -b*o + 15. Solve f = -0*f + o for f.
3
Suppose 5*s - 15 = -3*d, -2*d = -7*d - s + 3. Suppose -4*z - 2*j = -20, -z + 4*z = j + 5. Let y = z - 2. Solve d - y = -i for i.
1
Suppose -d + 5*d = 3*q - 4, -3*q = 4*d - 20. Solve -3 = q*i + 9 for i.
-3
Let x = -15 + 21. Solve 20 - x = 7*q for q.
2
Suppose 2*v = -3*a + 8, 7*v - 3*v + 8 = 0. Suppose a*r + 0*r - 16 = 0. Let l(w) = w**2 - w + 1. Let g be l(0). Solve -5*z = -g - r for z.
1
Suppose g = -7*g + 24. Suppose 36 = 4*l + 4*p, -g*p + 8*p = -4*l + 41. Solve 0 = -2*w + l*w - 6 for w.
3
Suppose -4*q = 5*p - 56 - 1, -2*p + 30 = 2*q. Let b = q - 18. Solve b = 2*n + 3*n + 5 for n.
-1
Let x(a) = 7*a**2 - 12*a - 2. Let l(u) = -20*u**2 + 36*u + 6. Let f(d) = 5*l(d) + 14*x(d). Let j be f(6). Let c be 2/(7 + -4 - 1). Solve -j*h - c = 3 for h.
-2
Suppose 4*f - f - 24 = 0. Let v(x) = x + 8. Let i(y) = -y**3 + 10*y**2 - 17*y + 2. Let p be i(8). Let z be v(p). Solve -3*k - z = -f for k.
2
Let d be 3/12*-2 - (-10)/4. Suppose -19 = -2*m - c, 28 = m + d*m + 2*c. Solve 0 = -m*a + 5*a - 15 for a.
-3
Let x be 5 - 1/(1/2). Suppose -x*d + 16 = -d. Let b = 7 - 4. Solve 0 = -b*g + g + d for g.
4
Suppose -5*p + 2 = -3*p. Let i = 3 - p. Let t(h) = -9*h**3 + h**2 + 3*h + 3. Let f be t(-1). Solve f = 4*x - i for x.
3
Let f(x) = x**2 + 8*x + 21. Let u be f(-4). Solve 0 = -a + u*a for a.
0
Suppose 17 - 297 = -7*x. Let i be (-51)/(-9) + (x/12 - 3). Solve 5 = -r + i*r for r.
1
Suppose -5*m + i + 18 = -33, 13 = 3*m - 5*i. Suppose -7 - m = -3*s. Suppose s*n = 4*n. Solve n*x - 6 = -2*x for x.
3
Suppose 2*h + 5 = g - 2*h, 0 = -g + 2*h + 11. Suppose -b + 5*p - p = -g, -4*p = 12. Solve -b*k + 9 - 34 = 0 for k.
-5
Let g(r) = 4*r**3 - r**2 + 1. Let h be g(1). Suppose -9 = -5*m + 11. Suppose b - 4 = -2*f, 3*b + 14 = m*f - 4. Solve i = f*i - h for i.
2
Let h(g) = -g**2 - 5*g - 4. Let o be h(-3). Let c be 90/54 - 10/6. Solve -2*y + 0*y + o = c for y.
1
Suppose -26*k = 2*k - 448. Solve -k = -7*u + 12 for u.
4
Let c(a) = -2*a + 7. Let n be c(2). Suppose 5*u - 5*g - 20 + 0 = 0, -5 = 5*g. Let j(m) = -m**3 - 3*m**2. Let l be j(-3). Solve -n + l = u*z for z.
-1
Let c(a) = a**3 - 3*a**2 + 3*a - 2. Let b be (-9)/((-27)/6) - -6. Suppose 3*j - 22 = -5*l - 0*j, -2*j + b = 0. Let p be c(l). Solve p = -2*m - 3*m - 5 for m.
-1
Let b be (14/(-2))/(184/48 + -4). Solve b*g = 37*g - 5 for g.
-1
Suppose -7*i + 28 = -0. Solve j = i*j + 12 for j.
-4
Let r be (128/12)/((-4)/(-6)). Let d be ((-4)/(-6))/(6/27). Suppose 5*c - 2*c + n - 4 = 0, -d*c - 5*n - r = 0. Solve -5*b + 2 = -c*b for b.
1
Suppose 5*u = 5*y + 4*u - 3, 4*u = -3*y - 12. Suppose 0 = -2*i - 7 + 9. Let a be (i/2)/(1/10). Solve y = a*g - 5 for g.
1
Let i = -21 - -31. Suppose -i*b + 13*b = 0. Solve 6 = -b*p + 2*p for p.
3
Let g = 13 + -8. Let h be 3/(g*(-3)/(-10)). Solve -h*k + 20 = -6*k for k.
-5
Let c = 52 - 26. Let t = -14 + c. Let w be (0 - (-3)/3)*2. Solve -w*u = 2*u + t for u.
-3
Suppose 41 = -8*x + 145. Solve -x - 3 = -4*u for u.
4
Let a(k) = k**2 + 3*k - 5. Let i be a(-5). Suppose 2*o + i*s = 0, -s - 4*s = 3*o. Suppose o = -y + 6*y - 30. Solve 4*f + 10 = -y for f.
-4
Let p = 1 - -1. Suppose 12 = -4*l - 4*o, 2*l - p*o + 3 = 5. Let w = 3 + l. Solve w = t - 1 for t.
3
Suppose -2*f = -2*t, -4 = 2*t - 3*f - 2. Let w be (0/(-1))/(t + -1). Let z(j) = j**3 - 17*j**2 + 26*j + 62. Let i be z(15). Solve w*k - 4 = i*k for k.
-2
Let k(j) = -3*j**2 - 21*j - 3. Let l be k(-6). Solve 2 = -l*g - 58 for g.
-4
Let f(h) = -4*h - 9. Let z(m) = 3*m + 8. Let r be -6 + (-2 + -7)/(-3). Let i(j) = r*z(j) - 2*f(j). Let d be i(-10). Solve -u = d*u + 5 for u.
-1
Suppose -2*y = 3*y - 10. Suppose 112 = -2*h + 16*h. Suppose -o + h*o = -3*o. Solve o = -u - u - y for u.
-1
Let j(p) = -6*p**2 + 36*p + 6. Let a be j(6). Solve -a*z = -7*z + 5 for z.
5
Let c be (-30)/40 + (-43)/(-4). Solve -c*x = -5*x - 5 for x.
1
Let m = -2 - -17. Suppose -a + m = 2*a. Solve 0 = 3*r - 4*r + a for r.
5
Let n(x) = -3*x**3 - x**2 + 1. Let i be n(-1). Let s = 313 + -313. Solve l + i*l = s for l.
0
Let n(w) = 4*w**3 - 246*w - 13*w**2 + 234*w - 5*w**3. Let c be n(-12). Solve c*p + 3*p + 15 = 0 for p.
-5
Let f be -2 - -4 - (4 - (3 - -3)). Suppose -5*t = -2*c - 7, -3*t = 2*t - f*c + 1. Suppose -5*w - 3*b = -b - 2, 5*w = 3*b + 22. Solve t*k = w*k for k.
0
Let r be 34/34 + 4/(-1 - -2). Let m = -12 - -23. Solve -r*t + m = 1 for t.
2
Let c be (-2)/9 - 10/(-45). Let j(t) = 2*t + 26. Let b be j(-13). Solve c = 4*w - b + 12 for w.
-3
Let u(s) = -2*s**2 + 10*s + 12. Suppose -g - 3*c = -14, 3*c = 2*g + 2*c - 7. Let w be u(g). Solve -3*j + 7*j = w for j.
3
Let n(g) = -2*g**3 - 4*g**2 - 5*g. Let i be (-11 - -12)/(9/6 + -2). Let r be n(i). Solve -2*b = -4*b - r for b.
-5
Let q = -36 - -33. Let c(d) = -d - 3. Let i be c(q). Solve o = -i*o - 3 for o.
-3
Let p(y) = -2*y**2 - 11*y + 23. Let u be p(-7). Suppose 0 = 2*d - 5*h - 36, -h - 12 = -0*d - d. Let m be (-6)/d*(-8)/u. Solve 2 + 4 = m*r for r.
2
Let a = -33 - -37. Suppose 3*c + s - 5 = 0, 4*s + s = a*c + 25. Solve 8 = -c*p - 2*p for p.
-4
Suppose 10*m - 150 = 4*m. Solve m = -5*z + 5 for z.
-4
Let x = 30 + -15. Solve 17*c = x*c for c.
0
Suppose y = -2, 5*j + 0*y - 28 = -y. Suppose 8*r = 3*r + 10. Suppose r*s = -1 + 5. Solve 0*b + s*b = -j for b.
-3
Let k = -13 - -9. Let j be (0 - 3 - 0)/(-1). Let u be j/(-12) + (-21)/k. Solve u*v = v - 12 for v.
-3
Suppose 35 = 3*g - 10. Suppose g = 3*j, -5*j + 6 + 4 = -5*o. Suppose 4*r = -4*r. Solve o*b - 7 + 4 = r for b.
1
Let g be 2/2 + (7 + -9 - -6). Solve 8 = -g*s + 3 for s.
-1
Let j = 4 - -3. Let d be 14/j + 0/(-1) + 2. Solve -x = d*x + 10 for x.
-2
Let a = 5 - 0. Suppose a*t = -3*o + 22, -4*o - 2*t = -9 - 11. Let c = 15 + -8. Solve -c = o*h + 5 for h.
-3
Let d(q) = q**3 + 24*q**2 + 3*q + 76. Let w be d(-24). Solve 0*k - w = -k for k.
4
Let p(n) = -8*n + 43. Let v be p(5). Suppose -2*r + 9 = 3*c, v = -c + 2*c + 4*r. Suppose 0*s = -4*b - s + 14, -2*b - 4*s = 0. Solve -c*k = -4*k + b for k.
4
Let v = 190 + -165. Solve 3*q + v = -2*q for q.
-5
Let l be (1 - 4)/((-6)/4). Suppose 2*j - 8 = -0*j. Solve l*t - j = 3*t for t.
-4
Let z(k) = 32*k**3 - k**2 - k + 2. Let c be z(1). Let t = c - 29. Solve d - 16 = -t*d for d.
4
Let v be 1/(-2 - (-5)/2). Let k(o) = o*