 + f for s.
4
Let m be 0/((-63)/(-27) - 2/6). Solve 2*h - 4*h - 8 = m for h.
-4
Let n(i) = -i**3 - 3*i**2 + i + 2. Let g be n(-3). Let k(r) = 0*r**2 + r - r**2 + 2 + 4*r**2. Let c be k(g). Solve -y = c*y for y.
0
Suppose 0 = 4*m - 5*m - 68. Let i be m/(-18) + (-2)/(-9). Solve 5*a - i = 11 for a.
3
Let p be (40/(-52))/((-13)/338). Solve 31 = -p*a - 29 for a.
-3
Suppose -3*g = -0*g - 9. Solve 23 = -g*v + 32 for v.
3
Suppose 4*h = -2*t + 80, 3*h - 4*h - 2*t = -23. Solve -6*r - 52 = -h*r for r.
4
Let j = -7 - -11. Let o(c) = c**2 - 2*c - 5. Let w be o(j). Suppose w*h - 2*v = 1, 0*h - 4*h + 4 = -2*v. Solve -2*z + h*z - 1 = 0 for z.
1
Suppose 3*r - 2*r - 3*g + 9 = 0, -3*r - 3 = -3*g. Suppose 4*x + 3*l - 51 = 17, -r*x + 51 = 3*l. Suppose 0 = 3*f - 11 - 1. Solve f*w = x + 3 for w.
5
Let v(i) = 8*i + 8. Suppose 6*q + 46 = 40. Let f be v(q). Solve f = 4*l - 0*l - 20 for l.
5
Let t be (10 + 671/(-66))*12/(-2). Solve 11 = -5*l + t for l.
-2
Suppose -2 = 2*b, -2*u + 1 = 2*b + 3. Suppose -14*g + 13*g + 3 = u. Suppose 0*q = -g*q. Solve 3*o - 4*o + 2 = q for o.
2
Suppose -4*k = -5*n - 90, -84 = -75*k + 71*k + 2*n. Solve 11*s - k = -42 for s.
-2
Let j(x) = x**2 - 14*x + 50. Let i be j(8). Solve i*q - q - 1 = 0 for q.
1
Let s(q) = 4*q**3 + q**2 - q. Let g be s(1). Suppose 8 = 3*z + 2, 58 = -4*y - z. Let u = y + 22. Solve u*h - 3 = g*h for h.
1
Suppose 3*p = 5*f - 15, -5*p + 41 = 3*f - 2. Suppose -u - 4 = -f. Solve -u*j + 3*j + 5 = 0 for j.
-5
Suppose 0 = -2*k, 0 = n + 3*k - 3 - 2. Suppose -n*g + g + 12 = 0. Solve 4*v - 3 = g*v for v.
3
Suppose n = -0*n. Suppose 0 = -2049*y + 2048*y. Solve n = -y*g + g - 1 for g.
1
Let f be 2184/120 - 4/(-5). Solve 0 = f*n - 17*n - 4 for n.
2
Let z = 57 + -60. Let j be (-1)/(3/(-24)) + z. Solve y = j*y for y.
0
Suppose 2*n = 6 - 0. Let s = -11 + n. Let w be (2/(-6))/(s/120). Solve w*i = i + 12 for i.
3
Suppose 14*q - 9*q - 35 = 0. Suppose 5*f + 3*j - 31 = 0, -q = -3*f + 2*j + 2*j. Suppose 4*t + 2 = f*t. Solve -t = 2*d - 0 for d.
-1
Suppose -4*k = 1 - 17. Suppose 4*m = 3*m - 3*o + 12, -3*m + 92 = -5*o. Suppose -5*y + 51 = -m. Solve -i = k*i + y for i.
-3
Suppose 5*i - 4*t + 1 = 25, 4*i = 4*t + 20. Suppose -i*n + 0*x + 12 = 3*x, 4 = x. Suppose 5*a + 2*y = y + 2, -2*y + 4 = n. Solve 4*q - 3 - 5 = a for q.
2
Let r(v) = 7*v + v**2 - 3 - 9*v - 5. Let z be r(4). Let b be 0*(z - (1 + 0)). Solve 8 = -b*h - 2*h for h.
-4
Suppose -38*y = -45*y + 63. Solve 5*f - y = 2*f for f.
3
Let v be 5/(8 + 2 + -5)*8. Solve 6*b = 10 + v for b.
3
Suppose -17 - 37 = -3*h. Let d = h - 13. Suppose 2*x - 7*x + 25 = 5*p, 2*p + 3*x = 12. Solve 0 = -d*u + 4*u - p for u.
-3
Suppose 3*k + l - 6 = 0, 4*l + 2 = 3*k - 2*k. Solve -k*d - 12 = -8*d for d.
2
Suppose -4*l + 5*n + 4 = 0, -6*n - 26 = -3*l - 8*n. Solve -l*c = -c for c.
0
Suppose 2*w - 208 = 76. Let f = 143 - w. Solve 2*o = -5 + f for o.
-2
Let l = -95 + 108. Solve -12*b - b + l = 0 for b.
1
Let h = 463 - 460. Solve h*q = 22 - 19 for q.
1
Let i be 6 + 0 + 14/(-7). Suppose w + i = 23. Suppose 5 = y - w. Solve 4 - y = -5*q for q.
4
Suppose -11*q = 2*p - 16*q + 3, 5*q = 25. Solve -16 = -s - p for s.
5
Let u = 705 - 701. Solve t = -u*t for t.
0
Let w = -802 + 809. Solve -4*t = w*t + 11 for t.
-1
Suppose -5*p + 2*y + 10 = -p, -20 = -5*p + 4*y. Suppose -w = -15*w + 56. Solve 4*b = -p*b + w for b.
1
Suppose 7*o = 3*o. Suppose 2*p = -2 + 4, o = 2*w + p + 73. Let k = -37 - w. Solve k = -3*d - 2*d - 25 for d.
-5
Let s(q) = -q**2 + 16*q - 31. Let c be s(3). Solve 8 = c*n - 4*n for n.
2
Let y be (-2)/27 + 48/648. Solve y = 6*v + 10 - 40 for v.
5
Let v be ((-22)/4 - -6)*0. Suppose -w - 4*f = -2*w - 10, 2*w - 1 = f. Suppose -1 = -6*r + r + i, -5*r + 2*i = -w. Solve 5*h + r*h = v for h.
0
Let w(d) = -d**3 + 2. Let r be w(0). Suppose -110 = r*v + 4*h, 4*v - 4*h + 3*h = -193. Let t = -33 - v. Solve -t = -0*f + 4*f for f.
-4
Let n be 32/10 - (-2)/(-10). Suppose 35 = 5*d - j, 14 = 2*d - j - n*j. Solve d*z - 4*z - 3 = 0 for z.
1
Let d = -984 + 1001. Solve 9*y - 40 = d*y for y.
-5
Let s(h) = -h**2 + 8*h - 9. Let n be s(6). Suppose -v + n*v = -36. Let q = 22 + v. Solve -3*w - 4 = -q*w for w.
4
Let k(g) = -g**2 - 2*g + g + 3*g**2 - 4 - 3*g. Let l be k(-1). Solve -f = -l*f for f.
0
Suppose o = -o + o. Solve -4*n + n = o for n.
0
Let s = 144 - 144. Solve -5*b + 10 = -s*b for b.
2
Let g = -219 - -224. Solve 3*z = g + 7 for z.
4
Let z be 2 + (7 - 5) + 6. Solve 6*n - 20 - z = 0 for n.
5
Let v = 135 + -132. Suppose 5*t - t = 5*j - 20, 16 = 3*t + 4*j. Solve -v = -y - t for y.
3
Let j(b) = b**3 - 9*b**2 - 9*b. Let g be j(10). Suppose g = m + 6. Suppose 6 = 6*o - m*o. Solve 8*l = o*l for l.
0
Let s = -24 - -23. Let g be 112/35*5/s. Let y = g - -18. Solve 6 + y = 4*o for o.
2
Suppose 2*m + 2258 = 2274. Solve 53 = -m*l + 29 for l.
-3
Let x be 33/9 - (-2)/6. Let f = -77 + 87. Suppose 5 = -f*h + 11*h. Solve -3*i = -h*i + x for i.
2
Suppose 0 = -3*x + 4*x + 1. Let b be (-4)/x*42/56. Solve -10 = -b*j - 2*j for j.
2
Let z = 20 + -18. Let a be 5*3 + (-8)/z. Suppose 2*d - a = -3. Solve -f = 1 - d for f.
3
Suppose 4*x + 4*c - 45 = -5, -26 = -3*x - 2*c. Let p = -2087 - -2098. Solve -p*y + x*y = -25 for y.
5
Let j be ((-16)/(-3) - 6)/((-6)/27). Solve 27 = -6*h + j for h.
-4
Let j = -2312 + 2327. Solve -j*u - 5 = -65 for u.
4
Let q(f) = 16*f - 136. Let r be q(9). Solve -21 = l - r*l for l.
3
Suppose -20*k + 160 + 60 = 0. Solve -3*z + k - 8 = 0 for z.
1
Let w(i) be the first derivative of -i**2/2 + 6*i + 1. Let k be (12/18)/(4/30). Let x be w(k). Solve -x = j + 3 for j.
-4
Suppose -9*i - 6 = -24. Solve i*q - 5 = 5 for q.
5
Let f(n) = 2*n + 16. Let g = -11 + 6. Let w be f(g). Suppose -4*u + 14 + w = 0. Solve u*h = h for h.
0
Let u be (-14 - -5)/3 + 75. Suppose o + 4*q - 113 = -4*o, -q + u = 3*o. Solve o = -8*y + 13*y for y.
5
Suppose 2*m - 38*q + 34*q = 114, -5*q + 171 = 3*m. Solve 4*d = -m + 45 for d.
-3
Suppose -g = -5*l + 4, -7*g + 26 = -3*g + l. Suppose -10*j + 8 = -g*j. Solve -4*q = -3*q + j for q.
-2
Suppose 0 = b + 2*b + 3. Let j be (-1 - b)/5*1. Solve -5*x = -j*x - 20 for x.
4
Suppose -17*i + 9 = -25. Solve -6 = -0*c - i*c for c.
3
Suppose -146 = -15*j - 11. Solve -j*b = 1 + 8 for b.
-1
Suppose -h - h + 6 = 0. Let g(w) = -3*w - 2. Let s be g(-4). Let m(y) = y**2 - 13*y - 14. Let r be m(14). Solve r = -h*k + s + 5 for k.
5
Suppose 2*c + c - 30 = 0. Let v = c - 4. Let d be (-12)/(-5) + (-14)/35. Solve -d = a - v for a.
4
Let s(q) be the second derivative of -q**5/20 - 5*q**4/4 - 5*q**3/2 - 9*q**2/2 - 2*q. Let f be s(-14). Solve 0*l = f*l + 25 for l.
-5
Let y be (21 + -3)*(-1 - (-114)/54). Solve 10*x - y - 20 = 0 for x.
4
Let g be 16/9 - 2/(-9). Let w = 10 - g. Let n = -89 + 94. Solve w = -n*s + s for s.
-2
Let w(f) = -14*f - 163. Let k be w(-12). Solve -k = 2*i - i for i.
-5
Suppose 3*b - 15 = -0*b, 5*g - 445 = 4*b. Let p = g + -79. Solve -3*x - 2 = -p for x.
4
Let r be (-4)/((-8)/(-14)*49/(-35)). Let c(j) = -j**3 - 5*j**2 + 2. Let g be c(-5). Solve s + r = g for s.
-3
Let h(x) be the second derivative of x**4/12 - 13*x**3/6 + 13*x**2/2 + 18*x. Let c be h(12). Solve -c = -a - 4 for a.
-3
Let l(h) = -h - 3. Let x be l(-7). Let s be x - 2 - (2 + 6). Let c be (-3)/(-6) - 3/s. Solve 1 + c = 2*p for p.
1
Let k(g) = 6*g - 36. Let n be k(6). Suppose 0 = 5*s - q - 80, -2*s + 55 = -0*q - 5*q. Solve n*r + 3*r = -s for r.
-5
Let l(b) = -2*b + 6. Let c = -2 + 5. Let j be l(c). Solve 5*d + 20 = -j*d for d.
-4
Let t be 45/12 + (-3)/4. Suppose i - 2 = -g, t*i - 5*g - 35 = -i. Solve -4*y + 3*y = -i for y.
5
Suppose 2*u = -3*j, 6*u + 17 = j + u. Suppose -4*q + 25 = 21. Solve -j*l = q + 3 for l.
-2
Let w(c) = c**2 + 12*c - 8. Let g be w(-13). Suppose -g*h = -11 - 9. Suppose 0*f - h*f + 24 = 2*r, 0 = -4*f - 4. Solve -2*m = 6 - r for m.
4
Let m = -27 - -2. Let w = m - -33. Let f be 10/w - 27/(-36). Solve a = 3 + f for a.
5
Suppose 2*k - 4*t = -5*t + 18, 0 = -2*t + 8. Suppose -11*v = -k*v. Solve 5 = y - v*y for y.
5
Let j(x) = -x**2 - 17*x - 30. Let v = -45 + 30. Let h be j(v). Solve 3*q + h*q + 3 = 0 for q.
-1
Suppose -1782 = -20*x - 2*x. Solve -61 + x = -4*q for q.
-5
Let v(c) = 4*c**2 - 30 - 4*c**2 + 2*c**2 - c**2 - 5*c. Let j be v(9). Solve j*m = 2*m for m.
0
Suppose 5*b - 5*g = -8*g + 31, g - 12 = -2*b. Let t = -3 - -33. Solve b*i = -t + 5 for i.
-5
Suppose -