 + 1 for a.
-2
Let j(x) = 6*x - 13. Let z(b) = 5*b - 12. Let i(m) = -4*j(m) + 5*z(m). Let d be i(12). Solve 3*c = d*c for c.
0
Suppose -i = 4*k - 73, -1 - 31 = -2*k - 2*i. Suppose -3*o + b = -k, 0*b - 4*b = 4. Solve -5*n + 3*n = o for n.
-3
Let h(t) = -10*t**3 + 2*t**2 + 4*t + 2. Let f be h(-1). Solve 2*i + 3*i = -f for i.
-2
Let c = -44 - -48. Let r be -3 + 0 + (0 - -3). Suppose c*k - k - 6 = r. Solve 2*g = -k*g - 16 for g.
-4
Let h be (3/6)/((11/6)/11). Let p = -28 - -44. Solve -c = h*c - p for c.
4
Suppose -17*l - 55 = -174. Solve 4*h = l + 13 for h.
5
Let i(m) = -m**3 - m + 1. Let w(u) = -6*u**3 - 12*u**2 - 16*u - 5. Let g(t) = -5*i(t) + w(t). Let r be g(-11). Let q = r - -25. Solve -6*x - q = -x for x.
-3
Let b be (15/6)/((-5)/(-20)). Suppose 35 = 2*f - 5*w, 0 = 3*f + 4*w + w + b. Solve 0 = f*v - v - 12 for v.
3
Suppose -7*b - 7*b = -70. Solve 0 = c + 4*c + b for c.
-1
Suppose -4*p - c + 65 = 0, -2*p + 2*c + 14 = -6. Solve n - 6*n = -p for n.
3
Suppose -272 = 8*q - 25*q. Solve -h + q = -5*h for h.
-4
Let g be (4/(48/(-20)))/((-14)/42). Solve 6 + 4 = g*w for w.
2
Suppose -39 = -8*j + 17. Solve j = -c + 2 for c.
-5
Let x be 105/(-10) + (-2)/(-4). Let m = x + 16. Suppose -2*b + 2 = -2*p, -4*b - 4*p + 2 = -10. Solve y + m = b for y.
-4
Suppose -3*q = 11*d - 7*d + 8, 0 = -q - 2*d - 6. Solve q = 3*i - 11 for i.
5
Suppose -4*x = -551 + 167. Solve x - 84 = 3*j for j.
4
Let p(a) = 137*a + 2057. Let s be p(-15). Suppose 2*v - 9 - 3 = 0. Solve n = -s + v for n.
4
Let q(z) = -z**3 + 20*z**2 + 70*z - 21. Let n be q(23). Solve -6*t = n*t - 16 for t.
2
Let r(u) = u**3 + 4*u**2 - u + 8. Let n be r(-4). Let k be ((-1)/(-2))/(6/n). Solve -a = -k - 0 for a.
1
Suppose -3*j = j. Suppose 2*i - 2 + 0 = j. Let o be i/(3/12) + -2. Solve -o = -w - w for w.
1
Suppose 3*a = 8*a - 60. Let h(v) = 2*v**2 + 30*v - 105. Let d be h(-18). Solve -a = d*n - 0 for n.
-4
Let j be (0/(0 + 3))/(-2). Suppose j = -2*k + 6*k. Suppose k = 3*i - 11 + 2. Solve -25 = i*c + 2*c for c.
-5
Let r(f) = 23*f + 10. Let u(b) = b**2 + 10. Let o be u(0). Let q be r(o). Let d be ((-2)/(-6))/(8/q). Solve 4*a - 2 = -d for a.
-2
Let x(n) = -5*n**3 - 5*n**2 - n + 1. Let o be x(-1). Solve -o*c = -0*c + 6 for c.
-3
Let p be (-9)/12 - 120/(-32). Solve p = 5*q - 2 for q.
1
Let r = 38 - 33. Suppose -r*l + 68 = b + b, -4*l = -b + 8. Suppose 2*u - 10 = -5*k - 0*u, -3*k + 3*u = -27. Solve -k*f = -b + 8 for f.
4
Let a = -89 - -92. Suppose -f + a = 2*f. Solve m + f + 1 = 0 for m.
-2
Let d = 1 + 4. Suppose -d*t = -0*t - 5. Let y be 4 + (3 - 7/t). Solve y = -6*k + 3*k for k.
0
Let j(a) = -5*a - 8. Let r(q) = 4*q + 7. Let t(c) = -5*j(c) - 6*r(c). Let p be t(2). Solve x = -p*x - 5 for x.
-5
Let i(y) be the second derivative of -4*y**2 + 1/20*y**5 + 3/2*y**3 - 3/4*y**4 + 0 + 5*y. Let o be i(8). Solve o*b - 5 = b for b.
-5
Let o(q) = q**3 - 5*q**2 + 2*q - 3. Let m be o(5). Suppose -8 - 20 = -m*w. Suppose -5*v = w*j - 15, 4*j + 2*v = -j + 23. Solve j - 1 = -h for h.
-4
Let c be 4/(2 + 2) + 4. Suppose 2*q = -3*a - 3, -5*a + 0 + 5 = c*q. Suppose -2*p + p + 2 = 0. Solve q = 4*b - p for b.
2
Suppose -22*y = -42*y. Solve y = 6*s + 5 - 11 for s.
1
Suppose -4*i = i - 5. Let q be ((-27)/(-3))/((-6)/(-4))*i. Solve -r + q*r + 10 = 0 for r.
-2
Let a(i) = -i**3 + 9*i**2 + 6*i + 12. Let d(f) = 2*f**3 - 10*f**2 - 5*f - 12. Let w(g) = 3*a(g) + 2*d(g). Let m be w(-6). Solve q + 2*q = m for q.
0
Let d(y) = 5*y + 15. Let j(s) = -4*s - 15. Let u(i) = 2*d(i) + 3*j(i). Let v be u(-11). Solve 0 = -2*g + v*g + 20 for g.
-4
Let p(n) = 6*n - 79. Let u be p(14). Solve -5*s = u + 20 for s.
-5
Let j be 229/6 + 3/(-18). Suppose -3*d - 2*d + j = 2*x, 0 = -3*d + 2*x + 10. Solve 3*r = d*r for r.
0
Let a(m) = -6 - 4*m**3 - m**3 - m**3 + 7*m**3 - 6*m**2 + 7*m. Let h be a(5). Solve -2*b + b = h for b.
-4
Let b be (2/6)/((-2)/(-6)). Let d(f) = 43*f**2 + 1. Let m be d(b). Let r be 184/m - 8/44. Solve a + 3*a = -r for a.
-1
Let m be 5/15*-12*-6. Solve -m*q + 20*q = 4 for q.
-1
Suppose -76 = -28*n + 64. Solve -n = -8*x + 9*x for x.
-5
Let h = 2941 + -2931. Solve 0 = h*q + 6*q + 64 for q.
-4
Suppose h - 457 = -450. Solve -8*x + h*x - 1 = 0 for x.
-1
Suppose 0 = 3*j + 5*j - 344. Let w = j + -43. Solve -3*p + p + 2 = w for p.
1
Let j(l) = l**3 - 6*l**2 - 8*l + 11. Let v be j(7). Solve -13*t = -14*t - v for t.
-4
Let t = -78 - -96. Suppose -2*r - 17 = -6*r - u, 0 = r + 3*u - t. Solve 2*h + 3 = -r for h.
-3
Suppose 12*w + 87 = 147. Solve w*j = -4 - 11 for j.
-3
Let r = -7 - -11. Suppose r*w + 2*k = 0, -2*w = 2*k + 3 + 1. Suppose 5*n + 12*n - 68 = 0. Solve -w*b - n = 6 for b.
-5
Suppose -4*r + 2*l + 418 = 0, 3*r - 297 = -12*l + 8*l. Solve 112 = 3*p + r for p.
3
Suppose 0 = 2*r, 5*f - 2*r - 3 = 17. Suppose -4*m - f*k + 13 = -m, -2*m + 11 = 5*k. Solve -m*j + j = 4 for j.
-2
Let v be 1/3*0/(-12). Suppose v = 5*b - r - 5, 0 = -3*b - 4*r + 17 + 9. Solve -b*a = 9 + 1 for a.
-5
Let u(k) = -k + 12. Let t(n) = -2*n + 23. Let h(r) = 6*t(r) - 10*u(r). Let f be h(9). Suppose 8 = 2*w - 0*w. Solve w*s = -f*s for s.
0
Let m be (37 - 36) + (0 - 2*-21). Solve -i + 40 = m for i.
-3
Let o be (-1 + 2)/((-5)/(-30)*6). Suppose 0 = -2*q + 2*t + 2 + 2, -4*t = -3*q + o. Solve 4*c = -q - 5 for c.
-3
Let c = 150 - 94. Let t = -54 + c. Solve 0 = t*z + 3*z + 20 for z.
-4
Let m be -7 + 2 - 2/((-8)/20). Solve -k = -m*k + 1 for k.
-1
Let j(m) = -4*m - 12. Let w be j(-6). Suppose -w = -2*k - k. Suppose -4*b = -3*b - 2. Solve -k = 2*c + b for c.
-3
Let m be (153/(-9) - -14)*(-4)/6. Solve -8*u + m*u - 24 = 0 for u.
-4
Suppose 13*w - 14 = 11*w. Solve w*n - n = -30 for n.
-5
Let k be (-16)/(((-76)/8)/19). Solve k*p = 24*p - 24 for p.
-3
Let k(r) = r**3 - 3*r**2 + 2*r - 4. Let d be k(3). Suppose 3 = d*b - a - 2, 13 = 5*b - 3*a. Suppose -i = 0, -5*i - 6 + 2 = -p. Solve b*x + p = 6*x for x.
1
Suppose k = -16*k + 1122. Let f be (-8)/(-12)*k/4. Solve f*h + 6 = 9*h for h.
-3
Let t = -769 + 773. Solve 0 = t*g + 10*g - 42 for g.
3
Suppose -4*c - 4 = -16. Let z be (-20)/(400/90)*12/(-2). Suppose -2*a - 3*i = -z - 0, 3 = c*a - 3*i. Solve 0 = 5*j - a + 11 for j.
-1
Let f be (2/(-5))/((-7)/245). Solve -7*x = 7*x - f for x.
1
Let y = -253 - -253. Suppose -q - 2*q - 22 = 5*k, -2*k = 3*q + 16. Let a be (-3)/9*-3 - k. Solve y = -5*z + 4*z - a for z.
-3
Let c be (-50)/(-4) - 1/(-2). Suppose 3*j + 3*g = 21, j - 2*g + 0 = c. Let m = 1859 - 1855. Solve 0 = -5*o - m + j for o.
1
Let c = 826 + -824. Solve -c*t = 4*t - 12 for t.
2
Let y = 71 + -67. Let r = 4 - y. Solve r = -7*w + 4*w + 12 for w.
4
Let g(h) = h - 14. Let m be g(26). Solve -m*u = -16*u - 20 for u.
-5
Let y be 212/(-583) + 426/22. Solve y - 14 = -h for h.
-5
Suppose 0 = -21*w + 156 - 30. Solve 4*f - 2*f - w = 0 for f.
3
Let g(m) be the second derivative of m**4/12 - m**3/6 - 8*m. Let r be g(5). Suppose -w = -4*b + r, 0 = 4*b + 4*w - 2*w - 20. Solve -u + b*u - 12 = 0 for u.
3
Suppose 16 - 4 = 4*v. Let f(o) = 6*o**2 - 18*o + 2. Let m be f(v). Let z be 6/(-4)*(-2 + 0). Solve -m*x + z + 3 = 0 for x.
3
Suppose -6*v = -3*v - 3. Suppose i - t = -v, 0*i + 5*t = -i + 17. Solve -i*u - u = 0 for u.
0
Let i(n) = -3*n + 47. Let d be i(13). Solve -3*u + d + 7 = 0 for u.
5
Let v = 190 - 156. Solve 0 = -10*b + v - 4 for b.
3
Suppose 2*y = 4*z - 0*z + 20, -4*y = -2*z - 22. Solve -y*r = -2*r - 6 for r.
3
Suppose v = -v + 14. Let c(u) = -7*u - u**3 - 104*u**2 - 109*u**2 + 2 + 221*u**2. Let f be c(v). Solve f = y + 6 for y.
-4
Let s(m) = m**2 - 2*m - 11. Let k be s(5). Suppose k*l - 11 = -3. Let t = -3 + 3. Solve t = -l*f + 3*f for f.
0
Let g = 7 - 6. Let i = 5 - g. Solve p - i = -0 for p.
4
Suppose 5 + 7 = 4*d. Suppose 0*s + d*m - 13 = s, 20 = 4*m. Solve -2 = -s*q - 10 for q.
-4
Suppose 5*n - 3*n = -y + 8, 3*n = -2*y + 14. Solve 3*o + 1 = -n for o.
-1
Let s be (-1)/(-2 + (-395)/(-200)). Suppose 3*p = 4*k - s, 5*k - 2*k + 2*p - 13 = 0. Solve -2*r - 1 = -k for r.
3
Let w(v) = -19*v**2 - 193*v - 24. Let a be w(-10). Solve -t = 2 - a for t.
4
Let y(m) = 0*m**3 + m**2 - 2 + 4*m + 5 + m**3 - 3*m. Let w be y(0). Solve -k = -2*k + w for k.
3
Suppose 0*r + r - 70 = -2*g, 4*g + 4*r = 148. Suppose -2*f + 41 = g. Solve -3*n = -f*n for n.
0
Let m(r) = r**2 - 7*r - 5. Suppose 7*h = 5*h. Let x be h + 7 - (-2 - -1). Let c be m(x). Solve -c*i = 8 + 1 for i.
-3
Suppose 3*r - 28 = 35. Sol