1
Suppose -19*r = -6*r - 91. Solve 6*i = r - 1 for i.
1
Let j be 3 - (5/15 + 1/(-3)). Solve 0 = j*t + 4 - 1 for t.
-1
Suppose 0 = -4*a + a. Let d = 3 + a. Let t be (-6)/((0 + 6)/(-12)). Solve -d*l - l + t = 0 for l.
3
Let j be (8/(-3))/((-10)/15). Let x = -31 + 34. Solve n + x = j for n.
1
Let o be 3/(-6)*(-7 - -1). Suppose -26 = o*w - 8*w - 4*a, -3*a + 4 = -4*w. Let t(h) = h**2 + 26*h - 72. Let x be t(-29). Solve -5*n = -w*n + x for n.
-5
Let i be 1/((8/36)/(-2)). Let s = -14 - i. Let o = s + 5. Solve 3*w + 9 - 21 = o for w.
4
Let g be ((-2)/(-7) - (-28)/(-98))/(-2). Solve 2*y + y + 3 = g for y.
-1
Let r(t) = -t**3 + 35*t**2 - 34*t + 4. Let d be r(34). Solve -13*s - d = -14*s for s.
4
Let y = -1 + 3. Suppose -1 = -3*i + 4*c, 0 = y*i - 4*c - 2 - 0. Let s = 1 + i. Solve -12 = -4*f - s*f for f.
3
Let l = -76 + 97. Let v(t) = t**2 - 21*t + 1. Let k be v(l). Solve 5 - k = m for m.
4
Suppose -5*a = 2*m + 326 + 258, 475 = -4*a + m. Let w = a - -56. Let z be w/(-3) + 2/(-3). Solve 4*t = -t + z for t.
4
Suppose -94 = 3*w + 5*p, 5*w + 4*p + 36 = 4*w. Let c = w + 28. Solve c*l + 5*l - 15 = 0 for l.
3
Suppose -9*c + 5*c + 32 = -3*k, -2*k = c + 3. Suppose -4*w + 30 = 5*n + w, 5*n + w = 14. Solve n*f + 3*f = c for f.
1
Let v be -3*((-3)/2 + (-4)/(-8)). Suppose i + n = -3*n + 24, -5*i + 2*n + 10 = 0. Solve i = -2*m + v*m for m.
4
Suppose -2*d - 2*d = 0. Suppose -4*o - 5*b - 5 - 8 = 0, 0 = 2*o - 4*b - 26. Solve d = -z - 2 + o for z.
1
Suppose 0 = s + a - 32 + 2, a = -2. Solve 31*c = s*c - 4 for c.
4
Suppose -2*j = 4*g + g - 5, 3 = -j + 3*g. Let i(n) be the third derivative of n**5/30 - n**4/4 + n**2. Let b be i(5). Solve j*k + 4*k = -b for k.
-5
Let s(k) = -k**3 + 2*k + 8. Let i be s(0). Solve -3*c - 10 = -i*c for c.
2
Let x = -2688 + 2705. Solve 0 = 17*i - x for i.
1
Let j = 28 - -40. Let o = j + -48. Solve 0 = -3*v - v + o for v.
5
Let p = 1867 - 1864. Let r = -6 + 8. Suppose 0 = w + r*w - 6. Solve 0 = -o + p*o - w for o.
1
Let x = -3 + -1. Let f be x/(-6) + 14/(-21). Let b = -9 - -12. Solve f = -m - b*m - 16 for m.
-4
Suppose -4*a + 33 = -0*z + 5*z, -2*z = -a - 8. Suppose -3*q + z*j = -23, -q = -0*q - 4*j - 10. Let h = 28 - 25. Solve 0 = -q*r + h*r + 12 for r.
4
Suppose h + 10 = a, a - 13 = -0*h + 2*h. Suppose a*f - 14 = -0*f. Solve 5*t + f = 12 for t.
2
Suppose -u + 8 = 3*u. Suppose 21*z = 47*z - 37*z. Solve z = p - u*p - 2 for p.
-2
Let c(v) = -v**3 - 7*v**2 - v - 3. Suppose 28 = -7*t + 3*t. Let z be c(t). Solve -z*l + 4 = -0 for l.
1
Suppose 0 = -u - 2*u + 15. Suppose 11*i - u*i - 18 = 0. Suppose 5*n = -i + 13. Solve -n = -5*r + 13 for r.
3
Let w be (52 + 1)*(0/6 + -1). Let c = w + 55. Solve -4*u + c = -6 for u.
2
Let q = -1 + 3. Suppose -4 = -q*h + h. Solve -h*d = d - 15 for d.
3
Let s(i) = i**2 - 7*i - 16. Suppose 3*l - 2*g + 6*g - 15 = 0, l + g = 6. Let u be s(l). Solve 0 = -u*p + 8 - 2 for p.
3
Let d(z) = 5*z**3 - 65*z**2 + 64*z - 48. Let q be d(12). Suppose 4*h + h = 20. Solve -h*k + k = q for k.
0
Let m(u) = u**2 - u + 4. Let t(q) = -q + 1. Let l(i) = -2*i + 4. Let h(w) = 3*l(w) - 8*t(w). Let g be h(-2). Let v be m(g). Solve -4*c + 6*c = v for c.
2
Let m(z) = z**3 - 9*z**2 + 8*z + 1. Let y be m(8). Let t be y*(-1 + -2) + 8. Suppose -3*i - 16 = -i - 5*j, 5*j = -i + 22. Solve -d + i*d = t for d.
5
Suppose 5*n - 81 = -4*k, -94*n = -90*n + 2*k - 66. Solve -2*u + 25 - n = 0 for u.
4
Let y be ((-10)/(9 + -19))/((-2)/(-20)). Suppose -3*l = 2*l. Solve -5*u + l = y for u.
-2
Suppose 0 = 5*a - 3*q - 32, -3*q + 26 - 46 = -2*a. Solve a*x - 4 = 12 for x.
4
Let p(a) = 149*a + 15. Let j be p(0). Solve -91*r + 88*r = -j for r.
5
Suppose 0 = -3*o + 3*i + 129, 2*o - 5*o = 2*i - 144. Suppose o*r - 52*r = -48. Solve -3*j + r = -5*j for j.
-4
Let r = -51 - -52. Solve r + 5 = -3*p for p.
-2
Let o be (-1806)/(-70) - 2/(-10). Suppose 5*w + o = 3*u + w, -5*u - 4*w - 10 = 0. Solve 2*l - 4 = u for l.
3
Let s(p) = p**3 + 19*p**2 - 19*p + 24. Let b be s(-20). Solve -5 - 3 = b*i for i.
-2
Let o be 44/10 - (-4)/(-10). Suppose 10*a - 5*a = 10. Suppose -8 = -a*i - d, 3 = -2*i + o*d - 9. Solve -7*w + i*w = -20 for w.
4
Let v be 312/(-195) + (-166)/(-10). Solve 0 = -11*s + v*s + 16 for s.
-4
Suppose 3*n + 249 = -3*f, -113 = 2*f + 4*n + 61. Let m = f - -82. Solve 2*p + m*p - 10 = 0 for p.
2
Let p = 29 - 20. Let a = p - 7. Solve -c + a*c = 0 for c.
0
Suppose 6*h = -7*h + 39. Solve 0 = -h*z - 11 + 23 for z.
4
Let u(l) = -l**2 - 8*l + 2. Let a(t) = -t**2 - 7*t + 1. Let y(k) = -6*a(k) + 5*u(k). Let q be y(-2). Suppose d = 1, -q*h + 0 = d - 5. Solve -w + 5 = h for w.
4
Suppose -16 = -2*a + 3*b, 5*a = 5*b - b + 33. Suppose -a*l + 5 - 35 = 0. Let m be 14 + -2*(-3)/l. Solve 3*n - m = -4 for n.
3
Suppose r + 2*r = -3, -2*q + 5*r + 149 = 0. Let i be (-776)/q - 4/18. Let f be (i - -10) + (0 - -4). Solve 0 = 2*k - k + f for k.
-3
Suppose -5*t + 7*m + 3 = 3*m, 4*t - 5*m + 3 = 0. Suppose h = -t*h + 20. Suppose i = -5*o - 11, h*i + 5*o - 1 = 4. Solve 0*y + y = i for y.
4
Suppose -3*t + p + 4 = 0, 5*t + 5*p - 1 = -21. Solve 9*x + 6 - 51 = t for x.
5
Let t = -256 + 265. Let s be (6/(-9))/((-4)/18). Solve -t = 4*o + s for o.
-3
Let t(k) = -k**2 + k + 28. Let m be t(6). Let y be ((-9)/2 + 5)/(m/(-20)). Solve -y*h = -6 - 4 for h.
2
Suppose 11 + 4 = -3*p. Let f(x) = 14*x + 4 - 4 - 19*x - x**2. Let m be f(p). Solve -2*c - 2 = -m*c for c.
-1
Let t be ((-3)/(-5))/(2 + 45/(-25)). Solve 0 = -3*c + t - 9 for c.
-2
Suppose 5*d = 4*d + 8. Let c(z) = -3*z + 27. Let v be c(d). Let i be 12*(13/v - 3). Solve 0*p + 4*p = i for p.
4
Let t(k) = -k**2 - 5*k - 1. Let x be t(-4). Suppose -4*q + 3*q + x = 0. Suppose 3*o + 6 = 4*m, 5*m + o + q*o = -8. Solve -2*i + 2 = -m*i for i.
1
Suppose -5*i = -2*i - 12. Suppose 0*g = -i*g + 12. Let l = 6 + 4. Solve -2*z - l = g*z for z.
-2
Let a be -10 - (-8 + -2) - -4. Solve 10 + 6 = -a*r for r.
-4
Let r = 50 - 51. Let h be (-3 + (r - -4))*2/(-6). Solve h*z - 2 = z for z.
-2
Let l = -83 - -93. Let b(d) = d - 7. Let n be b(l). Solve n*j = 2 + 10 for j.
4
Let k(n) = 15*n - 1 + 1 - 14*n. Let c be k(2). Suppose 4*u - c*f = u + 8, 0 = -u + 5*f + 20. Solve u = -4*v + 21 - 1 for v.
5
Suppose 3*n = n + 22. Let u be 2/n + 20/11. Suppose 0 = u*m - m - 2. Solve 2 = -m*g + g for g.
-2
Let f be (1/(-2)*0)/(9 - 12). Solve -15*w + 17*w - 8 = f for w.
4
Let l = -1843 - -1855. Solve l = -14*q - 2 for q.
-1
Let a be ((-9)/(-12))/(6/(-48)). Let u(i) = -6*i - 11. Let o be u(a). Solve -8*r + 3*r = -o for r.
5
Suppose 2*p = p + 4. Suppose -2*z + 5*o - 90 - 99 = 0, 0 = 5*z - 2*o + 420. Let r = 85 + z. Solve p*j - r*j = 5 for j.
5
Let g(i) = 20*i - 167. Let u be g(9). Solve 22*t = u*t - 18 for t.
-2
Let v(k) = 12*k**2 + 1. Let x be v(-1). Let n be 9 + 1 + (-6 - -3). Let z = n + -3. Solve z*b + x = 5 for b.
-2
Suppose 0*k = 6*k. Suppose k = -5*x - 2*g + 6*g - 7, 4*g = -5*x + 17. Solve 3*a - 7 + x = 0 for a.
2
Let o(h) be the third derivative of h**4/6 + 3*h**3 + 29*h**2. Let p be o(-4). Let l be (-1)/((-2*1)/16). Solve l = 4*r - p*r for r.
4
Suppose -2 - 3 = -5*a. Let j be 4 - (-1 + -1 + a). Suppose -j*y = -4 - 11. Solve 2*n + y*n = -15 for n.
-3
Let l(x) = x**3 + 5*x**2 - 40*x - 18. Let m be l(-9). Solve -12 = -10*t + m for t.
3
Let b(k) = 5*k**2 - 2*k - 5. Let x(u) = -6*u**2 + u - u**2 + 5 + 0*u + u**2. Let m(h) = 7*b(h) + 6*x(h). Let w be m(-7). Solve 4*q + 18 = -w for q.
-5
Suppose -18 = -2*w - w. Suppose -15 = j - w*j. Solve -z = -j*z - 6 for z.
-3
Let v(q) = -q**3 - 3*q**2 + 2*q - 5. Let f be v(-4). Suppose 10 = -j + f*j. Suppose -o - j = -2*b + 2*o, o + 15 = 4*b. Solve b = 4*m - 16 for m.
5
Let m(k) = 13*k + 5. Let c(f) = 53*f + 21. Let l(x) = 2*c(x) - 9*m(x). Let b be l(-3). Suppose -2*d + b = 5*j, -3*d = -j - 0*d - 11. Solve 0 = -u - 2 + j for u.
2
Suppose 28 = 4*q + 5*p, -4 = q + q - 2*p. Suppose -3*d - 3 = -u - q*u, -3*u + 10 = 4*d. Suppose -4*j = -a - 7, u*a + j - 16 = -j. Solve -6*g + a*g = 5 for g.
-5
Let b = -1692 - -1694. Solve 0 = -b*z + 13*z + 11 for z.
-1
Suppose -5*x - h + 13 = 0, x + 4*h + 5 = -0*h. Solve 8*k - x*k = 5 for k.
1
Suppose z + y = 4*y + 6, 0 = 3*z + 3*y - 42. Let t be -18*(-4)/6*3/6. Solve 2*k + z = t*k for k.
3
Let b = 6 + 7. Let l(i) = 5*i - 5 + 9*i - b*i. Let c be l(7). Solve -7 = 5*z - c for z.
-1
Let l(y) = 4*y - y + 2*y + 8 + 4. Let u be l(-6). Let f = 22 + u. Sol