1. Let k be p(2). Solve k*t = 8 + 12 for t.
4
Let r(g) = g**2 - 8*g - 5. Suppose -5*z + 4*h + 34 = 0, 3*z + 0*h - 26 = h. Let a be r(z). Let y be 48/a - (-3)/(-15). Solve -6 = s - y for s.
-3
Let h be 1 + 3*-1 - -27. Suppose -5*s = -5*j - h - 10, 0 = -j - 3*s - 15. Let g(o) = o**3 + 10*o**2 + 10*o + 9. Let m be g(j). Solve m*x - 5*x - 20 = 0 for x.
-4
Let m = -11 - -18. Let z(l) = 5 - 2*l - 6 - m. Let q be z(-6). Solve -4*h + q = -16 for h.
5
Let q(b) be the first derivative of -b**2/2 - 4*b - 3. Let c be q(-6). Solve c*g + 2*g - 12 = 0 for g.
3
Suppose -q = 2*q + 3*q. Solve q = s - 5 for s.
5
Suppose -3*g - l = -5, 2*l = g - l + 5. Let y be (g - 6)*(-4)/(-10). Let p be (1 + y)*2/(-2). Solve -4 - p = w for w.
-5
Suppose r + 5*j - 3 - 16 = 0, 4*j = -2*r + 20. Suppose 0 = -5*k + 1 + 4. Solve k = -c - r for c.
-5
Let k = -23 + 23. Solve 1 = f - k for f.
1
Let h(n) = 17 + 2*n**2 - 7*n - 2*n + 0*n - n**2. Let v be h(7). Solve -v - 1 = 4*u for u.
-1
Suppose 5*f - 47 = -17. Solve -6 - f = -3*w for w.
4
Suppose 5*q - 16 = 4. Suppose -4*f + 12 = -0*f + q*t, 13 = 3*f - t. Solve 4*i + 0 - f = 0 for i.
1
Let t be (-84)/18*18/(-4). Solve 3*o + 9 = t for o.
4
Let p = 1 + 3. Solve -p*l + 0*l = 0 for l.
0
Let m be (-6)/(-27) - 16/(-9). Solve -m*a + 7*a = 10 for a.
2
Suppose 0*o + 4*o - 8 = 0. Solve -6 = a - o for a.
-4
Suppose -15 = -2*n + g, 5*g = -1 - 4. Suppose 3*f + 2 = -2*o + n, 2*o = 2*f - 20. Solve 10*z - f = 5*z for z.
1
Suppose 6 + 4 = 2*y. Suppose -5*q = -20, 0*q - q + 34 = y*w. Let z = w - 6. Solve 2*d + z*d = 0 for d.
0
Let r(v) = 2*v + 1. Let a be r(1). Suppose -a*w = -w. Solve -1 = -f - w for f.
1
Suppose -29 = 5*v - 74. Solve 1 = 2*o - v for o.
5
Let j = -12 - -22. Let t(o) = 2*o - 4. Let a be t(5). Let x be (-10)/(-4 + a/2). Solve 5*m - x = j for m.
4
Let h = 7 + -5. Suppose 0*w - 5*w = -20. Solve -h*v + v = w for v.
-4
Suppose 4*d - 10 = -5*u, -u + 3*u - 4 = d. Suppose -10 = 4*q + 10, -3*v + 4*q + 20 = d. Solve -5*n + 28 - 3 = v for n.
5
Suppose 0 = -5*v + 23 - 8. Solve -16 + 1 = v*j for j.
-5
Let l be 12 - 11 - (-6)/2. Solve -2*a - l = -0*a for a.
-2
Let c be (7/(-2))/((-1)/(-2)). Let u = 10 + c. Let b = -4 - -6. Solve -11 = -u*k - b for k.
3
Suppose 2*m + 0*a - 3*a + 5 = 0, 2*m - 19 = -5*a. Suppose -8*n + 114 = -m*n. Let w = 9 + -5. Solve w*t - n = -3 for t.
4
Let c(u) = u - 2. Let i be c(3). Let f be 4 - (i + -2)*0. Suppose -2*o - 3*s = -7, -o + f*o + 5*s = 10. Solve -4 - 1 = -o*t for t.
1
Suppose 0 = -4*t - 216 - 80. Let q be t/(-6) - 2/6. Solve 5*a - 8 - q = 0 for a.
4
Suppose -11*g = -6*g - 100. Solve a - g = -3*a for a.
5
Let x(k) = 2*k**2 - 2*k - 1. Let j be x(2). Solve 5*o - 2 = j*o for o.
1
Let b = -136 - -139. Solve b*r + r = 20 for r.
5
Let x = -42 - -44. Solve -r - 3 = x*r for r.
-1
Let r be (-22)/(-8) - (-6)/(-8). Let y be ((-24)/(-18))/(r/3). Suppose -5*d - y*a = 8 + 2, -4*d - 5 = a. Solve -3*n + 4*n - 5 = d for n.
5
Let m = -38 - -42. Solve m*u + 4 = -0*u for u.
-1
Let q = -11 + 11. Solve c + q*c = 5 for c.
5
Suppose -11*l = -8 - 25. Solve -2*x + l = x for x.
1
Suppose -53 = -8*p + 3*p + 3*s, -3*p = -4*s - 34. Suppose p*n - 5*n = 0. Solve -3*c + 2*c = n for c.
0
Let f(d) = -d**2 + 3. Let z be f(0). Suppose z*y = -y + 36. Solve 4*r + y = r for r.
-3
Let f(k) = 5*k + 9. Let p be f(2). Solve -3*a - 4 = -p for a.
5
Let z be (-12192)/42 + (-2)/(-7). Let i be 2/3 - z/15. Solve -4*l = l - i for l.
4
Suppose 4*i + 2 = -6. Let f(x) = -6*x + 2. Let k be f(i). Suppose 0 = -4*d - 3*p - 0 + 3, -4*p = -4*d + 24. Solve -d*o - k = -5 for o.
-3
Let v(s) = -s + 6. Let t be v(0). Let i(a) = -a**2 - 9*a + 9. Let q be i(-9). Suppose -t*g + 3*g = -q. Solve 1 = -x + g for x.
2
Suppose 4*o = 5*u + 35, -5*o = 2*u - 23 + 4. Solve -o*a + 9 = -2*a for a.
3
Let o be ((5 - 11)/3)/((-4)/2). Solve -3 - o = -2*d for d.
2
Let s = -36 - -41. Solve -s*x + 16 = -x for x.
4
Suppose -4*p - 6 = -42. Let l(m) be the third derivative of -m**6/120 - 2*m**5/15 - m**4/3 - 5*m**3/6 + 2*m**2. Let c be l(-7). Solve p = z + c*z for z.
3
Suppose 0 = 5*p - 3 - 22. Let u = p - 4. Suppose -4*m + 11 = -v, -m + 2*m - 4*v = -u. Solve 2*n = 7 - m for n.
2
Suppose -8*t - 1 + 1 = 0. Solve t = -j + 4*j for j.
0
Let w be (1 - 0/(-2)) + 3. Solve 9 = w*v - 7 for v.
4
Suppose -s + 5 = -9. Let i be 444/s + (-2)/(-7). Suppose -3*y + 9 = a, -4*a + i = y + 7. Solve 0*o = 2*o - a for o.
3
Let z be (18/8)/(5/40). Let t be 2/(-9) + 40/z. Suppose 2*y - 5*i = -2*y - 15, 5*y = -t*i + 6. Solve y = -2*l + 10 - 4 for l.
3
Let b(g) = g + 12. Let o be b(-7). Solve x - o = -6 for x.
-1
Suppose -3*k + 10 = 2*k. Solve -k*g + 7 = 1 for g.
3
Let j(l) be the second derivative of l**4/12 + 3*l**3/2 - 2*l**2 + 7*l. Let p be j(-10). Solve p*i - 5*i = -5 for i.
-5
Suppose -3*k + k - 4 = -2*t, 3*k + 10 = 5*t. Solve 2*v = -0*v - t for v.
-1
Let m = 51 + -39. Solve -m = -3*u - 0 for u.
4
Let u(o) = -o - 9. Let j be u(-9). Suppose -4*k + 2*a - 8 = 0, k + 3*a - 1 = 11. Solve j = -2*i - k*i for i.
0
Suppose -5*g + k = -26 + 3, -5*g + 4*k = -32. Solve -g = -0*h + h for h.
-4
Let p be 4/(3/((-6)/(-4))). Solve 0 = p*v - 4 - 0 for v.
2
Let c(a) = -a**2 - 15*a - 12. Let w = -13 - 1. Let i be c(w). Solve 0 = -i*j - 3*j for j.
0
Let u(p) be the first derivative of p**4/4 + 5*p**3/3 - 3*p**2 + 3*p + 1. Let o be u(-6). Solve 0 = 2*v - o*v + 5 for v.
5
Let m = -6 + 7. Let s be 5/(-10) + m/2. Suppose 4*b = -a, a + s*b = 3*b + 7. Solve -r - r + a = 0 for r.
2
Suppose -3*a + 6 = -0*a. Let j be 3*a + -2 + 1. Let x(v) = 2*v**2 + v - 4. Let h be x(3). Solve 0 = -j*t + 3 + h for t.
4
Let v be 4/(-10) + 6/15. Suppose -3*r + 15 = 2*r. Suppose o = r*m - 2*o - 27, 0 = -3*m - 4*o - 1. Solve 4*g - 1 + m = v for g.
-1
Let y(a) = a + 7. Let m(w) = w + 8. Let q(f) = -2*m(f) + 3*y(f). Let d be q(0). Suppose -24 = -d*l - 9. Solve 1 = 4*i - l for i.
1
Suppose 3*s + 2*s = 4*d + 32, 2*d = 4*s - 22. Suppose 5 = 5*y - 2*q, 2*q - 37 = -s*y - 3*q. Solve y*i = 4*i for i.
0
Suppose 17 + 7 = 2*a. Suppose -3*u = -u. Solve u = 3*m + m + a for m.
-3
Suppose 4 = c - p, -3*p = -3*c - p + 8. Let q be (-58)/(-18) - 1 - 2/9. Let m be 2*-2*3/(-4). Solve q*s + m + 1 = c for s.
-2
Suppose g + 4*k = -4*g + 95, -2*k = 0. Let s = g - 12. Solve -3*i + 2 = -s for i.
3
Let a be 7 + 1 + -16 + 13. Solve -a = -2*i + 3 for i.
4
Suppose 2*a + 3 = 3*a. Let i(v) = 2*v - 2*v + v + 5. Let z be i(4). Solve 2*f = z - a for f.
3
Let t(n) = n**2 - 5*n - 14. Suppose 4*s - 37 = -3*h, -3*s - 3*h - 3 + 33 = 0. Let r be t(s). Solve 7*l - 2*l + 15 = r for l.
-3
Let f be (-1)/2 + 10/4. Let i(b) = b**2 + 5*b + 1. Let x be i(-4). Let u be 14*(-2 + -1)/x. Solve -6 = -f*g - u for g.
-4
Let b = -97 - -102. Solve -b*q + 21 = 1 for q.
4
Let f(k) = k**2 - 5*k - 1. Let x be f(4). Let z be x*(12/(-5) + 2). Let v be 3/(-1) + (-39)/(-13). Solve v = 5*s - z + 27 for s.
-5
Suppose -3*o = -0*x - x - 101, -33 = -o + x. Solve -5*r + o = 14 for r.
4
Suppose 6*c = c. Suppose 0 = -2*g - c*g + 14. Suppose 0 = -3*y + 9, 0*y = -5*k + y + 7. Solve -k*j = -g*j for j.
0
Let x be (-8)/(-10)*(-15)/(-2). Let c(q) be the third derivative of q**6/120 - q**5/20 - q**4/6 + 2*q**2. Let m be c(4). Solve 2*l - x*l - 20 = m for l.
-5
Let u be (1 - (-28)/(-36))*9. Solve u*s - 4 = s for s.
4
Suppose 3*t + g - 17 = 0, 4*t - 26 = -2*g - g. Suppose -t*n + 2*n = 0. Solve n = -5*m + 10 - 0 for m.
2
Let u be (-5)/(0 + -1) - 2. Suppose -u*w - m - 3*m = -10, -2*w - 2*m = -6. Let d(o) = -o - 4. Let t be d(-6). Solve w = -t*c - 2 for c.
-2
Let d be 12/(-3) - -11 - 1. Solve -3*z = -6*z + d for z.
2
Let r be 10/(-3)*(-54)/(-45). Let a be (-9)/r - (-1)/(-4). Let j be 24/16 + 1/a. Solve 0*o - 2*o = -j for o.
1
Let b = 3 - 3. Solve -u = -b*u for u.
0
Suppose -3*r - 150 = 135. Let y = 10 - r. Suppose -y + 30 = -5*a. Solve -a = 3*b - 0*b for b.
-5
Let w(a) = a + 13. Let h be w(-8). Suppose 3*n - 3 = 2*x - 3*x, -9 = 3*n + h*x. Suppose 0*b - n*b = 0. Solve 0 = -b*c - 3*c - 6 for c.
-2
Let s = -40 + 40. Solve s = -v + 2*v + 2 for v.
-2
Let p be (-1)/(-4) + (-99)/(-4). Suppose 5*j - p = -3*f, 20 = 2*j + 3*f + 1. Solve -6 - 2 = -j*o for o.
4
Let k = 1 + 5. Suppose k = -3*a + 21. Solve 0 = -4*g + 11 + a for g.
4
Let b be -2 + -9 + 1 - 0. Let m be (b/(-8))/(1/8). Solve 0 = 5*n - m - 0 for n.
2
Let u(h) = h - 1. Let d be u(6). Let b be (5 + -7)*(15/(-