o*b + u = 7 for b.
2
Let c(y) = -4*y + 9. Let m(t) = -3*t + 8. Let g(i) = -2*c(i) + 3*m(i). Suppose 4*q = -0*q - 4*h - 4, q = -5*h - 17. Let s be g(q). Solve 7 = 4*o + s for o.
1
Let g = -99 + 121. Let w(a) = -a**2 + 22*a + 2. Let c be w(g). Solve -n = 1 - c for n.
1
Suppose -2*j = x - 4, 3*x + 4*j + 0*j = 14. Solve 10*c - x*c - 16 = 0 for c.
4
Let l = 36 + -36. Suppose 5*h + 6*h + l*h = 0. Solve h*o + 3 = 3*o for o.
1
Let r = -1654 + 1730. Solve 5*c = -14*c - r for c.
-4
Let u be (26 - 2)*4/(-8). Let b = -5 - u. Suppose -3*p - 3*v = -5 - 1, -b = -4*p - 5*v. Solve p = -4*j - 17 for j.
-5
Suppose 2*s - 7 - 29 = 5*m, 2*m = -2*s + 36. Solve -13*v + s = -19*v for v.
-3
Let y = -1005 - -1020. Solve 5*s = -0*s + y for s.
3
Let l(w) = w**3 - 3*w**2 - 3*w - 3. Suppose -16 - 4 = -5*m. Let t be l(m). Let o be -3 + t + (10 - 1). Solve o*x = 3*x for x.
0
Suppose -3*i = -62 + 29. Solve 7*k - i*k = 0 for k.
0
Suppose -o = r - 6*o - 22, o = -4. Suppose 6 = -r*g + 4*g. Suppose g*t + 7 = 2*b, 0 = -4*t + b + 1 - 2. Solve 3*h + 10 = t for h.
-3
Suppose 2*c = -w - 2*w - 5, -4*c = 3*w + 7. Let r be ((-6)/(-4))/(w/(-2)). Solve 9 = -r*k - 0 for k.
-3
Let h(p) = -41*p + 2. Let f(b) = -b**3 + 13*b**2 + 15*b - 11. Let n be f(14). Let w be h(n). Let q be (-22)/w - (-4)/(-22). Solve q = -x + 2 - 5 for x.
-3
Let y(f) = 24*f + 518. Let k be y(-21). Solve 0 = -k*d + 12*d + 4 for d.
2
Let n = -56 + 65. Solve -n*l = -10*l + 3 for l.
3
Let u be 40/(-12)*(2 + -5). Let d = 11 - u. Suppose 29 = 2*h - d. Solve 4*z - h = -z for z.
3
Let n be 1 + -2 - (-15 - -13). Suppose -25 = -5*t - 10. Solve n - t = -i for i.
2
Suppose 3*i - 20 = 13. Suppose -9 = -3*z - 4*y + 3, 2*y - 4 = -z. Solve 5*d - z = i for d.
3
Let p = 112 - 109. Solve -2*c = c + p for c.
-1
Let i be ((-1)/(-3))/(1/21) - -5. Solve -7*s + i*s - 5 = 0 for s.
1
Let k(n) = 45*n + 90. Let a be k(-2). Solve 7*p + 28 = -a*p for p.
-4
Suppose -60 = -54*h + 34*h. Solve -2*d + 1 = h for d.
-1
Let p = -21 - -26. Suppose 3*r = -p*i + 25, -7 = -3*r + 8. Solve 20 = -2*x - i*x for x.
-5
Let w be 66/(-18)*(0 + -3). Suppose w*f + 6 = 13*f. Let p be (4 - (f - 1)) + 1. Solve p*y + 10 = y for y.
-5
Let a = 220 - 171. Suppose -a = 9*i - 49. Solve -5*j + 20 - 5 = i for j.
3
Let l(j) = -4*j. Let x be l(-1). Suppose -5*f = 5*i - i - 31, -3*i + 24 = x*f. Solve 0*b = b + i for b.
-4
Let l(p) = 2*p**2 - 3*p - 20. Let v be l(5). Suppose 0 = 2*k + 1 - v. Solve -k = t - 2 for t.
-5
Suppose k = l - 10 + 3, 0 = l + k + 3. Solve f - 4 = -l for f.
2
Suppose -7*j + 2*j = -15. Let t be (1 - j - -2)/(-2). Suppose -3*k + 5*k - 4 = t. Solve k = 2*l - 0 for l.
1
Let g = -141 - -144. Solve -g*s + 4 = -5*s for s.
-2
Let v be (5/1 - 10) + 7. Solve 2*u + 0 - v = 0 for u.
1
Let d = 3 - -1. Let w be 2/2 - ((-5)/(-1) - d). Solve w = -3*g + g for g.
0
Let b = -11 - -36. Solve -24 = x - b for x.
1
Let q(n) be the third derivative of -2*n**2 - 1/24*n**4 - 1/20*n**5 + 0 + 0*n + 1/6*n**3 - 1/120*n**6. Let c be q(-4). Solve 5*x + c - 1 = 0 for x.
-4
Let q(f) = -f**3 + 13*f**2 - 8*f + 10. Let i be q(12). Suppose 0 = 12*k + 10 - i. Solve -4*l + k = -0*l for l.
1
Let l(a) = -2*a + 14. Let q be 9/2 - ((-56)/(-16) + -5). Let z be l(q). Solve -z*m - 9 = -3 for m.
-3
Let v = -12 - -15. Let r(w) = -w**2 + 5*w - 1. Let o be r(v). Solve o*q - 4*q = 0 for q.
0
Let m be (6 - 4) + 2 + 1. Suppose 0 = r - m - 0. Solve r*s = 14 - 4 for s.
2
Suppose 4 = -14*s + 16*s. Suppose -k - s*k + 31 = 5*o, -5*o = -25. Solve 5*n = k*n for n.
0
Let a(q) = -19*q + 48. Let g be a(2). Solve -g*n - 14 = -4 for n.
-1
Suppose -2*j = 4*s - 0*j - 18, 5 = 5*s - j. Suppose 5*x + 2*d = -9, 0 = -x + s*d + d - 12. Let c be 0 - (x - (-5 + 2)). Solve -4*b = -c*b - 8 for b.
2
Let s be -6 - (31/(-5))/(12/60). Solve -109*u + 104*u - s = 0 for u.
-5
Suppose -4*n = -20, 3*h + 3*n - 4*n - 7 = 0. Suppose -4*p - h*x = 16, -3*x - 16 = 5*p + x. Solve p = 2*u - 3*u - 4 for u.
-4
Let n be ((-204)/(-9))/4 - (-1)/3. Solve 3*a - n = a for a.
3
Let f(u) = u**3 - u**2 - u + 1. Let h(k) = 4*k**3 + 8*k**2 + 7*k - 5. Let c(m) = -3*f(m) + h(m). Let l be c(-10). Let v = l + 11. Solve -v*s - 2*s = 5 for s.
-1
Suppose m = -3*u - 2*u - 22, -5*u = 4*m + 13. Suppose -4*h + 17 = -m*l, 3*h - 2*l = 2*l + 18. Solve t + h = 5 for t.
3
Let h = 592 - 576. Solve -2*x - h = -20 for x.
2
Suppose -36*h + 3*h + 528 = 0. Solve 0*d = -8*d - h for d.
-2
Let r = -5 - -9. Suppose r*x + 2 + 2 = 2*w, -4 = 4*x. Suppose 0 = -5*q + 12 + 3. Solve 3*h = q - w for h.
1
Let y be ((-23)/115)/(2/(-110)). Solve 14*z - y*z = 6 for z.
2
Let b(f) = -28*f + 85. Let l be b(9). Let d = -158 - l. Solve -2*y = -5*y - d for y.
-3
Suppose 31 = -2*s - 71. Let u = 56 + s. Solve -2*i + u = -i for i.
5
Suppose -10 + 1 = -w - 2*x, 2*w - x = 8. Solve 16*i - 15*i - w = 0 for i.
5
Suppose 3*u + 6*y - 35 = 5*y, 4*u - 44 = -4*y. Solve 3*a + a = -u for a.
-3
Let m be 3/((4/36)/1). Solve 5*y + m = 2 for y.
-5
Suppose 3*y + 0 = 6. Let x = 4 + y. Solve 7*f = 5*f - x for f.
-3
Let f(a) be the second derivative of 4*a**2 + 1/6*a**3 + 4*a + 0. Let s be f(-6). Solve 5*q = -s - 3 for q.
-1
Suppose 461 + 211 = 42*f. Solve 6*n = -2*n + f for n.
2
Suppose 0 = 45*c - 116 + 26. Solve -5 = c*j + 3 for j.
-4
Let m(a) = 7*a**2 - 3. Let h be m(2). Let j = h + 0. Solve 5 = 4*w + j for w.
-5
Suppose 5*z - 16 = -2*s - 2*s, 3*s - 12 = -3*z. Suppose -m + z*m + 22 = 0. Suppose 0*r + r + 6 = 5*x, 0 = -5*r - x + m. Solve 3 = -r*p + 23 for p.
5
Suppose -4*a + 3*t + 16 = 0, -5*a - 2*t + 31 = -3*t. Suppose -p = 4*p. Let h(r) = r + 3. Let j be h(p). Solve -8 = -j*o + a*o for o.
-2
Let s be 5 + 8 - (2 + -5 + -2). Solve s = -4*t + 34 for t.
4
Suppose 13*w = 187 + 229. Solve 15 = -27*g + w*g for g.
3
Let j = -27 - -23. Let m = 4 + j. Solve m = 7*n - 2*n + 20 for n.
-4
Suppose 0 = -9*h + 5*h + 4*z + 24, 0 = 2*h + 4*z - 6. Suppose 3*o + j + 1 = 6, h*j = -2*o - 14. Solve -1 = -s + o for s.
4
Suppose 4*m = 4*g + 5 - 1, 0 = -4*g + 3*m + 1. Suppose 0 = -5*l, 0*v - 3*v + 6 = 4*l. Solve p = v - g for p.
-2
Let i = 14 + -10. Suppose -26 = -n - 3*n + 2*s, -20 = i*s. Suppose -4*f - n = 0, 2*f = 2*a - 0*a - 6. Solve 0*l + l = -a for l.
-2
Let x(k) = k**2 - k - 2. Suppose -5*v + 5*t + 6 - 1 = 0, -5*t = v - 25. Let o be x(v). Suppose -n = -4*n + o. Solve -n*d + 25 = -d for d.
5
Let c = -259 + 174. Let r = c + 93. Solve 4*q + r = 2*q for q.
-4
Let t = -18 + 24. Let b(z) = -z**2 - 6*z - 1. Suppose i = 2*i + 5. Let d be b(i). Solve 0 = -d*q + t + 2 for q.
2
Let s(x) = -x**3 - 9*x**2 + 10*x + 4. Let h be s(-10). Let y be (-3)/6*-8 - h. Solve y = -3*t - 0 - 9 for t.
-3
Suppose -5*i = u - 12, -2*u + 4*u + 5*i - 19 = 0. Let v be 201/39 + (-12)/78. Solve -4*d + u + v = 0 for d.
3
Suppose -3 = 11*s - 12*s. Solve 11 = -s*q + 5 for q.
-2
Let m = -72 - -68. Let h(v) = 4*v**2 + 5*v - 1. Let d(g) = -g**2. Let n(c) = -3*d(c) - h(c). Let x be n(m). Solve -x*o = -3 - 7 for o.
2
Suppose -3*q + 12 = 0, -5*w - 3*q + 174 = -183. Suppose 63*d = w*d. Solve d*i + 8 = 2*i for i.
4
Suppose c + 2*r + 17 - 77 = 0, -126 = -2*c - r. Let s = c + -64. Solve 4*z - 5*z = s for z.
0
Suppose 0 = d - 0*d. Let j = 19 - 26. Let u = j + 10. Solve -u*f - 2*f - 5 = d for f.
-1
Suppose 2*c + 3*y = -2*y - 16, -8 = 4*c + 4*y. Let v = 94 - 67. Let w be (-9)/v*(-30)/2. Solve 0 = -c*s + s + w for s.
5
Let o = 10 - 2. Suppose 4*g = o*g - 56. Suppose 2*h - g = -6. Solve h*t - 20 = -0*t for t.
5
Suppose 5*k - 3 = 2*k. Suppose 7 = 4*c - 9. Solve c = b + k for b.
3
Let m(j) = j - 5. Let f be m(8). Suppose 0 = -2*w + 3*q - 13, -w - 3*q = -0*q - 16. Solve g - w = -f for g.
-2
Let h(n) = 2*n - 10. Suppose 3*b + c - 6*c = -5, 0 = -3*b + 3*c + 3. Let f be h(b). Suppose f = -3*v + 8*v - 25. Solve -d + 12 = -v*d for d.
-3
Let b = -24 - -27. Let m be (3/6)/(b/18 + 0). Solve -m*w + 0*w - 12 = 0 for w.
-4
Let t(y) = -y - 58. Let o be t(-18). Let b = 44 + o. Solve b*p - 10 = -p for p.
2
Let k be -5*1*(-45)/25. Let w = k + 13. Suppose 0 = -3*c - 2*o + w, 4*o = 2*c - 0*o - 20. Solve -c = -n - n for n.
4
Suppose 0 = -4*s + 5*g + 132, 0 = 6*s - s + 5*g - 165. Let b be (-2 + s/12)*4. Suppose -2*v + 20 = 3*v. Solve -b*y + v*y = 3 for y.
3
Let v(s) = 4*s**3 - 10*s**2 + 6*s + 17. Let z(t) = -9*t**3 + 21*t**2 - 13*t - 34. Let l(i) = -7*v(i) - 3*z(i). Let p be l(6). Solve -2*d = 11 - p for d.
-5
Let c be 7