 = 0 for a.
-4
Suppose 4*m = -4*n + 440, 4*n = 2*m - 7*m + 436. Solve -115*r + 1 = -n*r for r.
1
Let r = 68 - 63. Suppose j - r = y, -2*j + 6 = -4*y - 14. Solve -8 = 4*i - j for i.
-2
Let u(p) = -12*p. Let r be (-6)/24 - (-3)/(-4). Let z be u(r). Let b = 24 - z. Solve 3*c + 0*c + b = 0 for c.
-4
Let k(q) = -2*q**2 - 11*q - 1. Let d be k(-5). Solve -10*l = -6*l + d for l.
-1
Suppose -10*k + 54 = 17*k. Solve -16 = -2*p - k*p for p.
4
Suppose 0*s = 4*s + 2*a - 168, -s - 2*a = -45. Suppose -j - 37 + s = 0. Solve -3 - 1 = -j*w for w.
1
Let w(t) = -t + 10. Let i(l) = -l**3 - 12*l**2 - 13*l - 2. Let m be i(-11). Let q = -12 + m. Let y be w(q). Solve y*c - 5*c - 6 = 0 for c.
-2
Let x be 0 - -3 - 3/6*12. Let h be 0 + 3 + 5 + x. Solve -j = -6*j - h for j.
-1
Let r(o) = 10*o**2 - 51*o + 8. Let z be r(5). Solve z*a = 19 - 10 for a.
3
Let m(r) = -r**2 + r + 3. Let h be m(0). Suppose o = -h*o - 3*o. Solve j + 4*j - 20 = o for j.
4
Let d(y) = 5*y**2 - y + 2. Let o be d(2). Let i(s) = -s**3 - 2*s**2 + s - 2. Let w be ((-27)/6)/3*2. Let t be i(w). Solve -t*u - o = -0*u for u.
-5
Let l be (-122)/(-10) + 9 + (-184)/20. Solve -7*a + 5 = -l*a for a.
-1
Let v(c) = -6*c**2 - c. Let y be v(-1). Let d = 9 + y. Solve d + 0 = -4*l for l.
-1
Let j(q) = q + 2. Suppose 4*s + 4*w = -6 - 2, -3*s - 2*w = 1. Let d be j(s). Suppose -2*h + 8 = 5*z, -d*h + 5*z + 42 = -48. Solve h = 2*l + 4 for l.
5
Let m be (-942)/21 - 1/7. Let n be m/(-5) + 0 + -3. Suppose -1 = -n*j + 17. Solve -r = j*r - 16 for r.
4
Let n(j) = j - 3. Let p be n(3). Let z(a) = 3*a - 2. Let s be z(4). Solve p = b - 3*b + s for b.
5
Let a be (-22 - -19)*(1 - (-8)/(-6)). Let c(t) = -t**3 - 5*t**2 - 6*t - 6. Let q be c(-4). Solve -q*n = -7 - a for n.
4
Let i(q) = -2*q**3 - 2*q**2 - 6*q - 4. Let g be i(-2). Let x(m) = m**2 - 8*m - 2. Let j be x(8). Let c be -10*4/g*j. Solve c = -5*n + 15 for n.
2
Let h be 3/9 + -11 + 320/30. Solve b - 7*b + 30 = h for b.
5
Suppose -2*u + 102 = m, 3*m - 200 = m - 2*u. Let s = m - 96. Solve -s*f - 2*f = 12 for f.
-3
Let k = -1117 + 1125. Solve -k + 2 = 3*p for p.
-2
Let b = 272 + -272. Solve b = -5*x - 0*x for x.
0
Let p(k) = -2*k**3 - 4*k**2 - k - 4. Let r be p(-3). Let b = r - 13. Suppose -b*s + 7 = -1. Solve -s*n = -5*n + 15 for n.
5
Let z be 11 + (-15)/(60/(-16)) + -7. Solve -21*l + 52 = -z*l for l.
4
Let c(j) = -j**3 - 3*j**2 + 3*j - 4. Let w(m) = -2*m + 32. Let r be w(18). Let i be c(r). Solve i = -p + 3 + 1 for p.
4
Suppose 0 = -5*q + 4*l + 2, l - 18 = -4*q - 4*l. Let f be (-6)/4*1*-2. Solve -f*d + 13 = -q for d.
5
Suppose -23 = -4*q - 7. Suppose q*b = k - 22, 5*k - 5*b = -b + 30. Solve -k*n - 4 = -0 for n.
-2
Let w(t) be the second derivative of 0 - 1/2*t**2 - 2/3*t**3 - 4*t + 1/20*t**5 + 1/6*t**4. Let b be w(-3). Solve -b*u = u for u.
0
Suppose 94 + 6 = 5*a. Suppose -5*u + 0*u + a = 0. Solve 0 = 4*r - 0*r - u for r.
1
Let u(f) = f**3 + 5*f**2 + f + 7. Let o be u(-5). Let a(y) = y. Let h be a(-1). Let v be o - h - (3 + 0). Solve 2*l - l - 1 = v for l.
1
Let a be (-42)/(-2)*2/6. Let y be (-2)/(-8) + (-108)/(-16). Let h = y + -5. Solve -15 = h*i - a for i.
-4
Let s(u) = 4*u**2 + 6*u - 8. Let x(k) = -5*k**2 - 6*k + 8. Let o(p) = 4*s(p) + 3*x(p). Let g be o(-7). Let i be (-2 - (g - 2)) + -1. Solve -h - 5 = -i for h.
-5
Suppose 5*u = -4*k + 14 + 27, 5*k - 30 = -2*u. Solve k*m + 6 = 2 for m.
-1
Let b = 14 - 21. Let g = b - 13. Let x = g - -23. Solve -4*o = -x*o + 5 for o.
-5
Let c(r) = -2*r**3 - 45*r**2 - 22*r. Let m be c(-22). Suppose -2*i - 24 = -4. Let t(y) = -y**2 - 11*y - 7. Let b be t(i). Solve 0 = 3*u - m*u - b for u.
1
Let x(o) = o**2 - 6*o + 8. Let m(k) = -k - 9. Let i be m(-14). Let b be x(i). Solve 0*p + p + b = 0 for p.
-3
Suppose -1208 = -13*i - 207. Solve -i + 68 = 3*f for f.
-3
Suppose -47*a + 40*a + 14 = 0. Solve -4 = s - a for s.
-2
Let n(d) = -d**3 - 6*d + 2. Let b(r) = -3*r + r**2 + 0*r**2 - r**3 + 2 - 4*r. Let w(m) = -5*b(m) + 6*n(m). Let g be w(-5). Solve 22 - g = 3*t for t.
5
Let f(k) = -k**3 - 4*k**2 - 4*k + 7. Let d be f(-5). Suppose s = 14*s - d. Solve -y + 3 = -s*y for y.
-1
Suppose 0 = 5*y + 2*y + 91. Let z = -2 + 16. Let h = y + z. Solve 0 = c + h for c.
-1
Let x be 1 + -1*(-1 - 0). Let n = 14 + -10. Suppose -2*k = n*k. Solve x*c + k = -4 for c.
-2
Let h = -114 - -114. Suppose h = 3*s + 4*y - 18, -y - 11 = 2*s - 6*y. Solve -9 = -s*b + 1 for b.
5
Let z(q) = q**2 - 70*q + 154. Let c be z(68). Solve 0 = 14*x - c*x for x.
0
Let b = 21 + -19. Suppose -b*l = 3*l - 55. Let c = l + -10. Solve v - c = 1 for v.
2
Suppose 0 = 2*t + 5*y - 15, 2*t - 2*y - 2 = 34. Solve 0 = 23*p - t*p - 8 for p.
1
Suppose 7 - 8 = i. Let z be -3*4/(4*i). Let h(t) = t - 3. Let x be h(z). Solve x*o + 8 = 4*o for o.
2
Let d(h) = 95*h - 92. Let a be d(1). Solve -3 = 16*k - a for k.
0
Let t(p) = 2*p - 33. Let s be t(20). Solve s = -f + 4 for f.
-3
Let x = -12 - -15. Solve -11 = x*d - 5 for d.
-2
Let u(z) = 18*z + 59. Let t be u(-3). Solve -t*i - 8 = -3*i for i.
-4
Let v be 1 - (-3 + 0) - 1. Suppose -v*c - 12 = -3*s, 0 = 3*s - 8*s - 3*c + 52. Suppose -3*g + 15 = -s*g - 5*j, 0 = 5*g - 5*j - 35. Solve 0 = 5*u + g - 22 for u.
4
Let p = -18 - -19. Suppose c = -j - 3, -5*j - 11 + p = 4*c. Solve -j*y - 6 = y for y.
-2
Suppose 11*m - 21*m + 70 = 0. Solve m*u + 13 = -1 for u.
-2
Let g(j) = 6*j**3. Let w be g(1). Suppose 2*c - 4*n - 10 = 0, 9 = 5*c + 5*n - 1. Let p = w - c. Solve p*b - 4 - 8 = 0 for b.
4
Let g(v) = v**2 + 18*v - 52. Let p be g(4). Solve 11*a = 2*a - p for a.
-4
Let q = 27 - 29. Let b be 3 + -2 - (-6 - q). Solve -2*a - b = -1 for a.
-2
Let n(b) = b + 3. Let v be n(-3). Suppose v = 2*u + 2*u - 64. Let o = u + -14. Solve -j - 3 - o = 0 for j.
-5
Suppose -5*t + 2 = 3*w + 7, -3*t - 3 = 0. Solve j = -3*j - w*j for j.
0
Suppose -f + 94 = -q, -4*f + 2*q - 184 = -6*f. Suppose g - f = -2*g. Solve -g = 4*p - 11 for p.
-5
Let g = -20 + 30. Let z be g/25 - (-38)/5. Solve z = -3*f - 1 for f.
-3
Suppose 20*w + 60 = 32*w. Solve -w*t - t + 30 = 0 for t.
5
Let c = -181 - -312. Let f = -131 + c. Solve f = o - 1 - 0 for o.
1
Let k(x) = x**2 - x - 14. Let j be k(5). Let q(f) = 3*f**2 - 16*f - 10. Let b be q(j). Solve b*l - 3 = -7 for l.
-2
Let d = 97 - 94. Suppose -d*b + 2*j = 7 - 19, 3*j - 9 = 0. Solve k + k = -b for k.
-3
Let b(h) = -h**3 + 3*h**2 + 12*h. Let r be b(5). Solve -20*s = -r*s - 40 for s.
4
Suppose 0 = -u - u + h + 4, -2*u - 4*h = 6. Let z = -2 - u. Let s = z - -10. Solve 4*i = s + 1 for i.
2
Let s(a) = 3*a**2 - 4*a - 3. Let f be s(-3). Solve -4*y = -13*y + f for y.
4
Let v(k) = -2*k + 29. Let d be v(14). Solve -d + 3 = c for c.
2
Suppose -5*x = -3*x - 2*d - 6, -3*x + 2*d = -6. Solve x = -27*k + 26*k + 2 for k.
2
Suppose 195 = 3*q + 2*q. Let y = q + -32. Solve 0 = -3*g + y*g + 4 for g.
-1
Let f(i) = -i**3 + 4*i**2 + 28*i + 7. Let c be f(6). Solve 108*z + 20 = c*z for z.
-4
Let m(r) = r**3 - 6*r**2 + 3*r - 13. Let y be m(6). Suppose -2*x + y = -1. Solve -8 = -o - x*o for o.
2
Let m(g) = -g**3 - 14*g**2 + 11*g - 12. Let j be m(-15). Solve -6 = j*c - 50*c for c.
3
Let a be ((-88)/8 + 11)*(-2)/(-8). Solve 9*w - 15*w - 6 = a for w.
-1
Let i = -33 - -51. Suppose 0 + i = 3*c. Suppose m + 60 = c*m. Solve -4*b = -b + m for b.
-4
Suppose 10*l - 3 = 17. Solve 0 = 4*m - 3*m + l for m.
-2
Suppose 3*q - 43 + 43 = 0. Suppose q*g + 2*o = 4*g - 18, 3*o + 7 = g. Solve -g*d - 7 = 13 for d.
-5
Let q(b) = -3*b**2 + 10*b + 8. Let a be q(4). Solve a*h = h for h.
0
Suppose 3*d - 3*j = 102, -5*d + 2*j + 116 = -66. Suppose 0 = 42*n - 1662 - 18. Suppose -2*g = -2*a + n, 0 = 5*g + d - 13. Solve -a = 4*w - w for w.
-5
Let n = -12 + 12. Suppose 5*t - 72 = 4*r, 5*r + 5 - 15 = n. Solve z = 5*z - t for z.
4
Let g be 13 + (12/3 - 10). Solve 4*j - g*j = -9 for j.
3
Let v(y) = -4*y - 13. Let z = -7 - -1. Let l be v(z). Let f = 14 - l. Solve f*w = -w for w.
0
Let c(o) = -o**3 + 7*o**2 - 8*o + 16. Let s be c(6). Solve -76*n = -80*n + s for n.
1
Let m be (-1)/3*(-12)/2. Suppose m*a - 6*a = 0. Solve a = -4*u - 0*u - 4 for u.
-1
Suppose 0 = -17*o + 15*o - 12. Let m be (-36)/(-12)*(-10)/o. Solve m = -2*g - 3 for g.
-4
Suppose 3*v - 12 = -v. Suppose d = 2*m - v*d - 8, -4 = -3*m + 2*d. Solve m = -4*a + a for a.
0
Let y = 40 - 56. Let m be (-49)/(-4) - (-4)/y. Solve -5*x + m = -3 for x.
3
Suppose -3*w + 12 = -0. Suppose -n = -3*k -