7*k for k.
4
Let d be 10/(-5) - (3 + -16). Suppose 2*y - d*y = -27. Solve y + 1 = 4*o for o.
1
Let m = -860 - -874. Solve 5*k + m = 29 for k.
3
Let o = 90 + -93. Let x be (o - -2 - 0) + (4 - 0). Solve 0 = v - x*v for v.
0
Let u(w) = -w**2 - 12*w + 2. Let c be u(-16). Let b = -38 - c. Let h be 6/(b/5)*4. Solve 0 = -3*y - h - 7 for y.
-4
Suppose -2*r + 5 = -3. Suppose -7 = -r*l - s, -4*l = -l - s. Solve -7*j + 8*j = l for j.
1
Suppose 4*j + 32 = 4*r, 5*r + 74*j - 19 = 72*j. Suppose 2*b + 8 = 18. Solve -b*u + r = -0 for u.
1
Let d be -12*((-1)/(-2))/(5 - 7). Solve -8*f = -d*f - 25 for f.
5
Let h(m) = -3*m - 4. Let z be h(-5). Let q(a) = a**3 - 11*a**2 + a - 4. Let l be q(z). Let w be (l - 4)*(0 + 1). Solve 0*u + 3*u + w = 0 for u.
-1
Let r(l) = -l**3 + 51*l**2 + 2*l - 100. Let b be r(51). Solve 0 = b*f - 7*f - 10 for f.
-2
Let q(c) = c**2 - 32*c + 170. Let u be q(31). Solve -o - u = -142 for o.
3
Let s be (-1)/((-2 - 0)/6). Suppose 9 = s*j - z, -z + 3 = 5*j - 4. Suppose -2 = -2*v + 8. Solve v*c - 3 = j*c for c.
1
Suppose 3*b + 16 - 112 = 0. Suppose -6*y + 2*y + b = 0. Suppose 0 = d - 2*v + v - 19, -2*v = -3*d + 58. Solve -d = y*s - 3*s for s.
-4
Let b(l) = 3*l**2 + 5*l + 6. Let q be b(-3). Let d = 19 - q. Solve 5*v - d = 4 for v.
1
Suppose -2*v - 3*t = -0*v, v = -3*t - 3. Suppose -o - v = -10. Let g = -7 + o. Solve q = -g - 4 for q.
-4
Let r = -111 + 121. Solve 0 = 9*z - 4*z - r for z.
2
Suppose 0 = -q - 2*q. Suppose -6*s + 16*s - 40 = 0. Solve i - 1 - s = q for i.
5
Let x = 23 + -20. Suppose -x*q + 21 = 9. Solve -5*u - q = 6 for u.
-2
Suppose 9*j = -0*j + j. Solve j = 7*w - 6*w for w.
0
Suppose 4*v + 27 = 3*f, 0 = 4*f + 2*v + 3 - 17. Let i be 0 - (-8 + 3) - (-7 - -10). Solve f = i*c - 1 for c.
3
Let m = -1130 - -1146. Solve -4*j - m = -12*j for j.
2
Let d(g) = g**2 - 12*g. Let k be d(12). Suppose -8*o + 13*o - 50 = k. Solve a + a + o = 0 for a.
-5
Let u(s) = s**3 - 12*s**2 - s + 7. Let j(x) = 3*x**2 - 9*x. Let b be j(4). Let q be u(b). Let h be (-2)/((15/6)/q). Solve 0 = -h*t - 0*t for t.
0
Let l(t) = -3*t**3 + 67*t**2 - 22*t + 11. Let u be l(22). Solve 8*x + 21 + u = 0 for x.
-4
Let k = -77 + 77. Suppose 3*z - 16 - 8 = k. Solve 0 = -6*h + 2*h - z for h.
-2
Let a(h) = -11*h + 37. Let s be a(3). Solve -5*v + 11 = -s for v.
3
Let m = -1157 + 1217. Solve 30 - m = -6*r for r.
5
Let s = -34 - -37. Suppose 2*j + 0*j - s*k - 16 = 0, k = 5*j - 14. Solve -8 = 2*d - j for d.
-3
Let n = 0 - 0. Suppose -7*y + 4 = -5*y. Let w be ((3 - y)/((-5)/(-65)))/1. Solve n = 5*a + 2 + w for a.
-3
Let j(z) = z**3 + 5*z**2 + 4*z + 3. Let w(h) = 3*h + 1. Let r(c) = 7*c + 2. Let u(y) = -2*r(y) + 5*w(y). Let d be u(-5). Let n be j(d). Solve b = n - 1 for b.
2
Let q be 1 + 4/3*(-38 - -41). Solve q*h = 10*h - 5 for h.
1
Let q be 1*(17 + 0 + -4). Let y be 1 - (-1 - -2)*-2. Let r = y + q. Solve -r = -3*g - 7 for g.
3
Suppose 2*b + 3*u + 1 = 6*u, -2*u + 6 = 0. Suppose 5*y - 5 = -r, -4*r - 17 = r + b*y. Let j be 1 + (0 - r - -2). Solve k = -k - j for k.
-4
Suppose -5*w - u = -4*w - 9, 0 = -5*u - 5. Solve w = 7*h - 5*h for h.
5
Let v = 0 + 0. Suppose 5*p - 90 = 4*w, -w - 35 = 2*p - 6. Let n be w/(-7) - (-3)/7. Solve -n*h - 20 = -v*h for h.
-5
Let l = 312 - 308. Solve l = 5*o + 29 for o.
-5
Let r be 8/28 + (-120)/(-21) + 0. Solve 5 = -r*a + 7*a for a.
5
Let y(n) = 2*n**2 + 14*n + 29. Let a be y(-3). Solve a*u = 27 - 2 for u.
5
Let l(g) = -g**3 + 4*g**2 + 4*g + 5. Let a be ((-4)/(-8))/(1/10). Let n be l(a). Suppose n = -4*b + 21 - 1. Solve b*x - 6 = 2*x for x.
2
Let j be (9 - (-3 + 7))/1. Solve -j = -4*g + 5*g for g.
-5
Suppose 0*g - 3*g - 3 = 0, -3*v - 37 = g. Let i = -12 - v. Solve i + 2 = -2*c for c.
-1
Let k be 56/2*(-2)/(-4). Let g = -75 + 69. Let m = k + g. Solve 3*l = -l + m for l.
2
Suppose 4*u = -r + 11, 5*r - 25 = 13*u - 18*u. Solve -r = -4*a + 9 for a.
3
Let w(h) = -76*h + 157. Let f be w(2). Let b(g) = g + 9. Let a be b(-5). Let p be (3/(-2))/((-2)/a). Solve f = p*q + 2 for q.
1
Let v(u) = u + 4. Let j(s) = s**3 + 3*s**2 + 2*s - 2. Let i be j(-3). Let c be v(i). Let b(g) = -g**2 - 6*g - 5. Let o be b(c). Solve -12 = -o*r + 3 for r.
5
Suppose 57 - 53 = -2*f + x, -5*f + 2*x - 12 = 0. Let y(s) be the second derivative of s**4/12 + s**3/2 - 2*s**2 + s. Let p be y(f). Solve -5*v + p*v = -5 for v.
1
Suppose -s + 3*i - 3 = 0, 2*s + i - 6 = 9. Let a be (-4)/s + (-170)/(-30). Solve -a = -3*z + 7 for z.
4
Let w(p) = 3*p + 6*p - 8*p - 12. Let d be w(16). Solve -5*l + d*l = -2 for l.
2
Suppose -n = 3*n - 8. Suppose 4 = 2*v + n*u, 0 = 5*v + 2*u - 3*u - 22. Suppose -m = -v - 0. Solve 2*i - 3*i = -m for i.
4
Let h(r) be the third derivative of -r**4/6 - r**3/3 - r**2. Let l be h(-3). Let c be (156/(-1456))/((-12)/14) + 2/(-16). Solve c*w = 5*w - l for w.
2
Suppose -22*n - 49 + 137 = 0. Solve 11 = n*l + 3 for l.
2
Suppose 0 = -38*g + 172 + 56. Solve 114*k - g = 112*k for k.
3
Let j(r) be the first derivative of r**4/4 + 5*r**3/3 - 4*r**2 - 4*r - 4. Let n be 3 - 1 - 24/3. Let o be j(n). Solve 6*l - 4*l + o = 0 for l.
-4
Suppose 3*t - 4*t - 3*w = 3, -4*t + 22 = -5*w. Suppose -3*i = 24 + t. Let g be (-14)/(-18) + (-2)/i. Solve -z + 4 = g for z.
3
Let g(d) = d + 14. Suppose 3*u - v = -30 + 6, -u - 8 = 3*v. Let q be g(u). Solve q*a + 20 = a for a.
-4
Let o(r) = -r**2 - 24*r + 127. Let x be o(-28). Solve x*l = 6*l + 27 for l.
3
Suppose -22*k = -16*k - 12. Solve 8 + k = -5*l for l.
-2
Let r be 135/12 - 1/4. Suppose 38 = 6*u - 4*u. Let i = 20 - u. Solve r = -3*y - i for y.
-4
Suppose 7 = 2*i - 3. Suppose 2 + 3 = i*k. Let y(q) = -q + 1. Let m be y(k). Solve -l - 5 = -m for l.
-5
Suppose -3*c + 27 = 3*y, c + 2*y - 21 = -2*y. Suppose -4*h = -2*n - 42, 3*h + h - 3*n - 45 = 0. Let l = -6 + h. Solve 4 = -l*f - c for f.
-3
Let m be (-19 + 19)/(-1*1). Solve -2*x - 17*x = m for x.
0
Let v(s) = -s**2 + 25*s - 150. Let o be v(10). Solve -q = -o*q + 4 for q.
-4
Let y = -89 - -91. Solve 0 = 2*h + y*h + 4 for h.
-1
Let a be (-24)/(-18)*108/8. Solve a*q + 0 = 36 for q.
2
Let g = -2 - -1. Let h = g + 1. Suppose -2*q = 5*i + 19, -2*q - i - 1 = -2. Solve q*a - a + 6 = h for a.
-3
Let q(y) = 78*y + 32 - 81*y + 42. Let o be q(24). Solve -o*u + 3 - 1 = 0 for u.
1
Suppose 3*y + k = 30, 0*y + 5*k = 3*y - 12. Suppose -q + 7 = 4*b, -q + 0*q = -4*b + y. Solve 0 = -6*p + b*p - 20 for p.
-5
Let d be -8*1 + (8 - 12). Let t(n) = -4*n - 44. Let y be t(d). Solve y*s = 2*s + 2 for s.
1
Suppose 2*i - 2 = 4. Suppose 2*f - 4*w + 28 = 3*f, 20 = i*f - 4*w. Suppose f = j + 2*j. Solve 2*u + 2 = j for u.
1
Let u(h) = 2*h + 5. Let t be u(-2). Let n be (3/t)/(-3) - -3. Solve 0 = -n*c - 1 + 9 for c.
4
Let p be 0/((-4)/8*4). Suppose p = -h - 5*a + a + 20, -2*h - a = -12. Solve 5 = -h*w - 3 for w.
-2
Let f(x) = -27*x - 72. Let u be f(-3). Solve 8*i - u*i = 3 for i.
-3
Let j(i) = -i**3 + 0 + 0 + 11 + 5*i - 10*i**2 - 4*i. Let p be j(-10). Let a = 5 - p. Solve -5 = d + a*d for d.
-1
Let p be 14 - ((6 - 0) + -4). Suppose 4*z - 5*m + 21 = -18, 4*m = p. Let x be 11/33 - 16/z. Solve x - 5 = -2*l for l.
1
Let v(u) = 2*u**2 + 12*u + 4. Let l be v(-6). Suppose 6*a - l*n = 3*a + 31, 48 = 4*a - 2*n. Let k = -10 + a. Solve -k*y + 5*y = 6 for y.
3
Let l be 51/153 - -2*(-2)/12. Solve -5*g + l = -20 for g.
4
Let o = -61 - -117. Suppose o = -n + 59. Solve 14 = n*u - 1 for u.
5
Let t = -6 - -9. Let n(m) = -m**3 + 17*m**2 - 15*m - 16. Let v be n(16). Let l be (5 + -4 + v)*7. Solve 4*x + t = l*x for x.
1
Suppose 7*m - 99 = -64. Solve -c - 1 = -m for c.
4
Let h be 289/17 - (-2 - (-9)/(-3)). Solve -p - 26 = -h for p.
-4
Let b(m) = m**3 + 7*m**2 - 9*m. Let w be b(-8). Let d be 120/12*w/(-5). Let q be 3/((-12)/d) + 3. Solve -5*a - q = 3 for a.
-2
Suppose -2*k + 18 = 3*j, -6*j - 4*k = -j - 32. Suppose 10*c = 11*c - 98. Suppose 0 = 9*o - 2*o - c. Solve -2*f = o - j for f.
-5
Let r(i) be the first derivative of -2*i**3/3 + 3*i**2/2 + 2*i + 3. Let p be r(2). Solve p*v = 5*v + 20 for v.
-4
Suppose -34*w + 118 - 16 = 0. Solve 13 - 25 = w*l for l.
-4
Let g = -767 - -774. Solve 0 = 5*m + g*m - 24 for m.
2
Let o = -272 + 297. Solve 8*z = 13*z + o for z.
-5
Let a = -27 + 31. Suppose 1 = a*n - 7. Solve 5*i = n*i for i.
0
Suppose 0 = 2*k - 4*k + 4. Suppose 4*g + 4 = k*g, 2*g = 4*j - 24. Solve -j*l + l = 0 for l.
0
Let m(v) = -v - 8. Let l(r) = 3. Let a(g) = 7*l(g) + 2*m