
Let u(t) = 15*t - 297. Let k be u(20). Solve k*x = -11 + 14 for x.
1
Let c(u) = 15*u + 5. Let w be c(7). Suppose -p + w = -v, 0*p + 4*p - 395 = -5*v. Let d be 4/(-14) - (-1080)/p. Solve -2*t = -4*t - d for t.
-5
Let y = 189 + -185. Solve -5*g + y = -16 for g.
4
Let j = 3 + 6. Suppose -j + 1 = -4*v. Solve -v - 4 = -3*w for w.
2
Let z be 2/(3*(-8)/12). Let j be 0 - z/(4/8). Solve j*d = 3*d for d.
0
Let v be (-3 - 16/(-4))/(1/2). Solve -2*h + v + 0 = 0 for h.
1
Suppose 5*y - 42 = 3*p - 9, -p + 4 = 0. Solve -12*g + 15 = -y*g for g.
5
Let s(o) = 11*o**2 - 13*o + 14. Let c be s(1). Solve -11*z = -14*z - c for z.
-4
Let y(l) = l**2 + l - 2. Let b be y(6). Suppose -3*a + 5*a = b. Let q = a + -18. Solve 5 - 3 = -q*o for o.
-1
Let u = -198 - -205. Solve -v = -u + 10 for v.
-3
Let m = -14 + 16. Suppose m*v = -5*x - 2*v + 68, 3*v + 6 = x. Let j(q) = q**3 - q**2 - 2*q - 6. Let c be j(3). Solve -2*n = -c*n + x for n.
3
Let p be (-6)/5*15/6. Let f(i) = -i**3 + 2*i**2 + 4*i + 4. Let v be f(p). Suppose 0 = -5*k - 7 + v. Solve 2*s + 0*s = k for s.
3
Let o(v) = 11*v**3 - v**2. Let j be o(-1). Let r be ((-21)/(-2) - 0)/(36/48). Let l = j + r. Solve -a - l = -5 for a.
3
Suppose -3*a + 4*j = -1 - 14, -j = 2*a - 21. Solve a*w - 6 = 12 for w.
2
Let m = -8 + 10. Let y = 11 - m. Let k = 12 - y. Solve -k*u - 20 = u for u.
-5
Let a be (6 + 29/(-3))/((-1)/6). Let j = -22 + a. Solve j = 2*s + 6 + 4 for s.
-5
Let k be ((-18)/15)/(3/(-10)). Solve 7*b - 12 = k*b for b.
4
Suppose -5*r - s + 3 = 0, 5*r - 4*s = -3*s - 3. Suppose -o + 0*o - 3 = -2*j, -3*o - 3*j + 18 = r. Solve -1 - 2 = -o*h for h.
1
Let s(l) = -3*l + 1. Suppose 8*i + 1 = 7*i. Let p be s(i). Solve -p*b + 11 = 3 for b.
2
Let b be -13 + 41 + 0/(-2). Suppose 0 = -p + 2, -d - 20 = 2*p + 2*p. Let m = b + d. Solve 0 = 2*i - m*i - 2 for i.
1
Let w(v) = -v**3 + 7*v**2 + 8*v + 3. Let i be w(8). Let t(c) = 57*c - 738. Let h be t(13). Solve 2*u - h = i*u for u.
-3
Let q(v) = -v**3 - 4*v**2 - 2*v - 33. Let r be q(-5). Solve -2*z - r = -0 for z.
-1
Suppose 10*b + b = -b. Solve b = l + 6 - 2 for l.
-4
Suppose 2*y + 1131 = 1147. Solve 0 = -y*b + 6*b + 8 for b.
4
Let r(z) = 1. Let t(d) = -d + 7. Let a(j) = 2*r(j) + t(j). Let k be a(6). Let u be (-9)/((-18)/20) - -3. Solve 0 = k*s - u - 2 for s.
5
Suppose -2*j - j + 18 = 0. Suppose -3*v = -0 - 18. Let h be 3 - (-11 + (v - 2)). Solve 0 = j*p - p - h for p.
2
Let m = -13 - -13. Let i(l) = l**3 + 6*l**2 + l + 9. Suppose -3*n + 30 = -5*k + n, 0 = 4*n. Let j be i(k). Solve m = -u + j for u.
3
Let v(n) = 21*n - 1. Let q be v(1). Suppose 2*z - 4 = z - 4*c, -c + 16 = 4*z. Suppose s - z = -0*s + 2*j, 5*s = j + 11. Solve 0 = -s*r - 3*r + q for r.
4
Let h(v) = 6*v**2 + 20*v - 49. Let q be h(2). Solve -q*j + 11*j = 13*j for j.
0
Suppose 10*k - 65 - 75 = 0. Suppose -140 = -k*c - 6*c. Solve 8*o - c*o - 3 = 0 for o.
3
Suppose -22*f + 12 = -18*f - 2*x, 4 = 5*f + 3*x. Let m(q) = q + 4. Let a be m(-4). Solve a = -f*b + 2 for b.
1
Let f(j) = 12*j**2 - 276*j + 8. Let g be f(23). Solve 0 = g*w + 3*w for w.
0
Let d be (16/(-48))/((-3)/63). Solve -39 + 18 = -d*r for r.
3
Suppose 8 - 10 = -n. Solve -n*c + 9 = c for c.
3
Suppose q - 396 = -65*q. Solve -21 + q = 5*a for a.
-3
Suppose 2*t - 4*v = -44, 0*t = -t - 2*v - 6. Let m be 7/2*t/(-49). Solve m = 4*s - 3 for s.
1
Suppose -412 = -9*y - 133. Solve -8*i + 7 = y for i.
-3
Suppose 3*r = -3, -3*r - 6 = x + 4. Let w = -21 - x. Let k = w + 20. Solve o - k = -4 for o.
2
Let p(c) be the third derivative of c**6/120 + c**5/12 + 5*c**4/24 + 4*c**3/3 + 15*c**2. Let t be p(-4). Solve 0 = -t*b + 7*b for b.
0
Let t(q) = -q**2 + q**2 + 22 - q**2 - 11*q. Let z be t(-12). Solve r + z = 3*r for r.
5
Let j = 133 - 58. Suppose -5*f = -j - 80. Let h = f - 26. Solve 10 = -h*v - 5 for v.
-3
Suppose 5*z - 2*b = 184, 0*z - 3*b - 78 = -2*z. Let j = -22 + z. Let n = -10 + j. Solve n = -3*o - 8 for o.
-4
Let k = -749 + 754. Solve -k*l + 17*l + 60 = 0 for l.
-5
Let m(x) = -x**3 + 30*x**2 + 33*x - 59. Let k be m(31). Solve n = -k*n + 16 for n.
4
Let t = 3 + 0. Suppose 6*h = 2*h - t*s, 0 = h + s. Solve 0 = -2*z + 4 - h for z.
2
Suppose 3*b + 2*l = -8, 4*b + 1 = -2*l - 9. Let m be ((-3)/b + -1)/((-7)/(-140)). Solve m = 3*o + 1 for o.
3
Let s = -514 + 517. Solve 5*h = 4*h - s for h.
-3
Let m be (-22)/(-33)*(-15)/(-2). Let a = 17 - m. Solve -f - 3*f + a = 0 for f.
3
Let x be 1*((-4)/12*3 - -4). Solve w = 4*w - x for w.
1
Suppose 9*m = 7 + 29. Let h(x) = x**2 + 5*x. Let c be h(-6). Solve 0 = m*q - c + 22 for q.
-4
Let d(a) = -a**3 + 7*a**2 + 17*a + 15. Let t = -85 + 94. Let p be d(t). Solve 5 = p*b - 11*b for b.
-1
Suppose 0*n + 2*p + 95 = -5*n, -31 = 3*n - 4*p. Let i(j) = j**2 - 4*j + 7. Let y be i(6). Let k = y + n. Solve q = k*q + 4 for q.
-4
Let t(m) = m + 11. Let s be t(-8). Let o be (3 + (8 - 10))*0. Solve 3*w + o = -s for w.
-1
Suppose -3 = 3*t, 3*r - 6*r + 2*t + 26 = 0. Solve r = 112*a - 110*a for a.
4
Let f = -6 + 11. Suppose 5*q - 2 = f*o + q, 0 = 3*o + 3*q - 15. Let y be (152/57)/(o/3). Solve u - 5 + y = 0 for u.
1
Let m = -28 - -27. Let h be (7/((-28)/(-6)))/(m/(-2)). Solve 0 = h*q - 12 for q.
4
Suppose j - 5*x = -x + 8, -4*x - 28 = -2*j. Solve -34*l + j*l = -56 for l.
4
Let q(r) = 3*r + 14. Let j be q(-6). Let x = 3 - j. Solve -x*f = -3*f for f.
0
Let r = -367 - -372. Solve -8 = -r*a + a for a.
2
Suppose -24*l + 26*l = -m + 38, -59 = -3*m + 5*l. Let u = 53 - 37. Suppose 9 = s + g, -4*s + g + u = -0*s. Solve s*z = -m + 3 for z.
-5
Suppose 0*m + 47 = -m. Let n = -30 - m. Let f = n - 17. Solve f = 2*u + 5 - 1 for u.
-2
Suppose 0 = -2*f - 2, -5*f - 53 = -2*g - 0*g. Suppose 5*c + g = 3*c. Let x be ((-9)/c)/((-4)/(-48)). Solve 0 = 4*p - x - 3 for p.
3
Suppose -d - 43 = -4*d + u, -5*d - 4*u = -83. Suppose -2*f + 0*q = -3*q - d, -3*q - 24 = -5*f. Suppose r - 1 - f = 0. Solve 0 = -r*p - 1 - 15 for p.
-4
Let i be 2/4*4*(5 + -3). Suppose 0 = i*s - 4*r - 24, r = 3*s - 28 + 2. Solve -7*f = -2*f - s for f.
2
Let k be (-30)/(-50) + (-18)/5. Let c = -3 - k. Let t be (2 + 3/(-2))*c. Solve t = -w + 2*w - 3 for w.
3
Let i be (-54)/(-15) - (-8)/20. Suppose -5*t + 2*r = 4, 0*t - 2*r = -4*t - i. Solve t = -f + 5*f + 12 for f.
-3
Suppose 42 = 4*x + 2. Suppose 3*k + 2*k = x. Let d be (1 + -3 + k)/2. Solve d*g + 4 = -2*g for g.
-2
Let f(y) = y**2 - 19*y - 53. Let g be f(22). Suppose -g*j = -5*j. Solve -3*r + 1 - 13 = j for r.
-4
Suppose 0 = 10*z - 0*z - 90. Solve -p - z*p - 7*p = 0 for p.
0
Let s(p) = 3*p**2 + p + 1. Let v be s(-2). Let k = -20 + v. Let w = -6 - k. Solve 0 = -0*f + w*f for f.
0
Suppose 2*l + 3*y - 122 = 0, 5*l + 3*y - 232 - 73 = 0. Suppose -7*c = -l - 23. Solve 2*d + 2*d = -c for d.
-3
Let x(s) = -s**3 + 6*s**2 + 17*s - 10. Let m be x(8). Let u be (-2)/(4 - (-9)/m). Solve 0 = -0*a - 4*a + u for a.
1
Let d be 24*(-1)/(-3)*1. Solve -d*n = -13*n for n.
0
Let m be ((-3)/2)/((-36)/(-48)). Let v(r) = 5*r**2 - 3*r - 1. Let u be v(m). Solve u = -6*n + n for n.
-5
Suppose -3*v + 3*t = -78, -2*t = -0*v + 3*v - 88. Let d be (-4)/(-6) - v/(-12). Solve 2 = s - d for s.
5
Suppose 4*f = 2*a - 12 - 6, 2*f + 3*a + 29 = 0. Let b be (-2*2/4)/((-8)/(-24)). Let v = b - f. Solve v = -0*n - 2*n for n.
-2
Let k be (-56)/448 + 97/8. Solve -6*d - k = -3*d for d.
-4
Let i(z) = -2*z + 1 - 1 + 1 - 2. Let s be i(4). Let k be (-49)/(-63) - 2/s. Solve -h - k - 3 = 0 for h.
-4
Let d be ((-3)/(-2))/((-1)/(-2)). Solve -d*k - 2*k = -5 for k.
1
Let k = -12 - -6. Let i(f) be the first derivative of -2*f**3/3 - 6*f**2 + 5*f + 93. Let q be i(k). Solve -o + 4 = -q*o for o.
-1
Let k = -1593 - -1597. Solve k = 144*c - 143*c for c.
4
Let y be ((-25)/(-10)*2 + -4)*3. Solve y*v = 16 - 10 for v.
2
Suppose 3 = -4*s + 59. Suppose 4*i + 5*t = -11, -2*i - s = -4*i + 4*t. Solve 2 - i = y for y.
1
Let o be (8 - 7)/((-1)/(-3)). Suppose -n + 4*x - 3*x = -15, 5*x = o*n - 47. Suppose 5*w - 3*q = n, -q = w + 4*q + 14. Solve -w + 0 = -p for p.
1
Suppose 2*r = 212 + 80. Let h = r - 144. Solve p = h*p for p.
0
Suppose 15 = d + 2*d + 2*g, -5*g + 15 = 0. Suppose o + 12 = -5*c, -3*c = -d*o - 9 + 45. Solve 2*a - 4 + o = 0 for a.
-2
Suppose 2*y + 17 = y - 4*h, -4*y + 7 = h. Suppose -3 = y*j - 9. Let q be 1/(-2*j/(-4)). Solve q = -5*d - 24 for d.
-5
Let t be 570/20*(-20)/(-15). Solve 13*d - 27 = t for d.
5
Let c be -4 - (-3 - (3 - 2)). Suppos