 - 9*p**2 + 10*p + 3. Let u be s(-10). Solve -u*f + 12 = -0*f for f.
4
Suppose -3*p + 4 = 4*l, -5*l + 3*p - 8 + 40 = 0. Solve -t + 5 = l*t for t.
1
Let q(p) = 9*p - 42. Let a be q(5). Solve -a*r = -r for r.
0
Suppose 0*k - 3*r - 3 = 2*k, -2*k = -2*r - 12. Suppose -4*f = -2*p - 0 + 8, 3*p + 8 = f. Let z = p - -6. Solve k*g + z*g = 0 for g.
0
Let j = 7 + -15. Let o(v) = -4*v - 7. Let y be o(j). Suppose -y = -5*t - 3*q - 2*q, -25 = -5*t + 2*q. Solve -t + 3 = -2*h for h.
1
Suppose 4*r = 2*r - 2, 0 = 4*k - r - 21. Suppose -26 = -k*d + 9. Solve 3*a + 12 = d*a for a.
3
Let l be -6*((-3)/2)/(-8 + 11). Solve -2*q = -l*q for q.
0
Let s be (0*3/(-9))/2. Suppose q - 2 = s, 2*r + 0*q - 4 = -2*q. Solve r = -2*k + 4*k for k.
0
Let w be (((-4)/(-7))/2)/(17/119). Solve 3 + 1 = -w*s for s.
-2
Suppose 5*d - 17 = 3*o, -d - 2*o = 2*o - 8. Solve d*a + 10 = -2 for a.
-3
Suppose -2*x = 2*d - 4, -2*x = -3*d + x. Suppose d - 6 = -o. Solve y = o*y + 8 for y.
-2
Suppose -b - 18 = -4*l, 12 = 2*b - b + 2*l. Suppose 2*t = -2*n - 0 - 2, b*n + 11 = t. Solve -t*f + 0*f - 12 = 0 for f.
-4
Let a be ((-10 - -6) + -2)/(-1 - 1). Solve a*m - 5 = 4 for m.
3
Let m be (-4)/(-4)*(2 + 1). Solve 7 + 8 = m*k for k.
5
Let g(w) = -w + 1. Let i be g(-4). Let q(f) = 3*f**2 - f - 1. Let u be q(-1). Solve -2*d = u*d - i for d.
1
Suppose 3*d = -s + 12, -s - 3 = -3*d + d. Solve -d*g + 16 = g for g.
4
Let c be -7 + -3 + -3 + 8. Let o = c + 7. Suppose 3*v = -o*v + 20. Solve -2*t - 2*t + v = 0 for t.
1
Suppose 13 - 5 = 4*y. Suppose 0 = 2*j - 6, 4*g + 0*g + 3*j = 105. Suppose -z + 2*h = y, 4*h - g = -2*z + 4. Solve o - z = -2*o for o.
2
Suppose 3*j + g - 13 = 0, 2*j - 30 = -2*j + 5*g. Let n = j - 2. Let y be 4/24 + (-2)/12. Solve y = -n*b + 4*b - 5 for b.
5
Let x be (1/2)/((-9)/18). Let w(g) = -7*g**3 - g - 1. Let n be w(x). Suppose -4*z + n = -17. Solve m + z = 4*m for m.
2
Let f(l) = -l - 8. Let i be f(-13). Solve -10*v + i*v = 0 for v.
0
Suppose 0 = c - 1. Let n(f) = 9*f - 1. Let x be n(2). Suppose -x = k + 4*g, -3*g - 3 = 3*k + k. Solve k = -2*s + c for s.
-1
Suppose 2*t + 8 - 12 = 0. Suppose -5*f = -5 - 0, 14 = 4*c + t*f. Solve -2*j = -5 - c for j.
4
Let y(r) = r**2 - 2*r - 1. Let u be y(-1). Suppose u*o = 2*g - 10, 0 = 4*g + 5*o - 7 - 31. Let z be 39*1*1/3. Solve -4*k = z + g for k.
-5
Let n = -4 + 9. Suppose 0*i = i - 2. Let u be 9/i - (-6)/4. Solve d - n = -u for d.
-1
Let d be 2/(-5) + (-370)/(-50). Let z(t) = t**3 - 7*t**2 + 2*t - 10. Let r be z(d). Suppose -2*n + 12 = -0*y - 2*y, -2*y = 2*n. Solve n*o - 1 = r*o for o.
-1
Let z be (1 - 4)/3 - -1. Solve -3*s + 5 + 1 = z for s.
2
Let a = -3 - -78. Suppose -2*m = -365 - a. Let k be (-2)/(-8) - m/(-16). Solve k + 6 = 4*i for i.
5
Let w(j) be the third derivative of -5/3*j**3 - 3*j**2 + 0*j + 0 + 1/60*j**5 + 7/24*j**4. Let u be w(-9). Solve 4*x = 2*x + u for x.
4
Let k = 83 + -61. Suppose -3*c = -5*j + 11, -2*c - 4 = -5*j - 5. Let b = c + k. Solve 4*r = -r + b for r.
2
Let o = -103 - -103. Solve o = 5*k - 2*k for k.
0
Let h be (-6)/(-2) + 1 - 3. Solve -2*n + 5 = -h for n.
3
Let t = 44 + -44. Suppose 3*h = -m, -3*m + 7*m + 4*h = 8. Suppose -3*j + 8*j = 4*f - 23, 3 = -3*f - m*j. Solve 8 = f*i - t*i for i.
4
Let s be -2 + 5 + -1 + 18. Solve 3*w = -w - s for w.
-5
Let v(p) = -p - 4. Let u be v(0). Suppose 4*b + 5 = -b. Let n = b - u. Solve 18 = -5*q + n for q.
-3
Suppose 31 + 29 = 4*p. Suppose -5*s - 20 = -5*q + p, 4*q = -3*s. Solve -11 + q = -2*l for l.
4
Let x be ((-4)/(-1))/(-4)*-3. Solve 12 = 3*c + x for c.
3
Let t(i) = -i**2 - 5*i - 6. Let o be t(-4). Let j be (o - -3)/(-1 + 2). Suppose -x + j = -2. Solve 0*v + x*v = -12 for v.
-4
Suppose 3*k - 7 = -j, 5*j + 7 - 74 = k. Let g = j - 13. Solve g = a - 2 - 1 for a.
3
Let b(u) = u**3 + 12*u**2 + 13. Let q be b(-12). Solve -5*h = 12 + q for h.
-5
Let g be (-3)/((-4)/(-10) - 1). Let w = 7 - g. Solve w*f = -0*f + 10 for f.
5
Suppose 5*t - 87 = -12. Let x be (-27)/(-12) - 3/12. Let h be (-4)/(x/(-9)*3). Solve q = h*q + t for q.
-3
Let v = 3 - -7. Solve y + v = -y for y.
-5
Let d(n) = n**3 - 15*n**2 + 17*n - 42. Let z be d(14). Solve z = f - 2 for f.
2
Let b(i) = -i**2 - 3*i - 1. Let h be b(-3). Let m be 0 - (h - 0 - 4). Let s(u) = -14*u + 1. Let z be s(-1). Solve -z = -m*x - 0*x for x.
3
Suppose 0 = n + 3*b + 3, 0 = -5*n + 3*b - 0*b + 39. Let o be n/(-14) - (-17)/7. Solve o*w - 1 = -5 for w.
-2
Let w(q) = q - 10. Let d be w(10). Solve 5 = -s - d for s.
-5
Let v(k) = -4*k - 5. Let f be v(-2). Solve f*j + 15 = -0 for j.
-5
Suppose -n - 3 = -4*n. Suppose 6*g - 45 = g. Suppose 1 = -t + 6*t - j, 5*t + j = g. Solve -f + n + t = 0 for f.
2
Suppose -i = 5 + 2. Let b(t) = -t**2 - 7*t + 3. Let z be b(i). Solve -4 = 5*p - z*p for p.
-2
Let r(o) = 13*o**2 - 5*o - 6. Let d be r(-1). Solve j = -3*j - d for j.
-3
Let j(m) = -m**2 + m - 1. Let q(h) = -5*h**2 - 2*h + 6. Let u(d) = 4*j(d) - q(d). Let z be u(-8). Solve 18 - z = -4*g for g.
-3
Let k be 55/77 - 4/(-14). Solve 5 - k = -2*z for z.
-2
Let o be 3*1*(5 + -1). Suppose 16 + o = 4*k. Solve 4*f - 13 = k for f.
5
Let f(n) = 2*n - 10. Let q be f(10). Solve 2*m - q = -3*m for m.
2
Let g = 11 + -9. Suppose -4*y + g*r = 10, 2*r = 4*y + 5*r + 25. Let s be 1 + -3 - y/2. Solve 3 = -b - s for b.
-3
Suppose 2*m = x + 17, x - 1 = m - 2*m. Solve 3*k - m = -15 for k.
-3
Suppose -a - 2*a = -3. Suppose 0 = -2*y + 4*c + 78, -5*y + 2*c = -y - 144. Suppose -6*q + 3*q - 2*p = -25, -3*q = 4*p - y. Solve 0 = 2*d - q + a for d.
2
Let k(z) = -z + 20. Let g be k(5). Solve 0 = f + 4*f + g for f.
-3
Let z = -8 + 11. Solve 0*y - 15 = z*y for y.
-5
Let l = 32 + -29. Solve -8*j + l*j + 5 = 0 for j.
1
Suppose -14*w = -10*w. Solve 0 = l - w - 3 for l.
3
Suppose -9 = 4*m + 3*z + 8, -3*m - 9 = z. Let l be (m/3)/(3/(-9)). Let k = l + 0. Solve h + k*h - 12 = 0 for h.
4
Suppose 0 = -2*x - 2, -5*t + 0*x = 2*x - 28. Solve -5*o = -9 - t for o.
3
Let s(a) = -a**2 - 3*a + 1. Let q be s(-4). Suppose -2*n - 2*y + 4 = 0, 4*n - 4*y + 5 = -27. Let z = n - q. Solve -i + z = 3 for i.
-3
Suppose -4*s + 0*s = -4*z + 16, 4*z = -4*s. Let c(a) = a + 8. Let f be c(0). Suppose 6 = 5*q - 19. Solve -q*x - f = z for x.
-2
Let n(q) = q**2 - 3*q - 2. Let k be n(4). Suppose 0 = c - k*c + 15. Suppose -5*m + 5*p + c = 0, 2*p = 5*m - 2*p - 15. Solve 0 = 4*t - 7*t + m for t.
1
Let v(l) = -l**3 + 8*l**2 + 13*l - 13. Let z be v(9). Suppose -z = -5*p + 7. Solve -p*r = -r for r.
0
Let q be -3*-10*(-3)/(-18). Suppose -4*h + 23 = q*t, -t = t - h - 4. Solve 4*o + t = 19 for o.
4
Suppose -3*m + 44 = 4*z - 4*m, 0 = -z - 4*m - 6. Solve 0 = 4*a + 2 - z for a.
2
Let f(t) = 6*t**3 + 7*t**2 - t + 1. Let z(o) = -7*o**3 - 8*o**2 + 2*o - 1. Let v(s) = -5*f(s) - 4*z(s). Let k be v(-1). Solve -b + k = -3 for b.
4
Let t(b) = -4*b**2 - 8*b + 14. Let p(a) = -a**2 + 1. Let l(h) = -h + 6. Let s be l(5). Let m(f) = s*t(f) - 3*p(f). Let u be m(-9). Solve 5*z = 3*z + u for z.
1
Suppose 0 = 5*z - 14*z. Solve 3*q + 12 = -z*q for q.
-4
Suppose 2 + 8 = 2*q. Solve 2 = q*g + 7 for g.
-1
Let f be 2 + (-1 - 4) + 2. Let m(k) = -2*k**3. Let q be m(f). Solve -7*x = -q*x + 15 for x.
-3
Let p be 8/2 + 0/3. Let f be ((-2)/p)/(2/(-4)). Solve f = 2*o + 3 for o.
-1
Let p = 11 - 9. Suppose 0*d + p*d = 0. Solve d = a + 1 - 0 for a.
-1
Suppose 5*l - 9 - 6 = 0. Solve -6 = -3*c + l for c.
3
Suppose 2*l - 4*l = 0. Suppose -5*g - c + 40 = 0, -5*g - 4*c + c + 40 = l. Let v(x) = x**2 - 7*x - 4. Let z be v(g). Solve -h + z = -0*h for h.
4
Suppose -5*o - 17 = -5*r - 7, 0 = 5*o - r - 6. Let p be (9 + (-3)/3)/o. Suppose -q + 11 + 19 = 4*f, 0 = p*q + 3*f - 55. Solve -x = x + q for x.
-5
Suppose p = -0*p + 4. Solve -3 = p*y + 13 for y.
-4
Let w(q) = q**3 + 4*q**2 - 4*q + 6. Let l be w(-5). Solve 0 = o - 0 - l for o.
1
Let t(q) = -q**3 + 14*q**2 + q - 11. Let p be t(14). Let h(k) = k - 1. Let u be h(p). Solve x - u = -x for x.
1
Let h be (-2 - -7)/((-10)/(-4)). Solve 3 = -h*x + 5 for x.
1
Let v = -19 + 19. Let w = 21 + -5. Solve 3*o + o + w = v for o.
-4
Let b = 78 - 72. Let n = 56 - 30. Solve 0 = 5*q - n + b for q.
4
Let c(o) = o**3 + o**2 - 3*o - 2. Let m(v) = v**3 + 2*v**2 + v. Let k be m(-2). Let y be c(k). Solve 2*q = -y*q - 2 for q.
-1
Suppose -13 - 11 = 4*o. Let d be o/14 - (-572)/28. Solve 0*m + 4*m = -d for m.
-5
Let i = 69 + -34. Suppose 0 = 2*a + x - i, 0 = 4*a - 0*x - x -